universal-physics-tensor 6.1.0 → 8.0.0

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

@@ -1,304 +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 { sym } from '../../dimensional/ast-builders.js';
-import { CONSTANTS } from '../../dimensional/symbolic-constants.js';
-import { DIMENSIONLESS, } from '../../dimensional/types.js';
-import { evaluateRyuTakayanagi } from '../../bridges/equations/be-14-ryu-takayanagi.js';
-import { evaluateQuantumBounce } from '../../bridges/equations/be-19-quantum-bounce.js';
-import { evaluateKSSBound, BE21_KSS_RHS, } from '../../bridges/equations/be-21-kss-bound.js';
-import { evaluateGRWLocalization } from '../../bridges/equations/be-48-grw-localization.js';
-import { evaluateYangMillsBeta } from '../../bridges/equations/be-53-yang-mills-beta.js';
-import { evaluateRandallSundrumH2 } from '../../bridges/equations/be-54-randall-sundrum-brane.js';
-import { boundaryEntanglementEntropyQ, braneTensionQ, colorNumberQ, criticalDensityQ, flavorNumberQ, gaugeCouplingQ, grwLocalizationRateQ, hubbleRateSquaredQ, massDensityQ, massQ, minimalSurfaceAreaQ, rescaledCosmologicalConstantQ, viscosityEntropyRatioQ, yangMillsBetaQ, } from '../quantities.js';
-// --- Quantity nodes ---
-// REUSED from calibration.ts (same name, dimension, and attributes):
-// composition junctions match by name, so the physical quantity 'mass'
-// must be the SAME node shape wherever it appears in the graph.
-// Shared by BE-19 and BE-54 (both modified-Friedmann edges).
-// Shared target of BE-19 and BE-54.
-// --- Edges ---
-/**
- * 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 const be14Edge = {
-    id: 'be-14',
-    beId: 14,
-    kind: 'bridge',
-    label: 'Ryu-Takayanagi entropy S = k_B c³ A / (4 G_N ℏ)',
-    sources: [minimalSurfaceAreaQ],
-    target: boundaryEntanglementEntropyQ,
-    confidence: 'speculative',
-    domain: {
-        description: 'A ≥ 0 and finite (minimal-surface area)',
-        predicate: (i) => Number.isFinite(i['minimal-surface-area']) &&
-            i['minimal-surface-area'] >= 0,
-    },
-    evaluate: (i) => evaluateRyuTakayanagi({ area_m2: i['minimal-surface-area'] }),
-    citation: 'Ryu & Takayanagi 2006 PRL 96:181602',
-};
-/**
- * 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 const be19Edge = {
-    id: 'be-19',
-    beId: 19,
-    kind: 'bridge',
-    label: 'LQC bounce H² = (8πG/3) ρ (1 − ρ/ρ_crit) + Λ/3',
-    sources: [massDensityQ, criticalDensityQ, rescaledCosmologicalConstantQ],
-    target: hubbleRateSquaredQ,
-    confidence: 'speculative',
-    domain: {
-        description: 'ρ ≥ 0, ρ_crit > 0, Λ finite (all SI)',
-        predicate: (i) => Number.isFinite(i['mass-density']) &&
-            i['mass-density'] >= 0 &&
-            Number.isFinite(i['critical-density']) &&
-            i['critical-density'] > 0 &&
-            Number.isFinite(i['rescaled-cosmological-constant']),
-    },
-    evaluate: (i) => evaluateQuantumBounce({
-        rho: i['mass-density'],
-        rho_crit: i['critical-density'],
-        Lambda_Tinv2: i['rescaled-cosmological-constant'],
-    }),
-    citation: 'Ashtekar, Pawlowski & Singh 2006 PRD 74:084003',
-};
-/**
- * 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 const be21Edge = {
-    id: 'be-21',
-    beId: 21,
-    kind: 'bridge',
-    label: 'KSS bound η/s = ℏ/(4π k_B)',
-    sources: [],
-    target: viscosityEntropyRatioQ,
-    confidence: 'established',
-    domain: {
-        description: 'universal constant — no inputs (vacuously valid)',
-        predicate: () => true,
-    },
-    evaluate: () => evaluateKSSBound(),
-    symbolic: BE21_KSS_RHS,
-    citation: 'Kovtun, Son & Starinets 2005 PRL 94:111601',
-    // -- Atlas Phase 1 overlay: mirrors BRIDGE_EQUATIONS' 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: 'derivation',
-        transformation: 'strongly-coupled large-N quantum fluid -> its two-derivative ' +
-            'Einstein-gravity dual: eta from the graviton absorption cross-section, ' +
-            's from the horizon area',
-    },
-};
-/**
- * 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 const be48Edge = {
-    id: 'be-48',
-    beId: 48,
-    kind: 'bridge',
-    label: 'GRW localization rate λ_GRW = λ_0 (m/m_0)',
-    sources: [massQ],
-    target: grwLocalizationRateQ,
-    confidence: 'speculative',
-    domain: {
-        description: 'm > 0 and finite (object mass)',
-        predicate: (i) => Number.isFinite(i['mass']) && i['mass'] > 0,
-    },
-    evaluate: (i) => evaluateGRWLocalization({ m_kg: i['mass'] }),
-    citation: 'Ghirardi, Rimini & Weber 1986 PRD 34:470',
-    // -- Atlas Phase 1 overlay: mirrors BRIDGE_EQUATIONS' 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: 'derivation',
-        transformation: 'single-nucleon GRW localization rate lambda_0 at reference mass m_0 -> ' +
-            'composite-mass rate lambda_GRW(m) = lambda_0 (m/m_0) by the GRW (QMSL) ' +
-            'centre-of-mass amplification lambda_macro = N lambda_micro',
-    },
-};
-/**
- * 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 const be53Edge = {
-    id: 'be-53',
-    beId: 53,
-    kind: 'bridge',
-    label: 'Yang-Mills β(g) = −[(11/3)N_c − (2/3)N_f] g³/(16π²)',
-    sources: [gaugeCouplingQ, colorNumberQ, flavorNumberQ],
-    target: yangMillsBetaQ,
-    confidence: 'established',
-    domain: {
-        description: 'g finite, N_c > 0, N_f ≥ 0',
-        predicate: (i) => Number.isFinite(i['gauge-coupling']) &&
-            Number.isFinite(i['color-number']) &&
-            i['color-number'] > 0 &&
-            Number.isFinite(i['flavor-number']) &&
-            i['flavor-number'] >= 0,
-    },
-    evaluate: (i) => evaluateYangMillsBeta({
-        g: i['gauge-coupling'],
-        N_c: i['color-number'],
-        N_f: i['flavor-number'],
-    }),
-    citation: 'Gross & Wilczek 1973 PRL 30:1343; Politzer 1973 PRL 30:1346',
-};
-const BE54_SYMBOLIC = {
-    kind: 'op',
-    op: '+',
-    args: [
-        {
-            kind: 'op',
-            op: '*',
-            args: [
-                {
-                    kind: 'op',
-                    op: '/',
-                    args: [
-                        {
-                            kind: 'op',
-                            op: '*',
-                            args: [sym('8pi', CONSTANTS['8pi'].dim), sym('G', CONSTANTS.G.dim)],
-                        },
-                        sym('3', DIMENSIONLESS),
-                    ],
-                },
-                sym('mass-density', massDensityQ.dim),
-                {
-                    kind: 'op',
-                    op: '+',
-                    args: [
-                        sym('1', DIMENSIONLESS),
-                        {
-                            kind: 'op',
-                            op: '/',
-                            args: [
-                                sym('mass-density', massDensityQ.dim),
-                                {
-                                    kind: 'op',
-                                    op: '*',
-                                    args: [sym('2', DIMENSIONLESS), sym('brane-tension', braneTensionQ.dim)],
-                                },
-                            ],
-                        },
-                    ],
-                },
-            ],
-        },
-        {
-            kind: 'op',
-            op: '/',
-            args: [
-                sym('rescaled-cosmological-constant', rescaledCosmologicalConstantQ.dim),
-                sym('3', DIMENSIONLESS),
-            ],
-        },
-    ],
-};
-/**
- * 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 const be54Edge = {
-    id: 'be-54',
-    beId: 54,
-    kind: 'bridge',
-    label: 'Randall-Sundrum brane H² = (8πG/3) ρ (1 + ρ/(2σ)) + Λ/3',
-    sources: [massDensityQ, braneTensionQ, rescaledCosmologicalConstantQ],
-    target: hubbleRateSquaredQ,
-    confidence: 'speculative',
-    domain: {
-        description: 'ρ ≥ 0, σ > 0, Λ finite (all SI)',
-        predicate: (i) => Number.isFinite(i['mass-density']) &&
-            i['mass-density'] >= 0 &&
-            Number.isFinite(i['brane-tension']) &&
-            i['brane-tension'] > 0 &&
-            Number.isFinite(i['rescaled-cosmological-constant']),
-    },
-    evaluate: (i) => evaluateRandallSundrumH2({
-        rho_kg_per_m3: i['mass-density'],
-        sigma_kg_per_m3: i['brane-tension'],
-    }) + i['rescaled-cosmological-constant'] / 3,
-    symbolic: BE54_SYMBOLIC,
-    citation: 'Randall & Sundrum 1999 PRL 83:4690; Binétruy et al. 2000 PLB 477:285',
-};
-//# sourceMappingURL=catalog-tranche.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"catalog-tranche.js","sourceRoot":"","sources":["../../../src/composition/edges/catalog-tranche.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAGH,OAAO,EAAE,GAAG,EAAE,MAAM,mCAAmC,CAAC;AACxD,OAAO,EAAE,SAAS,EAAE,MAAM,yCAAyC,CAAC;AACpE,OAAO,EACL,aAAa,GAKd,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,qBAAqB,EAAE,MAAM,iDAAiD,CAAC;AACxF,OAAO,EAAE,qBAAqB,EAAE,MAAM,iDAAiD,CAAC;AACxF,OAAO,EACL,gBAAgB,EAChB,YAAY,GAEb,MAAM,4CAA4C,CAAC;AACpD,OAAO,EAAE,uBAAuB,EAAE,MAAM,mDAAmD,CAAC;AAC5F,OAAO,EAAE,qBAAqB,EAAE,MAAM,kDAAkD,CAAC;AACzF,OAAO,EAAE,wBAAwB,EAAE,MAAM,wDAAwD,CAAC;AAElG,OAAO,EACL,4BAA4B,EAC5B,aAAa,EACb,YAAY,EACZ,gBAAgB,EAChB,aAAa,EACb,cAAc,EACd,oBAAoB,EACpB,kBAAkB,EAClB,YAAY,EACZ,KAAK,EACL,mBAAmB,EACnB,6BAA6B,EAC7B,sBAAsB,EACtB,cAAc,GACf,MAAM,kBAAkB,CAAC;AAE1B,yBAAyB;AAEzB,qEAAqE;AACrE,uEAAuE;AACvE,gEAAgE;AAChE,6DAA6D;AAC7D,oCAAoC;AACpC,gBAAgB;AAEhB;;;;;;;;;;GAUG;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,CAAC;IAC9B,MAAM,EAAE,4BAA4B;IACpC,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,yCAAyC;QACtD,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC;YAC1C,CAAC,CAAC,sBAAsB,CAAC,IAAI,CAAC;KACjC;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,qBAAqB,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,sBAAsB,CAAC,EAAE,CAAC;IAC/D,QAAQ,EAAE,qCAAqC;CAChD,CAAC;AAEF;;;;;;;;;;;;;;GAcG;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,YAAY,EAAE,gBAAgB,EAAE,6BAA6B,CAAC;IACxE,MAAM,EAAE,kBAAkB;IAC1B,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,sCAAsC;QACnD,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;YAClC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC;YACtB,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC;YACtC,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC;YACzB,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,gCAAgC,CAAC,CAAC;KACvD;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,qBAAqB,CAAC;QACpB,GAAG,EAAE,CAAC,CAAC,cAAc,CAAC;QACtB,QAAQ,EAAE,CAAC,CAAC,kBAAkB,CAAC;QAC/B,YAAY,EAAE,CAAC,CAAC,gCAAgC,CAAC;KAClD,CAAC;IACJ,QAAQ,EAAE,gDAAgD;CAC3D,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,4BAA4B;IACnC,OAAO,EAAE,EAAE;IACX,MAAM,EAAE,sBAAsB;IAC9B,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,kDAAkD;QAC/D,SAAS,EAAE,GAAG,EAAE,CAAC,IAAI;KACtB;IACD,QAAQ,EAAE,GAAG,EAAE,CAAC,gBAAgB,EAAE;IAClC,QAAQ,EAAE,YAAY;IACtB,QAAQ,EAAE,4CAA4C;IACtD,6EAA6E;IAC7E,8EAA8E;IAC9E,4DAA4D;IAC5D,QAAQ,EAAE;QACR,IAAI,EAAE,YAAY;QAClB,cAAc,EACZ,+DAA+D;YAC/D,yEAAyE;YACzE,yBAAyB;KAC5B;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,2CAA2C;IAClD,OAAO,EAAE,CAAC,KAAK,CAAC;IAChB,MAAM,EAAE,oBAAoB;IAC5B,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,gCAAgC;QAC7C,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;KAC9D;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,uBAAuB,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;IAC7D,QAAQ,EAAE,0CAA0C;IACpD,6EAA6E;IAC7E,8EAA8E;IAC9E,4DAA4D;IAC5D,QAAQ,EAAE;QACR,IAAI,EAAE,YAAY;QAClB,cAAc,EACZ,yEAAyE;YACzE,yEAAyE;YACzE,4DAA4D;KAC/D;CACF,CAAC;AAEF;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,qDAAqD;IAC5D,OAAO,EAAE,CAAC,cAAc,EAAE,YAAY,EAAE,aAAa,CAAC;IACtD,MAAM,EAAE,cAAc;IACtB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,4BAA4B;QACzC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC;YACpC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;YAClC,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC;YACrB,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC;YACnC,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC;KAC1B;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,qBAAqB,CAAC;QACpB,CAAC,EAAE,CAAC,CAAC,gBAAgB,CAAC;QACtB,GAAG,EAAE,CAAC,CAAC,cAAc,CAAC;QACtB,GAAG,EAAE,CAAC,CAAC,eAAe,CAAC;KACxB,CAAC;IACJ,QAAQ,EAAE,6DAA6D;CACxE,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;oBACE,IAAI,EAAE,IAAI;oBACV,EAAE,EAAE,GAAG;oBACP,IAAI,EAAE;wBACJ;4BACE,IAAI,EAAE,IAAI;4BACV,EAAE,EAAE,GAAG;4BACP,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;yBACpE;wBACD,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;qBACxB;iBACF;gBACD,GAAG,CAAC,cAAc,EAAE,YAAY,CAAC,GAAG,CAAC;gBACrC;oBACE,IAAI,EAAE,IAAI;oBACV,EAAE,EAAE,GAAG;oBACP,IAAI,EAAE;wBACJ,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;wBACvB;4BACE,IAAI,EAAE,IAAI;4BACV,EAAE,EAAE,GAAG;4BACP,IAAI,EAAE;gCACJ,GAAG,CAAC,cAAc,EAAE,YAAY,CAAC,GAAG,CAAC;gCACrC;oCACE,IAAI,EAAE,IAAI;oCACV,EAAE,EAAE,GAAG;oCACP,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,eAAe,EAAE,aAAa,CAAC,GAAG,CAAC,CAAC;iCACzE;6BACF;yBACF;qBACF;iBACF;aACF;SACF;QACD;YACE,IAAI,EAAE,IAAI;YACV,EAAE,EAAE,GAAG;YACP,IAAI,EAAE;gBACJ,GAAG,CAAC,gCAAgC,EAAE,6BAA6B,CAAC,GAAG,CAAC;gBACxE,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;aACxB;SACF;KACF;CACF,CAAC;AAEF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,EAAE;IACR,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,yDAAyD;IAChE,OAAO,EAAE,CAAC,YAAY,EAAE,aAAa,EAAE,6BAA6B,CAAC;IACrE,MAAM,EAAE,kBAAkB;IAC1B,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE;QACN,WAAW,EAAE,iCAAiC;QAC9C,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,CACf,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;YAClC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC;YACtB,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC;YACnC,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC;YACtB,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,gCAAgC,CAAC,CAAC;KACvD;IACD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,wBAAwB,CAAC;QACvB,aAAa,EAAE,CAAC,CAAC,cAAc,CAAC;QAChC,eAAe,EAAE,CAAC,CAAC,eAAe,CAAC;KACpC,CAAC,GAAG,CAAC,CAAC,gCAAgC,CAAC,GAAG,CAAC;IAC9C,QAAQ,EAAE,aAAa;IACvB,QAAQ,EAAE,sEAAsE;CACjF,CAAC"}

package/dist/composition/edges/condensed-r5.d.ts

@@ -1,105 +0,0 @@
-/**
- * Composition edges for BE-88 through BE-102.
- *
- * Each edge's endpoints share the classical electromagnetic attributes,
- * so `kind` is `law`. The overlay `formalRef` is kind `bridge`.
- * Confidence stays `established`. A proof does not promote it.
- * Landau diamagnetism and the BCS coherence length are not edges.
- *
- * @module composition/edges/condensed-r5
- */
-import { type BridgeEdge } from '../edge.js';
-/**
- * BE-88 two-spin Fermi wavevector. The edge value is k_F.
- * E_F and v_F are the same evaluator and are not this target.
- *
- * @public
- */
-export declare const be88Edge: BridgeEdge;
-/**
- * BE-89 Debye cutoff. Three branches fill 3n states.
- *
- * @public
- */
-export declare const be89Edge: BridgeEdge;
-/**
- * BE-90 Debye heat capacity. π⁴/15 is a hypothesis.
- *
- * @public
- */
-export declare const be90Edge: BridgeEdge;
-/**
- * BE-91 Einstein solid. Three oscillators. The zero-point is constant.
- *
- * @public
- */
-export declare const be91Edge: BridgeEdge;
-/**
- * BE-92 Sommerfeld electronic heat. √E density, not a flat density.
- *
- * @public
- */
-export declare const be92Edge: BridgeEdge;
-/**
- * BE-93 Curie–Weiss law. θ is the mean-field hypothesis.
- *
- * @public
- */
-export declare const be93Edge: BridgeEdge;
-/**
- * BE-94 Pauli paramagnetism. Not Landau diamagnetism.
- *
- * @public
- */
-export declare const be94Edge: BridgeEdge;
-/**
- * BE-95 trial-wall sign. Not every minimizer.
- *
- * @public
- */
-export declare const be95Edge: BridgeEdge;
-/**
- * BE-96 upper critical field. Charge 2e. The Landau level is a hypothesis.
- *
- * @public
- */
-export declare const be96Edge: BridgeEdge;
-/**
- * BE-97 Ambegaokar–Baratoff at T = 0. No temperature input.
- *
- * @public
- */
-export declare const be97Edge: BridgeEdge;
-/**
- * BE-98 BCS jump. ζ is the quartic coefficient.
- *
- * @public
- */
-export declare const be98Edge: BridgeEdge;
-/**
- * BE-99 mass action. The 2 in the exponent stays.
- *
- * @public
- */
-export declare const be99Edge: BridgeEdge;
-/**
- * BE-100 Lyddane–Sachs–Teller. No damping.
- *
- * @public
- */
-export declare const be100Edge: BridgeEdge;
-/**
- * BE-101 BKT jump from energy and entropy. Not the RG flow.
- *
- * @public
- */
-export declare const be101Edge: BridgeEdge;
-/**
- * BE-102 two-spin Landauer conductance. Not the Hall conductance.
- *
- * @public
- */
-export declare const be102Edge: BridgeEdge;
-/** The condensed-matter edges of PhysJS #65, in catalog-id order. @public */
-export declare const CONDENSED_R5_EDGES: readonly BridgeEdge[];
-//# sourceMappingURL=condensed-r5.d.ts.map

