universal-physics-tensor 7.0.0 → 9.0.0

package/dist/bridges/bridge-equations.js

@@ -1,226 +0,0 @@
-/**
- * `BridgeEquations` — a convenience facade over the per-bridge evaluators.
- *
- * Every catalogued bridge ships a self-contained evaluator. BE-11…50 and
- * BE-53/54 live under `src/bridges/equations/`; BE-51/52 and BE-55…65 use
- * dedicated bridge modules. This facade gathers one evaluator for every live
- * catalog id under readable root-level method names, so a
- * consumer can write `BridgeEquations.decoherenceRate({...})` from the package
- * root. Each method is a **1:1 pass-through** to the existing pure function —
- * NO new physics, no recomputation; the method name simply mirrors the
- * evaluator (the `evaluate` prefix dropped).
- *
- * Scope honesty (these are NOT changed by the facade):
- *   - Methods backed by a documented typed-stub / reformulation carry that
- *     module's caveats. In particular `onsagerEntropyProduction` (BE-28) encodes
- *     the Onsager σ = ΣJX *definiendum*, NOT the MEPP maximization principle
- *     (see the ⚠ CRITICAL WARNING in be-28-onsager-entropy-production.ts).
- *   - BE-25 maps to the live IIT `intrinsicInformation`; the archived
- *     Penrose-Hameroff `evaluateOrchOR` is deliberately NOT surfaced.
- *   - BE-51/52 use the validated GR evaluators `gravitationalLensing` and
- *     `perihelionPrecession`.
- *
- * The README previously described this as "specified in Parts I–III"; the specs
- * actually specify the physics + AST encodings, not this TypeScript API, so the
- * facade is a deliberate ergonomic layer, not a spec transcription.
- *
- * @module bridges/bridge-equations
- */
-import { evaluateDecoherenceRate } from './equations/be-11-decoherence-master.js';
-import { evaluateThermalDeBroglie } from './equations/be-12-coherence-length.js';
-import { evaluateEinsteinTrace } from './equations/be-13-einstein-trace.js';
-import { evaluateRyuTakayanagi, evaluateRyuTakayanagiNatural } from './equations/be-14-ryu-takayanagi.js';
-import { evaluateCoarseningLength, evaluateCoarseningLengthSquared } from './equations/be-15-emergence.js';
-import { evaluateLandauerEnergy } from './equations/be-16-landauer.js';
-import { evaluateBE17SpinDensitySquared } from './equations/be-17-einstein-cartan.js';
-import { evaluateHiggsMass } from './equations/be-18-higgs-mass.js';
-import { evaluateQuantumBounce } from './equations/be-19-quantum-bounce.js';
-import { evaluateCosmologicalConstantDensity } from './equations/be-20-vacuum-energy.js';
-import { evaluateKSSBound } from './equations/be-21-kss-bound.js';
-import { evaluateTEE } from './equations/be-22-topological-entanglement.js';
-import { evaluateSYKResistivity } from './equations/be-23-syk-planckian.js';
-import { evaluateFRETEfficiency } from './equations/be-24-foerster-fret.js';
-import { evaluateIntrinsicInformation } from './equations/be-25-iit-phi.js';
-import { evaluateDNATunneling } from './equations/be-26-dna-tunneling.js';
-import { evaluateEffectiveTemperature } from './equations/be-27-effective-temperature.js';
-import { evaluateOnsagerEntropyProduction } from './equations/be-28-onsager-entropy-production.js';
-import { evaluateJarzynski } from './equations/be-29-jarzynski.js';
-import { evaluateBekensteinBound, evaluateFLMFirstLaw } from './equations/be-30-flm-first-law.js';
-import { evaluateBenincasaDowker } from './equations/be-31-causal-set-bd.js';
-import { evaluateQRFOverlap } from './equations/be-32-quantum-reference-frame.js';
-import { evaluateHertzMillis } from './equations/be-33-hertz-millis.js';
-import { evaluateKibbleZurek } from './equations/be-34-kibble-zurek.js';
-import { evaluateCrossingEquation } from './equations/be-35-conformal-bootstrap.js';
-import { evaluateGWSpeedRatio } from './equations/be-36-gw-speed-bound.js';
-import { evaluateShapiroDelay } from './equations/be-37-shapiro-delay.js';
-import { evaluateMONDForce } from './equations/be-38-mond.js';
-import { evaluateBetaG, evaluateBetaLambda } from './equations/be-39-asymptotic-safety.js';
-import { evaluateCompositeHiggs } from './equations/be-40-composite-higgs.js';
-import { evaluateSwampland } from './equations/be-41-swampland.js';
-import { evaluateHawkingTemperature } from './equations/be-42-hawking-temperature.js';
-import { evaluateEREPRBound } from './equations/be-43-er-epr.js';
-import { evaluateBE44SoftHairCharge } from './equations/be-44-soft-hair.js';
-import { evaluateTCC } from './equations/be-45-tcc.js';
-import { evaluateWeinbergVilenkinP } from './equations/be-46-multiverse-measure.js';
-import { evaluateBBNDark } from './equations/be-47-bbn-dark-sector.js';
-import { evaluateGRWLocalization } from './equations/be-48-grw-localization.js';
-import { evaluateQuantumDarwinism } from './equations/be-49-quantum-darwinism.js';
-import { evaluateWFTimeSymmetry } from './equations/be-50-wheeler-feynman.js';
-import { evaluateYangMillsBeta } from './equations/be-53-yang-mills-beta.js';
-import { evaluateRandallSundrumH2 } from './equations/be-54-randall-sundrum-brane.js';
-import { evaluateGravitationalLensing } from './gravitational-lensing.js';
-import { evaluatePerihelionPrecession } from './perihelion-precession.js';
-import { evaluateQuantumHall } from './be55-quantum-hall.js';
-import { evaluateCasimir } from './be56-casimir.js';
-import { evaluateUnruh } from './be57-unruh.js';
-import { evaluateJohnsonNyquist } from './be58-johnson-nyquist.js';
-import { evaluateACJosephson } from './be59-ac-josephson.js';
-import { evaluateFractionalQH } from './be60-fractional-qh.js';
-import { evaluateWiedemannFranz } from './be61-wiedemann-franz.js';
-import { evaluateBCSGap } from './be62-bcs-gap.js';
-import { evaluateChandrasekharMass } from './be63-chandrasekhar-mass.js';
-import { evaluateEddingtonLuminosity } from './be64-eddington-luminosity.js';
-import { evaluateJeansMass } from './be65-jeans-mass.js';
-import { evaluateRadiationPressure } from './be66-radiation-pressure.js';
-import { evaluateAlfvenSpeed } from './be67-alfven-speed.js';
-import { evaluateTolmanEhrenfest } from './be68-tolman-ehrenfest.js';
-import { evaluateFastMagnetosonic } from './be69-fast-magnetosonic.js';
-import { evaluateEinsteinRelation } from './be70-einstein-relation.js';
-import { evaluateClapeyron } from './be71-clapeyron.js';
-import { evaluateGravitationalRedshift } from './be72-gravitational-redshift.js';
-import { evaluateKelvinPeltier } from './be73-kelvin-peltier.js';
-import { evaluateMagneticPressure } from './be74-magnetic-pressure.js';
-import { evaluateLondonPenetration } from './be75-london-penetration.js';
-import { evaluatePlasmaBeta } from './be76-plasma-beta.js';
-import { evaluateHagenPoiseuille } from './be77-hagen-poiseuille.js';
-import { evaluateEulerBuckling } from './be78-euler-buckling.js';
-import { evaluatePullIn } from './be79-pull-in.js';
-import { evaluateMottGurney } from './be80-mott-gurney.js';
-import { evaluateChildLangmuir } from './be81-child-langmuir.js';
-import { evaluateShockleyDiode } from './be82-shockley-diode.js';
-import { evaluateThomsonCoefficient } from './be83-thomson.js';
-import { evaluateFourPointSheet } from './be84-four-point.js';
-import { evaluateShotNoise } from './be85-shot-noise.js';
-import { evaluateReynoldsAnalogy } from './be86-reynolds-analogy.js';
-import { evaluateCapacitorNoise } from './be87-capacitor-noise.js';
-import { evaluateFermiSea } from './be88-fermi-sea.js';
-import { evaluateDebyeCutoff } from './be89-debye-cutoff.js';
-import { evaluateDebyeHeat } from './be90-debye-heat.js';
-import { evaluateEinsteinSolid } from './be91-einstein-solid.js';
-import { evaluateSommerfeldHeat } from './be92-sommerfeld-heat.js';
-import { evaluateCurieWeiss } from './be93-curie-weiss.js';
-import { evaluatePauliParamagnetism } from './be94-pauli-paramagnetism.js';
-import { evaluateGinzburgLandau } from './be95-ginzburg-landau.js';
-import { evaluateUpperCritical } from './be96-upper-critical.js';
-import { evaluateAmbegaokarBaratoff } from './be97-ambegaokar-baratoff.js';
-import { evaluateBcsJump } from './be98-bcs-jump.js';
-import { evaluateMassAction } from './be99-mass-action.js';
-import { evaluateLyddaneSachsTeller } from './be100-lyddane-sachs-teller.js';
-import { evaluateBktJump } from './be101-bkt-jump.js';
-import { evaluateLandauerConductance } from './be102-landauer-conductance.js';
-/**
- * Root-level facade keyed by readable method names. Each value is a re-export of
- * the bridge's existing `evaluate*()` function; the bridge ID is in the comment.
- *
- * @internal
- */
-export const BridgeEquations = {
-    decoherenceRate: evaluateDecoherenceRate, // BE-11
-    thermalDeBroglie: evaluateThermalDeBroglie, // BE-12
-    einsteinTrace: evaluateEinsteinTrace, // BE-13
-    ryuTakayanagi: evaluateRyuTakayanagi, // BE-14
-    ryuTakayanagiNatural: evaluateRyuTakayanagiNatural, // BE-14 (natural units)
-    coarseningLength: evaluateCoarseningLength, // BE-15
-    coarseningLengthSquared: evaluateCoarseningLengthSquared, // BE-15 (squared form)
-    landauerEnergy: evaluateLandauerEnergy, // BE-16
-    spinDensitySquared: evaluateBE17SpinDensitySquared, // BE-17
-    higgsMass: evaluateHiggsMass, // BE-18
-    quantumBounce: evaluateQuantumBounce, // BE-19
-    cosmologicalConstantDensity: evaluateCosmologicalConstantDensity, // BE-20
-    kssBound: evaluateKSSBound, // BE-21 (no-arg constant)
-    topologicalEntanglementEntropy: evaluateTEE, // BE-22
-    sykResistivity: evaluateSYKResistivity, // BE-23
-    fretEfficiency: evaluateFRETEfficiency, // BE-24
-    intrinsicInformation: evaluateIntrinsicInformation, // BE-25 (IIT; OrchOR archived)
-    dnaTunneling: evaluateDNATunneling, // BE-26
-    effectiveTemperature: evaluateEffectiveTemperature, // BE-27
-    onsagerEntropyProduction: evaluateOnsagerEntropyProduction, // BE-28 (definiendum, NOT MEPP)
-    jarzynski: evaluateJarzynski, // BE-29
-    bekensteinBound: evaluateBekensteinBound, // BE-30
-    flmFirstLaw: evaluateFLMFirstLaw, // BE-30 (first law)
-    benincasaDowker: evaluateBenincasaDowker, // BE-31
-    qrfOverlap: evaluateQRFOverlap, // BE-32
-    hertzMillis: evaluateHertzMillis, // BE-33
-    kibbleZurek: evaluateKibbleZurek, // BE-34
-    crossingEquation: evaluateCrossingEquation, // BE-35 (v^Δφ g(u,v) − u^Δφ g(v,u))
-    gwSpeedRatio: evaluateGWSpeedRatio, // BE-36
-    shapiroDelay: evaluateShapiroDelay, // BE-37
-    mondForce: evaluateMONDForce, // BE-38
-    betaG: evaluateBetaG, // BE-39 (Newton coupling)
-    betaLambda: evaluateBetaLambda, // BE-39 (cosmological coupling)
-    compositeHiggs: evaluateCompositeHiggs, // BE-40
-    swampland: evaluateSwampland, // BE-41
-    hawkingTemperature: evaluateHawkingTemperature, // BE-42
-    erEprBound: evaluateEREPRBound, // BE-43
-    softHairCharge: evaluateBE44SoftHairCharge, // BE-44
-    tcc: evaluateTCC, // BE-45
-    weinbergVilenkinP: evaluateWeinbergVilenkinP, // BE-46
-    bbnDark: evaluateBBNDark, // BE-47
-    grwLocalization: evaluateGRWLocalization, // BE-48
-    quantumDarwinism: evaluateQuantumDarwinism, // BE-49
-    wfTimeSymmetry: evaluateWFTimeSymmetry, // BE-50
-    yangMillsBeta: evaluateYangMillsBeta, // BE-53
-    randallSundrumH2: evaluateRandallSundrumH2, // BE-54
-    // Closed-form / spacetime catalog additions:
-    gravitationalLensing: evaluateGravitationalLensing, // BE-51
-    perihelionPrecession: evaluatePerihelionPrecession, // BE-52
-    quantumHall: evaluateQuantumHall, // BE-55
-    casimir: evaluateCasimir, // BE-56
-    unruh: evaluateUnruh, // BE-57
-    johnsonNyquist: evaluateJohnsonNyquist, // BE-58
-    acJosephson: evaluateACJosephson, // BE-59
-    fractionalQuantumHall: evaluateFractionalQH, // BE-60
-    wiedemannFranz: evaluateWiedemannFranz, // BE-61
-    bcsGap: evaluateBCSGap, // BE-62
-    chandrasekharMass: evaluateChandrasekharMass, // BE-63
-    eddingtonLuminosity: evaluateEddingtonLuminosity, // BE-64
-    jeansMass: evaluateJeansMass, // BE-65
-    radiationPressure: evaluateRadiationPressure, // BE-66
-    alfvenSpeed: evaluateAlfvenSpeed, // BE-67
-    tolmanEhrenfest: evaluateTolmanEhrenfest, // BE-68
-    fastMagnetosonic: evaluateFastMagnetosonic, // BE-69
-    einsteinRelation: evaluateEinsteinRelation, // BE-70
-    clapeyron: evaluateClapeyron, // BE-71
-    gravitationalRedshift: evaluateGravitationalRedshift, // BE-72
-    kelvinPeltier: evaluateKelvinPeltier, // BE-73
-    magneticPressure: evaluateMagneticPressure, // BE-74
-    londonPenetration: evaluateLondonPenetration, // BE-75
-    plasmaBeta: evaluatePlasmaBeta, // BE-76
-    hagenPoiseuille: evaluateHagenPoiseuille, // BE-77
-    eulerBuckling: evaluateEulerBuckling, // BE-78
-    pullIn: evaluatePullIn, // BE-79
-    mottGurney: evaluateMottGurney, // BE-80
-    childLangmuir: evaluateChildLangmuir, // BE-81
-    shockleyDiode: evaluateShockleyDiode, // BE-82
-    thomsonCoefficient: evaluateThomsonCoefficient, // BE-83
-    fourPointSheet: evaluateFourPointSheet, // BE-84
-    shotNoise: evaluateShotNoise, // BE-85
-    reynoldsAnalogy: evaluateReynoldsAnalogy, // BE-86
-    capacitorNoise: evaluateCapacitorNoise, // BE-87
-    fermiSea: evaluateFermiSea, // BE-88
-    debyeCutoff: evaluateDebyeCutoff, // BE-89
-    debyeHeat: evaluateDebyeHeat, // BE-90
-    einsteinSolid: evaluateEinsteinSolid, // BE-91
-    sommerfeldHeat: evaluateSommerfeldHeat, // BE-92
-    curieWeiss: evaluateCurieWeiss, // BE-93
-    pauliParamagnetism: evaluatePauliParamagnetism, // BE-94
-    ginzburgLandau: evaluateGinzburgLandau, // BE-95
-    upperCritical: evaluateUpperCritical, // BE-96
-    ambegaokarBaratoff: evaluateAmbegaokarBaratoff, // BE-97
-    bcsJump: evaluateBcsJump, // BE-98
-    massAction: evaluateMassAction, // BE-99
-    lyddaneSachsTeller: evaluateLyddaneSachsTeller, // BE-100
-    bktJump: evaluateBktJump, // BE-101
-    landauerConductance: evaluateLandauerConductance, // BE-102
-};
-//# sourceMappingURL=bridge-equations.js.map

