universal-physics-tensor 0.5.0 → 0.7.0

package/dist/core/cell.d.ts

@@ -0,0 +1,176 @@
+/**
+ * Typed `Cell` discriminated union for `UniversalTensor`'s cell storage.
+ *
+ * Three variants — `LawCell`, `BridgeCell`, `EmergenceCell` — each
+ * carrying a `kind` discriminator that lets TypeScript narrow to the
+ * specific variant at every consumption site. Mirrors the v0.6.1
+ * validator-registry's discriminated-union pattern at
+ * `src/dimensional/validator-registry.ts`.
+ *
+ * Design doc: `docs/planning/v0.7-Proposal-3-Design.md`.
+ * Review findings: `docs/planning/v0.7-Proposal-3-Review-Findings.md`.
+ *
+ * Migration relationship to `src/core/types.ts`:
+ *   - `PhysicalLaw` ↔ `LawCell` (field-shape faithful; `confidence`
+ *     flips `number` → string-literal union)
+ *   - `BridgeEquation` ↔ `BridgeCell` (same migration)
+ *   - `EmergentPhenomenon` ↔ `EmergenceCell` (same migration)
+ *
+ * The old interfaces are NOT deleted and NOT `@deprecated`-tagged in
+ * this sprint (per Eve-R2 + the Phase 0 consumer-import census:
+ * 4 in-repo sites still use them). A future v0.7.x sprint migrates
+ * those consumers and then adds `@deprecated`.
+ *
+ * **No `confidenceToStatus` adapter is shipped** (per Eve-R3). The
+ * 42-bridge catalog has BOTH a numeric `confidence` AND a curated
+ * string `status` field, set independently; an adapter would
+ * produce labels that contradict the catalog curation
+ * (e.g. `status: 'established'` + `confidence: 0.7` → adapter
+ * returns `'speculative'`). Callers must pass the string explicitly
+ * at cell-construction sites.
+ *
+ * @module core/cell
+ */
+import type { PhysicalScale, Force, Symmetry, InformationMeasure, TensorIndices, TensorConfig, PhysicalLaw, BridgeEquation, EmergentPhenomenon } from './types.js';
+import { UniversalTensor } from './tensor.js';
+/**
+ * Epistemic confidence vocabulary for `Cell` variants. Matches the
+ * `'established' | 'speculative' | 'highly-speculative'` portion of
+ * `BridgeEquationStatus` from `src/bridges/index.ts:42-46`, minus
+ * `'invalid'` — cells in the tensor are by definition active; invalid
+ * catalog entries should not be added.
+ *
+ * @public
+ */
+export type CellConfidence = 'established' | 'speculative' | 'highly-speculative';
+/**
+ * Fields common to every `Cell` variant. Each variant extends this
+ * with a `kind` discriminator and variant-specific fields. The
+ * `equation` field carries LaTeX-formatted mathematical content
+ * (matching the existing `PhysicalLaw.equation` / `BridgeEquation.
+ * equation` convention).
+ *
+ * @public
+ */
+export interface CellBase {
+    /** Unique identifier within the parent `UniversalTensor`. */
+    readonly id: string;
+    /** Epistemic confidence vocabulary (see `CellConfidence`). */
+    readonly confidence: CellConfidence;
+    /** Mathematical formulation (LaTeX). */
+    readonly equation: string;
+}
+/**
+ * Cell variant representing a known physical law. 1:1 field-shape
+ * correspondence with `PhysicalLaw` from `src/core/types.ts:88`,
+ * except `confidence` is the string vocabulary (not `number`) and
+ * the discriminator `kind: 'law'` is added.
+ *
+ * @public
+ */
+export interface LawCell extends CellBase {
+    readonly kind: 'law';
+    readonly name: string;
+    readonly scales: ReadonlyArray<PhysicalScale>;
+    readonly forces: ReadonlyArray<Force>;
+    readonly symmetries: ReadonlyArray<Symmetry>;
+    readonly informationMeasures?: ReadonlyArray<InformationMeasure>;
+    readonly dimensions?: ReadonlyArray<number>;
+    readonly topologies?: ReadonlyArray<number>;
+    readonly references?: ReadonlyArray<string>;
+}
+/**
+ * Cell variant representing a bridge equation between regimes. 1:1
+ * field-shape correspondence with `BridgeEquation` from
+ * `src/core/types.ts:126`, except `confidence` is the string
+ * vocabulary and the discriminator `kind: 'bridge'` is added.
+ *
+ * @public
+ */
+export interface BridgeCell extends CellBase {
+    readonly kind: 'bridge';
+    readonly name: string;
+    readonly source: TensorIndices;
+    readonly target: TensorIndices;
+    readonly validated: boolean;
+    readonly description: string;
+}
+/**
+ * Cell variant representing an emergent phenomenon. 1:1 field-shape
+ * correspondence with `EmergentPhenomenon` from `src/core/types.ts:155`,
+ * except `confidence` is the string vocabulary and the discriminator
+ * `kind: 'emergence'` is added. Note: the old interface uses
+ * `description` for the mathematical content; `EmergenceCell` carries
+ * it as both `equation` (inherited from `CellBase`, mandatory) and
+ * `description` (kept for prose-context fidelity, optional).
+ *
+ * @public
+ */
+export interface EmergenceCell extends CellBase {
+    readonly kind: 'emergence';
+    readonly name: string;
+    readonly order: number;
+    readonly indices: ReadonlyArray<TensorIndices>;
+    readonly description?: string;
+}
+/**
+ * The disjoint union of all `Cell` variants. Consumers narrow via
+ * `switch (cell.kind)` with an exhaustive `_exhaustive: never` arm.
+ *
+ * @public
+ */
+export type Cell = LawCell | BridgeCell | EmergenceCell;
+/**
+ * Factory: build a populated `UniversalTensor` from three typed cell
+ * arrays plus a `TensorConfig`.
+ *
+ * Makes the "'+' in Π = L + B + E is disjoint union, not algebraic"
+ * invariant concrete: the only way to construct a populated
+ * `UniversalTensor` from typed cells is to pass three typed arrays.
+ * There is no `add(c1: Cell, c2: Cell): Cell` because cells never
+ * compose at the cell level — composition happens at the tensor
+ * level (Proposals 2 and 6 territory).
+ *
+ * **Provenance note**: the proposals doc §4.2 line 299 sketches
+ * `compose(L, B, E): UniversalTensor` without a `config` argument.
+ * This signature closes a proposals-doc gap — `UniversalTensor`'s
+ * constructor requires `rank` / `scales` / `forces`, none of which
+ * can be inferred from the three cell arrays alone. `compose` is
+ * this sprint's invention, not a proposals-doc commitment.
+ *
+ * @public
+ */
+export declare function compose(laws: ReadonlyArray<LawCell>, bridges: ReadonlyArray<BridgeCell>, emergences: ReadonlyArray<EmergenceCell>, config: TensorConfig): UniversalTensor;
+/**
+ * Inverse of `statusToConfidenceNumber` at tensor.ts:48-58. Buckets a
+ * numeric confidence in [0,1] back to the string vocabulary. Used by
+ * the inverse adapters below.
+ *
+ * @internal
+ */
+export declare function numberToCellConfidence(n: number): CellConfidence;
+/**
+ * Adapter: `PhysicalLaw` (legacy) → `LawCell`. Used by
+ * `UniversalTensor.populatedCells()`.
+ *
+ * @internal
+ */
+export declare function lawToCell(law: PhysicalLaw): LawCell;
+/**
+ * Adapter: `BridgeEquation` (legacy) → `BridgeCell`. Used by
+ * `UniversalTensor.populatedCells()`.
+ *
+ * @internal
+ */
+export declare function bridgeToCell(b: BridgeEquation): BridgeCell;
+/**
+ * Adapter: `EmergentPhenomenon` (legacy) → `EmergenceCell`. The
+ * legacy `description` field holds the mathematical content (LaTeX);
+ * we surface it as `equation` and leave `description` undefined
+ * unless the legacy entry had a "math\n\nprose" split (per the
+ * forward `cellToEmergence` adapter convention).
+ *
+ * @internal
+ */
+export declare function emergenceToCell(p: EmergentPhenomenon): EmergenceCell;
+//# sourceMappingURL=cell.d.ts.map

