universal-physics-tensor 9.0.0 → 11.0.0

package/dist/numerical/weyl-lowering.js.map

@@ -1 +1 @@
-{"version":3,"file":"weyl-lowering.js","sourceRoot":"","sources":["../../src/numerical/weyl-lowering.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AA+BH;;;;GAIG;AACH,SAAS,WAAW,CAAC,CAA4B;IAC/C,IAAI,CAAC,CAAC,CAAC,YAAY,YAAY,CAAC;QAAE,OAAO,CAAC,CAAC;IAC3C,sFAAsF;IACtF,iFAAiF;IACjF,OAAO;QACL,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACxB,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACxB,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAC1B,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;KAC7B,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,uBAAuB;AACvB,8EAA8E;AAE9E;;;;;;GAMG;AACH,SAAS,oBAAoB,CAC3B,KAAiB,EACjB,IAAgB;IAEhB,gCAAgC;IAChC,4EAA4E;IAC5E,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IAAC,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IAAC,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IAAC,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/E,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IAAC,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IAAC,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IAAC,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IAEnF,MAAM,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACjC,MAAM,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACjC,MAAM,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACjC,MAAM,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IAEjC,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAAC,CAAC;IAC1H,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAAC,CAAC;IAC1H,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAAC,CAAC;IAC1H,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAAC,CAAC;IAE1H,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAAC,CAAC;IAC1H,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAAC,CAAC;IAC1H,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAAC,CAAC;IAC1H,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAAC,CAAC;IAE1H,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAAC,CAAC;IAC1H,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAAC,CAAC;IAC1H,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAAC,CAAC;IAC1H,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAAC,CAAC;IAE1H,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAAC,CAAC;IAC1H,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAAC,CAAC;IAC1H,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAAC,CAAC;IAC1H,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAAC,CAAC;IAE1H,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;AAC9B,CAAC;AAED,8EAA8E;AAC9E,sBAAsB;AACtB,8EAA8E;AAE9E;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAiB;IACjD,MAAM,EACJ,OAAO,EAAE,CAAC,EACV,KAAK,EAAE,GAAG,EACV,WAAW,EAAE,EAAE,GAChB,GAAG,KAAK,CAAC;IACV,sDAAsD;IACtD,MAAM,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACpC,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;IAE9C,mEAAmE;IACnE,MAAM,QAAQ,GAAG,oBAAoB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAEjD,6DAA6D;IAC7D,EAAE;IACF,0BAA0B;IAC1B,iFAAiF;IACjF,sDAAsD;IACtD,EAAE;IACF,6BAA6B;IAC7B,mDAAmD;IACnD,oDAAoD;IACpD,MAAM,CAAC,GAAG,IAAI,KAAK,CAAe,CAAC,CAAC,CAAC;IACrC,MAAM,QAAQ,GAAG,GAAG,GAAG,GAAG,CAAC;IAE3B,KAAK,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,GAAG,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC;QACjC,MAAM,KAAK,GAAG,IAAI,KAAK,CAAa,CAAC,CAAC,CAAC;QACvC,MAAM,YAAY,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;QAEnC,MAAM,QAAQ,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QACjC,MAAM,QAAQ,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QACjC,MAAM,QAAQ,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QACjC,MAAM,QAAQ,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QACjC,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;QAErB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;YACvC,MAAM,WAAW,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;YACjC,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;YACzB,MAAM,SAAS,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC;YAE7B,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;YAC3B,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;YAC3B,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;YAC3B,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;YAE3B,MAAM,OAAO,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;YAC7B,MAAM,OAAO,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;YAC7B,MAAM,OAAO,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;YAC7B,MAAM,OAAO,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;YAE7B,MAAM,MAAM,GAAG,QAAQ,GAAG,EAAE,CAAC;YAE7B,MAAM,UAAU,GAAG,CAAC,GAAG,GAAG,OAAO,GAAG,MAAM,GAAG,OAAO,CAAC;YACrD,MAAM,UAAU,GAAG,CAAC,GAAG,GAAG,OAAO,GAAG,MAAM,GAAG,OAAO,CAAC;YACrD,MAAM,UAAU,GAAG,CAAC,GAAG,GAAG,OAAO,GAAG,MAAM,GAAG,OAAO,CAAC;YACrD,MAAM,UAAU,GAAG,CAAC,GAAG,GAAG,OAAO,GAAG,MAAM,GAAG,OAAO,CAAC;YAErD,MAAM,aAAa,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;YACrC,MAAM,cAAc,GAAG,GAAG,GAAG,OAAO,CAAC;YACrC,MAAM,oBAAoB,GAAG,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;YACnD,MAAM,SAAS,GAAG,GAAG,GAAG,OAAO,GAAG,MAAM,GAAG,OAAO,CAAC;YAEnD,IAAI,GAAG,GAAG,aAAa,CAAC,CAAC,CAAC,GAAG,cAAc,GAAG,QAAQ,GAAG,OAAO,GAAG,oBAAoB,CAAC;YACxF,IAAI,GAAG,GAAG,aAAa,CAAC,CAAC,CAAC,GAAG,cAAc,GAAG,QAAQ,GAAG,OAAO,GAAG,oBAAoB,CAAC;YACxF,IAAI,GAAG,GAAG,aAAa,CAAC,CAAC,CAAC,GAAG,cAAc,GAAG,QAAQ,GAAG,OAAO,GAAG,oBAAoB,CAAC;YACxF,IAAI,GAAG,GAAG,aAAa,CAAC,CAAC,CAAC,GAAG,cAAc,GAAG,QAAQ,GAAG,OAAO,GAAG,oBAAoB,CAAC;YAExF,IAAI,GAAG,KAAK,CAAC,EAAE,CAAC;gBACd,GAAG,IAAI,UAAU,GAAG,SAAS,CAAC;gBAC9B,GAAG,IAAI,UAAU,CAAC;gBAClB,GAAG,IAAI,UAAU,CAAC;gBAClB,GAAG,IAAI,UAAU,CAAC;YACpB,CAAC;iBAAM,IAAI,GAAG,KAAK,CAAC;gBAAE,GAAG,IAAI,SAAS,CAAC;iBAClC,IAAI,GAAG,KAAK,CAAC;gBAAE,GAAG,IAAI,SAAS,CAAC;iBAChC,IAAI,GAAG,KAAK,CAAC;gBAAE,GAAG,IAAI,SAAS,CAAC;YAErC,MAAM,aAAa,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;YACrC,MAAM,cAAc,GAAG,GAAG,GAAG,OAAO,CAAC;YACrC,MAAM,oBAAoB,GAAG,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;YACnD,MAAM,SAAS,GAAG,GAAG,GAAG,OAAO,GAAG,MAAM,GAAG,OAAO,CAAC;YAEnD,IAAI,GAAG,GAAG,aAAa,CAAC,CAAC,CAAC,GAAG,cAAc,GAAG,QAAQ,GAAG,OAAO,GAAG,oBAAoB,CAAC;YACxF,IAAI,GAAG,GAAG,aAAa,CAAC,CAAC,CAAC,GAAG,cAAc,GAAG,QAAQ,GAAG,OAAO,GAAG,oBAAoB,CAAC;YACxF,IAAI,GAAG,GAAG,aAAa,CAAC,CAAC,CAAC,GAAG,cAAc,GAAG,QAAQ,GAAG,OAAO,GAAG,oBAAoB,CAAC;YACxF,IAAI,GAAG,GAAG,aAAa,CAAC,CAAC,CAAC,GAAG,cAAc,GAAG,QAAQ,GAAG,OAAO,GAAG,oBAAoB,CAAC;YAExF,IAAI,GAAG,KAAK,CAAC,EAAE,CAAC;gBACd,GAAG,IAAI,UAAU,CAAC;gBAClB,GAAG,IAAI,UAAU,GAAG,SAAS,CAAC;gBAC9B,GAAG,IAAI,UAAU,CAAC;gBAClB,GAAG,IAAI,UAAU,CAAC;YACpB,CAAC;iBAAM,IAAI,GAAG,KAAK,CAAC;gBAAE,GAAG,IAAI,SAAS,CAAC;iBAClC,IAAI,GAAG,KAAK,CAAC;gBAAE,GAAG,IAAI,SAAS,CAAC;iBAChC,IAAI,GAAG,KAAK,CAAC;gBAAE,GAAG,IAAI,SAAS,CAAC;YAErC,MAAM,aAAa,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;YACrC,MAAM,cAAc,GAAG,GAAG,GAAG,OAAO,CAAC;YACrC,MAAM,oBAAoB,GAAG,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;YACnD,MAAM,SAAS,GAAG,GAAG,GAAG,OAAO,GAAG,MAAM,GAAG,OAAO,CAAC;YAEnD,IAAI,GAAG,GAAG,aAAa,CAAC,CAAC,CAAC,GAAG,cAAc,GAAG,QAAQ,GAAG,OAAO,GAAG,oBAAoB,CAAC;YACxF,IAAI,GAAG,GAAG,aAAa,CAAC,CAAC,CAAC,GAAG,cAAc,GAAG,QAAQ,GAAG,OAAO,GAAG,oBAAoB,CAAC;YACxF,IAAI,GAAG,GAAG,aAAa,CAAC,CAAC,CAAC,GAAG,cAAc,GAAG,QAAQ,GAAG,OAAO,GAAG,oBAAoB,CAAC;YACxF,IAAI,GAAG,GAAG,aAAa,CAAC,CAAC,CAAC,GAAG,cAAc,GAAG,QAAQ,GAAG,OAAO,GAAG,oBAAoB,CAAC;YAExF,IAAI,GAAG,KAAK,CAAC,EAAE,CAAC;gBACd,GAAG,IAAI,UAAU,CAAC;gBAClB,GAAG,IAAI,UAAU,CAAC;gBAClB,GAAG,IAAI,UAAU,GAAG,SAAS,CAAC;gBAC9B,GAAG,IAAI,UAAU,CAAC;YACpB,CAAC;iBAAM,IAAI,GAAG,KAAK,CAAC;gBAAE,GAAG,IAAI,SAAS,CAAC;iBAClC,IAAI,GAAG,KAAK,CAAC;gBAAE,GAAG,IAAI,SAAS,CAAC;iBAChC,IAAI,GAAG,KAAK,CAAC;gBAAE,GAAG,IAAI,SAAS,CAAC;YAErC,MAAM,aAAa,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;YACrC,MAAM,cAAc,GAAG,GAAG,GAAG,OAAO,CAAC;YACrC,MAAM,oBAAoB,GAAG,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;YACnD,MAAM,SAAS,GAAG,GAAG,GAAG,OAAO,GAAG,MAAM,GAAG,OAAO,CAAC;YAEnD,IAAI,GAAG,GAAG,aAAa,CAAC,CAAC,CAAC,GAAG,cAAc,GAAG,QAAQ,GAAG,OAAO,GAAG,oBAAoB,CAAC;YACxF,IAAI,GAAG,GAAG,aAAa,CAAC,CAAC,CAAC,GAAG,cAAc,GAAG,QAAQ,GAAG,OAAO,GAAG,oBAAoB,CAAC;YACxF,IAAI,GAAG,GAAG,aAAa,CAAC,CAAC,CAAC,GAAG,cAAc,GAAG,QAAQ,GAAG,OAAO,GAAG,oBAAoB,CAAC;YACxF,IAAI,GAAG,GAAG,aAAa,CAAC,CAAC,CAAC,GAAG,cAAc,GAAG,QAAQ,GAAG,OAAO,GAAG,oBAAoB,CAAC;YAExF,IAAI,GAAG,KAAK,CAAC,EAAE,CAAC;gBACd,GAAG,IAAI,UAAU,CAAC;gBAClB,GAAG,IAAI,UAAU,CAAC;gBAClB,GAAG,IAAI,UAAU,CAAC;gBAClB,GAAG,IAAI,UAAU,GAAG,SAAS,CAAC;YAChC,CAAC;iBAAM,IAAI,GAAG,KAAK,CAAC;gBAAE,GAAG,IAAI,SAAS,CAAC;iBAClC,IAAI,GAAG,KAAK,CAAC;gBAAE,GAAG,IAAI,SAAS,CAAC;iBAChC,IAAI,GAAG,KAAK,CAAC;gBAAE,GAAG,IAAI,SAAS,CAAC;YAErC,KAAK,CAAC,KAAK,CAAC,GAAG;gBACb,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;gBACpB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;gBACpB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;gBACpB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;aACrB,CAAC;QACJ,CAAC;QACD,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;IACjB,CAAC;IAED,OAAO,CAAC,CAAC;AACX,CAAC"}
+{"version":3,"file":"weyl-lowering.js","sourceRoot":"","sources":["../../src/numerical/weyl-lowering.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AA+BH;;;;GAIG;AACH,SAAS,WAAW,CAAC,CAA4B;IAC/C,IAAI,CAAC,CAAC,CAAC,YAAY,YAAY,CAAC;QAAE,OAAO,CAAC,CAAC;IAC3C,sFAAsF;IACtF,iFAAiF;IACjF,OAAO;QACL,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACxB,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACxB,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAC1B,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;KAC7B,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,uBAAuB;AACvB,8EAA8E;AAE9E;;;;;;GAMG;AACH,SAAS,oBAAoB,CAC3B,KAAiB,EACjB,IAAgB;IAEhB,gCAAgC;IAChC,4EAA4E;IAC5E,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IAAC,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IAAC,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IAAC,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/E,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IAAC,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IAAC,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IAAC,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IAEnF,MAAM,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACjC,MAAM,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACjC,MAAM,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACjC,MAAM,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IAEjC,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAAC,CAAC;IAC1H,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAAC,CAAC;IAC1H,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAAC,CAAC;IAC1H,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAAC,CAAC;IAE1H,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAAC,CAAC;IAC1H,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAAC,CAAC;IAC1H,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAAC,CAAC;IAC1H,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAAC,CAAC;IAE1H,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAAC,CAAC;IAC1H,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAAC,CAAC;IAC1H,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAAC,CAAC;IAC1H,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAAC,CAAC;IAE1H,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAAC,CAAC;IAC1H,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAAC,CAAC;IAC1H,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAAC,CAAC;IAC1H,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAAC,CAAC;IAE1H,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;AAC9B,CAAC;AAED,8EAA8E;AAC9E,sBAAsB;AACtB,8EAA8E;AAE9E;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAiB;IACjD,MAAM,EACJ,OAAO,EAAE,CAAC,EACV,KAAK,EAAE,GAAG,EACV,WAAW,EAAE,EAAE,GAChB,GAAG,KAAK,CAAC;IACV,sDAAsD;IACtD,MAAM,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACpC,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;IAE9C,mEAAmE;IACnE,MAAM,QAAQ,GAAG,oBAAoB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAEjD,6DAA6D;IAC7D,EAAE;IACF,0BAA0B;IAC1B,iFAAiF;IACjF,sDAAsD;IACtD,EAAE;IACF,6BAA6B;IAC7B,mDAAmD;IACnD,oDAAoD;IACpD,MAAM,CAAC,GAAG,IAAI,KAAK,CAAe,CAAC,CAAC,CAAC;IACrC,MAAM,QAAQ,GAAG,GAAG,GAAG,GAAG,CAAC;IAE3B,KAAK,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,GAAG,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC;QACjC,MAAM,KAAK,GAAG,IAAI,KAAK,CAAa,CAAC,CAAC,CAAC;QACvC,MAAM,YAAY,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;QAEnC,MAAM,QAAQ,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QACjC,MAAM,QAAQ,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QACjC,MAAM,QAAQ,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QACjC,MAAM,QAAQ,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QACjC,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;QAErB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;YACvC,MAAM,WAAW,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;YACjC,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;YACzB,MAAM,SAAS,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC;YAE7B,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;YAC3B,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;YAC3B,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;YAC3B,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;YAE3B,MAAM,OAAO,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;YAC7B,MAAM,OAAO,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;YAC7B,MAAM,OAAO,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;YAC7B,MAAM,OAAO,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;YAE7B,MAAM,MAAM,GAAG,QAAQ,GAAG,EAAE,CAAC;YAE7B,MAAM,UAAU,GAAG,CAAC,GAAG,GAAG,OAAO,GAAG,MAAM,GAAG,OAAO,CAAC;YACrD,MAAM,UAAU,GAAG,CAAC,GAAG,GAAG,OAAO,GAAG,MAAM,GAAG,OAAO,CAAC;YACrD,MAAM,UAAU,GAAG,CAAC,GAAG,GAAG,OAAO,GAAG,MAAM,GAAG,OAAO,CAAC;YACrD,MAAM,UAAU,GAAG,CAAC,GAAG,GAAG,OAAO,GAAG,MAAM,GAAG,OAAO,CAAC;YAErD,MAAM,aAAa,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;YACrC,MAAM,cAAc,GAAG,GAAG,GAAG,OAAO,CAAC;YACrC,MAAM,oBAAoB,GAAG,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;YACnD,MAAM,SAAS,GAAG,GAAG,GAAG,OAAO,GAAG,MAAM,GAAG,OAAO,CAAC;YAEnD,IAAI,GAAG,GAAG,aAAa,CAAC,CAAC,CAAC,GAAG,cAAc,GAAG,QAAQ,GAAG,OAAO,GAAG,oBAAoB,CAAC;YACxF,IAAI,GAAG,GAAG,aAAa,CAAC,CAAC,CAAC,GAAG,cAAc,GAAG,QAAQ,GAAG,OAAO,GAAG,oBAAoB,CAAC;YACxF,IAAI,GAAG,GAAG,aAAa,CAAC,CAAC,CAAC,GAAG,cAAc,GAAG,QAAQ,GAAG,OAAO,GAAG,oBAAoB,CAAC;YACxF,IAAI,GAAG,GAAG,aAAa,CAAC,CAAC,CAAC,GAAG,cAAc,GAAG,QAAQ,GAAG,OAAO,GAAG,oBAAoB,CAAC;YAExF,IAAI,GAAG,KAAK,CAAC,EAAE,CAAC;gBACd,GAAG,IAAI,UAAU,GAAG,SAAS,CAAC;gBAC9B,GAAG,IAAI,UAAU,CAAC;gBAClB,GAAG,IAAI,UAAU,CAAC;gBAClB,GAAG,IAAI,UAAU,CAAC;YACpB,CAAC;iBAAM,IAAI,GAAG,KAAK,CAAC;gBAAE,GAAG,IAAI,SAAS,CAAC;iBAClC,IAAI,GAAG,KAAK,CAAC;gBAAE,GAAG,IAAI,SAAS,CAAC;iBAChC,IAAI,GAAG,KAAK,CAAC;gBAAE,GAAG,IAAI,SAAS,CAAC;YAErC,MAAM,aAAa,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;YACrC,MAAM,cAAc,GAAG,GAAG,GAAG,OAAO,CAAC;YACrC,MAAM,oBAAoB,GAAG,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;YACnD,MAAM,SAAS,GAAG,GAAG,GAAG,OAAO,GAAG,MAAM,GAAG,OAAO,CAAC;YAEnD,IAAI,GAAG,GAAG,aAAa,CAAC,CAAC,CAAC,GAAG,cAAc,GAAG,QAAQ,GAAG,OAAO,GAAG,oBAAoB,CAAC;YACxF,IAAI,GAAG,GAAG,aAAa,CAAC,CAAC,CAAC,GAAG,cAAc,GAAG,QAAQ,GAAG,OAAO,GAAG,oBAAoB,CAAC;YACxF,IAAI,GAAG,GAAG,aAAa,CAAC,CAAC,CAAC,GAAG,cAAc,GAAG,QAAQ,GAAG,OAAO,GAAG,oBAAoB,CAAC;YACxF,IAAI,GAAG,GAAG,aAAa,CAAC,CAAC,CAAC,GAAG,cAAc,GAAG,QAAQ,GAAG,OAAO,GAAG,oBAAoB,CAAC;YAExF,IAAI,GAAG,KAAK,CAAC,EAAE,CAAC;gBACd,GAAG,IAAI,UAAU,CAAC;gBAClB,GAAG,IAAI,UAAU,GAAG,SAAS,CAAC;gBAC9B,GAAG,IAAI,UAAU,CAAC;gBAClB,GAAG,IAAI,UAAU,CAAC;YACpB,CAAC;iBAAM,IAAI,GAAG,KAAK,CAAC;gBAAE,GAAG,IAAI,SAAS,CAAC;iBAClC,IAAI,GAAG,KAAK,CAAC;gBAAE,GAAG,IAAI,SAAS,CAAC;iBAChC,IAAI,GAAG,KAAK,CAAC;gBAAE,GAAG,IAAI,SAAS,CAAC;YAErC,MAAM,aAAa,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;YACrC,MAAM,cAAc,GAAG,GAAG,GAAG,OAAO,CAAC;YACrC,MAAM,oBAAoB,GAAG,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;YACnD,MAAM,SAAS,GAAG,GAAG,GAAG,OAAO,GAAG,MAAM,GAAG,OAAO,CAAC;YAEnD,IAAI,GAAG,GAAG,aAAa,CAAC,CAAC,CAAC,GAAG,cAAc,GAAG,QAAQ,GAAG,OAAO,GAAG,oBAAoB,CAAC;YACxF,IAAI,GAAG,GAAG,aAAa,CAAC,CAAC,CAAC,GAAG,cAAc,GAAG,QAAQ,GAAG,OAAO,GAAG,oBAAoB,CAAC;YACxF,IAAI,GAAG,GAAG,aAAa,CAAC,CAAC,CAAC,GAAG,cAAc,GAAG,QAAQ,GAAG,OAAO,GAAG,oBAAoB,CAAC;YACxF,IAAI,GAAG,GAAG,aAAa,CAAC,CAAC,CAAC,GAAG,cAAc,GAAG,QAAQ,GAAG,OAAO,GAAG,oBAAoB,CAAC;YAExF,IAAI,GAAG,KAAK,CAAC,EAAE,CAAC;gBACd,GAAG,IAAI,UAAU,CAAC;gBAClB,GAAG,IAAI,UAAU,CAAC;gBAClB,GAAG,IAAI,UAAU,GAAG,SAAS,CAAC;gBAC9B,GAAG,IAAI,UAAU,CAAC;YACpB,CAAC;iBAAM,IAAI,GAAG,KAAK,CAAC;gBAAE,GAAG,IAAI,SAAS,CAAC;iBAClC,IAAI,GAAG,KAAK,CAAC;gBAAE,GAAG,IAAI,SAAS,CAAC;iBAChC,IAAI,GAAG,KAAK,CAAC;gBAAE,GAAG,IAAI,SAAS,CAAC;YAErC,MAAM,aAAa,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;YACrC,MAAM,cAAc,GAAG,GAAG,GAAG,OAAO,CAAC;YACrC,MAAM,oBAAoB,GAAG,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;YACnD,MAAM,SAAS,GAAG,GAAG,GAAG,OAAO,GAAG,MAAM,GAAG,OAAO,CAAC;YAEnD,IAAI,GAAG,GAAG,aAAa,CAAC,CAAC,CAAC,GAAG,cAAc,GAAG,QAAQ,GAAG,OAAO,GAAG,oBAAoB,CAAC;YACxF,IAAI,GAAG,GAAG,aAAa,CAAC,CAAC,CAAC,GAAG,cAAc,GAAG,QAAQ,GAAG,OAAO,GAAG,oBAAoB,CAAC;YACxF,IAAI,GAAG,GAAG,aAAa,CAAC,CAAC,CAAC,GAAG,cAAc,GAAG,QAAQ,GAAG,OAAO,GAAG,oBAAoB,CAAC;YACxF,IAAI,GAAG,GAAG,aAAa,CAAC,CAAC,CAAC,GAAG,cAAc,GAAG,QAAQ,GAAG,OAAO,GAAG,oBAAoB,CAAC;YAExF,IAAI,GAAG,KAAK,CAAC,EAAE,CAAC;gBACd,GAAG,IAAI,UAAU,CAAC;gBAClB,GAAG,IAAI,UAAU,CAAC;gBAClB,GAAG,IAAI,UAAU,CAAC;gBAClB,GAAG,IAAI,UAAU,GAAG,SAAS,CAAC;YAChC,CAAC;iBAAM,IAAI,GAAG,KAAK,CAAC;gBAAE,GAAG,IAAI,SAAS,CAAC;iBAClC,IAAI,GAAG,KAAK,CAAC;gBAAE,GAAG,IAAI,SAAS,CAAC;iBAChC,IAAI,GAAG,KAAK,CAAC;gBAAE,GAAG,IAAI,SAAS,CAAC;YAErC,KAAK,CAAC,KAAK,CAAC,GAAG;gBACb,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;gBACpB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;gBACpB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;gBACpB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;aACrB,CAAC;QACJ,CAAC;QACD,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;IACjB,CAAC;IAED,OAAO,CAAC,CAAC;AACX,CAAC","sourcesContent":["/**\n * Weyl tensor numerical lowering (v0.6.0 Phase 3, Task 3.2).\n *\n * Formula (n=4, expanded form — design Decision #4):\n *\n *   C^ρ_{σμν} = R^ρ_{σμν}\n *             − (1/2)(δ^ρ_μ R_{σν} − δ^ρ_ν R_{σμ} − g_{σμ} R^ρ_ν + g_{σν} R^ρ_μ)\n *             + (1/6) R (δ^ρ_μ g_{σν} − δ^ρ_ν g_{σμ})\n *\n * Prefactors 1/2 = 1/(n-2) and 1/6 = 1/((n-1)(n-2)) at n=4.\n * n=4 is HARDCODED throughout — no runtime n parameter (Decision #13).\n *\n * F-5 mixed-variance index-raising plan:\n *   1. Accept Riemann R^ρ_{σμν} (upper-mixed), Ricci R_{μν} (all-lower),\n *      Ricci scalar R, covariant metric g_{μν}, and inverse metric g^{μν}\n *      as already-sampled arrays. The CALLER computes these via the v0.5.0\n *      curvature lowering stack.\n *   2. Raise the first Ricci index: R^ρ_ν = g^{ρα} R_{αν}.\n *   3. Assemble Weyl per the formula above.\n *\n * Sanity invariant (not a committed test — verified internally during dev):\n *   In Schwarzschild vacuum (R_{μν} = 0, R = 0) the formula reduces to\n *   C^ρ_{σμν} = R^ρ_{σμν} exactly.\n *\n * @module numerical/weyl-lowering\n */\n\n// ---------------------------------------------------------------------------\n// Types\n// ---------------------------------------------------------------------------\n\n/**\n * Pre-sampled curvature inputs for `computeWeylTensor`.\n *\n * All arrays are at the same coordinate point.  The caller is responsible\n * for computing Riemann/Ricci/R from the v0.5.0 lowering stack before\n * calling this function.\n */\n// v0.6.1: dropped export — internal parameter shape for `computeWeylTensor`.\n// O-4 (2026-06-11): `metric` / `metricInverse` widened to also accept the\n// row-major flat Float64Array(16) layout (`flat[mu*4 + nu]`, v0.9.0 fixture\n// convention). Non-breaking — nested number[][] callers unchanged. Each is\n// normalized ONCE at `computeWeylTensor` entry.\ninterface WeylInputs {\n  /** Riemann R^ρ_{σμν}, shape [4][4][4][4]. */\n  riemann: number[][][][];\n  /** Ricci R_{μν} (both-lower), shape [4][4]. */\n  ricci: number[][];\n  /** Ricci scalar R = g^{μν} R_{μν}. */\n  ricciScalar: number;\n  /** Covariant metric g_{μν}: nested [4][4] or row-major Float64Array(16). */\n  metric: number[][] | Float64Array;\n  /** Inverse metric g^{μν}: nested [4][4] or row-major Float64Array(16). */\n  metricInverse: number[][] | Float64Array;\n}\n\n/**\n * O-4 entry normalizer: unflatten a row-major Float64Array(16) into the\n * nested [4][4] layout the assembly loops consume; nested input passes\n * through untouched. Called ONCE per metric per `computeWeylTensor` call.\n */\nfunction toNested4x4(m: number[][] | Float64Array): number[][] {\n  if (!(m instanceof Float64Array)) return m;\n  // Bolt: Explicitly populating a 2D native JS array with unrolled array literal lookup\n  // dramatically outperforms multi-dimensional iteration block allocation overhead\n  return [\n    [m[0], m[1], m[2], m[3]],\n    [m[4], m[5], m[6], m[7]],\n    [m[8], m[9], m[10], m[11]],\n    [m[12], m[13], m[14], m[15]],\n  ];\n}\n\n// ---------------------------------------------------------------------------\n// Index-raising helper\n// ---------------------------------------------------------------------------\n\n/**\n * Raise the first (α) index of the all-lower Ricci tensor:\n *\n *   R^ρ_ν = g^{ρα} R_{αν}\n *\n * Returns a 4×4 mixed-variance tensor (first index up, second down).\n */\nfunction raiseRicciFirstIndex(\n  ricci: number[][],\n  gInv: number[][],\n): number[][] {\n  // n=4 hardcoded (Decision #13).\n  // Bolt: Unrolled loops for fixed small dimension avoids iteration overhead.\n  const g0 = gInv[0]; const g1 = gInv[1]; const g2 = gInv[2]; const g3 = gInv[3];\n  const r0 = ricci[0]; const r1 = ricci[1]; const r2 = ricci[2]; const r3 = ricci[3];\n\n  const rm0 = [0.0, 0.0, 0.0, 0.0];\n  const rm1 = [0.0, 0.0, 0.0, 0.0];\n  const rm2 = [0.0, 0.0, 0.0, 0.0];\n  const rm3 = [0.0, 0.0, 0.0, 0.0];\n\n  if (g0[0] !== 0.0) { rm0[0] += g0[0] * r0[0]; rm0[1] += g0[0] * r0[1]; rm0[2] += g0[0] * r0[2]; rm0[3] += g0[0] * r0[3]; }\n  if (g0[1] !== 0.0) { rm0[0] += g0[1] * r1[0]; rm0[1] += g0[1] * r1[1]; rm0[2] += g0[1] * r1[2]; rm0[3] += g0[1] * r1[3]; }\n  if (g0[2] !== 0.0) { rm0[0] += g0[2] * r2[0]; rm0[1] += g0[2] * r2[1]; rm0[2] += g0[2] * r2[2]; rm0[3] += g0[2] * r2[3]; }\n  if (g0[3] !== 0.0) { rm0[0] += g0[3] * r3[0]; rm0[1] += g0[3] * r3[1]; rm0[2] += g0[3] * r3[2]; rm0[3] += g0[3] * r3[3]; }\n\n  if (g1[0] !== 0.0) { rm1[0] += g1[0] * r0[0]; rm1[1] += g1[0] * r0[1]; rm1[2] += g1[0] * r0[2]; rm1[3] += g1[0] * r0[3]; }\n  if (g1[1] !== 0.0) { rm1[0] += g1[1] * r1[0]; rm1[1] += g1[1] * r1[1]; rm1[2] += g1[1] * r1[2]; rm1[3] += g1[1] * r1[3]; }\n  if (g1[2] !== 0.0) { rm1[0] += g1[2] * r2[0]; rm1[1] += g1[2] * r2[1]; rm1[2] += g1[2] * r2[2]; rm1[3] += g1[2] * r2[3]; }\n  if (g1[3] !== 0.0) { rm1[0] += g1[3] * r3[0]; rm1[1] += g1[3] * r3[1]; rm1[2] += g1[3] * r3[2]; rm1[3] += g1[3] * r3[3]; }\n\n  if (g2[0] !== 0.0) { rm2[0] += g2[0] * r0[0]; rm2[1] += g2[0] * r0[1]; rm2[2] += g2[0] * r0[2]; rm2[3] += g2[0] * r0[3]; }\n  if (g2[1] !== 0.0) { rm2[0] += g2[1] * r1[0]; rm2[1] += g2[1] * r1[1]; rm2[2] += g2[1] * r1[2]; rm2[3] += g2[1] * r1[3]; }\n  if (g2[2] !== 0.0) { rm2[0] += g2[2] * r2[0]; rm2[1] += g2[2] * r2[1]; rm2[2] += g2[2] * r2[2]; rm2[3] += g2[2] * r2[3]; }\n  if (g2[3] !== 0.0) { rm2[0] += g2[3] * r3[0]; rm2[1] += g2[3] * r3[1]; rm2[2] += g2[3] * r3[2]; rm2[3] += g2[3] * r3[3]; }\n\n  if (g3[0] !== 0.0) { rm3[0] += g3[0] * r0[0]; rm3[1] += g3[0] * r0[1]; rm3[2] += g3[0] * r0[2]; rm3[3] += g3[0] * r0[3]; }\n  if (g3[1] !== 0.0) { rm3[0] += g3[1] * r1[0]; rm3[1] += g3[1] * r1[1]; rm3[2] += g3[1] * r1[2]; rm3[3] += g3[1] * r1[3]; }\n  if (g3[2] !== 0.0) { rm3[0] += g3[2] * r2[0]; rm3[1] += g3[2] * r2[1]; rm3[2] += g3[2] * r2[2]; rm3[3] += g3[2] * r2[3]; }\n  if (g3[3] !== 0.0) { rm3[0] += g3[3] * r3[0]; rm3[1] += g3[3] * r3[1]; rm3[2] += g3[3] * r3[2]; rm3[3] += g3[3] * r3[3]; }\n\n  return [rm0, rm1, rm2, rm3];\n}\n\n// ---------------------------------------------------------------------------\n// Main Weyl assembler\n// ---------------------------------------------------------------------------\n\n/**\n * Compute the Weyl tensor C^ρ_{σμν} from pre-sampled curvature inputs.\n *\n * Returns a 4-deep nested array C[ρ][σ][μ][ν] in the same mixed-variance\n * index order as the Riemann tensor returned by `buildRiemann`.\n *\n * n=4 is HARDCODED (Decision #13). For vacuum spacetimes (R_{μν}=0, R=0)\n * the result equals the Riemann tensor component-for-component (up to\n * floating-point zero-addition noise, which is exactly zero in exact arithmetic).\n *\n * @public\n */\nexport function computeWeylTensor(input: WeylInputs): number[][][][] {\n  const {\n    riemann: R,\n    ricci: Ric,\n    ricciScalar: RS,\n  } = input;\n  // O-4: normalize possibly-flat metrics ONCE at entry.\n  const g = toNested4x4(input.metric);\n  const gInv = toNested4x4(input.metricInverse);\n\n  // F-5 Step 1: raise the first Ricci index → R^ρ_ν = g^{ρα} R_{αν}.\n  const RicMixed = raiseRicciFirstIndex(Ric, gInv);\n\n  // F-5 Steps 2–3: assemble Weyl per the n=4 expanded formula.\n  //\n  //   C^ρ_{σμν} = R^ρ_{σμν}\n  //             − (1/2)(δ^ρ_μ R_{σν} − δ^ρ_ν R_{σμ} − g_{σμ} R^ρ_ν + g_{σν} R^ρ_μ)\n  //             + (1/6) R (δ^ρ_μ g_{σν} − δ^ρ_ν g_{σμ})\n  //\n  // Prefactor breakdown (n=4):\n  //   −1/(n-2)       = −1/2   (the Ricci correction)\n  //   +1/((n-1)(n-2)) = +1/6  (the scalar correction)\n  const C = new Array<number[][][]>(4);\n  const oneSixth = 1.0 / 6.0;\n\n  for (let rho = 0; rho < 4; rho++) {\n    const C_rho = new Array<number[][]>(4);\n    const RicMixed_rho = RicMixed[rho];\n\n    const RM_rho_0 = RicMixed_rho[0];\n    const RM_rho_1 = RicMixed_rho[1];\n    const RM_rho_2 = RicMixed_rho[2];\n    const RM_rho_3 = RicMixed_rho[3];\n    const R_rho = R[rho];\n\n    for (let sigma = 0; sigma < 4; sigma++) {\n      const R_rho_sigma = R_rho[sigma];\n      const g_sigma = g[sigma];\n      const Ric_sigma = Ric[sigma];\n\n      const g_sig_0 = g_sigma[0];\n      const g_sig_1 = g_sigma[1];\n      const g_sig_2 = g_sigma[2];\n      const g_sig_3 = g_sigma[3];\n\n      const R_sig_0 = Ric_sigma[0];\n      const R_sig_1 = Ric_sigma[1];\n      const R_sig_2 = Ric_sigma[2];\n      const R_sig_3 = Ric_sigma[3];\n\n      const rs_six = oneSixth * RS;\n\n      const sig_term_0 = -0.5 * R_sig_0 + rs_six * g_sig_0;\n      const sig_term_1 = -0.5 * R_sig_1 + rs_six * g_sig_1;\n      const sig_term_2 = -0.5 * R_sig_2 + rs_six * g_sig_2;\n      const sig_term_3 = -0.5 * R_sig_3 + rs_six * g_sig_3;\n\n      const r_rho_sigma_0 = R_rho_sigma[0];\n      const g_sigma_0_half = 0.5 * g_sig_0;\n      const ric_mixed_rho_0_half = 0.5 * RicMixed_rho[0];\n      const mu_term_0 = 0.5 * R_sig_0 - rs_six * g_sig_0;\n\n      let v00 = r_rho_sigma_0[0] + g_sigma_0_half * RM_rho_0 - g_sig_0 * ric_mixed_rho_0_half;\n      let v01 = r_rho_sigma_0[1] + g_sigma_0_half * RM_rho_1 - g_sig_1 * ric_mixed_rho_0_half;\n      let v02 = r_rho_sigma_0[2] + g_sigma_0_half * RM_rho_2 - g_sig_2 * ric_mixed_rho_0_half;\n      let v03 = r_rho_sigma_0[3] + g_sigma_0_half * RM_rho_3 - g_sig_3 * ric_mixed_rho_0_half;\n\n      if (rho === 0) {\n        v00 += sig_term_0 + mu_term_0;\n        v01 += sig_term_1;\n        v02 += sig_term_2;\n        v03 += sig_term_3;\n      } else if (rho === 1) v01 += mu_term_0;\n      else if (rho === 2) v02 += mu_term_0;\n      else if (rho === 3) v03 += mu_term_0;\n\n      const r_rho_sigma_1 = R_rho_sigma[1];\n      const g_sigma_1_half = 0.5 * g_sig_1;\n      const ric_mixed_rho_1_half = 0.5 * RicMixed_rho[1];\n      const mu_term_1 = 0.5 * R_sig_1 - rs_six * g_sig_1;\n\n      let v10 = r_rho_sigma_1[0] + g_sigma_1_half * RM_rho_0 - g_sig_0 * ric_mixed_rho_1_half;\n      let v11 = r_rho_sigma_1[1] + g_sigma_1_half * RM_rho_1 - g_sig_1 * ric_mixed_rho_1_half;\n      let v12 = r_rho_sigma_1[2] + g_sigma_1_half * RM_rho_2 - g_sig_2 * ric_mixed_rho_1_half;\n      let v13 = r_rho_sigma_1[3] + g_sigma_1_half * RM_rho_3 - g_sig_3 * ric_mixed_rho_1_half;\n\n      if (rho === 1) {\n        v10 += sig_term_0;\n        v11 += sig_term_1 + mu_term_1;\n        v12 += sig_term_2;\n        v13 += sig_term_3;\n      } else if (rho === 0) v10 += mu_term_1;\n      else if (rho === 2) v12 += mu_term_1;\n      else if (rho === 3) v13 += mu_term_1;\n\n      const r_rho_sigma_2 = R_rho_sigma[2];\n      const g_sigma_2_half = 0.5 * g_sig_2;\n      const ric_mixed_rho_2_half = 0.5 * RicMixed_rho[2];\n      const mu_term_2 = 0.5 * R_sig_2 - rs_six * g_sig_2;\n\n      let v20 = r_rho_sigma_2[0] + g_sigma_2_half * RM_rho_0 - g_sig_0 * ric_mixed_rho_2_half;\n      let v21 = r_rho_sigma_2[1] + g_sigma_2_half * RM_rho_1 - g_sig_1 * ric_mixed_rho_2_half;\n      let v22 = r_rho_sigma_2[2] + g_sigma_2_half * RM_rho_2 - g_sig_2 * ric_mixed_rho_2_half;\n      let v23 = r_rho_sigma_2[3] + g_sigma_2_half * RM_rho_3 - g_sig_3 * ric_mixed_rho_2_half;\n\n      if (rho === 2) {\n        v20 += sig_term_0;\n        v21 += sig_term_1;\n        v22 += sig_term_2 + mu_term_2;\n        v23 += sig_term_3;\n      } else if (rho === 0) v20 += mu_term_2;\n      else if (rho === 1) v21 += mu_term_2;\n      else if (rho === 3) v23 += mu_term_2;\n\n      const r_rho_sigma_3 = R_rho_sigma[3];\n      const g_sigma_3_half = 0.5 * g_sig_3;\n      const ric_mixed_rho_3_half = 0.5 * RicMixed_rho[3];\n      const mu_term_3 = 0.5 * R_sig_3 - rs_six * g_sig_3;\n\n      let v30 = r_rho_sigma_3[0] + g_sigma_3_half * RM_rho_0 - g_sig_0 * ric_mixed_rho_3_half;\n      let v31 = r_rho_sigma_3[1] + g_sigma_3_half * RM_rho_1 - g_sig_1 * ric_mixed_rho_3_half;\n      let v32 = r_rho_sigma_3[2] + g_sigma_3_half * RM_rho_2 - g_sig_2 * ric_mixed_rho_3_half;\n      let v33 = r_rho_sigma_3[3] + g_sigma_3_half * RM_rho_3 - g_sig_3 * ric_mixed_rho_3_half;\n\n      if (rho === 3) {\n        v30 += sig_term_0;\n        v31 += sig_term_1;\n        v32 += sig_term_2;\n        v33 += sig_term_3 + mu_term_3;\n      } else if (rho === 0) v30 += mu_term_3;\n      else if (rho === 1) v31 += mu_term_3;\n      else if (rho === 2) v32 += mu_term_3;\n\n      C_rho[sigma] = [\n        [v00, v01, v02, v03],\n        [v10, v11, v12, v13],\n        [v20, v21, v22, v23],\n        [v30, v31, v32, v33],\n      ];\n    }\n    C[rho] = C_rho;\n  }\n\n  return C;\n}\n"]}

package/dist/relations/category.js.map

@@ -1 +1 @@
-{"version":3,"file":"category.js","sourceRoot":"","sources":["../../src/relations/category.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAGH,OAAO,EAAE,eAAe,EAA0B,MAAM,wBAAwB,CAAC;AAoBjF;;;;;;;;GAQG;AACH,MAAM,UAAU,gBAAgB,CAC9B,KAAuB,EACvB,MAAwB;IAExB,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM;QAAE,OAAO,oBAAoB,CAAC;IAChE,OAAO,eAAe,CAAC,KAAK,CAAC,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;AAC1D,CAAC"}
+{"version":3,"file":"category.js","sourceRoot":"","sources":["../../src/relations/category.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAGH,OAAO,EAAE,eAAe,EAA0B,MAAM,wBAAwB,CAAC;AAoBjF;;;;;;;;GAQG;AACH,MAAM,UAAU,gBAAgB,CAC9B,KAAuB,EACvB,MAAwB;IAExB,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM;QAAE,OAAO,oBAAoB,CAAC;IAChE,OAAO,eAAe,CAAC,KAAK,CAAC,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;AAC1D,CAAC","sourcesContent":["/**\n * Objects and morphisms of the regime category.\n *\n * An object is an id together with a `Regime`. A morphism is the ids of\n * its source and target, plus the `RelationType` it asserts.\n * `composeMorphisms` returns `'no-composite-claim'` when `first.target`\n * is not `second.source`. Otherwise it returns `composeRelation`.\n * Endpoint identity is string equality on the ids the caller stored.\n * There is no second composition table.\n *\n * Identity morphisms and 2-cells are omitted. Part IX §3 leaves identity\n * unspecified, and a non-commuting pair is two chains.\n *\n * @module relations/category\n */\n\nimport type { Regime, RelationType } from './types.js';\nimport { composeRelation, type CompositionResult } from './composition-table.js';\n\n/** An object: an id together with the regime it sits in. @internal */\nexport interface CategoryObject {\n  readonly id: string;\n  readonly regime: Regime;\n}\n\n/**\n * A morphism from one object to another. The id pair is the source and\n * the target. The relation is what the morphism asserts.\n *\n * @internal\n */\nexport interface CategoryMorphism {\n  readonly source: string;\n  readonly target: string;\n  readonly relation: RelationType;\n}\n\n/**\n * The relation a chain of two morphisms may assert.\n *\n * A pair that does not meet is `'no-composite-claim'`, including when\n * the table cell for the two relation types is defined. Meeting is\n * `first.target === second.source`.\n *\n * @internal\n */\nexport function composeMorphisms(\n  first: CategoryMorphism,\n  second: CategoryMorphism,\n): CompositionResult {\n  if (first.target !== second.source) return 'no-composite-claim';\n  return composeRelation(first.relation, second.relation);\n}\n"]}

package/dist/relations/composition-table.d.ts

@@ -15,16 +15,16 @@
  * The ninth cell, `approximation ∘ exact-equivalence = approximation`, is the
  * reviewed widening of `docs/planning/ADR-transported-norm-composition.md`. The
  * table stays a pure function of relation types: the cell says what a route
- * WOULD assert, and `boundPath` (`./path-bound.ts`) decides whether a given route
- * carries a bound, which it does only when the exact bridge declares a norm
- * transport from the norm the approximation states.
+ * WOULD assert, and `boundPath` (`src/atlas/path-bound.ts`) decides whether a
+ * given route carries a bound, which it does only when the exact bridge declares
+ * a norm transport from the norm the approximation states.
  *
  * Two cells the implementation plan asserts are NOT defined here, on the
  * authority of the design note (§0 and §2.2 item 5):
  *
  * - `exact-equivalence ∘ approximation`. An exact equivalence contributes
  *   `IDENTITY_BOUND` only *in the norm a given bridge states* (see
- *   `./error-algebra.ts`); with the exact edge first, that norm would have to be
+ *   `src/atlas/error-algebra.ts`); with the exact edge first, that norm would have to be
  *   pulled back through the map, which the ADR leaves undefined (its §3).
  * - `structural-analogy ∘ structural-analogy`. Analogy is not transitive: the
  *   shared structure can dilute to nothing across a chain.

package/dist/relations/composition-table.js

@@ -15,16 +15,16 @@
  * The ninth cell, `approximation ∘ exact-equivalence = approximation`, is the
  * reviewed widening of `docs/planning/ADR-transported-norm-composition.md`. The
  * table stays a pure function of relation types: the cell says what a route
- * WOULD assert, and `boundPath` (`./path-bound.ts`) decides whether a given route
- * carries a bound, which it does only when the exact bridge declares a norm
- * transport from the norm the approximation states.
+ * WOULD assert, and `boundPath` (`src/atlas/path-bound.ts`) decides whether a
+ * given route carries a bound, which it does only when the exact bridge declares
+ * a norm transport from the norm the approximation states.
  *
  * Two cells the implementation plan asserts are NOT defined here, on the
  * authority of the design note (§0 and §2.2 item 5):
  *
  * - `exact-equivalence ∘ approximation`. An exact equivalence contributes
  *   `IDENTITY_BOUND` only *in the norm a given bridge states* (see
- *   `./error-algebra.ts`); with the exact edge first, that norm would have to be
+ *   `src/atlas/error-algebra.ts`); with the exact edge first, that norm would have to be
  *   pulled back through the map, which the ADR leaves undefined (its §3).
  * - `structural-analogy ∘ structural-analogy`. Analogy is not transitive: the
  *   shared structure can dilute to nothing across a chain.

package/dist/relations/composition-table.js.map

@@ -1 +1 @@
-{"version":3,"file":"composition-table.js","sourceRoot":"","sources":["../../src/relations/composition-table.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AAUH,yGAAyG;AACzG,MAAM,CAAC,MAAM,kBAAkB,GAAqB,oBAAoB,CAAC;AAEzE;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAE1B;IACF,UAAU,EAAE;QACV,UAAU,EAAE,YAAY;QACxB,mBAAmB,EAAE,YAAY;QACjC,WAAW,EAAE,kBAAkB;QAC/B,aAAa,EAAE,kBAAkB;QACjC,iBAAiB,EAAE,kBAAkB;QACrC,uBAAuB,EAAE,kBAAkB;QAC3C,oBAAoB,EAAE,kBAAkB;QACxC,0BAA0B,EAAE,kBAAkB;KAC/C;IACD,mBAAmB,EAAE;QACnB,UAAU,EAAE,YAAY;QACxB,mBAAmB,EAAE,mBAAmB;QACxC,WAAW,EAAE,aAAa;QAC1B,aAAa,EAAE,kBAAkB;QACjC,iBAAiB,EAAE,kBAAkB;QACrC,uBAAuB,EAAE,kBAAkB;QAC3C,oBAAoB,EAAE,kBAAkB;QACxC,0BAA0B,EAAE,kBAAkB;KAC/C;IACD,WAAW,EAAE;QACX,UAAU,EAAE,kBAAkB;QAC9B,mBAAmB,EAAE,aAAa;QAClC,WAAW,EAAE,aAAa;QAC1B,aAAa,EAAE,kBAAkB;QACjC,iBAAiB,EAAE,kBAAkB;QACrC,uBAAuB,EAAE,kBAAkB;QAC3C,oBAAoB,EAAE,kBAAkB;QACxC,0BAA0B,EAAE,kBAAkB;KAC/C;IACD,aAAa,EAAE;QACb,UAAU,EAAE,kBAAkB;QAC9B,+FAA+F;QAC/F,mBAAmB,EAAE,eAAe;QACpC,WAAW,EAAE,kBAAkB;QAC/B,aAAa,EAAE,kBAAkB;QACjC,iBAAiB,EAAE,kBAAkB;QACrC,uBAAuB,EAAE,kBAAkB;QAC3C,oBAAoB,EAAE,kBAAkB;QACxC,0BAA0B,EAAE,kBAAkB;KAC/C;IACD,iBAAiB,EAAE;QACjB,UAAU,EAAE,kBAAkB;QAC9B,mBAAmB,EAAE,kBAAkB;QACvC,WAAW,EAAE,kBAAkB;QAC/B,aAAa,EAAE,kBAAkB;QACjC,iBAAiB,EAAE,iBAAiB;QACpC,uBAAuB,EAAE,kBAAkB;QAC3C,oBAAoB,EAAE,kBAAkB;QACxC,0BAA0B,EAAE,kBAAkB;KAC/C;IACD,uBAAuB,EAAE;QACvB,UAAU,EAAE,kBAAkB;QAC9B,mBAAmB,EAAE,kBAAkB;QACvC,WAAW,EAAE,kBAAkB;QAC/B,aAAa,EAAE,kBAAkB;QACjC,iBAAiB,EAAE,kBAAkB;QACrC,uBAAuB,EAAE,kBAAkB;QAC3C,oBAAoB,EAAE,kBAAkB;QACxC,0BAA0B,EAAE,kBAAkB;KAC/C;IACD,oBAAoB,EAAE;QACpB,UAAU,EAAE,kBAAkB;QAC9B,mBAAmB,EAAE,kBAAkB;QACvC,WAAW,EAAE,kBAAkB;QAC/B,aAAa,EAAE,kBAAkB;QACjC,iBAAiB,EAAE,kBAAkB;QACrC,uBAAuB,EAAE,kBAAkB;QAC3C,oBAAoB,EAAE,kBAAkB;QACxC,0BAA0B,EAAE,kBAAkB;KAC/C;IACD,0BAA0B,EAAE;QAC1B,UAAU,EAAE,kBAAkB;QAC9B,mBAAmB,EAAE,kBAAkB;QACvC,WAAW,EAAE,kBAAkB;QAC/B,aAAa,EAAE,kBAAkB;QACjC,iBAAiB,EAAE,kBAAkB;QACrC,uBAAuB,EAAE,kBAAkB;QAC3C,oBAAoB,EAAE,kBAAkB;QACxC,0BAA0B,EAAE,kBAAkB;KAC/C;CACF,CAAC;AAEF;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAC7B,KAAmB,EACnB,MAAoB;IAEpB,OAAO,iBAAiB,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC;AAC1C,CAAC"}
+{"version":3,"file":"composition-table.js","sourceRoot":"","sources":["../../src/relations/composition-table.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AAUH,yGAAyG;AACzG,MAAM,CAAC,MAAM,kBAAkB,GAAqB,oBAAoB,CAAC;AAEzE;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAE1B;IACF,UAAU,EAAE;QACV,UAAU,EAAE,YAAY;QACxB,mBAAmB,EAAE,YAAY;QACjC,WAAW,EAAE,kBAAkB;QAC/B,aAAa,EAAE,kBAAkB;QACjC,iBAAiB,EAAE,kBAAkB;QACrC,uBAAuB,EAAE,kBAAkB;QAC3C,oBAAoB,EAAE,kBAAkB;QACxC,0BAA0B,EAAE,kBAAkB;KAC/C;IACD,mBAAmB,EAAE;QACnB,UAAU,EAAE,YAAY;QACxB,mBAAmB,EAAE,mBAAmB;QACxC,WAAW,EAAE,aAAa;QAC1B,aAAa,EAAE,kBAAkB;QACjC,iBAAiB,EAAE,kBAAkB;QACrC,uBAAuB,EAAE,kBAAkB;QAC3C,oBAAoB,EAAE,kBAAkB;QACxC,0BAA0B,EAAE,kBAAkB;KAC/C;IACD,WAAW,EAAE;QACX,UAAU,EAAE,kBAAkB;QAC9B,mBAAmB,EAAE,aAAa;QAClC,WAAW,EAAE,aAAa;QAC1B,aAAa,EAAE,kBAAkB;QACjC,iBAAiB,EAAE,kBAAkB;QACrC,uBAAuB,EAAE,kBAAkB;QAC3C,oBAAoB,EAAE,kBAAkB;QACxC,0BAA0B,EAAE,kBAAkB;KAC/C;IACD,aAAa,EAAE;QACb,UAAU,EAAE,kBAAkB;QAC9B,+FAA+F;QAC/F,mBAAmB,EAAE,eAAe;QACpC,WAAW,EAAE,kBAAkB;QAC/B,aAAa,EAAE,kBAAkB;QACjC,iBAAiB,EAAE,kBAAkB;QACrC,uBAAuB,EAAE,kBAAkB;QAC3C,oBAAoB,EAAE,kBAAkB;QACxC,0BAA0B,EAAE,kBAAkB;KAC/C;IACD,iBAAiB,EAAE;QACjB,UAAU,EAAE,kBAAkB;QAC9B,mBAAmB,EAAE,kBAAkB;QACvC,WAAW,EAAE,kBAAkB;QAC/B,aAAa,EAAE,kBAAkB;QACjC,iBAAiB,EAAE,iBAAiB;QACpC,uBAAuB,EAAE,kBAAkB;QAC3C,oBAAoB,EAAE,kBAAkB;QACxC,0BAA0B,EAAE,kBAAkB;KAC/C;IACD,uBAAuB,EAAE;QACvB,UAAU,EAAE,kBAAkB;QAC9B,mBAAmB,EAAE,kBAAkB;QACvC,WAAW,EAAE,kBAAkB;QAC/B,aAAa,EAAE,kBAAkB;QACjC,iBAAiB,EAAE,kBAAkB;QACrC,uBAAuB,EAAE,kBAAkB;QAC3C,oBAAoB,EAAE,kBAAkB;QACxC,0BAA0B,EAAE,kBAAkB;KAC/C;IACD,oBAAoB,EAAE;QACpB,UAAU,EAAE,kBAAkB;QAC9B,mBAAmB,EAAE,kBAAkB;QACvC,WAAW,EAAE,kBAAkB;QAC/B,aAAa,EAAE,kBAAkB;QACjC,iBAAiB,EAAE,kBAAkB;QACrC,uBAAuB,EAAE,kBAAkB;QAC3C,oBAAoB,EAAE,kBAAkB;QACxC,0BAA0B,EAAE,kBAAkB;KAC/C;IACD,0BAA0B,EAAE;QAC1B,UAAU,EAAE,kBAAkB;QAC9B,mBAAmB,EAAE,kBAAkB;QACvC,WAAW,EAAE,kBAAkB;QAC/B,aAAa,EAAE,kBAAkB;QACjC,iBAAiB,EAAE,kBAAkB;QACrC,uBAAuB,EAAE,kBAAkB;QAC3C,oBAAoB,EAAE,kBAAkB;QACxC,0BAA0B,EAAE,kBAAkB;KAC/C;CACF,CAAC;AAEF;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAC7B,KAAmB,EACnB,MAAoB;IAEpB,OAAO,iBAAiB,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC;AAC1C,CAAC","sourcesContent":["/**\n * The composition table for `RelationType` — a literal 8×8 matrix.\n *\n * `composeRelation(first, second)` answers: if one bridge asserts `first` and a\n * second bridge asserts `second`, what relation does the chain assert? The\n * argument order is the `First ∘ Second` column order of design note\n * `docs/planning/Atlas-Phase-1-Design.md` §2.1.\n *\n * **The table is a deliberate UNDER-approximation of Blueprint v2 §4.2.** Every\n * cell not named in §2.1 is `'no-composite-claim'`, because a wrong composite\n * type is a false physical claim while silence is only silence. Nine of the\n * sixty-four cells are defined; the remaining fifty-five are silent, and the\n * reasons for the notable silences are §2.2.\n *\n * The ninth cell, `approximation ∘ exact-equivalence = approximation`, is the\n * reviewed widening of `docs/planning/ADR-transported-norm-composition.md`. The\n * table stays a pure function of relation types: the cell says what a route\n * WOULD assert, and `boundPath` (`src/atlas/path-bound.ts`) decides whether a\n * given route carries a bound, which it does only when the exact bridge declares\n * a norm transport from the norm the approximation states.\n *\n * Two cells the implementation plan asserts are NOT defined here, on the\n * authority of the design note (§0 and §2.2 item 5):\n *\n * - `exact-equivalence ∘ approximation`. An exact equivalence contributes\n *   `IDENTITY_BOUND` only *in the norm a given bridge states* (see\n *   `src/atlas/error-algebra.ts`); with the exact edge first, that norm would have to be\n *   pulled back through the map, which the ADR leaves undefined (its §3).\n * - `structural-analogy ∘ structural-analogy`. Analogy is not transitive: the\n *   shared structure can dilute to nothing across a chain.\n *\n * Widening this table is a reviewed act — `tests/atlas/composition-table.test.ts`\n * pins the count of silent cells.\n *\n * Pure: no I/O, no registry reads, and no import from `src/composition/`.\n *\n * @module relations/composition-table\n */\n\nimport type { RelationType } from './types.js';\n\n/** What `composeRelation` returns when the chain asserts nothing. @public */\nexport type NoCompositeClaim = 'no-composite-claim';\n\n/** The result of composing two relations. @public */\nexport type CompositionResult = RelationType | NoCompositeClaim;\n\n/** The `'no-composite-claim'` value `composeRelation` returns when the chain asserts nothing. @public */\nexport const NO_COMPOSITE_CLAIM: NoCompositeClaim = 'no-composite-claim';\n\n/**\n * Every row of every column, written out. `Record<RelationType, …>` makes the\n * exhaustiveness structural: a ninth `RelationType` member fails to compile\n * here rather than silently acquiring a row of `'no-composite-claim'`.\n *\n * @public\n */\nexport const COMPOSITION_TABLE: Readonly<\n  Record<RelationType, Readonly<Record<RelationType, CompositionResult>>>\n> = {\n  derivation: {\n    derivation: 'derivation',\n    'exact-equivalence': 'derivation',\n    restriction: NO_COMPOSITE_CLAIM,\n    approximation: NO_COMPOSITE_CLAIM,\n    'coarse-graining': NO_COMPOSITE_CLAIM,\n    'analytic-continuation': NO_COMPOSITE_CLAIM,\n    'structural-analogy': NO_COMPOSITE_CLAIM,\n    'deformation-quantization': NO_COMPOSITE_CLAIM,\n  },\n  'exact-equivalence': {\n    derivation: 'derivation',\n    'exact-equivalence': 'exact-equivalence',\n    restriction: 'restriction',\n    approximation: NO_COMPOSITE_CLAIM,\n    'coarse-graining': NO_COMPOSITE_CLAIM,\n    'analytic-continuation': NO_COMPOSITE_CLAIM,\n    'structural-analogy': NO_COMPOSITE_CLAIM,\n    'deformation-quantization': NO_COMPOSITE_CLAIM,\n  },\n  restriction: {\n    derivation: NO_COMPOSITE_CLAIM,\n    'exact-equivalence': 'restriction',\n    restriction: 'restriction',\n    approximation: NO_COMPOSITE_CLAIM,\n    'coarse-graining': NO_COMPOSITE_CLAIM,\n    'analytic-continuation': NO_COMPOSITE_CLAIM,\n    'structural-analogy': NO_COMPOSITE_CLAIM,\n    'deformation-quantization': NO_COMPOSITE_CLAIM,\n  },\n  approximation: {\n    derivation: NO_COMPOSITE_CLAIM,\n    // Licensed per route by a declared norm transport on the exact bridge; see the module comment.\n    'exact-equivalence': 'approximation',\n    restriction: NO_COMPOSITE_CLAIM,\n    approximation: NO_COMPOSITE_CLAIM,\n    'coarse-graining': NO_COMPOSITE_CLAIM,\n    'analytic-continuation': NO_COMPOSITE_CLAIM,\n    'structural-analogy': NO_COMPOSITE_CLAIM,\n    'deformation-quantization': NO_COMPOSITE_CLAIM,\n  },\n  'coarse-graining': {\n    derivation: NO_COMPOSITE_CLAIM,\n    'exact-equivalence': NO_COMPOSITE_CLAIM,\n    restriction: NO_COMPOSITE_CLAIM,\n    approximation: NO_COMPOSITE_CLAIM,\n    'coarse-graining': 'coarse-graining',\n    'analytic-continuation': NO_COMPOSITE_CLAIM,\n    'structural-analogy': NO_COMPOSITE_CLAIM,\n    'deformation-quantization': NO_COMPOSITE_CLAIM,\n  },\n  'analytic-continuation': {\n    derivation: NO_COMPOSITE_CLAIM,\n    'exact-equivalence': NO_COMPOSITE_CLAIM,\n    restriction: NO_COMPOSITE_CLAIM,\n    approximation: NO_COMPOSITE_CLAIM,\n    'coarse-graining': NO_COMPOSITE_CLAIM,\n    'analytic-continuation': NO_COMPOSITE_CLAIM,\n    'structural-analogy': NO_COMPOSITE_CLAIM,\n    'deformation-quantization': NO_COMPOSITE_CLAIM,\n  },\n  'structural-analogy': {\n    derivation: NO_COMPOSITE_CLAIM,\n    'exact-equivalence': NO_COMPOSITE_CLAIM,\n    restriction: NO_COMPOSITE_CLAIM,\n    approximation: NO_COMPOSITE_CLAIM,\n    'coarse-graining': NO_COMPOSITE_CLAIM,\n    'analytic-continuation': NO_COMPOSITE_CLAIM,\n    'structural-analogy': NO_COMPOSITE_CLAIM,\n    'deformation-quantization': NO_COMPOSITE_CLAIM,\n  },\n  'deformation-quantization': {\n    derivation: NO_COMPOSITE_CLAIM,\n    'exact-equivalence': NO_COMPOSITE_CLAIM,\n    restriction: NO_COMPOSITE_CLAIM,\n    approximation: NO_COMPOSITE_CLAIM,\n    'coarse-graining': NO_COMPOSITE_CLAIM,\n    'analytic-continuation': NO_COMPOSITE_CLAIM,\n    'structural-analogy': NO_COMPOSITE_CLAIM,\n    'deformation-quantization': NO_COMPOSITE_CLAIM,\n  },\n};\n\n/**\n * The relation a chain of two bridges asserts, or `'no-composite-claim'` when\n * this sprint declines to assert one. A table lookup — no rules, no inference.\n *\n * @public\n */\nexport function composeRelation(\n  first: RelationType,\n  second: RelationType,\n): CompositionResult {\n  return COMPOSITION_TABLE[first][second];\n}\n"]}

package/dist/relations/conventions.js.map

@@ -1 +1 @@
-{"version":3,"file":"conventions.js","sourceRoot":"","sources":["../../src/relations/conventions.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAOH;;;;;GAKG;AACH,MAAM,eAAe,GAA6B;IAChD,cAAc;IACd,iBAAiB;IACjB,sBAAsB;IACtB,YAAY;IACZ,qBAAqB;CACtB,CAAC;AAEF;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,gBAAgB,CAC9B,CAA0B,EAC1B,CAA0B;IAE1B,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IAClD,OAAO,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;QAClC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAChB,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAChB,kDAAkD;QAClD,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACvD,OAAO,EAAE,KAAK,EAAE,CAAC;IACnB,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,qBAAqB,CACnC,CAA0B,EAC1B,CAA0B;IAE1B,MAAM,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC;IACnB,MAAM,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC;IACnB,OAAO,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;QAClC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAChB,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAChB,gFAAgF;QAChF,OAAO,CAAC,CAAC,KAAK,SAAS,CAAC,KAAK,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;AACL,CAAC"}
+{"version":3,"file":"conventions.js","sourceRoot":"","sources":["../../src/relations/conventions.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAOH;;;;;GAKG;AACH,MAAM,eAAe,GAA6B;IAChD,cAAc;IACd,iBAAiB;IACjB,sBAAsB;IACtB,YAAY;IACZ,qBAAqB;CACtB,CAAC;AAEF;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,gBAAgB,CAC9B,CAA0B,EAC1B,CAA0B;IAE1B,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IAClD,OAAO,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;QAClC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAChB,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAChB,kDAAkD;QAClD,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACvD,OAAO,EAAE,KAAK,EAAE,CAAC;IACnB,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,qBAAqB,CACnC,CAA0B,EAC1B,CAA0B;IAE1B,MAAM,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC;IACnB,MAAM,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC;IACnB,OAAO,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;QAClC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAChB,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAChB,gFAAgF;QAChF,OAAO,CAAC,CAAC,KAAK,SAAS,CAAC,KAAK,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;AACL,CAAC","sourcesContent":["/**\n * Atlas Phase 1 — convention comparison.\n *\n * `Conventions` (`./types.ts`) records the sign and unit choices a\n * record depends on. Two records that disagree on one of those choices are not\n * directly comparable, and this module says WHICH keys disagree.\n *\n * **`undefined` is \"unknown\", never \"mismatch\", and that asymmetry is the\n * whole design.** A record that declares nothing about the metric signature\n * has not chosen `'+---'`; it has not said. Reporting the absence as a\n * disagreement would manufacture conflicts out of missing data — and because\n * almost every record in the repo declares nothing today, it would manufacture\n * them at scale. The same reasoning that makes design note §3 require a\n * NON-EMPTY `conventions` before `convention-checked` can be derived applies\n * in the mirror here: absence earns neither a tag nor an accusation.\n *\n * A mismatch is therefore reported only when BOTH sides declare the key and\n * the declared values differ.\n *\n * @module relations/conventions\n */\n\nimport type { Conventions } from './types.js';\n\n/** The keys `checkConventions` compares. @internal */\nexport type ConventionKey = keyof Conventions;\n\n/**\n * Every key of `Conventions`, as values. Written out rather than derived,\n * because a type has no runtime extent; `tests/atlas/conventions.test.ts`\n * pins this list against the interface so a new field cannot be added to\n * `Conventions` and silently skipped by the comparison.\n */\nconst CONVENTION_KEYS: readonly ConventionKey[] = [\n  'heatWorkSign',\n  'metricSignature',\n  'fourierNormalization',\n  'unitSystem',\n  'capacitorChargeSign',\n];\n\n/**\n * The convention keys on which `a` and `b` DECLARE different values.\n *\n * Returns an empty list when they agree, when either side is absent, and when\n * neither declares a key in common.\n *\n * ⚠ **An empty list is NOT a statement that the two are compatible** — it means\n * no DECLARED pair disagrees. Eve (E1, 2026-09-21) flagged that this conflates\n * the safe case with the dangerous one: record A declaring `metricSignature:\n * '-+++'` while B simply never declared it returns `[]`, exactly like genuine\n * agreement, and a caller printing nothing leads a reader to infer \"checked, no\n * conflict\". Silence is not agreement. Use {@link unknownConventionKeys} to\n * surface that case, and prefer reporting the two together.\n *\n * @param a - one record's conventions, or `undefined` when it declares none.\n * @param b - the other record's conventions, or `undefined`.\n * @returns the mismatched keys, in `Conventions` declaration order.\n *\n * @internal\n */\nexport function checkConventions(\n  a: Conventions | undefined,\n  b: Conventions | undefined,\n): readonly ConventionKey[] {\n  if (a === undefined || b === undefined) return [];\n  return CONVENTION_KEYS.filter((k) => {\n    const av = a[k];\n    const bv = b[k];\n    // Either side silent ⇒ unknown, not disagreement.\n    if (av === undefined || bv === undefined) return false;\n    return av !== bv;\n  });\n}\n\n/**\n * The convention keys where exactly ONE side declares a value — the cases\n * {@link checkConventions} deliberately does not call mismatches.\n *\n * This exists because \"no declared pair disagrees\" and \"these two are\n * compatible\" are different claims, and only the first is checkable from the\n * data. A key listed here is a question, not a conflict: the records MIGHT use\n * opposite sign conventions and one simply never said. Reporting it separately\n * lets a reader distinguish *verified agreement* from *nobody wrote it down*,\n * which is the distinction an empty mismatch list destroys.\n *\n * Both sides absent is NOT unknown — it is simply a key nobody uses, so it is\n * omitted. Only an asymmetric declaration is reported.\n *\n * @internal\n */\nexport function unknownConventionKeys(\n  a: Conventions | undefined,\n  b: Conventions | undefined,\n): readonly ConventionKey[] {\n  const av = a ?? {};\n  const bv = b ?? {};\n  return CONVENTION_KEYS.filter((k) => {\n    const x = av[k];\n    const y = bv[k];\n    // Exactly one declared: the asymmetric case. Neither declared ⇒ not a question.\n    return (x === undefined) !== (y === undefined);\n  });\n}\n"]}

package/dist/relations/domain-regimes.js.map

@@ -1 +1 @@
-{"version":3,"file":"domain-regimes.js","sourceRoot":"","sources":["../../src/relations/domain-regimes.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAGhE,SAAS,OAAO,CAAC,IAAY;IAC3B,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,YAAY,EAAE,EAAE,EAAE,gBAAgB,EAAE,EAAE,EAAE,CAAC;AAClE,CAAC;AAED,KAAK,MAAM,IAAI,IAAI,CAAC,QAAQ,EAAE,kBAAkB,EAAE,QAAQ,CAAU,EAAE,CAAC;IACrE,oBAAoB,CAAC;QACnB,IAAI;QACJ,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;KAC/D,CAAC,CAAC;AACL,CAAC"}
+{"version":3,"file":"domain-regimes.js","sourceRoot":"","sources":["../../src/relations/domain-regimes.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAGhE,SAAS,OAAO,CAAC,IAAY;IAC3B,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,YAAY,EAAE,EAAE,EAAE,gBAAgB,EAAE,EAAE,EAAE,CAAC;AAClE,CAAC;AAED,KAAK,MAAM,IAAI,IAAI,CAAC,QAAQ,EAAE,kBAAkB,EAAE,QAAQ,CAAU,EAAE,CAAC;IACrE,oBAAoB,CAAC;QACnB,IAAI;QACJ,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;KAC/D,CAAC,CAAC;AACL,CAAC","sourcesContent":["/**\n * Domains whose inequality list is empty.\n *\n * Plasma, piezoelectricity, and Tolman are names a caller can survey. No\n * bound is written down here: a plasma-β, a piezoelectric inequality, and a\n * Tolman gradient are not catalog statements. The command reports the empty\n * list as vacuous. Input guards on an evaluator are not this registration.\n *\n * @module relations/domain-regimes\n */\n\nimport { registerRegimeDomain } from './regime-registration.js';\nimport type { Regime } from './types.js';\n\nfunction vacuous(name: string): Regime {\n  return { family: name, inequalities: [], groupDefinitions: {} };\n}\n\nfor (const name of ['plasma', 'piezoelectricity', 'tolman'] as const) {\n  registerRegimeDomain({\n    name,\n    records: [{ id: name, kind: 'domain', regime: vacuous(name) }],\n  });\n}\n"]}

package/dist/relations/regime-registration.js.map

@@ -1 +1 @@
-{"version":3,"file":"regime-registration.js","sourceRoot":"","sources":["../../src/relations/regime-registration.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAkBH,MAAM,aAAa,GAA+B,EAAE,CAAC;AAErD;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAAC,YAAsC;IACzE,IAAI,aAAa,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1E,MAAM,IAAI,KAAK,CAAC,WAAW,YAAY,CAAC,IAAI,yBAAyB,CAAC,CAAC;IACzE,CAAC;IACD,aAAa,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;AACnC,CAAC;AAED,oEAAoE;AACpE,MAAM,UAAU,yBAAyB;IACvC,OAAO,aAAa,CAAC;AACvB,CAAC"}
+{"version":3,"file":"regime-registration.js","sourceRoot":"","sources":["../../src/relations/regime-registration.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAkBH,MAAM,aAAa,GAA+B,EAAE,CAAC;AAErD;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAAC,YAAsC;IACzE,IAAI,aAAa,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1E,MAAM,IAAI,KAAK,CAAC,WAAW,YAAY,CAAC,IAAI,yBAAyB,CAAC,CAAC;IACzE,CAAC;IACD,aAAa,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;AACnC,CAAC;AAED,oEAAoE;AACpE,MAAM,UAAU,yBAAyB;IACvC,OAAO,aAAa,CAAC;AACvB,CAAC","sourcesContent":["/**\n * Names `upt regime` can survey that are not atlas families.\n *\n * An atlas family is models, bridges, and rejections. A domain module adds a\n * name and the records that carry inequalities, and does not construct those.\n * This is not `src/core/regime-registry.ts`, which stores tensor-cell regimes.\n *\n * @module relations/regime-registration\n */\n\nimport type { Regime } from './types.js';\n\n/** One record a domain registration surveys. @internal */\nexport interface RegimeDomainRecord {\n  readonly id: string;\n  readonly kind: 'domain';\n  readonly regime: Regime;\n  readonly sideConditions?: readonly string[];\n}\n\n/** A name plus the records whose inequalities the command evaluates. @internal */\nexport interface RegimeDomainRegistration {\n  readonly name: string;\n  readonly records: readonly RegimeDomainRecord[];\n}\n\nconst registrations: RegimeDomainRegistration[] = [];\n\n/**\n * Add a domain. A second registration of the same name is a programming error:\n * the command would otherwise survey one and hide the other.\n *\n * @internal\n */\nexport function registerRegimeDomain(registration: RegimeDomainRegistration): void {\n  if (registrations.some((existing) => existing.name === registration.name)) {\n    throw new Error(`regime '${registration.name}' is already registered`);\n  }\n  registrations.push(registration);\n}\n\n/** Domain registrations, in the order they were added. @internal */\nexport function domainRegimeRegistrations(): readonly RegimeDomainRegistration[] {\n  return registrations;\n}\n"]}

package/dist/relations/regime-vocabularies.js.map

@@ -1 +1 @@
-{"version":3,"file":"regime-vocabularies.js","sourceRoot":"","sources":["../../src/relations/regime-vocabularies.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG"}
+{"version":3,"file":"regime-vocabularies.js","sourceRoot":"","sources":["../../src/relations/regime-vocabularies.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG","sourcesContent":["/**\n * Names for the three regime vocabularies. They are not one type, and\n * nothing here converts a value from one into another. The join gate does\n * not import this module.\n *\n * - Tensor-cell registry: `defineRegime` in `src/core/regime-registry.ts`.\n *   A named value on a scale, force, symmetry, information, topology, or\n *   dimension axis, with provenance.\n * - π-group regime: `regimeHolds` and `regimeOverlap` in `src/relations/regime.ts`.\n *   Inequalities on Buckingham groups. `regimeHolds` is tri-state.\n * - Quantity attributes: `regimesDiffer` in `src/composition/quantity.ts`,\n *   gated by `GATE_AXES` in `src/composition/axes.ts`. Scale and force on a\n *   quantity. That module is not imported: this layer importing composition\n *   is an upward edge.\n *\n * @module relations/regime-vocabularies\n */\n\nimport type { RegimeValueBase } from '../core/regime-registry.js';\nimport type { Regime } from './types.js';\n\n/**\n * The value `defineRegime` returns. `src/relations/` importing\n * `src/core/regime-registry.ts` is a downward edge.\n *\n * @internal\n */\nexport type TensorCellRegime = RegimeValueBase;\n\n/**\n * The inequalities `regimeHolds` checks.\n *\n * @internal\n */\nexport type PiGroupRegime = Regime;\n\n/**\n * The quantity-attribute vocabulary, named and not imported.\n * `regimesDiffer` stays in `src/composition/quantity.ts`.\n *\n * @internal\n */\nexport type QuantityAttributeRegime = never;\n"]}

package/dist/relations/regime.d.ts

@@ -57,15 +57,25 @@ export interface RegimeCheck {
     readonly violated: readonly RegimeInequality[];
     /** NOT checked: the π-group value was absent or non-finite. */
     readonly unchecked: readonly RegimeInequality[];
+    /**
+     * How many inequalities a finite value reached. `ok: true` with
+     * `checked: 0` is a VACUOUS pass: the regime states no inequality (the
+     * plasma, piezoelectricity and Tolman registrations), so nothing was
+     * checked and nothing held. That is a different fact from a pass over a
+     * non-empty list, and a coverage count must not add it (AGENTS law 4).
+     */
+    readonly checked: number;
 }
 /**
  * Check a regime against measured group values.
  *
  * A group with no supplied value, or a non-finite one, is UNCHECKED — not
  * violated and not satisfied. See {@link RegimeCheck} for why the distinction
- * is load-bearing. A regime with no inequalities returns `true`: there was
- * nothing to check and nothing went unchecked, so the claim "every inequality
- * was checked and satisfied" is vacuously true rather than unknown.
+ * is load-bearing. A regime with no inequalities returns `true` with
+ * `checked: 0`: there was nothing to check and nothing went unchecked, so the
+ * claim "every inequality was checked and satisfied" is vacuously true rather
+ * than unknown, and `checked` says that nothing was checked. A caller that
+ * counts coverage reads `checked`, never `ok` alone.
  *
  * A violation outranks an absence: once one inequality is CHECKED and fails,
  * the regime does not hold, whatever the unmeasured coordinates would say.
@@ -130,8 +140,6 @@ export declare function regimeOverlap(a: Regime, b: Regime): RegimeOverlap;
 export interface RegionSample {
     /** The π-group value at this cell, keyed by `PiGroup.formula`. */
     readonly point: Readonly<Record<string, number>>;
-    /** Ids of the records whose regime returned `true` here. */
-    readonly coveredBy: readonly string[];
 }
 /** A record carrying a regime — `AtlasModel` and `AtlasBridge` both fit. @internal */
 export interface RegimeBearing {
@@ -147,13 +155,25 @@ export interface RegimeBearing {
  * library invented, so "uncovered" would measure the guess rather than the
  * atlas. The caller states where it wants to know about.
  *
- * COVERED means some regime returned `true`. An `'unknown'` is NOT coverage,
- * by the same rule that makes {@link regimeHolds} tri-state: a regime whose
- * groups the sample axes never mention has not been shown to apply anywhere.
+ * COVERED means some regime returned `true` with at least one inequality
+ * checked. An `'unknown'` is NOT coverage, by the same rule that makes
+ * {@link regimeHolds} tri-state: a regime whose groups the sample axes never
+ * mention has not been shown to apply anywhere. Neither is a vacuous pass: a
+ * regime that states no inequality has checked nothing at the point.
  *
  * Records of another family are skipped, so a mixed list is safe to pass.
  *
  * @internal
  */
 export declare function uncoveredRegions(family: string, models: readonly RegimeBearing[], samples: Readonly<Record<string, readonly number[]>>): readonly RegionSample[];
+/**
+ * Build a regime from its family, its dimensioned parameters, its dimensionless
+ * inputs and its inequalities: the one owner of the literal
+ * `{ family, inequalities, groupDefinitions: deriveRegimeGroups(…) }` every
+ * atlas model and bridge used to spell out. The groups are derived here, so an
+ * inequality names a `PiGroup.formula` of the same dimension matrix.
+ *
+ * @internal
+ */
+export declare function makeRegime(family: string, parameters: readonly DimensionalVariable[], dimensionlessInputs: readonly string[], inequalities: readonly RegimeInequality[]): Regime;
 //# sourceMappingURL=regime.d.ts.map

package/dist/relations/regime.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"regime.d.ts","sourceRoot":"","sources":["../../src/relations/regime.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAGH,OAAO,KAAK,EAAE,mBAAmB,EAAE,OAAO,EAAE,MAAM,8BAA8B,CAAC;AAEjF,OAAO,KAAK,EAAE,MAAM,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAE3D;;;;;;GAMG;AACH,wBAAgB,kBAAkB,CAChC,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,SAAS,mBAAmB,EAAE,EAC1C,mBAAmB,EAAE,SAAS,MAAM,EAAE,GACrC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAmBzB;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,WAAW,WAAW;IAC1B;;;;;;;;OAQG;IACH,QAAQ,CAAC,EAAE,EAAE,OAAO,GAAG,SAAS,CAAC;IACjC,wEAAwE;IACxE,QAAQ,CAAC,QAAQ,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAC/C,+DAA+D;IAC/D,QAAQ,CAAC,SAAS,EAAE,SAAS,gBAAgB,EAAE,CAAC;CACjD;AAeD;;;;;;;;;;;;;GAaG;AACH,wBAAgB,WAAW,CACzB,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAC5C,WAAW,CAab;AAID;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,gBAAgB,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAsB7D;AAED;;;;;;;;;GASG;AACH,wBAAgB,qBAAqB,CACnC,OAAO,EAAE,SAAS,MAAM,EAAE,GACzB,SAAS;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,EAAE,CAqB7E;AA8FD,4DAA4D;AAC5D,MAAM,MAAM,aAAa,GAAG,UAAU,GAAG,SAAS,GAAG,QAAQ,CAAC;AAE9D;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,aAAa,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,aAAa,CAWjE;AAED,qFAAqF;AACrF,MAAM,WAAW,YAAY;IAC3B,kEAAkE;IAClE,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACjD,4DAA4D;IAC5D,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;CACvC;AAED,sFAAsF;AACtF,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,gBAAgB,CAC9B,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,SAAS,aAAa,EAAE,EAChC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC,GACnD,SAAS,YAAY,EAAE,CAUzB"}
+{"version":3,"file":"regime.d.ts","sourceRoot":"","sources":["../../src/relations/regime.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAIH,OAAO,KAAK,EAAE,mBAAmB,EAAE,OAAO,EAAE,MAAM,8BAA8B,CAAC;AAEjF,OAAO,KAAK,EAAE,MAAM,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAE3D;;;;;;GAMG;AACH,wBAAgB,kBAAkB,CAChC,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,SAAS,mBAAmB,EAAE,EAC1C,mBAAmB,EAAE,SAAS,MAAM,EAAE,GACrC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAmBzB;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,WAAW,WAAW;IAC1B;;;;;;;;OAQG;IACH,QAAQ,CAAC,EAAE,EAAE,OAAO,GAAG,SAAS,CAAC;IACjC,wEAAwE;IACxE,QAAQ,CAAC,QAAQ,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAC/C,+DAA+D;IAC/D,QAAQ,CAAC,SAAS,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAChD;;;;;;OAMG;IACH,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAeD;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,WAAW,CACzB,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAC5C,WAAW,CAeb;AAID;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,gBAAgB,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAsB7D;AAED;;;;;;;;;GASG;AACH,wBAAgB,qBAAqB,CACnC,OAAO,EAAE,SAAS,MAAM,EAAE,GACzB,SAAS;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,EAAE,CAqB7E;AA8FD,4DAA4D;AAC5D,MAAM,MAAM,aAAa,GAAG,UAAU,GAAG,SAAS,GAAG,QAAQ,CAAC;AAE9D;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,aAAa,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,aAAa,CAWjE;AAED,qFAAqF;AACrF,MAAM,WAAW,YAAY;IAC3B,kEAAkE;IAClE,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;CAClD;AAED,sFAAsF;AACtF,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,gBAAgB,CAC9B,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,SAAS,aAAa,EAAE,EAChC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC,GACnD,SAAS,YAAY,EAAE,CAgBzB;AAiBD;;;;;;;;GAQG;AACH,wBAAgB,UAAU,CACxB,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,SAAS,mBAAmB,EAAE,EAC1C,mBAAmB,EAAE,SAAS,MAAM,EAAE,EACtC,YAAY,EAAE,SAAS,gBAAgB,EAAE,GACxC,MAAM,CAMR"}

package/dist/relations/regime.js

@@ -12,6 +12,7 @@
  *
  * @module relations/regime
  */
+import { compareCodepoint } from '../core/compare.js';
 import { buckinghamPi } from '../dimensional/buckingham.js';
 import { DIMENSIONLESS } from '../dimensional/types.js';
 /**
@@ -57,9 +58,11 @@ function satisfies(value, ineq) {
  *
  * A group with no supplied value, or a non-finite one, is UNCHECKED — not
  * violated and not satisfied. See {@link RegimeCheck} for why the distinction
- * is load-bearing. A regime with no inequalities returns `true`: there was
- * nothing to check and nothing went unchecked, so the claim "every inequality
- * was checked and satisfied" is vacuously true rather than unknown.
+ * is load-bearing. A regime with no inequalities returns `true` with
+ * `checked: 0`: there was nothing to check and nothing went unchecked, so the
+ * claim "every inequality was checked and satisfied" is vacuously true rather
+ * than unknown, and `checked` says that nothing was checked. A caller that
+ * counts coverage reads `checked`, never `ok` alone.
  *
  * A violation outranks an absence: once one inequality is CHECKED and fails,
  * the regime does not hold, whatever the unmeasured coordinates would say.
@@ -69,17 +72,19 @@ function satisfies(value, ineq) {
 export function regimeHolds(regime, groupValues) {
     const violated = [];
     const unchecked = [];
+    let checked = 0;
     for (const ineq of regime.inequalities) {
         const value = groupValues[ineq.group];
         if (typeof value !== 'number' || !Number.isFinite(value)) {
             unchecked.push(ineq);
+            continue;
         }
-        else if (!satisfies(value, ineq)) {
+        checked += 1;
+        if (!satisfies(value, ineq))
             violated.push(ineq);
-        }
     }
     const ok = violated.length > 0 ? false : unchecked.length > 0 ? 'unknown' : true;
-    return { ok, violated, unchecked };
+    return { ok, violated, unchecked, checked };
 }
 // ── Sprint 2: regime algebra and admission ──────────────────────────────────
 /**
@@ -156,7 +161,7 @@ export function collidingRegimeGroups(regimes) {
 function exponentSignature(group) {
     return Object.entries(group.exponents)
         .filter(([, exp]) => exp !== 0)
-        .sort(([a], [b]) => (a < b ? -1 : a > b ? 1 : 0))
+        .sort(([a], [b]) => compareCodepoint(a, b))
         .map(([name, exp]) => `${name}:${exp}`)
         .join(',');
 }
@@ -268,9 +273,11 @@ export function regimeOverlap(a, b) {
  * library invented, so "uncovered" would measure the guess rather than the
  * atlas. The caller states where it wants to know about.
  *
- * COVERED means some regime returned `true`. An `'unknown'` is NOT coverage,
- * by the same rule that makes {@link regimeHolds} tri-state: a regime whose
- * groups the sample axes never mention has not been shown to apply anywhere.
+ * COVERED means some regime returned `true` with at least one inequality
+ * checked. An `'unknown'` is NOT coverage, by the same rule that makes
+ * {@link regimeHolds} tri-state: a regime whose groups the sample axes never
+ * mention has not been shown to apply anywhere. Neither is a vacuous pass: a
+ * regime that states no inequality has checked nothing at the point.
  *
  * Records of another family are skipped, so a mixed list is safe to pass.
  *
@@ -280,11 +287,17 @@ export function uncoveredRegions(family, models, samples) {
     const inFamily = models.filter((m) => m.regime.family === family);
     const uncovered = [];
     for (const point of gridPoints(samples)) {
-        const coveredBy = inFamily
-            .filter((m) => regimeHolds(m.regime, point).ok === true)
-            .map((m) => m.id);
-        if (coveredBy.length === 0)
-            uncovered.push({ point, coveredBy });
+        // `checked > 0`: a regime with no inequality passes vacuously and has shown
+        // nothing about this point, so it covers nothing (the rule in `regimeHolds`'s
+        // doc comment: coverage reads `checked`, never `ok` alone).
+        const covered = inFamily.some((m) => {
+            const check = regimeHolds(m.regime, point);
+            return check.ok === true && check.checked > 0;
+        });
+        // An uncovered cell is covered by nothing, by definition; the sample
+        // carries the point and no list that could only ever be empty.
+        if (!covered)
+            uncovered.push({ point });
     }
     return uncovered;
 }
@@ -301,4 +314,20 @@ function gridPoints(samples) {
     }
     return points;
 }
+/**
+ * Build a regime from its family, its dimensioned parameters, its dimensionless
+ * inputs and its inequalities: the one owner of the literal
+ * `{ family, inequalities, groupDefinitions: deriveRegimeGroups(…) }` every
+ * atlas model and bridge used to spell out. The groups are derived here, so an
+ * inequality names a `PiGroup.formula` of the same dimension matrix.
+ *
+ * @internal
+ */
+export function makeRegime(family, parameters, dimensionlessInputs, inequalities) {
+    return {
+        family,
+        inequalities,
+        groupDefinitions: deriveRegimeGroups(family, parameters, dimensionlessInputs),
+    };
+}
 //# sourceMappingURL=regime.js.map

package/dist/relations/regime.js.map

@@ -1 +1 @@
-{"version":3,"file":"regime.js","sourceRoot":"","sources":["../../src/relations/regime.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAE5D,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAGxD;;;;;;GAMG;AACH,MAAM,UAAU,kBAAkB,CAChC,MAAc,EACd,UAA0C,EAC1C,mBAAsC;IAEtC,MAAM,SAAS,GAA0B;QACvC,GAAG,UAAU;QACb,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,aAAa,EAAE,CAAC,CAAC;KACrE,CAAC;IACF,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3B,MAAM,IAAI,KAAK,CAAC,sBAAsB,MAAM,kCAAkC,CAAC,CAAC;IAClF,CAAC;IACD,4EAA4E;IAC5E,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC3C,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;QACzC,MAAM,IAAI,KAAK,CACb,sBAAsB,MAAM,gDAAgD;YAC1E,8BAA8B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CACpD,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAA4B,EAAE,CAAC;IAC3C,KAAK,MAAM,KAAK,IAAI,YAAY,CAAC,SAAS,CAAC,CAAC,QAAQ;QAAE,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,KAAK,CAAC;IACpF,OAAO,MAAM,CAAC;AAChB,CAAC;AAuCD,SAAS,SAAS,CAAC,KAAa,EAAE,IAAsB;IACtD,QAAQ,IAAI,CAAC,EAAE,EAAE,CAAC;QAChB,KAAK,GAAG;YACN,OAAO,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;QAC5B,KAAK,IAAI;YACP,OAAO,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC;QAC7B,KAAK,GAAG;YACN,OAAO,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;QAC5B,KAAK,IAAI;YACP,OAAO,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC;IAC/B,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,WAAW,CACzB,MAAc,EACd,WAA6C;IAE7C,MAAM,QAAQ,GAAuB,EAAE,CAAC;IACxC,MAAM,SAAS,GAAuB,EAAE,CAAC;IACzC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC;QACvC,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACtC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YACzD,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvB,CAAC;aAAM,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC;YACnC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtB,CAAC;IACH,CAAC;IACD,MAAM,EAAE,GAAG,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;IACjF,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC;AACrC,CAAC;AAED,+EAA+E;AAE/E;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,UAAU,gBAAgB,CAAC,CAAS,EAAE,CAAS;IACnD,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC;QAC1B,MAAM,IAAI,KAAK,CACb,uCAAuC,CAAC,CAAC,MAAM,SAAS,CAAC,CAAC,MAAM,MAAM;YACpE,oDAAoD,CACvD,CAAC;IACJ,CAAC;IACD,MAAM,gBAAgB,GAA4B,EAAE,GAAG,CAAC,CAAC,gBAAgB,EAAE,CAAC;IAC5E,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,gBAAgB,CAAC,EAAE,CAAC;QAC/D,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;QACxC,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAC;YAC5D,MAAM,IAAI,KAAK,CACb,4BAA4B,IAAI,6CAA6C,CAC9E,CAAC;QACJ,CAAC;QACD,gBAAgB,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;IACjC,CAAC;IACD,OAAO;QACL,MAAM,EAAE,CAAC,CAAC,MAAM;QAChB,YAAY,EAAE,CAAC,GAAG,CAAC,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC,YAAY,CAAC;QACpD,gBAAgB;KACjB,CAAC;AACJ,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,qBAAqB,CACnC,OAA0B;IAE1B,MAAM,IAAI,GAAG,IAAI,GAAG,EAA+C,CAAC;IACpE,MAAM,UAAU,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC/C,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE,CAAC;YACpE,MAAM,GAAG,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;YACrC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC5B,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACvB,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;gBACnD,SAAS;YACX,CAAC;YACD,IAAI,IAAI,CAAC,GAAG,KAAK,GAAG,EAAE,CAAC;gBACrB,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;oBAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;gBAC9E,SAAS;YACX,CAAC;YACD,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC5D,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;gBAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YACpE,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACjC,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;AACrF,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAc;IACvC,OAAO,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC;SACnC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC;SAC9B,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SAChD,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,IAAI,GAAG,EAAE,CAAC;SACtC,IAAI,CAAC,GAAG,CAAC,CAAC;AACf,CAAC;AAED,SAAS,WAAW,CAAC,CAAU,EAAE,CAAU;IACzC,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAClF,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;IAC1E,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAUD,SAAS,YAAY;IACnB,OAAO,EAAE,EAAE,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AACrE,CAAC;AAED,8CAA8C;AAC9C,SAAS,MAAM,CAAC,EAAiB,EAAE,IAAsB;IACvD,QAAQ,IAAI,CAAC,EAAE,EAAE,CAAC;QAChB,KAAK,GAAG,CAAC;QACT,KAAK,IAAI,EAAE,CAAC;YACV,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,KAAK,GAAG,CAAC;YAC7B,IAAI,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,EAAE,CAAC,EAAE,IAAI,IAAI,CAAC,EAAE,CAAC;gBACzD,EAAE,CAAC,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC;gBACnB,EAAE,CAAC,MAAM,GAAG,IAAI,CAAC;YACnB,CAAC;YACD,OAAO;QACT,CAAC;QACD,KAAK,GAAG,CAAC;QACT,KAAK,IAAI,EAAE,CAAC;YACV,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,KAAK,GAAG,CAAC;YAC7B,IAAI,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,EAAE,CAAC,EAAE,IAAI,IAAI,CAAC,EAAE,CAAC;gBACzD,EAAE,CAAC,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC;gBACnB,EAAE,CAAC,MAAM,GAAG,IAAI,CAAC;YACnB,CAAC;YACD,OAAO;QACT,CAAC;IACH,CAAC;AACH,CAAC;AAED,sEAAsE;AACtE,SAAS,WAAW,CAAC,MAAc;IACjC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAyB,CAAC;IAC7C,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC;QACvC,IAAI,EAAE,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC7B,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;YACrB,EAAE,GAAG,YAAY,EAAE,CAAC;YACpB,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAC1B,CAAC;QACD,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;IACnB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,OAAO,CAAC,EAAiB;IAChC,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;QAAE,OAAO,IAAI,CAAC;IAC/B,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,MAAM,IAAI,EAAE,CAAC,MAAM,CAAC,CAAC;AACrD,CAAC;AAED,SAAS,kBAAkB,CAAC,CAAgB,EAAE,CAAgB;IAC5D,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IAChC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IAChC,OAAO;QACL,EAAE;QACF,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,MAAM,CAAC;QAC9D,EAAE;QACF,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,MAAM,CAAC;KAC/D,CAAC;AACJ,CAAC;AAED,oDAAoD;AACpD,SAAS,QAAQ,CAAC,KAAoB,EAAE,KAAoB;IAC1D,IAAI,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAChC,MAAM,IAAI,GACR,KAAK,CAAC,EAAE,GAAG,KAAK,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,KAAK,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IACpF,MAAM,IAAI,GACR,KAAK,CAAC,EAAE,GAAG,KAAK,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,KAAK,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IACpF,OAAO,IAAI,IAAI,IAAI,CAAC;AACtB,CAAC;AAKD;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,aAAa,CAAC,CAAS,EAAE,CAAS;IAChD,MAAM,EAAE,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;IAC1B,MAAM,EAAE,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;IAC1B,MAAM,MAAM,GAAG,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IAE7D,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;QAC1B,IAAI,OAAO,CAAC,kBAAkB,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAE,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,CAAC;YAAE,OAAO,UAAU,CAAC;IACnF,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAE,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,CAAC,CAAC;IAC5E,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAE,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,CAAC,CAAC;IAC5E,OAAO,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;AAC7C,CAAC;AAgBD;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,gBAAgB,CAC9B,MAAc,EACd,MAAgC,EAChC,OAAoD;IAEpD,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;IAClE,MAAM,SAAS,GAAmB,EAAE,CAAC;IACrC,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;QACxC,MAAM,SAAS,GAAG,QAAQ;aACvB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC;aACvD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACpB,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;IACnE,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,kFAAkF;AAClF,SAAS,UAAU,CACjB,OAAoD;IAEpD,IAAI,MAAM,GAA6B,CAAC,EAAE,CAAC,CAAC;IAC5C,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QACpD,MAAM,IAAI,GAA6B,EAAE,CAAC;QAC1C,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;YAC1B,KAAK,MAAM,KAAK,IAAI,IAAI;gBAAE,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;QACnE,CAAC;QACD,MAAM,GAAG,IAAI,CAAC;IAChB,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}
+{"version":3,"file":"regime.js","sourceRoot":"","sources":["../../src/relations/regime.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAE5D,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAGxD;;;;;;GAMG;AACH,MAAM,UAAU,kBAAkB,CAChC,MAAc,EACd,UAA0C,EAC1C,mBAAsC;IAEtC,MAAM,SAAS,GAA0B;QACvC,GAAG,UAAU;QACb,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,aAAa,EAAE,CAAC,CAAC;KACrE,CAAC;IACF,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3B,MAAM,IAAI,KAAK,CAAC,sBAAsB,MAAM,kCAAkC,CAAC,CAAC;IAClF,CAAC;IACD,4EAA4E;IAC5E,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC3C,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;QACzC,MAAM,IAAI,KAAK,CACb,sBAAsB,MAAM,gDAAgD;YAC1E,8BAA8B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CACpD,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAA4B,EAAE,CAAC;IAC3C,KAAK,MAAM,KAAK,IAAI,YAAY,CAAC,SAAS,CAAC,CAAC,QAAQ;QAAE,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,KAAK,CAAC;IACpF,OAAO,MAAM,CAAC;AAChB,CAAC;AA+CD,SAAS,SAAS,CAAC,KAAa,EAAE,IAAsB;IACtD,QAAQ,IAAI,CAAC,EAAE,EAAE,CAAC;QAChB,KAAK,GAAG;YACN,OAAO,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;QAC5B,KAAK,IAAI;YACP,OAAO,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC;QAC7B,KAAK,GAAG;YACN,OAAO,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;QAC5B,KAAK,IAAI;YACP,OAAO,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC;IAC/B,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,WAAW,CACzB,MAAc,EACd,WAA6C;IAE7C,MAAM,QAAQ,GAAuB,EAAE,CAAC;IACxC,MAAM,SAAS,GAAuB,EAAE,CAAC;IACzC,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC;QACvC,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACtC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YACzD,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACrB,SAAS;QACX,CAAC;QACD,OAAO,IAAI,CAAC,CAAC;QACb,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnD,CAAC;IACD,MAAM,EAAE,GAAG,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;IACjF,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC;AAC9C,CAAC;AAED,+EAA+E;AAE/E;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,UAAU,gBAAgB,CAAC,CAAS,EAAE,CAAS;IACnD,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC;QAC1B,MAAM,IAAI,KAAK,CACb,uCAAuC,CAAC,CAAC,MAAM,SAAS,CAAC,CAAC,MAAM,MAAM;YACpE,oDAAoD,CACvD,CAAC;IACJ,CAAC;IACD,MAAM,gBAAgB,GAA4B,EAAE,GAAG,CAAC,CAAC,gBAAgB,EAAE,CAAC;IAC5E,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,gBAAgB,CAAC,EAAE,CAAC;QAC/D,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;QACxC,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAC;YAC5D,MAAM,IAAI,KAAK,CACb,4BAA4B,IAAI,6CAA6C,CAC9E,CAAC;QACJ,CAAC;QACD,gBAAgB,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;IACjC,CAAC;IACD,OAAO;QACL,MAAM,EAAE,CAAC,CAAC,MAAM;QAChB,YAAY,EAAE,CAAC,GAAG,CAAC,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC,YAAY,CAAC;QACpD,gBAAgB;KACjB,CAAC;AACJ,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,qBAAqB,CACnC,OAA0B;IAE1B,MAAM,IAAI,GAAG,IAAI,GAAG,EAA+C,CAAC;IACpE,MAAM,UAAU,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC/C,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE,CAAC;YACpE,MAAM,GAAG,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;YACrC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC5B,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACvB,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;gBACnD,SAAS;YACX,CAAC;YACD,IAAI,IAAI,CAAC,GAAG,KAAK,GAAG,EAAE,CAAC;gBACrB,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;oBAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;gBAC9E,SAAS;YACX,CAAC;YACD,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC5D,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;gBAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YACpE,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACjC,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;AACrF,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAc;IACvC,OAAO,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC;SACnC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC;SAC9B,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;SAC1C,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,IAAI,GAAG,EAAE,CAAC;SACtC,IAAI,CAAC,GAAG,CAAC,CAAC;AACf,CAAC;AAED,SAAS,WAAW,CAAC,CAAU,EAAE,CAAU;IACzC,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAClF,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;IAC1E,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAUD,SAAS,YAAY;IACnB,OAAO,EAAE,EAAE,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AACrE,CAAC;AAED,8CAA8C;AAC9C,SAAS,MAAM,CAAC,EAAiB,EAAE,IAAsB;IACvD,QAAQ,IAAI,CAAC,EAAE,EAAE,CAAC;QAChB,KAAK,GAAG,CAAC;QACT,KAAK,IAAI,EAAE,CAAC;YACV,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,KAAK,GAAG,CAAC;YAC7B,IAAI,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,EAAE,CAAC,EAAE,IAAI,IAAI,CAAC,EAAE,CAAC;gBACzD,EAAE,CAAC,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC;gBACnB,EAAE,CAAC,MAAM,GAAG,IAAI,CAAC;YACnB,CAAC;YACD,OAAO;QACT,CAAC;QACD,KAAK,GAAG,CAAC;QACT,KAAK,IAAI,EAAE,CAAC;YACV,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,KAAK,GAAG,CAAC;YAC7B,IAAI,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,EAAE,CAAC,EAAE,IAAI,IAAI,CAAC,EAAE,CAAC;gBACzD,EAAE,CAAC,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC;gBACnB,EAAE,CAAC,MAAM,GAAG,IAAI,CAAC;YACnB,CAAC;YACD,OAAO;QACT,CAAC;IACH,CAAC;AACH,CAAC;AAED,sEAAsE;AACtE,SAAS,WAAW,CAAC,MAAc;IACjC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAyB,CAAC;IAC7C,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC;QACvC,IAAI,EAAE,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC7B,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;YACrB,EAAE,GAAG,YAAY,EAAE,CAAC;YACpB,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAC1B,CAAC;QACD,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;IACnB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,OAAO,CAAC,EAAiB;IAChC,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;QAAE,OAAO,IAAI,CAAC;IAC/B,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,MAAM,IAAI,EAAE,CAAC,MAAM,CAAC,CAAC;AACrD,CAAC;AAED,SAAS,kBAAkB,CAAC,CAAgB,EAAE,CAAgB;IAC5D,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IAChC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IAChC,OAAO;QACL,EAAE;QACF,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,MAAM,CAAC;QAC9D,EAAE;QACF,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,MAAM,CAAC;KAC/D,CAAC;AACJ,CAAC;AAED,oDAAoD;AACpD,SAAS,QAAQ,CAAC,KAAoB,EAAE,KAAoB;IAC1D,IAAI,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAChC,MAAM,IAAI,GACR,KAAK,CAAC,EAAE,GAAG,KAAK,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,KAAK,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IACpF,MAAM,IAAI,GACR,KAAK,CAAC,EAAE,GAAG,KAAK,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,KAAK,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IACpF,OAAO,IAAI,IAAI,IAAI,CAAC;AACtB,CAAC;AAKD;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,aAAa,CAAC,CAAS,EAAE,CAAS;IAChD,MAAM,EAAE,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;IAC1B,MAAM,EAAE,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;IAC1B,MAAM,MAAM,GAAG,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IAE7D,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;QAC1B,IAAI,OAAO,CAAC,kBAAkB,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAE,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,CAAC;YAAE,OAAO,UAAU,CAAC;IACnF,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAE,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,CAAC,CAAC;IAC5E,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAE,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,CAAC,CAAC;IAC5E,OAAO,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;AAC7C,CAAC;AAcD;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,UAAU,gBAAgB,CAC9B,MAAc,EACd,MAAgC,EAChC,OAAoD;IAEpD,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;IAClE,MAAM,SAAS,GAAmB,EAAE,CAAC;IACrC,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;QACxC,4EAA4E;QAC5E,8EAA8E;QAC9E,4DAA4D;QAC5D,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;YAClC,MAAM,KAAK,GAAG,WAAW,CAAC,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;YAC3C,OAAO,KAAK,CAAC,EAAE,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC;QAChD,CAAC,CAAC,CAAC;QACH,qEAAqE;QACrE,+DAA+D;QAC/D,IAAI,CAAC,OAAO;YAAE,SAAS,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;IAC1C,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,kFAAkF;AAClF,SAAS,UAAU,CACjB,OAAoD;IAEpD,IAAI,MAAM,GAA6B,CAAC,EAAE,CAAC,CAAC;IAC5C,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QACpD,MAAM,IAAI,GAA6B,EAAE,CAAC;QAC1C,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;YAC1B,KAAK,MAAM,KAAK,IAAI,IAAI;gBAAE,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;QACnE,CAAC;QACD,MAAM,GAAG,IAAI,CAAC;IAChB,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,UAAU,CACxB,MAAc,EACd,UAA0C,EAC1C,mBAAsC,EACtC,YAAyC;IAEzC,OAAO;QACL,MAAM;QACN,YAAY;QACZ,gBAAgB,EAAE,kBAAkB,CAAC,MAAM,EAAE,UAAU,EAAE,mBAAmB,CAAC;KAC9E,CAAC;AACJ,CAAC","sourcesContent":["/**\n * Regime derivation — π-groups as the coordinates a regime is written in.\n *\n * Dimensionless inputs are passed INTO `buckinghamPi` as zero-dimension\n * variables and come back as their own trivial groups, keyed by their own\n * names in `PiGroup.formula`. Nothing is synthesized here. (Measured in\n * design note §10 Q1 by executing `buckinghamPi`; the implementation plan's\n * \"plus one trivial group per dimensionless input\" would double-add.)\n *\n * `admitApproximation` stays in `src/atlas/regime.ts`: it is generic over\n * `AtlasBridge`, and moving it would drag that record into this vocabulary.\n *\n * @module relations/regime\n */\n\nimport { compareCodepoint } from '../core/compare.js';\nimport { buckinghamPi } from '../dimensional/buckingham.js';\nimport type { DimensionalVariable, PiGroup } from '../dimensional/buckingham.js';\nimport { DIMENSIONLESS } from '../dimensional/types.js';\nimport type { Regime, RegimeInequality } from './types.js';\n\n/**\n * Derive the regime coordinates of a family, keyed by `PiGroup.formula`.\n *\n * A dimensionally-independent set has no groups and yields an empty record.\n *\n * @internal\n */\nexport function deriveRegimeGroups(\n  family: string,\n  parameters: readonly DimensionalVariable[],\n  dimensionlessInputs: readonly string[],\n): Record<string, PiGroup> {\n  const variables: DimensionalVariable[] = [\n    ...parameters,\n    ...dimensionlessInputs.map((name) => ({ name, dim: DIMENSIONLESS })),\n  ];\n  if (variables.length === 0) {\n    throw new Error(`deriveRegimeGroups(${family}) requires at least one variable`);\n  }\n  // buckinghamPi rejects duplicate names itself; the message is clearer here.\n  const names = variables.map((v) => v.name);\n  if (new Set(names).size !== names.length) {\n    throw new Error(\n      `deriveRegimeGroups(${family}) requires unique names across parameters and ` +\n        `dimensionless inputs; got [${names.join(', ')}]`,\n    );\n  }\n  const groups: Record<string, PiGroup> = {};\n  for (const group of buckinghamPi(variables).piGroups) groups[group.formula] = group;\n  return groups;\n}\n\n/**\n * Result of {@link regimeHolds} — TRI-STATE, not a boolean.\n *\n * Design note §1, Adam A2 RED #2. The first draft of this rule returned a\n * boolean and folded \"could not check\" into one of the two answers. Both\n * foldings are wrong in a way that is invisible at the call site:\n *\n *   - Folding absence into `true` is a SILENT PASS. A caller who supplies\n *     `{ Ma: 0.1 }` and never computes `Re` gets a confident \"the regime\n *     holds\" while `Re = 50` grossly violates it. The omission of the very\n *     data that would reveal the violation is what produces the pass.\n *   - Folding absence into `false` reports a VIOLATION that was never\n *     observed, which is a different false claim and destroys the caller's\n *     ability to tell \"I measured this and it failed\" from \"I never measured\n *     this\". Only the first licenses saying the regime is violated.\n *\n * So `ok` carries three answers and the two failure sets are kept apart.\n *\n * @public\n */\nexport interface RegimeCheck {\n  /**\n   * `true` — every inequality was CHECKED and satisfied.\n   * `false` — at least one was checked and VIOLATED.\n   * `'unknown'` — nothing was violated, but at least one could NOT be checked.\n   *\n   * `'unknown'` is a failure to confirm validity, NEVER validity. A caller\n   * asking \"may I use this model here?\" must test `=== true`; `!== false` is\n   * the silent pass this type exists to prevent.\n   */\n  readonly ok: boolean | 'unknown';\n  /** CHECKED and violated — carried whole so the caller can name them. */\n  readonly violated: readonly RegimeInequality[];\n  /** NOT checked: the π-group value was absent or non-finite. */\n  readonly unchecked: readonly RegimeInequality[];\n  /**\n   * How many inequalities a finite value reached. `ok: true` with\n   * `checked: 0` is a VACUOUS pass: the regime states no inequality (the\n   * plasma, piezoelectricity and Tolman registrations), so nothing was\n   * checked and nothing held. That is a different fact from a pass over a\n   * non-empty list, and a coverage count must not add it (AGENTS law 4).\n   */\n  readonly checked: number;\n}\n\nfunction satisfies(value: number, ineq: RegimeInequality): boolean {\n  switch (ineq.op) {\n    case '<':\n      return value < ineq.bound;\n    case '<=':\n      return value <= ineq.bound;\n    case '>':\n      return value > ineq.bound;\n    case '>=':\n      return value >= ineq.bound;\n  }\n}\n\n/**\n * Check a regime against measured group values.\n *\n * A group with no supplied value, or a non-finite one, is UNCHECKED — not\n * violated and not satisfied. See {@link RegimeCheck} for why the distinction\n * is load-bearing. A regime with no inequalities returns `true` with\n * `checked: 0`: there was nothing to check and nothing went unchecked, so the\n * claim \"every inequality was checked and satisfied\" is vacuously true rather\n * than unknown, and `checked` says that nothing was checked. A caller that\n * counts coverage reads `checked`, never `ok` alone.\n *\n * A violation outranks an absence: once one inequality is CHECKED and fails,\n * the regime does not hold, whatever the unmeasured coordinates would say.\n *\n * @public\n */\nexport function regimeHolds(\n  regime: Regime,\n  groupValues: Readonly<Record<string, number>>,\n): RegimeCheck {\n  const violated: RegimeInequality[] = [];\n  const unchecked: RegimeInequality[] = [];\n  let checked = 0;\n  for (const ineq of regime.inequalities) {\n    const value = groupValues[ineq.group];\n    if (typeof value !== 'number' || !Number.isFinite(value)) {\n      unchecked.push(ineq);\n      continue;\n    }\n    checked += 1;\n    if (!satisfies(value, ineq)) violated.push(ineq);\n  }\n  const ok = violated.length > 0 ? false : unchecked.length > 0 ? 'unknown' : true;\n  return { ok, violated, unchecked, checked };\n}\n\n// ── Sprint 2: regime algebra and admission ──────────────────────────────────\n\n/**\n * Merge two regimes into the regime that holds where BOTH hold.\n *\n * The conjunction is the whole operation: an inequality from either side is an\n * inequality of the intersection, so the list is concatenated rather than\n * reduced. No attempt is made to simplify `x < 1` and `x < 2` into one\n * inequality — the redundant one is still true, and a simplifier that dropped\n * the wrong one would be a silent change of claim.\n *\n * `groupDefinitions` are merged and CHECKED, not overwritten. Two regimes that\n * key the same `PiGroup.formula` to different exponent vectors are not\n * traceable to one dimension matrix, and quietly keeping one would hand the\n * caller a regime whose group definitions no longer describe its inequalities.\n *\n * @throws Error if the families differ, or if a shared group name carries\n *   conflicting definitions.\n * @internal\n */\nexport function intersectRegimes(a: Regime, b: Regime): Regime {\n  if (a.family !== b.family) {\n    throw new Error(\n      `intersectRegimes: families differ ('${a.family}' vs '${b.family}'); ` +\n        'a regime is stated in the groups of its own family',\n    );\n  }\n  const groupDefinitions: Record<string, PiGroup> = { ...a.groupDefinitions };\n  for (const [name, group] of Object.entries(b.groupDefinitions)) {\n    const existing = groupDefinitions[name];\n    if (existing !== undefined && !samePiGroup(existing, group)) {\n      throw new Error(\n        `intersectRegimes: group '${name}' is defined differently in the two regimes`,\n      );\n    }\n    groupDefinitions[name] = group;\n  }\n  return {\n    family: a.family,\n    inequalities: [...a.inequalities, ...b.inequalities],\n    groupDefinitions,\n  };\n}\n\n/**\n * Group names whose π-groups differ across `regimes`. The path command leaves\n * those names unchecked on every step that defines them. It does not call\n * {@link intersectRegimes}: that function still throws when the families differ.\n *\n * The same key with the same exponent vector is not a collision. A zero\n * exponent is ignored, matching `--at` derivation.\n *\n * @internal\n */\nexport function collidingRegimeGroups(\n  regimes: readonly Regime[],\n): readonly { readonly group: string; readonly families: readonly string[] }[] {\n  const seen = new Map<string, { sig: string; families: string[] }>();\n  const collisions = new Map<string, string[]>();\n  for (const regime of regimes) {\n    for (const [name, group] of Object.entries(regime.groupDefinitions)) {\n      const sig = exponentSignature(group);\n      const prev = seen.get(name);\n      if (prev === undefined) {\n        seen.set(name, { sig, families: [regime.family] });\n        continue;\n      }\n      if (prev.sig === sig) {\n        if (!prev.families.includes(regime.family)) prev.families.push(regime.family);\n        continue;\n      }\n      const families = collisions.get(name) ?? [...prev.families];\n      if (!families.includes(regime.family)) families.push(regime.family);\n      collisions.set(name, families);\n    }\n  }\n  return [...collisions.entries()].map(([group, families]) => ({ group, families }));\n}\n\nfunction exponentSignature(group: PiGroup): string {\n  return Object.entries(group.exponents)\n    .filter(([, exp]) => exp !== 0)\n    .sort(([a], [b]) => compareCodepoint(a, b))\n    .map(([name, exp]) => `${name}:${exp}`)\n    .join(',');\n}\n\nfunction samePiGroup(x: PiGroup, y: PiGroup): boolean {\n  const names = new Set([...Object.keys(x.exponents), ...Object.keys(y.exponents)]);\n  for (const name of names) {\n    if ((x.exponents[name] ?? 0) !== (y.exponents[name] ?? 0)) return false;\n  }\n  return true;\n}\n\n/** A closed-or-open interval on one π-group. Unbounded ends are ±Infinity. */\ninterface GroupInterval {\n  lo: number;\n  loOpen: boolean;\n  hi: number;\n  hiOpen: boolean;\n}\n\nfunction fullInterval(): GroupInterval {\n  return { lo: -Infinity, loOpen: true, hi: Infinity, hiOpen: true };\n}\n\n/** Narrow `iv` in place by one inequality. */\nfunction narrow(iv: GroupInterval, ineq: RegimeInequality): void {\n  switch (ineq.op) {\n    case '<':\n    case '<=': {\n      const open = ineq.op === '<';\n      if (ineq.bound < iv.hi || (ineq.bound === iv.hi && open)) {\n        iv.hi = ineq.bound;\n        iv.hiOpen = open;\n      }\n      return;\n    }\n    case '>':\n    case '>=': {\n      const open = ineq.op === '>';\n      if (ineq.bound > iv.lo || (ineq.bound === iv.lo && open)) {\n        iv.lo = ineq.bound;\n        iv.loOpen = open;\n      }\n      return;\n    }\n  }\n}\n\n/** The per-group intervals the inequalities of a regime carve out. */\nfunction intervalsOf(regime: Regime): Map<string, GroupInterval> {\n  const out = new Map<string, GroupInterval>();\n  for (const ineq of regime.inequalities) {\n    let iv = out.get(ineq.group);\n    if (iv === undefined) {\n      iv = fullInterval();\n      out.set(ineq.group, iv);\n    }\n    narrow(iv, ineq);\n  }\n  return out;\n}\n\nfunction isEmpty(iv: GroupInterval): boolean {\n  if (iv.lo > iv.hi) return true;\n  return iv.lo === iv.hi && (iv.loOpen || iv.hiOpen);\n}\n\nfunction intersectIntervals(x: GroupInterval, y: GroupInterval): GroupInterval {\n  const lo = Math.max(x.lo, y.lo);\n  const hi = Math.min(x.hi, y.hi);\n  return {\n    lo,\n    loOpen: (x.lo === lo && x.loOpen) || (y.lo === lo && y.loOpen),\n    hi,\n    hiOpen: (x.hi === hi && x.hiOpen) || (y.hi === hi && y.hiOpen),\n  };\n}\n\n/** Is every point of `inner` a point of `outer`? */\nfunction contains(outer: GroupInterval, inner: GroupInterval): boolean {\n  if (isEmpty(inner)) return true;\n  const loOk =\n    outer.lo < inner.lo || (outer.lo === inner.lo && (!outer.loOpen || inner.loOpen));\n  const hiOk =\n    outer.hi > inner.hi || (outer.hi === inner.hi && (!outer.hiOpen || inner.hiOpen));\n  return loOk && hiOk;\n}\n\n/** How two regimes sit relative to each other. @internal */\nexport type RegimeOverlap = 'disjoint' | 'overlap' | 'nested';\n\n/**\n * Classify two regimes on the group names they SHARE.\n *\n * Shared names only, and that restriction is the whole subtlety. A group one\n * regime constrains and the other says nothing about cannot separate them:\n * silence is not a constraint, so treating the unconstrained side as empty\n * would report `'disjoint'` for two regimes that genuinely overlap. The answer\n * is therefore about the shared coordinates, and says nothing about the\n * private ones.\n *\n * - `'disjoint'` — some shared group has intervals that cannot both hold.\n * - `'nested'` — the shared box of one regime contains the other (equal boxes,\n *   and the no-shared-group case, are nested: each contains the other).\n * - `'overlap'` — they meet, and neither contains the other.\n *\n * @internal\n */\nexport function regimeOverlap(a: Regime, b: Regime): RegimeOverlap {\n  const ia = intervalsOf(a);\n  const ib = intervalsOf(b);\n  const shared = [...ia.keys()].filter((name) => ib.has(name));\n\n  for (const name of shared) {\n    if (isEmpty(intersectIntervals(ia.get(name)!, ib.get(name)!))) return 'disjoint';\n  }\n  const aInB = shared.every((name) => contains(ib.get(name)!, ia.get(name)!));\n  const bInA = shared.every((name) => contains(ia.get(name)!, ib.get(name)!));\n  return aInB || bInA ? 'nested' : 'overlap';\n}\n\n/** One grid cell of a sampled group box, and the regimes that cover it. @internal */\nexport interface RegionSample {\n  /** The π-group value at this cell, keyed by `PiGroup.formula`. */\n  readonly point: Readonly<Record<string, number>>;\n}\n\n/** A record carrying a regime — `AtlasModel` and `AtlasBridge` both fit. @internal */\nexport interface RegimeBearing {\n  readonly id: string;\n  readonly regime: Regime;\n}\n\n/**\n * Grid-sample a group box and list the cells no regime covers.\n *\n * `samples` IS the box: one explicit axis of values per π-group name. The box\n * is not derived from the bounds the regimes themselves carry, and that is\n * deliberate — a synthesized box would report coverage against an extent this\n * library invented, so \"uncovered\" would measure the guess rather than the\n * atlas. The caller states where it wants to know about.\n *\n * COVERED means some regime returned `true` with at least one inequality\n * checked. An `'unknown'` is NOT coverage, by the same rule that makes\n * {@link regimeHolds} tri-state: a regime whose groups the sample axes never\n * mention has not been shown to apply anywhere. Neither is a vacuous pass: a\n * regime that states no inequality has checked nothing at the point.\n *\n * Records of another family are skipped, so a mixed list is safe to pass.\n *\n * @internal\n */\nexport function uncoveredRegions(\n  family: string,\n  models: readonly RegimeBearing[],\n  samples: Readonly<Record<string, readonly number[]>>,\n): readonly RegionSample[] {\n  const inFamily = models.filter((m) => m.regime.family === family);\n  const uncovered: RegionSample[] = [];\n  for (const point of gridPoints(samples)) {\n    // `checked > 0`: a regime with no inequality passes vacuously and has shown\n    // nothing about this point, so it covers nothing (the rule in `regimeHolds`'s\n    // doc comment: coverage reads `checked`, never `ok` alone).\n    const covered = inFamily.some((m) => {\n      const check = regimeHolds(m.regime, point);\n      return check.ok === true && check.checked > 0;\n    });\n    // An uncovered cell is covered by nothing, by definition; the sample\n    // carries the point and no list that could only ever be empty.\n    if (!covered) uncovered.push({ point });\n  }\n  return uncovered;\n}\n\n/** Cartesian product of the named axes. An axis with no values yields nothing. */\nfunction gridPoints(\n  samples: Readonly<Record<string, readonly number[]>>,\n): readonly Record<string, number>[] {\n  let points: Record<string, number>[] = [{}];\n  for (const [group, axis] of Object.entries(samples)) {\n    const next: Record<string, number>[] = [];\n    for (const base of points) {\n      for (const value of axis) next.push({ ...base, [group]: value });\n    }\n    points = next;\n  }\n  return points;\n}\n\n/**\n * Build a regime from its family, its dimensioned parameters, its dimensionless\n * inputs and its inequalities: the one owner of the literal\n * `{ family, inequalities, groupDefinitions: deriveRegimeGroups(…) }` every\n * atlas model and bridge used to spell out. The groups are derived here, so an\n * inequality names a `PiGroup.formula` of the same dimension matrix.\n *\n * @internal\n */\nexport function makeRegime(\n  family: string,\n  parameters: readonly DimensionalVariable[],\n  dimensionlessInputs: readonly string[],\n  inequalities: readonly RegimeInequality[],\n): Regime {\n  return {\n    family,\n    inequalities,\n    groupDefinitions: deriveRegimeGroups(family, parameters, dimensionlessInputs),\n  };\n}\n"]}

package/dist/relations/types.d.ts

@@ -17,9 +17,11 @@ export type EvidenceTag = 'proposed' | 'reviewed' | 'dimension-checked' | 'conve
  *
  * Lives HERE, not in `coverage.ts` (which re-exports it), because
  * `tests/atlas/derived-tag-literals.test.ts` allows the literals
- * `'formally-proved'` and `'symbolically-checked'` under `src/atlas/` in
- * exactly two files: this one and `derive-evidence.ts`. A tag that can only be
- * DERIVED must not be spellable anywhere a record could hand-set it.
+ * `'formally-proved'` and `'symbolically-checked'` under `src/atlas/` and
+ * `src/relations/` in exactly three files: this one (`src/relations/types.ts`,
+ * where the union and the tag list are declared), `src/atlas/types.ts`, and
+ * `src/atlas/derive-evidence.ts`. A tag that can only be DERIVED must not be
+ * spellable anywhere a record could hand-set it.
  *
  * @internal
  */
@@ -32,12 +34,23 @@ export declare const ALL_EVIDENCE_TAGS: readonly ["proposed", "reviewed", "dimen
  * - `'back-translation'` — a reviewer who had not seen the source translated
  *   the formal statement back to prose and it matched.
  * - `'sanity-lemmas'` — the statement was instantiated on known cases in
- *   `tests/atlas/formal-sanity.test.ts`.
+ *   `tests/atlas/formal-sanity.test.ts`. A PhysJS reference carries it only
+ *   when its key is in `PHYSJS_SANITY_LEMMA_KEYS` and its manifest row is
+ *   also reviewed (below).
+ * - `'reviewed-manifest'` — the manifest row (key, theorem, kind, covers
+ *   line, proof status, axioms, nested statements) was read against the
+ *   bridge it keys and pinned by its hash in `src/atlas/physjs-reviewed.ts`;
+ *   `physjsFormalRef` recomputes the hash and emits this value only on a
+ *   match. The statement was not instantiated on a known case.
  * - `'unreviewed'` — recorded, not checked. **Earns no tag, by construction.**
+ *   A PhysJS key whose row is not in the reviewed table, or that is ahead of
+ *   the catalog, derives this value.
+ *
+ * No value here is hand-set on a record: `physjsFormalRef` derives it.
  *
  * @internal
  */
-export type FormalFidelity = 'two-formalizers' | 'back-translation' | 'sanity-lemmas' | 'unreviewed';
+export type FormalFidelity = 'two-formalizers' | 'back-translation' | 'sanity-lemmas' | 'reviewed-manifest' | 'unreviewed';
 /**
  * What a formal reference certifies.
  *

package/dist/relations/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/relations/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,8BAA8B,CAAC;AAE5D,qFAAqF;AACrF,MAAM,MAAM,YAAY,GACpB,YAAY,GACZ,mBAAmB,GACnB,aAAa,GACb,eAAe,GACf,iBAAiB,GACjB,uBAAuB,GACvB,oBAAoB,GACpB,0BAA0B,CAAC;AAE/B,yFAAyF;AACzF,MAAM,MAAM,WAAW,GACnB,UAAU,GACV,UAAU,GACV,mBAAmB,GACnB,oBAAoB,GACpB,sBAAsB,GACtB,uBAAuB,GACvB,iBAAiB,GACjB,0BAA0B,GAC1B,6BAA6B,GAC7B,uBAAuB,GACvB,cAAc,GACd,YAAY,CAAC;AAEjB;;;;;;;;;;GAUG;AACH,eAAO,MAAM,iBAAiB,oQAaa,CAAC;AAE5C;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,cAAc,GACtB,iBAAiB,GACjB,kBAAkB,GAClB,eAAe,GACf,YAAY,CAAC;AAEjB;;;;;;;;GAQG;AACH,eAAO,MAAM,gBAAgB,YAAI,QAAQ,EAAE,UAAU,EAAE,aAAa,EAAE,WAAW,EAAE,OAAO,EAAE,iBAAiB,CAAU,CAAC;AAExH;;;;;GAKG;AACH,MAAM,MAAM,aAAa,GAAG,CAAC,OAAO,gBAAgB,CAAC,CAAC,MAAM,CAAC,CAAC;AAE9D;;;;;;;;;;GAUG;AACH,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,MAAM,EAAE,eAAe,GAAG,cAAc,GAAG,OAAO,CAAC;IAC5D,sEAAsE;IACtE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,uEAAuE;IACvE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,4DAA4D;IAC5D,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAClC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,oEAAoE;IACpE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB;;;OAGG;IACH,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,uEAAuE;AACvE,MAAM,MAAM,cAAc,GAAG,SAAS,GAAG,UAAU,GAAG,SAAS,CAAC;AAEhE;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,gBAAgB;IAC/B,4DAA4D;IAC5D,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,EAAE,EAAE,GAAG,GAAG,IAAI,GAAG,GAAG,GAAG,IAAI,CAAC;IACrC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,qDAAqD;IACrD,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,8EAA8E;AAC9E,MAAM,WAAW,MAAM;IACrB,uBAAuB;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,YAAY,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACnD,6EAA6E;IAC7E,QAAQ,CAAC,gBAAgB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CAC9D;AAED,4EAA4E;AAC5E,MAAM,WAAW,kBAAkB;IACjC,yDAAyD;IACzD,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB;;;;;;;;;;;OAWG;IACH,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,6BAA6B;IAC7B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,kDAAkD;IAClD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,oFAAoF;IACpF,QAAQ,CAAC,YAAY,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,KAAK,OAAO,CAAC;IACxF;;;;;;;;;;;;;OAaG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,KAAK,MAAM,CAAC;IACxE;;;;;OAKG;IACH,QAAQ,CAAC,YAAY,CAAC,EAAE,aAAa,GAAG,uBAAuB,CAAC;IAChE,wBAAwB;IACxB,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,cAAc,EAAE,cAAc,CAAC;IACxC;;;;;;;;;OASG;IACH,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI,CAAC;CAC/C;AAED,6EAA6E;AAC7E,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,eAAe;IACf,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,MAAM,gBAAgB,GACxB;IAAE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAAC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAA;CAAE,GAChE;IACE,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAC;IACnC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,sFAAsF;IACtF,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAAC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAA;CAAE,GACjE;IACE,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,sDAAsD;IACtD,QAAQ,CAAC,KAAK,EAAE,kBAAkB,CAAC;CACpC,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC;IACjC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,wEAAwE;IACxE,QAAQ,CAAC,KAAK,CAAC,EAAE,kBAAkB,CAAC;CACrC,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,uBAAuB,CAAC;IAAC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAA;CAAE,GAC3E;IAAE,QAAQ,CAAC,IAAI,EAAE,oBAAoB,CAAC;IAAC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAA;CAAE,GACxE;IAAE,QAAQ,CAAC,IAAI,EAAE,0BAA0B,CAAC;IAAC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAA;CAAE,CAAC;AAEnF;;;;;;;;;GASG;AACH,MAAM,WAAW,WAAW;IAC1B,iDAAiD;IACjD,QAAQ,CAAC,YAAY,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC;IACtC,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IAC3C,QAAQ,CAAC,oBAAoB,CAAC,EAAE,SAAS,GAAG,SAAS,GAAG,MAAM,CAAC;IAC/D,QAAQ,CAAC,UAAU,CAAC,EAAE,IAAI,GAAG,UAAU,GAAG,SAAS,CAAC;IACpD,QAAQ,CAAC,mBAAmB,CAAC,EAAE,GAAG,GAAG,GAAG,CAAC;CAC1C"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/relations/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,8BAA8B,CAAC;AAE5D,qFAAqF;AACrF,MAAM,MAAM,YAAY,GACpB,YAAY,GACZ,mBAAmB,GACnB,aAAa,GACb,eAAe,GACf,iBAAiB,GACjB,uBAAuB,GACvB,oBAAoB,GACpB,0BAA0B,CAAC;AAE/B,yFAAyF;AACzF,MAAM,MAAM,WAAW,GACnB,UAAU,GACV,UAAU,GACV,mBAAmB,GACnB,oBAAoB,GACpB,sBAAsB,GACtB,uBAAuB,GACvB,iBAAiB,GACjB,0BAA0B,GAC1B,6BAA6B,GAC7B,uBAAuB,GACvB,cAAc,GACd,YAAY,CAAC;AAEjB;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,iBAAiB,oQAaa,CAAC;AAE5C;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,MAAM,MAAM,cAAc,GACtB,iBAAiB,GACjB,kBAAkB,GAClB,eAAe,GACf,mBAAmB,GACnB,YAAY,CAAC;AAEjB;;;;;;;;GAQG;AACH,eAAO,MAAM,gBAAgB,YAAI,QAAQ,EAAE,UAAU,EAAE,aAAa,EAAE,WAAW,EAAE,OAAO,EAAE,iBAAiB,CAAU,CAAC;AAExH;;;;;GAKG;AACH,MAAM,MAAM,aAAa,GAAG,CAAC,OAAO,gBAAgB,CAAC,CAAC,MAAM,CAAC,CAAC;AAE9D;;;;;;;;;;GAUG;AACH,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,MAAM,EAAE,eAAe,GAAG,cAAc,GAAG,OAAO,CAAC;IAC5D,sEAAsE;IACtE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,uEAAuE;IACvE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,4DAA4D;IAC5D,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAClC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,oEAAoE;IACpE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB;;;OAGG;IACH,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,uEAAuE;AACvE,MAAM,MAAM,cAAc,GAAG,SAAS,GAAG,UAAU,GAAG,SAAS,CAAC;AAEhE;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,gBAAgB;IAC/B,4DAA4D;IAC5D,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,EAAE,EAAE,GAAG,GAAG,IAAI,GAAG,GAAG,GAAG,IAAI,CAAC;IACrC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,qDAAqD;IACrD,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,8EAA8E;AAC9E,MAAM,WAAW,MAAM;IACrB,uBAAuB;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,YAAY,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACnD,6EAA6E;IAC7E,QAAQ,CAAC,gBAAgB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CAC9D;AAED,4EAA4E;AAC5E,MAAM,WAAW,kBAAkB;IACjC,yDAAyD;IACzD,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB;;;;;;;;;;;OAWG;IACH,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,6BAA6B;IAC7B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,kDAAkD;IAClD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,oFAAoF;IACpF,QAAQ,CAAC,YAAY,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,KAAK,OAAO,CAAC;IACxF;;;;;;;;;;;;;OAaG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,KAAK,MAAM,CAAC;IACxE;;;;;OAKG;IACH,QAAQ,CAAC,YAAY,CAAC,EAAE,aAAa,GAAG,uBAAuB,CAAC;IAChE,wBAAwB;IACxB,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,cAAc,EAAE,cAAc,CAAC;IACxC;;;;;;;;;OASG;IACH,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI,CAAC;CAC/C;AAED,6EAA6E;AAC7E,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,eAAe;IACf,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,MAAM,gBAAgB,GACxB;IAAE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAAC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAA;CAAE,GAChE;IACE,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAC;IACnC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,sFAAsF;IACtF,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAAC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAA;CAAE,GACjE;IACE,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,sDAAsD;IACtD,QAAQ,CAAC,KAAK,EAAE,kBAAkB,CAAC;CACpC,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC;IACjC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,wEAAwE;IACxE,QAAQ,CAAC,KAAK,CAAC,EAAE,kBAAkB,CAAC;CACrC,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,uBAAuB,CAAC;IAAC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAA;CAAE,GAC3E;IAAE,QAAQ,CAAC,IAAI,EAAE,oBAAoB,CAAC;IAAC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAA;CAAE,GACxE;IAAE,QAAQ,CAAC,IAAI,EAAE,0BAA0B,CAAC;IAAC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAA;CAAE,CAAC;AAEnF;;;;;;;;;GASG;AACH,MAAM,WAAW,WAAW;IAC1B,iDAAiD;IACjD,QAAQ,CAAC,YAAY,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC;IACtC,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IAC3C,QAAQ,CAAC,oBAAoB,CAAC,EAAE,SAAS,GAAG,SAAS,GAAG,MAAM,CAAC;IAC/D,QAAQ,CAAC,UAAU,CAAC,EAAE,IAAI,GAAG,UAAU,GAAG,SAAS,CAAC;IACpD,QAAQ,CAAC,mBAAmB,CAAC,EAAE,GAAG,GAAG,GAAG,CAAC;CAC1C"}

package/dist/relations/types.js

@@ -12,9 +12,11 @@
  *
  * Lives HERE, not in `coverage.ts` (which re-exports it), because
  * `tests/atlas/derived-tag-literals.test.ts` allows the literals
- * `'formally-proved'` and `'symbolically-checked'` under `src/atlas/` in
- * exactly two files: this one and `derive-evidence.ts`. A tag that can only be
- * DERIVED must not be spellable anywhere a record could hand-set it.
+ * `'formally-proved'` and `'symbolically-checked'` under `src/atlas/` and
+ * `src/relations/` in exactly three files: this one (`src/relations/types.ts`,
+ * where the union and the tag list are declared), `src/atlas/types.ts`, and
+ * `src/atlas/derive-evidence.ts`. A tag that can only be DERIVED must not be
+ * spellable anywhere a record could hand-set it.
  *
  * @internal
  */