universal-physics-tensor 0.7.3 → 0.14.0

package/dist/bridges/equations/be-23-syk-planckian.d.ts

@@ -63,7 +63,7 @@ export declare const BE23_SYK_RESISTIVITY_RHS: ExprNode;
 /** @internal */
 export declare const BE23_SYK_RESISTIVITY_LHS: ExprNode;
 /**
- * @internal — typed-arg shape for the file-local `evaluateSYKResistivity` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ * @internal — typed-arg shape for the file-local `evaluateSYKResistivity` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
  */
 interface SYKResistivityInputs {
     /** Residual resistivity ρ_0 (Ω·m). Must be ≥ 0 and finite. */

package/dist/bridges/equations/be-24-foerster-fret.d.ts

@@ -59,7 +59,7 @@ export declare const BE24_FRET_EFFICIENCY_RHS: ExprNode;
 /** @internal */
 export declare const BE24_FRET_EFFICIENCY_LHS: ExprNode;
 /**
- * @internal — typed-arg shape for the file-local `evaluateFRETEfficiency` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ * @internal — typed-arg shape for the file-local `evaluateFRETEfficiency` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
  */
 interface FRETEfficiencyInputs {
     /** Donor-acceptor distance R (m). Must be > 0 and finite. */

package/dist/bridges/equations/be-25-iit-phi.d.ts

@@ -185,7 +185,7 @@ export declare const BE25_INTRINSIC_INFORMATION_RHS: ExprNode;
 /** @internal */
 export declare const BE25_INTRINSIC_INFORMATION_LHS: ExprNode;
 /**
- * @internal — typed-arg shape for the file-local `evaluateIntrinsicInformation` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ * @internal — typed-arg shape for the file-local `evaluateIntrinsicInformation` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
  */
 interface IntrinsicInformationInputs {
     /** Conditional probability p(s̃|s) ∈ [0, 1]. Must be finite. */

package/dist/bridges/equations/be-25-orch-or.d.ts

@@ -1,4 +1,16 @@
 /**
+ * @deprecated ARCHIVED IN PLACE (2026-06-11, v0.8.0 P-4 archive policy —
+ * closes the v0.7.3-deferred "BE-25 archive-or-delete" decision).
+ * BE-25's catalog entry was reformulated to IIT Φ_max
+ * (`be-25-iit-phi.ts`) after the Tegmark decoherence falsification of
+ * Orch-OR (Tegmark 2000 PRE 61:4194). This module is retained as the
+ * historical record of the superseded encoding — the same
+ * overlay-not-deletion principle as `src/bridges/rejected.ts` — and is
+ * exercised only by its legacy pin tests. Do NOT extend it; new BE-25
+ * work belongs in the IIT module.
+ *
+ * ---- original module docs below ----
+
  * ============================================================================
  *  ARCHIVED MODULE — DO NOT USE FOR BE-25 DIMENSIONAL CLAIMS
  *  Archived 2026-05-06 (Wave Q B2, per CS iter-6 C2).
@@ -57,7 +69,7 @@ import type { ExprNode, DimensionValidationReport } from '../../dimensional/vali
  */
 export declare const ORCH_OR_RHS: ExprNode;
 /**
- * @internal — typed-arg shape for the file-local `evaluateOrchOR` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ * @internal — typed-arg shape for the file-local `evaluateOrchOR` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
  */
 interface OrchORInputs {
     /** Mass difference Δm in kg. Must be > 0. */

package/dist/bridges/equations/be-25-orch-or.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"be-25-orch-or.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-25-orch-or.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8CG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAgB1F;;;;;;;;GAQG;AACH,eAAO,MAAM,WAAW,EAAE,QAwBzB,CAAC;AAOF;;GAEG;AACH,UAAU,YAAY;IACpB,6CAA6C;IAC7C,OAAO,EAAE,MAAM,CAAC;IAChB,+CAA+C;IAC/C,OAAO,EAAE,MAAM,CAAC;CACjB;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,YAAY,GAAG,MAAM,CAY1D;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,wBAAwB,IAAI,yBAAyB,CAEpE"}
+{"version":3,"file":"be-25-orch-or.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-25-orch-or.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0DG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAgB1F;;;;;;;;GAQG;AACH,eAAO,MAAM,WAAW,EAAE,QAwBzB,CAAC;AAOF;;GAEG;AACH,UAAU,YAAY;IACpB,6CAA6C;IAC7C,OAAO,EAAE,MAAM,CAAC;IAChB,+CAA+C;IAC/C,OAAO,EAAE,MAAM,CAAC;CACjB;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,YAAY,GAAG,MAAM,CAY1D;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,wBAAwB,IAAI,yBAAyB,CAEpE"}

package/dist/bridges/equations/be-25-orch-or.js

@@ -1,4 +1,16 @@
 /**
+ * @deprecated ARCHIVED IN PLACE (2026-06-11, v0.8.0 P-4 archive policy —
+ * closes the v0.7.3-deferred "BE-25 archive-or-delete" decision).
+ * BE-25's catalog entry was reformulated to IIT Φ_max
+ * (`be-25-iit-phi.ts`) after the Tegmark decoherence falsification of
+ * Orch-OR (Tegmark 2000 PRE 61:4194). This module is retained as the
+ * historical record of the superseded encoding — the same
+ * overlay-not-deletion principle as `src/bridges/rejected.ts` — and is
+ * exercised only by its legacy pin tests. Do NOT extend it; new BE-25
+ * work belongs in the IIT module.
+ *
+ * ---- original module docs below ----
+
  * ============================================================================
  *  ARCHIVED MODULE — DO NOT USE FOR BE-25 DIMENSIONAL CLAIMS
  *  Archived 2026-05-06 (Wave Q B2, per CS iter-6 C2).

package/dist/bridges/equations/be-25-orch-or.js.map

@@ -1 +1 @@
-{"version":3,"file":"be-25-orch-or.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-25-orch-or.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8CG;AAGH,OAAO,EACL,IAAI,EACJ,IAAI,EACJ,MAAM,GACP,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,IAAI,IAAI,QAAQ,EAChB,CAAC,IAAI,KAAK,EACV,GAAG,IAAI,MAAM,GACd,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF,kDAAkD;AAElD;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,WAAW,GAAa;IACnC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,qBAAqB;YACrB,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC;gBACrB,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC;aACnB;SACF;QACD;YACE,4BAA4B;YAC5B,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC;gBACpB;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,EAAE,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,EAAE,CAAC,CAAC;iBACpF;gBACD,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC;aACvB;SACF;KACF;CACF,CAAC;AAEF,sCAAsC;AACtC,MAAM,WAAW,GAAa,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;AAchD;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,KAAmB;IAChD,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QAC7C,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;KAC9C,EACD,gBAAgB,CACjB,CAAC;IACF,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;IACnC,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,iBAAiB,CAAC;IAC1C,OAAO,CAAC,IAAI,GAAG,EAAE,CAAC,GAAG,CAAC,OAAO,GAAG,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC;AACnD,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,wBAAwB;IACtC,OAAO,oBAAoB,CAAC,WAAW,EAAE,WAAW,EAAE,aAAa,CAAC,CAAC;AACvE,CAAC"}
+{"version":3,"file":"be-25-orch-or.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-25-orch-or.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0DG;AAGH,OAAO,EACL,IAAI,EACJ,IAAI,EACJ,MAAM,GACP,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,IAAI,IAAI,QAAQ,EAChB,CAAC,IAAI,KAAK,EACV,GAAG,IAAI,MAAM,GACd,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF,kDAAkD;AAElD;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,WAAW,GAAa;IACnC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,qBAAqB;YACrB,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC;gBACrB,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC;aACnB;SACF;QACD;YACE,4BAA4B;YAC5B,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC;gBACpB;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,EAAE,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,EAAE,CAAC,CAAC;iBACpF;gBACD,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC;aACvB;SACF;KACF;CACF,CAAC;AAEF,sCAAsC;AACtC,MAAM,WAAW,GAAa,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;AAchD;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,KAAmB;IAChD,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QAC7C,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;KAC9C,EACD,gBAAgB,CACjB,CAAC;IACF,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;IACnC,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,iBAAiB,CAAC;IAC1C,OAAO,CAAC,IAAI,GAAG,EAAE,CAAC,GAAG,CAAC,OAAO,GAAG,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC;AACnD,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,wBAAwB;IACtC,OAAO,oBAAoB,CAAC,WAAW,EAAE,WAAW,EAAE,aAAa,CAAC,CAAC;AACvE,CAAC"}

package/dist/bridges/equations/be-26-dna-tunneling.d.ts

@@ -7,7 +7,7 @@
  * applied to DNA base-pair tautomerization via proton tunneling
  * (Löwdin 1963 Adv. Quantum Chem. 2:213).
  *
- * Status: established.
+ * Status: speculative (downgraded from 'established' Wave S — this line previously drifted from the registry; src/bridges/index.ts is authoritative).
  *
  * Honest-claude scope notes:
  *   - The AST has no `exp` primitive; we encode the relation as
@@ -46,7 +46,7 @@ export declare const DNA_TUNNELING_WKB_ARG: ExprNode;
  */
 export declare const DNA_TUNNELING_RHS: ExprNode;
 /**
- * @internal — typed-arg shape for the file-local `evaluateDNATunneling` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ * @internal — typed-arg shape for the file-local `evaluateDNATunneling` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
  */
 interface DNATunnelingInputs {
     /** Attempt frequency ν₀ (s^-1). Must be ≥ 0. */

package/dist/bridges/equations/be-26-dna-tunneling.js

@@ -7,7 +7,7 @@
  * applied to DNA base-pair tautomerization via proton tunneling
  * (Löwdin 1963 Adv. Quantum Chem. 2:213).
  *
- * Status: established.
+ * Status: speculative (downgraded from 'established' Wave S — this line previously drifted from the registry; src/bridges/index.ts is authoritative).
  *
  * Honest-claude scope notes:
  *   - The AST has no `exp` primitive; we encode the relation as

package/dist/bridges/equations/be-27-effective-temperature.d.ts

@@ -58,7 +58,7 @@ export declare const BE27_TEFF_RHS: ExprNode;
 /** @internal */
 export declare const BE27_TEFF_LHS: ExprNode;
 /**
- * @internal — typed-arg shape for the file-local `evaluateEffectiveTemperature` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ * @internal — typed-arg shape for the file-local `evaluateEffectiveTemperature` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
  */
 interface EffectiveTemperatureInputs {
     /** Bath temperature T (K). Must be > 0 and finite. */

package/dist/bridges/equations/be-28-onsager-entropy-production.d.ts

@@ -152,7 +152,7 @@ export declare const BE28_ENTROPY_PRODUCTION_RHS: ExprNode;
 /** @internal */
 export declare const BE28_ENTROPY_PRODUCTION_LHS: ExprNode;
 /**
- * @internal — typed-arg shape for the file-local `evaluateOnsagerEntropy` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ * @internal — typed-arg shape for the file-local `evaluateOnsagerEntropy` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
  */
 interface OnsagerEntropyInputs {
     /** Sum of force-flux products Σᵢ Jᵢ Xᵢ in SI units [W/K]. Must be finite and ≥ 0 (Second Law). */

package/dist/bridges/equations/be-29-jarzynski.d.ts

@@ -56,7 +56,7 @@ export declare const BE29_JARZYNSKI_RHS: ExprNode;
 /** @internal */
 export declare const BE29_JARZYNSKI_LHS: ExprNode;
 /**
- * @internal — typed-arg shape for the file-local `evaluateJarzynski` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ * @internal — typed-arg shape for the file-local `evaluateJarzynski` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
  */
 interface JarzynskiInputs {
     /**

package/dist/bridges/equations/be-30-flm-first-law.d.ts

@@ -54,7 +54,7 @@ export declare const BE30_FLM_RHS: ExprNode;
 /** @internal */
 export declare const BE30_FLM_LHS: ExprNode;
 /**
- * @internal — typed-arg shape for the file-local `evaluateFLMFirstLaw` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ * @internal — typed-arg shape for the file-local `evaluateFLMFirstLaw` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
  */
 interface FLMFirstLawInputs {
     /**
@@ -71,7 +71,7 @@ interface FLMFirstLawInputs {
  */
 export declare function evaluateFLMFirstLaw(input: FLMFirstLawInputs): number;
 /**
- * @internal — typed-arg shape for the file-local `evaluateBekensteinBound` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ * @internal — typed-arg shape for the file-local `evaluateBekensteinBound` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
  */
 interface BekensteinBoundInputs {
     /** Region radius R (m). Must be > 0 and finite. */

package/dist/bridges/equations/be-31-causal-set-bd.d.ts

@@ -70,7 +70,7 @@ export declare const BE31_CAUSAL_SET_BD_RHS: ExprNode;
 /** @internal */
 export declare const BE31_CAUSAL_SET_BD_LHS: ExprNode;
 /**
- * @internal — typed-arg shape for the file-local `evaluateBenincasaDowker` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ * @internal — typed-arg shape for the file-local `evaluateBenincasaDowker` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
  */
 interface BenincasaDowkerInputs {
     /** Cardinality-2 inclusion-exclusion count N_0(p) (dimensionless integer in practice; finite real here for derivative tests). */

package/dist/bridges/equations/be-32-quantum-reference-frame.d.ts

@@ -78,7 +78,7 @@ export declare const BE32_IMAG_PART_SQUARED: ExprNode;
  */
 export declare const BE32_QRF_OVERLAP_RHS: ExprNode;
 /**
- * @internal — typed-arg shape for the file-local `evaluateQRFOverlap` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ * @internal — typed-arg shape for the file-local `evaluateQRFOverlap` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
  */
 interface QRFOverlapInputs {
     /**

package/dist/bridges/equations/be-33-hertz-millis.d.ts

@@ -59,7 +59,7 @@ export declare const BE33_HERTZ_MILLIS_RHS: ExprNode;
 /** @internal */
 export declare const BE33_HERTZ_MILLIS_LHS: ExprNode;
 /**
- * @internal — typed-arg shape for the file-local `evaluateHertzMillis` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ * @internal — typed-arg shape for the file-local `evaluateHertzMillis` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
  */
 interface HertzMillisInputs {
     /** Reference correlation length ξ_0 (m). Must be > 0 and finite. */

package/dist/bridges/equations/be-34-kibble-zurek.d.ts

@@ -45,7 +45,7 @@ export declare const KIBBLE_ZUREK_EXP_ARG: ExprNode;
  */
 export declare const KIBBLE_ZUREK_RHS: ExprNode;
 /**
- * @internal — typed-arg shape for the file-local `evaluateKibbleZurek` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ * @internal — typed-arg shape for the file-local `evaluateKibbleZurek` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
  */
 interface KibbleZurekInputs {
     /** Quench timescale τ_Q (s). Must be > 0. */

package/dist/bridges/equations/be-35-conformal-bootstrap.d.ts

@@ -89,7 +89,7 @@ export declare const BE35_CROSSED_BLOCK: ExprNode;
  */
 export declare const BE35_CROSSING_RESIDUAL_RHS: ExprNode;
 /**
- * @internal — typed-arg shape for the file-local `evaluateCrossingResidual` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ * @internal — typed-arg shape for the file-local `evaluateCrossingResidual` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
  */
 interface CrossingResidualInputs {
     /** OPE coefficient C (dimensionless under unit-normalized operators). Must be finite. */

package/dist/bridges/equations/be-36-gw-speed-bound.d.ts

@@ -6,10 +6,17 @@
  *
  * The empirical constraint from the GW170817 binary-neutron-star
  * merger / GRB170817A coincidence: the gravitational-wave speed and
- * the photon speed agree to better than 1 part in 10¹⁵, derived from
- * the ~1.7 s arrival-time difference over a ~40 Mpc distance
- * (Abbott et al. 2017 *ApJ Lett.* 848:L13; Boran et al. 2018
- * *Phys. Rev. D* 97:041501). This bound rules out or strongly
+ * the photon speed agree to ~1 part in 10¹⁵, derived from the 1.74 s
+ * arrival-time difference over the CONSERVATIVE 26 Mpc lower distance
+ * bound (40 Mpc is the central luminosity distance; the paper's speed
+ * constraint uses 26 Mpc — Abbott et al. 2017 *ApJ Lett.* 848:L13 §3;
+ * Boran et al. 2018 *Phys. Rev. D* 97:041501). The published bound is
+ * ASYMMETRIC: −3×10⁻¹⁵ ≤ (c_GW − c)/c ≤ +7×10⁻¹⁶ (the lower side
+ * assumes a 10 s intrinsic EM-emission delay). The symmetric
+ * |·| ≤ 10⁻¹⁵ encoded here is a simplification whose negative side is
+ * slightly tighter than the published −3×10⁻¹⁵ — see
+ * `src/bridges/be36-gw170817-confrontation.ts` (v0.8.0) for the
+ * recomputed-from-data confrontation. This bound rules out or strongly
  * constrains TeVeS-class theories that generically predict c_GW ≠ c.
  *
  * The encoded scalar is the dimensionless ratio (c_GW − c)/c
@@ -54,7 +61,7 @@ export declare const BE36_GW_SPEED_RATIO_LHS: ExprNode;
 /** Canonical GW170817 upper bound on |Δv|/c. */
 export declare const GW170817_SPEED_BOUND = 1e-15;
 /**
- * @internal — typed-arg shape for the file-local `evaluateGWSpeedRatio` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ * @internal — typed-arg shape for the file-local `evaluateGWSpeedRatio` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
  */
 interface GWSpeedRatioInputs {
     /** Gravitational-wave speed c_GW (m/s). Must be > 0 and finite. */

package/dist/bridges/equations/be-36-gw-speed-bound.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"be-36-gw-speed-bound.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-36-gw-speed-bound.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwCG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAQ1F;;;;;;GAMG;AACH,eAAO,MAAM,uBAAuB,EAAE,QAYrC,CAAC;AAEF,wEAAwE;AACxE,gBAAgB;AAChB,eAAO,MAAM,uBAAuB,EAAE,QAA+C,CAAC;AAEtF,gDAAgD;AAChD,eAAO,MAAM,oBAAoB,QAAQ,CAAC;AAI1C;;GAEG;AACH,UAAU,kBAAkB;IAC1B,mEAAmE;IACnE,YAAY,EAAE,MAAM,CAAC;CACtB;AAED;;;;GAIG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,kBAAkB,GAAG,MAAM,CAStE;AAED;;;;;GAKG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,kBAAkB,GAAG,OAAO,CAEzE;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAElE"}
+{"version":3,"file":"be-36-gw-speed-bound.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-36-gw-speed-bound.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+CG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAQ1F;;;;;;GAMG;AACH,eAAO,MAAM,uBAAuB,EAAE,QAYrC,CAAC;AAEF,wEAAwE;AACxE,gBAAgB;AAChB,eAAO,MAAM,uBAAuB,EAAE,QAA+C,CAAC;AAEtF,gDAAgD;AAChD,eAAO,MAAM,oBAAoB,QAAQ,CAAC;AAI1C;;GAEG;AACH,UAAU,kBAAkB;IAC1B,mEAAmE;IACnE,YAAY,EAAE,MAAM,CAAC;CACtB;AAED;;;;GAIG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,kBAAkB,GAAG,MAAM,CAStE;AAED;;;;;GAKG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,kBAAkB,GAAG,OAAO,CAEzE;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAElE"}

package/dist/bridges/equations/be-36-gw-speed-bound.js

@@ -6,10 +6,17 @@
  *
  * The empirical constraint from the GW170817 binary-neutron-star
  * merger / GRB170817A coincidence: the gravitational-wave speed and
- * the photon speed agree to better than 1 part in 10¹⁵, derived from
- * the ~1.7 s arrival-time difference over a ~40 Mpc distance
- * (Abbott et al. 2017 *ApJ Lett.* 848:L13; Boran et al. 2018
- * *Phys. Rev. D* 97:041501). This bound rules out or strongly
+ * the photon speed agree to ~1 part in 10¹⁵, derived from the 1.74 s
+ * arrival-time difference over the CONSERVATIVE 26 Mpc lower distance
+ * bound (40 Mpc is the central luminosity distance; the paper's speed
+ * constraint uses 26 Mpc — Abbott et al. 2017 *ApJ Lett.* 848:L13 §3;
+ * Boran et al. 2018 *Phys. Rev. D* 97:041501). The published bound is
+ * ASYMMETRIC: −3×10⁻¹⁵ ≤ (c_GW − c)/c ≤ +7×10⁻¹⁶ (the lower side
+ * assumes a 10 s intrinsic EM-emission delay). The symmetric
+ * |·| ≤ 10⁻¹⁵ encoded here is a simplification whose negative side is
+ * slightly tighter than the published −3×10⁻¹⁵ — see
+ * `src/bridges/be36-gw170817-confrontation.ts` (v0.8.0) for the
+ * recomputed-from-data confrontation. This bound rules out or strongly
  * constrains TeVeS-class theories that generically predict c_GW ≠ c.
  *
  * The encoded scalar is the dimensionless ratio (c_GW − c)/c

package/dist/bridges/equations/be-36-gw-speed-bound.js.map

@@ -1 +1 @@
-{"version":3,"file":"be-36-gw-speed-bound.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-36-gw-speed-bound.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwCG;AAGH,OAAO,EACL,aAAa,EACb,QAAQ,GACT,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAa;IAC/C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC;gBACrB,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC;aACnB;SACF;QACD,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC;KACnB;CACF,CAAC;AAEF,wEAAwE;AACxE,gBAAgB;AAChB,MAAM,CAAC,MAAM,uBAAuB,GAAa,GAAG,CAAC,gBAAgB,EAAE,aAAa,CAAC,CAAC;AAEtF,gDAAgD;AAChD,MAAM,CAAC,MAAM,oBAAoB,GAAG,KAAK,CAAC;AAY1C;;;;GAIG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAAyB;IAC5D,oBAAoB,CAClB,KAAK,EACL,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,EACpD,sBAAsB,CACvB,CAAC;IACF,MAAM,EAAE,YAAY,EAAE,GAAG,KAAK,CAAC;IAC/B,MAAM,EAAE,CAAC,EAAE,GAAG,iBAAiB,CAAC;IAChC,OAAO,CAAC,YAAY,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;AAChC,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAAyB;IAC9D,OAAO,IAAI,CAAC,GAAG,CAAC,oBAAoB,CAAC,KAAK,CAAC,CAAC,IAAI,oBAAoB,CAAC;AACvE,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CAAC,uBAAuB,EAAE,uBAAuB,EAAE,MAAM,CAAC,CAAC;AACxF,CAAC"}
+{"version":3,"file":"be-36-gw-speed-bound.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-36-gw-speed-bound.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+CG;AAGH,OAAO,EACL,aAAa,EACb,QAAQ,GACT,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAa;IAC/C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC;gBACrB,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC;aACnB;SACF;QACD,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC;KACnB;CACF,CAAC;AAEF,wEAAwE;AACxE,gBAAgB;AAChB,MAAM,CAAC,MAAM,uBAAuB,GAAa,GAAG,CAAC,gBAAgB,EAAE,aAAa,CAAC,CAAC;AAEtF,gDAAgD;AAChD,MAAM,CAAC,MAAM,oBAAoB,GAAG,KAAK,CAAC;AAY1C;;;;GAIG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAAyB;IAC5D,oBAAoB,CAClB,KAAK,EACL,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,EACpD,sBAAsB,CACvB,CAAC;IACF,MAAM,EAAE,YAAY,EAAE,GAAG,KAAK,CAAC;IAC/B,MAAM,EAAE,CAAC,EAAE,GAAG,iBAAiB,CAAC;IAChC,OAAO,CAAC,YAAY,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;AAChC,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAAyB;IAC9D,OAAO,IAAI,CAAC,GAAG,CAAC,oBAAoB,CAAC,KAAK,CAAC,CAAC,IAAI,oBAAoB,CAAC;AACvE,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CAAC,uBAAuB,EAAE,uBAAuB,EAAE,MAAM,CAAC,CAAC;AACxF,CAAC"}

package/dist/bridges/equations/be-38-mond.d.ts

@@ -58,7 +58,7 @@ export declare const BE38_MOND_FORCE_RHS: ExprNode;
 /** @internal */
 export declare const BE38_MOND_FORCE_LHS: ExprNode;
 /**
- * @internal — typed-arg shape for the file-local `evaluateMONDForce` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ * @internal — typed-arg shape for the file-local `evaluateMONDForce` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
  */
 interface MONDForceInputs {
     /** Newtonian force F_N (N). Must be > 0 and finite. */

package/dist/bridges/equations/be-39-asymptotic-safety.d.ts

@@ -111,7 +111,7 @@ export declare const BE39_BETA_G_STRUCTURAL: BetaFunctionNode;
  */
 export declare const BE39_BETA_LAMBDA_STRUCTURAL: BetaFunctionNode;
 /**
- * @internal — typed-arg shape for the file-local `evaluateBetaG` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ * @internal — typed-arg shape for the file-local `evaluateBetaG` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
  */
 interface BetaGInputs {
     /** Dimensionless Newton coupling g = G(k)·k². Must be finite. */
@@ -134,7 +134,7 @@ interface BetaGInputs {
  */
 export declare function evaluateBetaG(input: BetaGInputs): number;
 /**
- * @internal — typed-arg shape for the file-local `evaluateBetaLambda` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ * @internal — typed-arg shape for the file-local `evaluateBetaLambda` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
  */
 interface BetaLambdaInputs {
     /** Dimensionless Newton coupling g. Must be finite. */

package/dist/bridges/equations/be-40-composite-higgs.d.ts

@@ -54,7 +54,7 @@ export declare const BE40_COMPOSITE_HIGGS_RHS: ExprNode;
 /** @internal */
 export declare const BE40_COMPOSITE_HIGGS_LHS: ExprNode;
 /**
- * @internal — typed-arg shape for the file-local `evaluateCompositeHiggs` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ * @internal — typed-arg shape for the file-local `evaluateCompositeHiggs` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
  */
 interface CompositeHiggsInputs {
     /** Higgs field h (natural units, e.g. TeV). Must be finite. */

package/dist/bridges/equations/be-41-swampland.d.ts

@@ -40,7 +40,7 @@ export declare const SWAMPLAND_EXP_ARG: ExprNode;
  */
 export declare const SWAMPLAND_RHS: ExprNode;
 /**
- * @internal — typed-arg shape for the file-local `evaluateSwampland` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ * @internal — typed-arg shape for the file-local `evaluateSwampland` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
  */
 interface SwamplandInputs {
     /** Reference mass m₀. Must be ≥ 0 (any consistent unit; output in same unit). */

package/dist/bridges/equations/be-43-er-epr.d.ts

@@ -53,7 +53,7 @@ export declare const BE43_ER_EPR_RHS: ExprNode;
 /** @internal */
 export declare const BE43_ER_EPR_LHS: ExprNode;
 /**
- * @internal — typed-arg shape for the file-local `evaluateEREPRBound` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ * @internal — typed-arg shape for the file-local `evaluateEREPRBound` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
  */
 interface EREPRBoundInputs {
     /** Wormhole minimal cross-section area (m²). Must be ≥ 0 and finite. */

package/dist/bridges/equations/be-44-soft-hair.d.ts

@@ -115,7 +115,7 @@ export declare const BE44_SOFT_HAIR_INTEGRAL_RHS: ExprNode;
 /** @internal */
 export declare const BE44_SOFT_HAIR_CHARGE_SQUARED_LHS: ExprNode;
 /**
- * @internal — typed-arg shape for the file-local `evaluateBE44SoftHair` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ * @internal — typed-arg shape for the file-local `evaluateBE44SoftHair` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
  */
 interface BE44SoftHairInputs {
     /**

package/dist/bridges/equations/be-45-tcc.d.ts

@@ -90,7 +90,7 @@ export declare const BE45_TCC_RHS: ExprNode;
 /** @internal */
 export declare const BE45_TCC_LHS: ExprNode;
 /**
- * @internal — typed-arg shape for the file-local `evaluateTCC` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ * @internal — typed-arg shape for the file-local `evaluateTCC` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
  */
 interface TCCInputs {
     /** Planck mass M_P in GeV (canonical: 1.22e19). Must be > 0 and finite. */

package/dist/bridges/equations/be-46-multiverse-measure.d.ts

@@ -139,7 +139,7 @@ export declare const BE46_ANTHROPIC_PROBABILITY_RHS: ExprNode;
 /** @internal */
 export declare const BE46_ANTHROPIC_PROBABILITY_LHS: ExprNode;
 /**
- * @internal — typed-arg shape for the file-local `evaluateAnthropic` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ * @internal — typed-arg shape for the file-local `evaluateAnthropic` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
  */
 interface AnthropicInputs {
     /** Normalization constant A (dimensionless; scheme-dependent). Must be finite. */

package/dist/bridges/equations/be-47-bbn-dark-sector.d.ts

@@ -42,7 +42,7 @@ export declare const BBN_DARK_LHS: ExprNode;
 /** RHS: ⟨σv⟩_SM n_p n_n − ⟨σv⟩_dark n_χ² ε_transfer. */
 export declare const BBN_DARK_RHS: ExprNode;
 /**
- * @internal — typed-arg shape for the file-local `evaluateBBNDark` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ * @internal — typed-arg shape for the file-local `evaluateBBNDark` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
  */
 interface BBNDarkInputs {
     /** Hubble parameter H (s^-1). */

package/dist/bridges/equations/be-48-grw-localization.d.ts

@@ -55,7 +55,7 @@ export declare const BE48_GRW_LOCALIZATION_RHS: ExprNode;
 /** @internal */
 export declare const BE48_GRW_LOCALIZATION_LHS: ExprNode;
 /**
- * @internal — typed-arg shape for the file-local `evaluateGRWLocalization` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ * @internal — typed-arg shape for the file-local `evaluateGRWLocalization` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
  */
 interface GRWLocalizationInputs {
     /** Object mass m (kg). Must be > 0 and finite. */

package/dist/bridges/equations/be-49-quantum-darwinism.d.ts

@@ -69,7 +69,7 @@ export declare const BE49_QUANTUM_DARWINISM_RHS: ExprNode;
 /** @internal */
 export declare const BE49_QUANTUM_DARWINISM_LHS: ExprNode;
 /**
- * @internal — typed-arg shape for the file-local `evaluateQuantumDarwinism` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ * @internal — typed-arg shape for the file-local `evaluateQuantumDarwinism` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
  */
 interface QuantumDarwinismInputs {
     /** Total system-environment mutual information I(S:E). Must be finite. */

package/dist/bridges/equations/be-50-wheeler-feynman.d.ts

@@ -93,7 +93,7 @@ export declare const BE50_TIME_SYMMETRY_DENOMINATOR: ExprNode;
  */
 export declare const BE50_TIME_SYMMETRY_RESIDUAL_RHS: ExprNode;
 /**
- * @internal — typed-arg shape for the file-local `evaluateWF` function; not in the v0.7 public surface. See `docs/architecture/v0.7-be-module-exports-audit.md` §4.
+ * @internal — typed-arg shape for the file-local `evaluateWF` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
  */
 interface WFInputs {
     /** Retarded gauge-field amplitude A_ret in V·s/m (or arbitrary same-unit amplitude). */

package/dist/bridges/index.d.ts

@@ -1,9 +1,10 @@
 /**
  * Universal Physics Tensor — Bridge Equation Index
  *
- * Machine-readable catalog of all 40 bridge equations from the UPT specification
- * (Parts I-VI). Each entry preserves the spec's stated status, known issues,
- * references, and dependencies on other bridge equations.
+ * Machine-readable catalog of all 44 bridge equations (IDs 11-54) from the UPT
+ * specification (Parts I-VI; BE-51–54 catalogued in Part-II §V-B). Each entry
+ * preserves the spec's stated status, known issues, references, and
+ * dependencies on other bridge equations.
  *
  * Generated by scripts/extract.py (~/.claude/playground/upt_bridge_extraction/);
  * see data/bridges/README.md for regen instructions.
@@ -11,9 +12,11 @@
  * Source-of-truth files: docs/specification/Part-{I-VI}.md
  *
  * Honest-claude: fields not explicitly stated in the spec are null (not guessed).
- * - dimensional_signature is null for not-yet-encoded entries. Populated for
- *   hand-encoded equations (currently 11, 14, 18, 29, 47, 48) — see
- *   `src/bridges/equations/`. Populated values are exactly what
+ * - dimensional_signature is populated for all 44 entries at HEAD; 42 of them
+ *   (IDs 11-50, 53, 54) are also registered in `EXPECTED_DIMENSION_BY_BRIDGE`
+ *   (`src/dimensional/bridge-check.ts`) with AST encodings under
+ *   `src/bridges/equations/` — BE-51/52 are closed-form evaluator bridges
+ *   without AST encodings. Populated values are exactly what
  *   `format()` produces for the inferred Dimension shape; never free-form prose.
  * - known_issues are extracted ONLY from explicit issue-markers in the spec
  *   ("**Known issue:**", "**Additional known issue:**", "**Bound violation:**",
@@ -107,7 +110,7 @@ export interface BridgeEquationEntry {
     /**
      * What the AST encoding represents when it differs from `formula_latex`.
      *
-     * Per `docs/architecture/BRIDGE-PHYSICS-AUDIT.md` §1 / "What to do with
+     * Per `docs/architecture/archive/BRIDGE-PHYSICS-AUDIT.md` §1 / "What to do with
      * this" item 1: the audit's original 11 dimensional-signature
      * "mislabels" were ALL false positives, retracted on code inspection.
      * The root cause was judging `dimensional_signature` against

package/dist/bridges/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/bridges/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH;;;;;;;;;;;;;;;GAeG;AACH,MAAM,MAAM,oBAAoB,GAC5B,aAAa,GACb,aAAa,GACb,oBAAoB,GACpB,SAAS,CAAC;AAEd;;;;;;;;;;GAUG;AACH,wBAAgB,cAAc,CAC5B,CAAC,EAAE,oBAAoB,GACtB,CAAC,IAAI,OAAO,CAAC,oBAAoB,EAAE,SAAS,CAAC,CAE/C;AAED,MAAM,MAAM,mBAAmB,GAC3B,eAAe,GACf,aAAa,GACb,iBAAiB,GACjB,MAAM,GACN,oBAAoB,GACpB,yBAAyB,GACzB,OAAO,CAAC;AAEZ,MAAM,MAAM,kBAAkB,GAC1B,WAAW,GACX,eAAe,GACf,6BAA6B,GAC7B,SAAS,CAAC;AAEd;;;;;;;;;;;;;;;;;;GAkBG;AAIH,KAAK,uBAAuB,GACxB,aAAa,GACb,qBAAqB,GACrB,sBAAsB,GACtB,oBAAoB,GACpB,WAAW,CAAC;AAEhB,MAAM,WAAW,UAAU;IACzB,QAAQ,EAAE,mBAAmB,CAAC;IAC9B,0EAA0E;IAC1E,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,kBAAkB,CAAC;CAC7B;AAED,MAAM,WAAW,mBAAmB;IAClC,8BAA8B;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,2CAA2C;IAC3C,IAAI,EAAE,MAAM,CAAC;IACb,6BAA6B;IAC7B,QAAQ,EAAE,MAAM,CAAC;IACjB,+DAA+D;IAC/D,aAAa,EAAE,MAAM,CAAC;IACtB,oDAAoD;IACpD,OAAO,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC1B,MAAM,EAAE,oBAAoB,CAAC;IAC7B,2DAA2D;IAC3D,OAAO,EAAE,MAAM,CAAC;IAChB,8DAA8D;IAC9D,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,WAAW,EAAE,GAAG,GAAG,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,GAAG,GAAG,IAAI,CAAC;IACpD,cAAc,EAAE,MAAM,CAAC;IACvB,YAAY,EAAE,UAAU,EAAE,CAAC;IAC3B,4DAA4D;IAC5D,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,yEAAyE;IACzE,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,uEAAuE;IACvE,qBAAqB,EAAE,MAAM,GAAG,IAAI,CAAC;IACrC;;;;;;;;;;;;;;;;;;;;;OAqBG;IACH,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB;;;;OAIG;IACH,kBAAkB,EAAE,uBAAuB,CAAC;IAC5C,sEAAsE;IACtE,KAAK,EAAE,MAAM,CAAC;CACf;AAED,eAAO,MAAM,gBAAgB,EAAE,mBAAmB,EAqqDjD,CAAC;AAMF,OAAO,EACL,4BAA4B,EAC5B,KAAK,0BAA0B,EAC/B,KAAK,0BAA0B,GAChC,MAAM,4BAA4B,CAAC;AAEpC,OAAO,EACL,4BAA4B,EAC5B,KAAK,0BAA0B,EAC/B,KAAK,0BAA0B,GAChC,MAAM,4BAA4B,CAAC;AAEpC,eAAe,gBAAgB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/bridges/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAEH;;;;;;;;;;;;;;;GAeG;AACH,MAAM,MAAM,oBAAoB,GAC5B,aAAa,GACb,aAAa,GACb,oBAAoB,GACpB,SAAS,CAAC;AAEd;;;;;;;;;;GAUG;AACH,wBAAgB,cAAc,CAC5B,CAAC,EAAE,oBAAoB,GACtB,CAAC,IAAI,OAAO,CAAC,oBAAoB,EAAE,SAAS,CAAC,CAE/C;AAED,MAAM,MAAM,mBAAmB,GAC3B,eAAe,GACf,aAAa,GACb,iBAAiB,GACjB,MAAM,GACN,oBAAoB,GACpB,yBAAyB,GACzB,OAAO,CAAC;AAEZ,MAAM,MAAM,kBAAkB,GAC1B,WAAW,GACX,eAAe,GACf,6BAA6B,GAC7B,SAAS,CAAC;AAEd;;;;;;;;;;;;;;;;;;GAkBG;AAIH,KAAK,uBAAuB,GACxB,aAAa,GACb,qBAAqB,GACrB,sBAAsB,GACtB,oBAAoB,GACpB,WAAW,CAAC;AAEhB,MAAM,WAAW,UAAU;IACzB,QAAQ,EAAE,mBAAmB,CAAC;IAC9B,0EAA0E;IAC1E,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,kBAAkB,CAAC;CAC7B;AAED,MAAM,WAAW,mBAAmB;IAClC,8BAA8B;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,2CAA2C;IAC3C,IAAI,EAAE,MAAM,CAAC;IACb,6BAA6B;IAC7B,QAAQ,EAAE,MAAM,CAAC;IACjB,+DAA+D;IAC/D,aAAa,EAAE,MAAM,CAAC;IACtB,oDAAoD;IACpD,OAAO,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC1B,MAAM,EAAE,oBAAoB,CAAC;IAC7B,2DAA2D;IAC3D,OAAO,EAAE,MAAM,CAAC;IAChB,8DAA8D;IAC9D,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,WAAW,EAAE,GAAG,GAAG,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,GAAG,GAAG,IAAI,CAAC;IACpD,cAAc,EAAE,MAAM,CAAC;IACvB,YAAY,EAAE,UAAU,EAAE,CAAC;IAC3B,4DAA4D;IAC5D,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,yEAAyE;IACzE,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,uEAAuE;IACvE,qBAAqB,EAAE,MAAM,GAAG,IAAI,CAAC;IACrC;;;;;;;;;;;;;;;;;;;;;OAqBG;IACH,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB;;;;OAIG;IACH,kBAAkB,EAAE,uBAAuB,CAAC;IAC5C,sEAAsE;IACtE,KAAK,EAAE,MAAM,CAAC;CACf;AAED,eAAO,MAAM,gBAAgB,EAAE,mBAAmB,EA+qDjD,CAAC;AAMF,OAAO,EACL,4BAA4B,EAC5B,KAAK,0BAA0B,EAC/B,KAAK,0BAA0B,GAChC,MAAM,4BAA4B,CAAC;AAEpC,OAAO,EACL,4BAA4B,EAC5B,KAAK,0BAA0B,EAC/B,KAAK,0BAA0B,GAChC,MAAM,4BAA4B,CAAC;AAEpC,eAAe,gBAAgB,CAAC"}