universal-physics-tensor 7.0.0 → 9.0.0

package/dist/bridges/equations/be-45-tcc.js

@@ -1,149 +0,0 @@
-/**
- * Bridge Equation 45 — Trans-Planckian Censorship Conjecture (TCC) bound
- * on inflationary e-folds (Bedroya-Vafa 2019 + γ-extension).
- *
- *   N_e_max = log(M_P / H_inf) - γ · log(r / 0.01)
- *
- * N_e_max is the maximum number of inflationary e-folds before
- * trans-Planckian modes become observable. The canonical Bedroya-Vafa
- * bound (arXiv:1909.11063) is just `N_e < ln(M_P/H_inf)`; the
- * `-γ log(r/0.01)` term is an extension original to this framework
- * (no published derivation).
- *
- * **Natural-units convention (honest-claude resolution).** The log
- * argument `M_P/H_inf` requires that ratio to be dimensionless. In
- * natural units (ℏ = c = 1) both M_P and H_inf are energies, so the
- * ratio is dimensionless ✓. In SI, M_P has [mass] and H_inf has [1/T];
- * the ratio is `[kg·s]` which is NOT dimensionless. The TCC literature
- * works in natural units throughout (Bedroya-Vafa 2019; also the
- * convention BE-39 asymptotic-safety and BE-40 composite-Higgs use).
- * This module pins natural units explicitly: M_P and H_inf are both
- * encoded as ENERGY symbols, and the numerical evaluator takes them
- * in GeV with the user responsible for converting H_inf to its
- * energy-equivalent (E_inf = ℏ H_inf in SI, or H_inf-in-GeV directly
- * in natural units).
- *
- * **Dimensionless-stub pattern for log.** The AST has no `log`
- * primitive. Following the same pattern as BE-26's exp(-WKB) and
- * BE-41's exp(...), we encode `log(M_P/H_inf)` and `log(r/0.01)` as
- * dimensionless symbol stubs, and expose the TWO log arguments as
- * separate ExprNodes (`BE45_LOG_RATIO_ARG_MP_HINF` and
- * `BE45_LOG_RATIO_ARG_R`) so the lemma tests can verify each argument
- * is dimensionless.
- *
- * Bracket-checks (numerical evaluator computes the TCC bound directly):
- *   - M_P = 1.22e19 GeV, H_inf = 1e14 GeV (GUT-scale), r = 0.01:
- *     N_e_max = log(1.22e5) ≈ 11.71 (12 e-folds) — TCC's typical
- *     observation window;
- *   - N_e_max increases as M_P/H_inf increases (lower-energy
- *     inflation allows more e-folds);
- *   - N_e_max decreases as γ·log(r/0.01) increases.
- *
- * References:
- *   - Bedroya & Vafa 2019 (arXiv:1909.11063; canonical TCC statement);
- *   - Bedroya, Brandenberger, Loverde, Vafa 2020 *Phys. Rev. D* 101:103502
- *     (arXiv:1909.11063 follow-up; observational implications).
- *
- * Status: speculative.
- *
- * Honest-claude scope notes:
- *   - The base Bedroya-Vafa bound `N_e < ln(M_P/H_inf)` is the
- *     canonical content; the `-γ log(r/0.01)` extension is original
- *     to this framework, with no published derivation. γ is
- *     dimensionless O(1) (treated as a free parameter here).
- *   - Natural units are pinned by convention; the SI equivalent
- *     would require re-deriving the relation with explicit ℏ, c
- *     factors. This is documented but not implemented.
- *
- * @see docs/specification/Part-II.md ("Bridge Equation 45: Trans-Planckian Censorship Constraint")
- * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 45)
- * @module bridges/equations/be-45-tcc
- */
-import { DIMENSIONLESS, ENERGY, } from '../../dimensional/types.js';
-import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
-/**
- * Lemma AST: the M_P/H_inf log argument (natural-units convention,
- * both quantities as ENERGY).
- *
- * Exposed for the lemma test that verifies the argument is
- * dimensionless (per the dimensionless-stub convention; see
- * `src/dimensional/README.md` "Encoding transcendental functions").
- */
-export const BE45_LOG_RATIO_ARG_MP_HINF = {
-    kind: 'op', op: '/',
-    args: [
-        sym('M_P', ENERGY),
-        sym('H_inf', ENERGY), // natural units: ℏ H_inf has dim [energy]
-    ],
-};
-/**
- * Lemma AST: the r/0.01 log argument (both quantities dimensionless).
- *
- * r is the tensor-to-scalar ratio (dimensionless); 0.01 is the
- * dimensionless reference value used in the γ-correction term.
- */
-export const BE45_LOG_RATIO_ARG_R = {
-    kind: 'op', op: '/',
-    args: [
-        sym('r', DIMENSIONLESS),
-        sym('0.01', DIMENSIONLESS),
-    ],
-};
-/**
- * RHS of the TCC bound:
- *   log(M_P/H_inf) - γ · log(r/0.01)
- *
- * Both `log_MP_Hinf` and `log_r_ratio` are encoded as dimensionless
- * symbol stubs (the AST has no `log` primitive). The arguments are
- * verified dimensionless via `BE45_LOG_RATIO_ARG_MP_HINF` and
- * `BE45_LOG_RATIO_ARG_R`. γ is dimensionless O(1).
- */
-export const BE45_TCC_RHS = {
-    kind: 'op', op: '-',
-    args: [
-        // Faithful (v0.19): natural logs over the exposed dimensionless ratios, so
-        // M_P/H_inf and r are visible to differentiation. The numerical evaluator
-        // uses Math.log (natural), matched here. ln of a DIMENSIONLESS arg is
-        // DIMENSIONLESS, so the round-trip dimensional_signature is unchanged.
-        { kind: 'transcendental', fn: 'ln', arg: BE45_LOG_RATIO_ARG_MP_HINF },
-        {
-            kind: 'op', op: '*',
-            args: [
-                sym('gamma', DIMENSIONLESS),
-                { kind: 'transcendental', fn: 'ln', arg: BE45_LOG_RATIO_ARG_R },
-            ],
-        },
-    ],
-};
-/** LHS: N_e_max is dimensionless (number of e-folds = log of expansion factor). */
-/** @internal */
-export const BE45_TCC_LHS = sym('N_e_max', DIMENSIONLESS);
-/**
- * Evaluate the TCC bound on inflationary e-folds (natural log):
- *
- *   N_e_max = ln(M_P/H_inf) - γ · ln(r/0.01)
- *
- * Natural log convention follows Bedroya-Vafa 2019.
- *
- * @returns Dimensionless maximum number of e-folds.
- */
-export function evaluateTCC(input) {
-    validateFiniteInputs(input, [
-        { name: 'M_P_GeV', min: 0, excludeMin: true },
-        { name: 'H_inf_GeV', min: 0, excludeMin: true },
-        { name: 'r', min: 0, excludeMin: true },
-        { name: 'gamma' },
-    ], 'evaluateTCC');
-    const { M_P_GeV, H_inf_GeV, r, gamma } = input;
-    return Math.log(M_P_GeV / H_inf_GeV) - gamma * Math.log(r / 0.01);
-}
-// --- Self-validation ---
-/**
- * Run the AST through the dimensional analyzer; both sides should be
- * dimensionless.
- */
-/** @internal */
-export function validateBE45Dimensions() {
-    return validateBEDimensions(BE45_TCC_LHS, BE45_TCC_RHS, 'BE45');
-}
-//# sourceMappingURL=be-45-tcc.js.map

