universal-physics-tensor 7.0.0 → 9.0.0

package/dist/composition/edges/catalog-quantum.js

@@ -1,297 +0,0 @@
-/**
- * Quantum bridges (quantum-classical, information-physical, quantum-biology, quantum-foundations).
- *
- * Catalog edge definitions, split by physics domain from the former
- * `catalog-full.ts` god-file (re-exported via `catalog-full.ts`).
- *
- * @module composition/edges/catalog-quantum
- */
-import { DIMENSIONLESS, FREQUENCY } from '../../dimensional/types.js';
-import { sym } from '../../dimensional/ast-builders.js';
-import { evaluateDNATunneling } from '../../bridges/equations/be-26-dna-tunneling.js';
-import { evaluateDecoherenceRate } from '../../bridges/equations/be-11-decoherence-master.js';
-import { evaluateEinsteinTrace } from '../../bridges/equations/be-13-einstein-trace.js';
-import { evaluateFRETEfficiency } from '../../bridges/equations/be-24-foerster-fret.js';
-import { evaluateIntrinsicInformation } from '../../bridges/equations/be-25-iit-phi.js';
-import { evaluateQuantumDarwinism } from '../../bridges/equations/be-49-quantum-darwinism.js';
-import { advancedFieldAmplitudeQ, attemptFrequencyQ, barrierHeightQ, barrierWidthQ, biologicalRateCorrectionQ, conditionalProbabilityQ, cosmologicalConstantCurvatureQ, darwinismDecayExponentQ, darwinismMagnitudeQ, decoherenceRateQ, donorAcceptorDistanceQ, foersterRadiusQ, fragmentCountQ, fragmentMutualInformationQ, fretEfficiencyQ, intrinsicInformationQ, marginalProbabilityQ, mutationRateQ, referenceCouplingQ, relaxationRateQ, retardedFieldAmplitudeQ, ricciScalarQ, stressEnergyTraceQ, systemEnvironmentCouplingQ, timeSymmetricFieldAmplitudeQ, totalMutualInformationQ, tunnelingMassQ, } from '../quantities.js';
-import { isFin } from './_catalog-helpers.js';
-/** γ_k = γ_0 (λ / λ_0)², leaves in graph quantity names. */
-const BE11_MASTER_SYMBOLIC = {
-    kind: 'op',
-    op: '*',
-    args: [
-        sym('relaxation-rate', FREQUENCY),
-        {
-            kind: 'op',
-            op: '^',
-            args: [
-                {
-                    kind: 'op',
-                    op: '/',
-                    args: [
-                        sym('system-environment-coupling', DIMENSIONLESS),
-                        sym('reference-coupling', DIMENSIONLESS),
-                    ],
-                },
-                sym('2', DIMENSIONLESS),
-            ],
-        },
-    ],
-};
-/**
- * BE-11 canonical decoherence master rate (Caldeira-Leggett weak-coupling
- * form): (relaxation-rate, system-environment-coupling, reference-coupling) →
- * γ_k = γ_0 (λ/λ_0)². Wraps `evaluateDecoherenceRate` (γ_0 in s⁻¹, λ/λ_0 in
- * any consistent unit; returns s⁻¹). DISTINCT from {@link be11ZurekEdge}: that
- * one is the SPATIAL specialization (λ₀ = thermal de Broglie wavelength); this
- * is the bare coupling-ratio master rate. Both wrap the same evaluator but on
- * different source quantities.
- *
- * Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
- * export for the 26-edge tranche — root-surface budget decision).
- */
-export const be11Edge = {
-    id: 'be-11-master',
-    beId: 11,
-    kind: 'bridge',
-    label: 'Decoherence master rate γ_k = γ_0 (λ/λ_0)²',
-    sources: [relaxationRateQ, systemEnvironmentCouplingQ, referenceCouplingQ],
-    target: decoherenceRateQ,
-    confidence: 'established',
-    domain: {
-        description: 'γ_0 ≥ 0, λ finite, λ_0 > 0',
-        predicate: (i) => isFin(i['relaxation-rate']) &&
-            i['relaxation-rate'] >= 0 &&
-            isFin(i['system-environment-coupling']) &&
-            isFin(i['reference-coupling']) &&
-            i['reference-coupling'] > 0,
-    },
-    evaluate: (i) => evaluateDecoherenceRate({
-        gamma0_per_s: i['relaxation-rate'],
-        lambda: i['system-environment-coupling'],
-        lambda0: i['reference-coupling'],
-    }),
-    symbolic: BE11_MASTER_SYMBOLIC,
-    citation: 'Caldeira & Leggett 1983 Physica A 121:587; Lindblad 1976 CMP 48:119',
-    // -- Atlas Phase 1 overlay: mirrors BRIDGE_EQUATIONS' BE-11 row, which carries
-    // the full '// source:' citation. tests/atlas/audited-catalog.test.ts
-    // deep-equals the two, so this copy cannot silently drift from the row.
-    relation: {
-        type: 'coarse-graining',
-        transformation: 'rho_total on (system (x) environment) -> rho = Tr_env rho_total, under ' +
-            'Born-Markov (weak coupling; environment correlation time << system ' +
-            'relaxation time)',
-    },
-};
-/**
- * BE-13 trace of Einstein equations: (cosmological-constant-curvature,
- * stress-energy-trace) → R = 4Λ − (8πG/c⁴) T. Wraps `evaluateEinsteinTrace`
- * (Λ in m⁻², T in J/m³; returns R in m⁻²). Shares the `ricci-scalar` target
- * with {@link be31Edge}.
- *
- * Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
- * export for the 26-edge tranche — root-surface budget decision).
- */
-export const be13Edge = {
-    id: 'be-13',
-    beId: 13,
-    kind: 'bridge',
-    label: 'Einstein trace R = 4Λ − (8πG/c⁴) T',
-    sources: [cosmologicalConstantCurvatureQ, stressEnergyTraceQ],
-    target: ricciScalarQ,
-    confidence: 'speculative',
-    domain: {
-        description: 'Λ and T finite (all SI)',
-        predicate: (i) => isFin(i['cosmological-constant-curvature']) &&
-            isFin(i['stress-energy-trace']),
-    },
-    evaluate: (i) => evaluateEinsteinTrace({
-        Lambda_per_m2: i['cosmological-constant-curvature'],
-        T_trace_J_per_m3: i['stress-energy-trace'],
-    }),
-    citation: 'Jacobson 1995 PRL 75:1260; MTW Gravitation §17.4',
-};
-/**
- * BE-24 Förster FRET efficiency: (donor-acceptor-distance, foerster-radius) →
- * η = R_0⁶/(R_0⁶ + R⁶). Wraps `evaluateFRETEfficiency` (R, R_0 in m; returns
- * dimensionless ∈ [0,1]).
- *
- * Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
- * export for the 26-edge tranche — root-surface budget decision).
- */
-export const be24Edge = {
-    id: 'be-24',
-    beId: 24,
-    kind: 'bridge',
-    label: 'FRET efficiency η = R_0⁶/(R_0⁶ + R⁶)',
-    sources: [donorAcceptorDistanceQ, foersterRadiusQ],
-    target: fretEfficiencyQ,
-    confidence: 'speculative',
-    domain: {
-        description: 'R > 0 and R_0 > 0',
-        predicate: (i) => isFin(i['donor-acceptor-distance']) &&
-            i['donor-acceptor-distance'] > 0 &&
-            isFin(i['foerster-radius']) &&
-            i['foerster-radius'] > 0,
-    },
-    evaluate: (i) => evaluateFRETEfficiency({
-        R: i['donor-acceptor-distance'],
-        R_0: i['foerster-radius'],
-    }),
-    citation: 'Förster 1948 Ann. Phys. 437:55; Lakowicz 2006 Princ. Fluoresc. Spectrosc. Ch.13',
-};
-/**
- * BE-25 IIT intrinsic information (the IIT module, NOT orch-or):
- * (conditional-probability, marginal-probability) → ii = p_cond·log₂(p_cond/p_marg).
- * Wraps `evaluateIntrinsicInformation` (both ∈ [0,1]; returns bits). Note the
- * evaluator throws RangeError on the KL singularity p_cond>0, p_marg=0; the
- * domain rejects that case so `evaluateEdge` surfaces a DomainViolationError
- * instead.
- *
- * Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
- * export for the 26-edge tranche — root-surface budget decision).
- */
-export const be25Edge = {
-    id: 'be-25',
-    beId: 25,
-    kind: 'bridge',
-    label: 'IIT intrinsic information ii = p(s̃|s)·log₂[p(s̃|s)/p(s̃)]',
-    sources: [conditionalProbabilityQ, marginalProbabilityQ],
-    target: intrinsicInformationQ,
-    confidence: 'speculative',
-    domain: {
-        description: 'p_cond, p_marg ∈ [0,1]; not (p_cond>0 and p_marg=0) (KL singularity)',
-        predicate: (i) => {
-            const pc = i['conditional-probability'];
-            const pm = i['marginal-probability'];
-            if (!isFin(pc) || pc < 0 || pc > 1)
-                return false;
-            if (!isFin(pm) || pm < 0 || pm > 1)
-                return false;
-            if (pc > 0 && pm === 0)
-                return false;
-            return true;
-        },
-    },
-    evaluate: (i) => evaluateIntrinsicInformation({
-        p_cond: i['conditional-probability'],
-        p_marg: i['marginal-probability'],
-    }),
-    citation: 'Tononi 2008 Biol. Bull. 215:216; Oizumi, Albantakis & Tononi 2014 PLoS Comput. Biol. 10:e1003588',
-};
-/**
- * BE-26 DNA mutation tunneling rate: (attempt-frequency, tunneling-mass,
- * barrier-height, barrier-width, biological-rate-correction) →
- * Γ = ν₀ exp[−(2/ℏ)√(2m(V−E))·L]·f. Wraps `evaluateDNATunneling` (SI; returns
- * s⁻¹). `tunneling-mass` is the proton mass, DISTINCT from gravitational `mass`.
- *
- * Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
- * export for the 26-edge tranche — root-surface budget decision).
- */
-export const be26Edge = {
-    id: 'be-26',
-    beId: 26,
-    kind: 'bridge',
-    label: 'DNA tunneling Γ = ν₀ exp[−(2/ℏ)√(2m(V−E))·L]·f',
-    sources: [attemptFrequencyQ, tunnelingMassQ, barrierHeightQ, barrierWidthQ, biologicalRateCorrectionQ],
-    target: mutationRateQ,
-    // Catalog index status: field is authoritative (CLAUDE.md). BE-26's
-    // module docstring says 'established' but the registry pins 'speculative'.
-    confidence: 'speculative',
-    domain: {
-        description: 'ν₀ ≥ 0, m > 0, V−E ≥ 0, barrier-width > 0, f finite',
-        predicate: (i) => isFin(i['attempt-frequency']) &&
-            i['attempt-frequency'] >= 0 &&
-            isFin(i['tunneling-mass']) &&
-            i['tunneling-mass'] > 0 &&
-            isFin(i['barrier-height']) &&
-            i['barrier-height'] >= 0 &&
-            isFin(i['barrier-width']) &&
-            i['barrier-width'] > 0 &&
-            isFin(i['biological-rate-correction']),
-    },
-    evaluate: (i) => evaluateDNATunneling({
-        nu_0: i['attempt-frequency'],
-        m: i['tunneling-mass'],
-        V_minus_E: i['barrier-height'],
-        barrier_width: i['barrier-width'],
-        f_correction: i['biological-rate-correction'],
-    }),
-    citation: 'Löwdin 1963 Adv. Quantum Chem. 2:213; Gamow 1928',
-};
-/**
- * BE-49 quantum-Darwinism mutual-information decay: (total-mutual-information,
- * darwinism-magnitude, fragment-count, darwinism-decay-exponent) →
- * I(S:F_k) = I(S:E) − α k^(−β). Wraps `evaluateQuantumDarwinism` (all
- * dimensionless; the evaluator is β-agnostic).
- *
- * Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
- * export for the 26-edge tranche — root-surface budget decision).
- */
-export const be49Edge = {
-    id: 'be-49',
-    beId: 49,
-    kind: 'bridge',
-    label: 'Quantum Darwinism I(S:F_k) = I(S:E) − α k^(−β)',
-    sources: [totalMutualInformationQ, darwinismMagnitudeQ, fragmentCountQ, darwinismDecayExponentQ],
-    target: fragmentMutualInformationQ,
-    confidence: 'speculative',
-    domain: {
-        description: 'I(S:E), α, β finite; k > 0',
-        predicate: (i) => isFin(i['total-mutual-information']) &&
-            isFin(i['darwinism-magnitude']) &&
-            isFin(i['fragment-count']) &&
-            i['fragment-count'] > 0 &&
-            isFin(i['darwinism-decay-exponent']),
-    },
-    evaluate: (i) => evaluateQuantumDarwinism({
-        I_SE: i['total-mutual-information'],
-        alpha: i['darwinism-magnitude'],
-        k: i['fragment-count'],
-        beta: i['darwinism-decay-exponent'],
-    }),
-    citation: 'Zurek 2009 Nat. Phys. 5:181; Blume-Kohout & Zurek 2006 PRA 73:062310',
-};
-const BE50_SYMBOLIC = {
-    kind: 'op',
-    op: '/',
-    args: [
-        {
-            kind: 'op',
-            op: '+',
-            args: [
-                sym(retardedFieldAmplitudeQ.name, retardedFieldAmplitudeQ.dim),
-                sym(advancedFieldAmplitudeQ.name, advancedFieldAmplitudeQ.dim),
-            ],
-        },
-        sym('2', DIMENSIONLESS),
-    ],
-};
-/**
- * BE-50 Wheeler-Feynman time-symmetric field:
- * A = (A_ret + A_adv)/2. This is the catalog `formula_latex` and the
- * PhysJS statement. The residual r = (A_ret − A_adv)/(A_ret + A_adv)
- * remains `evaluateWFTimeSymmetry` and `time-symmetry-residual`; it is
- * not the theorem, so the edge no longer evaluates it.
- *
- * Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
- * export for the 26-edge tranche — root-surface budget decision).
- */
-export const be50Edge = {
-    id: 'be-50',
-    beId: 50,
-    kind: 'bridge',
-    label: 'Wheeler-Feynman A = (A_ret + A_adv)/2',
-    sources: [retardedFieldAmplitudeQ, advancedFieldAmplitudeQ],
-    target: timeSymmetricFieldAmplitudeQ,
-    confidence: 'highly-speculative',
-    domain: {
-        description: 'A_ret and A_adv finite',
-        predicate: (i) => isFin(i['retarded-field-amplitude']) && isFin(i['advanced-field-amplitude']),
-    },
-    evaluate: (i) => (i['retarded-field-amplitude'] + i['advanced-field-amplitude']) / 2,
-    symbolic: BE50_SYMBOLIC,
-    citation: 'Wheeler & Feynman 1945 RMP 17:157; Cramer 1986 RMP 58:647',
-};
-//# sourceMappingURL=catalog-quantum.js.map

