universal-physics-tensor 0.5.0 → 0.7.0

package/dist/core/regime-rule-install.js

@@ -0,0 +1,90 @@
+/**
+ * Wiring: installs P5's `RegimeConsistency` rule body into the
+ * flux-rules registry. Importing this module activates Rule 4
+ * (regime-consistency, WARNING tier) on every `UniversalTensor`.
+ *
+ * Phase 4 of v0.8 Proposal 5.
+ *
+ * The rule body checks: for each attached regime on a cell (via
+ * `getCellRegimes(cell.id)`), does the regime's axis MATCH a
+ * coordinate axis the cell occupies? If not, emit a warning.
+ * Example: a `LawCell` with `scales: ['classical']` attached to
+ * a regime whose `axis === 'scale'` but `tag === 'quantum'`
+ * — the cell sits in classical coords but is tagged with a quantum
+ * regime → warning.
+ *
+ * Per P5 Adam-M2 reconciliation, cells carry PLURAL axis arrays
+ * (`LawCell.scales`, `LawCell.forces`); the rule reads any of them
+ * and matches against the regime tag.
+ *
+ * Importing this module installs the rule. Consumers who don't
+ * want regime checks can simply skip the import.
+ *
+ * @module core/regime-rule-install
+ */
+import { installRegimeConsistencyRule } from './flux-rules.js';
+import { getCellRegimes } from './regime-registry.js';
+function cellOccupiesAxisTag(cell, axis, tag) {
+    switch (cell.kind) {
+        case 'law':
+            switch (axis) {
+                case 'scale': return cell.scales.some((s) => s === tag);
+                case 'force': return cell.forces.some((f) => f === tag);
+                case 'symmetry': return cell.symmetries.some((s) => s === tag);
+                case 'information':
+                    return cell.informationMeasures?.some((i) => i === tag) ?? false;
+                case 'dimension':
+                    return cell.dimensions?.some((d) => String(d) === tag) ?? false;
+                case 'topology':
+                    return cell.topologies?.some((t) => String(t) === tag) ?? false;
+            }
+            return false;
+        case 'bridge':
+            switch (axis) {
+                case 'scale': return cell.source.scale === tag || cell.target.scale === tag;
+                case 'force': return cell.source.force === tag || cell.target.force === tag;
+                case 'symmetry': return cell.source.symmetry === tag || cell.target.symmetry === tag;
+                case 'information':
+                    return cell.source.information === tag || cell.target.information === tag;
+                case 'dimension':
+                    return String(cell.source.dimension) === tag || String(cell.target.dimension) === tag;
+                case 'topology':
+                    return String(cell.source.topology) === tag || String(cell.target.topology) === tag;
+            }
+            return false;
+        case 'emergence':
+            return cell.indices.some((ix) => {
+                switch (axis) {
+                    case 'scale': return ix.scale === tag;
+                    case 'force': return ix.force === tag;
+                    case 'symmetry': return ix.symmetry === tag;
+                    case 'information': return ix.information === tag;
+                    case 'dimension': return String(ix.dimension) === tag;
+                    case 'topology': return String(ix.topology) === tag;
+                }
+                return false;
+            });
+    }
+}
+installRegimeConsistencyRule((cell) => {
+    const regimes = getCellRegimes(cell.id);
+    if (!regimes || regimes.length === 0)
+        return { ok: true };
+    const mismatches = regimes.filter((r) => !cellOccupiesAxisTag(cell, r.axis, r.tag));
+    if (mismatches.length === 0)
+        return { ok: true };
+    const m = mismatches[0];
+    return {
+        ok: true, // WARNING tier — does not throw
+        diagnostic: {
+            severity: 'warning',
+            ruleName: 'regime-consistency',
+            cellId: cell.id,
+            message: `Cell '${cell.id}' is attached to regime '${m.tag}' on axis '${m.axis}' ` +
+                `(displayName: '${m.displayName}') but the cell does not occupy any ` +
+                `${m.axis} coordinate matching that tag. Either correct the attachment ` +
+                `or extend the cell's ${m.axis} coordinates.`,
+        },
+    };
+});
+//# sourceMappingURL=regime-rule-install.js.map

