universal-physics-tensor 0.45.1 → 0.46.0

package/dist/bridges/index.js

@@ -1,7 +1,7 @@
 /**
  * Universal Physics Tensor — Bridge Equation Index
  *
- * Machine-readable catalog of all 44 bridge equations (IDs 11-54) from the UPT
+ * Machine-readable catalog of all bridge equations (IDs from 11) 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.
@@ -12,11 +12,12 @@
  * 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 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
+ * - dimensional_signature is populated for all 55 entries. 53 of them (all
+ *   except BE-51 and BE-52) are registered in `EXPECTED_DIMENSION_BY_BRIDGE`
+ *   (`src/dimensional/bridge-check.ts`); 42 (IDs 11-50, 53, 54) also have AST
+ *   encodings under `src/bridges/equations/`. BE-51/52 are closed-form evaluator
+ *   bridges, and BE-55-65 have evaluator modules in `src/bridges/`; none of
+ *   them has an AST encoding. 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:**",
@@ -25,6 +26,19 @@
  *
  * @module bridges
  */
+// `deriveRegimeGroups` is a VALUE, so the type-only rule above does not cover
+// it. It comes from the leaf `atlas/regime.js`, whose own imports are
+// `dimensional/*` only — importing it closes no cycle back into `bridges/`.
+import { deriveRegimeGroups } from '../atlas/regime.js';
+import { LENGTH, VELOCITY } from '../dimensional/types.js';
+// BE-52's regime bounds are computed from the `MERCURY` orbital elements
+// rather than retyped, so they cannot drift from the record they describe.
+// That module imports only its evaluator; it does not import this file.
+// `CASSINI` and `VLBI_LAMBERT_2009` are deliberately NOT imported: neither
+// carries geometry or velocity, so neither can source a bound (see the regime
+// block below).
+import { MERCURY } from './be52-mercury-confrontation.js';
+import { C_SI, G_SI, M_SUN_SI } from '../core/constants.js';
 /**
  * Type predicate: an "active" status is one where the entry is part of
  * ongoing research (established / speculative / highly-speculative). The
@@ -39,6 +53,233 @@
 export function isActiveStatus(s) {
     return s !== 'invalid';
 }
+// ── GR spine regimes (Atlas Phase 2, S2.5) ─────────────────────────────────
+//
+// BE-37 (Shapiro delay), BE-51 (light deflection) and BE-52 (perihelion
+// advance) are all the SAME truncation: the first post-Newtonian order of the
+// Schwarzschild solution. Each row's `relation.transformation` already says so
+// in prose ("leading order in GM/(c^2 R)", "first post-Newtonian order"). The
+// regime states that same condition in coordinates a machine can evaluate.
+//
+// WHERE EACH BOUND COMES FROM: the tightest GEOMETRY its own confrontation
+// operates at, and nothing else. A bound of "1" (the horizon) would be true
+// and useless; a round "0.01" would be invented.
+//
+//   BE-37, BE-51   r_s/r <= 2 G M_sun / (c^2 R_sun) = 4.2463e-6 — the solar
+//                  limb. For BE-51 that IS the confrontation's own baseline
+//                  (`confrontBE51` evaluates at `b_m = SOLAR_RADIUS_M`); for
+//                  BE-37 it is the floor a solar-conjunction ray cannot pass
+//                  inside, since `CASSINI` carries no geometry of its own.
+//   BE-52          r_s/r <= r_s / (a(1-e)) = 6.4216e-8 — the perihelion
+//                  distance, computed from the `MERCURY` elements.
+//
+// The op is `<=` and the bound IS the operating point, so the regime claims
+// exactly this: THE BRIDGE IS CLAIMED NO FURTHER INTO THE FIELD, AND NO
+// FASTER, THAN WHERE IT WAS TESTED. Weaker or slower is inside the claim;
+// stronger or faster is outside it. It is deliberately NOT a derived
+// breakdown threshold — nothing in these confrontations determines where 1PN
+// stops being adequate, and no such number is asserted anywhere below.
+//
+// `v/c` IS PRESENT ON BE-52 ONLY, and its absence elsewhere is load-bearing
+// rather than an omission. `MERCURY` carries orbital elements, so a real
+// velocity follows: `v_p = (2*pi*a/T) sqrt((1+e)/(1-e))`, giving
+// `v/c <= 1.9672e-4` at perihelion. `CASSINI` and `VLBI_LAMBERT_2009` carry a
+// gamma and its sigma and nothing else — no velocity, no impact parameter, no
+// mass — so no `v/c` bound is derivable for BE-37 or BE-51 and none is
+// recorded. An absent group reports `unknown`, which is a failure to confirm
+// validity and the honest answer; a filled one would be a false claim.
+// (The virial relation `v/c ~ sqrt((r_s/r)/2)` does hold for a test body in a
+// static field, and it is exactly why the substitution is tempting. It is
+// still a DERIVED proxy, not an input, so it is not used.)
+//
+// The `REJECTED` note further down records the method that was tried first
+// and thrown out. It and this block describe the same decision from the two
+// sides; if they ever disagree, the code is what they are both about.
+/** The family the three GR-spine regimes are stated in. @internal */
+const GR_SPINE_FAMILY = 'gr-weak-field';
+/**
+ * `r_s`, `r`, `v`, `c` — two lengths and two velocities, so the dimension
+ * matrix yields exactly two groups. Their `PiGroup.formula` keys are what
+ * `regimeHolds` looks up, hence the constants below rather than literals.
+ *
+ * @internal
+ */
+const GR_SPINE_GROUPS = deriveRegimeGroups(GR_SPINE_FAMILY, [
+    { name: 'r_s', dim: LENGTH },
+    { name: 'r', dim: LENGTH },
+    { name: 'v', dim: VELOCITY },
+    { name: 'c', dim: VELOCITY },
+], []);
+/** `PiGroup.formula` of `r_s/r`, as `buckinghamPi` spells it. @internal */
+const WEAK_FIELD_GROUP = 'r_s · r^-1';
+/** `PiGroup.formula` of `v/c`, as `buckinghamPi` spells it. @internal */
+const SLOW_MOTION_GROUP = 'v · c^-1';
+/** Schwarzschild radius `r_s = 2GM/c^2` — the definition the derivations use. */
+const schwarzschildRadiusM = (M_kg) => (2 * G_SI * M_kg) / (C_SI * C_SI);
+/**
+ * Solar radius (m). Matches `SOLAR_RADIUS_M` in
+ * `be51-lensing-confrontation.ts`, which is module-private there.
+ *
+ * @internal
+ */
+const SOLAR_RADIUS_M = 6.957e8;
+/** `r_s/r` for a ray at the solar limb: 2 G M_sun / (c^2 R_sun) = 4.2463e-6. */
+const SOLAR_LIMB_RS_OVER_R = schwarzschildRadiusM(M_SUN_SI) / SOLAR_RADIUS_M;
+// ── WHAT THESE BOUNDS ARE, AND WHAT THEY ARE NOT ───────────────────────────
+//
+// Each bound below is the value of its group AT THE POINT THE CONFRONTATION
+// ACTUALLY PROBED, and the inequality is `<=`. So the regime says exactly one
+// thing: this bridge is claimed no further into the field, and no faster, than
+// where it was tested. Anything weaker or slower is inside the claim; anything
+// stronger or faster is outside it.
+//
+// It is NOT a derived breakdown threshold. Nothing in these confrontations
+// determines where the 1PN truncation stops being adequate, and no such number
+// is asserted here. A deliberately conservative claimed EXTENT is the strongest
+// statement these inputs support.
+//
+// REJECTED, and recorded so it is not retried: an earlier revision of this
+// block set the bound to the confrontation fractional 1-sigma precision
+// (`CASSINI.observed_gamma_sigma`, and so on), with the slow-motion bound as
+// its square root. That is a CATEGORY ERROR. Sigma_gamma is a property of the
+// INSTRUMENT — how well the experiment constrained gamma — while `r_s/r` is a
+// property of the FIELD. Both are dimensionless and both are small, which is
+// precisely why the mistake evaluated green. The square root had no physics
+// under it at all, and carrying the paper citation in the `alias` made an
+// invented number read as sourced.
+//
+// SLOW MOTION IS ABSENT FROM BE-37 AND BE-51, ON PURPOSE. `CASSINI` and
+// `VLBI_LAMBERT_2009` each carry only a gamma and its sigma: no velocity, no
+// impact parameter, no mass. A `v/c` bound is therefore NOT DERIVABLE from
+// those records, and an absent group reports `unknown` — a failure to confirm
+// validity, which is the honest answer. Substituting the virial proxy
+// `v/c = sqrt((r_s/r)/2)` would have filled the slot with a derived quantity
+// dressed as an input. Only BE-52 carries a real velocity, because its record
+// carries the orbital elements that determine one.
+/**
+ * BE-37 regime — weak field only.
+ *
+ * `r_s/r <= 2 G M_sun / (c^2 R_sun) = 4.2463e-6`.
+ *
+ * CAVEAT, stated because it is the weak link: `CASSINI` carries NO geometry,
+ * so this bound is not read off the record the way BE-52 bounds are. It comes
+ * from the experiment being a SOLAR CONJUNCTION — a received ray cannot pass
+ * inside the photosphere, so `r >= R_sun` is a hard floor on any such ray, and
+ * the limb is the strongest field the measurement can have sampled. Cassini
+ * actual closest approach was looser still (~1.6 R_sun), so the bound errs in
+ * the safe direction.
+ *
+ * No `v/c` inequality: see the block comment above.
+ *
+ * @internal — like every other atlas-layer symbol, not on the
+ * `src/index.ts` public surface (see `src/atlas/`).
+ */
+export const BE37_REGIME = {
+    family: GR_SPINE_FAMILY,
+    inequalities: [
+        {
+            group: WEAK_FIELD_GROUP,
+            op: '<=',
+            bound: SOLAR_LIMB_RS_OVER_R,
+            alias: 'r_s/r <= r_s(M_sun)/R_sun (solar limb; no conjunction ray passes inside it)',
+        },
+    ],
+    groupDefinitions: GR_SPINE_GROUPS,
+};
+/**
+ * BE-51 regime — weak field only.
+ *
+ * `r_s/r <= 2 G M_sun / (c^2 R_sun) = 4.2463e-6`, and here the limb IS the
+ * confrontation own baseline: `confrontBE51` evaluates the deflection at
+ * `b_m = SOLAR_RADIUS_M` with `M_kg = SOLAR_MASS_KG`. The bound is that
+ * geometry, arithmetic and all.
+ *
+ * `be51Edge.domain` independently requires `b >= 10 r_s` (i.e. `r_s/b <= 0.1`).
+ * That predicate still runs and is not restated here: it is ~24000x looser
+ * than this bound, so recording it would add an inequality that can never be
+ * the binding one. The predicate is NOT replaced by this regime — both are
+ * checked (design note §1).
+ *
+ * No `v/c` inequality: see the block comment above.
+ *
+ * @internal — like every other atlas-layer symbol, not on the
+ * `src/index.ts` public surface (see `src/atlas/`).
+ */
+export const BE51_REGIME = {
+    family: GR_SPINE_FAMILY,
+    inequalities: [
+        {
+            group: WEAK_FIELD_GROUP,
+            op: '<=',
+            bound: SOLAR_LIMB_RS_OVER_R,
+            alias: 'r_s/r <= r_s(M_sun)/R_sun (the solar-limb baseline the confrontation uses)',
+        },
+    ],
+    groupDefinitions: GR_SPINE_GROUPS,
+};
+/**
+ * `r_s/r` at Mercury perihelion, from the `MERCURY` elements:
+ * `r_p = a(1-e) = 4.6001e10 m`, `r_s = 2 G M / c^2 = 2954.0 m`, so
+ * `r_s/r_p = 6.4216e-8`. Perihelion is the tightest point of the orbit, hence
+ * the strongest field the confrontation samples.
+ *
+ * @internal
+ */
+const MERCURY_RS_OVER_R = schwarzschildRadiusM(MERCURY.central_mass_kg) /
+    (MERCURY.semi_major_axis_m * (1 - MERCURY.eccentricity));
+/**
+ * `v/c` at Mercury perihelion, from the `MERCURY` elements. Kepler gives the
+ * mean speed `2*pi*a/T`, and the perihelion speed is
+ * `v_p = (2*pi*a/T) * sqrt((1+e)/(1-e))` = 5.8947e4 m/s, so `v_p/c = 1.9672e-4`.
+ * `period_yr` is in Julian years, matching the `T_yr` the evaluator takes.
+ *
+ * This one IS a velocity carried by the confrontation record — unlike be-37
+ * and be-51, whose records carry none.
+ *
+ * @internal
+ */
+const MERCURY_V_OVER_C = (((2 * Math.PI * MERCURY.semi_major_axis_m) /
+    (MERCURY.period_yr * 365.25 * 86400)) *
+    Math.sqrt((1 + MERCURY.eccentricity) / (1 - MERCURY.eccentricity))) /
+    C_SI;
+/**
+ * BE-52 regime — weak field AND slow motion, both computed from the `MERCURY`
+ * orbital elements, both evaluated at perihelion.
+ *
+ * @internal — like every other atlas-layer symbol, not on the
+ * `src/index.ts` public surface (see `src/atlas/`).
+ */
+export const BE52_REGIME = {
+    family: GR_SPINE_FAMILY,
+    inequalities: [
+        {
+            group: WEAK_FIELD_GROUP,
+            op: '<=',
+            bound: MERCURY_RS_OVER_R,
+            alias: 'r_s/r <= r_s(M)/(a(1-e)) at Mercury perihelion',
+        },
+        {
+            group: SLOW_MOTION_GROUP,
+            op: '<=',
+            bound: MERCURY_V_OVER_C,
+            alias: 'v/c <= v_p/c at Mercury perihelion, from (a, e, T)',
+        },
+    ],
+    groupDefinitions: GR_SPINE_GROUPS,
+};
+/**
+ * The point each confrontation actually sits at, in the regime own groups.
+ * Exported so a caller — and the test — reads the SAME number the bound was
+ * built from, rather than recomputing it and comparing two floats that are
+ * only meant to be equal.
+ *
+ * @internal
+ */
+export const GR_SPINE_CONFRONTATION_POINTS = {
+    37: { [WEAK_FIELD_GROUP]: SOLAR_LIMB_RS_OVER_R },
+    51: { [WEAK_FIELD_GROUP]: SOLAR_LIMB_RS_OVER_R },
+    52: { [WEAK_FIELD_GROUP]: MERCURY_RS_OVER_R, [SLOW_MOTION_GROUP]: MERCURY_V_OVER_C },
+};
 export const BRIDGE_EQUATIONS = [
     {
         id: 11,
@@ -63,6 +304,27 @@ export const BRIDGE_EQUATIONS = [
         dimensional_signature: `[frequency]`,
         tractability_class: 'closed-form',
         notes: `see source | status_text: Established (Lindblad form). Auxiliary coupling-dependent rate corrected 2026-05-04 (R0 audit, branch fix/be-11-decoherence-coupling) from the broken Arrhenius-in-coupling form γ_k(T,λ) = γ_0 exp(-λ/λ_thermal) — which was exponentially *decreasing* in coupling, physically backwards — to the Caldeira-Leggett weak-coupling form γ_k(λ) = γ_0 (λ/λ_0)². The Lindblad master equation itself is unchanged and remains established literature.`,
+        // -- Atlas Phase 1 overlay --
+        // source: Breuer & Petruccione, "The Theory of Open Quantum Systems" (OUP 2002;
+        // checked on search snippets of pp. 116, 136 and 146 only, no full text) -
+        // the Born-Markov derivation of the Markovian master equation: the reduced
+        // density matrix is the partial trace over the environment (p. 116), under
+        // the condition that the bath correlation time is small compared to the
+        // relaxation time (p. 136, in section 3.3.1 "Weak-coupling Limit"); the book
+        // later calls that condition "obviously a weak-coupling condition" (p. 146).
+        // The type 'coarse-graining' is THIS repository's classification of the
+        // partial trace; the book frames the derivation as a limit. Cited by work and
+        // topic: the section numbers in this row's references[] were not re-verified
+        // against an edition in hand.
+        relation: {
+            type: 'coarse-graining',
+            transformation: 'rho_total on (system (x) environment) -> rho = Tr_env rho_total, under ' +
+                'Born-Markov (weak coupling; environment correlation time << system ' +
+                'relaxation time)',
+            // No 'bound': no K / delta / horizon for the Born-Markov truncation is
+            // sourced, and 'coarse-graining' makes 'bound' optional precisely so an
+            // unsourced error estimate is not invented to satisfy the type.
+        },
     },
     {
         id: 12,
@@ -498,6 +760,28 @@ export const BRIDGE_EQUATIONS = [
         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/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).`,
+        // -- Atlas Phase 1 overlay --
+        // source: Kovtun, Son & Starinets 2005 Phys. Rev. Lett. 94:111601
+        // (arXiv:hep-th/0405231) - they compute eta through Kubo's formula and the
+        // low-energy graviton absorption cross section of the dual black brane
+        // (eqs. 5-7, 14). Their eq. (16) shows that in N=4 SYM the first
+        // finite-coupling (string) correction RAISES eta/s above hbar/(4 pi k_B).
+        // Typing the relation as an exact
+        // derivation within the Einstein-gravity limit is THIS repository's
+        // classification.
+        relation: {
+            type: 'derivation',
+            transformation: 'strongly-coupled large-N quantum fluid -> its two-derivative ' +
+                'Einstein-gravity dual: eta from the graviton absorption cross-section, ' +
+                's from the horizon area',
+        },
+        // source: Kovtun, Son & Starinets 2005, eq. (1): eta/s = hbar/(4 pi k_B)
+        // ~ 6.08e-13 K s, stated with hbar and k_B restored, for theories with
+        // gravity duals; they CONJECTURE ("We speculate") that it is a lower bound
+        // for relativistic QFTs at finite temperature and zero chemical potential.
+        // This row's saturating value 6.078e-13 K.s is that SI value, so the unit
+        // system is load-bearing for the NUMBER rather than decorative.
+        conventions: { unitSystem: 'SI' },
     },
     {
         id: 22,
@@ -1037,7 +1321,13 @@ export const BRIDGE_EQUATIONS = [
         formula_latex: `\\langle O_1(x_1) O_2(x_2) O_3(x_3) O_4(x_4) \\rangle = \\sum_{\\Delta,\\ell} C_{12}^O C_{34}^O g_{\\Delta,\\ell}(u,v)`,
         source_part: 'II',
         source_section: `Part-II Category J`,
-        known_issues: [],
+        known_issues: [
+            {
+                severity: 'other',
+                description: `The deprecated single-block residual R = C²·[g_block(u,v) − g_block(v,u)] (BridgeEquations.crossingResidual) has no v^Δφ / u^Δφ prefactors and is written for ONE conformal block; crossing holds only for the full four-point function g = 1 + Σ_O λ_O² g_O with the prefactors (Rattazzi et al. 2008, eq. 4.3). It is kept because it is public API; the encoded relation is BridgeEquations.crossingEquation. Removing crossingResidual is a breaking change for a release.`,
+                fixable: 'spec-edit',
+            },
+        ],
         // Wave J Tier F (2026-05-05): expanded references[] from prose-Status citations.
         references: [
             `Rattazzi, Rychkov, Tonni & Vichi 2008 *JHEP* 0812:031 (arXiv:0807.0004; modern conformal-bootstrap revival, foundational)`,
@@ -1047,9 +1337,41 @@ export const BRIDGE_EQUATIONS = [
         ],
         dependencies: [],
         dimensional_signature: `[1]`, // Wave Z — BE-35 CFT bootstrap crossing residual Tier-5 AST encoding 2026-05-07.
-        encoded_form: `Crossing-symmetry residual R_cross = C²·[g_block(u,v) − g_block(v,u)] (a single dimensionless scalar measuring violation of crossing symmetry between u- and v-channels); reduced from the full four-point CFT correlator + conformal-block decomposition shown in formula_latex.`,
+        encoded_form: `Crossing equation R_cross = v^Δφ·g(u,v) − u^Δφ·g(v,u) for four identical scalars of dimension Δφ (Rattazzi et al. 2008, eq. 4.3), with g the full reduced four-point function 1 + Σ_O λ_O² g_O (identity plus the sum over exchanged operators); a single dimensionless scalar, zero in a consistent CFT. Reduced from the four-point correlator and its conformal-block decomposition 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/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.`,
+        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. | Corrected 2026-09-24 (citation census finding F1): the Wave Z residual C²·[g_block(u,v) − g_block(v,u)] had no v^Δφ / u^Δφ prefactors and was written for one block, and neither is crossing symmetric. Its stated check, "identically zero at the crossing-symmetric point u=v=1/4", holds for ANY function at u = v and so tested nothing. The encoded relation is now the crossing equation v^Δφ·g(u,v) − u^Δφ·g(v,u) for the full four-point function (BE35_CROSSING_EQUATION_RHS, BridgeEquations.crossingEquation), checked exactly against the generalized free field g = 1 + u^Δ + (u/v)^Δ away from u = v. The old evaluator stays, deprecated, as public API.`,
+        // -- Atlas Phase 1 overlay --
+        // BE-35 is adjudicated 'not-a-bridge' (src/bridges/rejected.ts). 'relation'
+        // records what the equation IS WITHIN ITS REGIME; the rejection is linked
+        // below as a counterexample so the overlay cannot contradict the adjudication.
+        // source: Rattazzi, Rychkov, Tonni & Vichi 2008 JHEP 0812:031
+        // (arXiv:0807.0004) and Poland, Rychkov & Vichi 2019 Rev. Mod. Phys.
+        // 91:015002 - crossing symmetry equates the s-channel and t-channel
+        // conformal-block decompositions of ONE four-point function (the s-/t-channel
+        // names are Poland et al.'s, Sec. III.I). Typing this as 'exact-equivalence'
+        // is THIS repository's classification. Poland et al. (Sec. II) call the
+        // crossing relation "a consistency condition on the CFT data"; Rattazzi et al.
+        // (Sec. 4) call it "a set of crossing symmetry constraints for the function
+        // g(u, v)". The swap (u, v) -> (v, u) is its own inverse by construction.
+        relation: {
+            type: 'exact-equivalence',
+            transformation: 's-channel OPE decomposition of <phi phi phi phi> (four identical scalars of ' +
+                'dimension d) -> t-channel decomposition: ' +
+                'the crossing relation v^d g(u, v) = u^d g(v, u) (Rattazzi et al. 2008, eq. 4.3), ' +
+                'i.e. the cross-ratio swap (u, v) -> (v, u) with those prefactors',
+            inverse: '(v, u) -> (u, v) - the swap is an involution and is its own inverse',
+        },
+        // source: the in-repo adjudication registry, reason quoted verbatim (pinned by
+        // tests/bridges/overlay-registry-quote.test.ts). The witness is that registry
+        // entry, which is a checkable artifact in this tree.
+        counterexamples: [
+            {
+                description: 'The crossing-symmetry constraint is internal to a CFT’s ' +
+                    'operator algebra — a consistency condition within one QFT ' +
+                    'regime, not a relation between regimes.',
+                witness: 'src/bridges/rejected.ts - REJECTED_BRIDGE_ADJUDICATIONS, beId 35',
+            },
+        ],
     },
     {
         id: 36,
@@ -1160,6 +1482,27 @@ export const BRIDGE_EQUATIONS = [
         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/archive/v0.7-physics-judgment-proposals.md S3): [classical, gravity]. Rationale (HIGH: self-explanatory; classical EM signal + GR gravity (Shapiro delay)).`,
+        // -- Atlas Phase 1 overlay --
+        // source: Shapiro 1964 Phys. Rev. Lett. 13:789 - he derives the round-trip
+        // excess delay (eq. 1), a proper-time difference from the flat-space value,
+        // from the Schwarzschild solution. Eq. (1) is linear in the gravitational
+        // radius r0 = GM/c^2; he neglects the change-in-path contribution as second
+        // order. This row's
+        // one-way coordinate-time log form (2GM/c^3) ln(R_far/R_near) is THIS
+        // repository's simplification of it, not Shapiro's formula.
+        // NOT typed 'approximation': that member REQUIRES an ApproximationBound with
+        // a Lipschitz K, a delta and a machine horizon, and no such bound is sourced
+        // for the post-Newtonian truncation. The weak-field validity already lives in
+        // be37Edge's 'domain'. Inventing K and delta to reach the more flattering
+        // type is exactly the fabrication this overlay exists to prevent.
+        relation: {
+            type: 'derivation',
+            transformation: 'Schwarzschild metric -> coordinate-time delay of a null ray, leading ' +
+                'order in GM/(c^2 R): Delta t = (2GM/c^3) ln(R_far/R_near)',
+        },
+        // -- Atlas Phase 2 overlay: the machine form of "leading order in
+        // GM/(c^2 R)" above. Bound sourced from the Cassini 1σ; see BE37_REGIME.
+        regime: BE37_REGIME,
     },
     {
         id: 38,
@@ -1521,7 +1864,7 @@ export const BRIDGE_EQUATIONS = [
     },
     {
         id: 48,
-        name: `GRW mass-amplified localization rate (CSL extension)`,
+        name: `GRW mass-amplified localization rate`,
         category: `O`,
         category_name: `Quantum Foundations`,
         bridges: [`quantum`, `classical`],
@@ -1534,22 +1877,22 @@ export const BRIDGE_EQUATIONS = [
         // master equation remains the bridge framing / context; the scalar
         // rate is the encodable bridge content.
         status: 'speculative',
-        context: `GRW / CSL mass-amplified spontaneous-localization rate λ_GRW(m) = λ_0 · (m/m_0): a particle of mass m localizes at rate proportional to m/m_0, where m_0 is the nucleon mass and λ_0 ≈ 10⁻¹⁶ /s is the canonical GRW 1986 single-nucleon rate. The full Lindblad master equation is the framing; the scalar rate is the AST-encoded bridge content.`,
+        context: `GRW mass-amplified spontaneous-localization rate λ_GRW(m) = λ_0 · (m/m_0), the GRW (QMSL) centre-of-mass amplification λ_macro = N λ_micro (Bassi & Ghirardi 2003 §6.4); in CSL the macroscopic rate is γ D_0 n_out instead (§8.3). A particle of mass m localizes at rate proportional to m/m_0, where m_0 is the nucleon mass and λ_0 ≈ 10⁻¹⁶ /s is the canonical GRW 1986 single-nucleon rate. The full Lindblad master equation is the framing; the scalar rate is the AST-encoded bridge content.`,
         formula_latex: `\\lambda_{\\text{GRW}}(m) = \\lambda_0 \\cdot \\frac{m}{m_0}, \\quad \\lambda_0 \\approx 10^{-16}\\,\\text{s}^{-1}, \\quad m_0 = m_{\\text{nucleon}}`,
         source_part: 'II',
         source_section: `Part-II Category O`,
         known_issues: [
             {
                 severity: 'phenomenological-ansatz',
-                description: `[Reformulated 2026-05-07, Wave Y] The mass-amplified localization rate λ_GRW(m) = λ_0 · (m/m_0) is canonical CSL physics (Pearle 1989 *Phys. Rev. A* 39:2277; Ghirardi-Pearle-Rimini 1990 *Phys. Rev. A* 42:78; Bassi-Ghirardi 2003 *Phys. Rep.* 379:257 review §2.1). The original BE-48 entry encoded the full GRW Lindblad master equation dρ/dt = -(i/ℏ)[H,ρ] + λ ∫d³x [L_x ρ L_x† - (1/2){L_x† L_x, ρ}] which is operator-valued and has no clean scalar AST encoding. The Wave Y reformulation encodes only the scalar rate, parallel to BE-11's encoding of the Caldeira-Leggett rate γ_k(λ) (not the full Lindblad master equation). The bridge framing — using GRW / CSL mass-amplification as a UPT quantum-foundations bridge between standard QM and a possible objective-collapse modification of QM — is the speculative element documented here. λ_0 = 10⁻¹⁶ /s is the canonical 1986 GRW value (Ghirardi-Rimini-Weber Phys. Rev. D 34:470); experimental constraints (Adler 2007 *J. Phys. A* 40:2935; cold-atom interferometry; X-ray emission tests) bound it. The phenomenological-ansatz tag is for the bridge framing, not for the canonical λ_GRW = λ_0(m/m_0) rate itself.`,
+                description: `[Reformulated 2026-05-07, Wave Y] The mass-amplified localization rate λ_GRW(m) = λ_0 · (m/m_0) is the GRW (QMSL) centre-of-mass amplification λ_macro = N λ_micro (Bassi-Ghirardi 2003 *Phys. Rep.* 379:257 review §6.4), with N = m/m_0 this repository's identification; CSL gives γ D_0 n_out instead (review §8.3). The original BE-48 entry encoded the full GRW Lindblad master equation dρ/dt = -(i/ℏ)[H,ρ] + λ ∫d³x [L_x ρ L_x† - (1/2){L_x† L_x, ρ}] which is operator-valued and has no clean scalar AST encoding. The Wave Y reformulation encodes only the scalar rate, parallel to BE-11's encoding of the Caldeira-Leggett rate γ_k(λ) (not the full Lindblad master equation). The bridge framing — using GRW / CSL mass-amplification as a UPT quantum-foundations bridge between standard QM and a possible objective-collapse modification of QM — is the speculative element documented here. λ_0 = 10⁻¹⁶ /s is the canonical 1986 GRW value (Ghirardi-Rimini-Weber Phys. Rev. D 34:470); experimental constraints (Adler 2007 *J. Phys. A* 40:2935; cold-atom interferometry; X-ray emission tests) bound it. The phenomenological-ansatz tag is for the bridge framing, not for the canonical λ_GRW = λ_0(m/m_0) rate itself.`,
                 fixable: 'reformulation',
             },
         ],
         references: [
             `Ghirardi, Rimini & Weber 1986 *Phys. Rev. D* 34:470 (original GRW objective-collapse master equation; canonical 3D form; λ_0 ≈ 10⁻¹⁶ /s)`,
-            `Pearle 1989 *Phys. Rev. A* 39:2277 (Continuous Spontaneous Localization extension; mass-density-coupled noise)`,
-            `Ghirardi, Pearle & Rimini 1990 *Phys. Rev. A* 42:78 (CSL with mass-amplification mechanism: rate λ ∝ m/m_0 for composite systems)`,
-            `Bassi & Ghirardi 2003 *Phys. Rep.* 379:257 (arXiv:quant-ph/0302164; Dynamical reduction models — comprehensive review §2.1 covers the mass-amplification rate)`,
+            `Pearle 1989 *Phys. Rev. A* 39:2277 (Continuous Spontaneous Localization; not seen)`,
+            `Ghirardi, Pearle & Rimini 1990 *Phys. Rev. A* 42:78 (the CSL paper; metadata only)`,
+            `Bassi & Ghirardi 2003 *Phys. Rep.* 379:257 (arXiv:quant-ph/0302164; Dynamical reduction models — review; §6.4 gives the GRW/QMSL centre-of-mass amplification λ_macro = N λ_micro, §8.3 the CSL rate γ D_0 n_out)`,
             `Bassi, Lochan, Satin, Singh & Ulbricht 2013 *Rev. Mod. Phys.* 85:471 (arXiv:1204.4325; Models of wave-function collapse, underlying theories, and experimental tests)`,
             `Adler 2007 *J. Phys. A* 40:2935 (CSL parameter constraints from cosmic-ray-induced ionization rates)`,
         ],
@@ -1557,7 +1900,23 @@ 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/archive/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). | Corrected 2026-09-24 (citation census finding F2): the name said "(CSL extension)" and the context said "GRW / CSL", crediting the linear law λ_0 (m/m_0) to CSL. Bassi & Ghirardi 2003 give it for GRW/QMSL (§6.4, λ_macro = N λ_micro) and give CSL a different macroscopic rate, γ D_0 n_out (§8.3). The name and context now say GRW; the earlier text above is kept as history.`,
+        // -- Atlas Phase 1 overlay --
+        // source: Bassi & Ghirardi 2003 Phys. Rep. 379:257 (review of GRW 1986 and
+        // CSL; Ghirardi, Pearle & Rimini 1990 Phys. Rev. A 42:78 is the CSL paper,
+        // metadata only). The linear amplification lambda_0 (m/m_0) is the GRW/QMSL
+        // centre-of-mass rate lambda_macro = N lambda_micro (review §6.4), with
+        // N = m/m_0 THIS repository's identification; it is derived, not fitted. In
+        // CSL the macroscopic rate is gamma D_0 n_out instead (review §8.3). The SPECULATIVE
+        // element is the bridge framing (that objective collapse happens at all),
+        // which this row's 'status' already carries; the overlay does not touch
+        // 'status'.
+        relation: {
+            type: 'derivation',
+            transformation: 'single-nucleon GRW localization rate lambda_0 at reference mass m_0 -> ' +
+                'composite-mass rate lambda_GRW(m) = lambda_0 (m/m_0) by the GRW (QMSL) ' +
+                'centre-of-mass amplification lambda_macro = N lambda_micro',
+        },
     },
     {
         id: 49,
@@ -1654,14 +2013,31 @@ export const BRIDGE_EQUATIONS = [
         known_issues: [],
         references: [
             `Dyson, Eddington & Davidson 1920 Phil. Trans. R. Soc. A 220:291 (original 1919 eclipse expedition)`,
-            `Einstein 1915 Preuss. Akad. Wiss. 844 (GR prediction of 4GM/(Rc²) deflection)`,
-            `Carroll 2004 Spacetime and Geometry §8.5 (standard GR textbook derivation)`,
+            `Einstein 1915 Preuss. Akad. Wiss. 831 (the perihelion paper: the doubled deflection 2α/Δ, 1.7″ at the Sun's limb, p. 834; 4GM/(Rc²) needs α = 2GM/c², which is this repository's identification)`,
+            `Carroll 2004 Spacetime and Geometry (not seen: cited as the standard textbook; no section or content verified)`,
             `Will 2014 Living Rev. Relativity 17:4 (arXiv:1403.7377; modern observational tests)`,
         ],
         dependencies: [],
         dimensional_signature: `[1]`,
         tractability_class: 'closed-form',
         notes: `Added 2026-05-15 (v0.4.0 Task 15 [U]): Eddington 1919 gravitational lensing bridge. evaluateGravitationalLensing({M_kg, b_m}) → {alpha_rad, alpha_arcsec, M_kg, b_m} in src/bridges/gravitational-lensing.ts. Solar grazing validation: α ≈ 8.49×10⁻⁶ rad ≈ 1.75 arcsec. Domain: b > 0; weak-field: b >> r_Schwarzschild = 2GM/c². Geodesic cross-validation (null RK4, 200k steps) passes to ±1e-4 relative error. First bridge beyond the original 40-bridge spec catalog.`,
+        // -- Atlas Phase 1 overlay --
+        // source: Einstein 1915 Preuss. Akad. Wiss. 831 (the perihelion paper, which
+        // announces the doubled deflection, 1.7", on p. 834; pp. 844-847 are the
+        // field-equations paper; Einstein worked by successive approximation), and
+        // Carroll, "Spacetime and Geometry" (not seen). That alpha = 4GM/(b c^2)
+        // follows from Schwarzschild null geodesics at first order in GM/(b c^2) is
+        // THIS repository's statement. NOT typed 'approximation' - see BE-37: no Lipschitz K / delta /
+        // machine horizon is sourced for the post-Newtonian truncation, and the type
+        // demands all three.
+        relation: {
+            type: 'derivation',
+            transformation: 'Schwarzschild null geodesic with impact parameter b -> total deflection ' +
+                'angle at first order in GM/(b c^2): alpha = 4GM/(b c^2)',
+        },
+        // -- Atlas Phase 2 overlay: the machine form of "first order in GM/(b c^2)"
+        // above. Bound sourced from the VLBI 1σ; see BE51_REGIME.
+        regime: BE51_REGIME,
     },
     {
         id: 52,
@@ -1678,13 +2054,35 @@ export const BRIDGE_EQUATIONS = [
         references: [
             `Einstein 1915 Preuss. Akad. Wiss. 831 (GR prediction of perihelion advance)`,
             `Le Verrier 1859 (original anomalous Mercury precession observation, 43"/century)`,
-            `Carroll 2004 Spacetime and Geometry §7.4 (standard GR textbook derivation)`,
+            `Carroll, Lecture Notes on General Relativity (gr-qc/9712019), eq. (7.56) (the apsidal frequency ω_a; refers to Weinberg for the derivation)`,
             `Will 2014 Living Rev. Relativity 17:4 (arXiv:1403.7377; modern observational tests)`,
         ],
         dependencies: [],
         dimensional_signature: `[1]`,
         tractability_class: 'closed-form',
         notes: `Added 2026-05-15 (v0.4.0 Task 16a [U]): Einstein 1915 perihelion precession bridge (closed-form only; geodesic cross-validation deferred to sub-task 16b). evaluatePerihelionPrecession({M_kg, a_m, e, T_yr}) → {dphi_rad_per_orbit, dphi_arcsec_per_orbit, dphi_arcsec_per_century, M_kg, a_m, e} in src/bridges/perihelion-precession.ts. Mercury validation: ~43.0 arcsec/century within 0.5 arcsec. Domain: 0 ≤ e < 1, a > 0, T > 0 (bound elliptical orbits only). Second bridge beyond the original 40-bridge spec catalog.`,
