universal-physics-tensor 9.0.0 → 10.0.0

package/README.md

@@ -47,7 +47,7 @@ npm install universal-physics-tensor
 npx upt help
 ```
 
-The npm package ships `dist/`, `bin/`, this README and the licence. The documentation and the
+The npm package ships `dist/`, `bin/`, `data/`, this README and the licence. The documentation and the
 examples live in the GitHub repository. From a clone, Bun is the package manager (`package.json`
 pins `bun@1.4.2`). Node does not install it: `corepack prepare bun@1.4.2 --activate` fails with
 `Unsupported package manager specification`. Install that Bun from <https://bun.sh/install>, then
@@ -81,14 +81,15 @@ npx upt search pendulum
 ```text
   dimensionally determined up to a constant:  period ∝ length^0.5·gravity^-0.5
   formula dimension: [time]  ✓ homogeneous, matches target
-  formula MATCHES the dimensional form — recovered prefactor ≈ 6.2832e+0
+  formula MATCHES the dimensional form — recovered prefactor ≈ 6.28318530717959
   ✓ agrees with CE-pendulum-period (Pendulum period), prefactor included: yours/canonical = 1 at 3 fixed points
 ```
 
-`upt explain hawking-temperature mass=1Msun` recovers `6.1684e-8` by the two routes of BE-42.
-`upt evaluate be-63 mu_e=2` prints `M_Ch_solar = 1.4558683960704613` for an ideal degenerate gas
-with `M_sun = 1.989e30` kg. `upt search pendulum` names the commands that open the pendulum
-records. Every flag of every command is in [`docs/CLI.md`](https://github.com/danielsimonjr/universal-physics-tensor/blob/master/docs/CLI.md).
+`upt explain hawking-temperature mass=1Msun` prints `Recovered value: 6.16842971641034e-8`, reached
+by the two routes of BE-42 (`be-42` and `be-42-via-rs`). `upt evaluate be-63 mu_e=2` prints
+`mass [kg] = 2.895722239784147e+30`, the Chandrasekhar mass of an ideal degenerate gas, about
+1.456 solar masses at M_sun = 1.989e30 kg. `upt search pendulum` names `CE-pendulum-period`,
+`model-pendulum`, and `ab-pendulum-linear`, each with the command that opens its record. Every flag of every command is in [`docs/CLI.md`](https://github.com/danielsimonjr/universal-physics-tensor/blob/master/docs/CLI.md).
 
 ## Commands
 
@@ -254,7 +255,7 @@ Bridge equations connect different physical regimes:
 
 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)
+### Composing Bridges
 
 Bridges are edges in a typed quantity graph, and compatible edges
 **compose** — with an exact dimensional check at the junction, validity
@@ -285,16 +286,16 @@ horizon — is the framework's first **derived** (rather than encoded)
 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 -->152 bridges · 5 not-a-bridge · 3 unadjudicated<!-- /readme-status:membership --> —
+criterion** (the catalog's `bridges` label tuple: two different regime labels; a
+rejected id is not a bridge) adjudicates the catalog — <!-- readme-status:membership -->152 bridges · 5 not-a-bridge · 3 unadjudicated (by the catalog's `bridges` label tuple, not the endpoint-regime criterion)<!-- /readme-status:membership --> —
 with rejections recorded in a reviewable negative catalog
 (`src/bridges/rejected.ts`).
 
-Since v0.12, composition is also **symbolic** (`composeSymbolic`): bridges may
+Composition is also **symbolic** (`composeSymbolic`): bridges may
 carry an optional `symbolic` `ExprNode` form, and composing two of them
 substitutes one AST into the other's junction, dimensionally validated and
 numerically evaluable — not just a chained numeric closure. The composed form
-can be folded by MathTS `simplify` (optional peer), so CT-1 reduces to
+can be folded by MathTS `simplify`, so CT-1 reduces to
 `ℏc³ln2/(8πGM)` with `k_B` cancelled. See `upt symbolic --simplify`.
 
 ## Documentation
@@ -305,8 +306,8 @@ see the **[specification index](https://github.com/danielsimonjr/universal-physi
 reader's map and the **[spec revision history](https://github.com/danielsimonjr/universal-physics-tensor/blob/master/docs/specification/CHANGELOG.md)**
 for how the documents evolved.
 
-- **[Part I: Foundation & Mathematical Framework](https://github.com/danielsimonjr/universal-physics-tensor/blob/master/docs/specification/Part-I.md)** - Tensor structure, Π = L + B + E decomposition, Bridge Equations 11-20
-- **[Part II: Extended Bridge Equation Catalog](https://github.com/danielsimonjr/universal-physics-tensor/blob/master/docs/specification/Part-II.md)** - Bridge Equations 21-54 across condensed matter, quantum biology, emergent spacetime
+- **[Part I: Foundation & Mathematical Framework](https://github.com/danielsimonjr/universal-physics-tensor/blob/master/docs/specification/Part-I.md)** - Theoretical foundation: the rank-6 catalog `Π`, framing commitment, consistency invariants, and the cross-domain bridges in categories A–E
+- **[Part II: Extended Bridge Equation Catalog](https://github.com/danielsimonjr/universal-physics-tensor/blob/master/docs/specification/Part-II.md)** - The remaining cross-domain bridge write-ups, plus the tensor-integration mapping
 - **[Part III: Computational Implementation](https://github.com/danielsimonjr/universal-physics-tensor/blob/master/docs/specification/Part-III.md)** - Algorithms, information-theoretic bounds, ML integration
 - **[Part IV: Validation & Implications](https://github.com/danielsimonjr/universal-physics-tensor/blob/master/docs/specification/Part-IV.md)** - Experimental pathways, philosophical implications, applications
 - **[Part V: Advanced Mathematics & Protocols](https://github.com/danielsimonjr/universal-physics-tensor/blob/master/docs/specification/Part-V.md)** - Category theory extensions, validation protocols, algorithmic analysis
@@ -321,8 +322,10 @@ for how the documents evolved.
 
 ### Architecture
 
-Grounded in a real parse of the code. Every authored document ends with a `## Verification` block,
-and `repo_map.py check` fails when a claim in one stops matching the source.
+Hand-written. Each document ends with a `## Verification` block that says what was re-measured
+for it and what was not. No checker runs over these documents in CI (the `repo_map.py` tool that
+once did is private and is not in this repository), so a claim in them is current only as far as
+its Verification block says.
 
 - **[Overview](https://github.com/danielsimonjr/universal-physics-tensor/blob/master/docs/architecture/OVERVIEW.md)** - What this is, what it does, how it is laid out
 - **[Architecture](https://github.com/danielsimonjr/universal-physics-tensor/blob/master/docs/architecture/ARCHITECTURE.md)** - Why it is built this way; principles and key decisions
@@ -373,7 +376,7 @@ The current machine-checked state is:
 | Empirical spine | **19 committed confrontations**, exposed through `upt confront` with rigor/caveat metadata |
 | 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 **77** 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 **66** 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. **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 -->

package/data/atlas/atlas.json

@@ -1,6 +1,6 @@
 {
   "schemaVersion": "0",
-  "packageVersion": "9.0.0",
+  "packageVersion": "10.0.0",
   "families": [
     {
       "$schema": "../schemas/atlas-record.v0.json",
@@ -557,8 +557,9 @@
             }
           ],
           "evidence": [
-            "numerically-supported",
-            "proposed"
+            "contradicted",
+            "formally-proved",
+            "symbolically-checked"
           ],
           "witnesses": [
             {
@@ -702,8 +703,8 @@
           },
           "counterexamples": [],
           "evidence": [
-            "numerically-supported",
-            "proposed"
+            "formally-proved",
+            "symbolically-checked"
           ],
           "witnesses": [
             {
@@ -770,7 +771,8 @@
             "limitCharacter": "regular",
             "uniformity": [
               "one period, for θ0 in the stated domain"
-            ]
+            ],
+            "deltaAtBasis": "closed-form"
           },
           "regime": {
             "family": "oscillators",
@@ -800,6 +802,8 @@
             }
           ],
           "evidence": [
+            "contradicted",
+            "formally-proved",
             "numerically-supported"
           ],
           "witnesses": [
@@ -874,7 +878,8 @@
             "uniformity": [
               "t ≥ 5 m/b, overdamped, at the witness normalisation b = k = 1",
               "m k / b² < 1/4, |v0| ≤ 5"
-            ]
+            ],
+            "deltaAtBasis": "numerically-supported"
           },
           "regime": {
             "family": "oscillators",
@@ -904,6 +909,7 @@
             }
           ],
           "evidence": [
+            "contradicted",
             "numerically-supported"
           ],
           "witnesses": [
@@ -987,9 +993,8 @@
             }
           ],
           "evidence": [
-            "dimension-checked",
-            "numerically-supported",
-            "proposed"
+            "contradicted",
+            "numerically-supported"
           ],
           "witnesses": [
             {
@@ -1484,8 +1489,8 @@
             }
           ],
           "evidence": [
-            "numerically-supported",
-            "proposed"
+            "contradicted",
+            "numerically-supported"
           ],
           "witnesses": [
             {
@@ -1561,7 +1566,7 @@
           "counterexamples": [],
           "evidence": [
             "numerically-supported",
-            "proposed"
+            "symbolically-checked"
           ],
           "witnesses": [
             {
@@ -1625,8 +1630,8 @@
             }
           ],
           "evidence": [
-            "numerically-supported",
-            "proposed"
+            "contradicted",
+            "numerically-supported"
           ],
           "witnesses": [
             {
@@ -1715,8 +1720,8 @@
             }
           ],
           "evidence": [
-            "numerically-supported",
-            "proposed"
+            "contradicted",
+            "numerically-supported"
           ],
           "witnesses": [
             {
@@ -1845,8 +1850,7 @@
           },
           "counterexamples": [],
           "evidence": [
-            "numerically-supported",
-            "proposed"
+            "symbolically-checked"
           ],
           "witnesses": [
             {
@@ -1899,7 +1903,8 @@
             "limitCharacter": "singular",
             "uniformity": [
               "slow-mode decay rate of one Fourier mode, for ε = τDq² ≤ 0.05"
-            ]
+            ],
+            "deltaAtBasis": "closed-form"
           },
           "regime": {
             "family": "diffusion",
@@ -1929,8 +1934,9 @@
             }
           ],
           "evidence": [
-            "numerically-supported",
-            "proposed"
+            "contradicted",
+            "formally-proved",
+            "numerically-supported"
           ],
           "witnesses": [
             {
@@ -1996,7 +2002,8 @@
             "limitCharacter": "regular",
             "uniformity": [
               "oscillation frequency of one Fourier mode, for ε = τDq² ≥ 25"
-            ]
+            ],
+            "deltaAtBasis": "closed-form"
           },
           "regime": {
             "family": "diffusion",
@@ -2031,8 +2038,8 @@
           },
           "counterexamples": [],
           "evidence": [
-            "numerically-supported",
-            "proposed"
+            "formally-proved",
+            "numerically-supported"
           ],
           "witnesses": [
             {
@@ -2106,8 +2113,7 @@
           },
           "counterexamples": [],
           "evidence": [
-            "numerically-supported",
-            "proposed"
+            "numerically-supported"
           ],
           "witnesses": [
             {
@@ -2501,8 +2507,7 @@
           },
           "counterexamples": [],
           "evidence": [
-            "numerically-supported",
-            "proposed"
+            "numerically-supported"
           ],
           "witnesses": [
             {
@@ -2543,8 +2548,8 @@
           },
           "counterexamples": [],
           "evidence": [
-            "numerically-supported",
-            "proposed"
+            "formally-proved",
+            "numerically-supported"
           ],
           "witnesses": [
             {
@@ -2646,8 +2651,8 @@
             }
           ],
           "evidence": [
-            "numerically-supported",
-            "proposed"
+            "contradicted",
+            "numerically-supported"
           ],
           "witnesses": [
             {
@@ -2699,7 +2704,8 @@
             "limitCharacter": "regular",
             "uniformity": [
               "phase velocity of one Fourier mode, for ω₀/(ck) ≤ 0.1"
-            ]
+            ],
+            "deltaAtBasis": "closed-form"
           },
           "regime": {
             "family": "waves",
@@ -2729,8 +2735,9 @@
             }
           ],
           "evidence": [
-            "numerically-supported",
-            "proposed"
+            "contradicted",
+            "formally-proved",
+            "numerically-supported"
           ],
           "witnesses": [
             {
@@ -2796,7 +2803,8 @@
             "limitCharacter": "regular",
             "uniformity": [
               "kinetic frequency of one mode, for x = ck/ω₀ ≤ 0.1"
-            ]
+            ],
+            "deltaAtBasis": "closed-form"
           },
           "regime": {
             "family": "waves",
@@ -2838,8 +2846,9 @@
             }
           ],
           "evidence": [
-            "numerically-supported",
-            "proposed"
+            "contradicted",
+            "formally-proved",
+            "numerically-supported"
           ],
           "witnesses": [
             {
@@ -2910,8 +2919,8 @@
           },
           "counterexamples": [],
           "evidence": [
-            "numerically-supported",
-            "proposed"
+            "formally-proved",
+            "numerically-supported"
           ],
           "witnesses": [
             {
@@ -2970,7 +2979,8 @@
             "limitCharacter": "regular",
             "uniformity": [
               "phase velocity of one Fourier mode, for β = EIk²/F ≤ 0.01"
-            ]
+            ],
+            "deltaAtBasis": "closed-form"
           },
           "regime": {
             "family": "waves",
@@ -3001,8 +3011,9 @@
             }
           ],
           "evidence": [
-            "numerically-supported",
-            "proposed"
+            "contradicted",
+            "formally-proved",
+            "numerically-supported"
           ],
           "witnesses": [
             {

package/data/atlas/atlas.jsonld

@@ -5,7 +5,7 @@
     "qudt": "http://qudt.org/schema/qudt/",
     "dcterms": "http://purl.org/dc/terms/"
   },
-  "@id": "urn:upt:atlas:release:9.0.0",
+  "@id": "urn:upt:atlas:release:10.0.0",
   "upt:qudtProbedAt": "2026-09-22",
   "@graph": [
     {

package/data/atlas/diffusion.json

@@ -1,7 +1,7 @@
 {
   "$schema": "../schemas/atlas-record.v0.json",
   "schemaVersion": "0",
-  "packageVersion": "9.0.0",
+  "packageVersion": "10.0.0",
   "family": "diffusion",
   "models": [
     {
@@ -441,8 +441,8 @@
         }
       ],
       "evidence": [
-        "numerically-supported",
-        "proposed"
+        "contradicted",
+        "numerically-supported"
       ],
       "witnesses": [
         {
@@ -518,7 +518,7 @@
       "counterexamples": [],
       "evidence": [
         "numerically-supported",
-        "proposed"
+        "symbolically-checked"
       ],
       "witnesses": [
         {
@@ -582,8 +582,8 @@
         }
       ],
       "evidence": [
-        "numerically-supported",
-        "proposed"
+        "contradicted",
+        "numerically-supported"
       ],
       "witnesses": [
         {
@@ -672,8 +672,8 @@
         }
       ],
       "evidence": [
-        "numerically-supported",
-        "proposed"
+        "contradicted",
+        "numerically-supported"
       ],
       "witnesses": [
         {
@@ -802,8 +802,7 @@
       },
       "counterexamples": [],
       "evidence": [
-        "numerically-supported",
-        "proposed"
+        "symbolically-checked"
       ],
       "witnesses": [
         {
@@ -856,7 +855,8 @@
         "limitCharacter": "singular",
         "uniformity": [
           "slow-mode decay rate of one Fourier mode, for ε = τDq² ≤ 0.05"
-        ]
+        ],
+        "deltaAtBasis": "closed-form"
       },
       "regime": {
         "family": "diffusion",
@@ -886,8 +886,9 @@
         }
       ],
       "evidence": [
-        "numerically-supported",
-        "proposed"
+        "contradicted",
+        "formally-proved",
+        "numerically-supported"
       ],
       "witnesses": [
         {
@@ -953,7 +954,8 @@
         "limitCharacter": "regular",
         "uniformity": [
           "oscillation frequency of one Fourier mode, for ε = τDq² ≥ 25"
-        ]
+        ],
+        "deltaAtBasis": "closed-form"
       },
       "regime": {
         "family": "diffusion",
@@ -988,8 +990,8 @@
       },
       "counterexamples": [],
       "evidence": [
-        "numerically-supported",
-        "proposed"
+        "formally-proved",
+        "numerically-supported"
       ],
       "witnesses": [
         {
@@ -1063,8 +1065,7 @@
       },
       "counterexamples": [],
       "evidence": [
-        "numerically-supported",
-        "proposed"
+        "numerically-supported"
       ],
       "witnesses": [
         {

package/data/atlas/oscillators.json

@@ -1,7 +1,7 @@
 {
   "$schema": "../schemas/atlas-record.v0.json",
   "schemaVersion": "0",
-  "packageVersion": "9.0.0",
+  "packageVersion": "10.0.0",
   "family": "oscillators",
   "models": [
     {
@@ -554,8 +554,9 @@
         }
       ],
       "evidence": [
-        "numerically-supported",
-        "proposed"
+        "contradicted",
+        "formally-proved",
+        "symbolically-checked"
       ],
       "witnesses": [
         {
@@ -699,8 +700,8 @@
       },
       "counterexamples": [],
       "evidence": [
-        "numerically-supported",
-        "proposed"
+        "formally-proved",
+        "symbolically-checked"
       ],
       "witnesses": [
         {
@@ -767,7 +768,8 @@
         "limitCharacter": "regular",
         "uniformity": [
           "one period, for θ0 in the stated domain"
-        ]
+        ],
+        "deltaAtBasis": "closed-form"
       },
       "regime": {
         "family": "oscillators",
@@ -797,6 +799,8 @@
         }
       ],
       "evidence": [
+        "contradicted",
+        "formally-proved",
         "numerically-supported"
       ],
       "witnesses": [
@@ -871,7 +875,8 @@
         "uniformity": [
           "t ≥ 5 m/b, overdamped, at the witness normalisation b = k = 1",
           "m k / b² < 1/4, |v0| ≤ 5"
-        ]
+        ],
+        "deltaAtBasis": "numerically-supported"
       },
       "regime": {
         "family": "oscillators",
@@ -901,6 +906,7 @@
         }
       ],
       "evidence": [
+        "contradicted",
         "numerically-supported"
       ],
       "witnesses": [
@@ -984,9 +990,8 @@
         }
       ],
       "evidence": [
-        "dimension-checked",
-        "numerically-supported",
-        "proposed"
+        "contradicted",
+        "numerically-supported"
       ],
       "witnesses": [
         {