universal-physics-tensor 0.5.0 → 0.7.0

package/dist/bridges/index.js

@@ -150,6 +150,7 @@ export const BRIDGE_EQUATIONS = [
         ],
         dependencies: [],
         dimensional_signature: `[L^-2]`, // Wave Y — Ricci scalar; trace of Einstein eq.
+        encoded_form: `R = 4Λ − (8πG/c⁴) T  — scalar trace (g^μν contraction) of the rank-2 Einstein field equation shown in formula_latex.`,
         tractability_class: 'closed-form',
         notes: `Encoded 2026-05-07 (Wave Y): Tier-5 AST encoding for the trace of Einstein equations R = 4Λ - (8πG/c⁴)T landed (src/bridges/equations/be-13-einstein-trace.ts). The displayed formula_latex updated from the full tensor Einstein equation R_μν - (1/2)R g_μν + Λ g_μν = (8πG/c⁴)T_μν to its g^μν contraction R = 4Λ - (8πG/c⁴)T — the canonical scalar trace (MTW §17.4; Carroll §4.7). dimensional_signature null → '[L^-2]'. tractability_class lifted 'numerical-tractable' → 'closed-form' since the trace is a single algebraic relation given (Λ, T). Bracket: vacuum (Λ=0, T=0) → R=0; pure CC (T=0) → R=4Λ; matter dominance T = ρc² → R = 4Λ - 8πGρ/c² (textbook FRW). | Reformulated 2026-05-06 (Wave P-B R-B2, per Math iter-5 / Researcher iter-5 strategic pivot — complete bridges to canonical literature forms when one exists, rather than preserving R3-invalid). Replaced the Landauer-mis-attributed form R_μν − (1/2) R g_μν = (8πG/c⁴) [T_μν^matter + k_B T ln(2) I_μν] (which double-counted information into a separate stress-energy tensor I_μν, breaking diff-invariance and dimensionally non-closing) with the canonical **Jacobson 1995 thermodynamic derivation form**: standard Einstein field equations R_μν − (1/2) R g_μν + Λ g_μν = (8πG/c⁴) T_μν, with the *interpretation* that they arise as a macroscopic equation of state from the Clausius relation δQ = T dS applied to all local Rindler causal horizons through each spacetime point. The spurious k_B T ln(2) I_μν term is dropped (Jacobson has no such term). Status set to 'speculative' (not 'established') because the *information-thermodynamic origin framing* — committing to Jacobson over Verlinde or Padmanabhan — is a framework choice, not a derivation; the equation itself is canonical, the framing is the speculative element. | Earlier history: status was 'highly-speculative' then promoted 'invalid' (Wave N Tier C2, 2026-05-06) until Wave P-B R-B2 completed the pivot. The "Landauer-Wheeler" framing was a category error.`,
     },
@@ -159,7 +160,7 @@ export const BRIDGE_EQUATIONS = [
         category: `B`,
         category_name: `Information-Physical Bridges`,
         bridges: [`information`, `physical`],
-        status: 'established',
+        status: 'speculative',
         context: `How bulk physics emerges from boundary quantum information`,
         formula_latex: `|\\psi_{\\text{bulk}}\\rangle = U_{\\text{HQECC}} \\sum_i \\alpha_i |\\text{code}_i\\rangle_{\\text{boundary}}`,
         source_part: 'I',
@@ -285,7 +286,7 @@ export const BRIDGE_EQUATIONS = [
         dependencies: [],
         dimensional_signature: `[energy]`,
         tractability_class: 'closed-form',
-        notes: `Tier-5 AST encoding landed 2026-05-11 (Wave Z-E, src/bridges/equations/be-16-landauer.ts) — encodes Landauer's principle E_min = k_B · T · ln(2) as a typed algebraic relation. ln(2) is a concrete numerical constant (~0.693) encoded as a single DIMENSIONLESS symbol 'ln_2_constant' (no inner-argument lemma needed — unlike BE-25 / BE-45 where the log argument is a dimensionful ratio). Inferred RHS dim: [energy/temperature] · [temperature] · [1] = [energy] ✓. Numerical bracket: T = 300 K gives E_min ≈ 2.87e-21 J ≈ 18 meV per bit, matching the literature experimental scale (Bérut 2012). | Reformulated 2026-05-11 (Wave Z-E, per OpenAI o3 consultation, analogous to Wave P-D R-D2 BE-25 reformulation): replaced the algebraically-self-refuting form dS/dt = k_B·C(ρ)·∂I/∂t with Landauer's principle. The original ansatz suffered three orthogonal defects (per the disposition-locked known_issues): (1) circuit complexity C(ρ) was not independently defined — the equation was effectively a definition of complexity rather than a falsifiable relation; (2) sign convention conflated I and -S_vN; (3) the algebra combining I = Tr(ρ log ρ) = -S_vN with the master relation forced dS/dt · (1 + k_B C(ρ)) = 0, i.e., dS/dt = 0 for any C(ρ) > -1/k_B — the equation algebraically forbade entropy change, violating the Second Law. The reformulation drops C(ρ) entirely in favor of Landauer's principle, which addresses the same bridge label (microscale information ↔ emergent thermodynamics) via a canonical, experimentally-tested relation. Status set to 'speculative' (not 'established') because Landauer itself is canonical and well-tested but the *bridge framing* — treating Landauer's bound as THE UPT microscale-↔-emergent bridge — is the speculative element (other canonical bridges exist: Margolus-Levitin τ_min ≥ πℏ/(2E), Bremermann's limit, Bennett's reversible-computation bound). Honest-claude: Landauer is a *lower bound* on the *minimum* energy per bit erased, NOT a proportionality between *complexity* and *entropy-production rate* as the original ansatz claimed. The reformulation captures the spirit of the bridge label but not the original formula's intended structure. The Susskind complexity-volume / complexity-action conjectures (arXiv:1402.5674 / 1509.07876) that inspired the original ansatz are retained in references[] as historical context. | Earlier history: INVALID per disposition decision 2026-05-01 (Tier 3 audit, Bridge-Remediation-Plan.md R3): self-refuting algebraically, C(ρ) undefined. The invalid disposition correctly preserved the gap until the canonical reformulation became available; OpenAI o3 Wave-Z-E consultation (2026-05-11) confirmed Landauer's principle as the appropriate canonical replacement.`,
+        notes: `Tier-5 AST encoding landed 2026-05-11 (Wave Z-E, src/bridges/equations/be-16-landauer.ts) — encodes Landauer's principle E_min = k_B · T · ln(2) as a typed algebraic relation. ln(2) is a concrete numerical constant (~0.693) encoded as a single DIMENSIONLESS symbol 'ln_2_constant' (no inner-argument lemma needed — unlike BE-25 / BE-45 where the log argument is a dimensionful ratio). Inferred RHS dim: [energy/temperature] · [temperature] · [1] = [energy] ✓. Numerical bracket: T = 300 K gives E_min ≈ 2.87e-21 J ≈ 18 meV per bit, matching the literature experimental scale (Bérut 2012). | Reformulated 2026-05-11 (Wave Z-E, per OpenAI o3 consultation, analogous to Wave P-D R-D2 BE-25 reformulation): replaced the algebraically-self-refuting form dS/dt = k_B·C(ρ)·∂I/∂t with Landauer's principle. The original ansatz suffered three orthogonal defects (per the disposition-locked known_issues): (1) circuit complexity C(ρ) was not independently defined — the equation was effectively a definition of complexity rather than a falsifiable relation; (2) sign convention conflated I and -S_vN; (3) the algebra combining I = Tr(ρ log ρ) = -S_vN with the master relation forced dS/dt · (1 + k_B C(ρ)) = 0, i.e., dS/dt = 0 for any C(ρ) > -1/k_B — the equation algebraically forbade entropy change, violating the Second Law. The reformulation drops C(ρ) entirely in favor of Landauer's principle, which addresses the same bridge label (microscale information ↔ emergent thermodynamics) via a canonical, experimentally-tested relation. Status set to 'speculative' (not 'established') because Landauer itself is canonical and well-tested but the *bridge framing* — treating Landauer's bound as THE UPT microscale-↔-emergent bridge — is the speculative element (other canonical bridges exist: Margolus-Levitin τ_min ≥ πℏ/(2E), Bremermann's limit, Bennett's reversible-computation bound). Honest-claude: Landauer is a *lower bound* on the *minimum* energy per bit erased, NOT a proportionality between *complexity* and *entropy-production rate* as the original ansatz claimed. The reformulation captures the spirit of the bridge label but not the original formula's intended structure. The Susskind complexity-volume / complexity-action conjectures (arXiv:1402.5674 / 1509.07876) that inspired the original ansatz are retained in references[] as historical context. | Earlier history: INVALID per disposition decision 2026-05-01 (Tier 3 audit, Bridge-Remediation-Plan.md R3): self-refuting algebraically, C(ρ) undefined. The invalid disposition correctly preserved the gap until the canonical reformulation became available; OpenAI o3 Wave-Z-E consultation (2026-05-11) confirmed Landauer's principle as the appropriate canonical replacement. | 2026-05-23 BRIDGE-PHYSICS-AUDIT §5 considered: audit recommended promotion to 'established' (Landauer canonical + experimentally verified). REJECTED — audit assesses the equation; this entry's 'speculative' status assesses the *framing* (Landauer-as-UPT-microscale-↔-emergent bridge), which remains the speculative element per Wave Z-E rationale. Distinction preserved. Analysis: docs/architecture/v0.7-bridge-status-recalibration-analysis.md.`,
     },
     {
         id: 17,
@@ -328,6 +329,7 @@ export const BRIDGE_EQUATIONS = [
         ],
         dependencies: [],
         dimensional_signature: '[L^-2 M^2 T^-2]',
+        encoded_form: `Squared-invariant scalar S²_spin = (c⁴/(8πG))² · T_λμν T^λμν (a positive-definite scalar contraction of the rank-3 torsion-spin tensor T_λμν); reduced from the full Einstein-Cartan rank-2 field equation shown in formula_latex. The squared form avoids dimensional sign-ambiguity from mixed-rank inner products.`,
         tractability_class: 'numerical-tractable',
         notes: `Wave Z-C 2026-05-07: Tier-5 AST encoding landed as a **squared-invariant scalar reduction** S²_spin = (c⁴/(8πG))² · T_λμν T^λμν (see src/bridges/equations/be-17-einstein-cartan.ts). The full EC system — Einstein equation R_μν − (1/2)R g_μν + Λ g_μν = (8πG/c⁴) T_μν plus algebraic torsion-spin coupling T^λ_μν = (8πG/c⁴) S^λ_μν — CANNOT be encoded in the scalar UPT AST grammar (operator-valued tensors: Ricci, Einstein, rank-3 torsion lie outside the symbol|op|integral|derivative grammar). OpenAI's scalar reduction inverts the algebraic torsion-spin equation and contracts: S^λ_μν = (c⁴/(8πG)) T^λ_μν, then S²_spin = (c⁴/(8πG))² · T_λμν T^λμν. The contraction T_λμν T^λμν is encoded as a single typed-stub symbol 'T_torsion_squared' (dim [T²·L⁻⁴]) — the AST does not expand the index sum — and the prefactor (c⁴/(8πG))² as a typed-stub 'c4_over_8piG_squared' (dim [M²·L²·T⁻⁴]). Inferred RHS dim [M²·L⁻²·T⁻²] = (angular-momentum-density)² matches the spin-density-squared scalar invariant. Honest-claude: this encoding captures ONE invariant of the EC torsion-spin coupling (squared norm), NOT the full field equations — the Einstein equation, metric, cosmological term, and rank-3 index structure remain absent. Status remains 'speculative' (encoding does NOT promote). dimensional_signature changed null → '[L^-2 M^2 T^-2]'. | Reformulated 2026-05-06 (Wave P-B R-B3, per Math iter-5 / Researcher iter-5 strategic pivot — complete bridges to canonical literature forms when one exists, rather than preserving R3-invalid). Replaced the conflated form R_μν^λρ = R̊_μν^λρ + K_μν^λρ + α(F_μν F^λρ − (1/4) g_μν F_αβ F^αβ) — which had three orthogonal structural defects (rank-4 vs rank-2 index mismatch on the Maxwell-stress-energy half; ℓ_EM = √(ℏc/e²) dimensionless in Gaussian, not a length in SI; non-canonical rank-4 contorsion K_μν^λρ vs the canonical rank-3 EC contorsion K^ρ_μν) — with the canonical **Einstein-Cartan field equations**: the Einstein equation R_μν − (1/2) R g_μν + Λ g_μν = (8πG/c⁴) T_μν together with the algebraic torsion-spin coupling T^λ_μν = (8πG/c⁴) S^λ_μν. Here T^λ_μν is the canonical rank-3 torsion tensor (antisymmetric in lower indices, sourced by the spin angular momentum density tensor S^λ_μν), and the spin-source nature of EC torsion is the canonical fact: torsion is **sourced by spin density, NOT by EM fields**. The original BE-17 framing as "Electromagnetic-Gravitational Unification via Torsion" conflated two separate ideas — EC theory with spin-source torsion vs. some unification scheme with EM-source torsion — and the EM-source claim is dropped here as a category error. Recovering an EM-gravity bridge would require a separate framework (Kaluza-Klein, non-minimal F²·R curvature coupling), each warranting its own BE entry. WebFetch on Trautman 2006 (arXiv:gr-qc/0606062) confirmed the abstract: "Einstein-Cartan Theory ... allow[s] space-time to have torsion, in addition to curvature, and relating torsion to the density of intrinsic angular momentum." Status set to 'speculative' (not 'established') because the *bridge framing* — using EC theory as a cross-categorical bridge between fields A and B in UPT's catalog — is the speculative element; the equations are canonical. tractability_class: numerical-tractable — EC equations are coupled algebraic-PDE systems with known numerical methods (most non-degenerate spin-density configurations admit numerical solutions). Honest-claude flag: WebFetch on Trautman 2006 returned the abstract only, not the full tensor-equation derivation; commitment to the rank-3 T^λ_μν / S^λ_μν form follows the canonical Hehl-vonderHeyde-Kerlick-Nester 1976 RMP review convention. | Earlier history: status was 'speculative' then promoted 'invalid' (Wave N Tier C4, 2026-05-06) until this commit completed the pivot. The EM-source-for-torsion claim conflated EC theory with an unrelated unification ansatz; dropping it yields the canonical EC bridge.`,
     },
@@ -364,6 +366,7 @@ export const BRIDGE_EQUATIONS = [
         ],
         dependencies: [],
         dimensional_signature: `[energy]`, // Wave Y — natural-units mass-as-energy convention.
+        encoded_form: `Single dark-fermion mass scalar m_dark = g·v (the dark-coupling × dark-vacuum-expectation product); algebraic reduction of the full non-Abelian gauge-theory potential structure shown in formula_latex.`,
         tractability_class: 'closed-form',
         notes: `Encoded 2026-05-07 (Wave Y): Tier-5 AST encoding for the Higgs-like dark-fermion mass-generation relation m_dark = g_dark · v_dark landed (src/bridges/equations/be-18-higgs-mass.ts). dimensional_signature changed '[L^8 M^4 T^-8]' (Lagrangian density, energy^4) → '[energy]' (mass in natural units). Bracket: SM top-quark m_t ≈ 173 GeV with y_t ≈ 0.99, v_EW = 246 GeV/√2 = 174 GeV → m_t = 0.99·174 ≈ 172 GeV ✓ within 1%. tractability_class lifted 'numerical-tractable' → 'closed-form' (single algebraic relation given (g, v)). | Reformulated 2026-05-07 (Wave Y, per the strategic pattern of replacing operator-valued / Lagrangian-density bridge content with canonical scalar reductions). Replaced the full non-Abelian dark-sector Lagrangian density (gauge kinetic term, |D_μΦ|², fermion bilinear, scalar potential) with the canonical scalar Yukawa-VEV mass-generation relation m = g · v. The full Lagrangian is preserved as the bridge framing / context (the entire Lagrangian content is what motivates BE-18 as a UPT field-unification bridge); the scalar mass relation is the encodable content. Status remains 'speculative' — the existence of a hidden non-Abelian dark sector with Higgs-like SSB is the speculative element. | Earlier history: Corrected 2026-05-01 (R1 audit, branch fix/r1-batch-spec-edits): added missing |D_μΦ|² kinetic term and flipped V sign. Citation: Peskin-Schroeder 1995 §20.1.`,
     },
@@ -450,6 +453,7 @@ export const BRIDGE_EQUATIONS = [
         ],
         dependencies: [],
         dimensional_signature: `[L^-3 M]`, // Wave Y — cosmological-constant mass density (kg/m³).
+        encoded_form: `Scalar cosmological mass-density ρ_Λ = c²Λ/(8πG); the FRW canonical form pinned as a single scalar, reduced from the full dark-energy equation-of-state context shown in formula_latex.`,
         tractability_class: 'closed-form',
         notes: `Encoded 2026-05-07 (Wave Y): Tier-5 AST encoding for the canonical observed-cosmological-constant mass density ρ_Λ = c²Λ/(8πG) landed (src/bridges/equations/be-20-vacuum-energy.ts). dimensional_signature null → '[L^-3 M]' (mass density, kg/m³; [c²Λ] = T⁻² and [1/G] = MT²L⁻³, product = ML⁻³ ✓). Numerical bracket: with Λ ≈ 1.1×10⁻⁵² m⁻² (Planck 2018), ρ_Λ ≈ 5.4×10⁻²⁷ kg/m³ matching the observed dark-energy density (~70% of critical density). The energy-density form ρ_Λc² ≈ 7×10⁻¹⁰ J/m³ is the alternate convention; both forms physically equivalent. tractability_class lifted from 'formally-divergent' to 'closed-form'. | Reformulated 2026-05-07 (Wave Y, per the strategic pattern of replacing formally-divergent bridge content with canonical scalar reductions). Replaced the formally-divergent vacuum-fluctuation integral ρ_vac = ρ_0 + ∫d³k (ℏω_k/2)·ζ(k/k_UV) (which produces the famous 10¹²⁰-discrepancy cosmological-constant problem) with the canonical FRW observed-CC relation ρ_Λ = c²Λ/(8πG). The cosmological-constant problem itself is preserved as the famous unfixed problem in known_issues; this reformulation does NOT solve it, only encodes the observed scalar that the problem is *about*. Status remains 'speculative' because the bridge framing — using the observed CC as a quantum-cosmological bridge — is the speculative element. | Earlier history: original arXiv refs 1402.5674 / 1509.07876 (Susskind complexity-volume; off-topic for this entry) replaced with canonical CC literature: Carroll 2001 review, Weinberg 1989 CC problem, Planck 2020 measurement, Riess 1998 / Perlmutter 1999 supernova-acceleration discoveries.`,
     },
