universal-physics-tensor 0.5.1 → 0.7.0

package/dist/dimensional/field-equation-helpers.d.ts

@@ -0,0 +1,82 @@
+/**
+ * Shared validation helpers for field-equation predicate AST nodes
+ * (`EinsteinFieldEquationNode`, and future `MaxwellEquationNode`,
+ * `KleinGordonEquationNode`, etc.).
+ *
+ * Per `docs/architecture/v0.7-tensor-equation-node-design-note.md`
+ * Phase 0 — extract the 3 invariant checks from
+ * `validateEinsteinFieldEquation` so future field equations get
+ * them for free, instead of copy-pasting the predicate bodies.
+ * Investment-upfront pattern: same shape as v0.6.1's
+ * validator-registry refactor.
+ *
+ * Three helpers, all behavior-preserving extractions:
+ *
+ *   - `validateFreeIndexLabelMatch` — checks lhs and rhs carry
+ *     the same free-index labels in the same order. Generic over
+ *     rank (works for rank-1 Maxwell `∇_μ F^{μν}`, rank-2 EFE,
+ *     etc.).
+ *
+ *   - `validateComponentDimension` — checks a tensor's
+ *     `componentDim` matches an expected `Dimension`. Generic
+ *     over which tensor and what equation context.
+ *
+ *   - `validateTensorSymmetry` — checks a tensor's `symmetry`
+ *     field equals an expected value. Generic over tensor +
+ *     equation context.
+ *
+ * @module dimensional/field-equation-helpers
+ */
+import type { Dimension } from './types.js';
+/**
+ * Assert that the LHS and RHS of a field-equation predicate carry
+ * the same free-index labels in the same order.
+ *
+ * Throws `Error` with `"index label"` in the message (matches the
+ * existing `validateEinsteinFieldEquation` error prose, so any
+ * test pattern-matching that string stays green).
+ *
+ * @param equationKind - Discriminator for the error message
+ *   (e.g., `'EinsteinFieldEquationNode'`, `'MaxwellEquationNode'`).
+ * @param lhsName - Human label for the LHS in the error (e.g., `'G_μν'`).
+ * @param lhsLabels - Free-index labels from the LHS, in axis order.
+ * @param rhsName - Human label for the RHS (e.g., `'T_μν'`).
+ * @param rhsLabels - Free-index labels from the RHS, in axis order.
+ *
+ * @internal
+ */
+export declare function validateFreeIndexLabelMatch(equationKind: string, lhsName: string, lhsLabels: ReadonlyArray<string>, rhsName: string, rhsLabels: ReadonlyArray<string>): void;
+/**
+ * Assert that an `actual: Dimension` equals an `expected: Dimension`
+ * across all seven base SI axes (L, M, T, I, Theta, N, J).
+ *
+ * Throws `Error` with `"dimension"` in the message (matches the
+ * existing error prose convention).
+ *
+ * @param equationKind - Discriminator (e.g., `'EinsteinFieldEquationNode'`).
+ * @param tensorName - Human label for the tensor being checked
+ *   (e.g., `'T_μν componentDim'`).
+ * @param actual - The actual `Dimension` from the AST node.
+ * @param expected - The expected `Dimension`.
+ * @param explanation - Optional trailing message explaining why
+ *   this dimension is required (e.g., `"so that (8πG/c⁴)·T_μν ~ [L⁻²]"`).
+ *
+ * @internal
+ */
+export declare function validateComponentDimension(equationKind: string, tensorName: string, actual: Dimension, expected: Dimension, explanation?: string): void;
+/**
+ * Assert that a tensor's `symmetry` field equals `expected`.
+ *
+ * Throws `Error` with `"symmetry"` in the message.
+ *
+ * @param equationKind - Discriminator (e.g., `'EinsteinFieldEquationNode'`).
+ * @param tensorName - Human label (e.g., `'T_μν'`).
+ * @param actual - The tensor's actual `symmetry` value.
+ * @param expected - The required `symmetry` value (e.g., `'symmetric'`).
+ * @param explanation - Optional trailing message (e.g., `"Both sides of
+ *   the EFE are symmetric in (μ,ν)"`).
+ *
+ * @internal
+ */
+export declare function validateTensorSymmetry(equationKind: string, tensorName: string, actual: string, expected: string, explanation?: string): void;
+//# sourceMappingURL=field-equation-helpers.d.ts.map