package/dist/core/regime-rule-install.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"regime-rule-install.js","sourceRoot":"","sources":["../../src/core/regime-rule-install.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,OAAO,EAAE,4BAA4B,EAAuB,MAAM,iBAAiB,CAAC;AACpF,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAItD,SAAS,mBAAmB,CAAC,IAAU,EAAE,IAAc,EAAE,GAAW;IAClE,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,KAAK;YACR,QAAQ,IAAI,EAAE,CAAC;gBACb,KAAK,OAAO,CAAC,CAAC,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC;gBACxD,KAAK,OAAO,CAAC,CAAC,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC;gBACxD,KAAK,UAAU,CAAC,CAAC,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC;gBAC/D,KAAK,aAAa;oBAChB,OAAO,IAAI,CAAC,mBAAmB,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,IAAI,KAAK,CAAC;gBACnE,KAAK,WAAW;oBACd,OAAO,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,IAAI,KAAK,CAAC;gBAClE,KAAK,UAAU;oBACb,OAAO,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,IAAI,KAAK,CAAC;YACpE,CAAC;YACD,OAAO,KAAK,CAAC;QACf,KAAK,QAAQ;YACX,QAAQ,IAAI,EAAE,CAAC;gBACb,KAAK,OAAO,CAAC,CAAC,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,KAAK,GAAG,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,KAAK,GAAG,CAAC;gBAC5E,KAAK,OAAO,CAAC,CAAC,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,KAAK,GAAG,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,KAAK,GAAG,CAAC;gBAC5E,KAAK,UAAU,CAAC,CAAC,OAAO,IAAI,CAAC,MAAM,CAAC,QAAQ,KAAK,GAAG,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,KAAK,GAAG,CAAC;gBACrF,KAAK,aAAa;oBAChB,OAAO,IAAI,CAAC,MAAM,CAAC,WAAW,KAAK,GAAG,IAAI,IAAI,CAAC,MAAM,CAAC,WAAW,KAAK,GAAG,CAAC;gBAC5E,KAAK,WAAW;oBACd,OAAO,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,GAAG,CAAC;gBACxF,KAAK,UAAU;oBACb,OAAO,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,GAAG,CAAC;YACxF,CAAC;YACD,OAAO,KAAK,CAAC;QACf,KAAK,WAAW;YACd,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE;gBAC9B,QAAQ,IAAI,EAAE,CAAC;oBACb,KAAK,OAAO,CAAC,CAAC,OAAO,EAAE,CAAC,KAAK,KAAK,GAAG,CAAC;oBACtC,KAAK,OAAO,CAAC,CAAC,OAAO,EAAE,CAAC,KAAK,KAAK,GAAG,CAAC;oBACtC,KAAK,UAAU,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,KAAK,GAAG,CAAC;oBAC5C,KAAK,aAAa,CAAC,CAAC,OAAO,EAAE,CAAC,WAAW,KAAK,GAAG,CAAC;oBAClD,KAAK,WAAW,CAAC,CAAC,OAAO,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,KAAK,GAAG,CAAC;oBACtD,KAAK,UAAU,CAAC,CAAC,OAAO,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,KAAK,GAAG,CAAC;gBACtD,CAAC;gBACD,OAAO,KAAK,CAAC;YACf,CAAC,CAAC,CAAC;IACP,CAAC;AACH,CAAC;AAED,4BAA4B,CAAC,CAAC,IAAU,EAAkB,EAAE;IAC1D,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACxC,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;IAE1D,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,mBAAmB,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACpF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;IAEjD,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;IACxB,OAAO;QACL,EAAE,EAAE,IAAI,EAAE,gCAAgC;QAC1C,UAAU,EAAE;YACV,QAAQ,EAAE,SAAS;YACnB,QAAQ,EAAE,oBAAoB;YAC9B,MAAM,EAAE,IAAI,CAAC,EAAE;YACf,OAAO,EACL,SAAS,IAAI,CAAC,EAAE,4BAA4B,CAAC,CAAC,GAAG,cAAc,CAAC,CAAC,IAAI,IAAI;gBACzE,kBAAkB,CAAC,CAAC,WAAW,sCAAsC;gBACrE,GAAG,CAAC,CAAC,IAAI,+DAA+D;gBACxE,wBAAwB,CAAC,CAAC,IAAI,eAAe;SAChD;KACF,CAAC;AACJ,CAAC,CAAC,CAAC"}

