universal-physics-tensor 0.7.3 → 0.15.0

package/dist/bridges/index.js

@@ -1,9 +1,10 @@
 /**
  * Universal Physics Tensor — Bridge Equation Index
  *
- * Machine-readable catalog of all 40 bridge equations from the UPT specification
- * (Parts I-VI). Each entry preserves the spec's stated status, known issues,
- * references, and dependencies on other bridge equations.
+ * Machine-readable catalog of all 44 bridge equations (IDs 11-54) from the UPT
+ * specification (Parts I-VI; BE-51–54 catalogued in Part-II §V-B). Each entry
+ * preserves the spec's stated status, known issues, references, and
+ * dependencies on other bridge equations.
  *
  * Generated by scripts/extract.py (~/.claude/playground/upt_bridge_extraction/);
  * see data/bridges/README.md for regen instructions.
@@ -11,9 +12,11 @@
  * Source-of-truth files: docs/specification/Part-{I-VI}.md
  *
  * Honest-claude: fields not explicitly stated in the spec are null (not guessed).
- * - dimensional_signature is null for not-yet-encoded entries. Populated for
- *   hand-encoded equations (currently 11, 14, 18, 29, 47, 48) — see
- *   `src/bridges/equations/`. Populated values are exactly what
+ * - dimensional_signature is populated for all 44 entries at HEAD; 42 of them
+ *   (IDs 11-50, 53, 54) are also registered in `EXPECTED_DIMENSION_BY_BRIDGE`
+ *   (`src/dimensional/bridge-check.ts`) with AST encodings under
+ *   `src/bridges/equations/` — BE-51/52 are closed-form evaluator bridges
+ *   without AST encodings. Populated values are exactly what
  *   `format()` produces for the inferred Dimension shape; never free-form prose.
  * - known_issues are extracted ONLY from explicit issue-markers in the spec
  *   ("**Known issue:**", "**Additional known issue:**", "**Bound violation:**",
@@ -286,7 +289,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. | 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.`,
+        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/archive/v0.7-bridge-status-recalibration-analysis.md.`,
     },
     {
         id: 17,
@@ -494,7 +497,7 @@ export const BRIDGE_EQUATIONS = [
         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. | 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).`,
+        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/archive/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,
@@ -555,7 +558,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. | 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).`,
+        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/archive/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,
@@ -745,7 +748,7 @@ 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. | 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).`,
+        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/archive/v0.7-physics-judgment-proposals.md S3): [quantum, biological]. Rationale (HIGH: self-explanatory; biological is the existing freeform label).`,
     },
     {
         id: 27,
@@ -783,7 +786,7 @@ export const BRIDGE_EQUATIONS = [
         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. | 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).`,
+        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/archive/v0.7-physics-judgment-proposals.md S3): [mesoscopic, classical]. Rationale (MEDIUM: active matter is mesoscopic; FDT violation is observed at classical).`,
     },
     {
         id: 28,
@@ -806,7 +809,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. | 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.`,
+        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/archive/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,
@@ -846,7 +849,7 @@ export const BRIDGE_EQUATIONS = [
         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. | 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.`,
+        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/archive/v0.7-bridge-status-recalibration-analysis.md. | 2026-05-23 BRIDGE-PHYSICS-AUDIT S3 unknown<->unknown classification applied (per docs/architecture/archive/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,
@@ -886,7 +889,7 @@ 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. | 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).`,
+        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/archive/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,
@@ -915,7 +918,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. | 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).`,
+        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/archive/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,
@@ -947,7 +950,7 @@ export const BRIDGE_EQUATIONS = [
         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... | 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.`,
+        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/archive/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,
@@ -991,7 +994,7 @@ 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: `[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)).`,
+        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/archive/v0.7-physics-judgment-proposals.md S3): [quantum, classical]. Rationale (HIGH: self-explanatory from the name (Hertz-Millis QCP)).`,
     },
     {
         id: 34,
@@ -1021,7 +1024,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). | 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.`,
+        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/archive/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/archive/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,
@@ -1046,7 +1049,7 @@ export const BRIDGE_EQUATIONS = [
         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... | 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.`,
+        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/archive/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,
@@ -1156,7 +1159,7 @@ 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. | 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)).`,
+        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/archive/v0.7-physics-judgment-proposals.md S3): [classical, gravity]. Rationale (HIGH: self-explanatory; classical EM signal + GR gravity (Shapiro delay)).`,
     },
     {
         id: 38,
@@ -1187,7 +1190,7 @@ 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. | 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).`,
+        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/archive/v0.7-physics-judgment-proposals.md S3): [information, gravity]. Rationale (HIGH: entropic gravity (Verlinde) maps information -> gravity).`,
     },
     {
         id: 39,
@@ -1234,7 +1237,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... | 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).`,
+        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/archive/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,
@@ -1260,7 +1263,7 @@ 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. | 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.`,
+        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/archive/v0.7-bridge-status-recalibration-analysis.md. | 2026-05-23 BRIDGE-PHYSICS-AUDIT S3 unknown<->unknown classification applied (per docs/architecture/archive/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,
@@ -1286,14 +1289,24 @@ 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. | 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).`,
+        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/archive/v0.7-physics-judgment-proposals.md S3): [quantum, cosmological]. Rationale (MEDIUM: string-landscape constraint on field-space distances at cosmological scales).`,
     },
     {
         id: 42,
         name: `Hawking temperature (canonical 1975 derivation)`,
         category: `M`,
         category_name: `Information Paradox Resolutions`,
-        bridges: [`unknown`, `unknown`],
+        // Adjudicated 2026-06-11 (v0.8.0 Phase 4, graph-native membership
+        // criterion): REVERSED from the audit-§3 NOT-A-BRIDGE classification
+        // to a bridge. Endpoints as quantities: M (classical/gravitational)
+        // → T_H (quantum — ℏ in the formula — thermal); the attributes
+        // differ in scale, so the criterion verdict is 'bridge'. This is the
+        // outcome Adam argued for in BRIDGE-PHYSICS-AUDIT-v2 (the archetypal
+        // quantum↔gravity bridge — ℏ AND G in one formula), made mechanical.
+        // Tuple order is source→target for M → T_H (order-reversed from
+        // BE-43's ['quantum','gravity'] — deliberate, see design r2-9).
+        // Full disposition: docs/architecture/v0.8.0-catalog-adjudication.md.
+        bridges: [`gravity`, `quantum`],
         // Reformulated 2026-05-07 (Wave Y): replaced the firewall complement
         // quantum-state superposition |ψ⟩ = α|smooth⟩ + β|firewall⟩ (an AST-
         // unencodable Hilbert-space decomposition) with the canonical Hawking
@@ -1328,7 +1341,7 @@ 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. | 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.`,
+        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/archive/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,
@@ -1371,7 +1384,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. | 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).`,
+        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/archive/v0.7-physics-judgment-proposals.md S3): [quantum, gravity]. Rationale (HIGH: entanglement (quantum) <-> wormhole geometry (gravity); ER=EPR).`,
     },
     {
         id: 44,
@@ -1404,7 +1417,7 @@ export const BRIDGE_EQUATIONS = [
         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... | 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.`,
+        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/archive/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,
@@ -1428,7 +1441,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... | 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).`,
+        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/archive/v0.7-physics-judgment-proposals.md S3): [quantum, cosmological]. Rationale (HIGH: constraints on cosmological inflation from quantum-gravity scale).`,
     },
     {
         id: 46,
@@ -1469,7 +1482,7 @@ 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. | 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.`,
+        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/archive/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,
@@ -1504,7 +1517,7 @@ export const BRIDGE_EQUATIONS = [
         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. | 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)).`,
+        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/archive/v0.7-physics-judgment-proposals.md S3): [cosmological, dark-sector]. Rationale (HIGH: self-explanatory (BBN + dark sector)).`,
     },
     {
         id: 48,
@@ -1544,7 +1557,7 @@ export const BRIDGE_EQUATIONS = [
         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. | 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).`,
+        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/archive/v0.7-physics-judgment-proposals.md S3): [quantum, classical]. Rationale (HIGH: CSL-extension maps quantum superposition -> classical localization).`,
     },
     {
         id: 49,
@@ -1574,7 +1587,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... | 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)).`,
+        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/archive/v0.7-physics-judgment-proposals.md S3): [quantum, classical]. Rationale (HIGH: redundancy of quantum information in classical environment (Quantum Darwinism)).`,
     },
     {
         id: 50,
@@ -1622,7 +1635,7 @@ export const BRIDGE_EQUATIONS = [
         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. | 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.`,
+        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/archive/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)