package/dist/core/cell.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cell.d.ts","sourceRoot":"","sources":["../../src/core/cell.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AAEH,OAAO,KAAK,EACV,aAAa,EACb,KAAK,EACL,QAAQ,EACR,kBAAkB,EAClB,aAAa,EACb,YAAY,EACZ,WAAW,EACX,cAAc,EACd,kBAAkB,EACnB,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAE9C;;;;;;;;GAQG;AACH,MAAM,MAAM,cAAc,GACtB,aAAa,GACb,aAAa,GACb,oBAAoB,CAAC;AAEzB;;;;;;;;GAQG;AACH,MAAM,WAAW,QAAQ;IACvB,6DAA6D;IAC7D,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IAEpB,8DAA8D;IAC9D,QAAQ,CAAC,UAAU,EAAE,cAAc,CAAC;IAEpC,wCAAwC;IACxC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,OAAQ,SAAQ,QAAQ;IACvC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,aAAa,CAAC,CAAC;IAC9C,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,KAAK,CAAC,CAAC;IACtC,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAC;IAC7C,QAAQ,CAAC,mBAAmB,CAAC,EAAE,aAAa,CAAC,kBAAkB,CAAC,CAAC;IACjE,QAAQ,CAAC,UAAU,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IAC5C,QAAQ,CAAC,UAAU,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IAC5C,QAAQ,CAAC,UAAU,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;CAC7C;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,UAAW,SAAQ,QAAQ;IAC1C,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC;IAC/B,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAED;;;;;;;;;;GAUG;AACH,MAAM,WAAW,aAAc,SAAQ,QAAQ;IAC7C,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,aAAa,CAAC,CAAC;IAC/C,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAC/B;AAED;;;;;GAKG;AACH,MAAM,MAAM,IAAI,GAAG,OAAO,GAAG,UAAU,GAAG,aAAa,CAAC;AAExD;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,OAAO,CACrB,IAAI,EAAE,aAAa,CAAC,OAAO,CAAC,EAC5B,OAAO,EAAE,aAAa,CAAC,UAAU,CAAC,EAClC,UAAU,EAAE,aAAa,CAAC,aAAa,CAAC,EACxC,MAAM,EAAE,YAAY,GACnB,eAAe,CAMjB;AAsBD;;;;;;GAMG;AACH,wBAAgB,sBAAsB,CAAC,CAAC,EAAE,MAAM,GAAG,cAAc,CAIhE;AAED;;;;;GAKG;AACH,wBAAgB,SAAS,CAAC,GAAG,EAAE,WAAW,GAAG,OAAO,CAenD;AAED;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,CAAC,EAAE,cAAc,GAAG,UAAU,CAY1D;AAED;;;;;;;;GAQG;AACH,wBAAgB,eAAe,CAAC,CAAC,EAAE,kBAAkB,GAAG,aAAa,CAkBpE"}