package/dist/dimensional/field-equation-helpers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"field-equation-helpers.d.ts","sourceRoot":"","sources":["../../src/dimensional/field-equation-helpers.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAM5C;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,2BAA2B,CACzC,YAAY,EAAE,MAAM,EACpB,OAAO,EAAE,MAAM,EACf,SAAS,EAAE,aAAa,CAAC,MAAM,CAAC,EAChC,OAAO,EAAE,MAAM,EACf,SAAS,EAAE,aAAa,CAAC,MAAM,CAAC,GAC/B,IAAI,CAmBN;AAMD;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,0BAA0B,CACxC,YAAY,EAAE,MAAM,EACpB,UAAU,EAAE,MAAM,EAClB,MAAM,EAAE,SAAS,EACjB,QAAQ,EAAE,SAAS,EACnB,WAAW,CAAC,EAAE,MAAM,GACnB,IAAI,CAgBN;AAMD;;;;;;;;;;;;;GAaG;AACH,wBAAgB,sBAAsB,CACpC,YAAY,EAAE,MAAM,EACpB,UAAU,EAAE,MAAM,EAClB,MAAM,EAAE,MAAM,EACd,QAAQ,EAAE,MAAM,EAChB,WAAW,CAAC,EAAE,MAAM,GACnB,IAAI,CAQN"}

package/dist/dimensional/field-equation-helpers.js

@@ -0,0 +1,123 @@
+/**
+ * Shared validation helpers for field-equation predicate AST nodes
+ * (`EinsteinFieldEquationNode`, and future `MaxwellEquationNode`,
+ * `KleinGordonEquationNode`, etc.).
+ *
+ * Per `docs/architecture/v0.7-tensor-equation-node-design-note.md`
+ * Phase 0 — extract the 3 invariant checks from
+ * `validateEinsteinFieldEquation` so future field equations get
+ * them for free, instead of copy-pasting the predicate bodies.
+ * Investment-upfront pattern: same shape as v0.6.1's
+ * validator-registry refactor.
+ *
+ * Three helpers, all behavior-preserving extractions:
+ *
+ *   - `validateFreeIndexLabelMatch` — checks lhs and rhs carry
+ *     the same free-index labels in the same order. Generic over
+ *     rank (works for rank-1 Maxwell `∇_μ F^{μν}`, rank-2 EFE,
+ *     etc.).
+ *
+ *   - `validateComponentDimension` — checks a tensor's
+ *     `componentDim` matches an expected `Dimension`. Generic
+ *     over which tensor and what equation context.
+ *
+ *   - `validateTensorSymmetry` — checks a tensor's `symmetry`
+ *     field equals an expected value. Generic over tensor +
+ *     equation context.
+ *
+ * @module dimensional/field-equation-helpers
+ */
+// ---------------------------------------------------------------------------
+// Helper 1 — Free-index label agreement
+// ---------------------------------------------------------------------------
+/**
+ * Assert that the LHS and RHS of a field-equation predicate carry
+ * the same free-index labels in the same order.
+ *
+ * Throws `Error` with `"index label"` in the message (matches the
+ * existing `validateEinsteinFieldEquation` error prose, so any
+ * test pattern-matching that string stays green).
+ *
+ * @param equationKind - Discriminator for the error message
+ *   (e.g., `'EinsteinFieldEquationNode'`, `'MaxwellEquationNode'`).
+ * @param lhsName - Human label for the LHS in the error (e.g., `'G_μν'`).
+ * @param lhsLabels - Free-index labels from the LHS, in axis order.
+ * @param rhsName - Human label for the RHS (e.g., `'T_μν'`).
+ * @param rhsLabels - Free-index labels from the RHS, in axis order.
+ *
+ * @internal
+ */
+export function validateFreeIndexLabelMatch(equationKind, lhsName, lhsLabels, rhsName, rhsLabels) {
+    if (lhsLabels.length !== rhsLabels.length) {
+        throw new Error(`${equationKind}: index label rank mismatch — LHS ${lhsName} has ` +
+            `${lhsLabels.length} free indices (${lhsLabels.join(', ')}) but RHS ` +
+            `${rhsName} has ${rhsLabels.length} (${rhsLabels.join(', ')}). ` +
+            `Both sides must carry the same rank.`);
+    }
+    for (let i = 0; i < lhsLabels.length; i++) {
+        if (lhsLabels[i] !== rhsLabels[i]) {
+            throw new Error(`${equationKind}: index label mismatch — LHS ${lhsName} has free ` +
+                `indices (${lhsLabels.join(', ')}) but RHS ${rhsName} has ` +
+                `(${rhsLabels.join(', ')}). Both sides must carry the same lower ` +
+                `index labels in the same axis order.`);
+        }
+    }
+}
+// ---------------------------------------------------------------------------
+// Helper 2 — Per-component dimensional equality
+// ---------------------------------------------------------------------------
+/**
+ * Assert that an `actual: Dimension` equals an `expected: Dimension`
+ * across all seven base SI axes (L, M, T, I, Theta, N, J).
+ *
+ * Throws `Error` with `"dimension"` in the message (matches the
+ * existing error prose convention).
+ *
+ * @param equationKind - Discriminator (e.g., `'EinsteinFieldEquationNode'`).
+ * @param tensorName - Human label for the tensor being checked
+ *   (e.g., `'T_μν componentDim'`).
+ * @param actual - The actual `Dimension` from the AST node.
+ * @param expected - The expected `Dimension`.
+ * @param explanation - Optional trailing message explaining why
+ *   this dimension is required (e.g., `"so that (8πG/c⁴)·T_μν ~ [L⁻²]"`).
+ *
+ * @internal
+ */
+export function validateComponentDimension(equationKind, tensorName, actual, expected, explanation) {
+    if (actual.L !== expected.L ||
+        actual.M !== expected.M ||
+        actual.T !== expected.T ||
+        actual.I !== expected.I ||
+        actual.Theta !== expected.Theta ||
+        actual.N !== expected.N ||
+        actual.J !== expected.J) {
+        const tail = explanation ? ` ${explanation}` : '';
+        throw new Error(`${equationKind}: dimension mismatch — ${tensorName} must be ` +
+            `${JSON.stringify(expected)} but got ${JSON.stringify(actual)}.${tail}`);
+    }
+}
+// ---------------------------------------------------------------------------
+// Helper 3 — Tensor symmetry agreement
+// ---------------------------------------------------------------------------
+/**
+ * Assert that a tensor's `symmetry` field equals `expected`.
+ *
+ * Throws `Error` with `"symmetry"` in the message.
+ *
+ * @param equationKind - Discriminator (e.g., `'EinsteinFieldEquationNode'`).
+ * @param tensorName - Human label (e.g., `'T_μν'`).
+ * @param actual - The tensor's actual `symmetry` value.
+ * @param expected - The required `symmetry` value (e.g., `'symmetric'`).
+ * @param explanation - Optional trailing message (e.g., `"Both sides of
+ *   the EFE are symmetric in (μ,ν)"`).
+ *
+ * @internal
+ */
+export function validateTensorSymmetry(equationKind, tensorName, actual, expected, explanation) {
+    if (actual !== expected) {
+        const tail = explanation ? ` ${explanation}` : '';
+        throw new Error(`${equationKind}: symmetry mismatch — ${tensorName} must have ` +
+            `symmetry: '${expected}' (got '${actual}').${tail}`);
+    }
+}
+//# sourceMappingURL=field-equation-helpers.js.map