package/dist/bridges/bridge-equations.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"bridge-equations.js","sourceRoot":"","sources":["../../src/bridges/bridge-equations.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAEH,OAAO,EAAE,uBAAuB,EAAE,MAAM,yCAAyC,CAAC;AAClF,OAAO,EAAE,wBAAwB,EAAE,MAAM,uCAAuC,CAAC;AACjF,OAAO,EAAE,qBAAqB,EAAE,MAAM,qCAAqC,CAAC;AAC5E,OAAO,EAAE,qBAAqB,EAAE,4BAA4B,EAAE,MAAM,qCAAqC,CAAC;AAC1G,OAAO,EAAE,wBAAwB,EAAE,+BAA+B,EAAE,MAAM,gCAAgC,CAAC;AAC3G,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,EAAE,8BAA8B,EAAE,MAAM,sCAAsC,CAAC;AACtF,OAAO,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAC;AACpE,OAAO,EAAE,qBAAqB,EAAE,MAAM,qCAAqC,CAAC;AAC5E,OAAO,EAAE,mCAAmC,EAAE,MAAM,oCAAoC,CAAC;AACzF,OAAO,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAClE,OAAO,EAAE,WAAW,EAAE,MAAM,+CAA+C,CAAC;AAC5E,OAAO,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;AAC5E,OAAO,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;AAC5E,OAAO,EAAE,4BAA4B,EAAE,MAAM,8BAA8B,CAAC;AAC5E,OAAO,EAAE,oBAAoB,EAAE,MAAM,oCAAoC,CAAC;AAC1E,OAAO,EAAE,4BAA4B,EAAE,MAAM,4CAA4C,CAAC;AAC1F,OAAO,EAAE,gCAAgC,EAAE,MAAM,iDAAiD,CAAC;AACnG,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AACnE,OAAO,EAAE,uBAAuB,EAAE,mBAAmB,EAAE,MAAM,oCAAoC,CAAC;AAClG,OAAO,EAAE,uBAAuB,EAAE,MAAM,oCAAoC,CAAC;AAC7E,OAAO,EAAE,kBAAkB,EAAE,MAAM,8CAA8C,CAAC;AAClF,OAAO,EAAE,mBAAmB,EAAE,MAAM,mCAAmC,CAAC;AACxE,OAAO,EAAE,mBAAmB,EAAE,MAAM,mCAAmC,CAAC;AACxE,OAAO,EAAE,wBAAwB,EAAE,MAAM,0CAA0C,CAAC;AACpF,OAAO,EAAE,oBAAoB,EAAE,MAAM,qCAAqC,CAAC;AAC3E,OAAO,EAAE,oBAAoB,EAAE,MAAM,oCAAoC,CAAC;AAC1E,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAC9D,OAAO,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,wCAAwC,CAAC;AAC3F,OAAO,EAAE,sBAAsB,EAAE,MAAM,sCAAsC,CAAC;AAC9E,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AACnE,OAAO,EAAE,0BAA0B,EAAE,MAAM,0CAA0C,CAAC;AACtF,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AACjE,OAAO,EAAE,0BAA0B,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AACvD,OAAO,EAAE,yBAAyB,EAAE,MAAM,yCAAyC,CAAC;AACpF,OAAO,EAAE,eAAe,EAAE,MAAM,sCAAsC,CAAC;AACvE,OAAO,EAAE,uBAAuB,EAAE,MAAM,uCAAuC,CAAC;AAChF,OAAO,EAAE,wBAAwB,EAAE,MAAM,wCAAwC,CAAC;AAClF,OAAO,EAAE,sBAAsB,EAAE,MAAM,sCAAsC,CAAC;AAC9E,OAAO,EAAE,qBAAqB,EAAE,MAAM,sCAAsC,CAAC;AAC7E,OAAO,EAAE,wBAAwB,EAAE,MAAM,4CAA4C,CAAC;AACtF,OAAO,EAAE,4BAA4B,EAAE,MAAM,4BAA4B,CAAC;AAC1E,OAAO,EAAE,4BAA4B,EAAE,MAAM,4BAA4B,CAAC;AAC1E,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAC7D,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAChD,OAAO,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAC7D,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAC/D,OAAO,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,yBAAyB,EAAE,MAAM,8BAA8B,CAAC;AACzE,OAAO,EAAE,2BAA2B,EAAE,MAAM,gCAAgC,CAAC;AAC7E,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACzD,OAAO,EAAE,yBAAyB,EAAE,MAAM,8BAA8B,CAAC;AACzE,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAC7D,OAAO,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AACrE,OAAO,EAAE,wBAAwB,EAAE,MAAM,6BAA6B,CAAC;AACvE,OAAO,EAAE,wBAAwB,EAAE,MAAM,6BAA6B,CAAC;AACvE,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,6BAA6B,EAAE,MAAM,kCAAkC,CAAC;AACjF,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AACjE,OAAO,EAAE,wBAAwB,EAAE,MAAM,6BAA6B,CAAC;AACvE,OAAO,EAAE,yBAAyB,EAAE,MAAM,8BAA8B,CAAC;AACzE,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AACrE,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AACjE,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AACjE,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AACjE,OAAO,EAAE,0BAA0B,EAAE,MAAM,mBAAmB,CAAC;AAC/D,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAC9D,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACzD,OAAO,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AACrE,OAAO,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AACvD,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAC7D,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACzD,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AACjE,OAAO,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,EAAE,0BAA0B,EAAE,MAAM,+BAA+B,CAAC;AAC3E,OAAO,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AACjE,OAAO,EAAE,0BAA0B,EAAE,MAAM,+BAA+B,CAAC;AAC3E,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,EAAE,0BAA0B,EAAE,MAAM,iCAAiC,CAAC;AAC7E,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AACtD,OAAO,EAAE,2BAA2B,EAAE,MAAM,iCAAiC,CAAC;AAE9E;;;;;GAKG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG;IAC7B,eAAe,EAAE,uBAAuB,EAAkB,QAAQ;IAClE,gBAAgB,EAAE,wBAAwB,EAAgB,QAAQ;IAClE,aAAa,EAAE,qBAAqB,EAAsB,QAAQ;IAClE,aAAa,EAAE,qBAAqB,EAAsB,QAAQ;IAClE,oBAAoB,EAAE,4BAA4B,EAAQ,wBAAwB;IAClF,gBAAgB,EAAE,wBAAwB,EAAgB,QAAQ;IAClE,uBAAuB,EAAE,+BAA+B,EAAE,uBAAuB;IACjF,cAAc,EAAE,sBAAsB,EAAoB,QAAQ;IAClE,kBAAkB,EAAE,8BAA8B,EAAQ,QAAQ;IAClE,SAAS,EAAE,iBAAiB,EAA8B,QAAQ;IAClE,aAAa,EAAE,qBAAqB,EAAsB,QAAQ;IAClE,2BAA2B,EAAE,mCAAmC,EAAE,QAAQ;IAC1E,QAAQ,EAAE,gBAAgB,EAAgC,0BAA0B;IACpF,8BAA8B,EAAE,WAAW,EAAe,QAAQ;IAClE,cAAc,EAAE,sBAAsB,EAAoB,QAAQ;IAClE,cAAc,EAAE,sBAAsB,EAAoB,QAAQ;IAClE,oBAAoB,EAAE,4BAA4B,EAAQ,+BAA+B;IACzF,YAAY,EAAE,oBAAoB,EAAwB,QAAQ;IAClE,oBAAoB,EAAE,4BAA4B,EAAQ,QAAQ;IAClE,wBAAwB,EAAE,gCAAgC,EAAE,gCAAgC;IAC5F,SAAS,EAAE,iBAAiB,EAA8B,QAAQ;IAClE,eAAe,EAAE,uBAAuB,EAAkB,QAAQ;IAClE,WAAW,EAAE,mBAAmB,EAA0B,oBAAoB;IAC9E,eAAe,EAAE,uBAAuB,EAAkB,QAAQ;IAClE,UAAU,EAAE,kBAAkB,EAA4B,QAAQ;IAClE,WAAW,EAAE,mBAAmB,EAA0B,QAAQ;IAClE,WAAW,EAAE,mBAAmB,EAA0B,QAAQ;IAClE,gBAAgB,EAAE,wBAAwB,EAAgB,oCAAoC;IAC9F,YAAY,EAAE,oBAAoB,EAAwB,QAAQ;IAClE,YAAY,EAAE,oBAAoB,EAAwB,QAAQ;IAClE,SAAS,EAAE,iBAAiB,EAA8B,QAAQ;IAClE,KAAK,EAAE,aAAa,EAAsC,0BAA0B;IACpF,UAAU,EAAE,kBAAkB,EAA4B,gCAAgC;IAC1F,cAAc,EAAE,sBAAsB,EAAoB,QAAQ;IAClE,SAAS,EAAE,iBAAiB,EAA8B,QAAQ;IAClE,kBAAkB,EAAE,0BAA0B,EAAY,QAAQ;IAClE,UAAU,EAAE,kBAAkB,EAA4B,QAAQ;IAClE,cAAc,EAAE,0BAA0B,EAAgB,QAAQ;IAClE,GAAG,EAAE,WAAW,EAA0C,QAAQ;IAClE,iBAAiB,EAAE,yBAAyB,EAAc,QAAQ;IAClE,OAAO,EAAE,eAAe,EAAkC,QAAQ;IAClE,eAAe,EAAE,uBAAuB,EAAkB,QAAQ;IAClE,gBAAgB,EAAE,wBAAwB,EAAgB,QAAQ;IAClE,cAAc,EAAE,sBAAsB,EAAoB,QAAQ;IAClE,aAAa,EAAE,qBAAqB,EAAsB,QAAQ;IAClE,gBAAgB,EAAE,wBAAwB,EAAgB,QAAQ;IAClE,6CAA6C;IAC7C,oBAAoB,EAAE,4BAA4B,EAAQ,QAAQ;IAClE,oBAAoB,EAAE,4BAA4B,EAAQ,QAAQ;IAClE,WAAW,EAAE,mBAAmB,EAA0B,QAAQ;IAClE,OAAO,EAAE,eAAe,EAAkC,QAAQ;IAClE,KAAK,EAAE,aAAa,EAAsC,QAAQ;IAClE,cAAc,EAAE,sBAAsB,EAAoB,QAAQ;IAClE,WAAW,EAAE,mBAAmB,EAA0B,QAAQ;IAClE,qBAAqB,EAAE,oBAAoB,EAAe,QAAQ;IAClE,cAAc,EAAE,sBAAsB,EAAoB,QAAQ;IAClE,MAAM,EAAE,cAAc,EAAoC,QAAQ;IAClE,iBAAiB,EAAE,yBAAyB,EAAc,QAAQ;IAClE,mBAAmB,EAAE,2BAA2B,EAAU,QAAQ;IAClE,SAAS,EAAE,iBAAiB,EAA8B,QAAQ;IAClE,iBAAiB,EAAE,yBAAyB,EAAc,QAAQ;IAClE,WAAW,EAAE,mBAAmB,EAA0B,QAAQ;IAClE,eAAe,EAAE,uBAAuB,EAAkB,QAAQ;IAClE,gBAAgB,EAAE,wBAAwB,EAAgB,QAAQ;IAClE,gBAAgB,EAAE,wBAAwB,EAAgB,QAAQ;IAClE,SAAS,EAAE,iBAAiB,EAA8B,QAAQ;IAClE,qBAAqB,EAAE,6BAA6B,EAAM,QAAQ;IAClE,aAAa,EAAE,qBAAqB,EAAsB,QAAQ;IAClE,gBAAgB,EAAE,wBAAwB,EAAgB,QAAQ;IAClE,iBAAiB,EAAE,yBAAyB,EAAc,QAAQ;IAClE,UAAU,EAAE,kBAAkB,EAA4B,QAAQ;IAClE,eAAe,EAAE,uBAAuB,EAAkB,QAAQ;IAClE,aAAa,EAAE,qBAAqB,EAAsB,QAAQ;IAClE,MAAM,EAAE,cAAc,EAAoC,QAAQ;IAClE,UAAU,EAAE,kBAAkB,EAA4B,QAAQ;IAClE,aAAa,EAAE,qBAAqB,EAAsB,QAAQ;IAClE,aAAa,EAAE,qBAAqB,EAAsB,QAAQ;IAClE,kBAAkB,EAAE,0BAA0B,EAAY,QAAQ;IAClE,cAAc,EAAE,sBAAsB,EAAoB,QAAQ;IAClE,SAAS,EAAE,iBAAiB,EAA8B,QAAQ;IAClE,eAAe,EAAE,uBAAuB,EAAkB,QAAQ;IAClE,cAAc,EAAE,sBAAsB,EAAoB,QAAQ;IAClE,QAAQ,EAAE,gBAAgB,EAAgC,QAAQ;IAClE,WAAW,EAAE,mBAAmB,EAA0B,QAAQ;IAClE,SAAS,EAAE,iBAAiB,EAA8B,QAAQ;IAClE,aAAa,EAAE,qBAAqB,EAAsB,QAAQ;IAClE,cAAc,EAAE,sBAAsB,EAAoB,QAAQ;IAClE,UAAU,EAAE,kBAAkB,EAA4B,QAAQ;IAClE,kBAAkB,EAAE,0BAA0B,EAAY,QAAQ;IAClE,cAAc,EAAE,sBAAsB,EAAoB,QAAQ;IAClE,aAAa,EAAE,qBAAqB,EAAsB,QAAQ;IAClE,kBAAkB,EAAE,0BAA0B,EAAY,QAAQ;IAClE,OAAO,EAAE,eAAe,EAAkC,QAAQ;IAClE,UAAU,EAAE,kBAAkB,EAA4B,QAAQ;IAClE,kBAAkB,EAAE,0BAA0B,EAAY,SAAS;IACnE,OAAO,EAAE,eAAe,EAAkC,SAAS;IACnE,mBAAmB,EAAE,2BAA2B,EAAU,SAAS;CAC3D,CAAC"}

