universal-physics-tensor 9.0.0 → 11.0.0

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"}
+{"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

@@ -1,3 +1,22 @@
+/**
+ * Bridge↔canonical linkage (Sub-project B) — the "validate against standard
+ * physics" engine. For a canonical equation with a scalar-AST and a bridge with
+ * an RHS AST, it asks:
+ *   1. do they share the same dimension? (necessary)
+ *   2. are they the same relation up to dimensionless factors? (`normalForm`)
+ *   3. (best-effort) do they agree numerically up to a constant ratio?
+ *
+ * The structural half — same dimension, `normalForm`, and the F4
+ * `restatesBridge` guard — is `classifyStructure` in `structural.ts`. This
+ * module calls that function and then runs numerical recovery. A structural
+ * match is `restates-canonical` (a trivial X≡X, NOT a discovery) only when
+ * the canonical entry's `restatesBridge` actually names that bridge. A
+ * structural match the registry did NOT pre-declare is a genuine `recovers`
+ * correspondence. Numerical agreement is not a confirmation.
+ *
+ * @module canonical/linkage
+ */
+import type { ExprNode } from '../dimensional/validator.js';
 /** Best-effort numerical-recovery outcome. */
 export interface RecoveryOutcome {
     /** Both ASTs evaluated at every sample (no unresolved leaf). */
@@ -17,16 +36,22 @@ export interface LinkageResult {
     readonly recovery: RecoveryOutcome | null;
     readonly classification: 'restates-canonical' | 'recovers' | 'dimensional-only' | 'unrelated';
 }
+/**
+ * Best-effort check that two ASTs agree up to a constant ratio.
+ *
+ * @internal
+ */
+export declare function numericalRecovery(canon: ExprNode, bridge: ExprNode): RecoveryOutcome;
 /** Compare one canonical entry against one bridge. */
 export declare function classifyLinkage(canonicalId: string, bridgeId: number): LinkageResult;
 /**
  * Scan every canonical entry (with a scalar-AST) against every bridge RHS, and
  * return the non-`unrelated` results — the physicist's linkage worklist.
  *
- * Each bridge is validated and normal-formed ONCE (canonical-invariant), and
- * each canonical's normal-form is computed once per outer iteration
- * (bridge-invariant); the inner loop then only compares pre-computed strings
- * and dimensions. Reduces the per-pair AST walks (~3·C·B) to ~2·B + C.
+ * Each bridge's shape comes from the process-wide `bridgeShapes` table
+ * (validated and normal-formed once), and each canonical's normal-form is
+ * computed once per outer iteration (bridge-invariant); the inner loop then
+ * only compares pre-computed strings and dimensions.
  */
 export declare function scanLinkages(): LinkageResult[];
 //# sourceMappingURL=linkage.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"linkage.d.ts","sourceRoot":"","sources":["../../src/canonical/linkage.ts"],"names":[],"mappings":"AA6BA,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;AAsJD,sDAAsD;AACtD,wBAAgB,eAAe,CAC7B,WAAW,EAAE,MAAM,EACnB,QAAQ,EAAE,MAAM,GACf,aAAa,CAsBf;AAED;;;;;;;;GAQG;AACH,wBAAgB,YAAY,IAAI,aAAa,EAAE,CAqB9C"}
+{"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,17 +1,11 @@
-import { validate } from '../dimensional/validator.js';
+import { isDimensionless } from '../dimensional/algebra.js';
 import { evalExpr } from '../composition/expr-eval.js';
-import { CONSTANTS } from '../dimensional/symbolic-constants.js';
-import { BRIDGE_RHS_BY_ID } from '../bridges/rhs-registry.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 { 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 { bridgeShapes, classifyStructure } from './structural.js';
+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
@@ -19,32 +13,32 @@ 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 });
 }