package/dist/composition/edges/catalog-quantum.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"catalog-quantum.js","sourceRoot":"","sources":["../../../src/composition/edges/catalog-quantum.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAC;AAEtE,OAAO,EAAE,GAAG,EAAE,MAAM,mCAAmC,CAAC;AACxD,OAAO,EAAE,oBAAoB,EAAE,MAAM,gDAAgD,CAAC;AACtF,OAAO,EAAE,uBAAuB,EAAE,MAAM,qDAAqD,CAAC;AAC9F,OAAO,EAAE,qBAAqB,EAAE,MAAM,iDAAiD,CAAC;AACxF,OAAO,EAAE,sBAAsB,EAAE,MAAM,gDAAgD,CAAC;AACxF,OAAO,EAAE,4BAA4B,EAAE,MAAM,0CAA0C,CAAC;AACxF,OAAO,EAAE,wBAAwB,EAAE,MAAM,oDAAoD,CAAC;AAE9F,OAAO,EACL,uBAAuB,EACvB,iBAAiB,EACjB,cAAc,EACd,aAAa,EACb,yBAAyB,EACzB,uBAAuB,EACvB,8BAA8B,EAC9B,uBAAuB,EACvB,mBAAmB,EACnB,gBAAgB,EAChB,sBAAsB,EACtB,eAAe,EACf,cAAc,EACd,0BAA0B,EAC1B,eAAe,EACf,qBAAqB,EACrB,oBAAoB,EACpB,aAAa,EACb,kBAAkB,EAClB,eAAe,EACf,uBAAuB,EACvB,YAAY,EACZ,kBAAkB,EAClB,0BAA0B,EAC1B,4BAA4B,EAC5B,uBAAuB,EACvB,cAAc,GACf,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,KAAK,EAAE,MAAM,uBAAuB,CAAC;AAE9C,4DAA4D;AAC5D,MAAM,oBAAoB,GAAa;IACrC,IAAI,EAAE,IAAI;IACV,EAAE,EAAE,GAAG;IACP,IAAI,EAAE;QACJ,GAAG,CAAC,iBAAiB,EAAE,SAAS,CAAC;QACjC;YACE,IAAI,EAAE,IAAI;YACV,EAAE,EAAE,GAAG;YACP,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,IAAI;oBACV,EAAE,EAAE,GAAG;oBACP,IAAI,EAAE;wBACJ,GAAG,CAAC,6BAA6B,EAAE,aAAa,CAAC;wBACjD,GAAG,CAAC,oBAAoB,EAAE,aAAa,CAAC;qBACzC;iBACF;gBACD,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;aACxB;SACF;KACF;CACF,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,cAAc;IAClB,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,4CAA4C;IACnD,OAAO,EAAE,CAAC,eAAe,EAAE,0BAA0B,EAAE,kBAAkB,CAAC;IAC1E,MAAM,EAAE,gBAAgB;IACxB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,4BAA4B;QACzC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC;YAC3B,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC;YACzB,KAAK,CAAC,CAAC,CAAC,6BAA6B,CAAC,CAAC;YACvC,KAAK,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC;YAC9B,CAAC,CAAC,oBAAoB,CAAC,GAAG,CAAC;KAC9B;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,uBAAuB,CAAC;QACtB,YAAY,EAAE,CAAC,CAAC,iBAAiB,CAAC;QAClC,MAAM,EAAE,CAAC,CAAC,6BAA6B,CAAC;QACxC,OAAO,EAAE,CAAC,CAAC,oBAAoB,CAAC;KACjC,CAAC;IACJ,QAAQ,EAAE,oBAAoB;IAC9B,QAAQ,EAAE,qEAAqE;IAC/E,+EAA+E;IAC/E,sEAAsE;IACtE,wEAAwE;IACxE,QAAQ,EAAE;QACR,IAAI,EAAE,iBAAiB;QACvB,cAAc,EACZ,yEAAyE;YACzE,qEAAqE;YACrE,kBAAkB;KACrB;CACF,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,oCAAoC;IAC3C,OAAO,EAAE,CAAC,8BAA8B,EAAE,kBAAkB,CAAC;IAC7D,MAAM,EAAE,YAAY;IACpB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,yBAAyB;QACtC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,iCAAiC,CAAC,CAAC;YAC3C,KAAK,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC;KAClC;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,qBAAqB,CAAC;QACpB,aAAa,EAAE,CAAC,CAAC,iCAAiC,CAAC;QACnD,gBAAgB,EAAE,CAAC,CAAC,qBAAqB,CAAC;KAC3C,CAAC;IACJ,QAAQ,EAAE,kDAAkD;CAC7D,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,sCAAsC;IAC7C,OAAO,EAAE,CAAC,sBAAsB,EAAE,eAAe,CAAC;IAClD,MAAM,EAAE,eAAe;IACvB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,mBAAmB;QAChC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,yBAAyB,CAAC,CAAC;YACnC,CAAC,CAAC,yBAAyB,CAAC,GAAG,CAAC;YAChC,KAAK,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC;YAC3B,CAAC,CAAC,iBAAiB,CAAC,GAAG,CAAC;KAC3B;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,sBAAsB,CAAC;QACrB,CAAC,EAAE,CAAC,CAAC,yBAAyB,CAAC;QAC/B,GAAG,EAAE,CAAC,CAAC,iBAAiB,CAAC;KAC1B,CAAC;IACJ,QAAQ,EAAE,iFAAiF;CAC5F,CAAC;AAEF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,4DAA4D;IACnE,OAAO,EAAE,CAAC,uBAAuB,EAAE,oBAAoB,CAAC;IACxD,MAAM,EAAE,qBAAqB;IAC7B,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,sEAAsE;QACnF,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE;YACf,MAAM,EAAE,GAAG,CAAC,CAAC,yBAAyB,CAAC,CAAC;YACxC,MAAM,EAAE,GAAG,CAAC,CAAC,sBAAsB,CAAC,CAAC;YACrC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC;gBAAE,OAAO,KAAK,CAAC;YACjD,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC;gBAAE,OAAO,KAAK,CAAC;YACjD,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC;gBAAE,OAAO,KAAK,CAAC;YACrC,OAAO,IAAI,CAAC;QACd,CAAC;KACF;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,4BAA4B,CAAC;QAC3B,MAAM,EAAE,CAAC,CAAC,yBAAyB,CAAC;QACpC,MAAM,EAAE,CAAC,CAAC,sBAAsB,CAAC;KAClC,CAAC;IACJ,QAAQ,EAAE,kGAAkG;CAC7G,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,gDAAgD;IACvD,OAAO,EAAE,CAAC,iBAAiB,EAAE,cAAc,EAAE,cAAc,EAAE,aAAa,EAAE,yBAAyB,CAAC;IACtG,MAAM,EAAE,aAAa;IACrB,oEAAoE;IACpE,2EAA2E;IAC3E,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,qDAAqD;QAClE,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC;YAC7B,CAAC,CAAC,mBAAmB,CAAC,IAAI,CAAC;YAC3B,KAAK,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC;YAC1B,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC;YACvB,KAAK,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC;YAC1B,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC;YACxB,KAAK,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC;YACzB,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC;YACtB,KAAK,CAAC,CAAC,CAAC,4BAA4B,CAAC,CAAC;KACzC;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,oBAAoB,CAAC;QACnB,IAAI,EAAE,CAAC,CAAC,mBAAmB,CAAC;QAC5B,CAAC,EAAE,CAAC,CAAC,gBAAgB,CAAC;QACtB,SAAS,EAAE,CAAC,CAAC,gBAAgB,CAAC;QAC9B,aAAa,EAAE,CAAC,CAAC,eAAe,CAAC;QACjC,YAAY,EAAE,CAAC,CAAC,4BAA4B,CAAC;KAC9C,CAAC;IACJ,QAAQ,EAAE,kDAAkD;CAC7D,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,gDAAgD;IACvD,OAAO,EAAE,CAAC,uBAAuB,EAAE,mBAAmB,EAAE,cAAc,EAAE,uBAAuB,CAAC;IAChG,MAAM,EAAE,0BAA0B;IAClC,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,4BAA4B;QACzC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC;YACpC,KAAK,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC;YAC/B,KAAK,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC;YAC1B,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC;YACvB,KAAK,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC;KACvC;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,wBAAwB,CAAC;QACvB,IAAI,EAAE,CAAC,CAAC,0BAA0B,CAAC;QACnC,KAAK,EAAE,CAAC,CAAC,qBAAqB,CAAC;QAC/B,CAAC,EAAE,CAAC,CAAC,gBAAgB,CAAC;QACtB,IAAI,EAAE,CAAC,CAAC,0BAA0B,CAAC;KACpC,CAAC;IACJ,QAAQ,EAAE,sEAAsE;CACjF,CAAC;AAEF,MAAM,aAAa,GAAa;IAC9B,IAAI,EAAE,IAAI;IACV,EAAE,EAAE,GAAG;IACP,IAAI,EAAE;QACJ;YACE,IAAI,EAAE,IAAI;YACV,EAAE,EAAE,GAAG;YACP,IAAI,EAAE;gBACJ,GAAG,CAAC,uBAAuB,CAAC,IAAI,EAAE,uBAAuB,CAAC,GAAG,CAAC;gBAC9D,GAAG,CAAC,uBAAuB,CAAC,IAAI,EAAE,uBAAuB,CAAC,GAAG,CAAC;aAC/D;SACF;QACD,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;KACxB;CACF,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,uCAAuC;IAC9C,OAAO,EAAE,CAAC,uBAAuB,EAAE,uBAAuB,CAAC;IAC3D,MAAM,EAAE,4BAA4B;IACpC,UAAU,EAAE,oBAAoB;IAChC,MAAM,EAAE;QACN,WAAW,EAAE,wBAAwB;QACrC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC;KAC/E;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,CAAC,CAAC,CAAC,0BAA0B,CAAC,GAAG,CAAC,CAAC,0BAA0B,CAAC,CAAC,GAAG,CAAC;IACrE,QAAQ,EAAE,aAAa;IACvB,QAAQ,EAAE,2DAA2D;CACtE,CAAC"}

