universal-physics-tensor 7.0.0 → 8.0.0

package/dist/composition/edges/catalog-condensed-matter.js

@@ -1,257 +0,0 @@
-/**
- * Condensed-matter & non-equilibrium bridges (emergence, condensed-matter/high-energy, non-equilibrium stat-mech, phase transitions).
- *
- * 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-condensed-matter
- */
-import { DIMENSIONLESS, TEMPERATURE } from '../../dimensional/types.js';
-import { sym } from '../../dimensional/ast-builders.js';
-import { CONSTANTS } from '../../dimensional/symbolic-constants.js';
-import { evaluateCoarseningLength } from '../../bridges/equations/be-15-emergence.js';
-import { evaluateEffectiveTemperature } from '../../bridges/equations/be-27-effective-temperature.js';
-import { evaluateHertzMillis } from '../../bridges/equations/be-33-hertz-millis.js';
-import { evaluateKibbleZurek } from '../../bridges/equations/be-34-kibble-zurek.js';
-import { evaluateSYKResistivity } from '../../bridges/equations/be-23-syk-planckian.js';
-import { evaluateTEE } from '../../bridges/equations/be-22-topological-entanglement.js';
-import { activeNoiseEnergyQ, areaLawCoefficientQ, boundaryLengthQ, carrierDensityQ, coarseningLengthQ, defectDensityQ, defectRestMassQ, dynamicExponentZQ, effectiveMassQ, effectiveTemperatureQ, microscopicRelaxationTimeQ, modelAMobilityQ, quantumCorrelationLengthQ, quenchTimescaleQ, referenceCorrelationLengthQ, referenceTemperatureQ, reheatingTemperatureQ, residualResistivityQ, resistivityQ, spatialDimensionQ, staticExponentNuQ, subsystemEntanglementEntropyQ, sykCoefficientQ, temperatureQ, timeQ, topologicalEntanglementEntropyQ, } from '../quantities.js';
-import { isFin, BE33_HERTZ_MILLIS_SYMBOLIC } from './_catalog-helpers.js';
-/**
- * BE-15 Kawasaki-Gunton coarsening length: (model-a-mobility, time) →
- * L(t) = √(Γ t). Wraps `evaluateCoarseningLength` (Γ in m²/s, t in s; returns
- * m). Endpoints differ in `scale` (microscale kinetic coefficient → emergent
- * correlation length): a bridge.
- *
- * Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
- * export for the 26-edge tranche — root-surface budget decision).
- */
-export const be15Edge = {
-    id: 'be-15',
-    beId: 15,
-    kind: 'bridge',
-    label: 'Model A coarsening length L(t) = √(Γ t)',
-    sources: [modelAMobilityQ, timeQ],
-    target: coarseningLengthQ,
-    confidence: 'speculative',
-    domain: {
-        description: 'Γ > 0 and t > 0 (all SI)',
-        predicate: (i) => isFin(i['model-a-mobility']) &&
-            i['model-a-mobility'] > 0 &&
-            isFin(i['time']) &&
-            i['time'] > 0,
-    },
-    evaluate: (i) => evaluateCoarseningLength({ gamma: i['model-a-mobility'], t: i['time'] }),
-    citation: 'Kawasaki & Gunton 1976 PRA 13:2294; Hohenberg & Halperin 1977 RMP 49:435',
-};
-/**
- * BE-22 topological entanglement entropy: (area-law-coefficient,
- * boundary-length, topological-entanglement-entropy) → S(R) = α·L − γ (nats).
- * Wraps `evaluateTEE` (α in m⁻¹, L in m, γ in nats; returns nats).
- *
- * Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
- * export for the 26-edge tranche — root-surface budget decision).
- */
-export const be22Edge = {
-    id: 'be-22',
-    beId: 22,
-    kind: 'bridge',
-    label: 'Topological entanglement entropy S(R) = α·L − γ',
-    sources: [areaLawCoefficientQ, boundaryLengthQ, topologicalEntanglementEntropyQ],
-    target: subsystemEntanglementEntropyQ,
-    confidence: 'speculative',
-    domain: {
-        description: 'α finite, L ≥ 0, γ finite',
-        predicate: (i) => isFin(i['area-law-coefficient']) &&
-            isFin(i['boundary-length']) &&
-            i['boundary-length'] >= 0 &&
-            isFin(i['topological-entanglement-entropy']),
-    },
-    evaluate: (i) => evaluateTEE({
-        alpha_per_meter: i['area-law-coefficient'],
-        perimeter_m: i['boundary-length'],
-        gamma: i['topological-entanglement-entropy'],
-    }),
-    citation: 'Kitaev & Preskill 2006 PRL 96:110404; Levin & Wen 2006 PRL 96:110405',
-};
-/**
- * BE-23 SYK Planckian resistivity: (residual-resistivity, effective-mass,
- * carrier-density, temperature, syk-coefficient) →
- * ρ(T) = ρ_0 + (m* k_B T)/(n_e e² ℏ) · α_SYK. Wraps `evaluateSYKResistivity`
- * (SI; returns Ω·m). Uses `effective-mass` (carrier band mass), DISTINCT from
- * the gravitational `mass` node — the namespacing gate in action. Reuses the
- * canonical `temperature` node.
- *
- * Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
- * export for the 26-edge tranche — root-surface budget decision).
- */
-export const be23Edge = {
-    id: 'be-23',
-    beId: 23,
-    kind: 'bridge',
-    label: 'SYK Planckian resistivity ρ(T) = ρ_0 + (m* k_B T)/(n_e e² ℏ)·α_SYK',
-    sources: [residualResistivityQ, effectiveMassQ, carrierDensityQ, temperatureQ, sykCoefficientQ],
-    target: resistivityQ,
-    confidence: 'speculative',
-    domain: {
-        description: 'ρ_0 ≥ 0, m* > 0, n_e > 0, T ≥ 0, α_SYK finite',
-        predicate: (i) => isFin(i['residual-resistivity']) &&
-            i['residual-resistivity'] >= 0 &&
-            isFin(i['effective-mass']) &&
-            i['effective-mass'] > 0 &&
-            isFin(i['carrier-density']) &&
-            i['carrier-density'] > 0 &&
-            isFin(i['temperature']) &&
-            i['temperature'] >= 0 &&
-            isFin(i['syk-coefficient']),
-    },
-    evaluate: (i) => evaluateSYKResistivity({
-        rho_0: i['residual-resistivity'],
-        m_star_kg: i['effective-mass'],
-        n_e_per_m3: i['carrier-density'],
-        T_K: i['temperature'],
-        alpha_SYK: i['syk-coefficient'],
-    }),
-    citation: 'Sachdev & Ye 1993 PRL 70:3339; Hartnoll 2015 Nature Phys. 11:54',
-};
-const BE27_SYMBOLIC = {
-    kind: 'op',
-    op: '*',
-    args: [
-        sym('temperature', TEMPERATURE),
-        {
-            kind: 'op',
-            op: '+',
-            args: [
-                sym('1', DIMENSIONLESS),
-                {
-                    kind: 'op',
-                    op: '/',
-                    args: [
-                        sym('active-noise-energy', activeNoiseEnergyQ.dim),
-                        {
-                            kind: 'op',
-                            op: '*',
-                            args: [sym('k_B', CONSTANTS.k_B.dim), sym('temperature', TEMPERATURE)],
-                        },
-                    ],
-                },
-            ],
-        },
-    ],
-};
-/**
- * BE-27 Cugliandolo-Kurchan effective temperature: (temperature,
- * active-noise-energy) → T_eff = T(1 + Σ_active/(k_B T)). Wraps
- * `evaluateEffectiveTemperature` (T in K, Σ in J; returns K). Reuses the
- * canonical `temperature` node. The symbolic form is the same algebra,
- * T·(1 + Σ_active/(k_B T)).
- *
- * Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
- * export for the 26-edge tranche — root-surface budget decision).
- */
-export const be27Edge = {
-    id: 'be-27',
-    beId: 27,
-    kind: 'bridge',
-    label: 'Effective temperature T_eff = T(1 + Σ_active/(k_B T))',
-    sources: [temperatureQ, activeNoiseEnergyQ],
-    target: effectiveTemperatureQ,
-    confidence: 'speculative',
-    domain: {
-        description: 'T > 0 and Σ_active finite',
-        predicate: (i) => isFin(i['temperature']) &&
-            i['temperature'] > 0 &&
-            isFin(i['active-noise-energy']),
-    },
-    evaluate: (i) => evaluateEffectiveTemperature({
-        T_K: i['temperature'],
-        Sigma_active_J: i['active-noise-energy'],
-    }),
-    symbolic: BE27_SYMBOLIC,
-    citation: 'Cugliandolo & Kurchan 1993 J. Phys. A 26:L401',
-};
-export const be33Edge = {
-    id: 'be-33',
-    beId: 33,
-    kind: 'bridge',
-    label: 'Hertz-Millis correlation length ξ(T) = ξ_0 (T/T_0)^(−1/z)',
-    sources: [referenceCorrelationLengthQ, temperatureQ, referenceTemperatureQ, staticExponentNuQ, dynamicExponentZQ],
-    target: quantumCorrelationLengthQ,
-    confidence: 'speculative',
-    domain: {
-        description: 'ξ_0 > 0, T > 0, T_0 > 0, ν finite, z ≠ 0',
-        predicate: (i) => isFin(i['reference-correlation-length']) &&
-            i['reference-correlation-length'] > 0 &&
-            isFin(i['temperature']) &&
-            i['temperature'] > 0 &&
-            isFin(i['reference-temperature']) &&
-            i['reference-temperature'] > 0 &&
-            isFin(i['static-exponent-nu']) &&
-            isFin(i['dynamic-exponent-z']) &&
-            i['dynamic-exponent-z'] !== 0,
-    },
-    evaluate: (i) => evaluateHertzMillis({
-        xi_0_m: i['reference-correlation-length'],
-        T_K: i['temperature'],
-        T_0_K: i['reference-temperature'],
-        nu: i['static-exponent-nu'],
-        z: i['dynamic-exponent-z'],
-    }),
-    symbolic: BE33_HERTZ_MILLIS_SYMBOLIC,
-    citation: 'Hertz 1976 PRB 14:1165; Millis 1993 PRB 48:7183; Sachdev 2011 QPT 2nd ed. Ch.11',
-};
-/**
- * BE-34 Kibble-Zurek defect density: (quench-timescale,
- * microscopic-relaxation-time, spatial-dimension, static-exponent-nu,
- * dynamic-exponent-z, defect-rest-mass, reheating-temperature) →
- * n = (τ_Q/τ_0)^(−dν/(1+zν))·exp(−mc²/(k_B T_reh)). Wraps `evaluateKibbleZurek`
- * (SI; returns dimensionless). Reuses BE-33's `static-exponent-nu` and
- * `dynamic-exponent-z` nodes (same critical exponents).
- *
- * Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
- * export for the 26-edge tranche — root-surface budget decision).
- */
-export const be34Edge = {
-    id: 'be-34',
-    beId: 34,
-    kind: 'bridge',
-    label: 'Kibble-Zurek n = (τ_Q/τ_0)^(−dν/(1+zν))·exp(−mc²/k_B T_reh)',
-    sources: [
-        quenchTimescaleQ,
-        microscopicRelaxationTimeQ,
-        spatialDimensionQ,
-        staticExponentNuQ,
-        dynamicExponentZQ,
-        defectRestMassQ,
-        reheatingTemperatureQ,
-    ],
-    target: defectDensityQ,
-    confidence: 'established',
-    domain: {
-        description: 'τ_Q>0, τ_0>0, d/ν/z finite, m_defect≥0, T_reh>0, 1+zν≠0',
-        predicate: (i) => isFin(i['quench-timescale']) &&
-            i['quench-timescale'] > 0 &&
-            isFin(i['microscopic-relaxation-time']) &&
-            i['microscopic-relaxation-time'] > 0 &&
-            isFin(i['spatial-dimension']) &&
-            isFin(i['static-exponent-nu']) &&
-            isFin(i['dynamic-exponent-z']) &&
-            isFin(i['defect-rest-mass']) &&
-            i['defect-rest-mass'] >= 0 &&
-            isFin(i['reheating-temperature']) &&
-            i['reheating-temperature'] > 0 &&
-            1 + i['dynamic-exponent-z'] * i['static-exponent-nu'] !== 0,
-    },
-    evaluate: (i) => evaluateKibbleZurek({
-        tau_Q: i['quench-timescale'],
-        tau_0: i['microscopic-relaxation-time'],
-        d: i['spatial-dimension'],
-        nu: i['static-exponent-nu'],
-        z: i['dynamic-exponent-z'],
-        m_defect: i['defect-rest-mass'],
-        T_reh: i['reheating-temperature'],
-    }),
-    citation: 'Kibble 1976 J. Phys. A 9:1387; Zurek 1985 Nature 317:505',
-};
-//# sourceMappingURL=catalog-condensed-matter.js.map

