universal-physics-tensor 0.4.5

package/dist/bridges/equations/be-49-quantum-darwinism.d.ts

@@ -0,0 +1,97 @@
+/**
+ * Bridge Equation 49 — Quantum Darwinism redundancy / mutual-information
+ * decay (Zurek 2009 *Nat. Phys.* 5:181 framework).
+ *
+ *   I(S:F_k) = I(S:E) - α · k^(-β)
+ *
+ * Spec form is `I(S:F_k) = I(S:E) - O(k^-α)` (asymptotic-O notation,
+ * not a precise formula). For the AST encoding we commit to the
+ * leading-order power-law correction `α · k^(-β)`, where α is a
+ * dimensionless magnitude prefactor and β is a dimensionless decay
+ * exponent. This disambiguates the spec's overloaded "α" (which
+ * denoted the exponent under the O-notation): in this encoding
+ * α = magnitude, β = decay exponent.
+ *
+ * All quantities are dimensionless:
+ *   - I(S:F_k):   mutual information between system S and a k-fragment
+ *                 of environment E (bits / nats — dimensionless either way)
+ *   - I(S:E):     system-environment total mutual information [1]
+ *   - α:          dimensionless magnitude prefactor
+ *   - k:          dimensionless fragment count
+ *   - β:          dimensionless decay exponent (positive ⇒ actual decay)
+ *   - k^(-β):     dimensionless ⇒ dimensionless
+ *
+ * The AST `^` op requires a literal-numeric exponent. We pin the
+ * symbolic exponent to **β = 1** (standard mutual-information large-k
+ * decay; "good information broadcasting" regime per Zurek 2009 review)
+ * — same convention as BE-34 Kibble-Zurek's d=ν=z=1 commitment and
+ * BE-33 Hertz-Millis's 3D Heisenberg pin. Other β values would
+ * require a different encoded module; the numerical evaluator,
+ * however, accepts arbitrary β so non-canonical regimes remain
+ * computable without touching the AST.
+ *
+ * References:
+ *   - Zurek 2009 *Nat. Phys.* 5:181 (canonical Quantum Darwinism review);
+ *   - Blume-Kohout & Zurek 2006 *Phys. Rev. A* 73:062310
+ *     (arXiv:quant-ph/0505031; quantum mutual information in
+ *     many-fragment environments);
+ *   - Korbicz, Horodecki & Horodecki 2014 *Phys. Rev. Lett.* 112:120402
+ *     (arXiv:1305.3527; spectrum-broadcast structure).
+ *
+ * Status: speculative.
+ *
+ * Honest-claude scope notes:
+ *   - The Zurek Quantum Darwinism *framework* is canonical; the
+ *     specific algebraic decay form `I(S:F_k) = I(S:E) - α k^(-β)` is
+ *     a phenomenological-ansatz extension (the spec's `O(k^-α)` is
+ *     asymptotic notation, not a precise formula). Both α and β are
+ *     free fitting parameters.
+ *   - Dimensional analysis is exponent-agnostic: a dimensionless
+ *     quantity raised to any real number stays dimensionless, so the
+ *     β = 1 pin only fixes the bracket-check scaling, not the
+ *     dimensional inference.
+ *
+ * @see docs/specification/Part-II.md ("Bridge Equation 49: Quantum Darwinism Redundancy")
+ * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 49)
+ * @module bridges/equations/be-49-quantum-darwinism
+ */
+import type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
+/**
+ * RHS of the Quantum-Darwinism mutual-information decay:
+ *   I(S:E) - α · k^(-1)
+ *
+ * Pinned to β = 1 (the canonical large-k decay exponent for
+ * good-information-broadcasting regimes). All operands are
+ * dimensionless; the result is dimensionless.
+ */
+export declare const BE49_QUANTUM_DARWINISM_RHS: ExprNode;
+/** LHS: I(S:F_k) is dimensionless. */
+export declare const BE49_QUANTUM_DARWINISM_LHS: ExprNode;
+export interface QuantumDarwinismInputs {
+    /** Total system-environment mutual information I(S:E). Must be finite. */
+    I_SE: number;
+    /** Dimensionless magnitude prefactor α. Must be finite. */
+    alpha: number;
+    /** Dimensionless fragment count k. Must be > 0 and finite. */
+    k: number;
+    /** Dimensionless decay exponent β. Must be finite. */
+    beta: number;
+}
+/**
+ * Evaluate the Quantum-Darwinism mutual-information decay
+ *
+ *   I(S:F_k) = I(S:E) - α · k^(-β)
+ *
+ * The evaluator is β-agnostic: caller passes β directly. The AST
+ * exponent is pinned to β = 1 (canonical large-k decay); other β
+ * values are computable here without touching the AST.
+ *
+ * @returns Dimensionless mutual information I(S:F_k).
+ */
+export declare function evaluateQuantumDarwinism(input: QuantumDarwinismInputs): number;
+/**
+ * Run the AST through the dimensional analyzer; both sides should be
+ * dimensionless.
+ */
+export declare function validateBE49Dimensions(): DimensionValidationReport;
+//# sourceMappingURL=be-49-quantum-darwinism.d.ts.map