-const SAMPLE_FACTORS = [1, 2, 3];
-/** Best-effort check that two ASTs agree up to a constant ratio. */
-function numericalRecovery(canon, bridge) {
+/**
+ * The sample points: variable `i` (in sorted canonical-name order) takes the
+ * 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 RECOVERY_SCHEME = { base: 1.3, step: 0.7 };
+/**
+ * Best-effort check that two ASTs agree up to a constant ratio.
+ *
+ * @internal
+ */
+export function numericalRecovery(canon, bridge) {
     const vars = new Map();
     const dimless = new Set();
     collectLeaves(canon, vars, dimless);
@@ -52,13 +46,12 @@ 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 s of SAMPLE_FACTORS) {
+    for (const p of FIXED_POINT_EXPONENTS) {
+        const point = fixedPoint(canonicals, p, RECOVERY_SCHEME);
         const values = {};
-        for (const [raw, canonName] of vars) {
-            values[raw] = (1.3 + 0.7 * index.get(canonName)) * s;
-        }
+        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;
@@ -78,23 +71,15 @@ 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 };
-}
-/** Validate + normal-form a bridge RHS once. */
-function precomputeBridge(rhs) {
-    const v = validate(rhs);
-    return {
-        rhs,
-        dim: v.ok ? v.inferredDimension : null,
-        normal: normalForm(rhs),
-    };
+    // 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
- * normal-form) and a pre-computed bridge. Pure: no AST re-walks except the
- * rare `numericalRecovery` that only fires on a structural match.
+ * normal-form) and a bridge's shape from the process-wide `bridgeShapes`
+ * table (validated dimension and normal-form hash, computed once). Pure: no
+ * AST re-walks except the rare `numericalRecovery` that only fires on a
+ * structural match.
  */
 function classifyAgainst(canon, canonAst, canonNormal, bridgeId, bridge) {
     const relation = classifyStructure({
@@ -130,8 +115,8 @@ function classifyAgainst(canon, canonAst, canonNormal, bridgeId, bridge) {
 /** Compare one canonical entry against one bridge. */
 export function classifyLinkage(canonicalId, bridgeId) {
     const canon = canonicalById(canonicalId);
-    const bridgeRhs = BRIDGE_RHS_BY_ID.get(bridgeId);
-    if (!canon || !bridgeRhs || !canon.scalarAst) {
+    const bridge = bridgeShapes().get(bridgeId);
+    if (!canon || !bridge || !canon.scalarAst) {
         return {
             canonicalId,
             bridgeId,
@@ -141,22 +126,20 @@ export function classifyLinkage(canonicalId, bridgeId) {
             classification: 'unrelated',
         };
     }
-    return classifyAgainst(canon, canon.scalarAst, normalForm(canon.scalarAst), bridgeId, precomputeBridge(bridgeRhs));
+    return classifyAgainst(canon, canon.scalarAst, normalForm(canon.scalarAst), bridgeId, bridge);
 }
 /**
  * Scan every canonical entry (with a scalar-AST) against every bridge RHS, and
  * return the non-`unrelated` results — the physicist's linkage worklist.
  *
- * Each bridge is validated and normal-formed ONCE (canonical-invariant), and
- * each canonical's normal-form is computed once per outer iteration
- * (bridge-invariant); the inner loop then only compares pre-computed strings
- * and dimensions. Reduces the per-pair AST walks (~3·C·B) to ~2·B + C.
+ * Each bridge's shape comes from the process-wide `bridgeShapes` table
+ * (validated and normal-formed once), and each canonical's normal-form is
+ * computed once per outer iteration (bridge-invariant); the inner loop then
+ * only compares pre-computed strings and dimensions.
  */
 export function scanLinkages() {
     const results = [];
-    const bridges = [
-        ...BRIDGE_RHS_BY_ID,
-    ].map(([id, rhs]) => [id, precomputeBridge(rhs)]);
+    const bridges = bridgeShapes();
     for (const ce of CANONICAL_EQUATIONS) {
         if (!ce.scalarAst)
             continue;

package/dist/canonical/linkage.js.map

@@ -1 +1 @@
-{"version":3,"file":"linkage.js","sourceRoot":"","sources":["../../src/canonical/linkage.ts"],"names":[],"mappings":"AAoBA,OAAO,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AACvD,OAAO,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AACvD,OAAO,EAAE,SAAS,EAAE,MAAM,sCAAsC,CAAC;AACjE,OAAO,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAE9D,OAAO,EAAE,mBAAmB,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AACnE,OAAO,EAAE,qBAAqB,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AACrE,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AA2BpD,MAAM,eAAe,GAAG,CAAC,CAAY,EAAW,EAAE,CAChD,CAAC,CAAC,CAAC,KAAK,CAAC;IACT,CAAC,CAAC,CAAC,KAAK,CAAC;IACT,CAAC,CAAC,CAAC,KAAK,CAAC;IACT,CAAC,CAAC,CAAC,KAAK,CAAC;IACT,CAAC,CAAC,KAAK,KAAK,CAAC;IACb,CAAC,CAAC,CAAC,KAAK,CAAC;IACT,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;AAEZ;;;;;GAKG;AACH,SAAS,aAAa,CACpB,IAAc,EACd,IAAyB,EACzB,OAAoB;IAEpB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,QAAQ;YACX,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,IAAI,SAAS,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;gBACjE,IAAI,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC;oBAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;;oBACjD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YACvE,CAAC;YACD,OAAO;QACT,KAAK,IAAI;YACP,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,IAAI;gBAAE,aAAa,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;YAC3D,OAAO;QACT,KAAK,gBAAgB;YACnB,aAAa,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;YACvC,OAAO;QACT,KAAK,KAAK;YACR,aAAa,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;YACvC,OAAO;QACT;YACE,OAAO;IACX,CAAC;AACH,CAAC;AAED,MAAM,cAAc,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAEjC,oEAAoE;AACpE,SAAS,iBAAiB,CAAC,KAAe,EAAE,MAAgB;IAC1D,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;IACvC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,aAAa,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IACpC,aAAa,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IACrC,0EAA0E;IAC1E,4DAA4D;IAC5D,MAAM,UAAU,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACtD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACxD,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,KAAK,MAAM,CAAC,IAAI,cAAc,EAAE,CAAC;QAC/B,MAAM,MAAM,GAA2B,EAAE,CAAC;QAC1C,KAAK,MAAM,CAAC,GAAG,EAAE,SAAS,CAAC,IAAI,IAAI,EAAE,CAAC;YACpC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,GAAG,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,SAAS,CAAE,CAAC,GAAG,CAAC,CAAC;QACxD,CAAC;QACD,yEAAyE;QACzE,KAAK,MAAM,CAAC,IAAI,OAAO;YAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QACvC,IAAI,EAAU,CAAC;QACf,IAAI,EAAU,CAAC;QACf,IAAI,CAAC;YACH,EAAE,GAAG,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;YAC7B,EAAE,GAAG,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAChC,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC;QAC3C,CAAC;QACD,uEAAuE;QACvE,sEAAsE;QACtE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;YACzE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC;QAC3C,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IACvB,CAAC;IACD,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACrB,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,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;AACrC,CAAC;AAgBD,gDAAgD;AAChD,SAAS,gBAAgB,CAAC,GAAa;IACrC,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;IACxB,OAAO;QACL,GAAG;QACH,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI;QACtC,MAAM,EAAE,UAAU,CAAC,GAAG,CAAC;KACxB,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,SAAS,eAAe,CACtB,KAAwB,EACxB,QAAkB,EAClB,WAAmB,EACnB,QAAgB,EAChB,MAAqB;IAErB,MAAM,QAAQ,GAAG,iBAAiB,CAAC;QACjC,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,GAAG;QACrC,UAAU,EAAE,WAAW;QACvB,KAAK,EAAE,MAAM,CAAC,GAAG;QACjB,QAAQ,EAAE,MAAM,CAAC,GAAG;QACpB,WAAW,EAAE,MAAM,CAAC,MAAM;QAC1B,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC;KAC3B,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,QAAQ,CAAC,eAAe,CAAC,CAAC,CAAC,iBAAiB,CAAC,QAAQ,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAE3F,IAAI,cAA+C,CAAC;IACpD,IAAI,QAAQ,CAAC,eAAe,EAAE,CAAC;QAC7B,cAAc,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,UAAU,CAAC;IACzE,CAAC;SAAM,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;QAC7B,cAAc,GAAG,kBAAkB,CAAC;IACtC,CAAC;SAAM,CAAC;QACN,cAAc,GAAG,WAAW,CAAC;IAC/B,CAAC;IAED,OAAO;QACL,WAAW,EAAE,KAAK,CAAC,EAAE;QACrB,QAAQ;QACR,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,eAAe,EAAE,QAAQ,CAAC,eAAe;QACzC,QAAQ;QACR,cAAc;KACf,CAAC;AACJ,CAAC;AAED,sDAAsD;AACtD,MAAM,UAAU,eAAe,CAC7B,WAAmB,EACnB,QAAgB;IAEhB,MAAM,KAAK,GAAG,aAAa,CAAC,WAAW,CAAC,CAAC;IACzC,MAAM,SAAS,GAAG,gBAAgB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAEjD,IAAI,CAAC,KAAK,IAAI,CAAC,SAAS,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC;QAC7C,OAAO;YACL,WAAW;YACX,QAAQ;YACR,QAAQ,EAAE,KAAK;YACf,eAAe,EAAE,KAAK;YACtB,QAAQ,EAAE,IAAI;YACd,cAAc,EAAE,WAAW;SAC5B,CAAC;IACJ,CAAC;IAED,OAAO,eAAe,CACpB,KAAK,EACL,KAAK,CAAC,SAAS,EACf,UAAU,CAAC,KAAK,CAAC,SAAS,CAAC,EAC3B,QAAQ,EACR,gBAAgB,CAAC,SAAS,CAAC,CAC5B,CAAC;AACJ,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,YAAY;IAC1B,MAAM,OAAO,GAAoB,EAAE,CAAC;IACpC,MAAM,OAAO,GAAoD;QAC/D,GAAG,gBAAgB;KACpB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,gBAAgB,CAAC,GAAG,CAAC,CAAU,CAAC,CAAC;IAE3D,KAAK,MAAM,EAAE,IAAI,mBAAmB,EAAE,CAAC;QACrC,IAAI,CAAC,EAAE,CAAC,SAAS;YAAE,SAAS;QAC5B,MAAM,WAAW,GAAG,UAAU,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;QAC7C,KAAK,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACzC,MAAM,CAAC,GAAG,eAAe,CACvB,EAAE,EACF,EAAE,CAAC,SAAS,EACZ,WAAW,EACX,QAAQ,EACR,MAAM,CACP,CAAC;YACF,IAAI,CAAC,CAAC,cAAc,KAAK,WAAW;gBAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACxD,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC"}
+{"version":3,"file":"linkage.js","sourceRoot":"","sources":["../../src/canonical/linkage.ts"],"names":[],"mappings":"AAmBA,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAC5D,OAAO,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AACvD,OAAO,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AACnF,OAAO,EAAE,oBAAoB,EAAE,MAAM,sCAAsC,CAAC;AAE5E,OAAO,EAAE,mBAAmB,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AACnE,OAAO,EAAE,qBAAqB,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AACrE,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAElE,OAAO,EAAE,qBAAqB,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AA2BrF;;;;;GAKG;AACH,SAAS,aAAa,CACpB,IAAc,EACd,IAAyB,EACzB,OAAoB;IAEpB,iBAAiB,CACf,IAAI,EACJ,CAAC,IAAI,EAAE,EAAE;QACP,IAAI,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO;QAC3E,IAAI,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC;YAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;;YACjD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IACvE,CAAC,EACD,EAAE,cAAc,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,CACpC,CAAC;AACJ,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,eAAe,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAW,CAAC;AAE1D;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAe,EAAE,MAAgB;IACjE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;IACvC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,aAAa,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IACpC,aAAa,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IACrC,0EAA0E;IAC1E,4DAA4D;IAC5D,MAAM,UAAU,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACtD,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,KAAK,MAAM,CAAC,IAAI,qBAAqB,EAAE,CAAC;QACtC,MAAM,KAAK,GAAG,UAAU,CAAC,UAAU,EAAE,CAAC,EAAE,eAAe,CAAC,CAAC;QACzD,MAAM,MAAM,GAA2B,EAAE,CAAC;QAC1C,KAAK,MAAM,CAAC,GAAG,EAAE,SAAS,CAAC,IAAI,IAAI;YAAE,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,SAAS,CAAE,CAAC;QACrE,yEAAyE;QACzE,KAAK,MAAM,CAAC,IAAI,OAAO;YAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QACvC,IAAI,EAAU,CAAC;QACf,IAAI,EAAU,CAAC;QACf,IAAI,CAAC;YACH,EAAE,GAAG,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;YAC7B,EAAE,GAAG,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAChC,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC;QAC3C,CAAC;QACD,uEAAuE;QACvE,sEAAsE;QACtE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;YACzE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC;QAC3C,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IACvB,CAAC;IACD,+FAA+F;IAC/F,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,aAAa,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;AACzE,CAAC;AAED;;;;;;GAMG;AACH,SAAS,eAAe,CACtB,KAAwB,EACxB,QAAkB,EAClB,WAAmB,EACnB,QAAgB,EAChB,MAAmB;IAEnB,MAAM,QAAQ,GAAG,iBAAiB,CAAC;QACjC,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,GAAG;QACrC,UAAU,EAAE,WAAW;QACvB,KAAK,EAAE,MAAM,CAAC,GAAG;QACjB,QAAQ,EAAE,MAAM,CAAC,GAAG;QACpB,WAAW,EAAE,MAAM,CAAC,MAAM;QAC1B,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC;KAC3B,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,QAAQ,CAAC,eAAe,CAAC,CAAC,CAAC,iBAAiB,CAAC,QAAQ,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAE3F,IAAI,cAA+C,CAAC;IACpD,IAAI,QAAQ,CAAC,eAAe,EAAE,CAAC;QAC7B,cAAc,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,UAAU,CAAC;IACzE,CAAC;SAAM,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;QAC7B,cAAc,GAAG,kBAAkB,CAAC;IACtC,CAAC;SAAM,CAAC;QACN,cAAc,GAAG,WAAW,CAAC;IAC/B,CAAC;IAED,OAAO;QACL,WAAW,EAAE,KAAK,CAAC,EAAE;QACrB,QAAQ;QACR,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,eAAe,EAAE,QAAQ,CAAC,eAAe;QACzC,QAAQ;QACR,cAAc;KACf,CAAC;AACJ,CAAC;AAED,sDAAsD;AACtD,MAAM,UAAU,eAAe,CAC7B,WAAmB,EACnB,QAAgB;IAEhB,MAAM,KAAK,GAAG,aAAa,CAAC,WAAW,CAAC,CAAC;IACzC,MAAM,MAAM,GAAG,YAAY,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAE5C,IAAI,CAAC,KAAK,IAAI,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC;QAC1C,OAAO;YACL,WAAW;YACX,QAAQ;YACR,QAAQ,EAAE,KAAK;YACf,eAAe,EAAE,KAAK;YACtB,QAAQ,EAAE,IAAI;YACd,cAAc,EAAE,WAAW;SAC5B,CAAC;IACJ,CAAC;IAED,OAAO,eAAe,CACpB,KAAK,EACL,KAAK,CAAC,SAAS,EACf,UAAU,CAAC,KAAK,CAAC,SAAS,CAAC,EAC3B,QAAQ,EACR,MAAM,CACP,CAAC;AACJ,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,YAAY;IAC1B,MAAM,OAAO,GAAoB,EAAE,CAAC;IACpC,MAAM,OAAO,GAAG,YAAY,EAAE,CAAC;IAE/B,KAAK,MAAM,EAAE,IAAI,mBAAmB,EAAE,CAAC;QACrC,IAAI,CAAC,EAAE,CAAC,SAAS;YAAE,SAAS;QAC5B,MAAM,WAAW,GAAG,UAAU,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;QAC7C,KAAK,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACzC,MAAM,CAAC,GAAG,eAAe,CACvB,EAAE,EACF,EAAE,CAAC,SAAS,EACZ,WAAW,EACX,QAAQ,EACR,MAAM,CACP,CAAC;YACF,IAAI,CAAC,CAAC,cAAc,KAAK,WAAW;gBAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACxD,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC","sourcesContent":["/**\n * Bridge↔canonical linkage (Sub-project B) — the \"validate against standard\n * physics\" engine. For a canonical equation with a scalar-AST and a bridge with\n * an RHS AST, it asks:\n *   1. do they share the same dimension? (necessary)\n *   2. are they the same relation up to dimensionless factors? (`normalForm`)\n *   3. (best-effort) do they agree numerically up to a constant ratio?\n *\n * The structural half — same dimension, `normalForm`, and the F4\n * `restatesBridge` guard — is `classifyStructure` in `structural.ts`. This\n * module calls that function and then runs numerical recovery. A structural\n * match is `restates-canonical` (a trivial X≡X, NOT a discovery) only when\n * the canonical entry's `restatesBridge` actually names that bridge. A\n * structural match the registry did NOT pre-declare is a genuine `recovers`\n * correspondence. Numerical agreement is not a confirmation.\n *\n * @module canonical/linkage\n */\nimport type { ExprNode } from '../dimensional/validator.js';\nimport { isDimensionless } from '../dimensional/algebra.js';\nimport { evalExpr } from '../composition/expr-eval.js';\nimport { forEachScalarLeaf, isDecimalLiteral } from '../dimensional/ast-leaves.js';\nimport { isRegisteredConstant } from '../dimensional/symbolic-constants.js';\nimport type { CanonicalEquation } from './canonical-equation.js';\nimport { CANONICAL_EQUATIONS, canonicalById } from './registry.js';\nimport { canonicalQuantityName, normalForm } from './normal-form.js';\nimport { bridgeShapes, classifyStructure } from './structural.js';\nimport type { BridgeShape } from './structural.js';\nimport { FIXED_POINT_EXPONENTS, constantRatio, fixedPoint } from './fixed-points.js';\n\n/** Best-effort numerical-recovery outcome. */\nexport interface RecoveryOutcome {\n  /** Both ASTs evaluated at every sample (no unresolved leaf). */\n  readonly tested: boolean;\n  /** Spread of the canonical/bridge value ratio across samples (0 ⇒ they agree\n   *  up to a single constant factor). `NaN` when not tested. */\n  readonly maxRelErr: number;\n}\n\n/** One bridge↔canonical comparison. */\nexport interface LinkageResult {\n  readonly canonicalId: string;\n  readonly bridgeId: number;\n  /** Inferred dimensions agree. */\n  readonly dimMatch: boolean;\n  /** Same relation up to dimensionless factors (`normalForm`). */\n  readonly structuralMatch: boolean;\n  readonly recovery: RecoveryOutcome | null;\n  readonly classification:\n    | 'restates-canonical'\n    | 'recovers'\n    | 'dimensional-only'\n    | 'unrelated';\n}\n\n/**\n * Collect leaves `evalExpr` can't resolve (not a registered constant, not a\n * numeric literal), split into physical `vars` (non-dimensionless — varied\n * across samples) and `dimless` (dimensionless — held fixed: they ARE the\n * constant factor \"up to\" which recovery is measured).\n */\nfunction collectLeaves(\n  node: ExprNode,\n  vars: Map<string, string>,\n  dimless: Set<string>,\n): void {\n  forEachScalarLeaf(\n    node,\n    (leaf) => {\n      if (isRegisteredConstant(leaf.name) || isDecimalLiteral(leaf.name)) return;\n      if (isDimensionless(leaf.dim)) dimless.add(leaf.name);\n      else vars.set(leaf.name, canonicalQuantityName(leaf.name, leaf.dim));\n    },\n    { transcendental: true, abs: true },\n  );\n}\n\n/**\n * The sample points: variable `i` (in sorted canonical-name order) takes the\n * value `(1.3 + 0.7·i)^p` at each exponent of `FIXED_POINT_EXPONENTS`. Each\n * variable has its own base, so the RATIOS between variables change from\n * point to point too. One common scale factor would leave every ratio such\n * as y/x fixed, and two homogeneous expressions of the same degree\n * (`x + 2y` and `x + y`) would then pass as a constant ratio at every point:\n * a recovery that could not fail (9.0.0 audit §4 C3). `canonical-compare.ts`\n * uses the same exponents on its own base.\n */\nconst RECOVERY_SCHEME = { base: 1.3, step: 0.7 } as const;\n\n/**\n * Best-effort check that two ASTs agree up to a constant ratio.\n *\n * @internal\n */\nexport function numericalRecovery(canon: ExprNode, bridge: ExprNode): RecoveryOutcome {\n  const vars = new Map<string, string>();\n  const dimless = new Set<string>();\n  collectLeaves(canon, vars, dimless);\n  collectLeaves(bridge, vars, dimless);\n  // `M` and `mass` are one quantity. They share a sample, or the ratio is a\n  // float artifact of two independent draws of the same mass.\n  const canonicals = [...new Set(vars.values())].sort();\n  const ratios: number[] = [];\n  for (const p of FIXED_POINT_EXPONENTS) {\n    const point = fixedPoint(canonicals, p, RECOVERY_SCHEME);\n    const values: Record<string, number> = {};\n    for (const [raw, canonName] of vars) values[raw] = point[canonName]!;\n    // Hold unresolved dimensionless leaves fixed — recovery is \"up to\" them.\n    for (const n of dimless) values[n] = 1;\n    let cv: number;\n    let bv: number;\n    try {\n      cv = evalExpr(canon, values);\n      bv = evalExpr(bridge, values);\n    } catch {\n      return { tested: false, maxRelErr: NaN };\n    }\n    // Guard cv===0 too: with cv===0 the ratio is 0 at every sample, so the\n    // relative-spread denominator r0===0 ⇒ NaN — a false \"tested\" result.\n    if (!Number.isFinite(cv) || !Number.isFinite(bv) || bv === 0 || cv === 0) {\n      return { tested: false, maxRelErr: NaN };\n    }\n    ratios.push(cv / bv);\n  }\n  // The recovery records the spread; the reader decides. Every ratio is finite and nonzero here.\n  return { tested: true, maxRelErr: constantRatio(ratios, 0).maxRelErr };\n}\n\n/**\n * The comparison core, given a canonical entry (with its pre-computed\n * normal-form) and a bridge's shape from the process-wide `bridgeShapes`\n * table (validated dimension and normal-form hash, computed once). Pure: no\n * AST re-walks except the rare `numericalRecovery` that only fires on a\n * structural match.\n */\nfunction classifyAgainst(\n  canon: CanonicalEquation,\n  canonAst: ExprNode,\n  canonNormal: string,\n  bridgeId: number,\n  bridge: BridgeShape,\n): LinkageResult {\n  const relation = classifyStructure({\n    left: canonAst,\n    leftDim: canon.dimensional.target.dim,\n    leftNormal: canonNormal,\n    right: bridge.rhs,\n    rightDim: bridge.dim,\n    rightNormal: bridge.normal,\n    restatesBridge: canon.restatesBridge,\n    bridgeId: String(bridgeId),\n  });\n  const recovery = relation.structuralMatch ? numericalRecovery(canonAst, bridge.rhs) : null;\n\n  let classification: LinkageResult['classification'];\n  if (relation.structuralMatch) {\n    classification = relation.restates ? 'restates-canonical' : 'recovers';\n  } else if (relation.dimMatch) {\n    classification = 'dimensional-only';\n  } else {\n    classification = 'unrelated';\n  }\n\n  return {\n    canonicalId: canon.id,\n    bridgeId,\n    dimMatch: relation.dimMatch,\n    structuralMatch: relation.structuralMatch,\n    recovery,\n    classification,\n  };\n}\n\n/** Compare one canonical entry against one bridge. */\nexport function classifyLinkage(\n  canonicalId: string,\n  bridgeId: number,\n): LinkageResult {\n  const canon = canonicalById(canonicalId);\n  const bridge = bridgeShapes().get(bridgeId);\n\n  if (!canon || !bridge || !canon.scalarAst) {\n    return {\n      canonicalId,\n      bridgeId,\n      dimMatch: false,\n      structuralMatch: false,\n      recovery: null,\n      classification: 'unrelated',\n    };\n  }\n\n  return classifyAgainst(\n    canon,\n    canon.scalarAst,\n    normalForm(canon.scalarAst),\n    bridgeId,\n    bridge,\n  );\n}\n\n/**\n * Scan every canonical entry (with a scalar-AST) against every bridge RHS, and\n * return the non-`unrelated` results — the physicist's linkage worklist.\n *\n * Each bridge's shape comes from the process-wide `bridgeShapes` table\n * (validated and normal-formed once), and each canonical's normal-form is\n * computed once per outer iteration (bridge-invariant); the inner loop then\n * only compares pre-computed strings and dimensions.\n */\nexport function scanLinkages(): LinkageResult[] {\n  const results: LinkageResult[] = [];\n  const bridges = bridgeShapes();\n\n  for (const ce of CANONICAL_EQUATIONS) {\n    if (!ce.scalarAst) continue;\n    const canonNormal = normalForm(ce.scalarAst);\n    for (const [bridgeId, bridge] of bridges) {\n      const r = classifyAgainst(\n        ce,\n        ce.scalarAst,\n        canonNormal,\n        bridgeId,\n        bridge,\n      );\n      if (r.classification !== 'unrelated') results.push(r);\n    }\n  }\n  return results;\n}\n"]}

package/dist/canonical/normal-form.d.ts

@@ -22,14 +22,6 @@
  */
 import type { ExprNode } from '../dimensional/validator.js';
 import type { Dimension } from '../dimensional/types.js';
-/**
- * A dimensionless symbol is a droppable "up to a constant" factor only when it
- * is a numeric literal (`2`, `-1`, `0.5`), a registered named constant
- * (`ln2`, `4pi`, …), or a spelled-out numeric constant (`6pi`, `ln_2_constant`).
- * Any OTHER dimensionless symbol is a stub for an unknown dimensionless quantity
- * (a parameter or a functional like `ln⟨exp(−βW)⟩`) and is structural —
- * dropping it would conflate distinct interiors.
- */
 /**
  * Bridge ASTs still spell a governing quantity with the short symbol (`T`, `M`,
  * `m_1`, `m_2`). The registry uses one name. The structural hash treats the

package/dist/canonical/normal-form.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"normal-form.d.ts","sourceRoot":"","sources":["../../src/canonical/normal-form.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAC5D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AA2BzD;;;;;;;GAOG;AACH;;;;;;;GAOG;AACH,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS,GAAG,MAAM,CAK1E;AA4CD;;;GAGG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,QAAQ,GAAG,MAAM,CA8DjD;AAED,iFAAiF;AACjF,wBAAgB,iBAAiB,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,GAAG,OAAO,CAEnE"}
+{"version":3,"file":"normal-form.d.ts","sourceRoot":"","sources":["../../src/canonical/normal-form.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAC5D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AAoBzD;;;;;;;GAOG;AACH,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS,GAAG,MAAM,CAK1E;AAoDD;;;GAGG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,QAAQ,GAAG,MAAM,CAiEjD;AAED,iFAAiF;AACjF,wBAAgB,iBAAiB,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,GAAG,OAAO,CAEnE"}