package/dist/composition/edges/catalog-condensed-matter.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"catalog-condensed-matter.js","sourceRoot":"","sources":["../../../src/composition/edges/catalog-condensed-matter.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAGH,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAC;AACxE,OAAO,EAAE,GAAG,EAAE,MAAM,mCAAmC,CAAC;AACxD,OAAO,EAAE,SAAS,EAAE,MAAM,yCAAyC,CAAC;AACpE,OAAO,EAAE,wBAAwB,EAAE,MAAM,4CAA4C,CAAC;AACtF,OAAO,EAAE,4BAA4B,EAAE,MAAM,wDAAwD,CAAC;AACtG,OAAO,EAAE,mBAAmB,EAAE,MAAM,+CAA+C,CAAC;AACpF,OAAO,EAAE,mBAAmB,EAAE,MAAM,+CAA+C,CAAC;AACpF,OAAO,EAAE,sBAAsB,EAAE,MAAM,gDAAgD,CAAC;AACxF,OAAO,EAAE,WAAW,EAAE,MAAM,2DAA2D,CAAC;AAExF,OAAO,EACL,kBAAkB,EAClB,mBAAmB,EACnB,eAAe,EACf,eAAe,EACf,iBAAiB,EACjB,cAAc,EACd,eAAe,EACf,iBAAiB,EACjB,cAAc,EACd,qBAAqB,EACrB,0BAA0B,EAC1B,eAAe,EACf,yBAAyB,EACzB,gBAAgB,EAChB,2BAA2B,EAC3B,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,YAAY,EACZ,iBAAiB,EACjB,iBAAiB,EACjB,6BAA6B,EAC7B,eAAe,EACf,YAAY,EACZ,KAAK,EACL,+BAA+B,GAChC,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,KAAK,EAAE,0BAA0B,EAAE,MAAM,uBAAuB,CAAC;AAE1E;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,yCAAyC;IAChD,OAAO,EAAE,CAAC,eAAe,EAAE,KAAK,CAAC;IACjC,MAAM,EAAE,iBAAiB;IACzB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,0BAA0B;QACvC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC;YAC5B,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC;YACzB,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YAChB,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;KAChB;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,wBAAwB,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,kBAAkB,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;IAC1E,QAAQ,EAAE,0EAA0E;CACrF,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,iDAAiD;IACxD,OAAO,EAAE,CAAC,mBAAmB,EAAE,eAAe,EAAE,+BAA+B,CAAC;IAChF,MAAM,EAAE,6BAA6B;IACrC,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,2BAA2B;QACxC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC;YAChC,KAAK,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC;YAC3B,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC;YACzB,KAAK,CAAC,CAAC,CAAC,kCAAkC,CAAC,CAAC;KAC/C;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,WAAW,CAAC;QACV,eAAe,EAAE,CAAC,CAAC,sBAAsB,CAAC;QAC1C,WAAW,EAAE,CAAC,CAAC,iBAAiB,CAAC;QACjC,KAAK,EAAE,CAAC,CAAC,kCAAkC,CAAC;KAC7C,CAAC;IACJ,QAAQ,EAAE,sEAAsE;CACjF,CAAC;AAEF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,oEAAoE;IAC3E,OAAO,EAAE,CAAC,oBAAoB,EAAE,cAAc,EAAE,eAAe,EAAE,YAAY,EAAE,eAAe,CAAC;IAC/F,MAAM,EAAE,YAAY;IACpB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,+CAA+C;QAC5D,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC;YAChC,CAAC,CAAC,sBAAsB,CAAC,IAAI,CAAC;YAC9B,KAAK,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC;YAC1B,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC;YACvB,KAAK,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC;YAC3B,CAAC,CAAC,iBAAiB,CAAC,GAAG,CAAC;YACxB,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;YACvB,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC;YACrB,KAAK,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC;KAC9B;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,sBAAsB,CAAC;QACrB,KAAK,EAAE,CAAC,CAAC,sBAAsB,CAAC;QAChC,SAAS,EAAE,CAAC,CAAC,gBAAgB,CAAC;QAC9B,UAAU,EAAE,CAAC,CAAC,iBAAiB,CAAC;QAChC,GAAG,EAAE,CAAC,CAAC,aAAa,CAAC;QACrB,SAAS,EAAE,CAAC,CAAC,iBAAiB,CAAC;KAChC,CAAC;IACJ,QAAQ,EAAE,iEAAiE;CAC5E,CAAC;AAEF,MAAM,aAAa,GAAa;IAC9B,IAAI,EAAE,IAAI;IACV,EAAE,EAAE,GAAG;IACP,IAAI,EAAE;QACJ,GAAG,CAAC,aAAa,EAAE,WAAW,CAAC;QAC/B;YACE,IAAI,EAAE,IAAI;YACV,EAAE,EAAE,GAAG;YACP,IAAI,EAAE;gBACJ,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;gBACvB;oBACE,IAAI,EAAE,IAAI;oBACV,EAAE,EAAE,GAAG;oBACP,IAAI,EAAE;wBACJ,GAAG,CAAC,qBAAqB,EAAE,kBAAkB,CAAC,GAAG,CAAC;wBAClD;4BACE,IAAI,EAAE,IAAI;4BACV,EAAE,EAAE,GAAG;4BACP,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,aAAa,EAAE,WAAW,CAAC,CAAC;yBACvE;qBACF;iBACF;aACF;SACF;KACF;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,uDAAuD;IAC9D,OAAO,EAAE,CAAC,YAAY,EAAE,kBAAkB,CAAC;IAC3C,MAAM,EAAE,qBAAqB;IAC7B,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,2BAA2B;QACxC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;YACvB,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC;YACpB,KAAK,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC;KAClC;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,4BAA4B,CAAC;QAC3B,GAAG,EAAE,CAAC,CAAC,aAAa,CAAC;QACrB,cAAc,EAAE,CAAC,CAAC,qBAAqB,CAAC;KACzC,CAAC;IACJ,QAAQ,EAAE,aAAa;IACvB,QAAQ,EAAE,+CAA+C;CAC1D,CAAC;AAEF,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,2DAA2D;IAClE,OAAO,EAAE,CAAC,2BAA2B,EAAE,YAAY,EAAE,qBAAqB,EAAE,iBAAiB,EAAE,iBAAiB,CAAC;IACjH,MAAM,EAAE,yBAAyB;IACjC,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,0CAA0C;QACvD,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,8BAA8B,CAAC,CAAC;YACxC,CAAC,CAAC,8BAA8B,CAAC,GAAG,CAAC;YACrC,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;YACvB,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC;YACpB,KAAK,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC;YACjC,CAAC,CAAC,uBAAuB,CAAC,GAAG,CAAC;YAC9B,KAAK,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC;YAC9B,KAAK,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC;YAC9B,CAAC,CAAC,oBAAoB,CAAC,KAAK,CAAC;KAChC;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,mBAAmB,CAAC;QAClB,MAAM,EAAE,CAAC,CAAC,8BAA8B,CAAC;QACzC,GAAG,EAAE,CAAC,CAAC,aAAa,CAAC;QACrB,KAAK,EAAE,CAAC,CAAC,uBAAuB,CAAC;QACjC,EAAE,EAAE,CAAC,CAAC,oBAAoB,CAAC;QAC3B,CAAC,EAAE,CAAC,CAAC,oBAAoB,CAAC;KAC3B,CAAC;IACJ,QAAQ,EAAE,0BAA0B;IACpC,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,6DAA6D;IACpE,OAAO,EAAE;QACP,gBAAgB;QAChB,0BAA0B;QAC1B,iBAAiB;QACjB,iBAAiB;QACjB,iBAAiB;QACjB,eAAe;QACf,qBAAqB;KACtB;IACD,MAAM,EAAE,cAAc;IACtB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,yDAAyD;QACtE,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC;YAC5B,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC;YACzB,KAAK,CAAC,CAAC,CAAC,6BAA6B,CAAC,CAAC;YACvC,CAAC,CAAC,6BAA6B,CAAC,GAAG,CAAC;YACpC,KAAK,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC;YAC7B,KAAK,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC;YAC9B,KAAK,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC;YAC9B,KAAK,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC;YAC5B,CAAC,CAAC,kBAAkB,CAAC,IAAI,CAAC;YAC1B,KAAK,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC;YACjC,CAAC,CAAC,uBAAuB,CAAC,GAAG,CAAC;YAC9B,CAAC,GAAG,CAAC,CAAC,oBAAoB,CAAC,GAAG,CAAC,CAAC,oBAAoB,CAAC,KAAK,CAAC;KAC9D;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,mBAAmB,CAAC;QAClB,KAAK,EAAE,CAAC,CAAC,kBAAkB,CAAC;QAC5B,KAAK,EAAE,CAAC,CAAC,6BAA6B,CAAC;QACvC,CAAC,EAAE,CAAC,CAAC,mBAAmB,CAAC;QACzB,EAAE,EAAE,CAAC,CAAC,oBAAoB,CAAC;QAC3B,CAAC,EAAE,CAAC,CAAC,oBAAoB,CAAC;QAC1B,QAAQ,EAAE,CAAC,CAAC,kBAAkB,CAAC;QAC/B,KAAK,EAAE,CAAC,CAAC,uBAAuB,CAAC;KAClC,CAAC;IACJ,QAAQ,EAAE,0DAA0D;CACrE,CAAC"}

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