package/dist/bridges/equations/be-45-tcc.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"be-45-tcc.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-45-tcc.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4DG;AAGH,OAAO,EACL,aAAa,EACb,MAAM,GACP,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,KAAK,EAAE,MAAM,CAAC;QAClB,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,0CAA0C;KACjE;CACF,CAAC;AAEF;;;;;GAKG;AACH,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,MAAM,EAAE,aAAa,CAAC;KAC3B;CACF,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,YAAY,GAAa;IACpC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,2EAA2E;QAC3E,0EAA0E;QAC1E,sEAAsE;QACtE,uEAAuE;QACvE,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,0BAA0B,EAAE;QACrE;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,OAAO,EAAE,aAAa,CAAC;gBAC3B,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,oBAAoB,EAAE;aAChE;SACF;KACF;CACF,CAAC;AAEF,mFAAmF;AACnF,gBAAgB;AAChB,MAAM,CAAC,MAAM,YAAY,GAAa,GAAG,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;AAkBpE;;;;;;;;GAQG;AACH,MAAM,UAAU,WAAW,CAAC,KAAgB;IAC1C,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QAC7C,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QAC/C,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QACvC,EAAE,IAAI,EAAE,OAAO,EAAE;KAClB,EACD,aAAa,CACd,CAAC;IACF,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IAC/C,OAAO,IAAI,CAAC,GAAG,CAAC,OAAO,GAAG,SAAS,CAAC,GAAG,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;AACpE,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CAAC,YAAY,EAAE,YAAY,EAAE,MAAM,CAAC,CAAC;AAClE,CAAC"}