package/dist/bridges/condensed-r8-catalog.d.ts

@@ -1,28 +0,0 @@
-/**
- * Catalog rows for BE-134 through BE-146.
- *
- * Registered through `registerBridge`. No right-hand-side AST: each row's
- * numeric body is the evaluator.
- *
- * @module bridges/condensed-r8-catalog
- */
-/** Condensed-matter catalog rows, in id order. */
-export declare const CONDENSED_R8_CATALOG_ROWS: {
-    id: number;
-    name: string;
-    category: string;
-    category_name: string;
-    bridges: [string, string];
-    status: 'established';
-    context: string;
-    formula_latex: string;
-    source_part: 'III';
-    source_section: string;
-    known_issues: never[];
-    references: string[];
-    dependencies: never[];
-    dimensional_signature: string;
-    tractability_class: 'closed-form';
-    notes: string;
-}[];
-//# sourceMappingURL=condensed-r8-catalog.d.ts.map

package/dist/bridges/condensed-r8-catalog.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"condensed-r8-catalog.d.ts","sourceRoot":"","sources":["../../src/bridges/condensed-r8-catalog.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,kDAAkD;AAClD,eAAO,MAAM,yBAAyB;;;;;aAMG,CAAC,MAAM,EAAE,MAAM,CAAC;YAC7C,aAAa;;;iBAIR,KAAK;;;;;;wBAQE,aAAa;;GAkQpC,CAAC"}