+        // -- Atlas Phase 1 overlay --
+        // source: Einstein 1915 Preuss. Akad. Wiss. 831-839, eqs. (13)-(14):
+        // epsilon = 3 pi alpha/(a(1-e^2)), obtained by SUCCESSIVE APPROXIMATION of
+        // his field equations (Schwarzschild's exact solution came in 1916). Einstein
+        // defines alpha only as a constant fixed by the Sun's mass (p. 833);
+        // alpha = 2GM/c^2, which gives Delta phi = 6 pi GM/(a(1-e^2) c^2), is THIS
+        // repository's identification. The transformation below describes the
+        // standard textbook route through the Schwarzschild orbit equation, not
+        // Einstein's. Carroll's lecture notes (gr-qc/9712019, eq. 7.56) give the
+        // apsidal frequency omega_a = 3(GM)^(3/2)/(c^2 (1-e^2) r^(5/2)) and refer to
+        // Weinberg for the derivation; converting omega_a to Delta phi per orbit with
+        // Kepler's third law is THIS repository's step. NOT typed 'approximation',
+        // for the BE-37 reason.
+        relation: {
+            type: 'derivation',
+            transformation: 'Schwarzschild timelike geodesic for a bound orbit (a, e) -> perihelion ' +
+                'advance per orbit at first post-Newtonian order: Delta phi = ' +
+                '6 pi GM/(a(1-e^2) c^2)',
+        },
+        // -- Atlas Phase 2 overlay: the machine form of "first post-Newtonian
+        // order" above. Bound sourced from Clemence's fractional σ; see BE52_REGIME.
+        regime: BE52_REGIME,
     },
     // ---------------------------------------------------------------------------
     // v0.7 BE-X re-encoding sprint additions — structural AST encodings
