universal-physics-tensor 7.0.0 → 9.0.0

package/dist/bridges/equations/be-47-bbn-dark-sector.js

@@ -1,119 +0,0 @@
-/**
- * Bridge Equation 47 — BBN Dark-Sector-Coupling Boltzmann ODE.
- *
- *   dY/dt + 3 H Y = ⟨σv⟩_SM n_p n_n − ⟨σv⟩_dark n_χ² ε_transfer
- *
- * Big Bang Nucleosynthesis number-density Boltzmann equation with a
- * dark-sector sink term. The base form (Hubble drag + SM source) is
- * canonical Kolb-Turner §5.2 Eq. 5.13–5.14 / Pitrou et al. 2018
- * Phys. Rep. 754:1 Eq. 2.5; the dark-sector coupling
- * `⟨σv⟩_dark n_χ² ε_transfer` is the unverified physics extension.
- *
- * Status: speculative (the SM base is canonical; the dark-sector term
- * is the conjectural part).
- *
- * Honest-claude scope notes:
- *   - Y is encoded as a number density [L^-3] so dY/dt has dim
- *     [L^-3 T^-1]. Each term in the equation reduces to [L^-3 T^-1]:
- *     ⟨σv⟩ has dim [L^3 T^-1] (cross-section × velocity); products of
- *     two number densities give [L^-6]; ⟨σv⟩ × density² = [L^-3 T^-1].
- *   - ε_transfer is dimensionless (transfer-efficiency).
- *   - We expose each term as a separate ExprNode (BBN_DARK_DYDT_TERM,
- *     BBN_DARK_HUBBLE_TERM, BBN_DARK_SM_TERM, BBN_DARK_DARK_TERM) so
- *     dimensional consistency can be tested per-term, not just on the
- *     reduced LHS/RHS.
- *
- * @see docs/specification/Part-II.md ("Bridge Equation 47: Big Bang Nucleosynthesis - Dark Sector Coupling")
- * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 47)
- * @module bridges/equations/be-47-bbn-dark-sector
- */
-import { DIMENSIONLESS, TIME, FREQUENCY, } from '../../dimensional/types.js';
-import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
-/** Number density [L^-3]. */
-const NUMBER_DENSITY = {
-    L: -3, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0,
-};
-/** Cross-section × velocity ⟨σv⟩ has dim [L^3 T^-1]. */
-const SIGMAV = {
-    L: 3, M: 0, T: -1, I: 0, Theta: 0, N: 0, J: 0,
-};
-// --- Per-term ASTs ---
-/** dY/dt — derivative of number density Y w.r.t. time. */
-export const BBN_DARK_DYDT_TERM = {
-    kind: 'derivative',
-    of: sym('Y', NUMBER_DENSITY),
-    wrt: sym('t', TIME),
-};
-/** 3 H Y — Hubble dilution drag (H is frequency [T^-1]). */
-export const BBN_DARK_HUBBLE_TERM = {
-    kind: 'op', op: '*',
-    args: [
-        sym('3', DIMENSIONLESS),
-        sym('H', FREQUENCY),
-        sym('Y', NUMBER_DENSITY),
-    ],
-};
-/** ⟨σv⟩_SM · n_p · n_n — Standard Model two-body source. */
-export const BBN_DARK_SM_TERM = {
-    kind: 'op', op: '*',
-    args: [
-        sym('sigmav_SM', SIGMAV),
-        sym('n_p', NUMBER_DENSITY),
-        sym('n_n', NUMBER_DENSITY),
-    ],
-};
-/** ⟨σv⟩_dark · n_χ² · ε_transfer — dark-sector sink. */
-export const BBN_DARK_DARK_TERM = {
-    kind: 'op', op: '*',
-    args: [
-        sym('sigmav_dark', SIGMAV),
-        {
-            kind: 'op', op: '^',
-            args: [sym('n_chi', NUMBER_DENSITY), sym('2', DIMENSIONLESS)],
-        },
-        sym('eps_transfer', DIMENSIONLESS),
-    ],
-};
-/** LHS: dY/dt + 3 H Y. */
-/** @internal */
-export const BBN_DARK_LHS = {
-    kind: 'op', op: '+',
-    args: [BBN_DARK_DYDT_TERM, BBN_DARK_HUBBLE_TERM],
-};
-/** RHS: ⟨σv⟩_SM n_p n_n − ⟨σv⟩_dark n_χ² ε_transfer. */
-export const BBN_DARK_RHS = {
-    kind: 'op', op: '-',
-    args: [BBN_DARK_SM_TERM, BBN_DARK_DARK_TERM],
-};
-/**
- * Evaluate dY/dt = ⟨σv⟩_SM n_p n_n − ⟨σv⟩_dark n_χ² ε − 3 H Y.
- *
- * @returns dY/dt in (m^-3 s^-1).
- */
-export function evaluateBBNDark(input) {
-    validateFiniteInputs(input, [
-        { name: 'H' },
-        { name: 'Y' },
-        { name: 'sigmav_SM' },
-        { name: 'n_p' },
-        { name: 'n_n' },
-        { name: 'sigmav_dark' },
-        { name: 'n_chi' },
-        { name: 'eps_transfer' },
-    ], 'evaluateBBNDark');
-    const { H, Y, sigmav_SM, n_p, n_n, sigmav_dark, n_chi, eps_transfer, } = input;
-    const sm_source = sigmav_SM * n_p * n_n;
-    const dark_sink = sigmav_dark * n_chi * n_chi * eps_transfer;
-    const hubble_drag = 3 * H * Y;
-    return sm_source - dark_sink - hubble_drag;
-}
-// --- Self-validation ---
-/**
- * Run the AST through the dimensional analyzer; both LHS and RHS
- * should be [L^-3 T^-1].
- */
-/** @internal */
-export function validateBBNDarkDimensions() {
-    return validateBEDimensions(BBN_DARK_LHS, BBN_DARK_RHS, 'BE47');
-}
-//# sourceMappingURL=be-47-bbn-dark-sector.js.map

