universal-physics-tensor 0.45.2 → 0.46.0

package/dist/bridges/index.d.ts

@@ -1,7 +1,7 @@
 /**
  * Universal Physics Tensor — Bridge Equation Index
  *
- * Machine-readable catalog of all 44 bridge equations (IDs 11-54) from the UPT
+ * Machine-readable catalog of all bridge equations (IDs from 11) 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.
@@ -12,11 +12,12 @@
  * 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 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
+ * - dimensional_signature is populated for all 55 entries. 53 of them (all
+ *   except BE-51 and BE-52) are registered in `EXPECTED_DIMENSION_BY_BRIDGE`
+ *   (`src/dimensional/bridge-check.ts`); 42 (IDs 11-50, 53, 54) also have AST
+ *   encodings under `src/bridges/equations/`. BE-51/52 are closed-form evaluator
+ *   bridges, and BE-55-65 have evaluator modules in `src/bridges/`; none of
+ *   them has an AST encoding. 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:**",
@@ -25,6 +26,7 @@
  *
  * @module bridges
  */
+import type { Conventions, Counterexample, Regime, RelationContract } from '../atlas/types.js';
 /**
  * Lifecycle status of a bridge equation in the catalog.
  *
@@ -54,7 +56,26 @@ export type BridgeEquationStatus = 'established' | 'speculative' | 'highly-specu
  * Source: type-design-expert Critical-Hole on the 'invalid' arm.
  */
 export declare function isActiveStatus(s: BridgeEquationStatus): s is Exclude<BridgeEquationStatus, 'invalid'>;
+/**
+ * How badly a catalogued defect undermines a bridge equation.
+ *
+ * Ordered by how much of the entry survives the finding, not by how hard it is
+ * to fix: `'self-refuting'` means the equation contradicts itself and nothing
+ * downstream may rely on it, while `'phenomenological-ansatz'` marks a relation
+ * that is fitted rather than derived and is still usable where that is stated.
+ * `'other'` is the honest default — a defect nobody has classified yet, which
+ * must not be silently promoted into one of the named classes.
+ */
 export type BridgeIssueSeverity = 'self-refuting' | 'dimensional' | 'index-structure' | 'sign' | 'undefined-quantity' | 'phenomenological-ansatz' | 'other';
+/**
+ * Whether a catalogued defect can be repaired, and at what cost.
+ *
+ * This is deliberately separate from {@link BridgeIssueSeverity}: a severe
+ * defect can be a one-line `'spec-edit'`, and a mild one can be
+ * `'unfixable-must-mark-invalid'`. Collapsing the two would let the repair cost
+ * be inferred from the severity, which is exactly the inference that is wrong.
+ * `'unknown'` means nobody has assessed it — never that it is easy.
+ */
 export type BridgeIssueFixable = 'spec-edit' | 'reformulation' | 'unfixable-must-mark-invalid' | 'unknown';
 /**
  * Tractability class — added 2026-05-05 (Wave I.B D10, per CS reviewer I5).
@@ -76,14 +97,32 @@ export type BridgeIssueFixable = 'spec-edit' | 'reformulation' | 'unfixable-must
  *   and Wave Q B1 even without an AST).
  */
 type BridgeTractabilityClass = 'closed-form' | 'numerical-tractable' | 'numerical-asymptotic' | 'formally-divergent' | 'undefined';
+/**
+ * One recorded defect in a bridge equation, as catalogued from the spec.
+ *
+ * A `KnownIssue` is a statement about the EQUATION, not about the catalog: its
+ * presence does not remove the entry, and several issues may coexist on one
+ * bridge. Consumers decide what an issue costs them by reading `severity` and
+ * `fixable` together — see the note on {@link BridgeIssueFixable} for why
+ * neither field implies the other.
+ */
 export interface KnownIssue {
     severity: BridgeIssueSeverity;
     /** Verbatim issue text from the spec (may be paraphrased; cf. source). */
     description: string;
     fixable: BridgeIssueFixable;
 }