package/dist/core/regimes-builtins.d.ts

@@ -0,0 +1,22 @@
+/**
+ * Built-in regime registrations — Phase 2 of v0.8 Proposal 5.
+ *
+ * Pre-registers the v0.6-shipped closed-union values from
+ * `src/core/types.ts` under the corresponding `AxisName`. This
+ * gives downstream consumers a stable starting point: every
+ * value already in the catalog has an entry in the regime
+ * registry without per-bridge migration.
+ *
+ * Per P5 Decision #1, this does NOT close the new physics-regime
+ * taxonomy (e.g., no "classical-mechanics", "QFT" regimes
+ * shipped — those are v0.9 per-bridge physics review).
+ *
+ * Module-load side effect: registers every value below at import
+ * time. Idempotent — re-importing or double-importing is a
+ * no-op (see `defineRegime` idempotency in
+ * `regime-registry.ts`).
+ *
+ * @module core/regimes-builtins
+ */
+export {};
+//# sourceMappingURL=regimes-builtins.d.ts.map

package/dist/core/regimes-builtins.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"regimes-builtins.d.ts","sourceRoot":"","sources":["../../src/core/regimes-builtins.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG"}

package/dist/core/regimes-builtins.js

@@ -0,0 +1,96 @@
+/**
+ * Built-in regime registrations — Phase 2 of v0.8 Proposal 5.
+ *
+ * Pre-registers the v0.6-shipped closed-union values from
+ * `src/core/types.ts` under the corresponding `AxisName`. This
+ * gives downstream consumers a stable starting point: every
+ * value already in the catalog has an entry in the regime
+ * registry without per-bridge migration.
+ *
+ * Per P5 Decision #1, this does NOT close the new physics-regime
+ * taxonomy (e.g., no "classical-mechanics", "QFT" regimes
+ * shipped — those are v0.9 per-bridge physics review).
+ *
+ * Module-load side effect: registers every value below at import
+ * time. Idempotent — re-importing or double-importing is a
+ * no-op (see `defineRegime` idempotency in
+ * `regime-registry.ts`).
+ *
+ * @module core/regimes-builtins
+ */
+import { defineRegime } from './regime-registry.js';
+const BUILTIN_SOURCE = 'universal-physics-tensor';
+// ---------------------------------------------------------------------------
+// Scale axis — 4 entries
+// ---------------------------------------------------------------------------
+const scaleTags = [
+    { tag: 'quantum', displayName: 'Quantum (< 10^-9 m)' },
+    { tag: 'mesoscopic', displayName: 'Mesoscopic (10^-9 to 10^-6 m)' },
+    { tag: 'classical', displayName: 'Classical (10^-6 to 10^26 m)' },
+    { tag: 'cosmological', displayName: 'Cosmological (> 10^26 m)' },
+];
+for (const { tag, displayName } of scaleTags) {
+    defineRegime({
+        axis: 'scale',
+        tag,
+        displayName,
+        provenance: { registeredBy: BUILTIN_SOURCE },
+    });
+}
+// ---------------------------------------------------------------------------
+// Force axis — 5 entries
+// ---------------------------------------------------------------------------
+const forceTags = [
+    { tag: 'gravitational', displayName: 'Gravitational' },
+    { tag: 'electromagnetic', displayName: 'Electromagnetic' },
+    { tag: 'weak', displayName: 'Weak nuclear' },
+    { tag: 'strong', displayName: 'Strong nuclear' },
+    { tag: 'emergent', displayName: 'Emergent (friction, tension, etc.)' },
+];
+for (const { tag, displayName } of forceTags) {
+    defineRegime({
+        axis: 'force',
+        tag,
+        displayName,
+        provenance: { registeredBy: BUILTIN_SOURCE },
+    });
+}
+// ---------------------------------------------------------------------------
+// Symmetry axis — 5 entries (Eve-M1: NOT 4 + placeholder)
+// ---------------------------------------------------------------------------
+const symmetryTags = [
+    { tag: 'poincare', displayName: 'Poincaré (spacetime)' },
+    { tag: 'gauge', displayName: 'Gauge (U(1), SU(2), SU(3))' },
+    { tag: 'conformal', displayName: 'Conformal (scale invariance)' },
+    { tag: 'susy', displayName: 'Supersymmetry' },
+    { tag: 'emergent', displayName: 'Emergent (effective symmetries)' },
+];
+for (const { tag, displayName } of symmetryTags) {
+    defineRegime({
+        axis: 'symmetry',
+        tag,
+        displayName,
+        provenance: { registeredBy: BUILTIN_SOURCE },
+    });
+}
+// ---------------------------------------------------------------------------
+// Information axis — 4 entries
+// ---------------------------------------------------------------------------
+const informationTags = [
+    { tag: 'vonNeumann', displayName: 'von Neumann entropy' },
+    { tag: 'shannon', displayName: 'Shannon entropy' },
+    { tag: 'kolmogorov', displayName: 'Kolmogorov complexity' },
+    { tag: 'quantumDiscord', displayName: 'Quantum discord' },
+];
+for (const { tag, displayName } of informationTags) {
+    defineRegime({
+        axis: 'information',
+        tag,
+        displayName,
+        provenance: { registeredBy: BUILTIN_SOURCE },
+    });
+}
+// dimension and topology axes are integer-valued; no built-in
+// registrations ship (per P1 Phase 0 census + P5 Decision #4 —
+// integer axes are wildcards).
+//# sourceMappingURL=regimes-builtins.js.map

