universal-physics-tensor 10.0.0 → 12.0.0

package/dist/canonical/entries/relativity.js.map

@@ -1 +1 @@
-{"version":3,"file":"relativity.js","sourceRoot":"","sources":["../../../src/canonical/entries/relativity.ts"],"names":[],"mappings":"AAiBA,OAAO,EAAE,MAAM,EAAE,MAAM,6BAA6B,CAAC;AACrD,OAAO,EAAE,IAAI,EAAE,MAAM,6BAA6B,CAAC;AACnD,OAAO,EAAE,GAAG,EAAE,MAAM,mCAAmC,CAAC;AACxD,OAAO,EACL,MAAM,EACN,aAAa,EACb,IAAI,EACJ,QAAQ,EACR,MAAM,EACN,OAAO,EACP,WAAW,EACX,IAAI,EACJ,KAAK,GACN,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,gBAAgB,CAAC;AAElD,gFAAgF;AAChF,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,8CAA8C;AACtE,MAAM,cAAc,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,gCAAgC;AAEvE,SAAS,YAAY,CAAC,EAAE,GAAG,IAAI,EAAE,EAAE,GAAG,IAAI;IACxC,MAAM,MAAM,GAAG,MAAM,CACnB,GAAG,EACH;QACE,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE;QACjC,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE;KAClC,EACD,aAAa,EACb,SAAS,CACV,CAAC;IACF,MAAM,QAAQ,GAAG,MAAM,CACrB,OAAO,EACP;QACE,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE;QACjC,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE;KAClC,EACD,aAAa,EACb,SAAS,CACV,CAAC;IACF,MAAM,MAAM,GAAG,IAAI,CACjB,GAAG,EACH,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,EACnC,MAAM,EACN,YAAY,CACb,CAAC;IACF,OAAO;QACL,IAAI,EAAE,gBAAgB;QACtB,UAAU,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE;QAC/C,YAAY,EAAE;YACZ,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE;YAChC,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE;YACtC,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE;SACjC;QACD,MAAM;QACN,QAAQ;QACR,MAAM;KACP,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,EAAE,GAAG,IAAI,EAAE,EAAE,GAAG,IAAI;IACzC,MAAM,OAAO,GAAG,YAAY,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IACrC,OAAO;QACL,IAAI,EAAE,iBAAiB;QACvB,OAAO;QACP,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,QAAQ,EAAE,OAAO,CAAC,QAAQ;KAC3B,CAAC;AACJ,CAAC;AAED,MAAM,MAAM,GAAG,CAAC,EAAE,GAAG,IAAI,EAAE,EAAE,GAAG,IAAI,EAA0B,EAAE,CAAC,CAAC;IAChE,IAAI,EAAE,eAAe;IACrB,MAAM,EAAE,GAAG;IACX,OAAO,EAAE;QACP,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE;QAChC,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE;KACjC;IACD,QAAQ,EAAE,WAAW;IACrB,YAAY,EAAE,cAAc;CAC7B,CAAC,CAAC;AAEH,MAAM,WAAW,GAAG,GAA6B,EAAE,CAAC,CAAC;IACnD,IAAI,EAAE,uBAAuB;IAC7B,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,MAAM;CACZ,CAAC,CAAC;AAEH,MAAM,WAAW,GAAG,GAAqB,EAAE,CACzC,MAAM,CACJ,UAAU,EACV;IACE,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE;IAClC,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE;CACnC,EACD,aAAa,EACb,SAAS,CACV,CAAC;AAEJ,yFAAyF;AACzF,MAAM,QAAQ,GAA8B;IAC1C,IAAI,EAAE,mBAAmB;IACzB,GAAG,EAAE,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC;IAC9B,YAAY,EAAE,WAAW,EAAE;IAC3B,MAAM,EAAE,WAAW,EAAE;IACrB,GAAG,EAAE,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC;IACvB,QAAQ,EAAE,UAAU;CACrB,CAAC;AAEF,gFAAgF;AAChF,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAC5B,MAAM,UAAU,GAAG,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC;AAC1D,MAAM,OAAO,GAAG;IACd,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE;IACxB,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE;IACjC,EAAE,IAAI,EAAE,uBAAuB,EAAE,GAAG,EAAE,cAAc,EAAE;CACvD,CAAC;AAEF,gFAAgF;AAChF,MAAM,QAAQ,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ;AACxC,MAAM,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU;AACtC,MAAM,gBAAgB,GAAG,EAAE,IAAI,EAAE,qBAAqB,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC;AACxE,MAAM,aAAa,GAAG;IACpB,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE;IACxB,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE;CAC9B,CAAC;AAEF,MAAM,CAAC,MAAM,UAAU,GAAiC;IACtD,EAAE,CAAC,UAAU,EAAE,OAAO,EAAE;QACtB,EAAE,EAAE,sBAAsB;QAC1B,cAAc,EAAE,uJAAuJ;QACvK,IAAI,EAAE,yBAAyB;QAC/B,MAAM,EAAE,oBAAoB;QAC5B,aAAa,EAAE,mEAAmE;QAClF,eAAe,EAAE,oBAAoB;QACrC,yEAAyE;QACzE,sEAAsE;QACtE,+BAA+B;QAC/B,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,uBAAuB,EAAE,cAAc,CAAC,CAAC,CAAC;YAClG,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC;SAC7B,CAAC;QACF,aAAa,EAAE,QAAQ;QACvB,MAAM,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE,QAAQ,EAAE,UAAU,EAAE;QACxD,WAAW,EAAE,CAAC,cAAc,EAAE,6BAA6B,CAAC;QAC5D,UAAU,EAAE,CAAC,eAAe,CAAC;QAC7B,cAAc,EAAE,CAAC,IAAI,CAAC,EAAE,yDAAyD;KAClF,CAAC;IACF,EAAE,CACA,gBAAgB,EAChB;QACE,GAAG,aAAa;QAChB,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE;QACjC,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,aAAa,EAAE;QAC3C,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,MAAM,EAAE;KACtC,EACD;QACE,EAAE,EAAE,wBAAwB;QAC5B,KAAK,EAAE,sGAAsG;QAC7G,IAAI,EAAE,qCAAqC;QAC3C,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,mCAAmC;QAClD,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE;gBACN,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC;gBACzE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;aACxB,CAAC;YACF,EAAE,CAAC,GAAG,EAAE;gBACN,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,aAAa,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;gBAC1E,GAAG,CAAC,GAAG,CAAC,cAAc,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC;aACtC,CAAC;SACH,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,eAAe,EAAE;QACzD,WAAW,EAAE,CAAC,kBAAkB,EAAE,KAAK,EAAE,MAAM,EAAE,4BAA4B,CAAC;QAC9E,UAAU,EAAE,CAAC,gBAAgB,CAAC;QAC9B,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CAAC,gBAAgB,EAAE,aAAa,EAAE;QAClC,EAAE,EAAE,cAAc;QAClB,KAAK,EAAE,UAAU;QACjB,IAAI,EAAE,6CAA6C;QACnD,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,uBAAuB;QACtC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC;YACzE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;SACxB,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,eAAe,EAAE;QACzD,WAAW,EAAE,CAAC,YAAY,EAAE,kBAAkB,EAAE,KAAK,EAAE,MAAM,CAAC;QAC9D,UAAU,EAAE,CAAC,gBAAgB,CAAC;QAC9B,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CACA,EAAE,IAAI,EAAE,qBAAqB,EAAE,GAAG,EAAE,WAAW,EAAE,EACjD;QACE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE;QAC7B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;QAC5B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE;QACxB,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE;KAC9B,EACD;QACE,EAAE,EAAE,wBAAwB;QAC5B,KAAK,EAAE,UAAU;QACjB,IAAI,EAAE,qBAAqB;QAC3B,MAAM,EAAE,oBAAoB;QAC5B,aAAa,EAAE,kCAAkC;QACjD,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;YAC5D,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;gBACzB,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC;gBACd,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC;gBACjB,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC;aACpB,CAAC;SACH,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE;QAClC,WAAW,EAAE,CAAC,eAAe,EAAE,eAAe,CAAC;QAC/C,UAAU,EAAE,CAAC,cAAc,CAAC;QAC5B,uEAAuE;QACvE,cAAc,EAAE,CAAC,IAAI,CAAC;QACtB,cAAc,EAAE,IAAI;KACrB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,aAAa,EAAE,EAChD;QACE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE;QACxB,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;QAC5B,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,MAAM,EAAE;KAC1C,EACD;QACE,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,yCAAyC;QAC/C,MAAM,EAAE,oBAAoB;QAC5B,aAAa,EAAE,yBAAyB;QACxC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;YACrE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,kBAAkB,EAAE,MAAM,CAAC,CAAC,CAAC;SACzE,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE;QAClC,WAAW,EAAE,CAAC,YAAY,EAAE,aAAa,CAAC;QAC1C,UAAU,EAAE,CAAC,+BAA+B,CAAC;QAC7C,cAAc,EAAE,CAAC,IAAI,CAAC;QACtB,cAAc,EAAE,IAAI;KACrB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,uBAAuB,EAAE,GAAG,EAAE,aAAa,EAAE,EACrD;QACE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE;QACxB,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;QAC5B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;KAC3B,EACD;QACE,EAAE,EAAE,0BAA0B;QAC9B,IAAI,EAAE,kCAAkC;QACxC,MAAM,EAAE,oBAAoB;QAC5B,aAAa,EAAE,0CAA0C;QACzD,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;YACvE,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC;gBAC5B,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC;gBAChB,GAAG,CAAC,gBAAgB,EAAE,aAAa,CAAC;aACrC,CAAC;SACH,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE;QAClC,WAAW,EAAE,CAAC,YAAY,EAAE,uBAAuB,CAAC;QACpD,UAAU,EAAE,CAAC,eAAe,CAAC;QAC7B,cAAc,EAAE,CAAC,IAAI,CAAC;QACtB,cAAc,EAAE,IAAI;KACrB,CACF;IACD,wEAAwE;IACxE,4EAA4E;IAC5E,8EAA8E;IAC9E,EAAE,CACA,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,OAAO,EAAE,EACpC;QACE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE;QAC7B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;QAC5B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE;QACxB,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE;QACxB,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE;KAC9B,EACD;QACE,EAAE,EAAE,uBAAuB;QAC3B,KAAK,EAAE,QAAQ;QACf,IAAI,EAAE,4BAA4B;QAClC,MAAM,EAAE,oBAAoB;QAC5B,aAAa,EAAE,4BAA4B;QAC3C,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;YAC5E,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;SACxE,CAAC;QACF,KAAK,EAAE,EAAE,YAAY,EAAE,MAAM,EAAE;QAC/B,MAAM,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE,WAAW,EAAE,YAAY,EAAE;QAC7D,WAAW,EAAE,CAAC,oBAAoB,EAAE,eAAe,CAAC;QACpD,UAAU,EAAE,CAAC,+BAA+B,CAAC;QAC7C,uEAAuE;QACvE,wDAAwD;QACxD,cAAc,EAAE,CAAC,IAAI,CAAC;KACvB,CACF;IACD,yEAAyE;IACzE,EAAE,CACA,EAAE,IAAI,EAAE,qBAAqB,EAAE,GAAG,EAAE,KAAK,EAAE,EAC3C;QACE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE;QACxB,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,IAAI,EAAE;QACrC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;KAC3B,EACD;QACE,EAAE,EAAE,uBAAuB;QAC3B,KAAK,EAAE,6CAA6C;QACpD,IAAI,EAAE,6BAA6B;QACnC,MAAM,EAAE,aAAa;QACrB,aAAa,EAAE,mBAAmB;QAClC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,gBAAgB,EAAE,IAAI,CAAC,CAAC,CAAC;YACzE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC;SAC3B,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,eAAe,EAAE;QACtD,WAAW,EAAE,CAAC,cAAc,EAAE,kBAAkB,CAAC;QACjD,UAAU,EAAE,CAAC,aAAa,CAAC;QAC3B,cAAc,EAAE,EAAE;KACnB,CACF;CACF,CAAC","sourcesContent":["/**\n * Relativity canonical entries: the Einstein field equation (L2 — a structural\n * `EinsteinFieldEquationNode` validated by the existing field-equation\n * predicate) and the Friedmann equation (L1 — the flat, matter-dominated scalar\n * form H² = 8πG ρ / 3).\n *\n * @module canonical/entries/relativity\n */\nimport type { CanonicalEquation } from '../canonical-equation.js';\nimport type { EinsteinFieldEquationNode } from '../../dimensional/einstein-equation.js';\nimport type { EinsteinTensorNode } from '../../dimensional/curvature.js';\nimport type {\n  StressEnergyTensorNode,\n  CosmologicalConstantNode,\n} from '../../dimensional/stress-energy-validators.js';\nimport type { MetricTensorNode } from '../../dimensional/metric-validators.js';\nimport type { RiemannTensorNode } from '../../dimensional/connection-validators.js';\nimport { metric } from '../../dimensional/metric.js';\nimport { tsym } from '../../dimensional/tensor.js';\nimport { sym } from '../../dimensional/ast-builders.js';\nimport {\n  LENGTH,\n  DIMENSIONLESS,\n  MASS,\n  VELOCITY,\n  ACTION,\n  ENTROPY,\n  TEMPERATURE,\n  AREA,\n  FORCE,\n} from '../../dimensional/types.js';\nimport { dim, op, pow, l1 } from './_l1-build.js';\n\n// ── EFE node builders (the canonical G_μν + Λg_μν = (8πG/c⁴)T_μν structure) ──\nconst L_INV2 = dim(-2); // [L⁻²] — per-component dim of every EFE term\nconst ENERGY_DENSITY = dim(-1, 1, -2); // T_μν componentDim [M L⁻¹ T⁻²]\n\nfunction buildRiemann(mu = 'mu', nu = 'nu'): RiemannTensorNode {\n  const gLower = metric(\n    'g',\n    [\n      { label: 'a', variance: 'lower' },\n      { label: 'b', variance: 'lower' },\n    ],\n    DIMENSIONLESS,\n    '-,+,+,+',\n  );\n  const gInverse = metric(\n    'g_inv',\n    [\n      { label: 'a', variance: 'upper' },\n      { label: 'b', variance: 'upper' },\n    ],\n    DIMENSIONLESS,\n    '-,+,+,+',\n  );\n  const xCoord = tsym(\n    'x',\n    [{ label: 'c', variance: 'upper' }],\n    LENGTH,\n    'coordinate',\n  );\n  return {\n    kind: 'riemann-tensor',\n    upperIndex: { label: 'rho', variance: 'upper' },\n    lowerIndices: [\n      { label: mu, variance: 'lower' },\n      { label: 'lambda', variance: 'lower' },\n      { label: nu, variance: 'lower' },\n    ],\n    gLower,\n    gInverse,\n    xCoord,\n  };\n}\n\nfunction buildEinstein(mu = 'mu', nu = 'nu'): EinsteinTensorNode {\n  const riemann = buildRiemann(mu, nu);\n  return {\n    kind: 'einstein-tensor',\n    riemann,\n    gLower: riemann.gLower,\n    gInverse: riemann.gInverse,\n  };\n}\n\nconst buildT = (mu = 'mu', nu = 'nu'): StressEnergyTensorNode => ({\n  kind: 'stress-energy',\n  symbol: 'T',\n  indices: [\n    { label: mu, variance: 'lower' },\n    { label: nu, variance: 'lower' },\n  ],\n  symmetry: 'symmetric',\n  componentDim: ENERGY_DENSITY,\n});\n\nconst buildLambda = (): CosmologicalConstantNode => ({\n  kind: 'cosmological-constant',\n  symbol: 'Λ',\n  dim: L_INV2,\n});\n\nconst buildMetric = (): MetricTensorNode =>\n  metric(\n    'g_metric',\n    [\n      { label: 'mu', variance: 'lower' },\n      { label: 'nu', variance: 'lower' },\n    ],\n    DIMENSIONLESS,\n    '-,+,+,+',\n  );\n\n/** The canonical Einstein field equation node, G_μν + Λg_μν = (8πG/c⁴)T_μν. @internal */\nconst EFE_NODE: EinsteinFieldEquationNode = {\n  kind: 'einstein-equation',\n  lhs: buildEinstein('mu', 'nu'),\n  cosmological: buildLambda(),\n  metric: buildMetric(),\n  rhs: buildT('mu', 'nu'),\n  coupling: 'einstein',\n};\n\n// ── dimensional layer for the EFE (per-component [L⁻²] from 8πG·T/c⁴) ────────\nconst GRAV = dim(3, -1, -2);\nconst EFE_TARGET = { name: 'efe-curvature', dim: L_INV2 };\nconst EFE_GOV = [\n  { name: 'G', dim: GRAV },\n  { name: 'c', dim: dim(1, 0, -1) },\n  { name: 'stress-energy-density', dim: ENERGY_DENSITY },\n];\n\n// ── Friedmann (flat, matter-dominated): H² = 8πG ρ / 3 ───────────────────────\nconst HSQUARED = dim(0, 0, -2); // [T⁻²]\nconst DENSITY = dim(-3, 1); // [M L⁻³]\nconst FRIEDMANN_TARGET = { name: 'hubble-rate-squared', dim: HSQUARED };\nconst FRIEDMANN_GOV = [\n  { name: 'G', dim: GRAV },\n  { name: 'rho', dim: DENSITY },\n];\n\nexport const RELATIVITY: readonly CanonicalEquation[] = [\n  l1(EFE_TARGET, EFE_GOV, {\n    id: 'CE-einstein-field-eq',\n    conventionNote: 'the Einstein-equation metric node is mostly-plus (−,+,+,+), the same signature as upt metric. The 8π is in the scalar AST, so a comparison checks it.',\n    name: 'Einstein field equation',\n    domain: 'general-relativity',\n    formula_latex: 'G_{\\\\mu\\\\nu} + \\\\Lambda g_{\\\\mu\\\\nu} = (8\\\\pi G/c^4) T_{\\\\mu\\\\nu}',\n    epistemicStatus: 'fully-quantitative',\n    // The 8π is in this scalar record as well as in the field equation, so a\n    // comparison checks it. The metric node is mostly-plus, the signature\n    // `upt metric` differentiates.\n    scalarAst: op('/', [\n      op('*', [sym('8pi', DIMENSIONLESS), sym('G', GRAV), sym('stress-energy-density', ENERGY_DENSITY)]),\n      pow(sym('c', VELOCITY), '4'),\n    ]),\n    fieldEquation: EFE_NODE,\n    regime: { force: 'gravitational', symmetry: 'poincare' },\n    assumptions: ['classical GR', 'pseudo-Riemannian spacetime'],\n    references: ['Einstein 1915'],\n    partnerBridges: ['13'], // 13 = Einstein trace reduction (Jacobson stays framing)\n  }),\n  l1(\n    FRIEDMANN_TARGET,\n    [\n      ...FRIEDMANN_GOV,\n      { name: 'c', dim: dim(1, 0, -1) },\n      { name: 'curvature-k', dim: DIMENSIONLESS },\n      { name: 'scale-factor', dim: LENGTH },\n    ],\n    {\n      id: 'CE-friedmann-curvature',\n      holds: 'rho >= 0 and scale-factor > 0 and 8 * pi * G * rho / 3 - curvature-k * c ^ 2 / scale-factor ^ 2 >= 0',\n      name: 'Friedmann equation (with curvature)',\n      domain: 'cosmology',\n      formula_latex: 'H^2 = 8\\\\pi G \\\\rho/3 - k c^2/a^2',\n      epistemicStatus: 'fully-quantitative',\n      scalarAst: op('-', [\n        op('/', [\n          op('*', [sym('8pi', DIMENSIONLESS), sym('G', GRAV), sym('rho', DENSITY)]),\n          sym('3', DIMENSIONLESS),\n        ]),\n        op('/', [\n          op('*', [sym('curvature-k', DIMENSIONLESS), pow(sym('c', VELOCITY), '2')]),\n          pow(sym('scale-factor', LENGTH), '2'),\n        ]),\n      ]),\n      regime: { scale: 'cosmological', force: 'gravitational' },\n      assumptions: ['matter-dominated', 'Λ=0', 'FLRW', 'k the normalized curvature'],\n      references: ['Friedmann 1922'],\n      partnerBridges: [],\n    },\n  ),\n  l1(FRIEDMANN_TARGET, FRIEDMANN_GOV, {\n    id: 'CE-friedmann',\n    holds: 'rho >= 0',\n    name: 'Friedmann equation (flat, matter-dominated)',\n    domain: 'cosmology',\n    formula_latex: 'H^2 = 8\\\\pi G \\\\rho/3',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('/', [\n      op('*', [sym('8pi', DIMENSIONLESS), sym('G', GRAV), sym('rho', DENSITY)]),\n      sym('3', DIMENSIONLESS),\n    ]),\n    regime: { scale: 'cosmological', force: 'gravitational' },\n    assumptions: ['flat (k=0)', 'matter-dominated', 'Λ=0', 'FLRW'],\n    references: ['Friedmann 1922'],\n    partnerBridges: [],\n  }),\n  l1(\n    { name: 'hawking-temperature', dim: TEMPERATURE },\n    [\n      { name: 'hbar', dim: ACTION },\n      { name: 'c', dim: VELOCITY },\n      { name: 'G', dim: GRAV },\n      { name: 'mass', dim: MASS },\n      { name: 'k_B', dim: ENTROPY },\n    ],\n    {\n      id: 'CE-hawking-temperature',\n      holds: 'mass > 0',\n      name: 'Hawking temperature',\n      domain: 'general-relativity',\n      formula_latex: 'T_H = \\\\hbar c^3/(8\\\\pi G M k_B)',\n      epistemicStatus: 'fully-quantitative',\n      scalarAst: op('/', [\n        op('*', [sym('hbar', ACTION), pow(sym('c', VELOCITY), '3')]),\n        op('*', [\n          sym('8pi', DIMENSIONLESS),\n          sym('G', GRAV),\n          sym('mass', MASS),\n          sym('k_B', ENTROPY),\n        ]),\n      ]),\n      regime: { force: 'gravitational' },\n      assumptions: ['Schwarzschild', 'semiclassical'],\n      references: ['Hawking 1975'],\n      // 42 = \"Hawking temperature (canonical 1975)\" — a genuine restatement.\n      partnerBridges: ['42'],\n      restatesBridge: '42',\n    },\n  ),\n  l1(\n    { name: 'light-deflection', dim: DIMENSIONLESS },\n    [\n      { name: 'G', dim: GRAV },\n      { name: 'mass', dim: MASS },\n      { name: 'c', dim: VELOCITY },\n      { name: 'impact_parameter', dim: LENGTH },\n    ],\n    {\n      id: 'CE-light-deflection',\n      name: 'Light deflection (Eddington weak-field)',\n      domain: 'general-relativity',\n      formula_latex: '\\\\alpha = 4 G M/(c^2 b)',\n      epistemicStatus: 'fully-quantitative',\n      scalarAst: op('/', [\n        op('*', [sym('4', DIMENSIONLESS), sym('G', GRAV), sym('mass', MASS)]),\n        op('*', [pow(sym('c', VELOCITY), '2'), sym('impact_parameter', LENGTH)]),\n      ]),\n      regime: { force: 'gravitational' },\n      assumptions: ['weak field', 'grazing ray'],\n      references: ['Einstein 1915; Eddington 1919'],\n      partnerBridges: ['51'],\n      restatesBridge: '51',\n    },\n  ),\n  l1(\n    { name: 'perihelion-precession', dim: DIMENSIONLESS },\n    [\n      { name: 'G', dim: GRAV },\n      { name: 'mass', dim: MASS },\n      { name: 'c', dim: VELOCITY },\n      { name: 'a', dim: LENGTH },\n    ],\n    {\n      id: 'CE-perihelion-precession',\n      name: 'Perihelion precession (Einstein)',\n      domain: 'general-relativity',\n      formula_latex: '\\\\Delta\\\\phi = 6\\\\pi G M/(c^2 a (1-e^2))',\n      epistemicStatus: 'fully-quantitative',\n      scalarAst: op('/', [\n        op('*', [sym('6pi', DIMENSIONLESS), sym('G', GRAV), sym('mass', MASS)]),\n        op('*', [\n          pow(sym('c', VELOCITY), '2'),\n          sym('a', LENGTH),\n          sym('one_minus_e_sq', DIMENSIONLESS),\n        ]),\n      ]),\n      regime: { force: 'gravitational' },\n      assumptions: ['weak field', 'nearly-circular orbit'],\n      references: ['Einstein 1915'],\n      partnerBridges: ['52'],\n      restatesBridge: '52',\n    },\n  ),\n  // ── Folded in from the former l1-gravity-thermo batch file (2026-06-22\n  // god-file split): the gravitation-domain monomials. ──────────────────────\n  // Bekenstein–Hawking entropy  S = k_B c³ A / (4 G ℏ)  (AREA form; free group)\n  l1(\n    { name: 'bh-entropy', dim: ENTROPY },\n    [\n      { name: 'k_B', dim: ENTROPY },\n      { name: 'c', dim: VELOCITY },\n      { name: 'A', dim: AREA },\n      { name: 'G', dim: GRAV },\n      { name: 'hbar', dim: ACTION },\n    ],\n    {\n      id: 'CE-bekenstein-hawking',\n      holds: 'A >= 0',\n      name: 'Bekenstein–Hawking entropy',\n      domain: 'general-relativity',\n      formula_latex: 'S = k_B c^3 A/(4 G \\\\hbar)',\n      epistemicStatus: 'fully-quantitative',\n      scalarAst: op('/', [\n        op('*', [sym('k_B', ENTROPY), pow(sym('c', VELOCITY), '3'), sym('A', AREA)]),\n        op('*', [sym('4', DIMENSIONLESS), sym('G', GRAV), sym('hbar', ACTION)]),\n      ]),\n      forms: { areaOrRadius: 'area' },\n      regime: { force: 'gravitational', information: 'vonNeumann' },\n      assumptions: ['stationary horizon', 'semiclassical'],\n      references: ['Bekenstein 1973; Hawking 1975'],\n      // 42 = Hawking temperature (same black-hole-thermodynamics family). No\n      // bridge literally encodes S=A/4, so no restatesBridge.\n      partnerBridges: ['42'],\n    },\n  ),\n  // Newton's law of gravitation  F = G m₁ m₂ / r²  (free mass-ratio group)\n  l1(\n    { name: 'gravitational-force', dim: FORCE },\n    [\n      { name: 'G', dim: GRAV },\n      { name: 'mass', dim: MASS },\n      { name: 'secondary-mass', dim: MASS },\n      { name: 'r', dim: LENGTH },\n    ],\n    {\n      id: 'CE-newton-gravitation',\n      holds: 'mass >= 0 and secondary-mass >= 0 and r > 0',\n      name: \"Newton's law of gravitation\",\n      domain: 'gravitation',\n      formula_latex: 'F = G m_1 m_2/r^2',\n      epistemicStatus: 'fully-quantitative',\n      scalarAst: op('/', [\n        op('*', [sym('G', GRAV), sym('mass', MASS), sym('secondary-mass', MASS)]),\n        pow(sym('r', LENGTH), '2'),\n      ]),\n      regime: { scale: 'classical', force: 'gravitational' },\n      assumptions: ['point masses', 'non-relativistic'],\n      references: ['Newton 1687'],\n      partnerBridges: [],\n    },\n  ),\n];\n"]}
+{"version":3,"file":"relativity.js","sourceRoot":"","sources":["../../../src/canonical/entries/relativity.ts"],"names":[],"mappings":"AAiBA,OAAO,EAAE,MAAM,EAAE,MAAM,6BAA6B,CAAC;AACrD,OAAO,EAAE,IAAI,EAAE,MAAM,6BAA6B,CAAC;AACnD,OAAO,EAAE,GAAG,EAAE,MAAM,mCAAmC,CAAC;AACxD,OAAO,EACL,MAAM,EACN,aAAa,EACb,IAAI,EACJ,QAAQ,EACR,MAAM,EACN,OAAO,EACP,WAAW,EACX,IAAI,EACJ,KAAK,EACL,QAAQ,EACR,sBAAsB,EACtB,YAAY,GACb,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,gBAAgB,CAAC;AAElD,gFAAgF;AAChF,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,8CAA8C;AACtE,MAAM,cAAc,GAAG,QAAQ,CAAC,CAAC,gCAAgC;AAEjE,SAAS,YAAY,CAAC,EAAE,GAAG,IAAI,EAAE,EAAE,GAAG,IAAI;IACxC,MAAM,MAAM,GAAG,MAAM,CACnB,GAAG,EACH;QACE,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE;QACjC,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE;KAClC,EACD,aAAa,EACb,SAAS,CACV,CAAC;IACF,MAAM,QAAQ,GAAG,MAAM,CACrB,OAAO,EACP;QACE,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE;QACjC,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE;KAClC,EACD,aAAa,EACb,SAAS,CACV,CAAC;IACF,MAAM,MAAM,GAAG,IAAI,CACjB,GAAG,EACH,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,EACnC,MAAM,EACN,YAAY,CACb,CAAC;IACF,OAAO;QACL,IAAI,EAAE,gBAAgB;QACtB,UAAU,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE;QAC/C,YAAY,EAAE;YACZ,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE;YAChC,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE;YACtC,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE;SACjC;QACD,MAAM;QACN,QAAQ;QACR,MAAM;KACP,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,EAAE,GAAG,IAAI,EAAE,EAAE,GAAG,IAAI;IACzC,MAAM,OAAO,GAAG,YAAY,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IACrC,OAAO;QACL,IAAI,EAAE,iBAAiB;QACvB,OAAO;QACP,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,QAAQ,EAAE,OAAO,CAAC,QAAQ;KAC3B,CAAC;AACJ,CAAC;AAED,MAAM,MAAM,GAAG,CAAC,EAAE,GAAG,IAAI,EAAE,EAAE,GAAG,IAAI,EAA0B,EAAE,CAAC,CAAC;IAChE,IAAI,EAAE,eAAe;IACrB,MAAM,EAAE,GAAG;IACX,OAAO,EAAE;QACP,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE;QAChC,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE;KACjC;IACD,QAAQ,EAAE,WAAW;IACrB,YAAY,EAAE,cAAc;CAC7B,CAAC,CAAC;AAEH,MAAM,WAAW,GAAG,GAA6B,EAAE,CAAC,CAAC;IACnD,IAAI,EAAE,uBAAuB;IAC7B,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,MAAM;CACZ,CAAC,CAAC;AAEH,MAAM,WAAW,GAAG,GAAqB,EAAE,CACzC,MAAM,CACJ,UAAU,EACV;IACE,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE;IAClC,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE;CACnC,EACD,aAAa,EACb,SAAS,CACV,CAAC;AAEJ,yFAAyF;AACzF,MAAM,QAAQ,GAA8B;IAC1C,IAAI,EAAE,mBAAmB;IACzB,GAAG,EAAE,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC;IAC9B,YAAY,EAAE,WAAW,EAAE;IAC3B,MAAM,EAAE,WAAW,EAAE;IACrB,GAAG,EAAE,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC;IACvB,QAAQ,EAAE,UAAU;CACrB,CAAC;AAEF,gFAAgF;AAChF,MAAM,IAAI,GAAG,sBAAsB,CAAC;AACpC,MAAM,UAAU,GAAG,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC;AAC1D,MAAM,OAAO,GAAG;IACd,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE;IACxB,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;IAC5B,EAAE,IAAI,EAAE,uBAAuB,EAAE,GAAG,EAAE,cAAc,EAAE;CACvD,CAAC;AAEF,gFAAgF;AAChF,MAAM,QAAQ,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ;AACxC,MAAM,OAAO,GAAG,YAAY,CAAC,CAAC,UAAU;AACxC,MAAM,gBAAgB,GAAG,EAAE,IAAI,EAAE,qBAAqB,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC;AACxE,MAAM,aAAa,GAAG;IACpB,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE;IACxB,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE;CAC9B,CAAC;AAEF,MAAM,CAAC,MAAM,UAAU,GAAiC;IACtD,EAAE,CAAC,UAAU,EAAE,OAAO,EAAE;QACtB,EAAE,EAAE,sBAAsB;QAC1B,cAAc,EAAE,uJAAuJ;QACvK,IAAI,EAAE,yBAAyB;QAC/B,MAAM,EAAE,oBAAoB;QAC5B,aAAa,EAAE,mEAAmE;QAClF,eAAe,EAAE,oBAAoB;QACrC,yEAAyE;QACzE,sEAAsE;QACtE,+BAA+B;QAC/B,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,uBAAuB,EAAE,cAAc,CAAC,CAAC,CAAC;YAClG,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC;SAC7B,CAAC;QACF,aAAa,EAAE,QAAQ;QACvB,MAAM,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE,QAAQ,EAAE,UAAU,EAAE;QACxD,WAAW,EAAE,CAAC,cAAc,EAAE,6BAA6B,CAAC;QAC5D,UAAU,EAAE,CAAC,eAAe,CAAC;QAC7B,cAAc,EAAE,CAAC,IAAI,CAAC,EAAE,yDAAyD;KAClF,CAAC;IACF,EAAE,CACA,gBAAgB,EAChB;QACE,GAAG,aAAa;QAChB,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;QAC5B,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,aAAa,EAAE;QAC3C,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,MAAM,EAAE;KACtC,EACD;QACE,EAAE,EAAE,wBAAwB;QAC5B,KAAK,EAAE,sGAAsG;QAC7G,IAAI,EAAE,qCAAqC;QAC3C,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,mCAAmC;QAClD,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE;gBACN,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC;gBACzE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;aACxB,CAAC;YACF,EAAE,CAAC,GAAG,EAAE;gBACN,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,aAAa,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;gBAC1E,GAAG,CAAC,GAAG,CAAC,cAAc,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC;aACtC,CAAC;SACH,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,eAAe,EAAE;QACzD,WAAW,EAAE,CAAC,kBAAkB,EAAE,KAAK,EAAE,MAAM,EAAE,4BAA4B,CAAC;QAC9E,UAAU,EAAE,CAAC,gBAAgB,CAAC;QAC9B,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CAAC,gBAAgB,EAAE,aAAa,EAAE;QAClC,EAAE,EAAE,cAAc;QAClB,KAAK,EAAE,UAAU;QACjB,IAAI,EAAE,6CAA6C;QACnD,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,uBAAuB;QACtC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC;YACzE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;SACxB,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,eAAe,EAAE;QACzD,WAAW,EAAE,CAAC,YAAY,EAAE,kBAAkB,EAAE,KAAK,EAAE,MAAM,CAAC;QAC9D,UAAU,EAAE,CAAC,gBAAgB,CAAC;QAC9B,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CACA,EAAE,IAAI,EAAE,qBAAqB,EAAE,GAAG,EAAE,WAAW,EAAE,EACjD;QACE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE;QAC7B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;QAC5B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE;QACxB,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE;KAC9B,EACD;QACE,EAAE,EAAE,wBAAwB;QAC5B,KAAK,EAAE,UAAU;QACjB,IAAI,EAAE,qBAAqB;QAC3B,MAAM,EAAE,oBAAoB;QAC5B,aAAa,EAAE,kCAAkC;QACjD,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;YAC5D,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;gBACzB,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC;gBACd,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC;gBACjB,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC;aACpB,CAAC;SACH,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE;QAClC,WAAW,EAAE,CAAC,eAAe,EAAE,eAAe,CAAC;QAC/C,UAAU,EAAE,CAAC,cAAc,CAAC;QAC5B,uEAAuE;QACvE,cAAc,EAAE,CAAC,IAAI,CAAC;QACtB,cAAc,EAAE,IAAI;KACrB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,aAAa,EAAE,EAChD;QACE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE;QACxB,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;QAC5B,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,MAAM,EAAE;KAC1C,EACD;QACE,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,yCAAyC;QAC/C,MAAM,EAAE,oBAAoB;QAC5B,aAAa,EAAE,yBAAyB;QACxC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;YACrE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,kBAAkB,EAAE,MAAM,CAAC,CAAC,CAAC;SACzE,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE;QAClC,WAAW,EAAE,CAAC,YAAY,EAAE,aAAa,CAAC;QAC1C,UAAU,EAAE,CAAC,+BAA+B,CAAC;QAC7C,cAAc,EAAE,CAAC,IAAI,CAAC;QACtB,cAAc,EAAE,IAAI;KACrB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,uBAAuB,EAAE,GAAG,EAAE,aAAa,EAAE,EACrD;QACE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE;QACxB,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;QAC5B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;KAC3B,EACD;QACE,EAAE,EAAE,0BAA0B;QAC9B,IAAI,EAAE,kCAAkC;QACxC,MAAM,EAAE,oBAAoB;QAC5B,aAAa,EAAE,0CAA0C;QACzD,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;YACvE,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC;gBAC5B,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC;gBAChB,GAAG,CAAC,gBAAgB,EAAE,aAAa,CAAC;aACrC,CAAC;SACH,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE;QAClC,WAAW,EAAE,CAAC,YAAY,EAAE,uBAAuB,CAAC;QACpD,UAAU,EAAE,CAAC,eAAe,CAAC;QAC7B,cAAc,EAAE,CAAC,IAAI,CAAC;QACtB,cAAc,EAAE,IAAI;KACrB,CACF;IACD,wEAAwE;IACxE,4EAA4E;IAC5E,8EAA8E;IAC9E,EAAE,CACA,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,OAAO,EAAE,EACpC;QACE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE;QAC7B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;QAC5B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE;QACxB,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE;QACxB,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE;KAC9B,EACD;QACE,EAAE,EAAE,uBAAuB;QAC3B,KAAK,EAAE,QAAQ;QACf,IAAI,EAAE,4BAA4B;QAClC,MAAM,EAAE,oBAAoB;QAC5B,aAAa,EAAE,4BAA4B;QAC3C,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;YAC5E,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;SACxE,CAAC;QACF,KAAK,EAAE,EAAE,YAAY,EAAE,MAAM,EAAE;QAC/B,MAAM,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE,WAAW,EAAE,YAAY,EAAE;QAC7D,WAAW,EAAE,CAAC,oBAAoB,EAAE,eAAe,CAAC;QACpD,UAAU,EAAE,CAAC,+BAA+B,CAAC;QAC7C,uEAAuE;QACvE,wDAAwD;QACxD,cAAc,EAAE,CAAC,IAAI,CAAC;KACvB,CACF;IACD,yEAAyE;IACzE,EAAE,CACA,EAAE,IAAI,EAAE,qBAAqB,EAAE,GAAG,EAAE,KAAK,EAAE,EAC3C;QACE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE;QACxB,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,IAAI,EAAE;QACrC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;KAC3B,EACD;QACE,EAAE,EAAE,uBAAuB;QAC3B,KAAK,EAAE,6CAA6C;QACpD,IAAI,EAAE,6BAA6B;QACnC,MAAM,EAAE,aAAa;QACrB,aAAa,EAAE,mBAAmB;QAClC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,gBAAgB,EAAE,IAAI,CAAC,CAAC,CAAC;YACzE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC;SAC3B,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,eAAe,EAAE;QACtD,WAAW,EAAE,CAAC,cAAc,EAAE,kBAAkB,CAAC;QACjD,UAAU,EAAE,CAAC,aAAa,CAAC;QAC3B,cAAc,EAAE,EAAE;KACnB,CACF;CACF,CAAC","sourcesContent":["/**\n * Relativity canonical entries: the Einstein field equation (L2 — a structural\n * `EinsteinFieldEquationNode` validated by the existing field-equation\n * predicate) and the Friedmann equation (L1 — the flat, matter-dominated scalar\n * form H² = 8πG ρ / 3).\n *\n * @module canonical/entries/relativity\n */\nimport type { CanonicalEquation } from '../canonical-equation.js';\nimport type { EinsteinFieldEquationNode } from '../../dimensional/einstein-equation.js';\nimport type { EinsteinTensorNode } from '../../dimensional/curvature.js';\nimport type {\n  StressEnergyTensorNode,\n  CosmologicalConstantNode,\n} from '../../dimensional/stress-energy-validators.js';\nimport type { MetricTensorNode } from '../../dimensional/metric-validators.js';\nimport type { RiemannTensorNode } from '../../dimensional/connection-validators.js';\nimport { metric } from '../../dimensional/metric.js';\nimport { tsym } from '../../dimensional/tensor.js';\nimport { sym } from '../../dimensional/ast-builders.js';\nimport {\n  LENGTH,\n  DIMENSIONLESS,\n  MASS,\n  VELOCITY,\n  ACTION,\n  ENTROPY,\n  TEMPERATURE,\n  AREA,\n  FORCE,\n  PRESSURE,\n  GRAVITATIONAL_CONSTANT,\n  MASS_DENSITY,\n} from '../../dimensional/types.js';\nimport { dim, op, pow, l1 } from './_l1-build.js';\n\n// ── EFE node builders (the canonical G_μν + Λg_μν = (8πG/c⁴)T_μν structure) ──\nconst L_INV2 = dim(-2); // [L⁻²] — per-component dim of every EFE term\nconst ENERGY_DENSITY = PRESSURE; // T_μν componentDim [M L⁻¹ T⁻²]\n\nfunction buildRiemann(mu = 'mu', nu = 'nu'): RiemannTensorNode {\n  const gLower = metric(\n    'g',\n    [\n      { label: 'a', variance: 'lower' },\n      { label: 'b', variance: 'lower' },\n    ],\n    DIMENSIONLESS,\n    '-,+,+,+',\n  );\n  const gInverse = metric(\n    'g_inv',\n    [\n      { label: 'a', variance: 'upper' },\n      { label: 'b', variance: 'upper' },\n    ],\n    DIMENSIONLESS,\n    '-,+,+,+',\n  );\n  const xCoord = tsym(\n    'x',\n    [{ label: 'c', variance: 'upper' }],\n    LENGTH,\n    'coordinate',\n  );\n  return {\n    kind: 'riemann-tensor',\n    upperIndex: { label: 'rho', variance: 'upper' },\n    lowerIndices: [\n      { label: mu, variance: 'lower' },\n      { label: 'lambda', variance: 'lower' },\n      { label: nu, variance: 'lower' },\n    ],\n    gLower,\n    gInverse,\n    xCoord,\n  };\n}\n\nfunction buildEinstein(mu = 'mu', nu = 'nu'): EinsteinTensorNode {\n  const riemann = buildRiemann(mu, nu);\n  return {\n    kind: 'einstein-tensor',\n    riemann,\n    gLower: riemann.gLower,\n    gInverse: riemann.gInverse,\n  };\n}\n\nconst buildT = (mu = 'mu', nu = 'nu'): StressEnergyTensorNode => ({\n  kind: 'stress-energy',\n  symbol: 'T',\n  indices: [\n    { label: mu, variance: 'lower' },\n    { label: nu, variance: 'lower' },\n  ],\n  symmetry: 'symmetric',\n  componentDim: ENERGY_DENSITY,\n});\n\nconst buildLambda = (): CosmologicalConstantNode => ({\n  kind: 'cosmological-constant',\n  symbol: 'Λ',\n  dim: L_INV2,\n});\n\nconst buildMetric = (): MetricTensorNode =>\n  metric(\n    'g_metric',\n    [\n      { label: 'mu', variance: 'lower' },\n      { label: 'nu', variance: 'lower' },\n    ],\n    DIMENSIONLESS,\n    '-,+,+,+',\n  );\n\n/** The canonical Einstein field equation node, G_μν + Λg_μν = (8πG/c⁴)T_μν. @internal */\nconst EFE_NODE: EinsteinFieldEquationNode = {\n  kind: 'einstein-equation',\n  lhs: buildEinstein('mu', 'nu'),\n  cosmological: buildLambda(),\n  metric: buildMetric(),\n  rhs: buildT('mu', 'nu'),\n  coupling: 'einstein',\n};\n\n// ── dimensional layer for the EFE (per-component [L⁻²] from 8πG·T/c⁴) ────────\nconst GRAV = GRAVITATIONAL_CONSTANT;\nconst EFE_TARGET = { name: 'efe-curvature', dim: L_INV2 };\nconst EFE_GOV = [\n  { name: 'G', dim: GRAV },\n  { name: 'c', dim: VELOCITY },\n  { name: 'stress-energy-density', dim: ENERGY_DENSITY },\n];\n\n// ── Friedmann (flat, matter-dominated): H² = 8πG ρ / 3 ───────────────────────\nconst HSQUARED = dim(0, 0, -2); // [T⁻²]\nconst DENSITY = MASS_DENSITY; // [M L⁻³]\nconst FRIEDMANN_TARGET = { name: 'hubble-rate-squared', dim: HSQUARED };\nconst FRIEDMANN_GOV = [\n  { name: 'G', dim: GRAV },\n  { name: 'rho', dim: DENSITY },\n];\n\nexport const RELATIVITY: readonly CanonicalEquation[] = [\n  l1(EFE_TARGET, EFE_GOV, {\n    id: 'CE-einstein-field-eq',\n    conventionNote: 'the Einstein-equation metric node is mostly-plus (−,+,+,+), the same signature as upt metric. The 8π is in the scalar AST, so a comparison checks it.',\n    name: 'Einstein field equation',\n    domain: 'general-relativity',\n    formula_latex: 'G_{\\\\mu\\\\nu} + \\\\Lambda g_{\\\\mu\\\\nu} = (8\\\\pi G/c^4) T_{\\\\mu\\\\nu}',\n    epistemicStatus: 'fully-quantitative',\n    // The 8π is in this scalar record as well as in the field equation, so a\n    // comparison checks it. The metric node is mostly-plus, the signature\n    // `upt metric` differentiates.\n    scalarAst: op('/', [\n      op('*', [sym('8pi', DIMENSIONLESS), sym('G', GRAV), sym('stress-energy-density', ENERGY_DENSITY)]),\n      pow(sym('c', VELOCITY), '4'),\n    ]),\n    fieldEquation: EFE_NODE,\n    regime: { force: 'gravitational', symmetry: 'poincare' },\n    assumptions: ['classical GR', 'pseudo-Riemannian spacetime'],\n    references: ['Einstein 1915'],\n    partnerBridges: ['13'], // 13 = Einstein trace reduction (Jacobson stays framing)\n  }),\n  l1(\n    FRIEDMANN_TARGET,\n    [\n      ...FRIEDMANN_GOV,\n      { name: 'c', dim: VELOCITY },\n      { name: 'curvature-k', dim: DIMENSIONLESS },\n      { name: 'scale-factor', dim: LENGTH },\n    ],\n    {\n      id: 'CE-friedmann-curvature',\n      holds: 'rho >= 0 and scale-factor > 0 and 8 * pi * G * rho / 3 - curvature-k * c ^ 2 / scale-factor ^ 2 >= 0',\n      name: 'Friedmann equation (with curvature)',\n      domain: 'cosmology',\n      formula_latex: 'H^2 = 8\\\\pi G \\\\rho/3 - k c^2/a^2',\n      epistemicStatus: 'fully-quantitative',\n      scalarAst: op('-', [\n        op('/', [\n          op('*', [sym('8pi', DIMENSIONLESS), sym('G', GRAV), sym('rho', DENSITY)]),\n          sym('3', DIMENSIONLESS),\n        ]),\n        op('/', [\n          op('*', [sym('curvature-k', DIMENSIONLESS), pow(sym('c', VELOCITY), '2')]),\n          pow(sym('scale-factor', LENGTH), '2'),\n        ]),\n      ]),\n      regime: { scale: 'cosmological', force: 'gravitational' },\n      assumptions: ['matter-dominated', 'Λ=0', 'FLRW', 'k the normalized curvature'],\n      references: ['Friedmann 1922'],\n      partnerBridges: [],\n    },\n  ),\n  l1(FRIEDMANN_TARGET, FRIEDMANN_GOV, {\n    id: 'CE-friedmann',\n    holds: 'rho >= 0',\n    name: 'Friedmann equation (flat, matter-dominated)',\n    domain: 'cosmology',\n    formula_latex: 'H^2 = 8\\\\pi G \\\\rho/3',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('/', [\n      op('*', [sym('8pi', DIMENSIONLESS), sym('G', GRAV), sym('rho', DENSITY)]),\n      sym('3', DIMENSIONLESS),\n    ]),\n    regime: { scale: 'cosmological', force: 'gravitational' },\n    assumptions: ['flat (k=0)', 'matter-dominated', 'Λ=0', 'FLRW'],\n    references: ['Friedmann 1922'],\n    partnerBridges: [],\n  }),\n  l1(\n    { name: 'hawking-temperature', dim: TEMPERATURE },\n    [\n      { name: 'hbar', dim: ACTION },\n      { name: 'c', dim: VELOCITY },\n      { name: 'G', dim: GRAV },\n      { name: 'mass', dim: MASS },\n      { name: 'k_B', dim: ENTROPY },\n    ],\n    {\n      id: 'CE-hawking-temperature',\n      holds: 'mass > 0',\n      name: 'Hawking temperature',\n      domain: 'general-relativity',\n      formula_latex: 'T_H = \\\\hbar c^3/(8\\\\pi G M k_B)',\n      epistemicStatus: 'fully-quantitative',\n      scalarAst: op('/', [\n        op('*', [sym('hbar', ACTION), pow(sym('c', VELOCITY), '3')]),\n        op('*', [\n          sym('8pi', DIMENSIONLESS),\n          sym('G', GRAV),\n          sym('mass', MASS),\n          sym('k_B', ENTROPY),\n        ]),\n      ]),\n      regime: { force: 'gravitational' },\n      assumptions: ['Schwarzschild', 'semiclassical'],\n      references: ['Hawking 1975'],\n      // 42 = \"Hawking temperature (canonical 1975)\" — a genuine restatement.\n      partnerBridges: ['42'],\n      restatesBridge: '42',\n    },\n  ),\n  l1(\n    { name: 'light-deflection', dim: DIMENSIONLESS },\n    [\n      { name: 'G', dim: GRAV },\n      { name: 'mass', dim: MASS },\n      { name: 'c', dim: VELOCITY },\n      { name: 'impact_parameter', dim: LENGTH },\n    ],\n    {\n      id: 'CE-light-deflection',\n      name: 'Light deflection (Eddington weak-field)',\n      domain: 'general-relativity',\n      formula_latex: '\\\\alpha = 4 G M/(c^2 b)',\n      epistemicStatus: 'fully-quantitative',\n      scalarAst: op('/', [\n        op('*', [sym('4', DIMENSIONLESS), sym('G', GRAV), sym('mass', MASS)]),\n        op('*', [pow(sym('c', VELOCITY), '2'), sym('impact_parameter', LENGTH)]),\n      ]),\n      regime: { force: 'gravitational' },\n      assumptions: ['weak field', 'grazing ray'],\n      references: ['Einstein 1915; Eddington 1919'],\n      partnerBridges: ['51'],\n      restatesBridge: '51',\n    },\n  ),\n  l1(\n    { name: 'perihelion-precession', dim: DIMENSIONLESS },\n    [\n      { name: 'G', dim: GRAV },\n      { name: 'mass', dim: MASS },\n      { name: 'c', dim: VELOCITY },\n      { name: 'a', dim: LENGTH },\n    ],\n    {\n      id: 'CE-perihelion-precession',\n      name: 'Perihelion precession (Einstein)',\n      domain: 'general-relativity',\n      formula_latex: '\\\\Delta\\\\phi = 6\\\\pi G M/(c^2 a (1-e^2))',\n      epistemicStatus: 'fully-quantitative',\n      scalarAst: op('/', [\n        op('*', [sym('6pi', DIMENSIONLESS), sym('G', GRAV), sym('mass', MASS)]),\n        op('*', [\n          pow(sym('c', VELOCITY), '2'),\n          sym('a', LENGTH),\n          sym('one_minus_e_sq', DIMENSIONLESS),\n        ]),\n      ]),\n      regime: { force: 'gravitational' },\n      assumptions: ['weak field', 'nearly-circular orbit'],\n      references: ['Einstein 1915'],\n      partnerBridges: ['52'],\n      restatesBridge: '52',\n    },\n  ),\n  // ── Folded in from the former l1-gravity-thermo batch file (2026-06-22\n  // god-file split): the gravitation-domain monomials. ──────────────────────\n  // Bekenstein–Hawking entropy  S = k_B c³ A / (4 G ℏ)  (AREA form; free group)\n  l1(\n    { name: 'bh-entropy', dim: ENTROPY },\n    [\n      { name: 'k_B', dim: ENTROPY },\n      { name: 'c', dim: VELOCITY },\n      { name: 'A', dim: AREA },\n      { name: 'G', dim: GRAV },\n      { name: 'hbar', dim: ACTION },\n    ],\n    {\n      id: 'CE-bekenstein-hawking',\n      holds: 'A >= 0',\n      name: 'Bekenstein–Hawking entropy',\n      domain: 'general-relativity',\n      formula_latex: 'S = k_B c^3 A/(4 G \\\\hbar)',\n      epistemicStatus: 'fully-quantitative',\n      scalarAst: op('/', [\n        op('*', [sym('k_B', ENTROPY), pow(sym('c', VELOCITY), '3'), sym('A', AREA)]),\n        op('*', [sym('4', DIMENSIONLESS), sym('G', GRAV), sym('hbar', ACTION)]),\n      ]),\n      forms: { areaOrRadius: 'area' },\n      regime: { force: 'gravitational', information: 'vonNeumann' },\n      assumptions: ['stationary horizon', 'semiclassical'],\n      references: ['Bekenstein 1973; Hawking 1975'],\n      // 42 = Hawking temperature (same black-hole-thermodynamics family). No\n      // bridge literally encodes S=A/4, so no restatesBridge.\n      partnerBridges: ['42'],\n    },\n  ),\n  // Newton's law of gravitation  F = G m₁ m₂ / r²  (free mass-ratio group)\n  l1(\n    { name: 'gravitational-force', dim: FORCE },\n    [\n      { name: 'G', dim: GRAV },\n      { name: 'mass', dim: MASS },\n      { name: 'secondary-mass', dim: MASS },\n      { name: 'r', dim: LENGTH },\n    ],\n    {\n      id: 'CE-newton-gravitation',\n      holds: 'mass >= 0 and secondary-mass >= 0 and r > 0',\n      name: \"Newton's law of gravitation\",\n      domain: 'gravitation',\n      formula_latex: 'F = G m_1 m_2/r^2',\n      epistemicStatus: 'fully-quantitative',\n      scalarAst: op('/', [\n        op('*', [sym('G', GRAV), sym('mass', MASS), sym('secondary-mass', MASS)]),\n        pow(sym('r', LENGTH), '2'),\n      ]),\n      regime: { scale: 'classical', force: 'gravitational' },\n      assumptions: ['point masses', 'non-relativistic'],\n      references: ['Newton 1687'],\n      partnerBridges: [],\n    },\n  ),\n];\n"]}