package/dist/bridges/equations/be-49-quantum-darwinism.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"be-49-quantum-darwinism.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-49-quantum-darwinism.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwDG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAS1F;;;;;;;GAOG;AACH,eAAO,MAAM,0BAA0B,EAAE,QAexC,CAAC;AAEF,sCAAsC;AACtC,eAAO,MAAM,0BAA0B,EAAE,QAAuC,CAAC;AAIjF,MAAM,WAAW,sBAAsB;IACrC,0EAA0E;IAC1E,IAAI,EAAE,MAAM,CAAC;IACb,2DAA2D;IAC3D,KAAK,EAAE,MAAM,CAAC;IACd,8DAA8D;IAC9D,CAAC,EAAE,MAAM,CAAC;IACV,sDAAsD;IACtD,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,sBAAsB,GAAG,MAAM,CAuB9E;AAID;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,yBAAyB,CASlE"}

package/dist/bridges/equations/be-49-quantum-darwinism.js

@@ -0,0 +1,129 @@
+/**
+ * Bridge Equation 49 — Quantum Darwinism redundancy / mutual-information
+ * decay (Zurek 2009 *Nat. Phys.* 5:181 framework).
+ *
+ *   I(S:F_k) = I(S:E) - α · k^(-β)
+ *
+ * Spec form is `I(S:F_k) = I(S:E) - O(k^-α)` (asymptotic-O notation,
+ * not a precise formula). For the AST encoding we commit to the
+ * leading-order power-law correction `α · k^(-β)`, where α is a
+ * dimensionless magnitude prefactor and β is a dimensionless decay
+ * exponent. This disambiguates the spec's overloaded "α" (which
+ * denoted the exponent under the O-notation): in this encoding
+ * α = magnitude, β = decay exponent.
+ *
+ * All quantities are dimensionless:
+ *   - I(S:F_k):   mutual information between system S and a k-fragment
+ *                 of environment E (bits / nats — dimensionless either way)
+ *   - I(S:E):     system-environment total mutual information [1]
+ *   - α:          dimensionless magnitude prefactor
+ *   - k:          dimensionless fragment count
+ *   - β:          dimensionless decay exponent (positive ⇒ actual decay)
+ *   - k^(-β):     dimensionless ⇒ dimensionless
+ *
+ * The AST `^` op requires a literal-numeric exponent. We pin the
+ * symbolic exponent to **β = 1** (standard mutual-information large-k
+ * decay; "good information broadcasting" regime per Zurek 2009 review)
+ * — same convention as BE-34 Kibble-Zurek's d=ν=z=1 commitment and
+ * BE-33 Hertz-Millis's 3D Heisenberg pin. Other β values would
+ * require a different encoded module; the numerical evaluator,
+ * however, accepts arbitrary β so non-canonical regimes remain
+ * computable without touching the AST.
+ *
+ * References:
+ *   - Zurek 2009 *Nat. Phys.* 5:181 (canonical Quantum Darwinism review);
+ *   - Blume-Kohout & Zurek 2006 *Phys. Rev. A* 73:062310
+ *     (arXiv:quant-ph/0505031; quantum mutual information in
+ *     many-fragment environments);
+ *   - Korbicz, Horodecki & Horodecki 2014 *Phys. Rev. Lett.* 112:120402
+ *     (arXiv:1305.3527; spectrum-broadcast structure).
+ *
+ * Status: speculative.
+ *
+ * Honest-claude scope notes:
+ *   - The Zurek Quantum Darwinism *framework* is canonical; the
+ *     specific algebraic decay form `I(S:F_k) = I(S:E) - α k^(-β)` is
+ *     a phenomenological-ansatz extension (the spec's `O(k^-α)` is
+ *     asymptotic notation, not a precise formula). Both α and β are
+ *     free fitting parameters.
+ *   - Dimensional analysis is exponent-agnostic: a dimensionless
+ *     quantity raised to any real number stays dimensionless, so the
+ *     β = 1 pin only fixes the bracket-check scaling, not the
+ *     dimensional inference.
+ *
+ * @see docs/specification/Part-II.md ("Bridge Equation 49: Quantum Darwinism Redundancy")
+ * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 49)
+ * @module bridges/equations/be-49-quantum-darwinism
+ */
+import { validate, validateEquation } from '../../dimensional/validator.js';
+import { DIMENSIONLESS, } from '../../dimensional/types.js';
+const sym = (name, dim) => ({ kind: 'symbol', name, dim });
+/**
+ * RHS of the Quantum-Darwinism mutual-information decay:
+ *   I(S:E) - α · k^(-1)
+ *
+ * Pinned to β = 1 (the canonical large-k decay exponent for
+ * good-information-broadcasting regimes). All operands are
+ * dimensionless; the result is dimensionless.
+ */
+export const BE49_QUANTUM_DARWINISM_RHS = {
+    kind: 'op', op: '-',
+    args: [
+        sym('I_SE', DIMENSIONLESS),
+        {
+            kind: 'op', op: '*',
+            args: [
+                sym('alpha', DIMENSIONLESS),
+                {
+                    kind: 'op', op: '^',
+                    args: [sym('k', DIMENSIONLESS), sym('-1', DIMENSIONLESS)],
+                },
+            ],
+        },
+    ],
+};
+/** LHS: I(S:F_k) is dimensionless. */
+export const BE49_QUANTUM_DARWINISM_LHS = sym('I_S_Fk', DIMENSIONLESS);
+/**
+ * Evaluate the Quantum-Darwinism mutual-information decay
+ *
+ *   I(S:F_k) = I(S:E) - α · k^(-β)
+ *
+ * The evaluator is β-agnostic: caller passes β directly. The AST
+ * exponent is pinned to β = 1 (canonical large-k decay); other β
+ * values are computable here without touching the AST.
+ *
+ * @returns Dimensionless mutual information I(S:F_k).
+ */
+export function evaluateQuantumDarwinism(input) {
+    const { I_SE, alpha, k, beta } = input;
+    if (!Number.isFinite(I_SE)) {
+        throw new RangeError(`evaluateQuantumDarwinism: I_SE must be finite, got ${I_SE}`);
+    }
+    if (!Number.isFinite(alpha)) {
+        throw new RangeError(`evaluateQuantumDarwinism: alpha must be finite, got ${alpha}`);
+    }
+    if (!Number.isFinite(k) || k <= 0) {
+        throw new RangeError(`evaluateQuantumDarwinism: k must be a finite positive number, got ${k}`);
+    }
+    if (!Number.isFinite(beta)) {
+        throw new RangeError(`evaluateQuantumDarwinism: beta must be finite, got ${beta}`);
+    }
+    return I_SE - alpha * Math.pow(k, -beta);
+}
+// --- Self-validation ---
+/**
+ * Run the AST through the dimensional analyzer; both sides should be
+ * dimensionless.
+ */
+export function validateBE49Dimensions() {
+    const eq = validateEquation(BE49_QUANTUM_DARWINISM_LHS, BE49_QUANTUM_DARWINISM_RHS);
+    const lhs = validate(BE49_QUANTUM_DARWINISM_LHS);
+    const rhs = validate(BE49_QUANTUM_DARWINISM_RHS);
+    return {
+        ok: eq.ok,
+        lhsDim: lhs.inferredDimension,
+        rhsDim: rhs.inferredDimension,
+    };
+}
+//# sourceMappingURL=be-49-quantum-darwinism.js.map