@@ -1,68 +0,0 @@
-/**
- * Field-theory bridges (field unification, modified theories, QFT extensions).
- *
- * 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-fields
- */
-import type { BridgeEdge } from '../edge.js';
-/**
- * BE-17 Einstein-Cartan torsion-spin squared invariant:
- * (einstein-coupling-prefactor-squared, torsion-contraction-scalar) →
- * S²_spin = (c⁴/8πG)² · T_λμν T^λμν. Wraps `evaluateBE17SpinDensitySquared`
- * (prefactor in [M²L²T⁻⁴], contraction in [T²L⁻⁴]; returns [M²L⁻²T⁻²]).
- *
- * Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
- * export for the 26-edge tranche — root-surface budget decision).
- */
-export declare const be17Edge: BridgeEdge;
-/**
- * BE-18 Higgs-like dark mass generation: (yukawa-coupling,
- * vacuum-expectation-value) → m_dark = g_dark · v_dark (natural units;
- * mass-as-energy). Wraps `evaluateHiggsMass` (g dimensionless, v in GeV;
- * returns GeV).
- *
- * Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
- * export for the 26-edge tranche — root-surface budget decision).
- */
-export declare const be18Edge: BridgeEdge;
-/**
- * BE-36 GW170817 graviton-photon speed ratio: gravitational-wave-speed →
- * (c_GW − c)/c. Wraps `evaluateGWSpeedRatio` (c_GW in m/s; returns
- * dimensionless signed ratio).
- *
- * Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
- * export for the 26-edge tranche — root-surface budget decision).
- */
-export declare const be36Edge: BridgeEdge;
-/**
- * BE-38 Milgrom MOND force: (newtonian-force, mass, mond-acceleration-scale) →
- * F = F_N·ν(z), z = F_N/(m a_0). Wraps `evaluateMONDForce` (SI; returns N).
- * Reuses the gravitational `mass` node (the test particle's gravitational mass).
- *
- * Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
- * export for the 26-edge tranche — root-surface budget decision).
- */
-export declare const be38Edge: BridgeEdge;
-/**
- * BE-39 asymptotic-safety β_g: (newton-coupling-dimensionless,
- * cosmological-constant-dimensionless, truncation-coefficient-a/b/c) →
- * β_g = 2g + A g² + B g³ − C g²λ. Wraps `evaluateBetaG` (all dimensionless).
- * The module also ships `evaluateBetaLambda`; this edge wraps the β_g branch.
- *
- * Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
- * export for the 26-edge tranche — root-surface budget decision).
- */
-export declare const be39Edge: BridgeEdge;
-/**
- * BE-41 Swampland distance conjecture: (reference-mass, swampland-coefficient,
- * scalar-field-value, scalar-field-reference, planck-mass) →
- * m(φ) = m₀ exp(−α|φ−φ₀|/M_P). Wraps `evaluateSwampland` (consistent units;
- * returns same unit as m₀).
- *
- * Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
- * export for the 26-edge tranche — root-surface budget decision).
- */
-export declare const be41Edge: BridgeEdge;
-//# sourceMappingURL=catalog-fields.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"catalog-fields.d.ts","sourceRoot":"","sources":["../../../src/composition/edges/catalog-fields.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAQH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AA6B7C;;;;;;;;GAQG;AACH,eAAO,MAAM,QAAQ,EAAE,UAqBtB,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,QAAQ,EAAE,UAoBtB,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,QAAQ,EAAE,UAkBtB,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,QAAQ,EAAE,UAyBtB,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,QAAQ,EAAE,UAgCtB,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,QAAQ,EAAE,UA4BtB,CAAC"}

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