package/dist/canonical/entries/thermo-nuclear-cosmo.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"thermo-nuclear-cosmo.d.ts","sourceRoot":"","sources":["../../../src/canonical/entries/thermo-nuclear-cosmo.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AACH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AA0BlE,eAAO,MAAM,oBAAoB,EAAE,SAAS,iBAAiB,EAwO5D,CAAC"}
+{"version":3,"file":"thermo-nuclear-cosmo.d.ts","sourceRoot":"","sources":["../../../src/canonical/entries/thermo-nuclear-cosmo.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AACH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AA6BlE,eAAO,MAAM,oBAAoB,EAAE,SAAS,iBAAiB,EAwO5D,CAAC"}

package/dist/canonical/entries/thermo-nuclear-cosmo.js

@@ -1,16 +1,12 @@
 import { sym } from '../../dimensional/ast-builders.js';
-import { MASS, VELOCITY, ENERGY, LENGTH, TIME, FREQUENCY, TEMPERATURE, ENTROPY, DIMENSIONLESS, } from '../../dimensional/types.js';
+import { MASS, VELOCITY, ENERGY, LENGTH, TIME, FREQUENCY, TEMPERATURE, ENTROPY, DIMENSIONLESS, SPECIFIC_HEAT, ENERGY_FLUX, PRESSURE, VOLUME, THERMAL_CONDUCTIVITY, MASS_DENSITY, DIFFUSIVITY, } from '../../dimensional/types.js';
 import { dim, op, pow, l1 } from './_l1-build.js';
-const SPECIFIC_HEAT = dim(2, 0, -2, 0, -1); // [L² T⁻² Θ⁻¹] (J·kg⁻¹·K⁻¹)
-const SB_FLUX = dim(0, 1, -3); // radiative flux W/m² = [M T⁻³]
+const SB_FLUX = ENERGY_FLUX; // radiative flux W/m² = [M T⁻³]
 const SIGMA_SB = dim(0, 1, -3, 0, -4); // Stefan–Boltzmann σ [M T⁻³ Θ⁻⁴] (Θ is 5th arg)
-const PRESSURE = dim(-1, 1, -2); // [M L⁻¹ T⁻²]
-const VOLUME = dim(3); // [L³]
 const WIEN_B = dim(1, 0, 0, 0, 1); // Wien constant [L Θ]
 const SPECIFIC_LATENT_HEAT = dim(2, 0, -2, 0, 0); // [L² T⁻²] (J·kg⁻¹, no Θ dependence)
-const THERMAL_CONDUCTIVITY = dim(1, 1, -3, 0, -1); // [L M T⁻³ Θ⁻¹] (W·m⁻¹·K⁻¹)
-const DENSITY = dim(-3, 1, 0, 0, 0); // [M L⁻³] (kg/m³)
-const THERMAL_DIFFUSIVITY = dim(2, 0, -1, 0, 0); // [L² T⁻¹] (m²/s)
+const DENSITY = MASS_DENSITY; // [M L⁻³] (kg/m³)
+const THERMAL_DIFFUSIVITY = DIFFUSIVITY; // [L² T⁻¹] (m²/s)
 export const THERMO_NUCLEAR_COSMO = [
     l1({ name: 'heat-energy', dim: ENERGY }, [
         { name: 'mass', dim: MASS },
@@ -170,7 +166,7 @@ export const THERMO_NUCLEAR_COSMO = [
     // Wien's displacement  λ_max = b / T  (blackbody peak wavelength)
     l1({ name: 'peak-wavelength', dim: LENGTH }, [
         { name: 'b', dim: WIEN_B },
-        { name: 'temperature', dim: dim(0, 0, 0, 0, 1) },
+        { name: 'temperature', dim: TEMPERATURE },
     ], {
         id: 'CE-wien',
         holds: 'temperature > 0',
@@ -178,7 +174,7 @@ export const THERMO_NUCLEAR_COSMO = [
         domain: 'thermodynamics',
         formula_latex: '\\lambda_{max} = b/T',
         epistemicStatus: 'fully-quantitative',
-        scalarAst: op('/', [sym('b', WIEN_B), sym('temperature', dim(0, 0, 0, 0, 1))]),
+        scalarAst: op('/', [sym('b', WIEN_B), sym('temperature', TEMPERATURE)]),
         regime: { scale: 'classical', force: 'electromagnetic' },
         assumptions: ['blackbody', 'thermal equilibrium'],
         references: ['Wien 1893'],

package/dist/canonical/entries/thermo-nuclear-cosmo.js.map

@@ -1 +1 @@
-{"version":3,"file":"thermo-nuclear-cosmo.js","sourceRoot":"","sources":["../../../src/canonical/entries/thermo-nuclear-cosmo.ts"],"names":[],"mappings":"AAoBA,OAAO,EAAE,GAAG,EAAE,MAAM,mCAAmC,CAAC;AACxD,OAAO,EACL,IAAI,EACJ,QAAQ,EACR,MAAM,EACN,MAAM,EACN,IAAI,EACJ,SAAS,EACT,WAAW,EACX,OAAO,EACP,aAAa,GACd,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,gBAAgB,CAAC;AAElD,MAAM,aAAa,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,4BAA4B;AACxE,MAAM,OAAO,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,gCAAgC;AAC/D,MAAM,QAAQ,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,gDAAgD;AACvF,MAAM,QAAQ,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,cAAc;AAC/C,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO;AAC9B,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,sBAAsB;AACzD,MAAM,oBAAoB,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,qCAAqC;AACvF,MAAM,oBAAoB,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,4BAA4B;AAC/E,MAAM,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,kBAAkB;AACvD,MAAM,mBAAmB,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,kBAAkB;AAEnE,MAAM,CAAC,MAAM,oBAAoB,GAAiC;IAChE,EAAE,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QACvC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,aAAa,EAAE;QAC7C,EAAE,IAAI,EAAE,oBAAoB,EAAE,GAAG,EAAE,WAAW,EAAE;KACjD,EAAE;QACD,EAAE,EAAE,kBAAkB;QACtB,KAAK,EAAE,UAAU;QACjB,IAAI,EAAE,+BAA+B;QACrC,MAAM,EAAE,gBAAgB;QACxB,aAAa,EAAE,mBAAmB;QAClC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC;YACjB,GAAG,CAAC,eAAe,EAAE,aAAa,CAAC;YACnC,GAAG,CAAC,oBAAoB,EAAE,WAAW,CAAC;SACvC,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,iBAAiB,EAAE,wBAAwB,CAAC;QAC1D,UAAU,EAAE,CAAC,yBAAyB,CAAC;QACvC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE;QACnC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,SAAS,EAAE;KAC3C,EAAE;QACD,EAAE,EAAE,cAAc;QAClB,SAAS,EAAE;YACT,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAClB,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,iDAAiD;YAClE,OAAO,EAAE,+DAA+D;SACzE;QACD,IAAI,EAAE,uBAAuB;QAC7B,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,6BAA6B;QAC5C,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,GAAG,CAAC,GAAG,CAAC,gBAAgB,EAAE,SAAS,CAAC,EAAE,IAAI,CAAC;QACtD,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;QAC5B,WAAW,EAAE,CAAC,iCAAiC,CAAC;QAChD,UAAU,EAAE,CAAC,uBAAuB,CAAC;QACrC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAC3C,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;QAC5B,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,SAAS,EAAE;KACxC,EAAE;QACD,EAAE,EAAE,oBAAoB;QACxB,KAAK,EAAE,iBAAiB;QACxB,IAAI,EAAE,iBAAiB;QACvB,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,eAAe;QAC9B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,aAAa,EAAE,SAAS,CAAC,CAAC,CAAC;QACvE,MAAM,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;QACjC,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,UAAU,EAAE,CAAC,aAAa,CAAC;QAC3B,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,6EAA6E;IAC7E,6EAA6E;IAC7E,gEAAgE;IAChE,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAC1C,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE;QAC7B,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE;KAC1C,EAAE;QACD,EAAE,EAAE,aAAa;QACjB,KAAK,EAAE,kBAAkB;QACzB,IAAI,EAAE,wBAAwB;QAC9B,MAAM,EAAE,aAAa;QACrB,aAAa,EAAE,kBAAkB;QACjC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC;YACnB,GAAG,CAAC,aAAa,EAAE,WAAW,CAAC;YAC/B,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;SAC1B,CAAC;QACF,KAAK,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE;QACvB,MAAM,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,WAAW,EAAE,SAAS,EAAE;QACvD,WAAW,EAAE,CAAC,YAAY,EAAE,sBAAsB,CAAC;QACnD,UAAU,EAAE,CAAC,eAAe,CAAC;QAC7B,sEAAsE;QACtE,mEAAmE;QACnE,cAAc,EAAE,CAAC,IAAI,CAAC;QACtB,cAAc,EAAE,IAAI;KACrB,CAAC;IACF,gFAAgF;IAChF,EAAE,CAAC,EAAE,IAAI,EAAE,wBAAwB,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAClD,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE;QAC7B,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE;KAC1C,EAAE;QACD,EAAE,EAAE,cAAc;QAClB,KAAK,EAAE,iBAAiB;QACxB,IAAI,EAAE,gCAAgC;QACtC,MAAM,EAAE,aAAa;QACrB,aAAa,EAAE,6DAA6D;QAC5E,8DAA8D;QAC9D,wEAAwE;QACxE,2CAA2C;QAC3C,eAAe,EAAE,uBAAuB;QACxC,sFAAsF;QACtF,2EAA2E;QAC3E,0EAA0E;QAC1E,6DAA6D;QAC7D,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC;YACxB,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC;YACnB,GAAG,CAAC,aAAa,EAAE,WAAW,CAAC;YAC/B,GAAG,CAAC,wBAAwB,EAAE,aAAa,CAAC;SAC7C,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE;QAC/B,WAAW,EAAE,CAAC,YAAY,EAAE,gDAAgD,CAAC;QAC7E,UAAU,EAAE,CAAC,4BAA4B,CAAC;QAC1C,0EAA0E;QAC1E,uEAAuE;QACvE,uEAAuE;QACvE,cAAc,EAAE,CAAC,IAAI,CAAC;QACtB,cAAc,EAAE,IAAI;KACrB,CAAC;IACF,mDAAmD;IACnD,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE;QAC3C,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,EAAE;QACnC,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE;KAC1C,EAAE;QACD,EAAE,EAAE,qBAAqB;QACzB,KAAK,EAAE,kBAAkB;QACzB,IAAI,EAAE,sBAAsB;QAC5B,MAAM,EAAE,gBAAgB;QACxB,aAAa,EAAE,iBAAiB;QAChC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,UAAU,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,aAAa,EAAE,WAAW,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QAC1F,KAAK,EAAE,EAAE,YAAY,EAAE,MAAM,EAAE;QAC/B,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,CAAC,WAAW,EAAE,qBAAqB,CAAC;QACjD,UAAU,EAAE,CAAC,6BAA6B,CAAC;QAC3C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,+DAA+D;IAC/D,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE;QACtC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE;QAC7B,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE;QACzC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;KAC3B,EAAE;QACD,EAAE,EAAE,cAAc;QAClB,KAAK,EAAE,sCAAsC;QAC7C,IAAI,EAAE,eAAe;QACrB,MAAM,EAAE,gBAAgB;QACxB,aAAa,EAAE,eAAe;QAC9B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,GAAG,CAAC,aAAa,EAAE,WAAW,CAAC,CAAC,CAAC;YACxF,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC;SACjB,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,CAAC,WAAW,EAAE,qBAAqB,CAAC;QACjD,UAAU,EAAE,CAAC,gBAAgB,CAAC;QAC9B,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,kEAAkE;IAClE,EAAE,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAC3C,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;QAC1B,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE;KACjD,EAAE;QACD,EAAE,EAAE,SAAS;QACb,KAAK,EAAE,iBAAiB;QACxB,IAAI,EAAE,yBAAyB;QAC/B,MAAM,EAAE,gBAAgB;QACxB,aAAa,EAAE,sBAAsB;QACrC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9E,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,CAAC,WAAW,EAAE,qBAAqB,CAAC;QACjD,UAAU,EAAE,CAAC,WAAW,CAAC;QACzB,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,8EAA8E;IAC9E,qEAAqE;IACrE,EAAE,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QACvC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,sBAAsB,EAAE,GAAG,EAAE,oBAAoB,EAAE;KAC5D,EAAE;QACD,EAAE,EAAE,gBAAgB;QACpB,KAAK,EAAE,UAAU;QACjB,IAAI,EAAE,iCAAiC;QACvC,MAAM,EAAE,gBAAgB;QACxB,aAAa,EAAE,SAAS;QACxB,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC;YACjB,GAAG,CAAC,sBAAsB,EAAE,oBAAoB,CAAC;SAClD,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,6BAA6B,CAAC;QAC5C,UAAU,EAAE,CAAC,wBAAwB,CAAC;QACtC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,wEAAwE;IACxE,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE;QAC3C,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE;QAC7B,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE;KAC1C,EAAE;QACD,EAAE,EAAE,qBAAqB;QACzB,KAAK,EAAE,iBAAiB;QACxB,IAAI,EAAE,yBAAyB;QAC/B,MAAM,EAAE,gBAAgB;QACxB,aAAa,EAAE,iBAAiB;QAChC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,aAAa,EAAE,WAAW,CAAC,CAAC,CAAC;QAC1E,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,oBAAoB,EAAE,sBAAsB,CAAC;QAC3D,UAAU,EAAE,CAAC,eAAe,EAAE,wBAAwB,CAAC;QACvD,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,qCAAqC;IACrC,EAAE,CAAC,EAAE,IAAI,EAAE,qBAAqB,EAAE,GAAG,EAAE,mBAAmB,EAAE,EAAE;QAC5D,EAAE,IAAI,EAAE,sBAAsB,EAAE,GAAG,EAAE,oBAAoB,EAAE;QAC3D,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE;QACjC,EAAE,IAAI,EAAE,wBAAwB,EAAE,GAAG,EAAE,aAAa,EAAE;KACvD,EAAE;QACD,EAAE,EAAE,wBAAwB;QAC5B,KAAK,EAAE,yEAAyE;QAChF,IAAI,EAAE,qBAAqB;QAC3B,MAAM,EAAE,gBAAgB;QACxB,aAAa,EAAE,yBAAyB;QACxC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,sBAAsB,EAAE,oBAAoB,CAAC;YACjD,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,GAAG,CAAC,wBAAwB,EAAE,aAAa,CAAC,CAAC,CAAC;SACjF,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,8BAA8B,CAAC;QAC7C,UAAU,EAAE,CAAC,gDAAgD,CAAC;QAC9D,cAAc,EAAE,EAAE;KACnB,CAAC;CACH,CAAC","sourcesContent":["/**\n * L1 (scalar-AST) canonical entries — thermodynamic, statistical, nuclear, and\n * cosmological monomial laws: sensible heat capacity, radioactive half-life,\n * the Hubble distance, plus the Landauer bound, the Jarzynski equality, the\n * Stefan–Boltzmann law, the ideal-gas law, and Wien's displacement (the\n * latter five folded in from the former l1-gravity-thermo / l1-quantum-em\n * batch files in the 2026-06-22 god-file split), plus a batch-4 (2026-07-03)\n * trio of thermodynamics monomials: latent heat, the Clausius entropy change,\n * and thermal diffusivity. L0 fields are engine-derived (see `_l1-build`).\n *\n * Scope: generic dimensional MONOMIAL laws (Adam+Eve adversarial audit,\n * 2026-06-20). `domain` is the nearest `CanonicalDomain` arm (the enum has no\n * `nuclear`; radioactive decay → `quantum`). Skipped as degenerate:\n * radioactive-activity `A=λN` (N dimensionless ⇒ activity ≡ decay-constant) and\n * the Chandrasekhar mass (the (ℏc/G)/m_p² group is dimensionless ⇒\n * underdetermined). See docs/research/bridges-vs-canonical-map.md.\n *\n * @module canonical/entries/thermo-nuclear-cosmo\n */\nimport type { CanonicalEquation } from '../canonical-equation.js';\nimport { sym } from '../../dimensional/ast-builders.js';\nimport {\n  MASS,\n  VELOCITY,\n  ENERGY,\n  LENGTH,\n  TIME,\n  FREQUENCY,\n  TEMPERATURE,\n  ENTROPY,\n  DIMENSIONLESS,\n} from '../../dimensional/types.js';\nimport { dim, op, pow, l1 } from './_l1-build.js';\n\nconst SPECIFIC_HEAT = dim(2, 0, -2, 0, -1); // [L² T⁻² Θ⁻¹] (J·kg⁻¹·K⁻¹)\nconst SB_FLUX = dim(0, 1, -3); // radiative flux W/m² = [M T⁻³]\nconst SIGMA_SB = dim(0, 1, -3, 0, -4); // Stefan–Boltzmann σ [M T⁻³ Θ⁻⁴] (Θ is 5th arg)\nconst PRESSURE = dim(-1, 1, -2); // [M L⁻¹ T⁻²]\nconst VOLUME = dim(3); // [L³]\nconst WIEN_B = dim(1, 0, 0, 0, 1); // Wien constant [L Θ]\nconst SPECIFIC_LATENT_HEAT = dim(2, 0, -2, 0, 0); // [L² T⁻²] (J·kg⁻¹, no Θ dependence)\nconst THERMAL_CONDUCTIVITY = dim(1, 1, -3, 0, -1); // [L M T⁻³ Θ⁻¹] (W·m⁻¹·K⁻¹)\nconst DENSITY = dim(-3, 1, 0, 0, 0); // [M L⁻³] (kg/m³)\nconst THERMAL_DIFFUSIVITY = dim(2, 0, -1, 0, 0); // [L² T⁻¹] (m²/s)\n\nexport const THERMO_NUCLEAR_COSMO: readonly CanonicalEquation[] = [\n  l1({ name: 'heat-energy', dim: ENERGY }, [\n    { name: 'mass', dim: MASS },\n    { name: 'specific-heat', dim: SPECIFIC_HEAT },\n    { name: 'temperature-change', dim: TEMPERATURE },\n  ], {\n    id: 'CE-heat-capacity',\n    holds: 'mass > 0',\n    name: 'Sensible heat (heat capacity)',\n    domain: 'thermodynamics',\n    formula_latex: 'Q = m c \\\\Delta T',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('*', [\n      sym('mass', MASS),\n      sym('specific-heat', SPECIFIC_HEAT),\n      sym('temperature-change', TEMPERATURE),\n    ]),\n    regime: { scale: 'classical' },\n    assumptions: ['no phase change', 'constant specific heat'],\n    references: ['Standard thermodynamics'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'half-life', dim: TIME }, [\n    { name: 'decay-constant', dim: FREQUENCY },\n  ], {\n    id: 'CE-half-life',\n    prefactor: {\n      value: Math.log(2),\n      quote: String.raw`t_{1/2} = \\frac{\\ln (2)}{\\lambda} = \\tau \\ln(2)`,\n      locator: \"Wikipedia, 'Half-life', revision 1373221894, wikitext line 64\",\n    },\n    name: 'Radioactive half-life',\n    domain: 'quantum',\n    formula_latex: 't_{1/2} = \\\\ln 2 / \\\\lambda',\n    epistemicStatus: 'scalar-up-to-constant',\n    scalarAst: pow(sym('decay-constant', FREQUENCY), '-1'),\n    regime: { scale: 'quantum' },\n    assumptions: ['first-order (exponential) decay'],\n    references: ['Rutherford–Soddy 1902'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'hubble-distance', dim: LENGTH }, [\n    { name: 'c', dim: VELOCITY },\n    { name: 'hubble-rate', dim: FREQUENCY },\n  ], {\n    id: 'CE-hubble-distance',\n    holds: 'hubble-rate > 0',\n    name: 'Hubble distance',\n    domain: 'cosmology',\n    formula_latex: 'D_H = c / H_0',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('/', [sym('c', VELOCITY), sym('hubble-rate', FREQUENCY)]),\n    regime: { scale: 'cosmological' },\n    assumptions: ['present-epoch Hubble parameter'],\n    references: ['Hubble 1929'],\n    partnerBridges: [],\n  }),\n  // ── Folded in from the former l1-gravity-thermo / l1-quantum-em batch files\n  // (2026-06-22 god-file split): the thermodynamic / statistical monomials. ──\n  // Landauer minimum erasure energy  E = k_B T ln2  (natural log)\n  l1({ name: 'erasure-energy', dim: ENERGY }, [\n    { name: 'k_B', dim: ENTROPY },\n    { name: 'temperature', dim: TEMPERATURE },\n  ], {\n    id: 'CE-landauer',\n    holds: 'temperature >= 0',\n    name: 'Landauer erasure bound',\n    domain: 'information',\n    formula_latex: 'E = k_B T \\\\ln 2',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('*', [\n      sym('k_B', ENTROPY),\n      sym('temperature', TEMPERATURE),\n      sym('ln2', DIMENSIONLESS),\n    ]),\n    forms: { logBase: 'e' },\n    regime: { scale: 'mesoscopic', information: 'shannon' },\n    assumptions: ['isothermal', 'quasi-static erasure'],\n    references: ['Landauer 1961'],\n    // 16 = \"Information-Thermodynamics Bridge (Landauer's principle)\" — a\n    // genuine restatement (the canonical Landauer bound IS bridge 16).\n    partnerBridges: ['16'],\n    restatesBridge: '16',\n  }),\n  // Jarzynski equality  ΔF = −k_B T ln⟨exp(−W/k_B T)⟩  (dimensionless log factor)\n  l1({ name: 'free-energy-difference', dim: ENERGY }, [\n    { name: 'k_B', dim: ENTROPY },\n    { name: 'temperature', dim: TEMPERATURE },\n  ], {\n    id: 'CE-jarzynski',\n    holds: 'temperature > 0',\n    name: 'Jarzynski free-energy equality',\n    domain: 'statistical',\n    formula_latex: '\\\\Delta F = -k_B T \\\\ln \\\\langle \\\\exp(-W/(k_B T)) \\\\rangle',\n    // The leading dimensionless factor is the ensemble functional\n    // ln⟨exp(−βW)⟩, not a universal constant, so the strongest honest claim\n    // is the algebraic form up to that factor.\n    epistemicStatus: 'scalar-up-to-constant',\n    // Mirrors the Jarzynski right-hand side: −1 · k_B · T · ln⟨exp(−βW)⟩, the log encoded\n    // as a dimensionless stub (the AST has no ln primitive). Structurally this\n    // is the k_B·T·(dimensionless) thermodynamic form — the same one Landauer\n    // shares, which is exactly why BE-29 \"recovers\" CE-landauer.\n    scalarAst: op('*', [\n      sym('-1', DIMENSIONLESS),\n      sym('k_B', ENTROPY),\n      sym('temperature', TEMPERATURE),\n      sym('ln_avg_exp_minus_betaW', DIMENSIONLESS),\n    ]),\n    regime: { scale: 'mesoscopic' },\n    assumptions: ['isothermal', 'arbitrary work protocol between two equilibria'],\n    references: ['Jarzynski 1997 PRL 78:2690'],\n    // 29 = BE-29 (Jarzynski equality) — this canonical entry IS that bridge's\n    // own relation, so it is a declared restatement (NOT a discovery). Its\n    // structural match to CE-landauer stays a `recovers` form-coincidence.\n    partnerBridges: ['29'],\n    restatesBridge: '29',\n  }),\n  // Stefan–Boltzmann law  j = σ T⁴  (radiative FLUX)\n  l1({ name: 'radiative-flux', dim: SB_FLUX }, [\n    { name: 'sigma_sb', dim: SIGMA_SB },\n    { name: 'temperature', dim: TEMPERATURE },\n  ], {\n    id: 'CE-stefan-boltzmann',\n    holds: 'temperature >= 0',\n    name: 'Stefan–Boltzmann law',\n    domain: 'thermodynamics',\n    formula_latex: 'j = \\\\sigma T^4',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('*', [sym('sigma_sb', SIGMA_SB), pow(sym('temperature', TEMPERATURE), '4')]),\n    forms: { quantityKind: 'flux' },\n    regime: { scale: 'classical', force: 'electromagnetic' },\n    assumptions: ['blackbody', 'thermal equilibrium'],\n    references: ['Stefan 1879; Boltzmann 1884'],\n    partnerBridges: [],\n  }),\n  // Ideal gas law  P = N k_B T / V  (N is a dimensionless count)\n  l1({ name: 'pressure', dim: PRESSURE }, [\n    { name: 'k_B', dim: ENTROPY },\n    { name: 'temperature', dim: TEMPERATURE },\n    { name: 'V', dim: VOLUME },\n  ], {\n    id: 'CE-ideal-gas',\n    holds: 'temperature > 0 and V > 0 and N >= 0',\n    name: 'Ideal gas law',\n    domain: 'thermodynamics',\n    formula_latex: 'P = N k_B T/V',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('/', [\n      op('*', [sym('N', DIMENSIONLESS), sym('k_B', ENTROPY), sym('temperature', TEMPERATURE)]),\n      sym('V', VOLUME),\n    ]),\n    regime: { scale: 'classical', force: 'electromagnetic' },\n    assumptions: ['ideal gas', 'thermal equilibrium'],\n    references: ['Clapeyron 1834'],\n    partnerBridges: [],\n  }),\n  // Wien's displacement  λ_max = b / T  (blackbody peak wavelength)\n  l1({ name: 'peak-wavelength', dim: LENGTH }, [\n    { name: 'b', dim: WIEN_B },\n    { name: 'temperature', dim: dim(0, 0, 0, 0, 1) },\n  ], {\n    id: 'CE-wien',\n    holds: 'temperature > 0',\n    name: \"Wien's displacement law\",\n    domain: 'thermodynamics',\n    formula_latex: '\\\\lambda_{max} = b/T',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('/', [sym('b', WIEN_B), sym('temperature', dim(0, 0, 0, 0, 1))]),\n    regime: { scale: 'classical', force: 'electromagnetic' },\n    assumptions: ['blackbody', 'thermal equilibrium'],\n    references: ['Wien 1893'],\n    partnerBridges: [],\n  }),\n  // ── Batch 4 (2026-07-03): 3 more thermodynamics monomials. ─────────────────\n  // Latent heat of phase transition  Q = m L  (specific latent heat L)\n  l1({ name: 'latent-heat', dim: ENERGY }, [\n    { name: 'mass', dim: MASS },\n    { name: 'specific-latent-heat', dim: SPECIFIC_LATENT_HEAT },\n  ], {\n    id: 'CE-latent-heat',\n    holds: 'mass > 0',\n    name: 'Latent heat of phase transition',\n    domain: 'thermodynamics',\n    formula_latex: 'Q = m L',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('*', [\n      sym('mass', MASS),\n      sym('specific-latent-heat', SPECIFIC_LATENT_HEAT),\n    ]),\n    regime: { scale: 'classical' },\n    assumptions: ['isothermal phase transition'],\n    references: ['Callen, Thermodynamics'],\n    partnerBridges: [],\n  }),\n  // Clausius entropy change  ΔS = Q/T  (reversible, constant-temperature)\n  l1({ name: 'entropy-change', dim: ENTROPY }, [\n    { name: 'heat', dim: ENERGY },\n    { name: 'temperature', dim: TEMPERATURE },\n  ], {\n    id: 'CE-clausius-entropy',\n    holds: 'temperature > 0',\n    name: 'Clausius entropy change',\n    domain: 'thermodynamics',\n    formula_latex: '\\\\Delta S = Q/T',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('/', [sym('heat', ENERGY), sym('temperature', TEMPERATURE)]),\n    regime: { scale: 'classical' },\n    assumptions: ['reversible process', 'constant temperature'],\n    references: ['Clausius 1865', 'Callen, Thermodynamics'],\n    partnerBridges: [],\n  }),\n  // Thermal diffusivity  α = k/(ρ c_p)\n  l1({ name: 'thermal-diffusivity', dim: THERMAL_DIFFUSIVITY }, [\n    { name: 'thermal-conductivity', dim: THERMAL_CONDUCTIVITY },\n    { name: 'density', dim: DENSITY },\n    { name: 'specific-heat-capacity', dim: SPECIFIC_HEAT },\n  ], {\n    id: 'CE-thermal-diffusivity',\n    holds: 'thermal-conductivity > 0 and density > 0 and specific-heat-capacity > 0',\n    name: 'Thermal diffusivity',\n    domain: 'thermodynamics',\n    formula_latex: '\\\\alpha = k/(\\\\rho c_p)',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('/', [\n      sym('thermal-conductivity', THERMAL_CONDUCTIVITY),\n      op('*', [sym('density', DENSITY), sym('specific-heat-capacity', SPECIFIC_HEAT)]),\n    ]),\n    regime: { scale: 'classical' },\n    assumptions: ['homogeneous isotropic medium'],\n    references: ['Carslaw & Jaeger, Conduction of Heat in Solids'],\n    partnerBridges: [],\n  }),\n];\n"]}
+{"version":3,"file":"thermo-nuclear-cosmo.js","sourceRoot":"","sources":["../../../src/canonical/entries/thermo-nuclear-cosmo.ts"],"names":[],"mappings":"AAoBA,OAAO,EAAE,GAAG,EAAE,MAAM,mCAAmC,CAAC;AACxD,OAAO,EACL,IAAI,EACJ,QAAQ,EACR,MAAM,EACN,MAAM,EACN,IAAI,EACJ,SAAS,EACT,WAAW,EACX,OAAO,EACP,aAAa,EACb,aAAa,EACb,WAAW,EACX,QAAQ,EACR,MAAM,EACN,oBAAoB,EACpB,YAAY,EACZ,WAAW,GACZ,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,gBAAgB,CAAC;AAElD,MAAM,OAAO,GAAG,WAAW,CAAC,CAAC,gCAAgC;AAC7D,MAAM,QAAQ,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,gDAAgD;AACvF,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,sBAAsB;AACzD,MAAM,oBAAoB,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,qCAAqC;AACvF,MAAM,OAAO,GAAG,YAAY,CAAC,CAAC,kBAAkB;AAChD,MAAM,mBAAmB,GAAG,WAAW,CAAC,CAAC,kBAAkB;AAE3D,MAAM,CAAC,MAAM,oBAAoB,GAAiC;IAChE,EAAE,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QACvC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,aAAa,EAAE;QAC7C,EAAE,IAAI,EAAE,oBAAoB,EAAE,GAAG,EAAE,WAAW,EAAE;KACjD,EAAE;QACD,EAAE,EAAE,kBAAkB;QACtB,KAAK,EAAE,UAAU;QACjB,IAAI,EAAE,+BAA+B;QACrC,MAAM,EAAE,gBAAgB;QACxB,aAAa,EAAE,mBAAmB;QAClC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC;YACjB,GAAG,CAAC,eAAe,EAAE,aAAa,CAAC;YACnC,GAAG,CAAC,oBAAoB,EAAE,WAAW,CAAC;SACvC,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,iBAAiB,EAAE,wBAAwB,CAAC;QAC1D,UAAU,EAAE,CAAC,yBAAyB,CAAC;QACvC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE;QACnC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,SAAS,EAAE;KAC3C,EAAE;QACD,EAAE,EAAE,cAAc;QAClB,SAAS,EAAE;YACT,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAClB,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,iDAAiD;YAClE,OAAO,EAAE,+DAA+D;SACzE;QACD,IAAI,EAAE,uBAAuB;QAC7B,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,6BAA6B;QAC5C,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,GAAG,CAAC,GAAG,CAAC,gBAAgB,EAAE,SAAS,CAAC,EAAE,IAAI,CAAC;QACtD,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;QAC5B,WAAW,EAAE,CAAC,iCAAiC,CAAC;QAChD,UAAU,EAAE,CAAC,uBAAuB,CAAC;QACrC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAC3C,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;QAC5B,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,SAAS,EAAE;KACxC,EAAE;QACD,EAAE,EAAE,oBAAoB;QACxB,KAAK,EAAE,iBAAiB;QACxB,IAAI,EAAE,iBAAiB;QACvB,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,eAAe;QAC9B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,aAAa,EAAE,SAAS,CAAC,CAAC,CAAC;QACvE,MAAM,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;QACjC,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,UAAU,EAAE,CAAC,aAAa,CAAC;QAC3B,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,6EAA6E;IAC7E,6EAA6E;IAC7E,gEAAgE;IAChE,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAC1C,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE;QAC7B,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE;KAC1C,EAAE;QACD,EAAE,EAAE,aAAa;QACjB,KAAK,EAAE,kBAAkB;QACzB,IAAI,EAAE,wBAAwB;QAC9B,MAAM,EAAE,aAAa;QACrB,aAAa,EAAE,kBAAkB;QACjC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC;YACnB,GAAG,CAAC,aAAa,EAAE,WAAW,CAAC;YAC/B,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;SAC1B,CAAC;QACF,KAAK,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE;QACvB,MAAM,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,WAAW,EAAE,SAAS,EAAE;QACvD,WAAW,EAAE,CAAC,YAAY,EAAE,sBAAsB,CAAC;QACnD,UAAU,EAAE,CAAC,eAAe,CAAC;QAC7B,sEAAsE;QACtE,mEAAmE;QACnE,cAAc,EAAE,CAAC,IAAI,CAAC;QACtB,cAAc,EAAE,IAAI;KACrB,CAAC;IACF,gFAAgF;IAChF,EAAE,CAAC,EAAE,IAAI,EAAE,wBAAwB,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAClD,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE;QAC7B,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE;KAC1C,EAAE;QACD,EAAE,EAAE,cAAc;QAClB,KAAK,EAAE,iBAAiB;QACxB,IAAI,EAAE,gCAAgC;QACtC,MAAM,EAAE,aAAa;QACrB,aAAa,EAAE,6DAA6D;QAC5E,8DAA8D;QAC9D,wEAAwE;QACxE,2CAA2C;QAC3C,eAAe,EAAE,uBAAuB;QACxC,sFAAsF;QACtF,2EAA2E;QAC3E,0EAA0E;QAC1E,6DAA6D;QAC7D,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC;YACxB,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC;YACnB,GAAG,CAAC,aAAa,EAAE,WAAW,CAAC;YAC/B,GAAG,CAAC,wBAAwB,EAAE,aAAa,CAAC;SAC7C,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE;QAC/B,WAAW,EAAE,CAAC,YAAY,EAAE,gDAAgD,CAAC;QAC7E,UAAU,EAAE,CAAC,4BAA4B,CAAC;QAC1C,0EAA0E;QAC1E,uEAAuE;QACvE,uEAAuE;QACvE,cAAc,EAAE,CAAC,IAAI,CAAC;QACtB,cAAc,EAAE,IAAI;KACrB,CAAC;IACF,mDAAmD;IACnD,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE;QAC3C,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,EAAE;QACnC,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE;KAC1C,EAAE;QACD,EAAE,EAAE,qBAAqB;QACzB,KAAK,EAAE,kBAAkB;QACzB,IAAI,EAAE,sBAAsB;QAC5B,MAAM,EAAE,gBAAgB;QACxB,aAAa,EAAE,iBAAiB;QAChC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,UAAU,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,aAAa,EAAE,WAAW,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QAC1F,KAAK,EAAE,EAAE,YAAY,EAAE,MAAM,EAAE;QAC/B,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,CAAC,WAAW,EAAE,qBAAqB,CAAC;QACjD,UAAU,EAAE,CAAC,6BAA6B,CAAC;QAC3C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,+DAA+D;IAC/D,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE;QACtC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE;QAC7B,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE;QACzC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;KAC3B,EAAE;QACD,EAAE,EAAE,cAAc;QAClB,KAAK,EAAE,sCAAsC;QAC7C,IAAI,EAAE,eAAe;QACrB,MAAM,EAAE,gBAAgB;QACxB,aAAa,EAAE,eAAe;QAC9B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,GAAG,CAAC,aAAa,EAAE,WAAW,CAAC,CAAC,CAAC;YACxF,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC;SACjB,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,CAAC,WAAW,EAAE,qBAAqB,CAAC;QACjD,UAAU,EAAE,CAAC,gBAAgB,CAAC;QAC9B,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,kEAAkE;IAClE,EAAE,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAC3C,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;QAC1B,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE;KAC1C,EAAE;QACD,EAAE,EAAE,SAAS;QACb,KAAK,EAAE,iBAAiB;QACxB,IAAI,EAAE,yBAAyB;QAC/B,MAAM,EAAE,gBAAgB;QACxB,aAAa,EAAE,sBAAsB;QACrC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,aAAa,EAAE,WAAW,CAAC,CAAC,CAAC;QACvE,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACxD,WAAW,EAAE,CAAC,WAAW,EAAE,qBAAqB,CAAC;QACjD,UAAU,EAAE,CAAC,WAAW,CAAC;QACzB,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,8EAA8E;IAC9E,qEAAqE;IACrE,EAAE,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QACvC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,sBAAsB,EAAE,GAAG,EAAE,oBAAoB,EAAE;KAC5D,EAAE;QACD,EAAE,EAAE,gBAAgB;QACpB,KAAK,EAAE,UAAU;QACjB,IAAI,EAAE,iCAAiC;QACvC,MAAM,EAAE,gBAAgB;QACxB,aAAa,EAAE,SAAS;QACxB,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC;YACjB,GAAG,CAAC,sBAAsB,EAAE,oBAAoB,CAAC;SAClD,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,6BAA6B,CAAC;QAC5C,UAAU,EAAE,CAAC,wBAAwB,CAAC;QACtC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,wEAAwE;IACxE,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE;QAC3C,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE;QAC7B,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE;KAC1C,EAAE;QACD,EAAE,EAAE,qBAAqB;QACzB,KAAK,EAAE,iBAAiB;QACxB,IAAI,EAAE,yBAAyB;QAC/B,MAAM,EAAE,gBAAgB;QACxB,aAAa,EAAE,iBAAiB;QAChC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,aAAa,EAAE,WAAW,CAAC,CAAC,CAAC;QAC1E,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,oBAAoB,EAAE,sBAAsB,CAAC;QAC3D,UAAU,EAAE,CAAC,eAAe,EAAE,wBAAwB,CAAC;QACvD,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,qCAAqC;IACrC,EAAE,CAAC,EAAE,IAAI,EAAE,qBAAqB,EAAE,GAAG,EAAE,mBAAmB,EAAE,EAAE;QAC5D,EAAE,IAAI,EAAE,sBAAsB,EAAE,GAAG,EAAE,oBAAoB,EAAE;QAC3D,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE;QACjC,EAAE,IAAI,EAAE,wBAAwB,EAAE,GAAG,EAAE,aAAa,EAAE;KACvD,EAAE;QACD,EAAE,EAAE,wBAAwB;QAC5B,KAAK,EAAE,yEAAyE;QAChF,IAAI,EAAE,qBAAqB;QAC3B,MAAM,EAAE,gBAAgB;QACxB,aAAa,EAAE,yBAAyB;QACxC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,sBAAsB,EAAE,oBAAoB,CAAC;YACjD,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,GAAG,CAAC,wBAAwB,EAAE,aAAa,CAAC,CAAC,CAAC;SACjF,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,8BAA8B,CAAC;QAC7C,UAAU,EAAE,CAAC,gDAAgD,CAAC;QAC9D,cAAc,EAAE,EAAE;KACnB,CAAC;CACH,CAAC","sourcesContent":["/**\n * L1 (scalar-AST) canonical entries — thermodynamic, statistical, nuclear, and\n * cosmological monomial laws: sensible heat capacity, radioactive half-life,\n * the Hubble distance, plus the Landauer bound, the Jarzynski equality, the\n * Stefan–Boltzmann law, the ideal-gas law, and Wien's displacement (the\n * latter five folded in from the former l1-gravity-thermo / l1-quantum-em\n * batch files in the 2026-06-22 god-file split), plus a batch-4 (2026-07-03)\n * trio of thermodynamics monomials: latent heat, the Clausius entropy change,\n * and thermal diffusivity. L0 fields are engine-derived (see `_l1-build`).\n *\n * Scope: generic dimensional MONOMIAL laws (Adam+Eve adversarial audit,\n * 2026-06-20). `domain` is the nearest `CanonicalDomain` arm (the enum has no\n * `nuclear`; radioactive decay → `quantum`). Skipped as degenerate:\n * radioactive-activity `A=λN` (N dimensionless ⇒ activity ≡ decay-constant) and\n * the Chandrasekhar mass (the (ℏc/G)/m_p² group is dimensionless ⇒\n * underdetermined). See docs/research/bridges-vs-canonical-map.md.\n *\n * @module canonical/entries/thermo-nuclear-cosmo\n */\nimport type { CanonicalEquation } from '../canonical-equation.js';\nimport { sym } from '../../dimensional/ast-builders.js';\nimport {\n  MASS,\n  VELOCITY,\n  ENERGY,\n  LENGTH,\n  TIME,\n  FREQUENCY,\n  TEMPERATURE,\n  ENTROPY,\n  DIMENSIONLESS,\n  SPECIFIC_HEAT,\n  ENERGY_FLUX,\n  PRESSURE,\n  VOLUME,\n  THERMAL_CONDUCTIVITY,\n  MASS_DENSITY,\n  DIFFUSIVITY,\n} from '../../dimensional/types.js';\nimport { dim, op, pow, l1 } from './_l1-build.js';\n\nconst SB_FLUX = ENERGY_FLUX; // radiative flux W/m² = [M T⁻³]\nconst SIGMA_SB = dim(0, 1, -3, 0, -4); // Stefan–Boltzmann σ [M T⁻³ Θ⁻⁴] (Θ is 5th arg)\nconst WIEN_B = dim(1, 0, 0, 0, 1); // Wien constant [L Θ]\nconst SPECIFIC_LATENT_HEAT = dim(2, 0, -2, 0, 0); // [L² T⁻²] (J·kg⁻¹, no Θ dependence)\nconst DENSITY = MASS_DENSITY; // [M L⁻³] (kg/m³)\nconst THERMAL_DIFFUSIVITY = DIFFUSIVITY; // [L² T⁻¹] (m²/s)\n\nexport const THERMO_NUCLEAR_COSMO: readonly CanonicalEquation[] = [\n  l1({ name: 'heat-energy', dim: ENERGY }, [\n    { name: 'mass', dim: MASS },\n    { name: 'specific-heat', dim: SPECIFIC_HEAT },\n    { name: 'temperature-change', dim: TEMPERATURE },\n  ], {\n    id: 'CE-heat-capacity',\n    holds: 'mass > 0',\n    name: 'Sensible heat (heat capacity)',\n    domain: 'thermodynamics',\n    formula_latex: 'Q = m c \\\\Delta T',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('*', [\n      sym('mass', MASS),\n      sym('specific-heat', SPECIFIC_HEAT),\n      sym('temperature-change', TEMPERATURE),\n    ]),\n    regime: { scale: 'classical' },\n    assumptions: ['no phase change', 'constant specific heat'],\n    references: ['Standard thermodynamics'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'half-life', dim: TIME }, [\n    { name: 'decay-constant', dim: FREQUENCY },\n  ], {\n    id: 'CE-half-life',\n    prefactor: {\n      value: Math.log(2),\n      quote: String.raw`t_{1/2} = \\frac{\\ln (2)}{\\lambda} = \\tau \\ln(2)`,\n      locator: \"Wikipedia, 'Half-life', revision 1373221894, wikitext line 64\",\n    },\n    name: 'Radioactive half-life',\n    domain: 'quantum',\n    formula_latex: 't_{1/2} = \\\\ln 2 / \\\\lambda',\n    epistemicStatus: 'scalar-up-to-constant',\n    scalarAst: pow(sym('decay-constant', FREQUENCY), '-1'),\n    regime: { scale: 'quantum' },\n    assumptions: ['first-order (exponential) decay'],\n    references: ['Rutherford–Soddy 1902'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'hubble-distance', dim: LENGTH }, [\n    { name: 'c', dim: VELOCITY },\n    { name: 'hubble-rate', dim: FREQUENCY },\n  ], {\n    id: 'CE-hubble-distance',\n    holds: 'hubble-rate > 0',\n    name: 'Hubble distance',\n    domain: 'cosmology',\n    formula_latex: 'D_H = c / H_0',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('/', [sym('c', VELOCITY), sym('hubble-rate', FREQUENCY)]),\n    regime: { scale: 'cosmological' },\n    assumptions: ['present-epoch Hubble parameter'],\n    references: ['Hubble 1929'],\n    partnerBridges: [],\n  }),\n  // ── Folded in from the former l1-gravity-thermo / l1-quantum-em batch files\n  // (2026-06-22 god-file split): the thermodynamic / statistical monomials. ──\n  // Landauer minimum erasure energy  E = k_B T ln2  (natural log)\n  l1({ name: 'erasure-energy', dim: ENERGY }, [\n    { name: 'k_B', dim: ENTROPY },\n    { name: 'temperature', dim: TEMPERATURE },\n  ], {\n    id: 'CE-landauer',\n    holds: 'temperature >= 0',\n    name: 'Landauer erasure bound',\n    domain: 'information',\n    formula_latex: 'E = k_B T \\\\ln 2',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('*', [\n      sym('k_B', ENTROPY),\n      sym('temperature', TEMPERATURE),\n      sym('ln2', DIMENSIONLESS),\n    ]),\n    forms: { logBase: 'e' },\n    regime: { scale: 'mesoscopic', information: 'shannon' },\n    assumptions: ['isothermal', 'quasi-static erasure'],\n    references: ['Landauer 1961'],\n    // 16 = \"Information-Thermodynamics Bridge (Landauer's principle)\" — a\n    // genuine restatement (the canonical Landauer bound IS bridge 16).\n    partnerBridges: ['16'],\n    restatesBridge: '16',\n  }),\n  // Jarzynski equality  ΔF = −k_B T ln⟨exp(−W/k_B T)⟩  (dimensionless log factor)\n  l1({ name: 'free-energy-difference', dim: ENERGY }, [\n    { name: 'k_B', dim: ENTROPY },\n    { name: 'temperature', dim: TEMPERATURE },\n  ], {\n    id: 'CE-jarzynski',\n    holds: 'temperature > 0',\n    name: 'Jarzynski free-energy equality',\n    domain: 'statistical',\n    formula_latex: '\\\\Delta F = -k_B T \\\\ln \\\\langle \\\\exp(-W/(k_B T)) \\\\rangle',\n    // The leading dimensionless factor is the ensemble functional\n    // ln⟨exp(−βW)⟩, not a universal constant, so the strongest honest claim\n    // is the algebraic form up to that factor.\n    epistemicStatus: 'scalar-up-to-constant',\n    // Mirrors the Jarzynski right-hand side: −1 · k_B · T · ln⟨exp(−βW)⟩, the log encoded\n    // as a dimensionless stub (the AST has no ln primitive). Structurally this\n    // is the k_B·T·(dimensionless) thermodynamic form — the same one Landauer\n    // shares, which is exactly why BE-29 \"recovers\" CE-landauer.\n    scalarAst: op('*', [\n      sym('-1', DIMENSIONLESS),\n      sym('k_B', ENTROPY),\n      sym('temperature', TEMPERATURE),\n      sym('ln_avg_exp_minus_betaW', DIMENSIONLESS),\n    ]),\n    regime: { scale: 'mesoscopic' },\n    assumptions: ['isothermal', 'arbitrary work protocol between two equilibria'],\n    references: ['Jarzynski 1997 PRL 78:2690'],\n    // 29 = BE-29 (Jarzynski equality) — this canonical entry IS that bridge's\n    // own relation, so it is a declared restatement (NOT a discovery). Its\n    // structural match to CE-landauer stays a `recovers` form-coincidence.\n    partnerBridges: ['29'],\n    restatesBridge: '29',\n  }),\n  // Stefan–Boltzmann law  j = σ T⁴  (radiative FLUX)\n  l1({ name: 'radiative-flux', dim: SB_FLUX }, [\n    { name: 'sigma_sb', dim: SIGMA_SB },\n    { name: 'temperature', dim: TEMPERATURE },\n  ], {\n    id: 'CE-stefan-boltzmann',\n    holds: 'temperature >= 0',\n    name: 'Stefan–Boltzmann law',\n    domain: 'thermodynamics',\n    formula_latex: 'j = \\\\sigma T^4',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('*', [sym('sigma_sb', SIGMA_SB), pow(sym('temperature', TEMPERATURE), '4')]),\n    forms: { quantityKind: 'flux' },\n    regime: { scale: 'classical', force: 'electromagnetic' },\n    assumptions: ['blackbody', 'thermal equilibrium'],\n    references: ['Stefan 1879; Boltzmann 1884'],\n    partnerBridges: [],\n  }),\n  // Ideal gas law  P = N k_B T / V  (N is a dimensionless count)\n  l1({ name: 'pressure', dim: PRESSURE }, [\n    { name: 'k_B', dim: ENTROPY },\n    { name: 'temperature', dim: TEMPERATURE },\n    { name: 'V', dim: VOLUME },\n  ], {\n    id: 'CE-ideal-gas',\n    holds: 'temperature > 0 and V > 0 and N >= 0',\n    name: 'Ideal gas law',\n    domain: 'thermodynamics',\n    formula_latex: 'P = N k_B T/V',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('/', [\n      op('*', [sym('N', DIMENSIONLESS), sym('k_B', ENTROPY), sym('temperature', TEMPERATURE)]),\n      sym('V', VOLUME),\n    ]),\n    regime: { scale: 'classical', force: 'electromagnetic' },\n    assumptions: ['ideal gas', 'thermal equilibrium'],\n    references: ['Clapeyron 1834'],\n    partnerBridges: [],\n  }),\n  // Wien's displacement  λ_max = b / T  (blackbody peak wavelength)\n  l1({ name: 'peak-wavelength', dim: LENGTH }, [\n    { name: 'b', dim: WIEN_B },\n    { name: 'temperature', dim: TEMPERATURE },\n  ], {\n    id: 'CE-wien',\n    holds: 'temperature > 0',\n    name: \"Wien's displacement law\",\n    domain: 'thermodynamics',\n    formula_latex: '\\\\lambda_{max} = b/T',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('/', [sym('b', WIEN_B), sym('temperature', TEMPERATURE)]),\n    regime: { scale: 'classical', force: 'electromagnetic' },\n    assumptions: ['blackbody', 'thermal equilibrium'],\n    references: ['Wien 1893'],\n    partnerBridges: [],\n  }),\n  // ── Batch 4 (2026-07-03): 3 more thermodynamics monomials. ─────────────────\n  // Latent heat of phase transition  Q = m L  (specific latent heat L)\n  l1({ name: 'latent-heat', dim: ENERGY }, [\n    { name: 'mass', dim: MASS },\n    { name: 'specific-latent-heat', dim: SPECIFIC_LATENT_HEAT },\n  ], {\n    id: 'CE-latent-heat',\n    holds: 'mass > 0',\n    name: 'Latent heat of phase transition',\n    domain: 'thermodynamics',\n    formula_latex: 'Q = m L',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('*', [\n      sym('mass', MASS),\n      sym('specific-latent-heat', SPECIFIC_LATENT_HEAT),\n    ]),\n    regime: { scale: 'classical' },\n    assumptions: ['isothermal phase transition'],\n    references: ['Callen, Thermodynamics'],\n    partnerBridges: [],\n  }),\n  // Clausius entropy change  ΔS = Q/T  (reversible, constant-temperature)\n  l1({ name: 'entropy-change', dim: ENTROPY }, [\n    { name: 'heat', dim: ENERGY },\n    { name: 'temperature', dim: TEMPERATURE },\n  ], {\n    id: 'CE-clausius-entropy',\n    holds: 'temperature > 0',\n    name: 'Clausius entropy change',\n    domain: 'thermodynamics',\n    formula_latex: '\\\\Delta S = Q/T',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('/', [sym('heat', ENERGY), sym('temperature', TEMPERATURE)]),\n    regime: { scale: 'classical' },\n    assumptions: ['reversible process', 'constant temperature'],\n    references: ['Clausius 1865', 'Callen, Thermodynamics'],\n    partnerBridges: [],\n  }),\n  // Thermal diffusivity  α = k/(ρ c_p)\n  l1({ name: 'thermal-diffusivity', dim: THERMAL_DIFFUSIVITY }, [\n    { name: 'thermal-conductivity', dim: THERMAL_CONDUCTIVITY },\n    { name: 'density', dim: DENSITY },\n    { name: 'specific-heat-capacity', dim: SPECIFIC_HEAT },\n  ], {\n    id: 'CE-thermal-diffusivity',\n    holds: 'thermal-conductivity > 0 and density > 0 and specific-heat-capacity > 0',\n    name: 'Thermal diffusivity',\n    domain: 'thermodynamics',\n    formula_latex: '\\\\alpha = k/(\\\\rho c_p)',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('/', [\n      sym('thermal-conductivity', THERMAL_CONDUCTIVITY),\n      op('*', [sym('density', DENSITY), sym('specific-heat-capacity', SPECIFIC_HEAT)]),\n    ]),\n    regime: { scale: 'classical' },\n    assumptions: ['homogeneous isotropic medium'],\n    references: ['Carslaw & Jaeger, Conduction of Heat in Solids'],\n    partnerBridges: [],\n  }),\n];\n"]}

package/dist/canonical/fixed-points.d.ts

@@ -0,0 +1,94 @@
+/**
+ * One owner for "a constant times that one".
+ *
+ * Several callers decide whether two formulas agree up to a constant: the
+ * derivation audit, the canonical comparison, the linkage recovery, explain's
+ * monomial check and `upt derive`. Each once carried its own sample points,
+ * its own ratio statistic and its own tolerance, so the same question could be
+ * answered differently in different commands. The three pieces live here, and
+ * every caller passes the base, step, exponent schedule, statistic and
+ * tolerance it used before, so no verdict moved
+ * (`tests/canonical/fixed-point-verdicts.test.ts` is the pin).
+ *
+ * A sample point gives variable `i` (in the caller's name order) the value
+ * `(base + step·i)^p`. Each variable has its own base, so the RATIOS between
+ * variables change from point to point too: a common scale factor would leave
+ * every ratio such as ℓ/g fixed, and `T ∝ ℓ/g` would then pass as the form of
+ * `T ∝ √(ℓ/g)`.
+ *
+ * @module canonical/fixed-points
+ */
+/**
+ * The exponent schedule the canonical comparison and the linkage recovery
+ * share: three points, so a constant ratio is checked at three places.
+ *
+ * @internal
+ */
+export declare const FIXED_POINT_EXPONENTS: readonly number[];
+/** The per-variable base and step of a sample scheme. @internal */
+export interface FixedPointScheme {
+    /** The base of the first variable. */
+    readonly base: number;
+    /** Added to the base once per later variable. */
+    readonly step: number;
+}
+/**
+ * The sample point at exponent `p`: `names[i]` takes `(base + step·i)^p`.
+ *
+ * @internal
+ */
+export declare function fixedPoint(names: readonly string[], p: number, scheme: FixedPointScheme): Record<string, number>;
+/** The statistic a constancy decision rests on. @internal */
+export type RatioStatistic = 'max-rel-err' | 'cv';
+/** Options of {@link constantRatio}. @internal */
+export interface ConstantRatioOptions {
+    /**
+     * `max-rel-err` (the default): the largest `|r/r0 − 1|` over the ratios,
+     * `r0` the first; the value is `r0`. `cv`: the population standard
+     * deviation over the absolute mean (`ratioSpread`); the value is the mean.
+     */
+    readonly statistic?: RatioStatistic;
+}
+/** Whether a list of ratios is one constant, and what it is. @internal */
+export interface ConstantRatio {
+    /** True when the statistic is within `tolerance`. */
+    readonly constant: boolean;
+    /** The constant: the first ratio, or the mean under `cv`. */
+    readonly value: number;
+    /** The statistic: the largest relative departure, or the coefficient of variation. */
+    readonly maxRelErr: number;
+}
+/**
+ * Decide whether `ratios` are one constant to within `tolerance`. An empty
+ * list, a zero, or a non-finite ratio is never constant.
+ *
+ * @internal
+ */
+export declare function constantRatio(ratios: readonly number[], tolerance: number, options?: ConstantRatioOptions): ConstantRatio;
+/** The scheme `upt derive` recovers a prefactor with. @internal */
+export interface PrefactorRecoveryScheme extends FixedPointScheme {
+    /** The exponents sampled, one point each. */
+    readonly exponents: readonly number[];
+    readonly tolerance: number;
+    readonly statistic: RatioStatistic;
+}
+/** The outcome of {@link recoverMonomialPrefactor}. @internal */
+export interface PrefactorRecovery {
+    /** True when `evaluate / monomial` is one constant over the points. */
+    readonly matches: boolean;
+    /** That constant, present only when `matches`. */
+    readonly prefactor?: number;
+    /** The ratio statistic over the points. */
+    readonly spread: number;
+}
+/**
+ * Recover the constant in front of a monomial: evaluate the caller's formula
+ * at each point of the scheme, divide by the monomial there, and ask
+ * {@link constantRatio}. The formula is called with the point keyed by
+ * `names`; a caller whose formula spells a name differently maps it inside
+ * `evaluate`. An exponent the monomial does not state is 0.
+ *
+ * @internal
+ */
+export declare function recoverMonomialPrefactor(evaluate: (point: Readonly<Record<string, number>>) => number, monomial: Readonly<Record<string, number>>, names: readonly string[], scheme: PrefactorRecoveryScheme): PrefactorRecovery;
+//# sourceMappingURL=fixed-points.d.ts.map

package/dist/canonical/fixed-points.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fixed-points.d.ts","sourceRoot":"","sources":["../../src/canonical/fixed-points.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAIH;;;;;GAKG;AACH,eAAO,MAAM,qBAAqB,EAAE,SAAS,MAAM,EAAkB,CAAC;AAEtE,mEAAmE;AACnE,MAAM,WAAW,gBAAgB;IAC/B,sCAAsC;IACtC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,iDAAiD;IACjD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED;;;;GAIG;AACH,wBAAgB,UAAU,CACxB,KAAK,EAAE,SAAS,MAAM,EAAE,EACxB,CAAC,EAAE,MAAM,EACT,MAAM,EAAE,gBAAgB,GACvB,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAMxB;AAED,6DAA6D;AAC7D,MAAM,MAAM,cAAc,GAAG,aAAa,GAAG,IAAI,CAAC;AAElD,kDAAkD;AAClD,MAAM,WAAW,oBAAoB;IACnC;;;;OAIG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,cAAc,CAAC;CACrC;AAED,0EAA0E;AAC1E,MAAM,WAAW,aAAa;IAC5B,qDAAqD;IACrD,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,6DAA6D;IAC7D,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,sFAAsF;IACtF,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED;;;;;GAKG;AACH,wBAAgB,aAAa,CAC3B,MAAM,EAAE,SAAS,MAAM,EAAE,EACzB,SAAS,EAAE,MAAM,EACjB,OAAO,GAAE,oBAAyB,GACjC,aAAa,CAWf;AAED,mEAAmE;AACnE,MAAM,WAAW,uBAAwB,SAAQ,gBAAgB;IAC/D,6CAA6C;IAC7C,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;CACpC;AAED,iEAAiE;AACjE,MAAM,WAAW,iBAAiB;IAChC,uEAAuE;IACvE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,kDAAkD;IAClD,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,2CAA2C;IAC3C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED;;;;;;;;GAQG;AACH,wBAAgB,wBAAwB,CACtC,QAAQ,EAAE,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,KAAK,MAAM,EAC7D,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAC1C,KAAK,EAAE,SAAS,MAAM,EAAE,EACxB,MAAM,EAAE,uBAAuB,GAC9B,iBAAiB,CAWnB"}

package/dist/canonical/fixed-points.js

@@ -0,0 +1,81 @@
+/**
+ * One owner for "a constant times that one".
+ *
+ * Several callers decide whether two formulas agree up to a constant: the
+ * derivation audit, the canonical comparison, the linkage recovery, explain's
+ * monomial check and `upt derive`. Each once carried its own sample points,
+ * its own ratio statistic and its own tolerance, so the same question could be
+ * answered differently in different commands. The three pieces live here, and
+ * every caller passes the base, step, exponent schedule, statistic and
+ * tolerance it used before, so no verdict moved
+ * (`tests/canonical/fixed-point-verdicts.test.ts` is the pin).
+ *
+ * A sample point gives variable `i` (in the caller's name order) the value
+ * `(base + step·i)^p`. Each variable has its own base, so the RATIOS between
+ * variables change from point to point too: a common scale factor would leave
+ * every ratio such as ℓ/g fixed, and `T ∝ ℓ/g` would then pass as the form of
+ * `T ∝ √(ℓ/g)`.
+ *
+ * @module canonical/fixed-points
+ */
+import { ratioSpread } from '../numerical/statistics.js';
+/**
+ * The exponent schedule the canonical comparison and the linkage recovery
+ * share: three points, so a constant ratio is checked at three places.
+ *
+ * @internal
+ */
+export const FIXED_POINT_EXPONENTS = [1, 1.3, 1.6];
+/**
+ * The sample point at exponent `p`: `names[i]` takes `(base + step·i)^p`.
+ *
+ * @internal
+ */
+export function fixedPoint(names, p, scheme) {
+    const point = {};
+    names.forEach((name, i) => {
+        point[name] = Math.pow(scheme.base + scheme.step * i, p);
+    });
+    return point;
+}
+/**
+ * Decide whether `ratios` are one constant to within `tolerance`. An empty
+ * list, a zero, or a non-finite ratio is never constant.
+ *
+ * @internal
+ */
+export function constantRatio(ratios, tolerance, options = {}) {
+    const r0 = ratios[0];
+    if (r0 === undefined || ratios.some((r) => !Number.isFinite(r) || r === 0)) {
+        return { constant: false, value: r0 ?? Number.NaN, maxRelErr: Number.NaN };
+    }
+    if ((options.statistic ?? 'max-rel-err') === 'cv') {
+        const { mean, cv } = ratioSpread(ratios);
+        return { constant: cv < tolerance, value: mean, maxRelErr: cv };
+    }
+    const maxRelErr = Math.max(...ratios.map((r) => Math.abs((r - r0) / r0)));
+    return { constant: maxRelErr <= tolerance, value: r0, maxRelErr };
+}
+/**
+ * Recover the constant in front of a monomial: evaluate the caller's formula
+ * at each point of the scheme, divide by the monomial there, and ask
+ * {@link constantRatio}. The formula is called with the point keyed by
+ * `names`; a caller whose formula spells a name differently maps it inside
+ * `evaluate`. An exponent the monomial does not state is 0.
+ *
+ * @internal
+ */
+export function recoverMonomialPrefactor(evaluate, monomial, names, scheme) {
+    const ratios = scheme.exponents.map((p) => {
+        const point = fixedPoint(names, p, scheme);
+        let candidate = 1;
+        for (const name of names)
+            candidate *= Math.pow(point[name], monomial[name] ?? 0);
+        return evaluate(point) / candidate;
+    });
+    const decided = constantRatio(ratios, scheme.tolerance, { statistic: scheme.statistic });
+    return decided.constant
+        ? { matches: true, prefactor: decided.value, spread: decided.maxRelErr }
+        : { matches: false, spread: decided.maxRelErr };
+}
+//# sourceMappingURL=fixed-points.js.map

package/dist/canonical/fixed-points.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fixed-points.js","sourceRoot":"","sources":["../../src/canonical/fixed-points.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAC;AAEzD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAsB,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;AAUtE;;;;GAIG;AACH,MAAM,UAAU,UAAU,CACxB,KAAwB,EACxB,CAAS,EACT,MAAwB;IAExB,MAAM,KAAK,GAA2B,EAAE,CAAC;IACzC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;QACxB,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,GAAG,MAAM,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAyBD;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAC3B,MAAyB,EACzB,SAAiB,EACjB,OAAO,GAAyB,EAAE;IAElC,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACrB,IAAI,EAAE,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAC3E,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,MAAM,CAAC,GAAG,EAAE,SAAS,EAAE,MAAM,CAAC,GAAG,EAAE,CAAC;IAC7E,CAAC;IACD,IAAI,CAAC,OAAO,CAAC,SAAS,IAAI,aAAa,CAAC,KAAK,IAAI,EAAE,CAAC;QAClD,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;QACzC,OAAO,EAAE,QAAQ,EAAE,EAAE,GAAG,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;IAClE,CAAC;IACD,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1E,OAAO,EAAE,QAAQ,EAAE,SAAS,IAAI,SAAS,EAAE,KAAK,EAAE,EAAE,EAAE,SAAS,EAAE,CAAC;AACpE,CAAC;AAoBD;;;;;;;;GAQG;AACH,MAAM,UAAU,wBAAwB,CACtC,QAA6D,EAC7D,QAA0C,EAC1C,KAAwB,EACxB,MAA+B;IAE/B,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACxC,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;QAC3C,IAAI,SAAS,GAAG,CAAC,CAAC;QAClB,KAAK,MAAM,IAAI,IAAI,KAAK;YAAE,SAAS,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAE,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QACnF,OAAO,QAAQ,CAAC,KAAK,CAAC,GAAG,SAAS,CAAC;IACrC,CAAC,CAAC,CAAC;IACH,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,EAAE,MAAM,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC;IACzF,OAAO,OAAO,CAAC,QAAQ;QACrB,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,SAAS,EAAE;QACxE,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC;AACpD,CAAC","sourcesContent":["/**\n * One owner for \"a constant times that one\".\n *\n * Several callers decide whether two formulas agree up to a constant: the\n * derivation audit, the canonical comparison, the linkage recovery, explain's\n * monomial check and `upt derive`. Each once carried its own sample points,\n * its own ratio statistic and its own tolerance, so the same question could be\n * answered differently in different commands. The three pieces live here, and\n * every caller passes the base, step, exponent schedule, statistic and\n * tolerance it used before, so no verdict moved\n * (`tests/canonical/fixed-point-verdicts.test.ts` is the pin).\n *\n * A sample point gives variable `i` (in the caller's name order) the value\n * `(base + step·i)^p`. Each variable has its own base, so the RATIOS between\n * variables change from point to point too: a common scale factor would leave\n * every ratio such as ℓ/g fixed, and `T ∝ ℓ/g` would then pass as the form of\n * `T ∝ √(ℓ/g)`.\n *\n * @module canonical/fixed-points\n */\n\nimport { ratioSpread } from '../numerical/statistics.js';\n\n/**\n * The exponent schedule the canonical comparison and the linkage recovery\n * share: three points, so a constant ratio is checked at three places.\n *\n * @internal\n */\nexport const FIXED_POINT_EXPONENTS: readonly number[] = [1, 1.3, 1.6];\n\n/** The per-variable base and step of a sample scheme. @internal */\nexport interface FixedPointScheme {\n  /** The base of the first variable. */\n  readonly base: number;\n  /** Added to the base once per later variable. */\n  readonly step: number;\n}\n\n/**\n * The sample point at exponent `p`: `names[i]` takes `(base + step·i)^p`.\n *\n * @internal\n */\nexport function fixedPoint(\n  names: readonly string[],\n  p: number,\n  scheme: FixedPointScheme,\n): Record<string, number> {\n  const point: Record<string, number> = {};\n  names.forEach((name, i) => {\n    point[name] = Math.pow(scheme.base + scheme.step * i, p);\n  });\n  return point;\n}\n\n/** The statistic a constancy decision rests on. @internal */\nexport type RatioStatistic = 'max-rel-err' | 'cv';\n\n/** Options of {@link constantRatio}. @internal */\nexport interface ConstantRatioOptions {\n  /**\n   * `max-rel-err` (the default): the largest `|r/r0 − 1|` over the ratios,\n   * `r0` the first; the value is `r0`. `cv`: the population standard\n   * deviation over the absolute mean (`ratioSpread`); the value is the mean.\n   */\n  readonly statistic?: RatioStatistic;\n}\n\n/** Whether a list of ratios is one constant, and what it is. @internal */\nexport interface ConstantRatio {\n  /** True when the statistic is within `tolerance`. */\n  readonly constant: boolean;\n  /** The constant: the first ratio, or the mean under `cv`. */\n  readonly value: number;\n  /** The statistic: the largest relative departure, or the coefficient of variation. */\n  readonly maxRelErr: number;\n}\n\n/**\n * Decide whether `ratios` are one constant to within `tolerance`. An empty\n * list, a zero, or a non-finite ratio is never constant.\n *\n * @internal\n */\nexport function constantRatio(\n  ratios: readonly number[],\n  tolerance: number,\n  options: ConstantRatioOptions = {},\n): ConstantRatio {\n  const r0 = ratios[0];\n  if (r0 === undefined || ratios.some((r) => !Number.isFinite(r) || r === 0)) {\n    return { constant: false, value: r0 ?? Number.NaN, maxRelErr: Number.NaN };\n  }\n  if ((options.statistic ?? 'max-rel-err') === 'cv') {\n    const { mean, cv } = ratioSpread(ratios);\n    return { constant: cv < tolerance, value: mean, maxRelErr: cv };\n  }\n  const maxRelErr = Math.max(...ratios.map((r) => Math.abs((r - r0) / r0)));\n  return { constant: maxRelErr <= tolerance, value: r0, maxRelErr };\n}\n\n/** The scheme `upt derive` recovers a prefactor with. @internal */\nexport interface PrefactorRecoveryScheme extends FixedPointScheme {\n  /** The exponents sampled, one point each. */\n  readonly exponents: readonly number[];\n  readonly tolerance: number;\n  readonly statistic: RatioStatistic;\n}\n\n/** The outcome of {@link recoverMonomialPrefactor}. @internal */\nexport interface PrefactorRecovery {\n  /** True when `evaluate / monomial` is one constant over the points. */\n  readonly matches: boolean;\n  /** That constant, present only when `matches`. */\n  readonly prefactor?: number;\n  /** The ratio statistic over the points. */\n  readonly spread: number;\n}\n\n/**\n * Recover the constant in front of a monomial: evaluate the caller's formula\n * at each point of the scheme, divide by the monomial there, and ask\n * {@link constantRatio}. The formula is called with the point keyed by\n * `names`; a caller whose formula spells a name differently maps it inside\n * `evaluate`. An exponent the monomial does not state is 0.\n *\n * @internal\n */\nexport function recoverMonomialPrefactor(\n  evaluate: (point: Readonly<Record<string, number>>) => number,\n  monomial: Readonly<Record<string, number>>,\n  names: readonly string[],\n  scheme: PrefactorRecoveryScheme,\n): PrefactorRecovery {\n  const ratios = scheme.exponents.map((p) => {\n    const point = fixedPoint(names, p, scheme);\n    let candidate = 1;\n    for (const name of names) candidate *= Math.pow(point[name]!, monomial[name] ?? 0);\n    return evaluate(point) / candidate;\n  });\n  const decided = constantRatio(ratios, scheme.tolerance, { statistic: scheme.statistic });\n  return decided.constant\n    ? { matches: true, prefactor: decided.value, spread: decided.maxRelErr }\n    : { matches: false, spread: decided.maxRelErr };\n}\n"]}

package/dist/canonical/linkage.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"linkage.d.ts","sourceRoot":"","sources":["../../src/canonical/linkage.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AACH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAU5D,8CAA8C;AAC9C,MAAM,WAAW,eAAe;IAC9B,gEAAgE;IAChE,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB;kEAC8D;IAC9D,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED,uCAAuC;AACvC,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,iCAAiC;IACjC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,gEAAgE;IAChE,QAAQ,CAAC,eAAe,EAAE,OAAO,CAAC;IAClC,QAAQ,CAAC,QAAQ,EAAE,eAAe,GAAG,IAAI,CAAC;IAC1C,QAAQ,CAAC,cAAc,EACnB,oBAAoB,GACpB,UAAU,GACV,kBAAkB,GAClB,WAAW,CAAC;CACjB;AAsDD;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,GAAG,eAAe,CAmCpF;AA+CD,sDAAsD;AACtD,wBAAgB,eAAe,CAC7B,WAAW,EAAE,MAAM,EACnB,QAAQ,EAAE,MAAM,GACf,aAAa,CAsBf;AAED;;;;;;;;GAQG;AACH,wBAAgB,YAAY,IAAI,aAAa,EAAE,CAmB9C"}
+{"version":3,"file":"linkage.d.ts","sourceRoot":"","sources":["../../src/canonical/linkage.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AACH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAY5D,8CAA8C;AAC9C,MAAM,WAAW,eAAe;IAC9B,gEAAgE;IAChE,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB;kEAC8D;IAC9D,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED,uCAAuC;AACvC,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,iCAAiC;IACjC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,gEAAgE;IAChE,QAAQ,CAAC,eAAe,EAAE,OAAO,CAAC;IAClC,QAAQ,CAAC,QAAQ,EAAE,eAAe,GAAG,IAAI,CAAC;IAC1C,QAAQ,CAAC,cAAc,EACnB,oBAAoB,GACpB,UAAU,GACV,kBAAkB,GAClB,WAAW,CAAC;CACjB;AAoCD;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,GAAG,eAAe,CAgCpF;AA+CD,sDAAsD;AACtD,wBAAgB,eAAe,CAC7B,WAAW,EAAE,MAAM,EACnB,QAAQ,EAAE,MAAM,GACf,aAAa,CAsBf;AAED;;;;;;;;GAQG;AACH,wBAAgB,YAAY,IAAI,aAAa,EAAE,CAmB9C"}

package/dist/canonical/linkage.js

@@ -1,15 +1,11 @@
+import { isDimensionless } from '../dimensional/algebra.js';
 import { evalExpr } from '../composition/expr-eval.js';
-import { CONSTANTS } from '../dimensional/symbolic-constants.js';
+import { forEachScalarLeaf, isDecimalLiteral } from '../dimensional/ast-leaves.js';
+import { isRegisteredConstant } from '../dimensional/symbolic-constants.js';
 import { CANONICAL_EQUATIONS, canonicalById } from './registry.js';
 import { canonicalQuantityName, normalForm } from './normal-form.js';
 import { bridgeShapes, classifyStructure } from './structural.js';
-const isDimensionless = (d) => d.L === 0 &&
-    d.M === 0 &&
-    d.T === 0 &&
-    d.I === 0 &&
-    d.Theta === 0 &&
-    d.N === 0 &&
-    d.J === 0;
+import { FIXED_POINT_EXPONENTS, constantRatio, fixedPoint } from './fixed-points.js';
 /**
  * Collect leaves `evalExpr` can't resolve (not a registered constant, not a
  * numeric literal), split into physical `vars` (non-dimensionless — varied
@@ -17,39 +13,26 @@ const isDimensionless = (d) => d.L === 0 &&
  * constant factor "up to" which recovery is measured).
  */
 function collectLeaves(node, vars, dimless) {
-    switch (node.kind) {
-        case 'symbol':
-            if (!(node.name in CONSTANTS) && Number.isNaN(Number(node.name))) {
-                if (isDimensionless(node.dim))
-                    dimless.add(node.name);
-                else
-                    vars.set(node.name, canonicalQuantityName(node.name, node.dim));
-            }
+    forEachScalarLeaf(node, (leaf) => {
+        if (isRegisteredConstant(leaf.name) || isDecimalLiteral(leaf.name))
             return;
-        case 'op':
-            for (const a of node.args)
-                collectLeaves(a, vars, dimless);
-            return;
-        case 'transcendental':
-            collectLeaves(node.arg, vars, dimless);
-            return;
-        case 'abs':
-            collectLeaves(node.arg, vars, dimless);
-            return;
-        default:
-            return;
-    }
+        if (isDimensionless(leaf.dim))
+            dimless.add(leaf.name);
+        else
+            vars.set(leaf.name, canonicalQuantityName(leaf.name, leaf.dim));
+    }, { transcendental: true, abs: true });
 }
 /**
  * The sample points: variable `i` (in sorted canonical-name order) takes the
- * value `(1.3 + 0.7·i)^p` at exponent `p`. Each variable has its own base, so
- * the RATIOS between variables change from point to point too. One common
- * scale factor would leave every ratio such as y/x fixed, and two homogeneous
- * expressions of the same degree (`x + 2y` and `x + y`) would then pass as a
- * constant ratio at every point: a recovery that could not fail (9.0.0 audit
- * §4 C3). `canonical-compare.ts` uses the same scheme.
+ * value `(1.3 + 0.7·i)^p` at each exponent of `FIXED_POINT_EXPONENTS`. Each
+ * variable has its own base, so the RATIOS between variables change from
+ * point to point too. One common scale factor would leave every ratio such
+ * as y/x fixed, and two homogeneous expressions of the same degree
+ * (`x + 2y` and `x + y`) would then pass as a constant ratio at every point:
+ * a recovery that could not fail (9.0.0 audit §4 C3). `canonical-compare.ts`
+ * uses the same exponents on its own base.
  */
-const SAMPLE_EXPONENTS = [1, 1.3, 1.6];
+const RECOVERY_SCHEME = { base: 1.3, step: 0.7 };
 /**
  * Best-effort check that two ASTs agree up to a constant ratio.
  *
@@ -63,13 +46,12 @@ export function numericalRecovery(canon, bridge) {
     // `M` and `mass` are one quantity. They share a sample, or the ratio is a
     // float artifact of two independent draws of the same mass.
     const canonicals = [...new Set(vars.values())].sort();
-    const index = new Map(canonicals.map((n, i) => [n, i]));
     const ratios = [];
-    for (const p of SAMPLE_EXPONENTS) {
+    for (const p of FIXED_POINT_EXPONENTS) {
+        const point = fixedPoint(canonicals, p, RECOVERY_SCHEME);
         const values = {};
-        for (const [raw, canonName] of vars) {
-            values[raw] = Math.pow(1.3 + 0.7 * index.get(canonName), p);
-        }
+        for (const [raw, canonName] of vars)
+            values[raw] = point[canonName];
         // Hold unresolved dimensionless leaves fixed — recovery is "up to" them.
         for (const n of dimless)
             values[n] = 1;
@@ -89,9 +71,8 @@ export function numericalRecovery(canon, bridge) {
         }
         ratios.push(cv / bv);
     }
-    const r0 = ratios[0];
-    const maxRelErr = Math.max(...ratios.map((r) => Math.abs((r - r0) / r0)));
-    return { tested: true, maxRelErr };
+    // The recovery records the spread; the reader decides. Every ratio is finite and nonzero here.
+    return { tested: true, maxRelErr: constantRatio(ratios, 0).maxRelErr };
 }
 /**
  * The comparison core, given a canonical entry (with its pre-computed