package/dist/bridges/equations/be-46-multiverse-measure.d.ts

@@ -1,169 +0,0 @@
-/**
- * Bridge Equation 46 — Multiverse Measure Problem
- * (Weinberg-Vilenkin anthropic-probability scalar reduction).
- *
- * **Original (formally divergent) form.**
- *
- *   P[O] = ∫ dμ[g, φ] W[g, φ] δ(O − O[g, φ])
- *
- * The integration measure dμ over the space of all spacetime metrics
- * and field configurations is not Turing-computable, and the weighting
- * factor W is itself the **unsolved measure problem** — the equation's
- * own subject. As written, the original BE-46 is not a closed-form
- * mathematical object that can be encoded in the UPT AST grammar
- * (`symbol | op (* / + - ^) | integral | derivative` — there is no
- * functional integral over the space of metrics). It is included in
- * the catalog as a flagged formally-divergent entry whose role is to
- * surface the bridge-framing question, not to be evaluated.
- *
- * **Encoded reduction (Weinberg-Vilenkin form).** Wave Z applies
- * OpenAI's scalar reduction: instead of encoding the full path
- * integral, we encode the most-cited specific anthropic-probability
- * proposal — the Weinberg-Vilenkin form for a cosmological-constant-
- * like landscape parameter Λ:
- *
- *   P(Λ) = A · exp(−α / Λ)
- *
- * where:
- *   - P(Λ) is a probability ∈ [0, 1] (DIMENSIONLESS by definition);
- *   - A is a normalization constant (DIMENSIONLESS; scheme-dependent —
- *     it depends on the integrating-out cutoff used to render the
- *     underlying measure finite);
- *   - α is a model parameter, and Λ is the landscape parameter; the
- *     ratio α/Λ must be dimensionless for the exponential to be
- *     mathematically meaningful, so we encode α and Λ both as
- *     DIMENSIONLESS symbols (treating them as ratio components in the
- *     dimensionless argument).
- *
- * **Dimensionless-stub pattern for exp.** The AST has no `exp`
- * primitive. Following the same pattern as BE-26 (exp(-WKB)), BE-41
- * (exp(...)) and BE-45 (log()), we encode `exp(−α/Λ)` as a fresh
- * DIMENSIONLESS symbol stub `exp_factor` and expose the exp-argument
- * `−α/Λ` separately as `BE46_EXP_ARGUMENT` so the lemma test can
- * verify it is dimensionless directly. The stub does NOT enforce that
- * the argument is dimensionless — that is a property the encoding
- * committee enforces by construction.
- *
- * Bracket-checks (numerical evaluator computes P(Λ) = A·exp(−α/Λ)):
- *   - At Λ = α (the e-folding point): P = A · exp(−1) ≈ A · 0.368;
- *   - For large Λ (Λ ≫ α): P → A (exponential suppression vanishes,
- *     Λ-large limit dominates);
- *   - For small Λ (Λ ≪ α): P → 0 (exponential suppression is severe).
- *
- * References:
- *   - Linde, Linde & Mezhlumian 1994 *Phys. Rev. D* 49:1783
- *     (arXiv:gr-qc/9306035; volume-weighting and scale-factor cutoff
- *     measure proposals).
- *   - Vilenkin 1995 *Phys. Rev. Lett.* 74:846 (arXiv:gr-qc/9406010;
- *     proper-time cutoff measure; canonical anthropic-probability
- *     formulation).
- *   - Garriga & Vilenkin 2001 *Phys. Rev. D* 64:023507; comparative
- *     analysis of measure proposals.
- *   - Freivogel 2011 *Class. Quantum Grav.* 28:204007
- *     (arXiv:1105.0244; review of the measure-problem proposals;
- *     canonical reference for the unsolved-problem framing).
- *   - Weinberg 1987 *Phys. Rev. Lett.* 59:2607 (canonical anthropic
- *     prediction for the cosmological constant — the physical
- *     motivation for the `exp(−α/Λ)` form).
- *
- * Status: highly-speculative.
- *
- * Honest-claude scope notes:
- *   - This module encodes ONE specific measure proposal — the
- *     Weinberg-Vilenkin / `exp(−α/Λ)` form. Alternative measures
- *     (proper-time cutoff, scale-factor cutoff, causal-patch,
- *     Hartle-Hawking no-boundary) give DIFFERENT P(Λ) shapes; the
- *     measure problem is unsolved precisely because there is no
- *     consensus first-principles derivation that picks out one.
- *   - The exp argument α/Λ is dimensionless **by the dimensionless-
- *     stub convention**; α and Λ are encoded as DIMENSIONLESS symbols
- *     because they appear as ratio components of a dimensionless
- *     scalar. In a more elaborate encoding α and Λ might carry
- *     [energy^4] (cosmological-constant density) and cancel; that is
- *     not modelled here.
- *   - The normalization A is itself a scheme-dependent quantity (it
- *     depends on the integrating-out cutoff applied to the underlying
- *     measure to render it finite). The numerical evaluator takes A
- *     as a free input.
- *   - Status 'highly-speculative' is **not lifted by this encoding**.
- *     Pinning a Tier-5 AST does not promote the bridge framing — the
- *     measure problem remains unsolved, and `exp(−α/Λ)` is one
- *     proposal among several. Promoting 'highly-speculative' →
- *     'speculative' or 'established' would require deleting the
- *     status-pin test in `tests/bridges/be-46-encoding.test.ts`
- *     deliberately.
- *
- * @see docs/specification/Part-II.md ("Bridge Equation 46: Multiverse Measure Problem")
- * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 46)
- * @module bridges/equations/be-46-multiverse-measure
- */
-import type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
-/**
- * Lemma AST: the exp argument `−α / Λ` (DIMENSIONLESS).
- *
- * Encoded as `(0 - α) / Λ` so the binary-subtract/divide validator can
- * walk the tree; an equivalent encoding `(-1) · (α/Λ)` via a
- * dimensionless `neg_one` would also be valid. Both α and Λ carry the
- * DIMENSIONLESS dimension (they are ratio components of a dimensionless
- * scalar — see module-header honest-claude notes).
- *
- * Exposed for the lemma test that verifies the exp argument is
- * dimensionless (per the dimensionless-stub convention).
- */
-export declare const BE46_EXP_ARGUMENT: ExprNode;
-/**
- * The `exp(−α/Λ)` factor, encoded faithfully with the `transcendental` grammar
- * node (v0.19) over `BE46_EXP_ARGUMENT` (−α/Λ), so α and Λ are visible to
- * differentiation. `exp` of a DIMENSIONLESS argument is DIMENSIONLESS, so the
- * inferred dimension (and round-trip dimensional_signature) is unchanged from
- * the former `exp_factor` symbol stub.
- */
-export declare const BE46_EXP_FACTOR: ExprNode;
-/**
- * Lemma AST: the normalization constant A (DIMENSIONLESS;
- * scheme-dependent — depends on the cutoff used to render the
- * underlying measure finite).
- */
-export declare const BE46_NORMALIZATION: ExprNode;
-/**
- * RHS of `P(Λ) = A · exp(−α/Λ)` as a typed ExprNode tree:
- *
- *   A · exp_factor
- *
- * `exp_factor` is a DIMENSIONLESS symbol stub for `exp(−α/Λ)`; the
- * argument `−α/Λ` is exposed via `BE46_EXP_ARGUMENT` and verified
- * dimensionless directly.
- */
-export declare const BE46_ANTHROPIC_PROBABILITY_RHS: ExprNode;
-/** LHS: P(Λ) is a probability, DIMENSIONLESS by definition (P ∈ [0, 1]). */
-/** @internal */
-export declare const BE46_ANTHROPIC_PROBABILITY_LHS: ExprNode;
-/**
- * @internal — typed-arg shape for the file-local `evaluateAnthropic` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
- */
-interface AnthropicInputs {
-    /** Normalization constant A (dimensionless; scheme-dependent). Must be finite. */
-    normalization: number;
-    /** Model parameter α (dimensionless ratio component). Must be finite. */
-    alpha: number;
-    /** Landscape parameter Λ (dimensionless ratio component). Must be finite and > 0. */
-    lambda: number;
-}
-/**
- * Evaluate the Weinberg-Vilenkin anthropic probability:
- *
- *   P(Λ) = A · exp(−α / Λ)
- *
- * @returns Dimensionless probability (caller is responsible for
- * ensuring the chosen (A, α, Λ) yield P ∈ [0, 1] — the function does
- * not clamp).
- */
-export declare function evaluateWeinbergVilenkinP(input: AnthropicInputs): number;
-/**
- * Run the AST through the dimensional analyzer; LHS and RHS should
- * both be DIMENSIONLESS.
- */
-/** @internal */
-export declare function validateBE46Dimensions(): DimensionValidationReport;
-export {};
-//# sourceMappingURL=be-46-multiverse-measure.d.ts.map