package/dist/bridges/equations/be-49-quantum-darwinism.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"be-49-quantum-darwinism.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-49-quantum-darwinism.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwDG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAEL,aAAa,GACd,MAAM,4BAA4B,CAAC;AAEpC,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,GAAc,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAExF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAa;IAClD,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC;QAC1B;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,OAAO,EAAE,aAAa,CAAC;gBAC3B;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;iBAC1D;aACF;SACF;KACF;CACF,CAAC;AAEF,sCAAsC;AACtC,MAAM,CAAC,MAAM,0BAA0B,GAAa,GAAG,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;AAejF;;;;;;;;;;GAUG;AACH,MAAM,UAAU,wBAAwB,CAAC,KAA6B;IACpE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC;IACvC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3B,MAAM,IAAI,UAAU,CAClB,sDAAsD,IAAI,EAAE,CAC7D,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,UAAU,CAClB,uDAAuD,KAAK,EAAE,CAC/D,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAClC,MAAM,IAAI,UAAU,CAClB,qEAAqE,CAAC,EAAE,CACzE,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3B,MAAM,IAAI,UAAU,CAClB,sDAAsD,IAAI,EAAE,CAC7D,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,GAAG,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;AAC3C,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,MAAM,UAAU,sBAAsB;IACpC,MAAM,EAAE,GAAG,gBAAgB,CAAC,0BAA0B,EAAE,0BAA0B,CAAC,CAAC;IACpF,MAAM,GAAG,GAAG,QAAQ,CAAC,0BAA0B,CAAC,CAAC;IACjD,MAAM,GAAG,GAAG,QAAQ,CAAC,0BAA0B,CAAC,CAAC;IACjD,OAAO;QACL,EAAE,EAAE,EAAE,CAAC,EAAE;QACT,MAAM,EAAE,GAAG,CAAC,iBAAiB;QAC7B,MAAM,EAAE,GAAG,CAAC,iBAAiB;KAC9B,CAAC;AACJ,CAAC"}

package/dist/bridges/equations/be-50-wheeler-feynman.d.ts