package/dist/core/cell.js

@@ -0,0 +1,166 @@
+/**
+ * Typed `Cell` discriminated union for `UniversalTensor`'s cell storage.
+ *
+ * Three variants — `LawCell`, `BridgeCell`, `EmergenceCell` — each
+ * carrying a `kind` discriminator that lets TypeScript narrow to the
+ * specific variant at every consumption site. Mirrors the v0.6.1
+ * validator-registry's discriminated-union pattern at
+ * `src/dimensional/validator-registry.ts`.
+ *
+ * Design doc: `docs/planning/v0.7-Proposal-3-Design.md`.
+ * Review findings: `docs/planning/v0.7-Proposal-3-Review-Findings.md`.
+ *
+ * Migration relationship to `src/core/types.ts`:
+ *   - `PhysicalLaw` ↔ `LawCell` (field-shape faithful; `confidence`
+ *     flips `number` → string-literal union)
+ *   - `BridgeEquation` ↔ `BridgeCell` (same migration)
+ *   - `EmergentPhenomenon` ↔ `EmergenceCell` (same migration)
+ *
+ * The old interfaces are NOT deleted and NOT `@deprecated`-tagged in
+ * this sprint (per Eve-R2 + the Phase 0 consumer-import census:
+ * 4 in-repo sites still use them). A future v0.7.x sprint migrates
+ * those consumers and then adds `@deprecated`.
+ *
+ * **No `confidenceToStatus` adapter is shipped** (per Eve-R3). The
+ * 42-bridge catalog has BOTH a numeric `confidence` AND a curated
+ * string `status` field, set independently; an adapter would
+ * produce labels that contradict the catalog curation
+ * (e.g. `status: 'established'` + `confidence: 0.7` → adapter
+ * returns `'speculative'`). Callers must pass the string explicitly
+ * at cell-construction sites.
+ *
+ * @module core/cell
+ */
+import { UniversalTensor } from './tensor.js';
+/**
+ * Factory: build a populated `UniversalTensor` from three typed cell
+ * arrays plus a `TensorConfig`.
+ *
+ * Makes the "'+' in Π = L + B + E is disjoint union, not algebraic"
+ * invariant concrete: the only way to construct a populated
+ * `UniversalTensor` from typed cells is to pass three typed arrays.
+ * There is no `add(c1: Cell, c2: Cell): Cell` because cells never
+ * compose at the cell level — composition happens at the tensor
+ * level (Proposals 2 and 6 territory).
+ *
+ * **Provenance note**: the proposals doc §4.2 line 299 sketches
+ * `compose(L, B, E): UniversalTensor` without a `config` argument.
+ * This signature closes a proposals-doc gap — `UniversalTensor`'s
+ * constructor requires `rank` / `scales` / `forces`, none of which
+ * can be inferred from the three cell arrays alone. `compose` is
+ * this sprint's invention, not a proposals-doc commitment.
+ *
+ * @public
+ */
+export function compose(laws, bridges, emergences, config) {
+    const tensor = new UniversalTensor(config);
+    for (const law of laws)
+        tensor.addCell(law);
+    for (const bridge of bridges)
+        tensor.addCell(bridge);
+    for (const emergence of emergences)
+        tensor.addCell(emergence);
+    return tensor;
+}
+// ---------------------------------------------------------------------------
+// Inverse adapters (legacy interface → Cell variant)
+// ---------------------------------------------------------------------------
+// Used by UniversalTensor.populatedCells() (Phase 2 Task 2.1) to resolve
+// stored cell-IDs back to Cell objects. Counterparts to the forward
+// adapters (cellToLaw / cellToBridge / cellToEmergence) at tensor.ts.
+//
+// The numeric `confidence: number` from the legacy interfaces is bucketed
+// back into the string vocabulary via `numberToCellConfidence`. This is
+// the lossy direction Eve-R3 flagged — but in THIS direction, the call
+// site is "we have a legacy entry that was already in the tensor; bucket
+// its numeric confidence into the closest string label". Per Decision #6
+// fan-out semantics, this can only happen for entries that round-tripped
+// through `addCell` (where the original string was authoritative) OR
+// entries added via the legacy `addLaw`/`addBridge`/`addEmergence` paths
+// (where the consumer chose a number directly). The bucketing matches
+// the forward `statusToConfidenceNumber` in tensor.ts: 0.95→established,
+// 0.6→speculative, 0.3→highly-speculative; thresholds chosen to make
+// the standard round-trip exact.
+/**
+ * Inverse of `statusToConfidenceNumber` at tensor.ts:48-58. Buckets a
+ * numeric confidence in [0,1] back to the string vocabulary. Used by
+ * the inverse adapters below.
+ *
+ * @internal
+ */
+export function numberToCellConfidence(n) {
+    if (n >= 0.8)
+        return 'established';
+    if (n >= 0.4)
+        return 'speculative';
+    return 'highly-speculative';
+}
+/**
+ * Adapter: `PhysicalLaw` (legacy) → `LawCell`. Used by
+ * `UniversalTensor.populatedCells()`.
+ *
+ * @internal
+ */
+export function lawToCell(law) {
+    return {
+        kind: 'law',
+        id: law.id,
+        name: law.name,
+        equation: law.equation,
+        confidence: numberToCellConfidence(law.confidence),
+        scales: law.scales,
+        forces: law.forces,
+        symmetries: law.symmetries,
+        ...(law.informationMeasures ? { informationMeasures: law.informationMeasures } : {}),
+        ...(law.dimensions ? { dimensions: law.dimensions } : {}),
+        ...(law.topologies ? { topologies: law.topologies } : {}),
+        ...(law.references ? { references: law.references } : {}),
+    };
+}
+/**
+ * Adapter: `BridgeEquation` (legacy) → `BridgeCell`. Used by
+ * `UniversalTensor.populatedCells()`.
+ *
+ * @internal
+ */
+export function bridgeToCell(b) {
+    return {
+        kind: 'bridge',
+        id: b.id,
+        name: b.name,
+        equation: b.equation,
+        confidence: numberToCellConfidence(b.confidence),
+        source: b.source,
+        target: b.target,
+        validated: b.validated,
+        description: b.description,
+    };
+}
+/**
+ * Adapter: `EmergentPhenomenon` (legacy) → `EmergenceCell`. The
+ * legacy `description` field holds the mathematical content (LaTeX);
+ * we surface it as `equation` and leave `description` undefined
+ * unless the legacy entry had a "math\n\nprose" split (per the
+ * forward `cellToEmergence` adapter convention).
+ *
+ * @internal
+ */
+export function emergenceToCell(p) {
+    // Split convention: if description contains "\n\n", treat the part
+    // before as equation and after as prose; otherwise the whole field
+    // is the equation.
+    const splitIdx = p.description.indexOf('\n\n');
+    const equation = splitIdx === -1 ? p.description : p.description.slice(0, splitIdx);
+    const description = splitIdx === -1 ? undefined : p.description.slice(splitIdx + 2);
+    return {
+        kind: 'emergence',
+        id: p.id,
+        name: p.name,
+        equation,
+        confidence: numberToCellConfidence(p.confidence),
+        order: p.order,
+        indices: p.indices,
+        ...(description ? { description } : {}),
+    };
+}
+//# sourceMappingURL=cell.js.map