package/dist/bridges/equations/be-46-multiverse-measure.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"be-46-multiverse-measure.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-46-multiverse-measure.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkGG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAQ1F;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,iBAAiB,EAAE,QAY/B,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,eAAe,EAAE,QAI7B,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,kBAAkB,EAAE,QAAkC,CAAC;AAEpE;;;;;;;;GAQG;AACH,eAAO,MAAM,8BAA8B,EAAE,QAM5C,CAAC;AAEF,4EAA4E;AAC5E,gBAAgB;AAChB,eAAO,MAAM,8BAA8B,EAAE,QAAyC,CAAC;AAIvF;;GAEG;AACH,UAAU,eAAe;IACvB,kFAAkF;IAClF,aAAa,EAAE,MAAM,CAAC;IACtB,yEAAyE;IACzE,KAAK,EAAE,MAAM,CAAC;IACd,qFAAqF;IACrF,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;;;;;;;;GAQG;AACH,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,eAAe,GAAG,MAAM,CAYxE;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAMlE"}

package/dist/bridges/equations/be-46-multiverse-measure.js

@@ -1,192 +0,0 @@
-/**
- * Bridge Equation 46 — Multiverse Measure Problem
- * (Weinberg-Vilenkin anthropic-probability scalar reduction).
- *
- * **Original (formally divergent) form.**
- *
- *   P[O] = ∫ dμ[g, φ] W[g, φ] δ(O − O[g, φ])
- *
- * The integration measure dμ over the space of all spacetime metrics
- * and field configurations is not Turing-computable, and the weighting
- * factor W is itself the **unsolved measure problem** — the equation's
- * own subject. As written, the original BE-46 is not a closed-form
- * mathematical object that can be encoded in the UPT AST grammar
- * (`symbol | op (* / + - ^) | integral | derivative` — there is no
- * functional integral over the space of metrics). It is included in
- * the catalog as a flagged formally-divergent entry whose role is to
- * surface the bridge-framing question, not to be evaluated.
- *
- * **Encoded reduction (Weinberg-Vilenkin form).** Wave Z applies
- * OpenAI's scalar reduction: instead of encoding the full path
- * integral, we encode the most-cited specific anthropic-probability
- * proposal — the Weinberg-Vilenkin form for a cosmological-constant-
- * like landscape parameter Λ:
- *
- *   P(Λ) = A · exp(−α / Λ)
- *
- * where:
- *   - P(Λ) is a probability ∈ [0, 1] (DIMENSIONLESS by definition);
- *   - A is a normalization constant (DIMENSIONLESS; scheme-dependent —
- *     it depends on the integrating-out cutoff used to render the
- *     underlying measure finite);
- *   - α is a model parameter, and Λ is the landscape parameter; the
- *     ratio α/Λ must be dimensionless for the exponential to be
- *     mathematically meaningful, so we encode α and Λ both as
- *     DIMENSIONLESS symbols (treating them as ratio components in the
- *     dimensionless argument).
- *
- * **Dimensionless-stub pattern for exp.** The AST has no `exp`
- * primitive. Following the same pattern as BE-26 (exp(-WKB)), BE-41
- * (exp(...)) and BE-45 (log()), we encode `exp(−α/Λ)` as a fresh
- * DIMENSIONLESS symbol stub `exp_factor` and expose the exp-argument
- * `−α/Λ` separately as `BE46_EXP_ARGUMENT` so the lemma test can
- * verify it is dimensionless directly. The stub does NOT enforce that
- * the argument is dimensionless — that is a property the encoding
- * committee enforces by construction.
- *
- * Bracket-checks (numerical evaluator computes P(Λ) = A·exp(−α/Λ)):
- *   - At Λ = α (the e-folding point): P = A · exp(−1) ≈ A · 0.368;
- *   - For large Λ (Λ ≫ α): P → A (exponential suppression vanishes,
- *     Λ-large limit dominates);
- *   - For small Λ (Λ ≪ α): P → 0 (exponential suppression is severe).
- *
- * References:
- *   - Linde, Linde & Mezhlumian 1994 *Phys. Rev. D* 49:1783
- *     (arXiv:gr-qc/9306035; volume-weighting and scale-factor cutoff
- *     measure proposals).
- *   - Vilenkin 1995 *Phys. Rev. Lett.* 74:846 (arXiv:gr-qc/9406010;
- *     proper-time cutoff measure; canonical anthropic-probability
- *     formulation).
- *   - Garriga & Vilenkin 2001 *Phys. Rev. D* 64:023507; comparative
- *     analysis of measure proposals.
- *   - Freivogel 2011 *Class. Quantum Grav.* 28:204007
- *     (arXiv:1105.0244; review of the measure-problem proposals;
- *     canonical reference for the unsolved-problem framing).
- *   - Weinberg 1987 *Phys. Rev. Lett.* 59:2607 (canonical anthropic
- *     prediction for the cosmological constant — the physical
- *     motivation for the `exp(−α/Λ)` form).
- *
- * Status: highly-speculative.
- *
- * Honest-claude scope notes:
- *   - This module encodes ONE specific measure proposal — the
- *     Weinberg-Vilenkin / `exp(−α/Λ)` form. Alternative measures
- *     (proper-time cutoff, scale-factor cutoff, causal-patch,
- *     Hartle-Hawking no-boundary) give DIFFERENT P(Λ) shapes; the
- *     measure problem is unsolved precisely because there is no
- *     consensus first-principles derivation that picks out one.
- *   - The exp argument α/Λ is dimensionless **by the dimensionless-
- *     stub convention**; α and Λ are encoded as DIMENSIONLESS symbols
- *     because they appear as ratio components of a dimensionless
- *     scalar. In a more elaborate encoding α and Λ might carry
- *     [energy^4] (cosmological-constant density) and cancel; that is
- *     not modelled here.
- *   - The normalization A is itself a scheme-dependent quantity (it
- *     depends on the integrating-out cutoff applied to the underlying
- *     measure to render it finite). The numerical evaluator takes A
- *     as a free input.
- *   - Status 'highly-speculative' is **not lifted by this encoding**.
- *     Pinning a Tier-5 AST does not promote the bridge framing — the
- *     measure problem remains unsolved, and `exp(−α/Λ)` is one
- *     proposal among several. Promoting 'highly-speculative' →
- *     'speculative' or 'established' would require deleting the
- *     status-pin test in `tests/bridges/be-46-encoding.test.ts`
- *     deliberately.
- *
- * @see docs/specification/Part-II.md ("Bridge Equation 46: Multiverse Measure Problem")
- * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 46)
- * @module bridges/equations/be-46-multiverse-measure
- */
-import { DIMENSIONLESS, } from '../../dimensional/types.js';
-import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
-// --- Symbolic AST ---
-/**
- * Lemma AST: the exp argument `−α / Λ` (DIMENSIONLESS).
- *
- * Encoded as `(0 - α) / Λ` so the binary-subtract/divide validator can
- * walk the tree; an equivalent encoding `(-1) · (α/Λ)` via a
- * dimensionless `neg_one` would also be valid. Both α and Λ carry the
- * DIMENSIONLESS dimension (they are ratio components of a dimensionless
- * scalar — see module-header honest-claude notes).
- *
- * Exposed for the lemma test that verifies the exp argument is
- * dimensionless (per the dimensionless-stub convention).
- */
-export const BE46_EXP_ARGUMENT = {
-    kind: 'op', op: '/',
-    args: [
-        {
-            kind: 'op', op: '-',
-            args: [
-                sym('0', DIMENSIONLESS),
-                sym('alpha', DIMENSIONLESS),
-            ],
-        },
-        sym('Lambda', DIMENSIONLESS),
-    ],
-};
-/**
- * The `exp(−α/Λ)` factor, encoded faithfully with the `transcendental` grammar
- * node (v0.19) over `BE46_EXP_ARGUMENT` (−α/Λ), so α and Λ are visible to
- * differentiation. `exp` of a DIMENSIONLESS argument is DIMENSIONLESS, so the
- * inferred dimension (and round-trip dimensional_signature) is unchanged from
- * the former `exp_factor` symbol stub.
- */
-export const BE46_EXP_FACTOR = {
-    kind: 'transcendental',
-    fn: 'exp',
-    arg: BE46_EXP_ARGUMENT,
-};
-/**
- * Lemma AST: the normalization constant A (DIMENSIONLESS;
- * scheme-dependent — depends on the cutoff used to render the
- * underlying measure finite).
- */
-export const BE46_NORMALIZATION = sym('A', DIMENSIONLESS);
-/**
- * RHS of `P(Λ) = A · exp(−α/Λ)` as a typed ExprNode tree:
- *
- *   A · exp_factor
- *
- * `exp_factor` is a DIMENSIONLESS symbol stub for `exp(−α/Λ)`; the
- * argument `−α/Λ` is exposed via `BE46_EXP_ARGUMENT` and verified
- * dimensionless directly.
- */
-export const BE46_ANTHROPIC_PROBABILITY_RHS = {
-    kind: 'op', op: '*',
-    args: [
-        BE46_NORMALIZATION,
-        BE46_EXP_FACTOR,
-    ],
-};
-/** LHS: P(Λ) is a probability, DIMENSIONLESS by definition (P ∈ [0, 1]). */
-/** @internal */
-export const BE46_ANTHROPIC_PROBABILITY_LHS = sym('P_Lambda', DIMENSIONLESS);
-/**
- * Evaluate the Weinberg-Vilenkin anthropic probability:
- *
- *   P(Λ) = A · exp(−α / Λ)
- *
- * @returns Dimensionless probability (caller is responsible for
- * ensuring the chosen (A, α, Λ) yield P ∈ [0, 1] — the function does
- * not clamp).
- */
-export function evaluateWeinbergVilenkinP(input) {
-    validateFiniteInputs(input, [
-        { name: 'normalization' },
-        { name: 'alpha' },
-        { name: 'lambda', min: 0, excludeMin: true },
-    ], 'evaluateWeinbergVilenkinP');
-    const { normalization, alpha, lambda } = input;
-    return normalization * Math.exp(-alpha / lambda);
-}
-// --- Self-validation ---
-/**
- * Run the AST through the dimensional analyzer; LHS and RHS should
- * both be DIMENSIONLESS.
- */
-/** @internal */
-export function validateBE46Dimensions() {
-    return validateBEDimensions(BE46_ANTHROPIC_PROBABILITY_LHS, BE46_ANTHROPIC_PROBABILITY_RHS, 'BE46');
-}
-//# sourceMappingURL=be-46-multiverse-measure.js.map