package/dist/dimensional/field-equation-helpers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"field-equation-helpers.js","sourceRoot":"","sources":["../../src/dimensional/field-equation-helpers.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAIH,8EAA8E;AAC9E,wCAAwC;AACxC,8EAA8E;AAE9E;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,2BAA2B,CACzC,YAAoB,EACpB,OAAe,EACf,SAAgC,EAChC,OAAe,EACf,SAAgC;IAEhC,IAAI,SAAS,CAAC,MAAM,KAAK,SAAS,CAAC,MAAM,EAAE,CAAC;QAC1C,MAAM,IAAI,KAAK,CACb,GAAG,YAAY,qCAAqC,OAAO,OAAO;YAClE,GAAG,SAAS,CAAC,MAAM,kBAAkB,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY;YACrE,GAAG,OAAO,QAAQ,SAAS,CAAC,MAAM,KAAK,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK;YAChE,sCAAsC,CACvC,CAAC;IACJ,CAAC;IACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC1C,IAAI,SAAS,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;YAClC,MAAM,IAAI,KAAK,CACb,GAAG,YAAY,gCAAgC,OAAO,YAAY;gBAClE,YAAY,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,OAAO,OAAO;gBAC3D,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,0CAA0C;gBAClE,sCAAsC,CACvC,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,8EAA8E;AAC9E,gDAAgD;AAChD,8EAA8E;AAE9E;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,0BAA0B,CACxC,YAAoB,EACpB,UAAkB,EAClB,MAAiB,EACjB,QAAmB,EACnB,WAAoB;IAEpB,IACE,MAAM,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC;QACvB,MAAM,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC;QACvB,MAAM,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC;QACvB,MAAM,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC;QACvB,MAAM,CAAC,KAAK,KAAK,QAAQ,CAAC,KAAK;QAC/B,MAAM,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC;QACvB,MAAM,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,EACvB,CAAC;QACD,MAAM,IAAI,GAAG,WAAW,CAAC,CAAC,CAAC,IAAI,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,KAAK,CACb,GAAG,YAAY,0BAA0B,UAAU,WAAW;YAC9D,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,YAAY,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,CACxE,CAAC;IACJ,CAAC;AACH,CAAC;AAED,8EAA8E;AAC9E,uCAAuC;AACvC,8EAA8E;AAE9E;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,sBAAsB,CACpC,YAAoB,EACpB,UAAkB,EAClB,MAAc,EACd,QAAgB,EAChB,WAAoB;IAEpB,IAAI,MAAM,KAAK,QAAQ,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,WAAW,CAAC,CAAC,CAAC,IAAI,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,KAAK,CACb,GAAG,YAAY,yBAAyB,UAAU,aAAa;YAC/D,cAAc,QAAQ,WAAW,MAAM,MAAM,IAAI,EAAE,CACpD,CAAC;IACJ,CAAC;AACH,CAAC"}