@@ -0,0 +1,120 @@
+/**
+ * Bridge Equation 50 — Wheeler-Feynman absorber theory / time-symmetric
+ * gauge field.
+ *
+ *   Original (Wave P-A canonical):
+ *     A_μ(x) = (1/2) [A_μ^ret(x) + A_μ^adv(x)]
+ *
+ *   Encoded reduction (Wave Z, OpenAI scalar reduction):
+ *     r_TS = (A_ret − A_adv) / (A_ret + A_adv)
+ *
+ * The encoded scalar `r_TS` is the *time-symmetry residual*: a
+ * dimensionless ratio that vanishes identically (≡ 0) in
+ * Wheeler-Feynman absorber theory. Under the absorber boundary
+ * condition (every emitted disturbance is fully absorbed by future
+ * matter), the half-retarded-plus-half-advanced symmetric form is
+ * physically equivalent to retarded-only Maxwell, and the residual
+ * captures any deviation from that equivalence as a dimensionless
+ * asymmetry parameter.
+ *
+ * References:
+ *   - Wheeler & Feynman 1945 Rev. Mod. Phys. 17:157 — "Interaction with
+ *     the Absorber as the Mechanism of Radiation".
+ *   - Wheeler & Feynman 1949 Rev. Mod. Phys. 21:425 — "Classical
+ *     Electrodynamics in Terms of Direct Interparticle Action".
+ *   - Cramer 1986 Rev. Mod. Phys. 58:647 — "The Transactional
+ *     Interpretation of Quantum Mechanics".
+ *   - Hoyle & Narlikar 1995 Rev. Mod. Phys. 67:113 — "Cosmology and
+ *     action-at-a-distance electrodynamics".
+ *
+ * Status: highly-speculative. The absorber boundary condition is
+ * empirically untested in QFT; the dimensional content of the gauge-
+ * field identity (A_ret and A_adv share dim, ratio is dimensionless)
+ * is canonical, but the bridge framing as "retrocausal QFT" is
+ * conjectural.
+ *
+ * Honest-claude scope notes:
+ *   - The encoded scalar is a **ratio**: it captures the time-symmetry
+ *     claim dimensionlessly without committing to a specific gauge-
+ *     field SI dim convention (Heaviside-Lorentz vs Gaussian vs SI).
+ *   - A_ret and A_adv share dimension by construction (both are
+ *     A_μ^ret/adv solutions of the same wave equation with the same
+ *     source). We pin them to a generic gauge-field dim — the SI dim
+ *     of the magnetic vector potential A: V·s/m = kg·m/(A·s²),
+ *     i.e. { L: 1, M: 1, T: -2, I: -1 }.
+ *   - The numerator (A_ret − A_adv) and denominator (A_ret + A_adv)
+ *     each have gauge-field dim; the ratio is dimensionless [1].
+ *   - The "≡ 0" identity-pin assumes the absorber boundary condition;
+ *     any non-zero residual measures retrocausal-asymmetry violation.
+ *   - This encoding pins only the dimensional structure; it does NOT
+ *     bridge the absorber-theory claim to mainstream QFT.
+ *
+ * @see docs/specification/Part-II.md ("Bridge Equation 50: Wheeler-Feynman")
+ * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 50)
+ * @module bridges/equations/be-50-wheeler-feynman
+ */
+import type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
+import { Dimension } from '../../dimensional/types.js';
+/**
+ * SI dimension of the magnetic vector potential A_μ:
+ *   [A] = V·s/m = kg·m/(A·s²) = { L: 1, M: 1, T: -2, I: -1 }.
+ *
+ * Both A_ret and A_adv share this dim by construction (each is a
+ * Liénard-Wiechert-type solution of the same inhomogeneous wave
+ * equation with retarded vs advanced Green's function).
+ */
+export declare const MAGNETIC_VECTOR_POTENTIAL: Dimension;
+/** Retarded gauge field A_μ^ret. Gauge-field dim. */
+export declare const BE50_RETARDED_FIELD: ExprNode;
+/** Advanced gauge field A_μ^adv. Gauge-field dim. */
+export declare const BE50_ADVANCED_FIELD: ExprNode;
+/**
+ * Numerator of the time-symmetry residual: (A_ret − A_adv).
+ * Carries gauge-field dim by virtue of subtracting same-dim operands.
+ */
+export declare const BE50_TIME_SYMMETRY_NUMERATOR: ExprNode;
+/**
+ * Denominator of the time-symmetry residual: (A_ret + A_adv).
+ * Carries gauge-field dim by virtue of adding same-dim operands.
+ *
+ * Up to the conventional 1/2 factor in the original Wheeler-Feynman
+ * form `A_μ = (1/2)(A_ret + A_adv)`, this is twice the symmetric gauge
+ * field. The dimensionless ratio cancels the 1/2, so we encode
+ * (A_ret + A_adv) directly.
+ */
+export declare const BE50_TIME_SYMMETRY_DENOMINATOR: ExprNode;
+/**
+ * RHS of the time-symmetry residual:
+ *   r_TS = (A_ret − A_adv) / (A_ret + A_adv).
+ * Dimensionless [1] — gauge-field dim cancels in the ratio.
+ */
+export declare const BE50_TIME_SYMMETRY_RESIDUAL_RHS: ExprNode;
+/**
+ * LHS: r_TS — the dimensionless time-symmetry residual scalar.
+ * Identically 0 under the Wheeler-Feynman absorber boundary condition.
+ */
+export declare const BE50_TIME_SYMMETRY_RESIDUAL_LHS: ExprNode;
+export interface WFInputs {
+    /** Retarded gauge-field amplitude A_ret in V·s/m (or arbitrary same-unit amplitude). */
+    A_retarded: number;
+    /** Advanced gauge-field amplitude A_adv in V·s/m (or arbitrary same-unit amplitude). */
+    A_advanced: number;
+}
+/**
+ * Evaluate the time-symmetry residual r_TS = (A_ret − A_adv) / (A_ret + A_adv).
+ *
+ * Honest-claude: returns 0 exactly when A_ret = A_adv (canonical
+ * absorber-theory identity), ±1 in the pure-retarded / pure-advanced
+ * limits, and is scale-invariant under common rescaling of both
+ * fields. Throws RangeError if either input is non-finite or if the
+ * sum is exactly zero (division by zero).
+ *
+ * @returns Dimensionless residual.
+ */
+export declare function evaluateWFTimeSymmetry(input: WFInputs): number;
+/**
+ * Run the AST through the dimensional analyzer; LHS and RHS should
+ * both be DIMENSIONLESS.
+ */
+export declare function validateBE50Dimensions(): DimensionValidationReport;
+//# sourceMappingURL=be-50-wheeler-feynman.d.ts.map

