universal-physics-tensor 7.0.0 → 8.0.0

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"}

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

@@ -1,260 +0,0 @@
-/** Bloch-law inputs. ζ(3/2) is not computed. @public */
-export interface BlochLawInputs {
-    readonly muB_J_per_T: number;
-    readonly zeta_3_2: number;
-    readonly T_K: number;
-    readonly D_J_m2: number;
-}
-/** Magnon magnetization deficit, one Bohr magneton per magnon. @public */
-export interface BlochLawResult {
-    readonly dM_A_per_m: number;
-}
-/**
- * `ΔM = μ_B ζ(3/2) (k_B T / (4 π D))^{3/2}`.
- * @public
- */
-export declare function evaluateBlochLaw({ muB_J_per_T, zeta_3_2, T_K, D_J_m2 }: BlochLawInputs): BlochLawResult;
-/**
- * Landé g μ_B at g = 2. Not one Bohr magneton.
- * @internal
- */
-export declare function blochLandeMoment(input: BlochLawInputs): number;
-/** Three-dimensional density-of-states inputs. @public */
-export interface DensityOfStates3DInputs {
-    readonly m_kg: number;
-    readonly E_J: number;
-}
-/** States per volume per energy, both spins. @public */
-export interface DensityOfStates3DResult {
-    readonly g_per_J_m3: number;
-}
-/**
- * `g(E) = (1/(2 π²)) (2 m / ℏ²)^{3/2} √E`.
- * @public
- */
-export declare function evaluateDensityOfStates3D({ m_kg, E_J }: DensityOfStates3DInputs): DensityOfStates3DResult;
-/**
- * One spin replaces `1/(2 π²)` by `1/(4 π²)`. Not the catalog density.
- * @internal
- */
-export declare function dos3dOneSpin(input: DensityOfStates3DInputs): number;
-/** Two-dimensional density-of-states inputs. @public */
-export interface DensityOfStates2DInputs {
-    readonly m_kg: number;
-}
-/** States per area per energy, both spins, one valley. @public */
-export interface DensityOfStates2DResult {
-    readonly g_per_J_m2: number;
-}
-/**
- * `g = m / (π ℏ²)`, independent of energy.
- * @public
- */
-export declare function evaluateDensityOfStates2D({ m_kg }: DensityOfStates2DInputs): DensityOfStates2DResult;
-/**
- * A valley factor other than 1. Not this density.
- * @internal
- */
-export declare function dos2dValley(m_kg: number, valley: number): number;
-/** Thomas–Fermi inputs. `e` and `ε0` are not inputs. @public */
-export interface ThomasFermiInputs {
-    readonly n_per_m3: number;
-    readonly EF_J: number;
-}
-/** Screening wavevector squared. @public */
-export interface ThomasFermiResult {
-    readonly k2_per_m2: number;
-}
-/**
- * `k_TF² = (e² / ε0) (3 n) / (2 E_F)`.
- * @public
- */
-export declare function evaluateThomasFermi({ n_per_m3, EF_J }: ThomasFermiInputs): ThomasFermiResult;
-/**
- * A flat density drops the `3/2`. Not the parabolic gas.
- * @internal
- */
-export declare function thomasFermiFlat(n_per_m3: number, EF_J: number): number;
-/** Built-in voltage inputs. `e` is not an input. @public */
-export interface BuiltinVoltageInputs {
-    readonly T_K: number;
-    readonly NA_per_m3: number;
-    readonly ND_per_m3: number;
-    readonly ni_per_m3: number;
-}
-/** Built-in voltage of a p–n junction. @public */
-export interface BuiltinVoltageResult {
-    readonly V_bi_V: number;
-}
-/**
- * `V_bi = (k_B T / e) ln(N_A N_D / n_i²)`.
- * @public
- */
-export declare function evaluateBuiltinVoltage({ T_K, NA_per_m3, ND_per_m3, ni_per_m3, }: BuiltinVoltageInputs): BuiltinVoltageResult;
-/**
- * `k_B T / e` with the logarithm omitted. Not the built-in voltage.
- * @internal
- */
-export declare function builtinWithoutLog(T_K: number): number;
-/** Semiconductor Fermi-level inputs. @public */
-export interface SemiconductorFermiInputs {
-    readonly T_K: number;
-    readonly mh_kg: number;
-    readonly me_kg: number;
-    readonly Nc_per_m3: number;
-    readonly ND_per_m3: number;
-}
-/** Intrinsic offset from midgap, and the extrinsic gap to the band edge. @public */
-export interface SemiconductorFermiResult {
-    readonly intrinsic_offset_J: number;
-    readonly extrinsic_offset_J: number;
-}
-/**
- * Intrinsic offset `(3/4) k_B T ln(m_h* / m_e*)` and extrinsic
- * `E_c − E_F = k_B T ln(N_c / N_D)`.
- * @public
- */
-export declare function evaluateSemiconductorFermi({ T_K, mh_kg, me_kg, Nc_per_m3, ND_per_m3, }: SemiconductorFermiInputs): SemiconductorFermiResult;
-/**
- * Half of `3/2` left as `1/2`. Not the intrinsic offset.
- * @internal
- */
-export declare function fermiHalfOffset(T_K: number, mh_kg: number, me_kg: number): number;
-/** Onsager-frequency inputs. `e` is not an input. @public */
-export interface OnsagerFrequencyInputs {
-    readonly A_per_m2: number;
-}
-/** The field `F` with `Δ(1/B) = 1/F`. @public */
-export interface OnsagerFrequencyResult {
-    readonly F_T: number;
-}
-/**
- * `F = ℏ A / (2 π e)`.
- * @public
- */
-export declare function evaluateOnsagerFrequency({ A_per_m2 }: OnsagerFrequencyInputs): OnsagerFrequencyResult;
-/**
- * Drops `2 π`. Not the Onsager frequency.
- * @internal
- */
-export declare function onsagerWithoutTwoPi(A_per_m2: number): number;
-/** Josephson-inductance inputs. @public */
-export interface JosephsonInductanceInputs {
-    readonly Ic_A: number;
-}
-/** Small-phase Josephson inductance. @public */
-export interface JosephsonInductanceResult {
-    readonly L_H: number;
-}
-/**
- * `L_J = ℏ / (2 e I_c)`.
- * @public
- */
-export declare function evaluateJosephsonInductance({ Ic_A }: JosephsonInductanceInputs): JosephsonInductanceResult;
-/**
- * `ℏ / (e I_c)`. Drops the Cooper-pair 2. Not this inductance.
- * @internal
- */
-export declare function josephsonWithoutTwo(Ic_A: number): number;
-/** Lower-critical-field inputs. `Φ₀ = h / (2 e)` is not an input. @public */
-export interface LowerCriticalInputs {
-    readonly lambda_m: number;
-    readonly xi_m: number;
-}
-/** Lower critical field of a London vortex. @public */
-export interface LowerCriticalResult {
-    readonly B_c1_T: number;
-}
-/**
- * `B_c1 = (Φ₀ / (4 π λ²)) ln(λ/ξ)` with `Φ₀ = h / (2 e)`.
- * @public
- */
-export declare function evaluateLowerCritical({ lambda_m, xi_m }: LowerCriticalInputs): LowerCriticalResult;
-/**
- * Drops `4 π`. Not the lower critical field.
- * @internal
- */
-export declare function lowerCriticalWithoutFourPi(input: LowerCriticalInputs): number;
-/** AC Drude inputs. `e` is not an input. @public */
-export interface AcDrudeInputs {
-    readonly n_per_m3: number;
-    readonly m_kg: number;
-    readonly tau_s: number;
-    readonly omega_rad_s: number;
-}
-/** Real part of the AC Drude conductivity. @public */
-export interface AcDrudeResult {
-    readonly sigma_S_per_m: number;
-}
-/**
- * `Re σ = σ₀ / (1 + ω² τ²)` with `σ₀ = n e² τ / m`.
- * @public
- */
-export declare function evaluateAcDrude({ n_per_m3, m_kg, tau_s, omega_rad_s }: AcDrudeInputs): AcDrudeResult;
-/**
- * Drops the DC `1` in the denominator. Not this conductivity.
- * @internal
- */
-export declare function acDrudeWithoutDc(input: AcDrudeInputs): number;
-/** Matthiessen inputs. `C` converts a rate into a resistivity. @public */
-export interface MatthiessenInputs {
-    readonly tau1_s: number;
-    readonly tau2_s: number;
-    readonly C_ohm_m_s: number;
-}
-/** Parallel lifetime and the resistivity sum. @public */
-export interface MatthiessenResult {
-    readonly tau_s: number;
-    readonly rho_ohm_m: number;
-}
-/**
- * `1/τ = 1/τ₁ + 1/τ₂` and `ρ = C (1/τ₁ + 1/τ₂)`.
- * @public
- */
-export declare function evaluateMatthiessen({ tau1_s, tau2_s, C_ohm_m_s }: MatthiessenInputs): MatthiessenResult;
-/**
- * One lifetime. Not the parallel sum when the other lifetime is finite.
- * @internal
- */
-export declare function matthiessenSingle(tau1_s: number): number;
-/** Stoner inputs. `x = I g(E_F)`. @public */
-export interface StonerInputs {
-    readonly chi_P: number;
-    readonly x: number;
-}
-/** Enhanced susceptibility. @public */
-export interface StonerResult {
-    readonly chi: number;
-}
-/**
- * `χ = χ_P / (1 − I g(E_F))` for `|I g(E_F)| < 1`.
- * @public
- */
-export declare function evaluateStoner({ chi_P, x }: StonerInputs): StonerResult;
-/**
- * The first two bubbles, `χ_P (1 + x)`. Not the closed form.
- * @internal
- */
-export declare function stonerTwoBubbles(chi_P: number, x: number): number;
-/** Gorter–Casimir inputs. The exponent 4 is the hypothesis. @public */
-export interface GorterCasimirInputs {
-    readonly T_K: number;
-    readonly Tc_K: number;
-    readonly lambda0_m: number;
-}
-/** Superfluid fraction and the London depth at that fraction. @public */
-export interface GorterCasimirResult {
-    readonly ns_over_n: number;
-    readonly lambda_m: number;
-}
-/**
- * `n_s/n = 1 − (T/T_c)^4` and `λ(T) = λ(0) / √(1 − (T/T_c)^4)`.
- * @public
- */
-export declare function evaluateGorterCasimir({ T_K, Tc_K, lambda0_m }: GorterCasimirInputs): GorterCasimirResult;
-/**
- * Exponent 2. Not 4 when the reduced temperature is neither 0 nor 1.
- * @internal
- */
-export declare function gorterExponentTwo(T_K: number, Tc_K: number): number;
-//# sourceMappingURL=condensed-r8.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"condensed-r8.d.ts","sourceRoot":"","sources":["../../src/bridges/condensed-r8.ts"],"names":[],"mappings":"AAiBA,wDAAwD;AACxD,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AACD,0EAA0E;AAC1E,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,EAAE,WAAW,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,cAAc,GAAG,cAAc,CASvG;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,cAAc,GAAG,MAAM,CAE9D;AAED,0DAA0D;AAC1D,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AACD,wDAAwD;AACxD,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED;;;GAGG;AACH,wBAAgB,yBAAyB,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,uBAAuB,GAAG,uBAAuB,CAQzG;AAED;;;GAGG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,uBAAuB,GAAG,MAAM,CAEnE;AAED,wDAAwD;AACxD,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AACD,kEAAkE;AAClE,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED;;;GAGG;AACH,wBAAgB,yBAAyB,CAAC,EAAE,IAAI,EAAE,EAAE,uBAAuB,GAAG,uBAAuB,CAIpG;AAED;;;GAGG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,CAGhE;AAED,gEAAgE;AAChE,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AACD,4CAA4C;AAC5C,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED;;;GAGG;AACH,wBAAgB,mBAAmB,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,iBAAiB,GAAG,iBAAiB,CAK5F;AAED;;;GAGG;AACH,wBAAgB,eAAe,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAKtE;AAED,4DAA4D;AAC5D,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AACD,kDAAkD;AAClD,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED;;;GAGG;AACH,wBAAgB,sBAAsB,CAAC,EACrC,GAAG,EACH,SAAS,EACT,SAAS,EACT,SAAS,GACV,EAAE,oBAAoB,GAAG,oBAAoB,CAU7C;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAGrD;AAED,gDAAgD;AAChD,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AACD,oFAAoF;AACpF,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;CACrC;AAED;;;;GAIG;AACH,wBAAgB,0BAA0B,CAAC,EACzC,GAAG,EACH,KAAK,EACL,KAAK,EACL,SAAS,EACT,SAAS,GACV,EAAE,wBAAwB,GAAG,wBAAwB,CAgBrD;AAED;;;GAGG;AACH,wBAAgB,eAAe,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAOjF;AAED,6DAA6D;AAC7D,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AACD,iDAAiD;AACjD,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED;;;GAGG;AACH,wBAAgB,wBAAwB,CAAC,EAAE,QAAQ,EAAE,EAAE,sBAAsB,GAAG,sBAAsB,CAGrG;AAED;;;GAGG;AACH,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAG5D;AAED,2CAA2C;AAC3C,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AACD,gDAAgD;AAChD,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED;;;GAGG;AACH,wBAAgB,2BAA2B,CAAC,EAAE,IAAI,EAAE,EAAE,yBAAyB,GAAG,yBAAyB,CAI1G;AAED;;;GAGG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAIxD;AAED,6EAA6E;AAC7E,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AACD,uDAAuD;AACvD,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED;;;GAGG;AACH,wBAAgB,qBAAqB,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,mBAAmB,GAAG,mBAAmB,CAOlG;AAED;;;GAGG;AACH,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,mBAAmB,GAAG,MAAM,CAE7E;AAED,oDAAoD;AACpD,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AACD,sDAAsD;AACtD,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;CAChC;AAED;;;GAGG;AACH,wBAAgB,eAAe,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,EAAE,aAAa,GAAG,aAAa,CASpG;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,aAAa,GAAG,MAAM,CAI7D;AAED,0EAA0E;AAC1E,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AACD,yDAAyD;AACzD,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED;;;GAGG;AACH,wBAAgB,mBAAmB,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,EAAE,iBAAiB,GAAG,iBAAiB,CASvG;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAIxD;AAED,6CAA6C;AAC7C,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;CACpB;AACD,uCAAuC;AACvC,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED;;;GAGG;AACH,wBAAgB,cAAc,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,YAAY,GAAG,YAAY,CAKvE;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAIjE;AAED,uEAAuE;AACvE,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AACD,yEAAyE;AACzE,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED;;;GAGG;AACH,wBAAgB,qBAAqB,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,mBAAmB,GAAG,mBAAmB,CAUxG;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAKnE"}