package/dist/dimensional/friedmann-equation.d.ts

@@ -0,0 +1,148 @@
+/**
+ * Friedmann equation AST node — modified-cosmology predicate.
+ *
+ * Per `docs/architecture/v0.7-be-x-reencoding-design-note.md`
+ * §"BE-19 — `FriedmannEquationNode` for modified-Friedmann
+ * predicates". Fourth of four BE-X structural re-encodings in the
+ * v0.7-series follow-up to the v0.6.0 deferred-bridges list.
+ *
+ * Represents the predicate
+ *
+ *     H² = (8πG/3) · ρ · [correction]
+ *
+ * where H is the Hubble parameter, ρ the cosmic energy/mass-density,
+ * and `[correction]` is a variant-tagged extension term. The classical
+ * FRW form takes `correction = null`; modified-cosmology variants
+ * (LQC bounce, Randall-Sundrum brane, DGP, dRGT massive gravity)
+ * tag their correction with a `variant` discriminator so consumers
+ * can pattern-match on which cosmological regime the equation
+ * occupies.
+ *
+ * Discriminator vocabulary:
+ *
+ *   - `'classical'` — canonical FRW `H² = (8πG/3) ρ` (the [-k/a²]
+ *     and [Λ/3] terms ride along as additive scalars, not the
+ *     `correction` slot). `correction` MUST be `null`.
+ *   - `'lqc'` — Loop Quantum Cosmology bounce `(1 − ρ/ρ_crit)`. The
+ *     correction is a DIMENSIONLESS multiplicative factor.
+ *   - `'brane'` — Randall-Sundrum brane-tension `(1 + ρ/(2σ))`. Also
+ *     dimensionless multiplicative.
+ *   - `'dgp'` — Dvali-Gabadadze-Porrati 5D-crossover `±H/r_c`. The
+ *     `correction` slot holds a stub for the additional scale; this
+ *     variant signals "5D structure present" — fine-grained dim
+ *     discipline left for future BE-NN landing.
+ *   - `'massive'` — dRGT massive-gravity graviton-mass term. The
+ *     `correction` slot holds the graviton-mass^2 contribution; dim
+ *     discipline left for future BE-NN landing.
+ *
+ * The variant discriminator is the load-bearing structural fact:
+ * future modified-cosmology bridges (brane, DGP, dRGT) land as new
+ * `BridgeEquation` entries that produce `FriedmannEquationNode`s
+ * with the appropriate variant tag, instead of each inventing a
+ * separate AST primitive.
+ *
+ * References:
+ *   - Mukhanov, *Physical Foundations of Cosmology* (2005), §2.1
+ *     for the canonical FRW Friedmann equation derivation.
+ *   - Ashtekar & Singh, *Loop Quantum Cosmology: A Status Report*
+ *     (2011), arXiv:1108.0893 — for the LQC `(1 − ρ/ρ_crit)` bounce
+ *     factor; the canonical reference for the `'lqc'` variant
+ *     consumed by BE-19.
+ *
+ * Status: PREDICATE node like `EinsteinFieldEquationNode` and
+ * `KleinGordonEquationNode` — not a value-producing expression.
+ * Numerical evaluation of a specific FRW history is out of scope
+ * (numerical evaluators live alongside per-bridge encodings — e.g.
+ * `evaluateQuantumBounce` in `src/bridges/equations/be-19-quantum-bounce.ts`).
+ *
+ * @module dimensional/friedmann-equation
+ */
+import type { Dimension } from './types.js';
+import type { ScalarFieldNode } from './klein-gordon-equation.js';
+/**
+ * Tag for the cosmological regime a `FriedmannEquationNode`
+ * represents. Each variant identifies a structural pattern of
+ * deviation from canonical FRW; consumers pattern-match on this
+ * discriminator to select regime-specific downstream logic.
+ *
+ * See the module docstring for the per-variant semantics.
+ *
+ * @public
+ */
+export type FriedmannVariant = 'classical' | 'lqc' | 'brane' | 'dgp' | 'massive';
+/**
+ * AST node for the modified Friedmann equation
+ *
+ *     H² = (8πG/3) · ρ · [variant-specific correction]
+ *
+ * Fields:
+ *   - `hubble`      — H or H² as a `ScalarFieldNode`. Accepted dims
+ *                     are `[T^-1]` (H) or `[T^-2]` (H²); the validator
+ *                     does NOT square the field for you, it only
+ *                     checks the stated dim is one of the two.
+ *   - `density`     — ρ as a `ScalarFieldNode`, dim `[M·L^-3]`
+ *                     (mass-density convention, aligning with BE-19's
+ *                     existing `QUANTUM_BOUNCE_RHS` encoding).
+ *   - `correction`  — the variant-specific extension. `null` IFF
+ *                     `variant === 'classical'`. For `'lqc'`, the
+ *                     correction's dim is constrained to be
+ *                     dimensionless (the `(1 − ρ/ρ_crit)` factor).
+ *                     Other non-classical variants accept any dim
+ *                     (refinement deferred to per-bridge landing).
+ *   - `variant`     — the regime discriminator. See `FriedmannVariant`.
+ *   - `coupling`    — tag `'friedmann'` representing the symbolic
+ *                     `(8πG/3)` prefactor (no inline numeric).
+ *
+ * @public
+ */
+export interface FriedmannEquationNode {
+    readonly kind: 'friedmann-equation';
+    readonly hubble: ScalarFieldNode;
+    readonly density: ScalarFieldNode;
+    readonly correction: ScalarFieldNode | null;
+    readonly variant: FriedmannVariant;
+    readonly coupling: 'friedmann';
+}
+/**
+ * Result of validating a `FriedmannEquationNode`. Mirrors
+ * `KleinGordonEquationValidationResult` shape.
+ *
+ * @public
+ */
+export interface FriedmannEquationValidationResult {
+    /** Per-component dim of the equation — `[T^-2]` (H² shape). */
+    readonly dim: Dimension;
+    /** Empty free-indices map (rank-0 equation). */
+    readonly freeIndices: Map<string, {
+        upper: number;
+        lower: number;
+    }>;
+    /** Echo of the variant tag for downstream pattern-matching. */
+    readonly variant: FriedmannVariant;
+}
+/**
+ * Validate a `friedmann-equation` node.
+ *
+ * Predicates (mirroring the field-equation-helpers pattern):
+ *
+ *   1. **Variant discriminator** — `variant` must be one of the
+ *      known tags. Throws with `"variant"` keyword on unknown values.
+ *   2. **Classical–correction consistency** — `variant === 'classical'`
+ *      requires `correction === null`; any other variant requires
+ *      `correction !== null`. Throws with `"variant"` keyword.
+ *   3. **Free-index agreement** — trivially passes (rank-0 equation).
+ *   4. **Per-component dim equality** — `hubble.dim` must be `[T^-2]`
+ *      (H²) or `[T^-1]` (H); `density.dim` must be `[M·L^-3]`. For
+ *      `variant === 'lqc'`, `correction.dim` must be dimensionless
+ *      (the `(1 − ρ/ρ_crit)` bounce factor).
+ *   5. **Symmetry agreement** — all participants carry the trivial
+ *      `'scalar'` marker.
+ *
+ * Errors carry the keywords `"dimension"` / `"symmetry"` (from the
+ * field-equation-helpers) and `"variant"` (for discriminator /
+ * classical-consistency violations).
+ *
+ * @public
+ */
+export declare function validateFriedmannEquation(node: FriedmannEquationNode): FriedmannEquationValidationResult;
+//# sourceMappingURL=friedmann-equation.d.ts.map