package/dist/bridges/equations/be-50-wheeler-feynman.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"be-50-wheeler-feynman.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-50-wheeler-feynman.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsDG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAE1F,OAAO,EACL,SAAS,EAEV,MAAM,4BAA4B,CAAC;AAMpC;;;;;;;GAOG;AACH,eAAO,MAAM,yBAAyB,EAAE,SAEvC,CAAC;AAEF,qDAAqD;AACrD,eAAO,MAAM,mBAAmB,EAAE,QAAkD,CAAC;AAErF,qDAAqD;AACrD,eAAO,MAAM,mBAAmB,EAAE,QAAkD,CAAC;AAErF;;;GAGG;AACH,eAAO,MAAM,4BAA4B,EAAE,QAG1C,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,8BAA8B,EAAE,QAG5C,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,+BAA+B,EAAE,QAG7C,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,+BAA+B,EAAE,QAAqC,CAAC;AAIpF,MAAM,WAAW,QAAQ;IACvB,wFAAwF;IACxF,UAAU,EAAE,MAAM,CAAC;IACnB,wFAAwF;IACxF,UAAU,EAAE,MAAM,CAAC;CACpB;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,QAAQ,GAAG,MAAM,CAoB9D;AAID;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,yBAAyB,CAYlE"}

package/dist/bridges/equations/be-50-wheeler-feynman.js

