universal-physics-tensor 0.5.0 → 0.7.0

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"}

package/dist/dimensional/gauge-field.d.ts

@@ -0,0 +1,182 @@
+/**
+ * Gauge-field AST primitives for Wheeler-Feynman absorber-theory
+ * time-symmetric electrodynamics.
+ *
+ * Wheeler-Feynman absorber theory (Wheeler & Feynman 1945
+ * Rev. Mod. Phys. 17:157; Wheeler & Feynman 1949
+ * Rev. Mod. Phys. 21:425) uses TIME-SYMMETRIC electrodynamics:
+ * radiation reaction arises from the half-retarded +
+ * half-advanced potential combination
+ *
+ *   A_μ(x) = (1/2) [A_μ^ret(x) + A_μ^adv(x)].
+ *
+ * Under the absorber boundary condition (every emitted disturbance
+ * is fully absorbed by future matter), this symmetric form is
+ * physically equivalent to retarded-only Maxwell.
+ *
+ * Two primitives are provided:
+ *
+ *   1. `GaugeFieldNode` — tags an EM gauge field with its
+ *      "arrow of time": retarded (Liénard-Wiechert advanced
+ *      Green's function), advanced (retarded Green's function
+ *      — past-directed), or symmetric (half-half combination).
+ *      The consumer supplies the dimension (SI: V·s/m =
+ *      { L:1, M:1, T:-2, I:-1 }) or works with the ratio which
+ *      is dimensionless.
+ *
+ *   2. `TimeSymmetryPredicateNode` — asserts that the
+ *      dimensionless time-symmetry residual
+ *      |A_ret − A_adv| / |A_ret + A_adv| is bounded by ε.
+ *      Identically 0 under the absorber boundary condition.
+ *      This is a PREDICATE node (like `EinsteinFieldEquationNode`)
+ *      — not a value-producing expression.
+ *
+ * Phase 1 demonstrator pattern: follows
+ * `src/dimensional/klein-gordon-equation.ts` (field-equation-helpers
+ * pattern, Phase 1 of TensorEquationNode generalization).
+ *
+ * @see docs/architecture/v0.7-be-x-reencoding-design-note.md §BE-50
+ * @see src/bridges/equations/be-50-wheeler-feynman.ts
+ * @module dimensional/gauge-field
+ */
+import type { Dimension } from './types.js';
+/**
+ * Arrow-of-time tag for an electromagnetic gauge potential.
+ *
+ * - `'retarded'`  — propagator uses the retarded Green's function
+ *   (∝ Liénard-Wiechert advanced solution); causal, future-directed.
+ * - `'advanced'`  — propagator uses the advanced Green's function
+ *   (∝ Liénard-Wiechert retarded solution); anti-causal, past-directed.
+ * - `'symmetric'` — half-retarded + half-advanced combination
+ *   (Wheeler-Feynman's A_μ = (1/2)[A_μ^ret + A_μ^adv]).
+ *
+ * @public
+ */
+export type ArrowOfTime = 'retarded' | 'advanced' | 'symmetric';
+/**
+ * AST node for an electromagnetic gauge potential A_μ with an explicit
+ * arrow-of-time tag.
+ *
+ * The `dim` field carries the SI dimension of the gauge field. For the
+ * Wheeler-Feynman time-symmetry ratio, the dimension of the numerator
+ * and denominator cancel, yielding a dimensionless result — but the
+ * `dim` field is required so the validator can confirm that both the
+ * retarded and advanced fields in a `TimeSymmetryPredicateNode` share
+ * the same dimension (the ratio is well-defined only if they do).
+ *
+ * Canonical SI dim of the magnetic vector potential A_μ:
+ *   [A] = V·s/m = kg·m/(A·s²) = { L: 1, M: 1, T: -2, I: -1 }
+ *
+ * @public
+ */
+export interface GaugeFieldNode {
+    /** Discriminator: `'gauge-field'`. */
+    readonly kind: 'gauge-field';
+    /** Human-readable field name (e.g., `'A_ret'`, `'A_adv'`, `'A_mu'`). */
+    readonly name: string;
+    /**
+     * Arrow-of-time tag. Documents whether this field was computed using
+     * the retarded Green's function, the advanced Green's function, or
+     * the symmetric half-half combination.
+     */
+    readonly arrowOfTime: ArrowOfTime;
+    /**
+     * SI dimension of the gauge field. Both retarded and advanced fields
+     * must share the same dimension for the time-symmetry ratio to be
+     * well-defined (dimensionless by cancellation).
+     */
+    readonly dim: Dimension;
+}
+/**
+ * AST predicate node for the Wheeler-Feynman time-symmetry condition.
+ *
+ * Asserts that the dimensionless time-symmetry residual
+ *
+ *   |A_ret − A_adv| / |A_ret + A_adv| ≤ ε
+ *
+ * is bounded by `epsilon`. Under the absorber boundary condition
+ * (Wheeler & Feynman 1945), this residual is identically 0 on
+ * physical states. A non-zero `epsilon` documents the allowable
+ * deviation (e.g., a Cramer 1986 experimental bound of 10⁻²).
+ *
+ * This is a PREDICATE node (like `EinsteinFieldEquationNode`) —
+ * not a value-producing expression. Numerical evaluation of the
+ * residual for specific field amplitudes is handled separately by
+ * `evaluateWFTimeSymmetry` in `src/bridges/equations/be-50-wheeler-feynman.ts`.
+ *
+ * @public
+ */
+export interface TimeSymmetryPredicateNode {
+    /** Discriminator: `'time-symmetry-predicate'`. */
+    readonly kind: 'time-symmetry-predicate';
+    /**
+     * The retarded gauge potential A_μ^ret.
+     * Must have `arrowOfTime: 'retarded'`.
+     */
+    readonly retarded: GaugeFieldNode;
+    /**
+     * The advanced gauge potential A_μ^adv.
+     * Must have `arrowOfTime: 'advanced'`.
+     */
+    readonly advanced: GaugeFieldNode;
+    /**
+     * Bound on the time-symmetry residual: |A_ret − A_adv| / |A_ret + A_adv| ≤ epsilon.
+     * Must be strictly positive and finite.
+     * Set to a small value (e.g., 1e-3) to encode an experimental bound,
+     * or to `Number.EPSILON` to assert near-exact absorber-theory symmetry.
+     */
+    readonly epsilon: number;
+}
+/**
+ * Validate a `GaugeFieldNode`.
+ *
+ * Three predicates:
+ *   1. `name` must be a non-empty string.
+ *   2. `arrowOfTime` must be one of `'retarded'`, `'advanced'`, `'symmetric'`.
+ *   3. `dim` must be a valid `Dimension` object (all 7 SI exponents present
+ *      as finite numbers).
+ *
+ * Throws `Error` with `'gauge-field'` in the message on any failure.
+ *
+ * @public
+ */
+export declare function validateGaugeField(node: GaugeFieldNode): void;
+/**
+ * Result of validating a `TimeSymmetryPredicateNode`.
+ *
+ * @public
+ */
+export interface TimeSymmetryPredicateValidationResult {
+    /**
+     * The shared dimension of the retarded and advanced gauge fields.
+     * The ratio |A_ret − A_adv| / |A_ret + A_adv| is dimensionless
+     * because this dimension cancels.
+     */
+    readonly fieldDim: Dimension;
+    /** The validated epsilon bound (> 0, finite). */
+    readonly epsilon: number;
+}
+/**
+ * Validate a `TimeSymmetryPredicateNode`.
+ *
+ * Four predicates (following the field-equation-helpers pattern):
+ *
+ *   1. **Arrow-of-time tags** — `retarded.arrowOfTime` must be
+ *      `'retarded'`; `advanced.arrowOfTime` must be `'advanced'`.
+ *   2. **Per-field validity** — both `GaugeFieldNode`s pass
+ *      `validateGaugeField`.
+ *   3. **Dimension equality** — `retarded.dim` and `advanced.dim`
+ *      must match (so the ratio is dimensionless by cancellation).
+ *      Uses `validateComponentDimension` from field-equation-helpers.
+ *   4. **Epsilon bound** — `epsilon` must be strictly positive and
+ *      finite (`epsilon > 0` and `Number.isFinite(epsilon)`).
+ *
+ * Error messages contain `'symmetry'` for arrow-of-time mismatches
+ * and `'dimension'` for dim-equality failures (error-keyword
+ * discipline shared with EinsteinFieldEquationNode and
+ * KleinGordonEquationNode).
+ *
+ * @public
+ */
+export declare function validateTimeSymmetryPredicate(node: TimeSymmetryPredicateNode): TimeSymmetryPredicateValidationResult;
+//# sourceMappingURL=gauge-field.d.ts.map

