universal-physics-tensor 9.0.0 → 10.0.0

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACnD,qEAAqE;AACrE,2EAA2E;AAC3E,6EAA6E;AAC7E,OAAO,EACL,IAAI,EACJ,IAAI,EACJ,IAAI,EACJ,OAAO,EACP,MAAM,EACN,IAAI,EACJ,KAAK,EACL,MAAM,EACN,MAAM,EACN,MAAM,EACN,KAAK;AACL,iEAAiE;AACjE,QAAQ;AACR,kDAAkD;AAClD,SAAS;AACT,sDAAsD;AACtD,MAAM;AACN,4DAA4D;AAC5D,SAAS,GACV,MAAM,qBAAqB,CAAC;AAY7B,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAcpD,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAS3C,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAK1D,OAAO,EACL,cAAc,EACd,WAAW,EACX,aAAa,EACb,2BAA2B,EAC3B,qBAAqB,GACtB,MAAM,8BAA8B,CAAC;AAWtC,OAAO,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAC;AAEtD,OAAO,EAAE,IAAI,EAAE,MAAM,yBAAyB,CAAC;AAC/C,OAAO,EACL,aAAa,EACb,8BAA8B,EAC9B,iBAAiB,EACjB,qBAAqB,EACrB,sBAAsB,EACtB,qBAAqB,EACrB,cAAc,EACd,cAAc,EACd,cAAc,GACf,MAAM,0BAA0B,CAAC;AAUlC,OAAO,EACL,YAAY,EACZ,WAAW,EACX,WAAW,EACX,cAAc,EACd,iBAAiB,EACjB,eAAe,EACf,cAAc,EACd,YAAY,EACZ,iBAAiB,EACjB,aAAa,EACb,mBAAmB,EACnB,cAAc,EACd,oBAAoB,GACrB,MAAM,2BAA2B,CAAC;AACnC,oEAAoE;AACpE,OAAO,+BAA+B,CAAC;AACvC,8DAA8D;AAC9D,OAAO,4BAA4B,CAAC;AAYpC,OAAO,EACL,cAAc,EACd,uBAAuB,EACvB,eAAe,GAChB,MAAM,2BAA2B,CAAC;AAInC,OAAO,EACL,iBAAiB,EACjB,qBAAqB,EACrB,0BAA0B,GAC3B,MAAM,+BAA+B,CAAC;AACvC,kHAAkH;AAClH,OAAO,EACL,kBAAkB,EAClB,uBAAuB,EACvB,wBAAwB,EACxB,qBAAqB,EACrB,wBAAwB,GACzB,MAAM,wBAAwB,CAAC;AAEhC,yEAAyE;AACzE,4EAA4E;AAC5E,2EAA2E;AAC3E,2EAA2E;AAC3E,yDAAyD;AACzD,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,gFAAgF;AAChF,OAAO,EACL,+BAA+B,GAChC,MAAM,2BAA2B,CAAC;AAmBnC;;;GAGG;AACH,OAAO,EACL,eAAe,EACf,qBAAqB,EACrB,gBAAgB,EAChB,aAAa,EACb,iBAAiB,EACjB,wBAAwB,EACxB,WAAW,EACX,gBAAgB,GACjB,MAAM,oBAAoB,CAAC;AAC5B;;;;GAIG;AACH,OAAO,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AACjF,4HAA4H;AAC5H,OAAO,EACL,mBAAmB,EACnB,cAAc,EACd,iBAAiB,EACjB,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,wBAAwB,CAAC;AAShC,2FAA2F;AAC3F,OAAO,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAE5D,iFAAiF;AACjF,+EAA+E;AAC/E,gFAAgF;AAChF,iCAAiC;AACjC,OAAO,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAK1D,4EAA4E;AAC5E,sEAAsE;AACtE,sDAAsD;AACtD,OAAO,EAAE,KAAK,EAAE,MAAM,4BAA4B,CAAC;AAGnD,4EAA4E;AAC5E,sEAAsE;AACtE,mEAAmE;AACnE,yEAAyE;AACzE,0CAA0C;AAC1C,OAAO,EAAE,QAAQ,EAAE,MAAM,4BAA4B,CAAC;AAGtD,kFAAkF;AAClF,mFAAmF;AACnF,+EAA+E;AAC/E,oDAAoD;AACpD,OAAO,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAC;AAGlE,wDAAwD;AACxD,4EAA4E;AAC5E,4EAA4E;AAC5E,6EAA6E;AAC7E,8EAA8E;AAC9E,6EAA6E;AAC7E,OAAO,EACL,qBAAqB,EACrB,oBAAoB,EACpB,uBAAuB,GACxB,MAAM,wBAAwB,CAAC;AAOhC,uEAAuE;AACvE,OAAO,EACL,iBAAiB,GAGlB,MAAM,oCAAoC,CAAC;AAE5C,gFAAgF;AAChF,0EAA0E;AAC1E,+EAA+E;AAC/E,6EAA6E;AAC7E,OAAO,EACL,aAAa,EACb,eAAe,EACf,iBAAiB,EACjB,8BAA8B,GAC/B,MAAM,4BAA4B,CAAC;AAapC,OAAO,EAAE,mBAAmB,EAAE,MAAM,+BAA+B,CAAC;AAOpE,OAAO,EAAE,yBAAyB,EAAE,MAAM,qCAAqC,CAAC;AAOhF,OAAO,EAAE,UAAU,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAQhG,OAAO,EAAE,kBAAkB,EAAE,6BAA6B,EAAE,MAAM,8BAA8B,CAAC;AAOjG,OAAO,EAAE,2BAA2B,EAAE,MAAM,wCAAwC,CAAC;AAOrF,kGAAkG;AAClG,OAAO,EACL,kBAAkB,EAClB,YAAY,EACZ,SAAS,EACT,SAAS,EACT,gBAAgB,EAChB,gBAAgB,GACjB,MAAM,wBAAwB,CAAC;AAGhC,OAAO,EACL,aAAa,EACb,MAAM,EACN,IAAI,EACJ,IAAI,EACJ,SAAS,EACT,IAAI,EACJ,QAAQ,EACR,YAAY,EACZ,KAAK,EACL,MAAM,EACN,KAAK,EACL,MAAM,EACN,WAAW,EACX,OAAO,EACP,MAAM,GACP,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,QAAQ,EACR,MAAM,EACN,KAAK,EACL,GAAG,EACH,QAAQ,EACR,MAAM,EACN,MAAM,EACN,sBAAsB,GACvB,MAAM,0BAA0B,CAAC;AAElC,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,yBAAyB,EAAE,MAAM,4BAA4B,CAAC;AACnG,OAAO,EAAE,uBAAuB,EAAE,MAAM,+BAA+B,CAAC;AAExE,mEAAmE;AACnE,gFAAgF;AAChF,0EAA0E;AAC1E,+EAA+E;AAC/E,8EAA8E;AAC9E,mDAAmD;AACnD,OAAO,EACL,gCAAgC,GACjC,MAAM,kCAAkC,CAAC;AAO1C,iFAAiF;AACjF,iFAAiF;AACjF,4EAA4E;AAC5E,8CAA8C;AAC9C,OAAO,EAAE,6BAA6B,EAAE,MAAM,oCAAoC,CAAC;AAanF,OAAO,EAAE,yBAAyB,EAAE,MAAM,uCAAuC,CAAC;AAElF,sEAAsE;AACtE,6EAA6E;AAC7E,OAAO,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAEhE,8EAA8E;AAC9E,4EAA4E;AAC5E,4EAA4E;AAC5E,6EAA6E;AAC7E,0EAA0E;AAC1E,6CAA6C;AAC7C,sHAAsH;AACtH,OAAO,EACL,iBAAiB,EACjB,oBAAoB,EACpB,qBAAqB,EACrB,eAAe,EACf,eAAe,EACf,qBAAqB;AACrB,4CAA4C;AAC5C,0BAA0B,EAC1B,qBAAqB,EACrB,kBAAkB,EAClB,iCAAiC;AACjC,mCAAmC;AACnC,oBAAoB;AACpB,oCAAoC;AACpC,cAAc,GACf,MAAM,sBAAsB,CAAC;AA0B9B,8EAA8E;AAC9E,0EAA0E;AAC1E,2EAA2E;AAC3E,4EAA4E;AAC5E,8EAA8E;AAC9E,OAAO,EACL,YAAY,EACZ,gBAAgB,EAChB,YAAY,EACZ,aAAa,EACb,aAAa,EACb,wBAAwB,EACxB,yBAAyB,EACzB,wBAAwB,EACxB,oBAAoB;AACpB,kEAAkE;AAClE,QAAQ,GACT,MAAM,wBAAwB,CAAC;AAWhC,sEAAsE;AACtE,OAAO,EACL,qBAAqB,EACrB,iBAAiB,EACjB,6BAA6B,EAC7B,mBAAmB,GACpB,MAAM,yBAAyB,CAAC;AAOjC,0DAA0D;AAE1D,mFAAmF;AAEnF,kEAAkE;AAClE,OAAO,EACL,qBAAqB,EACrB,0BAA0B,EAC1B,oBAAoB,GACrB,MAAM,wBAAwB,CAAC;AAOhC,uEAAuE;AACvE,qEAAqE;AACrE,mBAAmB;AACnB,OAAO,EACL,uBAAuB,EACvB,WAAW,EACX,cAAc,GACf,MAAM,wBAAwB,CAAC;AAOhC,sEAAsE;AACtE,yDAAyD;AACzD,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AASlE,uEAAuE;AACvE,6DAA6D;AAC7D,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAOzD,0EAA0E;AAC1E,8EAA8E;AAC9E,uCAAuC;AACvC,OAAO,EAAE,eAAe,EAAE,wBAAwB,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAGtG,yEAAyE;AACzE,gFAAgF;AAChF,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AASvE,0EAA0E;AAC1E,2DAA2D;AAC3D,OAAO,EAAE,cAAc,EAAE,2BAA2B,EAAE,MAAM,wBAAwB,CAAC;AAErF,gFAAgF;AAChF,wEAAwE;AACxE,OAAO,EACL,iBAAiB,EACjB,iBAAiB,EACjB,kBAAkB,EAClB,eAAe,EACf,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,wBAAwB,CAAC;AAChC,2FAA2F;AAC3F,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAG7D,8EAA8E;AAC9E,gDAAgD;AAChD,OAAO,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAC/D,OAAO,EAAE,qBAAqB,EAAE,MAAM,kCAAkC,CAAC;AAEzE,OAAO,EAAE,qBAAqB,EAAE,mBAAmB,EAAE,MAAM,sCAAsC,CAAC;AAClG,qFAAqF;AACrF,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAI5D,qEAAqE;AACrE,sEAAsE;AACtE,qDAAqD;AACrD,OAAO,EACL,YAAY,EACZ,uBAAuB,EACvB,oBAAoB,GACrB,MAAM,6BAA6B,CAAC;AASrC,0EAA0E;AAC1E,OAAO,EACL,qBAAqB,EACrB,yBAAyB,GAC1B,MAAM,kCAAkC,CAAC;AAM1C,6EAA6E;AAC7E,OAAO,EACL,4BAA4B,EAC5B,0BAA0B,GAC3B,MAAM,6BAA6B,CAAC;AAOrC,+EAA+E;AAE/E,mEAAmE;AACnE,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAEvD,6EAA6E;AAC7E,8EAA8E;AAC9E,mFAAmF;AACnF,OAAO,EACL,eAAe,EACf,gBAAgB,EAChB,mBAAmB,GACpB,MAAM,wBAAwB,CAAC;AAEhC,+EAA+E;AAC/E,2EAA2E;AAC3E,8EAA8E;AAC9E,4EAA4E;AAC5E,OAAO,EACL,mBAAmB,EACnB,eAAe,EACf,aAAa,EACb,iBAAiB,EACjB,kBAAkB,EAClB,8BAA8B,GAC/B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,cAAc,EACd,iBAAiB,EACjB,uBAAuB,GACxB,MAAM,6BAA6B,CAAC;AAQrC,2EAA2E;AAC3E,mEAAmE;AACnE,8EAA8E;AAC9E,8EAA8E;AAC9E,OAAO,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAC3E,OAAO,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAGvE,0EAA0E;AAC1E,sEAAsE;AACtE,4EAA4E;AAC5E,0EAA0E;AAC1E,OAAO,EACL,WAAW,EACX,aAAa,EACb,eAAe,EACf,qBAAqB,GACtB,MAAM,+BAA+B,CAAC;AAKvC,qEAAqE;AACrE,+DAA+D;AAC/D,oEAAoE;AACpE,+CAA+C;AAC/C,OAAO,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AAOtF,gFAAgF;AAChF,6EAA6E;AAC7E,4EAA4E;AAC5E,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAG/D,8EAA8E;AAC9E,8EAA8E;AAC9E,+EAA+E;AAC/E,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAG7D,oEAAoE;AACpE,6EAA6E;AAC7E,2EAA2E;AAC3E,yEAAyE;AACzE,OAAO,EACL,eAAe,EACf,mBAAmB,EACnB,qBAAqB,GACtB,MAAM,iCAAiC,CAAC;AAczC,0DAA0D;AAE1D,kFAAkF;AAElF,+FAA+F;AAC/F,OAAO,EAAE,2BAA2B,EAAE,MAAM,oCAAoC,CAAC;AAGjF,8EAA8E;AAE9E,0EAA0E;AAE1E,8EAA8E;AAE9E,8EAA8E;AAE9E,8DAA8D;AAE9D,6EAA6E;AAE7E,2EAA2E;AAE3E,wEAAwE;AAExE,kEAAkE;AAElE,6EAA6E;AAC7E,sBAAsB;AACtB,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,gBAAgB;AAChB,iFAAiF;AACjF,mBAAmB,EACnB,kBAAkB,EAClB,iBAAiB,GAClB,MAAM,6BAA6B,CAAC;AAGrC,6EAA6E;AAC7E,4EAA4E;AAC5E,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAG/D,+EAA+E;AAC/E,yEAAyE;AACzE,OAAO,KAAK,KAAK,MAAM,mBAAmB,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACnD,qEAAqE;AACrE,2EAA2E;AAC3E,6EAA6E;AAC7E,OAAO,EACL,IAAI,EACJ,IAAI,EACJ,IAAI,EACJ,OAAO,EACP,MAAM,EACN,IAAI,EACJ,KAAK,EACL,MAAM,EACN,MAAM,EACN,MAAM,EACN,KAAK;AACL,iEAAiE;AACjE,QAAQ;AACR,kDAAkD;AAClD,SAAS;AACT,sDAAsD;AACtD,MAAM;AACN,4DAA4D;AAC5D,SAAS,GACV,MAAM,qBAAqB,CAAC;AAY7B,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAcpD,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAS3C,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAK1D,OAAO,EACL,cAAc,EACd,WAAW,EACX,aAAa,EACb,2BAA2B,EAC3B,qBAAqB,GACtB,MAAM,8BAA8B,CAAC;AAWtC,OAAO,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAC;AAEtD,OAAO,EAAE,IAAI,EAAE,MAAM,yBAAyB,CAAC;AAC/C,OAAO,EACL,aAAa,EACb,8BAA8B,EAC9B,iBAAiB,EACjB,qBAAqB,EACrB,sBAAsB,EACtB,qBAAqB,EACrB,cAAc,EACd,cAAc,EACd,cAAc,GACf,MAAM,0BAA0B,CAAC;AAUlC,OAAO,EACL,YAAY,EACZ,WAAW,EACX,WAAW,EACX,cAAc,EACd,iBAAiB,EACjB,eAAe,EACf,cAAc,EACd,YAAY,EACZ,iBAAiB,EACjB,aAAa,EACb,mBAAmB,EACnB,cAAc,EACd,oBAAoB,GACrB,MAAM,2BAA2B,CAAC;AACnC,oEAAoE;AACpE,OAAO,+BAA+B,CAAC;AACvC,8DAA8D;AAC9D,OAAO,4BAA4B,CAAC;AAQpC,OAAO,EAAE,uBAAuB,EAAE,MAAM,2BAA2B,CAAC;AAIpE,OAAO,EACL,iBAAiB,EACjB,qBAAqB,EACrB,0BAA0B,GAC3B,MAAM,+BAA+B,CAAC;AACvC,kHAAkH;AAClH,OAAO,EACL,kBAAkB,EAClB,uBAAuB,EACvB,wBAAwB,EACxB,qBAAqB,EACrB,wBAAwB,GACzB,MAAM,wBAAwB,CAAC;AAEhC,+DAA+D;AAC/D,+EAA+E;AAC/E,6EAA6E;AAC7E,8EAA8E;AAC9E,6CAA6C;AAC7C,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,gFAAgF;AAChF,OAAO,EACL,+BAA+B,GAChC,MAAM,2BAA2B,CAAC;AAmBnC;;;GAGG;AACH,OAAO,EACL,eAAe,EACf,qBAAqB,EACrB,gBAAgB,EAChB,aAAa,EACb,iBAAiB,EACjB,wBAAwB,EACxB,WAAW,EACX,gBAAgB,GACjB,MAAM,oBAAoB,CAAC;AAC5B;;;;GAIG;AACH,OAAO,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AACjF,4HAA4H;AAC5H,OAAO,EACL,mBAAmB,EACnB,cAAc,EACd,iBAAiB,EACjB,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,wBAAwB,CAAC;AAChC,kHAAkH;AAClH,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AASxD,2FAA2F;AAC3F,OAAO,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAE5D,iFAAiF;AACjF,+EAA+E;AAC/E,gFAAgF;AAChF,iCAAiC;AACjC,OAAO,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAK1D,4EAA4E;AAC5E,sEAAsE;AACtE,sDAAsD;AACtD,OAAO,EAAE,KAAK,EAAE,MAAM,4BAA4B,CAAC;AAGnD,4EAA4E;AAC5E,sEAAsE;AACtE,mEAAmE;AACnE,yEAAyE;AACzE,0CAA0C;AAC1C,OAAO,EAAE,QAAQ,EAAE,MAAM,4BAA4B,CAAC;AAGtD,kFAAkF;AAClF,mFAAmF;AACnF,+EAA+E;AAC/E,oDAAoD;AACpD,OAAO,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAC;AAGlE,wDAAwD;AACxD,4EAA4E;AAC5E,4EAA4E;AAC5E,6EAA6E;AAC7E,8EAA8E;AAC9E,6EAA6E;AAC7E,OAAO,EACL,qBAAqB,EACrB,oBAAoB,EACpB,uBAAuB,GACxB,MAAM,wBAAwB,CAAC;AAOhC,uEAAuE;AACvE,OAAO,EACL,iBAAiB,GAGlB,MAAM,oCAAoC,CAAC;AAE5C,gFAAgF;AAChF,0EAA0E;AAC1E,+EAA+E;AAC/E,6EAA6E;AAC7E,OAAO,EACL,aAAa,EACb,eAAe,EACf,iBAAiB,EACjB,8BAA8B,GAC/B,MAAM,4BAA4B,CAAC;AAapC,OAAO,EAAE,mBAAmB,EAAE,MAAM,+BAA+B,CAAC;AAOpE,OAAO,EAAE,yBAAyB,EAAE,MAAM,qCAAqC,CAAC;AAOhF,OAAO,EAAE,UAAU,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAQhG,OAAO,EAAE,kBAAkB,EAAE,6BAA6B,EAAE,MAAM,8BAA8B,CAAC;AAOjG,OAAO,EAAE,2BAA2B,EAAE,MAAM,wCAAwC,CAAC;AAOrF,kGAAkG;AAClG,OAAO,EACL,kBAAkB,EAClB,YAAY,EACZ,SAAS,EACT,SAAS,EACT,gBAAgB,EAChB,gBAAgB,GACjB,MAAM,wBAAwB,CAAC;AAGhC,OAAO,EACL,aAAa,EACb,MAAM,EACN,IAAI,EACJ,IAAI,EACJ,SAAS,EACT,IAAI,EACJ,QAAQ,EACR,YAAY,EACZ,KAAK,EACL,MAAM,EACN,KAAK,EACL,MAAM,EACN,WAAW,EACX,OAAO,EACP,MAAM,GACP,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,QAAQ,EACR,MAAM,EACN,KAAK,EACL,GAAG,EACH,QAAQ,EACR,MAAM,EACN,MAAM,EACN,sBAAsB,GACvB,MAAM,0BAA0B,CAAC;AAElC,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,yBAAyB,EAAE,MAAM,4BAA4B,CAAC;AACnG,OAAO,EAAE,uBAAuB,EAAE,MAAM,+BAA+B,CAAC;AAExE,mEAAmE;AACnE,gFAAgF;AAChF,0EAA0E;AAC1E,+EAA+E;AAC/E,8EAA8E;AAC9E,mDAAmD;AACnD,OAAO,EACL,gCAAgC,GACjC,MAAM,kCAAkC,CAAC;AAO1C,iFAAiF;AACjF,iFAAiF;AACjF,4EAA4E;AAC5E,8CAA8C;AAC9C,OAAO,EAAE,6BAA6B,EAAE,MAAM,oCAAoC,CAAC;AAanF,OAAO,EAAE,yBAAyB,EAAE,MAAM,uCAAuC,CAAC;AAElF,sEAAsE;AACtE,6EAA6E;AAC7E,OAAO,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAEhE,8EAA8E;AAC9E,4EAA4E;AAC5E,4EAA4E;AAC5E,6EAA6E;AAC7E,0EAA0E;AAC1E,6CAA6C;AAC7C,sHAAsH;AACtH,OAAO,EACL,iBAAiB,EACjB,oBAAoB,EACpB,qBAAqB,EACrB,eAAe,EACf,eAAe,EACf,qBAAqB;AACrB,4CAA4C;AAC5C,0BAA0B,EAC1B,qBAAqB,EACrB,kBAAkB,EAClB,iCAAiC;AACjC,mCAAmC;AACnC,oBAAoB;AACpB,oCAAoC;AACpC,cAAc,GACf,MAAM,sBAAsB,CAAC;AA0B9B,8EAA8E;AAC9E,0EAA0E;AAC1E,2EAA2E;AAC3E,4EAA4E;AAC5E,8EAA8E;AAC9E,OAAO,EACL,YAAY,EACZ,gBAAgB,EAChB,YAAY,EACZ,aAAa,EACb,aAAa,EACb,wBAAwB,EACxB,yBAAyB,EACzB,wBAAwB,EACxB,oBAAoB;AACpB,kEAAkE;AAClE,QAAQ,GACT,MAAM,wBAAwB,CAAC;AAWhC,sEAAsE;AACtE,OAAO,EAAE,qBAAqB,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AACnF,OAAO,EAAE,6BAA6B,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAI3F,0DAA0D;AAE1D,mFAAmF;AAEnF,kEAAkE;AAClE,OAAO,EACL,qBAAqB,EACrB,0BAA0B,EAC1B,oBAAoB,GACrB,MAAM,wBAAwB,CAAC;AAOhC,uEAAuE;AACvE,qEAAqE;AACrE,mBAAmB;AACnB,OAAO,EACL,uBAAuB,EACvB,WAAW,EACX,cAAc,GACf,MAAM,wBAAwB,CAAC;AAOhC,sEAAsE;AACtE,yDAAyD;AACzD,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAWlE,uEAAuE;AACvE,6DAA6D;AAC7D,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAOzD,0EAA0E;AAC1E,8EAA8E;AAC9E,uCAAuC;AACvC,OAAO,EAAE,eAAe,EAAE,wBAAwB,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAGtG,yEAAyE;AACzE,gFAAgF;AAChF,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AASvE,0EAA0E;AAC1E,2DAA2D;AAC3D,OAAO,EAAE,cAAc,EAAE,2BAA2B,EAAE,MAAM,wBAAwB,CAAC;AAErF,gFAAgF;AAChF,wEAAwE;AACxE,OAAO,EACL,iBAAiB,EACjB,iBAAiB,EACjB,kBAAkB,EAClB,eAAe,EACf,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,wBAAwB,CAAC;AAChC,2FAA2F;AAC3F,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAG7D,8EAA8E;AAC9E,gDAAgD;AAChD,OAAO,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAC/D,OAAO,EAAE,qBAAqB,EAAE,MAAM,kCAAkC,CAAC;AAEzE,OAAO,EAAE,qBAAqB,EAAE,mBAAmB,EAAE,MAAM,sCAAsC,CAAC;AAClG,qFAAqF;AACrF,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAI5D,qEAAqE;AACrE,sEAAsE;AACtE,qDAAqD;AACrD,OAAO,EACL,YAAY,EACZ,uBAAuB,EACvB,oBAAoB,GACrB,MAAM,6BAA6B,CAAC;AASrC,0EAA0E;AAC1E,OAAO,EACL,qBAAqB,EACrB,yBAAyB,GAC1B,MAAM,kCAAkC,CAAC;AAM1C,6EAA6E;AAC7E,OAAO,EACL,4BAA4B,EAC5B,0BAA0B,GAC3B,MAAM,6BAA6B,CAAC;AAOrC,+EAA+E;AAE/E,mEAAmE;AACnE,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAEvD,6EAA6E;AAC7E,8EAA8E;AAC9E,mFAAmF;AACnF,OAAO,EACL,eAAe,EACf,gBAAgB,EAChB,mBAAmB,GACpB,MAAM,wBAAwB,CAAC;AAEhC,+EAA+E;AAC/E,2EAA2E;AAC3E,8EAA8E;AAC9E,4EAA4E;AAC5E,OAAO,EACL,mBAAmB,EACnB,eAAe,EACf,aAAa,EACb,iBAAiB,EACjB,kBAAkB,EAClB,8BAA8B,GAC/B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,cAAc,EACd,iBAAiB,EACjB,uBAAuB,GACxB,MAAM,6BAA6B,CAAC;AAQrC,2EAA2E;AAC3E,mEAAmE;AACnE,8EAA8E;AAC9E,8EAA8E;AAC9E,OAAO,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAC3E,OAAO,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAGvE,0EAA0E;AAC1E,sEAAsE;AACtE,4EAA4E;AAC5E,0EAA0E;AAC1E,OAAO,EACL,WAAW,EACX,aAAa,EACb,eAAe,EACf,qBAAqB,GACtB,MAAM,+BAA+B,CAAC;AAKvC,qEAAqE;AACrE,+DAA+D;AAC/D,oEAAoE;AACpE,+CAA+C;AAC/C,OAAO,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AAOtF,gFAAgF;AAChF,6EAA6E;AAC7E,4EAA4E;AAC5E,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAG/D,8EAA8E;AAC9E,8EAA8E;AAC9E,+EAA+E;AAC/E,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAG7D,oEAAoE;AACpE,6EAA6E;AAC7E,2EAA2E;AAC3E,yEAAyE;AACzE,OAAO,EACL,eAAe,EACf,mBAAmB,EACnB,qBAAqB,GACtB,MAAM,iCAAiC,CAAC;AAczC,+FAA+F;AAC/F,OAAO,EAAE,2BAA2B,EAAE,MAAM,oCAAoC,CAAC;AAGjF,+DAA+D;AAC/D,4EAA4E;AAC5E,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,gBAAgB;AAChB,iFAAiF;AACjF,mBAAmB,EACnB,kBAAkB,EAClB,iBAAiB,GAClB,MAAM,6BAA6B,CAAC;AAGrC,6EAA6E;AAC7E,4EAA4E;AAC5E,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAG/D,+EAA+E;AAC/E,yEAAyE;AACzE,OAAO,KAAK,KAAK,MAAM,mBAAmB,CAAC","sourcesContent":["/**\n * Universal Physics Tensor Framework\n *\n * Computational framework for exploring unified physics through tensor formalism\n *\n * @packageDocumentation\n */\n\nexport { UniversalTensor } from './core/tensor.js';\n// v0.5.1 — canonical flat CODATA 2018 / SI-defined constants (PC-1).\n// Single source of truth across numerical, dimensional, and bridge layers.\n// See src/core/constants.ts and docs/planning/v0.5.1-Implementation-Plan.md.\nexport {\n  C_SI,\n  G_SI,\n  H_SI,\n  HBAR_SI,\n  K_B_SI,\n  E_SI,\n  ALPHA,\n  M_P_SI,\n  L_P_SI,\n  T_P_SI,\n  H0_SI,\n  // v0.8.0 punch-list — promoted from the calibration-edges module\n  M_SUN_SI,\n  // IAU 2015 nominal solar GM. Not G_SI * M_SUN_SI.\n  GM_SUN_SI,\n  // v0.11 — electron mass (namespacing criterion-3 pin)\n  M_E_SI,\n  // canonical registry — Wien displacement constant (CE-wien)\n  B_WIEN_SI,\n} from './core/constants.js';\nexport type {\n  TensorConfig,\n  TensorIndices,\n  PhysicalLaw,\n  BridgeEquation,\n  EmergentPhenomenon,\n  PhysicalScale,\n  Force,\n  Symmetry,\n  InformationMeasure,\n} from './core/types.js';\nexport { PhysicalConstants } from './core/types.js';\n\n// v0.7 Proposal 3 — Typed `Cell` discriminated union (storage-layer\n// surface). `PhysicalLaw` / `BridgeEquation` / `EmergentPhenomenon`\n// above remain the legacy surface (consumers haven't migrated yet);\n// the new `Cell` union is the preferred forward-looking shape.\nexport type {\n  Cell,\n  CellBase,\n  CellConfidence,\n  LawCell,\n  BridgeCell,\n  EmergenceCell,\n} from './core/cell.js';\nexport { compose } from './core/tensor.js';\n\n// v0.7 Proposal 2 — Sparse semantic catalog (flux rules + adapter).\n// Per Decision #9, only the consumer-facing types are re-exported;\n// FluxRule / FluxRuleKind / FluxRuleResult stay @internal.\nexport type {\n  FluxDiagnostic,\n  FluxReport,\n} from './core/flux-rules.js';\nexport { FluxViolationError } from './core/flux-rules.js';\nexport type {\n  CatalogEntryStatus,\n  CatalogIngestionReport,\n} from './bridges/catalog-adapter.js';\nexport {\n  catalogToCells,\n  scanCatalog,\n  ingestCatalog,\n  ingestionReportToFluxReport,\n  CatalogIngestionError,\n} from './bridges/catalog-adapter.js';\n\n// v0.7 Proposal 1 — Intelligent Index layer (UniversalIndex + Axes\n// + LabeledTensor wrapper). Per Decision #10, 10 public symbols.\n// MergedLabels<L,R> and canonicalLabelOrder stay @internal.\nexport type {\n  AxisName,\n  UniversalIndex,\n  UniversalIndexId,\n  MakeIndexOptions,\n} from './core/universal-index.js';\nexport { makeIndex } from './core/universal-index.js';\nexport type { AxesRegistry } from './core/axes-registry.js';\nexport { Axes } from './core/axes-registry.js';\nexport {\n  LabeledTensor,\n  LabeledTensorConstructionError,\n  AxisMismatchError,\n  IdentityConflictError,\n  IndexNameMismatchError,\n  RankPreservationError,\n  AxisOrderError,\n  AxisMergeError,\n  AxisSplitError,\n} from './core/labeled-tensor.js';\n\n// v0.8 Proposal 5 — RegimeType extension system. Per P5 Decision #1,\n// ship the mechanism + the 18 v0.6-shipped values pre-registered;\n// closed taxonomy of new physics-regime built-ins deferred to v0.9.\nexport type {\n  RegimeProvenance,\n  RegimeValueBase,\n  RegimeSpec,\n} from './core/regime-registry.js';\nexport {\n  defineRegime,\n  defineScale,\n  defineForce,\n  defineSymmetry,\n  defineInformation,\n  defineDimension,\n  defineTopology,\n  lookupRegime,\n  listRegimesByAxis,\n  provenanceFor,\n  attachRegimesToCell,\n  getCellRegimes,\n  RegimeCollisionError,\n} from './core/regime-registry.js';\n// Phase 4 wiring side-effect: installs the regime-consistency rule.\nimport './core/regime-rule-install.js';\n// Phase 2 side-effect: pre-registers the 18 built-in regimes.\nimport './core/regimes-builtins.js';\n\n// v0.9 Proposal 8 — Bridge Parameter Differentiation (P8 Decision #1: lives\n// in src/diff/, doesn't touch src/bridges/). `bridgeGradientNumerical` is\n// central finite differences over a spec, engine-free. Engine AD of a spec\n// is unreachable by construction (`evaluate` returns a number, which carries\n// no tape); the exact AD path is `bridgeGradientAST` over the symbolic RHS.\nexport type { BridgeDiffSpec, BridgeNumericalGradientResult } from './diff/bridge-gradient.js';\nexport { bridgeGradientNumerical } from './diff/bridge-gradient.js';\n// Exact bridge gradients via reverse-mode AD over the symbolic RHS AST\n// (traced lowering through mathts-autograd; faithful encodings only).\nexport type { ASTGradientResult } from './diff/bridge-ast-gradient.js';\nexport {\n  bridgeGradientAST,\n  bridgeGradientASTById,\n  astDifferentiableBridgeIds,\n} from './diff/bridge-ast-gradient.js';\n/** Differentiable relations: Shapiro delay, perihelion advance, Hawking temperature, and the decoherence rate. */\nexport {\n  SHAPIRO_DELAY_DIFF,\n  PERIHELION_ADVANCE_DIFF,\n  HAWKING_TEMPERATURE_DIFF,\n  DECOHERENCE_RATE_DIFF,\n  DIFFERENTIABLE_RELATIONS,\n} from './diff/bridge-specs.js';\n\n// The catalog rows of `data/bridge-catalog.json`, in id order.\n// `BridgeEquationEntry` is a different shape from the runtime `BridgeEquation`\n// interface above: the entry is the catalog's record of an equation (status,\n// known issues, references, dependencies), while `BridgeEquation` describes a\n// runtime bridge between two tensor regimes.\nexport { BRIDGE_EQUATIONS } from './bridges/index.js';\n/** Request a caller-table confrontation. The catalog status does not change. */\nexport {\n  requestCallerTableConfrontation,\n} from './bridges/caller-table.js';\n/** Types of a caller-table request and of its refusal or hit. */\nexport type {\n  MeasuredCouplingRow,\n  RunningProcedureRecord,\n  RunningProcedure,\n  CallerTableRequest,\n  CallerTableRefusal,\n  CallerTableHit,\n  CallerTableResult,\n} from './bridges/caller-table.js';\nexport type {\n  BridgeEquationEntry,\n  BridgeEquationStatus,\n  BridgeIssueSeverity,\n  BridgeIssueFixable,\n  KnownIssue,\n} from './bridges/index.js';\n\n/**\n * Constants that stay on the package root, and `CarrierSignError`.\n * Per-bridge evaluate functions are not on this root.\n */\nexport {\n  VON_KLITZING_SI,\n  JOSEPHSON_CONSTANT_SI,\n  LORENZ_NUMBER_SI,\n  BCS_GAP_RATIO,\n  LANE_EMDEN_OMEGA3,\n  THOMSON_CROSS_SECTION_SI,\n  M_PROTON_SI,\n  CarrierSignError,\n} from './bridges/index.js';\n/**\n * One evaluation of a catalog id or a canonical id.\n * A sourced number is `kind: 'value'`. An unset coefficient is `kind: 'unset'`.\n * @public\n */\nexport { evaluateRelation, CoefficientUnsetError } from './composition/index.js';\n/** The input errors {@link evaluateRelation} throws before any domain check; a domain failure is `DomainViolationError`. */\nexport {\n  DuplicateInputError,\n  InputTypeError,\n  MissingInputError,\n  NonFiniteInputError,\n  UnknownInputError,\n} from './composition/index.js';\n/** A caller input that names a registered constant (`G`, `k_B`, `m_p`, …) is refused on every evaluation path. */\nexport { ConstantInputError } from './bridges/index.js';\n/** The result of {@link evaluateRelation}. A value carries a public `Dimension`. */\nexport type { Evaluation } from './composition/index.js';\n\nexport type { EvaluatorSpec, EvaluatorParameter, ParameterAlternate, GeometryRole } from './bridges/evaluators.js';\n/** An extra output an `EvaluatorSpec` returns beside its `value`. */\nexport type { CatalogEvaluatorOutput } from './bridges/catalog-types.js';\n/** The input contract an evaluator's `run` checks before the domain, and what a caller asks `run` for. */\nexport type { ContractAlternate, EvaluationWant, InputContract, InputSlot } from './bridges/input-contract.js';\n/** Build an input contract; throws when one spelling or alternate would bind two slots. */\nexport { inputContract } from './bridges/input-contract.js';\n\n// v0.4.0 connection layer — Christoffel formula builder and covariant derivative\n// AST node type. `christoffel` is public because bridge modules and downstream\n// callers compose Γ trees directly; `CovariantDerivativeNode` is the structural\n// type for the new ∇_μ AST kind.\nexport { christoffel } from './dimensional/connection.js';\n// CovariantDerivativeNode is re-exported from validator.ts (which holds the union);\n// importing from there avoids creating a separate source-of-truth.\nexport type { CovariantDerivativeNode } from './dimensional/validator.js';\n\n// v0.5.0 curvature layer — Ricci tensor helper (Task 7). `ricci(R)` wraps a\n// RiemannTensorNode and produces the contracted R_μν = R^λ_{λμν} as a\n// composite ExprNode (own validator + lowering arms).\nexport { ricci } from './dimensional/curvature.js';\nexport type { RicciTensorNode } from './dimensional/validator.js';\n\n// v0.5.0 curvature layer — Einstein tensor helper (Task 8). `einstein(R, g,\n// gInverse)` wraps a RiemannTensorNode + metric pair and produces the\n// composite G_μν = R_μν − ½ R g_μν as an ExprNode (own validator +\n// lowering arms — no AST rewrite). Vacuum-Einstein scope; matter-coupled\n// `G_μν = κ T_μν` is deferred to v0.6.0+.\nexport { einstein } from './dimensional/curvature.js';\nexport type { EinsteinTensorNode } from './dimensional/validator.js';\n\n// v0.5.0 curvature layer — Bianchi residual helper (Task 9). `bianchiResidual(R)`\n// returns {residual, evaluate, evaluateMax} for the cyclic second-Bianchi-identity\n// check ∇_{[λ} R_{μν]ρσ} = 0. The evaluator lives in numerical so curvature.ts\n// does not import it. Closes Phase 1 — Foundations.\nexport { bianchiResidual } from './numerical/bianchi-residual.js';\nexport type { BianchiResidualNode } from './dimensional/validator.js';\n\n// v0.6.0 Phase 1 — Killing-vector machinery (Task 1.3).\n// `verifyKillingEquation` checks the Killing equation ∇_μ ξ_ν + ∇_ν ξ_μ = 0\n// numerically at a point using a hybrid impl (exact Christoffels + analytic\n// metric derivatives). `evaluateConservedCharge` evaluates Q = ξ^μ p_μ along\n// a geodesic. `ChristoffelAccess` is the layout-agnostic Christoffel accessor\n// type that insulates consumers from the Phase 2 BR-2 flat-layout migration.\nexport {\n  verifyKillingEquation,\n  checkKillingEquation,\n  evaluateConservedCharge,\n} from './numerical/killing.js';\nexport type {\n  KillingEquationOptions,\n  KillingEquationCheck,\n  ChristoffelAccess,\n} from './numerical/killing.js';\n\n// v0.4.0 geodesic integrator (RK4 solver — headline feature of v0.4.0)\nexport {\n  integrateGeodesic,\n  type GeodesicIntegratorInputs,\n  type GeodesicIntegratorResult,\n} from './numerical/geodesic-integrator.js';\n\n// v0.14 G-9 increment 2 — geometrized-units boundary adapters. Convert a scalar\n// between SI and geometrized (G = c = 1) units, driven by its `Dimension`\n// exponent vector (factor G^M·c^(T−2M)). For consumers running the GR pipeline\n// in geometrized units; the default-pipeline migration is a later increment.\nexport {\n  toGeometrized,\n  fromGeometrized,\n  geometrizedFactor,\n  NonGeometrizableDimensionError,\n} from './numerical/geometrized.js';\n\n// v0.7.1 M-1 — Surface restoration: five v0.7 dimensional primitives were\n// @public-tagged during the BE-X re-encoding sprint but absent from this\n// manifest. Re-exported here per Phase 1 Task 1.2 (Decision #2 guard).\n// Mirrors the v0.6.0 EinsteinFieldEquationNode / KretschmannScalarNode /\n// RicciTensorNode pattern — predicate-node types + validators are @public.\nexport type {\n  TracableTensorNode,\n  TensorTraceNode,\n  TensorTraceValidationResult,\n  TensorTraceOptions,\n} from './dimensional/tensor-trace.js';\nexport { validateTensorTrace } from './dimensional/tensor-trace.js';\n\nexport type {\n  FriedmannVariant,\n  FriedmannEquationNode,\n  FriedmannEquationValidationResult,\n} from './dimensional/friedmann-equation.js';\nexport { validateFriedmannEquation } from './dimensional/friedmann-equation.js';\n\nexport type {\n  RGCouplingNode,\n  BetaFunctionNode,\n  BetaFunctionValidationResult,\n} from './dimensional/rg-flow.js';\nexport { rgCoupling, validateRGCoupling, validateBetaFunction } from './dimensional/rg-flow.js';\n\nexport type {\n  ArrowOfTime,\n  GaugeFieldNode,\n  TimeSymmetryPredicateNode,\n  TimeSymmetryPredicateValidationResult,\n} from './dimensional/gauge-field.js';\nexport { validateGaugeField, validateTimeSymmetryPredicate } from './dimensional/gauge-field.js';\n\nexport type {\n  ScalarFieldNode,\n  KleinGordonEquationNode,\n  KleinGordonEquationValidationResult,\n} from './dimensional/klein-gordon-equation.js';\nexport { validateKleinGordonEquation } from './dimensional/klein-gordon-equation.js';\n\n// Dimensional analyzer (Tier 4) — SI dimension propagation through bridge\n// equations expressed as ExprNode trees. See src/dimensional/README.md.\n// Every symbol re-exported in this block is `@public` — the consumer-facing\n// dimensional/metric surface (stabilised in v0.3.0).\nexport type { Dimension } from './dimensional/types.js';\n/** The one unit reader: parse a unit, convert a value exactly, and the typed errors it throws. */\nexport {\n  AmbiguousUnitError,\n  convertValue,\n  parseUnit,\n  UnitError,\n  UnitRefusedError,\n  UnknownUnitError,\n} from './dimensional/units.js';\n/** A parsed unit, a converted value, and how a temperature is read. */\nexport type { AffineTemperature, ConvertedValue, ParsedUnit, TemperatureReading } from './dimensional/units.js';\nexport {\n  DIMENSIONLESS,\n  LENGTH,\n  AREA,\n  TIME,\n  FREQUENCY,\n  MASS,\n  VELOCITY,\n  ACCELERATION,\n  FORCE,\n  ENERGY,\n  POWER,\n  ACTION,\n  TEMPERATURE,\n  ENTROPY,\n  CHARGE,\n} from './dimensional/types.js';\nexport {\n  multiply,\n  divide,\n  power,\n  add,\n  subtract,\n  equals,\n  format,\n  DimensionMismatchError,\n} from './dimensional/algebra.js';\nexport type { ExprNode, TranscendentalFn, ValidationResult, Violation } from './dimensional/validator.js';\nexport { validate, validateEquation, validateInverseMetricPair } from './dimensional/validator.js';\nexport { inferDimensionForBridge } from './dimensional/bridge-check.js';\n\n// v0.6.0 Phase 2 Task 2.4 — Einstein-equation numerical evaluator.\n// `evaluateEinsteinEquationResidual` computes the scale-normalized max residual\n// |G_μν + Λ g_μν − κ T_μν| / |g_μν| at a coordinate point. Accepts metric\n// closures + stress-energy closure; returns a dimensionless relative residual.\n// For Schwarzschild vacuum (T=0, Λ=0) the residual is the FD truncation floor\n// (~1e-10 relative at 4th-order stencil accuracy).\nexport {\n  evaluateEinsteinEquationResidual,\n} from './numerical/einstein-equation.js';\nexport type {\n  EinsteinEquationResidualInput,\n  MetricClosure,\n  Vec4,\n} from './numerical/einstein-equation.js';\n\n// v0.6.0 Phase 2 Task 2.3 — EinsteinFieldEquationNode predicate AST + validator.\n// Represents G_μν + Λ g_μν = (8πG/c⁴) T_μν as a structurally-validated AST node.\n// Validator checks: free-index agreement, per-component dim equality [L⁻²],\n// and symmetry agreement (Decision #3 + #11).\nexport { validateEinsteinFieldEquation } from './dimensional/einstein-equation.js';\nexport type {\n  EinsteinFieldEquationNode,\n  EinsteinFieldEquationValidationResult,\n} from './dimensional/einstein-equation.js';\n\n// v0.6.0 Phase 3 Task 3.5 — KretschmannScalarNode AST + validator.\n// K = R_{ρσμν} R^{ρσμν} is the canonical curvature invariant; scalar (rank-0),\n// dim [L⁻⁴]. Diverges at genuine singularities; finite at coordinate ones.\nexport type {\n  KretschmannScalarNode,\n  KretschmannScalarValidationResult,\n} from './dimensional/curvature-invariants.js';\nexport { validateKretschmannScalar } from './dimensional/curvature-invariants.js';\n\n// v0.6.0 Phase 3 Task 3.6 — Kretschmann scalar numerical contraction.\n// O(4⁸) = 65536 multiplications per call — diagnostic/sample-point use only.\nexport { computeKretschmann } from './numerical/kretschmann.js';\n\n// Numerical-contraction backend (v0.3.5+). See docs/planning/v0.3.5-Design.md\n// and docs/planning/v0.4.0-Implementation-Plan.md (v0.4.0 additions below).\n// Every symbol below is `@public` — the consumer-facing (TensorJS) surface.\n// `MathTSEngine` is intentionally NOT re-exported here. It is reachable only\n// via the `universal-physics-tensor/numerical/mathts-engine` subpath. The\n// MathTS packages are required dependencies.\n/** Numerical evaluation, the covariant eikonal integrator, the GL4 geodesic integrator, and the perihelion finder. */\nexport {\n  evaluateNumerical,\n  evaluateNumericalRaw,\n  evaluateMetricInverse,\n  getActiveEngine,\n  setActiveEngine,\n  NumericalBackendError,\n  // v0.4.0 additions to the numerical surface\n  DuplicateCoordinateWarning,\n  EngineCapabilityError,\n  hasAutogradSupport,\n  evaluateCovariantEikonalNumerical,\n  // v0.5.0 GL4 symplectic integrator\n  integrateGeodesicGL4,\n  // v0.5.0 perihelion finder (Task 4)\n  findPerihelion,\n} from './numerical/index.js';\n/** Types for numerical evaluation, gradients, the GL4 integrator, the perihelion finder, and the covariant eikonal. */\nexport type {\n  NumericalResult,\n  NumericalRawResult,\n  EvaluateOptions,\n  NumericalInputs,\n  TensorEngine,\n  EngineTensor,\n  EinsumSpec,\n  NestedArray,\n  GridField,\n  // v0.4.0 type additions\n  ForwardGradResult,\n  ReverseGradResult,\n  // v0.5.0 GL4 type additions\n  GL4State,\n  GL4Snapshot,\n  GL4Options,\n  // v0.5.0 perihelion-finder type additions (Task 4)\n  PerihelionResult,\n  FindPerihelionOptions,\n  CovariantEikonalInputs,\n  CovariantEikonalResult,\n} from './numerical/index.js';\n\n// ---------------------------------------------------------------------------\n// v0.8.0 — Composition graph (graph-lite Quantity/BridgeEdge/composeEdges\n// beside the catalog; see docs/planning/v0.8.0-Design.md). The operator is\n// `composeEdges`, NOT `compose` — `compose` is the v0.7 Cell factory above.\n// ---------------------------------------------------------------------------\nexport {\n  composeEdges,\n  consistencyRatio,\n  evaluateEdge,\n  minConfidence,\n  regimesDiffer,\n  QUANTITY_IDENTIFICATIONS,\n  CompositionDimensionError,\n  CompositionJunctionError,\n  DomainViolationError,\n  // Calibration edges (pre-registered CT-1/CT-1b/CT-2/CT-3 targets)\n  M_SUN_KG,\n} from './composition/index.js';\nexport type {\n  BridgeEdge,\n  ComposeOptions,\n  EdgeConfidence,\n  Quantity,\n  QuantityIdentification,\n  RegimeAttributes,\n  ValidityDomain,\n} from './composition/index.js';\n\n// v0.8.0 — Bridge-membership criterion + negative catalog (G-2 / P-4)\nexport { adjudicateBridgeEntry, adjudicateCatalog } from './bridges/membership.js';\nexport { REJECTED_BRIDGE_ADJUDICATIONS, REJECTED_BRIDGE_IDS } from './bridges/rejected.js';\nexport type { BridgeVerdict, CatalogAdjudicationReport } from './bridges/membership.js';\nexport type { RejectedBridgeAdjudication } from './bridges/rejected.js';\n\n// v0.8.0 — GW170817 → BE-36 real-data confrontation (G-3)\n\n// v0.28+ — Mercury perihelion → BE-52 real-data confrontation (established bridge)\n\n// v0.10.0 — Phase-D enumeration + uncertainty propagation (T3/T4)\nexport {\n  enumerateCompositions,\n  REGISTERED_COMPOSITION_IDS,\n  propagateUncertainty,\n} from './composition/index.js';\nexport type {\n  CompositionCandidate,\n  EnumerationReport,\n  UncertaintyResult,\n} from './composition/index.js';\n\n// Identifiability classifier (structural over/exactly/under-determined\n// over the composition graph — Consequence 1 of the bridge-inference\n// epistemics note)\nexport {\n  classifyIdentifiability,\n  classifyAll,\n  forwardClosure,\n} from './composition/index.js';\nexport type {\n  IdentifiabilityVerdict,\n  IdentifiabilityResult,\n  IdentifiabilityOptions,\n} from './composition/index.js';\n\n// Retrodiction harness (the framework's own falsification benchmark —\n// Consequence 2 of the bridge-inference epistemics note)\nexport { retrodict, retrodictNode } from './composition/index.js';\n/** The retrodiction harness's result, prediction, refusal, report and option types. */\nexport type {\n  RetrodictionOutcome,\n  RetrodictionPrediction,\n  RetrodictionResult,\n  RetrodictionRefusal,\n  RetrodictionReport,\n  RetrodictionOptions,\n} from './composition/index.js';\n\n// Unified \"explain this quantity\" entry point over the three inference\n// primitives (identifiability + retrodiction + Buckingham-π)\nexport { explainQuantity } from './composition/index.js';\nexport type {\n  DerivationExplanation,\n  ExplainOptions,\n  QuantityExplanation,\n} from './composition/index.js';\n\n// v0.12 — symbolic bridge composition (the Observable contract). Composes\n// bridges' symbolic ExprNode forms (not just numeric closures), dimensionally\n// validated and numerically evaluable.\nexport { composeSymbolic, SymbolicCompositionError, SymbolicEvalError } from './composition/index.js';\nexport type { Observable, ComposeSymbolicOptions } from './composition/index.js';\n\n// Physics-map visualization — render the bipartite, clustered hypergraph\n// (quantities = nodes, equations = junctions) as Mermaid / Graphviz-DOT source.\nexport { buildVizModel, edgeToJunction } from './composition/index.js';\nexport type {\n  VizStatus,\n  VizJunction,\n  VizCluster,\n  VizOptions,\n  VizModel,\n  VizFilterStats,\n} from './composition/index.js';\n// SVG rendering via the optional @viz-js/viz peer (separate module so the\n// graph-viz model stays pure/synchronous/dependency-free).\nexport { renderDotToSvg, SvgRendererUnavailableError } from './composition/index.js';\n\n// User-equation injection — parse a free-form \"TARGET = EXPR\" and place it into\n// the map as a connected 'user' junction (with a \"did you mean?\" hint).\nexport {\n  parseUserEquation,\n  suggestQuantities,\n  suggestByDimension,\n  equationLanding,\n  analyzeUserEquation,\n  UserEquationError,\n} from './composition/index.js';\n/** The catalog or parameter name a spelling means. One owner for a target and an input. */\nexport { resolveQuantityName } from './composition/index.js';\nexport type { UserEquation, EquationLanding, EquationAnalysis, EquationHint } from './composition/index.js';\n\n// Phase 1 — string → dimensional ExprNode parser + single-unknown dimensional\n// inference (the front-end to the physics AST).\nexport { parsePhysics } from './numerical/formula-registry.js';\nexport { FormulaDimensionError } from './numerical/formula-dimension.js';\nexport type { ParsedPhysics } from './numerical/formula-dimension.js';\nexport { inferUnknownDimension, substituteSymbolDim } from './dimensional/dimension-inference.js';\n// Dimension-adjacency review surface (name-divergent but same-dimension quantities).\nexport { dimensionAdjacency } from './composition/index.js';\nexport type { DimensionAdjacency } from './composition/index.js';\n\n\n// Buckingham-π enumerator (the principled primitive for the exactly-\n// determined case — build target 1 of the bridge-inference epistemics\n// note; FORM only, never the dimensionless constant)\nexport {\n  buckinghamPi,\n  dimensionallyDetermines,\n  RationalizationError,\n} from './dimensional/buckingham.js';\nexport type {\n  DimensionalVariable,\n  PiGroup,\n  BuckinghamVerdict,\n  BuckinghamResult,\n  DimensionalDeterminationResult,\n} from './dimensional/buckingham.js';\n\n// v0.11 — namespacing gate (Option D: name-collision rule + dispositions)\nexport {\n  CompositionAliasError,\n  SOURCE_ALIAS_DISPOSITIONS,\n} from './composition/compose-surface.js';\nexport type {\n  AliasDisposition,\n  DispositionRequired,\n} from './composition/compose-surface.js';\n\n// v0.11 — Klein-Gordon dispersion evaluator (G-7 closure, plane-wave sector)\nexport {\n  evaluateKGDispersionResidual,\n  verifyKleinGordonPlaneWave,\n} from './numerical/klein-gordon.js';\nexport type {\n  KGDispersionResidualInput,\n  KGPlaneWaveVerifyInput,\n  KGPlaneWaveVerifyResult,\n} from './numerical/klein-gordon.js';\n\n// v0.11 — BE-23 Planckian-dissipation data confrontation (2nd real-data check)\n\n// The composition graph is the relation projection of the catalog.\nexport { CATALOG_GRAPH } from './composition/index.js';\n\n// The standard-physics counterpart: the canonical L-layer projected into the\n// composition-graph edge vocabulary, so the discovery/analysis funnel can run\n// on textbook physics ALONE (bridges excluded). See `composition/canonical-graph`.\nexport {\n  CANONICAL_GRAPH,\n  canonicalToEdges,\n  CANONICAL_CONSTANTS,\n} from './composition/index.js';\n\n// ── Canonical-equation registry (the L-layer ground truth) ──────────────────\n// Textbook physics equations bridges are validated against. Multi-fidelity\n// (L0 dimensional / L1 scalar-AST / L2 field-equation) with epistemic-honesty\n// and provenance fields. See docs/planning/Canonical-Equation-Registry-A-*.\nexport {\n  CANONICAL_EQUATIONS,\n  CANONICAL_BY_ID,\n  canonicalById,\n  canonicalByDomain,\n  partneredBridgeIds,\n  bridgesWithoutCanonicalPartner,\n} from './canonical/registry.js';\nexport {\n  canonicalToLaw,\n  seedCanonicalLaws,\n  CANONICAL_TENSOR_CONFIG,\n} from './canonical/seed-l-layer.js';\nexport type {\n  CanonicalEquation,\n  CanonicalDomain,\n  EpistemicStatus,\n  CanonicalForms,\n  FieldEquationNode,\n} from './canonical/canonical-equation.js';\n// Sub-project B — bridge↔canonical linkage (validate vs standard physics).\n// `normalForm` is the structural hash up to dimensionless factors;\n// `classifyLinkage`/`scanLinkages` recover/contain bridges against canonicals\n// with the F4 circularity guard (`restates-canonical` vs genuine `recovers`).\nexport { normalForm, structurallyEqual } from './canonical/normal-form.js';\nexport { classifyLinkage, scanLinkages } from './canonical/linkage.js';\nexport type { LinkageResult, RecoveryOutcome } from './canonical/linkage.js';\n\n// Adjudication ledger — human verdicts on discovery-funnel identification\n// hypotheses (review memory the funnel must not re-surface as fresh).\n// Precedent: SOURCE_ALIAS_DISPOSITIONS/AliasDisposition above is the repo's\n// other reviewable judgment registry, and is index-exported the same way.\nexport {\n  candidateId,\n  ADJUDICATIONS,\n  adjudicationFor,\n  annotateAdjudications,\n} from './composition/adjudication.js';\nexport type { AnnotatedCandidate } from './composition/adjudication.js';\n/** The adjudication ledger's verdict and record types, exported from their owner, the catalog file's types. */\nexport type { AdjudicationVerdict, CatalogAdjudication } from './bridges/catalog-types.js';\n\n// Consequence propagation — the machine pre-classifier for the human\n// adjudication ledger. Annotates discovery candidates with the\n// entailed/novel-consequence/inconclusive signal; never mutates the\n// catalog/graph, never re-orders or re-scores.\nexport { annotateConsequences, classifyProposal } from './composition/consequence.js';\nexport type {\n  ConsequenceAnnotatedCandidate,\n  ConsequenceSignal,\n  ConsequenceEvidence,\n} from './composition/consequence.js';\n\n// Epistemic-grounding ledger (PI-instrument Phase 1). A pure, derived view over\n// a candidate's falsifier results: which gates passed vs abstained, plus the\n// honest no-mechanism/no-data ceiling. Annotation-only; changes no verdict.\nexport { describeGrounding } from './composition/grounding.js';\nexport type { CandidateGrounding } from './composition/grounding.js';\n\n// Discovery funnel — vet link-candidate identifications against the inference\n// suite (Direction 2). rankDiscoveries is the entry point; VettedCandidate is\n// the output type. Required to feed annotateAdjudications from the public API.\nexport { rankDiscoveries } from './composition/discovery.js';\nexport type { VettedCandidate } from './composition/discovery.js';\n\n// v0.33.0 — `upt confront` real-data confrontation subsystem: typed\n// observations + a normalized ConfrontationOutcome (discriminated on `kind`)\n// wrap the per-bridge confrontation modules (be-23/36/37/48/52) behind one\n// registry, plus deciding-measurement elasticity for value-kind entries.\nexport {\n  residualInSigma,\n  combineInQuadrature,\n  consistencyComparison,\n} from './bridges/observations/types.js';\nexport type {\n  ConsistencyComparison,\n  ObservationProvenance,\n  SigmaComponent,\n  ObservationKind,\n  ConfrontationOutcome,\n  ConfrontationDataHandling,\n  ConfrontationPreprocessing,\n  ConfrontationIndependence,\n  SourceRef,\n  SourceRefs,\n} from './bridges/observations/types.js';\n\n// BE-53 — one-loop coefficient, and a confrontation only when the caller supplies both inputs.\nexport { oneLoopCoefficientStatement } from './bridges/coefficient-statement.js';\nexport type { OneLoopCoefficientStatement, OneLoopCoefficientSign } from './bridges/coefficient-statement.js';\n\n// The confrontation registry: every committed confrontation of\n// `data/bridge-catalog.json`, the single lookup surface for `upt confront`.\nexport {\n  CONFRONTATIONS,\n  listConfrontations,\n  runConfrontation,\n  // Rigor hierarchy of the evidence spine (2026-07-05) — stringent/moderate/loose.\n  CONFRONTATION_RIGOR,\n  confrontationRigor,\n  rigorDistribution,\n} from './bridges/confrontations.js';\nexport type { ConfrontationEntry, RigorTier } from './bridges/confrontations.js';\n\n// Deciding-measurement elasticity — which input a value-kind confrontation's\n// prediction depends on most strongly (central-difference log-sensitivity).\nexport { decidingMeasurement } from './bridges/sensitivity.js';\nexport type { Elasticity } from './bridges/sensitivity.js';\n\n// The PUBLIC atlas surface as a namespace (Atlas API review, Tier 1). The full\n// @internal surface stays on the universal-physics-tensor/atlas subpath.\nexport * as atlas from './atlas/public.js';\n\n// ---------------------------------------------------------------------------\n// Closure under type references (tests/api/root-public-closure.test.ts).\n// Every type a root export names is itself importable from the root or from\n// a package.json subpath; the names below were reachable only through the\n// public declarations that mention them.\n// ---------------------------------------------------------------------------\n/** The base class of every error this package throws. */\nexport type { UPTError } from './dimensional/errors.js';\n/** Which constants a natural-unit evaluation sets to one. */\nexport type { UnitMode } from './dimensional/natural-units.js';\n/** The tensor and curvature node family of the dimensional AST. */\nexport type {\n  Variance,\n  Role,\n  TensorIndex,\n  UpperIndex,\n  CovariantIndex,\n  TensorSymbolNode,\n  TensorProductNode,\n  MetricTensorNode,\n  KroneckerDeltaNode,\n  TensorPartialDerivativeNode,\n  RiemannTensorNode,\n  WeylTensorNode,\n  KillingVectorNode,\n  ConservedChargeNode,\n  StressEnergyTensorNode,\n  CosmologicalConstantNode,\n} from './dimensional/ast-types.js';\n/** The generic shape the curvature node types instantiate, and its kind union (referenced by the exported node types). */\nexport type { CurvatureCompositeNode, CurvatureKind } from './dimensional/curvature-composite.js';\n/** The kind of a flux rule. */\nexport type { FluxRuleKind } from './core/flux-rules.js';\n/** The per-axis value tables of the core axis registry. */\nexport type { ScaleAxes, ForceAxes, SymmetryAxes, InformationAxes } from './core/axes-registry.js';\n/** The convenience form a regime registration accepts for an axis. */\nexport type { AxisConvenience } from './core/regime-registry.js';\n/** The named inputs of the four bridge differentiation specs. */\nexport type { ShapiroInput, PerihelionInput, HawkingInput, DecoherenceInput } from './diff/bridge-specs.js';\n/** The contraction and free-axis records an einsum plan is made of. */\nexport type { EinsumContraction, EinsumFreeAxis } from './numerical/tensor-engine.js';\n/** The callbacks a Killing-equation check takes: the vector field, the metric and the connection. */\nexport type { KillingFn, KillingMetricFn, ChristoffelAtFn } from './numerical/killing.js';\n/** A relation's input contract and the sign and unit conventions it states. */\nexport type { RelationContract, Conventions } from './relations/types.js';\n/** The classification axes of the composition registry. */\nexport type {\n  ScaleAxis,\n  ForceAxis,\n  InformationAxis,\n  SymmetryAxis,\n  TopologyAxis,\n  StatisticsAxis,\n} from './composition/axes.js';\n/** Options of the chain enumerator. */\nexport type { EnumerationOptions } from './composition/enumerate.js';\n/** Options of the uncertainty propagation. */\nexport type { UncertaintyOptions } from './composition/uncertainty.js';\n/** Options of a user-equation analysis and the short form of a binding. */\nexport type { AnalyzeUserEquationOptions, ShortBinding } from './composition/user-equation.js';\n/** A constant as the canonical graph declares it. */\nexport type { ConstantDef } from './composition/canonical-graph.js';\n/** An identity consequence the surfacer proposes; never written to the catalog. */\nexport type { ProposedBridge } from './composition/proposed-bridges.js';\n/** Options of the discovery funnel. */\nexport type { DiscoveryOptions } from './composition/discovery.js';\n/** A representative value of a quantity with its source. */\nexport type { RepresentativeValue } from './composition/representative-values.js';\n/** A canonical prefactor, scalar or per dimensionless group, with its source. */\nexport type { SourcedPrefactor, SourcedGroupPrefactor } from './canonical/canonical-equation.js';\n"]}