package/dist/composition/edges/catalog-tranche.d.ts

@@ -1,108 +0,0 @@
-/**
- * Catalog-tranche edges — six catalog-backed `BridgeEdge` wrappers
- * (v0.10.0 T5), extending the composition graph beyond the v0.8.0
- * calibration set. Each edge wraps an EXISTING validated catalog
- * evaluator (the catalog stays authoritative — design D-4) and carries
- * a first-class validity domain (G-8) mirroring exactly what the
- * wrapped evaluator enforces — no stricter, no looser.
- *
- * Tranche members:
- *   - BE-14 Ryu-Takayanagi entanglement entropy (SI form)
- *   - BE-19 LQC quantum-bounce modified Friedmann
- *   - BE-21 KSS viscosity-to-entropy bound (nullary universal constant)
- *   - BE-48 GRW mass-amplified localization rate
- *   - BE-53 Yang-Mills one-loop β-function
- *   - BE-54 Randall-Sundrum brane modified Friedmann
- *
- * Quantity-name discipline: `mass` is REUSED from the calibration
- * edges (same physical quantity, same dimension, same attributes);
- * `mass-density` and `hubble-rate-squared` are shared between BE-19
- * and BE-54 (both modified-Friedmann edges consume/produce the same
- * physical quantities in the same SI units).
- *
- * @module composition/edges/catalog-tranche
- */
-import type { BridgeEdge } from '../edge.js';
-/**
- * BE-14 Ryu-Takayanagi as a graph edge: minimal-surface-area →
- * boundary entanglement entropy, S = k_B c³ A / (4 G_N ℏ) (SI form).
- * Wraps `evaluateRyuTakayanagi` (input `area_m2` in m²; returns J/K).
- * Endpoints differ in `scale` (classical bulk geometry → quantum
- * boundary entropy): a bridge. The module also ships a natural-units
- * evaluator (`evaluateRyuTakayanagiNatural`, area in Planck areas);
- * this edge wraps the SI form so the graph stays uniformly SI.
- *
- * @public
- */
-export declare const be14Edge: BridgeEdge;
-/**
- * BE-19 LQC quantum bounce as a graph edge:
- * (mass-density, critical-density, rescaled-cosmological-constant) →
- * H² = (8πG/3) ρ (1 − ρ/ρ_crit) + Λ/3. Wraps `evaluateQuantumBounce`
- * (SI inputs kg/m³, kg/m³, s⁻²; returns H² in s⁻²). Λ here is the
- * c²-rescaled [T⁻²] form (Λ_[T⁻²] = c² Λ_[L⁻²], Ryden §6 convention).
- *
- * Domain mirrors the evaluator exactly: ρ ≥ 0, ρ_crit > 0, Λ finite.
- * The evaluator does NOT reject ρ > ρ_crit — super-critical densities
- * are admitted and the bounce factor (1 − ρ/ρ_crit) simply goes
- * negative (H² < 0 signals the classically forbidden region) — so
- * neither does this edge.
- *
- * @public
- */
-export declare const be19Edge: BridgeEdge;
-/**
- * BE-21 KSS bound as a graph edge: () → η/s = ℏ/(4π k_B).
- * Wraps `evaluateKSSBound` (nullary; returns the saturating
- * viscosity-to-entropy-density ratio in K·s — dimension [T Θ], NOT
- * dimensionless; the famous "1/4π" is the natural-units value).
- *
- * Adaptation note: the evaluator takes NO inputs — the bound is a
- * universal constant — so this edge has an EMPTY `sources` array, its
- * `evaluate` ignores its argument, and its domain predicate is
- * vacuously true (there are no inputs to reject).
- *
- * @public
- */
-export declare const be21Edge: BridgeEdge;
-/**
- * BE-48 GRW mass-amplified localization as a graph edge:
- * mass → λ_GRW(m) = λ_0 (m/m_0). Wraps `evaluateGRWLocalization`
- * with the canonical defaults m_0 = 1.67×10⁻²⁷ kg (nucleon mass) and
- * λ_0 = 10⁻¹⁶ s⁻¹ (GRW 1986); input mass in kg, returns rate in s⁻¹.
- * Endpoints differ in `scale` (classical mass → quantum collapse
- * rate): a bridge. Uses the centralized `mass` quantity node (`src/composition/quantities.ts` — the v0.11 centralization fixed this docstring's previously-false "reuses calibration's node" claim, Adam vet A-2) node.
- *
- * @public
- */
-export declare const be48Edge: BridgeEdge;
-/**
- * BE-53 Yang-Mills one-loop β-function as a graph edge:
- * (gauge-coupling, color-number, flavor-number) →
- * β(g) = −b₀ g³/(16π²) with b₀ = (11/3)N_c − (2/3)N_f.
- * Wraps `evaluateYangMillsBeta` (all dimensionless; RG-discipline).
- * The sparse regime axes cannot express the UV↔IR scale-flow this
- * bridge mediates (asymptotic freedom: g → 0 in the UV); `kind:
- * 'bridge'` follows the catalog classification.
- *
- * Domain mirrors the evaluator: g finite, N_c > 0, N_f ≥ 0 (the
- * evaluator does not enforce integrality of N_c/N_f and neither does
- * this edge — analytic continuation in N_c, N_f is standard RG
- * practice).
- *
- * @public
- */
-export declare const be53Edge: BridgeEdge;
-/**
- * BE-54 Randall-Sundrum brane cosmology as a graph edge:
- * (mass-density, brane-tension, rescaled-cosmological-constant) →
- * H² = (8πG/3) ρ (1 + ρ/(2σ)) + Λ/3.
- * The wrapped evaluator drops Λ/3 and the Weyl C/a⁴ term. The edge
- * adds Λ/3, the term the theorem and `formula_latex` include, using
- * the same `rescaled-cosmological-constant` node as {@link be19Edge}.
- * The Weyl term stays out: it is not in the theorem.
- *
- * @public
- */
-export declare const be54Edge: BridgeEdge;
-//# sourceMappingURL=catalog-tranche.d.ts.map

package/dist/composition/edges/catalog-tranche.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"catalog-tranche.d.ts","sourceRoot":"","sources":["../../../src/composition/edges/catalog-tranche.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAsBH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AA2B7C;;;;;;;;;;GAUG;AACH,eAAO,MAAM,QAAQ,EAAE,UAiBtB,CAAC;AAEF;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,QAAQ,EAAE,UAwBtB,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,QAAQ,EAAE,UAyBtB,CAAC;AAEF;;;;;;;;;GASG;AACH,eAAO,MAAM,QAAQ,EAAE,UAwBtB,CAAC;AAEF;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,QAAQ,EAAE,UAwBtB,CAAC;AAuDF;;;;;;;;;;GAUG;AACH,eAAO,MAAM,QAAQ,EAAE,UAwBtB,CAAC"}