package/dist/bridges/equations/be-47-bbn-dark-sector.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"be-47-bbn-dark-sector.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-47-bbn-dark-sector.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAGH,OAAO,EAEL,aAAa,EACb,IAAI,EACJ,SAAS,GACV,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF,6BAA6B;AAC7B,MAAM,cAAc,GAAc;IAChC,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;CAC9C,CAAC;AAEF,wDAAwD;AACxD,MAAM,MAAM,GAAc;IACxB,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;CAC9C,CAAC;AAEF,wBAAwB;AAExB,0DAA0D;AAC1D,MAAM,CAAC,MAAM,kBAAkB,GAAa;IAC1C,IAAI,EAAE,YAAY;IAClB,EAAE,EAAE,GAAG,CAAC,GAAG,EAAE,cAAc,CAAC;IAC5B,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC;CACpB,CAAC;AAEF,4DAA4D;AAC5D,MAAM,CAAC,MAAM,oBAAoB,GAAa;IAC5C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;QACvB,GAAG,CAAC,GAAG,EAAE,SAAS,CAAC;QACnB,GAAG,CAAC,GAAG,EAAE,cAAc,CAAC;KACzB;CACF,CAAC;AAEF,4DAA4D;AAC5D,MAAM,CAAC,MAAM,gBAAgB,GAAa;IACxC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,WAAW,EAAE,MAAM,CAAC;QACxB,GAAG,CAAC,KAAK,EAAE,cAAc,CAAC;QAC1B,GAAG,CAAC,KAAK,EAAE,cAAc,CAAC;KAC3B;CACF,CAAC;AAEF,wDAAwD;AACxD,MAAM,CAAC,MAAM,kBAAkB,GAAa;IAC1C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,aAAa,EAAE,MAAM,CAAC;QAC1B;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE,CAAC,GAAG,CAAC,OAAO,EAAE,cAAc,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;SAC9D;QACD,GAAG,CAAC,cAAc,EAAE,aAAa,CAAC;KACnC;CACF,CAAC;AAEF,0BAA0B;AAC1B,gBAAgB;AAChB,MAAM,CAAC,MAAM,YAAY,GAAa;IACpC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE,CAAC,kBAAkB,EAAE,oBAAoB,CAAC;CACjD,CAAC;AAEF,wDAAwD;AACxD,MAAM,CAAC,MAAM,YAAY,GAAa;IACpC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE,CAAC,gBAAgB,EAAE,kBAAkB,CAAC;CAC7C,CAAC;AA0BF;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,KAAoB;IAClD,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,GAAG,EAAE;QACb,EAAE,IAAI,EAAE,GAAG,EAAE;QACb,EAAE,IAAI,EAAE,WAAW,EAAE;QACrB,EAAE,IAAI,EAAE,KAAK,EAAE;QACf,EAAE,IAAI,EAAE,KAAK,EAAE;QACf,EAAE,IAAI,EAAE,aAAa,EAAE;QACvB,EAAE,IAAI,EAAE,OAAO,EAAE;QACjB,EAAE,IAAI,EAAE,cAAc,EAAE;KACzB,EACD,iBAAiB,CAClB,CAAC;IACF,MAAM,EACJ,CAAC,EAAE,CAAC,EACJ,SAAS,EAAE,GAAG,EAAE,GAAG,EACnB,WAAW,EAAE,KAAK,EAAE,YAAY,GACjC,GAAG,KAAK,CAAC;IACV,MAAM,SAAS,GAAG,SAAS,GAAG,GAAG,GAAG,GAAG,CAAC;IACxC,MAAM,SAAS,GAAG,WAAW,GAAG,KAAK,GAAG,KAAK,GAAG,YAAY,CAAC;IAC7D,MAAM,WAAW,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC9B,OAAO,SAAS,GAAG,SAAS,GAAG,WAAW,CAAC;AAC7C,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,yBAAyB;IACvC,OAAO,oBAAoB,CAAC,YAAY,EAAE,YAAY,EAAE,MAAM,CAAC,CAAC;AAClE,CAAC"}