@@ -1769,6 +2167,29 @@ export const BRIDGE_EQUATIONS = [
         dimensional_signature: `[L^-2 M^-1 T^3 I^2]`,
         tractability_class: 'closed-form',
         notes: `Added 2026-07-05 (PI-instrument bridge expansion): integer quantum Hall / TKNN topological Hall conductance. Closed-form evaluator evaluateQuantumHall({C}) → {sigma_xy_S, R_H_ohm, R_K_ohm} in src/bridges/be55-quantum-hall.ts (BE-51/52 pattern, no AST round-trip; registered in EXPECTED_DIMENSION_BY_BRIDGE). Confronted via be55-quantum-hall-confrontation.ts on UNIVERSALITY (material-independence to 8.6×10⁻¹¹, graphene vs GaAs) — NOT R_H=h/Ce², which is definitional post-2019 SI. Populates the underused Topology axis. Adam/Eve physics vet 2026-07-05: GREEN/GREEN.`,
+        // -- Atlas Phase 1 overlay --
+        // source: Thouless, Kohmoto, Nightingale & den Nijs 1982 Phys. Rev. Lett.
+        // 49:405 (abstract checked; full text not accessed). The abstract says "The
+        // Kubo formula is written in a form that makes apparent the quantization when
+        // the Fermi energy lies in a gap." The 2016 Nobel scientific background (§4)
+        // states the result as sigma_H = n e^2/h with n an integer (its eq. 9), writes
+        // sigma_H as a sum over Landau levels of Berry-curvature integrals (its eq. 10),
+        // each equal to a first Chern number C1 (its eq. 13, where n labels the Landau
+        // level), and says "the relation to the mathematics of fibre bundles was
+        // established" later by Avron, Seiler & Simon 1983 and Kohmoto 1985. The
+        // quantization is the derivation's result, not an ansatz.
+        relation: {
+            type: 'derivation',
+            transformation: 'filled Bloch bands of a 2D electron gas in a strong field -> Kubo ' +
+                'transverse conductance sigma_xy = C e^2/h, C the TKNN/Chern integer',
+        },
+        // source: von Klitzing, Dorda & Pepper 1980 Phys. Rev. Lett. 45:494 (full text
+        // read by two model checks) report the
+        // quantized Hall RESISTANCE in SI ohms, as R_H = alpha^-1 mu0 c / 2i (eq. 4).
+        // sigma_xy = C e^2/h itself has the same form in Gaussian units; what is SI
+        // here is this row's values in ohms and siemens, so the unit system is
+        // load-bearing for the numbers.
+        conventions: { unitSystem: 'SI' },
     },
     {
         id: 56,
@@ -1835,6 +2256,30 @@ export const BRIDGE_EQUATIONS = [
         dimensional_signature: `[L^4 M^2 T^-5 I^-2]`,
         tractability_class: 'closed-form',
         notes: `Added 2026-07-05 (PI-instrument bridge expansion): Johnson-Nyquist voltage-noise PSD. Closed-form evaluator evaluateJohnsonNyquist({T_K, R_ohm}) → {S_V_V2_per_Hz} in src/bridges/be58-johnson-nyquist.ts. Confronted via be58-johnson-nyquist-confrontation.ts (value: NIST JNT k_B vs CODATA, 0.81σ — independent, resistance traceable to QHE/BE-55, T to acoustic thermometry). Adam/Eve physics vet 2026-07-05: GREEN/GREEN (factor-4 confirmed to < ppm).`,
+        // -- Atlas Phase 1 overlay --
+        // source: Nyquist 1928 Phys. Rev. 32:110 - S_V = 4 k_B T R is derived from the
+        // second law, transmission-line mode counting and equipartition (eq. 1).
+        // Nyquist then gives the Planck-weighted form as eq. (8). Reading eq. (1) as
+        // the h f << k_B T limit of eq. (8) is THIS repository's gloss.
+        // The limit is stated in 'transformation' rather than typed 'approximation',
+        // because no Lipschitz K / delta / machine horizon for the h f / k_B T
+        // truncation is sourced.
+        relation: {
+            type: 'derivation',
+            transformation: 'resistor R in thermal equilibrium at T -> one-sided voltage-noise PSD ' +
+                'S_V = 4 k_B T R, in the classical limit h f << k_B T',
+        },
+        // source: Nyquist 1928, eq. (1): E^2 d nu = 4 R k T d nu. The paper gives no
+        // unit for E, R, k or T; it states frequency in "cycles per second" (p. 112).
+        // Reading it in SI (R in ohms, S_V in V^2/Hz) is this repository's choice. Its
+        // frequencies run over positive values (it integrates from 0 to
+        // infinity), consistent with a one-sided spectrum, though it does not
+        // discuss the choice. NOTE: the LOAD-BEARING convention here is the
+        // one-sided-vs-two-sided PSD choice, which is what makes the prefactor 4
+        // rather than 2. 'Conventions' has no field for it, so it is recorded in
+        // 'transformation' above and reported as an overlay gap rather than forced
+        // into 'fourierNormalization', which means something else.
+        conventions: { unitSystem: 'SI' },
     },
     {
         id: 59,
@@ -1843,7 +2288,7 @@ export const BRIDGE_EQUATIONS = [
         category_name: `Condensed Matter - High Energy Bridges`,
         bridges: [`quantum`, `classical`],
         status: 'established',
-        context: `A Josephson junction biased at DC voltage V emits radiation at f = K_J·V, with the Josephson constant K_J = 2e/h = 483597.8484 GHz/V (exact, post-2019 SI). The factor 2e is the Cooper-pair charge — the effect is macroscopic quantum coherence of a BOSONIC condensate. It is the quantum standard of the volt; with BE-55 (R_K = h/e², the ohm) and BE-58 (k_B via Johnson noise) it completes the quantum metrology triangle. Josephson 1962 (Nobel 1973).`,
+        context: `A Josephson junction biased at DC voltage V emits radiation at f = K_J·V, with the Josephson constant K_J = 2e/h, exact in the post-2019 SI (483597.8484 GHz/V to 10 significant figures). The factor 2e is the Cooper-pair charge — the effect is macroscopic quantum coherence of a BOSONIC condensate. It is the quantum standard of the volt; with BE-55 (R_K = h/e², the ohm) and BE-58 (k_B via Johnson noise) it completes the quantum metrology triangle. Josephson 1962 (Nobel 1973).`,
         formula_latex: `f = \\frac{2e}{h} V, \\quad K_J = \\frac{2e}{h}`,
         source_part: 'III',
         source_section: `PI-instrument condensed-matter cluster (2026-07-05) — established data-confrontable bridge`,
@@ -1857,6 +2302,24 @@ export const BRIDGE_EQUATIONS = [
         dimensional_signature: `[frequency]`,
         tractability_class: 'closed-form',
         notes: `Added 2026-07-05 (condensed-matter cluster): AC Josephson f = 2eV/h. Closed-form evaluator evaluateACJosephson({V_volts}) → {f_Hz, K_J_Hz_per_V} in src/bridges/be59-ac-josephson.ts. Confronted via be59-ac-josephson-confrontation.ts on UNIVERSALITY (junction/material-independence of the Josephson volt to ~1e-10) — NOT the post-2019-definitional K_J. statistics 'bosonic' (Cooper pair). Completes the metrology triangle with BE-55 + BE-58. Adam/Eve physics vet 2026-07-05: GREEN/GREEN.`,
+        // -- Atlas Phase 1 overlay --
+        // source: Josephson 1962 Phys. Lett. 1:251 (paywalled; NOT read, so this
+        // attribution is unverified). His 1973 Nobel Lecture states the phase relation
+        // d(Delta phi)/dt = 2eV/hbar (eq. 4) and, after eq. (5), "a periodically
+        // varying current at a frequency 2eV/h". That the factor
+        // 2e is the Cooper-pair charge is the standard reading.
+        relation: {
+            type: 'derivation',
+            transformation: 'DC bias V across a Josephson junction -> radiation frequency ' +
+                'f = (2e/h) V via the phase relation d(phi)/dt = 2eV/hbar',
+        },
+        // source: BIPM, "The International System of Units (SI)", 9th edition (2019;
+        // checked in version 4.01), which fixes e and h exactly. The Brochure states
+        // neither K_J = 2e/h nor its SI value; it mentions only the abrogated
+        // conventional K_J-90 = 483 597.9 GHz/V. Given K_J = 2e/h (Josephson, above),
+        // K_J is exact in SI (483597.848416984... GHz/V; 483597.8484 is that value
+        // rounded) because e and h are fixed. That inference is THIS repository's.
+        conventions: { unitSystem: 'SI' },
     },
     {
         id: 60,