package/dist/dimensional/friedmann-equation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"friedmann-equation.d.ts","sourceRoot":"","sources":["../../src/dimensional/friedmann-equation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0DG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAYlE;;;;;;;;;GASG;AACH,MAAM,MAAM,gBAAgB,GACxB,WAAW,GACX,KAAK,GACL,OAAO,GACP,KAAK,GACL,SAAS,CAAC;AAcd;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,IAAI,EAAE,oBAAoB,CAAC;IACpC,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC;IACjC,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC;IAClC,QAAQ,CAAC,UAAU,EAAE,eAAe,GAAG,IAAI,CAAC;IAC5C,QAAQ,CAAC,OAAO,EAAE,gBAAgB,CAAC;IACnC,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC;CAChC;AAED;;;;;GAKG;AACH,MAAM,WAAW,iCAAiC;IAChD,+DAA+D;IAC/D,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IACxB,gDAAgD;IAChD,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACpE,+DAA+D;IAC/D,QAAQ,CAAC,OAAO,EAAE,gBAAgB,CAAC;CACpC;AAsBD;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,wBAAgB,yBAAyB,CACvC,IAAI,EAAE,qBAAqB,GAC1B,iCAAiC,CA6FnC"}

package/dist/dimensional/friedmann-equation.js

@@ -0,0 +1,150 @@
+/**
+ * Friedmann equation AST node — modified-cosmology predicate.
+ *
+ * Per `docs/architecture/v0.7-be-x-reencoding-design-note.md`
+ * §"BE-19 — `FriedmannEquationNode` for modified-Friedmann
+ * predicates". Fourth of four BE-X structural re-encodings in the
+ * v0.7-series follow-up to the v0.6.0 deferred-bridges list.
+ *
+ * Represents the predicate
+ *
+ *     H² = (8πG/3) · ρ · [correction]
+ *
+ * where H is the Hubble parameter, ρ the cosmic energy/mass-density,
+ * and `[correction]` is a variant-tagged extension term. The classical
+ * FRW form takes `correction = null`; modified-cosmology variants
+ * (LQC bounce, Randall-Sundrum brane, DGP, dRGT massive gravity)
+ * tag their correction with a `variant` discriminator so consumers
+ * can pattern-match on which cosmological regime the equation
+ * occupies.
+ *
+ * Discriminator vocabulary:
+ *
+ *   - `'classical'` — canonical FRW `H² = (8πG/3) ρ` (the [-k/a²]
+ *     and [Λ/3] terms ride along as additive scalars, not the
+ *     `correction` slot). `correction` MUST be `null`.
+ *   - `'lqc'` — Loop Quantum Cosmology bounce `(1 − ρ/ρ_crit)`. The
+ *     correction is a DIMENSIONLESS multiplicative factor.
+ *   - `'brane'` — Randall-Sundrum brane-tension `(1 + ρ/(2σ))`. Also
+ *     dimensionless multiplicative.
+ *   - `'dgp'` — Dvali-Gabadadze-Porrati 5D-crossover `±H/r_c`. The
+ *     `correction` slot holds a stub for the additional scale; this
+ *     variant signals "5D structure present" — fine-grained dim
+ *     discipline left for future BE-NN landing.
+ *   - `'massive'` — dRGT massive-gravity graviton-mass term. The
+ *     `correction` slot holds the graviton-mass^2 contribution; dim
+ *     discipline left for future BE-NN landing.
+ *
+ * The variant discriminator is the load-bearing structural fact:
+ * future modified-cosmology bridges (brane, DGP, dRGT) land as new
+ * `BridgeEquation` entries that produce `FriedmannEquationNode`s
+ * with the appropriate variant tag, instead of each inventing a
+ * separate AST primitive.
+ *
+ * References:
+ *   - Mukhanov, *Physical Foundations of Cosmology* (2005), §2.1
+ *     for the canonical FRW Friedmann equation derivation.
+ *   - Ashtekar & Singh, *Loop Quantum Cosmology: A Status Report*
+ *     (2011), arXiv:1108.0893 — for the LQC `(1 − ρ/ρ_crit)` bounce
+ *     factor; the canonical reference for the `'lqc'` variant
+ *     consumed by BE-19.
+ *
+ * Status: PREDICATE node like `EinsteinFieldEquationNode` and
+ * `KleinGordonEquationNode` — not a value-producing expression.
+ * Numerical evaluation of a specific FRW history is out of scope
+ * (numerical evaluators live alongside per-bridge encodings — e.g.
+ * `evaluateQuantumBounce` in `src/bridges/equations/be-19-quantum-bounce.ts`).
+ *
+ * @module dimensional/friedmann-equation
+ */
+import { equals } from './algebra.js';
+import { validateFreeIndexLabelMatch, validateComponentDimension, validateTensorSymmetry, } from './field-equation-helpers.js';
+const KNOWN_VARIANTS = new Set([
+    'classical',
+    'lqc',
+    'brane',
+    'dgp',
+    'massive',
+]);
+// ---------------------------------------------------------------------------
+// Expected dims
+// ---------------------------------------------------------------------------
+/** `[T^-2]`: dim of H² and of (8πG/3)·ρ in the canonical Friedmann form. */
+const T_INV2 = { L: 0, M: 0, T: -2, I: 0, Theta: 0, N: 0, J: 0 };
+/** `[T^-1]`: dim of the un-squared Hubble parameter H. */
+const T_INV1 = { L: 0, M: 0, T: -1, I: 0, Theta: 0, N: 0, J: 0 };
+/** `[M·L^-3]`: dim of mass-density ρ (canonical Friedmann convention). */
+const MASS_DENSITY = { L: -3, M: 1, T: 0, I: 0, Theta: 0, N: 0, J: 0 };
+/** `[]`: dimensionless (the LQC `(1 − ρ/ρ_crit)` correction factor). */
+const DIMLESS = { L: 0, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 };
+// ---------------------------------------------------------------------------
+// Validator
+// ---------------------------------------------------------------------------
+/**
+ * Validate a `friedmann-equation` node.
+ *
+ * Predicates (mirroring the field-equation-helpers pattern):
+ *
+ *   1. **Variant discriminator** — `variant` must be one of the
+ *      known tags. Throws with `"variant"` keyword on unknown values.
+ *   2. **Classical–correction consistency** — `variant === 'classical'`
+ *      requires `correction === null`; any other variant requires
+ *      `correction !== null`. Throws with `"variant"` keyword.
+ *   3. **Free-index agreement** — trivially passes (rank-0 equation).
+ *   4. **Per-component dim equality** — `hubble.dim` must be `[T^-2]`
+ *      (H²) or `[T^-1]` (H); `density.dim` must be `[M·L^-3]`. For
+ *      `variant === 'lqc'`, `correction.dim` must be dimensionless
+ *      (the `(1 − ρ/ρ_crit)` bounce factor).
+ *   5. **Symmetry agreement** — all participants carry the trivial
+ *      `'scalar'` marker.
+ *
+ * Errors carry the keywords `"dimension"` / `"symmetry"` (from the
+ * field-equation-helpers) and `"variant"` (for discriminator /
+ * classical-consistency violations).
+ *
+ * @public
+ */
+export function validateFriedmannEquation(node) {
+    // Predicate 1: variant discriminator membership.
+    if (!KNOWN_VARIANTS.has(node.variant)) {
+        throw new Error(`FriedmannEquationNode: unknown variant '${node.variant}' — ` +
+            `must be one of 'classical' | 'lqc' | 'brane' | 'dgp' | 'massive'.`);
+    }
+    // Predicate 2: classical/correction consistency.
+    if (node.variant === 'classical' && node.correction !== null) {
+        throw new Error(`FriedmannEquationNode: variant 'classical' must carry ` +
+            `correction === null (the canonical FRW form has no ` +
+            `variant-specific correction term).`);
+    }
+    if (node.variant !== 'classical' && node.correction === null) {
+        throw new Error(`FriedmannEquationNode: variant '${node.variant}' requires a ` +
+            `non-null correction term (only the 'classical' variant accepts ` +
+            `correction === null).`);
+    }
+    // Predicate 3: free-index agreement (trivially: both rank-0).
+    validateFreeIndexLabelMatch('FriedmannEquationNode', 'H²', [], '(8πG/3)·ρ·correction', []);
+    // Predicate 4a: hubble dim must be [T^-2] or [T^-1].
+    if (!equals(node.hubble.dim, T_INV2) && !equals(node.hubble.dim, T_INV1)) {
+        throw new Error(`FriedmannEquationNode: dimension mismatch — hubble.dim must be ` +
+            `${JSON.stringify(T_INV2)} (H²) or ${JSON.stringify(T_INV1)} (H), ` +
+            `got ${JSON.stringify(node.hubble.dim)}.`);
+    }
+    // Predicate 4b: density dim must be [M·L^-3] (mass-density convention).
+    validateComponentDimension('FriedmannEquationNode', 'density ρ.dim', node.density.dim, MASS_DENSITY, 'ρ is the cosmic mass-density; Friedmann uses [M·L^-3] (so (8πG/3)·ρ ~ [T^-2]).');
+    // Predicate 4c: LQC correction must be dimensionless.
+    if (node.variant === 'lqc' && node.correction !== null) {
+        validateComponentDimension('FriedmannEquationNode', "lqc correction.dim", node.correction.dim, DIMLESS, 'LQC bounce factor (1 − ρ/ρ_crit) is dimensionless.');
+    }
+    // Predicate 5: symmetry agreement — all 'scalar'.
+    validateTensorSymmetry('FriedmannEquationNode', 'hubble', node.hubble.symmetry, 'scalar', 'Friedmann is a cosmological scalar equation.');
+    validateTensorSymmetry('FriedmannEquationNode', 'density', node.density.symmetry, 'scalar', 'ρ is a cosmological scalar.');
+    if (node.correction !== null) {
+        validateTensorSymmetry('FriedmannEquationNode', 'correction', node.correction.symmetry, 'scalar', 'Friedmann correction terms are encoded as scalar factors.');
+    }
+    return {
+        dim: T_INV2,
+        freeIndices: new Map(),
+        variant: node.variant,
+    };
+}
+//# sourceMappingURL=friedmann-equation.js.map