+/**
+ * One bridge equation as the catalog records it.
+ *
+ * The entry is a faithful transcription of the spec, INCLUDING its defects:
+ * `known_issues` travels with the equation rather than being filtered out, so a
+ * consumer reading an entry cannot miss the reasons not to trust it. An entry
+ * whose `status` is `'invalid'` is still present for exactly that reason —
+ * deleting it would erase the record that the claim was made and refuted.
+ */
 export interface BridgeEquationEntry {
-    /** Equation number, 11-50. */
+    /** Equation number, 11-65. */
     id: number;
     /** Verbatim heading text from the spec. */
     name: string;
@@ -138,7 +177,86 @@ export interface BridgeEquationEntry {
     tractability_class: BridgeTractabilityClass;
     /** Free-form notes (origin Status text appended for traceability). */
     notes: string;
+    /**
+     * The typed relation this bridge asserts. Lives on the ROW, not only on the
+     * graph edge: 17 catalog bridges carry no `BridgeEdge` at all, and the row
+     * is the per-bridge record regardless.
+     */
+    relation?: RelationContract;
+    /**
+     * Where in π-group space this bridge is claimed to apply (Atlas Phase 2).
+     *
+     * ADDITIVE. A row without it is byte-identical in behaviour to today. Like
+     * `relation`, it lives on the ROW rather than only on a graph edge, because
+     * 17 catalog bridges carry no `BridgeEdge` at all.
+     *
+     * Declarative inequalities over dimensionless groups, traceable to the
+     * dimension matrix. It never stands in for a `ValidityDomain.predicate` on
+     * the corresponding edge: the two are different claims and both must hold
+     * (design note §1).
+     */
+    regime?: Regime;
+    /** Sign/unit choices the entry depends on. */
+    conventions?: Conventions;
+    /** Cases this bridge does NOT cover, each with its witness. */
+    counterexamples?: readonly Counterexample[];
 }
+/**
+ * BE-37 regime — weak field only.
+ *
+ * `r_s/r <= 2 G M_sun / (c^2 R_sun) = 4.2463e-6`.
+ *
+ * CAVEAT, stated because it is the weak link: `CASSINI` carries NO geometry,
+ * so this bound is not read off the record the way BE-52 bounds are. It comes
+ * from the experiment being a SOLAR CONJUNCTION — a received ray cannot pass
+ * inside the photosphere, so `r >= R_sun` is a hard floor on any such ray, and
+ * the limb is the strongest field the measurement can have sampled. Cassini
+ * actual closest approach was looser still (~1.6 R_sun), so the bound errs in
+ * the safe direction.
+ *
+ * No `v/c` inequality: see the block comment above.
+ *
+ * @internal — like every other atlas-layer symbol, not on the
+ * `src/index.ts` public surface (see `src/atlas/`).
+ */
+export declare const BE37_REGIME: Regime;
+/**
+ * BE-51 regime — weak field only.
+ *
+ * `r_s/r <= 2 G M_sun / (c^2 R_sun) = 4.2463e-6`, and here the limb IS the
+ * confrontation own baseline: `confrontBE51` evaluates the deflection at
+ * `b_m = SOLAR_RADIUS_M` with `M_kg = SOLAR_MASS_KG`. The bound is that
+ * geometry, arithmetic and all.
+ *
+ * `be51Edge.domain` independently requires `b >= 10 r_s` (i.e. `r_s/b <= 0.1`).
+ * That predicate still runs and is not restated here: it is ~24000x looser
+ * than this bound, so recording it would add an inequality that can never be
+ * the binding one. The predicate is NOT replaced by this regime — both are
+ * checked (design note §1).
+ *
+ * No `v/c` inequality: see the block comment above.
+ *
+ * @internal — like every other atlas-layer symbol, not on the
+ * `src/index.ts` public surface (see `src/atlas/`).
+ */
+export declare const BE51_REGIME: Regime;
+/**
+ * BE-52 regime — weak field AND slow motion, both computed from the `MERCURY`
+ * orbital elements, both evaluated at perihelion.
+ *
+ * @internal — like every other atlas-layer symbol, not on the
+ * `src/index.ts` public surface (see `src/atlas/`).
+ */
+export declare const BE52_REGIME: Regime;
+/**
+ * The point each confrontation actually sits at, in the regime own groups.
+ * Exported so a caller — and the test — reads the SAME number the bound was
+ * built from, rather than recomputing it and comparing two floats that are
+ * only meant to be equal.
+ *
+ * @internal
+ */
+export declare const GR_SPINE_CONFRONTATION_POINTS: Readonly<Record<number, Readonly<Record<string, number>>>>;
 export declare const BRIDGE_EQUATIONS: BridgeEquationEntry[];
 export { evaluateGravitationalLensing, type GravitationalLensingInputs, type GravitationalLensingResult, } from './gravitational-lensing.js';
 export { evaluatePerihelionPrecession, type PerihelionPrecessionInputs, type PerihelionPrecessionResult, } from './perihelion-precession.js';

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

@@ -1 +1 @@
-{"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,EAg6DjD,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;AAGpC,OAAO,EACL,mBAAmB,EACnB,eAAe,EACf,KAAK,iBAAiB,EACtB,KAAK,iBAAiB,GACvB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,eAAe,EACf,KAAK,aAAa,EAClB,KAAK,aAAa,GACnB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,aAAa,EACb,KAAK,WAAW,EAChB,KAAK,WAAW,GACjB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EACL,sBAAsB,EACtB,KAAK,oBAAoB,EACzB,KAAK,oBAAoB,GAC1B,MAAM,2BAA2B,CAAC;AAGnC,OAAO,EACL,mBAAmB,EACnB,qBAAqB,EACrB,KAAK,iBAAiB,EACtB,KAAK,iBAAiB,GACvB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,oBAAoB,EACpB,KAAK,kBAAkB,EACvB,KAAK,kBAAkB,GACxB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,sBAAsB,EACtB,gBAAgB,EAChB,KAAK,oBAAoB,EACzB,KAAK,oBAAoB,GAC1B,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,cAAc,EACd,aAAa,EACb,KAAK,YAAY,EACjB,KAAK,YAAY,GAClB,MAAM,mBAAmB,CAAC;AAG3B,OAAO,EACL,yBAAyB,EACzB,iBAAiB,EACjB,KAAK,mBAAmB,EACxB,KAAK,mBAAmB,GACzB,MAAM,8BAA8B,CAAC;AACtC,OAAO,EACL,2BAA2B,EAC3B,wBAAwB,EACxB,KAAK,eAAe,EACpB,KAAK,eAAe,GACrB,MAAM,gCAAgC,CAAC;AACxC,OAAO,EACL,iBAAiB,EACjB,KAAK,WAAW,EAChB,KAAK,WAAW,GACjB,MAAM,sBAAsB,CAAC;AAE9B,eAAe,gBAAgB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/bridges/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAIH,OAAO,KAAK,EACV,WAAW,EACX,cAAc,EACd,MAAM,EACN,gBAAgB,EACjB,MAAM,mBAAmB,CAAC;AAe3B;;;;;;;;;;;;;;;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;;;;;;;;;GASG;AACH,MAAM,MAAM,mBAAmB,GAC3B,eAAe,GACf,aAAa,GACb,iBAAiB,GACjB,MAAM,GACN,oBAAoB,GACpB,yBAAyB,GACzB,OAAO,CAAC;AAEZ;;;;;;;;GAQG;AACH,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;;;;;;;;GAQG;AACH,MAAM,WAAW,UAAU;IACzB,QAAQ,EAAE,mBAAmB,CAAC;IAC9B,0EAA0E;IAC1E,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,kBAAkB,CAAC;CAC7B;AAED;;;;;;;;GAQG;AACH,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;IAGd;;;;OAIG;IACH,QAAQ,CAAC,EAAE,gBAAgB,CAAC;IAC5B;;;;;;;;;;;OAWG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,8CAA8C;IAC9C,WAAW,CAAC,EAAE,WAAW,CAAC;IAC1B,+DAA+D;IAC/D,eAAe,CAAC,EAAE,SAAS,cAAc,EAAE,CAAC;CAC7C;AAsHD;;;;;;;;;;;;;;;;;GAiBG;AACH,eAAO,MAAM,WAAW,EAAE,MAWzB,CAAC;AAEF;;;;;;;;;;;;;;;;;;GAkBG;AACH,eAAO,MAAM,WAAW,EAAE,MAWzB,CAAC;AA+BF;;;;;;GAMG;AACH,eAAO,MAAM,WAAW,EAAE,MAiBzB,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,6BAA6B,EAAE,QAAQ,CAClD,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAKjD,CAAC;AAEF,eAAO,MAAM,gBAAgB,EAAE,mBAAmB,EAyoEjD,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;AAGpC,OAAO,EACL,mBAAmB,EACnB,eAAe,EACf,KAAK,iBAAiB,EACtB,KAAK,iBAAiB,GACvB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,eAAe,EACf,KAAK,aAAa,EAClB,KAAK,aAAa,GACnB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,aAAa,EACb,KAAK,WAAW,EAChB,KAAK,WAAW,GACjB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EACL,sBAAsB,EACtB,KAAK,oBAAoB,EACzB,KAAK,oBAAoB,GAC1B,MAAM,2BAA2B,CAAC;AAGnC,OAAO,EACL,mBAAmB,EACnB,qBAAqB,EACrB,KAAK,iBAAiB,EACtB,KAAK,iBAAiB,GACvB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,oBAAoB,EACpB,KAAK,kBAAkB,EACvB,KAAK,kBAAkB,GACxB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,sBAAsB,EACtB,gBAAgB,EAChB,KAAK,oBAAoB,EACzB,KAAK,oBAAoB,GAC1B,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,cAAc,EACd,aAAa,EACb,KAAK,YAAY,EACjB,KAAK,YAAY,GAClB,MAAM,mBAAmB,CAAC;AAG3B,OAAO,EACL,yBAAyB,EACzB,iBAAiB,EACjB,KAAK,mBAAmB,EACxB,KAAK,mBAAmB,GACzB,MAAM,8BAA8B,CAAC;AACtC,OAAO,EACL,2BAA2B,EAC3B,wBAAwB,EACxB,KAAK,eAAe,EACpB,KAAK,eAAe,GACrB,MAAM,gCAAgC,CAAC;AACxC,OAAO,EACL,iBAAiB,EACjB,KAAK,WAAW,EAChB,KAAK,WAAW,GACjB,MAAM,sBAAsB,CAAC;eAEf,gBAAgB"}