universal-physics-tensor 7.0.0 → 9.0.0

package/README.md

@@ -252,7 +252,7 @@ Bridge equations connect different physical regimes:
 - Universal Emergence Equation
 - Complexity-Entropy Production Relation
 
-Parts I–II of the formal specification document the original BE-11…54 corpus; later established additions BE-55…68 are captured in the live code/research record. The **authoritative current catalog** is the versioned, test-pinned JSON artifact at [`data/bridge-catalog.json`](https://github.com/danielsimonjr/universal-physics-tensor/blob/master/data/bridge-catalog.json), which currently spans BE-11…68. Part III covers algorithmic implementation.
+Parts I–II of the formal specification write up the cross-domain bridges; a standard bridge is a catalog record and has no specification heading. The **authoritative current catalog** is the versioned, schema-checked JSON file [`data/bridge-catalog.json`](https://github.com/danielsimonjr/universal-physics-tensor/blob/master/data/bridge-catalog.json); its id range and counts are the generated Bridge catalog row of the Development Status table below. Part III covers algorithmic implementation.
 
 ### Composing Bridges (v0.8.0)
 
@@ -261,10 +261,12 @@ Bridges are edges in a typed quantity graph, and compatible edges
 domains carried through, and confidence demoted to the weakest link:
 
 ```typescript
-import { composeEdges, be42Edge, be16Edge, M_SUN_KG } from 'universal-physics-tensor';
+import { CATALOG_GRAPH, composeEdges, M_SUN_KG } from 'universal-physics-tensor';
+
+const edge = (id: string) => CATALOG_GRAPH.find((e) => e.id === id)!;
 
 // Hawking temperature (M → T_H) ∘ Landauer bound (T → E_min)
-const erasureCost = composeEdges(be42Edge, be16Edge);
+const erasureCost = composeEdges(edge('be-42'), edge('be-16'));
 erasureCost.evaluate({ mass: M_SUN_KG }); // ≈ 5.9e-31 J — E_min(M) = ℏc³ln2/(8πGM)
 erasureCost.confidence;                   // 'highly-speculative' (min of the operands)
 ```
@@ -275,7 +277,7 @@ erasureCost.confidence;                   // 'highly-speculative' (min of the op
 import { GM_SUN_SI, convertValue } from 'universal-physics-tensor';
 
 GM_SUN_SI;                    // 1.3271244e20
-convertValue('25degC', 'K'); // { value: 298.15, given: 'degC' }
+convertValue('25degC', 'K'); // { value: 298.15, given: 'degC', affine: 'celsius' }
 ```
 
 That derived relation — the minimum erasure cost at a black-hole
@@ -284,7 +286,7 @@ literature-anchored result, pre-registered before implementation and
 pinned to relErr ≤ 10⁻¹² (see [Part IX](https://github.com/danielsimonjr/universal-physics-tensor/blob/master/docs/specification/Part-IX-Composition.md)
 and `docs/planning/v0.8.0-Design.md`). A computable **membership
 criterion** (a bridge's endpoint quantities must differ in regime) now
-adjudicates the catalog — <!-- readme-status:membership -->128 bridges · 5 not-a-bridge · 3 unadjudicated<!-- /readme-status:membership --> —
+adjudicates the catalog — <!-- readme-status:membership -->152 bridges · 5 not-a-bridge · 3 unadjudicated<!-- /readme-status:membership --> —
 with rejections recorded in a reviewable negative catalog
 (`src/bridges/rejected.ts`).
 
@@ -367,13 +369,13 @@ The current machine-checked state is:
 <!-- readme-status:table -->
 | Surface | Current state |
 |---|---|
-| Bridge catalog | **136 entries (BE-11…146)**: 100 established, 33 speculative, 3 highly speculative; the JSON artifact is freshness-tested against the TypeScript registry |
+| Bridge catalog | **160 entries (BE-11…170)**: 124 established, 33 speculative, 3 highly speculative; the JSON artifact is freshness-tested against the TypeScript registry |
 | Empirical spine | **19 committed confrontations**, exposed through `upt confront` with rigor/caveat metadata |
-| Composition layer | **127 bridge edges** plus the canonical L-layer graph; dimensional, symbolic, discovery, consequence, and visualization tooling |
+| Composition layer | **158 bridge edges** plus the canonical L-layer graph; dimensional, symbolic, discovery, consequence, and visualization tooling |
 | Canonical reference layer | **109 canonical equations** used as the non-speculative answer-key layer for bridge recovery/linkage |
-| Architecture | Generated dependency graph reports **0 circular dependencies**. The unused-analysis report lists **0** files and **74** exports with no importer. Both reports are regenerated by `bun run docs:deps`, and the `docs-fresh` job fails when they are stale |
+| Architecture | Generated dependency graph reports **0 circular dependencies**. The unused-analysis report lists **0** files and **77** exports with no importer. Both reports are regenerated by `bun run docs:deps`, and the `docs-fresh` job fails when they are stale |
 | Quality gates | Build, strict source+test TypeScript checks, full Vitest suite, active-plan audit, package-content smoke test, and nightly long-horizon GL4/Shapiro accuracy tests |
-| Formal references | **10** atlas bridges derive `formally-proved` from a reviewed `lean4-physjs` reference. **16** catalog equations carry a counted reference and do not light that tag. **95** state the catalogued equation, so the kind is `bridge` while the covers line still begins with `derivation-step`; the catalog path passes that reference, so catalog evidence and edge evidence include `formally-proved`, except an unadjudicated row, which stays `proposed`. **3** carry a cross-check and **2** carry a property, and `be-28` is a property whose covers line begins with `derivation-step`. Nested statements are not second references. The pin and the split are [`NOTES.md`](https://github.com/danielsimonjr/universal-physics-tensor/blob/master/NOTES.md) |
+| Formal references | **10** atlas bridges derive `formally-proved` from a reviewed `lean4-physjs` reference. **16** catalog equations carry a counted reference and do not light that tag. **119** state the catalogued equation, kind `bridge`; the catalog path passes that reference, so catalog evidence and edge evidence include `formally-proved`, except an unadjudicated row, which stays `proposed`. **3** carry a cross-check and **3** carry a property. Each kind is the PhysJS manifest entry's own field. Nested statements are not second references. The pin and the split are [`NOTES.md`](https://github.com/danielsimonjr/universal-physics-tensor/blob/master/NOTES.md) |
 <!-- /readme-status:table -->
 
 The project is **engineering-complete for its stated goal**: it is a computational