universal-physics-tensor 0.44.1 → 0.44.2

package/README.md

@@ -62,6 +62,8 @@ npm run upt -- predict                                     # empty regime cells
 npm run upt -- discover                                    # vet link candidates (merge/unlock/consistency)
 npm run upt -- discover --source=canonical                 # run the funnel on standard physics ALONE (no bridges)
 npm run upt -- discover --derive                           # surface machine-derived identity consequences (--max-orders / --anchor flags available)
+npm run upt -- probe scan                                  # experimental expression/residual frontier (Product B; not `upt discover`)
+npm run upt -- probe run --problem=tests/fixtures/discovery/pendulum-scaling/public/problem.json
 npm run upt -- connectors                                  # which isolated bridges can connect to the core
 npm run upt -- coverage                                    # audit each bridge's empirical grounding
 npm run upt -- canonical                                   # the standard-physics L-layer registry (answer key)
@@ -173,7 +175,7 @@ Bridge equations connect different physical regimes:
 - Universal Emergence Equation
 - Complexity-Entropy Production Relation
 
-See [Part I](docs/specification/Part-I.md) and [Part II](docs/specification/Part-II.md) of the formal specification for the complete bridge equation catalog (Bridge Equations 11–54). Part III covers algorithmic implementation. The catalog is also published as a reviewable JSON artifact at [`data/bridge-catalog.json`](data/bridge-catalog.json).
+Parts I–II of the formal specification document the original BE-11…54 corpus; later established additions BE-55…65 are captured in the live code/research record. The **authoritative current catalog** is the versioned, test-pinned JSON artifact at [`data/bridge-catalog.json`](data/bridge-catalog.json), which currently spans BE-11…65. Part III covers algorithmic implementation.
 
 ### Composing Bridges (v0.8.0)
 
@@ -228,6 +230,26 @@ for how the documents evolved.
 - **[Implementation Plan](docs/planning/Implementation-Plan.md)** - Technical architecture
 - **[System Requirements](docs/planning/System-Requirements.md)** - Functional requirements
 
+### 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.
+
+- **[Overview](docs/architecture/OVERVIEW.md)** - What this is, what it does, how it is laid out
+- **[Architecture](docs/architecture/ARCHITECTURE.md)** - Why it is built this way; principles and key decisions
+- **[Components](docs/architecture/COMPONENTS.md)** - Each module, with real signatures
+- **[Data Flow](docs/architecture/DATAFLOW.md)** - How a request travels end to end
+- **[API Reference](docs/architecture/API.md)** - The public surface, per export
+- **[File Inventory](docs/architecture/FILE_INVENTORY.md)** - Every tracked file, by zone and disposition
+- **[Test Coverage](docs/architecture/TEST_COVERAGE.md)** - What is tested and what is not *(generated)*
+- **[Dependency Graph](docs/architecture/DEPENDENCY_GRAPH.md)** - Who imports whom *(generated)*
+- **[Unused Analysis](docs/architecture/unused-analysis.md)** - Files and exports with no importer *(generated)*
+- **[Duplicate Symbols](docs/architecture/duplicate-symbols.md)** - Names defined in more than one file
+- **[Physics Map](docs/architecture/PHYSICS_MAP.md)** - The bridge catalog as a map
+
+Regenerate the three generated reports with `npm run docs:deps`; do not edit them by hand. The
+`docs-fresh` CI job fails if what is committed differs from a fresh generation.
+
 ### Code Documentation
 - **[Examples](examples/)** - Usage examples and code samples
 - **[Documentation Index](docs/README.md)** - Complete documentation guide