package/dist/dimensional/gauge-field.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"gauge-field.d.ts","sourceRoot":"","sources":["../../src/dimensional/gauge-field.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwCG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAO5C;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,WAAW,GAAG,UAAU,GAAG,UAAU,GAAG,WAAW,CAAC;AAEhE;;;;;;;;;;;;;;;GAeG;AACH,MAAM,WAAW,cAAc;IAC7B,sCAAsC;IACtC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,wEAAwE;IACxE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB;;;;OAIG;IACH,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;IAClC;;;;OAIG;IACH,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;CACzB;AAMD;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,WAAW,yBAAyB;IACxC,kDAAkD;IAClD,QAAQ,CAAC,IAAI,EAAE,yBAAyB,CAAC;IACzC;;;OAGG;IACH,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAClC;;;OAGG;IACH,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAClC;;;;;OAKG;IACH,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAMD;;;;;;;;;;;;GAYG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,cAAc,GAAG,IAAI,CA0B7D;AAED;;;;GAIG;AACH,MAAM,WAAW,qCAAqC;IACpD;;;;OAIG;IACH,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC;IAC7B,iDAAiD;IACjD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAgB,6BAA6B,CAC3C,IAAI,EAAE,yBAAyB,GAC9B,qCAAqC,CAkDvC"}