package/dist/bridges/equations/be-48-grw-localization.d.ts

@@ -1,91 +0,0 @@
-/**
- * Bridge Equation 48 — GRW mass-amplified localization rate (post Wave Y
- * reformulation). The linear law is the GRW (QMSL) centre-of-mass
- * amplification λ_macro = N λ_micro (Bassi & Ghirardi 2003 §6.4); in CSL the
- * macroscopic rate is γ D_0 n_out instead (§8.3).
- *
- *   λ_GRW(m) = λ_0 · (m / m_0)
- *
- * The mass-amplification mechanism in objective-collapse models: a
- * particle of mass m localizes at rate proportional to m/m_0, where
- * m_0 is the nucleon mass and λ_0 ≈ 10⁻¹⁶ /s is the canonical GRW
- * single-nucleon rate.
- *
- * References:
- *   - Ghirardi, Rimini & Weber 1986 *Phys. Rev. D* 34:470 (canonical
- *     GRW objective-collapse master equation; original 1986 form).
- *   - Pearle 1989 *Phys. Rev. A* 39:2277 (Continuous Spontaneous
- *     Localization; not seen).
- *   - Ghirardi, Pearle & Rimini 1990 *Phys. Rev. A* 42:78 (the CSL
- *     paper; metadata only).
- *   - Bassi & Ghirardi 2003 *Phys. Rep.* 379:257 (review; §6.4 gives the
- *     GRW/QMSL centre-of-mass amplification, §8.3 the CSL rate).
- *
- * Status: speculative.
- *
- * Honest-claude scope notes:
- *   - The full GRW master equation (encoded in formula_latex of BE-48
- *     entry, not here) is the operator-valued Lindblad form
- *     dρ/dt = -(i/ℏ)[H,ρ] + λ ∫d³x [L_x ρ L_x† - (1/2){L_x† L_x, ρ}].
- *     The Wave Y reformulation encodes only the scalar localization
- *     RATE λ_GRW(m), parallel to BE-11 encoding only the Caldeira-
- *     Leggett rate γ_k(λ) and not the full Lindblad master equation.
- *   - λ_0 = 10⁻¹⁶ /s is the canonical single-nucleon rate (per the
- *     1986 GRW Phys. Rev. D 34:470). Earlier proposals (10⁻¹⁷ /s)
- *     are superseded by experimental constraints (Adler 2007 *J.
- *     Phys. A* 40:2935).
- *   - Bracket: λ_GRW(electron) = (m_e/m_p) × 10⁻¹⁶ ≈ 5×10⁻²⁰ /s
- *     (negligible for individual electrons); λ_GRW(macroscopic 1 g)
- *     = (10⁻³ kg / 1.67×10⁻²⁷ kg) × 10⁻¹⁶ ≈ 6×10⁷ /s (rapid collapse,
- *     no macroscopic Schrödinger-cat states).
- *
- * @see docs/specification/Part-II.md ("Bridge Equation 48")
- * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 48)
- * @module bridges/equations/be-48-grw-localization
- */
-import type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
-/**
- * RHS of the mass-amplified GRW localization rate:
- *   λ_GRW(m) = λ_0 · (m / m_0)
- *
- * λ_0 has dim [frequency] = [T⁻¹]; (m / m_0) is dimensionless. Product
- * is [frequency].
- */
-export declare const BE48_GRW_LOCALIZATION_RHS: ExprNode;
-/** LHS: λ_GRW(m) has dimension [frequency] = [T⁻¹]. */
-/** @internal */
-export declare const BE48_GRW_LOCALIZATION_LHS: ExprNode;
-/**
- * @internal — typed-arg shape for the file-local `evaluateGRWLocalization` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
- */
-interface GRWLocalizationInputs {
-    /** Object mass m (kg). Must be > 0 and finite. */
-    m_kg: number;
-    /**
-     * Reference mass m_0 (kg). Default: nucleon mass m_p ≈ 1.67×10⁻²⁷ kg
-     * (standard GRW choice).
-     */
-    m_0_kg?: number;
-    /**
-     * Single-nucleon localization rate λ_0 (1/s). Default: 1×10⁻¹⁶ /s
-     * (canonical GRW 1986 value, per Ghirardi-Rimini-Weber Phys. Rev. D
-     * 34:470).
-     */
-    lambda_0_per_s?: number;
-}
-/**
- * Evaluate the GRW mass-amplified localization rate
- *
- *   λ_GRW(m) = λ_0 · (m / m_0)
- *
- * @returns Localization rate in 1/s.
- */
-export declare function evaluateGRWLocalization(input: GRWLocalizationInputs): number;
-/**
- * Run the AST through the dimensional analyzer; both sides should be
- * [frequency].
- */
-/** @internal */
-export declare function validateBE48Dimensions(): DimensionValidationReport;
-export {};
-//# sourceMappingURL=be-48-grw-localization.d.ts.map