package/dist/core/cell.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cell.js","sourceRoot":"","sources":["../../src/core/cell.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AAaH,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAoG9C;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,OAAO,CACrB,IAA4B,EAC5B,OAAkC,EAClC,UAAwC,EACxC,MAAoB;IAEpB,MAAM,MAAM,GAAG,IAAI,eAAe,CAAC,MAAM,CAAC,CAAC;IAC3C,KAAK,MAAM,GAAG,IAAI,IAAI;QAAE,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC5C,KAAK,MAAM,MAAM,IAAI,OAAO;QAAE,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACrD,KAAK,MAAM,SAAS,IAAI,UAAU;QAAE,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IAC9D,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,8EAA8E;AAC9E,qDAAqD;AACrD,8EAA8E;AAC9E,yEAAyE;AACzE,oEAAoE;AACpE,sEAAsE;AACtE,EAAE;AACF,0EAA0E;AAC1E,wEAAwE;AACxE,uEAAuE;AACvE,yEAAyE;AACzE,yEAAyE;AACzE,yEAAyE;AACzE,qEAAqE;AACrE,yEAAyE;AACzE,sEAAsE;AACtE,yEAAyE;AACzE,qEAAqE;AACrE,iCAAiC;AAEjC;;;;;;GAMG;AACH,MAAM,UAAU,sBAAsB,CAAC,CAAS;IAC9C,IAAI,CAAC,IAAI,GAAG;QAAE,OAAO,aAAa,CAAC;IACnC,IAAI,CAAC,IAAI,GAAG;QAAE,OAAO,aAAa,CAAC;IACnC,OAAO,oBAAoB,CAAC;AAC9B,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,SAAS,CAAC,GAAgB;IACxC,OAAO;QACL,IAAI,EAAE,KAAK;QACX,EAAE,EAAE,GAAG,CAAC,EAAE;QACV,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,QAAQ,EAAE,GAAG,CAAC,QAAQ;QACtB,UAAU,EAAE,sBAAsB,CAAC,GAAG,CAAC,UAAU,CAAC;QAClD,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,UAAU,EAAE,GAAG,CAAC,UAAU;QAC1B,GAAG,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC,CAAC,EAAE,mBAAmB,EAAE,GAAG,CAAC,mBAAmB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACpF,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzD,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzD,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC1D,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAAC,CAAiB;IAC5C,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,EAAE,EAAE,CAAC,CAAC,EAAE;QACR,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,QAAQ,EAAE,CAAC,CAAC,QAAQ;QACpB,UAAU,EAAE,sBAAsB,CAAC,CAAC,CAAC,UAAU,CAAC;QAChD,MAAM,EAAE,CAAC,CAAC,MAAM;QAChB,MAAM,EAAE,CAAC,CAAC,MAAM;QAChB,SAAS,EAAE,CAAC,CAAC,SAAS;QACtB,WAAW,EAAE,CAAC,CAAC,WAAW;KAC3B,CAAC;AACJ,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,eAAe,CAAC,CAAqB;IACnD,mEAAmE;IACnE,mEAAmE;IACnE,mBAAmB;IACnB,MAAM,QAAQ,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAC/C,MAAM,QAAQ,GAAG,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;IACpF,MAAM,WAAW,GAAG,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC;IAEpF,OAAO;QACL,IAAI,EAAE,WAAW;QACjB,EAAE,EAAE,CAAC,CAAC,EAAE;QACR,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,QAAQ;QACR,UAAU,EAAE,sBAAsB,CAAC,CAAC,CAAC,UAAU,CAAC;QAChD,KAAK,EAAE,CAAC,CAAC,KAAK;QACd,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACxC,CAAC;AACJ,CAAC"}