package/dist/dimensional/gauge-field.js

@@ -0,0 +1,134 @@
+/**
+ * Gauge-field AST primitives for Wheeler-Feynman absorber-theory
+ * time-symmetric electrodynamics.
+ *
+ * Wheeler-Feynman absorber theory (Wheeler & Feynman 1945
+ * Rev. Mod. Phys. 17:157; Wheeler & Feynman 1949
+ * Rev. Mod. Phys. 21:425) uses TIME-SYMMETRIC electrodynamics:
+ * radiation reaction arises from the half-retarded +
+ * half-advanced potential combination
+ *
+ *   A_μ(x) = (1/2) [A_μ^ret(x) + A_μ^adv(x)].
+ *
+ * Under the absorber boundary condition (every emitted disturbance
+ * is fully absorbed by future matter), this symmetric form is
+ * physically equivalent to retarded-only Maxwell.
+ *
+ * Two primitives are provided:
+ *
+ *   1. `GaugeFieldNode` — tags an EM gauge field with its
+ *      "arrow of time": retarded (Liénard-Wiechert advanced
+ *      Green's function), advanced (retarded Green's function
+ *      — past-directed), or symmetric (half-half combination).
+ *      The consumer supplies the dimension (SI: V·s/m =
+ *      { L:1, M:1, T:-2, I:-1 }) or works with the ratio which
+ *      is dimensionless.
+ *
+ *   2. `TimeSymmetryPredicateNode` — asserts that the
+ *      dimensionless time-symmetry residual
+ *      |A_ret − A_adv| / |A_ret + A_adv| is bounded by ε.
+ *      Identically 0 under the absorber boundary condition.
+ *      This is a PREDICATE node (like `EinsteinFieldEquationNode`)
+ *      — not a value-producing expression.
+ *
+ * Phase 1 demonstrator pattern: follows
+ * `src/dimensional/klein-gordon-equation.ts` (field-equation-helpers
+ * pattern, Phase 1 of TensorEquationNode generalization).
+ *
+ * @see docs/architecture/v0.7-be-x-reencoding-design-note.md §BE-50
+ * @see src/bridges/equations/be-50-wheeler-feynman.ts
+ * @module dimensional/gauge-field
+ */
+import { validateComponentDimension } from './field-equation-helpers.js';
+// ---------------------------------------------------------------------------
+// Validators
+// ---------------------------------------------------------------------------
+/**
+ * Validate a `GaugeFieldNode`.
+ *
+ * Three predicates:
+ *   1. `name` must be a non-empty string.
+ *   2. `arrowOfTime` must be one of `'retarded'`, `'advanced'`, `'symmetric'`.
+ *   3. `dim` must be a valid `Dimension` object (all 7 SI exponents present
+ *      as finite numbers).
+ *
+ * Throws `Error` with `'gauge-field'` in the message on any failure.
+ *
+ * @public
+ */
+export function validateGaugeField(node) {
+    if (typeof node.name !== 'string' || node.name.trim().length === 0) {
+        throw new Error(`GaugeFieldNode: gauge-field name must be a non-empty string ` +
+            `(got ${JSON.stringify(node.name)}).`);
+    }
+    const validArrows = ['retarded', 'advanced', 'symmetric'];
+    if (!validArrows.includes(node.arrowOfTime)) {
+        throw new Error(`GaugeFieldNode: gauge-field arrowOfTime must be 'retarded', 'advanced', ` +
+            `or 'symmetric' (got ${JSON.stringify(node.arrowOfTime)}).`);
+    }
+    const dim = node.dim;
+    const axes = ['L', 'M', 'T', 'I', 'Theta', 'N', 'J'];
+    for (const ax of axes) {
+        if (typeof dim[ax] !== 'number' || !Number.isFinite(dim[ax])) {
+            throw new Error(`GaugeFieldNode: gauge-field dim.${ax} must be a finite number ` +
+                `(got ${JSON.stringify(dim[ax])} for field '${node.name}').`);
+        }
+    }
+}
+/**
+ * Validate a `TimeSymmetryPredicateNode`.
+ *
+ * Four predicates (following the field-equation-helpers pattern):
+ *
+ *   1. **Arrow-of-time tags** — `retarded.arrowOfTime` must be
+ *      `'retarded'`; `advanced.arrowOfTime` must be `'advanced'`.
+ *   2. **Per-field validity** — both `GaugeFieldNode`s pass
+ *      `validateGaugeField`.
+ *   3. **Dimension equality** — `retarded.dim` and `advanced.dim`
+ *      must match (so the ratio is dimensionless by cancellation).
+ *      Uses `validateComponentDimension` from field-equation-helpers.
+ *   4. **Epsilon bound** — `epsilon` must be strictly positive and
+ *      finite (`epsilon > 0` and `Number.isFinite(epsilon)`).
+ *
+ * Error messages contain `'symmetry'` for arrow-of-time mismatches
+ * and `'dimension'` for dim-equality failures (error-keyword
+ * discipline shared with EinsteinFieldEquationNode and
+ * KleinGordonEquationNode).
+ *
+ * @public
+ */
+export function validateTimeSymmetryPredicate(node) {
+    // Predicate 1a: retarded field's arrow-of-time must be 'retarded'.
+    if (node.retarded.arrowOfTime !== 'retarded') {
+        throw new Error(`TimeSymmetryPredicateNode: symmetry mismatch — retarded field ` +
+            `'${node.retarded.name}' must have arrowOfTime: 'retarded' ` +
+            `(got '${node.retarded.arrowOfTime}'). The time-symmetry predicate ` +
+            `requires A_ret to carry the retarded arrow-of-time tag.`);
+    }
+    // Predicate 1b: advanced field's arrow-of-time must be 'advanced'.
+    if (node.advanced.arrowOfTime !== 'advanced') {
+        throw new Error(`TimeSymmetryPredicateNode: symmetry mismatch — advanced field ` +
+            `'${node.advanced.name}' must have arrowOfTime: 'advanced' ` +
+            `(got '${node.advanced.arrowOfTime}'). The time-symmetry predicate ` +
+            `requires A_adv to carry the advanced arrow-of-time tag.`);
+    }
+    // Predicate 2: both GaugeFieldNodes pass individual validation.
+    validateGaugeField(node.retarded);
+    validateGaugeField(node.advanced);
+    // Predicate 3: retarded.dim and advanced.dim must match.
+    // Uses validateComponentDimension from field-equation-helpers — same
+    // helper used by KleinGordonEquationNode and EinsteinFieldEquationNode.
+    validateComponentDimension('TimeSymmetryPredicateNode', `advanced field '${node.advanced.name}' dim`, node.advanced.dim, node.retarded.dim, `A_ret and A_adv must share the same dimension so that the ratio ` +
+        `|A_ret − A_adv| / |A_ret + A_adv| is dimensionless by cancellation.`);
+    // Predicate 4: epsilon must be strictly positive and finite.
+    if (!Number.isFinite(node.epsilon) || node.epsilon <= 0) {
+        throw new Error(`TimeSymmetryPredicateNode: epsilon must be a strictly positive finite ` +
+            `number (got ${node.epsilon}). epsilon bounds the time-symmetry residual ` +
+            `|A_ret − A_adv| / |A_ret + A_adv| ≤ epsilon.`);
+    }
+    return {
+        fieldDim: node.retarded.dim,
+        epsilon: node.epsilon,
+    };
+}
+//# sourceMappingURL=gauge-field.js.map

