universal-physics-tensor 0.4.5 → 0.5.0

package/dist/dimensional/bridge-check.d.ts

@@ -29,6 +29,12 @@ import { ExprNode } from './validator.js';
  * Entries with bracketed-product signatures (e.g. BE-19 `[T^-2]`,
  * BE-47 `[L^-3 T^-1]`) require a constructed `Dimension` literal — see
  * `T_INV2` and `INV_VOLUME_PER_TIME` above for the pattern.
+ *
+ * Not imported by any internal UPT module; exposed for downstream
+ * consumers who want to enumerate bridge dimensional expectations.
+ *
+ * @internal — may change without a semver bump as more bridges gain
+ * machine-evaluable ASTs.
  */
 export declare const EXPECTED_DIMENSION_BY_BRIDGE: ReadonlyMap<number, Dimension>;
 /**

package/dist/dimensional/bridge-check.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"bridge-check.d.ts","sourceRoot":"","sources":["../../src/dimensional/bridge-check.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EACL,SAAS,EAWV,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,QAAQ,EAAY,MAAM,gBAAgB,CAAC;AAqDpD;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,4BAA4B,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,CAyCtE,CAAC;AAEH;;;;;;;;;;;;GAYG;AACH,wBAAgB,uBAAuB,CACrC,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,QAAQ,GACb,SAAS,GAAG,IAAI,CAQlB"}
+{"version":3,"file":"bridge-check.d.ts","sourceRoot":"","sources":["../../src/dimensional/bridge-check.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EACL,SAAS,EAWV,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,QAAQ,EAAY,MAAM,gBAAgB,CAAC;AAqDpD;;;;;;;;;;;;;;;;;;GAkBG;AACH,eAAO,MAAM,4BAA4B,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,CAyCtE,CAAC;AAEH;;;;;;;;;;;;GAYG;AACH,wBAAgB,uBAAuB,CACrC,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,QAAQ,GACb,SAAS,GAAG,IAAI,CAQlB"}

package/dist/dimensional/bridge-check.js

@@ -68,6 +68,12 @@ const SOFT_HAIR_L2_SQUARED = {
  * Entries with bracketed-product signatures (e.g. BE-19 `[T^-2]`,
  * BE-47 `[L^-3 T^-1]`) require a constructed `Dimension` literal — see
  * `T_INV2` and `INV_VOLUME_PER_TIME` above for the pattern.
+ *
+ * Not imported by any internal UPT module; exposed for downstream
+ * consumers who want to enumerate bridge dimensional expectations.
+ *
+ * @internal — may change without a semver bump as more bridges gain
+ * machine-evaluable ASTs.
  */
 export const EXPECTED_DIMENSION_BY_BRIDGE = new Map([
     [11, FREQUENCY],

package/dist/dimensional/bridge-check.js.map

@@ -1 +1 @@
-{"version":3,"file":"bridge-check.js","sourceRoot":"","sources":["../../src/dimensional/bridge-check.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EAEL,aAAa,EACb,MAAM,EACN,OAAO,EACP,SAAS,EACT,IAAI,EACJ,IAAI,EACJ,MAAM,EACN,IAAI,EACJ,KAAK,EACL,WAAW,GACZ,MAAM,YAAY,CAAC;AACpB,OAAO,EAAY,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AACpD,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,cAAc,CAAC;AAEvD,uEAAuE;AACvE,MAAM,MAAM,GAAc,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AAE5E,8EAA8E;AAC9E,MAAM,mBAAmB,GAAc,QAAQ,CAC7C,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EACjB,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAClD,CAAC;AAEF,mFAAmF;AACnF,MAAM,WAAW,GAAc;IAC7B,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC/C,CAAC;AAEF,gGAAgG;AAChG,MAAM,QAAQ,GAAc,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;AAE7C,6FAA6F;AAC7F,MAAM,YAAY,GAAc,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;AAElD,oFAAoF;AACpF,MAAM,sBAAsB,GAAc;IACxC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC7C,CAAC;AAEF,2FAA2F;AAC3F,MAAM,YAAY,GAAc;IAC9B,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC9C,CAAC;AAEF;;;;;GAKG;AACH,MAAM,oBAAoB,GAAc;IACtC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC/C,CAAC;AAEF;;;;;GAKG;AACH,MAAM,oBAAoB,GAAc;IACtC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC9C,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAAmC,IAAI,GAAG,CAAoB;IACrG,CAAC,EAAE,EAAE,SAAS,CAAC;IACf,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,oFAAoF;IAClG,CAAC,EAAE,EAAE,YAAY,CAAC,EAAE,4EAA4E;IAChG,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,uEAAuE;IACrF,CAAC,EAAE,EAAE,OAAO,CAAC;IACb,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,gPAAgP;IAC5P,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,wSAAwS;IACtT,CAAC,EAAE,EAAE,oBAAoB,CAAC,EAAE,+GAA+G;IAC3I,CAAC,EAAE,EAAE,MAAM,CAAC;IACZ,CAAC,EAAE,EAAE,YAAY,CAAC,EAAE,yFAAyF;IAC7G,CAAC,EAAE,EAAE,sBAAsB,CAAC,EAAE,6EAA6E;IAC3G,CAAC,EAAE,EAAE,aAAa,CAAC;IACnB,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,gGAAgG;IACnH,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,0EAA0E;IAC/F,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,oXAAoX;IACzY,CAAC,EAAE,EAAE,SAAS,CAAC;IACf,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,oGAAoG;IACvH,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,iUAAiU;IAC3X,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,qFAAqF;IACnG,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,0DAA0D;IAC/E,CAAC,EAAE,EAAE,YAAY,CAAC,EAAE,yHAAyH;IAC7I,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,+FAA+F;IACpH,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,sEAAsE;IACpF,CAAC,EAAE,EAAE,aAAa,CAAC;IACnB,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,wGAAwG;IAC7H,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,8EAA8E;IACnG,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,gSAAgS;IAC5S,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,yDAAyD;IACtE,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,+FAA+F;IACpH,CAAC,EAAE,EAAE,QAAQ,CAAC,EAAE,wFAAwF;IACxG,CAAC,EAAE,EAAE,IAAI,CAAC;IACV,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,wEAAwE;IAC3F,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,oEAAoE;IACnF,CAAC,EAAE,EAAE,oBAAoB,CAAC,EAAE,0NAA0N;IACtP,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,uFAAuF;IAC5G,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,wFAAwF;IAC7G,CAAC,EAAE,EAAE,mBAAmB,CAAC;IACzB,CAAC,EAAE,EAAE,SAAS,CAAC,EAAE,yFAAyF;IAC1G,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,4EAA4E;IACjG,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,uGAAuG;CAC7H,CAAC,CAAC;AAEH;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,uBAAuB,CACrC,QAAgB,EAChB,IAAc;IAEd,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IACzB,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,iBAAiB,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACvD,MAAM,QAAQ,GAAG,4BAA4B,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC5D,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,iBAAiB,EAAE,QAAQ,CAAC,EAAE,CAAC;QACrE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,CAAC,CAAC,iBAAiB,CAAC;AAC7B,CAAC"}
+{"version":3,"file":"bridge-check.js","sourceRoot":"","sources":["../../src/dimensional/bridge-check.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EAEL,aAAa,EACb,MAAM,EACN,OAAO,EACP,SAAS,EACT,IAAI,EACJ,IAAI,EACJ,MAAM,EACN,IAAI,EACJ,KAAK,EACL,WAAW,GACZ,MAAM,YAAY,CAAC;AACpB,OAAO,EAAY,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AACpD,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,cAAc,CAAC;AAEvD,uEAAuE;AACvE,MAAM,MAAM,GAAc,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AAE5E,8EAA8E;AAC9E,MAAM,mBAAmB,GAAc,QAAQ,CAC7C,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EACjB,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAClD,CAAC;AAEF,mFAAmF;AACnF,MAAM,WAAW,GAAc;IAC7B,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC/C,CAAC;AAEF,gGAAgG;AAChG,MAAM,QAAQ,GAAc,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;AAE7C,6FAA6F;AAC7F,MAAM,YAAY,GAAc,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;AAElD,oFAAoF;AACpF,MAAM,sBAAsB,GAAc;IACxC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC7C,CAAC;AAEF,2FAA2F;AAC3F,MAAM,YAAY,GAAc;IAC9B,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC9C,CAAC;AAEF;;;;;GAKG;AACH,MAAM,oBAAoB,GAAc;IACtC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC/C,CAAC;AAEF;;;;;GAKG;AACH,MAAM,oBAAoB,GAAc;IACtC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC9C,CAAC;AAEF;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAAmC,IAAI,GAAG,CAAoB;IACrG,CAAC,EAAE,EAAE,SAAS,CAAC;IACf,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,oFAAoF;IAClG,CAAC,EAAE,EAAE,YAAY,CAAC,EAAE,4EAA4E;IAChG,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,uEAAuE;IACrF,CAAC,EAAE,EAAE,OAAO,CAAC;IACb,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,gPAAgP;IAC5P,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,wSAAwS;IACtT,CAAC,EAAE,EAAE,oBAAoB,CAAC,EAAE,+GAA+G;IAC3I,CAAC,EAAE,EAAE,MAAM,CAAC;IACZ,CAAC,EAAE,EAAE,YAAY,CAAC,EAAE,yFAAyF;IAC7G,CAAC,EAAE,EAAE,sBAAsB,CAAC,EAAE,6EAA6E;IAC3G,CAAC,EAAE,EAAE,aAAa,CAAC;IACnB,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,gGAAgG;IACnH,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,0EAA0E;IAC/F,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,oXAAoX;IACzY,CAAC,EAAE,EAAE,SAAS,CAAC;IACf,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,oGAAoG;IACvH,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,iUAAiU;IAC3X,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,qFAAqF;IACnG,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,0DAA0D;IAC/E,CAAC,EAAE,EAAE,YAAY,CAAC,EAAE,yHAAyH;IAC7I,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,+FAA+F;IACpH,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,sEAAsE;IACpF,CAAC,EAAE,EAAE,aAAa,CAAC;IACnB,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,wGAAwG;IAC7H,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,8EAA8E;IACnG,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,gSAAgS;IAC5S,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,yDAAyD;IACtE,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,+FAA+F;IACpH,CAAC,EAAE,EAAE,QAAQ,CAAC,EAAE,wFAAwF;IACxG,CAAC,EAAE,EAAE,IAAI,CAAC;IACV,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,wEAAwE;IAC3F,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,oEAAoE;IACnF,CAAC,EAAE,EAAE,oBAAoB,CAAC,EAAE,0NAA0N;IACtP,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,uFAAuF;IAC5G,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,wFAAwF;IAC7G,CAAC,EAAE,EAAE,mBAAmB,CAAC;IACzB,CAAC,EAAE,EAAE,SAAS,CAAC,EAAE,yFAAyF;IAC1G,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,4EAA4E;IACjG,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,uGAAuG;CAC7H,CAAC,CAAC;AAEH;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,uBAAuB,CACrC,QAAgB,EAChB,IAAc;IAEd,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IACzB,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,iBAAiB,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACvD,MAAM,QAAQ,GAAG,4BAA4B,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC5D,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,iBAAiB,EAAE,QAAQ,CAAC,EAAE,CAAC;QACrE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,CAAC,CAAC,iBAAiB,CAAC;AAC7B,CAAC"}

package/dist/dimensional/connection-validators.d.ts

@@ -5,14 +5,22 @@
  * function returning a local `{dim, freeIndices, role?}` carrier that
  * validator.ts merges into its InferContext accumulator.
  *
- * Per docs/specification/Part-IX-Connection-Layer.md (to be written in
- * Task 18) and v0.4.0-Design.md §4 + §7.
+ * Per v0.4.0-Design.md §4 + §7 (docs/specification/Part-IX-Connection-Layer.md
+ * not yet written as of v0.4.6).
  *
  * @module dimensional/connection-validators
  */
 import type { Dimension } from './types.js';
-import type { Role } from './tensor.js';
+import type { Role, TensorSymbolNode } from './tensor.js';
 import type { MetricTensorNode, CovariantIndex, PartialDerivativeChildResult } from './metric-validators.js';
+/**
+ * v0.5.0: upper-only index marker (mirror of CovariantIndex). Used by
+ * RiemannTensorNode to type-pin the ρ slot at compile time.
+ */
+export interface UpperIndex {
+    readonly label: string;
+    readonly variance: 'upper';
+}
 /**
  * ExprNode-like — uses `unknown` for `of`/`wrt` because connection-validators.ts
  * MUST NOT import from validator.ts (module cycle). The validator's case arm
@@ -50,4 +58,54 @@ export interface CovariantDerivativeValidationResult {
  * (same structural rule as tensor-partial-derivative).
  */
 export declare function validateCovariantDerivative(node: CovariantDerivativeNode, validateChild: (child: unknown) => PartialDerivativeChildResult): CovariantDerivativeValidationResult;
+/**
+ * v0.5.0 (Task 1c-i): Riemann curvature tensor AST node R^ρ_{σμν}.
+ *
+ * Index convention per Carroll Ch. 3 §3.4 (Adam+Eve F4/S3):
+ *   R^ρ_σμν = ∂_μ Γ^ρ_σν − ∂_ν Γ^ρ_σμ + Γ^ρ_λμ Γ^λ_σν − Γ^ρ_λν Γ^λ_σμ
+ * (σ in SECOND lower slot of each Γ.)
+ *
+ * Dimension F8/I3: Riemann is 1/L² (inverse length squared), NOT
+ * dimensionless. Carroll Ch. 3 §3.4: R^ρ_σμν has units of (∂Γ) where
+ * Γ ~ 1/L and ∂ ~ 1/L → R ~ 1/L².
+ *
+ * H1 (v0.4.0 pattern): gLower, gInverse, xCoord sub-nodes are present for
+ * downstream consumers (numerical lowering at Task 6), but their free
+ * indices are NOT propagated — the Riemann formula's contractions consume
+ * them internally. Same rule as CovariantDerivativeNode.
+ */
+export interface RiemannTensorNode {
+    readonly kind: 'riemann-tensor';
+    readonly upperIndex: UpperIndex;
+    readonly lowerIndices: readonly [CovariantIndex, CovariantIndex, CovariantIndex];
+    readonly gLower: MetricTensorNode;
+    readonly gInverse: MetricTensorNode;
+    readonly xCoord: TensorSymbolNode;
+}
+export interface RiemannTensorValidationResult {
+    readonly dim: Dimension;
+    readonly freeIndices: Map<string, {
+        upper: number;
+        lower: number;
+    }>;
+}
+/**
+ * Validate a riemann-tensor node.
+ *
+ * Throws:
+ *   - PartialDerivativeIndexVarianceError if upperIndex.variance !== 'upper'
+ *     or any lowerIndices[i].variance !== 'lower'
+ *   - MetricSignatureError if gLower / gInverse signature is wrong (reuses
+ *     CovariantDerivativeNode's structural checks)
+ *   - IndexLabelCollisionError if the 4 free-index labels {ρ, σ, μ, ν} are
+ *     not pairwise distinct (M9: disjointness only on the riemann node's
+ *     own free labels; raise/lower aliasing in surrounding algebra remains
+ *     legal — we do NOT compare against gLower/gInverse/xCoord labels).
+ *
+ * H1 (v0.4.0 pattern): gLower/gInverse/xCoord are NOT validated via the
+ * validateChild callback, so their free indices do not propagate. They are
+ * signature-checked here for early structural error reporting; their
+ * numerical contents are consumed by Task 6's lowering helper.
+ */
+export declare function validateRiemannTensor(node: RiemannTensorNode): RiemannTensorValidationResult;
 //# sourceMappingURL=connection-validators.d.ts.map

package/dist/dimensional/connection-validators.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"connection-validators.d.ts","sourceRoot":"","sources":["../../src/dimensional/connection-validators.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,aAAa,CAAC;AAExC,OAAO,KAAK,EACV,gBAAgB,EAChB,cAAc,EACd,4BAA4B,EAC7B,MAAM,wBAAwB,CAAC;AAOhC;;;;GAIG;AACH,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,IAAI,EAAE,sBAAsB,CAAC;IACtC,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAClC,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAC;IAClC,QAAQ,CAAC,QAAQ,EAAE,gBAAgB,CAAC;CACrC;AAED,MAAM,WAAW,mCAAmC;IAClD,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IACxB,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACpE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC;CACtB;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,2BAA2B,CACzC,IAAI,EAAE,uBAAuB,EAC7B,aAAa,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,4BAA4B,GAC9D,mCAAmC,CAsErC"}
+{"version":3,"file":"connection-validators.d.ts","sourceRoot":"","sources":["../../src/dimensional/connection-validators.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,KAAK,EAAE,IAAI,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAE1D,OAAO,KAAK,EACV,gBAAgB,EAChB,cAAc,EACd,4BAA4B,EAC7B,MAAM,wBAAwB,CAAC;AAQhC;;;GAGG;AACH,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC5B;AAED;;;;GAIG;AACH,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,IAAI,EAAE,sBAAsB,CAAC;IACtC,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAClC,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAC;IAClC,QAAQ,CAAC,QAAQ,EAAE,gBAAgB,CAAC;CACrC;AAED,MAAM,WAAW,mCAAmC;IAClD,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IACxB,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACpE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC;CACtB;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,2BAA2B,CACzC,IAAI,EAAE,uBAAuB,EAC7B,aAAa,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,4BAA4B,GAC9D,mCAAmC,CAqErC;AAMD;;;;;;;;;;;;;;;GAeG;AACH,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAChC,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;IAChC,QAAQ,CAAC,YAAY,EAAE,SAAS,CAAC,cAAc,EAAE,cAAc,EAAE,cAAc,CAAC,CAAC;IACjF,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAC;IAClC,QAAQ,CAAC,QAAQ,EAAE,gBAAgB,CAAC;IACpC,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAC;CACnC;AAED,MAAM,WAAW,6BAA6B;IAC5C,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IACxB,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CACrE;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,iBAAiB,GACtB,6BAA6B,CAyE/B"}

package/dist/dimensional/connection-validators.js

@@ -5,13 +5,13 @@
  * function returning a local `{dim, freeIndices, role?}` carrier that
  * validator.ts merges into its InferContext accumulator.
  *
- * Per docs/specification/Part-IX-Connection-Layer.md (to be written in
- * Task 18) and v0.4.0-Design.md §4 + §7.
+ * Per v0.4.0-Design.md §4 + §7 (docs/specification/Part-IX-Connection-Layer.md
+ * not yet written as of v0.4.6).
  *
  * @module dimensional/connection-validators
  */
 import { divide } from './algebra.js';
-import { PartialDerivativeIndexVarianceError, MetricSignatureError, DuplicateCoordinateWarning, } from './errors.js';
+import { PartialDerivativeIndexVarianceError, MetricSignatureError, DuplicateCoordinateWarning, IndexLabelCollisionError, } from './errors.js';
 /**
  * Validate a covariant-derivative node. Pure-function module-cycle-free
  * pattern (matches validatePartialDerivative). Recursion via the
@@ -43,12 +43,11 @@ export function validateCovariantDerivative(node, validateChild) {
     }
     const ofResult = validateChild(node.of);
     const wrtResult = validateChild(node.wrt);
-    // gLower and gInverse are validated via validateChild ONLY for their dim
-    // sanity-check; their free indices are deliberately discarded — the
-    // Christoffel contractions inside ∇_μ consume them internally.
-    // (We don't even need to call validateChild on them; their dims are
-    // structurally known and any malformed metric would have failed the
-    // signature checks above.)
+    // gLower and gInverse are NOT validated via validateChild — their dims are
+    // structurally fixed (known from the signature checks above at lines 71-88),
+    // and any malformed metric would have already thrown there. Their free
+    // indices are deliberately discarded: the Christoffel contractions inside
+    // ∇_μ consume them internally.
     // Per §VIII.4 (pderiv-label-collision-rejected analog):
     // wrtIndex.label must not collide with of.freeIndices.
     //
@@ -81,4 +80,78 @@ export function validateCovariantDerivative(node, validateChild) {
         ? { dim, freeIndices, role: ofResult.role }
         : { dim, freeIndices };
 }
+/**
+ * Validate a riemann-tensor node.
+ *
+ * Throws:
+ *   - PartialDerivativeIndexVarianceError if upperIndex.variance !== 'upper'
+ *     or any lowerIndices[i].variance !== 'lower'
+ *   - MetricSignatureError if gLower / gInverse signature is wrong (reuses
+ *     CovariantDerivativeNode's structural checks)
+ *   - IndexLabelCollisionError if the 4 free-index labels {ρ, σ, μ, ν} are
+ *     not pairwise distinct (M9: disjointness only on the riemann node's
+ *     own free labels; raise/lower aliasing in surrounding algebra remains
+ *     legal — we do NOT compare against gLower/gInverse/xCoord labels).
+ *
+ * H1 (v0.4.0 pattern): gLower/gInverse/xCoord are NOT validated via the
+ * validateChild callback, so their free indices do not propagate. They are
+ * signature-checked here for early structural error reporting; their
+ * numerical contents are consumed by Task 6's lowering helper.
+ */
+export function validateRiemannTensor(node) {
+    if (node.upperIndex.variance !== 'upper') {
+        throw new PartialDerivativeIndexVarianceError(`riemann-tensor: upperIndex '${node.upperIndex.label}' must be 'upper', ` +
+            `got '${node.upperIndex.variance}'`);
+    }
+    for (let i = 0; i < 3; i++) {
+        const idx = node.lowerIndices[i];
+        if (idx.variance !== 'lower') {
+            throw new PartialDerivativeIndexVarianceError(`riemann-tensor: lowerIndices[${i}] '${idx.label}' must be 'lower', ` +
+                `got '${idx.variance}'`);
+        }
+    }
+    if (node.gLower.indices[0].variance !== 'lower' ||
+        node.gLower.indices[1].variance !== 'lower') {
+        throw new MetricSignatureError(node.gLower.name, `riemann-tensor requires gLower to be both-lower (got ` +
+            `[${node.gLower.indices[0].variance}, ${node.gLower.indices[1].variance}])`);
+    }
+    if (node.gInverse.indices[0].variance !== 'upper' ||
+        node.gInverse.indices[1].variance !== 'upper') {
+        throw new MetricSignatureError(node.gInverse.name, `riemann-tensor requires gInverse to be both-upper (got ` +
+            `[${node.gInverse.indices[0].variance}, ${node.gInverse.indices[1].variance}])`);
+    }
+    // M9: disjointness on the riemann-tensor's own 4 free labels only.
+    // Repeated labels across {ρ, σ, μ, ν} would imply an implicit contraction
+    // (e.g. R^μ_μνλ = R_νλ), which is the Ricci-tensor node's job — not the
+    // bare Riemann node's. We deliberately do NOT compare against gLower /
+    // gInverse / xCoord labels: those are H1-suppressed dummies, and legal
+    // post-raise/lower algebra may reuse those labels (see plan §M9).
+    const labels = [
+        node.upperIndex.label,
+        node.lowerIndices[0].label,
+        node.lowerIndices[1].label,
+        node.lowerIndices[2].label,
+    ];
+    const seen = new Set();
+    for (const label of labels) {
+        if (seen.has(label)) {
+            throw new IndexLabelCollisionError(label, 2, ['riemann-tensor']);
+        }
+        seen.add(label);
+    }
+    const freeIndices = new Map();
+    freeIndices.set(node.upperIndex.label, { upper: 1, lower: 0 });
+    for (const idx of node.lowerIndices) {
+        freeIndices.set(idx.label, { upper: 0, lower: 1 });
+    }
+    // F8/I3: Riemann carries inverse-length-squared. Hard-coded — same shape
+    // as the dim is structurally fixed for every Riemann tensor regardless of
+    // metric dim. (The metric is treated as dimensionless per our convention.)
+    const dim = { L: -2, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 };
+    // Role intentionally omitted — Riemann is a derived curvature object,
+    // not a primary field; downstream tensor-product / equation consumers
+    // don't need a role tag here. Mirrors CovariantDerivativeNode's
+    // role-on-passthrough-only pattern.
+    return { dim, freeIndices };
+}
 //# sourceMappingURL=connection-validators.js.map

package/dist/dimensional/connection-validators.js.map

@@ -1 +1 @@
-{"version":3,"file":"connection-validators.js","sourceRoot":"","sources":["../../src/dimensional/connection-validators.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAIH,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAMtC,OAAO,EACL,mCAAmC,EACnC,oBAAoB,EACpB,0BAA0B,GAC3B,MAAM,aAAa,CAAC;AAsBrB;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,2BAA2B,CACzC,IAA6B,EAC7B,aAA+D;IAE/D,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC;QACvC,MAAM,IAAI,mCAAmC,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IACrE,CAAC;IACD,IACE,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO;QAC3C,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,EAC3C,CAAC;QACD,MAAM,IAAI,oBAAoB,CAC5B,IAAI,CAAC,MAAM,CAAC,IAAI,EAChB,6DAA6D;YAC7D,IAAI,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,CAC5E,CAAC;IACJ,CAAC;IACD,IACE,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO;QAC7C,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,EAC7C,CAAC;QACD,MAAM,IAAI,oBAAoB,CAC5B,IAAI,CAAC,QAAQ,CAAC,IAAI,EAClB,+DAA+D;YAC/D,IAAI,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,CAChF,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAG,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACxC,MAAM,SAAS,GAAG,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAE1C,yEAAyE;IACzE,oEAAoE;IACpE,+DAA+D;IAC/D,oEAAoE;IACpE,oEAAoE;IACpE,2BAA2B;IAE3B,wDAAwD;IACxD,uDAAuD;IACvD,EAAE;IACF,mEAAmE;IACnE,sEAAsE;IACtE,2DAA2D;IAC3D,IAAI,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAClD,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;QACrC,IAAI,OAAO,OAAO,KAAK,WAAW,IAAI,OAAO,CAAC,GAAG,EAAE,sBAAsB,KAAK,GAAG,EAAE,CAAC;YAClF,OAAO,CAAC,WAAW,CAAC,IAAI,0BAA0B,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC1E,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,oBAAoB,CAC5B,sBAAsB,EACtB,QAAQ,QAAQ,qCAAqC,QAAQ,KAAK;gBAClE,qEAAqE;gBACrE,yBAAyB,CAC1B,CAAC;QACJ,CAAC;IACH,CAAC;IAED,iEAAiE;IACjE,MAAM,WAAW,GAAG,IAAI,GAAG,EAA4C,CAAC;IACxE,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,QAAQ,CAAC,WAAW;QAAE,WAAW,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACnF,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAE7D,yDAAyD;IACzD,MAAM,GAAG,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC;IAEhD,wEAAwE;IACxE,+DAA+D;IAC/D,2EAA2E;IAC3E,uDAAuD;IACvD,OAAO,QAAQ,CAAC,IAAI,KAAK,SAAS;QAChC,CAAC,CAAC,EAAE,GAAG,EAAE,WAAW,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE;QAC3C,CAAC,CAAC,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC;AAC3B,CAAC"}
+{"version":3,"file":"connection-validators.js","sourceRoot":"","sources":["../../src/dimensional/connection-validators.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAIH,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAMtC,OAAO,EACL,mCAAmC,EACnC,oBAAoB,EACpB,0BAA0B,EAC1B,wBAAwB,GACzB,MAAM,aAAa,CAAC;AA+BrB;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,2BAA2B,CACzC,IAA6B,EAC7B,aAA+D;IAE/D,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC;QACvC,MAAM,IAAI,mCAAmC,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IACrE,CAAC;IACD,IACE,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO;QAC3C,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,EAC3C,CAAC;QACD,MAAM,IAAI,oBAAoB,CAC5B,IAAI,CAAC,MAAM,CAAC,IAAI,EAChB,6DAA6D;YAC7D,IAAI,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,CAC5E,CAAC;IACJ,CAAC;IACD,IACE,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO;QAC7C,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,EAC7C,CAAC;QACD,MAAM,IAAI,oBAAoB,CAC5B,IAAI,CAAC,QAAQ,CAAC,IAAI,EAClB,+DAA+D;YAC/D,IAAI,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,CAChF,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAG,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACxC,MAAM,SAAS,GAAG,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAE1C,2EAA2E;IAC3E,6EAA6E;IAC7E,uEAAuE;IACvE,0EAA0E;IAC1E,+BAA+B;IAE/B,wDAAwD;IACxD,uDAAuD;IACvD,EAAE;IACF,mEAAmE;IACnE,sEAAsE;IACtE,2DAA2D;IAC3D,IAAI,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAClD,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;QACrC,IAAI,OAAO,OAAO,KAAK,WAAW,IAAI,OAAO,CAAC,GAAG,EAAE,sBAAsB,KAAK,GAAG,EAAE,CAAC;YAClF,OAAO,CAAC,WAAW,CAAC,IAAI,0BAA0B,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC1E,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,oBAAoB,CAC5B,sBAAsB,EACtB,QAAQ,QAAQ,qCAAqC,QAAQ,KAAK;gBAClE,qEAAqE;gBACrE,yBAAyB,CAC1B,CAAC;QACJ,CAAC;IACH,CAAC;IAED,iEAAiE;IACjE,MAAM,WAAW,GAAG,IAAI,GAAG,EAA4C,CAAC;IACxE,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,QAAQ,CAAC,WAAW;QAAE,WAAW,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACnF,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAE7D,yDAAyD;IACzD,MAAM,GAAG,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC;IAEhD,wEAAwE;IACxE,+DAA+D;IAC/D,2EAA2E;IAC3E,uDAAuD;IACvD,OAAO,QAAQ,CAAC,IAAI,KAAK,SAAS;QAChC,CAAC,CAAC,EAAE,GAAG,EAAE,WAAW,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE;QAC3C,CAAC,CAAC,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC;AAC3B,CAAC;AAoCD;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,UAAU,qBAAqB,CACnC,IAAuB;IAEvB,IAAI,IAAI,CAAC,UAAU,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC;QACzC,MAAM,IAAI,mCAAmC,CAC3C,+BAA+B,IAAI,CAAC,UAAU,CAAC,KAAK,qBAAqB;YACvE,QAAS,IAAI,CAAC,UAAmC,CAAC,QAAQ,GAAG,CAChE,CAAC;IACJ,CAAC;IACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3B,MAAM,GAAG,GAAG,IAAI,CAAC,YAAY,CAAC,CAAC,CAAwC,CAAC;QACxE,IAAI,GAAG,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC;YAC7B,MAAM,IAAI,mCAAmC,CAC3C,gCAAgC,CAAC,MAAM,GAAG,CAAC,KAAK,qBAAqB;gBACnE,QAAQ,GAAG,CAAC,QAAQ,GAAG,CAC1B,CAAC;QACJ,CAAC;IACH,CAAC;IACD,IACE,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO;QAC3C,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,EAC3C,CAAC;QACD,MAAM,IAAI,oBAAoB,CAC5B,IAAI,CAAC,MAAM,CAAC,IAAI,EAChB,uDAAuD;YACrD,IAAI,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,CAC9E,CAAC;IACJ,CAAC;IACD,IACE,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO;QAC7C,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,EAC7C,CAAC;QACD,MAAM,IAAI,oBAAoB,CAC5B,IAAI,CAAC,QAAQ,CAAC,IAAI,EAClB,yDAAyD;YACvD,IAAI,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,CAClF,CAAC;IACJ,CAAC;IAED,mEAAmE;IACnE,0EAA0E;IAC1E,wEAAwE;IACxE,uEAAuE;IACvE,uEAAuE;IACvE,kEAAkE;IAClE,MAAM,MAAM,GAAG;QACb,IAAI,CAAC,UAAU,CAAC,KAAK;QACrB,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK;QAC1B,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK;QAC1B,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK;KAC3B,CAAC;IACF,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YACpB,MAAM,IAAI,wBAAwB,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC;QACnE,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAClB,CAAC;IAED,MAAM,WAAW,GAAG,IAAI,GAAG,EAA4C,CAAC;IACxE,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAC/D,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;QACpC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IACrD,CAAC;IAED,yEAAyE;IACzE,0EAA0E;IAC1E,2EAA2E;IAC3E,MAAM,GAAG,GAAc,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;IAEzE,sEAAsE;IACtE,sEAAsE;IACtE,gEAAgE;IAChE,oCAAoC;IACpC,OAAO,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC;AAC9B,CAAC"}

package/dist/dimensional/curvature.d.ts

@@ -0,0 +1,336 @@
+/**
+ * Curvature-derived helpers — Ricci, Einstein, Bianchi (v0.5.0 Phase 1d).
+ *
+ * Module hosts the layer of GR objects derived by contraction of a
+ * `RiemannTensorNode`:
+ *
+ *   - `ricci(R)`            → R_μν     = R^λ_{λμν}     (this file, Task 7)
+ *   - `einstein(R)`         → G_μν     = R_μν − ½ g_μν R   (Task 8 — TBD)
+ *   - `bianchiResidual(R)`  → ∇_λ G^{λμ}                  (Task 9 — TBD)
+ *
+ * Separation rationale (Design §3 Task 1d): the bare `RiemannTensorNode`
+ * stays in `connection-validators.ts` next to `CovariantDerivativeNode`
+ * (both are *primary* curvature objects: connection + first-derivative).
+ * Everything *contracted from* Riemann lives here — keeps the module
+ * graph: tensor → metric → connection-validators → curvature.
+ *
+ * @module dimensional/curvature
+ */
+import type { Dimension } from './types.js';
+import type { ExprNode } from './validator.js';
+import type { RiemannTensorNode } from './connection-validators.js';
+import type { MetricTensorNode } from './metric-validators.js';
+/**
+ * v0.5.0 Task 7: Ricci tensor AST node R_μν.
+ *
+ * Internally wraps a RiemannTensorNode and represents the contraction
+ * R_μν = R^λ_{λμν}. The wrapped Riemann's `upperIndex.label` and
+ * `lowerIndices[0].label` are the dummy contraction indices (the λ slot);
+ * the output free indices are `mu` and `nu` (cloned from
+ * `R.lowerIndices[1]` and `R.lowerIndices[2]` respectively).
+ *
+ * The node is its own validation arm in validator.ts and its own lowering
+ * arm in numerical/lowering.ts — same pattern as RiemannTensorNode (no
+ * AST-rewrite; the contraction is a single primitive walked directly).
+ *
+ * @public
+ */
+export interface RicciTensorNode {
+    readonly kind: 'ricci-tensor';
+    /** The Riemann tensor whose first two slots are contracted. */
+    readonly riemann: RiemannTensorNode;
+}
+/**
+ * Result of validating a RicciTensorNode.
+ * @public
+ */
+export interface RicciTensorValidationResult {
+    readonly dim: Dimension;
+    readonly freeIndices: Map<string, {
+        upper: number;
+        lower: number;
+    }>;
+}
+/**
+ * Validate a `ricci-tensor` node.
+ *
+ * Throws:
+ *   - IndexLabelCollisionError if the embedded Riemann's two free output
+ *     labels (the σ slot — lowerIndices[0] — and the ν slot —
+ *     lowerIndices[2]) collide. (The contracted middle slot
+ *     lowerIndices[1] is invisible to this check; any label is allowed
+ *     there because it's a dummy.)
+ *
+ * The Riemann sub-node is validated structurally by re-entering its own
+ * validator via the `validateRiemannChild` callback (so its signature
+ * checks fire), but its free indices are NOT propagated — the ρ slot
+ * collapses into the contraction with the μ slot (Carroll Eq. 3.91:
+ * `R_μν = R^λ_{μλν}`), and the surviving σ / ν slots become the new
+ * free indices of the Ricci tensor.
+ */
+export declare function validateRicciTensor(node: RicciTensorNode, validateRiemannChild: (child: RiemannTensorNode) => {
+    dim: Dimension;
+    freeIndices: Map<string, {
+        upper: number;
+        lower: number;
+    }>;
+}): RicciTensorValidationResult;
+/**
+ * Build the Ricci tensor R_μν = R^λ_{μλν} as a composite ExprNode.
+ *
+ * **Convention (Carroll Eq. 3.91).** Contract upper-ρ against the SECOND
+ * lower slot — the μ position in R^ρ_σμν, i.e., `lowerIndices[1]` in the
+ * RiemannTensorNode storage. The surviving free indices are the σ slot
+ * (`lowerIndices[0]`) → Ricci's first free output μ_out, and the ν slot
+ * (`lowerIndices[2]`) → Ricci's second free output ν_out.
+ *
+ * Index mapping after contraction:
+ *   - upperIndex (ρ) → contracted with lowerIndices[1] (the μ slot, λ dummy)
+ *   - lowerIndices[0] (σ) → Ricci's free output index 0 (μ_out)
+ *   - lowerIndices[2] (ν) → Ricci's free output index 1 (ν_out)
+ *   Result: R_μν with free indices {σ_label: lower, ν_label: lower}
+ *
+ * Index-map diagram:
+ *   R^ρ  _  σ  _  μ  _  ν       (RiemannTensorNode slots)
+ *       ↑           ↑
+ *   upper        lower[1]   <- contract these two (ρ = μ = λ)
+ *            lower[0]    lower[2]  <- become R_μν free indices
+ *
+ * **Why not "upper ↔ lowerIndices[0]" (the first-lower trace)?** The trace
+ * `R^λ_{λμν}` over the first pair (ρ ↔ σ) is identically zero by the
+ * first-pair antisymmetry of the (lowered) Riemann tensor — for any
+ * metric, including non-vacuum solutions like de Sitter. The
+ * constant-curvature identity `R_μν = (n-1) K g_μν` (Carroll §8.1,
+ * `R = 4Λ` in n=4) only matches the upper↔second-lower contraction.
+ * The de-Sitter Ricci-scalar test in `tests/dimensional/ricci.test.ts`
+ * is the discriminating fixture that pins this convention.
+ *
+ * The returned tree is a single `ricci-tensor` node wrapping the supplied
+ * Riemann. Validator and numerical lowering each have a dedicated arm —
+ * no AST rewrite into a `tensor-product`-of-Riemann happens here (the
+ * RiemannTensorNode is not contractable in the v0.3.5 tensor-product
+ * einsum sense; the contraction is a primitive operation walked directly).
+ *
+ * @public
+ */
+export declare function ricci(R: RiemannTensorNode): ExprNode;
+/**
+ * v0.5.0 Task 8: Einstein tensor AST node G_μν = R_μν − ½ R g_μν.
+ *
+ * Wraps a `RiemannTensorNode` (contracted via the same Carroll-Eq.-3.91
+ * convention as `RicciTensorNode` — see ricci()'s JSDoc) plus the metric
+ * pair needed for the scalar trace `R = g^μν R_μν` and the `½ R g_μν`
+ * subtraction term. Storage mirrors the `RicciTensorNode` pattern: own
+ * validator + lowering arms, no AST rewrite into op('-', ricci, scale·g).
+ *
+ * Free indices match `R.lowerIndices[0]` and `R.lowerIndices[2]` — same as
+ * ricci(R), with the same Carroll-Eq.-3.91 contraction; the embedded
+ * Riemann's middle slot lowerIndices[1] is the dummy λ.
+ *
+ * Dim: {L: -2} — inherited from Riemann/Ricci (both `R_μν` and `R · g_μν`
+ * carry 1/L²; subtraction preserves dim).
+ *
+ * @public
+ */
+export interface EinsteinTensorNode {
+    readonly kind: 'einstein-tensor';
+    /** The Riemann tensor whose contraction yields the inner Ricci R_μν. */
+    readonly riemann: RiemannTensorNode;
+    /** Lower metric g_μν — supplies the `½ R g_μν` subtraction tensor. */
+    readonly gLower: MetricTensorNode;
+    /** Upper metric g^μν — supplies the scalar trace `R = g^μν R_μν`. */
+    readonly gInverse: MetricTensorNode;
+}
+/**
+ * Result of validating an EinsteinTensorNode.
+ * @public
+ */
+export interface EinsteinTensorValidationResult {
+    readonly dim: Dimension;
+    readonly freeIndices: Map<string, {
+        upper: number;
+        lower: number;
+    }>;
+}
+/**
+ * Validate an `einstein-tensor` node.
+ *
+ * Delegates structural checks to the embedded Riemann via the
+ * `validateRiemannChild` callback (same pattern as `validateRicciTensor`)
+ * and reuses `validateRicciTensor` for the surviving free-index labels —
+ * an Einstein tensor's free indices are exactly the Ricci tensor's free
+ * indices (subtracting `½ R g_μν` with matching {μ_out, ν_out} labels
+ * preserves the index structure).
+ *
+ * The `gLower` / `gInverse` sub-nodes are deliberately NOT propagated as
+ * free indices — they are consumed internally by the scalar-trace
+ * contraction and the `½ R g_μν` multiplication (same H1 discipline as
+ * RiemannTensorNode for its gLower/gInverse fields).
+ *
+ * Throws:
+ *   - Everything `validateRicciTensor` throws (IndexLabelCollisionError on
+ *     surviving free-index collision; MetricSignatureError /
+ *     PartialDerivativeIndexVarianceError from the inner Riemann).
+ */
+export declare function validateEinsteinTensor(node: EinsteinTensorNode, validateRiemannChild: (child: RiemannTensorNode) => {
+    dim: Dimension;
+    freeIndices: Map<string, {
+        upper: number;
+        lower: number;
+    }>;
+}): EinsteinTensorValidationResult;
+/**
+ * Build the Einstein tensor G_μν = R_μν − ½ R g_μν as a composite ExprNode.
+ *
+ * **Convention.** Inherits Carroll Eq. 3.91 from `ricci(R)` — the inner
+ * Ricci is computed by contracting upper-ρ of the wrapped Riemann against
+ * `lowerIndices[1]` (the middle/μ slot in R^ρ_σμν). The scalar trace is
+ * `R = g^μν R_μν` and the subtraction term is `½ R · g_μν`. The result
+ * `G_μν` shares free indices {μ_out, ν_out} with `ricci(R)`.
+ *
+ * **Algebra (sanity check).**
+ *   - de Sitter (n=4): `R_μν = Λ g_μν`, `R = 4Λ` ⇒
+ *     `G_μν = Λ g_μν − ½·4Λ·g_μν = −Λ g_μν`. Vacuum Einstein equation
+ *     `G_μν + Λ g_μν = 0` holds.
+ *   - Schwarzschild (vacuum): `R_μν ≡ 0`, `R = 0` ⇒ `G_μν ≡ 0`.
+ *   - Trace identity (any metric, n=4): `g^μν G_μν = R − ½·R·4 = −R`.
+ *
+ * **AST shape.** Single `einstein-tensor` node wrapping `R`, `gLower`,
+ * `gInverse`. Validator and numerical lowering each have a dedicated arm;
+ * no AST rewrite into `ricci(R) − ½ R g_μν` happens (the subtraction term
+ * would need a tensor-valued scalar-multiply that the v0.3.5 tensor-product
+ * einsum does not support directly). Same walk-directly pattern as Ricci.
+ *
+ * **Matter coupling is out of scope.** The vacuum / cosmological-constant
+ * tests pin G_μν only; `G_μν = κ T_μν` (Einstein field equations with a
+ * stress-energy source) is deferred to v0.6.0+.
+ *
+ * @public
+ */
+export declare function einstein(R: RiemannTensorNode, g: MetricTensorNode, gInverse: MetricTensorNode): ExprNode;
+/**
+ * v0.5.0 Task 9: Second-Bianchi-identity residual AST node.
+ *
+ * Represents the cyclic-over-first-three-indices sum that vanishes by the
+ * second Bianchi identity (Carroll Eq. 3.95):
+ *
+ *   B_{λμνρσ} = ∇_λ R_{μνρσ} + ∇_μ R_{νλρσ} + ∇_ν R_{λμρσ} ≡ 0
+ *
+ * Storage: wraps the originating RiemannTensorNode. Lowering computes B
+ * numerically by:
+ *   1. Lowering the upper-ρ of the Riemann tensor JS-side via g_{aρ}.
+ *   2. Computing ∂_λ R_{αβγδ} via a 4th-order centered FD (one MORE layer
+ *      on top of the Riemann lowering's already-FD-laden Γ + ∂Γ stack).
+ *   3. Adding Christoffel-correction terms to form ∇_λ R_{μνρσ} (Approach 1:
+ *      canonical, not partial-only).
+ *   4. Summing cyclically over (λ, μ, ν) with (ρ, σ) fixed.
+ *
+ * **Dim L⁻³.** R_{μνρσ} has dim L⁻² (inherited from R^ρ_{σμν}, since lowering
+ * with the dimensionless metric preserves dim per our convention). One ∂/∂x
+ * divides by L, giving L⁻³ on ∇R and on the cyclic sum B.
+ *
+ * **Free indices (5 lower):** λ, μ, ν, ρ, σ — taken from the same axis
+ * convention as RiemannTensorNode.lowerIndices plus a fresh λ slot. To avoid
+ * label collisions we synthesise `lambda` as the 5th index and reuse
+ * R.lowerIndices[0..2] for {μ_out, ν_out, ρ_out}; the 4th wrapped slot
+ * surfaces as `sigma_out`. (See `validateBianchiResidual` below for the
+ * label-collision rule.)
+ *
+ * **Why not lower via the v0.3.0 `lower()` AST function?** lower() returns a
+ * `tensor-product` node referencing the metric and operand by label/free-
+ * index merge, intended for compositional expressions. The lowered Riemann
+ * here is consumed point-wise by the FD stencil; building an AST product +
+ * re-validating + re-lowering on every of the 25 FD samples is needless
+ * machinery for a closed JS-side contraction. Matches the walk-directly
+ * philosophy of Tasks 6, 7, 8.
+ *
+ * @public
+ */
+export interface BianchiResidualNode {
+    readonly kind: 'bianchi-residual';
+    /** The Riemann tensor whose cyclic-derivative identity is checked. */
+    readonly riemann: RiemannTensorNode;
+}
+/**
+ * Result of validating a BianchiResidualNode.
+ * @public
+ */
+export interface BianchiResidualValidationResult {
+    readonly dim: Dimension;
+    readonly freeIndices: Map<string, {
+        upper: number;
+        lower: number;
+    }>;
+}
+/**
+ * Validate a `bianchi-residual` node.
+ *
+ * Inherits all structural checks from the embedded Riemann via
+ * `validateRiemannChild`. The output freeIndices are 5 lower labels:
+ *
+ *   - `lambda` — the synthesised FIRST cyclic-derivative axis (a new label;
+ *     must not collide with the wrapped Riemann's free labels)
+ *   - The Riemann's `lowerIndices[0]` label → μ_out
+ *   - The Riemann's `lowerIndices[1]` label → ν_out
+ *   - The Riemann's `lowerIndices[2]` label → ρ_out
+ *   - A synthesised `sigma_out` — the fourth Riemann index after lowering ρ.
+ *
+ * Throws:
+ *   - IndexLabelCollisionError if the synthesised `lambda` / `sigma_out`
+ *     labels collide with any wrapped-Riemann label.
+ */
+export declare function validateBianchiResidual(node: BianchiResidualNode, validateRiemannChild: (child: RiemannTensorNode) => {
+    dim: Dimension;
+    freeIndices: Map<string, {
+        upper: number;
+        lower: number;
+    }>;
+}): BianchiResidualValidationResult;
+/**
+ * Imported lazily inside `bianchiResidual()` to avoid pulling the numerical
+ * lowering layer into the dimensional module's import graph at module load.
+ * Mirrors the runtime contract — `bianchiResidual()` returns closures that
+ * call `evaluateNumerical`, but the function itself is pure-symbolic until
+ * the closures are invoked.
+ */
+type LazyEvaluator = (engine: any, inputs: any) => Promise<any>;
+/**
+ * Build the second-Bianchi-identity residual `B_{λμνρσ}` as a composite
+ * object with both an AST representation and evaluator closures.
+ *
+ * **Return shape (deviates from `ricci()`/`einstein()`'s plain-ExprNode
+ * return):** Bianchi is a 5-index residual tensor whose primary purpose is
+ * to be EVALUATED and reduced to its max-absolute value. Callers that just
+ * want the scalar self-consistency check use `evaluateMax`; callers that
+ * want to inspect per-component residual structure use `evaluate`. The
+ * underlying `residual: ExprNode` is exposed for downstream symbolic
+ * consumers (validator, equation-homogeneity checks).
+ *
+ * **Convention.** Carroll Eq. 3.95 cyclic form on the first three lower
+ * indices of the all-lower Riemann:
+ *
+ *   B_{λμνρσ} = ∇_λ R_{μνρσ} + ∇_μ R_{νλρσ} + ∇_ν R_{λμρσ} = 0
+ *
+ * **Implementation (Approach 1 — full ∇, not raw ∂).** Lowering computes
+ * each `∇_λ R_{μνρσ}` term with full Christoffel corrections (one per lower
+ * index of R), then sums cyclically. The lowered Riemann itself is computed
+ * by lowering the upper-ρ of R^ρ_{σμν} on the JS side after the Riemann
+ * lowering pipeline (Task 6) — no v0.3.0 `lower()` AST round-trip per FD
+ * sample.
+ *
+ * **Numerical-noise discussion.** The cyclic sum involves one extra
+ * coordinate-derivative on R_{μνρσ}, which itself sits on a ∂g→Γ→∂Γ→R FD
+ * stack. Schwarzschild + de Sitter empirical residuals are reported in
+ * `tests/dimensional/bianchi-residual.test.ts`; expected per-component
+ * noise floor is ~1e-7 to 1e-8 — much looser than the Task 6 Riemann floor
+ * (~8e-10) because of the extra FD layer.
+ *
+ * @public
+ */
+export declare function bianchiResidual(R: RiemannTensorNode): {
+    residual: ExprNode;
+    evaluate: LazyEvaluator;
+    evaluateMax: (engine: any, inputs: any) => Promise<number>;
+};
+export {};
+//# sourceMappingURL=curvature.d.ts.map

package/dist/dimensional/curvature.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"curvature.d.ts","sourceRoot":"","sources":["../../src/dimensional/curvature.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAE5C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AACpE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAO/D;;;;;;;;;;;;;;GAcG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,+DAA+D;IAC/D,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAC;CACrC;AAED;;;GAGG;AACH,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IACxB,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CACrE;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,eAAe,EACrB,oBAAoB,EAAE,CAAC,KAAK,EAAE,iBAAiB,KAAK;IAClD,GAAG,EAAE,SAAS,CAAC;IACf,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CAC5D,GACA,2BAA2B,CA2B7B;AAMD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AACH,wBAAgB,KAAK,CAAC,CAAC,EAAE,iBAAiB,GAAG,QAAQ,CAEpD;AAMD;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC;IACjC,wEAAwE;IACxE,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAC;IACpC,sEAAsE;IACtE,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAC;IAClC,qEAAqE;IACrE,QAAQ,CAAC,QAAQ,EAAE,gBAAgB,CAAC;CACrC;AAED;;;GAGG;AACH,MAAM,WAAW,8BAA8B;IAC7C,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IACxB,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CACrE;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,sBAAsB,CACpC,IAAI,EAAE,kBAAkB,EACxB,oBAAoB,EAAE,CAAC,KAAK,EAAE,iBAAiB,KAAK;IAClD,GAAG,EAAE,SAAS,CAAC;IACf,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CAC5D,GACA,8BAA8B,CAWhC;AAMD;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,wBAAgB,QAAQ,CACtB,CAAC,EAAE,iBAAiB,EACpB,CAAC,EAAE,gBAAgB,EACnB,QAAQ,EAAE,gBAAgB,GACzB,QAAQ,CAEV;AAMD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC;IAClC,sEAAsE;IACtE,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAC;CACrC;AAED;;;GAGG;AACH,MAAM,WAAW,+BAA+B;IAC9C,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IACxB,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CACrE;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,uBAAuB,CACrC,IAAI,EAAE,mBAAmB,EACzB,oBAAoB,EAAE,CAAC,KAAK,EAAE,iBAAiB,KAAK;IAClD,GAAG,EAAE,SAAS,CAAC;IACf,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CAC5D,GACA,+BAA+B,CAyCjC;AAMD;;;;;;GAMG;AACH,KAAK,aAAa,GAAG,CAEnB,MAAM,EAAE,GAAG,EAEX,MAAM,EAAE,GAAG,KAER,OAAO,CAAC,GAAG,CAAC,CAAC;AAElB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,wBAAgB,eAAe,CAAC,CAAC,EAAE,iBAAiB,GAAG;IACrD,QAAQ,EAAE,QAAQ,CAAC;IACnB,QAAQ,EAAE,aAAa,CAAC;IACxB,WAAW,EAAE,CAEX,MAAM,EAAE,GAAG,EAEX,MAAM,EAAE,GAAG,KACR,OAAO,CAAC,MAAM,CAAC,CAAC;CACtB,CAkCA"}