@@ -458,7 +462,7 @@ export const BRIDGE_EQUATIONS = [
         name: `KSS viscosity-to-entropy bound (AdS/CFT universal lower bound)`,
         category: `F`,
         category_name: `Condensed Matter - High Energy Bridges`,
-        bridges: [`unknown`, `unknown`],
+        bridges: [`quantum`, `condensed-matter`],
         // Reformulated 2026-05-07 (Wave Y): replaced the operator-valued
         // holographic-dictionary retarded Green's function recipe (which had
         // no clean scalar reduction for AST encoding) with the canonical
@@ -488,15 +492,16 @@ export const BRIDGE_EQUATIONS = [
         ],
         dependencies: [],
         dimensional_signature: `[T Theta]`, // Wave Y — η/s has dim K·s = T·Θ.
+        encoded_form: `Universal scalar ratio η/s = ℏ/(4πk_B) — AdS/CFT lower bound on viscosity-over-entropy-density; positive-scalar reduction of the full hydrodynamic + holographic shear-viscosity derivation.`,
         tractability_class: 'closed-form',
-        notes: `Encoded 2026-05-07 (Wave Y): Tier-5 AST encoding for the KSS viscosity-to-entropy bound landed (src/bridges/equations/be-21-kss-bound.ts). dimensional_signature null → '[T Theta]' (= K·s in SI; η has [Pa·s] = [M L^-1 T^-1]; s has [J/(K·m³)] = [M L^-1 T^-2 Θ^-1]; ratio = T·Θ ✓ matches [ℏ/k_B] = [J·s]/[J/K] = [K·s]). Numerical bracket: η/s = 1.054571817e-34/(4π · 1.380649e-23) ≈ 6.078e-13 K·s, matching the textbook universal lower bound on any quantum fluid. | Reformulated 2026-05-07 (Wave Y, per the strategic pattern of replacing operator-valued bridge content with canonical scalar reductions that preserve the bridge's load-bearing claim). Replaced the operator-valued holographic-dictionary retarded Green's function recipe G_R(ω,k) = -i lim r^(2Δ-d) (g^rr/√g^tt) ∂_r φ / φ_0 (which has no clean scalar AST encoding without committing to a bulk dual) with the canonical Kovtun-Son-Starinets 2005 saturating value η/s = ℏ/(4π k_B) — the most-cited universal scalar consequence of the same Son-Starinets AdS/CFT lineage that the original BE-21 cited. The bridge framing (universal viscosity bound as a UPT condensed-matter ↔ high-energy bridge) is preserved; the operator-valued framing is the AST-unencodable element documented as the reformulation candidate in known_issues. Status remains 'established' because the KSS bound itself is established AdS/CFT result. Note: counterexamples in higher-derivative gravity (Kats-Petrov 2009 Gauss-Bonnet) are noted but the bound holds in two-derivative Einstein-gravity duals, which is the canonical AdS/CMT regime BE-21 sits in.`,
+        notes: `Encoded 2026-05-07 (Wave Y): Tier-5 AST encoding for the KSS viscosity-to-entropy bound landed (src/bridges/equations/be-21-kss-bound.ts). dimensional_signature null → '[T Theta]' (= K·s in SI; η has [Pa·s] = [M L^-1 T^-1]; s has [J/(K·m³)] = [M L^-1 T^-2 Θ^-1]; ratio = T·Θ ✓ matches [ℏ/k_B] = [J·s]/[J/K] = [K·s]). Numerical bracket: η/s = 1.054571817e-34/(4π · 1.380649e-23) ≈ 6.078e-13 K·s, matching the textbook universal lower bound on any quantum fluid. | Reformulated 2026-05-07 (Wave Y, per the strategic pattern of replacing operator-valued bridge content with canonical scalar reductions that preserve the bridge's load-bearing claim). Replaced the operator-valued holographic-dictionary retarded Green's function recipe G_R(ω,k) = -i lim r^(2Δ-d) (g^rr/√g^tt) ∂_r φ / φ_0 (which has no clean scalar AST encoding without committing to a bulk dual) with the canonical Kovtun-Son-Starinets 2005 saturating value η/s = ℏ/(4π k_B) — the most-cited universal scalar consequence of the same Son-Starinets AdS/CFT lineage that the original BE-21 cited. The bridge framing (universal viscosity bound as a UPT condensed-matter ↔ high-energy bridge) is preserved; the operator-valued framing is the AST-unencodable element documented as the reformulation candidate in known_issues. Status remains 'established' because the KSS bound itself is established AdS/CFT result. Note: counterexamples in higher-derivative gravity (Kats-Petrov 2009 Gauss-Bonnet) are noted but the bound holds in two-derivative Einstein-gravity duals, which is the canonical AdS/CMT regime BE-21 sits in. | 2026-05-23 BRIDGE-PHYSICS-AUDIT S3 unknown<->unknown naming applied (per docs/architecture/v0.7-physics-judgment-proposals.md S3): [quantum, condensed-matter]. Rationale (HIGH: KSS comes from AdS/CFT (quantum gravity) and bounds a condensed-matter transport quantity).`,
     },
     {
         id: 22,
         name: `Topological Entanglement Entropy - Quantum Gravity Link`,
         category: `F`,
         category_name: `Condensed Matter - High Energy Bridges`,
-        bridges: [`unknown`, `unknown`],
+        bridges: [`quantum`, `holography`],
         status: 'speculative',
         context: `Connects topological phases to quantum error correction in gravity`,
         // Reformulated 2026-05-05 to the canonical Kitaev-Preskill / Levin-Wen
@@ -550,7 +555,7 @@ export const BRIDGE_EQUATIONS = [
         dependencies: [],
         dimensional_signature: `[1]`,
         tractability_class: 'closed-form',
-        notes: `[Reformulated 2026-05-05, R2 → R5-leaning] Replaced the originally-stated three-term form (which had area-law-doubled and finite-T extension issues) with the canonical Kitaev-Preskill / Levin-Wen single-subsystem form S(R) = α L(R) − γ. AST-encoded; round-trips to dimensional_signature \`[1]\`. Status remains speculative because the QG-link framing of this bridge — using TEE as a probe of gravitational entanglement — is original to this catalog and not in either Kitaev-Preskill or Levin-Wen, even though the formula itself is established.`,
+        notes: `[Reformulated 2026-05-05, R2 → R5-leaning] Replaced the originally-stated three-term form (which had area-law-doubled and finite-T extension issues) with the canonical Kitaev-Preskill / Levin-Wen single-subsystem form S(R) = α L(R) − γ. AST-encoded; round-trips to dimensional_signature \`[1]\`. Status remains speculative because the QG-link framing of this bridge — using TEE as a probe of gravitational entanglement — is original to this catalog and not in either Kitaev-Preskill or Levin-Wen, even though the formula itself is established. | 2026-05-23 BRIDGE-PHYSICS-AUDIT S3 unknown<->unknown naming applied (per docs/architecture/v0.7-physics-judgment-proposals.md S3): [quantum, holography]. Rationale (MEDIUM: TEE is a quantum-information signature; the gravity-link framing is holographic).`,
     },
     {
         id: 23,
@@ -698,7 +703,7 @@ export const BRIDGE_EQUATIONS = [
         name: `DNA Mutation - Quantum Tunneling Rate`,
         category: `G`,
         category_name: `Quantum Biology Bridges`,
-        bridges: [`unknown`, `unknown`],
+        bridges: [`quantum`, `biological`],
         // Status downgraded from 'established' to 'speculative' Wave S 2026-05-06
         // per Phys iter-7 IMPORTANT: the WKB tunneling formula itself (Gamow 1928)
         // is canonical, but the *bridge framing* — that DNA mutations are
@@ -740,14 +745,14 @@ export const BRIDGE_EQUATIONS = [
         dependencies: [],
         dimensional_signature: `[frequency]`,
         tractability_class: 'numerical-tractable',
-        notes: `see source | status_text: Established (WKB). The WKB tunneling rate formula is standard quantum mechanics (Gamow 1928; Landau-Lifshitz QM Section 50). The application to DNA base-pair tautomerization via proton tunneling is a ... | Tier-5 AST encoding landed 2026-05-04 (branch tier-5/wave-1, src/bridges/equations/be-26-dna-tunneling.ts) — RHS encoded as ν_0 · exp_factor · f_correction; the WKB exponent (2/ℏ)·∫√(2m(V−E))dx is exposed as DNA_TUNNELING_WKB_ARG and verified dimensionless via the AST's integral primitive with caret-0.5 for the square root. dimensional_signature [frequency] is exactly format(infer(rhs)). Bracket-check with proton mass / 0.4 eV barrier / 1 Å width gives Γ ~ 10 /s, in the textbook 10^-3 to 10^3 /s range for hydrogen-bond proton transfer.`,
+        notes: `see source | status_text: Established (WKB). The WKB tunneling rate formula is standard quantum mechanics (Gamow 1928; Landau-Lifshitz QM Section 50). The application to DNA base-pair tautomerization via proton tunneling is a ... | Tier-5 AST encoding landed 2026-05-04 (branch tier-5/wave-1, src/bridges/equations/be-26-dna-tunneling.ts) — RHS encoded as ν_0 · exp_factor · f_correction; the WKB exponent (2/ℏ)·∫√(2m(V−E))dx is exposed as DNA_TUNNELING_WKB_ARG and verified dimensionless via the AST's integral primitive with caret-0.5 for the square root. dimensional_signature [frequency] is exactly format(infer(rhs)). Bracket-check with proton mass / 0.4 eV barrier / 1 Å width gives Γ ~ 10 /s, in the textbook 10^-3 to 10^3 /s range for hydrogen-bond proton transfer. | 2026-05-23 BRIDGE-PHYSICS-AUDIT S3 unknown<->unknown naming applied (per docs/architecture/v0.7-physics-judgment-proposals.md S3): [quantum, biological]. Rationale (HIGH: self-explanatory; biological is the existing freeform label).`,
     },
     {
         id: 27,
         name: `Fluctuation-Dissipation Violation in Active Matter`,
         category: `H`,
         category_name: `Non-Equilibrium Statistical Mechanics`,
-        bridges: [`unknown`, `unknown`],
+        bridges: [`mesoscopic`, `classical`],
         // Reformulated 2026-05-07 (Wave Y): replaced the operator-valued
         // χ(ω) = (1/(k_BT_eff(ω))) ∫dt e^iωt ⟨...⟩ + Σ_active(ω) FDT-violation
         // form with the canonical Cugliandolo-Kurchan scalar effective-
@@ -776,8 +781,9 @@ export const BRIDGE_EQUATIONS = [
         ],
         dependencies: [],
         dimensional_signature: `[temperature]`, // Wave Y — effective temperature in active matter.
+        encoded_form: `Scalar effective temperature T_eff = T·(1 + Σ_active/(k_B T)) — the rescaled-T single-scalar form; the deviation from FDT is absorbed into Σ_active rather than being expressed as the full correlator system shown in formula_latex.`,
         tractability_class: 'closed-form',
-        notes: `Encoded 2026-05-07 (Wave Y): Tier-5 AST encoding for the Cugliandolo-Kurchan effective-temperature scalar T_eff = T·(1 + Σ_active/(k_B T)) landed (src/bridges/equations/be-27-effective-temperature.ts). dimensional_signature null → '[temperature]'. T_eff = T at passive equilibrium (Σ_active = 0); grows linearly with active-noise amplitude. tractability_class lifted 'numerical-tractable' → 'closed-form'. | Reformulated 2026-05-07 (Wave Y, per the strategic pattern of replacing operator-valued bridge content with canonical scalar reductions). Replaced the operator-valued FDT-violation correlator form χ(ω) = (1/(k_BT_eff(ω))) ∫dt e^iωt ⟨δF(t)δx(0)⟩ + Σ_active(ω) with the canonical Cugliandolo-Kurchan scalar effective-temperature relation T_eff = T·(1 + Σ_active/(k_B T)). The full FDT-violation correlator structure is preserved as the bridge framing; the scalar T_eff is the encodable bridge content. Status remains 'speculative' — the bridge framing (effective temperature as a UPT non-equilibrium-statmech bridge) is the speculative element.`,
+        notes: `Encoded 2026-05-07 (Wave Y): Tier-5 AST encoding for the Cugliandolo-Kurchan effective-temperature scalar T_eff = T·(1 + Σ_active/(k_B T)) landed (src/bridges/equations/be-27-effective-temperature.ts). dimensional_signature null → '[temperature]'. T_eff = T at passive equilibrium (Σ_active = 0); grows linearly with active-noise amplitude. tractability_class lifted 'numerical-tractable' → 'closed-form'. | Reformulated 2026-05-07 (Wave Y, per the strategic pattern of replacing operator-valued bridge content with canonical scalar reductions). Replaced the operator-valued FDT-violation correlator form χ(ω) = (1/(k_BT_eff(ω))) ∫dt e^iωt ⟨δF(t)δx(0)⟩ + Σ_active(ω) with the canonical Cugliandolo-Kurchan scalar effective-temperature relation T_eff = T·(1 + Σ_active/(k_B T)). The full FDT-violation correlator structure is preserved as the bridge framing; the scalar T_eff is the encodable bridge content. Status remains 'speculative' — the bridge framing (effective temperature as a UPT non-equilibrium-statmech bridge) is the speculative element. | 2026-05-23 BRIDGE-PHYSICS-AUDIT S3 unknown<->unknown naming applied (per docs/architecture/v0.7-physics-judgment-proposals.md S3): [mesoscopic, classical]. Rationale (MEDIUM: active matter is mesoscopic; FDT violation is observed at classical).`,
     },
     {
         id: 28,
@@ -800,7 +806,7 @@ export const BRIDGE_EQUATIONS = [
         dependencies: [],
         dimensional_signature: `[L^2 M T^-3 Theta^-1]`,
         tractability_class: 'closed-form',
-        notes: `Tier-5 AST encoding landed 2026-05-11 (Wave Z-G, src/bridges/equations/be-28-onsager-entropy-production.ts) — encodes σ = Σᵢ Jᵢ Xᵢ as a typed-stub scalar with dim [entropy/time] = [L² M T⁻³ Θ⁻¹] = [W/K]. The discrete index sum over species (heat-flux/∇T, particle-flux/∇μ, charge-current/electric-field, etc.) is collapsed into a single typed-stub symbol 'force_flux_product' — the UPT AST has no discrete-index sum primitive, so the multi-species content is absorbed into the stub. Same idiom as BE-17 'T_torsion_squared' (typed-stub for tensor contraction) and BE-46 'exp_factor' (typed-stub for transcendental). Inferred RHS dim ✓. Numerical evaluator enforces Second-Law σ ≥ 0 (RangeError on negative σ). | Reformulated 2026-05-11 (Wave Z-G, **user-confirmed design choice after surfacing the relabeling concern via AskUserQuestion**, per OpenAI o3 consultation): replaced the Dewar 2003/2005 variational formulation δ ∫[dS/dt - λ Σ J·X - μ(∇·v)]dt = 0 (which requires variational-δ, Lagrange-multiplier, and discrete-sum grammar primitives the UPT AST does not have) with the Onsager linear-response entropy-production scalar σ = Σ J·X. **IMPORTANT honest-claude scope: this reformulation does NOT capture MEPP's variational maximization claim.** Onsager linear-response is canonical, uncontested physics that defines the entropy production rate but says nothing about NESS selection. MEPP claims that "of all admissible NESS, nature selects the one maximizing σ subject to constraints" — that claim is the actual MEPP content and is NOT preserved by the encoded form. The reformulation is closer to a RENAMING of BE-28 (MEPP → Onsager entropy production) than to the BE-25 / BE-16 / BE-37 reformulations which preserved their bridge labels. The user explicitly chose this reformulation in Wave Z-G after the relabeling concern was surfaced, accepting the trade-off: 40/40 active bridge encodings at the cost of MEPP's variational semantic content. The reformulation is documented as such; future readers should understand the encoding answers "what is the entropy production rate?" but NOT "why does nature select this rate?" — the latter remains an open research question (Dewar 2003 derivation, Grinstein-Linsker 2007 counterexamples, Prigogine minimum-EP-principle conflict in the linear regime). Onsager linear-response is **already implicitly used** by BE-21 (KSS η/s), BE-23 (SYK resistivity), and BE-29 (Jarzynski); BE-28's distinguishing role is to encode the σ scalar itself, not a derived transport coefficient or fluctuation theorem. Status remains 'speculative' (NOT lifted to 'established') because the bridge framing — treating Onsager σ as THE UPT NESS-selection bridge — is the speculative element, AND the relabeling concern (Onsager ≠ MEPP) is itself documented as a known scope-limitation. tractability_class lifted 'formally-divergent' → 'closed-form'. | Earlier history: status_text was "Contested principle. Maximum Entropy Production (MEPP) is a proposed but contested principle in non-equilibrium thermodynamics (Dewar 2005; rebutted by Grinstein and Linsker 2007). It conflicts with Prigogine's minimum-entropy-production-principle for near-equilibrium linear systems." dimensional_signature null because MEPP-as-variational-principle has no single scalar dim.`,
+        notes: `Tier-5 AST encoding landed 2026-05-11 (Wave Z-G, src/bridges/equations/be-28-onsager-entropy-production.ts) — encodes σ = Σᵢ Jᵢ Xᵢ as a typed-stub scalar with dim [entropy/time] = [L² M T⁻³ Θ⁻¹] = [W/K]. The discrete index sum over species (heat-flux/∇T, particle-flux/∇μ, charge-current/electric-field, etc.) is collapsed into a single typed-stub symbol 'force_flux_product' — the UPT AST has no discrete-index sum primitive, so the multi-species content is absorbed into the stub. Same idiom as BE-17 'T_torsion_squared' (typed-stub for tensor contraction) and BE-46 'exp_factor' (typed-stub for transcendental). Inferred RHS dim ✓. Numerical evaluator enforces Second-Law σ ≥ 0 (RangeError on negative σ). | Reformulated 2026-05-11 (Wave Z-G, **user-confirmed design choice after surfacing the relabeling concern via AskUserQuestion**, per OpenAI o3 consultation): replaced the Dewar 2003/2005 variational formulation δ ∫[dS/dt - λ Σ J·X - μ(∇·v)]dt = 0 (which requires variational-δ, Lagrange-multiplier, and discrete-sum grammar primitives the UPT AST does not have) with the Onsager linear-response entropy-production scalar σ = Σ J·X. **IMPORTANT honest-claude scope: this reformulation does NOT capture MEPP's variational maximization claim.** Onsager linear-response is canonical, uncontested physics that defines the entropy production rate but says nothing about NESS selection. MEPP claims that "of all admissible NESS, nature selects the one maximizing σ subject to constraints" — that claim is the actual MEPP content and is NOT preserved by the encoded form. The reformulation is closer to a RENAMING of BE-28 (MEPP → Onsager entropy production) than to the BE-25 / BE-16 / BE-37 reformulations which preserved their bridge labels. The user explicitly chose this reformulation in Wave Z-G after the relabeling concern was surfaced, accepting the trade-off: 40/40 active bridge encodings at the cost of MEPP's variational semantic content. The reformulation is documented as such; future readers should understand the encoding answers "what is the entropy production rate?" but NOT "why does nature select this rate?" — the latter remains an open research question (Dewar 2003 derivation, Grinstein-Linsker 2007 counterexamples, Prigogine minimum-EP-principle conflict in the linear regime). Onsager linear-response is **already implicitly used** by BE-21 (KSS η/s), BE-23 (SYK resistivity), and BE-29 (Jarzynski); BE-28's distinguishing role is to encode the σ scalar itself, not a derived transport coefficient or fluctuation theorem. Status remains 'speculative' (NOT lifted to 'established') because the bridge framing — treating Onsager σ as THE UPT NESS-selection bridge — is the speculative element, AND the relabeling concern (Onsager ≠ MEPP) is itself documented as a known scope-limitation. tractability_class lifted 'formally-divergent' → 'closed-form'. | Earlier history: status_text was "Contested principle. Maximum Entropy Production (MEPP) is a proposed but contested principle in non-equilibrium thermodynamics (Dewar 2005; rebutted by Grinstein and Linsker 2007). It conflicts with Prigogine's minimum-entropy-production-principle for near-equilibrium linear systems." dimensional_signature null because MEPP-as-variational-principle has no single scalar dim. | 2026-05-23 BRIDGE-PHYSICS-AUDIT S3 unknown<->unknown classification applied (per docs/architecture/v0.7-physics-judgment-proposals.md S3): NOT-A-BRIDGE. HIGH NOT-A-BRIDGE: single-regime non-equilibrium principle (Onsager); audit-S3 bridge-incoherence finding applies. The bridges array remains [unknown, unknown] as the structural marker for not actually a regime-spanning bridge. Future v0.8+ restructuring may move this entry to a separate LAW_EQUATIONS registry.`,
     },
     {
         id: 29,
@@ -838,15 +844,16 @@ export const BRIDGE_EQUATIONS = [
         ],
         dependencies: [],
         dimensional_signature: `[energy]`, // Wave Y — encoded; ΔF is energy.
+        encoded_form: `Scalar free-energy difference ΔF (an ensemble-averaged exponential identity); the AST captures ⟨exp(-βW)⟩ as a typed-stub for the ensemble-average primitive (not yet a first-class grammar feature), with the log + k_B T prefactor making the scalar match formula_latex.`,
         tractability_class: 'numerical-tractable',
-        notes: `Encoded 2026-05-07 (Wave Y): Tier-5 AST encoding for the canonical Jarzynski free-energy equality ΔF = -k_B T ln⟨exp(-W/(k_B T))⟩ landed (src/bridges/equations/be-29-jarzynski.ts). Both LHS and RHS infer to [energy]; the AST has no exp / ln primitives, so ⟨exp(-βW)⟩ is encoded as a dimensionless symbol stub and the exp argument β·W = W/(k_B T) is exposed as a separate ExprNode (BE29_BETAW_ARG) for direct dimensionlessness verification — same pattern as BE-26, BE-41, BE-45. Numerical evaluator estimates ⟨exp(-βW)⟩ from a sample of work values; bracket-checks include the equilibrium identity ΔF = W_rev when all samples are at the reversible work value. dimensional_signature was orphan '[energy]' (Wave R0 audit pin); now backed by an AST module so removed from ORPHAN_DIMENSIONAL_SIGNATURES. | Reformulated 2026-05-07 (Wave Y, per the strategic pattern of replacing operator-valued bridge content with canonical scalar reductions). Replaced the curved-spacetime extension ⟨exp(-βW)⟩ = exp(-βΔF) · exp(-(β/2c⁴) ∫T^μν δg_μν √(-g) d⁴x) (which had the operator-valued ∫T^μν δg_μν gravity-correction integral as the AST-unencodable element) with the pure Jarzynski 1997 equality. The gravitational-correction term is dropped as the speculative bridge framing element; the bridge framing (extending Jarzynski to gravitational work, the original BE-29 motivation) is documented as the reformulation candidate in known_issues. Status remains 'speculative' because the gravity-extension framing is the speculative element. | Earlier history: 2026-05-01 R1 audit replaced ill-defined 'g_μν dT^μν' with the canonical Hilbert action variation form (MTW §21.3 Eq. 21.51; Wald §E.1 Eq. E.1.14). Wave J Tier D4 documented the factorization-assumption issue. Wave L Tier I2 documented the Hilbert-action specifics. The Wave Y reformulation supersedes the gravity-extension form by encoding the pure Jarzynski equality directly.`,
+        notes: `Encoded 2026-05-07 (Wave Y): Tier-5 AST encoding for the canonical Jarzynski free-energy equality ΔF = -k_B T ln⟨exp(-W/(k_B T))⟩ landed (src/bridges/equations/be-29-jarzynski.ts). Both LHS and RHS infer to [energy]; the AST has no exp / ln primitives, so ⟨exp(-βW)⟩ is encoded as a dimensionless symbol stub and the exp argument β·W = W/(k_B T) is exposed as a separate ExprNode (BE29_BETAW_ARG) for direct dimensionlessness verification — same pattern as BE-26, BE-41, BE-45. Numerical evaluator estimates ⟨exp(-βW)⟩ from a sample of work values; bracket-checks include the equilibrium identity ΔF = W_rev when all samples are at the reversible work value. dimensional_signature was orphan '[energy]' (Wave R0 audit pin); now backed by an AST module so removed from ORPHAN_DIMENSIONAL_SIGNATURES. | Reformulated 2026-05-07 (Wave Y, per the strategic pattern of replacing operator-valued bridge content with canonical scalar reductions). Replaced the curved-spacetime extension ⟨exp(-βW)⟩ = exp(-βΔF) · exp(-(β/2c⁴) ∫T^μν δg_μν √(-g) d⁴x) (which had the operator-valued ∫T^μν δg_μν gravity-correction integral as the AST-unencodable element) with the pure Jarzynski 1997 equality. The gravitational-correction term is dropped as the speculative bridge framing element; the bridge framing (extending Jarzynski to gravitational work, the original BE-29 motivation) is documented as the reformulation candidate in known_issues. Status remains 'speculative' because the gravity-extension framing is the speculative element. | Earlier history: 2026-05-01 R1 audit replaced ill-defined 'g_μν dT^μν' with the canonical Hilbert action variation form (MTW §21.3 Eq. 21.51; Wald §E.1 Eq. E.1.14). Wave J Tier D4 documented the factorization-assumption issue. Wave L Tier I2 documented the Hilbert-action specifics. The Wave Y reformulation supersedes the gravity-extension form by encoding the pure Jarzynski equality directly. | 2026-05-23 BRIDGE-PHYSICS-AUDIT §5 considered: audit recommended promotion to 'established' (Jarzynski canonical 1997, experimentally verified). REJECTED — same equation-vs-framing distinction as BE-16; 'speculative' assesses the gravity-extension framing element, not the underlying Jarzynski equality. Distinction preserved. Analysis: docs/architecture/v0.7-bridge-status-recalibration-analysis.md. | 2026-05-23 BRIDGE-PHYSICS-AUDIT S3 unknown<->unknown classification applied (per docs/architecture/v0.7-physics-judgment-proposals.md S3): NOT-A-BRIDGE. HIGH NOT-A-BRIDGE: single-regime statistical mechanics result (Jarzynski equality). The bridges array remains [unknown, unknown] as the structural marker for not actually a regime-spanning bridge. Future v0.8+ restructuring may move this entry to a separate LAW_EQUATIONS registry.`,
     },
     {
         id: 30,
         name: `Entanglement - Geometry Equation (FLM first-law / linear-response)`,
         category: `I`,
         category_name: `Emergent Spacetime`,
-        bridges: [`unknown`, `unknown`],
+        bridges: [`information`, `gravity`],
         // Reformulated 2026-05-06 (Wave P-A R-A1, per Math iter-5 / Researcher
         // iter-5 strategic pivot): replaced the structurally ill-formed
         // η_μν + κ Σ_ij ⟨x|Tr_j(ρ_{ij} log ρ_{ij})|x⟩ form with the canonical
@@ -879,14 +886,14 @@ export const BRIDGE_EQUATIONS = [
         dependencies: [],
         dimensional_signature: `[1]`, // Wave Y — δS_EE and δ⟨H_R⟩ both dimensionless (nats convention).
         tractability_class: 'closed-form',
-        notes: `Encoded 2026-05-07 (Wave Y): Tier-5 AST encoding for the FLM first-law-of-entanglement-entropy identity δS_EE(R) = δ⟨H_R⟩ landed (src/bridges/equations/be-30-flm-first-law.ts). dimensional_signature null → '[1]' (both sides dimensionless in nats convention). The identity is tautological at the linear-response level (δS_EE / δ⟨H_R⟩ = 1 by construction); the encoding pins the dimensional structure and the scalar relation. As a non-trivial secondary cross-check, the Bekenstein universal entropy bound S_EE ≤ 2π R E / (ℏc) is exposed via a separate evaluator evaluateBekensteinBound for sanity-checking entanglement-entropy magnitudes. tractability_class lifted 'numerical-tractable' → 'closed-form' (the FLM identity is a single dimensionless scalar relation; the Bekenstein bound is single-formula evaluable). | Reformulated 2026-05-06 (Wave P-A R-A1, per Math iter-5 strategic pivot). Replaced the structurally ill-formed η_μν + κ Σ_ij ⟨x|Tr_j(ρ_{ij} log ρ_{ij})|x⟩ form (LHS-RHS rank/type mismatch, non-normalizable |x⟩, dimensionally wrong κ) with the canonical first-law-of-entanglement / FLM linear-response form: δS_EE(R) = δ⟨H_R⟩, where H_R is the modular Hamiltonian of the reduced density matrix on region R. Reference verified via WebFetch on Blanco-Casini-Hung-Myers 2013 (arXiv:1305.3182) which states the form explicitly: "ΔS = ΔH for the first order variation of the entanglement entropy ΔS and the expectation value of the modular Hamiltonian ΔH". FLM 2013 (arXiv:1307.2892) uses this as the linear-response input to bulk one-loop corrections in AdS/CFT. Status set to 'speculative' (not 'established') because the QG-emergence framing — using this linear-response identity as the basis for ER=EPR-style entanglement-geometry equivalence outside the strict AdS/CFT regime — remains conjectural; the formula itself is canonical, the framing is the speculative element. | Earlier history: original ill-formed form sourced from earlier draft; R3-invalid disposition 2026-05-05 (Wave J Tier B2) noted FLM as canonical replacement.`,
+        notes: `Encoded 2026-05-07 (Wave Y): Tier-5 AST encoding for the FLM first-law-of-entanglement-entropy identity δS_EE(R) = δ⟨H_R⟩ landed (src/bridges/equations/be-30-flm-first-law.ts). dimensional_signature null → '[1]' (both sides dimensionless in nats convention). The identity is tautological at the linear-response level (δS_EE / δ⟨H_R⟩ = 1 by construction); the encoding pins the dimensional structure and the scalar relation. As a non-trivial secondary cross-check, the Bekenstein universal entropy bound S_EE ≤ 2π R E / (ℏc) is exposed via a separate evaluator evaluateBekensteinBound for sanity-checking entanglement-entropy magnitudes. tractability_class lifted 'numerical-tractable' → 'closed-form' (the FLM identity is a single dimensionless scalar relation; the Bekenstein bound is single-formula evaluable). | Reformulated 2026-05-06 (Wave P-A R-A1, per Math iter-5 strategic pivot). Replaced the structurally ill-formed η_μν + κ Σ_ij ⟨x|Tr_j(ρ_{ij} log ρ_{ij})|x⟩ form (LHS-RHS rank/type mismatch, non-normalizable |x⟩, dimensionally wrong κ) with the canonical first-law-of-entanglement / FLM linear-response form: δS_EE(R) = δ⟨H_R⟩, where H_R is the modular Hamiltonian of the reduced density matrix on region R. Reference verified via WebFetch on Blanco-Casini-Hung-Myers 2013 (arXiv:1305.3182) which states the form explicitly: "ΔS = ΔH for the first order variation of the entanglement entropy ΔS and the expectation value of the modular Hamiltonian ΔH". FLM 2013 (arXiv:1307.2892) uses this as the linear-response input to bulk one-loop corrections in AdS/CFT. Status set to 'speculative' (not 'established') because the QG-emergence framing — using this linear-response identity as the basis for ER=EPR-style entanglement-geometry equivalence outside the strict AdS/CFT regime — remains conjectural; the formula itself is canonical, the framing is the speculative element. | Earlier history: original ill-formed form sourced from earlier draft; R3-invalid disposition 2026-05-05 (Wave J Tier B2) noted FLM as canonical replacement. | 2026-05-23 BRIDGE-PHYSICS-AUDIT S3 unknown<->unknown naming applied (per docs/architecture/v0.7-physics-judgment-proposals.md S3): [information, gravity]. Rationale (HIGH: first-law of entanglement entropy <-> Einstein equations is the canonical entanglement-gravity bridge).`,
     },
     {
         id: 31,
         name: `Causal Set - Continuum Limit`,
         category: `I`,
         category_name: `Emergent Spacetime`,
-        bridges: [`unknown`, `unknown`],
+        bridges: [`quantum`, `cosmological`],
         status: 'speculative',
         context: `Discrete to continuous spacetime transition`,
         // Reformulated 2026-05-05 (Wave I.B C3): replaced the original
@@ -908,7 +915,7 @@ export const BRIDGE_EQUATIONS = [
         dependencies: [],
         dimensional_signature: `[L^-2]`, // Wave W — BE-31 Benincasa-Dowker discrete Ricci scalar Tier-5 AST encoding 2026-05-07.
         tractability_class: 'numerical-tractable', // Wave S 2026-05-06: BD discrete Ricci scalar is computed by counting N_0..N_3 inclusion-exclusion intervals on a sprinkled causal set — Glaser-Surya 2014 demonstrates the numerical machinery.
-        notes: `Encoded 2026-05-07 (Wave W): Tier-5 AST encoding for Benincasa-Dowker d=4 discrete Ricci scalar landed (src/bridges/equations/be-31-causal-set-bd.ts). dimensional_signature null → '[L^-2]'. AST encodes the dimensionless prefactor (4/√6) and the dimensionless bracket [1 + N_0 - 9N_1 + 16N_2 - 8N_3] as a single dimensionless symbol stub multiplied by ℓ_P^(-2); numerical evaluator computes the bracket with full coefficient fidelity. Bracket-checks verify coefficient extraction at all four unit-vector tuples ((1,0,0,0), (0,1,0,0), (0,0,1,0), (0,0,0,1)), linearity in each N_k, ℓ_P^(-2) scaling, and the algebraic-zero point at (-1,0,0,0). The continuum-limit-mean check on Minkowski sprinkling expectation values is intentionally omitted — sensitive to BD's specific sign conventions, not a clean cross-check at the encoding level. | status_text: Speculative. Benincasa-Dowker (arXiv:1001.2725) established discrete-to-continuum limits for causal set action and Ricci scalar. | Reformulated 2026-05-05 (Wave I.B C3, per Mathematician M-I + Physicist I9 paper review): replaced the originally-stated R = (2/√π)(N/V^{2/4} - k_1 - k_2(ρ²ℓ_P⁴)^{1/4}) form (which contained both a V^{2/4}→V^{1/2} typo and a dimensional mismatch in the (ρ²ℓ_P⁴)^{1/4} term against Ricci-scalar dimensions [L^-2]) with the canonical Benincasa-Dowker d=4 inclusion-exclusion form: R(p) = (4/√6) ℓ_P^(-2) [1 + N_0(p) - 9 N_1(p) + 16 N_2(p) - 8 N_3(p)], where N_k(p) counts causal-set inclusive intervals of cardinality k+2 below point p. The earlier R2 gap-spec block (which proposed a /⟨n(p)⟩-divided form) used the wrong functional form; per the prompt's authoritative reading of Benincasa-Dowker 2010, the bracket is additive (not divided by sprinkling density). Status remains speculative because the d≠4 generalization is non-trivial and the bridge-equation framing (causal sets as UPT microstructure) is original to this catalog. The R1->R2 dimensional known_issue is replaced with a phenomenological-ansatz known_issue tagged for the framing, not the math.`,
+        notes: `Encoded 2026-05-07 (Wave W): Tier-5 AST encoding for Benincasa-Dowker d=4 discrete Ricci scalar landed (src/bridges/equations/be-31-causal-set-bd.ts). dimensional_signature null → '[L^-2]'. AST encodes the dimensionless prefactor (4/√6) and the dimensionless bracket [1 + N_0 - 9N_1 + 16N_2 - 8N_3] as a single dimensionless symbol stub multiplied by ℓ_P^(-2); numerical evaluator computes the bracket with full coefficient fidelity. Bracket-checks verify coefficient extraction at all four unit-vector tuples ((1,0,0,0), (0,1,0,0), (0,0,1,0), (0,0,0,1)), linearity in each N_k, ℓ_P^(-2) scaling, and the algebraic-zero point at (-1,0,0,0). The continuum-limit-mean check on Minkowski sprinkling expectation values is intentionally omitted — sensitive to BD's specific sign conventions, not a clean cross-check at the encoding level. | status_text: Speculative. Benincasa-Dowker (arXiv:1001.2725) established discrete-to-continuum limits for causal set action and Ricci scalar. | Reformulated 2026-05-05 (Wave I.B C3, per Mathematician M-I + Physicist I9 paper review): replaced the originally-stated R = (2/√π)(N/V^{2/4} - k_1 - k_2(ρ²ℓ_P⁴)^{1/4}) form (which contained both a V^{2/4}→V^{1/2} typo and a dimensional mismatch in the (ρ²ℓ_P⁴)^{1/4} term against Ricci-scalar dimensions [L^-2]) with the canonical Benincasa-Dowker d=4 inclusion-exclusion form: R(p) = (4/√6) ℓ_P^(-2) [1 + N_0(p) - 9 N_1(p) + 16 N_2(p) - 8 N_3(p)], where N_k(p) counts causal-set inclusive intervals of cardinality k+2 below point p. The earlier R2 gap-spec block (which proposed a /⟨n(p)⟩-divided form) used the wrong functional form; per the prompt's authoritative reading of Benincasa-Dowker 2010, the bracket is additive (not divided by sprinkling density). Status remains speculative because the d≠4 generalization is non-trivial and the bridge-equation framing (causal sets as UPT microstructure) is original to this catalog. The R1->R2 dimensional known_issue is replaced with a phenomenological-ansatz known_issue tagged for the framing, not the math. | 2026-05-23 BRIDGE-PHYSICS-AUDIT S3 unknown<->unknown naming applied (per docs/architecture/v0.7-physics-judgment-proposals.md S3): [quantum, cosmological]. Rationale (MEDIUM: causal sets are discrete quantum-gravity; continuum limit is the classical/cosmological spacetime).`,
     },
     {
         id: 32,
@@ -938,15 +945,16 @@ export const BRIDGE_EQUATIONS = [
         ],
         dependencies: [],
         dimensional_signature: `[1]`, // Wave Z — BE-32 QRF Born-rule overlap probability Tier-5 AST encoding 2026-05-07.
+        encoded_form: `Born-rule overlap probability P = |⟨ψ_A|U(g)|ψ_B⟩|² = c² + s² (a single dimensionless probability scalar); reduced from the full ∫dg integral over QRF transformations shown in formula_latex — the AST captures only the resulting probability scalar, not the integration domain or group measure.`,
         tractability_class: 'closed-form', // Wave Z 2026-05-07: AST-encoded scalar reduction; |⟨ψ_A|U(g)|ψ_B⟩|² is a closed-form Born-rule probability.
-        notes: `Encoded 2026-05-07 (Wave Z): Tier-5 AST encoding for the QRF Born-rule overlap probability landed (src/bridges/equations/be-32-quantum-reference-frame.ts). dimensional_signature null → '[1]' (DIMENSIONLESS Born-rule probability). The original operator-valued |ψ⟩_B = ∫dg U(g)|ψ⟩_A ⊗ |g⟩_frame form is preserved in formula_latex; the AST encodes OpenAI's scalar reduction P_overlap = |⟨ψ_A|U(g)|ψ_B⟩|² = c² + s² for a single (implicit) group element g. Honest-claude flags: ∫dg group-average deferred (would need committed group + Haar regulator); operator U(g) collapsed to symbolic real/imag matrix-element components c, s; Born-rule guard catches |c|²+|s|² > 1+ε. tractability lifted 'formally-divergent' → 'closed-form' for the encoded scalar (the original integral form remains formally-divergent for non-compact groups; that is documented in known_issues). Gemini-Pro-confirmed second-opinion 2026-05-07: "excellent and physically meaningful reduction", AST-grammar-compliant. | see source | status_text: Active research. Quantum Reference Frames (QRF) formalism -- where reference frames are themselves quantum systems that can be in superposition -- is a legitimate active research area (Giacomini, Cast...`,
+        notes: `Encoded 2026-05-07 (Wave Z): Tier-5 AST encoding for the QRF Born-rule overlap probability landed (src/bridges/equations/be-32-quantum-reference-frame.ts). dimensional_signature null → '[1]' (DIMENSIONLESS Born-rule probability). The original operator-valued |ψ⟩_B = ∫dg U(g)|ψ⟩_A ⊗ |g⟩_frame form is preserved in formula_latex; the AST encodes OpenAI's scalar reduction P_overlap = |⟨ψ_A|U(g)|ψ_B⟩|² = c² + s² for a single (implicit) group element g. Honest-claude flags: ∫dg group-average deferred (would need committed group + Haar regulator); operator U(g) collapsed to symbolic real/imag matrix-element components c, s; Born-rule guard catches |c|²+|s|² > 1+ε. tractability lifted 'formally-divergent' → 'closed-form' for the encoded scalar (the original integral form remains formally-divergent for non-compact groups; that is documented in known_issues). Gemini-Pro-confirmed second-opinion 2026-05-07: "excellent and physically meaningful reduction", AST-grammar-compliant. | see source | status_text: Active research. Quantum Reference Frames (QRF) formalism -- where reference frames are themselves quantum systems that can be in superposition -- is a legitimate active research area (Giacomini, Cast... | 2026-05-23 BRIDGE-PHYSICS-AUDIT S3 unknown<->unknown classification applied (per docs/architecture/v0.7-physics-judgment-proposals.md S3): NOT-A-BRIDGE. LOW NOT-A-BRIDGE: intra-quantum gauge-redundancy result; does not span two regimes. The bridges array remains [unknown, unknown] as the structural marker for not actually a regime-spanning bridge. Future v0.8+ restructuring may move this entry to a separate LAW_EQUATIONS registry.`,
     },
     {
         id: 33,
         name: `Quantum-Classical Critical Point Mapping (Hertz-Millis canonical scaling, 3D Heisenberg)`,
         category: `J`,
         category_name: `Phase Transitions and Criticality`,
-        bridges: [`unknown`, `unknown`],
+        bridges: [`quantum`, `classical`],
         // Reformulated 2026-05-06 (Wave P-A R-A2, per Math/Researcher iter-5
         // strategic pivot — complete bridges to canonical literature forms
         // when one exists). Replaced the broken ξ_quantum(T) = ξ_classical /
@@ -958,19 +966,24 @@ export const BRIDGE_EQUATIONS = [
         // Moriya) are deferred to future bridge expansions.
         status: 'speculative',
         context: `Relates d-dimensional quantum to (d+z)-dimensional classical transitions via Hertz-Millis canonical scaling`,
-        formula_latex: `\\xi_{\\text{quantum}}(T) \\sim \\xi_0 \\left(\\frac{T}{T_0}\\right)^{-\\nu/z}, \\quad (z=1,\\ \\nu \\approx 0.71\\ \\text{for 3D Heisenberg})`,
+        formula_latex: `\\xi_{\\text{quantum}}(T) \\sim \\xi_0 \\left(\\frac{T}{T_0}\\right)^{-1/z}, \\quad (z=1)`,
         source_part: 'II',
         source_section: `Part-II Category J`,
         known_issues: [
             {
                 severity: 'phenomenological-ansatz',
-                description: `[Reformulated 2026-05-06, Wave P-A R-A2] The Hertz-Millis canonical scaling form ξ ~ T^{-ν/z} (Hertz 1976 PRB 14:1165; Millis 1993 PRB 48:7183; Sondhi-Girvin-Carini-Shahar 1997 RMP 69:315) is established for quantum critical points; the d → d+z mapping (general z) is the correct structural fact, and d → d+1 is the z = 1 special case. UPT pins to 3D Heisenberg (z = 1, ν ≈ 0.71) as the canonical reference case. What remains a reformulation candidate is the *extension to alternative universality classes*: 3D Ising (z = 1, ν ≈ 0.63), 3D XY (z = 1, ν ≈ 0.67), and fermionic Hertz-Millis-Moriya (z = 2 or 3 depending on band structure) all give different scaling exponents and therefore different operational content. Future bridge expansions can introduce parallel BE entries for each universality class. The phenomenological-ansatz tag is for the universality-class commitment, not for the canonical scaling math.`,
+                description: `[Exponent corrected 2026-05-20] The finite-temperature correlation length at a quantum critical point scales as ξ ~ T^{-1/z}: the dynamic exponent z alone sets the temperature dependence (temperature fixes the thermal length L_T ~ T^{-1/z}), while ν governs the separate T=0 tuning-parameter divergence ξ ~ |g-g_c|^{-ν}. The earlier encoding used ξ ~ T^{-ν/z} (pinned -0.71); that conflated the two scaling axes. Confirmed by literature check against the QCP-scaling reviews (cond-mat/0503298 states ξ ~ (T/Tc)^{-1/z} explicitly; Hertz 1976 PRB 14:1165; Millis 1993 PRB 48:7183). The d → d+z quantum-to-classical mapping is the correct structural fact, z = 1 the Lorentz-invariant special case.`,
+                fixable: 'reformulation',
+            },
+            {
+                severity: 'other',
+                description: `[Flagged 2026-05-20, bridge physics audit] Universality-class label is questionable. Canonical *itinerant* Hertz-Millis (the regime Millis 1993 treats) sits above its upper critical dimension and has mean-field exponents — z = 2 (antiferromagnetic) or z = 3 (ferromagnetic), ν = 1/2. The entry's "3D Heisenberg, z = 1, ν ≈ 0.71" framing describes a z = 1 Lorentz-invariant QCP (e.g. an insulating quantum antiferromagnet), which is NOT itinerant Hertz-Millis. The name "Hertz-Millis canonical scaling, 3D Heisenberg" mixes the two. The 2026-05-20 exponent correction (ξ ~ T^{-1/z}) is independent of this — it holds for any (ν, z) — but the universality-class labeling should be reconciled in a future reformulation.`,
                 fixable: 'reformulation',
             }
         ],
         references: [
             `Hertz 1976 *Phys. Rev. B* 14:1165 (Hertz-Millis theory of itinerant quantum critical points; original derivation of d → d+z mapping)`,
-            `Millis 1993 *Phys. Rev. B* 48:7183 (Hertz-Millis at finite-T; canonical scaling ξ ~ T^{-ν/z})`,
+            `Millis 1993 *Phys. Rev. B* 48:7183 (Hertz-Millis at finite-T; finite-T correlation length ξ ~ T^{-1/z})`,
             `Sondhi, Girvin, Carini, Shahar 1997 *Rev. Mod. Phys.* 69:315 (continuous QPTs review; canonical statement of correlation-length scaling)`,
             `Sachdev 2011 *Quantum Phase Transitions* 2nd ed. (Cambridge), Ch. 11 (canonical textbook treatment of Hertz-Millis scaling)`,
             `Wilson 1971 *Phys. Rev. B* 4:3174 (renormalization-group origin of universality-class concept; framework reference)`,
@@ -978,14 +991,14 @@ export const BRIDGE_EQUATIONS = [
         dependencies: [],
         dimensional_signature: `[length]`, // Wave V — BE-33 Hertz-Millis Tier-5 AST encoding 2026-05-07.
         tractability_class: 'numerical-tractable',
-        notes: `Encoded 2026-05-07 (Wave V): Tier-5 AST encoding for Hertz-Millis correlation length landed (src/bridges/equations/be-33-hertz-millis.ts). dimensional_signature null → '[length]'. AST exponent pinned to 3D Heisenberg (-0.71); numerical evaluator remains universality-class-agnostic. | Reformulated 2026-05-06 (Wave P-A R-A2, per Math iter-5 / Researcher iter-5 strategic pivot — complete bridges to canonical literature forms when one exists, rather than preserving R3-invalid). Replaced the broken ansatz ξ_quantum(T) = ξ_classical / √(1 + (E_0/k_B T)²) — which gave the wrong T → 0 limit (ξ → 0 instead of the required QCP divergence) and lacked the dynamic exponent z — with the canonical Hertz-Millis scaling form ξ ~ T^{-ν/z}, pinned to **3D Heisenberg universality class (z = 1, ν ≈ 0.71)** as the canonical reference case. The 3D Heisenberg pin is a deliberate framework commitment: it is the simplest non-trivial QCP class with established literature exponents (ν ≈ 0.71 from ε-expansion, Monte Carlo, and conformal-bootstrap consensus; z = 1 from Lorentz invariance of the underlying field theory). Alternative universality classes (3D Ising z=1 ν≈0.63; 3D XY z=1 ν≈0.67; fermionic Hertz-Millis-Moriya z=2-3) are deferred to future bridge expansions and would each warrant their own BE entry. tractability_class: numerical-tractable — concrete (ν, z) values are computable in Monte Carlo and bootstrap. Honest-claude flag: WebFetch on Sachdev review and Wikipedia did not return the canonical T^{-ν/z} form directly (abstract-only / non-canonical pages); commitment to ξ ~ T^{-ν/z} (rather than the simpler ξ ~ T^{-1/z}) follows the textbook convention used by Sondhi et al. 1997 RMP and Sachdev 2011, but the precise convention (ν vs ν=1 special case) was not WebFetch-confirmed in this commit. | Earlier history: status was 'invalid' (Wave N Tier C6, 2026-05-06) until this commit completed the pivot.`,
+        notes: `[Exponent corrected 2026-05-20, bridge physics audit] The finite-T correlation-length exponent was changed from -ν/z (pinned -0.71) to -1/z (pinned -1 for z=1). At a quantum critical point ξ ~ T^{-1/z}: z alone sets the temperature dependence, ν governs the separate T=0 tuning-parameter axis. This resolves the prior honest-claude flag below — the -ν/z vs -1/z convention is now confirmed (-1/z) by a literature check against cond-mat/0503298 ("ξ ~ (T/Tc)^{-1/z}") and the QCP-scaling reviews. AST pin, evaluator, formula_latex, and references all updated; numerical evaluator no longer depends on ν (the 'nu' input is retained for API stability only). A second known_issue now flags that the "Hertz-Millis / 3D Heisenberg" universality-class label is itself questionable (canonical itinerant Hertz-Millis is mean-field, z=2/3). | Encoded 2026-05-07 (Wave V): Tier-5 AST encoding for Hertz-Millis correlation length landed (src/bridges/equations/be-33-hertz-millis.ts). dimensional_signature null → '[length]'. AST exponent originally pinned -0.71 (superseded by the 2026-05-20 correction above); numerical evaluator remains universality-class-agnostic. | Reformulated 2026-05-06 (Wave P-A R-A2, per Math iter-5 / Researcher iter-5 strategic pivot — complete bridges to canonical literature forms when one exists, rather than preserving R3-invalid). Replaced the broken ansatz ξ_quantum(T) = ξ_classical / √(1 + (E_0/k_B T)²) — which gave the wrong T → 0 limit (ξ → 0 instead of the required QCP divergence) and lacked the dynamic exponent z — with the canonical Hertz-Millis scaling form ξ ~ T^{-ν/z}, pinned to **3D Heisenberg universality class (z = 1, ν ≈ 0.71)** as the canonical reference case. The 3D Heisenberg pin is a deliberate framework commitment: it is the simplest non-trivial QCP class with established literature exponents (ν ≈ 0.71 from ε-expansion, Monte Carlo, and conformal-bootstrap consensus; z = 1 from Lorentz invariance of the underlying field theory). Alternative universality classes (3D Ising z=1 ν≈0.63; 3D XY z=1 ν≈0.67; fermionic Hertz-Millis-Moriya z=2-3) are deferred to future bridge expansions and would each warrant their own BE entry. tractability_class: numerical-tractable — concrete (ν, z) values are computable in Monte Carlo and bootstrap. Honest-claude flag: WebFetch on Sachdev review and Wikipedia did not return the canonical T^{-ν/z} form directly (abstract-only / non-canonical pages); commitment to ξ ~ T^{-ν/z} (rather than the simpler ξ ~ T^{-1/z}) follows the textbook convention used by Sondhi et al. 1997 RMP and Sachdev 2011, but the precise convention (ν vs ν=1 special case) was not WebFetch-confirmed in this commit. | Earlier history: status was 'invalid' (Wave N Tier C6, 2026-05-06) until this commit completed the pivot. | 2026-05-23 BRIDGE-PHYSICS-AUDIT S3 unknown<->unknown naming applied (per docs/architecture/v0.7-physics-judgment-proposals.md S3): [quantum, classical]. Rationale (HIGH: self-explanatory from the name (Hertz-Millis QCP)).`,
     },
     {
         id: 34,
         name: `Kibble-Zurek Mechanism in Curved Spacetime`,
         category: `J`,
         category_name: `Phase Transitions and Criticality`,
-        bridges: [`unknown`, `unknown`],
+        bridges: [`quantum`, `cosmological`],
         status: 'established',
         context: `Defect formation during cosmological phase transitions`,
         formula_latex: `n_{\\text{defect}} = \\frac{1}{a^d}\\left(\\frac{\\tau_Q}{\\tau_0}\\right)^{-\\frac{d\\nu}{1+z\\nu}} \\cdot \\exp\\left(-\\frac{m_{\\text{defect}} c^2}{k_B T_{\\text{reh}}}\\right)`,
@@ -1008,7 +1021,7 @@ export const BRIDGE_EQUATIONS = [
         dependencies: [],
         dimensional_signature: `[1]`,
         tractability_class: 'closed-form',
-        notes: `see source | status_text: Established extension. The Kibble-Zurek defect density n ~ (tau_Q/tau_0)^(-d nu / (1 + z nu)) is established (Kibble 1976; Zurek 1985). The added exp(-m_defect c^2 / (k_B T_reh)) suppression for curve... | Tier-5 AST encoding landed 2026-05-04 (branch tier-5/wave-1, src/bridges/equations/be-34-kibble-zurek.ts) — RHS encoded as (τ_Q/τ_0)^(-1/2) · exp_factor for the canonical (d=ν=z=1) case; the dimensional answer is independent of the chosen exponent. The exp argument m c² / (k_B T_reh) is exposed as KIBBLE_ZUREK_EXP_ARG and verified dimensionless. dimensional_signature [1] is exactly format(infer(rhs)). LHS n_defect is dimensionless (scaling ratio, no length scale in the formula).`,
+        notes: `see source | status_text: Established extension. The Kibble-Zurek defect density n ~ (tau_Q/tau_0)^(-d nu / (1 + z nu)) is established (Kibble 1976; Zurek 1985). The added exp(-m_defect c^2 / (k_B T_reh)) suppression for curve... | Tier-5 AST encoding landed 2026-05-04 (branch tier-5/wave-1, src/bridges/equations/be-34-kibble-zurek.ts) — RHS encoded as (τ_Q/τ_0)^(-1/2) · exp_factor for the canonical (d=ν=z=1) case; the dimensional answer is independent of the chosen exponent. The exp argument m c² / (k_B T_reh) is exposed as KIBBLE_ZUREK_EXP_ARG and verified dimensionless. dimensional_signature [1] is exactly format(infer(rhs)). LHS n_defect is dimensionless (scaling ratio, no length scale in the formula). | 2026-05-23 BRIDGE-PHYSICS-AUDIT S3 unknown<->unknown naming applied (per docs/architecture/v0.7-physics-judgment-proposals.md S3): [quantum, cosmological]. Rationale (MEDIUM: cosmological-KZM = quantum-fluctuation defects in cosmological-scale spacetime). | 2026-05-23 BRIDGE-PHYSICS-AUDIT S4 resolution (per docs/architecture/v0.7-physics-judgment-proposals.md S2): the multiplicative Boltzmann factor exp(-m c^2/k_B T_reh) is NOT part of the canonical kinematic KZM (Eve confirmed at high confidence; standard freeze-out derivation has no thermal-suppression term). The catalog inclusion is a non-canonical extension drawn from cosmological-KZM literature on massive defects (cosmic strings, GUT monopoles -- Linde 1990 Phys. Lett. B 246 353, and earlier GUT-monopole papers) where core-energy thresholds during reheating can motivate a suppression factor. Multiplicative combination with the kinematic n_KZ is unconventional; additive or sequential composition may be more standard. Status remains speculative specifically to flag this combination as the speculative element; the underlying kinematic KZM is canonical.`,
     },
     {
         id: 35,
@@ -1031,8 +1044,9 @@ export const BRIDGE_EQUATIONS = [
         ],
         dependencies: [],
         dimensional_signature: `[1]`, // Wave Z — BE-35 CFT bootstrap crossing residual Tier-5 AST encoding 2026-05-07.
+        encoded_form: `Crossing-symmetry residual R_cross = C²·[g_block(u,v) − g_block(v,u)] (a single dimensionless scalar measuring violation of crossing symmetry between u- and v-channels); reduced from the full four-point CFT correlator + conformal-block decomposition shown in formula_latex.`,
         tractability_class: 'numerical-tractable',
-        notes: `Encoded 2026-05-07 (Wave Z): Tier-5 AST encoding for the conformal-bootstrap crossing-symmetry residual landed (src/bridges/equations/be-35-conformal-bootstrap.ts). dimensional_signature null → '[1]'. The original 4-pt-function expansion ⟨O₁O₂O₃O₄⟩ = Σ_{Δ,ℓ} C₁₂^O C₃₄^O g_{Δ,ℓ}(u,v) is operator-valued and admits no scalar reduction without committing to specific operator dimensions; AST encodes OpenAI's reduction R_cross = C²·[g_block(u,v) − g_block(v,u)] which is identically zero at the crossing-symmetric point u=v=1/4 for any consistent CFT. Honest-claude scope notes: single-block reduction (the real bootstrap programme sums an infinite (Δ,ℓ) tower with positivity / unitarity constraints — that spectrum-fitting is the load-bearing numerical content of bootstrap papers and is NOT captured here); OPE coefficients C are scheme-dependent normalizations (assumed unit-normalized so C is dimensionless); conformal-block functions g_{Δ,ℓ}(u,v) encoded as dimensionless symbol stubs (analytic forms exist in 2D/4D Dolan-Osborn but live outside AST grammar — no hypergeometric-function node). Gemini-Pro-confirmed second-opinion 2026-05-07: "sharp and canonical representation of the conformal bootstrap philosophy", AST-grammar-compliant via dimensionless-stub. | see source | status_text: Established. The conformal bootstrap crossing-symmetry equation is well established in CFT and has produced rigorous bounds on critical exponents for the 3D Ising model and other theories (Rattazzi-Ry...`,
+        notes: `Encoded 2026-05-07 (Wave Z): Tier-5 AST encoding for the conformal-bootstrap crossing-symmetry residual landed (src/bridges/equations/be-35-conformal-bootstrap.ts). dimensional_signature null → '[1]'. The original 4-pt-function expansion ⟨O₁O₂O₃O₄⟩ = Σ_{Δ,ℓ} C₁₂^O C₃₄^O g_{Δ,ℓ}(u,v) is operator-valued and admits no scalar reduction without committing to specific operator dimensions; AST encodes OpenAI's reduction R_cross = C²·[g_block(u,v) − g_block(v,u)] which is identically zero at the crossing-symmetric point u=v=1/4 for any consistent CFT. Honest-claude scope notes: single-block reduction (the real bootstrap programme sums an infinite (Δ,ℓ) tower with positivity / unitarity constraints — that spectrum-fitting is the load-bearing numerical content of bootstrap papers and is NOT captured here); OPE coefficients C are scheme-dependent normalizations (assumed unit-normalized so C is dimensionless); conformal-block functions g_{Δ,ℓ}(u,v) encoded as dimensionless symbol stubs (analytic forms exist in 2D/4D Dolan-Osborn but live outside AST grammar — no hypergeometric-function node). Gemini-Pro-confirmed second-opinion 2026-05-07: "sharp and canonical representation of the conformal bootstrap philosophy", AST-grammar-compliant via dimensionless-stub. | see source | status_text: Established. The conformal bootstrap crossing-symmetry equation is well established in CFT and has produced rigorous bounds on critical exponents for the 3D Ising model and other theories (Rattazzi-Ry... | 2026-05-23 BRIDGE-PHYSICS-AUDIT S3 unknown<->unknown classification applied (per docs/architecture/v0.7-physics-judgment-proposals.md S3): NOT-A-BRIDGE. HIGH NOT-A-BRIDGE: pure-CFT internal-consistency result; single regime. The bridges array remains [unknown, unknown] as the structural marker for not actually a regime-spanning bridge. Future v0.8+ restructuring may move this entry to a separate LAW_EQUATIONS registry.`,
     },
     {
         id: 36,
@@ -1091,6 +1105,7 @@ export const BRIDGE_EQUATIONS = [
         ],
         dependencies: [38],
         dimensional_signature: `[1]`, // Wave Y — dimensionless ratio (c_GW - c)/c.
+        encoded_form: `Observational dimensionless ratio |c_GW − c|/c (bounded ≤ 10⁻¹⁵ by GW170817 + GRB170817A joint timing); the AST pins the scalar bound, reduced from the full joint multi-messenger constraint analysis shown in formula_latex.`,
         tractability_class: 'closed-form',
         notes: `Encoded 2026-05-07 (Wave Y): Tier-5 AST encoding for the GW170817 graviton-speed bound |c_GW − c|/c ≤ 10⁻¹⁵ landed (src/bridges/equations/be-36-gw-speed-bound.ts). dimensional_signature null → '[1]' (signed dimensionless ratio (c_GW - c)/c; absolute-value bound check exposed via satisfiesGW170817Bound numerical helper). The TeVeS framework (Bekenstein 2004) is preserved as the bridge framing in references and notes; the GW170817 dimensionless-ratio constraint is the AST-encodable scalar. tractability_class lifted 'numerical-tractable' → 'closed-form'. Earlier-history TeVeS reformulation context: Reformulated 2026-05-06 (Wave P-C R-C3, per Math iter-5 / Researcher iter-5 strategic pivot — complete bridges to canonical literature forms when one exists, rather than preserving R3-invalid). Replaced the bespoke hybrid linear blend F = F_N μ(a/a_0) + F_DM (1 − μ(a/a_0)) (not in any published MOND literature, original to this framework) with the canonical Bekenstein 2004 TeVeS (Tensor-Vector-Scalar gravity) relativistic completion of MOND: action S = S_g + S_φ + S_A + S_matter, where S_g is the Einstein-Hilbert action for the metric, S_φ is the scalar-field action with the MOND interpolation function μ̃(y) (y = ℓ²(g^{μν} − A^μ A^ν) φ_{,μ} φ_{,ν}), S_A is the timelike-vector-field action with a Lagrange multiplier enforcing A^μ A_μ = -1, and S_matter couples through the physical metric ĝ_μν = e^{-2φ} g_μν − 2 sinh(2φ) A_μ A_ν. The non-relativistic weak-field limit recovers the canonical MOND interpolation F_eff = F_N · μ̃^{-1}(F_N/(F_N + a_0)). WebFetch on arXiv:astro-ph/0403694 (Bekenstein 2004) confirmed the abstract: TeVeS is "a relativistic gravitational theory ... gravitation is mediated by metric, a scalar field and a 4-vector field, all three dynamical" with "Newtonian limit for nonrelativistic dynamics with significant acceleration, but a MOND limit when accelerations are small." Status set to 'speculative' (not 'established') because: (i) the *bridge framing* — TeVeS as the UPT gravity ↔ dark-sector bridge — is conjectural; (ii) the GW170817 graviton-speed bound |c_g − c|/c ≲ 10⁻¹⁵ (Abbott et al. 2017) strongly constrains original TeVeS variants (Boran et al. 2018 arXiv:1710.06168); only carefully-tuned subclasses or successor RMT theories (Skordis-Złośnik 2021 arXiv:2007.00082) survive. This is documented as a phenomenological-ansatz / known-constraint pair in known_issues. Relationship to BE-38: BE-38 (Wave I.B C4 reformulation) covers the non-relativistic Milgrom μ(x) = x/√(1+x²) form; BE-36 here covers the relativistic completion. Different physical content (relativistic vs. non-relativistic), complementary not duplicative. tractability_class: numerical-tractable — TeVeS field equations are PDEs that have been solved numerically for cosmology and weak-field galaxy dynamics. dimensional_signature: null (BE-36 has no AST module). dependencies: [38] (the non-relativistic Milgrom limit is BE-38). Honest-claude flag: WebFetch returned only the Bekenstein 2004 abstract; the explicit action terms S_g, S_φ, S_A, S_matter and the physical-metric coupling ĝ_μν follow standard TeVeS-review references (Skordis 2009; Famaey-McGaugh 2012). The GW170817 constraint is sourced from Abbott 2017 + Boran 2018 review-level information rather than a fresh WebFetch. | Earlier history: status was 'invalid' (Wave N Tier C7, 2026-05-06; bespoke linear-blend ansatz dispositioned because canonical MOND was already covered by BE-38). The Wave P-C reformulation distinguishes BE-36 (relativistic TeVeS) from BE-38 (non-relativistic Milgrom μ), eliminating the duplicate-of-BE-38 concern that drove the prior R3 disposition.`,
     },
@@ -1099,7 +1114,7 @@ export const BRIDGE_EQUATIONS = [
         name: `Modified light-propagation: Shapiro gravitational time delay`,
         category: `K`,
         category_name: `Modified Theories and Extensions`,
-        bridges: [`unknown`, `unknown`],
+        bridges: [`classical`, `gravity`],
         // Reformulated 2026-05-11 (Wave Z-F, per OpenAI o3 consultation —
         // analogous to Wave P-D R-D2 BE-25 reformulation and Wave Z-E BE-16
         // reformulation). Replaced the operationally-meaningless vacuum
@@ -1141,14 +1156,14 @@ export const BRIDGE_EQUATIONS = [
         dependencies: [],
         dimensional_signature: `[time]`,
         tractability_class: 'closed-form',
-        notes: `Tier-5 AST encoding landed 2026-05-11 (Wave Z-F, src/bridges/equations/be-37-shapiro-delay.ts) — encodes Shapiro gravitational time-delay Δt = (2GM/c³)·ln(R_far/R_near) using the typed-prefactor + log-stub idiom. Prefactor 2GM/c³ has dim [time] (light-travel-time-scale of the Schwarzschild radius); log argument R_far/R_near is dimensionless (lemma test enforces); the log itself is replaced by a fresh DIMENSIONLESS symbol 'ln_R_ratio' (no log primitive in the AST grammar, same idiom as BE-25 / BE-45 log-stubs). Inferred RHS dim [T] · [1] = [time] ✓. Numerical bracket: Sun grazing (M_sun, 1 AU to R_sun) gives ~50-300 μs, matching Shapiro 1964 prediction and Cassini 2003 experimental confirmation. | Reformulated 2026-05-11 (Wave Z-F, per OpenAI o3 consultation, analogous to Wave P-D R-D2 BE-25 Penrose-Hameroff → IIT and Wave Z-E BE-16 Complexity-Entropy → Landauer): replaced the operationally-meaningless vacuum c(t,x)≠const ansatz with the canonical Shapiro gravitational time-delay. The Albrecht-Magueijo / Moffat / Barrow vacuum-c-variation proposals remain non-equivalent, non-falsifiable, and Ellis-Uzan-critique-vulnerable; they are retained in references[] as historical context but the canonical Shapiro form is now the bridge equation. Status set to 'speculative' (not 'established') because Shapiro itself is canonical and experimentally confirmed but the *bridge framing* — treating Shapiro delay as the UPT "modified-light-propagation" bridge — is the speculative element. Honest-claude: Shapiro delay is general-relativistic gravitational physics — it is NOT a "varying c" in any fundamental sense. Light always travels at c locally; the delay arises from the integrated path length / coordinate-time effects in curved spacetime. The encoded form uses the GR-canonical PPN parameter γ=1 (i.e., coefficient 2GM/c³). A more general PPN encoding would use (1+γ)GM/c³ with γ as a free parameter (Bertotti-Iess-Tortora 2003 constrained |γ-1| < 2.3e-5). | Earlier history: INVALID per disposition decision 2026-05-05 (R3 audit, docs/planning/BE-37-VSL-Disposition-Brief.md): vacuum c(t,x)-variation is operationally meaningless per Ellis-Uzan 2005. The disposition correctly preserved the gap rather than picking one of the three non-equivalent VSL ansätze (Albrecht-Magueijo / Moffat / Barrow); OpenAI o3 Wave-Z-F consultation (2026-05-11) confirmed Shapiro delay as the appropriate canonical operationally-meaningful replacement.`,
+        notes: `Tier-5 AST encoding landed 2026-05-11 (Wave Z-F, src/bridges/equations/be-37-shapiro-delay.ts) — encodes Shapiro gravitational time-delay Δt = (2GM/c³)·ln(R_far/R_near) using the typed-prefactor + log-stub idiom. Prefactor 2GM/c³ has dim [time] (light-travel-time-scale of the Schwarzschild radius); log argument R_far/R_near is dimensionless (lemma test enforces); the log itself is replaced by a fresh DIMENSIONLESS symbol 'ln_R_ratio' (no log primitive in the AST grammar, same idiom as BE-25 / BE-45 log-stubs). Inferred RHS dim [T] · [1] = [time] ✓. Numerical bracket: Sun grazing (M_sun, 1 AU to R_sun) gives ~50-300 μs, matching Shapiro 1964 prediction and Cassini 2003 experimental confirmation. | Reformulated 2026-05-11 (Wave Z-F, per OpenAI o3 consultation, analogous to Wave P-D R-D2 BE-25 Penrose-Hameroff → IIT and Wave Z-E BE-16 Complexity-Entropy → Landauer): replaced the operationally-meaningless vacuum c(t,x)≠const ansatz with the canonical Shapiro gravitational time-delay. The Albrecht-Magueijo / Moffat / Barrow vacuum-c-variation proposals remain non-equivalent, non-falsifiable, and Ellis-Uzan-critique-vulnerable; they are retained in references[] as historical context but the canonical Shapiro form is now the bridge equation. Status set to 'speculative' (not 'established') because Shapiro itself is canonical and experimentally confirmed but the *bridge framing* — treating Shapiro delay as the UPT "modified-light-propagation" bridge — is the speculative element. Honest-claude: Shapiro delay is general-relativistic gravitational physics — it is NOT a "varying c" in any fundamental sense. Light always travels at c locally; the delay arises from the integrated path length / coordinate-time effects in curved spacetime. The encoded form uses the GR-canonical PPN parameter γ=1 (i.e., coefficient 2GM/c³). A more general PPN encoding would use (1+γ)GM/c³ with γ as a free parameter (Bertotti-Iess-Tortora 2003 constrained |γ-1| < 2.3e-5). | Earlier history: INVALID per disposition decision 2026-05-05 (R3 audit, docs/planning/BE-37-VSL-Disposition-Brief.md): vacuum c(t,x)-variation is operationally meaningless per Ellis-Uzan 2005. The disposition correctly preserved the gap rather than picking one of the three non-equivalent VSL ansätze (Albrecht-Magueijo / Moffat / Barrow); OpenAI o3 Wave-Z-F consultation (2026-05-11) confirmed Shapiro delay as the appropriate canonical operationally-meaningful replacement. | 2026-05-23 BRIDGE-PHYSICS-AUDIT S3 unknown<->unknown naming applied (per docs/architecture/v0.7-physics-judgment-proposals.md S3): [classical, gravity]. Rationale (HIGH: self-explanatory; classical EM signal + GR gravity (Shapiro delay)).`,
     },
     {
         id: 38,
         name: `Entropic Gravity Correction Term`,
         category: `K`,
         category_name: `Modified Theories and Extensions`,
-        bridges: [`unknown`, `unknown`],
+        bridges: [`information`, `gravity`],
         status: 'speculative',
         context: `Verlinde's emergent gravity with dark matter effects`,
         // Reformulated 2026-05-05 (Wave I.B C4): replaced the broken
@@ -1172,14 +1187,14 @@ export const BRIDGE_EQUATIONS = [
         dependencies: [],
         dimensional_signature: `[force]`,
         tractability_class: 'closed-form', // Wave S 2026-05-06: Milgrom MOND F = F_N · μ⁻¹(a/a_0) with μ(x) = x/√(1+x²) is a single algebraic relation given (F_N, a_0, a). Closed-form evaluation. Wave U 2026-05-06: AST-encoded with explicit ν-form (BE38_MOND_FORCE_RHS); dimensional_signature now '[force]'.
-        notes: `status_text: Speculative. Based on Verlinde (arXiv:1001.0785). Contested; not accepted as mainstream physics. | Reformulated 2026-05-05 (Wave I.B C4, per Physicist I12 paper review): replaced the broken F_N[1 + α√(a_0/a) tanh(√(a/a_0))] interpolation — which fails the deep-MOND limit (gives F → F_N(1+α) ~ Newtonian instead of the required F → √(F_N a_0) as a → 0) — with the canonical Milgrom 1983 MOND interpolation μ(x) = x/√(1+x²), x = a/a_0. This recovers F → F_N for a >> a_0 (Newtonian) and F → √(F_N a_0) for a << a_0 (deep-MOND) by construction. The R2 gap-spec block proposing three replacement candidates is collapsed into this single canonical choice; the Verlinde 2016 mass-correction variant and TeVeS relativistic completion are documented in references[] for future work. The known_issue is now phenomenological-ansatz (MOND fits rotation curves but lacks first-principles derivation), not a sign-defect. **Note:** BE-38 shares the MOND scale a_0 with BE-36; reformulation of either should sanity-check consistency.`,
+        notes: `status_text: Speculative. Based on Verlinde (arXiv:1001.0785). Contested; not accepted as mainstream physics. | Reformulated 2026-05-05 (Wave I.B C4, per Physicist I12 paper review): replaced the broken F_N[1 + α√(a_0/a) tanh(√(a/a_0))] interpolation — which fails the deep-MOND limit (gives F → F_N(1+α) ~ Newtonian instead of the required F → √(F_N a_0) as a → 0) — with the canonical Milgrom 1983 MOND interpolation μ(x) = x/√(1+x²), x = a/a_0. This recovers F → F_N for a >> a_0 (Newtonian) and F → √(F_N a_0) for a << a_0 (deep-MOND) by construction. The R2 gap-spec block proposing three replacement candidates is collapsed into this single canonical choice; the Verlinde 2016 mass-correction variant and TeVeS relativistic completion are documented in references[] for future work. The known_issue is now phenomenological-ansatz (MOND fits rotation curves but lacks first-principles derivation), not a sign-defect. **Note:** BE-38 shares the MOND scale a_0 with BE-36; reformulation of either should sanity-check consistency. | 2026-05-23 BRIDGE-PHYSICS-AUDIT S3 unknown<->unknown naming applied (per docs/architecture/v0.7-physics-judgment-proposals.md S3): [information, gravity]. Rationale (HIGH: entropic gravity (Verlinde) maps information -> gravity).`,
     },
     {
         id: 39,
         name: `Asymptotic Safety in Quantum Gravity`,
         category: `L`,
         category_name: `Quantum Field Theory Extensions`,
-        bridges: [`unknown`, `unknown`],
+        bridges: [`quantum`, `classical`],
         status: 'speculative',
         context: `UV-complete theory via non-Gaussian fixed point`,
         formula_latex: `\\begin{align}
@@ -1219,7 +1234,7 @@ export const BRIDGE_EQUATIONS = [
         dependencies: [],
         dimensional_signature: `[1]`,
         tractability_class: 'numerical-tractable',
-        notes: `Encoded 2026-05-07 (Wave X): AST encoding lands β_g as the canonical RHS for the catalog round-trip — both LHS (β_g) and RHS (2g + Ag² + Bg³ − Cg²λ) infer to DIMENSIONLESS, so dimensional_signature is now '[1]'. The companion β_λ has the same dimensional structure and is numerically evaluable separately via evaluateBetaLambda. AST module: src/bridges/equations/be-39-asymptotic-safety.ts. Bracket-checks: Gaussian fixed point β_g(0,0) = β_λ(0,0) = 0 to 14 digits; linear response β_g ≈ 2g, β_λ ≈ -2λ near origin; closed-form polynomial agreement at (g,λ) = (0.1, 0.1). | see source | status_text: Speculative (active research). Asymptotic safety (Weinberg 1979; Reuter 1998) is an active research program proposing a UV-finite gravity. The functional renormalization group flow equation as written...`,
+        notes: `Encoded 2026-05-07 (Wave X): AST encoding lands β_g as the canonical RHS for the catalog round-trip — both LHS (β_g) and RHS (2g + Ag² + Bg³ − Cg²λ) infer to DIMENSIONLESS, so dimensional_signature is now '[1]'. The companion β_λ has the same dimensional structure and is numerically evaluable separately via evaluateBetaLambda. AST module: src/bridges/equations/be-39-asymptotic-safety.ts. Bracket-checks: Gaussian fixed point β_g(0,0) = β_λ(0,0) = 0 to 14 digits; linear response β_g ≈ 2g, β_λ ≈ -2λ near origin; closed-form polynomial agreement at (g,λ) = (0.1, 0.1). | see source | status_text: Speculative (active research). Asymptotic safety (Weinberg 1979; Reuter 1998) is an active research program proposing a UV-finite gravity. The functional renormalization group flow equation as written... | 2026-05-23 BRIDGE-PHYSICS-AUDIT S3 unknown<->unknown naming applied (per docs/architecture/v0.7-physics-judgment-proposals.md S3): [quantum, classical]. Rationale (MEDIUM: RG-flow from UV-fixed-point to IR limit spans quantum-gravity to classical).`,
     },
     {
         id: 40,
@@ -1245,14 +1260,14 @@ export const BRIDGE_EQUATIONS = [
         dependencies: [],
         dimensional_signature: `[L^8 M^4 T^-8]`, // Wave V — BE-40 Composite Higgs Tier-5 AST encoding 2026-05-07 (= [energy^4]; matches BE-18).
         tractability_class: 'closed-form', // Wave S 2026-05-06: V(h) is a polynomial in sin²(h/f) — closed-form evaluation given (h, f, α, β).
-        notes: `Encoded 2026-05-07 (Wave V): Tier-5 AST encoding for the SILH composite-Higgs potential V(h) = -α f⁴ sin²(h/f) + β f⁴ [sin⁴(h/f) - sin²(h/f) cos²(h/f)] landed (src/bridges/equations/be-40-composite-higgs.ts). dimensional_signature null → '[L^8 M^4 T^-8]' (= [energy^4]; matches BE-18). The four trig combinations are encoded as dimensionless symbol stubs (the AST has no transcendental primitives); h/f dimensionlessness is verified via lemma BE40_HIGGS_DIMLESS_ARG. Numerical evaluator works in natural units (f, h dimensionless TeV-scale), the standard particle-physics convention. | Corrected on 2026-05-05 (Wave J Tier C5, per Phys iter-2 paper review): the first term coefficient was -α f² which made the term carry energy-dimension [E]² while the second term β f⁴[...] carries [E]⁴, giving a dimensionally inhomogeneous potential. Standard composite-Higgs effective potentials (Kaplan-Georgi 1984; Giudice-Grojean-Pomarol-Rattazzi 2007) are V(h) = α f⁴ sin² + β f⁴ sin⁴ with α, β dimensionless Wilson coefficients and the overall f⁴ scale set by the coset Goldstone-boson decay constant. Replaced f² with f⁴ for dimensional consistency. status_text: Established form (after correction). The pseudo-Goldstone Higgs construction is the canonical SO(5)/SO(4) composite-Higgs pattern; the catalog framing of treating it as a bridge between Standard-Model and BSM physics is original to UPT but the potential itself is mainstream.`,
+        notes: `Encoded 2026-05-07 (Wave V): Tier-5 AST encoding for the SILH composite-Higgs potential V(h) = -α f⁴ sin²(h/f) + β f⁴ [sin⁴(h/f) - sin²(h/f) cos²(h/f)] landed (src/bridges/equations/be-40-composite-higgs.ts). dimensional_signature null → '[L^8 M^4 T^-8]' (= [energy^4]; matches BE-18). The four trig combinations are encoded as dimensionless symbol stubs (the AST has no transcendental primitives); h/f dimensionlessness is verified via lemma BE40_HIGGS_DIMLESS_ARG. Numerical evaluator works in natural units (f, h dimensionless TeV-scale), the standard particle-physics convention. | Corrected on 2026-05-05 (Wave J Tier C5, per Phys iter-2 paper review): the first term coefficient was -α f² which made the term carry energy-dimension [E]² while the second term β f⁴[...] carries [E]⁴, giving a dimensionally inhomogeneous potential. Standard composite-Higgs effective potentials (Kaplan-Georgi 1984; Giudice-Grojean-Pomarol-Rattazzi 2007) are V(h) = α f⁴ sin² + β f⁴ sin⁴ with α, β dimensionless Wilson coefficients and the overall f⁴ scale set by the coset Goldstone-boson decay constant. Replaced f² with f⁴ for dimensional consistency. status_text: Established form (after correction). The pseudo-Goldstone Higgs construction is the canonical SO(5)/SO(4) composite-Higgs pattern; the catalog framing of treating it as a bridge between Standard-Model and BSM physics is original to UPT but the potential itself is mainstream. | 2026-05-23 BRIDGE-PHYSICS-AUDIT §5 considered: audit recommended demotion to 'speculative' (BSM research program). KEPT as 'established' — the SO(5)/SO(4) coset structure is canonical group theory (current test-pinned rationale). However, the Composite-Higgs scenario itself IS BSM research; consumers reading the 'established' status should read this as endorsing the canonical math, not endorsing Composite Higgs as a real BSM phenomenon. Analysis: docs/architecture/v0.7-bridge-status-recalibration-analysis.md. | 2026-05-23 BRIDGE-PHYSICS-AUDIT S3 unknown<->unknown classification applied (per docs/architecture/v0.7-physics-judgment-proposals.md S3): NOT-A-BRIDGE. HIGH NOT-A-BRIDGE: single-regime BSM field theory; SO(5)/SO(4) coset is internal. The bridges array remains [unknown, unknown] as the structural marker for not actually a regime-spanning bridge. Future v0.8+ restructuring may move this entry to a separate LAW_EQUATIONS registry.`,
     },
     {
         id: 41,
         name: `Swampland Distance Conjecture Equation`,
         category: `L`,
         category_name: `Quantum Field Theory Extensions`,
-        bridges: [`unknown`, `unknown`],
+        bridges: [`quantum`, `cosmological`],
         status: 'speculative',
         context: `Constraints on effective field theories from quantum gravity`,
         formula_latex: `m(\\phi) = m_0 \\exp\\left(-\\alpha\\frac{|\\phi-\\phi_0|}{M_P}\\right)`,
@@ -1271,7 +1286,7 @@ export const BRIDGE_EQUATIONS = [
         dependencies: [],
         dimensional_signature: `[mass]`,
         tractability_class: 'closed-form',
-        notes: `see source | status_text: Speculative. Swampland conjecture from string theory (Vafa, arXiv:hep-th/0509212). Active research; not confirmed. | Tier-5 AST encoding landed 2026-05-04 (branch tier-5/wave-1, src/bridges/equations/be-41-swampland.ts) — RHS encoded as m_0 · exp_factor (dimensionless) since the AST has no exp primitive; the exp argument α(φ−φ₀)/M_P is exposed separately as SWAMPLAND_EXP_ARG and verified dimensionless. dimensional_signature [mass] is exactly format(infer(rhs)). Encoding is dimensional only; status remains speculative.`,
+        notes: `see source | status_text: Speculative. Swampland conjecture from string theory (Vafa, arXiv:hep-th/0509212). Active research; not confirmed. | Tier-5 AST encoding landed 2026-05-04 (branch tier-5/wave-1, src/bridges/equations/be-41-swampland.ts) — RHS encoded as m_0 · exp_factor (dimensionless) since the AST has no exp primitive; the exp argument α(φ−φ₀)/M_P is exposed separately as SWAMPLAND_EXP_ARG and verified dimensionless. dimensional_signature [mass] is exactly format(infer(rhs)). Encoding is dimensional only; status remains speculative. | 2026-05-23 BRIDGE-PHYSICS-AUDIT S3 unknown<->unknown naming applied (per docs/architecture/v0.7-physics-judgment-proposals.md S3): [quantum, cosmological]. Rationale (MEDIUM: string-landscape constraint on field-space distances at cosmological scales).`,
     },
     {
         id: 42,
@@ -1313,14 +1328,14 @@ export const BRIDGE_EQUATIONS = [
         dependencies: [],
         dimensional_signature: `[temperature]`, // Wave Y — Hawking temperature.
         tractability_class: 'closed-form',
-        notes: `Encoded 2026-05-07 (Wave Y): Tier-5 AST encoding for the canonical Hawking temperature T_H = ℏc³/(8π G M k_B) landed (src/bridges/equations/be-42-hawking-temperature.ts). dimensional_signature null → '[temperature]' (round-trips cleanly: [ℏc³] = M L⁵ T⁻⁴, [G M k_B] = M L⁵ T⁻⁴ Θ⁻¹, ratio = Θ ✓). Numerical bracket: solar-mass BH (M = 1.989×10³⁰ kg) → T_H ≈ 6.17×10⁻⁸ K (textbook Hawking temperature for stellar-mass BH per Wald §14.3.7). | Reformulated 2026-05-07 (Wave Y, per the strategic pattern of replacing operator-valued / quantum-state bridge content with canonical scalar reductions). Replaced the firewall complement-principle quantum-state superposition |ψ⟩ = α|smooth⟩ + β|firewall⟩ (an AST-unencodable Hilbert-space decomposition without operational predictive content unless |α|² and |β|² were independently specified) with the canonical Hawking temperature T_H = ℏc³/(8π G M k_B) — the temperature scale at which the firewall paradox lives. The bridge framing (firewall paradox / information paradox resolutions, the original BE-42 catalog motivation) is preserved as the speculative element documented in known_issues. Status remains 'highly-speculative' because the firewall-resolution bridge framing — using T_H as the bridge between AMPS / ER=EPR / complementarity / soft-hair / Page-curve resolutions — is the highly-speculative element; T_H itself is canonical Hawking. | Earlier history: BE-42 was originally the firewall complement principle; AMPS 2013 (arXiv:1207.3123), Maldacena-Susskind 2013 ER=EPR (arXiv:1306.0533), Harlow 2016 review (arXiv:1409.1231), Penington 2020 entanglement-wedge (arXiv:1905.08255) all concern dynamics at the Hawking-temperature scale.`,
+        notes: `Encoded 2026-05-07 (Wave Y): Tier-5 AST encoding for the canonical Hawking temperature T_H = ℏc³/(8π G M k_B) landed (src/bridges/equations/be-42-hawking-temperature.ts). dimensional_signature null → '[temperature]' (round-trips cleanly: [ℏc³] = M L⁵ T⁻⁴, [G M k_B] = M L⁵ T⁻⁴ Θ⁻¹, ratio = Θ ✓). Numerical bracket: solar-mass BH (M = 1.989×10³⁰ kg) → T_H ≈ 6.17×10⁻⁸ K (textbook Hawking temperature for stellar-mass BH per Wald §14.3.7). | Reformulated 2026-05-07 (Wave Y, per the strategic pattern of replacing operator-valued / quantum-state bridge content with canonical scalar reductions). Replaced the firewall complement-principle quantum-state superposition |ψ⟩ = α|smooth⟩ + β|firewall⟩ (an AST-unencodable Hilbert-space decomposition without operational predictive content unless |α|² and |β|² were independently specified) with the canonical Hawking temperature T_H = ℏc³/(8π G M k_B) — the temperature scale at which the firewall paradox lives. The bridge framing (firewall paradox / information paradox resolutions, the original BE-42 catalog motivation) is preserved as the speculative element documented in known_issues. Status remains 'highly-speculative' because the firewall-resolution bridge framing — using T_H as the bridge between AMPS / ER=EPR / complementarity / soft-hair / Page-curve resolutions — is the highly-speculative element; T_H itself is canonical Hawking. | Earlier history: BE-42 was originally the firewall complement principle; AMPS 2013 (arXiv:1207.3123), Maldacena-Susskind 2013 ER=EPR (arXiv:1306.0533), Harlow 2016 review (arXiv:1409.1231), Penington 2020 entanglement-wedge (arXiv:1905.08255) all concern dynamics at the Hawking-temperature scale. | 2026-05-23 BRIDGE-PHYSICS-AUDIT S3 unknown<->unknown classification applied (per docs/architecture/v0.7-physics-judgment-proposals.md S3): NOT-A-BRIDGE. HIGH NOT-A-BRIDGE: audit-S3 confirmed canonical physics mis-filed; single quantum-gravity regime. The bridges array remains [unknown, unknown] as the structural marker for not actually a regime-spanning bridge. Future v0.8+ restructuring may move this entry to a separate LAW_EQUATIONS registry.`,
     },
     {
         id: 43,
         name: `ER=EPR Wormhole-Entropy Bound`,
         category: `M`,
         category_name: `Information Paradox Resolutions`,
-        bridges: [`unknown`, `unknown`],
+        bridges: [`quantum`, `gravity`],
         // Reformulated 2026-05-06 (Wave P-A R-A3, per Math/Researcher iter-5
         // strategic pivot — complete bridges to canonical literature forms
         // when one exists). Replaced the broken
@@ -1356,7 +1371,7 @@ export const BRIDGE_EQUATIONS = [
         dependencies: [],
         dimensional_signature: `[entropy]`, // Wave V — BE-43 ER=EPR Tier-5 AST encoding 2026-05-07 (mirrors BE-14 SI convention).
         tractability_class: 'numerical-tractable',
-        notes: `Encoded 2026-05-07 (Wave V): Tier-5 AST encoding for the ER=EPR wormhole-entropy bound landed (src/bridges/equations/be-43-er-epr.ts). dimensional_signature null → '[entropy]'; the AST encodes the SI form S = k_B · A_wormhole / (4 ℓ_P²), which is equivalent to BE-14's k_B c³ A/(4 G ℏ) Ryu-Takayanagi form (since ℓ_P² = ℏG/c³). Mirrors BE-14's [entropy] convention exactly. | Reformulated 2026-05-06 (Wave P-A R-A3, per Math iter-5 / Researcher iter-5 strategic pivot — complete bridges to canonical literature forms when one exists, rather than preserving R3-invalid). Replaced the broken dℓ_wormhole/dt = -γ S_entanglement + δ ∫ T_μν u^μ u^ν dV form (sign-backwards + dimensional malformedness — entropy + stress-energy-integral cannot be combined into a length/time without unphysical coefficient roles for γ and δ) with the canonical ER=EPR wormhole-entropy-bound form: S_entanglement ~ A_wormhole / (4 ℓ_P²). This is the Bekenstein-Hawking entropy bound (Bekenstein 1973 PRD 7:2333; Hawking 1975 CMP 43:199) applied to the minimal cross-section of an Einstein-Rosen bridge — the canonical Maldacena-Susskind 2013 (arXiv:1306.0533) statement of the entanglement-wormhole equivalence. WebFetch on arXiv:1306.0533 returned abstract only confirming the ER=EPR equivalence statement: "two distant black holes are connected through the interior via a wormhole, or Einstein-Rosen bridge...interpreted as maximally entangled states of two black holes that form a complex EPR pair." Status: 'speculative' (not 'established') because the ER=EPR conjecture itself remains conjectural outside the strict eternal-black-hole / thermofield-double AdS/CFT regime; the bound formula is canonical Bekenstein-Hawking, the framing is the speculative element. tractability_class: numerical-tractable — wormhole cross-sections in concrete AdS/CFT setups are computable (Stanford-Susskind 2014 *Phys. Rev. D* 90:126007 [arXiv:1406.2678] develops complexity-volume duality on top, also computable; companion paper Susskind-Zhao 2014 [arXiv:1408.2823] extends to switchback geometries — citation disambiguation Wave R 2026-05-06 per Researcher iter-7 C2). Honest-claude flag: WebFetch returned abstract only, not the precise formula derivation; the S ~ A/(4ℓ_P²) form is canonical Bekenstein-Hawking applied to the ER bridge's minimal cross-section, but the precise ER=EPR-paper equation was not fetched. | Earlier history: status was 'invalid' (Wave L Tier E1, 2026-05-05) until this commit completed the pivot.`,
+        notes: `Encoded 2026-05-07 (Wave V): Tier-5 AST encoding for the ER=EPR wormhole-entropy bound landed (src/bridges/equations/be-43-er-epr.ts). dimensional_signature null → '[entropy]'; the AST encodes the SI form S = k_B · A_wormhole / (4 ℓ_P²), which is equivalent to BE-14's k_B c³ A/(4 G ℏ) Ryu-Takayanagi form (since ℓ_P² = ℏG/c³). Mirrors BE-14's [entropy] convention exactly. | Reformulated 2026-05-06 (Wave P-A R-A3, per Math iter-5 / Researcher iter-5 strategic pivot — complete bridges to canonical literature forms when one exists, rather than preserving R3-invalid). Replaced the broken dℓ_wormhole/dt = -γ S_entanglement + δ ∫ T_μν u^μ u^ν dV form (sign-backwards + dimensional malformedness — entropy + stress-energy-integral cannot be combined into a length/time without unphysical coefficient roles for γ and δ) with the canonical ER=EPR wormhole-entropy-bound form: S_entanglement ~ A_wormhole / (4 ℓ_P²). This is the Bekenstein-Hawking entropy bound (Bekenstein 1973 PRD 7:2333; Hawking 1975 CMP 43:199) applied to the minimal cross-section of an Einstein-Rosen bridge — the canonical Maldacena-Susskind 2013 (arXiv:1306.0533) statement of the entanglement-wormhole equivalence. WebFetch on arXiv:1306.0533 returned abstract only confirming the ER=EPR equivalence statement: "two distant black holes are connected through the interior via a wormhole, or Einstein-Rosen bridge...interpreted as maximally entangled states of two black holes that form a complex EPR pair." Status: 'speculative' (not 'established') because the ER=EPR conjecture itself remains conjectural outside the strict eternal-black-hole / thermofield-double AdS/CFT regime; the bound formula is canonical Bekenstein-Hawking, the framing is the speculative element. tractability_class: numerical-tractable — wormhole cross-sections in concrete AdS/CFT setups are computable (Stanford-Susskind 2014 *Phys. Rev. D* 90:126007 [arXiv:1406.2678] develops complexity-volume duality on top, also computable; companion paper Susskind-Zhao 2014 [arXiv:1408.2823] extends to switchback geometries — citation disambiguation Wave R 2026-05-06 per Researcher iter-7 C2). Honest-claude flag: WebFetch returned abstract only, not the precise formula derivation; the S ~ A/(4ℓ_P²) form is canonical Bekenstein-Hawking applied to the ER bridge's minimal cross-section, but the precise ER=EPR-paper equation was not fetched. | Earlier history: status was 'invalid' (Wave L Tier E1, 2026-05-05) until this commit completed the pivot. | 2026-05-23 BRIDGE-PHYSICS-AUDIT S3 unknown<->unknown naming applied (per docs/architecture/v0.7-physics-judgment-proposals.md S3): [quantum, gravity]. Rationale (HIGH: entanglement (quantum) <-> wormhole geometry (gravity); ER=EPR).`,
     },
     {
         id: 44,
@@ -1387,15 +1402,16 @@ export const BRIDGE_EQUATIONS = [
         ],
         dependencies: [],
         dimensional_signature: `[L^2 T^-1]`,
+        encoded_form: `Squared L²-norm Q_soft² = ∫(∂_u C)² du (a positive scalar reduction over the u-direction at null infinity); reduced from the full BMS supertranslation charge Q_soft = ∫(∂_u C_zz̄) Y^z dz ∧ dz̄ shown in formula_latex — the celestial 2-sphere (z, z̄) ∧ structure is absorbed into the squared-norm reduction.`,
         tractability_class: 'numerical-tractable',
-        notes: `Tier-5 AST encoding landed 2026-05-07 (Wave Z-C, src/bridges/equations/be-44-soft-hair.ts) — encodes the **squared-norm L² reduction** Q_soft² = ∫(∂_u C)² du via the AST's integral primitive (same machinery as BE-26's WKB exponent). dimensional_signature '[L^2 T^-1]' computed by format() on the integral's inferred dim ([velocity]² · [T] = [L²/T]). The original BMS supertranslation charge Q_soft^± = ∫_{𝒤^±} ∂_u C_{zz̄} Y^z dz∧dz̄ is operator-valued (C is a field at null infinity; Y^z is a BMS parameter; the celestial-2-sphere stereographic coordinates z, z̄ are dimensionless and absorbed implicitly) and cannot be encoded in the scalar AST. The squared-norm reduction captures the L² content of the news at null infinity but does NOT encode the BMS charge structure itself. Status remains 'speculative' — encoding does NOT promote (the BMS-as-UPT-bridge framing is conjectural; the squared-norm scalar is canonical). Numerical evaluator uses trapezoidal quadrature (O(du²)) on a uniform u-grid. | see source | status_text: Speculative. Soft-hair-on-black-holes proposals (Hawking-Perry-Strominger 2016, arXiv:1601.00921) suggest that BMS supertranslation charges can store information that would otherwise be lost. Influent...`,
+        notes: `Tier-5 AST encoding landed 2026-05-07 (Wave Z-C, src/bridges/equations/be-44-soft-hair.ts) — encodes the **squared-norm L² reduction** Q_soft² = ∫(∂_u C)² du via the AST's integral primitive (same machinery as BE-26's WKB exponent). dimensional_signature '[L^2 T^-1]' computed by format() on the integral's inferred dim ([velocity]² · [T] = [L²/T]). The original BMS supertranslation charge Q_soft^± = ∫_{𝒤^±} ∂_u C_{zz̄} Y^z dz∧dz̄ is operator-valued (C is a field at null infinity; Y^z is a BMS parameter; the celestial-2-sphere stereographic coordinates z, z̄ are dimensionless and absorbed implicitly) and cannot be encoded in the scalar AST. The squared-norm reduction captures the L² content of the news at null infinity but does NOT encode the BMS charge structure itself. Status remains 'speculative' — encoding does NOT promote (the BMS-as-UPT-bridge framing is conjectural; the squared-norm scalar is canonical). Numerical evaluator uses trapezoidal quadrature (O(du²)) on a uniform u-grid. | see source | status_text: Speculative. Soft-hair-on-black-holes proposals (Hawking-Perry-Strominger 2016, arXiv:1601.00921) suggest that BMS supertranslation charges can store information that would otherwise be lost. Influent... | 2026-05-23 BRIDGE-PHYSICS-AUDIT S3 unknown<->unknown classification applied (per docs/architecture/v0.7-physics-judgment-proposals.md S3): NOT-A-BRIDGE. MEDIUM NOT-A-BRIDGE: single-regime BMS-asymptotic-symmetries result; proposed information-paradox link is speculative. The bridges array remains [unknown, unknown] as the structural marker for not actually a regime-spanning bridge. Future v0.8+ restructuring may move this entry to a separate LAW_EQUATIONS registry.`,
     },
     {
         id: 45,
         name: `Trans-Planckian Censorship Constraint`,
         category: `N`,
         category_name: `Cosmological Puzzles`,
-        bridges: [`unknown`, `unknown`],
+        bridges: [`quantum`, `cosmological`],
         status: 'speculative',
         context: `Quantum gravity constraints on inflation`,
         formula_latex: `N_e < \\log\\left(\\frac{M_P}{H_{\\text{inf}}}\\right) - \\gamma \\log\\left(\\frac{r}{0.01}\\right)`,
@@ -1412,7 +1428,7 @@ export const BRIDGE_EQUATIONS = [
         dependencies: [],
         dimensional_signature: `[1]`, // Wave W — BE-45 TCC Tier-5 AST encoding 2026-05-07.
         tractability_class: 'closed-form', // Wave S 2026-05-06: TCC is the algebraic inequality N_e < log(M_P/H_inf) − γ log(r/0.01); single-formula evaluation given (M_P, H_inf, r, γ).
-        notes: `Encoded 2026-05-07 (Wave W): Tier-5 AST encoding for TCC e-fold bound landed (src/bridges/equations/be-45-tcc.ts). dimensional_signature null → '[1]'. Encoded in **natural units** (M_P and H_inf both as ENERGY symbols) — TCC literature works in natural units throughout (ℏ = c = 1; M_P/H_inf is then a dimensionless ratio). log() handled via dimensionless-stub pattern (same as BE-26 exp(-WKB) and BE-41 exp(...)); both log arguments exposed as separate ExprNode lemmas (BE45_LOG_RATIO_ARG_MP_HINF, BE45_LOG_RATIO_ARG_R) for direct dimensionlessness verification. γ-correction term remains framework-original (no published derivation). | see source | status_text: Speculative / non-standard. The Trans-Planckian Censorship Conjecture (Bedroya-Vafa 2019, arXiv:1909.11063) bounds inflationary e-foldings via \`N_e < ln(M_P / H_inf)\`. The formula as written here adds...`,
+        notes: `Encoded 2026-05-07 (Wave W): Tier-5 AST encoding for TCC e-fold bound landed (src/bridges/equations/be-45-tcc.ts). dimensional_signature null → '[1]'. Encoded in **natural units** (M_P and H_inf both as ENERGY symbols) — TCC literature works in natural units throughout (ℏ = c = 1; M_P/H_inf is then a dimensionless ratio). log() handled via dimensionless-stub pattern (same as BE-26 exp(-WKB) and BE-41 exp(...)); both log arguments exposed as separate ExprNode lemmas (BE45_LOG_RATIO_ARG_MP_HINF, BE45_LOG_RATIO_ARG_R) for direct dimensionlessness verification. γ-correction term remains framework-original (no published derivation). | see source | status_text: Speculative / non-standard. The Trans-Planckian Censorship Conjecture (Bedroya-Vafa 2019, arXiv:1909.11063) bounds inflationary e-foldings via \`N_e < ln(M_P / H_inf)\`. The formula as written here adds... | 2026-05-23 BRIDGE-PHYSICS-AUDIT S3 unknown<->unknown naming applied (per docs/architecture/v0.7-physics-judgment-proposals.md S3): [quantum, cosmological]. Rationale (HIGH: constraints on cosmological inflation from quantum-gravity scale).`,
     },
     {
         id: 46,
@@ -1442,6 +1458,7 @@ export const BRIDGE_EQUATIONS = [
         ],
         dependencies: [],
         dimensional_signature: `[1]`, // Wave Z — BE-46 Weinberg-Vilenkin anthropic probability Tier-5 AST encoding 2026-05-07.
+        encoded_form: `Anthropic probability scalar P(Λ) = A·exp(-α/Λ) (the Weinberg-Vilenkin closed-form prediction; a single dimensionless probability); reduced from the full path-integral measure ∫dμ[g,φ] W[g,φ] δ(O − O[g,φ]) shown in formula_latex — the measure and delta-function primitives are absorbed into the closed-form anthropic prediction.`,
         // Wave J Tier G (2026-05-05): formally-divergent — the path-integral measure
         // dμ[g, φ] over the space of all spacetime metrics and field configurations
         // is not a Turing-computable object; UPT documents the existence of the
@@ -1452,14 +1469,14 @@ export const BRIDGE_EQUATIONS = [
         // the AST encodes ONE specific measure proposal (Weinberg-Vilenkin /
         // exp(-α/Λ)), which is closed-form in (A, α, Λ).
         tractability_class: 'closed-form',
-        notes: `Encoded 2026-05-07 (Wave Z): Tier-5 AST encoding for the Weinberg-Vilenkin anthropic probability landed (src/bridges/equations/be-46-multiverse-measure.ts). dimensional_signature null → '[1]'. The original path-integral form P[O] = ∫dμ[g,φ] W[g,φ] δ(O − O[g,φ]) is preserved in formula_latex (formally divergent — measure problem is unsolved). AST encodes OpenAI's reduction P(Λ) = A·exp(−α/Λ): the most-cited specific anthropic-probability proposal (Weinberg 1987 + Vilenkin 1995) for the cosmological-constant-like landscape parameter Λ. exp argument −α/Λ is dimensionless (DIMENSIONLESS-stub convention with α and Λ both as dimensionless ratio components); exp(...) factor encoded as DIMENSIONLESS symbol stub (BE-26/41/45 idiom). Honest-claude: this encodes ONE measure (W-V); alternatives (proper-time cutoff, scale-factor cutoff, causal-patch, Hartle-Hawking) give DIFFERENT P(Λ) shapes. The 'highly-speculative' status is **not** lifted by this encoding — pinning a Tier-5 AST does not promote the bridge framing; the measure problem remains unsolved. Gemini-Pro-confirmed second-opinion 2026-05-07: "Pass — transcendental exp admissible as dimensionless symbolic stub". | see source | status_text: Highly speculative. The multiverse measure problem is an unsolved fundamental issue in cosmology. Specific measure proposals are untestable without further theoretical development.`,
+        notes: `Encoded 2026-05-07 (Wave Z): Tier-5 AST encoding for the Weinberg-Vilenkin anthropic probability landed (src/bridges/equations/be-46-multiverse-measure.ts). dimensional_signature null → '[1]'. The original path-integral form P[O] = ∫dμ[g,φ] W[g,φ] δ(O − O[g,φ]) is preserved in formula_latex (formally divergent — measure problem is unsolved). AST encodes OpenAI's reduction P(Λ) = A·exp(−α/Λ): the most-cited specific anthropic-probability proposal (Weinberg 1987 + Vilenkin 1995) for the cosmological-constant-like landscape parameter Λ. exp argument −α/Λ is dimensionless (DIMENSIONLESS-stub convention with α and Λ both as dimensionless ratio components); exp(...) factor encoded as DIMENSIONLESS symbol stub (BE-26/41/45 idiom). Honest-claude: this encodes ONE measure (W-V); alternatives (proper-time cutoff, scale-factor cutoff, causal-patch, Hartle-Hawking) give DIFFERENT P(Λ) shapes. The 'highly-speculative' status is **not** lifted by this encoding — pinning a Tier-5 AST does not promote the bridge framing; the measure problem remains unsolved. Gemini-Pro-confirmed second-opinion 2026-05-07: "Pass — transcendental exp admissible as dimensionless symbolic stub". | see source | status_text: Highly speculative. The multiverse measure problem is an unsolved fundamental issue in cosmology. Specific measure proposals are untestable without further theoretical development. | 2026-05-23 BRIDGE-PHYSICS-AUDIT S3 unknown<->unknown classification applied (per docs/architecture/v0.7-physics-judgment-proposals.md S3): NOT-A-BRIDGE. HIGH NOT-A-BRIDGE: meta-physics/cosmology framing; not a bridge equation. The bridges array remains [unknown, unknown] as the structural marker for not actually a regime-spanning bridge. Future v0.8+ restructuring may move this entry to a separate LAW_EQUATIONS registry.`,
     },
     {
         id: 47,
         name: `Big Bang Nucleosynthesis - Dark Sector Coupling`,
         category: `N`,
         category_name: `Cosmological Puzzles`,
-        bridges: [`unknown`, `unknown`],
+        bridges: [`cosmological`, `dark-sector`],
         // Status remains 'speculative'. The base Boltzmann equation (with Hubble
         // drag and species-correct rate) is now canonical Kolb-Turner / Pitrou
         // form, but the dark-sector coupling term is the unverified physics
@@ -1485,15 +1502,16 @@ export const BRIDGE_EQUATIONS = [
         ],
         dependencies: [],
         dimensional_signature: `[L^-3 T^-1]`,
+        encoded_form: `Single light-element scalar abundance rate (e.g., ⟨σv⟩_dark · n²), reduced from the multi-species coupled rate-equation system shown in formula_latex.`,
         tractability_class: 'numerical-tractable',
-        notes: `see source | status_text: Speculative extension on established base. Corrected 2026-05-01 (R1 audit, branch fix/r1-batch-spec-edits): added Hubble dilution drag '+3HY' (Kolb & Turner §5.2 Eq. 5.13–5.14; Pitrou-Coc-Uzan-Vangioni 2018 Eq. 2.5) and replaced 'n_b^2' with 'n_p n_n' species-correct product for the canonical p+n→d+γ two-body reaction (Steigman 2007 ARNPS 57:463 Eq. 27). Status remains 'speculative' — the base equation is now canonical Kolb-Turner form, but the dark-sector coupling 'n_χ² ε_transfer' term is the unverified physics extension. | Tier-5 AST encoding landed 2026-05-04 (branch tier-5/wave-1, src/bridges/equations/be-47-bbn-dark-sector.ts) — full ODE encoded with each term (dY/dt, 3HY, SM source, dark sink) exposed as separate ExprNodes; per-term dim verified [L^-3 T^-1] and full LHS=RHS balance validated.`,
+        notes: `see source | status_text: Speculative extension on established base. Corrected 2026-05-01 (R1 audit, branch fix/r1-batch-spec-edits): added Hubble dilution drag '+3HY' (Kolb & Turner §5.2 Eq. 5.13–5.14; Pitrou-Coc-Uzan-Vangioni 2018 Eq. 2.5) and replaced 'n_b^2' with 'n_p n_n' species-correct product for the canonical p+n→d+γ two-body reaction (Steigman 2007 ARNPS 57:463 Eq. 27). Status remains 'speculative' — the base equation is now canonical Kolb-Turner form, but the dark-sector coupling 'n_χ² ε_transfer' term is the unverified physics extension. | Tier-5 AST encoding landed 2026-05-04 (branch tier-5/wave-1, src/bridges/equations/be-47-bbn-dark-sector.ts) — full ODE encoded with each term (dY/dt, 3HY, SM source, dark sink) exposed as separate ExprNodes; per-term dim verified [L^-3 T^-1] and full LHS=RHS balance validated. | 2026-05-23 BRIDGE-PHYSICS-AUDIT S3 unknown<->unknown naming applied (per docs/architecture/v0.7-physics-judgment-proposals.md S3): [cosmological, dark-sector]. Rationale (HIGH: self-explanatory (BBN + dark sector)).`,
     },
     {
         id: 48,
         name: `GRW mass-amplified localization rate (CSL extension)`,
         category: `O`,
         category_name: `Quantum Foundations`,
-        bridges: [`unknown`, `unknown`],
+        bridges: [`quantum`, `classical`],
         // Reformulated 2026-05-07 (Wave Y): the full GRW Lindblad master
         // equation dρ/dt = -(i/ℏ)[H,ρ] + λ ∫d³x [L_x ρ L_x† - (1/2){L_x† L_x, ρ}]
         // is operator-valued and has no clean scalar AST encoding. The Wave Y
@@ -1524,15 +1542,16 @@ export const BRIDGE_EQUATIONS = [
         ],
         dependencies: [],
         dimensional_signature: `[frequency]`, // Wave Y — encoded; localization rate.
+        encoded_form: `Localization rate λ_GRW (a single scalar frequency), reduced from the full nonlinear stochastic Schrödinger evolution shown in formula_latex.`,
         tractability_class: 'closed-form',
-        notes: `Encoded 2026-05-07 (Wave Y): Tier-5 AST encoding for the mass-amplified GRW localization rate λ_GRW(m) = λ_0 · (m/m_0) landed (src/bridges/equations/be-48-grw-localization.ts). dimensional_signature was orphan '[frequency]' (R0 audit pin); now backed by an AST module. The full Lindblad master equation is preserved as the bridge framing / context; the scalar rate is the encoded bridge content (parallel to BE-11 encoding only the Caldeira-Leggett rate γ_k(λ), not the full Lindblad). Numerical bracket: λ_GRW(electron) ≈ 5×10⁻²⁰ /s (negligible for individual electrons); λ_GRW(macroscopic 1 g) ≈ 6×10⁷ /s (rapid collapse, no Schrödinger-cat states). | Reformulated 2026-05-07 (Wave Y, per the strategic pattern of replacing operator-valued master equations with their canonical scalar reductions). Replaced the operator-valued Lindblad master-equation form (dρ/dt = -(i/ℏ)[H,ρ] + λ ∫d³x [L_x ρ L_x† - (1/2){L_x† L_x, ρ}]) with the canonical mass-amplification rate λ_GRW(m) = λ_0 · (m/m_0). Status changed from 'established' to 'speculative' because the bridge framing — using GRW / CSL mass-amplification as a UPT bridge between standard QM and a possible objective-collapse modification — is the speculative element (the rate formula itself is canonical, but the existence of the GRW / CSL effect as a real physical mechanism is the conjectural content). Same pattern as BE-22, BE-26, BE-38 (Kitaev-Preskill / WKB / Milgrom canonical, UPT bridge framing speculative). | Earlier history: Corrected 2026-05-04 R0 audit — added canonical (πσ²)^{-3/4} prefactor to L_x and updated λ from 1e-17 to 1e-16 s^-1 to match the original 1986 GRW value. Citations: Ghirardi-Rimini-Weber 1986 Phys. Rev. D 34:470; Bassi-Ghirardi 2003 Phys. Rep. 379:257 review.`,
+        notes: `Encoded 2026-05-07 (Wave Y): Tier-5 AST encoding for the mass-amplified GRW localization rate λ_GRW(m) = λ_0 · (m/m_0) landed (src/bridges/equations/be-48-grw-localization.ts). dimensional_signature was orphan '[frequency]' (R0 audit pin); now backed by an AST module. The full Lindblad master equation is preserved as the bridge framing / context; the scalar rate is the encoded bridge content (parallel to BE-11 encoding only the Caldeira-Leggett rate γ_k(λ), not the full Lindblad). Numerical bracket: λ_GRW(electron) ≈ 5×10⁻²⁰ /s (negligible for individual electrons); λ_GRW(macroscopic 1 g) ≈ 6×10⁷ /s (rapid collapse, no Schrödinger-cat states). | Reformulated 2026-05-07 (Wave Y, per the strategic pattern of replacing operator-valued master equations with their canonical scalar reductions). Replaced the operator-valued Lindblad master-equation form (dρ/dt = -(i/ℏ)[H,ρ] + λ ∫d³x [L_x ρ L_x† - (1/2){L_x† L_x, ρ}]) with the canonical mass-amplification rate λ_GRW(m) = λ_0 · (m/m_0). Status changed from 'established' to 'speculative' because the bridge framing — using GRW / CSL mass-amplification as a UPT bridge between standard QM and a possible objective-collapse modification — is the speculative element (the rate formula itself is canonical, but the existence of the GRW / CSL effect as a real physical mechanism is the conjectural content). Same pattern as BE-22, BE-26, BE-38 (Kitaev-Preskill / WKB / Milgrom canonical, UPT bridge framing speculative). | Earlier history: Corrected 2026-05-04 R0 audit — added canonical (πσ²)^{-3/4} prefactor to L_x and updated λ from 1e-17 to 1e-16 s^-1 to match the original 1986 GRW value. Citations: Ghirardi-Rimini-Weber 1986 Phys. Rev. D 34:470; Bassi-Ghirardi 2003 Phys. Rep. 379:257 review. | 2026-05-23 BRIDGE-PHYSICS-AUDIT S3 unknown<->unknown naming applied (per docs/architecture/v0.7-physics-judgment-proposals.md S3): [quantum, classical]. Rationale (HIGH: CSL-extension maps quantum superposition -> classical localization).`,
     },
     {
         id: 49,
         name: `Quantum Darwinism Redundancy`,
         category: `O`,
         category_name: `Quantum Foundations`,
-        bridges: [`unknown`, `unknown`],
+        bridges: [`quantum`, `classical`],
         status: 'speculative',
         context: `Classical reality from quantum substrate`,
         formula_latex: `I(S:F_k) = I(S:E) - \\mathcal{O}(k^{-\\alpha})`,
@@ -1555,7 +1574,7 @@ export const BRIDGE_EQUATIONS = [
         dependencies: [],
         dimensional_signature: `[1]`, // Wave W — BE-49 Quantum Darwinism Tier-5 AST encoding 2026-05-07.
         tractability_class: 'numerical-tractable', // Wave S 2026-05-06: I(S:F_k) is the quantum mutual information between system S and a k-fragment of environment E — computable for any concrete decoherence model (Blume-Kohout-Zurek 2006 demonstrates the multi-fragment numerics). The α-exponent is phenomenologically fit, but the formula is a single-relation evaluation given the model.
-        notes: `Encoded 2026-05-07 (Wave W): Tier-5 AST encoding for Quantum Darwinism mutual-information decay landed (src/bridges/equations/be-49-quantum-darwinism.ts). dimensional_signature null → '[1]'. AST commits to leading-order power-law correction α · k^(-β) with β = 1 (canonical good-information-broadcasting regime per Zurek 2009); spec's "α" is renamed to β (decay exponent) and a separate dimensionless magnitude prefactor α is introduced — disambiguation documented in module docstring. Numerical evaluator remains β-agnostic. | see source | status_text: Speculative extension. Quantum Darwinism (Zurek 2009, Nat. Phys. 5:181) is established as an interpretational framework. The specific algebraic decay form \`I(S:F_k) = I(S:E) − O(k^{-α})\` is a phenomen...`,
+        notes: `Encoded 2026-05-07 (Wave W): Tier-5 AST encoding for Quantum Darwinism mutual-information decay landed (src/bridges/equations/be-49-quantum-darwinism.ts). dimensional_signature null → '[1]'. AST commits to leading-order power-law correction α · k^(-β) with β = 1 (canonical good-information-broadcasting regime per Zurek 2009); spec's "α" is renamed to β (decay exponent) and a separate dimensionless magnitude prefactor α is introduced — disambiguation documented in module docstring. Numerical evaluator remains β-agnostic. | see source | status_text: Speculative extension. Quantum Darwinism (Zurek 2009, Nat. Phys. 5:181) is established as an interpretational framework. The specific algebraic decay form \`I(S:F_k) = I(S:E) − O(k^{-α})\` is a phenomen... | 2026-05-23 BRIDGE-PHYSICS-AUDIT S3 unknown<->unknown naming applied (per docs/architecture/v0.7-physics-judgment-proposals.md S3): [quantum, classical]. Rationale (HIGH: redundancy of quantum information in classical environment (Quantum Darwinism)).`,
     },
     {
         id: 50,
@@ -1601,8 +1620,9 @@ export const BRIDGE_EQUATIONS = [
         ],
         dependencies: [],
         dimensional_signature: `[1]`, // Wave Z — BE-50 Wheeler-Feynman time-symmetry residual Tier-5 AST encoding 2026-05-07.
+        encoded_form: `Dimensionless time-symmetry residual r_TS = (A_ret − A_adv)/(A_ret + A_adv) (a single scalar measuring deviation from retarded-advanced symmetry); reduced from the full Wheeler-Feynman half-retarded-plus-half-advanced field expression shown in formula_latex.`,
         tractability_class: 'closed-form', // Wave Z 2026-05-07: AST-encoded scalar reduction r_TS = (A_ret-A_adv)/(A_ret+A_adv) is a single algebraic ratio.
-        notes: `Encoded 2026-05-07 (Wave Z): Tier-5 AST encoding for the Wheeler-Feynman time-symmetry residual landed (src/bridges/equations/be-50-wheeler-feynman.ts). dimensional_signature null → '[1]'. The original Wave P-A canonical form A_μ(x) = (1/2)[A_μ^ret(x) + A_μ^adv(x)] is preserved in formula_latex; AST encodes OpenAI's reduction r_TS = (A_ret − A_adv)/(A_ret + A_adv) — the time-symmetry residual that vanishes identically (≡ 0) under the absorber boundary condition. Both A_ret and A_adv pinned to MAGNETIC_VECTOR_POTENTIAL dim {L:1, M:1, T:-2, I:-1} (V·s/m); the ratio is dimensionless. Honest-claude scope notes: the encoded scalar is a ratio (gauge-field dim cancels); the "≡ 0" identity-pin assumes the absorber boundary condition (any non-zero residual measures retrocausal-asymmetry violation); encoding pins the dimensional structure but does NOT bridge the absorber-theory claim to mainstream QFT. Status remains 'highly-speculative' (the absorber boundary condition is empirically untested in QFT). Gemini-Pro-confirmed second-opinion 2026-05-07: "fundamentally algebraic and poses no representational challenges; maps directly and losslessly into the scalar AST". | Reformulated 2026-05-06 (Wave P-A R-A4, per Math iter-5 / Researcher iter-5 strategic pivot — complete bridges to canonical literature forms when one exists, rather than preserving R3-invalid). Replaced the broken S = ∫ d⁴x [L_forward(φ_+) + L_backward(φ_-) + λφ_+ φ_- δ⁴(x − x_m)] action (variationally ill-posed at the δ⁴ single-point interaction — δ-function source terms in equations of motion are not finite-action solutions, boundary conditions for backward-evolving φ_- sector were unspecified) with the canonical Wheeler-Feynman 1945 absorber-theory form: the gauge field expressed as the half-retarded-plus-half-advanced symmetric sum A_μ(x) = (1/2)[A_μ^ret(x) + A_μ^adv(x)]. Reference verified canonical via WebFetch on the Wheeler-Feynman_absorber_theory Wikipedia article: "the resulting field is E_tot(x,t) = Σ_n [E_n^ret(x,t) + E_n^adv(x,t)]/2" (gauge-field analogue is A_μ form above). The action is then standard Maxwell + matter + interaction with this gauge-field expression. The retrocausal claim is that the **absorber boundary condition** — every emitted radiation is absorbed somewhere in the universe — makes the half-retarded-plus-half-advanced symmetric form physically equivalent to the standard retarded-only Maxwell formulation, per Wheeler & Feynman's original argument. Status remains 'highly-speculative' because the absorber boundary condition is empirically untested in QFT (it works in classical electrodynamics under the cosmological total-absorption assumption, but its quantum-field-theoretic extension — which is what UPT proposes — is conjectural). Cramer 1986 provides the canonical modern transactional-interpretation lineage; it remains a minority interpretation. The W-F form itself is rigorously defined, hence the reformulation lifts BE-50 from invalid to highly-speculative. tractability_class lifted from 'formally-divergent' to 'numerical-tractable' since the half-retarded-half-advanced gauge field is computable in concrete cases (Hoyle-Narlikar 1995 works through cosmological-absorber configurations). | Earlier history: previous form was the L_forward + L_backward + λφ_+ φ_- δ⁴(x-x_m) action (R3-invalid Wave L Tier E2, 2026-05-05, per Phys C8 iter-3). This commit completes the pivot to the canonical W-F form.`,
+        notes: `Encoded 2026-05-07 (Wave Z): Tier-5 AST encoding for the Wheeler-Feynman time-symmetry residual landed (src/bridges/equations/be-50-wheeler-feynman.ts). dimensional_signature null → '[1]'. The original Wave P-A canonical form A_μ(x) = (1/2)[A_μ^ret(x) + A_μ^adv(x)] is preserved in formula_latex; AST encodes OpenAI's reduction r_TS = (A_ret − A_adv)/(A_ret + A_adv) — the time-symmetry residual that vanishes identically (≡ 0) under the absorber boundary condition. Both A_ret and A_adv pinned to MAGNETIC_VECTOR_POTENTIAL dim {L:1, M:1, T:-2, I:-1} (V·s/m); the ratio is dimensionless. Honest-claude scope notes: the encoded scalar is a ratio (gauge-field dim cancels); the "≡ 0" identity-pin assumes the absorber boundary condition (any non-zero residual measures retrocausal-asymmetry violation); encoding pins the dimensional structure but does NOT bridge the absorber-theory claim to mainstream QFT. Status remains 'highly-speculative' (the absorber boundary condition is empirically untested in QFT). Gemini-Pro-confirmed second-opinion 2026-05-07: "fundamentally algebraic and poses no representational challenges; maps directly and losslessly into the scalar AST". | Reformulated 2026-05-06 (Wave P-A R-A4, per Math iter-5 / Researcher iter-5 strategic pivot — complete bridges to canonical literature forms when one exists, rather than preserving R3-invalid). Replaced the broken S = ∫ d⁴x [L_forward(φ_+) + L_backward(φ_-) + λφ_+ φ_- δ⁴(x − x_m)] action (variationally ill-posed at the δ⁴ single-point interaction — δ-function source terms in equations of motion are not finite-action solutions, boundary conditions for backward-evolving φ_- sector were unspecified) with the canonical Wheeler-Feynman 1945 absorber-theory form: the gauge field expressed as the half-retarded-plus-half-advanced symmetric sum A_μ(x) = (1/2)[A_μ^ret(x) + A_μ^adv(x)]. Reference verified canonical via WebFetch on the Wheeler-Feynman_absorber_theory Wikipedia article: "the resulting field is E_tot(x,t) = Σ_n [E_n^ret(x,t) + E_n^adv(x,t)]/2" (gauge-field analogue is A_μ form above). The action is then standard Maxwell + matter + interaction with this gauge-field expression. The retrocausal claim is that the **absorber boundary condition** — every emitted radiation is absorbed somewhere in the universe — makes the half-retarded-plus-half-advanced symmetric form physically equivalent to the standard retarded-only Maxwell formulation, per Wheeler & Feynman's original argument. Status remains 'highly-speculative' because the absorber boundary condition is empirically untested in QFT (it works in classical electrodynamics under the cosmological total-absorption assumption, but its quantum-field-theoretic extension — which is what UPT proposes — is conjectural). Cramer 1986 provides the canonical modern transactional-interpretation lineage; it remains a minority interpretation. The W-F form itself is rigorously defined, hence the reformulation lifts BE-50 from invalid to highly-speculative. tractability_class lifted from 'formally-divergent' to 'numerical-tractable' since the half-retarded-half-advanced gauge field is computable in concrete cases (Hoyle-Narlikar 1995 works through cosmological-absorber configurations). | Earlier history: previous form was the L_forward + L_backward + λφ_+ φ_- δ⁴(x-x_m) action (R3-invalid Wave L Tier E2, 2026-05-05, per Phys C8 iter-3). This commit completes the pivot to the canonical W-F form. | 2026-05-23 BRIDGE-PHYSICS-AUDIT S3 unknown<->unknown classification applied (per docs/architecture/v0.7-physics-judgment-proposals.md S3): NOT-A-BRIDGE. LOW NOT-A-BRIDGE: time-symmetric retarded/advanced EM; single regime with time-reversal structure. The bridges array remains [unknown, unknown] as the structural marker for not actually a regime-spanning bridge. Future v0.8+ restructuring may move this entry to a separate LAW_EQUATIONS registry.`,
     },
     // ---------------------------------------------------------------------------
     // v0.4.0 additions — beyond the original 40-bridge spec catalog (IDs 11-50)
@@ -1652,6 +1672,68 @@ export const BRIDGE_EQUATIONS = [
         dimensional_signature: `[1]`,
         tractability_class: 'closed-form',
         notes: `Added 2026-05-15 (v0.4.0 Task 16a [U]): Einstein 1915 perihelion precession bridge (closed-form only; geodesic cross-validation deferred to sub-task 16b). evaluatePerihelionPrecession({M_kg, a_m, e, T_yr}) → {dphi_rad_per_orbit, dphi_arcsec_per_orbit, dphi_arcsec_per_century, M_kg, a_m, e} in src/bridges/perihelion-precession.ts. Mercury validation: ~43.0 arcsec/century within 0.5 arcsec. Domain: 0 ≤ e < 1, a > 0, T > 0 (bound elliptical orbits only). Second bridge beyond the original 40-bridge spec catalog.`,
+    },
+    // ---------------------------------------------------------------------------
+    // v0.7 BE-X re-encoding sprint additions — structural AST encodings
+    // ---------------------------------------------------------------------------
+    {
+        id: 54,
+        name: `Randall-Sundrum brane cosmology (modified Friedmann with brane-tension correction)`,
+        category: `E`,
+        category_name: `Cosmological-Quantum Bridges`,
+        // Category rationale: RS II brane cosmology modifies the Friedmann
+        // equation at ρ ~ σ, where σ is set by the 5D Planck/AdS scale
+        // (Planck-density regime). This is a quantum-gravity correction to
+        // classical cosmology — exactly the "Cosmological-Quantum Bridge"
+        // framing of category E (which already holds BE-19 LQC and BE-20
+        // vacuum energy). Category K ("Modified Theories and Extensions") was
+        // considered but it hosts modifications to gravity/dark sector at all
+        // scales; the brane-tension correction is specifically a high-density /
+        // early-universe (quantum-scale) effect, making E the tighter fit.
+        //
+        // bridges tuple rationale: ['quantum', 'cosmological'] — the brane-
+        // tension σ is a Planck-scale (quantum-gravity) parameter; its effect
+        // on the Friedmann equation constitutes a quantum-to-cosmological bridge.
+        // ['classical', 'cosmological'] was considered but undersells the
+        // quantum-gravity origin of the correction.
+        bridges: [`quantum`, `cosmological`],
+        status: 'speculative',
+        context: `Modified Friedmann equation on a RS II 3-brane embedded in a 5D AdS bulk: H² = (8πG/3)ρ(1 + ρ/(2σ)) + Λ/3. The brane-tension correction (1 + ρ/(2σ)) enhances expansion at high energy densities (ρ ~ σ); at ρ ≪ σ it reduces to classical Friedmann. Brane cosmology is experimentally unconstrained but provides a self-consistent extra-dimensional framework for early-universe corrections.`,
+        formula_latex: `H^2 = \\frac{8\\pi G}{3} \\rho \\left(1 + \\frac{\\rho}{2\\sigma}\\right) + \\frac{\\Lambda}{3}`,
+        source_part: 'III',
+        source_section: `v0.7 BE-54 [U] — new bridge (post-spec extension, RS II brane cosmology)`,
+        known_issues: [],
+        references: [
+            `Randall-Sundrum 1999 *Phys. Rev. Lett.* 83:4690 (arXiv:hep-ph/9905221; the RS II single-brane model in a 5D AdS bulk)`,
+            `Binétruy-Deffayet-Ellwanger-Langlois 2000 *Phys. Lett.* B 477:285 (arXiv:hep-th/9910219; BDEL brane cosmological equations, H²=(8πG/3)ρ(1+ρ/(2σ)))`,
+            `Maartens-Koyama 2010 *Living Rev. Relativity* 13:5 (arXiv:1004.3962; comprehensive brane-world cosmology review)`,
+        ],
+        dependencies: [19],
+        dimensional_signature: `[T^-2]`,
+        tractability_class: 'closed-form',
+        notes: `Added 2026-05-24 (v0.7 BE-54): Randall-Sundrum II brane cosmology bridge. evaluateRandallSundrumH2({rho_kg_per_m3, sigma_kg_per_m3}) → H² in s⁻² (drops Λ and dark-radiation for structural minimum). Brane correction (1+ρ/(2σ)) is DIMENSIONLESS — ρ/σ cancels [M L⁻³]. Key physics: correction = 3/2 at ρ=σ; correction = 2 at ρ=2σ; H² ≥ 0 always (unlike LQC which can go negative). v0.7 follow-up (commit b8153f6) added BE54_BRANE_FRIEDMANN_STRUCTURAL using FriedmannEquationNode with variant='brane' — exercises the variant-discriminator design payoff. Category E (Cosmological-Quantum Bridges) chosen over K (Modified Theories) because the brane-tension σ is a Planck-scale parameter; the correction is a high-density quantum-gravity effect. Source: src/bridges/equations/be-54-randall-sundrum-brane.ts.`,
+    },
+    {
+        id: 53,
+        name: `Yang-Mills one-loop β-function (asymptotic freedom)`,
+        category: `L`,
+        category_name: `Quantum Field Theory Extensions`,
+        bridges: [`quantum`, `classical`],
+        status: 'established',
+        context: `One-loop renormalization-group running of the non-Abelian gauge coupling in Yang-Mills theory. For SU(N_c) with N_f fundamental Dirac flavors: β(g) = −b₀ g³/(16π²), b₀ = (11/3)N_c − (2/3)N_f. When b₀ > 0 the theory is asymptotically free (coupling → 0 in the UV). For QCD (SU(3), N_f = 6): b₀ = 7. Nobel Prize in Physics 2004 (Gross, Politzer, Wilczek).`,
+        formula_latex: `\\beta(g) = -\\frac{b_0 g^3}{16\\pi^2} + O(g^5), \\quad b_0 = \\frac{11}{3}C_2(G) - \\frac{4}{3}T(R)N_f`,
+        source_part: 'III',
+        source_section: `v0.7 BE-X re-encoding sprint — new bridge (outside original spec IDs 11-52)`,
+        known_issues: [],
+        references: [
+            `Gross & Wilczek 1973 *Phys. Rev. Lett.* 30:1343 ("Ultraviolet Behavior of Non-Abelian Gauge Theories"; original asymptotic-freedom calculation, Nobel 2004)`,
+            `Politzer 1973 *Phys. Rev. Lett.* 30:1346 ("Reliable Perturbative Results for Strong Interactions?"; independent asymptotic-freedom result, Nobel 2004)`,
+            `Peskin & Schroeder 1995 "An Introduction to Quantum Field Theory" §16 (canonical textbook derivation of one-loop non-Abelian β-function and asymptotic freedom)`,
+        ],
+        dependencies: [39], // structural dual of BE-39 asymptotic-safety NGFP
+        dimensional_signature: `[1]`, // β(g) = k ∂_k g is the derivative of a dimensionless coupling wrt log(k); both g and k∂_k log(k) are dimensionless → β is dimensionless (same as BE-39)
+        tractability_class: 'closed-form',
+        notes: `Added 2026-05-24 (v0.7 BE-X re-encoding sprint): Yang-Mills one-loop β-function via BetaFunctionNode structural form. Module: src/bridges/equations/be-53-yang-mills-beta.ts. Structural dual of BE-39 (asymptotic safety NGFP at (g*,λ*)≠(0,0)) — BE-53 has the UV fixed point at g*=0 (asymptotic freedom), demonstrating BetaFunctionNode primitives are flow-direction-agnostic. Single-coupling BetaFunctionNode (couplings.length=1) vs BE-39's two-coupling form. QCD values pinned: b₀=7 (N_c=3, N_f=6), β(g=1)=−7/(16π²). Pure SU(3) (N_f=0): b₀=11. Asymptotic-freedom boundary: b₀=0 at N_f=(11/2)N_c≈16.5 for SU(3). Nobel Prize in Physics 2004 (Gross, Politzer, Wilczek) — status 'established'.`,
     }
 ];
 // ---------------------------------------------------------------------------