package/dist/dimensional/gauge-field.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"gauge-field.js","sourceRoot":"","sources":["../../src/dimensional/gauge-field.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwCG;AAGH,OAAO,EAAE,0BAA0B,EAAE,MAAM,6BAA6B,CAAC;AAoGzE,8EAA8E;AAC9E,aAAa;AACb,8EAA8E;AAE9E;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAAoB;IACrD,IAAI,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnE,MAAM,IAAI,KAAK,CACb,8DAA8D;YAC9D,QAAQ,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CACtC,CAAC;IACJ,CAAC;IAED,MAAM,WAAW,GAA+B,CAAC,UAAU,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC;IACtF,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;QAC5C,MAAM,IAAI,KAAK,CACb,0EAA0E;YAC1E,uBAAuB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAC5D,CAAC;IACJ,CAAC;IAED,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;IACrB,MAAM,IAAI,GAAmC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACrF,KAAK,MAAM,EAAE,IAAI,IAAI,EAAE,CAAC;QACtB,IAAI,OAAO,GAAG,CAAC,EAAE,CAAC,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YAC7D,MAAM,IAAI,KAAK,CACb,mCAAmC,EAAE,2BAA2B;gBAChE,QAAQ,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,eAAe,IAAI,CAAC,IAAI,KAAK,CAC7D,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAkBD;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,UAAU,6BAA6B,CAC3C,IAA+B;IAE/B,mEAAmE;IACnE,IAAI,IAAI,CAAC,QAAQ,CAAC,WAAW,KAAK,UAAU,EAAE,CAAC;QAC7C,MAAM,IAAI,KAAK,CACb,gEAAgE;YAChE,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,sCAAsC;YAC5D,SAAS,IAAI,CAAC,QAAQ,CAAC,WAAW,kCAAkC;YACpE,yDAAyD,CAC1D,CAAC;IACJ,CAAC;IAED,mEAAmE;IACnE,IAAI,IAAI,CAAC,QAAQ,CAAC,WAAW,KAAK,UAAU,EAAE,CAAC;QAC7C,MAAM,IAAI,KAAK,CACb,gEAAgE;YAChE,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,sCAAsC;YAC5D,SAAS,IAAI,CAAC,QAAQ,CAAC,WAAW,kCAAkC;YACpE,yDAAyD,CAC1D,CAAC;IACJ,CAAC;IAED,gEAAgE;IAChE,kBAAkB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAClC,kBAAkB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAElC,yDAAyD;IACzD,qEAAqE;IACrE,wEAAwE;IACxE,0BAA0B,CACxB,2BAA2B,EAC3B,mBAAmB,IAAI,CAAC,QAAQ,CAAC,IAAI,OAAO,EAC5C,IAAI,CAAC,QAAQ,CAAC,GAAG,EACjB,IAAI,CAAC,QAAQ,CAAC,GAAG,EACjB,kEAAkE;QAClE,qEAAqE,CACtE,CAAC;IAEF,6DAA6D;IAC7D,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,OAAO,IAAI,CAAC,EAAE,CAAC;QACxD,MAAM,IAAI,KAAK,CACb,wEAAwE;YACxE,eAAe,IAAI,CAAC,OAAO,+CAA+C;YAC1E,8CAA8C,CAC/C,CAAC;IACJ,CAAC;IAED,OAAO;QACL,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG;QAC3B,OAAO,EAAE,IAAI,CAAC,OAAO;KACtB,CAAC;AACJ,CAAC"}