package/dist/numerical/bianchi-residual.js.map

@@ -1 +1 @@
-{"version":3,"file":"bianchi-residual.js","sourceRoot":"","sources":["../../src/numerical/bianchi-residual.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AASH,OAAO,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAO/C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,MAAM,UAAU,eAAe,CAAC,CAAoB;IAKlD,MAAM,QAAQ,GAAwB,EAAE,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;IAE/E,MAAM,QAAQ,GAAkB,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE;QACvD,MAAM,MAAM,GAAG,MAAM,iBAAiB,CAAC,QAAoB,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;QACjF,OAAO,MAAM,CAAC,KAAK,CAAC;IACtB,CAAC,CAAC;IAEF,MAAM,WAAW,GAAG,KAAK,EACvB,MAAoB,EACpB,MAAuB,EACN,EAAE;QACnB,MAAM,KAAK,GAAG,MAAM,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAC7C,kEAAkE;QAClE,qEAAqE;QACrE,uEAAuE;QACvE,sCAAsC;QACtC,IAAI,GAAG,GAAG,CAAC,CAAC;QACZ,MAAM,IAAI,GAAG,CAAC,CAAkC,EAAQ,EAAE;YACxD,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;gBAC1B,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBACtB,IAAI,CAAC,GAAG,GAAG;oBAAE,GAAG,GAAG,CAAC,CAAC;gBACrB,OAAO;YACT,CAAC;YACD,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;gBACrB,KAAK,MAAM,CAAC,IAAI,CAAC;oBAAE,IAAI,CAAC,CAAC,CAAC,CAAC;gBAC3B,OAAO;YACT,CAAC;YACD,MAAM,IAAI,KAAK,CACb,iEAAiE;kBAC/D,6BAA6B,OAAO,CAAC,EAAE,CAC1C,CAAC;QACJ,CAAC,CAAC;QACF,IAAI,CAAC,KAAK,CAAC,CAAC;QACZ,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;IAEF,OAAO,EAAE,QAAQ,EAAE,QAAoB,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC;AACnE,CAAC"}
+{"version":3,"file":"bianchi-residual.js","sourceRoot":"","sources":["../../src/numerical/bianchi-residual.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AASH,OAAO,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAO/C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,MAAM,UAAU,eAAe,CAAC,CAAoB;IAKlD,MAAM,QAAQ,GAAwB,EAAE,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;IAE/E,MAAM,QAAQ,GAAkB,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE;QACvD,MAAM,MAAM,GAAG,MAAM,iBAAiB,CAAC,QAAoB,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;QACjF,OAAO,MAAM,CAAC,KAAK,CAAC;IACtB,CAAC,CAAC;IAEF,MAAM,WAAW,GAAG,KAAK,EACvB,MAAoB,EACpB,MAAuB,EACN,EAAE;QACnB,MAAM,KAAK,GAAG,MAAM,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAC7C,kEAAkE;QAClE,qEAAqE;QACrE,uEAAuE;QACvE,sCAAsC;QACtC,IAAI,GAAG,GAAG,CAAC,CAAC;QACZ,MAAM,IAAI,GAAG,CAAC,CAAkC,EAAQ,EAAE;YACxD,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;gBAC1B,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBACtB,IAAI,CAAC,GAAG,GAAG;oBAAE,GAAG,GAAG,CAAC,CAAC;gBACrB,OAAO;YACT,CAAC;YACD,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;gBACrB,KAAK,MAAM,CAAC,IAAI,CAAC;oBAAE,IAAI,CAAC,CAAC,CAAC,CAAC;gBAC3B,OAAO;YACT,CAAC;YACD,MAAM,IAAI,KAAK,CACb,iEAAiE;kBAC/D,6BAA6B,OAAO,CAAC,EAAE,CAC1C,CAAC;QACJ,CAAC,CAAC;QACF,IAAI,CAAC,KAAK,CAAC,CAAC;QACZ,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;IAEF,OAAO,EAAE,QAAQ,EAAE,QAAoB,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC;AACnE,CAAC","sourcesContent":["/**\n * Evaluator for the second-Bianchi-identity residual.\n *\n * The validators stay in `dimensional/curvature.ts`. This module holds the\n * constructor that calls `evaluateNumerical`, so `curvature.ts` does not\n * import `numerical`. `numerical/index.ts` does not import this file: that\n * edge would be a cycle, because this file imports `evaluateNumerical` from\n * the index.\n *\n * @module numerical/bianchi-residual\n */\n\nimport type {\n  BianchiResidualNode,\n  ExprNode,\n  RiemannTensorNode,\n} from '../dimensional/ast-types.js';\nimport type { TensorEngine } from './tensor-engine.js';\nimport type { NumericalInputs, NestedArray } from './types.js';\nimport { evaluateNumerical } from './index.js';\n\ntype LazyEvaluator = (\n  engine: TensorEngine,\n  inputs: NumericalInputs,\n) => Promise<NestedArray>;\n\n/**\n * Build the second-Bianchi-identity residual `B_{λμνρσ}` as a composite\n * object with both an AST representation and evaluator closures.\n *\n * **Return shape (deviates from `ricci()`/`einstein()`'s plain-ExprNode\n * return):** Bianchi is a 5-index residual tensor whose primary purpose is\n * to be EVALUATED and reduced to its max-absolute value. Callers that just\n * want the scalar self-consistency check use `evaluateMax`; callers that\n * want to inspect per-component residual structure use `evaluate`. The\n * underlying `residual: ExprNode` is exposed for downstream symbolic\n * consumers (validator, equation-homogeneity checks).\n *\n * **Convention.** Carroll Eq. 3.95 cyclic form on the first three lower\n * indices of the all-lower Riemann:\n *\n *   B_{λμνρσ} = ∇_λ R_{μνρσ} + ∇_μ R_{νλρσ} + ∇_ν R_{λμρσ} = 0\n *\n * **Implementation (Approach 1 — full ∇, not raw ∂).** Lowering computes\n * each `∇_λ R_{μνρσ}` term with full Christoffel corrections (one per lower\n * index of R), then sums cyclically. The lowered Riemann itself is computed\n * by lowering the upper-ρ of R^ρ_{σμν} on the JS side after the Riemann\n * lowering pipeline (Task 6) — no v0.3.0 `lower()` AST round-trip per FD\n * sample.\n *\n * **Numerical-noise discussion.** The cyclic sum involves one extra\n * coordinate-derivative on R_{μνρσ}, which itself sits on a ∂g→Γ→∂Γ→R FD\n * stack. Schwarzschild + de Sitter empirical residuals are reported in\n * `tests/dimensional/bianchi-residual.test.ts`; expected per-component\n * noise floor is ~1e-7 to 1e-8 — much looser than the Task 6 Riemann floor\n * (~8e-10) because of the extra FD layer.\n *\n * @public\n */\nexport function bianchiResidual(R: RiemannTensorNode): {\n  residual: ExprNode;\n  evaluate: LazyEvaluator;\n  evaluateMax: (engine: TensorEngine, inputs: NumericalInputs) => Promise<number>;\n} {\n  const residual: BianchiResidualNode = { kind: 'bianchi-residual', riemann: R };\n\n  const evaluate: LazyEvaluator = async (engine, inputs) => {\n    const result = await evaluateNumerical(residual as ExprNode, inputs, { engine });\n    return result.value;\n  };\n\n  const evaluateMax = async (\n    engine: TensorEngine,\n    inputs: NumericalInputs,\n  ): Promise<number> => {\n    const value = await evaluate(engine, inputs);\n    // Walk the 5-deep nested array (or any depth) and return max |x|.\n    // v0.5.1 TS-3: signature accepts `NestedArray` (the public type from\n    // evaluate()) plus a typed-array escape hatch; unexpected shapes throw\n    // rather than being silently ignored.\n    let max = 0;\n    const walk = (v: NestedArray | readonly number[]): void => {\n      if (typeof v === 'number') {\n        const a = Math.abs(v);\n        if (a > max) max = a;\n        return;\n      }\n      if (Array.isArray(v)) {\n        for (const c of v) walk(c);\n        return;\n      }\n      throw new Error(\n        `bianchiResidual.evaluateMax: unexpected value shape — expected `\n        + `number | NestedArray, got ${typeof v}`,\n      );\n    };\n    walk(value);\n    return max;\n  };\n\n  return { residual: residual as ExprNode, evaluate, evaluateMax };\n}\n"]}

package/dist/numerical/binding-value.d.ts

@@ -2,12 +2,17 @@
  * A binding value: a bare number, a number with a unit, or an expression of
  * registered constants and unit literals (`pi/2`, `0.6*c`, `2*1km`).
  *
- * The MathTS parser produces the node this module evaluates, so a unit
- * literal keeps its dimension. A bare `e` is the elementary charge.
- * Euler's number is `exp(x)`. A bare number, or an expression whose result is
- * dimensionless and contains no unit literal, is already in the caller's
- * unit. Anything else is an SI quantity: the caller converts it into the
- * declared unit when the dimensions agree.
+ * The MathTS parser produces the node this module reads. The number is the
+ * MathTS formula parser's, evaluated over the registered constants and the
+ * spliced unit literals; this module walks the same parse tree for the
+ * dimension and the cycle count only, so a unit literal keeps its dimension
+ * and there is one arithmetic. The scalar functions are the one table in
+ * `formula-contract.ts`, read for arity and dimension rule here and for the
+ * numeric body there. A bare `e` is the elementary charge. Euler's number is
+ * `exp(x)`. A bare number, or an expression whose result is dimensionless
+ * and contains no unit literal, is already in the caller's unit. Anything
+ * else is an SI quantity: the caller converts it into the declared unit when
+ * the dimensions agree.
  *
  * A unit literal is recognized only where it is glued to a number (`1km`,
  * `1h`, `1G`). A bare name is a constant (`h`, `G`, `c`), never that unit.

package/dist/numerical/binding-value.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"binding-value.d.ts","sourceRoot":"","sources":["../../src/numerical/binding-value.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAUH,OAAO,EAA4B,KAAK,QAAQ,EAAE,MAAM,iCAAiC,CAAC;AAG1F,OAAO,EAAsC,KAAK,SAAS,EAAE,MAAM,yBAAyB,CAAC;AAC7F,OAAO,EAOL,SAAS,EAET,KAAK,iBAAiB,EACtB,KAAK,kBAAkB,EACxB,MAAM,yBAAyB,CAAC;AAIjC,gKAAgK;AAChK,qBAAa,uBAAwB,SAAQ,SAAS;IACpD,YAAY,OAAO,EAAE,MAAM,EAG1B;CACF;AAED,+FAA+F;AAC/F,qBAAa,kBAAmB,SAAQ,SAAS;IAC/C,YAAY,OAAO,EAAE,MAAM,EAG1B;CACF;AAiFD,8EAA8E;AAC9E,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,oEAAoE;IACpE,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;IAC9B,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC;;;;OAIG;IACH,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,kEAAkE;IAClE,QAAQ,CAAC,MAAM,CAAC,EAAE,iBAAiB,CAAC;IACpC,6FAA6F;IAC7F,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC;CACnC;AAgQD,iFAAiF;AACjF,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED;;;;;;;;GAQG;AACH,wBAAgB,gBAAgB,CAC9B,IAAI,EAAE,MAAM,EACZ,GAAG,EAAE,MAAM,EACX,IAAI,CAAC,EAAE;IACL,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC;IACzB,QAAQ,CAAC,OAAO,CAAC,EAAE,kBAAkB,CAAC;IACtC,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,mBAAmB,EAAE,CAAC;IACnD,oGAAoG;IACpG,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;CAChC,GACA,YAAY,CAqDd;AAED;;;;GAIG;AACH,wBAAgB,WAAW,CACzB,GAAG,EAAE,MAAM,EACX,IAAI,CAAC,EAAE;IAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,kBAAkB,CAAA;CAAE,GACzE,YAAY,CAuCd;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAC3B,GAAG,EAAE,MAAM,EACX,MAAM,EAAE,MAAM,EACd,OAAO,GAAE,kBAA+B,EACxC,IAAI,GAAE,QAAe,GACpB;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,iBAAiB,CAAA;CAAE,CAc/E;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,GAAG;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,CAO3G"}
+{"version":3,"file":"binding-value.d.ts","sourceRoot":"","sources":["../../src/numerical/binding-value.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAUH,OAAO,EAA4B,KAAK,QAAQ,EAAE,MAAM,iCAAiC,CAAC;AAG1F,OAAO,EAAsC,KAAK,SAAS,EAAE,MAAM,yBAAyB,CAAC;AAC7F,OAAO,EAOL,SAAS,EAGT,KAAK,iBAAiB,EACtB,KAAK,kBAAkB,EACxB,MAAM,yBAAyB,CAAC;AAKjC,gKAAgK;AAChK,qBAAa,uBAAwB,SAAQ,SAAS;IACpD,YAAY,OAAO,EAAE,MAAM,EAG1B;CACF;AAED,+FAA+F;AAC/F,qBAAa,kBAAmB,SAAQ,SAAS;IAC/C,YAAY,OAAO,EAAE,MAAM,EAG1B;CACF;AAiFD,8EAA8E;AAC9E,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,oEAAoE;IACpE,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;IAC9B,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC;;;;OAIG;IACH,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,kEAAkE;IAClE,QAAQ,CAAC,MAAM,CAAC,EAAE,iBAAiB,CAAC;IACpC,6FAA6F;IAC7F,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC;CACnC;AA0QD,iFAAiF;AACjF,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED;;;;;;;;GAQG;AACH,wBAAgB,gBAAgB,CAC9B,IAAI,EAAE,MAAM,EACZ,GAAG,EAAE,MAAM,EACX,IAAI,CAAC,EAAE;IACL,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC;IACzB,QAAQ,CAAC,OAAO,CAAC,EAAE,kBAAkB,CAAC;IACtC,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,mBAAmB,EAAE,CAAC;IACnD,oGAAoG;IACpG,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;CAChC,GACA,YAAY,CAuDd;AAED;;;;GAIG;AACH,wBAAgB,WAAW,CACzB,GAAG,EAAE,MAAM,EACX,IAAI,CAAC,EAAE;IAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,kBAAkB,CAAA;CAAE,GACzE,YAAY,CAwCd;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAC3B,GAAG,EAAE,MAAM,EACX,MAAM,EAAE,MAAM,EACd,OAAO,GAAE,kBAA+B,EACxC,IAAI,GAAE,QAAe,GACpB;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,iBAAiB,CAAA;CAAE,CAc/E;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,GAAG;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,CAO3G"}

package/dist/numerical/binding-value.js

@@ -2,12 +2,17 @@
  * A binding value: a bare number, a number with a unit, or an expression of
  * registered constants and unit literals (`pi/2`, `0.6*c`, `2*1km`).
  *
- * The MathTS parser produces the node this module evaluates, so a unit
- * literal keeps its dimension. A bare `e` is the elementary charge.
- * Euler's number is `exp(x)`. A bare number, or an expression whose result is
- * dimensionless and contains no unit literal, is already in the caller's
- * unit. Anything else is an SI quantity: the caller converts it into the
- * declared unit when the dimensions agree.
+ * The MathTS parser produces the node this module reads. The number is the
+ * MathTS formula parser's, evaluated over the registered constants and the
+ * spliced unit literals; this module walks the same parse tree for the
+ * dimension and the cycle count only, so a unit literal keeps its dimension
+ * and there is one arithmetic. The scalar functions are the one table in
+ * `formula-contract.ts`, read for arity and dimension rule here and for the
+ * numeric body there. A bare `e` is the elementary charge. Euler's number is
+ * `exp(x)`. A bare number, or an expression whose result is dimensionless
+ * and contains no unit literal, is already in the caller's unit. Anything
+ * else is an SI quantity: the caller converts it into the declared unit when
+ * the dimensions agree.
  *
  * A unit literal is recognized only where it is glued to a number (`1km`,
  * `1h`, `1G`). A bare name is a constant (`h`, `G`, `c`), never that unit.
@@ -24,9 +29,10 @@ import { naturalConstantOverrides } from '../dimensional/natural-units.js';
 import { CONSTANT_REGISTRY, constantRecord } from '../dimensional/symbolic-constants.js';
 import { divide, equals, format, multiply, power } from '../dimensional/algebra.js';
 import { DIMENSIONLESS, ENERGY, TEMPERATURE } from '../dimensional/types.js';
-import { AmbiguousUnitError, convertValue, parseUnit, readQuantityLiteral, readUnit, unitConventionNotes, UnitError, UnitRefusedError, } from '../dimensional/units.js';
-import { callBuiltinFunction, EulerNumberError, FormulaError } from './formula-contract.js';
-import { parseFormulaPNode, UnsupportedSyntaxError } from './formula-dimension.js';
+import { AmbiguousUnitError, convertValue, parseUnit, readQuantityLiteral, readUnit, unitConventionNotes, UnitError, UnitRefusedError, UnknownUnitError, } from '../dimensional/units.js';
+import { arityMessage, EulerNumberError, FormulaError, SCALAR_FUNCTIONS, unknownFunctionMessage } from './formula-contract.js';
+import { constantExponent, parseFormulaPNode, UnsupportedSyntaxError } from './formula-dimension.js';
+import { mathtsFormulaParser } from './formula-mathts.js';
 /** A value on a temperature slot has a dimension that is neither a temperature nor an energy, or a temperature was read onto a dimensionless slot. @internal */
 export class TemperatureBindingError extends UnitError {
     constructor(message) {
@@ -111,7 +117,8 @@ function boltzmannBindingScale(pending) {
     }
     return K_B_SI;
 }
-const GLUED_NUMBER = /(?:\d+\.?\d*|\.\d+)(?:[eE][+-]?\d+)?/g;
+/** A number glued to a unit; `spliceUnits` builds its own global copy. */
+const GLUED_NUMBER = /(?:\d+\.?\d*|\.\d+)(?:[eE][+-]?\d+)?/;
 function finite(raw, value) {
     if (!Number.isFinite(value))
         throw new BindingNumberError(`'${raw}' is not a finite number`);
@@ -131,10 +138,6 @@ function scopeFor(mode) {
     }
     return m;
 }
-/** A unit the parser recognized and refused, rather than a prefix that is not a unit. */
-function unitRefusal(e) {
-    return e instanceof UnitRefusedError || e instanceof AmbiguousUnitError ? e : null;
-}
 /** The text has an operator, so it is an expression rather than a lone word. */
 const hasOperator = (text) => /[+\-*/^()]/.test(text);
 /** The longest unit expression at the start of `rest`, or null. */
@@ -157,10 +160,11 @@ function longestUnit(rest) {
             best = prefix;
         }
         catch (e) {
-            const refused = unitRefusal(e);
-            if (refused !== null)
-                throw refused;
-            // A longer prefix may still be a unit (`m` then `m/s`, `M` then `Msun`).
+            // An unknown unit at this length: a longer prefix may still be one
+            // (`m` then `m/s`, `M` then `Msun`). A refused or ambiguous unit, and
+            // anything that is not a unit error, propagates.
+            if (!(e instanceof UnknownUnitError))
+                throw e;
         }
     }
     return best;
@@ -201,138 +205,130 @@ function spliceUnits(src) {
     out += src.slice(last);
     return { expr: out, slots, notes };
 }
-function evalAst(node, scope, slots) {
+/**
+ * An exponent is a dimensionless numeric constant (`2`, `-1`, `1/2`); its
+ * value raises the base's dimension. The number of the whole expression is
+ * MathTS's, so this is the one place a value is folded here, and it is the
+ * same folding the formula dimension checker uses.
+ */
+function exponentValue(node, scope, slots) {
+    const exp = dimensionWalk(node, scope, slots);
+    const value = constantExponent(node);
+    if (!equals(exp.dim, DIMENSIONLESS) || value === undefined) {
+        throw new UnitError('an exponent must be a dimensionless number');
+    }
+    return value;
+}
+/**
+ * The dimension and cycle count of a parse tree, by the dimensional rules of
+ * each node and the one function table. No number is computed here except an
+ * exponent's; unknown names, unlike sums and dimensioned transcendental
+ * arguments are refused.
+ */
+function dimensionWalk(node, scope, slots) {
     switch (node.kind) {
         case 'num':
-            return { value: node.value, dim: DIMENSIONLESS, cycles: 0 };
+            return { dim: DIMENSIONLESS, cycles: 0 };
         case 'sym': {
             if (node.name === 'euler')
                 throw new EulerNumberError();
-            const slot = slots.get(node.name);
-            if (slot !== undefined)
-                return slot;
-            const known = scope.get(node.name);
-            if (known !== undefined)
-                return known;
-            throw new UnknownNameError(node.name);
-        }
-        case 'neg': {
-            const a = evalAst(node.arg, scope, slots);
-            return { value: -a.value, dim: a.dim, cycles: a.cycles };
+            const known = slots.get(node.name) ?? scope.get(node.name);
+            if (known === undefined)
+                throw new UnknownNameError(node.name);
+            return { dim: known.dim, cycles: known.cycles };
         }
+        case 'neg':
+            return dimensionWalk(node.arg, scope, slots);
         case 'op':
-            return evalOp(node.op, node.args.map((a) => evalAst(a, scope, slots)));
+            return dimensionOfOp(node.op, node.args.map((a) => dimensionWalk(a, scope, slots)));
         case 'pow': {
-            const base = evalAst(node.base, scope, slots);
-            const exp = evalAst(node.exp, scope, slots);
-            if (!equals(exp.dim, DIMENSIONLESS))
-                throw new UnitError('an exponent must be dimensionless');
-            return { value: Math.pow(base.value, exp.value), dim: power(base.dim, exp.value), cycles: base.cycles * exp.value };
+            const base = dimensionWalk(node.base, scope, slots);
+            const n = exponentValue(node.exp, scope, slots);
+            return { dim: power(base.dim, n), cycles: base.cycles * n };
         }
         case 'call':
-            if (node.fn === 'euler')
-                throw new EulerNumberError();
-            return evalCall(node.fn, node.args.map((a) => evalAst(a, scope, slots)));
+            return dimensionOfCall(node.fn, node.args, scope, slots);
     }
 }
-function evalOp(op, args) {
-    if (args.length === 0)
+function dimensionOfOp(op, args) {
+    const first = args[0];
+    if (first === undefined)
         throw new UnitError(`cannot ${op}`);
     if (op === '+' || op === '-') {
-        const first = args[0];
-        if (args.length === 1) {
-            return op === '-' ? { value: -first.value, dim: first.dim, cycles: first.cycles } : first;
-        }
-        let value = first.value;
         let cycles = first.cycles;
         for (const next of args.slice(1)) {
             if (!equals(first.dim, next.dim)) {
                 throw new UnitError(`cannot ${op === '+' ? 'add' : 'subtract'} ${format(first.dim)} and ${format(next.dim)}`);
             }
-            value = op === '+' ? value + next.value : value - next.value;
             // A sum of a cycle rate and a plain rate has no single cycle count.
             if (next.cycles !== cycles)
                 cycles = Number.NaN;
         }
-        return { value, dim: first.dim, cycles };
-    }
-    if (op === '*') {
-        let value = 1;
-        let dim = DIMENSIONLESS;
-        let cycles = 0;
-        for (const a of args) {
-            value *= a.value;
-            dim = multiply(dim, a.dim);
-            cycles += a.cycles;
-        }
-        return { value, dim, cycles };
+        return { dim: first.dim, cycles };
     }
-    let value = args[0].value;
-    let dim = args[0].dim;
-    let cycles = args[0].cycles;
-    for (const next of args.slice(1)) {
-        value /= next.value;
-        dim = divide(dim, next.dim);
-        cycles -= next.cycles;
+    let dim = op === '*' ? DIMENSIONLESS : first.dim;
+    let cycles = op === '*' ? 0 : first.cycles;
+    for (const a of op === '*' ? args : args.slice(1)) {
+        dim = op === '*' ? multiply(dim, a.dim) : divide(dim, a.dim);
+        cycles = op === '*' ? cycles + a.cycles : cycles - a.cycles;
     }
-    return { value, dim, cycles };
+    return { dim, cycles };
 }
-function evalCall(fn, args) {
-    if (fn === 'sqrt' || fn === 'cbrt') {
-        if (args.length !== 1)
-            throw new UnitError(`${fn} expected 1 argument`);
-        const n = fn === 'sqrt' ? 0.5 : 1 / 3;
-        const value = fn === 'sqrt' ? Math.sqrt(args[0].value) : Math.cbrt(args[0].value);
-        return { value, dim: power(args[0].dim, n), cycles: args[0].cycles * n };
-    }
-    if (fn === 'abs') {
-        if (args.length !== 1)
-            throw new UnitError('abs expected 1 argument');
-        return { value: Math.abs(args[0].value), dim: args[0].dim, cycles: args[0].cycles };
-    }
-    if (fn === 'pow') {
-        if (args.length !== 2)
-            throw new UnitError('pow expects 2 arguments');
-        if (!equals(args[1].dim, DIMENSIONLESS))
-            throw new UnitError('an exponent must be dimensionless');
-        return {
-            value: Math.pow(args[0].value, args[1].value),
-            dim: power(args[0].dim, args[1].value),
-            cycles: args[0].cycles * args[1].value,
-        };
-    }
-    if (fn === 'atan2') {
-        if (args.length !== 2)
-            throw new UnitError('atan2 expects 2 arguments');
-        if (!equals(args[0].dim, args[1].dim))
-            throw new UnitError('atan2 arguments must have the same dimension');
-        return { value: Math.atan2(args[0].value, args[1].value), dim: DIMENSIONLESS, cycles: 0 };
-    }
-    for (const a of args) {
-        if (!equals(a.dim, DIMENSIONLESS))
-            throw new UnitError(`${fn} expects a dimensionless argument`);
+/** A call, by the one table's arity and dimension rule. */
+function dimensionOfCall(fn, args, scope, slots) {
+    if (fn === 'euler')
+        throw new EulerNumberError();
+    const spec = SCALAR_FUNCTIONS[fn];
+    if (spec === undefined)
+        throw new UnitError(unknownFunctionMessage(fn));
+    if (args.length !== spec.arity)
+        throw new UnitError(arityMessage(fn, spec.arity));
+    const rule = spec.dimension;
+    const first = dimensionWalk(args[0], scope, slots);
+    switch (rule.kind) {
+        case 'root':
+            return { dim: power(first.dim, rule.power), cycles: first.cycles * rule.power };
+        case 'same':
+            return first;
+        case 'transcendental':
+            if (!equals(first.dim, DIMENSIONLESS))
+                throw new UnitError(`${fn} expects a dimensionless argument`);
+            return { dim: DIMENSIONLESS, cycles: 0 };
+        case 'power': {
+            const n = exponentValue(args[1], scope, slots);
+            return { dim: power(first.dim, n), cycles: first.cycles * n };
+        }
+        case 'ratio': {
+            const second = dimensionWalk(args[1], scope, slots);
+            if (!equals(first.dim, second.dim))
+                throw new UnitError(`${fn} arguments must have the same dimension`);
+            return { dim: DIMENSIONLESS, cycles: 0 };
+        }
     }
+}
+/**
+ * The number of a spliced expression: the MathTS formula parser over the
+ * registered constants and the unit slots. The dimension walk has already
+ * refused unknown names, so a failure here is a non-finite result.
+ */
+function numberOf(raw, expr, scope, slots) {
+    const values = {};
+    for (const [name, qty] of scope)
+        values[name] = qty.value;
+    for (const [name, qty] of slots)
+        values[name] = qty.value;
     try {
-        return { value: callBuiltinFunction(fn, args.map((a) => a.value)), dim: DIMENSIONLESS, cycles: 0 };
+        return mathtsFormulaParser.parse(expr).evaluate(values);
     }
     catch (e) {
         if (e instanceof FormulaError)
-            throw new UnitError(e.message);
+            throw new BindingNumberError(`'${raw}' is not a finite number`);
         throw e;
     }
 }
 /** The literal path: a number with an optional unit, read exactly by the one unit reader. */
 function literalBinding(raw, reading) {
-    let literal;
-    try {
-        literal = readQuantityLiteral(raw, reading);
-    }
-    catch (e) {
-        const refused = unitRefusal(e);
-        if (refused !== null)
-            throw refused;
-        throw e;
-    }
+    const literal = readQuantityLiteral(raw, reading);
     if (literal === null)
         return null;
     return {
@@ -367,6 +363,10 @@ function declaredUnitReading(raw, target, reading) {
     catch (error) {
         if (error instanceof AmbiguousUnitError)
             throw error;
+        // A unit the reader could not match to the target is the "not this
+        // reading" outcome; anything that is not a unit error propagates.
+        if (!(error instanceof UnitError))
+            throw error;
         return undefined;
     }
 }
@@ -397,8 +397,11 @@ export function readNamedBinding(name, raw, opts) {
         try {
             pending.push({ name: sibling.name, read: readBinding(sibling.raw, { mode, reading }) });
         }
-        catch {
-            // A sibling that does not parse is that sibling's own error.
+        catch (error) {
+            // A sibling that does not read as a value is that sibling's own error,
+            // reported where it is read. A programming error propagates.
+            if (!(error instanceof UnitError))
+                throw error;
         }
     }
     const declaredDim = declared !== undefined && declared !== '' ? parseUnit(declared).dim : undefined;
@@ -464,9 +467,10 @@ export function readBinding(raw, opts) {
         }
         throw e;
     }
-    let qty;
+    const scope = scopeFor(mode);
+    let shape;
     try {
-        qty = evalAst(ast, scopeFor(mode), spliced.slots);
+        shape = dimensionWalk(ast, scope, spliced.slots);
     }
     catch (e) {
         if (e instanceof UnknownNameError && spliced.slots.size === 0 && !hasOperator(trimmed))
@@ -474,11 +478,11 @@ export function readBinding(raw, opts) {
         throw e;
     }
     return {
-        value: finite(trimmed, qty.value),
-        dimensioned: spliced.slots.size > 0 || !equals(qty.dim, DIMENSIONLESS),
-        dimension: qty.dim,
+        value: finite(trimmed, numberOf(trimmed, spliced.expr, scope, spliced.slots)),
+        dimensioned: spliced.slots.size > 0 || !equals(shape.dim, DIMENSIONLESS),
+        dimension: shape.dim,
         notes: spliced.notes,
-        cycles: qty.cycles,
+        cycles: shape.cycles,
     };
 }
 /**