universal-physics-tensor 8.0.0 → 10.0.0

package/dist/atlas/physjs-ref.js.map

@@ -1 +1 @@
-{"version":3,"file":"physjs-ref.js","sourceRoot":"","sources":["../../src/atlas/physjs-ref.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkDG;AAGH,OAAO,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AAC5D,OAAO,EACL,aAAa,EACb,cAAc,EACd,eAAe,EACf,gBAAgB,EAChB,cAAc,IAAI,wBAAwB,GAC3C,MAAM,+BAA+B,CAAC;AAEvC;;;;GAIG;AACH,OAAO,EAAE,aAAa,EAAE,MAAM,+BAA+B,CAAC;AAE9D;;;GAGG;AACH,MAAM,eAAe,GAAG,2BAA2B,CAAC;AAWpD,2EAA2E;AAC3E,MAAM,aAAa,GAAG;IACpB,WAAW;IACX,SAAS;IACT,WAAW;IACX,QAAQ;IACR,WAAW;IACX,WAAW;IACX,gBAAgB;IAChB,iBAAiB;IACjB,qBAAqB;IACrB,iBAAiB;IACjB,cAAc;IACd,YAAY;IACZ,sBAAsB;IACtB,aAAa;IACb,WAAW;IACX,SAAS;IACT,eAAe;IACf,kBAAkB;IAClB,WAAW;IACX,sBAAsB;IACtB,WAAW;IACX,UAAU;IACV,qBAAqB;CACb,CAAC;AAIX,MAAM,YAAY,GAAG,IAAI,GAAG,CAAS;IACnC,KAAK;IACL,UAAU;IACV,SAAS;IACT,QAAQ;IACR,UAAU;IACV,WAAW;IACX,QAAQ;IACR,SAAS;IACT,GAAG,aAAa;CACjB,CAAC,CAAC;AAEH,mEAAmE;AACnE,MAAM,YAAY,GAAG,sCAAsC,CAAC;AAE5D;;;GAGG;AACH,MAAM,YAAY,GAAG,2BAA2B,CAAC;AA0EjD,MAAM,cAAc,GAA2B,wBAAwB,CAAC;AAExE,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;AAE9E;;;;;;;GAOG;AACH,MAAM,UAAU,aAAa,CAAC,GAAW;IACvC,OAAO,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC;AACtC,CAAC;AAED,mDAAmD;AACnD,SAAS,aAAa;IACpB,OAAO,UAAU,aAAa,IAAI,gBAAgB,YAAY,cAAc,YAAY,eAAe,EAAE,CAAC;AAC5G,CAAC;AAED;;;;GAIG;AACH,MAAM,wBAAwB,GAAqC;IACjE,QAAQ,EAAE,2BAA2B;IACrC,SAAS,EAAE,2BAA2B;CACvC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,UAAU,cAAc,CAAC,OAAe;IAC5C,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACjC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,QAAQ,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC;QACxE,MAAM,IAAI,KAAK,CAAC,mBAAmB,OAAO,iCAAiC,CAAC,CAAC;IAC/E,CAAC;IACD,OAAO,wBAAwB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC;AAClE,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,OAAO,gDAAgD,aAAa,SAAS,IAAI,EAAE,CAAC;AACtF,CAAC;AAED,+EAA+E;AAC/E,SAAS,kBAAkB,CAAC,OAAe;IACzC,OAAO,aAAa,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC;AAChD,CAAC;AAED;;;;GAIG;AACH,MAAM,qBAAqB,GAAwB,IAAI,GAAG,CACxD;IACE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG;CAC1a,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC,CAClC,CAAC;AAEF;;;;GAIG;AACH,SAAS,aAAa,CAAC,GAAW,EAAE,MAAc;IAChD,IAAI,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC;QAAE,OAAO,QAAQ,CAAC;IAC3C,IAAI,qBAAqB,CAAC,GAAG,CAAC,GAAG,CAAC;QAAE,OAAO,QAAQ,CAAC;IACpD,IAAI,GAAG,KAAK,cAAc,CAAC,EAAE,CAAC;QAAE,OAAO,UAAU,CAAC;IAClD,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAClC,IACE,IAAI,KAAK,UAAU;QACnB,IAAI,KAAK,aAAa;QACtB,IAAI,KAAK,WAAW;QACpB,IAAI,KAAK,OAAO;QAChB,IAAI,KAAK,iBAAiB,EAC1B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,cAAc,CAC5B,OAAO,GAID,cAAc;IAEpB,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,IAAI,aAAa,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QAClE,IAAI,IAAI,KAAK,QAAQ;YAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAAC,GAAW;IACzC,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAClC,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,GAAG,GAAG,CAAC,CAAC;IACtF,MAAM,IAAI,GAAG,aAAa,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IACpD,IAAI,IAAI,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,iBAAiB,KAAK,CAAC,GAAG,mCAAmC,CAAC,CAAC;IACvG,OAAO;QACL,MAAM,EAAE,cAAc;QACtB,SAAS,EAAE,KAAK,CAAC,OAAO;QACxB,OAAO,EAAE,aAAa,EAAE;QACxB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,QAAQ,EAAE,eAAe;QACzB,IAAI;QACJ,GAAG,EAAE,kBAAkB,CAAC,KAAK,CAAC,OAAO,CAAC;QACtC,MAAM,EAAE,GAAG,KAAK,CAAC,MAAM,MAAM,KAAK,CAAC,QAAQ,EAAE;KAC9C,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,QAA2B,EAAE,QAA2B;IAC1E,OAAO,QAAQ,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;AACpG,CAAC;AAED,SAAS,UAAU,CAAC,QAA2C,EAAE,QAA2C;IAC1G,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAClE,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACnE,OAAO,CACL,QAAQ,CAAC,OAAO,KAAK,QAAQ,CAAC,OAAO;QACrC,QAAQ,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM;QACnC,QAAQ,CAAC,QAAQ,KAAK,QAAQ,CAAC,QAAQ;QACvC,QAAQ,CAAC,SAAS,KAAK,QAAQ,CAAC,SAAS;QACzC,UAAU,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,CAC7C,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAS,qBAAqB,CAAC,GAAW,EAAE,MAAc,EAAE,KAAa;IACvE,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACtC,IAAI,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC;QAAE,OAAO,EAAE,CAAC;IACtE,OAAO;QACL,GAAG,KAAK,KAAK,GAAG,gHAAgH;KACjI,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAKtC;IACC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;IAChC,IAAI,QAAQ,CAAC,MAAM,KAAK,2BAA2B,EAAE,CAAC;QACpD,QAAQ,CAAC,IAAI,CAAC,uBAAuB,QAAQ,CAAC,MAAM,yCAAyC,CAAC,CAAC;IACjG,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,KAAK,aAAa,EAAE,CAAC;QACtC,QAAQ,CAAC,IAAI,CAAC,uBAAuB,QAAQ,CAAC,MAAM,gBAAgB,aAAa,GAAG,CAAC,CAAC;IACxF,CAAC;IACD,IAAI,QAAQ,CAAC,SAAS,KAAK,gBAAgB,EAAE,CAAC;QAC5C,QAAQ,CAAC,IAAI,CAAC,0BAA0B,QAAQ,CAAC,SAAS,gBAAgB,gBAAgB,GAAG,CAAC,CAAC;IACjG,CAAC;IACD,IAAI,QAAQ,CAAC,OAAO,KAAK,cAAc,EAAE,CAAC;QACxC,QAAQ,CAAC,IAAI,CAAC,wBAAwB,QAAQ,CAAC,OAAO,gBAAgB,cAAc,GAAG,CAAC,CAAC;IAC3F,CAAC;IACD,IAAI,QAAQ,CAAC,OAAO,KAAK,eAAe,EAAE,CAAC;QACzC,QAAQ,CAAC,IAAI,CAAC,wBAAwB,QAAQ,CAAC,OAAO,gBAAgB,eAAe,GAAG,CAAC,CAAC;IAC5F,CAAC;IAED,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,eAAe,IAAI,cAAc,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IAC5G,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IACzE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;QACrC,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,iBAAiB,KAAK,CAAC,GAAG,iBAAiB,CAAC,CAAC;QACpF,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACpB,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACvC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC7B,QAAQ,CAAC,IAAI,CAAC,mBAAmB,KAAK,CAAC,GAAG,2BAA2B,KAAK,GAAG,CAAC,CAAC;YACjF,CAAC;QACH,CAAC;QACD,IAAI,KAAK,CAAC,GAAG,KAAK,KAAK,CAAC,QAAQ,EAAE,CAAC;YACjC,QAAQ,CAAC,IAAI,CAAC,iBAAiB,KAAK,CAAC,GAAG,8BAA8B,KAAK,CAAC,QAAQ,GAAG,CAAC,CAAC;QAC3F,CAAC;QACD,IAAI,KAAK,CAAC,QAAQ,KAAK,eAAe,EAAE,CAAC;YACvC,QAAQ,CAAC,IAAI,CACX,wBAAwB,KAAK,CAAC,GAAG,SAAS,KAAK,CAAC,QAAQ,gBAAgB,eAAe,GAAG,CAC3F,CAAC;QACJ,CAAC;QACD,IAAI,KAAK,CAAC,SAAS,KAAK,UAAU,EAAE,CAAC;YACnC,QAAQ,CAAC,IAAI,CAAC,kBAAkB,KAAK,CAAC,GAAG,SAAS,KAAK,CAAC,SAAS,wBAAwB,CAAC,CAAC;QAC7F,CAAC;QACD,MAAM,cAAc,GAAG,qBAAqB,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;QACtF,QAAQ,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,CAAC;QACjC,KAAK,MAAM,KAAK,IAAI,aAAa,EAAE,CAAC;YAClC,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;YAC5B,IAAI,MAAM,KAAK,SAAS;gBAAE,SAAS;YACnC,IAAI,MAAM,CAAC,QAAQ,KAAK,eAAe,EAAE,CAAC;gBACxC,QAAQ,CAAC,IAAI,CACX,GAAG,KAAK,yBAAyB,KAAK,CAAC,GAAG,SAAS,MAAM,CAAC,QAAQ,gBAAgB,eAAe,GAAG,CACrG,CAAC;YACJ,CAAC;YACD,IAAI,MAAM,CAAC,SAAS,KAAK,UAAU,EAAE,CAAC;gBACpC,QAAQ,CAAC,IAAI,CAAC,GAAG,KAAK,mBAAmB,KAAK,CAAC,GAAG,SAAS,MAAM,CAAC,SAAS,wBAAwB,CAAC,CAAC;YACvG,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC,GAAG,qBAAqB,CAAC,KAAK,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC;QACvF,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACnC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,QAAQ,CAAC,IAAI,CAAC,iBAAiB,KAAK,CAAC,GAAG,gCAAgC,CAAC,CAAC;YAC1E,SAAS;QACX,CAAC;QACD,MAAM,GAAG,GAAG,MAAM,CAAC,SAAS,CAAC;QAC7B,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,MAAM,KAAK,cAAc,EAAE,CAAC;YACvD,QAAQ,CAAC,IAAI,CACX,WAAW,KAAK,CAAC,GAAG,4CAA4C,GAAG,EAAE,MAAM,IAAI,MAAM,IAAI,CAC1F,CAAC;YACF,SAAS;QACX,CAAC;QACD,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS,IAAI,GAAG,CAAC,SAAS,KAAK,KAAK,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC;YAC/E,QAAQ,CAAC,IAAI,CACX,WAAW,KAAK,CAAC,GAAG,mDAAmD,KAAK,CAAC,SAAS,CAAC,OAAO,8CAA8C,CAC7I,CAAC;QACJ,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,aAAa,EAAE,CAAC;YAClC,IAAI,KAAK,KAAK,WAAW;gBAAE,SAAS;YACpC,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;YAC5B,IAAI,MAAM,KAAK,SAAS,IAAI,GAAG,CAAC,SAAS,KAAK,MAAM,CAAC,OAAO,EAAE,CAAC;gBAC7D,QAAQ,CAAC,IAAI,CACX,WAAW,KAAK,CAAC,GAAG,gCAAgC,KAAK,aAAa,MAAM,CAAC,OAAO,8CAA8C,CACnI,CAAC;YACJ,CAAC;QACH,CAAC;QACD,IAAI,GAAG,CAAC,SAAS,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC;YACpC,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,iBAAiB,GAAG,CAAC,SAAS,2BAA2B,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC;QAC/G,CAAC;QACD,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;YAC1C,QAAQ,CAAC,IAAI,CACX,WAAW,KAAK,CAAC,GAAG,aAAa,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,+BAA+B,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAChH,CAAC;QACJ,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,GAAG,qBAAqB,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC,CAAC;QACnF,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,eAAe,CAAC,EAAE,CAAC;YAC1C,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,+BAA+B,eAAe,GAAG,CAAC,CAAC;QACvF,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;YACvC,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,kCAAkC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QACvF,CAAC;QACD,IAAI,GAAG,CAAC,OAAO,KAAK,aAAa,EAAE,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC;YAC1F,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,cAAc,GAAG,CAAC,OAAO,6BAA6B,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;QAC9G,CAAC;QACD,IAAI,GAAG,CAAC,QAAQ,KAAK,YAAY,EAAE,CAAC;YAClC,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,2BAA2B,CAAC,CAAC;QACjE,CAAC;QACD,MAAM,IAAI,GAAG,aAAa,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QACpD,IAAI,IAAI,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YAC5C,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,cAAc,GAAG,CAAC,IAAI,gBAAgB,IAAI,GAAG,CAAC,CAAC;QACnF,CAAC;QACD,MAAM,GAAG,GAAG,kBAAkB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC9C,IAAI,GAAG,CAAC,GAAG,KAAK,GAAG,EAAE,CAAC;YACpB,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,aAAa,GAAG,CAAC,GAAG,gBAAgB,GAAG,GAAG,CAAC,CAAC;QAChF,CAAC;QACD,MAAM,QAAQ,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC9C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,QAAQ,CAAC,IAAI,CAAC,iBAAiB,KAAK,CAAC,GAAG,sCAAsC,CAAC,CAAC;QAClF,CAAC;aAAM,IACL,QAAQ,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO;YAClC,QAAQ,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;YAChC,QAAQ,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ;YACpC,aAAa,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EACzE,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC,uBAAuB,KAAK,CAAC,GAAG,wCAAwC,CAAC,CAAC;QAC1F,CAAC;IACH,CAAC;IAED,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QACnC,IAAI,MAAM,CAAC,SAAS,EAAE,MAAM,KAAK,cAAc;YAAE,SAAS;QAC1D,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;YACzB,QAAQ,CAAC,IAAI,CAAC,8BAA8B,MAAM,CAAC,EAAE,yBAAyB,CAAC,CAAC;QAClF,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC"}
+{"version":3,"file":"physjs-ref.js","sourceRoot":"","sources":["../../src/atlas/physjs-ref.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAC7E,OAAO,EAAE,oBAAoB,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAC;AACtF,OAAO,EACL,aAAa,EACb,cAAc,EACd,eAAe,EACf,gBAAgB,EAChB,cAAc,IAAI,wBAAwB,GAC3C,MAAM,+BAA+B,CAAC;AAEvC;;;;GAIG;AACH,OAAO,EAAE,aAAa,EAAE,MAAM,+BAA+B,CAAC;AAE9D;;;GAGG;AACH,MAAM,eAAe,GAAG,2BAA2B,CAAC;AAEpD;;;;;GAKG;AACH,MAAM,qBAAqB,GAAwB,IAAI,GAAG,CAAC,CAAC,SAAS,EAAE,kBAAkB,EAAE,YAAY,CAAC,CAAC,CAAC;AAa1G,6EAA6E;AAC7E,MAAM,WAAW,GAAG,IAAI,GAAG,CAAS,CAAC,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,WAAW,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC;AAEpI,2FAA2F;AAC3F,MAAM,gBAAgB,GAAG,CAAC,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,WAAW,EAAE,SAAS,CAAU,CAAC;AAqCnG;;;;;GAKG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAA0B;IAI/D,MAAM,MAAM,GAAoD,EAAE,CAAC;IACnE,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACnD,IAAI,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,SAAS;QACrC,MAAM,IAAI,GAAG,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACnH,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,gBAAgB,CAAC,IAAI,EAAE;YAAE,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAI,KAAyB,EAAE,CAAC,CAAC;;YACpG,QAAQ,CAAC,IAAI,CAAC,mBAAmB,KAAK,CAAC,GAAG,2BAA2B,KAAK,GAAG,CAAC,CAAC;IACtF,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;AAC9B,CAAC;AAYD,MAAM,cAAc,GAA2B,wBAAwB,CAAC;AAExE,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;AAE9E,gGAAgG;AAChG,MAAM,eAAe,GAAgC,IAAI,GAAG,CAC1D,cAAc,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,OAAO,EAAE,SAAS,CAAC,IAAI,CAAU,CAAC,CAAC,CAC7H,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,UAAU,aAAa,CAAC,GAAW;IACvC,OAAO,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC;AACtC,CAAC;AAED,mDAAmD;AACnD,SAAS,aAAa;IACpB,OAAO,UAAU,aAAa,IAAI,gBAAgB,YAAY,cAAc,YAAY,eAAe,EAAE,CAAC;AAC5G,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,cAAc,CAAC,OAAe;IAC5C,MAAM,IAAI,GAAG,eAAe,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC1C,IAAI,IAAI,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,mBAAmB,OAAO,+CAA+C,CAAC,CAAC;IACnH,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,OAAO,gDAAgD,aAAa,SAAS,IAAI,EAAE,CAAC;AACtF,CAAC;AAED,+EAA+E;AAC/E,SAAS,kBAAkB,CAAC,OAAe;IACzC,OAAO,aAAa,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC;AAChD,CAAC;AAED,4CAA4C;AAC5C,MAAM,cAAc,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,cAAc,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;AAE9E;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,oBAAoB,CAClC,GAAW,EACX,IAAI,GAAsB,cAAc,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC;IAElE,MAAM,EAAE,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;IAChC,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,IAAI,cAAc;QAAE,OAAO,KAAK,CAAC;IAC3D,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC;IAC/C,KAAK,IAAI,CAAC,GAAG,cAAc,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE;QAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;IAC5E,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,cAAc,CAC5B,OAAO,GAAsE,cAAc;IAE3F,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,oBAAoB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;AAC1H,CAAC;AAED,4EAA4E;AAC5E,MAAM,UAAU,wBAAwB;IACtC,OAAO,cAAc,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,oBAAoB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;AACrG,CAAC;AAoBD;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAA0B;IAC1D,OAAO;QACL,GAAG,EAAE,KAAK,CAAC,GAAG;QACd,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,MAAM,EAAE,sBAAsB,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;YAC/D,IAAI,EAAE,SAAS,CAAC,IAAI;YACpB,OAAO,EAAE,SAAS,CAAC,OAAO;YAC1B,IAAI,EAAE,SAAS,CAAC,IAAI;YACpB,MAAM,EAAE,SAAS,CAAC,MAAM;YACxB,SAAS,EAAE,SAAS,CAAC,SAAS;YAC9B,MAAM,EAAE,SAAS,CAAC,MAAM;SACzB,CAAC,CAAC;KACJ,CAAC;AACJ,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,aAAa,CAAC,GAAsB;IAClD,MAAM,OAAO,GAAG;QACd,GAAG,CAAC,GAAG;QACP,GAAG,CAAC,OAAO;QACX,GAAG,CAAC,IAAI;QACR,GAAG,CAAC,MAAM;QACV,GAAG,CAAC,SAAS;QACb,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC;QACf,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;KACzF,CAAC;IACF,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC5E,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,cAAc,CAC5B,GAAW;AACX,qEAAqE;AACrE,eAAe,GAA2B,cAAc;IAExD,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC;IACzE,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,GAAG,GAAG,CAAC,CAAC;IACtF,IAAI,oBAAoB,CAAC,GAAG,CAAC;QAAE,OAAO,YAAY,CAAC;IACnD,IAAI,oBAAoB,CAAC,GAAG,CAAC,KAAK,aAAa,CAAC,KAAK,CAAC;QAAE,OAAO,YAAY,CAAC;IAC5E,OAAO,wBAAwB,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,mBAAmB,CAAC;AACxF,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,eAAe,CAAC,GAAW;IACzC,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAClC,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,GAAG,GAAG,CAAC,CAAC;IACtF,OAAO;QACL,MAAM,EAAE,cAAc;QACtB,SAAS,EAAE,KAAK,CAAC,OAAO;QACxB,OAAO,EAAE,aAAa,EAAE;QACxB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,QAAQ,EAAE,cAAc,CAAC,GAAG,CAAC;QAC7B,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,GAAG,EAAE,kBAAkB,CAAC,KAAK,CAAC,OAAO,CAAC;QACtC,MAAM,EAAE,GAAG,KAAK,CAAC,MAAM,MAAM,KAAK,CAAC,QAAQ,EAAE;KAC9C,CAAC;AACJ,CAAC;AAED,gFAAgF;AAChF,SAAS,gBAAgB,CAAC,MAAyB;IACjD,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,qBAAqB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;AACrE,CAAC;AAED,SAAS,UAAU,CAAC,QAA2B,EAAE,QAA2B;IAC1E,OAAO,QAAQ,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;AACpG,CAAC;AAED,SAAS,aAAa,CAAC,QAAyB,EAAE,QAAyB;IACzE,OAAO,CACL,QAAQ,CAAC,OAAO,KAAK,QAAQ,CAAC,OAAO;QACrC,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI;QAC/B,QAAQ,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM;QACnC,QAAQ,CAAC,QAAQ,KAAK,QAAQ,CAAC,QAAQ;QACvC,QAAQ,CAAC,SAAS,KAAK,QAAQ,CAAC,SAAS;QACzC,UAAU,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,CAC7C,CAAC;AACJ,CAAC;AAED,4GAA4G;AAC5G,SAAS,UAAU,CACjB,QAA0C,EAC1C,QAAkE;IAElE,OAAO,CACL,QAAQ,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM;QACnC,QAAQ,CAAC,KAAK,CAAC,CAAC,SAAS,EAAE,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAE,CAAC,IAAI,IAAI,aAAa,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC,CAAE,CAAC,CAAC,CACjH,CAAC;AACJ,CAAC;AAED,yEAAyE;AACzE,SAAS,eAAe,CAAC,IAAa;IACpC,OAAO,OAAO,IAAI,KAAK,QAAQ,IAAK,gBAAsC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AAC5F,CAAC;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAKtC;IACC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;IAChC,IAAI,QAAQ,CAAC,MAAM,KAAK,2BAA2B,EAAE,CAAC;QACpD,QAAQ,CAAC,IAAI,CAAC,uBAAuB,QAAQ,CAAC,MAAM,yCAAyC,CAAC,CAAC;IACjG,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,KAAK,aAAa,EAAE,CAAC;QACtC,QAAQ,CAAC,IAAI,CAAC,uBAAuB,QAAQ,CAAC,MAAM,gBAAgB,aAAa,GAAG,CAAC,CAAC;IACxF,CAAC;IACD,IAAI,QAAQ,CAAC,SAAS,KAAK,gBAAgB,EAAE,CAAC;QAC5C,QAAQ,CAAC,IAAI,CAAC,0BAA0B,QAAQ,CAAC,SAAS,gBAAgB,gBAAgB,GAAG,CAAC,CAAC;IACjG,CAAC;IACD,IAAI,QAAQ,CAAC,OAAO,KAAK,cAAc,EAAE,CAAC;QACxC,QAAQ,CAAC,IAAI,CAAC,wBAAwB,QAAQ,CAAC,OAAO,gBAAgB,cAAc,GAAG,CAAC,CAAC;IAC3F,CAAC;IACD,IAAI,QAAQ,CAAC,OAAO,KAAK,eAAe,EAAE,CAAC;QACzC,QAAQ,CAAC,IAAI,CAAC,wBAAwB,QAAQ,CAAC,OAAO,gBAAgB,eAAe,GAAG,CAAC,CAAC;IAC5F,CAAC;IAED,MAAM,eAAe,GAAG,KAAK,CAAC,eAAe,IAAI,cAAc,CAAC;IAChE,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IAClF,0FAA0F;IAC1F,MAAM,aAAa,GAAG,IAAI,GAAG,CAC3B,eAAe,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,OAAO,EAAE,SAAS,CAAC,IAAI,CAAU,CAAC,CAAC,CAC9H,CAAC;IACF,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IACzE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,YAAY,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAChE,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;QACrC,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,iBAAiB,KAAK,CAAC,GAAG,iBAAiB,CAAC,CAAC;QACpF,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACpB,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,aAAa,EAAE,GAAG,sBAAsB,CAAC,KAAK,CAAC,CAAC;QAC1E,QAAQ,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,CAAC;QAChC,IAAI,KAAK,CAAC,GAAG,KAAK,KAAK,CAAC,QAAQ,EAAE,CAAC;YACjC,QAAQ,CAAC,IAAI,CAAC,iBAAiB,KAAK,CAAC,GAAG,8BAA8B,KAAK,CAAC,QAAQ,GAAG,CAAC,CAAC;QAC3F,CAAC;QACD,IAAI,KAAK,CAAC,QAAQ,KAAK,eAAe,EAAE,CAAC;YACvC,QAAQ,CAAC,IAAI,CACX,wBAAwB,KAAK,CAAC,GAAG,SAAS,KAAK,CAAC,QAAQ,gBAAgB,eAAe,GAAG,CAC3F,CAAC;QACJ,CAAC;QACD,IAAI,KAAK,CAAC,SAAS,KAAK,UAAU,EAAE,CAAC;YACnC,QAAQ,CAAC,IAAI,CAAC,kBAAkB,KAAK,CAAC,GAAG,SAAS,KAAK,CAAC,SAAS,wBAAwB,CAAC,CAAC;QAC7F,CAAC;QACD,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YACjC,QAAQ,CAAC,IAAI,CAAC,iBAAiB,KAAK,CAAC,GAAG,WAAW,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,mBAAmB,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACzH,CAAC;QACD,IAAI,gBAAgB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9C,QAAQ,CAAC,IAAI,CACX,iBAAiB,KAAK,CAAC,GAAG,aAAa,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,0BAA0B,CAAC,GAAG,qBAAqB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CACjI,CAAC;QACJ,CAAC;QACD,KAAK,MAAM,SAAS,IAAI,MAAM,EAAE,CAAC;YAC/B,IAAI,CAAC,eAAe,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;gBACrC,QAAQ,CAAC,IAAI,CACX,GAAG,SAAS,CAAC,IAAI,cAAc,KAAK,CAAC,GAAG,SAAS,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,iBAAiB,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACtH,CAAC;YACJ,CAAC;YACD,IAAI,SAAS,CAAC,QAAQ,KAAK,eAAe,EAAE,CAAC;gBAC3C,QAAQ,CAAC,IAAI,CACX,GAAG,SAAS,CAAC,IAAI,yBAAyB,KAAK,CAAC,GAAG,SAAS,SAAS,CAAC,QAAQ,gBAAgB,eAAe,GAAG,CACjH,CAAC;YACJ,CAAC;YACD,IAAI,SAAS,CAAC,SAAS,KAAK,UAAU,EAAE,CAAC;gBACvC,QAAQ,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,IAAI,mBAAmB,KAAK,CAAC,GAAG,SAAS,SAAS,CAAC,SAAS,wBAAwB,CAAC,CAAC;YACnH,CAAC;YACD,IAAI,gBAAgB,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAClD,QAAQ,CAAC,IAAI,CACX,GAAG,SAAS,CAAC,IAAI,gBAAgB,KAAK,CAAC,GAAG,MAAM,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,0BAA0B,CAAC,GAAG,qBAAqB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAC9I,CAAC;YACJ,CAAC;YACD,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC1C,QAAQ,CAAC,IAAI,CAAC,qBAAqB,SAAS,CAAC,OAAO,MAAM,KAAK,CAAC,GAAG,IAAI,SAAS,CAAC,IAAI,wDAAwD,CAAC,CAAC;YACjJ,CAAC;QACH,CAAC;QACD,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC9C,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,QAAQ,CAAC,IAAI,CAAC,qBAAqB,KAAK,CAAC,OAAO,wDAAwD,CAAC,CAAC;QAC5G,CAAC;QACD,MAAM,QAAQ,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC9C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,QAAQ,CAAC,IAAI,CAAC,iBAAiB,KAAK,CAAC,GAAG,sCAAsC,CAAC,CAAC;QAClF,CAAC;aAAM,IACL,QAAQ,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO;YAClC,QAAQ,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI;YAC5B,QAAQ,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;YAChC,QAAQ,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ;YACpC,QAAQ,CAAC,SAAS,KAAK,KAAK,CAAC,SAAS;YACtC,CAAC,UAAU,CAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC;YAC1C,CAAC,UAAU,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,EACpC,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC,uBAAuB,KAAK,CAAC,GAAG,wCAAwC,CAAC,CAAC;QAC1F,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACnC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,IAAI,CAAC,oBAAoB,CAAC,KAAK,CAAC,GAAG,EAAE,YAAY,CAAC;gBAAE,QAAQ,CAAC,IAAI,CAAC,iBAAiB,KAAK,CAAC,GAAG,gCAAgC,CAAC,CAAC;YAC9H,SAAS;QACX,CAAC;QACD,MAAM,GAAG,GAAG,MAAM,CAAC,SAAS,CAAC;QAC7B,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,MAAM,KAAK,cAAc,EAAE,CAAC;YACvD,QAAQ,CAAC,IAAI,CACX,WAAW,KAAK,CAAC,GAAG,4CAA4C,GAAG,EAAE,MAAM,IAAI,MAAM,IAAI,CAC1F,CAAC;YACF,SAAS;QACX,CAAC;QACD,KAAK,MAAM,SAAS,IAAI,MAAM,EAAE,CAAC;YAC/B,IAAI,GAAG,CAAC,SAAS,KAAK,SAAS,CAAC,OAAO,EAAE,CAAC;gBACxC,QAAQ,CAAC,IAAI,CACX,WAAW,KAAK,CAAC,GAAG,gCAAgC,SAAS,CAAC,IAAI,aAAa,SAAS,CAAC,OAAO,8CAA8C,CAC/I,CAAC;YACJ,CAAC;QACH,CAAC;QACD,IAAI,GAAG,CAAC,SAAS,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC;YACpC,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,iBAAiB,GAAG,CAAC,SAAS,2BAA2B,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC;QAC/G,CAAC;QACD,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;YAC1C,QAAQ,CAAC,IAAI,CACX,WAAW,KAAK,CAAC,GAAG,aAAa,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,+BAA+B,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAChH,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,eAAe,CAAC,EAAE,CAAC;YAC1C,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,+BAA+B,eAAe,GAAG,CAAC,CAAC;QACvF,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;YACvC,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,kCAAkC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QACvF,CAAC;QACD,IAAI,GAAG,CAAC,OAAO,KAAK,aAAa,EAAE,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC;YAC1F,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,cAAc,GAAG,CAAC,OAAO,6BAA6B,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;QAC9G,CAAC;QACD,IAAI,GAAG,CAAC,QAAQ,KAAK,YAAY,EAAE,CAAC;YAClC,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,2BAA2B,CAAC,CAAC;QACjE,CAAC;QACD,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,EAAE,CAAC;YAC5B,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,cAAc,GAAG,CAAC,IAAI,gBAAgB,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC;QACzF,CAAC;QACD,IAAI,IAAI,KAAK,SAAS,IAAI,GAAG,CAAC,GAAG,KAAK,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1D,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,aAAa,GAAG,CAAC,GAAG,gBAAgB,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAChG,CAAC;IACH,CAAC;IAED,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QACnC,IAAI,MAAM,CAAC,SAAS,EAAE,MAAM,KAAK,cAAc;YAAE,SAAS;QAC1D,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;YACzB,QAAQ,CAAC,IAAI,CAAC,8BAA8B,MAAM,CAAC,EAAE,yBAAyB,CAAC,CAAC;QAClF,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC","sourcesContent":["/**\n * Reviewed `formalRef`s keyed by the vendored PhysJS bridge manifest.\n *\n * The manifest file is `formal/physjs/manifest.json` (PhysJS `manifest/bridges.json`\n * at the commit that file records). `src/` cannot import a file outside its root,\n * so `physjs-entries.generated.ts` is the table this module reads.\n * `bun run physjs:table` writes that file from the manifest and writes nothing else.\n * `tests/atlas/physjs-manifest.test.ts` fails when the file and that table disagree\n * on the commit, a theorem, a key, or the coverage phrase.\n *\n * The commit is `PHYSJS_COMMIT`, copied from the manifest. Which PhysJS pull\n * request added which keys, and what the pin was before, is history and lives\n * in `NOTES.md` and `CHANGELOG.md`, not here.\n *\n * Each statement's `kind`, nested ones included, is the manifest's own field\n * (schema `physjs-bridge-manifest/v2`), which PhysJS reads from the kind line\n * of the Lean file that declares the theorem; this module keeps no override\n * and does not parse the covers line for it. A field of a manifest entry\n * outside the base fields is a nested statement: a second theorem on the same\n * entry, named by the field, with no key. It is recorded and compared, and it\n * is not a `formalRef`. The generator reads it by its shape, so a new nested\n * name needs no edit here.\n *\n * A reference's `fidelity` is DERIVED here, never typed on a record:\n * `physjsFidelity` reads the reviewed-row table (`physjs-reviewed.ts`) and the\n * sanity-lemma key list, and a key ahead of the catalog, or whose row is not\n * in that table, is `'unreviewed'`.\n *\n * @module atlas/physjs-ref\n */\n\nimport { createHash } from 'node:crypto';\nimport type { FormalFidelity, FormalRef, FormalRefKind } from './types.js';\nimport { FORMAL_REF_KINDS } from '../relations/types.js';\nimport { catalogEntries, catalogIdNumber } from '../bridges/catalog-load.js';\nimport { PHYSJS_REVIEWED_ROWS, PHYSJS_SANITY_LEMMA_KEYS } from './physjs-reviewed.js';\nimport {\n  PHYSJS_COMMIT,\n  PHYSJS_MATHLIB,\n  PHYSJS_PHYS_LIB,\n  PHYSJS_TOOLCHAIN,\n  PHYSJS_ENTRIES as GENERATED_PHYSJS_ENTRIES,\n} from './physjs-entries.generated.js';\n\n/**\n * PhysJS commit the vendored manifest records.\n *\n * @internal\n */\nexport { PHYSJS_COMMIT } from './physjs-entries.generated.js';\n\n/**\n * Every reviewed PhysJS reference covers its statement only. A lemma about\n * `bound.delta` does not certify the regime, the horizon, or the side conditions.\n */\nconst PHYSJS_COVERAGE = 'covers its statement only';\n\n/**\n * The axioms a complete Lean 4 proof over Mathlib may rest on. `#print axioms`\n * of a proof with a `sorry` adds `sorryAx`, and Lean still exits 0 (TOOLS.md),\n * so every statement's list is held to this set; PhysJS reports the list and\n * this repository does not re-measure it.\n */\nconst PHYSJS_ALLOWED_AXIOMS: ReadonlySet<string> = new Set(['propext', 'Classical.choice', 'Quot.sound']);\n\n/** One statement the manifest records: an entry's own, or a nested one. */\ninterface PhysjsStatement {\n  readonly theorem: string;\n  /** How the theorem relates to the equation the key names, as the manifest writes it. */\n  readonly kind: string;\n  readonly covers: string;\n  readonly coverage: string;\n  readonly leanProof: string;\n  readonly axioms: readonly string[];\n}\n\n/** The fields of a manifest entry. Any other field is a nested statement. */\nconst BASE_FIELDS = new Set<string>(['key', 'bridgeId', 'theorem', 'kind', 'covers', 'coverage', 'leanProof', 'axioms', 'imports']);\n\n/** The fields of a statement, sorted. A nested field with exactly these is a statement. */\nconst STATEMENT_FIELDS = ['axioms', 'coverage', 'covers', 'kind', 'leanProof', 'theorem'] as const;\n\n/** A compiled statement: the manifest's fields and the Lean file that declares its theorem. */\ninterface PhysjsCompiledStatement extends PhysjsStatement {\n  /** `<File>.lean` under `lean/` at the pin, from `formal/physjs/theorem-files.json`. */\n  readonly file: string;\n}\n\n/** A nested statement, named by its manifest field. No key. Not a `formalRef`. */\ninterface PhysjsNestedStatement extends PhysjsCompiledStatement {\n  readonly name: string;\n  readonly kind: FormalRefKind;\n}\n\n/** One compiled entry: its own statement, and every nested statement by name. */\ninterface PhysjsEntry extends PhysjsCompiledStatement {\n  readonly key: string;\n  readonly bridgeId: string;\n  /** The manifest's kind: how the theorem relates to the equation the key names. */\n  readonly kind: FormalRefKind;\n  readonly imports?: string;\n  readonly nested: readonly PhysjsNestedStatement[];\n}\n\n/**\n * One manifest entry as PhysJS writes it: the base fields, and each nested\n * statement under a field of its own (`planeWave`, `corollary`).\n * @internal\n */\nexport interface PhysjsManifestEntry extends PhysjsStatement {\n  readonly key: string;\n  readonly bridgeId: string;\n  readonly kind: string;\n  readonly imports?: string;\n  readonly [field: string]: unknown;\n}\n\n/**\n * The nested statements of a manifest entry, in field order: every field\n * outside the base fields whose value has exactly the statement fields. A\n * field that is neither is returned in `problems`.\n * @internal\n */\nexport function physjsNestedStatements(entry: PhysjsManifestEntry): {\n  readonly nested: readonly (PhysjsStatement & { readonly name: string })[];\n  readonly problems: readonly string[];\n} {\n  const nested: (PhysjsStatement & { readonly name: string })[] = [];\n  const problems: string[] = [];\n  for (const [field, value] of Object.entries(entry)) {\n    if (BASE_FIELDS.has(field)) continue;\n    const keys = typeof value === 'object' && value !== null && !Array.isArray(value) ? Object.keys(value).sort() : [];\n    if (keys.join() === STATEMENT_FIELDS.join()) nested.push({ name: field, ...(value as PhysjsStatement) });\n    else problems.push(`manifest entry '${entry.key}' has unexpected field '${field}'`);\n  }\n  return { nested, problems };\n}\n\n/** The vendored manifest, as this module compares it. @internal */\nexport interface PhysjsManifestFile {\n  readonly schema: string;\n  readonly commit: string;\n  readonly toolchain: string;\n  readonly mathlib: string;\n  readonly physlib: string;\n  readonly entries: readonly PhysjsManifestEntry[];\n}\n\nconst PHYSJS_ENTRIES: readonly PhysjsEntry[] = GENERATED_PHYSJS_ENTRIES;\n\nconst entryByKey = new Map(PHYSJS_ENTRIES.map((entry) => [entry.key, entry]));\n\n/** Theorem → its Lean file, for every statement of the compiled table, nested ones included. */\nconst FILE_BY_THEOREM: ReadonlyMap<string, string> = new Map(\n  PHYSJS_ENTRIES.flatMap((entry) => [entry, ...entry.nested].map((statement) => [statement.theorem, statement.file] as const)),\n);\n\n/**\n * Theorem name on the compiled manifest copy for `key`.\n *\n * This reads the compiled table. It does not build a formal reference\n * and it does not derive an evidence tag.\n *\n * @internal\n */\nexport function physjsTheorem(key: string): string | undefined {\n  return entryByKey.get(key)?.theorem;\n}\n\n/** `formalRef.version` for the pinned manifest. */\nfunction physjsVersion(): string {\n  return `physjs@${PHYSJS_COMMIT} ${PHYSJS_TOOLCHAIN} mathlib:${PHYSJS_MATHLIB} physlib@${PHYSJS_PHYS_LIB}`;\n}\n\n/**\n * Lean file name that contains `theorem` at the pinned commit.\n *\n * Read from the compiled table, which copies `formal/physjs/theorem-files.json`:\n * the file is where the theorem is declared, not its namespace\n * (`PhysJS.Einstein.friedmann_corollary` is in `VacuumFriedmann.lean`;\n * `PhysJS.SpringLc` is a namespace inside `OscillatorDictionary.lean`).\n * Throws for a theorem the manifest does not name.\n *\n * @internal\n */\nexport function physjsLeanFile(theorem: string): string {\n  const file = FILE_BY_THEOREM.get(theorem);\n  if (file === undefined) throw new Error(`PhysJS theorem '${theorem}' is not a statement of the vendored manifest`);\n  return file;\n}\n\n/**\n * Permalink to one Lean file at the pinned commit.\n *\n * PhysJS #63 stores sources at `lean/<File>.lean`. This is the only builder\n * of those URLs.\n *\n * @internal\n */\nexport function physjsFileUrl(file: string): string {\n  return `https://github.com/danielsimonjr/PhysJS/blob/${PHYSJS_COMMIT}/lean/${file}`;\n}\n\n/** Permalink to the Lean file that contains `theorem` at the pinned commit. */\nfunction physjsStatementUrl(theorem: string): string {\n  return physjsFileUrl(physjsLeanFile(theorem));\n}\n\n/** The highest id in the bridge catalog. */\nconst CATALOG_MAX_ID = Math.max(...catalogEntries().map((entry) => entry.id));\n\n/**\n * True when `key` is ahead of the catalog: PhysJS proved the statement for a\n * catalog id the catalog has not reached yet. That is an id above the\n * catalog's highest, with every id between them also a key of `keys` (the\n * manifest's), so the ahead keys are one unbroken run that starts right after\n * the catalog. Such an entry is vendored and compared, and it is not a seed\n * and not a problem until the catalog entry exists. A missing id inside the\n * catalog's range is not ahead, nor is an id past a gap in the run (a typo\n * such as an extra digit), nor an atlas key.\n *\n * @internal\n */\nexport function physjsAheadOfCatalog(\n  key: string,\n  keys: readonly string[] = PHYSJS_ENTRIES.map((entry) => entry.key),\n): boolean {\n  const id = catalogIdNumber(key);\n  if (id === undefined || id <= CATALOG_MAX_ID) return false;\n  const ids = new Set(keys.map(catalogIdNumber));\n  for (let n = CATALOG_MAX_ID + 1; n < id; n++) if (!ids.has(n)) return false;\n  return true;\n}\n\n/**\n * Manifest keys of kind `bridge`, the theorem stating the equation its key\n * names, that resolve to a bridge: every such atlas key, and every such\n * catalog key whose catalog entry exists. The kind is the manifest's own\n * field. A caller-supplied overlay entry is read the same way. The return\n * value is not stored on a bridge.\n *\n * @internal\n */\nexport function bridgeSeedKeys(\n  entries: readonly { readonly key: string; readonly kind: FormalRefKind }[] = PHYSJS_ENTRIES,\n): readonly string[] {\n  return entries.filter((entry) => entry.kind === 'bridge' && !physjsAheadOfCatalog(entry.key)).map((entry) => entry.key);\n}\n\n/** Every manifest key ahead of the catalog, in manifest order. @internal */\nexport function physjsKeysAheadOfCatalog(): readonly string[] {\n  return PHYSJS_ENTRIES.filter((entry) => physjsAheadOfCatalog(entry.key)).map((entry) => entry.key);\n}\n\n/** The fields of one manifest row that a review reads, nested statements included. @internal */\nexport interface PhysjsReviewedRow {\n  readonly key: string;\n  readonly theorem: string;\n  readonly kind: string;\n  readonly covers: string;\n  readonly leanProof: string;\n  readonly axioms: readonly string[];\n  readonly nested: readonly {\n    readonly name: string;\n    readonly theorem: string;\n    readonly kind: string;\n    readonly covers: string;\n    readonly leanProof: string;\n    readonly axioms: readonly string[];\n  }[];\n}\n\n/**\n * The row of a manifest entry as PhysJS writes it, in the shape\n * {@link physjsRowHash} reads. @internal\n */\nexport function physjsManifestRow(entry: PhysjsManifestEntry): PhysjsReviewedRow {\n  return {\n    key: entry.key,\n    theorem: entry.theorem,\n    kind: entry.kind,\n    covers: entry.covers,\n    leanProof: entry.leanProof,\n    axioms: entry.axioms,\n    nested: physjsNestedStatements(entry).nested.map((statement) => ({\n      name: statement.name,\n      theorem: statement.theorem,\n      kind: statement.kind,\n      covers: statement.covers,\n      leanProof: statement.leanProof,\n      axioms: statement.axioms,\n    })),\n  };\n}\n\n/**\n * SHA-256 of one row: `[key, theorem, kind, covers, leanProof, axioms,\n * nested[]]`, each nested statement as `[name, theorem, kind, covers,\n * leanProof, axioms]`. A swapped theorem or key, a changed kind, a reworded\n * covers line, a proof status, an axiom, or a nested statement changes it.\n * This is what `physjs-reviewed.ts` pins per key.\n *\n * @internal\n */\nexport function physjsRowHash(row: PhysjsReviewedRow): string {\n  const columns = [\n    row.key,\n    row.theorem,\n    row.kind,\n    row.covers,\n    row.leanProof,\n    [...row.axioms],\n    row.nested.map((n) => [n.name, n.theorem, n.kind, n.covers, n.leanProof, [...n.axioms]]),\n  ];\n  return createHash('sha256').update(JSON.stringify(columns)).digest('hex');\n}\n\n/**\n * The fidelity a manifest key earns, derived from what checks it:\n *\n * - `'unreviewed'` when the key is ahead of the catalog\n *   ({@link physjsAheadOfCatalog}): no bridge exists to read the row against;\n * - `'unreviewed'` when the compiled row's hash is not the one\n *   `PHYSJS_REVIEWED_ROWS` records for the key, or the key has no entry there;\n * - `'sanity-lemmas'` when the row is reviewed AND the key is in\n *   `PHYSJS_SANITY_LEMMA_KEYS`, whose statements\n *   `tests/atlas/formal-sanity.test.ts` instantiates on known cases;\n * - `'reviewed-manifest'` when the row is reviewed and no sanity lemma exists.\n *\n * A key the manifest does not name throws, like {@link physjsFormalRef}.\n *\n * @internal\n */\nexport function physjsFidelity(\n  key: string,\n  /** Defaults to the generated table. A test passes a mutated copy. */\n  compiledEntries: readonly PhysjsEntry[] = PHYSJS_ENTRIES,\n): FormalFidelity {\n  const entry = compiledEntries.find((candidate) => candidate.key === key);\n  if (entry === undefined) throw new Error(`PhysJS manifest has no entry for '${key}'`);\n  if (physjsAheadOfCatalog(key)) return 'unreviewed';\n  if (PHYSJS_REVIEWED_ROWS[key] !== physjsRowHash(entry)) return 'unreviewed';\n  return PHYSJS_SANITY_LEMMA_KEYS.includes(key) ? 'sanity-lemmas' : 'reviewed-manifest';\n}\n\n/**\n * The reference for a manifest key, with its derived fidelity. Throws when\n * the key is not an entry, so a typo cannot ship a bridge with no reference.\n * A key ahead of the catalog, or whose row is not reviewed, is returned\n * `'unreviewed'` and derives no proof tag.\n *\n * @internal\n */\nexport function physjsFormalRef(key: string): FormalRef {\n  const entry = entryByKey.get(key);\n  if (entry === undefined) throw new Error(`PhysJS manifest has no entry for '${key}'`);\n  return {\n    system: 'lean4-physjs',\n    statement: entry.theorem,\n    version: physjsVersion(),\n    axioms: entry.axioms,\n    fidelity: physjsFidelity(key),\n    kind: entry.kind,\n    url: physjsStatementUrl(entry.theorem),\n    covers: `${entry.covers} — ${entry.coverage}`,\n  };\n}\n\n/** The axioms of a statement that are outside {@link PHYSJS_ALLOWED_AXIOMS}. */\nfunction disallowedAxioms(axioms: readonly string[]): readonly string[] {\n  return axioms.filter((axiom) => !PHYSJS_ALLOWED_AXIOMS.has(axiom));\n}\n\nfunction sameAxioms(recorded: readonly string[], manifest: readonly string[]): boolean {\n  return recorded.length === manifest.length && recorded.every((axiom, i) => axiom === manifest[i]);\n}\n\nfunction sameStatement(compiled: PhysjsStatement, manifest: PhysjsStatement): boolean {\n  return (\n    compiled.theorem === manifest.theorem &&\n    compiled.kind === manifest.kind &&\n    compiled.covers === manifest.covers &&\n    compiled.coverage === manifest.coverage &&\n    compiled.leanProof === manifest.leanProof &&\n    sameAxioms(compiled.axioms, manifest.axioms)\n  );\n}\n\n/** The compiled nested statements are the manifest's: the same names, in order, each the same statement. */\nfunction sameNested(\n  compiled: readonly PhysjsNestedStatement[],\n  manifest: readonly (PhysjsStatement & { readonly name: string })[],\n): boolean {\n  return (\n    compiled.length === manifest.length &&\n    compiled.every((statement, i) => statement.name === manifest[i]!.name && sameStatement(statement, manifest[i]!))\n  );\n}\n\n/** The kind of a manifest entry is one of the formal-reference kinds. */\nfunction isFormalRefKind(kind: unknown): kind is FormalRefKind {\n  return typeof kind === 'string' && (FORMAL_REF_KINDS as readonly string[]).includes(kind);\n}\n\n/**\n * Problems in the vendored manifest against the bridges that claim to be keyed\n * by it. Empty means every entry resolves to a `lean4-physjs` reference whose\n * theorem, axioms, commit and coverage phrase are the entry's own.\n *\n * A wrong commit, theorem, key or coverage phrase is a problem. A manifest\n * entry with no bridge is a problem. A `lean4-physjs` reference with no entry\n * is a problem: the gate does not skip that system. A nested object is kept\n * and compared; naming it as the `formalRef` is a problem. The top-level\n * theorem stays the reference. The reference's kind is the entry's\n * `kind`; a kind outside the formal-reference kinds is a problem. An axiom\n * outside {@link PHYSJS_ALLOWED_AXIOMS} on any statement is a problem. A `be-`\n * key in the unbroken run above the catalog's highest id is ahead of the\n * catalog and is not a problem (`physjsAheadOfCatalog`); any other key with\n * no bridge is. Every structural check (fields, kinds, coverage, proof\n * status, axioms, Lean file, compiled copy) runs for every entry, ahead keys\n * included; only the checks against a bridge's reference are skipped for a\n * key that has no bridge yet.\n *\n * @internal\n */\nexport function physjsManifestProblems(input: {\n  readonly manifest: PhysjsManifestFile;\n  readonly bridges: readonly { readonly id: string; readonly formalRef?: FormalRef }[];\n  /** Defaults to the generated table. A test passes a mutated copy. */\n  readonly compiledEntries?: readonly PhysjsEntry[];\n}): string[] {\n  const problems: string[] = [];\n  const manifest = input.manifest;\n  if (manifest.schema !== 'physjs-bridge-manifest/v2') {\n    problems.push(`manifest schema is '${manifest.schema}', expected 'physjs-bridge-manifest/v2'`);\n  }\n  if (manifest.commit !== PHYSJS_COMMIT) {\n    problems.push(`manifest commit is '${manifest.commit}', expected '${PHYSJS_COMMIT}'`);\n  }\n  if (manifest.toolchain !== PHYSJS_TOOLCHAIN) {\n    problems.push(`manifest toolchain is '${manifest.toolchain}', expected '${PHYSJS_TOOLCHAIN}'`);\n  }\n  if (manifest.mathlib !== PHYSJS_MATHLIB) {\n    problems.push(`manifest mathlib is '${manifest.mathlib}', expected '${PHYSJS_MATHLIB}'`);\n  }\n  if (manifest.physlib !== PHYSJS_PHYS_LIB) {\n    problems.push(`manifest physlib is '${manifest.physlib}', expected '${PHYSJS_PHYS_LIB}'`);\n  }\n\n  const compiledEntries = input.compiledEntries ?? PHYSJS_ENTRIES;\n  const compiledByKey = new Map(compiledEntries.map((entry) => [entry.key, entry]));\n  /** Theorem → Lean file over the compiled table under test, nested statements included. */\n  const fileByTheorem = new Map(\n    compiledEntries.flatMap((entry) => [entry, ...entry.nested].map((statement) => [statement.theorem, statement.file] as const)),\n  );\n  const byId = new Map(input.bridges.map((bridge) => [bridge.id, bridge]));\n  const seen = new Set<string>();\n  const manifestKeys = manifest.entries.map((entry) => entry.key);\n  for (const entry of manifest.entries) {\n    if (seen.has(entry.key)) problems.push(`manifest key '${entry.key}' is duplicated`);\n    seen.add(entry.key);\n    const { nested, problems: fieldProblems } = physjsNestedStatements(entry);\n    problems.push(...fieldProblems);\n    if (entry.key !== entry.bridgeId) {\n      problems.push(`manifest key '${entry.key}' does not equal bridgeId '${entry.bridgeId}'`);\n    }\n    if (entry.coverage !== PHYSJS_COVERAGE) {\n      problems.push(\n        `coverage phrase for '${entry.key}' is '${entry.coverage}', expected '${PHYSJS_COVERAGE}'`,\n      );\n    }\n    if (entry.leanProof !== 'complete') {\n      problems.push(`leanProof for '${entry.key}' is '${entry.leanProof}', expected 'complete'`);\n    }\n    if (!isFormalRefKind(entry.kind)) {\n      problems.push(`manifest key '${entry.key}' kind '${String(entry.kind)}' is not one of ${FORMAL_REF_KINDS.join(', ')}`);\n    }\n    if (disallowedAxioms(entry.axioms).length > 0) {\n      problems.push(\n        `manifest key '${entry.key}' axioms [${entry.axioms.join(', ')}] are not a subset of [${[...PHYSJS_ALLOWED_AXIOMS].join(', ')}]`,\n      );\n    }\n    for (const statement of nested) {\n      if (!isFormalRefKind(statement.kind)) {\n        problems.push(\n          `${statement.name} kind for '${entry.key}' is '${String(statement.kind)}', not one of ${FORMAL_REF_KINDS.join(', ')}`,\n        );\n      }\n      if (statement.coverage !== PHYSJS_COVERAGE) {\n        problems.push(\n          `${statement.name} coverage phrase for '${entry.key}' is '${statement.coverage}', expected '${PHYSJS_COVERAGE}'`,\n        );\n      }\n      if (statement.leanProof !== 'complete') {\n        problems.push(`${statement.name} leanProof for '${entry.key}' is '${statement.leanProof}', expected 'complete'`);\n      }\n      if (disallowedAxioms(statement.axioms).length > 0) {\n        problems.push(\n          `${statement.name} axioms for '${entry.key}' [${statement.axioms.join(', ')}] are not a subset of [${[...PHYSJS_ALLOWED_AXIOMS].join(', ')}]`,\n        );\n      }\n      if (!fileByTheorem.has(statement.theorem)) {\n        problems.push(`manifest theorem '${statement.theorem}' (${entry.key}.${statement.name}) has no Lean file in formal/physjs/theorem-files.json`);\n      }\n    }\n    const file = fileByTheorem.get(entry.theorem);\n    if (file === undefined) {\n      problems.push(`manifest theorem '${entry.theorem}' has no Lean file in formal/physjs/theorem-files.json`);\n    }\n    const compiled = compiledByKey.get(entry.key);\n    if (compiled === undefined) {\n      problems.push(`manifest key '${entry.key}' is not in the compiled entry table`);\n    } else if (\n      compiled.theorem !== entry.theorem ||\n      compiled.kind !== entry.kind ||\n      compiled.covers !== entry.covers ||\n      compiled.coverage !== entry.coverage ||\n      compiled.leanProof !== entry.leanProof ||\n      !sameAxioms(compiled.axioms, entry.axioms) ||\n      !sameNested(compiled.nested, nested)\n    ) {\n      problems.push(`compiled entry for '${entry.key}' disagrees with the vendored manifest`);\n    }\n    const bridge = byId.get(entry.key);\n    if (bridge === undefined) {\n      if (!physjsAheadOfCatalog(entry.key, manifestKeys)) problems.push(`manifest key '${entry.key}' does not resolve to a bridge`);\n      continue;\n    }\n    const ref = bridge.formalRef;\n    if (ref === undefined || ref.system !== 'lean4-physjs') {\n      problems.push(\n        `bridge '${entry.key}' has no lean4-physjs formalRef (system '${ref?.system ?? 'none'}')`,\n      );\n      continue;\n    }\n    for (const statement of nested) {\n      if (ref.statement === statement.theorem) {\n        problems.push(\n          `bridge '${entry.key}' formalRef names the nested ${statement.name} theorem '${statement.theorem}'; the top-level theorem stays the reference`,\n        );\n      }\n    }\n    if (ref.statement !== entry.theorem) {\n      problems.push(`bridge '${entry.key}' theorem is '${ref.statement}', manifest theorem is '${entry.theorem}'`);\n    }\n    if (!sameAxioms(ref.axioms, entry.axioms)) {\n      problems.push(\n        `bridge '${entry.key}' axioms [${ref.axioms.join(', ')}] differ from the manifest [${entry.axioms.join(', ')}]`,\n      );\n    }\n    if (!ref.covers.includes(PHYSJS_COVERAGE)) {\n      problems.push(`bridge '${entry.key}' covers line does not say '${PHYSJS_COVERAGE}'`);\n    }\n    if (!ref.covers.includes(entry.covers)) {\n      problems.push(`bridge '${entry.key}' covers line does not record '${entry.covers}'`);\n    }\n    if (ref.version !== physjsVersion() || !ref.version.includes(`physjs@${manifest.commit}`)) {\n      problems.push(`bridge '${entry.key}' version '${ref.version}' does not record commit '${manifest.commit}'`);\n    }\n    if (ref.fidelity === 'unreviewed') {\n      problems.push(`bridge '${entry.key}' formalRef is unreviewed`);\n    }\n    if (ref.kind !== entry.kind) {\n      problems.push(`bridge '${entry.key}' kind is '${ref.kind}', expected '${entry.kind}'`);\n    }\n    if (file !== undefined && ref.url !== physjsFileUrl(file)) {\n      problems.push(`bridge '${entry.key}' url is '${ref.url}', expected '${physjsFileUrl(file)}'`);\n    }\n  }\n\n  for (const bridge of input.bridges) {\n    if (bridge.formalRef?.system !== 'lean4-physjs') continue;\n    if (!seen.has(bridge.id)) {\n      problems.push(`lean4-physjs formalRef on '${bridge.id}' has no manifest entry`);\n    }\n  }\n  return problems;\n}\n"]}

package/dist/atlas/physjs-reviewed.d.ts

@@ -0,0 +1,31 @@
+/**
+ * The reviewed PhysJS manifest rows, pinned per key.
+ *
+ * Each value is `physjsRowHash` of the row as the manifest writes it:
+ * `[key, theorem, kind, covers, leanProof, axioms, nested statements]`. A key
+ * is listed only after its row was read against the bridge it keys (the
+ * procedure is WORKFLOWS.md, "Adding or changing a Lean formalRef"). A key
+ * that is ahead of the catalog has no bridge to read it against and is not
+ * listed; `physjsFidelity` returns `'unreviewed'` for it.
+ *
+ * `tests/atlas/physjs-manifest.test.ts` fails, and prints the line to paste
+ * here, when a manifest row that resolves to a bridge is missing or has
+ * changed since its review, and when a listed key no longer resolves to a
+ * bridge. The sentence that the review was one SHA-256 over every row in
+ * that test file is the record from before this table.
+ *
+ * @module atlas/physjs-reviewed
+ */
+/**
+ * Keys whose statements `tests/atlas/formal-sanity.test.ts` instantiates on
+ * known cases. A reviewed row with its key here derives
+ * `fidelity: 'sanity-lemmas'`; every other reviewed row derives
+ * `'reviewed-manifest'`. That test fails when a key listed here has no
+ * lemma in it, and when a lemma there names a key missing here.
+ *
+ * @internal
+ */
+export declare const PHYSJS_SANITY_LEMMA_KEYS: readonly string[];
+/** Manifest key → `physjsRowHash` of its reviewed row. @internal */
+export declare const PHYSJS_REVIEWED_ROWS: Readonly<Record<string, string>>;
+//# sourceMappingURL=physjs-reviewed.d.ts.map

package/dist/atlas/physjs-reviewed.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"physjs-reviewed.d.ts","sourceRoot":"","sources":["../../src/atlas/physjs-reviewed.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH;;;;;;;;GAQG;AACH,eAAO,MAAM,wBAAwB,EAAE,SAAS,MAAM,EAWrD,CAAC;AAEF,oEAAoE;AACpE,eAAO,MAAM,oBAAoB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAwJjE,CAAC"}

package/dist/atlas/physjs-reviewed.js

@@ -0,0 +1,194 @@
+/**
+ * The reviewed PhysJS manifest rows, pinned per key.
+ *
+ * Each value is `physjsRowHash` of the row as the manifest writes it:
+ * `[key, theorem, kind, covers, leanProof, axioms, nested statements]`. A key
+ * is listed only after its row was read against the bridge it keys (the
+ * procedure is WORKFLOWS.md, "Adding or changing a Lean formalRef"). A key
+ * that is ahead of the catalog has no bridge to read it against and is not
+ * listed; `physjsFidelity` returns `'unreviewed'` for it.
+ *
+ * `tests/atlas/physjs-manifest.test.ts` fails, and prints the line to paste
+ * here, when a manifest row that resolves to a bridge is missing or has
+ * changed since its review, and when a listed key no longer resolves to a
+ * bridge. The sentence that the review was one SHA-256 over every row in
+ * that test file is the record from before this table.
+ *
+ * @module atlas/physjs-reviewed
+ */
+/**
+ * Keys whose statements `tests/atlas/formal-sanity.test.ts` instantiates on
+ * known cases. A reviewed row with its key here derives
+ * `fidelity: 'sanity-lemmas'`; every other reviewed row derives
+ * `'reviewed-manifest'`. That test fails when a key listed here has no
+ * lemma in it, and when a lemma there names a key missing here.
+ *
+ * @internal
+ */
+export const PHYSJS_SANITY_LEMMA_KEYS = [
+    'ab-spring-lc',
+    'ab-damped-rlc',
+    'ab-pendulum-linear',
+    'ab-telegraph-diffusion',
+    'ab-telegraph-wave',
+    'ab-wave-dalembert',
+    'ab-klein-gordon-wave',
+    'ab-kg-schrodinger',
+    'ab-kg-oscillator',
+    'ab-stiff-string',
+];
+/** Manifest key → `physjsRowHash` of its reviewed row. @internal */
+export const PHYSJS_REVIEWED_ROWS = {
+    'ab-kg-schrodinger': '880d54fbf7b289a56370914abf51cb948dbc6d442e6d5090d3437f2b332f3a6d',
+    'ab-klein-gordon-wave': 'a9fe4d3d45bf26c97d5fb6b1ebe4f4556ea8cb3bf719430dec174f5215765796',
+    'ab-stiff-string': '49655051dea87dbf5f2b00fe1c372d3b949e7464a60793a648f80481329f6973',
+    'ab-telegraph-diffusion': 'c5b283968be33b6220fbfa595062fa00ee65e45b9d60c02db149a7b7a8aad842',
+    'ab-telegraph-wave': 'c244fb53c90f90f334bbc9f79b9485b228425edc4555052bf5696d00f35f8012',
+    'ab-pendulum-linear': '474d8d86dcf67f85ca41329ee2e90608d6a5db5b29b300cb9d2842636e3cbab2',
+    'ab-kg-oscillator': '737a1ffa7f4852bc6b3d287e13873228e2be0477194b110f5ab291f5d87d5f01',
+    'ab-spring-lc': '42b928779b9f5a8d671b03340ba2a247efa5491064c22305cd61fefcf81910dc',
+    'ab-damped-rlc': '95ab3fc816fdbde805d1a636f28e85f6898f1fae462db421647e0f0cfe3b0196',
+    'ab-wave-dalembert': 'c7b428505dd6cd433c11fff98417a24dc16d111434c3e52232588034d9a69ce5',
+    'be-64': '60b4b75c6006459bb5b61095aa31c6c6cbb7c63b64fc1b8b9997d130aea640dc',
+    'be-53': '654f6b62207c0d7950d738f816b337f5a5c8769ca3e18ba797422ecb537902aa',
+    'be-58': '52b94908af901152a823867115ccdfc05ffb4fc0baeaf73b3ee918038d8c8714',
+    'be-38': '34b14f7be5e62b4bff9ddf0787f3e1f28514dfaf5bc4ebf7a9f16b7dfcf118d1',
+    'be-13': 'f8bacaa12b908ac5c373447dde35518f68fe637ee5e5e207068643acf5b1f65e',
+    'be-34': 'e07dfe069c42b9b2f8685d8a66224bb680f958e6199f2f80bf72b8090e73a881',
+    'be-42': '727b1db4f83b51333a3be625f32a5fb0b0bc37c8dfd142b0fe8a26d0b762d9fa',
+    'be-24': '3fee6732650911fd2db0c8f5a42d0e048ca3ce016fd360014cdc43075b6d6c68',
+    'be-19': '32219ddbe9344c174b1bca94a9618c193a818b122da8bfc35657c57dccde0722',
+    'be-16': '0ec6dae9fe98830ddc9ad8e3ecbcbeded8c99d5dce39a957c48646a28b3c3aff',
+    'be-29': '76095041a745706d6059271a0b148ead8307fdec249a00d4ba592713bb0bdefa',
+    'be-11': 'a427754825b4fd77535b2c8c3b048a37cb1c57fffdeb61d4b81a3eac0ef2bc9f',
+    'be-65': 'af573c86041340633b1d4f16c700a33d0b7860925792b005906087e821aeecb7',
+    'be-51': '8c2059e2227b1962b26661dd659f6240fe42e3f3b5d6f416035771452c6b6a7a',
+    'be-61': 'c007972dc9cddf09aeec67f7e10e0f5a6782bc973c65afe8d7745afaa94269e8',
+    'be-12': '582d9c9feebf35c1bb44ce11bee3424246ebcc26baf3c9a5d070ebad2557ccf9',
+    'be-59': '2e66e9191f50acbbdca0f431266eee9e53ecb0d099cf459035583d1fe921389d',
+    'be-55': '9d7b80fcef3d95a0be30d9a7ede0ba7cd021d6e14fa4e7981b743ee145b0b8c8',
+    'be-60': '0b5ff87f7ef793bac6a5d740b462af5768dd2829944789ad35834c5eceb31b44',
+    'be-21': '5a2e6e27b0a000b4b7ae577819ac34a82b7c620f6c8bd1413603ede6360d525d',
+    'be-14': '70469372cb9b0adeccefd18a796061da62b20412dfbaf736ab9765a5169e4799',
+    'be-43': 'a9db7a0f1a53c449525b2f163f371a7f6f51cb03af6cc4c3186b39ba9fb709cb',
+    'be-37': '9bc5bf0d2379c2df54cac3a573e1e88daee6d65627531e6d7db4884b4fc388a9',
+    'be-54': 'eb61f6273649c17051a4a2b0549a30bc5f9a1060b9d46e85cdb9030ac4eb294b',
+    'be-17': '1dc24def887706b972db40ffce56e76bac8d8fc964aef4fec8d60ff75fce410c',
+    'be-27': '106aa08a3cb532aa0cdee42d02b283a8e273561f095c8b1d28e62cc5b1337181',
+    'be-22': '9717a67d45d9cfe91271d18fc18386a33647416908890da1e3159d135d2554e7',
+    'be-15': '4058289145099f1e9fde380dc7bae06fce78722588b74242b83bf6f5581fb889',
+    'be-33': 'c238dc6d809de1905aad7ba2cf8704979724f4dffa129955feb7e18b12996a87',
+    'be-50': 'c898e6857ebb476053f4c4672ff12ac22bbfbef7a2e3f664cf231c3bb2f157d2',
+    'be-32': '3d5fcd0038bfff924ec8135d41dc1b8d72c1808a7d92ac276ccbae31973be28a',
+    'be-28': '8714c5e37191300c167483f050f1e8556599ec51808b51eb5ce5fe32345fb606',
+    'be-40': 'c38df7f5f961031d1d07aacd617949af6b206b586daac19d9adf5f13f73af74a',
+    'be-35': '218e1345d32807e2b4270e3509a755443b07bd25362038a9580c4596850ae472',
+    'be-63': '6cd701cf2b99eef6cfc9790288323e6daa3f5af7bdab3d94031a05fd90b9c08d',
+    'be-30': '078f06e8804ad300f6f3d8322fee749f27569f576486696667b1fb48be1ca442',
+    'be-66': 'edfaf5acb729e8f66142e5c2e9cf94d37ba76a8b0490bf804aac18e3ff741ee4',
+    'be-67': 'cd4f91274459b5cbc7a93ea9efa45e8d61c54d888c58746c22242ddeb1114510',
+    'be-68': '35b62fcf05ee7ac7848fab22692149d03b9b6cfa37f12dd1ec1df5701f61d86b',
+    'be-69': '0e28426d6c4aacf9a50c7d530cf8721a9a5205f3b44bac2ca406e95dbe911dd4',
+    'be-70': '925f801c32a0b56335da581875f467ed67d70ee65645a543bbc4553e1c6e5542',
+    'be-71': '04e19690d699f5add3744d1da8a46dc2a2d76dccfd7a6c1351ee41d8586cd490',
+    'be-72': '6db73d9a11e6a03e83d59cb3b6f9b673ab9fcc50186ee807f9858f9a12ea7306',
+    'be-73': '4369bbc21a6cbea9133d97e64eac7cece61a6f0609bc69334d0cc967fa2e2780',
+    'be-74': '1c7d74da7f98461e8e073c38335ee1384587c8a0159d8eb3ac0d1cc2fb94b477',
+    'be-75': '1543e13ae8ab04064700f7160ef3f8dd3881fb692b532769f6d91654835cfd23',
+    'be-76': '9bdecacffbd9df418b8aae7bb8ba20319728825f191f29ba6db13e0dd2e02ce3',
+    'be-77': '938ee840a82861f31fab9c53e430f2e2e62ab345e1d8702e806213e64f6dad7f',
+    'be-78': 'cf7cdac14abf80c744f5a1ef70b6c555a66a8b64dfa16c9306055946940540d9',
+    'be-79': '97dcbe76ae4c897bd0262082636bca934848d471a3a601ca8c0f0c40d4e3f291',
+    'be-80': '239d7461b765cc73504b4d7ade98efce43f43003c29632ad3fb269bf1743d7b6',
+    'be-81': '23533daef9e6982568de01e9f866a178c1a6f485d3ef547dd7a251c3fc1f0f09',
+    'be-82': 'c801d244cd81e4bcb53ad661670694d4abb54f430da1a95f8f9b595a017e7dbc',
+    'be-83': '93383e269235261efad9c7dbdf170328c37a6c9a1bb4affb9ac7fc0b318e19a2',
+    'be-84': '5daa227a593246db8885265ebf0c019247b71a62357bcf987fa6c92bfbbd2615',
+    'be-85': 'b27946165baf92909f43f7981be69919a7faab477fdd61e9df8843216f749242',
+    'be-86': '2486f240a66593519597474477669d0dfa38771ae3ec52a7e8cc29d1270953d9',
+    'be-87': '8aaa3a155ea534678202ab84567d25c723ff51d96b27020ef16c134417c954ac',
+    'be-88': 'd4bb4f204fa7fc219e089d8e9fd5fe1ba388ada844d882c3a69e1b69fb39385e',
+    'be-89': '0c5b1dce98bea82e121d78bc202fc994f6528ea3e2e383c390cc102bb1ae5af1',
+    'be-90': '648f49b2447473a3a44c932f2f65678c87392986902bc158b2733665a479df35',
+    'be-91': '782d2e126e271b37093f4bbfe02fc14c5746eb136c38a300244a31259b8e798a',
+    'be-92': '913258c797bd5cc90a83cc86a94d99a7cd8ac2ce8f2a915c4d4702daad4bffb1',
+    'be-93': '6b60f759ce1e79a98e4de49096f507c695ca5f3873f2a0f237e47201f624f6ee',
+    'be-94': 'a1a5af40a0b53e47ec1881bf5c130858723f9323b475627bda00a9fc99755886',
+    'be-95': '350fb518211dc3f9057600e5b46f5f3fe20d25918a6030270b6774dde01d516b',
+    'be-96': '3e20106a0c1716705098e31ced90b08fb41126cab5b04c9f58b04db73d6294f8',
+    'be-97': '07ecd466f0a18cdd7dc69ef226842fc949887ab78ff0c06577d412518d5cc464',
+    'be-98': 'b818dd66cb7c68880aea7538eef416255d176e576650285685fbf52d33590b71',
+    'be-99': '946f859852dc91fde43c065881af518e54feb8b9f8fdaa982589c135e46ca915',
+    'be-100': '4b0cc12b87ce8af042199e24e5e0267b4aca7d91ac1dbf5d6f7ada7d30f57080',
+    'be-101': '826824d71044fe74c433ece6f58ed79550037d7dd91d739bd74e1a43432bafbd',
+    'be-102': 'd558d7f1f0d6619b431e3e47f55da972d4a5d793fc5abdcca246ca7bcecf954b',
+    'be-103': '494cfebdc911620b2ed856e42ed80c62e66f2a59010a13b9fae474323f247b4b',
+    'be-104': '9fe152dea27462d1d96acf68993cc119f0738562fd84743e6841cce21a1c6ffc',
+    'be-105': 'a50cc220138acadd340bf6fac9b276b092a634cb5d51614949b26b98c078ee80',
+    'be-106': '0e927a73dfbd20e122fe121be5ffb4e978188197e3b356dceb90cac58c1c2428',
+    'be-107': '6ef75e7cc6d9a5cb309d236df5546987da1fb5173059028460d1734af3cb8c24',
+    'be-108': 'dc535e38b2a3b1abd4d285175d479986ca574fd32864311a191787ac10671f66',
+    'be-109': '48340a5bb2bc32a86ad3ee3ac64f50513ba74705696c0b2745d698721cebacf7',
+    'be-110': 'd41f59f77f7462208e2bba9ef36a7f9a08debf6f45b1ea7b8da96e15715a474e',
+    'be-111': '85ea9cc4fed9ed3b1d6f904d04478af834e028bc422b1d4ec7add0d5efb806de',
+    'be-112': '5fff6ece7515e306cac131d4e22830f19db050afa613fa747c12353245195b79',
+    'be-113': 'd8c584bfdded5c572af283c080988656548b2ff3823e976eeaad617c3139cef6',
+    'be-114': 'b7cdd43f36d1db2599756a1a192cbf8c89c91b5b591ce9b314f45ad9cb58680f',
+    'be-115': 'd4c2a7412bd95f47589f8f20abfe1d6f26595126208a4d5108fbdbd3022b63aa',
+    'be-116': '532d403048b80ceda5f8b84843d0a92043871a47f4d98a74e5ab7a2c41da370c',
+    'be-117': 'f12c725db622e01d798f1737ef6753f130c93c80d6e2acbe464cda5d86318324',
+    'be-118': '77091b5dfb1363bbaa1260d4be1ebb6f20bd50dcbf240b41ecfd95cbd97dec9a',
+    'be-119': 'd4028c30361e80d25a5db1f77a11509c9ae8ef806c5a590683aa64bcfede505b',
+    'be-120': '7d6d7d7c4f37fce49e9426d303f813ea38da7e096b6ab196e8f24127420e51ff',
+    'be-121': '45d55190ae6d42ed8857328de247aed9a97a33a1bb39cfb2da4db4b32b621913',
+    'be-122': '1adf121312f9e7a0987b26db17e9482170c024c0585440f7a7196354e3905a8f',
+    'be-123': '7cb42177258bcdf12708385b8239d967a0f8495347765e879219d9e2217d9fa0',
+    'be-124': 'edba0bb729e4b7b9168be0690c6608bea5188d124a9dfb8cecc7425cc85ba200',
+    'be-125': 'b0ce83cfd9128cd2204ab6befdf2d06ce965fd45000cf406711800852cc87cc0',
+    'be-126': '79840172085326318a836c9957411128e6377d19e3f4e732390d1453d5f0f29b',
+    'be-127': '7cc94ecf33c265a7275c3510c160a542a7cc3e4da88c5c7069ff473651167a07',
+    'be-128': 'd759c04cdfcb04fbb36b89f4e8a661597b54f9309be28cba09ea1ce985fe2847',
+    'be-129': 'e16a48b1001643421d3feac882c9cc5f483bc56b0136ff0facba5ea119d5a85e',
+    'be-130': '6ca583f50192eddb8917c95dc60d2ba6b65e4f1f7a6eedf5ad0cd7574122e666',
+    'be-131': '88d0d6a164d39b2ec4d0858f0423512cd16bdd3ca2c34a92ffd21bc992fbe67f',
+    'be-132': '1b0ba9e3e52d5dfd228633db052c0c248acbf596f2262f8f05c7440e91bb5f9a',
+    'be-133': '1fb39327e2939a5d958ac8d2a141e1bc92416367c228b01e01873549ec4cf950',
+    'be-134': 'fec42f79496f056f5b54fa609ca8150a8c1aa3c6c46c71f461ca5334d0b75fa4',
+    'be-135': 'fb735429a839c0cf1889d44bf9714d05e01f5f0337fa615b1dc5941823705b2d',
+    'be-136': '01dcfd2e150cc95c79b716fb90d1d5f0090e98a2bbb96a8e0454004a0028dc1f',
+    'be-137': '23bba2ad12564ee2418afb704e29561ac5769a77a1e0d3663082724e91d557eb',
+    'be-138': 'afba03f978acf127b30ab24a9ee510659608a93a015002acec3c478139f6fda6',
+    'be-139': '93e2ff6b141c8c330e39bd499a63a86c6cf181c9e4d21a5b2820d838b80d500d',
+    'be-140': '64ba9268bb9b764bbc59590ca0e64a180b723f35651531193c90c2a87d77d5f4',
+    'be-141': 'ca3efdba41edd67b1e436fc01b67d1acb60545f96947cb1f43a0af51939add1a',
+    'be-142': '67ebceb83e24e4bd7081c8cf35c10a935fbdc1861783ade6856467eb2871efda',
+    'be-143': '5be1cad3b6b66f85439c607181f624d10a69c0837d48eb90f41a5e0bbbffe940',
+    'be-144': '67822836d4b5b37163897ef14eed8fb16e00910a716eccc77e943f9b52d10c09',
+    'be-145': '44ef60d375cd4e47da236e3e8b3d9ad10a07f9f3cc99a868d667a48051aa026a',
+    'be-146': 'f757b6202576fd1b511e2623e808873ea13803be37ed25ff9f6402785a2097f0',
+    'be-147': 'b6257e067abf0d857e2e351c0656ed61298d3a7779af5303a2e8048190d207b0',
+    'be-148': '1d808f35bdb0e549aed9335caa11864ba76f9670bc39c92b9159b53050d8dc26',
+    'be-149': '1ff3305cab300825913c40f67a1d202f0aa70c843848773aa5175199dcc4dc79',
+    'be-150': '172e09d30b3b696e4434e29fa4131fe003d7d3c45f862210bb497edbf1770a1e',
+    'be-151': '60afea385262cb38b3b526ad49211acf6befeaf30c640c8c53e3e81ae5e6aa40',
+    'be-152': '61ea1c8f876feb22d350a335b96ee6d791151888c772a0ec307ab040da68524a',
+    'be-153': '051febadc75bbbb74ee91a9d5c5cfdf31b264561899f2db468cb33011843c285',
+    'be-154': '72600e36ea8180f3784104b49b27bd8ab88d255407a7548125628b606266e122',
+    'be-155': '6ce8c32e186da150335cbeb2d6e7814a6b1de2baa6163ee861ab6ca41bab91ae',
+    'be-156': '636140057723a37683d9e6f812e50bb5c2219a45e3d11e4f3bab07dc92d73ae6',
+    'be-157': '93cfe400cbe94672719bfcdc36979ff41cde862efa80e30701dba0fbe873706c',
+    'be-158': '3f87b41fa8563b4c8ab4c46e14c1412a48ab047ca0c676971c1771796d531b78',
+    'be-159': '296825538cd1e474b22ecc215b51fac79ade6a417d7399c257ba9c28db2152c2',
+    'be-160': 'efcab77d5c41fda7643b7cf3b014e2627ef503ab15ee8373125acdbac96f91f6',
+    'be-161': '49ea75f63a871a4a7a61bc2473fcd452a598c1d8e2808116c515ac67b717bb77',
+    'be-162': '531e8cd60c6fe8ef031ce5363508396f7a47d032f8927b7e00e3c97d422195de',
+    'be-163': 'ff937a83dc122c56372fea34633f1d28acadea87088d31b36e07a39187080abd',
+    'be-164': '08757270a97c7f74edefb897fd1050d6a34f39d333f91f40d672eab80c3170e7',
+    'be-165': '5fd50258133d592be623f2e5d34b24ffb6c3d7fc6c513b6c4c20bd18f8bced32',
+    'be-166': '06cc5cfdf19903d7d6950183a0d36e7fbae2d48258d6b473707d94dc34845944',
+    'be-167': 'e127412cf8a32ba3e9978339ec0558df9ac1a2a452185e551f0c9d1f808fd1e9',
+    'be-168': 'c5247ab57406901cd9ac6f9a959aa1523e9a3572b52077ea469ef5db645f704f',
+    'be-169': '6f4e6c880f33255ed8d2c3d9757ba81e93e3f71b4a5ae8d02cbff0b91e6a244a',
+    'be-170': '26aabd56c4ff46a851b672b5eaaab67c4124e4afb20682418a80192911ee9348',
+};
+//# sourceMappingURL=physjs-reviewed.js.map

package/dist/atlas/physjs-reviewed.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"physjs-reviewed.js","sourceRoot":"","sources":["../../src/atlas/physjs-reviewed.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAsB;IACzD,cAAc;IACd,eAAe;IACf,oBAAoB;IACpB,wBAAwB;IACxB,mBAAmB;IACnB,mBAAmB;IACnB,sBAAsB;IACtB,mBAAmB;IACnB,kBAAkB;IAClB,iBAAiB;CAClB,CAAC;AAEF,oEAAoE;AACpE,MAAM,CAAC,MAAM,oBAAoB,GAAqC;IACpE,mBAAmB,EAAE,kEAAkE;IACvF,sBAAsB,EAAE,kEAAkE;IAC1F,iBAAiB,EAAE,kEAAkE;IACrF,wBAAwB,EAAE,kEAAkE;IAC5F,mBAAmB,EAAE,kEAAkE;IACvF,oBAAoB,EAAE,kEAAkE;IACxF,kBAAkB,EAAE,kEAAkE;IACtF,cAAc,EAAE,kEAAkE;IAClF,eAAe,EAAE,kEAAkE;IACnF,mBAAmB,EAAE,kEAAkE;IACvF,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,OAAO,EAAE,kEAAkE;IAC3E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;IAC5E,QAAQ,EAAE,kEAAkE;CAC7E,CAAC","sourcesContent":["/**\n * The reviewed PhysJS manifest rows, pinned per key.\n *\n * Each value is `physjsRowHash` of the row as the manifest writes it:\n * `[key, theorem, kind, covers, leanProof, axioms, nested statements]`. A key\n * is listed only after its row was read against the bridge it keys (the\n * procedure is WORKFLOWS.md, \"Adding or changing a Lean formalRef\"). A key\n * that is ahead of the catalog has no bridge to read it against and is not\n * listed; `physjsFidelity` returns `'unreviewed'` for it.\n *\n * `tests/atlas/physjs-manifest.test.ts` fails, and prints the line to paste\n * here, when a manifest row that resolves to a bridge is missing or has\n * changed since its review, and when a listed key no longer resolves to a\n * bridge. The sentence that the review was one SHA-256 over every row in\n * that test file is the record from before this table.\n *\n * @module atlas/physjs-reviewed\n */\n\n/**\n * Keys whose statements `tests/atlas/formal-sanity.test.ts` instantiates on\n * known cases. A reviewed row with its key here derives\n * `fidelity: 'sanity-lemmas'`; every other reviewed row derives\n * `'reviewed-manifest'`. That test fails when a key listed here has no\n * lemma in it, and when a lemma there names a key missing here.\n *\n * @internal\n */\nexport const PHYSJS_SANITY_LEMMA_KEYS: readonly string[] = [\n  'ab-spring-lc',\n  'ab-damped-rlc',\n  'ab-pendulum-linear',\n  'ab-telegraph-diffusion',\n  'ab-telegraph-wave',\n  'ab-wave-dalembert',\n  'ab-klein-gordon-wave',\n  'ab-kg-schrodinger',\n  'ab-kg-oscillator',\n  'ab-stiff-string',\n];\n\n/** Manifest key → `physjsRowHash` of its reviewed row. @internal */\nexport const PHYSJS_REVIEWED_ROWS: Readonly<Record<string, string>> = {\n  'ab-kg-schrodinger': '880d54fbf7b289a56370914abf51cb948dbc6d442e6d5090d3437f2b332f3a6d',\n  'ab-klein-gordon-wave': 'a9fe4d3d45bf26c97d5fb6b1ebe4f4556ea8cb3bf719430dec174f5215765796',\n  'ab-stiff-string': '49655051dea87dbf5f2b00fe1c372d3b949e7464a60793a648f80481329f6973',\n  'ab-telegraph-diffusion': 'c5b283968be33b6220fbfa595062fa00ee65e45b9d60c02db149a7b7a8aad842',\n  'ab-telegraph-wave': 'c244fb53c90f90f334bbc9f79b9485b228425edc4555052bf5696d00f35f8012',\n  'ab-pendulum-linear': '474d8d86dcf67f85ca41329ee2e90608d6a5db5b29b300cb9d2842636e3cbab2',\n  'ab-kg-oscillator': '737a1ffa7f4852bc6b3d287e13873228e2be0477194b110f5ab291f5d87d5f01',\n  'ab-spring-lc': '42b928779b9f5a8d671b03340ba2a247efa5491064c22305cd61fefcf81910dc',\n  'ab-damped-rlc': '95ab3fc816fdbde805d1a636f28e85f6898f1fae462db421647e0f0cfe3b0196',\n  'ab-wave-dalembert': 'c7b428505dd6cd433c11fff98417a24dc16d111434c3e52232588034d9a69ce5',\n  'be-64': '60b4b75c6006459bb5b61095aa31c6c6cbb7c63b64fc1b8b9997d130aea640dc',\n  'be-53': '654f6b62207c0d7950d738f816b337f5a5c8769ca3e18ba797422ecb537902aa',\n  'be-58': '52b94908af901152a823867115ccdfc05ffb4fc0baeaf73b3ee918038d8c8714',\n  'be-38': '34b14f7be5e62b4bff9ddf0787f3e1f28514dfaf5bc4ebf7a9f16b7dfcf118d1',\n  'be-13': 'f8bacaa12b908ac5c373447dde35518f68fe637ee5e5e207068643acf5b1f65e',\n  'be-34': 'e07dfe069c42b9b2f8685d8a66224bb680f958e6199f2f80bf72b8090e73a881',\n  'be-42': '727b1db4f83b51333a3be625f32a5fb0b0bc37c8dfd142b0fe8a26d0b762d9fa',\n  'be-24': '3fee6732650911fd2db0c8f5a42d0e048ca3ce016fd360014cdc43075b6d6c68',\n  'be-19': '32219ddbe9344c174b1bca94a9618c193a818b122da8bfc35657c57dccde0722',\n  'be-16': '0ec6dae9fe98830ddc9ad8e3ecbcbeded8c99d5dce39a957c48646a28b3c3aff',\n  'be-29': '76095041a745706d6059271a0b148ead8307fdec249a00d4ba592713bb0bdefa',\n  'be-11': 'a427754825b4fd77535b2c8c3b048a37cb1c57fffdeb61d4b81a3eac0ef2bc9f',\n  'be-65': 'af573c86041340633b1d4f16c700a33d0b7860925792b005906087e821aeecb7',\n  'be-51': '8c2059e2227b1962b26661dd659f6240fe42e3f3b5d6f416035771452c6b6a7a',\n  'be-61': 'c007972dc9cddf09aeec67f7e10e0f5a6782bc973c65afe8d7745afaa94269e8',\n  'be-12': '582d9c9feebf35c1bb44ce11bee3424246ebcc26baf3c9a5d070ebad2557ccf9',\n  'be-59': '2e66e9191f50acbbdca0f431266eee9e53ecb0d099cf459035583d1fe921389d',\n  'be-55': '9d7b80fcef3d95a0be30d9a7ede0ba7cd021d6e14fa4e7981b743ee145b0b8c8',\n  'be-60': '0b5ff87f7ef793bac6a5d740b462af5768dd2829944789ad35834c5eceb31b44',\n  'be-21': '5a2e6e27b0a000b4b7ae577819ac34a82b7c620f6c8bd1413603ede6360d525d',\n  'be-14': '70469372cb9b0adeccefd18a796061da62b20412dfbaf736ab9765a5169e4799',\n  'be-43': 'a9db7a0f1a53c449525b2f163f371a7f6f51cb03af6cc4c3186b39ba9fb709cb',\n  'be-37': '9bc5bf0d2379c2df54cac3a573e1e88daee6d65627531e6d7db4884b4fc388a9',\n  'be-54': 'eb61f6273649c17051a4a2b0549a30bc5f9a1060b9d46e85cdb9030ac4eb294b',\n  'be-17': '1dc24def887706b972db40ffce56e76bac8d8fc964aef4fec8d60ff75fce410c',\n  'be-27': '106aa08a3cb532aa0cdee42d02b283a8e273561f095c8b1d28e62cc5b1337181',\n  'be-22': '9717a67d45d9cfe91271d18fc18386a33647416908890da1e3159d135d2554e7',\n  'be-15': '4058289145099f1e9fde380dc7bae06fce78722588b74242b83bf6f5581fb889',\n  'be-33': 'c238dc6d809de1905aad7ba2cf8704979724f4dffa129955feb7e18b12996a87',\n  'be-50': 'c898e6857ebb476053f4c4672ff12ac22bbfbef7a2e3f664cf231c3bb2f157d2',\n  'be-32': '3d5fcd0038bfff924ec8135d41dc1b8d72c1808a7d92ac276ccbae31973be28a',\n  'be-28': '8714c5e37191300c167483f050f1e8556599ec51808b51eb5ce5fe32345fb606',\n  'be-40': 'c38df7f5f961031d1d07aacd617949af6b206b586daac19d9adf5f13f73af74a',\n  'be-35': '218e1345d32807e2b4270e3509a755443b07bd25362038a9580c4596850ae472',\n  'be-63': '6cd701cf2b99eef6cfc9790288323e6daa3f5af7bdab3d94031a05fd90b9c08d',\n  'be-30': '078f06e8804ad300f6f3d8322fee749f27569f576486696667b1fb48be1ca442',\n  'be-66': 'edfaf5acb729e8f66142e5c2e9cf94d37ba76a8b0490bf804aac18e3ff741ee4',\n  'be-67': 'cd4f91274459b5cbc7a93ea9efa45e8d61c54d888c58746c22242ddeb1114510',\n  'be-68': '35b62fcf05ee7ac7848fab22692149d03b9b6cfa37f12dd1ec1df5701f61d86b',\n  'be-69': '0e28426d6c4aacf9a50c7d530cf8721a9a5205f3b44bac2ca406e95dbe911dd4',\n  'be-70': '925f801c32a0b56335da581875f467ed67d70ee65645a543bbc4553e1c6e5542',\n  'be-71': '04e19690d699f5add3744d1da8a46dc2a2d76dccfd7a6c1351ee41d8586cd490',\n  'be-72': '6db73d9a11e6a03e83d59cb3b6f9b673ab9fcc50186ee807f9858f9a12ea7306',\n  'be-73': '4369bbc21a6cbea9133d97e64eac7cece61a6f0609bc69334d0cc967fa2e2780',\n  'be-74': '1c7d74da7f98461e8e073c38335ee1384587c8a0159d8eb3ac0d1cc2fb94b477',\n  'be-75': '1543e13ae8ab04064700f7160ef3f8dd3881fb692b532769f6d91654835cfd23',\n  'be-76': '9bdecacffbd9df418b8aae7bb8ba20319728825f191f29ba6db13e0dd2e02ce3',\n  'be-77': '938ee840a82861f31fab9c53e430f2e2e62ab345e1d8702e806213e64f6dad7f',\n  'be-78': 'cf7cdac14abf80c744f5a1ef70b6c555a66a8b64dfa16c9306055946940540d9',\n  'be-79': '97dcbe76ae4c897bd0262082636bca934848d471a3a601ca8c0f0c40d4e3f291',\n  'be-80': '239d7461b765cc73504b4d7ade98efce43f43003c29632ad3fb269bf1743d7b6',\n  'be-81': '23533daef9e6982568de01e9f866a178c1a6f485d3ef547dd7a251c3fc1f0f09',\n  'be-82': 'c801d244cd81e4bcb53ad661670694d4abb54f430da1a95f8f9b595a017e7dbc',\n  'be-83': '93383e269235261efad9c7dbdf170328c37a6c9a1bb4affb9ac7fc0b318e19a2',\n  'be-84': '5daa227a593246db8885265ebf0c019247b71a62357bcf987fa6c92bfbbd2615',\n  'be-85': 'b27946165baf92909f43f7981be69919a7faab477fdd61e9df8843216f749242',\n  'be-86': '2486f240a66593519597474477669d0dfa38771ae3ec52a7e8cc29d1270953d9',\n  'be-87': '8aaa3a155ea534678202ab84567d25c723ff51d96b27020ef16c134417c954ac',\n  'be-88': 'd4bb4f204fa7fc219e089d8e9fd5fe1ba388ada844d882c3a69e1b69fb39385e',\n  'be-89': '0c5b1dce98bea82e121d78bc202fc994f6528ea3e2e383c390cc102bb1ae5af1',\n  'be-90': '648f49b2447473a3a44c932f2f65678c87392986902bc158b2733665a479df35',\n  'be-91': '782d2e126e271b37093f4bbfe02fc14c5746eb136c38a300244a31259b8e798a',\n  'be-92': '913258c797bd5cc90a83cc86a94d99a7cd8ac2ce8f2a915c4d4702daad4bffb1',\n  'be-93': '6b60f759ce1e79a98e4de49096f507c695ca5f3873f2a0f237e47201f624f6ee',\n  'be-94': 'a1a5af40a0b53e47ec1881bf5c130858723f9323b475627bda00a9fc99755886',\n  'be-95': '350fb518211dc3f9057600e5b46f5f3fe20d25918a6030270b6774dde01d516b',\n  'be-96': '3e20106a0c1716705098e31ced90b08fb41126cab5b04c9f58b04db73d6294f8',\n  'be-97': '07ecd466f0a18cdd7dc69ef226842fc949887ab78ff0c06577d412518d5cc464',\n  'be-98': 'b818dd66cb7c68880aea7538eef416255d176e576650285685fbf52d33590b71',\n  'be-99': '946f859852dc91fde43c065881af518e54feb8b9f8fdaa982589c135e46ca915',\n  'be-100': '4b0cc12b87ce8af042199e24e5e0267b4aca7d91ac1dbf5d6f7ada7d30f57080',\n  'be-101': '826824d71044fe74c433ece6f58ed79550037d7dd91d739bd74e1a43432bafbd',\n  'be-102': 'd558d7f1f0d6619b431e3e47f55da972d4a5d793fc5abdcca246ca7bcecf954b',\n  'be-103': '494cfebdc911620b2ed856e42ed80c62e66f2a59010a13b9fae474323f247b4b',\n  'be-104': '9fe152dea27462d1d96acf68993cc119f0738562fd84743e6841cce21a1c6ffc',\n  'be-105': 'a50cc220138acadd340bf6fac9b276b092a634cb5d51614949b26b98c078ee80',\n  'be-106': '0e927a73dfbd20e122fe121be5ffb4e978188197e3b356dceb90cac58c1c2428',\n  'be-107': '6ef75e7cc6d9a5cb309d236df5546987da1fb5173059028460d1734af3cb8c24',\n  'be-108': 'dc535e38b2a3b1abd4d285175d479986ca574fd32864311a191787ac10671f66',\n  'be-109': '48340a5bb2bc32a86ad3ee3ac64f50513ba74705696c0b2745d698721cebacf7',\n  'be-110': 'd41f59f77f7462208e2bba9ef36a7f9a08debf6f45b1ea7b8da96e15715a474e',\n  'be-111': '85ea9cc4fed9ed3b1d6f904d04478af834e028bc422b1d4ec7add0d5efb806de',\n  'be-112': '5fff6ece7515e306cac131d4e22830f19db050afa613fa747c12353245195b79',\n  'be-113': 'd8c584bfdded5c572af283c080988656548b2ff3823e976eeaad617c3139cef6',\n  'be-114': 'b7cdd43f36d1db2599756a1a192cbf8c89c91b5b591ce9b314f45ad9cb58680f',\n  'be-115': 'd4c2a7412bd95f47589f8f20abfe1d6f26595126208a4d5108fbdbd3022b63aa',\n  'be-116': '532d403048b80ceda5f8b84843d0a92043871a47f4d98a74e5ab7a2c41da370c',\n  'be-117': 'f12c725db622e01d798f1737ef6753f130c93c80d6e2acbe464cda5d86318324',\n  'be-118': '77091b5dfb1363bbaa1260d4be1ebb6f20bd50dcbf240b41ecfd95cbd97dec9a',\n  'be-119': 'd4028c30361e80d25a5db1f77a11509c9ae8ef806c5a590683aa64bcfede505b',\n  'be-120': '7d6d7d7c4f37fce49e9426d303f813ea38da7e096b6ab196e8f24127420e51ff',\n  'be-121': '45d55190ae6d42ed8857328de247aed9a97a33a1bb39cfb2da4db4b32b621913',\n  'be-122': '1adf121312f9e7a0987b26db17e9482170c024c0585440f7a7196354e3905a8f',\n  'be-123': '7cb42177258bcdf12708385b8239d967a0f8495347765e879219d9e2217d9fa0',\n  'be-124': 'edba0bb729e4b7b9168be0690c6608bea5188d124a9dfb8cecc7425cc85ba200',\n  'be-125': 'b0ce83cfd9128cd2204ab6befdf2d06ce965fd45000cf406711800852cc87cc0',\n  'be-126': '79840172085326318a836c9957411128e6377d19e3f4e732390d1453d5f0f29b',\n  'be-127': '7cc94ecf33c265a7275c3510c160a542a7cc3e4da88c5c7069ff473651167a07',\n  'be-128': 'd759c04cdfcb04fbb36b89f4e8a661597b54f9309be28cba09ea1ce985fe2847',\n  'be-129': 'e16a48b1001643421d3feac882c9cc5f483bc56b0136ff0facba5ea119d5a85e',\n  'be-130': '6ca583f50192eddb8917c95dc60d2ba6b65e4f1f7a6eedf5ad0cd7574122e666',\n  'be-131': '88d0d6a164d39b2ec4d0858f0423512cd16bdd3ca2c34a92ffd21bc992fbe67f',\n  'be-132': '1b0ba9e3e52d5dfd228633db052c0c248acbf596f2262f8f05c7440e91bb5f9a',\n  'be-133': '1fb39327e2939a5d958ac8d2a141e1bc92416367c228b01e01873549ec4cf950',\n  'be-134': 'fec42f79496f056f5b54fa609ca8150a8c1aa3c6c46c71f461ca5334d0b75fa4',\n  'be-135': 'fb735429a839c0cf1889d44bf9714d05e01f5f0337fa615b1dc5941823705b2d',\n  'be-136': '01dcfd2e150cc95c79b716fb90d1d5f0090e98a2bbb96a8e0454004a0028dc1f',\n  'be-137': '23bba2ad12564ee2418afb704e29561ac5769a77a1e0d3663082724e91d557eb',\n  'be-138': 'afba03f978acf127b30ab24a9ee510659608a93a015002acec3c478139f6fda6',\n  'be-139': '93e2ff6b141c8c330e39bd499a63a86c6cf181c9e4d21a5b2820d838b80d500d',\n  'be-140': '64ba9268bb9b764bbc59590ca0e64a180b723f35651531193c90c2a87d77d5f4',\n  'be-141': 'ca3efdba41edd67b1e436fc01b67d1acb60545f96947cb1f43a0af51939add1a',\n  'be-142': '67ebceb83e24e4bd7081c8cf35c10a935fbdc1861783ade6856467eb2871efda',\n  'be-143': '5be1cad3b6b66f85439c607181f624d10a69c0837d48eb90f41a5e0bbbffe940',\n  'be-144': '67822836d4b5b37163897ef14eed8fb16e00910a716eccc77e943f9b52d10c09',\n  'be-145': '44ef60d375cd4e47da236e3e8b3d9ad10a07f9f3cc99a868d667a48051aa026a',\n  'be-146': 'f757b6202576fd1b511e2623e808873ea13803be37ed25ff9f6402785a2097f0',\n  'be-147': 'b6257e067abf0d857e2e351c0656ed61298d3a7779af5303a2e8048190d207b0',\n  'be-148': '1d808f35bdb0e549aed9335caa11864ba76f9670bc39c92b9159b53050d8dc26',\n  'be-149': '1ff3305cab300825913c40f67a1d202f0aa70c843848773aa5175199dcc4dc79',\n  'be-150': '172e09d30b3b696e4434e29fa4131fe003d7d3c45f862210bb497edbf1770a1e',\n  'be-151': '60afea385262cb38b3b526ad49211acf6befeaf30c640c8c53e3e81ae5e6aa40',\n  'be-152': '61ea1c8f876feb22d350a335b96ee6d791151888c772a0ec307ab040da68524a',\n  'be-153': '051febadc75bbbb74ee91a9d5c5cfdf31b264561899f2db468cb33011843c285',\n  'be-154': '72600e36ea8180f3784104b49b27bd8ab88d255407a7548125628b606266e122',\n  'be-155': '6ce8c32e186da150335cbeb2d6e7814a6b1de2baa6163ee861ab6ca41bab91ae',\n  'be-156': '636140057723a37683d9e6f812e50bb5c2219a45e3d11e4f3bab07dc92d73ae6',\n  'be-157': '93cfe400cbe94672719bfcdc36979ff41cde862efa80e30701dba0fbe873706c',\n  'be-158': '3f87b41fa8563b4c8ab4c46e14c1412a48ab047ca0c676971c1771796d531b78',\n  'be-159': '296825538cd1e474b22ecc215b51fac79ade6a417d7399c257ba9c28db2152c2',\n  'be-160': 'efcab77d5c41fda7643b7cf3b014e2627ef503ab15ee8373125acdbac96f91f6',\n  'be-161': '49ea75f63a871a4a7a61bc2473fcd452a598c1d8e2808116c515ac67b717bb77',\n  'be-162': '531e8cd60c6fe8ef031ce5363508396f7a47d032f8927b7e00e3c97d422195de',\n  'be-163': 'ff937a83dc122c56372fea34633f1d28acadea87088d31b36e07a39187080abd',\n  'be-164': '08757270a97c7f74edefb897fd1050d6a34f39d333f91f40d672eab80c3170e7',\n  'be-165': '5fd50258133d592be623f2e5d34b24ffb6c3d7fc6c513b6c4c20bd18f8bced32',\n  'be-166': '06cc5cfdf19903d7d6950183a0d36e7fbae2d48258d6b473707d94dc34845944',\n  'be-167': 'e127412cf8a32ba3e9978339ec0558df9ac1a2a452185e551f0c9d1f808fd1e9',\n  'be-168': 'c5247ab57406901cd9ac6f9a959aa1523e9a3572b52077ea469ef5db645f704f',\n  'be-169': '6f4e6c880f33255ed8d2c3d9757ba81e93e3f71b4a5ae8d02cbff0b91e6a244a',\n  'be-170': '26aabd56c4ff46a851b672b5eaaab67c4124e4afb20682418a80192911ee9348',\n};\n"]}

package/dist/atlas/poster/associations.js.map

@@ -1 +1 @@
-{"version":3,"file":"associations.js","sourceRoot":"","sources":["../../../src/atlas/poster/associations.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAKH;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,GAAG,CAAC;AAEtC;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAA2B;IACzD;QACE,EAAE,EAAE,mBAAmB;QACvB,IAAI,EAAE,sBAAsB;QAC5B,OAAO,EAAE,CAAC,UAAU,EAAE,WAAW,CAAC;QAClC,IAAI,EACF,oFAAoF;YACpF,uFAAuF;YACvF,sCAAsC;QACxC,QAAQ,EAAE,4EAA4E;KACvF;IACD;QACE,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,kBAAkB;QACxB,OAAO,EAAE,CAAC,UAAU,EAAE,kBAAkB,CAAC;QACzC,IAAI,EACF,qFAAqF;YACrF,uEAAuE;QACzE,QAAQ,EAAE,4EAA4E;KACvF;IACD;QACE,EAAE,EAAE,uBAAuB;QAC3B,IAAI,EAAE,kBAAkB;QACxB,OAAO,EAAE,CAAC,WAAW,EAAE,kBAAkB,CAAC;QAC1C,IAAI,EACF,qFAAqF;YACrF,uEAAuE;QACzE,QAAQ,EAAE,4EAA4E;KACvF;CACF,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,sBAAsB,GACjC,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,kBAAkB,CAAC,CAAC,GAAG,CACxE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAU,CAC7C,CAAC"}
+{"version":3,"file":"associations.js","sourceRoot":"","sources":["../../../src/atlas/poster/associations.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAKH;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,GAAG,CAAC;AAEtC;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAA2B;IACzD;QACE,EAAE,EAAE,mBAAmB;QACvB,IAAI,EAAE,sBAAsB;QAC5B,OAAO,EAAE,CAAC,UAAU,EAAE,WAAW,CAAC;QAClC,IAAI,EACF,oFAAoF;YACpF,uFAAuF;YACvF,sCAAsC;QACxC,QAAQ,EAAE,4EAA4E;KACvF;IACD;QACE,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,kBAAkB;QACxB,OAAO,EAAE,CAAC,UAAU,EAAE,kBAAkB,CAAC;QACzC,IAAI,EACF,qFAAqF;YACrF,uEAAuE;QACzE,QAAQ,EAAE,4EAA4E;KACvF;IACD;QACE,EAAE,EAAE,uBAAuB;QAC3B,IAAI,EAAE,kBAAkB;QACxB,OAAO,EAAE,CAAC,WAAW,EAAE,kBAAkB,CAAC;QAC1C,IAAI,EACF,qFAAqF;YACrF,uEAAuE;QACzE,QAAQ,EAAE,4EAA4E;KACvF;CACF,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,sBAAsB,GACjC,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,kBAAkB,CAAC,CAAC,GAAG,CACxE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAU,CAC7C,CAAC","sourcesContent":["/**\n * Atlas Phase 3 — the poster's two association-only lines.\n *\n * An `Association` (`../association.ts`) records that two things SHARE\n * something and asserts **no relation**, **no composite claim**, and **no\n * graph edge**. `ROADMAP.md` Phase 3 puts exactly two of its fifteen lines in\n * that category, and both are here:\n *\n * - **`7 ↔ 16` — the historical link ONLY.** `kind: 'historical-influence'`,\n *   which is the value that says \"influence, not derivation\". The derivation\n *   route to 16 exists and is recorded as a hyperedge from the FULL Maxwell\n *   system in `./derivations.ts`; this record exists so the resemblance\n *   between one Maxwell equation and special relativity stops being\n *   re-surfaced as if it were that route.\n * - **`3, 14 → *` — association only.** The line states no target, so the\n *   target is recorded as {@link UNSPECIFIED_TARGET} rather than guessed. Two\n *   records, one per entry: the line says each of 3 and 14 is association-only,\n *   NOT that 3 and 14 are associated with each other — pairing them would be a\n *   claim no source makes.\n *\n * `kind` is assigned the way `../association.ts` insists: mechanically, from\n * what the line says, never as a fresh per-pair physics judgement.\n * `ASSOCIATIONS` in that module is seeded from the `'decoy'` adjudications and\n * is pinned by test against the live ledger, so these records live here rather\n * than being appended to it.\n *\n * @module atlas/poster/associations\n */\n\nimport type { Association } from '../association.js';\nimport type { StatementId } from '../statement.js';\n\n/**\n * The second member of a `3, 14 → *` association: the line's `*`, which names\n * no target.\n *\n * A sentinel rather than a real id, because inventing a target would invent\n * the association. Any consumer that draws these edges must treat it as \"no\n * target recorded\" and not resolve it.\n *\n * @internal\n */\nexport const UNSPECIFIED_TARGET = '*';\n\n/**\n * The poster's association records.\n *\n * `citation` is `ROADMAP.md` with its Phase 3 section, because that is the\n * source these came from — `../association.ts` requires the note's origin, and\n * the adjudication ledger is not it.\n *\n * @internal\n */\nexport const POSTER_ASSOCIATIONS: readonly Association[] = [\n  {\n    id: 'a-7-16-historical',\n    kind: 'historical-influence',\n    between: ['poster-7', 'poster-16'],\n    note:\n      'Historical link only. Entry 7 influenced special relativity historically; it does ' +\n      'NOT derive it. The derivation route is the hyperedge {full Maxwell system, spacetime ' +\n      'structure} → 16, never from 7 alone.',\n    citation: 'ROADMAP.md § Phase 3 — Hyperedges, models, and the poster as a typed index',\n  },\n  {\n    id: 'a-3-association-only',\n    kind: 'shared-structure',\n    between: ['poster-3', UNSPECIFIED_TARGET],\n    note:\n      'Association only. ROADMAP.md Phase 3 states \"3, 14 → * association only\" and names ' +\n      'no target; the target is recorded as unspecified rather than guessed.',\n    citation: 'ROADMAP.md § Phase 3 — Hyperedges, models, and the poster as a typed index',\n  },\n  {\n    id: 'a-14-association-only',\n    kind: 'shared-structure',\n    between: ['poster-14', UNSPECIFIED_TARGET],\n    note:\n      'Association only. ROADMAP.md Phase 3 states \"3, 14 → * association only\" and names ' +\n      'no target; the target is recorded as unspecified rather than guessed.',\n    citation: 'ROADMAP.md § Phase 3 — Hyperedges, models, and the poster as a typed index',\n  },\n];\n\n/**\n * Statement pairs that may NEVER appear as a derivation, in either direction.\n *\n * Derived from the records above rather than restated, so the guard and the\n * data cannot drift apart: adding an association adds the prohibition.\n * Pairs whose second member is {@link UNSPECIFIED_TARGET} are excluded —\n * there is no second statement to forbid an edge to, and a sentinel in a\n * pair-matcher would silently match nothing while looking like a guard.\n *\n * Consumed by `validatePosterRelations` in `./derivations.ts`.\n *\n * @internal\n */\nexport const ASSOCIATION_ONLY_PAIRS: readonly (readonly [StatementId, StatementId])[] =\n  POSTER_ASSOCIATIONS.filter((a) => a.between[1] !== UNSPECIFIED_TARGET).map(\n    (a) => [a.between[0], a.between[1]] as const,\n  );\n"]}

package/dist/atlas/poster/derivations.js.map

@@ -1 +1 @@
-{"version":3,"file":"derivations.js","sourceRoot":"","sources":["../../../src/atlas/poster/derivations.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8CG;AAEH,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAIlD,OAAO,EAAE,mBAAmB,EAAE,sBAAsB,EAAE,MAAM,mBAAmB,CAAC;AAChF,OAAO,EAAE,eAAe,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AA0C5D,MAAM,CAAC,GAAG,CACR,EAAgB,EAChB,QAAgC,EAChC,QAAgC,EAChC,UAAuB,EACvB,cAAiC,EACrB,EAAE,CACd,cAAc,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,cAAc,EAAE,EAAE,eAAe,CAAC,CAAC;AAE1F;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAA0B;IACvD,8DAA8D;IAC9D,CAAC,CAAC,WAAW,EAAE,aAAa,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE;QACzD,+BAA+B;QAC/B,sFAAsF;KACvF,CAAC;IAEF,2EAA2E;IAC3E,6EAA6E;IAC7E,uEAAuE;IACvE,CAAC,CAAC,kBAAkB,EAAE,YAAY,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,iCAAiC,EAAE;QACrF,0BAA0B;QAC1B,uEAAuE;QACvE,0CAA0C;KAC3C,CAAC;IACF,CAAC,CACC,8BAA8B,EAC9B,YAAY,EACZ,CAAC,4BAA4B,EAAE,mBAAmB,CAAC,EACnD,wCAAwC,EACxC;QACE,iDAAiD;QACjD,4BAA4B;QAC5B,uEAAuE;KACxE,CACF;IAED,yEAAyE;IACzE,iEAAiE;IACjE,CAAC,CACC,yBAAyB,EACzB,mBAAmB,EACnB,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,mBAAmB,CAAC,EAClC,+BAA+B,EAC/B;QACE,gDAAgD;QAChD,kCAAkC;QAClC,+CAA+C;KAChD,CACF;IAED,wEAAwE;IACxE,qEAAqE;IACrE,2EAA2E;IAC3E,2EAA2E;IAC3E,uEAAuE;IACvE,uDAAuD;IACvD,CAAC,CAAC,WAAW,EAAE,eAAe,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,EAAE;QAC3D,YAAY;QACZ,aAAa;QACb,iBAAiB;QACjB,cAAc;QACd,oCAAoC;KACrC,CAAC;IAEF,oEAAoE;IACpE,0EAA0E;IAC1E,CAAC,CAAC,WAAW,EAAE,eAAe,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE;QAC3D,kBAAkB;QAClB,eAAe;QACf,oCAAoC;KACrC,CAAC;IACF,CAAC,CAAC,YAAY,EAAE,eAAe,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,EAAE;QAC7D,kBAAkB;QAClB,eAAe;QACf,oCAAoC;KACrC,CAAC;IAEF,4EAA4E;IAC5E,yEAAyE;IACzE,8DAA8D;IAC9D,CAAC,CACC,2BAA2B,EAC3B,YAAY,EACZ,CAAC,0BAA0B,EAAE,yBAAyB,CAAC,EACvD,QAAQ,CAAC,EAAE,CAAC,EACZ;QACE,8CAA8C;QAC9C,gEAAgE;YAC9D,kEAAkE;KACrE,CACF;IAED,yEAAyE;IACzE,oEAAoE;IACpE,CAAC,CAAC,yBAAyB,EAAE,YAAY,EAAE,CAAC,4BAA4B,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE;QACtF,6BAA6B;QAC7B,sCAAsC;QACtC,kDAAkD;KACnD,CAAC;IAEF,2EAA2E;IAC3E,0EAA0E;IAC1E,oEAAoE;IACpE,CAAC,CAAC,WAAW,EAAE,YAAY,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,EAAE;QACxD,6DAA6D;QAC7D,mEAAmE;KACpE,CAAC;IAEF,gEAAgE;IAChE,2EAA2E;IAC3E,eAAe;IACf,CAAC,CAAC,gBAAgB,EAAE,YAAY,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE;QACjD,sCAAsC;QACtC,+BAA+B;QAC/B,+EAA+E;QAC/E,kFAAkF;YAChF,gDAAgD;KACnD,CAAC;IAEF,qEAAqE;IACrE,sEAAsE;IACtE,iEAAiE;IACjE,CAAC,CAAC,mBAAmB,EAAE,mBAAmB,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE;QACvE,wEAAwE;QACxE,4EAA4E;YAC1E,kDAAkD;QACpD,OAAO;KACR,CAAC;IAEF,gEAAgE;IAChE,iEAAiE;IACjE,uBAAuB;IACvB,CAAC,CAAC,aAAa,EAAE,uBAAuB,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,EAAE;QACrE,gBAAgB;QAChB,iBAAiB;QACjB,wCAAwC;KACzC,CAAC;IAEF,0EAA0E;IAC1E,oBAAoB;IACpB,CAAC,CACC,sBAAsB,EACtB,YAAY,EACZ,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,iCAAiC,CAAC,EAChD,QAAQ,CAAC,EAAE,CAAC,EACZ;QACE,kEAAkE;QAClE,2DAA2D;QAC3D,OAAO;KACR,CACF;IACD,CAAC,CAAC,wBAAwB,EAAE,YAAY,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,EAAE;QACrE,sDAAsD;QACtD,gFAAgF;YAC9E,yBAAyB;QAC3B,OAAO;KACR,CAAC;IAEF,yEAAyE;IACzE,iCAAiC;IACjC,CAAC,CAAC,UAAU,EAAE,YAAY,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE;QACtD,4BAA4B;QAC5B,oBAAoB;QACpB,8BAA8B;KAC/B,CAAC;IAEF,oEAAoE;IACpE,2EAA2E;IAC3E,uEAAuE;IACvE,kCAAkC;IAClC,CAAC,CAAC,2BAA2B,EAAE,YAAY,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,EAAE;QACxE,0EAA0E;QAC1E,wCAAwC;KACzC,CAAC;IACF,CAAC,CAAC,4BAA4B,EAAE,eAAe,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,EAAE;QAC5E,yEAAyE;QACzE,wCAAwC;KACzC,CAAC;CACH,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAgC;IAC7D;QACE,EAAE,EAAE,oBAAoB;QACxB,QAAQ,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC;QACrC,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC;QACvB,IAAI,EACF,4EAA4E;YAC5E,kDAAkD;QACpD,gBAAgB,EAAE,yBAAyB;KAC5C;CACF,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAuD;IAClF,mBAAmB,EAAE;QACnB,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,qCAAqC,EAAE;KAC3E;IACD,aAAa,EAAE;QACb;YACE,EAAE,EAAE,IAAI;YACR,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,qCAAqC;YAC3C,SAAS,EAAE,4CAA4C;SACxD;KACF;CACF,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,YAAY,GAA0B;IACjD;QACE,EAAE,EAAE,IAAI;QACR,IAAI,EAAE,qDAAqD;QAC3D,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,OAAO,EAAE,CAAC,WAAW,CAAC;KACvB;IACD;QACE,EAAE,EAAE,IAAI;QACR,IAAI,EACF,4EAA4E;YAC5E,yDAAyD;QAC3D,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,OAAO,EAAE,CAAC,kBAAkB,EAAE,8BAA8B,CAAC;KAC9D;IACD;QACE,EAAE,EAAE,IAAI;QACR,IAAI,EAAE,2DAA2D;QACjE,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,OAAO,EAAE,CAAC,yBAAyB,CAAC;KACrC;IACD;QACE,EAAE,EAAE,IAAI;QACR,IAAI,EACF,gFAAgF;YAChF,oCAAoC;QACtC,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,OAAO,EAAE,CAAC,WAAW,CAAC;KACvB;IACD;QACE,EAAE,EAAE,IAAI;QACR,IAAI,EAAE,gFAAgF;QACtF,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,OAAO,EAAE,CAAC,WAAW,EAAE,YAAY,CAAC;KACrC;IACD;QACE,EAAE,EAAE,IAAI;QACR,IAAI,EACF,gFAAgF;YAChF,+EAA+E;QACjF,UAAU,EAAE,CAAC,aAAa,EAAE,YAAY,CAAC;QACzC,OAAO,EAAE,CAAC,mBAAmB,EAAE,2BAA2B,CAAC;KAC5D;IACD;QACE,EAAE,EAAE,IAAI;QACR,IAAI,EAAE,iFAAiF;QACvF,UAAU,EAAE,CAAC,YAAY,EAAE,YAAY,CAAC;QACxC,OAAO,EAAE,CAAC,oBAAoB,EAAE,yBAAyB,CAAC;KAC3D;IACD;QACE,EAAE,EAAE,IAAI;QACR,IAAI,EAAE,gFAAgF;QACtF,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,OAAO,EAAE,CAAC,WAAW,CAAC;KACvB;IACD;QACE,EAAE,EAAE,IAAI;QACR,IAAI,EAAE,iFAAiF;QACvF,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,OAAO,EAAE,CAAC,gBAAgB,CAAC;KAC5B;IACD;QACE,EAAE,EAAE,KAAK;QACT,IAAI,EAAE,2EAA2E;QACjF,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,OAAO,EAAE,CAAC,mBAAmB,CAAC;KAC/B;IACD;QACE,EAAE,EAAE,KAAK;QACT,IAAI,EACF,wFAAwF;YACxF,iCAAiC;QACnC,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,OAAO,EAAE,CAAC,aAAa,CAAC;KACzB;IACD;QACE,EAAE,EAAE,KAAK;QACT,IAAI,EAAE,kFAAkF;QACxF,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,OAAO,EAAE,CAAC,sBAAsB,EAAE,wBAAwB,CAAC;KAC5D;IACD;QACE,EAAE,EAAE,KAAK;QACT,IAAI,EAAE,+EAA+E;QACrF,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,OAAO,EAAE,CAAC,UAAU,CAAC;KACtB;IACD;QACE,EAAE,EAAE,KAAK;QACT,IAAI,EACF,gFAAgF;YAChF,wCAAwC;QAC1C,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,OAAO,EAAE,CAAC,2BAA2B,EAAE,4BAA4B,CAAC;KACrE;IACD;QACE,EAAE,EAAE,KAAK;QACT,IAAI,EAAE,4BAA4B;QAClC,UAAU,EAAE,CAAC,aAAa,CAAC;QAC3B,OAAO,EAAE,CAAC,sBAAsB,EAAE,uBAAuB,CAAC;KAC3D;CACF,CAAC;AAcF,uCAAuC;AACvC,SAAS,YAAY,CAAC,SAAwB,EAAE,EAAU;IACxD,IAAI,SAAS,KAAK,YAAY;QAAE,OAAO,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;IACnF,IAAI,SAAS,KAAK,YAAY;QAAE,OAAO,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;IACnF,OAAO,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;AACtD,CAAC;AAED,iFAAiF;AACjF,MAAM,wBAAwB,GAAiB,gBAAgB,CAAC;AAEhE;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,MAAM,UAAU,uBAAuB;IACrC,MAAM,QAAQ,GAAoB,EAAE,CAAC;IAErC,KAAK,MAAM,GAAG,IAAI,kBAAkB,EAAE,CAAC;QACrC,KAAK,MAAM,GAAG,IAAI,CAAC,GAAG,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;YACpD,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC9B,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,mBAAmB;oBACzB,MAAM,EAAE,eAAe,GAAG,CAAC,EAAE,mCAAmC,GAAG,GAAG;iBACvE,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,IAAI,GAAG,CAAC,YAAY,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACzC,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,kBAAkB;gBACxB,MAAM,EACJ,eAAe,GAAG,CAAC,EAAE,yBAAyB;oBAC9C,IAAI,GAAG,CAAC,YAAY,CAAC,MAAM,KAAK,GAAG,CAAC,YAAY,CAAC,MAAM,0BAA0B;aACpF,CAAC,CAAC;QACL,CAAC;QACD,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,GAAG,CAAC,EAAE,KAAK,wBAAwB,EAAE,CAAC;YACrE,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,2BAA2B;gBACjC,MAAM,EACJ,eAAe,GAAG,CAAC,EAAE,4BAA4B,wBAAwB,SAAS;oBAClF,wDAAwD;aAC3D,CAAC,CAAC;QACL,CAAC;QAED,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,sBAAsB,EAAE,CAAC;YAC5C,MAAM,OAAO,GACX,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,UAAU,KAAK,CAAC,CAAC;gBAClD,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,UAAU,KAAK,CAAC,CAAC,CAAC;YACrD,IAAI,OAAO,EAAE,CAAC;gBACZ,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,iCAAiC;oBACvC,MAAM,EACJ,eAAe,GAAG,CAAC,EAAE,YAAY,CAAC,UAAU,CAAC,8BAA8B;wBAC3E,mFAAmF;iBACtF,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;QAChC,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YAC9B,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;YACjE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACvB,MAAM,QAAQ,GAAI,CAAC,YAAY,EAAE,aAAa,EAAE,YAAY,CAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CACnF,YAAY,CAAC,CAAC,EAAE,EAAE,CAAC,CACpB,CAAC;gBACF,QAAQ,CAAC,IAAI,CACX,QAAQ,CAAC,MAAM,GAAG,CAAC;oBACjB,CAAC,CAAC;wBACE,IAAI,EAAE,iBAAiB;wBACvB,MAAM,EACJ,QAAQ,IAAI,CAAC,EAAE,cAAc,EAAE,QAAQ,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG;4BACnE,yBAAyB,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;qBAChD;oBACH,CAAC,CAAC;wBACE,IAAI,EAAE,gBAAgB;wBACtB,MAAM,EAAE,QAAQ,IAAI,CAAC,EAAE,cAAc,EAAE,8BAA8B;qBACtE,CACN,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC"}
+{"version":3,"file":"derivations.js","sourceRoot":"","sources":["../../../src/atlas/poster/derivations.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8CG;AAEH,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAIlD,OAAO,EAAE,mBAAmB,EAAE,sBAAsB,EAAE,MAAM,mBAAmB,CAAC;AAChF,OAAO,EAAE,eAAe,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AA0C5D,MAAM,CAAC,GAAG,CACR,EAAgB,EAChB,QAAgC,EAChC,QAAgC,EAChC,UAAuB,EACvB,cAAiC,EACrB,EAAE,CACd,cAAc,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,cAAc,EAAE,EAAE,eAAe,CAAC,CAAC;AAE1F;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAA0B;IACvD,8DAA8D;IAC9D,CAAC,CAAC,WAAW,EAAE,aAAa,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE;QACzD,+BAA+B;QAC/B,sFAAsF;KACvF,CAAC;IAEF,2EAA2E;IAC3E,6EAA6E;IAC7E,uEAAuE;IACvE,CAAC,CAAC,kBAAkB,EAAE,YAAY,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,iCAAiC,EAAE;QACrF,0BAA0B;QAC1B,uEAAuE;QACvE,0CAA0C;KAC3C,CAAC;IACF,CAAC,CACC,8BAA8B,EAC9B,YAAY,EACZ,CAAC,4BAA4B,EAAE,mBAAmB,CAAC,EACnD,wCAAwC,EACxC;QACE,iDAAiD;QACjD,4BAA4B;QAC5B,uEAAuE;KACxE,CACF;IAED,yEAAyE;IACzE,iEAAiE;IACjE,CAAC,CACC,yBAAyB,EACzB,mBAAmB,EACnB,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,mBAAmB,CAAC,EAClC,+BAA+B,EAC/B;QACE,gDAAgD;QAChD,kCAAkC;QAClC,+CAA+C;KAChD,CACF;IAED,wEAAwE;IACxE,qEAAqE;IACrE,2EAA2E;IAC3E,2EAA2E;IAC3E,uEAAuE;IACvE,uDAAuD;IACvD,CAAC,CAAC,WAAW,EAAE,eAAe,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,EAAE;QAC3D,YAAY;QACZ,aAAa;QACb,iBAAiB;QACjB,cAAc;QACd,oCAAoC;KACrC,CAAC;IAEF,oEAAoE;IACpE,0EAA0E;IAC1E,CAAC,CAAC,WAAW,EAAE,eAAe,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE;QAC3D,kBAAkB;QAClB,eAAe;QACf,oCAAoC;KACrC,CAAC;IACF,CAAC,CAAC,YAAY,EAAE,eAAe,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,EAAE;QAC7D,kBAAkB;QAClB,eAAe;QACf,oCAAoC;KACrC,CAAC;IAEF,4EAA4E;IAC5E,yEAAyE;IACzE,8DAA8D;IAC9D,CAAC,CACC,2BAA2B,EAC3B,YAAY,EACZ,CAAC,0BAA0B,EAAE,yBAAyB,CAAC,EACvD,QAAQ,CAAC,EAAE,CAAC,EACZ;QACE,8CAA8C;QAC9C,gEAAgE;YAC9D,kEAAkE;KACrE,CACF;IAED,yEAAyE;IACzE,oEAAoE;IACpE,CAAC,CAAC,yBAAyB,EAAE,YAAY,EAAE,CAAC,4BAA4B,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE;QACtF,6BAA6B;QAC7B,sCAAsC;QACtC,kDAAkD;KACnD,CAAC;IAEF,2EAA2E;IAC3E,0EAA0E;IAC1E,oEAAoE;IACpE,CAAC,CAAC,WAAW,EAAE,YAAY,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,EAAE;QACxD,6DAA6D;QAC7D,mEAAmE;KACpE,CAAC;IAEF,gEAAgE;IAChE,2EAA2E;IAC3E,eAAe;IACf,CAAC,CAAC,gBAAgB,EAAE,YAAY,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE;QACjD,sCAAsC;QACtC,+BAA+B;QAC/B,+EAA+E;QAC/E,kFAAkF;YAChF,gDAAgD;KACnD,CAAC;IAEF,qEAAqE;IACrE,sEAAsE;IACtE,iEAAiE;IACjE,CAAC,CAAC,mBAAmB,EAAE,mBAAmB,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE;QACvE,wEAAwE;QACxE,4EAA4E;YAC1E,kDAAkD;QACpD,OAAO;KACR,CAAC;IAEF,gEAAgE;IAChE,iEAAiE;IACjE,uBAAuB;IACvB,CAAC,CAAC,aAAa,EAAE,uBAAuB,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,EAAE;QACrE,gBAAgB;QAChB,iBAAiB;QACjB,wCAAwC;KACzC,CAAC;IAEF,0EAA0E;IAC1E,oBAAoB;IACpB,CAAC,CACC,sBAAsB,EACtB,YAAY,EACZ,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,iCAAiC,CAAC,EAChD,QAAQ,CAAC,EAAE,CAAC,EACZ;QACE,kEAAkE;QAClE,2DAA2D;QAC3D,OAAO;KACR,CACF;IACD,CAAC,CAAC,wBAAwB,EAAE,YAAY,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,EAAE;QACrE,sDAAsD;QACtD,gFAAgF;YAC9E,yBAAyB;QAC3B,OAAO;KACR,CAAC;IAEF,yEAAyE;IACzE,iCAAiC;IACjC,CAAC,CAAC,UAAU,EAAE,YAAY,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE;QACtD,4BAA4B;QAC5B,oBAAoB;QACpB,8BAA8B;KAC/B,CAAC;IAEF,oEAAoE;IACpE,2EAA2E;IAC3E,uEAAuE;IACvE,kCAAkC;IAClC,CAAC,CAAC,2BAA2B,EAAE,YAAY,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,EAAE;QACxE,0EAA0E;QAC1E,wCAAwC;KACzC,CAAC;IACF,CAAC,CAAC,4BAA4B,EAAE,eAAe,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,EAAE;QAC5E,yEAAyE;QACzE,wCAAwC;KACzC,CAAC;CACH,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAgC;IAC7D;QACE,EAAE,EAAE,oBAAoB;QACxB,QAAQ,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC;QACrC,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC;QACvB,IAAI,EACF,4EAA4E;YAC5E,kDAAkD;QACpD,gBAAgB,EAAE,yBAAyB;KAC5C;CACF,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAuD;IAClF,mBAAmB,EAAE;QACnB,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,qCAAqC,EAAE;KAC3E;IACD,aAAa,EAAE;QACb;YACE,EAAE,EAAE,IAAI;YACR,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,qCAAqC;YAC3C,SAAS,EAAE,4CAA4C;SACxD;KACF;CACF,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,YAAY,GAA0B;IACjD;QACE,EAAE,EAAE,IAAI;QACR,IAAI,EAAE,qDAAqD;QAC3D,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,OAAO,EAAE,CAAC,WAAW,CAAC;KACvB;IACD;QACE,EAAE,EAAE,IAAI;QACR,IAAI,EACF,4EAA4E;YAC5E,yDAAyD;QAC3D,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,OAAO,EAAE,CAAC,kBAAkB,EAAE,8BAA8B,CAAC;KAC9D;IACD;QACE,EAAE,EAAE,IAAI;QACR,IAAI,EAAE,2DAA2D;QACjE,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,OAAO,EAAE,CAAC,yBAAyB,CAAC;KACrC;IACD;QACE,EAAE,EAAE,IAAI;QACR,IAAI,EACF,gFAAgF;YAChF,oCAAoC;QACtC,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,OAAO,EAAE,CAAC,WAAW,CAAC;KACvB;IACD;QACE,EAAE,EAAE,IAAI;QACR,IAAI,EAAE,gFAAgF;QACtF,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,OAAO,EAAE,CAAC,WAAW,EAAE,YAAY,CAAC;KACrC;IACD;QACE,EAAE,EAAE,IAAI;QACR,IAAI,EACF,gFAAgF;YAChF,+EAA+E;QACjF,UAAU,EAAE,CAAC,aAAa,EAAE,YAAY,CAAC;QACzC,OAAO,EAAE,CAAC,mBAAmB,EAAE,2BAA2B,CAAC;KAC5D;IACD;QACE,EAAE,EAAE,IAAI;QACR,IAAI,EAAE,iFAAiF;QACvF,UAAU,EAAE,CAAC,YAAY,EAAE,YAAY,CAAC;QACxC,OAAO,EAAE,CAAC,oBAAoB,EAAE,yBAAyB,CAAC;KAC3D;IACD;QACE,EAAE,EAAE,IAAI;QACR,IAAI,EAAE,gFAAgF;QACtF,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,OAAO,EAAE,CAAC,WAAW,CAAC;KACvB;IACD;QACE,EAAE,EAAE,IAAI;QACR,IAAI,EAAE,iFAAiF;QACvF,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,OAAO,EAAE,CAAC,gBAAgB,CAAC;KAC5B;IACD;QACE,EAAE,EAAE,KAAK;QACT,IAAI,EAAE,2EAA2E;QACjF,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,OAAO,EAAE,CAAC,mBAAmB,CAAC;KAC/B;IACD;QACE,EAAE,EAAE,KAAK;QACT,IAAI,EACF,wFAAwF;YACxF,iCAAiC;QACnC,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,OAAO,EAAE,CAAC,aAAa,CAAC;KACzB;IACD;QACE,EAAE,EAAE,KAAK;QACT,IAAI,EAAE,kFAAkF;QACxF,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,OAAO,EAAE,CAAC,sBAAsB,EAAE,wBAAwB,CAAC;KAC5D;IACD;QACE,EAAE,EAAE,KAAK;QACT,IAAI,EAAE,+EAA+E;QACrF,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,OAAO,EAAE,CAAC,UAAU,CAAC;KACtB;IACD;QACE,EAAE,EAAE,KAAK;QACT,IAAI,EACF,gFAAgF;YAChF,wCAAwC;QAC1C,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,OAAO,EAAE,CAAC,2BAA2B,EAAE,4BAA4B,CAAC;KACrE;IACD;QACE,EAAE,EAAE,KAAK;QACT,IAAI,EAAE,4BAA4B;QAClC,UAAU,EAAE,CAAC,aAAa,CAAC;QAC3B,OAAO,EAAE,CAAC,sBAAsB,EAAE,uBAAuB,CAAC;KAC3D;CACF,CAAC;AAcF,uCAAuC;AACvC,SAAS,YAAY,CAAC,SAAwB,EAAE,EAAU;IACxD,IAAI,SAAS,KAAK,YAAY;QAAE,OAAO,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;IACnF,IAAI,SAAS,KAAK,YAAY;QAAE,OAAO,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;IACnF,OAAO,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;AACtD,CAAC;AAED,iFAAiF;AACjF,MAAM,wBAAwB,GAAiB,gBAAgB,CAAC;AAEhE;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,MAAM,UAAU,uBAAuB;IACrC,MAAM,QAAQ,GAAoB,EAAE,CAAC;IAErC,KAAK,MAAM,GAAG,IAAI,kBAAkB,EAAE,CAAC;QACrC,KAAK,MAAM,GAAG,IAAI,CAAC,GAAG,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;YACpD,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC9B,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,mBAAmB;oBACzB,MAAM,EAAE,eAAe,GAAG,CAAC,EAAE,mCAAmC,GAAG,GAAG;iBACvE,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,IAAI,GAAG,CAAC,YAAY,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACzC,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,kBAAkB;gBACxB,MAAM,EACJ,eAAe,GAAG,CAAC,EAAE,yBAAyB;oBAC9C,IAAI,GAAG,CAAC,YAAY,CAAC,MAAM,KAAK,GAAG,CAAC,YAAY,CAAC,MAAM,0BAA0B;aACpF,CAAC,CAAC;QACL,CAAC;QACD,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,GAAG,CAAC,EAAE,KAAK,wBAAwB,EAAE,CAAC;YACrE,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,2BAA2B;gBACjC,MAAM,EACJ,eAAe,GAAG,CAAC,EAAE,4BAA4B,wBAAwB,SAAS;oBAClF,wDAAwD;aAC3D,CAAC,CAAC;QACL,CAAC;QAED,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,sBAAsB,EAAE,CAAC;YAC5C,MAAM,OAAO,GACX,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,UAAU,KAAK,CAAC,CAAC;gBAClD,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,UAAU,KAAK,CAAC,CAAC,CAAC;YACrD,IAAI,OAAO,EAAE,CAAC;gBACZ,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,iCAAiC;oBACvC,MAAM,EACJ,eAAe,GAAG,CAAC,EAAE,YAAY,CAAC,UAAU,CAAC,8BAA8B;wBAC3E,mFAAmF;iBACtF,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;QAChC,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YAC9B,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;YACjE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACvB,MAAM,QAAQ,GAAI,CAAC,YAAY,EAAE,aAAa,EAAE,YAAY,CAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CACnF,YAAY,CAAC,CAAC,EAAE,EAAE,CAAC,CACpB,CAAC;gBACF,QAAQ,CAAC,IAAI,CACX,QAAQ,CAAC,MAAM,GAAG,CAAC;oBACjB,CAAC,CAAC;wBACE,IAAI,EAAE,iBAAiB;wBACvB,MAAM,EACJ,QAAQ,IAAI,CAAC,EAAE,cAAc,EAAE,QAAQ,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG;4BACnE,yBAAyB,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;qBAChD;oBACH,CAAC,CAAC;wBACE,IAAI,EAAE,gBAAgB;wBACtB,MAAM,EAAE,QAAQ,IAAI,CAAC,EAAE,cAAc,EAAE,8BAA8B;qBACtE,CACN,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC","sourcesContent":["/**\n * Atlas Phase 3 — the poster's typed edges.\n *\n * `ROADMAP.md` Phase 3 states FIFTEEN bridge lines. This module records all\n * fifteen, each in the container its type demands, and {@link POSTER_LINES} is\n * the table that makes \"all fifteen, correctly typed\" a checkable claim rather\n * than a reading of the source.\n *\n * ## Three containers, because the lines are three different acts\n *\n * - **{@link POSTER_DERIVATIONS}** — a `Derivation` asserts `premises ⊢\n *   conclusion`. Most lines are this.\n * - **`./associations.ts`** — `7 ↔ 16` is an **association for the historical\n *   link only**, and `3, 14 → *` is association only. An `Association` makes\n *   no composite claim and is not a graph edge (`../association.ts`), which is\n *   exactly the content of those two lines.\n * - **{@link POSTER_CONSTRAINTS}** — `5, 16 → 8` *\"constrain but do not\n *   determine\"*. Neither of the other two containers can say that. A\n *   `Derivation` would assert that 5 and 16 YIELD 8, which is the claim the\n *   line explicitly denies; an `Association` would say only that the three\n *   resemble each other, which drops the constraint. **This third container is\n *   a correction to the S3.3 brief**, which allows only derivations and\n *   associations; recording `5, 16 → 8` as a derivation would have been the\n *   overclaim the sprint exists to prevent. The variational route the line\n *   names — Einstein–Hilbert — IS a derivation, and it is recorded as one.\n *\n * ## One derivation has no premises, and that is the honest form\n *\n * `d-4-commutator` records the line *\"`4` derivation from the commutator and\n * Cauchy–Schwarz, no time-dependent equation needed\"*. Its two inputs are not\n * poster entries, and they are not among the five hidden nodes `ROADMAP.md`\n * names. Inventing `statement-canonical-commutator` to fill the premise slot\n * would be the invention §5 of the design note forbids, so the inputs are\n * recorded as `sideConditions` and the premise set is empty. The empty set\n * does not assert that entry 4 follows from nothing — `sideConditions` carries\n * what it follows from — and {@link validatePosterRelations} pins that this is\n * the ONLY empty-premise record, so a second one cannot appear unnoticed.\n *\n * ## Witnesses\n *\n * `Derivation` has no `witnesses` field (`../derivation.ts` is Wave 1's and is\n * not mine to widen), so {@link POSTER_WITNESSES} is a side table keyed by\n * derivation id. The two Sprint 0 witnesses land where `ROADMAP.md` puts them:\n * W4 (chirped Gaussian) on `13 ↔ 4`, W5 (Wick rotation) on `6 ↔ 13`.\n *\n * @module atlas/poster/derivations\n */\n\nimport { makeDerivation } from '../derivation.js';\nimport type { Derivation, DerivationId } from '../derivation.js';\nimport type { StatementId } from '../statement.js';\nimport type { Witness } from '../types.js';\nimport { POSTER_ASSOCIATIONS, ASSOCIATION_ONLY_PAIRS } from './associations.js';\nimport { POSTER_REGISTRY, posterId } from './statements.js';\n\n/**\n * `5, 16 → 8`: premises that CONSTRAIN a target without determining it.\n *\n * It has no `relation`, no `conclusion` and no context union, because it\n * concludes nothing. `alternativeRoute` names what does determine the target,\n * so the record cannot be read as \"and nothing else does\".\n *\n * @internal\n */\nexport interface PosterConstraint {\n  readonly id: string;\n  readonly premises: readonly StatementId[];\n  /** What the premises constrain. NOT a conclusion. */\n  readonly constrains: StatementId;\n  /** Why the premises fall short of determining it. */\n  readonly note: string;\n  /** The derivation id that DOES reach the target, when one is recorded. */\n  readonly alternativeRoute?: DerivationId;\n}\n\n/** Where a poster line is recorded. @internal */\nexport type LineContainer = 'derivation' | 'association' | 'constraint';\n\n/**\n * One of the fifteen `ROADMAP.md` Phase 3 bridge lines, and the records that\n * carry it.\n *\n * @internal\n */\nexport interface PosterLine {\n  /** `'L1'` … `'L15'`, in the order `ROADMAP.md` lists them. */\n  readonly id: string;\n  /** The line as `ROADMAP.md` writes it, in substance. */\n  readonly line: string;\n  /** Every container this line lands in. */\n  readonly containers: readonly LineContainer[];\n  /** Ids of the records, across those containers. */\n  readonly records: readonly string[];\n}\n\nconst d = (\n  id: DerivationId,\n  relation: Derivation['relation'],\n  premises: readonly StatementId[],\n  conclusion: StatementId,\n  sideConditions: readonly string[],\n): Derivation =>\n  makeDerivation({ id, relation, premises, conclusion, sideConditions }, POSTER_REGISTRY);\n\n/**\n * The poster's derivation hyperedges.\n *\n * Each `relation` is the type `ROADMAP.md` names for its line, and each\n * `sideConditions` list carries that line's qualifications — including the\n * ones that say what the edge does NOT give, because a qualification dropped\n * here is a claim widened silently.\n *\n * @internal\n */\nexport const POSTER_DERIVATIONS: readonly Derivation[] = [\n  // L1 — \"10 → 9 restriction plus separate frame content in 9\".\n  d('d-10-to-9', 'restriction', [posterId(10)], posterId(9), [\n    'restriction to net force zero',\n    \"entry 9's inertial-frame content is SEPARATE and is not supplied by this restriction\",\n  ]),\n\n  // L2 — \"11 → momentum conservation for isolated particle systems (converse\n  // fails; translation symmetry gives the field-inclusive version under action\n  // and boundary assumptions)\". Two records: the line states two routes.\n  d('d-11-to-momentum', 'derivation', [posterId(11)], 'statement-momentum-conservation', [\n    'isolated particle system',\n    'the converse FAILS: momentum conservation does not give the third law',\n    'fails naively when fields carry momentum',\n  ]),\n  d(\n    'd-noether-to-momentum-fields',\n    'derivation',\n    ['statement-action-principle', 'statement-noether'],\n    'statement-momentum-conservation-fields',\n    [\n      'spatial translation symmetry of a stated action',\n      'stated boundary conditions',\n      'this is the FIELD-INCLUSIVE version; it does not run through entry 11',\n    ],\n  ),\n\n  // L3 — \"1 ↔ energy conservation via Noether for autonomous models, which\n  // defines neither heat nor a global energy in curved spacetime\".\n  d(\n    'd-1-energy-conservation',\n    'exact-equivalence',\n    [posterId(1), 'statement-noether'],\n    'statement-energy-conservation',\n    [\n      'autonomous model (no explicit time dependence)',\n      'it defines NEITHER heat NOR work',\n      'it gives NO global energy in curved spacetime',\n    ],\n  ),\n\n  // L4 — \"8 → 12 approximation (weak field, slow motion, near-stationary,\n  // negligible Λ) then restriction to a point source\". Recorded as ONE\n  // approximation rather than two composed edges: the intermediate statement\n  // (the weak-field field equation) is neither a poster entry nor one of the\n  // five named hidden nodes, so a node for it would be invented. The two\n  // stages are stated, in order, in the side conditions.\n  d('d-8-to-12', 'approximation', [posterId(8)], posterId(12), [\n    'weak field',\n    'slow motion',\n    'near-stationary',\n    'negligible Λ',\n    'THEN restriction to a point source',\n  ]),\n\n  // L5 — \"16 → 5, 10 approximation in v/c, regular, needing E = γmc²,\n  // p = γmv, F = dp/dt\". One conclusion per record: a `Derivation` has one.\n  d('d-16-to-5', 'approximation', [posterId(16)], posterId(5), [\n    'expansion in v/c',\n    'regular limit',\n    'needs E = γmc², p = γmv, F = dp/dt',\n  ]),\n  d('d-16-to-10', 'approximation', [posterId(16)], posterId(10), [\n    'expansion in v/c',\n    'regular limit',\n    'needs E = γmc², p = γmv, F = dp/dt',\n  ]),\n\n  // L6 (derivation half) — \"the derivation route is a hyperedge {full Maxwell\n  // system, spacetime structure} → 16, never from 7 alone\". The historical\n  // half of this line is an ASSOCIATION; see ./associations.ts.\n  d(\n    'd-maxwell-spacetime-to-16',\n    'derivation',\n    ['statement-maxwell-system', 'statement-lorentz-group'],\n    posterId(16),\n    [\n      'the full Maxwell SYSTEM, never entry 7 alone',\n      \"'spacetime structure' is recorded as statement-lorentz-group; \" +\n        'ROADMAP.md names five hidden nodes and that is the one it can be',\n    ],\n  ),\n\n  // L7 (the route that DOES determine 8) — \"Einstein–Hilbert is a separate\n  // variational route\". The constraint half is in POSTER_CONSTRAINTS.\n  d('d-einstein-hilbert-to-8', 'derivation', ['statement-action-principle'], posterId(8), [\n    'the Einstein–Hilbert action',\n    'variation with respect to the metric',\n    'this route is SEPARATE from the 5, 16 constraint',\n  ]),\n\n  // L8 — \"6 ↔ 15 linearity preserves superposition, Hilbert-space kinematics\n  // supplies it\". Typed one way only: the reverse is not this edge, because\n  // superposition comes from the kinematics rather than from entry 6.\n  d('d-6-to-15', 'derivation', [posterId(6)], posterId(15), [\n    'linearity of the evolution equation preserves superposition',\n    'Hilbert-space KINEMATICS supplies superposition; entry 6 does not',\n  ]),\n\n  // L9 — \"4 derivation from the commutator and Cauchy–Schwarz, no\n  // time-dependent equation needed\". Premise set deliberately EMPTY; see the\n  // module note.\n  d('d-4-commutator', 'derivation', [], posterId(4), [\n    'the canonical commutator [x, p] = iħ',\n    'the Cauchy–Schwarz inequality',\n    'NO time-dependent equation is needed; this route does not run through entry 6',\n    'the two inputs are neither poster entries nor named hidden nodes, so no premise ' +\n      'statement exists for them and none is invented',\n  ]),\n\n  // L10 — \"13 ↔ 4: a Gaussian *family* saturates the bound, a Gaussian\n  // density does not (Sprint 0 check 4)\". Exact-equivalence because the\n  // saturation is an EQUALITY at α = 0, which W4 computes exactly.\n  d('d-13-4-saturation', 'exact-equivalence', [posterId(13)], posterId(4), [\n    'a Gaussian FAMILY (parameterized by its width) saturates σ_x σ_p = ħ/2',\n    'a Gaussian DENSITY does not: the chirped Gaussian is Gaussian in |ψ|² and ' +\n      'has σ_x σ_p = (ħ/2)√(1 + 16α²s⁴) > ħ/2 for α ≠ 0',\n    'σ > 0',\n  ]),\n\n  // L11 — \"6 ↔ 13 analytic continuation to the heat semigroup for\n  // self-adjoint, lower-bounded H, Gaussian kernel only when V = 0\n  // (Sprint 0 check 5)\".\n  d('d-6-13-wick', 'analytic-continuation', [posterId(6)], posterId(13), [\n    'self-adjoint H',\n    'lower-bounded H',\n    'the kernel is GAUSSIAN only when V = 0',\n  ]),\n\n  // L12 — \"2 → 13 two routes (central limit, maximum entropy), neither from\n  // Boltzmann alone\".\n  d(\n    'd-2-13-central-limit',\n    'derivation',\n    [posterId(2), 'statement-central-limit-theorem'],\n    posterId(13),\n    [\n      'independent, identically distributed summands of finite variance',\n      'NOT from entry 2 alone: the theorem is the second premise',\n      'σ > 0',\n    ],\n  ),\n  d('d-2-13-maximum-entropy', 'derivation', [posterId(2)], posterId(13), [\n    'maximum entropy subject to a fixed mean and variance',\n    'NOT from entry 2 alone: the constraint set is an added input, and it is not a ' +\n      'statement in this index',\n    'σ > 0',\n  ]),\n\n  // L13 — \"2 → 1 needs a microscopic energy model, an ensemble choice, and\n  // definitions of heat and work\".\n  d('d-2-to-1', 'derivation', [posterId(2)], posterId(1), [\n    'a microscopic energy model',\n    'an ensemble choice',\n    'definitions of heat and work',\n  ]),\n\n  // L14 — \"6 → 10 Ehrenfest, exact for affine forces, approximate for\n  // localized packets, distinct from the singular ħ → 0 limit\". Two records:\n  // one exact, one approximate. One record could carry only one relation\n  // type, and the line states both.\n  d('d-6-to-10-ehrenfest-exact', 'derivation', [posterId(6)], posterId(10), [\n    'affine forces (F linear in x), for which the Ehrenfest relation is EXACT',\n    'distinct from the singular ħ → 0 limit',\n  ]),\n  d('d-6-to-10-ehrenfest-approx', 'approximation', [posterId(6)], posterId(10), [\n    'localized wave packets, for which the Ehrenfest relation is APPROXIMATE',\n    'distinct from the singular ħ → 0 limit',\n  ]),\n];\n\n/**\n * `5, 16 → 8` — the one line that asserts a constraint and denies a\n * derivation. See the module note for why it gets its own container.\n *\n * @internal\n */\nexport const POSTER_CONSTRAINTS: readonly PosterConstraint[] = [\n  {\n    id: 'c-5-16-constrain-8',\n    premises: [posterId(5), posterId(16)],\n    constrains: posterId(8),\n    note:\n      'entries 5 and 16 CONSTRAIN the field equations but do not determine them; ' +\n      'Einstein–Hilbert is a separate variational route',\n    alternativeRoute: 'd-einstein-hilbert-to-8',\n  },\n];\n\n/**\n * The Sprint 0 witnesses, attached where `ROADMAP.md` Phase 3 puts them.\n *\n * A side table rather than a field, because `Derivation` is Wave 1's record\n * and widening it is not this brief's scope.\n *\n * @internal\n */\nexport const POSTER_WITNESSES: Readonly<Record<DerivationId, readonly Witness[]>> = {\n  'd-13-4-saturation': [\n    { id: 'W4', kind: 'numeric', test: 'tests/atlas/quantum-support.test.ts' },\n  ],\n  'd-6-13-wick': [\n    {\n      id: 'W5',\n      kind: 'numeric',\n      test: 'tests/atlas/quantum-support.test.ts',\n      tolerance: '1e-4 sup-norm ratio on the stated interval',\n    },\n  ],\n};\n\n/**\n * The fifteen lines, and where each one is recorded.\n *\n * The table is the deliverable \"all fifteen, correctly typed\" in checkable\n * form: {@link validatePosterRelations} resolves every `records` id in every\n * `containers` entry, so a line that lost its record, or a record that moved\n * to the wrong container, is a failure rather than a reading.\n *\n * @internal\n */\nexport const POSTER_LINES: readonly PosterLine[] = [\n  {\n    id: 'L1',\n    line: '10 → 9 restriction plus separate frame content in 9',\n    containers: ['derivation'],\n    records: ['d-10-to-9'],\n  },\n  {\n    id: 'L2',\n    line:\n      '11 → momentum conservation for isolated particle systems (converse fails; ' +\n      'translation symmetry gives the field-inclusive version)',\n    containers: ['derivation'],\n    records: ['d-11-to-momentum', 'd-noether-to-momentum-fields'],\n  },\n  {\n    id: 'L3',\n    line: '1 ↔ energy conservation via Noether for autonomous models',\n    containers: ['derivation'],\n    records: ['d-1-energy-conservation'],\n  },\n  {\n    id: 'L4',\n    line:\n      '8 → 12 approximation (weak field, slow motion, near-stationary, negligible Λ) ' +\n      'then restriction to a point source',\n    containers: ['derivation'],\n    records: ['d-8-to-12'],\n  },\n  {\n    id: 'L5',\n    line: '16 → 5, 10 approximation in v/c, regular, needing E = γmc², p = γmv, F = dp/dt',\n    containers: ['derivation'],\n    records: ['d-16-to-5', 'd-16-to-10'],\n  },\n  {\n    id: 'L6',\n    line:\n      '7 ↔ 16 ASSOCIATION for the historical link only — the derivation route is the ' +\n      'hyperedge {full Maxwell system, spacetime structure} → 16, never from 7 alone',\n    containers: ['association', 'derivation'],\n    records: ['a-7-16-historical', 'd-maxwell-spacetime-to-16'],\n  },\n  {\n    id: 'L7',\n    line: '5, 16 → 8 constrain but do not determine (Einstein–Hilbert is a separate route)',\n    containers: ['constraint', 'derivation'],\n    records: ['c-5-16-constrain-8', 'd-einstein-hilbert-to-8'],\n  },\n  {\n    id: 'L8',\n    line: '6 ↔ 15 linearity preserves superposition, Hilbert-space kinematics supplies it',\n    containers: ['derivation'],\n    records: ['d-6-to-15'],\n  },\n  {\n    id: 'L9',\n    line: '4 derivation from the commutator and Cauchy–Schwarz, no time-dependent equation',\n    containers: ['derivation'],\n    records: ['d-4-commutator'],\n  },\n  {\n    id: 'L10',\n    line: '13 ↔ 4 a Gaussian family saturates the bound, a Gaussian density does not',\n    containers: ['derivation'],\n    records: ['d-13-4-saturation'],\n  },\n  {\n    id: 'L11',\n    line:\n      '6 ↔ 13 analytic continuation to the heat semigroup for self-adjoint, lower-bounded H, ' +\n      'Gaussian kernel only when V = 0',\n    containers: ['derivation'],\n    records: ['d-6-13-wick'],\n  },\n  {\n    id: 'L12',\n    line: '2 → 13 two routes (central limit, maximum entropy), neither from Boltzmann alone',\n    containers: ['derivation'],\n    records: ['d-2-13-central-limit', 'd-2-13-maximum-entropy'],\n  },\n  {\n    id: 'L13',\n    line: '2 → 1 needs a microscopic energy model, an ensemble choice, and heat and work',\n    containers: ['derivation'],\n    records: ['d-2-to-1'],\n  },\n  {\n    id: 'L14',\n    line:\n      '6 → 10 Ehrenfest, exact for affine forces, approximate for localized packets, ' +\n      'distinct from the singular ħ → 0 limit',\n    containers: ['derivation'],\n    records: ['d-6-to-10-ehrenfest-exact', 'd-6-to-10-ehrenfest-approx'],\n  },\n  {\n    id: 'L15',\n    line: '3, 14 → * association only',\n    containers: ['association'],\n    records: ['a-3-association-only', 'a-14-association-only'],\n  },\n];\n\n/** One defect {@link validatePosterRelations} found. @internal */\nexport interface PosterProblem {\n  readonly kind:\n    | 'unknown-statement'\n    | 'no-context-union'\n    | 'association-typed-as-derivation'\n    | 'missing-record'\n    | 'wrong-container'\n    | 'unexpected-empty-premises';\n  readonly detail: string;\n}\n\n/** Is `id` recorded in `container`? */\nfunction recordExists(container: LineContainer, id: string): boolean {\n  if (container === 'derivation') return POSTER_DERIVATIONS.some((x) => x.id === id);\n  if (container === 'constraint') return POSTER_CONSTRAINTS.some((x) => x.id === id);\n  return POSTER_ASSOCIATIONS.some((x) => x.id === id);\n}\n\n/** The only derivation entitled to an empty premise set. See the module note. */\nconst EMPTY_PREMISE_DERIVATION: DerivationId = 'd-4-commutator';\n\n/**\n * Every defect this index can have that a type cannot catch.\n *\n * Six checks, and the third is the one the S3.3 brief singles out:\n *\n * 1. **Unknown statement.** Every premise and conclusion resolves in\n *    `POSTER_REGISTRY`.\n * 2. **No context union.** A derivation whose premises do not pool states no\n *    claim; `makeDerivation` records that rather than throwing, so a record\n *    carrying a refusal would otherwise sit in the list looking like an edge.\n * 3. **An association typed as a derivation.** `7 ↔ 16` and `3, 14 → *` are\n *    associations. If a derivation ever links either pair — in either\n *    direction — the distinction has been lost, and it is the distinction\n *    that carries the physics: the route to 16 runs from the full Maxwell\n *    system, *never from 7 alone*.\n * 4. **Missing record / 5. wrong container.** Every id in\n *    {@link POSTER_LINES} exists, in one of the containers its line declares.\n * 6. **Unexpected empty premises.** Exactly one record may have none.\n *\n * Returns problems rather than throwing, so a caller sees ALL of them at once\n * — a thrown first defect hides the rest, and this list is checked as a whole.\n *\n * @internal\n */\nexport function validatePosterRelations(): readonly PosterProblem[] {\n  const problems: PosterProblem[] = [];\n\n  for (const der of POSTER_DERIVATIONS) {\n    for (const sid of [...der.premises, der.conclusion]) {\n      if (!POSTER_REGISTRY.has(sid)) {\n        problems.push({\n          kind: 'unknown-statement',\n          detail: `derivation '${der.id}' references unknown statement '${sid}'`,\n        });\n      }\n    }\n    if (der.contextUnion.kind === 'no-union') {\n      problems.push({\n        kind: 'no-context-union',\n        detail:\n          `derivation '${der.id}' has no context union ` +\n          `(${der.contextUnion.reason}: ${der.contextUnion.detail}), so it states no claim`,\n      });\n    }\n    if (der.premises.length === 0 && der.id !== EMPTY_PREMISE_DERIVATION) {\n      problems.push({\n        kind: 'unexpected-empty-premises',\n        detail:\n          `derivation '${der.id}' has no premises; only '${EMPTY_PREMISE_DERIVATION}' may, ` +\n          'and its two inputs are recorded in its side conditions',\n      });\n    }\n\n    for (const [a, b] of ASSOCIATION_ONLY_PAIRS) {\n      const touches =\n        (der.premises.includes(a) && der.conclusion === b) ||\n        (der.premises.includes(b) && der.conclusion === a);\n      if (touches) {\n        problems.push({\n          kind: 'association-typed-as-derivation',\n          detail:\n            `derivation '${der.id}' links '${a}' and '${b}', which ROADMAP.md Phase 3 ` +\n            'records as an ASSOCIATION only; a derivation here asserts a route the line denies',\n        });\n      }\n    }\n  }\n\n  for (const line of POSTER_LINES) {\n    for (const id of line.records) {\n      const where = line.containers.filter((c) => recordExists(c, id));\n      if (where.length === 0) {\n        const anywhere = (['derivation', 'association', 'constraint'] as const).filter((c) =>\n          recordExists(c, id),\n        );\n        problems.push(\n          anywhere.length > 0\n            ? {\n                kind: 'wrong-container',\n                detail:\n                  `line ${line.id} declares '${id}' in ${line.containers.join('/')} ` +\n                  `but it is recorded in ${anywhere.join('/')}`,\n              }\n            : {\n                kind: 'missing-record',\n                detail: `line ${line.id} declares '${id}', which is recorded nowhere`,\n              },\n        );\n      }\n    }\n  }\n\n  return problems;\n}\n"]}