package/dist/core/regimes-builtins.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"regimes-builtins.js","sourceRoot":"","sources":["../../src/core/regimes-builtins.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAQpD,MAAM,cAAc,GAAG,0BAA0B,CAAC;AAElD,8EAA8E;AAC9E,yBAAyB;AACzB,8EAA8E;AAE9E,MAAM,SAAS,GAAuD;IACpE,EAAE,GAAG,EAAE,SAAS,EAAE,WAAW,EAAE,qBAAqB,EAAE;IACtD,EAAE,GAAG,EAAE,YAAY,EAAE,WAAW,EAAE,+BAA+B,EAAE;IACnE,EAAE,GAAG,EAAE,WAAW,EAAE,WAAW,EAAE,8BAA8B,EAAE;IACjE,EAAE,GAAG,EAAE,cAAc,EAAE,WAAW,EAAE,0BAA0B,EAAE;CACjE,CAAC;AAEF,KAAK,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,IAAI,SAAS,EAAE,CAAC;IAC7C,YAAY,CAAC;QACX,IAAI,EAAE,OAAO;QACb,GAAG;QACH,WAAW;QACX,UAAU,EAAE,EAAE,YAAY,EAAE,cAAc,EAAE;KAC7C,CAAC,CAAC;AACL,CAAC;AAED,8EAA8E;AAC9E,yBAAyB;AACzB,8EAA8E;AAE9E,MAAM,SAAS,GAA+C;IAC5D,EAAE,GAAG,EAAE,eAAe,EAAE,WAAW,EAAE,eAAe,EAAE;IACtD,EAAE,GAAG,EAAE,iBAAiB,EAAE,WAAW,EAAE,iBAAiB,EAAE;IAC1D,EAAE,GAAG,EAAE,MAAM,EAAE,WAAW,EAAE,cAAc,EAAE;IAC5C,EAAE,GAAG,EAAE,QAAQ,EAAE,WAAW,EAAE,gBAAgB,EAAE;IAChD,EAAE,GAAG,EAAE,UAAU,EAAE,WAAW,EAAE,oCAAoC,EAAE;CACvE,CAAC;AAEF,KAAK,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,IAAI,SAAS,EAAE,CAAC;IAC7C,YAAY,CAAC;QACX,IAAI,EAAE,OAAO;QACb,GAAG;QACH,WAAW;QACX,UAAU,EAAE,EAAE,YAAY,EAAE,cAAc,EAAE;KAC7C,CAAC,CAAC;AACL,CAAC;AAED,8EAA8E;AAC9E,0DAA0D;AAC1D,8EAA8E;AAE9E,MAAM,YAAY,GAAkD;IAClE,EAAE,GAAG,EAAE,UAAU,EAAE,WAAW,EAAE,sBAAsB,EAAE;IACxD,EAAE,GAAG,EAAE,OAAO,EAAE,WAAW,EAAE,4BAA4B,EAAE;IAC3D,EAAE,GAAG,EAAE,WAAW,EAAE,WAAW,EAAE,8BAA8B,EAAE;IACjE,EAAE,GAAG,EAAE,MAAM,EAAE,WAAW,EAAE,eAAe,EAAE;IAC7C,EAAE,GAAG,EAAE,UAAU,EAAE,WAAW,EAAE,iCAAiC,EAAE;CACpE,CAAC;AAEF,KAAK,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,IAAI,YAAY,EAAE,CAAC;IAChD,YAAY,CAAC;QACX,IAAI,EAAE,UAAU;QAChB,GAAG;QACH,WAAW;QACX,UAAU,EAAE,EAAE,YAAY,EAAE,cAAc,EAAE;KAC7C,CAAC,CAAC;AACL,CAAC;AAED,8EAA8E;AAC9E,+BAA+B;AAC/B,8EAA8E;AAE9E,MAAM,eAAe,GAA4D;IAC/E,EAAE,GAAG,EAAE,YAAY,EAAE,WAAW,EAAE,qBAAqB,EAAE;IACzD,EAAE,GAAG,EAAE,SAAS,EAAE,WAAW,EAAE,iBAAiB,EAAE;IAClD,EAAE,GAAG,EAAE,YAAY,EAAE,WAAW,EAAE,uBAAuB,EAAE;IAC3D,EAAE,GAAG,EAAE,gBAAgB,EAAE,WAAW,EAAE,iBAAiB,EAAE;CAC1D,CAAC;AAEF,KAAK,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,IAAI,eAAe,EAAE,CAAC;IACnD,YAAY,CAAC;QACX,IAAI,EAAE,aAAa;QACnB,GAAG;QACH,WAAW;QACX,UAAU,EAAE,EAAE,YAAY,EAAE,cAAc,EAAE;KAC7C,CAAC,CAAC;AACL,CAAC;AAED,8DAA8D;AAC9D,+DAA+D;AAC/D,+BAA+B"}