package/dist/bridges/equations/be-48-grw-localization.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"be-48-grw-localization.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-48-grw-localization.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4CG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAO1F;;;;;;GAMG;AACH,eAAO,MAAM,yBAAyB,EAAE,QAYvC,CAAC;AAEF,uDAAuD;AACvD,gBAAgB;AAChB,eAAO,MAAM,yBAAyB,EAAE,QAAuC,CAAC;AAIhF;;GAEG;AACH,UAAU,qBAAqB;IAC7B,kDAAkD;IAClD,IAAI,EAAE,MAAM,CAAC;IACb;;;OAGG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB;;;;OAIG;IACH,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AAKD;;;;;;GAMG;AACH,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,qBAAqB,GAAG,MAAM,CAiB5E;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAMlE"}

package/dist/bridges/equations/be-48-grw-localization.js

@@ -1,103 +0,0 @@
-/**
- * Bridge Equation 48 — GRW mass-amplified localization rate (post Wave Y
- * reformulation). The linear law is the GRW (QMSL) centre-of-mass
- * amplification λ_macro = N λ_micro (Bassi & Ghirardi 2003 §6.4); in CSL the
- * macroscopic rate is γ D_0 n_out instead (§8.3).
- *
- *   λ_GRW(m) = λ_0 · (m / m_0)
- *
- * The mass-amplification mechanism in objective-collapse models: a
- * particle of mass m localizes at rate proportional to m/m_0, where
- * m_0 is the nucleon mass and λ_0 ≈ 10⁻¹⁶ /s is the canonical GRW
- * single-nucleon rate.
- *
- * References:
- *   - Ghirardi, Rimini & Weber 1986 *Phys. Rev. D* 34:470 (canonical
- *     GRW objective-collapse master equation; original 1986 form).
- *   - Pearle 1989 *Phys. Rev. A* 39:2277 (Continuous Spontaneous
- *     Localization; not seen).
- *   - Ghirardi, Pearle & Rimini 1990 *Phys. Rev. A* 42:78 (the CSL
- *     paper; metadata only).
- *   - Bassi & Ghirardi 2003 *Phys. Rep.* 379:257 (review; §6.4 gives the
- *     GRW/QMSL centre-of-mass amplification, §8.3 the CSL rate).
- *
- * Status: speculative.
- *
- * Honest-claude scope notes:
- *   - The full GRW master equation (encoded in formula_latex of BE-48
- *     entry, not here) is the operator-valued Lindblad form
- *     dρ/dt = -(i/ℏ)[H,ρ] + λ ∫d³x [L_x ρ L_x† - (1/2){L_x† L_x, ρ}].
- *     The Wave Y reformulation encodes only the scalar localization
- *     RATE λ_GRW(m), parallel to BE-11 encoding only the Caldeira-
- *     Leggett rate γ_k(λ) and not the full Lindblad master equation.
- *   - λ_0 = 10⁻¹⁶ /s is the canonical single-nucleon rate (per the
- *     1986 GRW Phys. Rev. D 34:470). Earlier proposals (10⁻¹⁷ /s)
- *     are superseded by experimental constraints (Adler 2007 *J.
- *     Phys. A* 40:2935).
- *   - Bracket: λ_GRW(electron) = (m_e/m_p) × 10⁻¹⁶ ≈ 5×10⁻²⁰ /s
- *     (negligible for individual electrons); λ_GRW(macroscopic 1 g)
- *     = (10⁻³ kg / 1.67×10⁻²⁷ kg) × 10⁻¹⁶ ≈ 6×10⁷ /s (rapid collapse,
- *     no macroscopic Schrödinger-cat states).
- *
- * @see docs/specification/Part-II.md ("Bridge Equation 48")
- * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 48)
- * @module bridges/equations/be-48-grw-localization
- */
-import { FREQUENCY, MASS, } from '../../dimensional/types.js';
-import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
-/**
- * RHS of the mass-amplified GRW localization rate:
- *   λ_GRW(m) = λ_0 · (m / m_0)
- *
- * λ_0 has dim [frequency] = [T⁻¹]; (m / m_0) is dimensionless. Product
- * is [frequency].
- */
-export const BE48_GRW_LOCALIZATION_RHS = {
-    kind: 'op', op: '*',
-    args: [
-        sym('lambda_0', FREQUENCY),
-        {
-            kind: 'op', op: '/',
-            args: [
-                sym('m', MASS),
-                sym('m_0', MASS),
-            ],
-        },
-    ],
-};
-/** LHS: λ_GRW(m) has dimension [frequency] = [T⁻¹]. */
-/** @internal */
-export const BE48_GRW_LOCALIZATION_LHS = sym('lambda_GRW', FREQUENCY);
-const DEFAULT_M_0_KG = 1.67e-27; // proton/nucleon mass
-const DEFAULT_LAMBDA_0 = 1e-16; // canonical GRW 1986 rate (per second)
-/**
- * Evaluate the GRW mass-amplified localization rate
- *
- *   λ_GRW(m) = λ_0 · (m / m_0)
- *
- * @returns Localization rate in 1/s.
- */
-export function evaluateGRWLocalization(input) {
-    const resolved = {
-        m_kg: input.m_kg,
-        m_0_kg: input.m_0_kg ?? DEFAULT_M_0_KG,
-        lambda_0_per_s: input.lambda_0_per_s ?? DEFAULT_LAMBDA_0,
-    };
-    validateFiniteInputs(resolved, [
-        { name: 'm_kg', min: 0, excludeMin: true },
-        { name: 'm_0_kg', min: 0, excludeMin: true },
-        { name: 'lambda_0_per_s', min: 0 },
-    ], 'evaluateGRWLocalization');
-    const { m_kg, m_0_kg, lambda_0_per_s } = resolved;
-    return lambda_0_per_s * (m_kg / m_0_kg);
-}
-// --- Self-validation ---
-/**
- * Run the AST through the dimensional analyzer; both sides should be
- * [frequency].
- */
-/** @internal */
-export function validateBE48Dimensions() {
-    return validateBEDimensions(BE48_GRW_LOCALIZATION_LHS, BE48_GRW_LOCALIZATION_RHS, 'BE48');
-}
-//# sourceMappingURL=be-48-grw-localization.js.map

