universal-physics-tensor 8.0.0 → 10.0.0

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

@@ -1 +1 @@
-{"version":3,"file":"statements.js","sourceRoot":"","sources":["../../../src/atlas/poster/statements.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkDG;AAYH;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAY,yBAAyB,CAAC;AAE1E,4EAA4E;AAC5E,MAAM,CAAC,MAAM,YAAY,GAAG,cAAc,CAAC;AAE3C;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,CAAC,MAAM,4BAA4B,GACvC,0FAA0F;IAC1F,4FAA4F;IAC5F,yFAAyF,CAAC;AAgB5F,uFAAuF;AACvF,SAAS,GAAG,CACV,WAA8B,EAC9B,IAAI,GAA0C,EAAE;IAEhD,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,GAAG,IAAI,EAAE,WAAW,EAAE,CAAC;AAChD,CAAC;AAED,SAAS,KAAK,CACZ,MAAc,EACd,EAAe,EACf,gBAAwB,EACxB,OAAe,EACf,OAAgB,EAChB,cAAc,GAAmB,SAAS,EAC1C,IAAa;IAEb,OAAO;QACL,MAAM;QACN,cAAc;QACd,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACvC,SAAS,EAAE;YACT,EAAE;YACF,OAAO;YACP,KAAK,EAAE,uBAAuB;YAC9B,gBAAgB;YAChB,OAAO;SACR;KACF,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,cAAc,GAA2B;IACpD,KAAK,CACH,CAAC,EACD,UAAU,EACV,cAAc,EACd,6BAA6B,EAC7B,GAAG,CAAC,CAAC,eAAe,EAAE,2CAA2C,CAAC,EAAE;QAClE,WAAW,EAAE,EAAE,YAAY,EAAE,KAAK,EAAE;QACpC,aAAa,EAAE,CAAC,QAAQ,CAAC;KAC1B,CAAC,CACH;IACD,KAAK,CACH,CAAC,EACD,UAAU,EACV,cAAc,EACd,mBAAmB,EACnB,GAAG,CAAC,CAAC,iBAAiB,EAAE,yCAAyC,CAAC,EAAE;QAClE,aAAa,EAAE,CAAC,SAAS,CAAC;KAC3B,CAAC,CACH;IACD,KAAK,CACH,CAAC,EACD,UAAU,EACV,YAAY,EACZ,+BAA+B,EAC/B,GAAG,CAAC,CAAC,uDAAuD,CAAC,CAAC,EAC9D,cAAc,EACd,kFAAkF;QAChF,gFAAgF,CACnF;IACD,KAAK,CACH,CAAC,EACD,UAAU,EACV,eAAe,EACf,iCAAiC,EACjC,GAAG,CAAC;QACF,kCAAkC;QAClC,gDAAgD;KACjD,CAAC,CACH;IACD,KAAK,CACH,CAAC,EACD,UAAU,EACV,SAAS,EACT,yBAAyB,EACzB,GAAG,CAAC,CAAC,wBAAwB,EAAE,eAAe,CAAC,EAAE,EAAE,aAAa,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC,EACvF,SAAS,EACT,4BAA4B,CAC7B;IACD,KAAK,CACH,CAAC,EACD,UAAU,EACV,gBAAgB,EAChB,sBAAsB,EACtB,GAAG,CAAC,CAAC,kBAAkB,EAAE,0BAA0B,EAAE,qBAAqB,CAAC,CAAC,CAC7E;IACD,KAAK,CACH,CAAC,EACD,UAAU,EACV,GAAG,YAAY,oCAAoC,EACnD,gDAAgD,EAChD,GAAG,CAAC,CAAC,oCAAoC,EAAE,wBAAwB,CAAC,CAAC,EACrE,SAAS,EACT,sFAAsF;QACpF,wFAAwF;QACxF,wFAAwF,CAC3F;IACD,KAAK,CACH,CAAC,EACD,UAAU,EACV,+BAA+B,EAC/B,0BAA0B,EAC1B,GAAG,CAAC;QACF,6BAA6B;QAC7B,mDAAmD;KACpD,EAAE,EAAE,WAAW,EAAE,EAAE,eAAe,EAAE,MAAM,EAAE,EAAE,CAAC,CACjD;IACD,KAAK,CACH,CAAC,EACD,UAAU,EACV,wBAAwB,EACxB,oBAAoB,EACpB,GAAG,CAAC,CAAC,mBAAmB,EAAE,cAAc,CAAC,CAAC,CAC3C;IACD,KAAK,CACH,EAAE,EACF,WAAW,EACX,SAAS,EACT,qBAAqB,EACrB,GAAG,CAAC,CAAC,mBAAmB,EAAE,eAAe,EAAE,OAAO,CAAC,CAAC,CACrD;IACD,KAAK,CACH,EAAE,EACF,WAAW,EACX,cAAc,EACd,oBAAoB,EACpB,GAAG,CAAC,CAAC,0BAA0B,EAAE,0BAA0B,CAAC,EAAE;QAC5D,gEAAgE;QAChE,2DAA2D;QAC3D,qEAAqE;QACrE,0DAA0D;QAC1D,QAAQ,EAAE,CAAC,uBAAuB,CAAC;KACpC,CAAC,CACH;IACD,KAAK,CACH,EAAE,EACF,WAAW,EACX,kBAAkB,EAClB,iCAAiC,EACjC,GAAG,CAAC,CAAC,YAAY,EAAE,aAAa,EAAE,cAAc,CAAC,CAAC,CACnD;IACD,KAAK,CACH,EAAE,EACF,WAAW,EACX,wCAAwC,EACxC,gCAAgC,EAChC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CACf;IACD,KAAK,CACH,EAAE,EACF,WAAW,EACX,YAAY,EACZ,gCAAgC,EAChC,GAAG,CAAC,CAAC,uDAAuD,CAAC,CAAC,EAC9D,cAAc,EACd,mFAAmF;QACjF,gFAAgF,CACnF;IACD,KAAK,CACH,EAAE,EACF,WAAW,EACX,gDAAgD,EAChD,yBAAyB,EACzB,GAAG,CAAC,CAAC,2BAA2B,EAAE,0BAA0B,CAAC,CAAC,CAC/D;IACD,KAAK,CACH,EAAE,EACF,WAAW,EACX,mCAAmC,EACnC,6CAA6C,EAC7C,GAAG,CAAC,CAAC,iBAAiB,EAAE,yCAAyC,EAAE,gBAAgB,CAAC,EAAE;QACpF,WAAW,EAAE,EAAE,eAAe,EAAE,MAAM,EAAE;KACzC,CAAC,CACH;CACF,CAAC;AAEF;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,CAAC,MAAM,YAAY,GAAyB;IAChD;QACE,EAAE,EAAE,4BAA4B;QAChC,OAAO,EAAE;YACP,WAAW,EAAE,CAAC,4BAA4B,EAAE,mCAAmC,CAAC;YAChF,QAAQ,EAAE,EAAE;SACb;QACD,KAAK,EAAE,uBAAuB;QAC9B,gBAAgB,EAAE,QAAQ;QAC1B,OAAO,EAAE,sCAAsC;KAChD;IACD;QACE,EAAE,EAAE,mBAAmB;QACvB,OAAO,EAAE;YACP,WAAW,EAAE;gBACX,0CAA0C;gBAC1C,4BAA4B;aAC7B;YACD,QAAQ,EAAE,EAAE;SACb;QACD,KAAK,EAAE,uBAAuB;QAC9B,gBAAgB,EAAE,gEAAgE;QAClF,OAAO,EAAE,mBAAmB;KAC7B;IACD;QACE,EAAE,EAAE,0BAA0B;QAC9B,OAAO,EAAE;YACP,WAAW,EAAE,CAAC,mCAAmC,EAAE,wBAAwB,CAAC;YAC5E,QAAQ,EAAE,EAAE;SACb;QACD,KAAK,EAAE,uBAAuB;QAC9B,gBAAgB,EAAE,0CAA0C;QAC5D,OAAO,EAAE,yBAAyB;KACnC;IACD;QACE,EAAE,EAAE,yBAAyB;QAC7B,OAAO,EAAE;YACP,WAAW,EAAE,CAAC,gBAAgB,EAAE,yCAAyC,CAAC;YAC1E,QAAQ,EAAE,EAAE;SACb;QACD,KAAK,EAAE,uBAAuB;QAC9B,gBAAgB,EACd,0FAA0F;QAC5F,OAAO,EAAE,mBAAmB;KAC7B;IACD;QACE,EAAE,EAAE,iCAAiC;QACrC,OAAO,EAAE;YACP,WAAW,EAAE;gBACX,+CAA+C;gBAC/C,iBAAiB;aAClB;YACD,QAAQ,EAAE,EAAE;SACb;QACD,KAAK,EAAE,uBAAuB;QAC9B,gBAAgB,EACd,8FAA8F;QAChG,OAAO,EAAE,uBAAuB;KACjC;CACF,CAAC;AAEF;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAyB;IACzD;QACE,EAAE,EAAE,iCAAiC;QACrC,OAAO,EAAE;YACP,WAAW,EAAE,CAAC,0BAA0B,EAAE,0BAA0B,CAAC;YACrE,QAAQ,EAAE,CAAC,uBAAuB,CAAC;SACpC;QACD,KAAK,EAAE,uBAAuB;QAC9B,gBAAgB,EAAE,mDAAmD;QACrE,OAAO,EAAE,mCAAmC;KAC7C;IACD;QACE,EAAE,EAAE,wCAAwC;QAC5C,OAAO,EAAE;YACP,WAAW,EAAE;gBACX,uBAAuB;gBACvB,iDAAiD;gBACjD,4BAA4B;aAC7B;YACD,QAAQ,EAAE,EAAE;SACb;QACD,KAAK,EAAE,uBAAuB;QAC9B,gBAAgB,EAAE,qDAAqD;QACvE,OAAO,EAAE,yCAAyC;KACnD;IACD;QACE,EAAE,EAAE,+BAA+B;QACnC,OAAO,EAAE;YACP,WAAW,EAAE,CAAC,mDAAmD,CAAC;YAClE,QAAQ,EAAE,EAAE;SACb;QACD,KAAK,EAAE,uBAAuB;QAC9B,gBAAgB,EAAE,gEAAgE;QAClF,OAAO,EAAE,qBAAqB;KAC/B;CACF,CAAC;AAEF,8EAA8E;AAC9E,MAAM,CAAC,MAAM,qBAAqB,GAAyB;IACzD,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IACzC,GAAG,YAAY;IACf,GAAG,qBAAqB;CACzB,CAAC;AAEF,uDAAuD;AACvD,MAAM,OAAO,oBAAqB,SAAQ,KAAK;IAC7C,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,sBAAsB,CAAC;IACrC,CAAC;CACF;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,UAAU,mBAAmB,CACjC,UAAU,GAAyB,qBAAqB,EACxD,OAAO,GAA2B,cAAc;IAEhD,MAAM,GAAG,GAAG,IAAI,GAAG,EAA0B,CAAC;IAC9C,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;YAClB,MAAM,IAAI,oBAAoB,CAC5B,2BAA2B,CAAC,CAAC,EAAE,wDAAwD,CACxF,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvC,MAAM,IAAI,oBAAoB,CAC5B,cAAc,CAAC,CAAC,EAAE,yEAAyE,CAC5F,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;YACxB,MAAM,IAAI,oBAAoB,CAC5B,cAAc,CAAC,CAAC,EAAE,2EAA2E,CAC9F,CAAC;QACJ,CAAC;QACD,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IACnB,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,IAAI,CAAC,CAAC,cAAc,KAAK,SAAS,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,EAAE,CAAC;YAC9E,MAAM,IAAI,oBAAoB,CAC5B,SAAS,CAAC,CAAC,MAAM,QAAQ,CAAC,CAAC,cAAc,wBAAwB;gBAC/D,+CAA+C,CAClD,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,oCAAoC;AACpC,MAAM,CAAC,MAAM,eAAe,GAAwC,mBAAmB,EAAE,CAAC;AAE1F,mFAAmF;AACnF,MAAM,UAAU,WAAW,CAAC,MAAc;IACxC,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;IAC9D,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,MAAM,IAAI,UAAU,CAAC,yBAAyB,MAAM,uBAAuB,CAAC,CAAC;IAC/E,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,mFAAmF;AACnF,MAAM,UAAU,QAAQ,CAAC,MAAc;IACrC,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC;AAC1C,CAAC"}
+{"version":3,"file":"statements.js","sourceRoot":"","sources":["../../../src/atlas/poster/statements.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkDG;AAYH;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAY,yBAAyB,CAAC;AAE1E,4EAA4E;AAC5E,MAAM,CAAC,MAAM,YAAY,GAAG,cAAc,CAAC;AAE3C;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,CAAC,MAAM,4BAA4B,GACvC,0FAA0F;IAC1F,4FAA4F;IAC5F,yFAAyF,CAAC;AAgB5F,uFAAuF;AACvF,SAAS,GAAG,CACV,WAA8B,EAC9B,IAAI,GAA0C,EAAE;IAEhD,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,GAAG,IAAI,EAAE,WAAW,EAAE,CAAC;AAChD,CAAC;AAED,SAAS,KAAK,CACZ,MAAc,EACd,EAAe,EACf,gBAAwB,EACxB,OAAe,EACf,OAAgB,EAChB,cAAc,GAAmB,SAAS,EAC1C,IAAa;IAEb,OAAO;QACL,MAAM;QACN,cAAc;QACd,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACvC,SAAS,EAAE;YACT,EAAE;YACF,OAAO;YACP,KAAK,EAAE,uBAAuB;YAC9B,gBAAgB;YAChB,OAAO;SACR;KACF,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,cAAc,GAA2B;IACpD,KAAK,CACH,CAAC,EACD,UAAU,EACV,cAAc,EACd,6BAA6B,EAC7B,GAAG,CAAC,CAAC,eAAe,EAAE,2CAA2C,CAAC,EAAE;QAClE,WAAW,EAAE,EAAE,YAAY,EAAE,KAAK,EAAE;QACpC,aAAa,EAAE,CAAC,QAAQ,CAAC;KAC1B,CAAC,CACH;IACD,KAAK,CACH,CAAC,EACD,UAAU,EACV,cAAc,EACd,mBAAmB,EACnB,GAAG,CAAC,CAAC,iBAAiB,EAAE,yCAAyC,CAAC,EAAE;QAClE,aAAa,EAAE,CAAC,SAAS,CAAC;KAC3B,CAAC,CACH;IACD,KAAK,CACH,CAAC,EACD,UAAU,EACV,YAAY,EACZ,+BAA+B,EAC/B,GAAG,CAAC,CAAC,uDAAuD,CAAC,CAAC,EAC9D,cAAc,EACd,kFAAkF;QAChF,gFAAgF,CACnF;IACD,KAAK,CACH,CAAC,EACD,UAAU,EACV,eAAe,EACf,iCAAiC,EACjC,GAAG,CAAC;QACF,kCAAkC;QAClC,gDAAgD;KACjD,CAAC,CACH;IACD,KAAK,CACH,CAAC,EACD,UAAU,EACV,SAAS,EACT,yBAAyB,EACzB,GAAG,CAAC,CAAC,wBAAwB,EAAE,eAAe,CAAC,EAAE,EAAE,aAAa,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC,EACvF,SAAS,EACT,4BAA4B,CAC7B;IACD,KAAK,CACH,CAAC,EACD,UAAU,EACV,gBAAgB,EAChB,sBAAsB,EACtB,GAAG,CAAC,CAAC,kBAAkB,EAAE,0BAA0B,EAAE,qBAAqB,CAAC,CAAC,CAC7E;IACD,KAAK,CACH,CAAC,EACD,UAAU,EACV,GAAG,YAAY,oCAAoC,EACnD,gDAAgD,EAChD,GAAG,CAAC,CAAC,oCAAoC,EAAE,wBAAwB,CAAC,CAAC,EACrE,SAAS,EACT,sFAAsF;QACpF,wFAAwF;QACxF,wFAAwF,CAC3F;IACD,KAAK,CACH,CAAC,EACD,UAAU,EACV,+BAA+B,EAC/B,0BAA0B,EAC1B,GAAG,CAAC;QACF,6BAA6B;QAC7B,mDAAmD;KACpD,EAAE,EAAE,WAAW,EAAE,EAAE,eAAe,EAAE,MAAM,EAAE,EAAE,CAAC,CACjD;IACD,KAAK,CACH,CAAC,EACD,UAAU,EACV,wBAAwB,EACxB,oBAAoB,EACpB,GAAG,CAAC,CAAC,mBAAmB,EAAE,cAAc,CAAC,CAAC,CAC3C;IACD,KAAK,CACH,EAAE,EACF,WAAW,EACX,SAAS,EACT,qBAAqB,EACrB,GAAG,CAAC,CAAC,mBAAmB,EAAE,eAAe,EAAE,OAAO,CAAC,CAAC,CACrD;IACD,KAAK,CACH,EAAE,EACF,WAAW,EACX,cAAc,EACd,oBAAoB,EACpB,GAAG,CAAC,CAAC,0BAA0B,EAAE,0BAA0B,CAAC,EAAE;QAC5D,gEAAgE;QAChE,2DAA2D;QAC3D,qEAAqE;QACrE,0DAA0D;QAC1D,QAAQ,EAAE,CAAC,uBAAuB,CAAC;KACpC,CAAC,CACH;IACD,KAAK,CACH,EAAE,EACF,WAAW,EACX,kBAAkB,EAClB,iCAAiC,EACjC,GAAG,CAAC,CAAC,YAAY,EAAE,aAAa,EAAE,cAAc,CAAC,CAAC,CACnD;IACD,KAAK,CACH,EAAE,EACF,WAAW,EACX,wCAAwC,EACxC,gCAAgC,EAChC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CACf;IACD,KAAK,CACH,EAAE,EACF,WAAW,EACX,YAAY,EACZ,gCAAgC,EAChC,GAAG,CAAC,CAAC,uDAAuD,CAAC,CAAC,EAC9D,cAAc,EACd,mFAAmF;QACjF,gFAAgF,CACnF;IACD,KAAK,CACH,EAAE,EACF,WAAW,EACX,gDAAgD,EAChD,yBAAyB,EACzB,GAAG,CAAC,CAAC,2BAA2B,EAAE,0BAA0B,CAAC,CAAC,CAC/D;IACD,KAAK,CACH,EAAE,EACF,WAAW,EACX,mCAAmC,EACnC,6CAA6C,EAC7C,GAAG,CAAC,CAAC,iBAAiB,EAAE,yCAAyC,EAAE,gBAAgB,CAAC,EAAE;QACpF,WAAW,EAAE,EAAE,eAAe,EAAE,MAAM,EAAE;KACzC,CAAC,CACH;CACF,CAAC;AAEF;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,CAAC,MAAM,YAAY,GAAyB;IAChD;QACE,EAAE,EAAE,4BAA4B;QAChC,OAAO,EAAE;YACP,WAAW,EAAE,CAAC,4BAA4B,EAAE,mCAAmC,CAAC;YAChF,QAAQ,EAAE,EAAE;SACb;QACD,KAAK,EAAE,uBAAuB;QAC9B,gBAAgB,EAAE,QAAQ;QAC1B,OAAO,EAAE,sCAAsC;KAChD;IACD;QACE,EAAE,EAAE,mBAAmB;QACvB,OAAO,EAAE;YACP,WAAW,EAAE;gBACX,0CAA0C;gBAC1C,4BAA4B;aAC7B;YACD,QAAQ,EAAE,EAAE;SACb;QACD,KAAK,EAAE,uBAAuB;QAC9B,gBAAgB,EAAE,gEAAgE;QAClF,OAAO,EAAE,mBAAmB;KAC7B;IACD;QACE,EAAE,EAAE,0BAA0B;QAC9B,OAAO,EAAE;YACP,WAAW,EAAE,CAAC,mCAAmC,EAAE,wBAAwB,CAAC;YAC5E,QAAQ,EAAE,EAAE;SACb;QACD,KAAK,EAAE,uBAAuB;QAC9B,gBAAgB,EAAE,0CAA0C;QAC5D,OAAO,EAAE,yBAAyB;KACnC;IACD;QACE,EAAE,EAAE,yBAAyB;QAC7B,OAAO,EAAE;YACP,WAAW,EAAE,CAAC,gBAAgB,EAAE,yCAAyC,CAAC;YAC1E,QAAQ,EAAE,EAAE;SACb;QACD,KAAK,EAAE,uBAAuB;QAC9B,gBAAgB,EACd,0FAA0F;QAC5F,OAAO,EAAE,mBAAmB;KAC7B;IACD;QACE,EAAE,EAAE,iCAAiC;QACrC,OAAO,EAAE;YACP,WAAW,EAAE;gBACX,+CAA+C;gBAC/C,iBAAiB;aAClB;YACD,QAAQ,EAAE,EAAE;SACb;QACD,KAAK,EAAE,uBAAuB;QAC9B,gBAAgB,EACd,8FAA8F;QAChG,OAAO,EAAE,uBAAuB;KACjC;CACF,CAAC;AAEF;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAyB;IACzD;QACE,EAAE,EAAE,iCAAiC;QACrC,OAAO,EAAE;YACP,WAAW,EAAE,CAAC,0BAA0B,EAAE,0BAA0B,CAAC;YACrE,QAAQ,EAAE,CAAC,uBAAuB,CAAC;SACpC;QACD,KAAK,EAAE,uBAAuB;QAC9B,gBAAgB,EAAE,mDAAmD;QACrE,OAAO,EAAE,mCAAmC;KAC7C;IACD;QACE,EAAE,EAAE,wCAAwC;QAC5C,OAAO,EAAE;YACP,WAAW,EAAE;gBACX,uBAAuB;gBACvB,iDAAiD;gBACjD,4BAA4B;aAC7B;YACD,QAAQ,EAAE,EAAE;SACb;QACD,KAAK,EAAE,uBAAuB;QAC9B,gBAAgB,EAAE,qDAAqD;QACvE,OAAO,EAAE,yCAAyC;KACnD;IACD;QACE,EAAE,EAAE,+BAA+B;QACnC,OAAO,EAAE;YACP,WAAW,EAAE,CAAC,mDAAmD,CAAC;YAClE,QAAQ,EAAE,EAAE;SACb;QACD,KAAK,EAAE,uBAAuB;QAC9B,gBAAgB,EAAE,gEAAgE;QAClF,OAAO,EAAE,qBAAqB;KAC/B;CACF,CAAC;AAEF,8EAA8E;AAC9E,MAAM,CAAC,MAAM,qBAAqB,GAAyB;IACzD,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IACzC,GAAG,YAAY;IACf,GAAG,qBAAqB;CACzB,CAAC;AAEF,uDAAuD;AACvD,MAAM,OAAO,oBAAqB,SAAQ,KAAK;IAC7C,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,sBAAsB,CAAC;IACrC,CAAC;CACF;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,UAAU,mBAAmB,CACjC,UAAU,GAAyB,qBAAqB,EACxD,OAAO,GAA2B,cAAc;IAEhD,MAAM,GAAG,GAAG,IAAI,GAAG,EAA0B,CAAC;IAC9C,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;YAClB,MAAM,IAAI,oBAAoB,CAC5B,2BAA2B,CAAC,CAAC,EAAE,wDAAwD,CACxF,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvC,MAAM,IAAI,oBAAoB,CAC5B,cAAc,CAAC,CAAC,EAAE,yEAAyE,CAC5F,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;YACxB,MAAM,IAAI,oBAAoB,CAC5B,cAAc,CAAC,CAAC,EAAE,2EAA2E,CAC9F,CAAC;QACJ,CAAC;QACD,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IACnB,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,IAAI,CAAC,CAAC,cAAc,KAAK,SAAS,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,EAAE,CAAC;YAC9E,MAAM,IAAI,oBAAoB,CAC5B,SAAS,CAAC,CAAC,MAAM,QAAQ,CAAC,CAAC,cAAc,wBAAwB;gBAC/D,+CAA+C,CAClD,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,oCAAoC;AACpC,MAAM,CAAC,MAAM,eAAe,GAAwC,mBAAmB,EAAE,CAAC;AAE1F,mFAAmF;AACnF,MAAM,UAAU,WAAW,CAAC,MAAc;IACxC,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;IAC9D,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,MAAM,IAAI,UAAU,CAAC,yBAAyB,MAAM,uBAAuB,CAAC,CAAC;IAC/E,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,mFAAmF;AACnF,MAAM,UAAU,QAAQ,CAAC,MAAc;IACrC,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC;AAC1C,CAAC","sourcesContent":["/**\n * Atlas Phase 3 — the poster's sixteen entries, its five hidden supporting\n * nodes, and the three conservation statements its edges conclude in.\n *\n * ## The one rule this module exists to obey\n *\n * **Blueprint v2's Appendix A is NOT in this repo.** `ROADMAP.md` Phase 3\n * states the fifteen typed edge lines and the five hidden nodes in full, and\n * it references the sixteen entries BY NUMBER in identifying context — but no\n * file here maps number → name. Design note\n * `docs/planning/Atlas-Phase-3-Design.md` §5 is explicit about what follows:\n * *\"Transcribe or derive each entry from a stated source; never invent one to\n * fill a gap.\"*\n *\n * So every entry below carries an {@link Identification}, and it is a FIELD\n * rather than a comment because a comment cannot be tested. Three values:\n *\n * - `'derived'` — the edge lines pin it. `10 → 9` restriction with *\"separate\n *   frame content in 9\"*, `11 → momentum conservation … converse fails … fails\n *   naively when fields carry momentum`: those three lines are Newton's\n *   second, first and third laws and nothing else.\n * - `'partial'` — the lines pin a FAMILY but not the member. Entry 7 is a\n *   Maxwell equation (the line distinguishes it from *\"the full Maxwell\n *   system\"*, which is a hidden node — `never from 7 alone`), but which of the\n *   four it is, is not recoverable. Entry 5 is read here as `E = mc²`; see\n *   {@link POSTER_5_IDENTIFICATION_NOTE}.\n * - `'unidentified'` — entries 3 and 14, which `ROADMAP.md` names exactly\n *   once, in `3, 14 → * association only`. Nothing there identifies them. They\n *   are recorded as placeholders WITH THEIR NUMBERS and no physics, because a\n *   plausible guess would be uncheckable, and an honest gap beats it.\n *\n * **The edges do not depend on any of this.** Every record in\n * `./derivations.ts` and `./associations.ts` references entries by NUMBER, so\n * a mis-identified NAME cannot corrupt an edge type. That separation is\n * deliberate: the numbers come from a stated source, the names are an\n * inference over it, and only one of them is load-bearing.\n *\n * ## `ast?` is absent everywhere here, on purpose\n *\n * `statement.ts` §1 already argues it: the hidden nodes are valuable because\n * they are NAMED and LINKED, not evaluable, and requiring an `ast` would force\n * a fabricated encoding. The same holds for the sixteen — this module records\n * poster claims, not evaluable equations — so every statement here carries an\n * honest `sourceExpression` and no `ast`, and {@link buildPosterRegistry}\n * refuses one that carries an `ast` it cannot have earned.\n *\n * Pure: no I/O. Imports `../statement.js` and `../model.js` types only, so\n * this module is a leaf under `src/atlas/` and closes no cycle.\n *\n * @module atlas/poster/statements\n */\n\nimport type { Context, Statement, StatementId } from '../statement.js';\nimport type { ModelId } from '../model.js';\n\n/**\n * How firmly an entry's IDENTITY is pinned by a source in this repo.\n *\n * @internal\n */\nexport type Identification = 'derived' | 'partial' | 'unidentified';\n\n/**\n * The `ModelId` every poster statement carries.\n *\n * Phase 3 records a `Model` for the nine oscillator models and for nothing\n * else. A poster entry has no state space, dynamics or parameter list in this\n * repo, so every per-entry model id available here would be invented — and an\n * invented `'model-newtonian-mechanics'` would read, to the next sprint,\n * exactly like a model someone recorded.\n *\n * One shared sentinel instead, which says what is true: no model is recorded.\n * `tests/atlas/poster-statements.test.ts` pins that no poster statement claims\n * an oscillator model id.\n *\n * @internal\n */\nexport const POSTER_MODEL_UNRECORDED: ModelId = 'model-poster-unrecorded';\n\n/** What `3, 14 → *` puts in `sourceExpression`. Never a guess. @internal */\nexport const UNIDENTIFIED = 'UNIDENTIFIED';\n\n/**\n * Why entry 5 is `'partial'` and not `'derived'`.\n *\n * Two edge lines constrain it and they pull in different directions.\n * `16 → 5, 10` is an approximation in `v/c` *\"needing `E = γmc²`, `p = γmv`,\n * `F = dp/dt`\"*, which reads as `E = mc²` reached from `E = γmc²`.\n * `5, 16 → 8 constrain but do not determine` is, in the usual telling, the\n * Newtonian-limit-plus-special-relativity constraint on the field equations,\n * which would make 5 Newton's law of universal gravitation.\n *\n * It cannot be both, and `8 → 12` — approximation then *\"restriction to a\n * point source\"* — already lands on universal gravitation at 12. Two entries\n * cannot be the same law, so 5 is read as `E = mc²` here. The reading is\n * RECORDED rather than asserted: the entry stays `'partial'`, and no edge\n * depends on it, because every edge references 5 by number.\n *\n * @internal\n */\nexport const POSTER_5_IDENTIFICATION_NOTE =\n  \"entry 5 is read as E = mc² because 8 → 12 already lands on universal gravitation at 12, \" +\n  \"so the alternative reading of '5, 16 → 8' (the Newtonian limit) would duplicate entry 12; \" +\n  'no edge in this module depends on the reading — all fifteen reference entries by number';\n\n/**\n * One of the sixteen, with its number and how firmly its identity is pinned.\n *\n * @internal\n */\nexport interface PosterEntry {\n  /** 1–16, as every `ROADMAP.md` Phase 3 edge line references it. */\n  readonly number: number;\n  readonly statement: Statement;\n  readonly identification: Identification;\n  /** Required when `identification !== 'derived'`: what is unresolved, and why. */\n  readonly note?: string;\n}\n\n/** Terse `Context` builder. `assumptions` is required; `excludes` defaults to none. */\nfunction ctx(\n  assumptions: readonly string[],\n  over: Partial<Omit<Context, 'assumptions'>> = {},\n): Context {\n  return { excludes: [], ...over, assumptions };\n}\n\nfunction entry(\n  number: number,\n  id: StatementId,\n  sourceExpression: string,\n  display: string,\n  context: Context,\n  identification: Identification = 'derived',\n  note?: string,\n): PosterEntry {\n  return {\n    number,\n    identification,\n    ...(note !== undefined ? { note } : {}),\n    statement: {\n      id,\n      context,\n      model: POSTER_MODEL_UNRECORDED,\n      sourceExpression,\n      display,\n    },\n  };\n}\n\n/**\n * The sixteen poster entries, in poster order.\n *\n * Every `context.assumptions` is non-empty. Where `ROADMAP.md` states the\n * qualification, it is used verbatim in substance: entry 11's *\"fields carry\n * no momentum\"* (and the matching `excludes`, which is the one genuinely\n * reachable context refusal in this data — see `./derivations.ts`), entry\n * 13's `σ > 0`. Where it does not, the assumption is the standard statement\n * of the entry's own validity and nothing more; none of them adds a claim.\n *\n * @internal\n */\nexport const POSTER_ENTRIES: readonly PosterEntry[] = [\n  entry(\n    1,\n    'poster-1',\n    'dU = δQ − δW',\n    'First law of thermodynamics',\n    ctx(['closed system', 'heat and work are defined for the process'], {\n      conventions: { heatWorkSign: 'Q-W' },\n      quantityTypes: ['energy'],\n    }),\n  ),\n  entry(\n    2,\n    'poster-2',\n    'S = k_B ln W',\n    'Boltzmann entropy',\n    ctx(['isolated system', 'accessible microstates are equiprobable'], {\n      quantityTypes: ['entropy'],\n    }),\n  ),\n  entry(\n    3,\n    'poster-3',\n    UNIDENTIFIED,\n    'Poster entry 3 (unidentified)',\n    ctx(['unidentified: no source in this repo names this entry']),\n    'unidentified',\n    \"ROADMAP.md Phase 3 names entry 3 exactly once, in '3, 14 → * association only', \" +\n      'which identifies nothing about it; Blueprint v2 Appendix A is not in this repo',\n  ),\n  entry(\n    4,\n    'poster-4',\n    'σ_x σ_p ≥ ħ/2',\n    'Heisenberg uncertainty relation',\n    ctx([\n      'canonical commutator [x, p] = iħ',\n      'the state lies in the domain of both operators',\n    ]),\n  ),\n  entry(\n    5,\n    'poster-5',\n    'E = mc²',\n    'Mass–energy equivalence',\n    ctx(['rest frame of the body', 'isolated body'], { quantityTypes: ['energy', 'mass'] }),\n    'partial',\n    POSTER_5_IDENTIFICATION_NOTE,\n  ),\n  entry(\n    6,\n    'poster-6',\n    'iħ ∂_t ψ = Ĥ ψ',\n    'Schrödinger equation',\n    ctx(['non-relativistic', 'self-adjoint Hamiltonian', 'fixed Hilbert space']),\n  ),\n  entry(\n    7,\n    'poster-7',\n    `${UNIDENTIFIED} (one equation of the Maxwell set)`,\n    'A Maxwell equation (which one is unidentified)',\n    ctx(['macroscopic electromagnetic fields', 'the stated unit system']),\n    'partial',\n    \"the '7 ↔ 16' line says the derivation route runs from 'the full Maxwell system' and \" +\n      \"'never from 7 alone', so entry 7 is ONE equation of the set; which of the four is not \" +\n      'recoverable from any source in this repo. The full system is statement-maxwell-system.',\n  ),\n  entry(\n    8,\n    'poster-8',\n    'G_μν + Λ g_μν = (8πG/c⁴) T_μν',\n    'Einstein field equations',\n    ctx([\n      'pseudo-Riemannian spacetime',\n      'the stress-energy tensor is covariantly conserved',\n    ], { conventions: { metricSignature: '-+++' } }),\n  ),\n  entry(\n    9,\n    'poster-9',\n    'net F = 0 ⇒ v constant',\n    \"Newton's first law\",\n    ctx(['an inertial frame', 'no net force']),\n  ),\n  entry(\n    10,\n    'poster-10',\n    'F = m a',\n    \"Newton's second law\",\n    ctx(['an inertial frame', 'constant mass', 'v ≪ c']),\n  ),\n  entry(\n    11,\n    'poster-11',\n    'F_12 = −F_21',\n    \"Newton's third law\",\n    ctx(['isolated particle system', 'fields carry no momentum'], {\n      // The one exclusion this data states, and ROADMAP.md states it:\n      // entry 11 \"fails naively when fields carry momentum\". The\n      // field-inclusive momentum statement ASSUMES the excluded string, so\n      // pooling the two is refused rather than silently merged.\n      excludes: ['fields carry momentum'],\n    }),\n  ),\n  entry(\n    12,\n    'poster-12',\n    'F = G m₁ m₂ / r²',\n    'Newtonian universal gravitation',\n    ctx(['weak field', 'slow motion', 'point masses']),\n  ),\n  entry(\n    13,\n    'poster-13',\n    'p(x) = (1/(σ√(2π))) exp(−(x−μ)²/(2σ²))',\n    'Normal (Gaussian) distribution',\n    ctx(['σ > 0']),\n  ),\n  entry(\n    14,\n    'poster-14',\n    UNIDENTIFIED,\n    'Poster entry 14 (unidentified)',\n    ctx(['unidentified: no source in this repo names this entry']),\n    'unidentified',\n    \"ROADMAP.md Phase 3 names entry 14 exactly once, in '3, 14 → * association only', \" +\n      'which identifies nothing about it; Blueprint v2 Appendix A is not in this repo',\n  ),\n  entry(\n    15,\n    'poster-15',\n    'ψ = c₁ψ₁ + c₂ψ₂ is a state whenever ψ₁, ψ₂ are',\n    'Superposition principle',\n    ctx(['linear evolution equation', 'Hilbert-space kinematics']),\n  ),\n  entry(\n    16,\n    'poster-16',\n    \"t' = γ(t − vx/c²), x' = γ(x − vt)\",\n    'Lorentz transformation (special relativity)',\n    ctx(['inertial frames', 'the speed of light is frame-independent', 'flat spacetime'], {\n      conventions: { metricSignature: '-+++' },\n    }),\n  ),\n];\n\n/**\n * The five hidden supporting nodes, named by `ROADMAP.md` Phase 3 and by no\n * other source.\n *\n * They are the deliverable precisely as named — `docs/planning/Atlas-Phase-3-Design.md`\n * §8 puts *\"evaluating hidden supporting nodes\"* explicitly out of scope — so\n * each carries a prose `sourceExpression` and no `ast`.\n *\n * `statement-lorentz-group` is what the `7 ↔ 16` line calls *\"spacetime\n * structure\"* in the hyperedge `{full Maxwell system, spacetime structure} →\n * 16`. That identification is an inference: `ROADMAP.md` names exactly five\n * hidden nodes and the Lorentz group is the only one of the five that can\n * BE spacetime structure. It is recorded here rather than silently assumed,\n * and `./derivations.ts` repeats it in the hyperedge's side conditions.\n *\n * @internal\n */\nexport const HIDDEN_NODES: readonly Statement[] = [\n  {\n    id: 'statement-action-principle',\n    context: {\n      assumptions: ['a stated action functional', 'variations vanish on the boundary'],\n      excludes: [],\n    },\n    model: POSTER_MODEL_UNRECORDED,\n    sourceExpression: 'δS = 0',\n    display: 'Action principle (stationary action)',\n  },\n  {\n    id: 'statement-noether',\n    context: {\n      assumptions: [\n        'a continuous symmetry of a stated action',\n        'the action principle holds',\n      ],\n      excludes: [],\n    },\n    model: POSTER_MODEL_UNRECORDED,\n    sourceExpression: 'a continuous symmetry of the action yields a conserved current',\n    display: \"Noether's theorem\",\n  },\n  {\n    id: 'statement-maxwell-system',\n    context: {\n      assumptions: ['all four equations taken together', 'the stated unit system'],\n      excludes: [],\n    },\n    model: POSTER_MODEL_UNRECORDED,\n    sourceExpression: 'the four Maxwell equations as one system',\n    display: 'The full Maxwell system',\n  },\n  {\n    id: 'statement-lorentz-group',\n    context: {\n      assumptions: ['flat spacetime', 'the speed of light is frame-independent'],\n      excludes: [],\n    },\n    model: POSTER_MODEL_UNRECORDED,\n    sourceExpression:\n      'the group of transformations preserving the Minkowski interval (the spacetime structure)',\n    display: 'The Lorentz group',\n  },\n  {\n    id: 'statement-central-limit-theorem',\n    context: {\n      assumptions: [\n        'independent, identically distributed summands',\n        'finite variance',\n      ],\n      excludes: [],\n    },\n    model: POSTER_MODEL_UNRECORDED,\n    sourceExpression:\n      'the normalized sum of i.i.d. finite-variance terms converges in distribution to a normal law',\n    display: 'Central limit theorem',\n  },\n];\n\n/**\n * The statements the poster's edges CONCLUDE in that are neither a numbered\n * entry nor a hidden node.\n *\n * All three are named by `ROADMAP.md` Phase 3: *\"`11 → momentum\n * conservation`\"*, *\"the field-inclusive version\"*, *\"`1 ↔ energy\n * conservation`\"*. Nothing here is added beyond those names.\n *\n * The two momentum statements are SEPARATE records because the line says the\n * particle version *\"fails naively when fields carry momentum\"*. One record\n * carrying both readings would erase exactly the distinction the line draws,\n * and it is the distinction that makes entry 11's `excludes` bite.\n *\n * @internal\n */\nexport const SUPPORTING_STATEMENTS: readonly Statement[] = [\n  {\n    id: 'statement-momentum-conservation',\n    context: {\n      assumptions: ['isolated particle system', 'fields carry no momentum'],\n      excludes: ['fields carry momentum'],\n    },\n    model: POSTER_MODEL_UNRECORDED,\n    sourceExpression: 'Σ p_i is constant for an isolated particle system',\n    display: 'Momentum conservation (particles)',\n  },\n  {\n    id: 'statement-momentum-conservation-fields',\n    context: {\n      assumptions: [\n        'fields carry momentum',\n        'spatial translation symmetry of a stated action',\n        'stated boundary conditions',\n      ],\n      excludes: [],\n    },\n    model: POSTER_MODEL_UNRECORDED,\n    sourceExpression: 'the total momentum of matter AND fields is constant',\n    display: 'Momentum conservation (field-inclusive)',\n  },\n  {\n    id: 'statement-energy-conservation',\n    context: {\n      assumptions: ['an autonomous model (no explicit time dependence)'],\n      excludes: [],\n    },\n    model: POSTER_MODEL_UNRECORDED,\n    sourceExpression: 'the conserved current of time-translation symmetry is constant',\n    display: 'Energy conservation',\n  },\n];\n\n/** Every statement this poster index defines, in a stable order. @internal */\nexport const POSTER_ALL_STATEMENTS: readonly Statement[] = [\n  ...POSTER_ENTRIES.map((e) => e.statement),\n  ...HIDDEN_NODES,\n  ...SUPPORTING_STATEMENTS,\n];\n\n/** Thrown by {@link buildPosterRegistry}. @internal */\nexport class PosterStatementError extends Error {\n  constructor(message: string) {\n    super(message);\n    this.name = 'PosterStatementError';\n  }\n}\n\n/**\n * The registry `makeDerivation` and `statementContextUnion` resolve against,\n * built through four checks.\n *\n * The checks run HERE, at construction, rather than only in a test, because\n * `./derivations.ts` builds its records against this registry at module load:\n * a defect that reaches the registry reaches every derivation before any test\n * has a chance to look.\n *\n * 1. **No duplicate id.** A later duplicate would silently replace an earlier\n *    statement in the map, and the derivation that consumed it would carry the\n *    wrong context with no symptom.\n * 2. **Non-empty `assumptions`.** The S3.3 requirement, and the reason a\n *    context can refuse at all: an empty one pools with anything.\n * 3. **No `ast`.** Nothing in this module is evaluable (see the module note);\n *    an `ast` here could only have been fabricated.\n * 4. **A non-`'derived'` entry states its `note`.** An unidentified entry\n *    without its reason is indistinguishable from an oversight.\n *\n * The two arguments exist so a TEST can drive these four checks with a\n * defective index through THIS code path rather than a copy of it. A test that\n * reimplements a guard in order to break it proves only that the copy works,\n * which is the vacuous-pass shape the design note names; the copy and the\n * original then drift with nothing reporting it.\n *\n * @throws PosterStatementError on any of the four.\n * @internal\n */\nexport function buildPosterRegistry(\n  statements: readonly Statement[] = POSTER_ALL_STATEMENTS,\n  entries: readonly PosterEntry[] = POSTER_ENTRIES,\n): ReadonlyMap<StatementId, Statement> {\n  const map = new Map<StatementId, Statement>();\n  for (const s of statements) {\n    if (map.has(s.id)) {\n      throw new PosterStatementError(\n        `duplicate statement id '${s.id}'; the later record would silently replace the earlier`,\n      );\n    }\n    if (s.context.assumptions.length === 0) {\n      throw new PosterStatementError(\n        `statement '${s.id}' states no assumptions; every poster statement must state at least one`,\n      );\n    }\n    if (s.ast !== undefined) {\n      throw new PosterStatementError(\n        `statement '${s.id}' carries an ast; poster statements are named and linked, never evaluated`,\n      );\n    }\n    map.set(s.id, s);\n  }\n  for (const e of entries) {\n    if (e.identification !== 'derived' && (e.note === undefined || e.note === '')) {\n      throw new PosterStatementError(\n        `entry ${e.number} is '${e.identification}' but states no note; ` +\n          'an unpinned entry must say what is unresolved',\n      );\n    }\n  }\n  return map;\n}\n\n/** The built registry. @internal */\nexport const POSTER_REGISTRY: ReadonlyMap<StatementId, Statement> = buildPosterRegistry();\n\n/** The entry with this number. @throws RangeError when there is none. @internal */\nexport function posterEntry(number: number): PosterEntry {\n  const found = POSTER_ENTRIES.find((e) => e.number === number);\n  if (found === undefined) {\n    throw new RangeError(`posterEntry: no entry ${number}; the poster has 1–16`);\n  }\n  return found;\n}\n\n/** The statement id of entry `number` — `posterId(9) === 'poster-9'`. @internal */\nexport function posterId(number: number): StatementId {\n  return posterEntry(number).statement.id;\n}\n"]}

package/dist/atlas/proof-target.d.ts

@@ -6,15 +6,19 @@
  * body is absent. Nothing here is written into the catalog, the
  * formal-reference overlay, or the vendored manifest.
  *
- * A units-only survivor carries a covers line that begins with
- * `derivation-step:` and names the hypothesis the dimensional theorem
- * leaves open. The import `PhysJS.Dimensional` is present when that
- * filter named one of its theorems. `Dim` is fixed at `n = 7` in the
- * base order `src/dimensional/types.ts` declares.
+ * A draft is a new target, so its `kind` is `derivation-step`, one of
+ * `FORMAL_REF_KINDS`, stated as its own field and its own `-- kind:` line.
+ * The covers line names the hypothesis the dimensional theorem leaves open
+ * and does not begin with a kind word. A confirmation of a catalog id and a
+ * restatement of a bridge are not new targets: no draft is made for them.
+ * The import `PhysJS.Dimensional` is present when that filter named one of
+ * its theorems. `Dim` is fixed at `n = 7` in the base order
+ * `src/dimensional/types.ts` declares.
  *
  * @module atlas/proof-target
  */
 import type { ChainCandidate } from '../composition/chain-candidate.js';
+import type { FormalRefKind } from '../relations/types.js';
 /** Marker before the draft object the manifest checker can read. @internal */
 export declare const PROOF_TARGET_DRAFT_BEGIN = "PROOF-TARGET-DRAFT-BEGIN";
 /** Marker after the draft object. @internal */
@@ -22,8 +26,10 @@ export declare const PROOF_TARGET_DRAFT_END = "PROOF-TARGET-DRAFT-END";
 /**
  * The draft the comment block renders.
  *
- * The fields are the ones the comment's JSON already carries.
- * `leanProof` stays `absent`. This value is not a manifest entry.
+ * The fields are the ones the comment's JSON already carries. `kind` is a
+ * {@link FormalRefKind}, `derivation-step` for every draft, and `covers`
+ * does not repeat it. `leanProof` stays `absent`. This value is not a
+ * manifest entry.
  *
  * @internal
  */
@@ -31,6 +37,7 @@ export interface ProofTargetDraft {
     readonly key: string;
     readonly bridgeId: string;
     readonly theorem: string;
+    readonly kind: FormalRefKind;
     readonly covers: string;
     readonly coverage: string;
     readonly leanProof: 'absent';
@@ -40,7 +47,8 @@ export interface ProofTargetDraft {
  * The draft `emitProofTarget` renders into the comment block.
  *
  * `seedTheorems` is one PhysJS theorem name per seed step, in chain order.
- * A name that disagrees with the compiled manifest copy is refused.
+ * A name that disagrees with the compiled manifest copy is refused, and so
+ * is a confirmation or a restatement candidate, which is not a new target.
  * The object is not written anywhere.
  *
  * @internal

package/dist/atlas/proof-target.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"proof-target.d.ts","sourceRoot":"","sources":["../../src/atlas/proof-target.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,mCAAmC,CAAC;AAGxE,8EAA8E;AAC9E,eAAO,MAAM,wBAAwB,6BAA6B,CAAC;AAEnE,+CAA+C;AAC/C,eAAO,MAAM,sBAAsB,2BAA2B,CAAC;AA0F/D;;;;;;;GAOG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;CACpC;AAED;;;;;;;;GAQG;AACH,wBAAgB,gBAAgB,CAC9B,SAAS,EAAE,cAAc,EACzB,YAAY,EAAE,SAAS,MAAM,EAAE,GAC9B,gBAAgB,CAYlB;AAED;;;;;;;GAOG;AACH,wBAAgB,eAAe,CAC7B,SAAS,EAAE,cAAc,EACzB,YAAY,EAAE,SAAS,MAAM,EAAE,GAC9B,MAAM,CA6BR"}
+{"version":3,"file":"proof-target.d.ts","sourceRoot":"","sources":["../../src/atlas/proof-target.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,mCAAmC,CAAC;AACxE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAG3D,8EAA8E;AAC9E,eAAO,MAAM,wBAAwB,6BAA6B,CAAC;AAEnE,+CAA+C;AAC/C,eAAO,MAAM,sBAAsB,2BAA2B,CAAC;AA+E/D;;;;;;;;;GASG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;CACpC;AAED;;;;;;;;;GASG;AACH,wBAAgB,gBAAgB,CAC9B,SAAS,EAAE,cAAc,EACzB,YAAY,EAAE,SAAS,MAAM,EAAE,GAC9B,gBAAgB,CAclB;AAED;;;;;;;GAOG;AACH,wBAAgB,eAAe,CAC7B,SAAS,EAAE,cAAc,EACzB,YAAY,EAAE,SAAS,MAAM,EAAE,GAC9B,MAAM,CA6BR"}

package/dist/atlas/proof-target.js

@@ -6,11 +6,14 @@
  * body is absent. Nothing here is written into the catalog, the
  * formal-reference overlay, or the vendored manifest.
  *
- * A units-only survivor carries a covers line that begins with
- * `derivation-step:` and names the hypothesis the dimensional theorem
- * leaves open. The import `PhysJS.Dimensional` is present when that
- * filter named one of its theorems. `Dim` is fixed at `n = 7` in the
- * base order `src/dimensional/types.ts` declares.
+ * A draft is a new target, so its `kind` is `derivation-step`, one of
+ * `FORMAL_REF_KINDS`, stated as its own field and its own `-- kind:` line.
+ * The covers line names the hypothesis the dimensional theorem leaves open
+ * and does not begin with a kind word. A confirmation of a catalog id and a
+ * restatement of a bridge are not new targets: no draft is made for them.
+ * The import `PhysJS.Dimensional` is present when that filter named one of
+ * its theorems. `Dim` is fixed at `n = 7` in the base order
+ * `src/dimensional/types.ts` declares.
  *
  * @module atlas/proof-target
  */
@@ -36,36 +39,33 @@ function dimensionalTheorem(candidate) {
         return MONOMIAL;
     return undefined;
 }
-/** Covers line. Units-only survivors start with `derivation-step:`. */
+/**
+ * The kind of the target `candidate` would be. A unique monomial and an
+ * unfixed shape are a step a derivation still has to close. A confirmation
+ * names an id the catalog has and a restatement names a bridge it has, so
+ * neither is a new target and both are refused.
+ */
+function draftKind(candidate) {
+    if (candidate.kind === 'confirmation' || candidate.kind === 'restatement') {
+        throw new Error(`proof target: a ${candidate.kind} is not a new target; no draft is made for chain ${candidate.edgeIds.join(', ')}`);
+    }
+    return 'derivation-step';
+}
+/** Covers line: the hypothesis left open. It does not begin with a kind word; the kind is its own field. */
 function coversLine(candidate) {
     const theorem = dimensionalTheorem(candidate);
     if (theorem === MONOMIAL) {
-        return ('derivation-step: PhysJS.Dimensional.monomial_form. The constant is unfixed. ' +
+        return ('PhysJS.Dimensional.monomial_form. The constant is unfixed. ' +
             'f(1,…,1) is unfixed. The exponent vector is a hypothesis. ' +
             'A unit change that can reach every positive tuple is a hypothesis.');
     }
-    if (theorem === PRODUCT) {
-        return ('derivation-step: PhysJS.Dimensional.product_shape. The constant is unfixed. f(1,1) is unfixed.');
-    }
-    if (theorem === RATIO) {
-        return ('derivation-step: PhysJS.Dimensional.ratio_shape. The function of the ratio is unfixed.');
-    }
-    if (theorem === POWER) {
-        return ('derivation-step: PhysJS.Dimensional.ratio_power_invariant. The real power p is unfixed.');
-    }
-    if (candidate.kind === 'unfixed-shape') {
-        return 'derivation-step: the constant is unfixed.';
-    }
-    if (candidate.kind === 'confirmation') {
-        const id = candidate.catalogId === undefined ? '' : ` ${candidate.catalogId}`;
-        return `confirmation: catalog id${id}. The run reports the id and writes nothing.`;
-    }
-    if (candidate.kind === 'restatement') {
-        const canon = candidate.canonicalId ?? '';
-        const bridge = candidate.restatesBridge ?? '';
-        return `restatement: ${canon} restates ${bridge}. Not a new equation.`;
-    }
-    return 'statement skeleton only';
+    if (theorem === PRODUCT)
+        return 'PhysJS.Dimensional.product_shape. The constant is unfixed. f(1,1) is unfixed.';
+    if (theorem === RATIO)
+        return 'PhysJS.Dimensional.ratio_shape. The function of the ratio is unfixed.';
+    if (theorem === POWER)
+        return 'PhysJS.Dimensional.ratio_power_invariant. The real power p is unfixed.';
+    return 'The constant is unfixed.';
 }
 function targetKey(candidate) {
     if (candidate.id !== undefined && candidate.id.length > 0)
@@ -94,18 +94,21 @@ function assertTheorems(candidate, seedTheorems) {
  * The draft `emitProofTarget` renders into the comment block.
  *
  * `seedTheorems` is one PhysJS theorem name per seed step, in chain order.
- * A name that disagrees with the compiled manifest copy is refused.
+ * A name that disagrees with the compiled manifest copy is refused, and so
+ * is a confirmation or a restatement candidate, which is not a new target.
  * The object is not written anywhere.
  *
  * @internal
  */
 export function proofTargetDraft(candidate, seedTheorems) {
+    const kind = draftKind(candidate);
     assertTheorems(candidate, seedTheorems);
     const key = targetKey(candidate);
     return {
         key,
         bridgeId: key,
         theorem: leanIdent(key),
+        kind,
         covers: coversLine(candidate),
         coverage: 'statement skeleton only',
         leanProof: 'absent',
@@ -138,7 +141,7 @@ export function emitProofTarget(candidate, seedTheorems) {
     for (const name of seedTheorems) {
         lines.push(`-- theorem: ${name}`);
     }
-    lines.push('', `-- covers: ${draft.covers}`, '');
+    lines.push('', `-- kind: ${draft.kind}`, `-- covers: ${draft.covers}`, '');
     if (theorem !== undefined) {
         lines.push('-- Dim : Fin 7 → ℚ', '-- base order: L, M, T, I, Theta, N, J', '');
     }

package/dist/atlas/proof-target.js.map

@@ -1 +1 @@
-{"version":3,"file":"proof-target.js","sourceRoot":"","sources":["../../src/atlas/proof-target.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAGH,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAEhD,8EAA8E;AAC9E,MAAM,CAAC,MAAM,wBAAwB,GAAG,0BAA0B,CAAC;AAEnE,+CAA+C;AAC/C,MAAM,CAAC,MAAM,sBAAsB,GAAG,wBAAwB,CAAC;AAE/D,MAAM,QAAQ,GAAG,kCAAkC,CAAC;AACpD,MAAM,KAAK,GAAG,gCAAgC,CAAC;AAC/C,MAAM,OAAO,GAAG,kCAAkC,CAAC;AACnD,MAAM,KAAK,GAAG,0CAA0C,CAAC;AAEzD,MAAM,WAAW,GAAG,IAAI,GAAG,CAAS,CAAC,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC;AAEvE;;;GAGG;AACH,SAAS,kBAAkB,CAAC,SAAyB;IACnD,IAAI,SAAS,CAAC,OAAO,KAAK,SAAS,IAAI,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC;QAC1E,OAAO,SAAS,CAAC,OAAO,CAAC;IAC3B,CAAC;IACD,IAAI,SAAS,CAAC,IAAI,KAAK,iBAAiB;QAAE,OAAO,QAAQ,CAAC;IAC1D,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,uEAAuE;AACvE,SAAS,UAAU,CAAC,SAAyB;IAC3C,MAAM,OAAO,GAAG,kBAAkB,CAAC,SAAS,CAAC,CAAC;IAC9C,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;QACzB,OAAO,CACL,8EAA8E;YAC9E,4DAA4D;YAC5D,oEAAoE,CACrE,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,KAAK,OAAO,EAAE,CAAC;QACxB,OAAO,CACL,gGAAgG,CACjG,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,EAAE,CAAC;QACtB,OAAO,CACL,wFAAwF,CACzF,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,EAAE,CAAC;QACtB,OAAO,CACL,yFAAyF,CAC1F,CAAC;IACJ,CAAC;IACD,IAAI,SAAS,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACvC,OAAO,2CAA2C,CAAC;IACrD,CAAC;IACD,IAAI,SAAS,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QACtC,MAAM,EAAE,GAAG,SAAS,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,SAAS,EAAE,CAAC;QAC9E,OAAO,2BAA2B,EAAE,8CAA8C,CAAC;IACrF,CAAC;IACD,IAAI,SAAS,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACrC,MAAM,KAAK,GAAG,SAAS,CAAC,WAAW,IAAI,EAAE,CAAC;QAC1C,MAAM,MAAM,GAAG,SAAS,CAAC,cAAc,IAAI,EAAE,CAAC;QAC9C,OAAO,gBAAgB,KAAK,aAAa,MAAM,uBAAuB,CAAC;IACzE,CAAC;IACD,OAAO,yBAAyB,CAAC;AACnC,CAAC;AAED,SAAS,SAAS,CAAC,SAAyB;IAC1C,IAAI,SAAS,CAAC,EAAE,KAAK,SAAS,IAAI,SAAS,CAAC,EAAE,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC,EAAE,CAAC;IAC/E,OAAO,SAAS,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;AAChD,CAAC;AAED,SAAS,SAAS,CAAC,EAAU;IAC3B,MAAM,OAAO,GAAG,EAAE,CAAC,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACrE,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC;IACrD,OAAO,sBAAsB,IAAI,EAAE,CAAC;AACtC,CAAC;AAED,SAAS,cAAc,CAAC,SAAyB,EAAE,YAA+B;IAChF,IAAI,YAAY,CAAC,MAAM,KAAK,SAAS,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;QACrD,MAAM,IAAI,KAAK,CACb,iBAAiB,SAAS,CAAC,OAAO,CAAC,MAAM,mBAAmB,YAAY,CAAC,MAAM,gBAAgB,CAChG,CAAC;IACJ,CAAC;IACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAClD,MAAM,EAAE,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC,CAAW,CAAC;QAC1C,MAAM,KAAK,GAAG,YAAY,CAAC,CAAC,CAAW,CAAC;QACxC,MAAM,QAAQ,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC;QACnC,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,KAAK,EAAE,CAAC;YACjD,MAAM,IAAI,KAAK,CACb,wCAAwC,QAAQ,UAAU,EAAE,WAAW,KAAK,GAAG,CAChF,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAoBD;;;;;;;;GAQG;AACH,MAAM,UAAU,gBAAgB,CAC9B,SAAyB,EACzB,YAA+B;IAE/B,cAAc,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC;IACxC,MAAM,GAAG,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC;IACjC,OAAO;QACL,GAAG;QACH,QAAQ,EAAE,GAAG;QACb,OAAO,EAAE,SAAS,CAAC,GAAG,CAAC;QACvB,MAAM,EAAE,UAAU,CAAC,SAAS,CAAC;QAC7B,QAAQ,EAAE,yBAAyB;QACnC,SAAS,EAAE,QAAQ;QACnB,MAAM,EAAE,EAAE;KACX,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,eAAe,CAC7B,SAAyB,EACzB,YAA+B;IAE/B,MAAM,KAAK,GAAG,gBAAgB,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC;IACxD,MAAM,OAAO,GAAG,kBAAkB,CAAC,SAAS,CAAC,CAAC;IAC9C,MAAM,KAAK,GAAa;QACtB,iBAAiB;QACjB,4BAA4B;QAC5B,sBAAsB;QACtB,wBAAwB;QACxB,oBAAoB;QACpB,EAAE;KACH,CAAC;IACF,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,KAAK,CAAC,IAAI,CAAC,2BAA2B,EAAE,EAAE,CAAC,CAAC;IAC9C,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC,eAAe,IAAI,EAAE,CAAC,CAAC;IACpC,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,cAAc,KAAK,CAAC,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;IACjD,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,KAAK,CAAC,IAAI,CACR,oBAAoB,EACpB,wCAAwC,EACxC,EAAE,CACH,CAAC;IACJ,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,iBAAiB,KAAK,CAAC,GAAG,EAAE,EAAE,iBAAiB,KAAK,CAAC,OAAO,SAAS,EAAE,EAAE,CAAC,CAAC;IACtF,KAAK,CAAC,IAAI,CAAC,wBAAwB,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,sBAAsB,EAAE,EAAE,CAAC,CAAC;IACjG,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}
+{"version":3,"file":"proof-target.js","sourceRoot":"","sources":["../../src/atlas/proof-target.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAIH,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAEhD,8EAA8E;AAC9E,MAAM,CAAC,MAAM,wBAAwB,GAAG,0BAA0B,CAAC;AAEnE,+CAA+C;AAC/C,MAAM,CAAC,MAAM,sBAAsB,GAAG,wBAAwB,CAAC;AAE/D,MAAM,QAAQ,GAAG,kCAAkC,CAAC;AACpD,MAAM,KAAK,GAAG,gCAAgC,CAAC;AAC/C,MAAM,OAAO,GAAG,kCAAkC,CAAC;AACnD,MAAM,KAAK,GAAG,0CAA0C,CAAC;AAEzD,MAAM,WAAW,GAAG,IAAI,GAAG,CAAS,CAAC,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC;AAEvE;;;GAGG;AACH,SAAS,kBAAkB,CAAC,SAAyB;IACnD,IAAI,SAAS,CAAC,OAAO,KAAK,SAAS,IAAI,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC;QAC1E,OAAO,SAAS,CAAC,OAAO,CAAC;IAC3B,CAAC;IACD,IAAI,SAAS,CAAC,IAAI,KAAK,iBAAiB;QAAE,OAAO,QAAQ,CAAC;IAC1D,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;;GAKG;AACH,SAAS,SAAS,CAAC,SAAyB;IAC1C,IAAI,SAAS,CAAC,IAAI,KAAK,cAAc,IAAI,SAAS,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QAC1E,MAAM,IAAI,KAAK,CAAC,mBAAmB,SAAS,CAAC,IAAI,oDAAoD,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACvI,CAAC;IACD,OAAO,iBAAiB,CAAC;AAC3B,CAAC;AAED,4GAA4G;AAC5G,SAAS,UAAU,CAAC,SAAyB;IAC3C,MAAM,OAAO,GAAG,kBAAkB,CAAC,SAAS,CAAC,CAAC;IAC9C,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;QACzB,OAAO,CACL,6DAA6D;YAC7D,4DAA4D;YAC5D,oEAAoE,CACrE,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,KAAK,OAAO;QAAE,OAAO,+EAA+E,CAAC;IAChH,IAAI,OAAO,KAAK,KAAK;QAAE,OAAO,uEAAuE,CAAC;IACtG,IAAI,OAAO,KAAK,KAAK;QAAE,OAAO,wEAAwE,CAAC;IACvG,OAAO,0BAA0B,CAAC;AACpC,CAAC;AAED,SAAS,SAAS,CAAC,SAAyB;IAC1C,IAAI,SAAS,CAAC,EAAE,KAAK,SAAS,IAAI,SAAS,CAAC,EAAE,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC,EAAE,CAAC;IAC/E,OAAO,SAAS,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;AAChD,CAAC;AAED,SAAS,SAAS,CAAC,EAAU;IAC3B,MAAM,OAAO,GAAG,EAAE,CAAC,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACrE,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC;IACrD,OAAO,sBAAsB,IAAI,EAAE,CAAC;AACtC,CAAC;AAED,SAAS,cAAc,CAAC,SAAyB,EAAE,YAA+B;IAChF,IAAI,YAAY,CAAC,MAAM,KAAK,SAAS,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;QACrD,MAAM,IAAI,KAAK,CACb,iBAAiB,SAAS,CAAC,OAAO,CAAC,MAAM,mBAAmB,YAAY,CAAC,MAAM,gBAAgB,CAChG,CAAC;IACJ,CAAC;IACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAClD,MAAM,EAAE,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC,CAAW,CAAC;QAC1C,MAAM,KAAK,GAAG,YAAY,CAAC,CAAC,CAAW,CAAC;QACxC,MAAM,QAAQ,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC;QACnC,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,KAAK,EAAE,CAAC;YACjD,MAAM,IAAI,KAAK,CACb,wCAAwC,QAAQ,UAAU,EAAE,WAAW,KAAK,GAAG,CAChF,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAuBD;;;;;;;;;GASG;AACH,MAAM,UAAU,gBAAgB,CAC9B,SAAyB,EACzB,YAA+B;IAE/B,MAAM,IAAI,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC;IAClC,cAAc,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC;IACxC,MAAM,GAAG,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC;IACjC,OAAO;QACL,GAAG;QACH,QAAQ,EAAE,GAAG;QACb,OAAO,EAAE,SAAS,CAAC,GAAG,CAAC;QACvB,IAAI;QACJ,MAAM,EAAE,UAAU,CAAC,SAAS,CAAC;QAC7B,QAAQ,EAAE,yBAAyB;QACnC,SAAS,EAAE,QAAQ;QACnB,MAAM,EAAE,EAAE;KACX,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,eAAe,CAC7B,SAAyB,EACzB,YAA+B;IAE/B,MAAM,KAAK,GAAG,gBAAgB,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC;IACxD,MAAM,OAAO,GAAG,kBAAkB,CAAC,SAAS,CAAC,CAAC;IAC9C,MAAM,KAAK,GAAa;QACtB,iBAAiB;QACjB,4BAA4B;QAC5B,sBAAsB;QACtB,wBAAwB;QACxB,oBAAoB;QACpB,EAAE;KACH,CAAC;IACF,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,KAAK,CAAC,IAAI,CAAC,2BAA2B,EAAE,EAAE,CAAC,CAAC;IAC9C,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC,eAAe,IAAI,EAAE,CAAC,CAAC;IACpC,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,YAAY,KAAK,CAAC,IAAI,EAAE,EAAE,cAAc,KAAK,CAAC,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;IAC3E,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,KAAK,CAAC,IAAI,CACR,oBAAoB,EACpB,wCAAwC,EACxC,EAAE,CACH,CAAC;IACJ,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,iBAAiB,KAAK,CAAC,GAAG,EAAE,EAAE,iBAAiB,KAAK,CAAC,OAAO,SAAS,EAAE,EAAE,CAAC,CAAC;IACtF,KAAK,CAAC,IAAI,CAAC,wBAAwB,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,sBAAsB,EAAE,EAAE,CAAC,CAAC;IACjG,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC","sourcesContent":["/**\n * Lean statement skeleton for one chain candidate.\n *\n * The text names the theorem chain in the order the caller recorded,\n * checked against the compiled manifest copy. It is a target. The proof\n * body is absent. Nothing here is written into the catalog, the\n * formal-reference overlay, or the vendored manifest.\n *\n * A draft is a new target, so its `kind` is `derivation-step`, one of\n * `FORMAL_REF_KINDS`, stated as its own field and its own `-- kind:` line.\n * The covers line names the hypothesis the dimensional theorem leaves open\n * and does not begin with a kind word. A confirmation of a catalog id and a\n * restatement of a bridge are not new targets: no draft is made for them.\n * The import `PhysJS.Dimensional` is present when that filter named one of\n * its theorems. `Dim` is fixed at `n = 7` in the base order\n * `src/dimensional/types.ts` declares.\n *\n * @module atlas/proof-target\n */\n\nimport type { ChainCandidate } from '../composition/chain-candidate.js';\nimport type { FormalRefKind } from '../relations/types.js';\nimport { physjsTheorem } from './physjs-ref.js';\n\n/** Marker before the draft object the manifest checker can read. @internal */\nexport const PROOF_TARGET_DRAFT_BEGIN = 'PROOF-TARGET-DRAFT-BEGIN';\n\n/** Marker after the draft object. @internal */\nexport const PROOF_TARGET_DRAFT_END = 'PROOF-TARGET-DRAFT-END';\n\nconst MONOMIAL = 'PhysJS.Dimensional.monomial_form';\nconst RATIO = 'PhysJS.Dimensional.ratio_shape';\nconst PRODUCT = 'PhysJS.Dimensional.product_shape';\nconst POWER = 'PhysJS.Dimensional.ratio_power_invariant';\n\nconst DIMENSIONAL = new Set<string>([MONOMIAL, RATIO, PRODUCT, POWER]);\n\n/**\n * The dimensional theorem this candidate names, when the filter named one.\n * A unique monomial is `monomial_form` even when the field was left blank.\n */\nfunction dimensionalTheorem(candidate: ChainCandidate): string | undefined {\n  if (candidate.theorem !== undefined && DIMENSIONAL.has(candidate.theorem)) {\n    return candidate.theorem;\n  }\n  if (candidate.kind === 'unique-monomial') return MONOMIAL;\n  return undefined;\n}\n\n/**\n * The kind of the target `candidate` would be. A unique monomial and an\n * unfixed shape are a step a derivation still has to close. A confirmation\n * names an id the catalog has and a restatement names a bridge it has, so\n * neither is a new target and both are refused.\n */\nfunction draftKind(candidate: ChainCandidate): FormalRefKind {\n  if (candidate.kind === 'confirmation' || candidate.kind === 'restatement') {\n    throw new Error(`proof target: a ${candidate.kind} is not a new target; no draft is made for chain ${candidate.edgeIds.join(', ')}`);\n  }\n  return 'derivation-step';\n}\n\n/** Covers line: the hypothesis left open. It does not begin with a kind word; the kind is its own field. */\nfunction coversLine(candidate: ChainCandidate): string {\n  const theorem = dimensionalTheorem(candidate);\n  if (theorem === MONOMIAL) {\n    return (\n      'PhysJS.Dimensional.monomial_form. The constant is unfixed. ' +\n      'f(1,…,1) is unfixed. The exponent vector is a hypothesis. ' +\n      'A unit change that can reach every positive tuple is a hypothesis.'\n    );\n  }\n  if (theorem === PRODUCT) return 'PhysJS.Dimensional.product_shape. The constant is unfixed. f(1,1) is unfixed.';\n  if (theorem === RATIO) return 'PhysJS.Dimensional.ratio_shape. The function of the ratio is unfixed.';\n  if (theorem === POWER) return 'PhysJS.Dimensional.ratio_power_invariant. The real power p is unfixed.';\n  return 'The constant is unfixed.';\n}\n\nfunction targetKey(candidate: ChainCandidate): string {\n  if (candidate.id !== undefined && candidate.id.length > 0) return candidate.id;\n  return `chain-${candidate.edgeIds.join('-')}`;\n}\n\nfunction leanIdent(id: string): string {\n  const cleaned = id.replace(/[^A-Za-z0-9_]/g, '_').replace(/^_+/, '');\n  const body = cleaned.length > 0 ? cleaned : 'target';\n  return `PhysJS.ProofTarget.${body}`;\n}\n\nfunction assertTheorems(candidate: ChainCandidate, seedTheorems: readonly string[]): void {\n  if (seedTheorems.length !== candidate.edgeIds.length) {\n    throw new Error(\n      `proof target: ${candidate.edgeIds.length} seed steps and ${seedTheorems.length} theorem names`,\n    );\n  }\n  for (let i = 0; i < candidate.edgeIds.length; i++) {\n    const id = candidate.edgeIds[i] as string;\n    const given = seedTheorems[i] as string;\n    const recorded = physjsTheorem(id);\n    if (recorded !== undefined && recorded !== given) {\n      throw new Error(\n        `proof target: manifest copy records '${recorded}' for '${id}', not '${given}'`,\n      );\n    }\n  }\n}\n\n/**\n * The draft the comment block renders.\n *\n * The fields are the ones the comment's JSON already carries. `kind` is a\n * {@link FormalRefKind}, `derivation-step` for every draft, and `covers`\n * does not repeat it. `leanProof` stays `absent`. This value is not a\n * manifest entry.\n *\n * @internal\n */\nexport interface ProofTargetDraft {\n  readonly key: string;\n  readonly bridgeId: string;\n  readonly theorem: string;\n  readonly kind: FormalRefKind;\n  readonly covers: string;\n  readonly coverage: string;\n  readonly leanProof: 'absent';\n  readonly axioms: readonly string[];\n}\n\n/**\n * The draft `emitProofTarget` renders into the comment block.\n *\n * `seedTheorems` is one PhysJS theorem name per seed step, in chain order.\n * A name that disagrees with the compiled manifest copy is refused, and so\n * is a confirmation or a restatement candidate, which is not a new target.\n * The object is not written anywhere.\n *\n * @internal\n */\nexport function proofTargetDraft(\n  candidate: ChainCandidate,\n  seedTheorems: readonly string[],\n): ProofTargetDraft {\n  const kind = draftKind(candidate);\n  assertTheorems(candidate, seedTheorems);\n  const key = targetKey(candidate);\n  return {\n    key,\n    bridgeId: key,\n    theorem: leanIdent(key),\n    kind,\n    covers: coversLine(candidate),\n    coverage: 'statement skeleton only',\n    leanProof: 'absent',\n    axioms: [],\n  };\n}\n\n/**\n * Lean 4 statement skeleton and the theorem chain it would compose.\n *\n * The comment lines and the JSON between the markers are\n * {@link proofTargetDraft}. The returned text is not written anywhere.\n *\n * @internal\n */\nexport function emitProofTarget(\n  candidate: ChainCandidate,\n  seedTheorems: readonly string[],\n): string {\n  const draft = proofTargetDraft(candidate, seedTheorems);\n  const theorem = dimensionalTheorem(candidate);\n  const lines: string[] = [\n    '-- PROOF TARGET',\n    '-- statement skeleton only',\n    '-- proof body absent',\n    '-- not a catalog entry',\n    '-- not a formalRef',\n    '',\n  ];\n  if (theorem !== undefined) {\n    lines.push('import PhysJS.Dimensional', '');\n  }\n  lines.push('-- theorem chain');\n  for (const name of seedTheorems) {\n    lines.push(`-- theorem: ${name}`);\n  }\n  lines.push('', `-- kind: ${draft.kind}`, `-- covers: ${draft.covers}`, '');\n  if (theorem !== undefined) {\n    lines.push(\n      '-- Dim : Fin 7 → ℚ',\n      '-- base order: L, M, T, I, Theta, N, J',\n      '',\n    );\n  }\n  lines.push(`-- target id: ${draft.key}`, `-- statement: ${draft.theorem} : Prop`, '');\n  lines.push(PROOF_TARGET_DRAFT_BEGIN, JSON.stringify(draft, null, 2), PROOF_TARGET_DRAFT_END, '');\n  return lines.join('\\n');\n}\n"]}

package/dist/atlas/public.d.ts

@@ -15,7 +15,8 @@
  * @module atlas/public
  */
 export type { ApproximationBound, AtlasRejection, Counterexample, EvidenceTag, LimitCharacter, Regime, RegimeInequality, RelationType, Witness, } from './types.js';
-export { MissingHorizonError, MissingLipschitzError } from './types.js';
+/** Thrown by a bound whose `deltaAt`, `horizonHolds` or Lipschitz constant is missing. */
+export { MissingDeltaAtError, MissingHorizonError, MissingLipschitzError } from './types.js';
 export type { AtlasModel } from './model.js';
 export { regimeHolds } from './regime.js';
 export type { RegimeCheck } from './regime.js';

package/dist/atlas/public.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"public.d.ts","sourceRoot":"","sources":["../../src/atlas/public.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,YAAY,EACV,kBAAkB,EAClB,cAAc,EACd,cAAc,EACd,WAAW,EACX,cAAc,EACd,MAAM,EACN,gBAAgB,EAChB,YAAY,EACZ,OAAO,GACR,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,mBAAmB,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AACxE,YAAY,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAC7C,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC1C,YAAY,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,EAAE,gBAAgB,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACrF,YAAY,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClE,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAChG,YAAY,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC"}
+{"version":3,"file":"public.d.ts","sourceRoot":"","sources":["../../src/atlas/public.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,YAAY,EACV,kBAAkB,EAClB,cAAc,EACd,cAAc,EACd,WAAW,EACX,cAAc,EACd,MAAM,EACN,gBAAgB,EAChB,YAAY,EACZ,OAAO,GACR,MAAM,YAAY,CAAC;AACpB,0FAA0F;AAC1F,OAAO,EAAE,mBAAmB,EAAE,mBAAmB,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AAC7F,YAAY,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAC7C,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC1C,YAAY,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,EAAE,gBAAgB,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACrF,YAAY,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClE,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAChG,YAAY,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC"}

package/dist/atlas/public.js

@@ -14,7 +14,8 @@
  *
  * @module atlas/public
  */
-export { MissingHorizonError, MissingLipschitzError } from './types.js';
+/** Thrown by a bound whose `deltaAt`, `horizonHolds` or Lipschitz constant is missing. */
+export { MissingDeltaAtError, MissingHorizonError, MissingLipschitzError } from './types.js';
 export { regimeHolds } from './regime.js';
 export { composeBoundPath, composeBounds, IDENTITY_BOUND } from './error-algebra.js';
 export { composeRelation, COMPOSITION_TABLE, NO_COMPOSITE_CLAIM } from './composition-table.js';

package/dist/atlas/public.js.map

@@ -1 +1 @@
-{"version":3,"file":"public.js","sourceRoot":"","sources":["../../src/atlas/public.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAaH,OAAO,EAAE,mBAAmB,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AAExE,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE1C,OAAO,EAAE,gBAAgB,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAErF,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC"}
+{"version":3,"file":"public.js","sourceRoot":"","sources":["../../src/atlas/public.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAaH,0FAA0F;AAC1F,OAAO,EAAE,mBAAmB,EAAE,mBAAmB,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AAE7F,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE1C,OAAO,EAAE,gBAAgB,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAErF,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC","sourcesContent":["/**\n * The PUBLIC atlas surface — reached as the `atlas` namespace of the package\n * root (`import { atlas } from 'universal-physics-tensor'`).\n *\n * This file is the SINGLE list of what is public. Nothing else states the set\n * or its size: the tests derive both from the re-exports below. Decision and\n * criteria: `docs/planning/Atlas-API-Review.md` (Tier 1 — contracts unchanged\n * across Sprints 4–6, independently tested, no repository coupling, and CLOSED\n * under type references: no public type may name a non-public one).\n *\n * The full `@internal` surface stays on the `universal-physics-tensor/atlas`\n * subpath. Every symbol below is tagged `@public` where it is declared;\n * `tests/api/namespace-facade-invariant.test.ts` fails otherwise.\n *\n * @module atlas/public\n */\n\nexport type {\n  ApproximationBound,\n  AtlasRejection,\n  Counterexample,\n  EvidenceTag,\n  LimitCharacter,\n  Regime,\n  RegimeInequality,\n  RelationType,\n  Witness,\n} from './types.js';\n/** Thrown by a bound whose `deltaAt`, `horizonHolds` or Lipschitz constant is missing. */\nexport { MissingDeltaAtError, MissingHorizonError, MissingLipschitzError } from './types.js';\nexport type { AtlasModel } from './model.js';\nexport { regimeHolds } from './regime.js';\nexport type { RegimeCheck } from './regime.js';\nexport { composeBoundPath, composeBounds, IDENTITY_BOUND } from './error-algebra.js';\nexport type { BoundPair, ComposedPath } from './error-algebra.js';\nexport { composeRelation, COMPOSITION_TABLE, NO_COMPOSITE_CLAIM } from './composition-table.js';\nexport type { CompositionResult, NoCompositeClaim } from './composition-table.js';\n"]}

package/dist/atlas/regime.js.map

@@ -1 +1 @@
-{"version":3,"file":"regime.js","sourceRoot":"","sources":["../../src/atlas/regime.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EACL,qBAAqB,EACrB,kBAAkB,EAClB,gBAAgB,EAChB,aAAa,EACb,gBAAgB,GACjB,MAAM,wBAAwB,CAAC;AAIhC,OAAO,EAAE,mBAAmB,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AAKtE;;;;GAIG;AACH,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AAErD;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,UAAU,kBAAkB,CAAwB,MAAS;IACjE,MAAM,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC;IACzB,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,IAAI,MAAM,CAAC,QAAQ,KAAK,eAAe,EAAE,CAAC;YACxC,MAAM,IAAI,mBAAmB,CAC3B,GAAG,MAAM,CAAC,EAAE,wDAAwD,CACrE,CAAC;QACJ,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QAChC,MAAM,IAAI,mBAAmB,CAC3B,GAAG,MAAM,CAAC,EAAE,6DAA6D,CAC1E,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,KAAK,CAAC,YAAY,KAAK,UAAU,EAAE,CAAC;QAC7C,MAAM,IAAI,mBAAmB,CAC3B,GAAG,MAAM,CAAC,EAAE,mFAAmF,CAChG,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,KAAK,eAAe,IAAI,OAAO,KAAK,CAAC,OAAO,KAAK,UAAU,EAAE,CAAC;QAC/E,MAAM,IAAI,mBAAmB,CAC3B,GAAG,MAAM,CAAC,EAAE,+EAA+E;YACzF,2DAA2D,CAC9D,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}
+{"version":3,"file":"regime.js","sourceRoot":"","sources":["../../src/atlas/regime.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EACL,qBAAqB,EACrB,kBAAkB,EAClB,gBAAgB,EAChB,aAAa,EACb,gBAAgB,GACjB,MAAM,wBAAwB,CAAC;AAIhC,OAAO,EAAE,mBAAmB,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AAKtE;;;;GAIG;AACH,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AAErD;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,UAAU,kBAAkB,CAAwB,MAAS;IACjE,MAAM,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC;IACzB,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,IAAI,MAAM,CAAC,QAAQ,KAAK,eAAe,EAAE,CAAC;YACxC,MAAM,IAAI,mBAAmB,CAC3B,GAAG,MAAM,CAAC,EAAE,wDAAwD,CACrE,CAAC;QACJ,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QAChC,MAAM,IAAI,mBAAmB,CAC3B,GAAG,MAAM,CAAC,EAAE,6DAA6D,CAC1E,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,KAAK,CAAC,YAAY,KAAK,UAAU,EAAE,CAAC;QAC7C,MAAM,IAAI,mBAAmB,CAC3B,GAAG,MAAM,CAAC,EAAE,mFAAmF,CAChG,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,KAAK,eAAe,IAAI,OAAO,KAAK,CAAC,OAAO,KAAK,UAAU,EAAE,CAAC;QAC/E,MAAM,IAAI,mBAAmB,CAC3B,GAAG,MAAM,CAAC,EAAE,+EAA+E;YACzF,2DAA2D,CAC9D,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC","sourcesContent":["/**\n * Regime admission, and the re-export of the vocabulary half.\n *\n * `deriveRegimeGroups`, `regimeHolds`, and the regime algebra live in\n * `src/relations/regime.ts`. `admitApproximation` stays here because it is\n * generic over `AtlasBridge`.\n *\n * @module atlas/regime\n */\n\nexport {\n  collidingRegimeGroups,\n  deriveRegimeGroups,\n  intersectRegimes,\n  regimeOverlap,\n  uncoveredRegions,\n} from '../relations/regime.js';\nexport type { RegimeBearing, RegimeOverlap, RegionSample } from '../relations/regime.js';\n\nimport type { AtlasBridge } from './types.js';\nimport { MissingDeltaAtError, MissingHorizonError } from './types.js';\n\n/** Whether a regime's inequalities were satisfied, violated, or could not be checked. @public */\nexport type RegimeCheck = import('../relations/regime.js').RegimeCheck;\n\n/**\n * Check a regime at supplied group values. A missing coordinate is unknown, not a pass.\n *\n * @public\n */\nexport { regimeHolds } from '../relations/regime.js';\n\n/**\n * Admit a bridge, refusing an approximation whose horizon is missing.\n *\n * The gate is at ADMISSION, matching the existing throw in `makeApproximation`,\n * and for the same reason: a validator that runs \"later\" can be skipped, and an\n * unhorizoned bound that reached the atlas would be a bound claiming to hold\n * everywhere. The move-the-gate-to-use argument of design note §2 applies to\n * `uniformity` — a field whose absence is a legitimate NOT-YET-ANALYSED state\n * — and NOT to `horizon`, which `ApproximationBound` already mandates.\n *\n * Any relation may carry a `bound`; every bound present is checked, so a\n * `coarse-graining` cannot smuggle in an unhorizoned one.\n *\n * @returns the bridge, unchanged, so this can wrap a record at its definition.\n * The same argument applies to `deltaAt`, the machine form of `delta`, and is\n * why it is checked here beside the horizon. `delta` alone is a single number\n * for a whole domain: an implementer whose bound depends on a parameter can\n * only freeze it at one point, and a frozen point reads exactly like a\n * supremum. Requiring the machine form makes the dependence SAYABLE, so the\n * scalar can be held to its stated meaning. It is required only of an\n * `approximation`, matching `bound` itself; a `coarse-graining` may still\n * carry a constant bound with no `deltaAt`.\n *\n * @throws MissingHorizonError if an `approximation` has no bound, or if a\n *   present bound has an empty `horizon` or no `horizonHolds`.\n * @throws MissingDeltaAtError if an `approximation` bound has no `deltaAt`.\n * @internal\n */\nexport function admitApproximation<T extends AtlasBridge>(bridge: T): T {\n  const { bound } = bridge;\n  if (bound === undefined) {\n    if (bridge.relation === 'approximation') {\n      throw new MissingHorizonError(\n        `${bridge.id}: an approximation requires a bound carrying a horizon`,\n      );\n    }\n    return bridge;\n  }\n  if (bound.horizon.trim() === '') {\n    throw new MissingHorizonError(\n      `${bridge.id}: an approximation bound requires a non-empty prose horizon`,\n    );\n  }\n  if (typeof bound.horizonHolds !== 'function') {\n    throw new MissingHorizonError(\n      `${bridge.id}: an approximation bound requires a machine horizonHolds beside its prose horizon`,\n    );\n  }\n  if (bridge.relation === 'approximation' && typeof bound.deltaAt !== 'function') {\n    throw new MissingDeltaAtError(\n      `${bridge.id}: an approximation bound requires a machine deltaAt beside its scalar delta, ` +\n        'which must be the supremum over the whole declared domain',\n    );\n  }\n  return bridge;\n}\n"]}

package/dist/atlas/serialize.d.ts

@@ -1,18 +1,19 @@
 /**
  * JSON projection of an atlas family (Atlas Phase 0, S0.6).
  *
- * The in-memory record is not JSON. Two fields make that true, and both are
+ * The in-memory record is not JSON. Two things make that true, and both are
  * handled here rather than left to `JSON.stringify`:
  *
- * 1. `AtlasBridge.evidence` is a `ReadonlySet<EvidenceTag>`, and a `Set`
- *    stringifies to `{}` — the artifact would be silently empty exactly where
- *    the evidence lives. Design note §7 requires the emitter to serialize it
- *    explicitly; it is emitted as a SORTED array so the artifact is stable
- *    under insertion-order changes.
- * 2. `ApproximationBound.horizonHolds` is a function, which stringifies to
- *    nothing at all. Only the `horizon` PROSE crosses into JSON; the machine
- *    predicate stays in TypeScript, as `data/schemas/atlas-record.v0.json`
- *    states.
+ * 1. A bridge stores NO evidence set. The artifact's `evidence` is DERIVED
+ *    at write time by `deriveEvidence`, against the committed witness results
+ *    the caller passes in (`data/atlas/witness-results.json`), and emitted as
+ *    a SORTED array so the artifact is stable under insertion order. The
+ *    sentence that the record carried a `Set` the emitter copied is the
+ *    record from before the hand-set field was removed.
+ * 2. `ApproximationBound.horizonHolds` and `deltaAt` are functions, which
+ *    stringify to nothing at all. Only the `horizon` PROSE and the
+ *    `deltaAtBasis` label cross into JSON; the machine forms stay in
+ *    TypeScript, as `data/schemas/atlas-record.v0.json` states.
  *
  * Every record key order and every `Record<>` key order is fixed here, so two
  * calls on the same family produce byte-identical output. That is what lets
@@ -21,7 +22,8 @@
  *
  * @module atlas/serialize
  */
-import type { AtlasFamily } from './oscillators/index.js';
+import type { AtlasFamily } from './family.js';
+import type { WitnessResultsArtifact } from './witness-artifact.js';
 /** Record major version of the emitted artifact. @internal */
 export declare const ATLAS_RECORD_SCHEMA_VERSION = "0";
 /** A JSON value, as emitted. @internal */
@@ -44,7 +46,11 @@ export interface AtlasRecordJson {
  *
  * Deterministic: equal inputs give byte-identical `JSON.stringify` output.
  *
+ * @param witnessResults - the committed `data/atlas/witness-results.json`.
+ * Each bridge's `evidence` is derived against it; it is REQUIRED, because a
+ * defaulted empty artifact would publish `proposed` for every bridge and
+ * read exactly like a measured negative.
  * @internal
  */
-export declare function toAtlasJson(family: AtlasFamily, packageVersion: string): AtlasRecordJson;
+export declare function toAtlasJson(family: AtlasFamily, packageVersion: string, witnessResults: WitnessResultsArtifact): AtlasRecordJson;
 //# sourceMappingURL=serialize.d.ts.map

package/dist/atlas/serialize.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"serialize.d.ts","sourceRoot":"","sources":["../../src/atlas/serialize.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAUH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AAE1D,8DAA8D;AAC9D,eAAO,MAAM,2BAA2B,MAAM,CAAC;AAE/C,0CAA0C;AAC1C,MAAM,MAAM,SAAS,GACjB,MAAM,GACN,MAAM,GACN,OAAO,GACP,IAAI,GACJ,SAAS,SAAS,EAAE,GACpB;IAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,CAAC;AAExC,sCAAsC;AACtC,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,SAAS,SAAS,EAAE,CAAC;IACtC,QAAQ,CAAC,OAAO,EAAE,SAAS,SAAS,EAAE,CAAC;IACvC,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,CAAC;CAC3C;AAgLD;;;;;;;GAOG;AACH,wBAAgB,WAAW,CACzB,MAAM,EAAE,WAAW,EACnB,cAAc,EAAE,MAAM,GACrB,eAAe,CAUjB"}
+{"version":3,"file":"serialize.d.ts","sourceRoot":"","sources":["../../src/atlas/serialize.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAUH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE/C,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAGpE,8DAA8D;AAC9D,eAAO,MAAM,2BAA2B,MAAM,CAAC;AAE/C,0CAA0C;AAC1C,MAAM,MAAM,SAAS,GACjB,MAAM,GACN,MAAM,GACN,OAAO,GACP,IAAI,GACJ,SAAS,SAAS,EAAE,GACpB;IAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,CAAC;AAExC,sCAAsC;AACtC,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,SAAS,SAAS,EAAE,CAAC;IACtC,QAAQ,CAAC,OAAO,EAAE,SAAS,SAAS,EAAE,CAAC;IACvC,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,CAAC;CAC3C;AAmLD;;;;;;;;;;;GAWG;AACH,wBAAgB,WAAW,CACzB,MAAM,EAAE,WAAW,EACnB,cAAc,EAAE,MAAM,EACtB,cAAc,EAAE,sBAAsB,GACrC,eAAe,CAUjB"}

package/dist/atlas/serialize.js

@@ -1,18 +1,19 @@
 /**
  * JSON projection of an atlas family (Atlas Phase 0, S0.6).
  *
- * The in-memory record is not JSON. Two fields make that true, and both are
+ * The in-memory record is not JSON. Two things make that true, and both are
  * handled here rather than left to `JSON.stringify`:
  *
- * 1. `AtlasBridge.evidence` is a `ReadonlySet<EvidenceTag>`, and a `Set`
- *    stringifies to `{}` — the artifact would be silently empty exactly where
- *    the evidence lives. Design note §7 requires the emitter to serialize it
- *    explicitly; it is emitted as a SORTED array so the artifact is stable
- *    under insertion-order changes.
- * 2. `ApproximationBound.horizonHolds` is a function, which stringifies to
- *    nothing at all. Only the `horizon` PROSE crosses into JSON; the machine
- *    predicate stays in TypeScript, as `data/schemas/atlas-record.v0.json`
- *    states.
+ * 1. A bridge stores NO evidence set. The artifact's `evidence` is DERIVED
+ *    at write time by `deriveEvidence`, against the committed witness results
+ *    the caller passes in (`data/atlas/witness-results.json`), and emitted as
+ *    a SORTED array so the artifact is stable under insertion order. The
+ *    sentence that the record carried a `Set` the emitter copied is the
+ *    record from before the hand-set field was removed.
+ * 2. `ApproximationBound.horizonHolds` and `deltaAt` are functions, which
+ *    stringify to nothing at all. Only the `horizon` PROSE and the
+ *    `deltaAtBasis` label cross into JSON; the machine forms stay in
+ *    TypeScript, as `data/schemas/atlas-record.v0.json` states.
  *
  * Every record key order and every `Record<>` key order is fixed here, so two
  * calls on the same family produce byte-identical output. That is what lets
@@ -21,6 +22,8 @@
  *
  * @module atlas/serialize
  */
+import { deriveEvidence } from './derive-evidence.js';
+import { artifactPassingWitnessIds } from './witness-artifact.js';
 /** Record major version of the emitted artifact. @internal */
 export const ATLAS_RECORD_SCHEMA_VERSION = '0';
 /** Rebuild a record with its keys in sorted order, so emission is stable. */
@@ -63,8 +66,10 @@ const serializeRegime = (regime) => {
 /**
  * `horizonHolds` and `deltaAt` are deliberately absent: a predicate is not
  * data, and a serialized function would be a claim no reader could check.
- * `uniformity` IS data. `null` is the not-yet-analysed state and must be
- * present in the artifact, not dropped.
+ * `deltaAtBasis` IS data: it says whether the point value `deltaAt` returns
+ * is the closed-form error or a numerically supported one, which a reader of
+ * the artifact cannot otherwise tell. `uniformity` IS data. `null` is the
+ * not-yet-analysed state and must be present in the artifact, not dropped.
  */
 const serializeBound = (bound) => ({
     K: zeroSafe(bound.K),
@@ -75,6 +80,7 @@ const serializeBound = (bound) => ({
     ...(bound.parameterRange === undefined ? {} : { parameterRange: bound.parameterRange }),
     limitCharacter: bound.limitCharacter,
     uniformity: bound.uniformity === null ? null : [...bound.uniformity],
+    ...(bound.deltaAtBasis === undefined ? {} : { deltaAtBasis: bound.deltaAtBasis }),
 });
 /**
  * Fields are enumerated EXPLICITLY, never spread: a new optional field stays
@@ -124,7 +130,7 @@ const serializeNormTransports = (transports) => transports.map((nt) => ({
     witness: serializeWitnesses([nt.witness])[0],
     basis: nt.basis,
 }));
-const serializeBridge = (bridge) => ({
+const serializeBridge = (bridge, witnessResults) => ({
     id: bridge.id,
     relation: bridge.relation,
     premises: [...bridge.premises],
@@ -140,9 +146,9 @@ const serializeBridge = (bridge) => ({
         description: c.description,
         witness: c.witness,
     })),
-    // The Set, explicitly — sorted, so the artifact does not churn on
-    // insertion order.
-    evidence: [...bridge.evidence].sort(),
+    // DERIVED against the committed witness results, never read from the
+    // record — sorted, so the artifact does not churn on insertion order.
+    evidence: [...deriveEvidence(bridge, artifactPassingWitnessIds(witnessResults, bridge.id))].sort(),
     witnesses: serializeWitnesses(bridge.witnesses),
     citations: [...bridge.citations],
     reviewStatus: bridge.reviewStatus,
@@ -189,16 +195,20 @@ const serializeRejection = (rejection) => ({
  *
  * Deterministic: equal inputs give byte-identical `JSON.stringify` output.
  *
+ * @param witnessResults - the committed `data/atlas/witness-results.json`.
+ * Each bridge's `evidence` is derived against it; it is REQUIRED, because a
+ * defaulted empty artifact would publish `proposed` for every bridge and
+ * read exactly like a measured negative.
  * @internal
  */
-export function toAtlasJson(family, packageVersion) {
+export function toAtlasJson(family, packageVersion, witnessResults) {
     return {
         $schema: '../schemas/atlas-record.v0.json',
         schemaVersion: ATLAS_RECORD_SCHEMA_VERSION,
         packageVersion,
         family: family.family,
         models: family.models.map(serializeModel),
-        bridges: family.bridges.map(serializeBridge),
+        bridges: family.bridges.map((bridge) => serializeBridge(bridge, witnessResults)),
         rejections: family.rejections.map(serializeRejection),
     };
 }

package/dist/atlas/serialize.js.map

@@ -1 +1 @@
-{"version":3,"file":"serialize.js","sourceRoot":"","sources":["../../src/atlas/serialize.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAYH,8DAA8D;AAC9D,MAAM,CAAC,MAAM,2BAA2B,GAAG,GAAG,CAAC;AAsB/C,6EAA6E;AAC7E,MAAM,YAAY,GAAG,CAAI,MAAmC,EAAqB,EAAE;IACjF,MAAM,GAAG,GAAsB,EAAE,CAAC;IAClC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE;QAAE,GAAG,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,GAAG,CAAM,CAAC;IAC1E,OAAO,GAAG,CAAC;AACb,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAE1D,MAAM,gBAAgB,GAAG,CAAC,KAAc,EAAa,EAAE;IACrD,MAAM,SAAS,GAA2B,EAAE,CAAC;IAC7C,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IAC7C,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC;QAAE,SAAS,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAW,CAAC,CAAC;IACxF,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC;AAC/C,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CAAC,MAAc,EAAa,EAAE;IACpD,MAAM,WAAW,GAA8B,EAAE,CAAC;IAClD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAC9D,WAAW,CAAC,GAAG,CAAC,GAAG,gBAAgB,CAAC,MAAM,CAAC,gBAAgB,CAAC,GAAG,CAAY,CAAC,CAAC;IAC/E,CAAC;IACD,OAAO;QACL,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,YAAY,EAAE,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC5C,KAAK,EAAE,CAAC,CAAC,KAAK;YACd,EAAE,EAAE,CAAC,CAAC,EAAE;YACR,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC;YACxB,GAAG,CAAC,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC;SACrD,CAAC,CAAC;QACH,gBAAgB,EAAE,WAAW;KAC9B,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,cAAc,GAAG,CAAC,KAAyB,EAAa,EAAE,CAAC,CAAC;IAChE,CAAC,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;IACpB,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC;IAC5B,IAAI,EAAE,KAAK,CAAC,IAAI;IAChB,MAAM,EAAE,KAAK,CAAC,MAAM;IACpB,OAAO,EAAE,KAAK,CAAC,OAAO;IACtB,GAAG,CAAC,KAAK,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,KAAK,CAAC,cAAc,EAAE,CAAC;IACvF,cAAc,EAAE,KAAK,CAAC,cAAc;IACpC,UAAU,EAAE,KAAK,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC;CACrE,CAAC,CAAC;AAEH;;;;;;GAMG;AACH,MAAM,cAAc,GAAG,CAAC,KAAiB,EAAa,EAAE,CAAC,CAAC;IACxD,EAAE,EAAE,KAAK,CAAC,EAAE;IACZ,MAAM,EAAE,KAAK,CAAC,MAAM;IACpB,UAAU,EAAE,KAAK,CAAC,UAAU;IAC5B,QAAQ,EAAE,KAAK,CAAC,QAAQ;IACxB,WAAW,EAAE,CAAC,GAAG,KAAK,CAAC,WAAW,CAAC;IACnC,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACvC,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,GAAG,EAAE,EAAE,GAAG,CAAC,CAAC,GAAG,EAAE;KAClB,CAAC,CAAC;IACH,mBAAmB,EAAE,CAAC,GAAG,KAAK,CAAC,mBAAmB,CAAC;IACnD,aAAa,EAAE,CAAC,GAAG,KAAK,CAAC,aAAa,CAAC;IACvC,MAAM,EAAE,eAAe,CAAC,KAAK,CAAC,MAAM,CAAC;IACrC,GAAG,CAAC,KAAK,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,GAAG,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC;IACtF,GAAG,CAAC,KAAK,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,GAAG,KAAK,CAAC,WAAW,CAAC,EAAE,CAAC;IACnF,GAAG,CAAC,KAAK,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,KAAK,CAAC,aAAa,EAAE,CAAC;CACrF,CAAC,CAAC;AAEH,MAAM,kBAAkB,GAAG,CACzB,SAAmC,EACb,EAAE,CACxB,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACpB,EAAE,EAAE,CAAC,CAAC,EAAE;IACR,IAAI,EAAE,CAAC,CAAC,IAAI;IACZ,IAAI,EAAE,CAAC,CAAC,IAAI;IACZ,GAAG,CAAC,CAAC,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC;CACjE,CAAC,CAAC,CAAC;AAEN;;;GAGG;AACH,MAAM,uBAAuB,GAAG,CAC9B,UAAsD,EAChC,EAAE,CACxB,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IACtB,EAAE,EAAE,EAAE,CAAC,EAAE;IACT,SAAS,EAAE,EAAE,CAAC,SAAS;IACvB,OAAO,EAAE,EAAE,CAAC,OAAO;IACnB,IAAI,EAAE,EAAE,CAAC,IAAI;IACb,EAAE,EAAE,EAAE,CAAC,EAAE;IACT,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;IACjB,MAAM,EAAE,EAAE,CAAC,MAAM;IACjB,UAAU,EAAE,EAAE,CAAC,UAAU;IACzB,OAAO,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE;IAC1F,UAAU,EAAE,EAAE,CAAC,UAAU;IACzB,OAAO,EAAE,kBAAkB,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAE;IAC7C,KAAK,EAAE,EAAE,CAAC,KAAK;CAChB,CAAC,CAAC,CAAC;AAEN,MAAM,eAAe,GAAG,CAAC,MAAmB,EAAa,EAAE,CAAC,CAAC;IAC3D,EAAE,EAAE,MAAM,CAAC,EAAE;IACb,QAAQ,EAAE,MAAM,CAAC,QAAQ;IACzB,QAAQ,EAAE,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC;IAC9B,UAAU,EAAE,MAAM,CAAC,UAAU;IAC7B,cAAc,EAAE,MAAM,CAAC,cAAc;IACrC,GAAG,CAAC,MAAM,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC;IACpE,SAAS,EAAE,CAAC,GAAG,MAAM,CAAC,SAAS,CAAC;IAChC,eAAe,EAAE,CAAC,GAAG,MAAM,CAAC,eAAe,CAAC;IAC5C,cAAc,EAAE,CAAC,GAAG,MAAM,CAAC,cAAc,CAAC;IAC1C,GAAG,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,cAAc,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;IAC9E,MAAM,EAAE,eAAe,CAAC,MAAM,CAAC,MAAM,CAAC;IACtC,eAAe,EAAE,MAAM,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAClD,WAAW,EAAE,CAAC,CAAC,WAAW;QAC1B,OAAO,EAAE,CAAC,CAAC,OAAO;KACnB,CAAC,CAAC;IACH,kEAAkE;IAClE,mBAAmB;IACnB,QAAQ,EAAE,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE;IACrC,SAAS,EAAE,kBAAkB,CAAC,MAAM,CAAC,SAAS,CAAC;IAC/C,SAAS,EAAE,CAAC,GAAG,MAAM,CAAC,SAAS,CAAC;IAChC,YAAY,EAAE,MAAM,CAAC,YAAY;IACjC,6EAA6E;IAC7E,0EAA0E;IAC1E,GAAG,CAAC,MAAM,CAAC,SAAS,KAAK,SAAS;QAChC,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC;YACE,SAAS,EAAE;gBACT,MAAM,EAAE,MAAM,CAAC,SAAS,CAAC,MAAM;gBAC/B,SAAS,EAAE,MAAM,CAAC,SAAS,CAAC,SAAS;gBACrC,OAAO,EAAE,MAAM,CAAC,SAAS,CAAC,OAAO;gBACjC,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC;gBACpC,QAAQ,EAAE,MAAM,CAAC,SAAS,CAAC,QAAQ;gBACnC,IAAI,EAAE,MAAM,CAAC,SAAS,CAAC,IAAI;gBAC3B,GAAG,EAAE,MAAM,CAAC,SAAS,CAAC,GAAG;gBACzB,MAAM,EAAE,MAAM,CAAC,SAAS,CAAC,MAAM;aAChC;SACF,CAAC;IACN,sEAAsE;IACtE,GAAG,CAAC,MAAM,CAAC,cAAc,KAAK,SAAS;QACrC,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,EAAE,cAAc,EAAE,uBAAuB,CAAC,MAAM,CAAC,cAAc,CAAC,EAAE,CAAC;CACxE,CAAC,CAAC;AAEH;;;;;GAKG;AACH,MAAM,kBAAkB,GAAG,CAAC,SAAyB,EAAa,EAAE,CAAC,CAAC;IACpE,EAAE,EAAE,SAAS,CAAC,EAAE;IAChB,eAAe,EAAE,SAAS,CAAC,OAAO;IAClC,QAAQ,EAAE,CAAC,GAAG,SAAS,CAAC,QAAQ,CAAC;IACjC,UAAU,EAAE,SAAS,CAAC,UAAU;IAChC,MAAM,EAAE,SAAS,CAAC,MAAM;IACxB,cAAc,EAAE,SAAS,CAAC,cAAc;IACxC,cAAc,EAAE,EAAE,WAAW,EAAE,SAAS,CAAC,MAAM,EAAE;IACjD,SAAS,EAAE,kBAAkB,CAAC,SAAS,CAAC,SAAS,CAAC;CACnD,CAAC,CAAC;AAEH;;;;;;;GAOG;AACH,MAAM,UAAU,WAAW,CACzB,MAAmB,EACnB,cAAsB;IAEtB,OAAO;QACL,OAAO,EAAE,iCAAiC;QAC1C,aAAa,EAAE,2BAA2B;QAC1C,cAAc;QACd,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,cAAc,CAAC;QACzC,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,eAAe,CAAC;QAC5C,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,kBAAkB,CAAC;KACtD,CAAC;AACJ,CAAC"}
+{"version":3,"file":"serialize.js","sourceRoot":"","sources":["../../src/atlas/serialize.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAWH,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAEtD,OAAO,EAAE,yBAAyB,EAAE,MAAM,uBAAuB,CAAC;AAElE,8DAA8D;AAC9D,MAAM,CAAC,MAAM,2BAA2B,GAAG,GAAG,CAAC;AAsB/C,6EAA6E;AAC7E,MAAM,YAAY,GAAG,CAAI,MAAmC,EAAqB,EAAE;IACjF,MAAM,GAAG,GAAsB,EAAE,CAAC;IAClC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE;QAAE,GAAG,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,GAAG,CAAM,CAAC;IAC1E,OAAO,GAAG,CAAC;AACb,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAE1D,MAAM,gBAAgB,GAAG,CAAC,KAAc,EAAa,EAAE;IACrD,MAAM,SAAS,GAA2B,EAAE,CAAC;IAC7C,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IAC7C,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC;QAAE,SAAS,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAW,CAAC,CAAC;IACxF,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC;AAC/C,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CAAC,MAAc,EAAa,EAAE;IACpD,MAAM,WAAW,GAA8B,EAAE,CAAC;IAClD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAC9D,WAAW,CAAC,GAAG,CAAC,GAAG,gBAAgB,CAAC,MAAM,CAAC,gBAAgB,CAAC,GAAG,CAAY,CAAC,CAAC;IAC/E,CAAC;IACD,OAAO;QACL,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,YAAY,EAAE,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC5C,KAAK,EAAE,CAAC,CAAC,KAAK;YACd,EAAE,EAAE,CAAC,CAAC,EAAE;YACR,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC;YACxB,GAAG,CAAC,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC;SACrD,CAAC,CAAC;QACH,gBAAgB,EAAE,WAAW;KAC9B,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,cAAc,GAAG,CAAC,KAAyB,EAAa,EAAE,CAAC,CAAC;IAChE,CAAC,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;IACpB,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC;IAC5B,IAAI,EAAE,KAAK,CAAC,IAAI;IAChB,MAAM,EAAE,KAAK,CAAC,MAAM;IACpB,OAAO,EAAE,KAAK,CAAC,OAAO;IACtB,GAAG,CAAC,KAAK,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,KAAK,CAAC,cAAc,EAAE,CAAC;IACvF,cAAc,EAAE,KAAK,CAAC,cAAc;IACpC,UAAU,EAAE,KAAK,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC;IACpE,GAAG,CAAC,KAAK,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,KAAK,CAAC,YAAY,EAAE,CAAC;CAClF,CAAC,CAAC;AAEH;;;;;;GAMG;AACH,MAAM,cAAc,GAAG,CAAC,KAAiB,EAAa,EAAE,CAAC,CAAC;IACxD,EAAE,EAAE,KAAK,CAAC,EAAE;IACZ,MAAM,EAAE,KAAK,CAAC,MAAM;IACpB,UAAU,EAAE,KAAK,CAAC,UAAU;IAC5B,QAAQ,EAAE,KAAK,CAAC,QAAQ;IACxB,WAAW,EAAE,CAAC,GAAG,KAAK,CAAC,WAAW,CAAC;IACnC,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACvC,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,GAAG,EAAE,EAAE,GAAG,CAAC,CAAC,GAAG,EAAE;KAClB,CAAC,CAAC;IACH,mBAAmB,EAAE,CAAC,GAAG,KAAK,CAAC,mBAAmB,CAAC;IACnD,aAAa,EAAE,CAAC,GAAG,KAAK,CAAC,aAAa,CAAC;IACvC,MAAM,EAAE,eAAe,CAAC,KAAK,CAAC,MAAM,CAAC;IACrC,GAAG,CAAC,KAAK,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,GAAG,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC;IACtF,GAAG,CAAC,KAAK,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,GAAG,KAAK,CAAC,WAAW,CAAC,EAAE,CAAC;IACnF,GAAG,CAAC,KAAK,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,KAAK,CAAC,aAAa,EAAE,CAAC;CACrF,CAAC,CAAC;AAEH,MAAM,kBAAkB,GAAG,CACzB,SAAmC,EACb,EAAE,CACxB,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACpB,EAAE,EAAE,CAAC,CAAC,EAAE;IACR,IAAI,EAAE,CAAC,CAAC,IAAI;IACZ,IAAI,EAAE,CAAC,CAAC,IAAI;IACZ,GAAG,CAAC,CAAC,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC;CACjE,CAAC,CAAC,CAAC;AAEN;;;GAGG;AACH,MAAM,uBAAuB,GAAG,CAC9B,UAAsD,EAChC,EAAE,CACxB,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IACtB,EAAE,EAAE,EAAE,CAAC,EAAE;IACT,SAAS,EAAE,EAAE,CAAC,SAAS;IACvB,OAAO,EAAE,EAAE,CAAC,OAAO;IACnB,IAAI,EAAE,EAAE,CAAC,IAAI;IACb,EAAE,EAAE,EAAE,CAAC,EAAE;IACT,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;IACjB,MAAM,EAAE,EAAE,CAAC,MAAM;IACjB,UAAU,EAAE,EAAE,CAAC,UAAU;IACzB,OAAO,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE;IAC1F,UAAU,EAAE,EAAE,CAAC,UAAU;IACzB,OAAO,EAAE,kBAAkB,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAE;IAC7C,KAAK,EAAE,EAAE,CAAC,KAAK;CAChB,CAAC,CAAC,CAAC;AAEN,MAAM,eAAe,GAAG,CAAC,MAAmB,EAAE,cAAsC,EAAa,EAAE,CAAC,CAAC;IACnG,EAAE,EAAE,MAAM,CAAC,EAAE;IACb,QAAQ,EAAE,MAAM,CAAC,QAAQ;IACzB,QAAQ,EAAE,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC;IAC9B,UAAU,EAAE,MAAM,CAAC,UAAU;IAC7B,cAAc,EAAE,MAAM,CAAC,cAAc;IACrC,GAAG,CAAC,MAAM,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC;IACpE,SAAS,EAAE,CAAC,GAAG,MAAM,CAAC,SAAS,CAAC;IAChC,eAAe,EAAE,CAAC,GAAG,MAAM,CAAC,eAAe,CAAC;IAC5C,cAAc,EAAE,CAAC,GAAG,MAAM,CAAC,cAAc,CAAC;IAC1C,GAAG,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,cAAc,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;IAC9E,MAAM,EAAE,eAAe,CAAC,MAAM,CAAC,MAAM,CAAC;IACtC,eAAe,EAAE,MAAM,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAClD,WAAW,EAAE,CAAC,CAAC,WAAW;QAC1B,OAAO,EAAE,CAAC,CAAC,OAAO;KACnB,CAAC,CAAC;IACH,qEAAqE;IACrE,sEAAsE;IACtE,QAAQ,EAAE,CAAC,GAAG,cAAc,CAAC,MAAM,EAAE,yBAAyB,CAAC,cAAc,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;IAClG,SAAS,EAAE,kBAAkB,CAAC,MAAM,CAAC,SAAS,CAAC;IAC/C,SAAS,EAAE,CAAC,GAAG,MAAM,CAAC,SAAS,CAAC;IAChC,YAAY,EAAE,MAAM,CAAC,YAAY;IACjC,6EAA6E;IAC7E,0EAA0E;IAC1E,GAAG,CAAC,MAAM,CAAC,SAAS,KAAK,SAAS;QAChC,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC;YACE,SAAS,EAAE;gBACT,MAAM,EAAE,MAAM,CAAC,SAAS,CAAC,MAAM;gBAC/B,SAAS,EAAE,MAAM,CAAC,SAAS,CAAC,SAAS;gBACrC,OAAO,EAAE,MAAM,CAAC,SAAS,CAAC,OAAO;gBACjC,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC;gBACpC,QAAQ,EAAE,MAAM,CAAC,SAAS,CAAC,QAAQ;gBACnC,IAAI,EAAE,MAAM,CAAC,SAAS,CAAC,IAAI;gBAC3B,GAAG,EAAE,MAAM,CAAC,SAAS,CAAC,GAAG;gBACzB,MAAM,EAAE,MAAM,CAAC,SAAS,CAAC,MAAM;aAChC;SACF,CAAC;IACN,sEAAsE;IACtE,GAAG,CAAC,MAAM,CAAC,cAAc,KAAK,SAAS;QACrC,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,EAAE,cAAc,EAAE,uBAAuB,CAAC,MAAM,CAAC,cAAc,CAAC,EAAE,CAAC;CACxE,CAAC,CAAC;AAEH;;;;;GAKG;AACH,MAAM,kBAAkB,GAAG,CAAC,SAAyB,EAAa,EAAE,CAAC,CAAC;IACpE,EAAE,EAAE,SAAS,CAAC,EAAE;IAChB,eAAe,EAAE,SAAS,CAAC,OAAO;IAClC,QAAQ,EAAE,CAAC,GAAG,SAAS,CAAC,QAAQ,CAAC;IACjC,UAAU,EAAE,SAAS,CAAC,UAAU;IAChC,MAAM,EAAE,SAAS,CAAC,MAAM;IACxB,cAAc,EAAE,SAAS,CAAC,cAAc;IACxC,cAAc,EAAE,EAAE,WAAW,EAAE,SAAS,CAAC,MAAM,EAAE;IACjD,SAAS,EAAE,kBAAkB,CAAC,SAAS,CAAC,SAAS,CAAC;CACnD,CAAC,CAAC;AAEH;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,WAAW,CACzB,MAAmB,EACnB,cAAsB,EACtB,cAAsC;IAEtC,OAAO;QACL,OAAO,EAAE,iCAAiC;QAC1C,aAAa,EAAE,2BAA2B;QAC1C,cAAc;QACd,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,cAAc,CAAC;QACzC,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,eAAe,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;QAChF,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,kBAAkB,CAAC;KACtD,CAAC;AACJ,CAAC","sourcesContent":["/**\n * JSON projection of an atlas family (Atlas Phase 0, S0.6).\n *\n * The in-memory record is not JSON. Two things make that true, and both are\n * handled here rather than left to `JSON.stringify`:\n *\n * 1. A bridge stores NO evidence set. The artifact's `evidence` is DERIVED\n *    at write time by `deriveEvidence`, against the committed witness results\n *    the caller passes in (`data/atlas/witness-results.json`), and emitted as\n *    a SORTED array so the artifact is stable under insertion order. The\n *    sentence that the record carried a `Set` the emitter copied is the\n *    record from before the hand-set field was removed.\n * 2. `ApproximationBound.horizonHolds` and `deltaAt` are functions, which\n *    stringify to nothing at all. Only the `horizon` PROSE and the\n *    `deltaAtBasis` label cross into JSON; the machine forms stay in\n *    TypeScript, as `data/schemas/atlas-record.v0.json` states.\n *\n * Every record key order and every `Record<>` key order is fixed here, so two\n * calls on the same family produce byte-identical output. That is what lets\n * `tests/atlas/atlas-json.test.ts` pin the committed artifact against the live\n * family the way `catalog-json.test.ts` pins the bridge catalog.\n *\n * @module atlas/serialize\n */\n\nimport type { PiGroup } from '../dimensional/buckingham.js';\nimport type {\n  ApproximationBound,\n  AtlasBridge,\n  AtlasRejection,\n  Regime,\n} from './types.js';\nimport type { AtlasModel } from './model.js';\nimport type { AtlasFamily } from './family.js';\nimport { deriveEvidence } from './derive-evidence.js';\nimport type { WitnessResultsArtifact } from './witness-artifact.js';\nimport { artifactPassingWitnessIds } from './witness-artifact.js';\n\n/** Record major version of the emitted artifact. @internal */\nexport const ATLAS_RECORD_SCHEMA_VERSION = '0';\n\n/** A JSON value, as emitted. @internal */\nexport type JsonValue =\n  | string\n  | number\n  | boolean\n  | null\n  | readonly JsonValue[]\n  | { readonly [k: string]: JsonValue };\n\n/** The emitted artifact. @internal */\nexport interface AtlasRecordJson {\n  readonly $schema: string;\n  readonly schemaVersion: string;\n  readonly packageVersion: string;\n  readonly family: string;\n  readonly models: readonly JsonValue[];\n  readonly bridges: readonly JsonValue[];\n  readonly rejections: readonly JsonValue[];\n}\n\n/** Rebuild a record with its keys in sorted order, so emission is stable. */\nconst sortedRecord = <T>(source: Readonly<Record<string, T>>): Record<string, T> => {\n  const out: Record<string, T> = {};\n  for (const key of Object.keys(source).sort()) out[key] = source[key] as T;\n  return out;\n};\n\n/**\n * Normalize negative zero. `buckinghamPi` produces `-0` exponents (a `-1 * 0`\n * in the null-space arithmetic), and `JSON.stringify(-0)` is `\"0\"` — so a\n * record holding `-0` does NOT survive its own round-trip. Collapsing it here\n * makes the projection genuinely JSON-faithful instead of nearly so.\n */\nconst zeroSafe = (n: number): number => (n === 0 ? 0 : n);\n\nconst serializePiGroup = (group: PiGroup): JsonValue => {\n  const exponents: Record<string, number> = {};\n  const sorted = sortedRecord(group.exponents);\n  for (const key of Object.keys(sorted)) exponents[key] = zeroSafe(sorted[key] as number);\n  return { exponents, formula: group.formula };\n};\n\nconst serializeRegime = (regime: Regime): JsonValue => {\n  const definitions: Record<string, JsonValue> = {};\n  for (const key of Object.keys(regime.groupDefinitions).sort()) {\n    definitions[key] = serializePiGroup(regime.groupDefinitions[key] as PiGroup);\n  }\n  return {\n    family: regime.family,\n    inequalities: regime.inequalities.map((i) => ({\n      group: i.group,\n      op: i.op,\n      bound: zeroSafe(i.bound),\n      ...(i.alias === undefined ? {} : { alias: i.alias }),\n    })),\n    groupDefinitions: definitions,\n  };\n};\n\n/**\n * `horizonHolds` and `deltaAt` are deliberately absent: a predicate is not\n * data, and a serialized function would be a claim no reader could check.\n * `deltaAtBasis` IS data: it says whether the point value `deltaAt` returns\n * is the closed-form error or a numerically supported one, which a reader of\n * the artifact cannot otherwise tell. `uniformity` IS data. `null` is the\n * not-yet-analysed state and must be present in the artifact, not dropped.\n */\nconst serializeBound = (bound: ApproximationBound): JsonValue => ({\n  K: zeroSafe(bound.K),\n  delta: zeroSafe(bound.delta),\n  norm: bound.norm,\n  domain: bound.domain,\n  horizon: bound.horizon,\n  ...(bound.parameterRange === undefined ? {} : { parameterRange: bound.parameterRange }),\n  limitCharacter: bound.limitCharacter,\n  uniformity: bound.uniformity === null ? null : [...bound.uniformity],\n  ...(bound.deltaAtBasis === undefined ? {} : { deltaAtBasis: bound.deltaAtBasis }),\n});\n\n/**\n * Fields are enumerated EXPLICITLY, never spread: a new optional field stays\n * invisible to the artifact until it is added here, so a model that records\n * none of the Phase 3 additions serializes byte-identically to the committed\n * `data/atlas/oscillators.json` that `tests/atlas/atlas-json.test.ts`\n * deep-equals against.\n */\nconst serializeModel = (model: AtlasModel): JsonValue => ({\n  id: model.id,\n  family: model.family,\n  stateSpace: model.stateSpace,\n  dynamics: model.dynamics,\n  observables: [...model.observables],\n  parameters: model.parameters.map((p) => ({\n    name: p.name,\n    dim: { ...p.dim },\n  })),\n  dimensionlessInputs: [...model.dimensionlessInputs],\n  canonicalRefs: [...model.canonicalRefs],\n  regime: serializeRegime(model.regime),\n  ...(model.boundaryData === undefined ? {} : { boundaryData: [...model.boundaryData] }),\n  ...(model.initialData === undefined ? {} : { initialData: [...model.initialData] }),\n  ...(model.symmetryGroup === undefined ? {} : { symmetryGroup: model.symmetryGroup }),\n});\n\nconst serializeWitnesses = (\n  witnesses: AtlasBridge['witnesses'],\n): readonly JsonValue[] =>\n  witnesses.map((w) => ({\n    id: w.id,\n    kind: w.kind,\n    test: w.test,\n    ...(w.tolerance === undefined ? {} : { tolerance: w.tolerance }),\n  }));\n\n/**\n * A norm transport's `KAt` and `timeMap.restateHorizon` are functions and are\n * absent for the reason `serializeBound` gives; the declaration's data is kept.\n */\nconst serializeNormTransports = (\n  transports: NonNullable<AtlasBridge['normTransports']>,\n): readonly JsonValue[] =>\n  transports.map((nt) => ({\n    id: nt.id,\n    fromModel: nt.fromModel,\n    toModel: nt.toModel,\n    from: nt.from,\n    to: nt.to,\n    K: zeroSafe(nt.K),\n    domain: nt.domain,\n    derivation: nt.derivation,\n    timeMap: { map: nt.timeMap.map, uniform: nt.timeMap.uniform, horizon: nt.timeMap.horizon },\n    uniformity: nt.uniformity,\n    witness: serializeWitnesses([nt.witness])[0]!,\n    basis: nt.basis,\n  }));\n\nconst serializeBridge = (bridge: AtlasBridge, witnessResults: WitnessResultsArtifact): JsonValue => ({\n  id: bridge.id,\n  relation: bridge.relation,\n  premises: [...bridge.premises],\n  conclusion: bridge.conclusion,\n  transformation: bridge.transformation,\n  ...(bridge.inverse === undefined ? {} : { inverse: bridge.inverse }),\n  preserves: [...bridge.preserves],\n  doesNotPreserve: [...bridge.doesNotPreserve],\n  sideConditions: [...bridge.sideConditions],\n  ...(bridge.bound === undefined ? {} : { bound: serializeBound(bridge.bound) }),\n  regime: serializeRegime(bridge.regime),\n  counterexamples: bridge.counterexamples.map((c) => ({\n    description: c.description,\n    witness: c.witness,\n  })),\n  // DERIVED against the committed witness results, never read from the\n  // record — sorted, so the artifact does not churn on insertion order.\n  evidence: [...deriveEvidence(bridge, artifactPassingWitnessIds(witnessResults, bridge.id))].sort(),\n  witnesses: serializeWitnesses(bridge.witnesses),\n  citations: [...bridge.citations],\n  reviewStatus: bridge.reviewStatus,\n  // Omitted, never emptied, when absent (Phase 4 S4.6): an absent reference is\n  // the honest default, and `{}` would read as a reference with no content.\n  ...(bridge.formalRef === undefined\n    ? {}\n    : {\n        formalRef: {\n          system: bridge.formalRef.system,\n          statement: bridge.formalRef.statement,\n          version: bridge.formalRef.version,\n          axioms: [...bridge.formalRef.axioms],\n          fidelity: bridge.formalRef.fidelity,\n          kind: bridge.formalRef.kind,\n          url: bridge.formalRef.url,\n          covers: bridge.formalRef.covers,\n        },\n      }),\n  // Omitted when absent, like formalRef: no declaration is the default.\n  ...(bridge.normTransports === undefined\n    ? {}\n    : { normTransports: serializeNormTransports(bridge.normTransports) }),\n});\n\n/**\n * `claimed` is emitted as `claimedRelation`, and `reason` is ALSO emitted as\n * `counterexample.description`, because the schema's rejection record names\n * those two keys. The description is the refutation itself restated under the\n * key the schema requires — no new claim is introduced.\n */\nconst serializeRejection = (rejection: AtlasRejection): JsonValue => ({\n  id: rejection.id,\n  claimedRelation: rejection.claimed,\n  premises: [...rejection.premises],\n  conclusion: rejection.conclusion,\n  reason: rejection.reason,\n  survivingGroup: rejection.survivingGroup,\n  counterexample: { description: rejection.reason },\n  witnesses: serializeWitnesses(rejection.witnesses),\n});\n\n/**\n * Project an atlas family into the shape of\n * `data/schemas/atlas-record.v0.json`.\n *\n * Deterministic: equal inputs give byte-identical `JSON.stringify` output.\n *\n * @param witnessResults - the committed `data/atlas/witness-results.json`.\n * Each bridge's `evidence` is derived against it; it is REQUIRED, because a\n * defaulted empty artifact would publish `proposed` for every bridge and\n * read exactly like a measured negative.\n * @internal\n */\nexport function toAtlasJson(\n  family: AtlasFamily,\n  packageVersion: string,\n  witnessResults: WitnessResultsArtifact,\n): AtlasRecordJson {\n  return {\n    $schema: '../schemas/atlas-record.v0.json',\n    schemaVersion: ATLAS_RECORD_SCHEMA_VERSION,\n    packageVersion,\n    family: family.family,\n    models: family.models.map(serializeModel),\n    bridges: family.bridges.map((bridge) => serializeBridge(bridge, witnessResults)),\n    rejections: family.rejections.map(serializeRejection),\n  };\n}\n"]}