package/dist/core/constants.d.ts

@@ -0,0 +1,50 @@
+/**
+ * Canonical CODATA 2018 + SI-defined physical constants for UPT (v0.5.1).
+ *
+ * Single source of truth for fundamental physical constants used across the
+ * numerical, dimensional, and bridge layers. Replaces the truncated local
+ * literals (`c_SI = 2.998e8`, etc.) that drifted across `src/numerical/`,
+ * `src/bridges/`, and `tests/fixtures/` — see audit `PC-1` in
+ * `docs/architecture/v0.5.1-audit.md`.
+ *
+ * Values use:
+ *   • Exact-SI definitions (`C_SI`, `H_SI`, `K_B_SI`, `E_SI`) where the
+ *     2019 SI redefinition fixed their values exactly.
+ *   • CODATA 2018 best estimates for measured constants (`G_SI`, `HBAR_SI`,
+ *     `ALPHA`, Planck units).
+ *   • Planck 2018 best estimate for `H0_SI`.
+ *
+ * The `PhysicalConstants` namespace in `src/core/types.ts` is retained for
+ * backwards-compat; new code should prefer these flat exports.
+ *
+ * @module core/constants
+ * @public
+ */
+/** Speed of light in vacuum (m/s). Exact SI definition since 1983. */
+export declare const C_SI = 299792458;
+/** Newtonian gravitational constant (m³ kg⁻¹ s⁻²). CODATA 2018. */
+export declare const G_SI = 6.6743e-11;
+/** Planck constant (J·s). Exact SI definition since 2019. */
+export declare const H_SI = 6.62607015e-34;
+/** Reduced Planck constant h/(2π) (J·s). CODATA 2018. */
+export declare const HBAR_SI = 1.054571817e-34;
+/** Boltzmann constant (J/K). Exact SI definition since 2019. */
+export declare const K_B_SI = 1.380649e-23;
+/** Elementary charge (C). Exact SI definition since 2019. */
+export declare const E_SI = 1.602176634e-19;
+/** Fine-structure constant α (dimensionless). CODATA 2018. */
+export declare const ALPHA = 0.0072973525693;
+/** Planck mass √(ℏc/G) (kg). CODATA 2018. */
+export declare const M_P_SI = 2.176434e-8;
+/** Planck length √(ℏG/c³) (m). CODATA 2018. */
+export declare const L_P_SI = 1.616255e-35;
+/** Planck time √(ℏG/c⁵) (s). CODATA 2018. */
+export declare const T_P_SI = 5.391247e-44;
+/**
+ * Hubble parameter H₀ (s⁻¹).
+ *
+ * Planck 2018 TT,TE,EE+lowE+lensing best estimate: 67.4 km/s/Mpc, converted
+ * to SI using 1 Mpc = 3.0857×10²² m.
+ */
+export declare const H0_SI: number;
+//# sourceMappingURL=constants.d.ts.map

