universal-physics-tensor 0.4.5

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

@@ -0,0 +1,198 @@
+/**
+ * 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 { validate, validateEquation } from '../../dimensional/validator.js';
+import { DIMENSIONLESS, } from '../../dimensional/types.js';
+const sym = (name, dim) => ({ kind: 'symbol', name, dim });
+// --- 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),
+    ],
+};
+/**
+ * Lemma AST: the `exp(−α/Λ)` factor, encoded as a fresh DIMENSIONLESS
+ * symbol stub `exp_factor` (the AST has no `exp` primitive; following
+ * BE-26, BE-41, BE-45 dimensionless-stub idiom). The actual exp
+ * argument is exposed separately via `BE46_EXP_ARGUMENT` so the lemma
+ * test can verify it is dimensionless.
+ */
+export const BE46_EXP_FACTOR = sym('exp_factor', DIMENSIONLESS);
+/**
+ * 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]). */
+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) {
+    const { normalization, alpha, lambda } = input;
+    if (!Number.isFinite(normalization)) {
+        throw new RangeError(`evaluateWeinbergVilenkinP: normalization must be finite, got ${normalization}`);
+    }
+    if (!Number.isFinite(alpha)) {
+        throw new RangeError(`evaluateWeinbergVilenkinP: alpha must be finite, got ${alpha}`);
+    }
+    if (!Number.isFinite(lambda) || lambda <= 0) {
+        throw new RangeError(`evaluateWeinbergVilenkinP: lambda must be a finite positive number, got ${lambda}`);
+    }
+    return normalization * Math.exp(-alpha / lambda);
+}
+// --- Self-validation ---
+/**
+ * Run the AST through the dimensional analyzer; LHS and RHS should
+ * both be DIMENSIONLESS.
+ */
+export function validateBE46Dimensions() {
+    const eq = validateEquation(BE46_ANTHROPIC_PROBABILITY_LHS, BE46_ANTHROPIC_PROBABILITY_RHS);
+    const lhs = validate(BE46_ANTHROPIC_PROBABILITY_LHS);
+    const rhs = validate(BE46_ANTHROPIC_PROBABILITY_RHS);
+    return {
+        ok: eq.ok,
+        lhsDim: lhs.inferredDimension,
+        rhsDim: rhs.inferredDimension,
+    };
+}
+//# sourceMappingURL=be-46-multiverse-measure.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"be-46-multiverse-measure.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-46-multiverse-measure.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkGG;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,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,GAAG,CAAC,YAAY,EAAE,aAAa,CAAC,CAAC;AAE1E;;;;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,MAAM,CAAC,MAAM,8BAA8B,GAAa,GAAG,CAAC,UAAU,EAAE,aAAa,CAAC,CAAC;AAavF;;;;;;;;GAQG;AACH,MAAM,UAAU,yBAAyB,CAAC,KAAsB;IAC9D,MAAM,EAAE,aAAa,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IAC/C,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC;QACpC,MAAM,IAAI,UAAU,CAClB,gEAAgE,aAAa,EAAE,CAChF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,UAAU,CAClB,wDAAwD,KAAK,EAAE,CAChE,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,MAAM,IAAI,CAAC,EAAE,CAAC;QAC5C,MAAM,IAAI,UAAU,CAClB,2EAA2E,MAAM,EAAE,CACpF,CAAC;IACJ,CAAC;IACD,OAAO,aAAa,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,MAAM,CAAC,CAAC;AACnD,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,MAAM,UAAU,sBAAsB;IACpC,MAAM,EAAE,GAAG,gBAAgB,CACzB,8BAA8B,EAC9B,8BAA8B,CAC/B,CAAC;IACF,MAAM,GAAG,GAAG,QAAQ,CAAC,8BAA8B,CAAC,CAAC;IACrD,MAAM,GAAG,GAAG,QAAQ,CAAC,8BAA8B,CAAC,CAAC;IACrD,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-47-bbn-dark-sector.d.ts

@@ -0,0 +1,72 @@
+/**
+ * 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. */
+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;
+export 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].
+ */
+export declare function validateBBNDarkDimensions(): DimensionValidationReport;
+//# sourceMappingURL=be-47-bbn-dark-sector.d.ts.map

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