package/dist/dimensional/killing-validators.d.ts

@@ -0,0 +1,94 @@
+/**
+ * Killing-vector machinery (v0.6.0 Phase 1, Tasks 1.1–1.2).
+ *
+ * A Killing vector ξ^μ generates an isometry of the metric. The defining
+ * equation is the Killing equation
+ *
+ *     ∇_μ ξ_ν + ∇_ν ξ_μ = 0
+ *
+ * (Carroll Eq. 3.174). Validation here is symbolic (rank + variance only);
+ * the operator-valued check happens at lowering time in
+ * `src/numerical/killing.ts::verifyKillingEquation`.
+ *
+ * @module dimensional/killing-validators
+ */
+import type { Dimension } from './types.js';
+import type { TensorSymbolNode } from './tensor.js';
+import type { MetricTensorNode } from './metric-validators.js';
+/**
+ * AST node for a Killing vector ξ^μ. Rank-1 upper-variance tensor with
+ * an attached metric reference (the metric whose isometry ξ generates).
+ *
+ * Component-dim is free (typically `[L·T⁻¹]` for spatial Killing fields,
+ * dimensionless for time-translation if c=1 normalization, or `[L]` for
+ * dimensionally-pure spatial isometries).
+ *
+ * @public
+ */
+export interface KillingVectorNode {
+    readonly kind: 'killing-vector';
+    readonly vector: TensorSymbolNode;
+    readonly metric: MetricTensorNode;
+}
+interface KillingVectorValidationResult {
+    readonly dim: Dimension;
+    readonly freeIndices: Map<string, {
+        upper: number;
+        lower: number;
+    }>;
+}
+/**
+ * Validate a `killing-vector` node.
+ *
+ * Throws:
+ *   - Error if vector is not rank-1 (Killing fields are rank-1 by definition).
+ *   - Error if vector variance is not 'upper' (canonical Killing form is upper;
+ *     lower form is obtained by metric-lowering at lowering-time).
+ */
+export declare function validateKillingVector(node: KillingVectorNode): KillingVectorValidationResult;
+/**
+ * AST node for the conserved charge Q = ξ^μ p_μ along a geodesic
+ * (Carroll Eq. 3.175).
+ *
+ * **Sign convention**: the node encodes the raw contraction `ξ^μ p_μ`.
+ * In (-,+,+,+) signature with the timelike Killing vector ξ^μ_t = (1,0,0,0),
+ * `p_t < 0` for forward-time motion of massive particles, so the "physical
+ * energy" of common usage is `E = -Q` (Carroll Eq. 8.30). The PC-1.5
+ * diagnostic uses magnitude `|ΔQ / Q|` to be sign-agnostic.
+ *
+ * @public
+ */
+export interface ConservedChargeNode {
+    readonly kind: 'conserved-charge';
+    /** The Killing vector ξ^μ (rank-1, upper variance). */
+    readonly killing: KillingVectorNode;
+    /**
+     * The covariant momentum p_μ (rank-1, lower variance). Must have the same
+     * index label as `killing.vector` so that the contraction ξ^μ p_μ is
+     * well-formed.
+     */
+    readonly momentum: TensorSymbolNode;
+}
+interface ConservedChargeValidationResult {
+    readonly dim: Dimension;
+    readonly freeIndices: Map<string, {
+        upper: number;
+        lower: number;
+    }>;
+}
+/**
+ * Validate a `conserved-charge` node.
+ *
+ * Throws:
+ *   - Error if momentum is not rank-1.
+ *   - Error if the Killing-vector index label does not match the momentum
+ *     index label (they must contract on the same label).
+ *   - Error if momentum variance is not 'lower' (Q = ξ^μ p_μ requires the
+ *     upper Killing field to contract with the lower momentum).
+ *
+ * Returns a scalar result (empty freeIndices) with dimension
+ * `dim(ξ) × dim(p)` via the `multiply` algebra helper.
+ */
+export declare function validateConservedCharge(node: ConservedChargeNode): ConservedChargeValidationResult;
+export {};
+//# sourceMappingURL=killing-validators.d.ts.map