@@ -0,0 +1,151 @@
+/**
+ * Bridge Equation 50 — Wheeler-Feynman absorber theory / time-symmetric
+ * gauge field.
+ *
+ *   Original (Wave P-A canonical):
+ *     A_μ(x) = (1/2) [A_μ^ret(x) + A_μ^adv(x)]
+ *
+ *   Encoded reduction (Wave Z, OpenAI scalar reduction):
+ *     r_TS = (A_ret − A_adv) / (A_ret + A_adv)
+ *
+ * The encoded scalar `r_TS` is the *time-symmetry residual*: a
+ * dimensionless ratio that vanishes identically (≡ 0) in
+ * Wheeler-Feynman absorber theory. Under the absorber boundary
+ * condition (every emitted disturbance is fully absorbed by future
+ * matter), the half-retarded-plus-half-advanced symmetric form is
+ * physically equivalent to retarded-only Maxwell, and the residual
+ * captures any deviation from that equivalence as a dimensionless
+ * asymmetry parameter.
+ *
+ * References:
+ *   - Wheeler & Feynman 1945 Rev. Mod. Phys. 17:157 — "Interaction with
+ *     the Absorber as the Mechanism of Radiation".
+ *   - Wheeler & Feynman 1949 Rev. Mod. Phys. 21:425 — "Classical
+ *     Electrodynamics in Terms of Direct Interparticle Action".
+ *   - Cramer 1986 Rev. Mod. Phys. 58:647 — "The Transactional
+ *     Interpretation of Quantum Mechanics".
+ *   - Hoyle & Narlikar 1995 Rev. Mod. Phys. 67:113 — "Cosmology and
+ *     action-at-a-distance electrodynamics".
+ *
+ * Status: highly-speculative. The absorber boundary condition is
+ * empirically untested in QFT; the dimensional content of the gauge-
+ * field identity (A_ret and A_adv share dim, ratio is dimensionless)
+ * is canonical, but the bridge framing as "retrocausal QFT" is
+ * conjectural.
+ *
+ * Honest-claude scope notes:
+ *   - The encoded scalar is a **ratio**: it captures the time-symmetry
+ *     claim dimensionlessly without committing to a specific gauge-
+ *     field SI dim convention (Heaviside-Lorentz vs Gaussian vs SI).
+ *   - A_ret and A_adv share dimension by construction (both are
+ *     A_μ^ret/adv solutions of the same wave equation with the same
+ *     source). We pin them to a generic gauge-field dim — the SI dim
+ *     of the magnetic vector potential A: V·s/m = kg·m/(A·s²),
+ *     i.e. { L: 1, M: 1, T: -2, I: -1 }.
+ *   - The numerator (A_ret − A_adv) and denominator (A_ret + A_adv)
+ *     each have gauge-field dim; the ratio is dimensionless [1].
+ *   - The "≡ 0" identity-pin assumes the absorber boundary condition;
+ *     any non-zero residual measures retrocausal-asymmetry violation.
+ *   - This encoding pins only the dimensional structure; it does NOT
+ *     bridge the absorber-theory claim to mainstream QFT.
+ *
+ * @see docs/specification/Part-II.md ("Bridge Equation 50: Wheeler-Feynman")
+ * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 50)
+ * @module bridges/equations/be-50-wheeler-feynman
+ */
+import { validate, validateEquation } from '../../dimensional/validator.js';
+import { DIMENSIONLESS, } from '../../dimensional/types.js';
+// --- Symbolic AST ---
+const sym = (name, dim) => ({ kind: 'symbol', name, dim });
+/**
+ * SI dimension of the magnetic vector potential A_μ:
+ *   [A] = V·s/m = kg·m/(A·s²) = { L: 1, M: 1, T: -2, I: -1 }.
+ *
+ * Both A_ret and A_adv share this dim by construction (each is a
+ * Liénard-Wiechert-type solution of the same inhomogeneous wave
+ * equation with retarded vs advanced Green's function).
+ */
+export const MAGNETIC_VECTOR_POTENTIAL = {
+    L: 1, M: 1, T: -2, I: -1, Theta: 0, N: 0, J: 0,
+};
+/** Retarded gauge field A_μ^ret. Gauge-field dim. */
+export const BE50_RETARDED_FIELD = sym('A_ret', MAGNETIC_VECTOR_POTENTIAL);
+/** Advanced gauge field A_μ^adv. Gauge-field dim. */
+export const BE50_ADVANCED_FIELD = sym('A_adv', MAGNETIC_VECTOR_POTENTIAL);
+/**
+ * Numerator of the time-symmetry residual: (A_ret − A_adv).
+ * Carries gauge-field dim by virtue of subtracting same-dim operands.
+ */
+export const BE50_TIME_SYMMETRY_NUMERATOR = {
+    kind: 'op', op: '-',
+    args: [BE50_RETARDED_FIELD, BE50_ADVANCED_FIELD],
+};
+/**
+ * Denominator of the time-symmetry residual: (A_ret + A_adv).
+ * Carries gauge-field dim by virtue of adding same-dim operands.
+ *
+ * Up to the conventional 1/2 factor in the original Wheeler-Feynman
+ * form `A_μ = (1/2)(A_ret + A_adv)`, this is twice the symmetric gauge
+ * field. The dimensionless ratio cancels the 1/2, so we encode
+ * (A_ret + A_adv) directly.
+ */
+export const BE50_TIME_SYMMETRY_DENOMINATOR = {
+    kind: 'op', op: '+',
+    args: [BE50_RETARDED_FIELD, BE50_ADVANCED_FIELD],
+};
+/**
+ * RHS of the time-symmetry residual:
+ *   r_TS = (A_ret − A_adv) / (A_ret + A_adv).
+ * Dimensionless [1] — gauge-field dim cancels in the ratio.
+ */
+export const BE50_TIME_SYMMETRY_RESIDUAL_RHS = {
+    kind: 'op', op: '/',
+    args: [BE50_TIME_SYMMETRY_NUMERATOR, BE50_TIME_SYMMETRY_DENOMINATOR],
+};
+/**
+ * LHS: r_TS — the dimensionless time-symmetry residual scalar.
+ * Identically 0 under the Wheeler-Feynman absorber boundary condition.
+ */
+export const BE50_TIME_SYMMETRY_RESIDUAL_LHS = sym('r_TS', DIMENSIONLESS);
+/**
+ * Evaluate the time-symmetry residual r_TS = (A_ret − A_adv) / (A_ret + A_adv).
+ *
+ * Honest-claude: returns 0 exactly when A_ret = A_adv (canonical
+ * absorber-theory identity), ±1 in the pure-retarded / pure-advanced
+ * limits, and is scale-invariant under common rescaling of both
+ * fields. Throws RangeError if either input is non-finite or if the
+ * sum is exactly zero (division by zero).
+ *
+ * @returns Dimensionless residual.
+ */
+export function evaluateWFTimeSymmetry(input) {
+    const { A_retarded, A_advanced } = input;
+    if (!Number.isFinite(A_retarded)) {
+        throw new RangeError(`evaluateWFTimeSymmetry: A_retarded must be finite, got ${A_retarded}`);
+    }
+    if (!Number.isFinite(A_advanced)) {
+        throw new RangeError(`evaluateWFTimeSymmetry: A_advanced must be finite, got ${A_advanced}`);
+    }
+    const denom = A_retarded + A_advanced;
+    if (denom === 0) {
+        throw new RangeError(`evaluateWFTimeSymmetry: A_retarded + A_advanced === 0 (division by zero); ` +
+            `the residual is undefined when retarded and advanced amplitudes cancel exactly.`);
+    }
+    return (A_retarded - A_advanced) / denom;
+}
+// --- Self-validation ---
+/**
+ * Run the AST through the dimensional analyzer; LHS and RHS should
+ * both be DIMENSIONLESS.
+ */
+export function validateBE50Dimensions() {
+    const eq = validateEquation(BE50_TIME_SYMMETRY_RESIDUAL_LHS, BE50_TIME_SYMMETRY_RESIDUAL_RHS);
+    const lhs = validate(BE50_TIME_SYMMETRY_RESIDUAL_LHS);
+    const rhs = validate(BE50_TIME_SYMMETRY_RESIDUAL_RHS);
+    return {
+        ok: eq.ok,
+        lhsDim: lhs.inferredDimension,
+        rhsDim: rhs.inferredDimension,
+    };
+}
+//# sourceMappingURL=be-50-wheeler-feynman.js.map