package/dist/core/constants.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"constants.d.ts","sourceRoot":"","sources":["../../src/core/constants.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,sEAAsE;AACtE,eAAO,MAAM,IAAI,YAAY,CAAC;AAE9B,mEAAmE;AACnE,eAAO,MAAM,IAAI,aAAc,CAAC;AAEhC,6DAA6D;AAC7D,eAAO,MAAM,IAAI,iBAAiB,CAAC;AAEnC,yDAAyD;AACzD,eAAO,MAAM,OAAO,kBAAkB,CAAC;AAEvC,gEAAgE;AAChE,eAAO,MAAM,MAAM,eAAe,CAAC;AAEnC,6DAA6D;AAC7D,eAAO,MAAM,IAAI,kBAAkB,CAAC;AAEpC,8DAA8D;AAC9D,eAAO,MAAM,KAAK,kBAAkB,CAAC;AAErC,6CAA6C;AAC7C,eAAO,MAAM,MAAM,cAAc,CAAC;AAElC,+CAA+C;AAC/C,eAAO,MAAM,MAAM,eAAe,CAAC;AAEnC,6CAA6C;AAC7C,eAAO,MAAM,MAAM,eAAe,CAAC;AAEnC;;;;;GAKG;AACH,eAAO,MAAM,KAAK,QAAqB,CAAC"}

package/dist/core/constants.js

@@ -0,0 +1,50 @@
+/**
+ * Canonical CODATA 2018 + SI-defined physical constants for UPT (v0.5.1).
+ *
+ * Single source of truth for fundamental physical constants used across the
+ * numerical, dimensional, and bridge layers. Replaces the truncated local
+ * literals (`c_SI = 2.998e8`, etc.) that drifted across `src/numerical/`,
+ * `src/bridges/`, and `tests/fixtures/` — see audit `PC-1` in
+ * `docs/architecture/v0.5.1-audit.md`.
+ *
+ * Values use:
+ *   • Exact-SI definitions (`C_SI`, `H_SI`, `K_B_SI`, `E_SI`) where the
+ *     2019 SI redefinition fixed their values exactly.
+ *   • CODATA 2018 best estimates for measured constants (`G_SI`, `HBAR_SI`,
+ *     `ALPHA`, Planck units).
+ *   • Planck 2018 best estimate for `H0_SI`.
+ *
+ * The `PhysicalConstants` namespace in `src/core/types.ts` is retained for
+ * backwards-compat; new code should prefer these flat exports.
+ *
+ * @module core/constants
+ * @public
+ */
+/** Speed of light in vacuum (m/s). Exact SI definition since 1983. */
+export const C_SI = 299792458;
+/** Newtonian gravitational constant (m³ kg⁻¹ s⁻²). CODATA 2018. */
+export const G_SI = 6.67430e-11;
+/** Planck constant (J·s). Exact SI definition since 2019. */
+export const H_SI = 6.62607015e-34;
+/** Reduced Planck constant h/(2π) (J·s). CODATA 2018. */
+export const HBAR_SI = 1.054571817e-34;
+/** Boltzmann constant (J/K). Exact SI definition since 2019. */
+export const K_B_SI = 1.380649e-23;
+/** Elementary charge (C). Exact SI definition since 2019. */
+export const E_SI = 1.602176634e-19;
+/** Fine-structure constant α (dimensionless). CODATA 2018. */
+export const ALPHA = 7.2973525693e-3;
+/** Planck mass √(ℏc/G) (kg). CODATA 2018. */
+export const M_P_SI = 2.176434e-8;
+/** Planck length √(ℏG/c³) (m). CODATA 2018. */
+export const L_P_SI = 1.616255e-35;
+/** Planck time √(ℏG/c⁵) (s). CODATA 2018. */
+export const T_P_SI = 5.391247e-44;
+/**
+ * Hubble parameter H₀ (s⁻¹).
+ *
+ * Planck 2018 TT,TE,EE+lowE+lensing best estimate: 67.4 km/s/Mpc, converted
+ * to SI using 1 Mpc = 3.0857×10²² m.
+ */
+export const H0_SI = 67.4e3 / 3.0857e22;
+//# sourceMappingURL=constants.js.map

package/dist/core/constants.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"constants.js","sourceRoot":"","sources":["../../src/core/constants.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,sEAAsE;AACtE,MAAM,CAAC,MAAM,IAAI,GAAG,SAAS,CAAC;AAE9B,mEAAmE;AACnE,MAAM,CAAC,MAAM,IAAI,GAAG,WAAW,CAAC;AAEhC,6DAA6D;AAC7D,MAAM,CAAC,MAAM,IAAI,GAAG,cAAc,CAAC;AAEnC,yDAAyD;AACzD,MAAM,CAAC,MAAM,OAAO,GAAG,eAAe,CAAC;AAEvC,gEAAgE;AAChE,MAAM,CAAC,MAAM,MAAM,GAAG,YAAY,CAAC;AAEnC,6DAA6D;AAC7D,MAAM,CAAC,MAAM,IAAI,GAAG,eAAe,CAAC;AAEpC,8DAA8D;AAC9D,MAAM,CAAC,MAAM,KAAK,GAAG,eAAe,CAAC;AAErC,6CAA6C;AAC7C,MAAM,CAAC,MAAM,MAAM,GAAG,WAAW,CAAC;AAElC,+CAA+C;AAC/C,MAAM,CAAC,MAAM,MAAM,GAAG,YAAY,CAAC;AAEnC,6CAA6C;AAC7C,MAAM,CAAC,MAAM,MAAM,GAAG,YAAY,CAAC;AAEnC;;;;;GAKG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,MAAM,GAAG,SAAS,CAAC"}

package/dist/core/flux-rules.d.ts