package/dist/bridges/condensed-r8-catalog.js

@@ -1,272 +0,0 @@
-/**
- * Catalog rows for BE-134 through BE-146.
- *
- * Registered through `registerBridge`. No right-hand-side AST: each row's
- * numeric body is the evaluator.
- *
- * @module bridges/condensed-r8-catalog
- */
-/** Condensed-matter catalog rows, in id order. */
-export const CONDENSED_R8_CATALOG_ROWS = [
-    {
-        id: 134,
-        name: 'Bloch magnon deficit',
-        category: 'F',
-        category_name: 'Condensed Matter - High Energy Bridges',
-        bridges: ['condensed', 'quantum'],
-        status: 'established',
-        context: 'Quadratic magnons and one Bohr magneton per magnon give ΔM = μ_B ζ(3/2) (k_B T / (4 π D))^{3/2}. ζ(3/2) is the Bose integral and is not evaluated. g μ_B at g = 2 is not that moment. D = 2 J S a² and M(0) = μ_B S / a³ are the nested heisenberg_fraction object. Bloch law. Magnons',
-        formula_latex: '\\Delta M = \\mu_B \\zeta(3/2) \\left(k_B T / (4 \\pi D)\\right)^{3/2}',
-        source_part: 'III',
-        source_section: 'Condensed-matter catalog (be-134) — established textbook relation, PhysJS.BlochLaw.bloch_law',
-        known_issues: [],
-        references: [
-            'The Bose integral is a hypothesis of PhysJS.BlochLaw.bloch_law, the same kind as π⁴/15 in be-90. ζ(3/2) is an input.',
-        ],
-        dependencies: [],
-        dimensional_signature: '[L^-1 I]',
-        tractability_class: 'closed-form',
-        notes: 'Closed-form evaluator evaluateBlochLaw in src/bridges/condensed-r8.ts. The overlay formalRef is PhysJS.BlochLaw.bloch_law, kind bridge. heisenberg_fraction is nested and is not the formalRef. The catalog path passes the top-level theorem, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. No confrontation.',
-    },
-    {
-        id: 135,
-        name: 'Three-dimensional density of states',
-        category: 'F',
-        category_name: 'Condensed Matter - High Energy Bridges',
-        bridges: ['quantum', 'condensed'],
-        status: 'established',
-        context: 'Two spins, k³ = 3 π² n, and E = ℏ² k² / (2 m) give g(E) = (1/(2 π²)) (2 m / ℏ²)^{3/2} √E per volume per energy. One spin replaces 1/(2 π²) by 1/(4 π²). Not the Fermi wavevector of be-88. Density of states',
-        formula_latex: 'g(E) = \\frac{1}{2\\pi^2}\\left(\\frac{2m}{\\hbar^2}\\right)^{3/2}\\sqrt{E}',
-        source_part: 'III',
-        source_section: 'Condensed-matter catalog (be-135) — established textbook relation, PhysJS.DensityOfStates3D.dos_3d',
-        known_issues: [],
-        references: [
-            'The two-spin count and the isotropic parabola are the hypotheses of PhysJS.DensityOfStates3D.dos_3d.',
-        ],
-        dependencies: [],
-        dimensional_signature: '[L^-5 M^-1 T^2]',
-        tractability_class: 'closed-form',
-        notes: 'Closed-form evaluator evaluateDensityOfStates3D in src/bridges/condensed-r8.ts. The overlay formalRef is PhysJS.DensityOfStates3D.dos_3d, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. No confrontation.',
-    },
-    {
-        id: 136,
-        name: 'Two-dimensional density of states',
-        category: 'F',
-        category_name: 'Condensed Matter - High Energy Bridges',
-        bridges: ['condensed', 'quantum'],
-        status: 'established',
-        context: 'Two spins in the disk give g = m / (π ℏ²) per area, independent of energy. A valley factor other than 1 is not this density. Density of states',
-        formula_latex: 'g = m / (\\pi \\hbar^2)',
-        source_part: 'III',
-        source_section: 'Condensed-matter catalog (be-136) — established textbook relation, PhysJS.DensityOfStates2D.dos_2d',
-        known_issues: [],
-        references: [
-            'The two-spin disk and the isotropic parabola are the hypotheses of PhysJS.DensityOfStates2D.dos_2d.',
-        ],
-        dependencies: [],
-        dimensional_signature: '[L^-4 M^-1 T^2]',
-        tractability_class: 'closed-form',
-        notes: 'Closed-form evaluator evaluateDensityOfStates2D in src/bridges/condensed-r8.ts. The overlay formalRef is PhysJS.DensityOfStates2D.dos_2d, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. No confrontation.',
-    },
-    {
-        id: 137,
-        name: 'Thomas–Fermi wavevector squared',
-        category: 'F',
-        category_name: 'Condensed Matter - High Energy Bridges',
-        bridges: ['electromagnetic', 'condensed'],
-        status: 'established',
-        context: 'Poisson and δn = g(E_F) e φ give k_TF² = e² g(E_F) / ε0. For the parabolic gas g(E_F) = (3/2) n / E_F, so k_TF² = (e² / ε0) (3 n) / (2 E_F). e is the elementary charge. A flat density leaves the factor 1. Not the classical Debye length. Thomas–Fermi',
-        formula_latex: 'k_{TF}^2 = (e^2 / \\varepsilon_0) (3 n) / (2 E_F)',
-        source_part: 'III',
-        source_section: 'Condensed-matter catalog (be-137) — established textbook relation, PhysJS.ThomasFermi.thomas_fermi',
-        known_issues: [],
-        references: [
-            'The screened exponential and the parabolic density of states are the hypotheses of PhysJS.ThomasFermi.thomas_fermi. g(E_F) = (3/2) n/E_F is PhysJS.FermiSea.dos_factor.',
-        ],
-        dependencies: [],
-        dimensional_signature: '[L^-2]',
-        tractability_class: 'closed-form',
-        notes: 'Closed-form evaluator evaluateThomasFermi in src/bridges/condensed-r8.ts. The edge value is k_TF². The overlay formalRef is PhysJS.ThomasFermi.thomas_fermi, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. No confrontation.',
-    },
-    {
-        id: 138,
-        name: 'Built-in voltage',
-        category: 'F',
-        category_name: 'Condensed Matter - High Energy Bridges',
-        bridges: ['condensed', 'electromagnetic'],
-        status: 'established',
-        context: 'Complete ionization and Boltzmann tails give V_bi = (k_B T / e) ln(N_A N_D / n_i²). e is the elementary charge. The product n_p N_A = n_i² is the be-99 conclusion as an input. Not the ideal diode of be-82. Built-in voltage. p–n junction',
-        formula_latex: 'V_{bi} = (k_B T / e) \\ln(N_A N_D / n_i^2)',
-        source_part: 'III',
-        source_section: 'Condensed-matter catalog (be-138) — established textbook relation, PhysJS.BuiltinVoltage.builtin_voltage',
-        known_issues: [],
-        references: [
-            'Complete ionization and the Boltzmann tails are the hypotheses of PhysJS.BuiltinVoltage.builtin_voltage. e is the elementary charge.',
-        ],
-        dependencies: [],
-        dimensional_signature: '[L^2 M T^-3 I^-1]',
-        tractability_class: 'closed-form',
-        notes: 'Closed-form evaluator evaluateBuiltinVoltage in src/bridges/condensed-r8.ts. The overlay formalRef is PhysJS.BuiltinVoltage.builtin_voltage, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. No confrontation.',
-    },
-    {
-        id: 139,
-        name: 'Semiconductor Fermi offset',
-        category: 'F',
-        category_name: 'Condensed Matter - High Energy Bridges',
-        bridges: ['quantum', 'condensed'],
-        status: 'established',
-        context: 'n = p on Boltzmann tails gives E_F − (E_c + E_v)/2 = (3/4) k_B T ln(m_h* / m_e*). The 3/4 is half of 3/2. Complete ionization gives E_c − E_F = k_B T ln(N_c / N_D). Dropping the 3/2 leaves 1/2. Not a Fermi–Dirac integral. Fermi level',
-        formula_latex: 'E_F - (E_c + E_v)/2 = (3/4) k_B T \\ln(m_h^*/m_e^*),\\quad E_c - E_F = k_B T \\ln(N_c/N_D)',
-        source_part: 'III',
-        source_section: 'Condensed-matter catalog (be-139) — established textbook relation, PhysJS.SemiconductorFermi.fermi_level',
-        known_issues: [],
-        references: [
-            'Both energies are the conclusion of PhysJS.SemiconductorFermi.fermi_level. The edge value is the intrinsic offset.',
-        ],
-        dependencies: [],
-        dimensional_signature: '[energy]',
-        tractability_class: 'closed-form',
-        notes: 'Closed-form evaluator evaluateSemiconductorFermi in src/bridges/condensed-r8.ts. The edge value is the intrinsic offset. The extrinsic energy is on the same result and is not a second edge. The overlay formalRef is PhysJS.SemiconductorFermi.fermi_level, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. No confrontation.',
-    },
-    {
-        id: 140,
-        name: 'Onsager frequency',
-        category: 'F',
-        category_name: 'Condensed Matter - High Energy Bridges',
-        bridges: ['electromagnetic', 'condensed'],
-        status: 'established',
-        context: 'The orbit area steps by 1, so γ cancels and F = ℏ A / (2 π e), with Δ(1/B) = 1/F. e is the elementary charge. F has the dimension of a magnetic field. Dropping γ on one orbit is not a step of 1. Onsager. de Haas',
-        formula_latex: 'F = \\hbar A / (2 \\pi e)',
-        source_part: 'III',
-        source_section: 'Condensed-matter catalog (be-140) — established textbook relation, PhysJS.OnsagerFrequency.onsager_frequency',
-        known_issues: [],
-        references: [
-            'The semiclassical area condition is the hypothesis of PhysJS.OnsagerFrequency.onsager_frequency. e is the elementary charge.',
-        ],
-        dependencies: [],
-        dimensional_signature: '[M T^-2 I^-1]',
-        tractability_class: 'closed-form',
-        notes: 'Closed-form evaluator evaluateOnsagerFrequency in src/bridges/condensed-r8.ts. The overlay formalRef is PhysJS.OnsagerFrequency.onsager_frequency, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. No confrontation.',
-    },
-    {
-        id: 141,
-        name: 'Josephson inductance',
-        category: 'F',
-        category_name: 'Condensed Matter - High Energy Bridges',
-        bridges: ['condensed', 'electromagnetic'],
-        status: 'established',
-        context: 'I = I_c sin φ and V = (ℏ / (2 e)) dφ/dt. At φ = 0, cos φ = 1, so L_J = ℏ / (2 e I_c). Φ₀ = h / (2 e) and h = 2 π ℏ give L_J = Φ₀ / (2 π I_c). e is the elementary charge. A phase with cos φ ≠ 1 is not this inductance. Not the frequency of be-59. Josephson inductance',
-        formula_latex: 'L_J = \\hbar / (2 e I_c)',
-        source_part: 'III',
-        source_section: 'Condensed-matter catalog (be-141) — established textbook relation, PhysJS.JosephsonInductance.inductance_eq',
-        known_issues: [],
-        references: [
-            'The Josephson equations and φ = 0 are the hypotheses of PhysJS.JosephsonInductance.inductance_eq. e is the elementary charge.',
-        ],
-        dependencies: [],
-        dimensional_signature: '[L^2 M T^-2 I^-2]',
-        tractability_class: 'closed-form',
-        notes: 'Closed-form evaluator evaluateJosephsonInductance in src/bridges/condensed-r8.ts. The overlay formalRef is PhysJS.JosephsonInductance.inductance_eq, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. No confrontation.',
-    },
-    {
-        id: 142,
-        name: 'Lower critical field',
-        category: 'F',
-        category_name: 'Condensed Matter - High Energy Bridges',
-        bridges: ['electromagnetic', 'condensed'],
-        status: 'established',
-        context: 'The London line energy with the core cutoff ξ ≤ r ≤ λ gives B_c1 = (Φ₀ / (4 π λ²)) ln(λ/ξ), with Φ₀ = h / (2 e). e is the elementary charge. An additive constant under the logarithm changes the field and not the prefactor. Not be-96. Lower critical field',
-        formula_latex: 'B_{c1} = (\\Phi_0 / (4 \\pi \\lambda^2)) \\ln(\\lambda / \\xi)',
-        source_part: 'III',
-        source_section: 'Condensed-matter catalog (be-142) — established textbook relation, PhysJS.LowerCritical.lower_critical',
-        known_issues: [],
-        references: [
-            'The core cutoff is the hypothesis of PhysJS.LowerCritical.lower_critical. Φ₀ = h/(2 e).',
-        ],
-        dependencies: [],
-        dimensional_signature: '[M T^-2 I^-1]',
-        tractability_class: 'closed-form',
-        notes: 'Closed-form evaluator evaluateLowerCritical in src/bridges/condensed-r8.ts. The overlay formalRef is PhysJS.LowerCritical.lower_critical, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. No confrontation.',
-    },
-    {
-        id: 143,
-        name: 'AC Drude conductivity',
-        category: 'F',
-        category_name: 'Condensed Matter - High Energy Bridges',
-        bridges: ['condensed', 'electromagnetic'],
-        status: 'established',
-        context: 'The cosine transform of exp(−t/τ) gives Re σ = σ₀ / (1 + ω² τ²), with σ₀ = n e² τ / m. e is the elementary charge. Dropping the DC 1 is not this conductivity. Not be-123. Drude. AC conductivity',
-        formula_latex: '\\mathrm{Re}\\,\\sigma = \\sigma_0 / (1 + \\omega^2 \\tau^2),\\quad \\sigma_0 = n e^2 \\tau / m',
-        source_part: 'III',
-        source_section: 'Condensed-matter catalog (be-143) — established textbook relation, PhysJS.AcDrude.ac_drude',
-        known_issues: [],
-        references: [
-            'The relaxation transform is the hypothesis of PhysJS.AcDrude.ac_drude. σ₀ = n e² τ / m is an input of that theorem and is evaluated here from n, m, and τ. e is the elementary charge.',
-        ],
-        dependencies: [],
-        dimensional_signature: '[L^-3 M^-1 T^3 I^2]',
-        tractability_class: 'closed-form',
-        notes: 'Closed-form evaluator evaluateAcDrude in src/bridges/condensed-r8.ts. The edge value is Re σ. The overlay formalRef is PhysJS.AcDrude.ac_drude, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. No confrontation.',
-    },
-    {
-        id: 144,
-        name: 'Matthiessen lifetime',
-        category: 'F',
-        category_name: 'Condensed Matter - High Energy Bridges',
-        bridges: ['condensed', 'quantum'],
-        status: 'established',
-        context: 'Independent Poisson processes give 1/τ = 1/τ₁ + 1/τ₂. One Drude factor ρ_i = C / τ_i makes ρ = ρ₁ + ρ₂. One lifetime is not the parallel sum. Not a collision integral. Matthiessen',
-        formula_latex: '1/\\tau = 1/\\tau_1 + 1/\\tau_2',
-        source_part: 'III',
-        source_section: 'Condensed-matter catalog (be-144) — established textbook relation, PhysJS.Matthiessen.matthiessen',
-        known_issues: [],
-        references: [
-            'Independence of the two Poisson processes is the hypothesis of PhysJS.Matthiessen.matthiessen. The edge value is τ.',
-        ],
-        dependencies: [],
-        dimensional_signature: '[time]',
-        tractability_class: 'closed-form',
-        notes: 'Closed-form evaluator evaluateMatthiessen in src/bridges/condensed-r8.ts. The edge value is the parallel lifetime. The resistivity sum is on the same result and is not a second edge. The overlay formalRef is PhysJS.Matthiessen.matthiessen, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. No confrontation.',
-    },
-    {
-        id: 145,
-        name: 'Stoner susceptibility',
-        category: 'F',
-        category_name: 'Condensed Matter - High Energy Bridges',
-        bridges: ['quantum', 'condensed'],
-        status: 'established',
-        context: 'The geometric series of bubbles gives χ = χ_P / (1 − I g(E_F)) for |I g(E_F)| < 1. The pole 1 − I g(E_F) = 0 is the same formula as I g(E_F) = 1. χ_P is be-94 and is not re-proved. The first two bubbles are not the closed form. Stoner',
-        formula_latex: '\\chi = \\chi_P / (1 - I g(E_F))',
-        source_part: 'III',
-        source_section: 'Condensed-matter catalog (be-145) — established textbook relation, PhysJS.Stoner.stoner',
-        known_issues: [],
-        references: [
-            'The geometric series for |I g(E_F)| < 1 is the hypothesis of PhysJS.Stoner.stoner. χ_P is be-94.',
-        ],
-        dependencies: [],
-        dimensional_signature: '[1]',
-        tractability_class: 'closed-form',
-        notes: 'Closed-form evaluator evaluateStoner in src/bridges/condensed-r8.ts. The overlay formalRef is PhysJS.Stoner.stoner, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. No confrontation.',
-    },
-    {
-        id: 146,
-        name: 'Gorter–Casimir fraction',
-        category: 'F',
-        category_name: 'Condensed Matter - High Energy Bridges',
-        bridges: ['condensed', 'electromagnetic'],
-        status: 'established',
-        context: 'The exponent 4 is a hypothesis. n_s/n = 1 − (T/T_c)^4, and the London depths of be-75, not re-proved, give λ(T) = λ(0) / √(1 − (T/T_c)^4). The exponent 2 is not 4 when the reduced temperature is neither 0 nor 1. Not a BCS gap and not a second proof of be-75. Gorter–Casimir. Two-fluid',
-        formula_latex: 'n_s/n = 1 - (T/T_c)^4',
-        source_part: 'III',
-        source_section: 'Condensed-matter catalog (be-146) — established textbook relation, PhysJS.GorterCasimir.gorter_casimir',
-        known_issues: [],
-        references: [
-            'The exponent p = 4 is the hypothesis of PhysJS.GorterCasimir.gorter_casimir. The edge value is n_s/n.',
-        ],
-        dependencies: [],
-        dimensional_signature: '[1]',
-        tractability_class: 'closed-form',
-        notes: 'Closed-form evaluator evaluateGorterCasimir in src/bridges/condensed-r8.ts. The edge value is n_s/n. λ(T) is on the same result and is not a second edge. The overlay formalRef is PhysJS.GorterCasimir.gorter_casimir, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. No confrontation.',
-    },
-];
-//# sourceMappingURL=condensed-r8-catalog.js.map