package/dist/composition/edges/condensed-r5.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"condensed-r5.d.ts","sourceRoot":"","sources":["../../../src/composition/edges/condensed-r5.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAoBH,OAAO,EAAoB,KAAK,UAAU,EAAE,MAAM,YAAY,CAAC;AAqK/D;;;;;GAKG;AACH,eAAO,MAAM,QAAQ,EAAE,UAoBrB,CAAC;AAEH;;;;GAIG;AACH,eAAO,MAAM,QAAQ,EAAE,UAqBrB,CAAC;AAEH;;;;GAIG;AACH,eAAO,MAAM,QAAQ,EAAE,UA6BrB,CAAC;AAEH;;;;GAIG;AACH,eAAO,MAAM,QAAQ,EAAE,UA6BrB,CAAC;AAEH;;;;GAIG;AACH,eAAO,MAAM,QAAQ,EAAE,UA6BrB,CAAC;AAEH;;;;GAIG;AACH,eAAO,MAAM,QAAQ,EAAE,UAsCrB,CAAC;AAEH;;;;GAIG;AACH,eAAO,MAAM,QAAQ,EAAE,UA6BrB,CAAC;AAEH;;;;GAIG;AACH,eAAO,MAAM,QAAQ,EAAE,UAiBrB,CAAC;AAEH;;;;GAIG;AACH,eAAO,MAAM,QAAQ,EAAE,UAiBrB,CAAC;AAEH;;;;GAIG;AACH,eAAO,MAAM,QAAQ,EAAE,UAiBrB,CAAC;AAEH;;;;GAIG;AACH,eAAO,MAAM,QAAQ,EAAE,UAiBrB,CAAC;AAEH;;;;GAIG;AACH,eAAO,MAAM,QAAQ,EAAE,UAgCrB,CAAC;AAEH;;;;GAIG;AACH,eAAO,MAAM,SAAS,EAAE,UAqBtB,CAAC;AAEH;;;;GAIG;AACH,eAAO,MAAM,SAAS,EAAE,UAiBtB,CAAC;AAEH;;;;GAIG;AACH,eAAO,MAAM,SAAS,EAAE,UAiBtB,CAAC;AAEH,6EAA6E;AAC7E,eAAO,MAAM,kBAAkB,EAAE,SAAS,UAAU,EAgBnD,CAAC"}