package/dist/core/tensor.d.ts

@@ -11,6 +11,8 @@
  * - E: Emergent phenomena (higher-order correlations)
  */
 import type { TensorConfig, TensorIndices, PhysicalLaw, BridgeEquation, EmergentPhenomenon } from './types.js';
+import type { Cell } from './cell.js';
+import type { FluxReport } from './flux-rules.js';
 export declare class UniversalTensor {
     private readonly config;
     private readonly knownLaws;
@@ -23,6 +25,17 @@ export declare class UniversalTensor {
      * may coexist in a single tensor cell without overwriting each other).
      */
     private readonly tensorData;
+    /**
+     * v0.7-p2 Phase 2 Task 2.3: Rule set used by `addCell` (ERROR-tier
+     * violations throw) and by `fluxDiagnostics()` (re-runs across all
+     * populated cells). Default = `V07_CELL_RULES` (Rule 2 + Rule 3
+     * from `flux-rules.ts`). Rule 1 (dimensional consistency) fires
+     * from the catalog adapter (Phase 3), not from `addCell`.
+     *
+     * Per Decision #9, this field is `@internal`. No public mutator
+     * is exposed in v0.7 (rule customization is a v0.8+ concern).
+     */
+    private readonly fluxRules;
     constructor(config: TensorConfig);
     /**
      * Add a known physical law to the tensor.
@@ -69,6 +82,105 @@ export declare class UniversalTensor {
      * Returns true if newly added, false if it replaced an existing phenomenon.
      */
     addEmergence(phenomenon: EmergentPhenomenon): boolean;
+    /**
+     * Add a typed `Cell` (LawCell, BridgeCell, or EmergenceCell) to the
+     * tensor. Dispatches by the cell's `kind` discriminator to the
+     * existing `addLaw` / `addBridge` / `addEmergence` paths via internal
+     * adapters that translate the string-vocabulary `confidence` to the
+     * legacy numeric range.
+     *
+     * Returns the same boolean the dispatched method returns: `true` if
+     * newly added, `false` if it replaced an existing entry with the same
+     * id.
+     *
+     * v0.7 Proposal 3 Phase 2 Task 2.1. Internal callers that want
+     * type-safe ingestion through the discriminated union use `addCell`;
+     * callers that want the old typed methods continue to use `addLaw` /
+     * `addBridge` / `addEmergence` directly.
+     *
+     * @public
+     */
+    addCell(cell: Cell): boolean;
+    /**
+     * Internal helper: roll back the legacy `addLaw`/`addBridge`/
+     * `addEmergence` storage for a cell that just failed a rule check.
+     * Used by `addCell` to maintain fail-atomic semantics on
+     * ERROR-tier rule violations.
+     *
+     * @internal
+     */
+    private rollbackCell;
+    /**
+     * Number of distinct (key, value) pairs in the underlying sparse
+     * storage. Counts UNIQUE coordinates that hold at least one entry.
+     *
+     * Note: a single multi-scale `LawCell` (e.g.
+     * `scales: ['quantum', 'classical']`, `forces: ['gravitational']`)
+     * fans out to 2 coordinates, so `populatedCount()` returns 2.
+     * Use `populatedCells()` for the deduped count of distinct `Cell`
+     * objects.
+     *
+     * @public
+     */
+    populatedCount(): number;
+    /**
+     * All cells currently in the tensor, deduplicated by `id`. Each
+     * underlying entry (law, bridge, emergence) is converted back to
+     * its `Cell` representation via the inverse adapters in `cell.ts`.
+     *
+     * Per Eve-R15 semantics: `populatedCells().length` is the count of
+     * distinct `Cell` objects (one per `id`). `populatedCount()` counts
+     * unique TENSOR COORDINATES (one per fan-out per Decision #6),
+     * which may be larger.
+     *
+     * @public
+     */
+    populatedCells(): ReadonlyArray<Cell>;
+    /**
+     * For each populated coordinate, enumerate the single-axis-flip
+     * neighbors that are NOT currently populated. Each "neighbor" is
+     * a `TensorIndices` value that differs from a populated coordinate
+     * in exactly one axis, where the differing axis value is drawn
+     * from the config-declared set for that axis (Decision #10).
+     *
+     * Integer axes (`dimension`, `topology`) are NOT enumerable from
+     * `TensorConfig` (no declared range exists) and are treated as
+     * wildcards — single-axis flips along those axes are NOT
+     * generated.
+     *
+     * Returns a deduplicated `ReadonlyArray<TensorIndices>` (no two
+     * elements serialize to the same key under `serializeIndices`).
+     *
+     * @public
+     */
+    unpopulatedNeighborhoods(): ReadonlyArray<TensorIndices>;
+    /**
+     * Run the registered flux rules across every populated cell and
+     * return an aggregated `FluxReport`. Re-runs on every call
+     * (no cached `pendingDiagnostics` field — Eve-R8 resolution).
+     *
+     * @public
+     */
+    fluxDiagnostics(): FluxReport;
+    /**
+     * Parse a key produced by `serializeIndices` back into a
+     * `TensorIndices` value. Returns null if the key includes a bridge
+     * separator (' -> '), since bridge keys are off-diagonal and don't
+     * correspond to a single `TensorIndices` coordinate.
+     *
+     * @internal
+     */
+    private deserializeKey;
+    /**
+     * Enumerate single-axis-flip neighbors of `coord`. For each
+     * enumerable axis (scale, force, symmetry, information), generate
+     * a neighbor with that axis replaced by every OTHER config-declared
+     * value. The integer axes (dimension, topology) are wildcards
+     * and not enumerated.
+     *
+     * @internal
+     */
+    private enumerateAxisFlips;
     /**
      * Return the IDs of laws and emergent phenomena stored at the diagonal cell
      * addressed by the given indices.

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

@@ -1 +1 @@
-{"version":3,"file":"tensor.d.ts","sourceRoot":"","sources":["../../src/core/tensor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EACV,YAAY,EACZ,aAAa,EACb,WAAW,EACX,cAAc,EACd,kBAAkB,EAGnB,MAAM,YAAY,CAAC;AAEpB,qBAAa,eAAe;IAC1B,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAyB;IAChD,OAAO,CAAC,QAAQ,CAAC,SAAS,CAA2B;IACrD,OAAO,CAAC,QAAQ,CAAC,eAAe,CAA8B;IAC9D,OAAO,CAAC,QAAQ,CAAC,iBAAiB,CAAkC;IAEpE;;;;;OAKG;IACH,OAAO,CAAC,QAAQ,CAAC,UAAU,CAA2B;gBAE1C,MAAM,EAAE,YAAY;IAiChC;;;;OAIG;IACI,MAAM,CAAC,GAAG,EAAE,WAAW,GAAG,OAAO;IAqCxC;;;;OAIG;IACI,SAAS,CAAC,MAAM,EAAE,cAAc,GAAG,OAAO;IA2BjD;;OAEG;IACH,OAAO,CAAC,UAAU;IAMlB;;;OAGG;IACH,OAAO,CAAC,sBAAsB;IAe9B;;;;OAIG;IACH,OAAO,CAAC,0BAA0B;IAclC;;OAEG;IACH,OAAO,CAAC,aAAa;IAIrB;;;OAGG;IACH,OAAO,CAAC,SAAS;IASjB;;OAEG;IACH,OAAO,CAAC,cAAc;IAOtB;;;OAGG;IACI,YAAY,CAAC,UAAU,EAAE,kBAAkB,GAAG,OAAO;IA+B5D;;;;OAIG;IACI,eAAe,CAAC,OAAO,EAAE,aAAa,GAAG,MAAM,EAAE;IAMxD;;;OAGG;IACI,qBAAqB,CAAC,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,aAAa,GAAG,MAAM,EAAE;IAMpF;;OAEG;IACI,SAAS,CAAC,OAAO,EAAE,aAAa,GAAG,WAAW,EAAE;IAYvD;;OAEG;IACI,WAAW,CAAC,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,aAAa,GAAG,cAAc,EAAE;IAelF;;OAEG;IACI,OAAO,IAAI,WAAW,EAAE;IAI/B;;OAEG;IACI,UAAU,IAAI,cAAc,EAAE;IAIrC;;OAEG;IACI,YAAY,IAAI,kBAAkB,EAAE;IAI3C;;OAEG;IACI,QAAQ;;;;;;;;QAaX,oFAAoF;;;IAKxF;;;;OAIG;IACH,OAAO,CAAC,gBAAgB;IAaxB;;;;;OAKG;IACH,OAAO,CAAC,eAAe;IAkCvB;;OAEG;IACH,OAAO,CAAC,YAAY;CA2BrB"}
+{"version":3,"file":"tensor.d.ts","sourceRoot":"","sources":["../../src/core/tensor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EACV,YAAY,EACZ,aAAa,EACb,WAAW,EACX,cAAc,EACd,kBAAkB,EAGnB,MAAM,YAAY,CAAC;AACpB,OAAO,KAAK,EACV,IAAI,EAKL,MAAM,WAAW,CAAC;AAEnB,OAAO,KAAK,EAAY,UAAU,EAAkB,MAAM,iBAAiB,CAAC;AA0F5E,qBAAa,eAAe;IAC1B,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAyB;IAChD,OAAO,CAAC,QAAQ,CAAC,SAAS,CAA2B;IACrD,OAAO,CAAC,QAAQ,CAAC,eAAe,CAA8B;IAC9D,OAAO,CAAC,QAAQ,CAAC,iBAAiB,CAAkC;IAEpE;;;;;OAKG;IACH,OAAO,CAAC,QAAQ,CAAC,UAAU,CAA2B;IAEtD;;;;;;;;;OASG;IACH,OAAO,CAAC,QAAQ,CAAC,SAAS,CAA0B;gBAExC,MAAM,EAAE,YAAY;IAkChC;;;;OAIG;IACI,MAAM,CAAC,GAAG,EAAE,WAAW,GAAG,OAAO;IAqCxC;;;;OAIG;IACI,SAAS,CAAC,MAAM,EAAE,cAAc,GAAG,OAAO;IA2BjD;;OAEG;IACH,OAAO,CAAC,UAAU;IAMlB;;;OAGG;IACH,OAAO,CAAC,sBAAsB;IAe9B;;;;OAIG;IACH,OAAO,CAAC,0BAA0B;IAclC;;OAEG;IACH,OAAO,CAAC,aAAa;IAIrB;;;OAGG;IACH,OAAO,CAAC,SAAS;IASjB;;OAEG;IACH,OAAO,CAAC,cAAc;IAOtB;;;OAGG;IACI,YAAY,CAAC,UAAU,EAAE,kBAAkB,GAAG,OAAO;IA+B5D;;;;;;;;;;;;;;;;;OAiBG;IACI,OAAO,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO;IAyCnC;;;;;;;OAOG;IACH,OAAO,CAAC,YAAY;IAyCpB;;;;;;;;;;;OAWG;IACI,cAAc,IAAI,MAAM;IAI/B;;;;;;;;;;;OAWG;IACI,cAAc,IAAI,aAAa,CAAC,IAAI,CAAC;IAQ5C;;;;;;;;;;;;;;;;OAgBG;IACI,wBAAwB,IAAI,aAAa,CAAC,aAAa,CAAC;IAgB/D;;;;;;OAMG;IACI,eAAe,IAAI,UAAU;IAoBpC;;;;;;;OAOG;IACH,OAAO,CAAC,cAAc;IAqBtB;;;;;;;;OAQG;IACH,OAAO,CAAE,kBAAkB;IAoB3B;;;;OAIG;IACI,eAAe,CAAC,OAAO,EAAE,aAAa,GAAG,MAAM,EAAE;IAMxD;;;OAGG;IACI,qBAAqB,CAAC,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,aAAa,GAAG,MAAM,EAAE;IAMpF;;OAEG;IACI,SAAS,CAAC,OAAO,EAAE,aAAa,GAAG,WAAW,EAAE;IAYvD;;OAEG;IACI,WAAW,CAAC,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,aAAa,GAAG,cAAc,EAAE;IAelF;;OAEG;IACI,OAAO,IAAI,WAAW,EAAE;IAI/B;;OAEG;IACI,UAAU,IAAI,cAAc,EAAE;IAIrC;;OAEG;IACI,YAAY,IAAI,kBAAkB,EAAE;IAI3C;;OAEG;IACI,QAAQ;;;;;;;;QAaX,oFAAoF;;;IAKxF;;;;OAIG;IACH,OAAO,CAAC,gBAAgB;IAaxB;;;;;OAKG;IACH,OAAO,CAAC,eAAe;IAkCvB;;OAEG;IACH,OAAO,CAAC,YAAY;CA2BrB"}