@@ -0,0 +1,176 @@
+/**
+ * Flux-rule scaffolding for v0.7 Proposal 2 — Sparse Semantic Catalog.
+ *
+ * Defines:
+ *   - `FluxRuleKind` discriminated tag (@internal)
+ *   - `FluxRule`, `FluxRuleResult` registry shapes (@internal)
+ *   - `FluxDiagnostic`, `FluxReport` consumer shapes (@public)
+ *   - `FluxViolationError` (@public) thrown on ERROR-tier rule failures
+ *   - Rule 2 (L/B/E coordinate matching) and Rule 3 (Causality) — pure
+ *     functions over `Cell` / `BridgeCell`
+ *   - `runRules(cell, rules)` dispatcher with `_exhaustive: never`
+ *
+ * Rule 1 (Dimensional Consistency) ships in Phase 3 alongside the
+ * catalog adapter — it operates on `BridgeEquationEntry`, not `Cell`,
+ * per Decision #3 (resolves Adam-V3).
+ *
+ * Design: docs/planning/v0.7-Proposal-2-Design.md (redraft commit
+ * 01632b5). Decisions #5, #6, #8 are load-bearing here.
+ *
+ * @module core/flux-rules
+ */
+import type { Cell } from './cell.js';
+/**
+ * A single rule-evaluation outcome surfaced to consumers via
+ * `fluxDiagnostics()` or `FluxViolationError`. Severity follows the
+ * info/warning/error tiering pinned in the design.
+ *
+ * @public
+ */
+export interface FluxDiagnostic {
+    readonly severity: 'info' | 'warning' | 'error';
+    readonly ruleName: FluxRuleKind;
+    readonly cellId: string;
+    readonly message: string;
+}
+/**
+ * Aggregated report returned by `runRules()` / consumer-facing
+ * `fluxDiagnostics()`. Per-tier counts are pre-computed for cheap
+ * consumer-side branching.
+ *
+ * @public
+ */
+export interface FluxReport {
+    readonly diagnostics: ReadonlyArray<FluxDiagnostic>;
+    readonly errorCount: number;
+    readonly warningCount: number;
+    readonly infoCount: number;
+}
+/**
+ * Thrown from `UniversalTensor.addCell` (Phase 2) when a Rule 2
+ * (L/B/E coordinate-matching) violation fires. Rule 2 is ERROR-tier:
+ * a `BridgeCell` with `source === target`, a `LawCell` with empty
+ * `scales × forces`, or an `EmergenceCell` with `indices.length < 2`
+ * fail-atomic.
+ *
+ * Rule 3 (Causality) does NOT throw — it's WARNING-tier in v0.7 per
+ * the proposals doc §3.3.3 (promotion to ERROR deferred to v0.8).
+ *
+ * @public
+ */
+export declare class FluxViolationError extends Error {
+    readonly ruleName: FluxRuleKind;
+    readonly cellId: string;
+    constructor(ruleName: FluxRuleKind, cellId: string, message: string);
+}
+/**
+ * Discriminated tag for the in-tree flux rules. Adding a new rule
+ * kind forces a compile-time update to every `switch` over this
+ * union via the `_exhaustive: never` discipline.
+ *
+ * - v0.7 (P2): `'dimensional-consistency' | 'lbe-coordinate' | 'causality'`
+ * - v0.8 (P5): adds `'regime-consistency'` — fires from `addCell`
+ *   when a cell's attached regimes contradict the cell's coordinate
+ *   axes (e.g., a `LawCell` with `scales: ['classical']` attached
+ *   to a `quantum` regime via `attachRegimesToCell`).
+ *
+ * @internal — coupled to the registry's dispatch shape; not part of
+ * the v0.7 public-API contract.
+ */
+export type FluxRuleKind = 'dimensional-consistency' | 'lbe-coordinate' | 'causality' | 'regime-consistency';
+/**
+ * Result returned by a single rule's `check()` body. `ok: true` means
+ * the rule passed; `ok: false` means the rule violated. A diagnostic
+ * may be attached on either path (`'info'` diagnostics ride with
+ * `ok: true`; `'warning'` and `'error'` diagnostics ride with
+ * `ok: false`).
+ *
+ * @internal
+ */
+export interface FluxRuleResult {
+    readonly ok: boolean;
+    readonly diagnostic?: FluxDiagnostic;
+}
+/**
+ * A registered rule. The `check()` body is a pure function over
+ * `Cell` (or a sub-variant if the rule only fires on one `kind`).
+ *
+ * @internal
+ */
+export interface FluxRule {
+    readonly kind: FluxRuleKind;
+    readonly check: (cell: Cell) => FluxRuleResult;
+}
+/**
+ * Pure dispatcher for Rule 2 over the `Cell` discriminated union.
+ * The three arms enforce the cell-shape invariants:
+ *
+ *   - `LawCell` is diagonal: `scales × forces` cross-product must be
+ *     non-empty.
+ *   - `BridgeCell` is off-diagonal: `source !== target` by at least
+ *     one axis (already enforced by the legacy `addBridge` —
+ *     Rule 2 piggybacks for registry exhaustiveness).
+ *   - `EmergenceCell` spans multi-coordinate: `indices.length >= 2`.
+ *
+ * @internal
+ */
+export declare function checkLBECoordinate(cell: Cell): FluxRuleResult;
+/**
+ * Pure dispatcher for Rule 3 over the `Cell` discriminated union.
+ * Rule 3 only fires on `'bridge'`; the other arms always pass.
+ *
+ * Body for the bridge arm per Decision #5:
+ *   1. Read `src = cell.source.scale`, `dst = cell.target.scale`.
+ *   2. If either is `undefined`, emit `'info'` ("scale-unspecified
+ *      skip"); the rule still passes (`ok: true`).
+ *   3. If `arrow = classifyArrow(src, dst) === 'reverse'`, emit a
+ *      `'warning'` diagnostic recommending audit. Rule still passes
+ *      (Rule 3 is WARNING tier in v0.7; promotion to ERROR deferred
+ *      to v0.8).
+ *   4. Suppression via the private `causalityWhitelist` (empty in
+ *      v0.7).
+ *
+ * @internal
+ */
+export declare function checkCausality(cell: Cell): FluxRuleResult;
+/**
+ * Run a set of rules against a single `cell` and aggregate the
+ * diagnostics into a `FluxReport`. Pure function — no I/O, no
+ * shared-state mutation.
+ *
+ * The switch over `FluxRuleKind` is exhaustive via the
+ * `_exhaustive: never` default arm (Decision #8). Adding a new rule
+ * kind forces a compile-time update here AND at every consumer
+ * site that branches on `FluxRuleKind`.
+ *
+ * @internal
+ */
+export declare function runRules(cell: Cell, rules: ReadonlyArray<FluxRule>): FluxReport;
+/**
+ * The two v0.7 in-tree rules registered for Phase 2 `addCell`
+ * dispatch. Rule 1 (Dimensional Consistency) is NOT here — it
+ * operates on `BridgeEquationEntry`, not `Cell`, and ships in
+ * Phase 3 alongside the catalog adapter.
+ *
+ * @internal
+ */
+export declare const V07_CELL_RULES: ReadonlyArray<FluxRule>;
+type RegimeRuleBody = (cell: Cell) => FluxRuleResult;
+/**
+ * Install P5's regime-consistency rule body. Called by
+ * `src/core/regime-rule-install.ts` at its module load. If P5's
+ * module is never imported, the regime check stays a no-op
+ * (returns `ok: true` silently).
+ *
+ * @internal
+ */
+export declare function installRegimeConsistencyRule(body: RegimeRuleBody): void;
+/**
+ * Pure dispatcher for Rule 4 over `Cell`. Delegates to the body
+ * installed by P5 if present; otherwise a permissive no-op.
+ *
+ * @internal
+ */
+export declare function checkRegimeConsistency(cell: Cell): FluxRuleResult;
+export {};
+//# sourceMappingURL=flux-rules.d.ts.map

