universal-physics-tensor 8.0.0 → 10.0.0

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

@@ -1 +1 @@
-{"version":3,"file":"mechanics.js","sourceRoot":"","sources":["../../../src/canonical/entries/mechanics.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,GAAG,EAAE,MAAM,mCAAmC,CAAC;AACxD,OAAO,EACL,IAAI,EACJ,QAAQ,EACR,MAAM,EACN,KAAK,EACL,YAAY,EACZ,MAAM,EACN,IAAI,EACJ,KAAK,EACL,SAAS,EACT,aAAa,GACd,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,gBAAgB,CAAC;AAElD,MAAM,QAAQ,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY;AAC5C,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa;AAC3C,MAAM,gBAAgB,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa;AACrD,MAAM,iBAAiB,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS;AACjD,MAAM,eAAe,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU;AACjD,MAAM,KAAK,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,iCAAiC;AAE/D,MAAM,CAAC,MAAM,SAAS,GAAiC;IACrD,6EAA6E;IAC7E,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE;QAChC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,YAAY,EAAE;KAC5C,EAAE;QACD,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,qBAAqB;QAC3B,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,SAAS;QACxB,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,cAAc,EAAE,YAAY,CAAC,CAAC,CAAC;QAC1E,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,gBAAgB,EAAE,eAAe,CAAC;QAChD,UAAU,EAAE,CAAC,wBAAwB,CAAC;QACtC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,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,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;KAC7B,EAAE;QACD,EAAE,EAAE,gBAAgB;QACpB,IAAI,EAAE,yBAAyB;QAC/B,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,WAAW;QAC1B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QACrE,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,+BAA+B,CAAC;QAC9C,UAAU,EAAE,CAAC,kCAAkC,CAAC;QAChD,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE;QAC/B,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,EAAE;KACpC,EAAE;QACD,EAAE,EAAE,aAAa;QACjB,IAAI,EAAE,6BAA6B;QACnC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,SAAS;QACxB,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC;QAClE,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,0BAA0B,CAAC;QACzC,UAAU,EAAE,CAAC,wBAAwB,CAAC;QACtC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,6EAA6E;IAC7E,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAC1C,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE;KACjC,EAAE;QACD,EAAE,EAAE,mBAAmB;QACvB,IAAI,EAAE,gBAAgB;QACtB,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,yBAAyB;QACxC,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QACzE,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,kBAAkB,CAAC;QACjC,UAAU,EAAE,CAAC,gCAAgC,CAAC;QAC9C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,2BAA2B,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QACrD,EAAE,IAAI,EAAE,mBAAmB,EAAE,GAAG,EAAE,iBAAiB,EAAE;QACrD,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,SAAS,EAAE;KAC7C,EAAE;QACD,EAAE,EAAE,8BAA8B;QAClC,IAAI,EAAE,2BAA2B;QACjC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,+BAA+B;QAC9C,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,mBAAmB,EAAE,iBAAiB,CAAC;YAC3C,GAAG,CAAC,GAAG,CAAC,kBAAkB,EAAE,SAAS,CAAC,EAAE,GAAG,CAAC;SAC7C,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,YAAY,CAAC;QAC3B,UAAU,EAAE,CAAC,iCAAiC,CAAC;QAC/C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,gCAAgC,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAC1D,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE;QACzB,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,EAAE;QACD,EAAE,EAAE,mCAAmC;QACvC,IAAI,EAAE,gCAAgC;QACtC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,oBAAoB;QACnC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC;YACxB,EAAE,CAAC,GAAG,EAAE;gBACN,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,gBAAgB,EAAE,IAAI,CAAC,CAAC,CAAC;gBAC1E,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC;aACjB,CAAC;SACH,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,eAAe,EAAE;QACtD,WAAW,EAAE,CAAC,kBAAkB,EAAE,4BAA4B,CAAC;QAC/D,UAAU,EAAE,CAAC,wBAAwB,CAAC;QACtC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAChC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE;QAC7B,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,MAAM,EAAE;KAClC,EAAE;QACD,EAAE,EAAE,SAAS;QACb,IAAI,EAAE,uBAAuB;QAC7B,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,SAAS;QACxB,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC;QAClE,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,mCAAmC,CAAC;QAClD,UAAU,EAAE,CAAC,gCAAgC,CAAC;QAC9C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,yBAAyB,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QACnD,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,eAAe,EAAE;QACjD,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,MAAM,EAAE;KACtC,EAAE;QACD,EAAE,EAAE,4BAA4B;QAChC,IAAI,EAAE,0BAA0B;QAChC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,yBAAyB;QACxC,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,iBAAiB,EAAE,eAAe,CAAC;YACvC,GAAG,CAAC,GAAG,CAAC,cAAc,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC;SACtC,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,UAAU,EAAE;QACjD,WAAW,EAAE,CAAC,yBAAyB,CAAC;QACxC,UAAU,EAAE,CAAC,gCAAgC,CAAC;QAC9C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,6EAA6E;IAC7E,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE;QAChC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE;QAC7B,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,EAAE;KACpC,EAAE;QACD,EAAE,EAAE,UAAU;QACd,IAAI,EAAE,kBAAkB;QACxB,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,SAAS;QACxB,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC;QACpE,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,sBAAsB,CAAC;QACrC,UAAU,EAAE,CAAC,gCAAgC,CAAC;QAC9C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,6EAA6E;IAC7E,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE;QAChC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE;QAChC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;KAChC,EAAE;QACD,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,mBAAmB;QACzB,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,eAAe;QAC9B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;YAC9D,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC;SACtB,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,yBAAyB,CAAC;QACxC,UAAU,EAAE,CAAC,gCAAgC,CAAC;QAC9C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE;QAChC,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,eAAe,EAAE;QACjD,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,MAAM,EAAE;KACtC,EAAE;QACD,EAAE,EAAE,cAAc;QAClB,IAAI,EAAE,aAAa;QACnB,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,UAAU;QACzB,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC;YACxB,GAAG,CAAC,iBAAiB,EAAE,eAAe,CAAC;YACvC,GAAG,CAAC,cAAc,EAAE,MAAM,CAAC;SAC5B,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,UAAU,EAAE;QACjD,WAAW,EAAE,CAAC,uBAAuB,CAAC;QACtC,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,+EAA+E;IAC/E,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAClC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;QAC/B,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE;KAC9B,EAAE;QACD,EAAE,EAAE,WAAW;QACf,IAAI,EAAE,8BAA8B;QACpC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,aAAa;QAC5B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC;QAChE,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,kCAAkC,CAAC;QACjD,UAAU,EAAE,CAAC,iCAAiC,CAAC;QAC/C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,gBAAgB,EAAE,EAAE;QACtD,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;QAC/B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;KAC7B,EAAE;QACD,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,mCAAmC;QACzC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,SAAS;QACxB,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC/D,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,kCAAkC,CAAC;QACjD,UAAU,EAAE,CAAC,gCAAgC,CAAC;QAC9C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,GAAG,EAAE,iBAAiB,EAAE,EAAE;QACxD,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;KAChC,EAAE;QACD,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,gCAAgC;QACtC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,WAAW;QAC1B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QACxE,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,wBAAwB,CAAC;QACvC,UAAU,EAAE,CAAC,iCAAiC,CAAC;QAC/C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE;QAC/B,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE;QAC7B,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;KAC5B,EAAE;QACD,EAAE,EAAE,YAAY;QAChB,IAAI,EAAE,0BAA0B;QAChC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,SAAS;QACxB,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;QAC5D,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,UAAU,EAAE,CAAC,gCAAgC,CAAC;QAC9C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,gFAAgF;IAChF,EAAE,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,SAAS,EAAE,EAAE;QAC/C,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,eAAe,EAAE;QACjD,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;KAC5B,EAAE;QACD,EAAE,EAAE,8BAA8B;QAClC,IAAI,EAAE,mCAAmC;QACzC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,uBAAuB;QACtC,eAAe,EAAE,aAAa;QAC9B,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,UAAU,EAAE;QACjD,WAAW,EAAE,CAAC,8BAA8B,CAAC;QAC7C,UAAU,EAAE,CAAC,gCAAgC,CAAC;QAC9C,cAAc,EAAE,EAAE;KACnB,CAAC;CACH,CAAC"}
+{"version":3,"file":"mechanics.js","sourceRoot":"","sources":["../../../src/canonical/entries/mechanics.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,GAAG,EAAE,MAAM,mCAAmC,CAAC;AACxD,OAAO,EACL,IAAI,EACJ,QAAQ,EACR,MAAM,EACN,KAAK,EACL,YAAY,EACZ,MAAM,EACN,IAAI,EACJ,KAAK,EACL,SAAS,EACT,aAAa,GACd,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,gBAAgB,CAAC;AAElD,MAAM,QAAQ,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY;AAC5C,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa;AAC3C,MAAM,gBAAgB,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa;AACrD,MAAM,iBAAiB,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS;AACjD,MAAM,eAAe,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU;AACjD,MAAM,KAAK,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,iCAAiC;AAE/D,MAAM,CAAC,MAAM,SAAS,GAAiC;IACrD,6EAA6E;IAC7E,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE;QAChC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,YAAY,EAAE;KAC5C,EAAE;QACD,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,qBAAqB;QAC3B,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,SAAS;QACxB,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,cAAc,EAAE,YAAY,CAAC,CAAC,CAAC;QAC1E,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,gBAAgB,EAAE,eAAe,CAAC;QAChD,UAAU,EAAE,CAAC,wBAAwB,CAAC;QACtC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,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,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;KAC7B,EAAE;QACD,EAAE,EAAE,gBAAgB;QACpB,IAAI,EAAE,yBAAyB;QAC/B,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,WAAW;QAC1B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QACrE,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,+BAA+B,CAAC;QAC9C,UAAU,EAAE,CAAC,kCAAkC,CAAC;QAChD,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE;QAC/B,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,EAAE;KACpC,EAAE;QACD,EAAE,EAAE,aAAa;QACjB,IAAI,EAAE,6BAA6B;QACnC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,SAAS;QACxB,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC;QAClE,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,0BAA0B,CAAC;QACzC,UAAU,EAAE,CAAC,wBAAwB,CAAC;QACtC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,6EAA6E;IAC7E,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAC1C,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE;KACjC,EAAE;QACD,EAAE,EAAE,mBAAmB;QACvB,SAAS,EAAE;YACT,KAAK,EAAE,GAAG;YACV,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,+BAA+B;YAChD,OAAO,EAAE,oEAAoE;SAC9E;QACD,IAAI,EAAE,gBAAgB;QACtB,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,yBAAyB;QACxC,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QACzE,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,kBAAkB,CAAC;QACjC,UAAU,EAAE,CAAC,gCAAgC,CAAC;QAC9C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,2BAA2B,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QACrD,EAAE,IAAI,EAAE,mBAAmB,EAAE,GAAG,EAAE,iBAAiB,EAAE;QACrD,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,SAAS,EAAE;KAC7C,EAAE;QACD,EAAE,EAAE,8BAA8B;QAClC,SAAS,EAAE;YACT,KAAK,EAAE,GAAG;YACV,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,+CAA+C;YAChE,OAAO,EAAE,sEAAsE;SAChF;QACD,IAAI,EAAE,2BAA2B;QACjC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,+BAA+B;QAC9C,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,mBAAmB,EAAE,iBAAiB,CAAC;YAC3C,GAAG,CAAC,GAAG,CAAC,kBAAkB,EAAE,SAAS,CAAC,EAAE,GAAG,CAAC;SAC7C,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,YAAY,CAAC;QAC3B,UAAU,EAAE,CAAC,iCAAiC,CAAC;QAC/C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,gCAAgC,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAC1D,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE;QACzB,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,EAAE;QACD,EAAE,EAAE,mCAAmC;QACvC,cAAc,EAAE,gIAAgI;QAChJ,KAAK,EAAE,6CAA6C;QACpD,IAAI,EAAE,gCAAgC;QACtC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,oBAAoB;QACnC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC;YACxB,EAAE,CAAC,GAAG,EAAE;gBACN,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,gBAAgB,EAAE,IAAI,CAAC,CAAC,CAAC;gBAC1E,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC;aACjB,CAAC;SACH,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,eAAe,EAAE;QACtD,WAAW,EAAE,CAAC,kBAAkB,EAAE,4BAA4B,CAAC;QAC/D,UAAU,EAAE,CAAC,wBAAwB,CAAC;QACtC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAChC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE;QAC7B,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,MAAM,EAAE;KAClC,EAAE;QACD,EAAE,EAAE,SAAS;QACb,IAAI,EAAE,uBAAuB;QAC7B,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,SAAS;QACxB,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC;QAClE,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,mCAAmC,CAAC;QAClD,UAAU,EAAE,CAAC,gCAAgC,CAAC;QAC9C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,yBAAyB,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QACnD,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,eAAe,EAAE;QACjD,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,MAAM,EAAE;KACtC,EAAE;QACD,EAAE,EAAE,4BAA4B;QAChC,SAAS,EAAE;YACT,KAAK,EAAE,GAAG;YACV,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,oCAAoC;YACrD,OAAO,EAAE,kEAAkE;SAC5E;QACD,IAAI,EAAE,0BAA0B;QAChC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,yBAAyB;QACxC,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,iBAAiB,EAAE,eAAe,CAAC;YACvC,GAAG,CAAC,GAAG,CAAC,cAAc,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC;SACtC,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,UAAU,EAAE;QACjD,WAAW,EAAE,CAAC,yBAAyB,CAAC;QACxC,UAAU,EAAE,CAAC,gCAAgC,CAAC;QAC9C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,6EAA6E;IAC7E,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE;QAChC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE;QAC7B,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,EAAE;KACpC,EAAE;QACD,EAAE,EAAE,UAAU;QACd,IAAI,EAAE,kBAAkB;QACxB,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,SAAS;QACxB,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC;QACpE,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,sBAAsB,CAAC;QACrC,UAAU,EAAE,CAAC,gCAAgC,CAAC;QAC9C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,6EAA6E;IAC7E,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE;QAChC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE;QAChC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;KAChC,EAAE;QACD,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,mBAAmB;QACzB,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,eAAe;QAC9B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;YAC9D,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC;SACtB,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,yBAAyB,CAAC;QACxC,UAAU,EAAE,CAAC,gCAAgC,CAAC;QAC9C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE;QAChC,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,eAAe,EAAE;QACjD,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,MAAM,EAAE;KACtC,EAAE;QACD,EAAE,EAAE,cAAc;QAClB,cAAc,EAAE,uGAAuG;QACvH,IAAI,EAAE,aAAa;QACnB,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,UAAU;QACzB,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC;YACxB,GAAG,CAAC,iBAAiB,EAAE,eAAe,CAAC;YACvC,GAAG,CAAC,cAAc,EAAE,MAAM,CAAC;SAC5B,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,UAAU,EAAE;QACjD,WAAW,EAAE,CAAC,uBAAuB,CAAC;QACtC,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,+EAA+E;IAC/E,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAClC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;QAC/B,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE;KAC9B,EAAE;QACD,EAAE,EAAE,WAAW;QACf,IAAI,EAAE,8BAA8B;QACpC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,aAAa;QAC5B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC;QAChE,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,kCAAkC,CAAC;QACjD,UAAU,EAAE,CAAC,iCAAiC,CAAC;QAC/C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,gBAAgB,EAAE,EAAE;QACtD,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;QAC/B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;KAC7B,EAAE;QACD,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,mCAAmC;QACzC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,SAAS;QACxB,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC/D,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,kCAAkC,CAAC;QACjD,UAAU,EAAE,CAAC,gCAAgC,CAAC;QAC9C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,GAAG,EAAE,iBAAiB,EAAE,EAAE;QACxD,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;KAChC,EAAE;QACD,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,gCAAgC;QACtC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,WAAW;QAC1B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QACxE,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,wBAAwB,CAAC;QACvC,UAAU,EAAE,CAAC,iCAAiC,CAAC;QAC/C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE;QAC/B,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE;QAC7B,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;KAC5B,EAAE;QACD,EAAE,EAAE,YAAY;QAChB,IAAI,EAAE,0BAA0B;QAChC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,SAAS;QACxB,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;QAC5D,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,UAAU,EAAE,CAAC,gCAAgC,CAAC;QAC9C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,gFAAgF;IAChF,EAAE,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,SAAS,EAAE,EAAE;QAC/C,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,eAAe,EAAE;QACjD,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;KAC5B,EAAE;QACD,EAAE,EAAE,8BAA8B;QAClC,SAAS,EAAE;YACT,KAAK,EAAE,CAAC;YACR,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,4BAA4B;YAC7C,OAAO,EAAE,yEAAyE;SACnF;QACD,KAAK,EAAE,kCAAkC;QACzC,IAAI,EAAE,mCAAmC;QACzC,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,uBAAuB;QACtC,eAAe,EAAE,aAAa;QAC9B,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,UAAU,EAAE;QACjD,WAAW,EAAE,CAAC,8BAA8B,CAAC;QAC7C,UAAU,EAAE,CAAC,gCAAgC,CAAC;QAC9C,cAAc,EAAE,EAAE;KACnB,CAAC;CACH,CAAC","sourcesContent":["/**\n * L1 (scalar-AST) canonical entries — classical mechanics. The foundational\n * laws (Newton's 2nd, mass–energy, momentum) plus the standard textbook\n * monomial mechanics laws (kinetic/potential energy, work, power, torque,\n * angular momentum, Hooke's law, impulse, SHM). Each is a unique dimensional\n * monomial (0 free groups); L0 fields are engine-derived (see `_l1-build`).\n *\n * Scope: generic, purely dimensional MONOMIAL laws (the \"only laws that\n * genuinely fit the dimensional L-layer\" bar — Adam+Eve adversarial pass,\n * 2026-06-20). Numeric prefactors (½) are recorded via `scalar-up-to-constant`;\n * √-laws (SHM) are `dimensional` with engine-derived fractional monomials, like\n * the pendulum. See docs/research/bridges-vs-canonical-map.md.\n *\n * @module canonical/entries/mechanics\n */\nimport type { CanonicalEquation } from '../canonical-equation.js';\nimport { sym } from '../../dimensional/ast-builders.js';\nimport {\n  MASS,\n  VELOCITY,\n  ENERGY,\n  FORCE,\n  ACCELERATION,\n  LENGTH,\n  TIME,\n  POWER,\n  FREQUENCY,\n  DIMENSIONLESS,\n} from '../../dimensional/types.js';\nimport { dim, op, pow, l1 } from './_l1-build.js';\n\nconst MOMENTUM = dim(1, 1, -1); // [L M T⁻¹]\nconst TORQUE = dim(2, 1, -2); // [L² M T⁻²]\nconst ANGULAR_MOMENTUM = dim(2, 1, -1); // [L² M T⁻¹]\nconst MOMENT_OF_INERTIA = dim(2, 1, 0); // [L² M]\nconst SPRING_CONSTANT = dim(0, 1, -2); // [M T⁻²]\nconst G_DIM = dim(3, -1, -2); // Newton's constant [L³ M⁻¹ T⁻²]\n\nexport const MECHANICS: readonly CanonicalEquation[] = [\n  // ── foundational ──────────────────────────────────────────────────────────\n  l1({ name: 'force', dim: FORCE }, [\n    { name: 'mass', dim: MASS },\n    { name: 'acceleration', dim: ACCELERATION },\n  ], {\n    id: 'CE-newton-second-law',\n    name: \"Newton's second law\",\n    domain: 'mechanics',\n    formula_latex: 'F = m a',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('*', [sym('mass', MASS), sym('acceleration', ACCELERATION)]),\n    regime: { scale: 'classical' },\n    assumptions: ['inertial frame', 'constant mass'],\n    references: ['Newton, Principia 1687'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'rest-energy', dim: ENERGY }, [\n    { name: 'mass', dim: MASS },\n    { name: 'c', dim: VELOCITY },\n  ], {\n    id: 'CE-mass-energy',\n    name: 'Mass–energy equivalence',\n    domain: 'mechanics',\n    formula_latex: 'E = m c^2',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('*', [sym('mass', MASS), pow(sym('c', VELOCITY), '2')]),\n    regime: { scale: 'classical' },\n    assumptions: ['rest energy of a massive body'],\n    references: ['Einstein 1905, Ann. Phys. 18:639'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'p', dim: MOMENTUM }, [\n    { name: 'mass', dim: MASS },\n    { name: 'velocity', dim: VELOCITY },\n  ], {\n    id: 'CE-momentum',\n    name: 'Momentum (non-relativistic)',\n    domain: 'mechanics',\n    formula_latex: 'p = m v',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('*', [sym('mass', MASS), sym('velocity', VELOCITY)]),\n    regime: { scale: 'classical' },\n    assumptions: ['non-relativistic (v ≪ c)'],\n    references: ['Newton, Principia 1687'],\n    partnerBridges: [],\n  }),\n  // ── energy ────────────────────────────────────────────────────────────────\n  l1({ name: 'kinetic-energy', dim: ENERGY }, [\n    { name: 'mass', dim: MASS },\n    { name: 'speed', dim: VELOCITY },\n  ], {\n    id: 'CE-kinetic-energy',\n    prefactor: {\n      value: 0.5,\n      quote: String.raw`E_\\text{k} = \\frac{1}{2} mv^2`,\n      locator: \"Wikipedia, 'Kinetic energy', revision 1370969006, wikitext line 56\",\n    },\n    name: 'Kinetic energy',\n    domain: 'mechanics',\n    formula_latex: 'K = \\\\tfrac{1}{2} m v^2',\n    epistemicStatus: 'scalar-up-to-constant',\n    scalarAst: op('*', [sym('mass', MASS), pow(sym('speed', VELOCITY), '2')]),\n    regime: { scale: 'classical' },\n    assumptions: ['non-relativistic'],\n    references: ['Taylor, Classical Mechanics §1'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'rotational-kinetic-energy', dim: ENERGY }, [\n    { name: 'moment-of-inertia', dim: MOMENT_OF_INERTIA },\n    { name: 'angular-velocity', dim: FREQUENCY },\n  ], {\n    id: 'CE-rotational-kinetic-energy',\n    prefactor: {\n      value: 0.5,\n      quote: String.raw`E_\\text{rotational} = \\tfrac{1}{2} I \\omega^2`,\n      locator: \"Wikipedia, 'Rotational energy', revision 1258577842, wikitext line 3\",\n    },\n    name: 'Rotational kinetic energy',\n    domain: 'mechanics',\n    formula_latex: 'K = \\\\tfrac{1}{2} I \\\\omega^2',\n    epistemicStatus: 'scalar-up-to-constant',\n    scalarAst: op('*', [\n      sym('moment-of-inertia', MOMENT_OF_INERTIA),\n      pow(sym('angular-velocity', FREQUENCY), '2'),\n    ]),\n    regime: { scale: 'classical' },\n    assumptions: ['rigid body'],\n    references: ['Taylor, Classical Mechanics §10'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'gravitational-potential-energy', dim: ENERGY }, [\n    { name: 'G', dim: G_DIM },\n    { name: 'mass', dim: MASS },\n    { name: 'secondary-mass', dim: MASS },\n    { name: 'r', dim: LENGTH },\n  ], {\n    id: 'CE-gravitational-potential-energy',\n    conventionNote: 'gravitational potential energy is U = −G m1 m2/r. The minus is in the scalar AST; a positive formula differs by the factor −1.',\n    holds: 'mass >= 0 and secondary-mass >= 0 and r > 0',\n    name: 'Gravitational potential energy',\n    domain: 'mechanics',\n    formula_latex: 'U = -G m_1 m_2 / r',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('*', [\n      sym('-1', DIMENSIONLESS),\n      op('/', [\n        op('*', [sym('G', G_DIM), sym('mass', MASS), sym('secondary-mass', MASS)]),\n        sym('r', LENGTH),\n      ]),\n    ]),\n    regime: { scale: 'classical', force: 'gravitational' },\n    assumptions: ['two point masses', 'zero reference at infinity'],\n    references: ['Newton, Principia 1687'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'work', dim: ENERGY }, [\n    { name: 'force', dim: FORCE },\n    { name: 'distance', dim: LENGTH },\n  ], {\n    id: 'CE-work',\n    name: 'Work (constant force)',\n    domain: 'mechanics',\n    formula_latex: 'W = F d',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('*', [sym('force', FORCE), sym('distance', LENGTH)]),\n    regime: { scale: 'classical' },\n    assumptions: ['constant force along displacement'],\n    references: ['Taylor, Classical Mechanics §4'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'spring-potential-energy', dim: ENERGY }, [\n    { name: 'spring-constant', dim: SPRING_CONSTANT },\n    { name: 'displacement', dim: LENGTH },\n  ], {\n    id: 'CE-spring-potential-energy',\n    prefactor: {\n      value: 0.5,\n      quote: String.raw`U_\\mathrm{el}(x) = \\tfrac 1 2 kx^2`,\n      locator: \"Wikipedia, 'Hooke's law', revision 1375736650, wikitext line 146\",\n    },\n    name: 'Elastic potential energy',\n    domain: 'mechanics',\n    formula_latex: 'U = \\\\tfrac{1}{2} k x^2',\n    epistemicStatus: 'scalar-up-to-constant',\n    scalarAst: op('*', [\n      sym('spring-constant', SPRING_CONSTANT),\n      pow(sym('displacement', LENGTH), '2'),\n    ]),\n    regime: { scale: 'classical', force: 'emergent' },\n    assumptions: ['Hookean (linear) spring'],\n    references: ['Taylor, Classical Mechanics §5'],\n    partnerBridges: [],\n  }),\n  // ── power ─────────────────────────────────────────────────────────────────\n  l1({ name: 'power', dim: POWER }, [\n    { name: 'force', dim: FORCE },\n    { name: 'velocity', dim: VELOCITY },\n  ], {\n    id: 'CE-power',\n    name: 'Mechanical power',\n    domain: 'mechanics',\n    formula_latex: 'P = F v',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('*', [sym('force', FORCE), sym('velocity', VELOCITY)]),\n    regime: { scale: 'classical' },\n    assumptions: ['force along velocity'],\n    references: ['Taylor, Classical Mechanics §4'],\n    partnerBridges: [],\n  }),\n  // ── force ─────────────────────────────────────────────────────────────────\n  l1({ name: 'force', dim: FORCE }, [\n    { name: 'mass', dim: MASS },\n    { name: 'speed', dim: VELOCITY },\n    { name: 'radius', dim: LENGTH },\n  ], {\n    id: 'CE-centripetal-force',\n    name: 'Centripetal force',\n    domain: 'mechanics',\n    formula_latex: 'F = m v^2 / r',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('/', [\n      op('*', [sym('mass', MASS), pow(sym('speed', VELOCITY), '2')]),\n      sym('radius', LENGTH),\n    ]),\n    regime: { scale: 'classical' },\n    assumptions: ['uniform circular motion'],\n    references: ['Taylor, Classical Mechanics §1'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'force', dim: FORCE }, [\n    { name: 'spring-constant', dim: SPRING_CONSTANT },\n    { name: 'displacement', dim: LENGTH },\n  ], {\n    id: 'CE-hooke-law',\n    conventionNote: 'Hooke\\'s law is F = −kx. The minus is in the scalar AST; a positive formula differs by the factor −1.',\n    name: \"Hooke's law\",\n    domain: 'mechanics',\n    formula_latex: 'F = -k x',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('*', [\n      sym('-1', DIMENSIONLESS),\n      sym('spring-constant', SPRING_CONSTANT),\n      sym('displacement', LENGTH),\n    ]),\n    regime: { scale: 'classical', force: 'emergent' },\n    assumptions: ['linear elastic regime'],\n    references: ['Hooke 1678'],\n    partnerBridges: [],\n  }),\n  // ── rotational + impulse ────────────────────────────────────────────────────\n  l1({ name: 'torque', dim: TORQUE }, [\n    { name: 'radius', dim: LENGTH },\n    { name: 'force', dim: FORCE },\n  ], {\n    id: 'CE-torque',\n    name: 'Torque (perpendicular force)',\n    domain: 'mechanics',\n    formula_latex: '\\\\tau = r F',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('*', [sym('radius', LENGTH), sym('force', FORCE)]),\n    regime: { scale: 'classical' },\n    assumptions: ['force perpendicular to lever arm'],\n    references: ['Taylor, Classical Mechanics §10'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'angular-momentum', dim: ANGULAR_MOMENTUM }, [\n    { name: 'radius', dim: LENGTH },\n    { name: 'p', dim: MOMENTUM },\n  ], {\n    id: 'CE-angular-momentum',\n    name: 'Angular momentum (point particle)',\n    domain: 'mechanics',\n    formula_latex: 'L = r p',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('*', [sym('radius', LENGTH), sym('p', MOMENTUM)]),\n    regime: { scale: 'classical' },\n    assumptions: ['momentum perpendicular to radius'],\n    references: ['Taylor, Classical Mechanics §3'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'moment-of-inertia', dim: MOMENT_OF_INERTIA }, [\n    { name: 'mass', dim: MASS },\n    { name: 'radius', dim: LENGTH },\n  ], {\n    id: 'CE-moment-of-inertia',\n    name: 'Moment of inertia (point mass)',\n    domain: 'mechanics',\n    formula_latex: 'I = m r^2',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('*', [sym('mass', MASS), pow(sym('radius', LENGTH), '2')]),\n    regime: { scale: 'classical' },\n    assumptions: ['point mass at radius r'],\n    references: ['Taylor, Classical Mechanics §10'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'p', dim: MOMENTUM }, [\n    { name: 'force', dim: FORCE },\n    { name: 'time', dim: TIME },\n  ], {\n    id: 'CE-impulse',\n    name: 'Impulse (constant force)',\n    domain: 'mechanics',\n    formula_latex: 'J = F t',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('*', [sym('force', FORCE), sym('time', TIME)]),\n    regime: { scale: 'classical' },\n    assumptions: ['constant force over interval t'],\n    references: ['Taylor, Classical Mechanics §1'],\n    partnerBridges: [],\n  }),\n  // ── oscillations (√-law: dimensional-only, engine-derived fractional monomial)\n  l1({ name: 'angular-velocity', dim: FREQUENCY }, [\n    { name: 'spring-constant', dim: SPRING_CONSTANT },\n    { name: 'mass', dim: MASS },\n  ], {\n    id: 'CE-simple-harmonic-frequency',\n    prefactor: {\n      value: 1,\n      quote: String.raw`\\omega = \\sqrt{\\frac k m}.`,\n      locator: \"Wikipedia, 'Harmonic oscillator', revision 1373924880, wikitext line 44\",\n    },\n    holds: 'spring-constant > 0 and mass > 0',\n    name: 'Simple-harmonic angular frequency',\n    domain: 'mechanics',\n    formula_latex: '\\\\omega = \\\\sqrt{k/m}',\n    epistemicStatus: 'dimensional',\n    regime: { scale: 'classical', force: 'emergent' },\n    assumptions: ['ideal mass–spring oscillator'],\n    references: ['Taylor, Classical Mechanics §5'],\n    partnerBridges: [],\n  }),\n];\n"]}

package/dist/canonical/entries/nonmonomial.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"nonmonomial.d.ts","sourceRoot":"","sources":["../../../src/canonical/entries/nonmonomial.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAqBlE,eAAO,MAAM,WAAW,EAAE,SAAS,iBAAiB,EAwYnD,CAAC"}
+{"version":3,"file":"nonmonomial.d.ts","sourceRoot":"","sources":["../../../src/canonical/entries/nonmonomial.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAqBlE,eAAO,MAAM,WAAW,EAAE,SAAS,iBAAiB,EA0ZnD,CAAC"}

package/dist/canonical/entries/nonmonomial.js

@@ -28,9 +28,12 @@ export const NONMONOMIAL = [
         name: 'Bernoulli equation',
         domain: 'mechanics',
         formula_latex: '\\tfrac12 \\rho v^2 + \\rho g h + P = \\text{const}',
-        epistemicStatus: 'scalar-up-to-constant', // exact form known; the ½ on the dynamic term is dropped
+        epistemicStatus: 'fully-quantitative', // P + ½ρv² + ρgh, the exact total pressure
         scalarAst: op('+', [
-            op('*', [sym('density', DENSITY), pow(sym('flow-velocity', VELOCITY), '2')]),
+            op('*', [
+                sym('0.5', DIMENSIONLESS),
+                op('*', [sym('density', DENSITY), pow(sym('flow-velocity', VELOCITY), '2')]),
+            ]),
             op('*', [
                 sym('density', DENSITY),
                 op('*', [
@@ -74,17 +77,18 @@ export const NONMONOMIAL = [
         partnerBridges: [],
     }),
     l1({ name: 'photoelectron-max-energy', dim: ENERGY }, [
-        { name: 'planck-constant', dim: PLANCK },
+        { name: 'h', dim: PLANCK },
         { name: 'photon-frequency', dim: FREQUENCY },
         { name: 'work-function', dim: ENERGY },
     ], {
         id: 'CE-photoelectric',
+        holds: 'h * photon-frequency >= work-function and work-function >= 0',
         name: 'Photoelectric equation',
         domain: 'quantum',
         formula_latex: 'K_{\\max} = h f - W',
         epistemicStatus: 'fully-quantitative', // exact: hf − W (both energy)
         scalarAst: op('-', [
-            op('*', [sym('planck-constant', PLANCK), sym('photon-frequency', FREQUENCY)]),
+            op('*', [sym('h', PLANCK), sym('photon-frequency', FREQUENCY)]),
             sym('work-function', ENERGY),
         ]),
         regime: { scale: 'quantum' },
@@ -97,6 +101,7 @@ export const NONMONOMIAL = [
         { name: 'hot-reservoir-temperature', dim: TEMPERATURE },
     ], {
         id: 'CE-carnot-efficiency',
+        holds: 'cold-reservoir-temperature >= 0 and hot-reservoir-temperature > 0 and cold-reservoir-temperature <= hot-reservoir-temperature',
         name: 'Carnot efficiency',
         domain: 'thermodynamics',
         formula_latex: '\\eta = 1 - \\tfrac{T_c}{T_h}',
@@ -116,7 +121,7 @@ export const NONMONOMIAL = [
     }),
     l1({ name: 'boltzmann-factor', dim: DIMENSIONLESS }, [
         { name: 'state-energy', dim: ENERGY },
-        { name: 'boltzmann-constant', dim: BOLTZMANN },
+        { name: 'k_B', dim: BOLTZMANN },
         { name: 'temperature', dim: TEMPERATURE },
     ], {
         id: 'CE-boltzmann-factor',
@@ -132,7 +137,7 @@ export const NONMONOMIAL = [
                 sym('-1', DIMENSIONLESS),
                 op('/', [
                     sym('state-energy', ENERGY),
-                    op('*', [sym('boltzmann-constant', BOLTZMANN), sym('temperature', TEMPERATURE)]),
+                    op('*', [sym('k_B', BOLTZMANN), sym('temperature', TEMPERATURE)]),
                 ]),
             ]),
         },
@@ -143,9 +148,10 @@ export const NONMONOMIAL = [
     }),
     l1({ name: 'lorentz-factor', dim: DIMENSIONLESS }, [
         { name: 'velocity', dim: VELOCITY },
-        { name: 'speed-of-light', dim: VELOCITY },
+        { name: 'c', dim: VELOCITY },
     ], {
         id: 'CE-lorentz-factor',
+        holds: 'abs(velocity) < c',
         name: 'Lorentz factor',
         domain: 'mechanics', // SR precedent — matches CE-mass-energy's domain
         formula_latex: '\\gamma = \\left(1 - \\tfrac{v^2}{c^2}\\right)^{-1/2}',
@@ -156,7 +162,7 @@ export const NONMONOMIAL = [
             sym('1', DIMENSIONLESS),
             op('/', [
                 pow(sym('velocity', VELOCITY), '2'),
-                pow(sym('speed-of-light', VELOCITY), '2'),
+                pow(sym('c', VELOCITY), '2'),
             ]),
         ]), '-0.5'),
         regime: { scale: 'classical' },
@@ -165,12 +171,13 @@ export const NONMONOMIAL = [
         partnerBridges: [],
     }),
     l1({ name: 'compton-wavelength-shift', dim: LENGTH }, [
-        { name: 'planck-constant', dim: PLANCK },
-        { name: 'electron-mass', dim: MASS },
-        { name: 'speed-of-light', dim: VELOCITY },
+        { name: 'h', dim: PLANCK },
+        { name: 'm_e', dim: MASS },
+        { name: 'c', dim: VELOCITY },
         { name: 'scattering-angle', dim: DIMENSIONLESS },
     ], {
         id: 'CE-compton-shift',
+        holds: 'scattering-angle >= 0 and scattering-angle <= pi',
         name: 'Compton shift',
         domain: 'quantum',
         formula_latex: '\\Delta\\lambda = \\tfrac{h}{m_e c}(1 - \\cos\\theta)',
@@ -178,8 +185,8 @@ export const NONMONOMIAL = [
         // (h/(m·c))·(1 − cos θ); the cos arg (scattering angle) is dimensionless.
         scalarAst: op('*', [
             op('/', [
-                sym('planck-constant', PLANCK),
-                op('*', [sym('electron-mass', MASS), sym('speed-of-light', VELOCITY)]),
+                sym('h', PLANCK),
+                op('*', [sym('m_e', MASS), sym('c', VELOCITY)]),
             ]),
             op('-', [
                 sym('1', DIMENSIONLESS),
@@ -192,25 +199,27 @@ export const NONMONOMIAL = [
         partnerBridges: [],
     }),
     l1({ name: 'inverse-transition-wavelength', dim: INVERSE_LENGTH }, [
-        { name: 'rydberg-constant', dim: INVERSE_LENGTH },
         { name: 'lower-level-n', dim: DIMENSIONLESS },
         { name: 'upper-level-n', dim: DIMENSIONLESS },
     ], {
         id: 'CE-rydberg-formula',
+        holds: 'isInteger(lower-level-n) and isInteger(upper-level-n) and lower-level-n >= 1 and upper-level-n > lower-level-n',
         name: 'Rydberg formula',
         domain: 'quantum',
         formula_latex: '\\tfrac{1}{\\lambda} = R\\left(\\tfrac{1}{n_1^2} - \\tfrac{1}{n_2^2}\\right)',
         epistemicStatus: 'fully-quantitative', // exact closed form
-        // R·(1/n1² − 1/n2²); both level numbers are dimensionless integer counts.
+        // R∞·(1/n1² − 1/n2²); both level numbers are dimensionless integer counts. R∞ is the
+        // registered constant (infinite nuclear mass); the reduced-mass R_M is not applied
+        // (the owner's decision of 2026-10-09: a constant is never an input).
         scalarAst: op('*', [
-            sym('rydberg-constant', INVERSE_LENGTH),
+            sym('R_inf', INVERSE_LENGTH),
             op('-', [
                 pow(sym('lower-level-n', DIMENSIONLESS), '-2'),
                 pow(sym('upper-level-n', DIMENSIONLESS), '-2'),
             ]),
         ]),
         regime: { scale: 'quantum' },
-        assumptions: ['hydrogen-like atom', 'bound-state transition'],
+        assumptions: ['hydrogen-like atom', 'bound-state transition', 'infinite nuclear mass (R∞; no reduced-mass correction)'],
         references: ['Rydberg 1890 / Balmer 1885'],
         partnerBridges: [],
     }),
@@ -220,6 +229,7 @@ export const NONMONOMIAL = [
         { name: 'angle-of-refraction', dim: DIMENSIONLESS },
     ], {
         id: 'CE-snell-law',
+        holds: 'incident-index > 0 and angle-of-incidence >= 0 and angle-of-incidence <= pi / 2 and angle-of-refraction > 0 and angle-of-refraction <= pi / 2',
         name: "Snell's law",
         domain: 'electromagnetism', // optics
         formula_latex: 'n_2 = n_1 \\sin\\theta_1 / \\sin\\theta_2', // solved for n2
@@ -242,6 +252,7 @@ export const NONMONOMIAL = [
         { name: 'polarization-angle', dim: DIMENSIONLESS },
     ], {
         id: 'CE-malus-law',
+        holds: 'incident-intensity >= 0',
         name: "Malus's law",
         domain: 'electromagnetism',
         formula_latex: 'I = I_0 \\cos^2\\theta',
@@ -269,7 +280,7 @@ export const NONMONOMIAL = [
         id: 'CE-first-law-thermodynamics',
         name: 'First law of thermodynamics',
         domain: 'thermodynamics',
-        formula_latex: '\Delta U = Q - W',
+        formula_latex: '\\Delta U = Q - W',
         epistemicStatus: 'fully-quantitative',
         // A genuine DIFFERENCE of two same-dimensioned terms: dimensional
         // analysis alone cannot pin it (three energies), so the engine reports
@@ -287,16 +298,17 @@ export const NONMONOMIAL = [
         partnerBridges: [],
     }),
     l1({ name: 'boltzmann-entropy', dim: BOLTZMANN }, [
-        { name: 'boltzmann-constant', dim: BOLTZMANN },
+        { name: 'k_B', dim: BOLTZMANN },
         { name: 'microstate-count', dim: DIMENSIONLESS },
     ], {
         id: 'CE-boltzmann-entropy',
+        holds: 'microstate-count >= 1',
         name: 'Boltzmann entropy',
         domain: 'statistical',
         formula_latex: 'S = k_B \ln W',
         epistemicStatus: 'fully-quantitative', // exact closed form
         scalarAst: op('*', [
-            sym('boltzmann-constant', BOLTZMANN),
+            sym('k_B', BOLTZMANN),
             {
                 kind: 'transcendental',
                 fn: 'ln',
@@ -314,11 +326,17 @@ export const NONMONOMIAL = [
         { name: 'deviation-from-mean', dim: LENGTH },
     ], {
         id: 'CE-normal-distribution',
+        prefactor: {
+            value: 1 / Math.sqrt(2 * Math.PI),
+            quote: String.raw `\frac{1}{\sqrt{2\pi\sigma^2}} e^{-\frac{(x - \mu)^2}{2\sigma^2}}`,
+            locator: "Wikipedia, 'Normal distribution', revision 1376230387, wikitext line 14",
+        },
         name: 'Normal (Gaussian) distribution',
         domain: 'statistical',
-        formula_latex: 'p(x) = \frac{1}{\sigma\sqrt{2\pi}} e^{-(x-\mu)^2 / 2\sigma^2}',
-        // The 1/√(2π) normalisation is a pure numeric prefactor, recorded the way
-        // the other prefactors in this registry are.
+        formula_latex: 'p(x) = \\frac{1}{\\sigma\\sqrt{2\\pi}} e^{-(x-\\mu)^2 / 2\\sigma^2}',
+        // The 1/√(2π) normalisation is the sourced prefactor above. The ½ in the
+        // exponent is NOT a prefactor: e^{-u²/(2σ²)} and e^{-u²/σ²} are different
+        // functions, so the 2 stays inside the AST.
         epistemicStatus: 'scalar-up-to-constant',
         scalarAst: op('/', [
             {
@@ -328,7 +346,7 @@ export const NONMONOMIAL = [
                     sym('-1', DIMENSIONLESS),
                     op('/', [
                         pow(sym('deviation-from-mean', LENGTH), '2'),
-                        pow(sym('standard-deviation', LENGTH), '2'),
+                        op('*', [sym('2', DIMENSIONLESS), pow(sym('standard-deviation', LENGTH), '2')]),
                     ]),
                 ]),
             },

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

@@ -1 +1 @@
-{"version":3,"file":"nonmonomial.js","sourceRoot":"","sources":["../../../src/canonical/entries/nonmonomial.ts"],"names":[],"mappings":"AAwBA,OAAO,EAAE,GAAG,EAAE,MAAM,mCAAmC,CAAC;AACxD,OAAO,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,4BAA4B,CAAC;AACjE,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,gBAAgB,CAAC;AAElD,MAAM,QAAQ,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACtC,MAAM,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACpC,MAAM,QAAQ,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACrC,MAAM,YAAY,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACzC,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAClC,MAAM,cAAc,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAC3C,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACnC,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACnC,MAAM,SAAS,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACtC,MAAM,WAAW,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACvC,MAAM,SAAS,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AACvC,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAChC,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAClC,MAAM,cAAc,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAC3C,MAAM,SAAS,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAEtC,MAAM,CAAC,MAAM,WAAW,GAAiC;IACvD,EAAE,CACA,EAAE,IAAI,EAAE,0BAA0B,EAAE,GAAG,EAAE,QAAQ,EAAE,EACnD;QACE,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE;QACjC,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,QAAQ,EAAE;QACxC,EAAE,IAAI,EAAE,4BAA4B,EAAE,GAAG,EAAE,YAAY,EAAE;QACzD,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;QAC/B,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,QAAQ,EAAE;KAC3C,EACD;QACE,EAAE,EAAE,cAAc;QAClB,IAAI,EAAE,oBAAoB;QAC1B,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,qDAAqD;QACpE,eAAe,EAAE,uBAAuB,EAAE,yDAAyD;QACnG,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,eAAe,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;YAC5E,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC;gBACvB,EAAE,CAAC,GAAG,EAAE;oBACN,GAAG,CAAC,4BAA4B,EAAE,YAAY,CAAC;oBAC/C,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC;iBACtB,CAAC;aACH,CAAC;YACF,GAAG,CAAC,iBAAiB,EAAE,QAAQ,CAAC;SACjC,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,gBAAgB,EAAE,UAAU,EAAE,gCAAgC,CAAC;QAC7E,UAAU,EAAE,CAAC,8BAA8B,CAAC;QAC5C,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,aAAa,EAAE,EAChD;QACE,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,aAAa,EAAE;QAC9C,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,cAAc,EAAE;QAC/C,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,IAAI,EAAE;KACpC,EACD;QACE,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,uBAAuB;QAC7B,MAAM,EAAE,SAAS,EAAE,gCAAgC;QACnD,aAAa,EAAE,yBAAyB;QACxC,eAAe,EAAE,oBAAoB,EAAE,2CAA2C;QAClF,2EAA2E;QAC3E,2EAA2E;QAC3E,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,gBAAgB,EAAE,aAAa,CAAC;YACpC;gBACE,IAAI,EAAE,gBAAgB;gBACtB,EAAE,EAAE,KAAK;gBACT,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE;oBACX,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC;oBACxB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,gBAAgB,EAAE,cAAc,CAAC,EAAE,GAAG,CAAC,cAAc,EAAE,IAAI,CAAC,CAAC,CAAC;iBAC5E,CAAC;aACH;SACF,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;QAC5B,WAAW,EAAE,CAAC,mBAAmB,EAAE,2BAA2B,CAAC;QAC/D,UAAU,EAAE,CAAC,yBAAyB,CAAC;QACvC,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,0BAA0B,EAAE,GAAG,EAAE,MAAM,EAAE,EACjD;QACE,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,MAAM,EAAE;QACxC,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,SAAS,EAAE;QAC5C,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,MAAM,EAAE;KACvC,EACD;QACE,EAAE,EAAE,kBAAkB;QACtB,IAAI,EAAE,wBAAwB;QAC9B,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,qBAAqB;QACpC,eAAe,EAAE,oBAAoB,EAAE,8BAA8B;QACrE,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,iBAAiB,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,kBAAkB,EAAE,SAAS,CAAC,CAAC,CAAC;YAC7E,GAAG,CAAC,eAAe,EAAE,MAAM,CAAC;SAC7B,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;QAC5B,WAAW,EAAE,CAAC,0BAA0B,EAAE,0BAA0B,CAAC;QACrE,UAAU,EAAE,CAAC,iCAAiC,CAAC;QAC/C,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,mBAAmB,EAAE,GAAG,EAAE,aAAa,EAAE,EACjD;QACE,EAAE,IAAI,EAAE,4BAA4B,EAAE,GAAG,EAAE,WAAW,EAAE;QACxD,EAAE,IAAI,EAAE,2BAA2B,EAAE,GAAG,EAAE,WAAW,EAAE;KACxD,EACD;QACE,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,mBAAmB;QACzB,MAAM,EAAE,gBAAgB;QACxB,aAAa,EAAE,+BAA+B;QAC9C,eAAe,EAAE,oBAAoB,EAAE,mBAAmB;QAC1D,4DAA4D;QAC5D,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;YACvB,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,4BAA4B,EAAE,WAAW,CAAC;gBAC9C,GAAG,CAAC,2BAA2B,EAAE,WAAW,CAAC;aAC9C,CAAC;SACH,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,kBAAkB,EAAE,qBAAqB,CAAC;QACxD,UAAU,EAAE,CAAC,wDAAwD,CAAC;QACtE,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,aAAa,EAAE,EAChD;QACE,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,MAAM,EAAE;QACrC,EAAE,IAAI,EAAE,oBAAoB,EAAE,GAAG,EAAE,SAAS,EAAE;QAC9C,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE;KAC1C,EACD;QACE,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,kBAAkB;QACxB,MAAM,EAAE,aAAa;QACrB,aAAa,EAAE,cAAc;QAC7B,eAAe,EAAE,oBAAoB,EAAE,oBAAoB;QAC3D,sEAAsE;QACtE,SAAS,EAAE;YACT,IAAI,EAAE,gBAAgB;YACtB,EAAE,EAAE,KAAK;YACT,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE;gBACX,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC;gBACxB,EAAE,CAAC,GAAG,EAAE;oBACN,GAAG,CAAC,cAAc,EAAE,MAAM,CAAC;oBAC3B,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,oBAAoB,EAAE,SAAS,CAAC,EAAE,GAAG,CAAC,aAAa,EAAE,WAAW,CAAC,CAAC,CAAC;iBACjF,CAAC;aACH,CAAC;SACH;QACD,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,oBAAoB,EAAE,qBAAqB,CAAC;QAC1D,UAAU,EAAE,CAAC,kCAAkC,CAAC;QAChD,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,aAAa,EAAE,EAC9C;QACE,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,EAAE;QACnC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,QAAQ,EAAE;KAC1C,EACD;QACE,EAAE,EAAE,mBAAmB;QACvB,IAAI,EAAE,gBAAgB;QACtB,MAAM,EAAE,WAAW,EAAE,iDAAiD;QACtE,aAAa,EAAE,uDAAuD;QACtE,eAAe,EAAE,oBAAoB,EAAE,oBAAoB;QAC3D,0EAA0E;QAC1E,mEAAmE;QACnE,SAAS,EAAE,GAAG,CACZ,EAAE,CAAC,GAAG,EAAE;YACN,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;YACvB,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,GAAG,CAAC,UAAU,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC;gBACnC,GAAG,CAAC,GAAG,CAAC,gBAAgB,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC;aAC1C,CAAC;SACH,CAAC,EACF,MAAM,CACP;QACD,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,oBAAoB,EAAE,iBAAiB,CAAC;QACtD,UAAU,EAAE,CAAC,iCAAiC,CAAC;QAC/C,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,0BAA0B,EAAE,GAAG,EAAE,MAAM,EAAE,EACjD;QACE,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,MAAM,EAAE;QACxC,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,IAAI,EAAE;QACpC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,QAAQ,EAAE;QACzC,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,aAAa,EAAE;KACjD,EACD;QACE,EAAE,EAAE,kBAAkB;QACtB,IAAI,EAAE,eAAe;QACrB,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,uDAAuD;QACtE,eAAe,EAAE,oBAAoB,EAAE,oBAAoB;QAC3D,0EAA0E;QAC1E,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,iBAAiB,EAAE,MAAM,CAAC;gBAC9B,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,eAAe,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,gBAAgB,EAAE,QAAQ,CAAC,CAAC,CAAC;aACvE,CAAC;YACF,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;gBACvB,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,kBAAkB,EAAE,aAAa,CAAC,EAAE;aACnF,CAAC;SACH,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;QAC5B,WAAW,EAAE,CAAC,oCAAoC,EAAE,uBAAuB,CAAC;QAC5E,UAAU,EAAE,CAAC,gCAAgC,CAAC;QAC9C,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,+BAA+B,EAAE,GAAG,EAAE,cAAc,EAAE,EAC9D;QACE,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,cAAc,EAAE;QACjD,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,aAAa,EAAE;QAC7C,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,aAAa,EAAE;KAC9C,EACD;QACE,EAAE,EAAE,oBAAoB;QACxB,IAAI,EAAE,iBAAiB;QACvB,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,8EAA8E;QAC7F,eAAe,EAAE,oBAAoB,EAAE,oBAAoB;QAC3D,0EAA0E;QAC1E,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,kBAAkB,EAAE,cAAc,CAAC;YACvC,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,GAAG,CAAC,eAAe,EAAE,aAAa,CAAC,EAAE,IAAI,CAAC;gBAC9C,GAAG,CAAC,GAAG,CAAC,eAAe,EAAE,aAAa,CAAC,EAAE,IAAI,CAAC;aAC/C,CAAC;SACH,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;QAC5B,WAAW,EAAE,CAAC,oBAAoB,EAAE,wBAAwB,CAAC;QAC7D,UAAU,EAAE,CAAC,4BAA4B,CAAC;QAC1C,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,aAAa,EAAE,EAC/C;QACE,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,aAAa,EAAE;QAC9C,EAAE,IAAI,EAAE,oBAAoB,EAAE,GAAG,EAAE,aAAa,EAAE;QAClD,EAAE,IAAI,EAAE,qBAAqB,EAAE,GAAG,EAAE,aAAa,EAAE;KACpD,EACD;QACE,EAAE,EAAE,cAAc;QAClB,IAAI,EAAE,aAAa;QACnB,MAAM,EAAE,kBAAkB,EAAE,SAAS;QACrC,aAAa,EAAE,2CAA2C,EAAE,gBAAgB;QAC5E,eAAe,EAAE,oBAAoB,EAAE,oBAAoB;QAC3D,qDAAqD;QACrD,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,gBAAgB,EAAE,aAAa,CAAC;gBACpC,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,oBAAoB,EAAE,aAAa,CAAC,EAAE;aACrF,CAAC;YACF,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,qBAAqB,EAAE,aAAa,CAAC,EAAE;SACtF,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,kBAAkB,EAAE,0CAA0C,CAAC;QAC7E,UAAU,EAAE,CAAC,6BAA6B,CAAC;QAC3C,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,uBAAuB,EAAE,GAAG,EAAE,SAAS,EAAE,EACjD;QACE,EAAE,IAAI,EAAE,oBAAoB,EAAE,GAAG,EAAE,SAAS,EAAE;QAC9C,EAAE,IAAI,EAAE,oBAAoB,EAAE,GAAG,EAAE,aAAa,EAAE;KACnD,EACD;QACE,EAAE,EAAE,cAAc;QAClB,IAAI,EAAE,aAAa;QACnB,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,wBAAwB;QACvC,eAAe,EAAE,oBAAoB,EAAE,oBAAoB;QAC3D,qDAAqD;QACrD,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,oBAAoB,EAAE,SAAS,CAAC;YACpC,GAAG,CACD,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,oBAAoB,EAAE,aAAa,CAAC,EAAE,EACpF,GAAG,CACJ;SACF,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,wBAAwB,EAAE,4CAA4C,CAAC;QACrF,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,cAAc,EAAE,EAAE;KACnB,CACF;IACD,6EAA6E;IAC7E,6EAA6E;IAC7E,2EAA2E;IAC3E,qEAAqE;IACrE,6EAA6E;IAC7E,iBAAiB;IACjB,EAAE,CACA,EAAE,IAAI,EAAE,wBAAwB,EAAE,GAAG,EAAE,MAAM,EAAE,EAC/C;QACE,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,MAAM,EAAE;QACnC,EAAE,IAAI,EAAE,qBAAqB,EAAE,GAAG,EAAE,MAAM,EAAE;KAC7C,EACD;QACE,EAAE,EAAE,6BAA6B;QACjC,IAAI,EAAE,6BAA6B;QACnC,MAAM,EAAE,gBAAgB;QACxB,aAAa,EAAE,kBAAkB;QACjC,eAAe,EAAE,oBAAoB;QACrC,kEAAkE;QAClE,uEAAuE;QACvE,6DAA6D;QAC7D,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,YAAY,EAAE,MAAM,CAAC;YACzB,GAAG,CAAC,qBAAqB,EAAE,MAAM,CAAC;SACnC,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE;YACX,eAAe;YACf,0DAA0D;SAC3D;QACD,UAAU,EAAE,CAAC,eAAe,EAAE,wBAAwB,CAAC;QACvD,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,mBAAmB,EAAE,GAAG,EAAE,SAAS,EAAE,EAC7C;QACE,EAAE,IAAI,EAAE,oBAAoB,EAAE,GAAG,EAAE,SAAS,EAAE;QAC9C,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,aAAa,EAAE;KACjD,EACD;QACE,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,mBAAmB;QACzB,MAAM,EAAE,aAAa;QACrB,aAAa,EAAE,eAAe;QAC9B,eAAe,EAAE,oBAAoB,EAAE,oBAAoB;QAC3D,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,oBAAoB,EAAE,SAAS,CAAC;YACpC;gBACE,IAAI,EAAE,gBAAgB;gBACtB,EAAE,EAAE,IAAI;gBACR,GAAG,EAAE,GAAG,CAAC,kBAAkB,EAAE,aAAa,CAAC;aAC5C;SACF,CAAC;QACF,KAAK,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE;QACvB,MAAM,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE;QAC/B,WAAW,EAAE,CAAC,yBAAyB,EAAE,0BAA0B,CAAC;QACpE,UAAU,EAAE,CAAC,kCAAkC,EAAE,aAAa,CAAC;QAC/D,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,4BAA4B,EAAE,GAAG,EAAE,cAAc,EAAE,EAC3D;QACE,EAAE,IAAI,EAAE,oBAAoB,EAAE,GAAG,EAAE,MAAM,EAAE;QAC3C,EAAE,IAAI,EAAE,qBAAqB,EAAE,GAAG,EAAE,MAAM,EAAE;KAC7C,EACD;QACE,EAAE,EAAE,wBAAwB;QAC5B,IAAI,EAAE,gCAAgC;QACtC,MAAM,EAAE,aAAa;QACrB,aAAa,EACX,+DAA+D;QACjE,0EAA0E;QAC1E,6CAA6C;QAC7C,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB;gBACE,IAAI,EAAE,gBAAgB;gBACtB,EAAE,EAAE,KAAK;gBACT,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE;oBACX,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC;oBACxB,EAAE,CAAC,GAAG,EAAE;wBACN,GAAG,CAAC,GAAG,CAAC,qBAAqB,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC;wBAC5C,GAAG,CAAC,GAAG,CAAC,oBAAoB,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC;qBAC5C,CAAC;iBACH,CAAC;aACH;YACD,GAAG,CAAC,oBAAoB,EAAE,MAAM,CAAC;SAClC,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE;YACX,WAAW;YACX,uEAAuE;YACvE,uEAAuE;YACvE,oEAAoE;YACpE,wEAAwE;YACxE,6DAA6D;SAC9D;QACD,UAAU,EAAE;YACV,0BAA0B;YAC1B,kDAAkD;SACnD;QACD,cAAc,EAAE,EAAE;KACnB,CACF;CACF,CAAC"}
+{"version":3,"file":"nonmonomial.js","sourceRoot":"","sources":["../../../src/canonical/entries/nonmonomial.ts"],"names":[],"mappings":"AAwBA,OAAO,EAAE,GAAG,EAAE,MAAM,mCAAmC,CAAC;AACxD,OAAO,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,4BAA4B,CAAC;AACjE,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,gBAAgB,CAAC;AAElD,MAAM,QAAQ,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACtC,MAAM,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACpC,MAAM,QAAQ,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACrC,MAAM,YAAY,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACzC,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAClC,MAAM,cAAc,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAC3C,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACnC,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACnC,MAAM,SAAS,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACtC,MAAM,WAAW,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AACvC,MAAM,SAAS,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AACvC,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAChC,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAClC,MAAM,cAAc,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAC3C,MAAM,SAAS,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAEtC,MAAM,CAAC,MAAM,WAAW,GAAiC;IACvD,EAAE,CACA,EAAE,IAAI,EAAE,0BAA0B,EAAE,GAAG,EAAE,QAAQ,EAAE,EACnD;QACE,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE;QACjC,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,QAAQ,EAAE;QACxC,EAAE,IAAI,EAAE,4BAA4B,EAAE,GAAG,EAAE,YAAY,EAAE;QACzD,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;QAC/B,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,QAAQ,EAAE;KAC3C,EACD;QACE,EAAE,EAAE,cAAc;QAClB,IAAI,EAAE,oBAAoB;QAC1B,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,qDAAqD;QACpE,eAAe,EAAE,oBAAoB,EAAE,2CAA2C;QAClF,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;gBACzB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,eAAe,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;aAC7E,CAAC;YACF,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC;gBACvB,EAAE,CAAC,GAAG,EAAE;oBACN,GAAG,CAAC,4BAA4B,EAAE,YAAY,CAAC;oBAC/C,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC;iBACtB,CAAC;aACH,CAAC;YACF,GAAG,CAAC,iBAAiB,EAAE,QAAQ,CAAC;SACjC,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,gBAAgB,EAAE,UAAU,EAAE,gCAAgC,CAAC;QAC7E,UAAU,EAAE,CAAC,8BAA8B,CAAC;QAC5C,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,aAAa,EAAE,EAChD;QACE,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,aAAa,EAAE;QAC9C,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,cAAc,EAAE;QAC/C,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,IAAI,EAAE;KACpC,EACD;QACE,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,uBAAuB;QAC7B,MAAM,EAAE,SAAS,EAAE,gCAAgC;QACnD,aAAa,EAAE,yBAAyB;QACxC,eAAe,EAAE,oBAAoB,EAAE,2CAA2C;QAClF,2EAA2E;QAC3E,2EAA2E;QAC3E,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,gBAAgB,EAAE,aAAa,CAAC;YACpC;gBACE,IAAI,EAAE,gBAAgB;gBACtB,EAAE,EAAE,KAAK;gBACT,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE;oBACX,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC;oBACxB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,gBAAgB,EAAE,cAAc,CAAC,EAAE,GAAG,CAAC,cAAc,EAAE,IAAI,CAAC,CAAC,CAAC;iBAC5E,CAAC;aACH;SACF,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;QAC5B,WAAW,EAAE,CAAC,mBAAmB,EAAE,2BAA2B,CAAC;QAC/D,UAAU,EAAE,CAAC,yBAAyB,CAAC;QACvC,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,0BAA0B,EAAE,GAAG,EAAE,MAAM,EAAE,EACjD;QACE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;QAC1B,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,SAAS,EAAE;QAC5C,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,MAAM,EAAE;KACvC,EACD;QACE,EAAE,EAAE,kBAAkB;QACtB,KAAK,EAAE,8DAA8D;QACrE,IAAI,EAAE,wBAAwB;QAC9B,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,qBAAqB;QACpC,eAAe,EAAE,oBAAoB,EAAE,8BAA8B;QACrE,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,kBAAkB,EAAE,SAAS,CAAC,CAAC,CAAC;YAC/D,GAAG,CAAC,eAAe,EAAE,MAAM,CAAC;SAC7B,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;QAC5B,WAAW,EAAE,CAAC,0BAA0B,EAAE,0BAA0B,CAAC;QACrE,UAAU,EAAE,CAAC,iCAAiC,CAAC;QAC/C,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,mBAAmB,EAAE,GAAG,EAAE,aAAa,EAAE,EACjD;QACE,EAAE,IAAI,EAAE,4BAA4B,EAAE,GAAG,EAAE,WAAW,EAAE;QACxD,EAAE,IAAI,EAAE,2BAA2B,EAAE,GAAG,EAAE,WAAW,EAAE;KACxD,EACD;QACE,EAAE,EAAE,sBAAsB;QAC1B,KAAK,EAAE,+HAA+H;QACtI,IAAI,EAAE,mBAAmB;QACzB,MAAM,EAAE,gBAAgB;QACxB,aAAa,EAAE,+BAA+B;QAC9C,eAAe,EAAE,oBAAoB,EAAE,mBAAmB;QAC1D,4DAA4D;QAC5D,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;YACvB,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,4BAA4B,EAAE,WAAW,CAAC;gBAC9C,GAAG,CAAC,2BAA2B,EAAE,WAAW,CAAC;aAC9C,CAAC;SACH,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,kBAAkB,EAAE,qBAAqB,CAAC;QACxD,UAAU,EAAE,CAAC,wDAAwD,CAAC;QACtE,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,aAAa,EAAE,EAChD;QACE,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,MAAM,EAAE;QACrC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,SAAS,EAAE;QAC/B,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,WAAW,EAAE;KAC1C,EACD;QACE,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,kBAAkB;QACxB,MAAM,EAAE,aAAa;QACrB,aAAa,EAAE,cAAc;QAC7B,eAAe,EAAE,oBAAoB,EAAE,oBAAoB;QAC3D,sEAAsE;QACtE,SAAS,EAAE;YACT,IAAI,EAAE,gBAAgB;YACtB,EAAE,EAAE,KAAK;YACT,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE;gBACX,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC;gBACxB,EAAE,CAAC,GAAG,EAAE;oBACN,GAAG,CAAC,cAAc,EAAE,MAAM,CAAC;oBAC3B,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,GAAG,CAAC,aAAa,EAAE,WAAW,CAAC,CAAC,CAAC;iBAClE,CAAC;aACH,CAAC;SACH;QACD,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,oBAAoB,EAAE,qBAAqB,CAAC;QAC1D,UAAU,EAAE,CAAC,kCAAkC,CAAC;QAChD,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,aAAa,EAAE,EAC9C;QACE,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,QAAQ,EAAE;QACnC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;KAC7B,EACD;QACE,EAAE,EAAE,mBAAmB;QACvB,KAAK,EAAE,mBAAmB;QAC1B,IAAI,EAAE,gBAAgB;QACtB,MAAM,EAAE,WAAW,EAAE,iDAAiD;QACtE,aAAa,EAAE,uDAAuD;QACtE,eAAe,EAAE,oBAAoB,EAAE,oBAAoB;QAC3D,0EAA0E;QAC1E,mEAAmE;QACnE,SAAS,EAAE,GAAG,CACZ,EAAE,CAAC,GAAG,EAAE;YACN,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;YACvB,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,GAAG,CAAC,UAAU,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC;gBACnC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC;aAC7B,CAAC;SACH,CAAC,EACF,MAAM,CACP;QACD,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,oBAAoB,EAAE,iBAAiB,CAAC;QACtD,UAAU,EAAE,CAAC,iCAAiC,CAAC;QAC/C,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,0BAA0B,EAAE,GAAG,EAAE,MAAM,EAAE,EACjD;QACE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;QAC1B,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE;QAC1B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;QAC5B,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,aAAa,EAAE;KACjD,EACD;QACE,EAAE,EAAE,kBAAkB;QACtB,KAAK,EAAE,kDAAkD;QACzD,IAAI,EAAE,eAAe;QACrB,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,uDAAuD;QACtE,eAAe,EAAE,oBAAoB,EAAE,oBAAoB;QAC3D,0EAA0E;QAC1E,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC;gBAChB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC;aAChD,CAAC;YACF,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;gBACvB,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,kBAAkB,EAAE,aAAa,CAAC,EAAE;aACnF,CAAC;SACH,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;QAC5B,WAAW,EAAE,CAAC,oCAAoC,EAAE,uBAAuB,CAAC;QAC5E,UAAU,EAAE,CAAC,gCAAgC,CAAC;QAC9C,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,+BAA+B,EAAE,GAAG,EAAE,cAAc,EAAE,EAC9D;QACE,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,aAAa,EAAE;QAC7C,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,aAAa,EAAE;KAC9C,EACD;QACE,EAAE,EAAE,oBAAoB;QACxB,KAAK,EAAE,gHAAgH;QACvH,IAAI,EAAE,iBAAiB;QACvB,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,8EAA8E;QAC7F,eAAe,EAAE,oBAAoB,EAAE,oBAAoB;QAC3D,qFAAqF;QACrF,mFAAmF;QACnF,sEAAsE;QACtE,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,OAAO,EAAE,cAAc,CAAC;YAC5B,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,GAAG,CAAC,eAAe,EAAE,aAAa,CAAC,EAAE,IAAI,CAAC;gBAC9C,GAAG,CAAC,GAAG,CAAC,eAAe,EAAE,aAAa,CAAC,EAAE,IAAI,CAAC;aAC/C,CAAC;SACH,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;QAC5B,WAAW,EAAE,CAAC,oBAAoB,EAAE,wBAAwB,EAAE,wDAAwD,CAAC;QACvH,UAAU,EAAE,CAAC,4BAA4B,CAAC;QAC1C,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,aAAa,EAAE,EAC/C;QACE,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,aAAa,EAAE;QAC9C,EAAE,IAAI,EAAE,oBAAoB,EAAE,GAAG,EAAE,aAAa,EAAE;QAClD,EAAE,IAAI,EAAE,qBAAqB,EAAE,GAAG,EAAE,aAAa,EAAE;KACpD,EACD;QACE,EAAE,EAAE,cAAc;QAClB,KAAK,EAAE,+IAA+I;QACtJ,IAAI,EAAE,aAAa;QACnB,MAAM,EAAE,kBAAkB,EAAE,SAAS;QACrC,aAAa,EAAE,2CAA2C,EAAE,gBAAgB;QAC5E,eAAe,EAAE,oBAAoB,EAAE,oBAAoB;QAC3D,qDAAqD;QACrD,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,gBAAgB,EAAE,aAAa,CAAC;gBACpC,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,oBAAoB,EAAE,aAAa,CAAC,EAAE;aACrF,CAAC;YACF,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,qBAAqB,EAAE,aAAa,CAAC,EAAE;SACtF,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,kBAAkB,EAAE,0CAA0C,CAAC;QAC7E,UAAU,EAAE,CAAC,6BAA6B,CAAC;QAC3C,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,uBAAuB,EAAE,GAAG,EAAE,SAAS,EAAE,EACjD;QACE,EAAE,IAAI,EAAE,oBAAoB,EAAE,GAAG,EAAE,SAAS,EAAE;QAC9C,EAAE,IAAI,EAAE,oBAAoB,EAAE,GAAG,EAAE,aAAa,EAAE;KACnD,EACD;QACE,EAAE,EAAE,cAAc;QAClB,KAAK,EAAE,yBAAyB;QAChC,IAAI,EAAE,aAAa;QACnB,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,wBAAwB;QACvC,eAAe,EAAE,oBAAoB,EAAE,oBAAoB;QAC3D,qDAAqD;QACrD,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,oBAAoB,EAAE,SAAS,CAAC;YACpC,GAAG,CACD,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,oBAAoB,EAAE,aAAa,CAAC,EAAE,EACpF,GAAG,CACJ;SACF,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE,CAAC,wBAAwB,EAAE,4CAA4C,CAAC;QACrF,UAAU,EAAE,CAAC,YAAY,CAAC;QAC1B,cAAc,EAAE,EAAE;KACnB,CACF;IACD,6EAA6E;IAC7E,6EAA6E;IAC7E,2EAA2E;IAC3E,qEAAqE;IACrE,6EAA6E;IAC7E,iBAAiB;IACjB,EAAE,CACA,EAAE,IAAI,EAAE,wBAAwB,EAAE,GAAG,EAAE,MAAM,EAAE,EAC/C;QACE,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,MAAM,EAAE;QACnC,EAAE,IAAI,EAAE,qBAAqB,EAAE,GAAG,EAAE,MAAM,EAAE;KAC7C,EACD;QACE,EAAE,EAAE,6BAA6B;QACjC,IAAI,EAAE,6BAA6B;QACnC,MAAM,EAAE,gBAAgB;QACxB,aAAa,EAAE,mBAAmB;QAClC,eAAe,EAAE,oBAAoB;QACrC,kEAAkE;QAClE,uEAAuE;QACvE,6DAA6D;QAC7D,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,YAAY,EAAE,MAAM,CAAC;YACzB,GAAG,CAAC,qBAAqB,EAAE,MAAM,CAAC;SACnC,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE;YACX,eAAe;YACf,0DAA0D;SAC3D;QACD,UAAU,EAAE,CAAC,eAAe,EAAE,wBAAwB,CAAC;QACvD,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,mBAAmB,EAAE,GAAG,EAAE,SAAS,EAAE,EAC7C;QACE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,SAAS,EAAE;QAC/B,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,aAAa,EAAE;KACjD,EACD;QACE,EAAE,EAAE,sBAAsB;QAC1B,KAAK,EAAE,uBAAuB;QAC9B,IAAI,EAAE,mBAAmB;QACzB,MAAM,EAAE,aAAa;QACrB,aAAa,EAAE,eAAe;QAC9B,eAAe,EAAE,oBAAoB,EAAE,oBAAoB;QAC3D,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC;YACrB;gBACE,IAAI,EAAE,gBAAgB;gBACtB,EAAE,EAAE,IAAI;gBACR,GAAG,EAAE,GAAG,CAAC,kBAAkB,EAAE,aAAa,CAAC;aAC5C;SACF,CAAC;QACF,KAAK,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE;QACvB,MAAM,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE;QAC/B,WAAW,EAAE,CAAC,yBAAyB,EAAE,0BAA0B,CAAC;QACpE,UAAU,EAAE,CAAC,kCAAkC,EAAE,aAAa,CAAC;QAC/D,cAAc,EAAE,EAAE;KACnB,CACF;IACD,EAAE,CACA,EAAE,IAAI,EAAE,4BAA4B,EAAE,GAAG,EAAE,cAAc,EAAE,EAC3D;QACE,EAAE,IAAI,EAAE,oBAAoB,EAAE,GAAG,EAAE,MAAM,EAAE;QAC3C,EAAE,IAAI,EAAE,qBAAqB,EAAE,GAAG,EAAE,MAAM,EAAE;KAC7C,EACD;QACE,EAAE,EAAE,wBAAwB;QAC5B,SAAS,EAAE;YACT,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC;YACjC,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,kEAAkE;YACnF,OAAO,EAAE,yEAAyE;SACnF;QACD,IAAI,EAAE,gCAAgC;QACtC,MAAM,EAAE,aAAa;QACrB,aAAa,EACX,qEAAqE;QACvE,yEAAyE;QACzE,0EAA0E;QAC1E,4CAA4C;QAC5C,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB;gBACE,IAAI,EAAE,gBAAgB;gBACtB,EAAE,EAAE,KAAK;gBACT,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE;oBACX,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC;oBACxB,EAAE,CAAC,GAAG,EAAE;wBACN,GAAG,CAAC,GAAG,CAAC,qBAAqB,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC;wBAC5C,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,oBAAoB,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;qBAChF,CAAC;iBACH,CAAC;aACH;YACD,GAAG,CAAC,oBAAoB,EAAE,MAAM,CAAC;SAClC,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;QAC9B,WAAW,EAAE;YACX,WAAW;YACX,uEAAuE;YACvE,uEAAuE;YACvE,oEAAoE;YACpE,wEAAwE;YACxE,6DAA6D;SAC9D;QACD,UAAU,EAAE;YACV,0BAA0B;YAC1B,kDAAkD;SACnD;QACD,cAAc,EAAE,EAAE;KACnB,CACF;CACF,CAAC","sourcesContent":["/**\n * L1-sum tier — the FIRST canonical entries whose RHS is a genuine\n * NON-monomial: a sum (Bernoulli) and a transcendental (radioactive decay).\n * Dimensional analysis alone cannot pin either as a power-monomial (there are\n * several pressure-dimensioned terms in Bernoulli; a dimensionless factor in\n * decay), so the engine reports `monomial: null` with `freeDimensionlessGroups\n * >= 1` — the CLASSIC \"dimensionally underdetermined\" state that carries no\n * monomial. What makes these entries new is that the exact form IS known and is\n * carried in the `scalarAst` (so `epistemicStatus` reflects the known closed\n * form, not the dimensional under-determination). Built via `l1()` so the L0\n * fields are engine-derived and self-consistent (F1: monomial:null ⟺ freeGroups\n * >= 1) exactly like the existing underdetermined monomials (Newton F,\n * Bekenstein-Hawking).\n *\n * Value: these enrich the canonical *reference* with famous non-monomial laws\n * and are structurally scanned by `scanLinkages` / `upt recover` (normalForm is\n * sum- and transcendental-aware). A 2026-07-04 measurement found they produce\n * ZERO structural bridge matches today — the value is reference-completeness,\n * not bridge-validation (design + measurement:\n * docs/superpowers/specs/2026-07-04-l1-sum-tier-design.md).\n *\n * @module canonical/entries/nonmonomial\n */\nimport type { CanonicalEquation } from '../canonical-equation.js';\nimport { sym } from '../../dimensional/ast-builders.js';\nimport { DIMENSIONLESS, TIME } from '../../dimensional/types.js';\nimport { dim, op, pow, l1 } from './_l1-build.js';\n\nconst PRESSURE = dim(-1, 1, -2, 0, 0);\nconst DENSITY = dim(-3, 1, 0, 0, 0);\nconst VELOCITY = dim(1, 0, -1, 0, 0);\nconst ACCELERATION = dim(1, 0, -2, 0, 0);\nconst HEIGHT = dim(1, 0, 0, 0, 0);\nconst DECAY_CONSTANT = dim(0, 0, -1, 0, 0);\nconst ENERGY = dim(2, 1, -2, 0, 0);\nconst PLANCK = dim(2, 1, -1, 0, 0);\nconst FREQUENCY = dim(0, 0, -1, 0, 0);\nconst TEMPERATURE = dim(0, 0, 0, 0, 1);\nconst BOLTZMANN = dim(2, 1, -2, 0, -1);\nconst MASS = dim(0, 1, 0, 0, 0);\nconst LENGTH = dim(1, 0, 0, 0, 0);\nconst INVERSE_LENGTH = dim(-1, 0, 0, 0, 0);\nconst INTENSITY = dim(0, 1, -3, 0, 0);\n\nexport const NONMONOMIAL: readonly CanonicalEquation[] = [\n  l1(\n    { name: 'bernoulli-total-pressure', dim: PRESSURE },\n    [\n      { name: 'density', dim: DENSITY },\n      { name: 'flow-velocity', dim: VELOCITY },\n      { name: 'gravitational-acceleration', dim: ACCELERATION },\n      { name: 'height', dim: HEIGHT },\n      { name: 'static-pressure', dim: PRESSURE },\n    ],\n    {\n      id: 'CE-bernoulli',\n      name: 'Bernoulli equation',\n      domain: 'mechanics',\n      formula_latex: '\\\\tfrac12 \\\\rho v^2 + \\\\rho g h + P = \\\\text{const}',\n      epistemicStatus: 'fully-quantitative', // P + ½ρv² + ρgh, the exact total pressure\n      scalarAst: op('+', [\n        op('*', [\n          sym('0.5', DIMENSIONLESS),\n          op('*', [sym('density', DENSITY), pow(sym('flow-velocity', VELOCITY), '2')]),\n        ]),\n        op('*', [\n          sym('density', DENSITY),\n          op('*', [\n            sym('gravitational-acceleration', ACCELERATION),\n            sym('height', HEIGHT),\n          ]),\n        ]),\n        sym('static-pressure', PRESSURE),\n      ]),\n      regime: { scale: 'classical' },\n      assumptions: ['incompressible', 'inviscid', 'steady flow along a streamline'],\n      references: ['Bernoulli 1738 Hydrodynamica'],\n      partnerBridges: [],\n    },\n  ),\n  l1(\n    { name: 'remaining-nuclei', dim: DIMENSIONLESS },\n    [\n      { name: 'initial-nuclei', dim: DIMENSIONLESS },\n      { name: 'decay-constant', dim: DECAY_CONSTANT },\n      { name: 'elapsed-time', dim: TIME },\n    ],\n    {\n      id: 'CE-radioactive-decay',\n      name: 'Radioactive decay law',\n      domain: 'quantum', // matches CE-half-life's domain\n      formula_latex: 'N = N_0 e^{-\\\\lambda t}',\n      epistemicStatus: 'fully-quantitative', // exact closed form (carried in scalarAst)\n      // N0 · exp(−(λ·t)); the exp arg λt is dimensionless ([T⁻¹]·[T]); the unary\n      // minus is the sym('-1', DIMENSIONLESS) multiplicative stub (be-34 idiom).\n      scalarAst: op('*', [\n        sym('initial-nuclei', DIMENSIONLESS),\n        {\n          kind: 'transcendental',\n          fn: 'exp',\n          arg: op('*', [\n            sym('-1', DIMENSIONLESS),\n            op('*', [sym('decay-constant', DECAY_CONSTANT), sym('elapsed-time', TIME)]),\n          ]),\n        },\n      ]),\n      regime: { scale: 'quantum' },\n      assumptions: ['first-order decay', 'large-N statistical limit'],\n      references: ['Rutherford & Soddy 1902'],\n      partnerBridges: [],\n    },\n  ),\n  l1(\n    { name: 'photoelectron-max-energy', dim: ENERGY },\n    [\n      { name: 'h', dim: PLANCK },\n      { name: 'photon-frequency', dim: FREQUENCY },\n      { name: 'work-function', dim: ENERGY },\n    ],\n    {\n      id: 'CE-photoelectric',\n      holds: 'h * photon-frequency >= work-function and work-function >= 0',\n      name: 'Photoelectric equation',\n      domain: 'quantum',\n      formula_latex: 'K_{\\\\max} = h f - W',\n      epistemicStatus: 'fully-quantitative', // exact: hf − W (both energy)\n      scalarAst: op('-', [\n        op('*', [sym('h', PLANCK), sym('photon-frequency', FREQUENCY)]),\n        sym('work-function', ENERGY),\n      ]),\n      regime: { scale: 'quantum' },\n      assumptions: ['single-photon absorption', 'above threshold (hf > W)'],\n      references: ['Einstein 1905 Ann. Phys. 17:132'],\n      partnerBridges: [],\n    },\n  ),\n  l1(\n    { name: 'carnot-efficiency', dim: DIMENSIONLESS },\n    [\n      { name: 'cold-reservoir-temperature', dim: TEMPERATURE },\n      { name: 'hot-reservoir-temperature', dim: TEMPERATURE },\n    ],\n    {\n      id: 'CE-carnot-efficiency',\n      holds: 'cold-reservoir-temperature >= 0 and hot-reservoir-temperature > 0 and cold-reservoir-temperature <= hot-reservoir-temperature',\n      name: 'Carnot efficiency',\n      domain: 'thermodynamics',\n      formula_latex: '\\\\eta = 1 - \\\\tfrac{T_c}{T_h}',\n      epistemicStatus: 'fully-quantitative', // exact: 1 − Tc/Th\n      // 1 − Tc/Th; the leading 1 is a dimensionless literal stub.\n      scalarAst: op('-', [\n        sym('1', DIMENSIONLESS),\n        op('/', [\n          sym('cold-reservoir-temperature', TEMPERATURE),\n          sym('hot-reservoir-temperature', TEMPERATURE),\n        ]),\n      ]),\n      regime: { scale: 'classical' },\n      assumptions: ['reversible cycle', 'two heat reservoirs'],\n      references: ['Carnot 1824 Réflexions sur la puissance motrice du feu'],\n      partnerBridges: [],\n    },\n  ),\n  l1(\n    { name: 'boltzmann-factor', dim: DIMENSIONLESS },\n    [\n      { name: 'state-energy', dim: ENERGY },\n      { name: 'k_B', dim: BOLTZMANN },\n      { name: 'temperature', dim: TEMPERATURE },\n    ],\n    {\n      id: 'CE-boltzmann-factor',\n      name: 'Boltzmann factor',\n      domain: 'statistical',\n      formula_latex: 'e^{-E/k_B T}',\n      epistemicStatus: 'fully-quantitative', // exact closed form\n      // exp(−E/(kB·T)); the arg −E/(kB T) is dimensionless (energy/energy).\n      scalarAst: {\n        kind: 'transcendental',\n        fn: 'exp',\n        arg: op('*', [\n          sym('-1', DIMENSIONLESS),\n          op('/', [\n            sym('state-energy', ENERGY),\n            op('*', [sym('k_B', BOLTZMANN), sym('temperature', TEMPERATURE)]),\n          ]),\n        ]),\n      },\n      regime: { scale: 'classical' },\n      assumptions: ['canonical ensemble', 'thermal equilibrium'],\n      references: ['Boltzmann 1868 Wien. Ber. 58:517'],\n      partnerBridges: [],\n    },\n  ),\n  l1(\n    { name: 'lorentz-factor', dim: DIMENSIONLESS },\n    [\n      { name: 'velocity', dim: VELOCITY },\n      { name: 'c', dim: VELOCITY },\n    ],\n    {\n      id: 'CE-lorentz-factor',\n      holds: 'abs(velocity) < c',\n      name: 'Lorentz factor',\n      domain: 'mechanics', // SR precedent — matches CE-mass-energy's domain\n      formula_latex: '\\\\gamma = \\\\left(1 - \\\\tfrac{v^2}{c^2}\\\\right)^{-1/2}',\n      epistemicStatus: 'fully-quantitative', // exact closed form\n      // (1 − v²/c²)^(−1/2); the base is dimensionless (velocity²/velocity²), so\n      // the fractional literal exponent '-0.5' validates on it directly.\n      scalarAst: pow(\n        op('-', [\n          sym('1', DIMENSIONLESS),\n          op('/', [\n            pow(sym('velocity', VELOCITY), '2'),\n            pow(sym('c', VELOCITY), '2'),\n          ]),\n        ]),\n        '-0.5',\n      ),\n      regime: { scale: 'classical' },\n      assumptions: ['special relativity', 'inertial frames'],\n      references: ['Einstein 1905 Ann. Phys. 17:891'],\n      partnerBridges: [],\n    },\n  ),\n  l1(\n    { name: 'compton-wavelength-shift', dim: LENGTH },\n    [\n      { name: 'h', dim: PLANCK },\n      { name: 'm_e', dim: MASS },\n      { name: 'c', dim: VELOCITY },\n      { name: 'scattering-angle', dim: DIMENSIONLESS },\n    ],\n    {\n      id: 'CE-compton-shift',\n      holds: 'scattering-angle >= 0 and scattering-angle <= pi',\n      name: 'Compton shift',\n      domain: 'quantum',\n      formula_latex: '\\\\Delta\\\\lambda = \\\\tfrac{h}{m_e c}(1 - \\\\cos\\\\theta)',\n      epistemicStatus: 'fully-quantitative', // exact closed form\n      // (h/(m·c))·(1 − cos θ); the cos arg (scattering angle) is dimensionless.\n      scalarAst: op('*', [\n        op('/', [\n          sym('h', PLANCK),\n          op('*', [sym('m_e', MASS), sym('c', VELOCITY)]),\n        ]),\n        op('-', [\n          sym('1', DIMENSIONLESS),\n          { kind: 'transcendental', fn: 'cos', arg: sym('scattering-angle', DIMENSIONLESS) },\n        ]),\n      ]),\n      regime: { scale: 'quantum' },\n      assumptions: ['elastic photon-electron scattering', 'free electron at rest'],\n      references: ['Compton 1923 Phys. Rev. 21:483'],\n      partnerBridges: [],\n    },\n  ),\n  l1(\n    { name: 'inverse-transition-wavelength', dim: INVERSE_LENGTH },\n    [\n      { name: 'lower-level-n', dim: DIMENSIONLESS },\n      { name: 'upper-level-n', dim: DIMENSIONLESS },\n    ],\n    {\n      id: 'CE-rydberg-formula',\n      holds: 'isInteger(lower-level-n) and isInteger(upper-level-n) and lower-level-n >= 1 and upper-level-n > lower-level-n',\n      name: 'Rydberg formula',\n      domain: 'quantum',\n      formula_latex: '\\\\tfrac{1}{\\\\lambda} = R\\\\left(\\\\tfrac{1}{n_1^2} - \\\\tfrac{1}{n_2^2}\\\\right)',\n      epistemicStatus: 'fully-quantitative', // exact closed form\n      // R∞·(1/n1² − 1/n2²); both level numbers are dimensionless integer counts. R∞ is the\n      // registered constant (infinite nuclear mass); the reduced-mass R_M is not applied\n      // (the owner's decision of 2026-10-09: a constant is never an input).\n      scalarAst: op('*', [\n        sym('R_inf', INVERSE_LENGTH),\n        op('-', [\n          pow(sym('lower-level-n', DIMENSIONLESS), '-2'),\n          pow(sym('upper-level-n', DIMENSIONLESS), '-2'),\n        ]),\n      ]),\n      regime: { scale: 'quantum' },\n      assumptions: ['hydrogen-like atom', 'bound-state transition', 'infinite nuclear mass (R∞; no reduced-mass correction)'],\n      references: ['Rydberg 1890 / Balmer 1885'],\n      partnerBridges: [],\n    },\n  ),\n  l1(\n    { name: 'refracted-index', dim: DIMENSIONLESS },\n    [\n      { name: 'incident-index', dim: DIMENSIONLESS },\n      { name: 'angle-of-incidence', dim: DIMENSIONLESS },\n      { name: 'angle-of-refraction', dim: DIMENSIONLESS },\n    ],\n    {\n      id: 'CE-snell-law',\n      holds: 'incident-index > 0 and angle-of-incidence >= 0 and angle-of-incidence <= pi / 2 and angle-of-refraction > 0 and angle-of-refraction <= pi / 2',\n      name: \"Snell's law\",\n      domain: 'electromagnetism', // optics\n      formula_latex: 'n_2 = n_1 \\\\sin\\\\theta_1 / \\\\sin\\\\theta_2', // solved for n2\n      epistemicStatus: 'fully-quantitative', // exact closed form\n      // n1·sin θ1 / sin θ2; both angles are dimensionless.\n      scalarAst: op('/', [\n        op('*', [\n          sym('incident-index', DIMENSIONLESS),\n          { kind: 'transcendental', fn: 'sin', arg: sym('angle-of-incidence', DIMENSIONLESS) },\n        ]),\n        { kind: 'transcendental', fn: 'sin', arg: sym('angle-of-refraction', DIMENSIONLESS) },\n      ]),\n      regime: { scale: 'classical' },\n      assumptions: ['geometric optics', 'planar interface between isotropic media'],\n      references: ['Snell 1621 / Descartes 1637'],\n      partnerBridges: [],\n    },\n  ),\n  l1(\n    { name: 'transmitted-intensity', dim: INTENSITY },\n    [\n      { name: 'incident-intensity', dim: INTENSITY },\n      { name: 'polarization-angle', dim: DIMENSIONLESS },\n    ],\n    {\n      id: 'CE-malus-law',\n      holds: 'incident-intensity >= 0',\n      name: \"Malus's law\",\n      domain: 'electromagnetism',\n      formula_latex: 'I = I_0 \\\\cos^2\\\\theta',\n      epistemicStatus: 'fully-quantitative', // exact closed form\n      // I0·cos²θ; the polarization angle is dimensionless.\n      scalarAst: op('*', [\n        sym('incident-intensity', INTENSITY),\n        pow(\n          { kind: 'transcendental', fn: 'cos', arg: sym('polarization-angle', DIMENSIONLESS) },\n          '2',\n        ),\n      ]),\n      regime: { scale: 'classical' },\n      assumptions: ['ideal linear polarizer', 'coherent linearly-polarized incident light'],\n      references: ['Malus 1809'],\n      partnerBridges: [],\n    },\n  ),\n  // ── poster entries 1, 2, 13 (Sprint 3 / ROADMAP Phase 3) ──────────────────\n  // Three of the sixteen poster equations that the registry did not yet carry.\n  // Entry numbers are the ROADMAP Phase 3 bridge-line numbering; the entries\n  // themselves are DERIVED from the identifying context of those lines\n  // (`2 → 13`, `2 → 1`, `13 ↔ 4`, `6 ↔ 13`), not from Appendix A, which is not\n  // vendored here.\n  l1(\n    { name: 'internal-energy-change', dim: ENERGY },\n    [\n      { name: 'heat-added', dim: ENERGY },\n      { name: 'work-done-by-system', dim: ENERGY },\n    ],\n    {\n      id: 'CE-first-law-thermodynamics',\n      name: 'First law of thermodynamics',\n      domain: 'thermodynamics',\n      formula_latex: '\\\\Delta U = Q - W',\n      epistemicStatus: 'fully-quantitative',\n      // A genuine DIFFERENCE of two same-dimensioned terms: dimensional\n      // analysis alone cannot pin it (three energies), so the engine reports\n      // monomial: null with freeGroups >= 1, like Bernoulli above.\n      scalarAst: op('-', [\n        sym('heat-added', ENERGY),\n        sym('work-done-by-system', ENERGY),\n      ]),\n      regime: { scale: 'classical' },\n      assumptions: [\n        'closed system',\n        'sign convention: Q into the system, W done by the system',\n      ],\n      references: ['Clausius 1850', 'Callen, Thermodynamics'],\n      partnerBridges: [],\n    },\n  ),\n  l1(\n    { name: 'boltzmann-entropy', dim: BOLTZMANN },\n    [\n      { name: 'k_B', dim: BOLTZMANN },\n      { name: 'microstate-count', dim: DIMENSIONLESS },\n    ],\n    {\n      id: 'CE-boltzmann-entropy',\n      holds: 'microstate-count >= 1',\n      name: 'Boltzmann entropy',\n      domain: 'statistical',\n      formula_latex: 'S = k_B \\ln W',\n      epistemicStatus: 'fully-quantitative', // exact closed form\n      scalarAst: op('*', [\n        sym('k_B', BOLTZMANN),\n        {\n          kind: 'transcendental',\n          fn: 'ln',\n          arg: sym('microstate-count', DIMENSIONLESS),\n        },\n      ]),\n      forms: { logBase: 'e' },\n      regime: { scale: 'mesoscopic' },\n      assumptions: ['microcanonical ensemble', 'equiprobable microstates'],\n      references: ['Boltzmann 1877 Wien. Ber. 76:373', 'Planck 1901'],\n      partnerBridges: [],\n    },\n  ),\n  l1(\n    { name: 'normal-probability-density', dim: INVERSE_LENGTH },\n    [\n      { name: 'standard-deviation', dim: LENGTH },\n      { name: 'deviation-from-mean', dim: LENGTH },\n    ],\n    {\n      id: 'CE-normal-distribution',\n      prefactor: {\n        value: 1 / Math.sqrt(2 * Math.PI),\n        quote: String.raw`\\frac{1}{\\sqrt{2\\pi\\sigma^2}} e^{-\\frac{(x - \\mu)^2}{2\\sigma^2}}`,\n        locator: \"Wikipedia, 'Normal distribution', revision 1376230387, wikitext line 14\",\n      },\n      name: 'Normal (Gaussian) distribution',\n      domain: 'statistical',\n      formula_latex:\n        'p(x) = \\\\frac{1}{\\\\sigma\\\\sqrt{2\\\\pi}} e^{-(x-\\\\mu)^2 / 2\\\\sigma^2}',\n      // The 1/√(2π) normalisation is the sourced prefactor above. The ½ in the\n      // exponent is NOT a prefactor: e^{-u²/(2σ²)} and e^{-u²/σ²} are different\n      // functions, so the 2 stays inside the AST.\n      epistemicStatus: 'scalar-up-to-constant',\n      scalarAst: op('/', [\n        {\n          kind: 'transcendental',\n          fn: 'exp',\n          arg: op('*', [\n            sym('-1', DIMENSIONLESS),\n            op('/', [\n              pow(sym('deviation-from-mean', LENGTH), '2'),\n              op('*', [sym('2', DIMENSIONLESS), pow(sym('standard-deviation', LENGTH), '2')]),\n            ]),\n          ]),\n        },\n        sym('standard-deviation', LENGTH),\n      ]),\n      regime: { scale: 'classical' },\n      assumptions: [\n        'sigma > 0',\n        // The variate carries whatever dimension the modelled quantity has; it\n        // is taken length-dimensioned here as the representative case, so that\n        // the density is inverse-length. Nothing in the law depends on that\n        // choice — only the two dimensions cancelling inside the exponent does.\n        'variate taken length-dimensioned as the representative case',\n      ],\n      references: [\n        'Gauss 1809 Theoria Motus',\n        'Laplace 1812 Théorie analytique des probabilités',\n      ],\n      partnerBridges: [],\n    },\n  ),\n];\n"]}

package/dist/canonical/entries/relativity.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"relativity.d.ts","sourceRoot":"","sources":["../../../src/canonical/entries/relativity.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAsIlE,eAAO,MAAM,UAAU,EAAE,SAAS,iBAAiB,EA+MlD,CAAC"}
+{"version":3,"file":"relativity.d.ts","sourceRoot":"","sources":["../../../src/canonical/entries/relativity.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAsIlE,eAAO,MAAM,UAAU,EAAE,SAAS,iBAAiB,EAqNlD,CAAC"}

package/dist/canonical/entries/relativity.js

@@ -85,6 +85,7 @@ const FRIEDMANN_GOV = [
 export const RELATIVITY = [
     l1(EFE_TARGET, EFE_GOV, {
         id: 'CE-einstein-field-eq',
+        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.',
         name: 'Einstein field equation',
         domain: 'general-relativity',
         formula_latex: 'G_{\\mu\\nu} + \\Lambda g_{\\mu\\nu} = (8\\pi G/c^4) T_{\\mu\\nu}',
@@ -109,6 +110,7 @@ export const RELATIVITY = [
         { name: 'scale-factor', dim: LENGTH },
     ], {
         id: 'CE-friedmann-curvature',
+        holds: 'rho >= 0 and scale-factor > 0 and 8 * pi * G * rho / 3 - curvature-k * c ^ 2 / scale-factor ^ 2 >= 0',
         name: 'Friedmann equation (with curvature)',
         domain: 'cosmology',
         formula_latex: 'H^2 = 8\\pi G \\rho/3 - k c^2/a^2',
@@ -130,6 +132,7 @@ export const RELATIVITY = [
     }),
     l1(FRIEDMANN_TARGET, FRIEDMANN_GOV, {
         id: 'CE-friedmann',
+        holds: 'rho >= 0',
         name: 'Friedmann equation (flat, matter-dominated)',
         domain: 'cosmology',
         formula_latex: 'H^2 = 8\\pi G \\rho/3',
@@ -151,6 +154,7 @@ export const RELATIVITY = [
         { name: 'k_B', dim: ENTROPY },
     ], {
         id: 'CE-hawking-temperature',
+        holds: 'mass > 0',
         name: 'Hawking temperature',
         domain: 'general-relativity',
         formula_latex: 'T_H = \\hbar c^3/(8\\pi G M k_B)',
@@ -228,6 +232,7 @@ export const RELATIVITY = [
         { name: 'hbar', dim: ACTION },
     ], {
         id: 'CE-bekenstein-hawking',
+        holds: 'A >= 0',
         name: 'Bekenstein–Hawking entropy',
         domain: 'general-relativity',
         formula_latex: 'S = k_B c^3 A/(4 G \\hbar)',
@@ -252,6 +257,7 @@ export const RELATIVITY = [
         { name: 'r', dim: LENGTH },
     ], {
         id: 'CE-newton-gravitation',
+        holds: 'mass >= 0 and secondary-mass >= 0 and r > 0',
         name: "Newton's law of gravitation",
         domain: 'gravitation',
         formula_latex: 'F = G m_1 m_2/r^2',

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

package/dist/canonical/entries/statistical-mechanics.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"statistical-mechanics.d.ts","sourceRoot":"","sources":["../../../src/canonical/entries/statistical-mechanics.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAalE,eAAO,MAAM,qBAAqB,EAAE,SAAS,iBAAiB,EAkF7D,CAAC"}
+{"version":3,"file":"statistical-mechanics.d.ts","sourceRoot":"","sources":["../../../src/canonical/entries/statistical-mechanics.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAalE,eAAO,MAAM,qBAAqB,EAAE,SAAS,iBAAiB,EAqG7D,CAAC"}