universal-physics-tensor 0.5.1 → 0.7.0

package/README.md

@@ -113,7 +113,7 @@ Where:
 - **B** (Bridges): Off-diagonal equations connecting regimes
 - **E** (Emergence): Higher-order correlations producing emergent phenomena
 
-> **Note on notation:** the "+" here denotes disjoint union of catalog entries (each tensor slot holds content of exactly one category), not algebraic addition. Different slots may hold quantities of different physical dimensions (e.g., a Lagrangian density and a decoherence rate) and cannot be summed numerically. See [Part I §1.2](docs/specification/Part-I.md) for the formal treatment.
+> **Note on notation:** the "+" here denotes disjoint union of catalog entries (each tensor slot holds content of exactly one category), not algebraic addition. The type system enforces this disjointness via the `Cell` discriminated union in [`src/core/cell.ts`](src/core/cell.ts); `UniversalTensor.populatedCells()` is the canonical way to enumerate the populated catalog as typed `Cell` values. See also [Part I §1.2](docs/specification/Part-I.md) for the spec-level treatment. Different slots may hold quantities of different physical dimensions (e.g., a Lagrangian density and a decoherence rate) and cannot be summed numerically.
 
 ### Bridge Equations
 
@@ -131,7 +131,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–50). Part III covers algorithmic implementation.
+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–52). Part III covers algorithmic implementation.
 
 ## Documentation
 