@@ -248,170 +270,35 @@ delivered a measured **5-6× RK4 geodesic-integrator speedup** (see [CHANGELOG](
 
 ## Development Status
 
-**Current version:** v0.40.0 — [npm `latest`](https://www.npmjs.com/package/universal-physics-tensor)
-— building on
-the **v0.8.0 → v0.23.0** rollup arc (composition
-graph + GW170817 / BE-23 data confrontations + catalog adjudication, Part-IX
-Phase C/D, the full catalog→graph migration, the bridge-inference +
-symbolic-composition tooling, the G-9 geometrized-units adapters, the
-distributional/variational grammar primitives, the AST bridge-gradient path, and
-the **canonical-equation L-layer** with bridge↔canonical linkage). v0.24.0 added
-the **identity-consequence surfacer** (`upt discover --derive` → machine-derived
-candidate relations, held out of the catalog pending §XXVII-B review; see
-[Part-XI](docs/specification/Part-XI-Proposed-Equations.md)), **canonical-only
-discovery** (`--source=catalog|canonical|both`), canonical-graph quality fixes
-(magnitude-gate sourcing, variable-name unification, the declared
-compton↔de-Broglie link), and architecture refactors (the `tensor↔cell` runtime
-cycle removed; the `numerical→bridges` upward dependency dropped). v0.25.0 adds
-**physics-map visualization** — `upt map --format=mermaid|dot|svg` renders the
-graph (quantities = nodes, equations = junctions) from live data; SVG via the
-optional `@viz-js/viz` peer (see
-[`docs/architecture/PHYSICS_MAP.md`](docs/architecture/PHYSICS_MAP.md)). v0.26.0
-adds **`upt map --equation`** — drop your own equation onto the map, with
-**dimensional validation** and a dimension-based "did you mean?" — backed by a
-public **`parsePhysics`** (string → dimensional `ExprNode`) and single-unknown
-dimensional inference. v0.27.0 **consolidates the ASTs** — both parser front-ends
-now transpile through one normalized path to `ExprNode`, the single semantic IR.
-v0.28.0 is the first npm release since v0.25.0 (npm `latest` jumps
-0.25.0 → 0.28.0; v0.26.0/v0.27.0 were GitHub-only), shipping the Adam+Eve
-**canonical-L-layer expansion 26 → 66 equations**. v0.29.0, the "three
-frontiers" release, lands the catalog's first **established-bridge real-data
-confrontation** — `confrontBE52` vs Mercury's anomalous perihelion advance,
-agreeing within 1σ (data-confronted bridges 2 → 3) — plus three adjudication
-passes that closed out the discovery-pipeline's candidate sets (8 machine-
-surfaced candidates, 0 false positives promoted). v0.30.0 is a **CLI
-overhaul**: `bin/upt.mjs` shrinks to a ~22-line shim over a typed `src/cli/`
-module, every data-bearing command gains a `--json` envelope, `--source=
-catalog|canonical|both` extends to all 8 graph-analysis commands, and
-unknown/mistyped flags now exit 2 instead of being silently ignored. v0.31.0
-(discovery-hardening Phase 1) adds an **adjudication ledger**
-(`src/composition/adjudication.ts`) plus a calibration benchmark, so `upt
-discover` remembers past human verdicts and folds recorded decoy/entailed
-candidates out of its default output instead of re-surfacing them every run.
-Discovery-hardening Phase 4 Unit A adds **consequence propagation**
-(`src/composition/consequence.ts`) — a machine pre-classifier that labels
-each `promising` candidate `entailed` (re-derives a known canonical
-equation), `novel-consequence` (a valid, unmatched algebraic consequence),
-or `inconclusive`, surfaced as a `[consequence: …]` trailer in `upt discover`
-and a `consequence` field under `--json`; annotation-only, so the funnel's
-promising/inert/contradictory counts never move. v0.34.0 **expands the
-canonical L-layer 66 → 93 equations** (+41%, 27 new cited monomial laws) across
-a new `condensed-matter` domain (Drude/Fermi/Hall) plus fluids, EM, thermo,
-statistical mechanics, and mechanics/quantum — and, just as importantly, maps
-the boundaries of the monomial L0 model: sums, transcendentals, hidden length
-scales, dimensionless numbers, and pure counts are excluded (not force-fit) and
-logged for a future L1-sum/L2 tier (`docs/research/canonical-expansion-candidate-audit.md`).
-v0.35.0–v0.36.0 open the **L1-sum tier** — 10 non-monomial canonical laws
-carrying a full scalar-AST (Bernoulli, radioactive decay, photoelectric, Carnot,
-Boltzmann factor, Lorentz γ, Compton shift, Rydberg, Snell, Malus; 93 → 103),
-filling the special-relativity and optics gaps the monomial layer had zero
-entries for — and add the **BE-51 gravitational-lensing confrontation**, so all
-three classic tests of general relativity (Mercury perihelion, Shapiro delay,
-light deflection) now confront real data within 1σ. The L1-sum entries are an
-honest reference layer: measured to produce zero structural bridge-matches
-today, their value is reference-completeness, not bridge-validation.
-v0.37.0 is the **PI-instrument program** — the framework read as an honest
-falsification instrument: every `upt discover` verdict now carries an
-epistemic-grounding ledger (which falsifiers it passed vs the gaps), the evidence
-spine grows to **7 confrontations** (be-21 KSS η/s vs the quark-gluon plasma,
-joining the three classic GR tests within 1σ), and the flagship
-`docs/research/pi-instrument-results.md` consolidates the null-result catalog,
-evidence spine, and frontier. Three phases resolved to honest not-build/boundary
-(mechanism and data are not testable on dimensional candidates without
-fabrication) — the discipline that makes the *yes* trustworthy.
-v0.38.0 grows the evidence spine to **8 confrontations**: asked to "build the
-connectors", the honest answer was 0-of-7 genuine (the isolated frontier is
-isolated by physics, not vocabulary), so the spine grew with real data instead —
-be-35, the conformal bootstrap's 3D-Ising exponent ν = 0.629971 confronting the
-measured 0.630(2) within 1σ.
-v0.39.0 grows the spine to **9 confrontations** with be-11 (the decoherence master
-equation vs collisional decoherence of C70 fullerenes, Hornberger 2003, 9-gas
-agreement within ~15%) — notable for an honesty save: both adversarial reviewers
-returned fabricated cross-sections, caught by reading the primary arXiv source.
-v0.40.0 is an honesty-hardening release from a PI review of the spine's rigor: it
-found that be-36's "not excluded ✓" was a one-sided pass — the symmetric encoded
-GW170817 bound (|Δc/c| ≤ 10⁻¹⁵) is consistent with the observed +side (+6.5×10⁻¹⁶)
-but not the observed −side (−3.1×10⁻¹⁵) — so `upt confront` now surfaces that caveat
-in the summary line instead of leaving it only in the provenance note. The honest
-shape of the spine: precision GR at ~10⁻⁵ across two independent PPN parameters
-(γ twice, β once), not nine equal confirmations.
-
-| Metric | Value |
+The repository package version is **v0.44.1**. Release chronology and historical
+metrics live in the [CHANGELOG](CHANGELOG.md); the README intentionally avoids
+copying release-by-release counts that can drift.
+
+The current machine-checked state is:
+
+| Surface | Current state |
 |---|---|
-| Bridge catalog | **44** (IDs 11-54) — 8 established · 33 speculative · 3 highly-speculative · 0 invalid; membership-adjudicated **36 bridges · 5 not-a-bridge · 3 contested**; **41-edge composition graph** (full migration, 131 centralized quantity nodes) with a bridge-inference suite — **identifiability classifier**, **retrodiction harness**, **Buckingham-π enumerator**, unified by an **`explainQuantity`** entry point, plus (v0.12) the candidate-vetting **discovery loop**, regime-prediction map, empirical-coverage audit, and **symbolic composition** (the Observable contract + MathTS simplification) |
-| Test suite | **3600** passing (4 skipped, 1 todo; incl. property-based algebra tests) across 334 files — gated by CI |
-| `tsc --noEmit` | clean (src + strict `tsc -p tsconfig.tests.json`) |
-| GR validation anchors | BE-52 Mercury perihelion relErr 1.8×10⁻⁷ · BE-37 Shapiro delay relErr ~2×10⁻⁸ |
-| First derived relation | E_min(M) = ℏc³ln2/(8πGM) from BE-42 ∘ BE-16, relErr ≤ 10⁻¹² (pre-registered CT-1) |
-| First data confrontation | GW170817 → BE-36: recomputed bounds +6.5×10⁻¹⁶ / −3.1×10⁻¹⁵ vs published +7×10⁻¹⁶ / −3×10⁻¹⁵ |
-| Core capability | Dimensional AST validator (23 node kinds; valence-homogeneity + symbolic-exponent grammar, v0.13; distributional/variational primitives, v0.14) · curvature + Einstein-field-equation layers · GL4 symplectic geodesic integrator · composition graph (`composeEdges` + symbolic `composeSymbolic`) · geometrized-units adapters (G-9 increment 1, v0.13) · canonical-equation **L-layer** + bridge↔canonical linkage / F4 guard (v0.22) · **identity-consequence surfacer** (`upt discover --derive`, v0.24) · **physics-map visualization** (`upt map --format=mermaid\|dot\|svg`) |
-
-Release history lives in the **[CHANGELOG](CHANGELOG.md)** — from the v0.1.0
-catalog-closure milestone (40/40 AST encodings via the Wave A→Z encoding arc,
-with cross-LLM validation of the highest-stakes reformulations) through the
-GR-foundations releases (v0.4.x–v0.6.0), the v0.7.x intelligent-index / gradient
-series, the v0.8–v0.11 composition + catalog→graph arc, the v0.12–v0.13
-inference / symbolic-composition / units work, and the v0.14–v0.23
-distributional/variational grammar, AST bridge-gradient path, canonical-equation
-L-layer, bridge↔canonical linkage, and identity-consequence surfacer arc. The formal
-spec's own revision ledger is at
-[docs/specification/CHANGELOG.md](docs/specification/CHANGELOG.md).
-
-### Roadmap
-
-- **Units-normalization (G-9)** — increment 1 (the geometrized-units boundary
-  adapters, dimension-functor-driven) shipped in v0.13; **increment 2 (v0.14)**
-  promoted the adapters (`toGeometrized`/`fromGeometrized`/`geometrizedFactor`/
-  `NonGeometrizableDimensionError`) to the public API, added a geometrized-native
-  Schwarzschild fixture (x⁰=ct chart) + an SI↔geometrized Kretschmann equivalence
-  test (the adapter exercised on the mass input, `M_geom = GM/c²`); the FD
-  order-2 claw-back was cut as a provable unit-invariant no-op. **Increment 3**
-  (deferred, own plan+vet): subsuming the `unitless*` fixture family + routing
-  the DEFAULT GR pipeline onto the geometrized fast path.
-- **Bridge-inference + symbolic-composition tooling** — **DONE (v0.12–v0.13)**:
-  the discovery loop, regime-prediction, coverage audit, orphan-connector
-  analysis, `composeSymbolic` (the Observable contract) + optional MathTS
-  simplification — all REVIEW SURFACES for physicist judgment, not automated
-  discovery.
-- **Grammar extensions for genuinely-deferred primitives** — **GRAMMAR DONE
-  (v0.14)**: the `dirac-delta` correlator (`[δ(x)]=[x]⁻¹`) and the
-  `variational-derivative` operator (`[δF/δφ]=[F]/([φ]·[μ])`) are now scalar
-  `ExprNode` arms (Adam+Eve-vetted;
-  `docs/planning/v0.14-Distributional-Grammar-Design.md`). The full Model-A
-  Langevin / fluctuation-dissipation relation BE-15 documented as un-encodable
-  now validates dimensionally homogeneous. The CATALOG re-encoding that USES the
-  new grammar — BE-15's faithful Langevin form, and a faithful BE-28 MEPP
-  variational maximization (BE-28's σ=ΣJX carries a CRITICAL WARNING that it is
-  the *definiendum*, not the maximization principle) — is a physics-curation
-  decision deferred to a physicist (CONTRIBUTING.md); barrier 3 (functional
-  integration over field configurations) remains out of scope. (A separate
-  bounded grammar extension — symbolic exponents on a dimensionless base —
-  landed in v0.13, letting BE-33 carry its faithful `(T/T₀)^(−1/z)` form.)
-- ~~Catalog → quantity-graph migration~~ — **DONE (v0.11, 2026-06-11)**:
-  the full 41-edge graph is live, gated by the name-collision
-  namespacing rule (`CompositionAliasError` + reviewable
-  `SOURCE_ALIAS_DISPOSITIONS`); the ~90 new quantity-naming judgments
-  are the standing physicist-review surface.
-- **More data confrontations** — the evidence spine has grown to **9**:
-  GW170817 → BE-36 (GW speed; one-sided caveat surfaced in the summary
-  line), the BE-23 Planckian-dissipation check (Legros et al. 2019, honest
-  aggregate-level encoding), BE-37 Shapiro delay → Cassini PPN-γ, BE-48 GRW
-  collapse rate → the LISA-Pathfinder CSL bound, BE-52 Mercury perihelion
-  precession, BE-51 gravitational lensing (VLBI), BE-21 KSS η/s bound (the
-  quark-gluon plasma nearly saturates it), BE-35 conformal-bootstrap
-  3D-Ising ν, and BE-11 collisional decoherence (Hornberger 2003) — unified
-  behind `upt confront [--bridge] [--sensitivity]` and a typed observation
-  registry. Still data-pending: upgrading BE-23 to the per-material α table,
-  BE-16 Landauer/Bérut (machinery built, paywalled Fig-4 asymptote pending),
-  and the BE-38 MOND/SPARC deep-limit (contingent on a genuine-test
-  determination).
-- **Three.js / game-engine class visualization** in a separate repo
-  (out of UPT scope per project decision; see
-  `docs/planning/Future-Production-Hardening.md`).
-- **Collaboration with physics researchers** — eight bounded review tasks
-  are waiting in [CONTRIBUTING.md](CONTRIBUTING.md), including the three
-  contested membership adjudications (BE-44/46/50) and the CI-1/CI-2
-  dynamic-scaling call surfaced by the orphan-connector analysis.
+| Bridge catalog | **55 entries (BE-11…65)**: 19 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 | **41 bridge edges** plus the canonical L-layer graph; dimensional, symbolic, discovery, consequence, and visualization tooling |
+| Canonical reference layer | **103 canonical equations** used as the non-speculative answer-key layer for bridge recovery/linkage |
+| Architecture | Generated dependency graph reports **0 circular dependencies** and a clean unused-analysis report; `npm run docs:deps` is CI freshness-gated |
+| 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 |
+
+The project is **engineering-complete for its stated goal**: it is a computational
+laboratory and falsification/review instrument, not a claim that physics itself is
+complete or unified. New physics claims remain reviewable hypotheses and require
+external evidence/domain review before promotion.
+
+### Remaining frontier (not code-completion blockers)
+
+- Physics-curation decisions and literature validation are tracked as bounded
+  contributor tasks in [CONTRIBUTING.md](CONTRIBUTING.md).
+- Longer-horizon production ideas are explicitly non-blocking and live in
+  [`docs/planning/Future-Production-Hardening.md`](docs/planning/Future-Production-Hardening.md).
+- Historical implementation plans are preserved as records; the live code-completion
+  ledger is [`docs/planning/ACTIVE.md`](docs/planning/ACTIVE.md) and is what
+  `npm run audit:plans` gates.
 
 ## Contributing
 

package/dist/bridges/bridge-equations.d.ts

@@ -1,10 +1,10 @@
 /**
  * `BridgeEquations` — a convenience facade over the per-bridge evaluators.
  *
- * Every catalogued bridge ships a self-contained `evaluate*()` function in its
- * `src/bridges/equations/be-*.ts` module (plus the two v0.4.0 GR evaluators at
- * `src/bridges/`). Those modules are reachable only by subpath import. This
- * facade gathers them under one root-level object keyed by readable names, so a
+ * Every catalogued bridge ships a self-contained evaluator. BE-11…50 and
+ * BE-53/54 live under `src/bridges/equations/`; BE-51/52 and BE-55…65 use
+ * dedicated bridge modules. This facade gathers one evaluator for every live
+ * catalog id under readable root-level method names, so a
  * consumer can write `BridgeEquations.decoherenceRate({...})` from the package
  * root. Each method is a **1:1 pass-through** to the existing pure function —
  * NO new physics, no recomputation; the method name simply mirrors the
@@ -17,8 +17,8 @@
  *     (see the ⚠ CRITICAL WARNING in be-28-onsager-entropy-production.ts).
  *   - BE-25 maps to the live IIT `intrinsicInformation`; the archived
  *     Penrose-Hameroff `evaluateOrchOR` is deliberately NOT surfaced.
- *   - BE-51 has no evaluator and is intentionally absent (no fabricated physics).
- *     BE-52 is `perihelionPrecession` (the v0.4.0 GR evaluator).
+ *   - BE-51/52 use the validated GR evaluators `gravitationalLensing` and
+ *     `perihelionPrecession`.
  *
  * The README previously described this as "specified in Parts I–III"; the specs
  * actually specify the physics + AST encodings, not this TypeScript API, so the
@@ -70,6 +70,17 @@ import { evaluateYangMillsBeta } from './equations/be-53-yang-mills-beta.js';
 import { evaluateRandallSundrumH2 } from './equations/be-54-randall-sundrum-brane.js';
 import { evaluateGravitationalLensing } from './gravitational-lensing.js';
 import { evaluatePerihelionPrecession } from './perihelion-precession.js';
+import { evaluateQuantumHall } from './be55-quantum-hall.js';
+import { evaluateCasimir } from './be56-casimir.js';
+import { evaluateUnruh } from './be57-unruh.js';
+import { evaluateJohnsonNyquist } from './be58-johnson-nyquist.js';
+import { evaluateACJosephson } from './be59-ac-josephson.js';
+import { evaluateFractionalQH } from './be60-fractional-qh.js';
+import { evaluateWiedemannFranz } from './be61-wiedemann-franz.js';
+import { evaluateBCSGap } from './be62-bcs-gap.js';
+import { evaluateChandrasekharMass } from './be63-chandrasekhar-mass.js';
+import { evaluateEddingtonLuminosity } from './be64-eddington-luminosity.js';
+import { evaluateJeansMass } from './be65-jeans-mass.js';
 /**
  * Root-level facade keyed by readable method names. Each value is a re-export of
  * the bridge's existing `evaluate*()` function; the bridge ID is in the comment.
@@ -125,5 +136,16 @@ export declare const BridgeEquations: {
     readonly randallSundrumH2: typeof evaluateRandallSundrumH2;
     readonly gravitationalLensing: typeof evaluateGravitationalLensing;
     readonly perihelionPrecession: typeof evaluatePerihelionPrecession;
+    readonly quantumHall: typeof evaluateQuantumHall;
+    readonly casimir: typeof evaluateCasimir;
+    readonly unruh: typeof evaluateUnruh;
+    readonly johnsonNyquist: typeof evaluateJohnsonNyquist;
+    readonly acJosephson: typeof evaluateACJosephson;
+    readonly fractionalQuantumHall: typeof evaluateFractionalQH;
+    readonly wiedemannFranz: typeof evaluateWiedemannFranz;
+    readonly bcsGap: typeof evaluateBCSGap;
+    readonly chandrasekharMass: typeof evaluateChandrasekharMass;
+    readonly eddingtonLuminosity: typeof evaluateEddingtonLuminosity;
+    readonly jeansMass: typeof evaluateJeansMass;
 };
 //# sourceMappingURL=bridge-equations.d.ts.map

package/dist/bridges/bridge-equations.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"bridge-equations.d.ts","sourceRoot":"","sources":["../../src/bridges/bridge-equations.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAEH,OAAO,EAAE,uBAAuB,EAAE,MAAM,yCAAyC,CAAC;AAClF,OAAO,EAAE,wBAAwB,EAAE,MAAM,uCAAuC,CAAC;AACjF,OAAO,EAAE,qBAAqB,EAAE,MAAM,qCAAqC,CAAC;AAC5E,OAAO,EAAE,qBAAqB,EAAE,4BAA4B,EAAE,MAAM,qCAAqC,CAAC;AAC1G,OAAO,EAAE,wBAAwB,EAAE,+BAA+B,EAAE,MAAM,gCAAgC,CAAC;AAC3G,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,EAAE,8BAA8B,EAAE,MAAM,sCAAsC,CAAC;AACtF,OAAO,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAC;AACpE,OAAO,EAAE,qBAAqB,EAAE,MAAM,qCAAqC,CAAC;AAC5E,OAAO,EAAE,mCAAmC,EAAE,MAAM,oCAAoC,CAAC;AACzF,OAAO,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAClE,OAAO,EAAE,WAAW,EAAE,MAAM,+CAA+C,CAAC;AAC5E,OAAO,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;AAC5E,OAAO,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;AAC5E,OAAO,EAAE,4BAA4B,EAAE,MAAM,8BAA8B,CAAC;AAC5E,OAAO,EAAE,oBAAoB,EAAE,MAAM,oCAAoC,CAAC;AAC1E,OAAO,EAAE,4BAA4B,EAAE,MAAM,4CAA4C,CAAC;AAC1F,OAAO,EAAE,gCAAgC,EAAE,MAAM,iDAAiD,CAAC;AACnG,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AACnE,OAAO,EAAE,uBAAuB,EAAE,mBAAmB,EAAE,MAAM,oCAAoC,CAAC;AAClG,OAAO,EAAE,uBAAuB,EAAE,MAAM,oCAAoC,CAAC;AAC7E,OAAO,EAAE,kBAAkB,EAAE,MAAM,8CAA8C,CAAC;AAClF,OAAO,EAAE,mBAAmB,EAAE,MAAM,mCAAmC,CAAC;AACxE,OAAO,EAAE,mBAAmB,EAAE,MAAM,mCAAmC,CAAC;AACxE,OAAO,EAAE,wBAAwB,EAAE,MAAM,0CAA0C,CAAC;AACpF,OAAO,EAAE,oBAAoB,EAAE,MAAM,qCAAqC,CAAC;AAC3E,OAAO,EAAE,oBAAoB,EAAE,MAAM,oCAAoC,CAAC;AAC1E,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAC9D,OAAO,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,wCAAwC,CAAC;AAC3F,OAAO,EAAE,sBAAsB,EAAE,MAAM,sCAAsC,CAAC;AAC9E,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AACnE,OAAO,EAAE,0BAA0B,EAAE,MAAM,0CAA0C,CAAC;AACtF,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AACjE,OAAO,EAAE,0BAA0B,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AACvD,OAAO,EAAE,yBAAyB,EAAE,MAAM,yCAAyC,CAAC;AACpF,OAAO,EAAE,eAAe,EAAE,MAAM,sCAAsC,CAAC;AACvE,OAAO,EAAE,uBAAuB,EAAE,MAAM,uCAAuC,CAAC;AAChF,OAAO,EAAE,wBAAwB,EAAE,MAAM,wCAAwC,CAAC;AAClF,OAAO,EAAE,sBAAsB,EAAE,MAAM,sCAAsC,CAAC;AAC9E,OAAO,EAAE,qBAAqB,EAAE,MAAM,sCAAsC,CAAC;AAC7E,OAAO,EAAE,wBAAwB,EAAE,MAAM,4CAA4C,CAAC;AACtF,OAAO,EAAE,4BAA4B,EAAE,MAAM,4BAA4B,CAAC;AAC1E,OAAO,EAAE,4BAA4B,EAAE,MAAM,4BAA4B,CAAC;AAE1E;;;;;GAKG;AACH,eAAO,MAAM,eAAe;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAkDlB,CAAC"}
+{"version":3,"file":"bridge-equations.d.ts","sourceRoot":"","sources":["../../src/bridges/bridge-equations.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAEH,OAAO,EAAE,uBAAuB,EAAE,MAAM,yCAAyC,CAAC;AAClF,OAAO,EAAE,wBAAwB,EAAE,MAAM,uCAAuC,CAAC;AACjF,OAAO,EAAE,qBAAqB,EAAE,MAAM,qCAAqC,CAAC;AAC5E,OAAO,EAAE,qBAAqB,EAAE,4BAA4B,EAAE,MAAM,qCAAqC,CAAC;AAC1G,OAAO,EAAE,wBAAwB,EAAE,+BAA+B,EAAE,MAAM,gCAAgC,CAAC;AAC3G,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,EAAE,8BAA8B,EAAE,MAAM,sCAAsC,CAAC;AACtF,OAAO,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAC;AACpE,OAAO,EAAE,qBAAqB,EAAE,MAAM,qCAAqC,CAAC;AAC5E,OAAO,EAAE,mCAAmC,EAAE,MAAM,oCAAoC,CAAC;AACzF,OAAO,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAClE,OAAO,EAAE,WAAW,EAAE,MAAM,+CAA+C,CAAC;AAC5E,OAAO,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;AAC5E,OAAO,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;AAC5E,OAAO,EAAE,4BAA4B,EAAE,MAAM,8BAA8B,CAAC;AAC5E,OAAO,EAAE,oBAAoB,EAAE,MAAM,oCAAoC,CAAC;AAC1E,OAAO,EAAE,4BAA4B,EAAE,MAAM,4CAA4C,CAAC;AAC1F,OAAO,EAAE,gCAAgC,EAAE,MAAM,iDAAiD,CAAC;AACnG,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AACnE,OAAO,EAAE,uBAAuB,EAAE,mBAAmB,EAAE,MAAM,oCAAoC,CAAC;AAClG,OAAO,EAAE,uBAAuB,EAAE,MAAM,oCAAoC,CAAC;AAC7E,OAAO,EAAE,kBAAkB,EAAE,MAAM,8CAA8C,CAAC;AAClF,OAAO,EAAE,mBAAmB,EAAE,MAAM,mCAAmC,CAAC;AACxE,OAAO,EAAE,mBAAmB,EAAE,MAAM,mCAAmC,CAAC;AACxE,OAAO,EAAE,wBAAwB,EAAE,MAAM,0CAA0C,CAAC;AACpF,OAAO,EAAE,oBAAoB,EAAE,MAAM,qCAAqC,CAAC;AAC3E,OAAO,EAAE,oBAAoB,EAAE,MAAM,oCAAoC,CAAC;AAC1E,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAC9D,OAAO,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,wCAAwC,CAAC;AAC3F,OAAO,EAAE,sBAAsB,EAAE,MAAM,sCAAsC,CAAC;AAC9E,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AACnE,OAAO,EAAE,0BAA0B,EAAE,MAAM,0CAA0C,CAAC;AACtF,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AACjE,OAAO,EAAE,0BAA0B,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AACvD,OAAO,EAAE,yBAAyB,EAAE,MAAM,yCAAyC,CAAC;AACpF,OAAO,EAAE,eAAe,EAAE,MAAM,sCAAsC,CAAC;AACvE,OAAO,EAAE,uBAAuB,EAAE,MAAM,uCAAuC,CAAC;AAChF,OAAO,EAAE,wBAAwB,EAAE,MAAM,wCAAwC,CAAC;AAClF,OAAO,EAAE,sBAAsB,EAAE,MAAM,sCAAsC,CAAC;AAC9E,OAAO,EAAE,qBAAqB,EAAE,MAAM,sCAAsC,CAAC;AAC7E,OAAO,EAAE,wBAAwB,EAAE,MAAM,4CAA4C,CAAC;AACtF,OAAO,EAAE,4BAA4B,EAAE,MAAM,4BAA4B,CAAC;AAC1E,OAAO,EAAE,4BAA4B,EAAE,MAAM,4BAA4B,CAAC;AAC1E,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAC7D,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAChD,OAAO,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAC7D,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAC/D,OAAO,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,yBAAyB,EAAE,MAAM,8BAA8B,CAAC;AACzE,OAAO,EAAE,2BAA2B,EAAE,MAAM,gCAAgC,CAAC;AAC7E,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AAEzD;;;;;GAKG;AACH,eAAO,MAAM,eAAe;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA6DlB,CAAC"}

package/dist/bridges/bridge-equations.js

@@ -1,10 +1,10 @@
 /**
  * `BridgeEquations` — a convenience facade over the per-bridge evaluators.
  *
- * Every catalogued bridge ships a self-contained `evaluate*()` function in its
- * `src/bridges/equations/be-*.ts` module (plus the two v0.4.0 GR evaluators at
- * `src/bridges/`). Those modules are reachable only by subpath import. This
- * facade gathers them under one root-level object keyed by readable names, so a
+ * Every catalogued bridge ships a self-contained evaluator. BE-11…50 and
+ * BE-53/54 live under `src/bridges/equations/`; BE-51/52 and BE-55…65 use
+ * dedicated bridge modules. This facade gathers one evaluator for every live
+ * catalog id under readable root-level method names, so a
  * consumer can write `BridgeEquations.decoherenceRate({...})` from the package
  * root. Each method is a **1:1 pass-through** to the existing pure function —
  * NO new physics, no recomputation; the method name simply mirrors the
@@ -17,8 +17,8 @@
  *     (see the ⚠ CRITICAL WARNING in be-28-onsager-entropy-production.ts).
  *   - BE-25 maps to the live IIT `intrinsicInformation`; the archived
  *     Penrose-Hameroff `evaluateOrchOR` is deliberately NOT surfaced.
- *   - BE-51 has no evaluator and is intentionally absent (no fabricated physics).
- *     BE-52 is `perihelionPrecession` (the v0.4.0 GR evaluator).
+ *   - BE-51/52 use the validated GR evaluators `gravitationalLensing` and
+ *     `perihelionPrecession`.
  *
  * The README previously described this as "specified in Parts I–III"; the specs
  * actually specify the physics + AST encodings, not this TypeScript API, so the
@@ -70,6 +70,17 @@ import { evaluateYangMillsBeta } from './equations/be-53-yang-mills-beta.js';
 import { evaluateRandallSundrumH2 } from './equations/be-54-randall-sundrum-brane.js';
 import { evaluateGravitationalLensing } from './gravitational-lensing.js';
 import { evaluatePerihelionPrecession } from './perihelion-precession.js';
+import { evaluateQuantumHall } from './be55-quantum-hall.js';
+import { evaluateCasimir } from './be56-casimir.js';
+import { evaluateUnruh } from './be57-unruh.js';
+import { evaluateJohnsonNyquist } from './be58-johnson-nyquist.js';
+import { evaluateACJosephson } from './be59-ac-josephson.js';
+import { evaluateFractionalQH } from './be60-fractional-qh.js';
+import { evaluateWiedemannFranz } from './be61-wiedemann-franz.js';
+import { evaluateBCSGap } from './be62-bcs-gap.js';
+import { evaluateChandrasekharMass } from './be63-chandrasekhar-mass.js';
+import { evaluateEddingtonLuminosity } from './be64-eddington-luminosity.js';
+import { evaluateJeansMass } from './be65-jeans-mass.js';
 /**
  * Root-level facade keyed by readable method names. Each value is a re-export of
  * the bridge's existing `evaluate*()` function; the bridge ID is in the comment.
@@ -123,8 +134,19 @@ export const BridgeEquations = {
     wfTimeSymmetry: evaluateWFTimeSymmetry, // BE-50
     yangMillsBeta: evaluateYangMillsBeta, // BE-53
     randallSundrumH2: evaluateRandallSundrumH2, // BE-54
-    // v0.4.0 GR evaluators (return result objects, not scalars):
-    gravitationalLensing: evaluateGravitationalLensing, // GR lensing
+    // Closed-form / spacetime catalog additions:
+    gravitationalLensing: evaluateGravitationalLensing, // BE-51
     perihelionPrecession: evaluatePerihelionPrecession, // BE-52
+    quantumHall: evaluateQuantumHall, // BE-55
+    casimir: evaluateCasimir, // BE-56
+    unruh: evaluateUnruh, // BE-57
+    johnsonNyquist: evaluateJohnsonNyquist, // BE-58
+    acJosephson: evaluateACJosephson, // BE-59
+    fractionalQuantumHall: evaluateFractionalQH, // BE-60
+    wiedemannFranz: evaluateWiedemannFranz, // BE-61
+    bcsGap: evaluateBCSGap, // BE-62
+    chandrasekharMass: evaluateChandrasekharMass, // BE-63
+    eddingtonLuminosity: evaluateEddingtonLuminosity, // BE-64
+    jeansMass: evaluateJeansMass, // BE-65
 };
 //# sourceMappingURL=bridge-equations.js.map

package/dist/bridges/bridge-equations.js.map

@@ -1 +1 @@
-{"version":3,"file":"bridge-equations.js","sourceRoot":"","sources":["../../src/bridges/bridge-equations.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAEH,OAAO,EAAE,uBAAuB,EAAE,MAAM,yCAAyC,CAAC;AAClF,OAAO,EAAE,wBAAwB,EAAE,MAAM,uCAAuC,CAAC;AACjF,OAAO,EAAE,qBAAqB,EAAE,MAAM,qCAAqC,CAAC;AAC5E,OAAO,EAAE,qBAAqB,EAAE,4BAA4B,EAAE,MAAM,qCAAqC,CAAC;AAC1G,OAAO,EAAE,wBAAwB,EAAE,+BAA+B,EAAE,MAAM,gCAAgC,CAAC;AAC3G,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,EAAE,8BAA8B,EAAE,MAAM,sCAAsC,CAAC;AACtF,OAAO,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAC;AACpE,OAAO,EAAE,qBAAqB,EAAE,MAAM,qCAAqC,CAAC;AAC5E,OAAO,EAAE,mCAAmC,EAAE,MAAM,oCAAoC,CAAC;AACzF,OAAO,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAClE,OAAO,EAAE,WAAW,EAAE,MAAM,+CAA+C,CAAC;AAC5E,OAAO,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;AAC5E,OAAO,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;AAC5E,OAAO,EAAE,4BAA4B,EAAE,MAAM,8BAA8B,CAAC;AAC5E,OAAO,EAAE,oBAAoB,EAAE,MAAM,oCAAoC,CAAC;AAC1E,OAAO,EAAE,4BAA4B,EAAE,MAAM,4CAA4C,CAAC;AAC1F,OAAO,EAAE,gCAAgC,EAAE,MAAM,iDAAiD,CAAC;AACnG,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AACnE,OAAO,EAAE,uBAAuB,EAAE,mBAAmB,EAAE,MAAM,oCAAoC,CAAC;AAClG,OAAO,EAAE,uBAAuB,EAAE,MAAM,oCAAoC,CAAC;AAC7E,OAAO,EAAE,kBAAkB,EAAE,MAAM,8CAA8C,CAAC;AAClF,OAAO,EAAE,mBAAmB,EAAE,MAAM,mCAAmC,CAAC;AACxE,OAAO,EAAE,mBAAmB,EAAE,MAAM,mCAAmC,CAAC;AACxE,OAAO,EAAE,wBAAwB,EAAE,MAAM,0CAA0C,CAAC;AACpF,OAAO,EAAE,oBAAoB,EAAE,MAAM,qCAAqC,CAAC;AAC3E,OAAO,EAAE,oBAAoB,EAAE,MAAM,oCAAoC,CAAC;AAC1E,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAC9D,OAAO,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,wCAAwC,CAAC;AAC3F,OAAO,EAAE,sBAAsB,EAAE,MAAM,sCAAsC,CAAC;AAC9E,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AACnE,OAAO,EAAE,0BAA0B,EAAE,MAAM,0CAA0C,CAAC;AACtF,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AACjE,OAAO,EAAE,0BAA0B,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AACvD,OAAO,EAAE,yBAAyB,EAAE,MAAM,yCAAyC,CAAC;AACpF,OAAO,EAAE,eAAe,EAAE,MAAM,sCAAsC,CAAC;AACvE,OAAO,EAAE,uBAAuB,EAAE,MAAM,uCAAuC,CAAC;AAChF,OAAO,EAAE,wBAAwB,EAAE,MAAM,wCAAwC,CAAC;AAClF,OAAO,EAAE,sBAAsB,EAAE,MAAM,sCAAsC,CAAC;AAC9E,OAAO,EAAE,qBAAqB,EAAE,MAAM,sCAAsC,CAAC;AAC7E,OAAO,EAAE,wBAAwB,EAAE,MAAM,4CAA4C,CAAC;AACtF,OAAO,EAAE,4BAA4B,EAAE,MAAM,4BAA4B,CAAC;AAC1E,OAAO,EAAE,4BAA4B,EAAE,MAAM,4BAA4B,CAAC;AAE1E;;;;;GAKG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG;IAC7B,eAAe,EAAE,uBAAuB,EAAkB,QAAQ;IAClE,gBAAgB,EAAE,wBAAwB,EAAgB,QAAQ;IAClE,aAAa,EAAE,qBAAqB,EAAsB,QAAQ;IAClE,aAAa,EAAE,qBAAqB,EAAsB,QAAQ;IAClE,oBAAoB,EAAE,4BAA4B,EAAQ,wBAAwB;IAClF,gBAAgB,EAAE,wBAAwB,EAAgB,QAAQ;IAClE,uBAAuB,EAAE,+BAA+B,EAAE,uBAAuB;IACjF,cAAc,EAAE,sBAAsB,EAAoB,QAAQ;IAClE,kBAAkB,EAAE,8BAA8B,EAAQ,QAAQ;IAClE,SAAS,EAAE,iBAAiB,EAA8B,QAAQ;IAClE,aAAa,EAAE,qBAAqB,EAAsB,QAAQ;IAClE,2BAA2B,EAAE,mCAAmC,EAAE,QAAQ;IAC1E,QAAQ,EAAE,gBAAgB,EAAgC,0BAA0B;IACpF,8BAA8B,EAAE,WAAW,EAAe,QAAQ;IAClE,cAAc,EAAE,sBAAsB,EAAoB,QAAQ;IAClE,cAAc,EAAE,sBAAsB,EAAoB,QAAQ;IAClE,oBAAoB,EAAE,4BAA4B,EAAQ,+BAA+B;IACzF,YAAY,EAAE,oBAAoB,EAAwB,QAAQ;IAClE,oBAAoB,EAAE,4BAA4B,EAAQ,QAAQ;IAClE,wBAAwB,EAAE,gCAAgC,EAAE,gCAAgC;IAC5F,SAAS,EAAE,iBAAiB,EAA8B,QAAQ;IAClE,eAAe,EAAE,uBAAuB,EAAkB,QAAQ;IAClE,WAAW,EAAE,mBAAmB,EAA0B,oBAAoB;IAC9E,eAAe,EAAE,uBAAuB,EAAkB,QAAQ;IAClE,UAAU,EAAE,kBAAkB,EAA4B,QAAQ;IAClE,WAAW,EAAE,mBAAmB,EAA0B,QAAQ;IAClE,WAAW,EAAE,mBAAmB,EAA0B,QAAQ;IAClE,gBAAgB,EAAE,wBAAwB,EAAgB,QAAQ;IAClE,YAAY,EAAE,oBAAoB,EAAwB,QAAQ;IAClE,YAAY,EAAE,oBAAoB,EAAwB,QAAQ;IAClE,SAAS,EAAE,iBAAiB,EAA8B,QAAQ;IAClE,KAAK,EAAE,aAAa,EAAsC,0BAA0B;IACpF,UAAU,EAAE,kBAAkB,EAA4B,gCAAgC;IAC1F,cAAc,EAAE,sBAAsB,EAAoB,QAAQ;IAClE,SAAS,EAAE,iBAAiB,EAA8B,QAAQ;IAClE,kBAAkB,EAAE,0BAA0B,EAAY,QAAQ;IAClE,UAAU,EAAE,kBAAkB,EAA4B,QAAQ;IAClE,cAAc,EAAE,0BAA0B,EAAgB,QAAQ;IAClE,GAAG,EAAE,WAAW,EAA0C,QAAQ;IAClE,iBAAiB,EAAE,yBAAyB,EAAc,QAAQ;IAClE,OAAO,EAAE,eAAe,EAAkC,QAAQ;IAClE,eAAe,EAAE,uBAAuB,EAAkB,QAAQ;IAClE,gBAAgB,EAAE,wBAAwB,EAAgB,QAAQ;IAClE,cAAc,EAAE,sBAAsB,EAAoB,QAAQ;IAClE,aAAa,EAAE,qBAAqB,EAAsB,QAAQ;IAClE,gBAAgB,EAAE,wBAAwB,EAAgB,QAAQ;IAClE,6DAA6D;IAC7D,oBAAoB,EAAE,4BAA4B,EAAQ,aAAa;IACvE,oBAAoB,EAAE,4BAA4B,EAAQ,QAAQ;CAC1D,CAAC"}
+{"version":3,"file":"bridge-equations.js","sourceRoot":"","sources":["../../src/bridges/bridge-equations.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAEH,OAAO,EAAE,uBAAuB,EAAE,MAAM,yCAAyC,CAAC;AAClF,OAAO,EAAE,wBAAwB,EAAE,MAAM,uCAAuC,CAAC;AACjF,OAAO,EAAE,qBAAqB,EAAE,MAAM,qCAAqC,CAAC;AAC5E,OAAO,EAAE,qBAAqB,EAAE,4BAA4B,EAAE,MAAM,qCAAqC,CAAC;AAC1G,OAAO,EAAE,wBAAwB,EAAE,+BAA+B,EAAE,MAAM,gCAAgC,CAAC;AAC3G,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,EAAE,8BAA8B,EAAE,MAAM,sCAAsC,CAAC;AACtF,OAAO,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAC;AACpE,OAAO,EAAE,qBAAqB,EAAE,MAAM,qCAAqC,CAAC;AAC5E,OAAO,EAAE,mCAAmC,EAAE,MAAM,oCAAoC,CAAC;AACzF,OAAO,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAClE,OAAO,EAAE,WAAW,EAAE,MAAM,+CAA+C,CAAC;AAC5E,OAAO,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;AAC5E,OAAO,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;AAC5E,OAAO,EAAE,4BAA4B,EAAE,MAAM,8BAA8B,CAAC;AAC5E,OAAO,EAAE,oBAAoB,EAAE,MAAM,oCAAoC,CAAC;AAC1E,OAAO,EAAE,4BAA4B,EAAE,MAAM,4CAA4C,CAAC;AAC1F,OAAO,EAAE,gCAAgC,EAAE,MAAM,iDAAiD,CAAC;AACnG,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AACnE,OAAO,EAAE,uBAAuB,EAAE,mBAAmB,EAAE,MAAM,oCAAoC,CAAC;AAClG,OAAO,EAAE,uBAAuB,EAAE,MAAM,oCAAoC,CAAC;AAC7E,OAAO,EAAE,kBAAkB,EAAE,MAAM,8CAA8C,CAAC;AAClF,OAAO,EAAE,mBAAmB,EAAE,MAAM,mCAAmC,CAAC;AACxE,OAAO,EAAE,mBAAmB,EAAE,MAAM,mCAAmC,CAAC;AACxE,OAAO,EAAE,wBAAwB,EAAE,MAAM,0CAA0C,CAAC;AACpF,OAAO,EAAE,oBAAoB,EAAE,MAAM,qCAAqC,CAAC;AAC3E,OAAO,EAAE,oBAAoB,EAAE,MAAM,oCAAoC,CAAC;AAC1E,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAC9D,OAAO,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,wCAAwC,CAAC;AAC3F,OAAO,EAAE,sBAAsB,EAAE,MAAM,sCAAsC,CAAC;AAC9E,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AACnE,OAAO,EAAE,0BAA0B,EAAE,MAAM,0CAA0C,CAAC;AACtF,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AACjE,OAAO,EAAE,0BAA0B,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AACvD,OAAO,EAAE,yBAAyB,EAAE,MAAM,yCAAyC,CAAC;AACpF,OAAO,EAAE,eAAe,EAAE,MAAM,sCAAsC,CAAC;AACvE,OAAO,EAAE,uBAAuB,EAAE,MAAM,uCAAuC,CAAC;AAChF,OAAO,EAAE,wBAAwB,EAAE,MAAM,wCAAwC,CAAC;AAClF,OAAO,EAAE,sBAAsB,EAAE,MAAM,sCAAsC,CAAC;AAC9E,OAAO,EAAE,qBAAqB,EAAE,MAAM,sCAAsC,CAAC;AAC7E,OAAO,EAAE,wBAAwB,EAAE,MAAM,4CAA4C,CAAC;AACtF,OAAO,EAAE,4BAA4B,EAAE,MAAM,4BAA4B,CAAC;AAC1E,OAAO,EAAE,4BAA4B,EAAE,MAAM,4BAA4B,CAAC;AAC1E,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAC7D,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAChD,OAAO,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAC7D,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAC/D,OAAO,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,yBAAyB,EAAE,MAAM,8BAA8B,CAAC;AACzE,OAAO,EAAE,2BAA2B,EAAE,MAAM,gCAAgC,CAAC;AAC7E,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AAEzD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG;IAC7B,eAAe,EAAE,uBAAuB,EAAkB,QAAQ;IAClE,gBAAgB,EAAE,wBAAwB,EAAgB,QAAQ;IAClE,aAAa,EAAE,qBAAqB,EAAsB,QAAQ;IAClE,aAAa,EAAE,qBAAqB,EAAsB,QAAQ;IAClE,oBAAoB,EAAE,4BAA4B,EAAQ,wBAAwB;IAClF,gBAAgB,EAAE,wBAAwB,EAAgB,QAAQ;IAClE,uBAAuB,EAAE,+BAA+B,EAAE,uBAAuB;IACjF,cAAc,EAAE,sBAAsB,EAAoB,QAAQ;IAClE,kBAAkB,EAAE,8BAA8B,EAAQ,QAAQ;IAClE,SAAS,EAAE,iBAAiB,EAA8B,QAAQ;IAClE,aAAa,EAAE,qBAAqB,EAAsB,QAAQ;IAClE,2BAA2B,EAAE,mCAAmC,EAAE,QAAQ;IAC1E,QAAQ,EAAE,gBAAgB,EAAgC,0BAA0B;IACpF,8BAA8B,EAAE,WAAW,EAAe,QAAQ;IAClE,cAAc,EAAE,sBAAsB,EAAoB,QAAQ;IAClE,cAAc,EAAE,sBAAsB,EAAoB,QAAQ;IAClE,oBAAoB,EAAE,4BAA4B,EAAQ,+BAA+B;IACzF,YAAY,EAAE,oBAAoB,EAAwB,QAAQ;IAClE,oBAAoB,EAAE,4BAA4B,EAAQ,QAAQ;IAClE,wBAAwB,EAAE,gCAAgC,EAAE,gCAAgC;IAC5F,SAAS,EAAE,iBAAiB,EAA8B,QAAQ;IAClE,eAAe,EAAE,uBAAuB,EAAkB,QAAQ;IAClE,WAAW,EAAE,mBAAmB,EAA0B,oBAAoB;IAC9E,eAAe,EAAE,uBAAuB,EAAkB,QAAQ;IAClE,UAAU,EAAE,kBAAkB,EAA4B,QAAQ;IAClE,WAAW,EAAE,mBAAmB,EAA0B,QAAQ;IAClE,WAAW,EAAE,mBAAmB,EAA0B,QAAQ;IAClE,gBAAgB,EAAE,wBAAwB,EAAgB,QAAQ;IAClE,YAAY,EAAE,oBAAoB,EAAwB,QAAQ;IAClE,YAAY,EAAE,oBAAoB,EAAwB,QAAQ;IAClE,SAAS,EAAE,iBAAiB,EAA8B,QAAQ;IAClE,KAAK,EAAE,aAAa,EAAsC,0BAA0B;IACpF,UAAU,EAAE,kBAAkB,EAA4B,gCAAgC;IAC1F,cAAc,EAAE,sBAAsB,EAAoB,QAAQ;IAClE,SAAS,EAAE,iBAAiB,EAA8B,QAAQ;IAClE,kBAAkB,EAAE,0BAA0B,EAAY,QAAQ;IAClE,UAAU,EAAE,kBAAkB,EAA4B,QAAQ;IAClE,cAAc,EAAE,0BAA0B,EAAgB,QAAQ;IAClE,GAAG,EAAE,WAAW,EAA0C,QAAQ;IAClE,iBAAiB,EAAE,yBAAyB,EAAc,QAAQ;IAClE,OAAO,EAAE,eAAe,EAAkC,QAAQ;IAClE,eAAe,EAAE,uBAAuB,EAAkB,QAAQ;IAClE,gBAAgB,EAAE,wBAAwB,EAAgB,QAAQ;IAClE,cAAc,EAAE,sBAAsB,EAAoB,QAAQ;IAClE,aAAa,EAAE,qBAAqB,EAAsB,QAAQ;IAClE,gBAAgB,EAAE,wBAAwB,EAAgB,QAAQ;IAClE,6CAA6C;IAC7C,oBAAoB,EAAE,4BAA4B,EAAQ,QAAQ;IAClE,oBAAoB,EAAE,4BAA4B,EAAQ,QAAQ;IAClE,WAAW,EAAE,mBAAmB,EAA0B,QAAQ;IAClE,OAAO,EAAE,eAAe,EAAkC,QAAQ;IAClE,KAAK,EAAE,aAAa,EAAsC,QAAQ;IAClE,cAAc,EAAE,sBAAsB,EAAoB,QAAQ;IAClE,WAAW,EAAE,mBAAmB,EAA0B,QAAQ;IAClE,qBAAqB,EAAE,oBAAoB,EAAe,QAAQ;IAClE,cAAc,EAAE,sBAAsB,EAAoB,QAAQ;IAClE,MAAM,EAAE,cAAc,EAAoC,QAAQ;IAClE,iBAAiB,EAAE,yBAAyB,EAAc,QAAQ;IAClE,mBAAmB,EAAE,2BAA2B,EAAU,QAAQ;IAClE,SAAS,EAAE,iBAAiB,EAA8B,QAAQ;CAC1D,CAAC"}

package/dist/cli/commands/index.d.ts

@@ -22,4 +22,5 @@ import './confront.js';
 import './axes.js';
 import './evaluate.js';
 import './ground.js';
+import './probe.js';
 //# sourceMappingURL=index.d.ts.map

package/dist/cli/commands/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,eAAe,CAAC;AACvB,OAAO,YAAY,CAAC;AACpB,OAAO,eAAe,CAAC;AACvB,OAAO,gBAAgB,CAAC;AACxB,OAAO,cAAc,CAAC;AACtB,OAAO,iBAAiB,CAAC;AACzB,OAAO,cAAc,CAAC;AACtB,OAAO,iBAAiB,CAAC;AACzB,OAAO,cAAc,CAAC;AACtB,OAAO,eAAe,CAAC;AACvB,OAAO,WAAW,CAAC;AACnB,OAAO,aAAa,CAAC;AACrB,OAAO,UAAU,CAAC;AAClB,OAAO,eAAe,CAAC;AACvB,OAAO,eAAe,CAAC;AACvB,OAAO,WAAW,CAAC;AACnB,OAAO,eAAe,CAAC;AACvB,OAAO,aAAa,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,eAAe,CAAC;AACvB,OAAO,YAAY,CAAC;AACpB,OAAO,eAAe,CAAC;AACvB,OAAO,gBAAgB,CAAC;AACxB,OAAO,cAAc,CAAC;AACtB,OAAO,iBAAiB,CAAC;AACzB,OAAO,cAAc,CAAC;AACtB,OAAO,iBAAiB,CAAC;AACzB,OAAO,cAAc,CAAC;AACtB,OAAO,eAAe,CAAC;AACvB,OAAO,WAAW,CAAC;AACnB,OAAO,aAAa,CAAC;AACrB,OAAO,UAAU,CAAC;AAClB,OAAO,eAAe,CAAC;AACvB,OAAO,eAAe,CAAC;AACvB,OAAO,WAAW,CAAC;AACnB,OAAO,eAAe,CAAC;AACvB,OAAO,aAAa,CAAC;AACrB,OAAO,YAAY,CAAC"}

package/dist/cli/commands/index.js

@@ -22,4 +22,5 @@ import './confront.js';
 import './axes.js';
 import './evaluate.js';
 import './ground.js';
+import './probe.js';
 //# sourceMappingURL=index.js.map

package/dist/cli/commands/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/cli/commands/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,eAAe,CAAC;AACvB,OAAO,YAAY,CAAC;AACpB,OAAO,eAAe,CAAC;AACvB,OAAO,gBAAgB,CAAC;AACxB,OAAO,cAAc,CAAC;AACtB,OAAO,iBAAiB,CAAC;AACzB,OAAO,cAAc,CAAC;AACtB,OAAO,iBAAiB,CAAC;AACzB,OAAO,cAAc,CAAC;AACtB,OAAO,eAAe,CAAC;AACvB,OAAO,WAAW,CAAC;AACnB,OAAO,aAAa,CAAC;AACrB,OAAO,UAAU,CAAC;AAClB,OAAO,eAAe,CAAC;AACvB,OAAO,eAAe,CAAC;AACvB,OAAO,WAAW,CAAC;AACnB,OAAO,eAAe,CAAC;AACvB,OAAO,aAAa,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/cli/commands/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,eAAe,CAAC;AACvB,OAAO,YAAY,CAAC;AACpB,OAAO,eAAe,CAAC;AACvB,OAAO,gBAAgB,CAAC;AACxB,OAAO,cAAc,CAAC;AACtB,OAAO,iBAAiB,CAAC;AACzB,OAAO,cAAc,CAAC;AACtB,OAAO,iBAAiB,CAAC;AACzB,OAAO,cAAc,CAAC;AACtB,OAAO,eAAe,CAAC;AACvB,OAAO,WAAW,CAAC;AACnB,OAAO,aAAa,CAAC;AACrB,OAAO,UAAU,CAAC;AAClB,OAAO,eAAe,CAAC;AACvB,OAAO,eAAe,CAAC;AACvB,OAAO,WAAW,CAAC;AACnB,OAAO,eAAe,CAAC;AACvB,OAAO,aAAa,CAAC;AACrB,OAAO,YAAY,CAAC"}

package/dist/cli/commands/probe.d.ts

@@ -0,0 +1,3 @@
+import { type Command } from '../command.js';
+export declare const command: Command;
+//# sourceMappingURL=probe.d.ts.map

package/dist/cli/commands/probe.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"probe.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/probe.ts"],"names":[],"mappings":"AAQA,OAAO,EAAmB,KAAK,OAAO,EAAmB,MAAM,eAAe,CAAC;AA+K/E,eAAO,MAAM,OAAO,EAAE,OAMrB,CAAC"}

package/dist/cli/commands/probe.js

@@ -0,0 +1,169 @@
+/**
+ * `upt probe <subverb>` — experimental Product B expression/residual search.
+ *
+ * Orthogonal to `upt discover` (Product A quantity identification). Relation-
+ * link and regime-transition gaps abstain and tell the user to use discover.
+ */
+import { readFileSync } from 'node:fs';
+import { registerCommand } from '../command.js';
+import { resolveGraph } from '../graphs.js';
+import { emitJson } from '../output.js';
+import { UsageError, CliError } from '../errors.js';
+const SUBVERBS = ['scan', 'show', 'run', 'candidates', 'falsify', 'rank', 'design', 'reproduce'];
+const FLAGS = [
+    { name: '--source', valueStyle: 'attached' },
+    { name: '--json', valueStyle: 'none' },
+    { name: '--problem', valueStyle: 'attached' },
+    { name: '--budget-ms', valueStyle: 'attached' },
+    { name: '--holdout-tol', valueStyle: 'attached' },
+    { name: '--worker', valueStyle: 'attached' },
+    { name: '--bounds', valueStyle: 'attached' },
+    { name: '--h1', valueStyle: 'attached' },
+    { name: '--h2', valueStyle: 'attached' },
+];
+const HELP = `upt probe <scan|show|run|candidates|falsify|rank|design|reproduce>
+        Experimental expression/residual search (Product B). Orthogonal to
+        \`upt discover\`, which vets quantity identifications a≡b and is frozen.
+        Relation-link / regime-transition gaps are not searchable here — use
+        \`upt discover\`.
+        scan                 typed frontier gaps (Product A wrappers + notes)
+        show <gap-id>        one gap
+        run --problem=FILE   bounded native search (MHC / holdout / budget)
+        candidates           same as run; list stored statuses
+        falsify              run + print falsification batteries
+        rank                 run + Pareto front
+        design --h1= --h2= --bounds=   discriminating experiment suggestion
+        reproduce --problem=FILE       re-run a problem (same stop contract)
+        --budget-ms=N        wall-clock cap (default 5000)
+        --holdout-tol=X      relative holdout RMSE cap (default 0.15)
+        --worker=PATH        optional NDJSON worker (spawned as node PATH)
+        --json               machine envelope`;
+const EPISTEMICS = '⚠ experimental Product B. Not a discovery claim. `upt discover` is the identification funnel.';
+function isSubverb(s) {
+    return SUBVERBS.includes(s);
+}
+function budgetFromFlags(api, flags) {
+    const raw = flags.get('budget-ms')?.[0];
+    if (raw === undefined)
+        return undefined;
+    const n = Number(raw);
+    if (!Number.isFinite(n) || n <= 0) {
+        throw new UsageError('upt probe: --budget-ms must be a positive number');
+    }
+    return { ...api.DEFAULT_SEARCH_BUDGET, maxWallClockMs: n };
+}
+function problemPath(flags) {
+    const p = flags.get('problem')?.[0];
+    if (!p)
+        throw new UsageError('upt probe: --problem=FILE is required for this subverb');
+    return p;
+}
+async function run(ctx) {
+    const { args, api, out } = ctx;
+    const sub = args.positionals[0];
+    if (!isSubverb(sub)) {
+        throw new UsageError(`upt probe needs a subverb (${SUBVERBS.join('|')}). See \`upt help probe\`.`);
+    }
+    const { graph, source } = resolveGraph(api, args.flags);
+    if (sub === 'scan') {
+        const gaps = api.scanFrontier(graph);
+        if (args.flags.has('json')) {
+            emitJson({ command: 'probe', source, epistemics: EPISTEMICS, result: gaps }, ctx.write);
+            return 0;
+        }
+        out(api.formatFrontierScan(gaps));
+        return 0;
+    }
+    if (sub === 'show') {
+        const id = args.positionals[1];
+        if (!id)
+            throw new UsageError('upt probe show needs a gap id (fg-*). See `upt help probe`.');
+        const gap = api.findFrontierGap(graph, id);
+        if (!gap)
+            throw new CliError(`upt probe show: no gap '${id}' on this graph`);
+        if (args.flags.has('json')) {
+            emitJson({ command: 'probe', source, epistemics: EPISTEMICS, result: gap }, ctx.write);
+            return 0;
+        }
+        out(api.formatFrontierGap(gap));
+        return 0;
+    }
+    if (sub === 'design') {
+        const h1p = args.flags.get('h1')?.[0];
+        const h2p = args.flags.get('h2')?.[0];
+        const bp = args.flags.get('bounds')?.[0];
+        if (!h1p || !h2p || !bp) {
+            throw new UsageError('upt probe design needs --h1=FILE --h2=FILE --bounds=FILE');
+        }
+        const suggestion = api.suggestDiscriminatingPoint(api.parseExprJson(h1p), api.parseExprJson(h2p), JSON.parse(readFileSync(bp, 'utf8')));
+        if (args.flags.has('json')) {
+            emitJson({ command: 'probe', epistemics: EPISTEMICS, result: suggestion }, ctx.write);
+            return 0;
+        }
+        if (suggestion.abstained) {
+            out(`upt probe design — abstained: ${suggestion.reason}`);
+            return 0;
+        }
+        out('upt probe design — suggested discriminating point (never in a forbidden region)');
+        out(`  discrimination |H1-H2|/σ = ${suggestion.discrimination}`);
+        out(`  point ${JSON.stringify(suggestion.point)}`);
+        out(`  H1=${suggestion.h1}  H2=${suggestion.h2}`);
+        return 0;
+    }
+    const problem = api.loadSearchProblemFromJson(problemPath(args.flags));
+    const holdoutTol = args.flags.get('holdout-tol')?.[0];
+    const worker = args.flags.get('worker')?.[0];
+    const result = await api.runProbeSearch(problem, {
+        budget: budgetFromFlags(api, args.flags),
+        holdoutTol: holdoutTol !== undefined ? Number(holdoutTol) : undefined,
+        backendArgv: worker ? [process.execPath, worker] : undefined,
+    });
+    if (sub === 'run' || sub === 'reproduce' || sub === 'rank' || sub === 'candidates' || sub === 'falsify') {
+        if (args.flags.has('json')) {
+            emitJson({
+                command: 'probe',
+                source,
+                epistemics: EPISTEMICS,
+                options: { subverb: sub },
+                result: {
+                    stopReason: result.stopReason,
+                    runId: result.manifest.runId,
+                    candidates: result.candidates.map((c) => ({
+                        id: c.id,
+                        status: c.status,
+                        fingerprint: c.fingerprint,
+                        complexity: c.complexity,
+                    })),
+                    ranked: result.ranked.map((r) => ({
+                        id: r.record.id,
+                        pareto: r.pareto,
+                        scores: r.scores,
+                        status: r.record.status,
+                    })),
+                    wording: result.wording,
+                    ...(sub === 'falsify' ? { falsifications: result.falsifications } : {}),
+                },
+            }, ctx.write);
+            return 0;
+        }
+        out(api.formatProbeReport(result));
+        if (sub === 'falsify') {
+            for (const [id, fal] of Object.entries(result.falsifications)) {
+                out(`\n  falsify ${id} survived=${fal.survived}`);
+                for (const rec of fal.records)
+                    out(`    ${rec.battery}: ${rec.outcome} — ${rec.detail}`);
+            }
+        }
+        return 0;
+    }
+    throw new UsageError(`upt probe: unhandled subverb '${sub}'`);
+}
+export const command = {
+    name: 'probe',
+    aliases: [],
+    flags: FLAGS,
+    help: HELP,
+    run,
+};
+registerCommand(command);
+//# sourceMappingURL=probe.js.map