package/dist/bridges/equations/be-48-grw-localization.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"be-48-grw-localization.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-48-grw-localization.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4CG;AAGH,OAAO,EACL,SAAS,EACT,IAAI,GACL,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAa;IACjD,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,UAAU,EAAE,SAAS,CAAC;QAC1B;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC;gBACd,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC;aACjB;SACF;KACF;CACF,CAAC;AAEF,uDAAuD;AACvD,gBAAgB;AAChB,MAAM,CAAC,MAAM,yBAAyB,GAAa,GAAG,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC;AAuBhF,MAAM,cAAc,GAAG,QAAQ,CAAC,CAAC,sBAAsB;AACvD,MAAM,gBAAgB,GAAG,KAAK,CAAC,CAAC,uCAAuC;AAEvE;;;;;;GAMG;AACH,MAAM,UAAU,uBAAuB,CAAC,KAA4B;IAClE,MAAM,QAAQ,GAAG;QACf,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,MAAM,EAAE,KAAK,CAAC,MAAM,IAAI,cAAc;QACtC,cAAc,EAAE,KAAK,CAAC,cAAc,IAAI,gBAAgB;KACzD,CAAC;IACF,oBAAoB,CAClB,QAAQ,EACR;QACE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QAC1C,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QAC5C,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,CAAC,EAAE;KACnC,EACD,yBAAyB,CAC1B,CAAC;IACF,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,cAAc,EAAE,GAAG,QAAQ,CAAC;IAClD,OAAO,cAAc,GAAG,CAAC,IAAI,GAAG,MAAM,CAAC,CAAC;AAC1C,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CACzB,yBAAyB,EACzB,yBAAyB,EACzB,MAAM,CACP,CAAC;AACJ,CAAC"}

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