@@ -1,207 +0,0 @@
-/**
- * Field-theory bridges (field unification, modified theories, QFT extensions).
- *
- * 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-fields
- */
-import { evaluateBE17SpinDensitySquared } from '../../bridges/equations/be-17-einstein-cartan.js';
-import { evaluateBetaG } from '../../bridges/equations/be-39-asymptotic-safety.js';
-import { evaluateGWSpeedRatio } from '../../bridges/equations/be-36-gw-speed-bound.js';
-import { evaluateHiggsMass } from '../../bridges/equations/be-18-higgs-mass.js';
-import { evaluateMONDForce } from '../../bridges/equations/be-38-mond.js';
-import { evaluateSwampland } from '../../bridges/equations/be-41-swampland.js';
-import { cosmologicalConstantDimensionlessQ, couplingPrefactorSquaredQ, darkFermionMassQ, gravitationalWaveSpeedQ, gwPhotonSpeedRatioQ, massQ, mondAccelerationScaleQ, mondForceQ, newtonCouplingBetaQ, newtonCouplingQ, newtonianForceQ, planckMassQ, referenceMassQ, scalarFieldReferenceQ, scalarFieldValueQ, spinDensitySquaredQ, swamplandCoefficientQ, swamplandTowerMassQ, torsionContractionScalarQ, truncationCoefficientAQ, truncationCoefficientBQ, truncationCoefficientCQ, vacuumExpectationValueQ, yukawaCouplingQ, } from '../quantities.js';
-import { isFin, BE18_SYMBOLIC, BE36_SYMBOLIC } from './_catalog-helpers.js';
-/**
- * BE-17 Einstein-Cartan torsion-spin squared invariant:
- * (einstein-coupling-prefactor-squared, torsion-contraction-scalar) →
- * S²_spin = (c⁴/8πG)² · T_λμν T^λμν. Wraps `evaluateBE17SpinDensitySquared`
- * (prefactor in [M²L²T⁻⁴], contraction in [T²L⁻⁴]; returns [M²L⁻²T⁻²]).
- *
- * Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
- * export for the 26-edge tranche — root-surface budget decision).
- */
-export const be17Edge = {
-    id: 'be-17',
-    beId: 17,
-    kind: 'bridge',
-    label: 'Einstein-Cartan S²_spin = (c⁴/8πG)² · T·T',
-    sources: [couplingPrefactorSquaredQ, torsionContractionScalarQ],
-    target: spinDensitySquaredQ,
-    confidence: 'speculative',
-    domain: {
-        description: 'prefactor finite, torsion contraction ≥ 0 (sum of squares)',
-        predicate: (i) => isFin(i['einstein-coupling-prefactor-squared']) &&
-            isFin(i['torsion-contraction-scalar']) &&
-            i['torsion-contraction-scalar'] >= 0,
-    },
-    evaluate: (i) => evaluateBE17SpinDensitySquared({
-        coupling_prefactor_squared: i['einstein-coupling-prefactor-squared'],
-        torsion_squared: i['torsion-contraction-scalar'],
-    }),
-    citation: 'Hehl et al. 1976 RMP 48:393; Cartan 1922 C. R. Acad. Sci. 174:593',
-};
-/**
- * BE-18 Higgs-like dark mass generation: (yukawa-coupling,
- * vacuum-expectation-value) → m_dark = g_dark · v_dark (natural units;
- * mass-as-energy). Wraps `evaluateHiggsMass` (g dimensionless, v in GeV;
- * returns GeV).
- *
- * Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
- * export for the 26-edge tranche — root-surface budget decision).
- */
-export const be18Edge = {
-    id: 'be-18',
-    beId: 18,
-    kind: 'bridge',
-    label: 'Higgs-like dark mass m_dark = g_dark · v_dark',
-    sources: [yukawaCouplingQ, vacuumExpectationValueQ],
-    target: darkFermionMassQ,
-    confidence: 'speculative',
-    domain: {
-        description: 'g_dark and v_dark finite',
-        predicate: (i) => isFin(i['yukawa-coupling']) && isFin(i['vacuum-expectation-value']),
-    },
-    evaluate: (i) => evaluateHiggsMass({
-        g_dark: i['yukawa-coupling'],
-        v_dark_GeV: i['vacuum-expectation-value'],
-    }),
-    symbolic: BE18_SYMBOLIC,
-    citation: 'Peskin & Schroeder 1995 QFT §20.1',
-};
-/**
- * BE-36 GW170817 graviton-photon speed ratio: gravitational-wave-speed →
- * (c_GW − c)/c. Wraps `evaluateGWSpeedRatio` (c_GW in m/s; returns
- * dimensionless signed ratio).
- *
- * Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
- * export for the 26-edge tranche — root-surface budget decision).
- */
-export const be36Edge = {
-    id: 'be-36',
-    beId: 36,
-    kind: 'bridge',
-    label: 'GW170817 speed ratio (c_GW − c)/c',
-    sources: [gravitationalWaveSpeedQ],
-    target: gwPhotonSpeedRatioQ,
-    confidence: 'speculative',
-    domain: {
-        description: 'c_GW > 0 and finite',
-        predicate: (i) => isFin(i['gravitational-wave-speed']) &&
-            i['gravitational-wave-speed'] > 0,
-    },
-    evaluate: (i) => evaluateGWSpeedRatio({ c_GW_m_per_s: i['gravitational-wave-speed'] }),
-    symbolic: BE36_SYMBOLIC,
-    citation: 'Abbott et al. 2017 ApJ Lett. 848:L13; Boran et al. 2018 PRD 97:041501',
-};
-/**
- * BE-38 Milgrom MOND force: (newtonian-force, mass, mond-acceleration-scale) →
- * F = F_N·ν(z), z = F_N/(m a_0). Wraps `evaluateMONDForce` (SI; returns N).
- * Reuses the gravitational `mass` node (the test particle's 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 be38Edge = {
-    id: 'be-38',
-    beId: 38,
-    kind: 'bridge',
-    label: 'MOND force F = F_N·ν(F_N/(m a_0))',
-    sources: [newtonianForceQ, massQ, mondAccelerationScaleQ],
-    target: mondForceQ,
-    confidence: 'speculative',
-    domain: {
-        description: 'F_N > 0, m > 0, a_0 > 0',
-        predicate: (i) => isFin(i['newtonian-force']) &&
-            i['newtonian-force'] > 0 &&
-            isFin(i['mass']) &&
-            i['mass'] > 0 &&
-            isFin(i['mond-acceleration-scale']) &&
-            i['mond-acceleration-scale'] > 0,
-    },
-    evaluate: (i) => evaluateMONDForce({
-        F_N_newton: i['newtonian-force'],
-        m_kg: i['mass'],
-        a_0_m_per_s2: i['mond-acceleration-scale'],
-    }),
-    citation: 'Milgrom 1983 ApJ 270:365; Famaey & McGaugh 2012 Living Rev. Relativity 15:10',
-};
-/**
- * BE-39 asymptotic-safety β_g: (newton-coupling-dimensionless,
- * cosmological-constant-dimensionless, truncation-coefficient-a/b/c) →
- * β_g = 2g + A g² + B g³ − C g²λ. Wraps `evaluateBetaG` (all dimensionless).
- * The module also ships `evaluateBetaLambda`; this edge wraps the β_g branch.
- *
- * Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
- * export for the 26-edge tranche — root-surface budget decision).
- */
-export const be39Edge = {
-    id: 'be-39',
-    beId: 39,
-    kind: 'bridge',
-    label: 'Asymptotic safety β_g = 2g + A g² + B g³ − C g²λ',
-    sources: [
-        newtonCouplingQ,
-        cosmologicalConstantDimensionlessQ,
-        truncationCoefficientAQ,
-        truncationCoefficientBQ,
-        truncationCoefficientCQ,
-    ],
-    target: newtonCouplingBetaQ,
-    confidence: 'speculative',
-    domain: {
-        description: 'g, λ, A, B, C all finite',
-        predicate: (i) => isFin(i['newton-coupling-dimensionless']) &&
-            isFin(i['cosmological-constant-dimensionless']) &&
-            isFin(i['truncation-coefficient-a']) &&
-            isFin(i['truncation-coefficient-b']) &&
-            isFin(i['truncation-coefficient-c']),
-    },
-    evaluate: (i) => evaluateBetaG({
-        g: i['newton-coupling-dimensionless'],
-        lambda: i['cosmological-constant-dimensionless'],
-        A: i['truncation-coefficient-a'],
-        B: i['truncation-coefficient-b'],
-        C: i['truncation-coefficient-c'],
-    }),
-    citation: 'Reuter 1998 PRD 57:971; Reuter & Weyer 2009 Gen. Rel. Grav. 41:983',
-};
-/**
- * BE-41 Swampland distance conjecture: (reference-mass, swampland-coefficient,
- * scalar-field-value, scalar-field-reference, planck-mass) →
- * m(φ) = m₀ exp(−α|φ−φ₀|/M_P). Wraps `evaluateSwampland` (consistent units;
- * returns same unit as m₀).
- *
- * Root-reachable via the {@link CATALOG_FULL_EDGES} array (one root
- * export for the 26-edge tranche — root-surface budget decision).
- */
-export const be41Edge = {
-    id: 'be-41',
-    beId: 41,
-    kind: 'bridge',
-    label: 'Swampland tower mass m(φ) = m₀ exp(−α|φ−φ₀|/M_P)',
-    sources: [referenceMassQ, swamplandCoefficientQ, scalarFieldValueQ, scalarFieldReferenceQ, planckMassQ],
-    target: swamplandTowerMassQ,
-    confidence: 'speculative',
-    domain: {
-        description: 'm₀ ≥ 0, α/φ/φ₀ finite, M_P > 0',
-        predicate: (i) => isFin(i['reference-mass']) &&
-            i['reference-mass'] >= 0 &&
-            isFin(i['swampland-coefficient']) &&
-            isFin(i['scalar-field-value']) &&
-            isFin(i['scalar-field-reference']) &&
-            isFin(i['planck-mass']) &&
-            i['planck-mass'] > 0,
-    },
-    evaluate: (i) => evaluateSwampland({
-        m0: i['reference-mass'],
-        alpha: i['swampland-coefficient'],
-        phi: i['scalar-field-value'],
-        phi0: i['scalar-field-reference'],
-        M_P: i['planck-mass'],
-    }),
-    citation: 'Ooguri & Vafa 2007 Nucl. Phys. B 766:21; Vafa 2005 (hep-th/0509212)',
-};
-//# sourceMappingURL=catalog-fields.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"catalog-fields.js","sourceRoot":"","sources":["../../../src/composition/edges/catalog-fields.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,8BAA8B,EAAE,MAAM,kDAAkD,CAAC;AAClG,OAAO,EAAE,aAAa,EAAE,MAAM,oDAAoD,CAAC;AACnF,OAAO,EAAE,oBAAoB,EAAE,MAAM,iDAAiD,CAAC;AACvF,OAAO,EAAE,iBAAiB,EAAE,MAAM,6CAA6C,CAAC;AAChF,OAAO,EAAE,iBAAiB,EAAE,MAAM,uCAAuC,CAAC;AAC1E,OAAO,EAAE,iBAAiB,EAAE,MAAM,4CAA4C,CAAC;AAE/E,OAAO,EACL,kCAAkC,EAClC,yBAAyB,EACzB,gBAAgB,EAChB,uBAAuB,EACvB,mBAAmB,EACnB,KAAK,EACL,sBAAsB,EACtB,UAAU,EACV,mBAAmB,EACnB,eAAe,EACf,eAAe,EACf,WAAW,EACX,cAAc,EACd,qBAAqB,EACrB,iBAAiB,EACjB,mBAAmB,EACnB,qBAAqB,EACrB,mBAAmB,EACnB,yBAAyB,EACzB,uBAAuB,EACvB,uBAAuB,EACvB,uBAAuB,EACvB,uBAAuB,EACvB,eAAe,GAChB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAE5E;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,2CAA2C;IAClD,OAAO,EAAE,CAAC,yBAAyB,EAAE,yBAAyB,CAAC;IAC/D,MAAM,EAAE,mBAAmB;IAC3B,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,4DAA4D;QACzE,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,qCAAqC,CAAC,CAAC;YAC/C,KAAK,CAAC,CAAC,CAAC,4BAA4B,CAAC,CAAC;YACtC,CAAC,CAAC,4BAA4B,CAAC,IAAI,CAAC;KACvC;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,8BAA8B,CAAC;QAC7B,0BAA0B,EAAE,CAAC,CAAC,qCAAqC,CAAC;QACpE,eAAe,EAAE,CAAC,CAAC,4BAA4B,CAAC;KACjD,CAAC;IACJ,QAAQ,EAAE,mEAAmE;CAC9E,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,+CAA+C;IACtD,OAAO,EAAE,CAAC,eAAe,EAAE,uBAAuB,CAAC;IACnD,MAAM,EAAE,gBAAgB;IACxB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,0BAA0B;QACvC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC;KACtE;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,iBAAiB,CAAC;QAChB,MAAM,EAAE,CAAC,CAAC,iBAAiB,CAAC;QAC5B,UAAU,EAAE,CAAC,CAAC,0BAA0B,CAAC;KAC1C,CAAC;IACJ,QAAQ,EAAE,aAAa;IACvB,QAAQ,EAAE,mCAAmC;CAC9C,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,mCAAmC;IAC1C,OAAO,EAAE,CAAC,uBAAuB,CAAC;IAClC,MAAM,EAAE,mBAAmB;IAC3B,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,qBAAqB;QAClC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC;YACpC,CAAC,CAAC,0BAA0B,CAAC,GAAG,CAAC;KACpC;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,oBAAoB,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,0BAA0B,CAAC,EAAE,CAAC;IACvE,QAAQ,EAAE,aAAa;IACvB,QAAQ,EAAE,uEAAuE;CAClF,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,mCAAmC;IAC1C,OAAO,EAAE,CAAC,eAAe,EAAE,KAAK,EAAE,sBAAsB,CAAC;IACzD,MAAM,EAAE,UAAU;IAClB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,yBAAyB;QACtC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC;YAC3B,CAAC,CAAC,iBAAiB,CAAC,GAAG,CAAC;YACxB,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YAChB,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;YACb,KAAK,CAAC,CAAC,CAAC,yBAAyB,CAAC,CAAC;YACnC,CAAC,CAAC,yBAAyB,CAAC,GAAG,CAAC;KACnC;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,iBAAiB,CAAC;QAChB,UAAU,EAAE,CAAC,CAAC,iBAAiB,CAAC;QAChC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;QACf,YAAY,EAAE,CAAC,CAAC,yBAAyB,CAAC;KAC3C,CAAC;IACJ,QAAQ,EAAE,8EAA8E;CACzF,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,kDAAkD;IACzD,OAAO,EAAE;QACP,eAAe;QACf,kCAAkC;QAClC,uBAAuB;QACvB,uBAAuB;QACvB,uBAAuB;KACxB;IACD,MAAM,EAAE,mBAAmB;IAC3B,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,0BAA0B;QACvC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,+BAA+B,CAAC,CAAC;YACzC,KAAK,CAAC,CAAC,CAAC,qCAAqC,CAAC,CAAC;YAC/C,KAAK,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC;YACpC,KAAK,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC;YACpC,KAAK,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC;KACvC;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,aAAa,CAAC;QACZ,CAAC,EAAE,CAAC,CAAC,+BAA+B,CAAC;QACrC,MAAM,EAAE,CAAC,CAAC,qCAAqC,CAAC;QAChD,CAAC,EAAE,CAAC,CAAC,0BAA0B,CAAC;QAChC,CAAC,EAAE,CAAC,CAAC,0BAA0B,CAAC;QAChC,CAAC,EAAE,CAAC,CAAC,0BAA0B,CAAC;KACjC,CAAC;IACJ,QAAQ,EAAE,oEAAoE;CAC/E,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,kDAAkD;IACzD,OAAO,EAAE,CAAC,cAAc,EAAE,qBAAqB,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,WAAW,CAAC;IACvG,MAAM,EAAE,mBAAmB;IAC3B,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,gCAAgC;QAC7C,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,KAAK,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC;YAC1B,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC;YACxB,KAAK,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC;YACjC,KAAK,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC;YAC9B,KAAK,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC;YAClC,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;YACvB,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC;KACvB;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,iBAAiB,CAAC;QAChB,EAAE,EAAE,CAAC,CAAC,gBAAgB,CAAC;QACvB,KAAK,EAAE,CAAC,CAAC,uBAAuB,CAAC;QACjC,GAAG,EAAE,CAAC,CAAC,oBAAoB,CAAC;QAC5B,IAAI,EAAE,CAAC,CAAC,wBAAwB,CAAC;QACjC,GAAG,EAAE,CAAC,CAAC,aAAa,CAAC;KACtB,CAAC;IACJ,QAAQ,EAAE,qEAAqE;CAChF,CAAC"}

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