package/dist/bridges/equations/be-46-multiverse-measure.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"be-46-multiverse-measure.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-46-multiverse-measure.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkGG;AAGH,OAAO,EACL,aAAa,GACd,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF,uBAAuB;AAEvB;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAa;IACzC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;gBACvB,GAAG,CAAC,OAAO,EAAE,aAAa,CAAC;aAC5B;SACF;QACD,GAAG,CAAC,QAAQ,EAAE,aAAa,CAAC;KAC7B;CACF,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,eAAe,GAAa;IACvC,IAAI,EAAE,gBAAgB;IACtB,EAAE,EAAE,KAAK;IACT,GAAG,EAAE,iBAAiB;CACvB,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAa,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;AAEpE;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,8BAA8B,GAAa;IACtD,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,kBAAkB;QAClB,eAAe;KAChB;CACF,CAAC;AAEF,4EAA4E;AAC5E,gBAAgB;AAChB,MAAM,CAAC,MAAM,8BAA8B,GAAa,GAAG,CAAC,UAAU,EAAE,aAAa,CAAC,CAAC;AAgBvF;;;;;;;;GAQG;AACH,MAAM,UAAU,yBAAyB,CAAC,KAAsB;IAC9D,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,eAAe,EAAE;QACzB,EAAE,IAAI,EAAE,OAAO,EAAE;QACjB,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;KAC7C,EACD,2BAA2B,CAC5B,CAAC;IACF,MAAM,EAAE,aAAa,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IAC/C,OAAO,aAAa,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,MAAM,CAAC,CAAC;AACnD,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CACzB,8BAA8B,EAC9B,8BAA8B,EAC9B,MAAM,CACP,CAAC;AACJ,CAAC"}

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