package/dist/bridges/equations/be-50-wheeler-feynman.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"be-50-wheeler-feynman.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-50-wheeler-feynman.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsDG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAEL,aAAa,GACd,MAAM,4BAA4B,CAAC;AAEpC,uBAAuB;AAEvB,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,GAAc,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAExF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAc;IAClD,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;CAC/C,CAAC;AAEF,qDAAqD;AACrD,MAAM,CAAC,MAAM,mBAAmB,GAAa,GAAG,CAAC,OAAO,EAAE,yBAAyB,CAAC,CAAC;AAErF,qDAAqD;AACrD,MAAM,CAAC,MAAM,mBAAmB,GAAa,GAAG,CAAC,OAAO,EAAE,yBAAyB,CAAC,CAAC;AAErF;;;GAGG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAAa;IACpD,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE,CAAC,mBAAmB,EAAE,mBAAmB,CAAC;CACjD,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,8BAA8B,GAAa;IACtD,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE,CAAC,mBAAmB,EAAE,mBAAmB,CAAC;CACjD,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,+BAA+B,GAAa;IACvD,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE,CAAC,4BAA4B,EAAE,8BAA8B,CAAC;CACrE,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,+BAA+B,GAAa,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;AAWpF;;;;;;;;;;GAUG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAAe;IACpD,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,GAAG,KAAK,CAAC;IACzC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;QACjC,MAAM,IAAI,UAAU,CAClB,0DAA0D,UAAU,EAAE,CACvE,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;QACjC,MAAM,IAAI,UAAU,CAClB,0DAA0D,UAAU,EAAE,CACvE,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAG,UAAU,GAAG,UAAU,CAAC;IACtC,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;QAChB,MAAM,IAAI,UAAU,CAClB,4EAA4E;YAC1E,iFAAiF,CACpF,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,UAAU,GAAG,UAAU,CAAC,GAAG,KAAK,CAAC;AAC3C,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,MAAM,UAAU,sBAAsB;IACpC,MAAM,EAAE,GAAG,gBAAgB,CACzB,+BAA+B,EAC/B,+BAA+B,CAChC,CAAC;IACF,MAAM,GAAG,GAAG,QAAQ,CAAC,+BAA+B,CAAC,CAAC;IACtD,MAAM,GAAG,GAAG,QAAQ,CAAC,+BAA+B,CAAC,CAAC;IACtD,OAAO;QACL,EAAE,EAAE,EAAE,CAAC,EAAE;QACT,MAAM,EAAE,GAAG,CAAC,iBAAiB;QAC7B,MAAM,EAAE,GAAG,CAAC,iBAAiB;KAC9B,CAAC;AACJ,CAAC"}

package/dist/bridges/gravitational-lensing.d.ts

@@ -0,0 +1,52 @@
+/**
+ * BE-?? Gravitational Lensing — Eddington 1919 weak-field deflection.
+ *
+ * Closed-form deflection of light by a point mass under the weak-field
+ * (post-Newtonian) approximation:
+ *
+ *   α = 4 G M / (b c²)
+ *
+ * where
+ *   G  = 6.6743 × 10⁻¹¹ m³ kg⁻¹ s⁻²  (CODATA 2018)
+ *   c  = 2.998 × 10⁸ m s⁻¹             (CODATA 2018)
+ *   M  = lensing mass (kg)
+ *   b  = impact parameter (m)
+ *   α  = deflection angle (rad)
+ *
+ * The 1919 eclipse expedition measured α for grazing solar rays ≈ 1.75 arcsec,
+ * confirming GR's prediction (2× the Newtonian value).
+ *
+ * Domain: b > 0. Weak-field validity: b ≫ r_Schwarzschild = 2GM/c².
+ * For sub-Schwarzschild impact parameters the full geodesic integrator
+ * (src/numerical/geodesic-integrator.ts) is required.
+ *
+ * @module bridges/gravitational-lensing
+ */
+export interface GravitationalLensingInputs {
+    /** Lensing mass in kilograms. */
+    readonly M_kg: number;
+    /** Impact parameter in metres.  Must be strictly positive. */
+    readonly b_m: number;
+}
+export interface GravitationalLensingResult {
+    /** Deflection angle in radians: α = 4GM/(bc²). */
+    readonly alpha_rad: number;
+    /** Deflection angle in arc-seconds (α_rad × 180/π × 3600). */
+    readonly alpha_arcsec: number;
+    /** Echo of the input lensing mass (kg). */
+    readonly M_kg: number;
+    /** Echo of the input impact parameter (m). */
+    readonly b_m: number;
+}
+/**
+ * Evaluate the Eddington 1919 gravitational lensing deflection angle
+ * for a point mass M at impact parameter b.
+ *
+ * @param inputs - `{ M_kg, b_m }` — lensing mass and impact parameter.
+ * @returns `{ alpha_rad, alpha_arcsec, M_kg, b_m }`.
+ * @throws {RangeError} if `b_m ≤ 0`.
+ *
+ * @public
+ */
+export declare function evaluateGravitationalLensing(inputs: GravitationalLensingInputs): GravitationalLensingResult;
+//# sourceMappingURL=gravitational-lensing.d.ts.map