@@ -1,43 +0,0 @@
-/**
- * Catalog-full edges — the v0.11 headline: migrate the remaining catalog
- * bridges (those with a USABLE numerical evaluator) to composition-graph
- * `BridgeEdge`s, extending the v0.8.0 calibration + v0.10.0 catalog-tranche
- * sets. 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.
- *
- * Quantity-name discipline (v0.11 namespacing gate, Option D): every node is
- * defined ONCE in `src/composition/quantities.ts`. Where the physics matches
- * an existing canonical node we REUSE it (`relaxation-rate`, `decoherence-rate`,
- * `temperature`, `mass`, `mass-density`); where the name would collide but the
- * physics DIFFERS we pick a distinct name — e.g. BE-23/BE-26 carrier/proton
- * masses become `effective-mass` / `tunneling-mass`, NOT the gravitational
- * `mass`. BE-13 and BE-31 share the `ricci-scalar` target (both produce the
- * scalar curvature R [L⁻²]).
- *
- * NOT-A-BRIDGE entries — NO edges in this array (per src/bridges/rejected.ts
- * REJECTED_BRIDGE_IDS): BE-28 (Onsager/MEPP), BE-29 (Jarzynski), BE-32
- * (quantum reference frames), BE-35 (conformal bootstrap), BE-40 (composite
- * Higgs). Rejected adjudications are not bridges. BE-40's proved potential
- * is a law edge in `proved-seeds.ts`, outside this array: the rejection is
- * the single-regime adjudication, and the theorem still states V(h).
- *
- * Other skips (no scalar-Record evaluator): BE-44 soft-hair — its evaluator
- * `evaluateBE44SoftHairCharge` takes a `number[]` news-sample array + grid
- * spacing, not a `Record<string, number>` of scalar quantities, so it cannot
- * be lowered onto the (sources → scalars) edge contract without an array
- * quantity primitive the graph does not yet have.
- *
- * @module composition/edges/catalog-full
- */
-import type { BridgeEdge } from '../edge.js';
-export { be11Edge, be13Edge, be24Edge, be25Edge, be26Edge, be49Edge, be50Edge, } from './catalog-quantum.js';
-export { be20Edge, be30Edge, be31Edge, be43Edge, be45Edge, be46Edge, be47Edge, } from './catalog-gravitation-cosmology.js';
-export { be17Edge, be18Edge, be36Edge, be38Edge, be39Edge, be41Edge, } from './catalog-fields.js';
-export { be15Edge, be22Edge, be23Edge, be27Edge, be33Edge, be34Edge, } from './catalog-condensed-matter.js';
-/**
- * All catalog-full edges, in catalog-id order. Convenience array for the
- * drift-guard test and downstream graph assembly. @public
- */
-export declare const CATALOG_FULL_EDGES: readonly BridgeEdge[];
-//# sourceMappingURL=catalog-full.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"catalog-full.d.ts","sourceRoot":"","sources":["../../../src/composition/edges/catalog-full.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAoC7C,OAAO,EACL,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,GACT,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,GACT,MAAM,oCAAoC,CAAC;AAC5C,OAAO,EACL,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,GACT,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,GACT,MAAM,+BAA+B,CAAC;AAEvC;;;GAGG;AACH,eAAO,MAAM,kBAAkB,EAAE,SAAS,UAAU,EA2BnD,CAAC"}