package/dist/bridges/condensed-r8-catalog.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"condensed-r8-catalog.js","sourceRoot":"","sources":["../../src/bridges/condensed-r8-catalog.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,kDAAkD;AAClD,MAAM,CAAC,MAAM,yBAAyB,GAAG;IACvC;QACE,EAAE,EAAE,GAAG;QACP,IAAI,EAAE,sBAAsB;QAC5B,QAAQ,EAAE,GAAG;QACb,aAAa,EAAE,wCAAwC;QACvD,OAAO,EAAE,CAAC,WAAW,EAAE,SAAS,CAAqB;QACrD,MAAM,EAAE,aAAsB;QAC9B,OAAO,EACL,wRAAwR;QAC1R,aAAa,EAAE,wEAAwE;QACvF,WAAW,EAAE,KAAc;QAC3B,cAAc,EAAE,8FAA8F;QAC9G,YAAY,EAAE,EAAE;QAChB,UAAU,EAAE;YACV,sHAAsH;SACvH;QACD,YAAY,EAAE,EAAE;QAChB,qBAAqB,EAAE,UAAU;QACjC,kBAAkB,EAAE,aAAsB;QAC1C,KAAK,EAAE,oWAAoW;KAC5W;IACD;QACE,EAAE,EAAE,GAAG;QACP,IAAI,EAAE,qCAAqC;QAC3C,QAAQ,EAAE,GAAG;QACb,aAAa,EAAE,wCAAwC;QACvD,OAAO,EAAE,CAAC,SAAS,EAAE,WAAW,CAAqB;QACrD,MAAM,EAAE,aAAsB;QAC9B,OAAO,EACL,8MAA8M;QAChN,aAAa,EAAE,6EAA6E;QAC5F,WAAW,EAAE,KAAc;QAC3B,cAAc,EAAE,oGAAoG;QACpH,YAAY,EAAE,EAAE;QAChB,UAAU,EAAE;YACV,sGAAsG;SACvG;QACD,YAAY,EAAE,EAAE;QAChB,qBAAqB,EAAE,iBAAiB;QACxC,kBAAkB,EAAE,aAAsB;QAC1C,KAAK,EAAE,wSAAwS;KAChT;IACD;QACE,EAAE,EAAE,GAAG;QACP,IAAI,EAAE,mCAAmC;QACzC,QAAQ,EAAE,GAAG;QACb,aAAa,EAAE,wCAAwC;QACvD,OAAO,EAAE,CAAC,WAAW,EAAE,SAAS,CAAqB;QACrD,MAAM,EAAE,aAAsB;QAC9B,OAAO,EACL,gJAAgJ;QAClJ,aAAa,EAAE,yBAAyB;QACxC,WAAW,EAAE,KAAc;QAC3B,cAAc,EAAE,oGAAoG;QACpH,YAAY,EAAE,EAAE;QAChB,UAAU,EAAE;YACV,qGAAqG;SACtG;QACD,YAAY,EAAE,EAAE;QAChB,qBAAqB,EAAE,iBAAiB;QACxC,kBAAkB,EAAE,aAAsB;QAC1C,KAAK,EAAE,wSAAwS;KAChT;IACD;QACE,EAAE,EAAE,GAAG;QACP,IAAI,EAAE,iCAAiC;QACvC,QAAQ,EAAE,GAAG;QACb,aAAa,EAAE,wCAAwC;QACvD,OAAO,EAAE,CAAC,iBAAiB,EAAE,WAAW,CAAqB;QAC7D,MAAM,EAAE,aAAsB;QAC9B,OAAO,EACL,2PAA2P;QAC7P,aAAa,EAAE,mDAAmD;QAClE,WAAW,EAAE,KAAc;QAC3B,cAAc,EAAE,oGAAoG;QACpH,YAAY,EAAE,EAAE;QAChB,UAAU,EAAE;YACV,yKAAyK;SAC1K;QACD,YAAY,EAAE,EAAE;QAChB,qBAAqB,EAAE,QAAQ;QAC/B,kBAAkB,EAAE,aAAsB;QAC1C,KAAK,EAAE,2TAA2T;KACnU;IACD;QACE,EAAE,EAAE,GAAG;QACP,IAAI,EAAE,kBAAkB;QACxB,QAAQ,EAAE,GAAG;QACb,aAAa,EAAE,wCAAwC;QACvD,OAAO,EAAE,CAAC,WAAW,EAAE,iBAAiB,CAAqB;QAC7D,MAAM,EAAE,aAAsB;QAC9B,OAAO,EACL,8OAA8O;QAChP,aAAa,EAAE,4CAA4C;QAC3D,WAAW,EAAE,KAAc;QAC3B,cAAc,EAAE,0GAA0G;QAC1H,YAAY,EAAE,EAAE;QAChB,UAAU,EAAE;YACV,sIAAsI;SACvI;QACD,YAAY,EAAE,EAAE;QAChB,qBAAqB,EAAE,mBAAmB;QAC1C,kBAAkB,EAAE,aAAsB;QAC1C,KAAK,EAAE,2SAA2S;KACnT;IACD;QACE,EAAE,EAAE,GAAG;QACP,IAAI,EAAE,4BAA4B;QAClC,QAAQ,EAAE,GAAG;QACb,aAAa,EAAE,wCAAwC;QACvD,OAAO,EAAE,CAAC,SAAS,EAAE,WAAW,CAAqB;QACrD,MAAM,EAAE,aAAsB;QAC9B,OAAO,EACL,2OAA2O;QAC7O,aAAa,EACX,4FAA4F;QAC9F,WAAW,EAAE,KAAc;QAC3B,cAAc,EACZ,0GAA0G;QAC5G,YAAY,EAAE,EAAE;QAChB,UAAU,EAAE;YACV,oHAAoH;SACrH;QACD,YAAY,EAAE,EAAE;QAChB,qBAAqB,EAAE,UAAU;QACjC,kBAAkB,EAAE,aAAsB;QAC1C,KAAK,EAAE,4ZAA4Z;KACpa;IACD;QACE,EAAE,EAAE,GAAG;QACP,IAAI,EAAE,mBAAmB;QACzB,QAAQ,EAAE,GAAG;QACb,aAAa,EAAE,wCAAwC;QACvD,OAAO,EAAE,CAAC,iBAAiB,EAAE,WAAW,CAAqB;QAC7D,MAAM,EAAE,aAAsB;QAC9B,OAAO,EACL,qNAAqN;QACvN,aAAa,EAAE,2BAA2B;QAC1C,WAAW,EAAE,KAAc;QAC3B,cAAc,EAAE,8GAA8G;QAC9H,YAAY,EAAE,EAAE;QAChB,UAAU,EAAE;YACV,8HAA8H;SAC/H;QACD,YAAY,EAAE,EAAE;QAChB,qBAAqB,EAAE,eAAe;QACtC,kBAAkB,EAAE,aAAsB;QAC1C,KAAK,EAAE,iTAAiT;KACzT;IACD;QACE,EAAE,EAAE,GAAG;QACP,IAAI,EAAE,sBAAsB;QAC5B,QAAQ,EAAE,GAAG;QACb,aAAa,EAAE,wCAAwC;QACvD,OAAO,EAAE,CAAC,WAAW,EAAE,iBAAiB,CAAqB;QAC7D,MAAM,EAAE,aAAsB;QAC9B,OAAO,EACL,2QAA2Q;QAC7Q,aAAa,EAAE,0BAA0B;QACzC,WAAW,EAAE,KAAc;QAC3B,cAAc,EACZ,6GAA6G;QAC/G,YAAY,EAAE,EAAE;QAChB,UAAU,EAAE;YACV,+HAA+H;SAChI;QACD,YAAY,EAAE,EAAE;QAChB,qBAAqB,EAAE,mBAAmB;QAC1C,kBAAkB,EAAE,aAAsB;QAC1C,KAAK,EAAE,mTAAmT;KAC3T;IACD;QACE,EAAE,EAAE,GAAG;QACP,IAAI,EAAE,sBAAsB;QAC5B,QAAQ,EAAE,GAAG;QACb,aAAa,EAAE,wCAAwC;QACvD,OAAO,EAAE,CAAC,iBAAiB,EAAE,WAAW,CAAqB;QAC7D,MAAM,EAAE,aAAsB;QAC9B,OAAO,EACL,gQAAgQ;QAClQ,aAAa,EAAE,gEAAgE;QAC/E,WAAW,EAAE,KAAc;QAC3B,cAAc,EAAE,wGAAwG;QACxH,YAAY,EAAE,EAAE;QAChB,UAAU,EAAE;YACV,yFAAyF;SAC1F;QACD,YAAY,EAAE,EAAE;QAChB,qBAAqB,EAAE,eAAe;QACtC,kBAAkB,EAAE,aAAsB;QAC1C,KAAK,EAAE,wSAAwS;KAChT;IACD;QACE,EAAE,EAAE,GAAG;QACP,IAAI,EAAE,uBAAuB;QAC7B,QAAQ,EAAE,GAAG;QACb,aAAa,EAAE,wCAAwC;QACvD,OAAO,EAAE,CAAC,WAAW,EAAE,iBAAiB,CAAqB;QAC7D,MAAM,EAAE,aAAsB;QAC9B,OAAO,EACL,mMAAmM;QACrM,aAAa,EAAE,iGAAiG;QAChH,WAAW,EAAE,KAAc;QAC3B,cAAc,EAAE,4FAA4F;QAC5G,YAAY,EAAE,EAAE;QAChB,UAAU,EAAE;YACV,wLAAwL;SACzL;QACD,YAAY,EAAE,EAAE;QAChB,qBAAqB,EAAE,qBAAqB;QAC5C,kBAAkB,EAAE,aAAsB;QAC1C,KAAK,EAAE,8SAA8S;KACtT;IACD;QACE,EAAE,EAAE,GAAG;QACP,IAAI,EAAE,sBAAsB;QAC5B,QAAQ,EAAE,GAAG;QACb,aAAa,EAAE,wCAAwC;QACvD,OAAO,EAAE,CAAC,WAAW,EAAE,SAAS,CAAqB;QACrD,MAAM,EAAE,aAAsB;QAC9B,OAAO,EACL,qLAAqL;QACvL,aAAa,EAAE,iCAAiC;QAChD,WAAW,EAAE,KAAc;QAC3B,cAAc,EAAE,mGAAmG;QACnH,YAAY,EAAE,EAAE;QAChB,UAAU,EAAE;YACV,qHAAqH;SACtH;QACD,YAAY,EAAE,EAAE;QAChB,qBAAqB,EAAE,QAAQ;QAC/B,kBAAkB,EAAE,aAAsB;QAC1C,KAAK,EAAE,8YAA8Y;KACtZ;IACD;QACE,EAAE,EAAE,GAAG;QACP,IAAI,EAAE,uBAAuB;QAC7B,QAAQ,EAAE,GAAG;QACb,aAAa,EAAE,wCAAwC;QACvD,OAAO,EAAE,CAAC,SAAS,EAAE,WAAW,CAAqB;QACrD,MAAM,EAAE,aAAsB;QAC9B,OAAO,EACL,4OAA4O;QAC9O,aAAa,EAAE,kCAAkC;QACjD,WAAW,EAAE,KAAc;QAC3B,cAAc,EAAE,yFAAyF;QACzG,YAAY,EAAE,EAAE;QAChB,UAAU,EAAE;YACV,kGAAkG;SACnG;QACD,YAAY,EAAE,EAAE;QAChB,qBAAqB,EAAE,KAAK;QAC5B,kBAAkB,EAAE,aAAsB;QAC1C,KAAK,EAAE,kRAAkR;KAC1R;IACD;QACE,EAAE,EAAE,GAAG;QACP,IAAI,EAAE,yBAAyB;QAC/B,QAAQ,EAAE,GAAG;QACb,aAAa,EAAE,wCAAwC;QACvD,OAAO,EAAE,CAAC,WAAW,EAAE,iBAAiB,CAAqB;QAC7D,MAAM,EAAE,aAAsB;QAC9B,OAAO,EACL,8RAA8R;QAChS,aAAa,EAAE,uBAAuB;QACtC,WAAW,EAAE,KAAc;QAC3B,cAAc,EAAE,wGAAwG;QACxH,YAAY,EAAE,EAAE;QAChB,UAAU,EAAE;YACV,uGAAuG;SACxG;QACD,YAAY,EAAE,EAAE;QAChB,qBAAqB,EAAE,KAAK;QAC5B,kBAAkB,EAAE,aAAsB;QAC1C,KAAK,EAAE,sXAAsX;KAC9X;CACF,CAAC"}