@@ -1,78 +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 type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
-/** dY/dt — derivative of number density Y w.r.t. time. */
-export declare const BBN_DARK_DYDT_TERM: ExprNode;
-/** 3 H Y — Hubble dilution drag (H is frequency [T^-1]). */
-export declare const BBN_DARK_HUBBLE_TERM: ExprNode;
-/** ⟨σv⟩_SM · n_p · n_n — Standard Model two-body source. */
-export declare const BBN_DARK_SM_TERM: ExprNode;
-/** ⟨σv⟩_dark · n_χ² · ε_transfer — dark-sector sink. */
-export declare const BBN_DARK_DARK_TERM: ExprNode;
-/** LHS: dY/dt + 3 H Y. */
-/** @internal */
-export declare const BBN_DARK_LHS: ExprNode;
-/** RHS: ⟨σv⟩_SM n_p n_n − ⟨σv⟩_dark n_χ² ε_transfer. */
-export declare const BBN_DARK_RHS: ExprNode;
-/**
- * @internal — typed-arg shape for the file-local `evaluateBBNDark` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
- */
-interface BBNDarkInputs {
-    /** Hubble parameter H (s^-1). */
-    H: number;
-    /** Yield / number density Y (m^-3). */
-    Y: number;
-    /** ⟨σv⟩_SM (m^3/s). */
-    sigmav_SM: number;
-    /** Proton number density (m^-3). */
-    n_p: number;
-    /** Neutron number density (m^-3). */
-    n_n: number;
-    /** ⟨σv⟩_dark (m^3/s). */
-    sigmav_dark: number;
-    /** Dark species number density n_χ (m^-3). */
-    n_chi: number;
-    /** Dimensionless transfer efficiency ε. */
-    eps_transfer: number;
-}
-/**
- * Evaluate dY/dt = ⟨σv⟩_SM n_p n_n − ⟨σv⟩_dark n_χ² ε − 3 H Y.
- *
- * @returns dY/dt in (m^-3 s^-1).
- */
-export declare function evaluateBBNDark(input: BBNDarkInputs): number;
-/**
- * Run the AST through the dimensional analyzer; both LHS and RHS
- * should be [L^-3 T^-1].
- */
-/** @internal */
-export declare function validateBBNDarkDimensions(): DimensionValidationReport;
-export {};
-//# sourceMappingURL=be-47-bbn-dark-sector.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"be-47-bbn-dark-sector.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-47-bbn-dark-sector.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAqB1F,0DAA0D;AAC1D,eAAO,MAAM,kBAAkB,EAAE,QAIhC,CAAC;AAEF,4DAA4D;AAC5D,eAAO,MAAM,oBAAoB,EAAE,QAOlC,CAAC;AAEF,4DAA4D;AAC5D,eAAO,MAAM,gBAAgB,EAAE,QAO9B,CAAC;AAEF,wDAAwD;AACxD,eAAO,MAAM,kBAAkB,EAAE,QAUhC,CAAC;AAEF,0BAA0B;AAC1B,gBAAgB;AAChB,eAAO,MAAM,YAAY,EAAE,QAG1B,CAAC;AAEF,wDAAwD;AACxD,eAAO,MAAM,YAAY,EAAE,QAG1B,CAAC;AAIF;;GAEG;AACH,UAAU,aAAa;IACrB,iCAAiC;IACjC,CAAC,EAAE,MAAM,CAAC;IACV,uCAAuC;IACvC,CAAC,EAAE,MAAM,CAAC;IACV,uBAAuB;IACvB,SAAS,EAAE,MAAM,CAAC;IAClB,oCAAoC;IACpC,GAAG,EAAE,MAAM,CAAC;IACZ,qCAAqC;IACrC,GAAG,EAAE,MAAM,CAAC;IACZ,yBAAyB;IACzB,WAAW,EAAE,MAAM,CAAC;IACpB,8CAA8C;IAC9C,KAAK,EAAE,MAAM,CAAC;IACd,2CAA2C;IAC3C,YAAY,EAAE,MAAM,CAAC;CACtB;AAED;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,aAAa,GAAG,MAAM,CAwB5D;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,yBAAyB,IAAI,yBAAyB,CAErE"}