package/dist/core/flux-rules.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"flux-rules.d.ts","sourceRoot":"","sources":["../../src/core/flux-rules.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,KAAK,EACV,IAAI,EAIL,MAAM,WAAW,CAAC;AAOnB;;;;;;GAMG;AACH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,GAAG,OAAO,CAAC;IAChD,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAC;IAChC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED;;;;;;GAMG;AACH,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC,cAAc,CAAC,CAAC;IACpD,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED;;;;;;;;;;;GAWG;AACH,qBAAa,kBAAmB,SAAQ,KAAK;IAC3C,SAAgB,QAAQ,EAAE,YAAY,CAAC;IACvC,SAAgB,MAAM,EAAE,MAAM,CAAC;gBAEnB,QAAQ,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM;CAMpE;AAMD;;;;;;;;;;;;;GAaG;AACH,MAAM,MAAM,YAAY,GACpB,yBAAyB,GACzB,gBAAgB,GAChB,WAAW,GACX,oBAAoB,CAAC;AAEzB;;;;;;;;GAQG;AACH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,UAAU,CAAC,EAAE,cAAc,CAAC;CACtC;AAED;;;;;GAKG;AACH,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,IAAI,KAAK,cAAc,CAAC;CAChD;AAoDD;;;;;;;;;;;;GAYG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,IAAI,GAAG,cAAc,CAc7D;AAuED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,IAAI,GAAG,cAAc,CAkCzD;AAMD;;;;;;;;;;;GAWG;AACH,wBAAgB,QAAQ,CACtB,IAAI,EAAE,IAAI,EACV,KAAK,EAAE,aAAa,CAAC,QAAQ,CAAC,GAC7B,UAAU,CAgDZ;AAED;;;;;;;GAOG;AACH,eAAO,MAAM,cAAc,EAAE,aAAa,CAAC,QAAQ,CAIlD,CAAC;AAYF,KAAK,cAAc,GAAG,CAAC,IAAI,EAAE,IAAI,KAAK,cAAc,CAAC;AAIrD;;;;;;;GAOG;AACH,wBAAgB,4BAA4B,CAAC,IAAI,EAAE,cAAc,GAAG,IAAI,CAEvE;AAED;;;;;GAKG;AACH,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,IAAI,GAAG,cAAc,CAGjE"}