@@ -139,7 +139,7 @@ See [Part I](docs/specification/Part-I.md) and [Part II](docs/specification/Part
 Complete theoretical foundation of the Universal Physics Tensor Framework:
 
 - **[Part I: Foundation & Mathematical Framework](docs/specification/Part-I.md)** - Tensor structure, Π = L + B + E decomposition, Bridge Equations 11-20
-- **[Part II: Extended Bridge Equation Catalog](docs/specification/Part-II.md)** - Bridge Equations 21-50 across condensed matter, quantum biology, emergent spacetime
+- **[Part II: Extended Bridge Equation Catalog](docs/specification/Part-II.md)** - Bridge Equations 21-52 across condensed matter, quantum biology, emergent spacetime
 - **[Part III: Computational Implementation](docs/specification/Part-III.md)** - Algorithms, information-theoretic bounds, ML integration
 - **[Part IV: Validation & Implications](docs/specification/Part-IV.md)** - Experimental pathways, philosophical implications, applications
 - **[Part V: Advanced Mathematics & Protocols](docs/specification/Part-V.md)** - Category theory extensions, validation protocols, algorithmic analysis
@@ -163,106 +163,85 @@ npm run bench        # interactive run (median, p99, ops/sec)
 npm run bench:ci     # verbose run for CI log capture
 ```
 
-v0.4.5 baseline results are recorded in [`docs/architecture/benchmarks.md`](docs/architecture/benchmarks.md).
-These are **correctness-first baselines, not optimization targets** — no threshold
-gates in v0.4.5. Thresholds and comparative analysis are v0.5.0 scope.
+Baseline results are recorded in [`docs/architecture/benchmarks.md`](docs/architecture/benchmarks.md).
+These are **correctness-first baselines, not optimization targets**. Comparative
+analysis has since landed: v0.6.0's BR-2 `christoffelFn` flat-array refactor
+delivered a measured **5-6× RK4 geodesic-integrator speedup** (see [CHANGELOG](CHANGELOG.md)).
 
 ## Development Status
 
-**Current Version:** v0.4.5 (released 2026-05-17). Refactor + benchmark scaffold release.
-Dead-code removal (4 deprecated/unused exports), `Float64Tensor` visibility cleanup,
-`flattenNA` JSDoc fix, bridge-test helper consolidation across 39 files (+84 LOC net),
-and `bench/` infrastructure with AD + BE-37 eikonal + Schwarzschild geodesic baseline
-benchmarks. No new features, no bridge work, no breaking changes. See
+**Current Version:** v0.6.0 (released 2026-05-20). Einstein field equation
+closure + curvature classification + Shapiro investigation. See
 [CHANGELOG](CHANGELOG.md) for full details.
 
-### v0.4.5 — refactor + benchmark baselines (2026-05-17)
+### v0.6.0 — Einstein field equation closure + curvature classification (2026-05-20)
 
 | Metric | Value |
 |---|---|
 | Bridge catalog | **42 / 42** (IDs 11-52, unchanged from v0.4.0) |
-| Test suite | passing (see `npm test`) |
+| Test suite | **1693** passing (179 files, 1 skip + 1 todo) |
 | `tsc --noEmit` | clean |
-| Benchmark suites | 4 (sanity, AD, BE-37 eikonal, Schwarzschild geodesic) |
-| Breaking changes | none |
-
-**Honest framing:** This is a pure refactor + benchmark scaffold release.
-LOC delta across the bridge-test migration is +84 net (helper file +81 LOC;
-migration across 39 files is +3 LOC net). Benchmarks establish correctness-first
-baselines for v0.5.0+ comparison — not optimization wins.
-
-**Deferred to v0.5.0:** Faraday-cascade BREAKING changes, symplectic
-geodesic integrator + bisection perihelion finder, benchmark threshold
-gates, Three.js viz.
-
-### v0.4.0 — connection layer + AD + 2 new bridges (2026-05-15)
-
-| Metric | Value |
-|---|---|
-| Bridge catalog | **42 / 42** (IDs 11-52) |
-| Test suite | passing (see `npm test`) |
-| `tsc --noEmit` | clean |
-| New public-surface entries | 11 (`christoffel`, `CovariantDerivativeNode`, `integrateGeodesic`, `evaluateGravitationalLensing`, `evaluatePerihelionPrecession`, `evaluateBE37CovariantEikonalNumerical`, `hasAutogradSupport`, `EngineCapabilityError`, `DuplicateCoordinateWarning`, `ForwardGradResult`, `ReverseGradResult`) |
-| AD engines | `Float64ReferenceEngine` + `MathTSEngine` (both pass identical conformance suite) |
-| Default engine | `MathTSEngine` when optional deps installed; degrades to `Float64ReferenceEngine` with `console.warn` |
-
-**Honest framing:** Both engines run the same naive O(n) algorithms in
-v0.4.0; the MathTSEngine-default flip is a dep-shape + code-path-signal
-change, not a performance win. MathTSEngine becomes default because that
-is where the AD capability lives.
-
-**Deferred to v0.5.0:** Faraday-cascade BREAKING changes, symplectic
-geodesic integrator + bisection perihelion finder (needed for
-RK4-cross-validation of Mercury's Δφ ≈ 5.02e-7 rad/orbit), Three.js
-viz.
-
-### ✅ Numerical backend (v0.3.5, 2026-05-14)
-
-Numerical-contraction backend: `TensorEngine` interface +
-`Float64ReferenceEngine` (zero-dep, default) + `MathTSEngine` (backed
-by `@danielsimonjr/mathts-tensor`). AST→engine lowering, two-way
-numerical partial derivatives, `InverseMetricInconsistencyWarning`,
-BE-37 Shapiro-delay eikonal end-to-end to ±1e-9 relative error.
-
-### ✅ Catalog closed at 40/40 (v0.1.0, 2026-05-12)
-
-First tagged release; transitions the project out
-of pre-formalization to a stable scaffold. SemVer applies from this
-release onward.
-
-### ✅ Catalog closed at 40/40 (master `b358257`, 2026-05-11)
-
-The Tier-5 AST encoding rollout reached **full coverage** with the
-Wave Z arc (commits `9cb299f` through `b358257`). Every bridge in
-`src/bridges/index.ts` has a non-null `dimensional_signature`, an AST
-module in `src/bridges/equations/`, a numerical evaluator with
-input-validation guards, and per-bridge encoding tests.
-
-**Final invariants:**
-
-| Metric | Value |
+| Breaking changes | `christoffelFn` / `schwarzschildChristoffelFn` now return `Float64Array(64)` (λ-major) instead of nested `number[4][4][4]`; `pderivNumericalFn` default `order` flipped `2 → 4` |
+
+36 tasks across 4 phases:
+
+- **Killing-vector machinery** — `KillingVectorNode` + `ConservedChargeNode`
+  AST kinds; `verifyKillingEquation` and `evaluateConservedCharge` — the first
+  structural encoding of a continuous symmetry and its Noether charge.
+- **Einstein field equation closure** — `StressEnergyTensorNode`,
+  `CosmologicalConstantNode`, `EinsteinFieldEquationNode`, plus
+  `validateEinsteinFieldEquation` / `evaluateEinsteinEquationResidual`. Closes
+  the gap BE-17's docstring had documented as impossible: matter-coupled
+  `G_μν = κ T_μν` is now structurally encodable alongside the vacuum case.
+- **Curvature classification** — `WeylTensorNode`, `KretschmannScalarNode`,
+  `computeKretschmann`, and the `CurvatureCompositeNode<K,S>` factory extracted
+  from the now-five-instance curvature pattern (`CURVATURE_KIND_REGISTRY`
+  provides introspection across curvature node kinds).
+- **Release-prep** — BR-2 `christoffelFn` flat-array refactor (BREAKING; **5-6×
+  RK4 speedup**), `pderivNumericalFn` 4th-order default, and the PC-1.5 Shapiro
+  residual-floor investigation (`docs/architecture/pc-1.5-shapiro-residual-floor.md`).
+
+**Honest framing:** Per Decision #9, no bridge status pins were promoted from
+`speculative` → `established` — structural encoding is necessary but not
+sufficient; observational grounding must be established independently.
+
+### Release history
+
+Earlier milestones (full detail in [CHANGELOG](CHANGELOG.md)):
+
+- **v0.5.1** (2026-05-19) — stability/hygiene patch; constants canonicalization,
+  diagnostic-warning propagation through the curvature pipeline.
+- **v0.5.0** (2026-05-18) — GR foundations: GL4 symplectic integrator, bisection
+  perihelion finder, `RiemannTensorNode`, `ricci`/`einstein`/`bianchiResidual`
+  helpers, BE-52 Mercury and BE-37 Shapiro activations.
+- **v0.4.5/v0.4.6** (2026-05-17/18) — refactor + benchmark scaffold;
+  `bench/` infrastructure with correctness-first baselines.
+- **v0.4.0** (2026-05-15) — connection layer (Christoffel),
+  automatic differentiation (`Float64ReferenceEngine` + `MathTSEngine`),
+  bridges BE-51/BE-52 added (catalog 40 → 42).
+- **v0.3.5** (2026-05-14) — numerical-contraction backend: `TensorEngine`
+  interface, AST→engine lowering, BE-37 Shapiro-delay eikonal end-to-end.
+
+### ✅ Milestone — catalog closed at 40/40 (v0.1.0, 2026-05-12)
+
+> Historical snapshot of the v0.1.0 catalog-closure event. Counts below are
+> v0.1.0-era figures, not current state — see the v0.6.0 table above for
+> current numbers (42 bridges, 1693 tests).
+
+First tagged release; the Tier-5 AST encoding rollout reached **full coverage**
+with the Wave Z arc (commits `9cb299f` through `b358257`). Every bridge in
+`src/bridges/index.ts` had a non-null `dimensional_signature`, an AST module in
+`src/bridges/equations/`, a numerical evaluator with input-validation guards,
+and per-bridge encoding tests. SemVer applies from this release onward.
+
+| Metric (v0.1.0) | Value |
 |---|---|
 | AST encodings | **40 / 40** |
 | `dimensional_signature === null` count | 0 |
 | `status === 'invalid'` count | 0 |
-| `tractability_class === 'undefined'` count | 0 |
 | Test suite | **1161 / 1161** passing across 68 files |
 | Status distribution | 6 established · 31 speculative · 3 highly-speculative · 0 invalid |
 
-**Catalog:** 40 bridge equations indexed in `src/bridges/index.ts`, each
-with structured `KnownIssue` records (severity / description / fixable),
-references, dependencies, and disposition status. Spec ↔ index drift
-guard: `tests/bridges/spec-vs-index.test.ts` asserts every audit-marker
-in the spec markdown has a matching entry.
-
-**Dimensional analyzer** (`src/dimensional/`): operator-blind scalar AST
-with primitives `symbol | op (* / + - ^) | integral | derivative`. 22
-named SI dimensions with round-trip `format()`. Validator hardening: `^`
-arity guard, switch-exhaustiveness `never` arm, integral / derivative
-shape guards, informative violation diagnostics. `inferDimensionForBridge`
-consults `EXPECTED_DIMENSION_BY_BRIDGE` for cross-checking; the lookup
-table now has 40 entries (one per encoded bridge).
-
 **Encoding patterns established during the rollout:** typed-stubs for
 transcendentals and operator-valued interiors (log/exp/tensor
 contractions absorbed into single dimensioned symbols);
@@ -275,28 +254,10 @@ canonical literature forms while preserving the bridge label
 (precedent: BE-25 Penrose-Hameroff → IIT Φ_max; Wave Z applied this
 to BE-16 → Landauer, BE-37 → Shapiro delay, BE-28 → Onsager σ).
 
-**Catalog round-trip invariant:** every entry's encoded RHS validates
-back to its registered `dimensional_signature` via
-`tests/bridges/dimensional-signature-catalog.test.ts`. All 40 entries
-are signature-populated and round-trip-verified.
-
 **Cross-LLM validation:** the three highest-stakes Wave-Z reformulations
 (BE-16 Landauer, BE-37 Shapiro, BE-28 Onsager — all promoted from
 `status='invalid'`) were independently cross-validated by both OpenAI
-o3 and Gemini Pro. Both reasoners agreed on the verdict for all three.
-The BE-28 Onsager relabeling carries a prominent `⚠ CRITICAL WARNING`
-in its module docstring: the encoded `σ = Σᵢ Jᵢ Xᵢ` is the *definiendum*
-of MEPP, not the variational maximization principle itself.
-
-**Test suite:** 1161 tests across 68 files, including property-style
-sweeps, limit identities, honest-archaeology disposition pins, and
-catalog-wide round-trip invariants. `npm test` runs the full suite in
-~15 s on a modern dev box; typecheck is clean.
-
-**Planning artifacts** in `docs/planning/`: Tier-5 encoding triage memo
-(refreshed 2026-05-11 with Wave Z closure record), BE-37 VSL
-disposition brief, dimensionless-stub convention doc, Bridge
-Remediation Plan (R0-R5 audit chain), v0.1.0 release procedure.
+o3 and Gemini Pro.
 
 ### Planned (post-closure)
 

package/dist/bridges/catalog-adapter.d.ts

@@ -0,0 +1,116 @@
+/**
+ * Catalog adapter: ingests the 42-entry `BRIDGE_EQUATIONS` array into
+ * the v0.7-p2 sparse semantic catalog as `BridgeCell` values.
+ *
+ * Phase 3 of v0.7 Proposal 2 (Sparse Semantic Catalog).
+ *
+ * Two entry points:
+ *
+ *   `catalogToCells(entries)` — pure mapping `BridgeEquationEntry[]
+ *     → BridgeCell[]`. Filters out entries that would fail the
+ *     legacy `addBridge` validation (e.g. `bridges: ['unknown',
+ *     'unknown']` collapses to identical empty `source`/`target`).
+ *
+ *   `scanCatalog(entries)` — best-effort variant: builds candidates,
+ *     runs Rule 1 (dimensional consistency), returns a
+ *     `CatalogIngestionReport` without throwing. Caller decides
+ *     what to do with the diagnostics.
+ *
+ *   `ingestCatalog(tensor, entries)` — strict variant: two-pass
+ *     collect-then-commit (Decision #11). If Rule 1 reports any
+ *     errors, throws `CatalogIngestionError(report)` and the
+ *     tensor is untouched. Otherwise calls `tensor.addCell` for
+ *     each candidate.
+ *
+ * Rule 1 (Dimensional Consistency) operates on
+ * `BridgeEquationEntry`, NOT on `Cell` (Decision #3, resolves
+ * Adam-V3). It reads `entry.dimensional_signature` directly.
+ *
+ * @module bridges/catalog-adapter
+ */
+import type { BridgeEquationEntry } from './index.js';
+import type { BridgeCell } from '../core/cell.js';
+import type { UniversalTensor } from '../core/tensor.js';
+import type { FluxDiagnostic, FluxReport } from '../core/flux-rules.js';
+/**
+ * Per-entry summary of the catalog ingestion attempt.
+ *
+ * @public
+ */
+export interface CatalogEntryStatus {
+    readonly bridgeId: number;
+    readonly name: string;
+    /** True iff the entry would be (or was) submitted to `addCell`. */
+    readonly submitted: boolean;
+    /**
+     * Diagnostics from Rule 1 (dimensional consistency) for this entry.
+     * `undefined` means the entry passed Rule 1 cleanly.
+     */
+    readonly diagnostic?: FluxDiagnostic;
+}
+/**
+ * Aggregate report returned by `scanCatalog` / `ingestCatalog`. The
+ * diagnostics surface Rule 1 results; `unsubmitted` lists entries
+ * that the adapter filtered out before submission (typically
+ * `'unknown' → 'unknown'` bridges that would fail the legacy
+ * `addBridge` source !== target check).
+ *
+ * @public
+ */
+export interface CatalogIngestionReport {
+    readonly entries: ReadonlyArray<CatalogEntryStatus>;
+    readonly errors: ReadonlyArray<FluxDiagnostic>;
+    readonly warnings: ReadonlyArray<FluxDiagnostic>;
+    readonly info: ReadonlyArray<FluxDiagnostic>;
+    /** Bridge IDs the adapter filtered out before submission. */
+    readonly unsubmitted: ReadonlyArray<number>;
+    /** Cells that PASSED Rule 1 and would be submitted (or were). */
+    readonly submitted: ReadonlyArray<BridgeCell>;
+}
+/**
+ * Thrown by `ingestCatalog` when Rule 1 reports any errors. The
+ * caller can inspect `report` for per-entry diagnostics.
+ *
+ * @public
+ */
+export declare class CatalogIngestionError extends Error {
+    readonly report: CatalogIngestionReport;
+    constructor(report: CatalogIngestionReport);
+}
+/**
+ * Pure mapper from `BridgeEquationEntry` (legacy catalog shape) to
+ * `BridgeCell` (v0.7 typed Cell variant). Filters out entries whose
+ * `bridges: [from, to]` collapses to an identical source/target
+ * (typically `['unknown', 'unknown']`) — those would fail the
+ * legacy `addBridge` validation. The filtering decision is surfaced
+ * via the `unsubmitted` array in `CatalogIngestionReport`.
+ *
+ * @public
+ */
+export declare function catalogToCells(entries: ReadonlyArray<BridgeEquationEntry>): ReadonlyArray<BridgeCell>;
+/**
+ * Best-effort catalog scan: builds candidates, runs Rule 1 per
+ * entry, returns a `CatalogIngestionReport`. Does NOT mutate any
+ * tensor and does NOT throw.
+ *
+ * @public
+ */
+export declare function scanCatalog(entries: ReadonlyArray<BridgeEquationEntry>): CatalogIngestionReport;
+/**
+ * Strict catalog ingestion: two-pass collect-then-commit per
+ * Decision #11. If Rule 1 reports any errors, throws
+ * `CatalogIngestionError(report)` and the tensor is untouched.
+ * Otherwise calls `tensor.addCell` for each filterable candidate.
+ *
+ * @public
+ */
+export declare function ingestCatalog(tensor: UniversalTensor, entries: ReadonlyArray<BridgeEquationEntry>): CatalogIngestionReport;
+/**
+ * Bridge-level FluxReport summary, derived from a
+ * `CatalogIngestionReport`. Used by consumers that want the
+ * flux-rule report shape rather than the catalog-specific report.
+ *
+ * @public
+ */
+export declare function ingestionReportToFluxReport(report: CatalogIngestionReport): FluxReport;
+//# sourceMappingURL=catalog-adapter.d.ts.map

package/dist/bridges/catalog-adapter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"catalog-adapter.d.ts","sourceRoot":"","sources":["../../src/bridges/catalog-adapter.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAEH,OAAO,KAAK,EACV,mBAAmB,EACpB,MAAM,YAAY,CAAC;AACpB,OAAO,KAAK,EAAE,UAAU,EAAkB,MAAM,iBAAiB,CAAC;AAClE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACzD,OAAO,KAAK,EACV,cAAc,EACd,UAAU,EACX,MAAM,uBAAuB,CAAC;AAS/B;;;;GAIG;AACH,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,mEAAmE;IACnE,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B;;;OAGG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,cAAc,CAAC;CACtC;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,kBAAkB,CAAC,CAAC;IACpD,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,cAAc,CAAC,CAAC;IAC/C,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,cAAc,CAAC,CAAC;IACjD,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC,cAAc,CAAC,CAAC;IAC7C,6DAA6D;IAC7D,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IAC5C,iEAAiE;IACjE,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,UAAU,CAAC,CAAC;CAC/C;AAED;;;;;GAKG;AACH,qBAAa,qBAAsB,SAAQ,KAAK;IAC9C,SAAgB,MAAM,EAAE,sBAAsB,CAAC;gBAEnC,MAAM,EAAE,sBAAsB;CAS3C;AAuDD;;;;;;;;;GASG;AACH,wBAAgB,cAAc,CAC5B,OAAO,EAAE,aAAa,CAAC,mBAAmB,CAAC,GAC1C,aAAa,CAAC,UAAU,CAAC,CAO3B;AAgHD;;;;;;GAMG;AACH,wBAAgB,WAAW,CACzB,OAAO,EAAE,aAAa,CAAC,mBAAmB,CAAC,GAC1C,sBAAsB,CAuCxB;AAED;;;;;;;GAOG;AACH,wBAAgB,aAAa,CAC3B,MAAM,EAAE,eAAe,EACvB,OAAO,EAAE,aAAa,CAAC,mBAAmB,CAAC,GAC1C,sBAAsB,CASxB;AAED;;;;;;GAMG;AACH,wBAAgB,2BAA2B,CACzC,MAAM,EAAE,sBAAsB,GAC7B,UAAU,CAYZ"}

package/dist/bridges/catalog-adapter.js

@@ -0,0 +1,302 @@
+/**
+ * Catalog adapter: ingests the 42-entry `BRIDGE_EQUATIONS` array into
+ * the v0.7-p2 sparse semantic catalog as `BridgeCell` values.
+ *
+ * Phase 3 of v0.7 Proposal 2 (Sparse Semantic Catalog).
+ *
+ * Two entry points:
+ *
+ *   `catalogToCells(entries)` — pure mapping `BridgeEquationEntry[]
+ *     → BridgeCell[]`. Filters out entries that would fail the
+ *     legacy `addBridge` validation (e.g. `bridges: ['unknown',
+ *     'unknown']` collapses to identical empty `source`/`target`).
+ *
+ *   `scanCatalog(entries)` — best-effort variant: builds candidates,
+ *     runs Rule 1 (dimensional consistency), returns a
+ *     `CatalogIngestionReport` without throwing. Caller decides
+ *     what to do with the diagnostics.
+ *
+ *   `ingestCatalog(tensor, entries)` — strict variant: two-pass
+ *     collect-then-commit (Decision #11). If Rule 1 reports any
+ *     errors, throws `CatalogIngestionError(report)` and the
+ *     tensor is untouched. Otherwise calls `tensor.addCell` for
+ *     each candidate.
+ *
+ * Rule 1 (Dimensional Consistency) operates on
+ * `BridgeEquationEntry`, NOT on `Cell` (Decision #3, resolves
+ * Adam-V3). It reads `entry.dimensional_signature` directly.
+ *
+ * @module bridges/catalog-adapter
+ */
+import { EXPECTED_DIMENSION_BY_BRIDGE } from '../dimensional/bridge-check.js';
+import { format } from '../dimensional/algebra.js';
+/**
+ * Thrown by `ingestCatalog` when Rule 1 reports any errors. The
+ * caller can inspect `report` for per-entry diagnostics.
+ *
+ * @public
+ */
+export class CatalogIngestionError extends Error {
+    report;
+    constructor(report) {
+        super(`CatalogIngestionError: ${report.errors.length} dimensional-consistency ` +
+            `error(s) in ${report.entries.length} catalog entries. ` +
+            `First error: ${report.errors[0]?.message ?? '(none)'}`);
+        this.name = 'CatalogIngestionError';
+        this.report = report;
+    }
+}
+// ---------------------------------------------------------------------------
+// Internal: confidence + scale mapping
+// ---------------------------------------------------------------------------
+/**
+ * Map the catalog's `BridgeEquationStatus` string vocabulary onto
+ * the `CellConfidence` vocabulary used by `BridgeCell`. The two
+ * vocabularies are nearly aligned — only the `'invalid'` arm differs
+ * (catalog allows it; CellConfidence excludes it per the design).
+ *
+ * @internal
+ */
+function statusToCellConfidence(status) {
+    switch (status) {
+        case 'established': return 'established';
+        case 'speculative': return 'speculative';
+        case 'highly-speculative': return 'highly-speculative';
+        case 'invalid':
+            // 'invalid' catalog entries should not become cells; the
+            // adapter callers filter on isActiveStatus first. If we ever
+            // reach here, downgrade to 'highly-speculative' (safest).
+            return 'highly-speculative';
+        default:
+            return 'highly-speculative';
+    }
+}
+/**
+ * Translate a free-form catalog `bridges` axis label (e.g.
+ * `'classical'`, `'quantum'`, `'unknown'`) to a `PhysicalScale`
+ * value or `undefined`. The four-element `PhysicalScale` union is
+ * exhaustive; anything else (including the `'unknown'` sentinel)
+ * maps to `undefined` — making `source`/`target` an empty
+ * `TensorIndices` whose serialized key is `''`.
+ *
+ * @internal
+ */
+function labelToScale(label) {
+    switch (label) {
+        case 'quantum':
+        case 'mesoscopic':
+        case 'classical':
+        case 'cosmological':
+            return label;
+        default:
+            return undefined;
+    }
+}
+// ---------------------------------------------------------------------------
+// Mapping: BridgeEquationEntry → BridgeCell
+// ---------------------------------------------------------------------------
+/**
+ * Pure mapper from `BridgeEquationEntry` (legacy catalog shape) to
+ * `BridgeCell` (v0.7 typed Cell variant). Filters out entries whose
+ * `bridges: [from, to]` collapses to an identical source/target
+ * (typically `['unknown', 'unknown']`) — those would fail the
+ * legacy `addBridge` validation. The filtering decision is surfaced
+ * via the `unsubmitted` array in `CatalogIngestionReport`.
+ *
+ * @public
+ */
+export function catalogToCells(entries) {
+    const out = [];
+    for (const entry of entries) {
+        const cell = entryToBridgeCell(entry);
+        if (cell !== null)
+            out.push(cell);
+    }
+    return out;
+}
+/**
+ * Internal: build a `BridgeCell` from a single entry, returning
+ * `null` if the entry is filterable (identical source/target after
+ * label translation).
+ *
+ * @internal
+ */
+function entryToBridgeCell(entry) {
+    const [fromLabel, toLabel] = entry.bridges;
+    const fromScale = labelToScale(fromLabel);
+    const toScale = labelToScale(toLabel);
+    const source = fromScale ? { scale: fromScale } : {};
+    const target = toScale ? { scale: toScale } : {};
+    // Filter out entries whose source and target are both empty (the
+    // 'unknown' -> 'unknown' case at HEAD). Legacy `addBridge` rejects
+    // them with a TypeError; the adapter surfaces them via
+    // `unsubmitted`.
+    if (source.scale === undefined &&
+        target.scale === undefined) {
+        return null;
+    }
+    // Equation: use formula_latex if non-empty, else a placeholder.
+    const equation = entry.formula_latex && entry.formula_latex.length > 0
+        ? entry.formula_latex
+        : `(no LaTeX provided for BE-${entry.id})`;
+    return {
+        kind: 'bridge',
+        id: `BE-${entry.id}`,
+        name: entry.name,
+        equation,
+        confidence: statusToCellConfidence(entry.status),
+        source,
+        target,
+        validated: entry.status === 'established',
+        description: entry.notes.length > 0 ? entry.notes.slice(0, 200) : entry.name,
+    };
+}
+// ---------------------------------------------------------------------------
+// Rule 1 — Dimensional Consistency (ERROR tier per Decision #3)
+// ---------------------------------------------------------------------------
+/**
+ * Fires per-entry. Returns one of:
+ *   - undefined (no diagnostic): entry passes Rule 1.
+ *   - 'error' diagnostic: dimensional_signature is structurally null,
+ *     or non-null but does not match the expected dimension from
+ *     `EXPECTED_DIMENSION_BY_BRIDGE`.
+ *   - 'info' diagnostic: no expected entry for this bridge ID (the
+ *     EXPECTED_DIMENSION_BY_BRIDGE table covers 40 of 42 bridges
+ *     per Phase 0 Task 0.3); we can't enforce, but we record the
+ *     gap.
+ *
+ * @internal
+ */
+function checkDimensionalConsistency(entry) {
+    const cellId = `BE-${entry.id}`;
+    // Structural null check (Eve-R1 lesson — at HEAD this fires zero
+    // times; future catalog edits that introduce a null will surface
+    // immediately).
+    if (entry.dimensional_signature === null) {
+        return {
+            severity: 'error',
+            ruleName: 'dimensional-consistency',
+            cellId,
+            message: `BE-${entry.id} ('${entry.name}') has dimensional_signature: ` +
+                `null. Every active catalog entry must declare a structural ` +
+                `dimensional signature.`,
+        };
+    }
+    // Field-vs-expected comparison.
+    const expected = EXPECTED_DIMENSION_BY_BRIDGE.get(entry.id);
+    if (expected === undefined) {
+        return {
+            severity: 'info',
+            ruleName: 'dimensional-consistency',
+            cellId,
+            message: `BE-${entry.id} ('${entry.name}') has no entry in ` +
+                `EXPECTED_DIMENSION_BY_BRIDGE (40 of 42 covered at HEAD); ` +
+                `dimensional-consistency check skipped for this entry.`,
+        };
+    }
+    const expectedFormatted = format(expected);
+    if (entry.dimensional_signature !== expectedFormatted) {
+        return {
+            severity: 'error',
+            ruleName: 'dimensional-consistency',
+            cellId,
+            message: `BE-${entry.id} ('${entry.name}') has dimensional_signature ` +
+                `'${entry.dimensional_signature}' but EXPECTED_DIMENSION_BY_BRIDGE ` +
+                `says '${expectedFormatted}'. Catalog and expectation disagree.`,
+        };
+    }
+    return undefined;
+}
+// ---------------------------------------------------------------------------
+// Public entry points
+// ---------------------------------------------------------------------------
+/**
+ * Best-effort catalog scan: builds candidates, runs Rule 1 per
+ * entry, returns a `CatalogIngestionReport`. Does NOT mutate any
+ * tensor and does NOT throw.
+ *
+ * @public
+ */
+export function scanCatalog(entries) {
+    const statuses = [];
+    const errors = [];
+    const warnings = [];
+    const info = [];
+    const unsubmitted = [];
+    const submitted = [];
+    for (const entry of entries) {
+        const diagnostic = checkDimensionalConsistency(entry);
+        const cell = entryToBridgeCell(entry);
+        const submittable = cell !== null;
+        if (!submittable)
+            unsubmitted.push(entry.id);
+        else
+            submitted.push(cell);
+        if (diagnostic) {
+            switch (diagnostic.severity) {
+                case 'error':
+                    errors.push(diagnostic);
+                    break;
+                case 'warning':
+                    warnings.push(diagnostic);
+                    break;
+                case 'info':
+                    info.push(diagnostic);
+                    break;
+            }
+        }
+        statuses.push({
+            bridgeId: entry.id,
+            name: entry.name,
+            submitted: submittable,
+            ...(diagnostic ? { diagnostic } : {}),
+        });
+    }
+    return {
+        entries: statuses,
+        errors,
+        warnings,
+        info,
+        unsubmitted,
+        submitted,
+    };
+}
+/**
+ * Strict catalog ingestion: two-pass collect-then-commit per
+ * Decision #11. If Rule 1 reports any errors, throws
+ * `CatalogIngestionError(report)` and the tensor is untouched.
+ * Otherwise calls `tensor.addCell` for each filterable candidate.
+ *
+ * @public
+ */
+export function ingestCatalog(tensor, entries) {
+    const report = scanCatalog(entries);
+    if (report.errors.length > 0) {
+        throw new CatalogIngestionError(report);
+    }
+    for (const cell of report.submitted) {
+        tensor.addCell(cell);
+    }
+    return report;
+}
+/**
+ * Bridge-level FluxReport summary, derived from a
+ * `CatalogIngestionReport`. Used by consumers that want the
+ * flux-rule report shape rather than the catalog-specific report.
+ *
+ * @public
+ */
+export function ingestionReportToFluxReport(report) {
+    const diagnostics = [
+        ...report.errors,
+        ...report.warnings,
+        ...report.info,
+    ];
+    return {
+        diagnostics,
+        errorCount: report.errors.length,
+        warningCount: report.warnings.length,
+        infoCount: report.info.length,
+    };
+}
+//# sourceMappingURL=catalog-adapter.js.map