@@ -0,0 +1 @@
+{"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;AAuB1F,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,eAAO,MAAM,YAAY,EAAE,QAG1B,CAAC;AAEF,wDAAwD;AACxD,eAAO,MAAM,YAAY,EAAE,QAG1B,CAAC;AAIF,MAAM,WAAW,aAAa;IAC5B,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,CAkB5D;AAID;;;GAGG;AACH,wBAAgB,yBAAyB,IAAI,yBAAyB,CASrE"}

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

@@ -0,0 +1,121 @@
+/**
+ * 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 { validate, validateEquation } from '../../dimensional/validator.js';
+import { DIMENSIONLESS, TIME, FREQUENCY, } from '../../dimensional/types.js';
+const sym = (name, dim) => ({ kind: 'symbol', name, dim });
+/** 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. */
+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) {
+    const { H, Y, sigmav_SM, n_p, n_n, sigmav_dark, n_chi, eps_transfer, } = input;
+    const inputs = [H, Y, sigmav_SM, n_p, n_n, sigmav_dark, n_chi, eps_transfer];
+    for (const v of inputs) {
+        if (!Number.isFinite(v)) {
+            throw new RangeError(`evaluateBBNDark: all inputs must be finite, got ${JSON.stringify(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].
+ */
+export function validateBBNDarkDimensions() {
+    const eq = validateEquation(BBN_DARK_LHS, BBN_DARK_RHS);
+    const lhs = validate(BBN_DARK_LHS);
+    const rhs = validate(BBN_DARK_RHS);
+    return {
+        ok: eq.ok,
+        lhsDim: lhs.inferredDimension,
+        rhsDim: rhs.inferredDimension,
+    };
+}
+//# sourceMappingURL=be-47-bbn-dark-sector.js.map

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

@@ -0,0 +1 @@
+{"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,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAEL,aAAa,EACb,IAAI,EACJ,SAAS,GACV,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,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,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;AAuBF;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,KAAoB;IAClD,MAAM,EACJ,CAAC,EAAE,CAAC,EACJ,SAAS,EAAE,GAAG,EAAE,GAAG,EACnB,WAAW,EAAE,KAAK,EAAE,YAAY,GACjC,GAAG,KAAK,CAAC;IACV,MAAM,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,GAAG,EAAE,WAAW,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC;IAC7E,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,UAAU,CAClB,mDAAmD,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAC3E,CAAC;QACJ,CAAC;IACH,CAAC;IACD,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,MAAM,UAAU,yBAAyB;IACvC,MAAM,EAAE,GAAG,gBAAgB,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;IACxD,MAAM,GAAG,GAAG,QAAQ,CAAC,YAAY,CAAC,CAAC;IACnC,MAAM,GAAG,GAAG,QAAQ,CAAC,YAAY,CAAC,CAAC;IACnC,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-48-grw-localization.d.ts

@@ -0,0 +1,84 @@
+/**
+ * Bridge Equation 48 — GRW mass-amplified localization rate
+ * (Continuous Spontaneous Localization mass-dependence, post Wave Y
+ * reformulation).
+ *
+ *   λ_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 extension; introduces mass-density-coupled noise).
+ *   - Ghirardi, Pearle & Rimini 1990 *Phys. Rev. A* 42:78 (CSL with
+ *     mass-amplification mechanism: rate λ ∝ m/m_0 for composite
+ *     systems with N nucleons).
+ *   - Bassi & Ghirardi 2003 *Phys. Rep.* 379:257 (review).
+ *
+ * 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⁻¹]. */
+export declare const BE48_GRW_LOCALIZATION_LHS: ExprNode;
+export 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].
+ */
+export declare function validateBE48Dimensions(): DimensionValidationReport;
+//# sourceMappingURL=be-48-grw-localization.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"be-48-grw-localization.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-48-grw-localization.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAU1F;;;;;;GAMG;AACH,eAAO,MAAM,yBAAyB,EAAE,QAYvC,CAAC;AAEF,uDAAuD;AACvD,eAAO,MAAM,yBAAyB,EAAE,QAAuC,CAAC;AAIhF,MAAM,WAAW,qBAAqB;IACpC,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,CAsB5E;AAID;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,yBAAyB,CAYlE"}

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

@@ -0,0 +1,107 @@
+/**
+ * Bridge Equation 48 — GRW mass-amplified localization rate
+ * (Continuous Spontaneous Localization mass-dependence, post Wave Y
+ * reformulation).
+ *
+ *   λ_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 extension; introduces mass-density-coupled noise).
+ *   - Ghirardi, Pearle & Rimini 1990 *Phys. Rev. A* 42:78 (CSL with
+ *     mass-amplification mechanism: rate λ ∝ m/m_0 for composite
+ *     systems with N nucleons).
+ *   - Bassi & Ghirardi 2003 *Phys. Rep.* 379:257 (review).
+ *
+ * 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 { validate, validateEquation } from '../../dimensional/validator.js';
+import { FREQUENCY, MASS, } from '../../dimensional/types.js';
+const sym = (name, dim) => ({ kind: 'symbol', name, dim });
+/**
+ * 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⁻¹]. */
+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 { m_kg, m_0_kg = DEFAULT_M_0_KG, lambda_0_per_s = DEFAULT_LAMBDA_0, } = input;
+    if (!Number.isFinite(m_kg) || m_kg <= 0) {
+        throw new RangeError(`evaluateGRWLocalization: m_kg must be a finite positive number, got ${m_kg}`);
+    }
+    if (!Number.isFinite(m_0_kg) || m_0_kg <= 0) {
+        throw new RangeError(`evaluateGRWLocalization: m_0_kg must be a finite positive number, got ${m_0_kg}`);
+    }
+    if (!Number.isFinite(lambda_0_per_s) || lambda_0_per_s < 0) {
+        throw new RangeError(`evaluateGRWLocalization: lambda_0_per_s must be a finite non-negative number, got ${lambda_0_per_s}`);
+    }
+    return lambda_0_per_s * (m_kg / m_0_kg);
+}
+// --- Self-validation ---
+/**
+ * Run the AST through the dimensional analyzer; both sides should be
+ * [frequency].
+ */
+export function validateBE48Dimensions() {
+    const eq = validateEquation(BE48_GRW_LOCALIZATION_LHS, BE48_GRW_LOCALIZATION_RHS);
+    const lhs = validate(BE48_GRW_LOCALIZATION_LHS);
+    const rhs = validate(BE48_GRW_LOCALIZATION_RHS);
+    return {
+        ok: eq.ok,
+        lhsDim: lhs.inferredDimension,
+        rhsDim: rhs.inferredDimension,
+    };
+}
+//# sourceMappingURL=be-48-grw-localization.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"be-48-grw-localization.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-48-grw-localization.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAEL,SAAS,EACT,IAAI,GACL,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;;;;;;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,MAAM,CAAC,MAAM,yBAAyB,GAAa,GAAG,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC;AAoBhF,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,EACJ,IAAI,EACJ,MAAM,GAAG,cAAc,EACvB,cAAc,GAAG,gBAAgB,GAClC,GAAG,KAAK,CAAC;IACV,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,EAAE,CAAC;QACxC,MAAM,IAAI,UAAU,CAClB,uEAAuE,IAAI,EAAE,CAC9E,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,MAAM,IAAI,CAAC,EAAE,CAAC;QAC5C,MAAM,IAAI,UAAU,CAClB,yEAAyE,MAAM,EAAE,CAClF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,cAAc,CAAC,IAAI,cAAc,GAAG,CAAC,EAAE,CAAC;QAC3D,MAAM,IAAI,UAAU,CAClB,qFAAqF,cAAc,EAAE,CACtG,CAAC;IACJ,CAAC;IACD,OAAO,cAAc,GAAG,CAAC,IAAI,GAAG,MAAM,CAAC,CAAC;AAC1C,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,MAAM,UAAU,sBAAsB;IACpC,MAAM,EAAE,GAAG,gBAAgB,CACzB,yBAAyB,EACzB,yBAAyB,CAC1B,CAAC;IACF,MAAM,GAAG,GAAG,QAAQ,CAAC,yBAAyB,CAAC,CAAC;IAChD,MAAM,GAAG,GAAG,QAAQ,CAAC,yBAAyB,CAAC,CAAC;IAChD,OAAO;QACL,EAAE,EAAE,EAAE,CAAC,EAAE;QACT,MAAM,EAAE,GAAG,CAAC,iBAAiB;QAC7B,MAAM,EAAE,GAAG,CAAC,iBAAiB;KAC9B,CAAC;AACJ,CAAC"}