package/dist/bridges/gravitational-lensing.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"gravitational-lensing.d.ts","sourceRoot":"","sources":["../../src/bridges/gravitational-lensing.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAOH,MAAM,WAAW,0BAA0B;IACzC,iCAAiC;IACjC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,8DAA8D;IAC9D,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,0BAA0B;IACzC,kDAAkD;IAClD,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,8DAA8D;IAC9D,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,2CAA2C;IAC3C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,8CAA8C;IAC9C,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED;;;;;;;;;GASG;AACH,wBAAgB,4BAA4B,CAC1C,MAAM,EAAE,0BAA0B,GACjC,0BAA0B,CAU5B"}

package/dist/bridges/gravitational-lensing.js

@@ -0,0 +1,48 @@
+/**
+ * BE-?? Gravitational Lensing — Eddington 1919 weak-field deflection.
+ *
+ * Closed-form deflection of light by a point mass under the weak-field
+ * (post-Newtonian) approximation:
+ *
+ *   α = 4 G M / (b c²)
+ *
+ * where
+ *   G  = 6.6743 × 10⁻¹¹ m³ kg⁻¹ s⁻²  (CODATA 2018)
+ *   c  = 2.998 × 10⁸ m s⁻¹             (CODATA 2018)
+ *   M  = lensing mass (kg)
+ *   b  = impact parameter (m)
+ *   α  = deflection angle (rad)
+ *
+ * The 1919 eclipse expedition measured α for grazing solar rays ≈ 1.75 arcsec,
+ * confirming GR's prediction (2× the Newtonian value).
+ *
+ * Domain: b > 0. Weak-field validity: b ≫ r_Schwarzschild = 2GM/c².
+ * For sub-Schwarzschild impact parameters the full geodesic integrator
+ * (src/numerical/geodesic-integrator.ts) is required.
+ *
+ * @module bridges/gravitational-lensing
+ */
+// Numerical SI constants — not the dimensional Dimension objects from
+// src/dimensional/constants.ts, which carry only SI dimension signatures.
+const G_SI = 6.6743e-11; // m³ kg⁻¹ s⁻²  (CODATA 2018)
+const c_SI = 2.998e8; // m s⁻¹          (CODATA 2018)
+/**
+ * Evaluate the Eddington 1919 gravitational lensing deflection angle
+ * for a point mass M at impact parameter b.
+ *
+ * @param inputs - `{ M_kg, b_m }` — lensing mass and impact parameter.
+ * @returns `{ alpha_rad, alpha_arcsec, M_kg, b_m }`.
+ * @throws {RangeError} if `b_m ≤ 0`.
+ *
+ * @public
+ */
+export function evaluateGravitationalLensing(inputs) {
+    const { M_kg, b_m } = inputs;
+    if (!(b_m > 0)) {
+        throw new RangeError(`evaluateGravitationalLensing: b_m must be positive (got ${b_m})`);
+    }
+    const alpha_rad = (4 * G_SI * M_kg) / (b_m * c_SI * c_SI);
+    const alpha_arcsec = alpha_rad * (180 / Math.PI) * 3600;
+    return { alpha_rad, alpha_arcsec, M_kg, b_m };
+}
+//# sourceMappingURL=gravitational-lensing.js.map

package/dist/bridges/gravitational-lensing.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"gravitational-lensing.js","sourceRoot":"","sources":["../../src/bridges/gravitational-lensing.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,sEAAsE;AACtE,0EAA0E;AAC1E,MAAM,IAAI,GAAG,UAAU,CAAC,CAAE,6BAA6B;AACvD,MAAM,IAAI,GAAG,OAAO,CAAC,CAAK,+BAA+B;AAoBzD;;;;;;;;;GASG;AACH,MAAM,UAAU,4BAA4B,CAC1C,MAAkC;IAElC,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,MAAM,CAAC;IAC7B,IAAI,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC;QACf,MAAM,IAAI,UAAU,CAClB,2DAA2D,GAAG,GAAG,CAClE,CAAC;IACJ,CAAC;IACD,MAAM,SAAS,GAAG,CAAC,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,IAAI,GAAG,IAAI,CAAC,CAAC;IAC1D,MAAM,YAAY,GAAG,SAAS,GAAG,CAAC,GAAG,GAAG,IAAI,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC;IACxD,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AAChD,CAAC"}