package/dist/dimensional/killing-validators.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"killing-validators.d.ts","sourceRoot":"","sources":["../../src/dimensional/killing-validators.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AACpD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAG/D;;;;;;;;;GASG;AACH,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAChC,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAC;IAClC,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAC;CACnC;AAGD,UAAU,6BAA6B;IACrC,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IACxB,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CACrE;AAED;;;;;;;GAOG;AACH,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,iBAAiB,GACtB,6BAA6B,CAe/B;AAMD;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC;IAClC,uDAAuD;IACvD,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAC;IACpC;;;;OAIG;IACH,QAAQ,CAAC,QAAQ,EAAE,gBAAgB,CAAC;CACrC;AAGD,UAAU,+BAA+B;IACvC,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IACxB,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CACrE;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,uBAAuB,CACrC,IAAI,EAAE,mBAAmB,GACxB,+BAA+B,CAsBjC"}

package/dist/dimensional/killing-validators.js

@@ -0,0 +1,66 @@
+/**
+ * Killing-vector machinery (v0.6.0 Phase 1, Tasks 1.1–1.2).
+ *
+ * A Killing vector ξ^μ generates an isometry of the metric. The defining
+ * equation is the Killing equation
+ *
+ *     ∇_μ ξ_ν + ∇_ν ξ_μ = 0
+ *
+ * (Carroll Eq. 3.174). Validation here is symbolic (rank + variance only);
+ * the operator-valued check happens at lowering time in
+ * `src/numerical/killing.ts::verifyKillingEquation`.
+ *
+ * @module dimensional/killing-validators
+ */
+import { multiply } from './algebra.js';
+/**
+ * Validate a `killing-vector` node.
+ *
+ * Throws:
+ *   - Error if vector is not rank-1 (Killing fields are rank-1 by definition).
+ *   - Error if vector variance is not 'upper' (canonical Killing form is upper;
+ *     lower form is obtained by metric-lowering at lowering-time).
+ */
+export function validateKillingVector(node) {
+    if (node.vector.indices.length !== 1) {
+        throw new Error(`KillingVectorNode: expected rank-1 vector, got rank-${node.vector.indices.length}`);
+    }
+    const idx = node.vector.indices[0];
+    if (idx.variance !== 'upper') {
+        throw new Error(`KillingVectorNode: expected upper variance, got '${idx.variance}'`);
+    }
+    const freeIndices = new Map();
+    freeIndices.set(idx.label, { upper: 1, lower: 0 });
+    return { dim: node.vector.dim, freeIndices };
+}
+/**
+ * Validate a `conserved-charge` node.
+ *
+ * Throws:
+ *   - Error if momentum is not rank-1.
+ *   - Error if the Killing-vector index label does not match the momentum
+ *     index label (they must contract on the same label).
+ *   - Error if momentum variance is not 'lower' (Q = ξ^μ p_μ requires the
+ *     upper Killing field to contract with the lower momentum).
+ *
+ * Returns a scalar result (empty freeIndices) with dimension
+ * `dim(ξ) × dim(p)` via the `multiply` algebra helper.
+ */
+export function validateConservedCharge(node) {
+    if (node.momentum.indices.length !== 1) {
+        throw new Error(`ConservedChargeNode: expected rank-1 momentum, got rank-${node.momentum.indices.length}`);
+    }
+    const xiLabel = node.killing.vector.indices[0].label;
+    const pLabel = node.momentum.indices[0].label;
+    if (xiLabel !== pLabel) {
+        throw new Error(`ConservedChargeNode: index label mismatch — Killing '${xiLabel}' vs momentum '${pLabel}'`);
+    }
+    if (node.momentum.indices[0].variance !== 'lower') {
+        throw new Error(`ConservedChargeNode: momentum must have lower variance to contract with upper Killing field`);
+    }
+    // dim(Q) = dim(ξ) × dim(p)
+    const dim = multiply(node.killing.vector.dim, node.momentum.dim);
+    // Q = ξ^μ p_μ is a full contraction — no free indices remain (scalar).
+    return { dim, freeIndices: new Map() };
+}
+//# sourceMappingURL=killing-validators.js.map