@@ -1,103 +0,0 @@
-/**
- * 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. */
-/** @internal */
-export declare const BE49_QUANTUM_DARWINISM_LHS: ExprNode;
-/**
- * @internal — typed-arg shape for the file-local `evaluateQuantumDarwinism` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
- */
-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.
- */
-/** @internal */
-export declare function validateBE49Dimensions(): DimensionValidationReport;
-export {};
-//# sourceMappingURL=be-49-quantum-darwinism.d.ts.map

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

@@ -1 +0,0 @@
-{"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;AAM1F;;;;;;;GAOG;AACH,eAAO,MAAM,0BAA0B,EAAE,QAexC,CAAC;AAEF,sCAAsC;AACtC,gBAAgB;AAChB,eAAO,MAAM,0BAA0B,EAAE,QAAuC,CAAC;AAIjF;;GAEG;AACH,UAAU,sBAAsB;IAC9B,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,CAa9E;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAElE"}

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

@@ -1,117 +0,0 @@
-/**
- * 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 { DIMENSIONLESS, } from '../../dimensional/types.js';
-import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.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 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. */
-/** @internal */
-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) {
-    validateFiniteInputs(input, [
-        { name: 'I_SE' },
-        { name: 'alpha' },
-        { name: 'k', min: 0, excludeMin: true },
-        { name: 'beta' },
-    ], 'evaluateQuantumDarwinism');
-    const { I_SE, alpha, k, beta } = input;
-    return I_SE - alpha * Math.pow(k, -beta);
-}
-// --- Self-validation ---
-/**
- * Run the AST through the dimensional analyzer; both sides should be
- * dimensionless.
- */
-/** @internal */
-export function validateBE49Dimensions() {
-    return validateBEDimensions(BE49_QUANTUM_DARWINISM_LHS, BE49_QUANTUM_DARWINISM_RHS, 'BE49');
-}
-//# sourceMappingURL=be-49-quantum-darwinism.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"be-49-quantum-darwinism.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-49-quantum-darwinism.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwDG;AAGH,OAAO,EACL,aAAa,GACd,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF;;;;;;;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,gBAAgB;AAChB,MAAM,CAAC,MAAM,0BAA0B,GAAa,GAAG,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;AAkBjF;;;;;;;;;;GAUG;AACH,MAAM,UAAU,wBAAwB,CAAC,KAA6B;IACpE,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,MAAM,EAAE;QAChB,EAAE,IAAI,EAAE,OAAO,EAAE;QACjB,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QACvC,EAAE,IAAI,EAAE,MAAM,EAAE;KACjB,EACD,0BAA0B,CAC3B,CAAC;IACF,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC;IACvC,OAAO,IAAI,GAAG,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;AAC3C,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CAAC,0BAA0B,EAAE,0BAA0B,EAAE,MAAM,CAAC,CAAC;AAC9F,CAAC"}