package/dist/dimensional/friedmann-equation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"friedmann-equation.js","sourceRoot":"","sources":["../../src/dimensional/friedmann-equation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0DG;AAIH,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AACtC,OAAO,EACL,2BAA2B,EAC3B,0BAA0B,EAC1B,sBAAsB,GACvB,MAAM,6BAA6B,CAAC;AAuBrC,MAAM,cAAc,GAAkC,IAAI,GAAG,CAAC;IAC5D,WAAW;IACX,KAAK;IACL,OAAO;IACP,KAAK;IACL,SAAS;CACV,CAAC,CAAC;AAuDH,8EAA8E;AAC9E,gBAAgB;AAChB,8EAA8E;AAE9E,4EAA4E;AAC5E,MAAM,MAAM,GAAc,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AAE5E,0DAA0D;AAC1D,MAAM,MAAM,GAAc,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AAE5E,0EAA0E;AAC1E,MAAM,YAAY,GAAc,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AAElF,wEAAwE;AACxE,MAAM,OAAO,GAAc,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AAE5E,8EAA8E;AAC9E,YAAY;AACZ,8EAA8E;AAE9E;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,MAAM,UAAU,yBAAyB,CACvC,IAA2B;IAE3B,iDAAiD;IACjD,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,KAAK,CACb,2CAA2C,IAAI,CAAC,OAAO,MAAM;YAC7D,mEAAmE,CACpE,CAAC;IACJ,CAAC;IAED,iDAAiD;IACjD,IAAI,IAAI,CAAC,OAAO,KAAK,WAAW,IAAI,IAAI,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;QAC7D,MAAM,IAAI,KAAK,CACb,wDAAwD;YACxD,qDAAqD;YACrD,oCAAoC,CACrC,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,OAAO,KAAK,WAAW,IAAI,IAAI,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;QAC7D,MAAM,IAAI,KAAK,CACb,mCAAmC,IAAI,CAAC,OAAO,eAAe;YAC9D,iEAAiE;YACjE,uBAAuB,CACxB,CAAC;IACJ,CAAC;IAED,8DAA8D;IAC9D,2BAA2B,CACzB,uBAAuB,EACvB,IAAI,EACJ,EAAE,EACF,sBAAsB,EACtB,EAAE,CACH,CAAC;IAEF,qDAAqD;IACrD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,CAAC;QACzE,MAAM,IAAI,KAAK,CACb,iEAAiE;YACjE,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,YAAY,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ;YACnE,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAC1C,CAAC;IACJ,CAAC;IAED,wEAAwE;IACxE,0BAA0B,CACxB,uBAAuB,EACvB,eAAe,EACf,IAAI,CAAC,OAAO,CAAC,GAAG,EAChB,YAAY,EACZ,gFAAgF,CACjF,CAAC;IAEF,sDAAsD;IACtD,IAAI,IAAI,CAAC,OAAO,KAAK,KAAK,IAAI,IAAI,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;QACvD,0BAA0B,CACxB,uBAAuB,EACvB,oBAAoB,EACpB,IAAI,CAAC,UAAU,CAAC,GAAG,EACnB,OAAO,EACP,oDAAoD,CACrD,CAAC;IACJ,CAAC;IAED,kDAAkD;IAClD,sBAAsB,CACpB,uBAAuB,EACvB,QAAQ,EACR,IAAI,CAAC,MAAM,CAAC,QAAQ,EACpB,QAAQ,EACR,8CAA8C,CAC/C,CAAC;IACF,sBAAsB,CACpB,uBAAuB,EACvB,SAAS,EACT,IAAI,CAAC,OAAO,CAAC,QAAQ,EACrB,QAAQ,EACR,6BAA6B,CAC9B,CAAC;IACF,IAAI,IAAI,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;QAC7B,sBAAsB,CACpB,uBAAuB,EACvB,YAAY,EACZ,IAAI,CAAC,UAAU,CAAC,QAAQ,EACxB,QAAQ,EACR,2DAA2D,CAC5D,CAAC;IACJ,CAAC;IAED,OAAO;QACL,GAAG,EAAE,MAAM;QACX,WAAW,EAAE,IAAI,GAAG,EAAE;QACtB,OAAO,EAAE,IAAI,CAAC,OAAO;KACtB,CAAC;AACJ,CAAC"}