package/dist/dimensional/killing-validators.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"killing-validators.js","sourceRoot":"","sources":["../../src/dimensional/killing-validators.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAKH,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAwBxC;;;;;;;GAOG;AACH,MAAM,UAAU,qBAAqB,CACnC,IAAuB;IAEvB,IAAI,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACrC,MAAM,IAAI,KAAK,CACb,uDAAuD,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,CACpF,CAAC;IACJ,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IACnC,IAAI,GAAG,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC;QAC7B,MAAM,IAAI,KAAK,CACb,oDAAoD,GAAG,CAAC,QAAQ,GAAG,CACpE,CAAC;IACJ,CAAC;IACD,MAAM,WAAW,GAAG,IAAI,GAAG,EAA4C,CAAC;IACxE,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IACnD,OAAO,EAAE,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,WAAW,EAAE,CAAC;AAC/C,CAAC;AAoCD;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,uBAAuB,CACrC,IAAyB;IAEzB,IAAI,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvC,MAAM,IAAI,KAAK,CACb,2DAA2D,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,EAAE,CAC1F,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IACrD,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IAC9C,IAAI,OAAO,KAAK,MAAM,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CACb,wDAAwD,OAAO,kBAAkB,MAAM,GAAG,CAC3F,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC;QAClD,MAAM,IAAI,KAAK,CACb,6FAA6F,CAC9F,CAAC;IACJ,CAAC;IACD,2BAA2B;IAC3B,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;IACjE,uEAAuE;IACvE,OAAO,EAAE,GAAG,EAAE,WAAW,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;AACzC,CAAC"}