# Halcyon — Davis Geometric > Engineered modification of local inertial response. Patent pending. ἀλκυών — the days the wind stops blowing. Halcyon is a small spherical cage of **ninety Josephson junctions** arranged on the geometry of a buckyball. Drive the junctions in the right pattern and the gauge field inside settles into a non-trivial topological configuration. The Davis Field Equations framework predicts that this field **locally modifies the effective inertial mass** of an object suspended at its centre. ## Headline numbers (production-scale validation run) | Metric | Value | Notes | |---|---|---| | Calibration gap | 0.0061 | heatbath vs Migdal–Witten exact at β=2.5, 1.63× under 0.01 tol | | Constraint preserved | 4.11×10⁻¹⁵ | covariant Gauss residual at FP64 floor, 1000 steps | | Method-gap diagnostic | 0.0449 | microcanonical vs canonical at 0.02 tol; documented finite-size effect on 93-DOF substrate (Section 7 ergodicity) | | Hard gates passed | 7 / 8 | remaining is the Section 5 microcanonical-vs-canonical cross-check, a documented finite-size effect on a 93-DOF substrate | --- ## A hundred years of attempts Every previous attempt to engineer inertia either failed to predict a specific number in advance, or saw the effect shrink the moment the measurement got serious. The framework gets it right by doing the opposite: declare the prediction up front, then let the experiment falsify it. - **1918** — Lense–Thirring frame drag: predicted, not measured for 86 years. - **1990** — Woodward Mach-effect thrusters: effect shrank with measurement quality. - **1992** — Podkletnov rotating disc: never reproduced by an independent lab. - **2001** — BAE Greenglow / Project Greenglow: closed without producing a result. - **2016** — Eagleworks EmDrive: thermal artifact, not new physics. - **2026** — Halcyon: falsifiable, predicted in advance. The pattern repeats because the discipline is missing. Halcyon's experiment is decided before it runs — a slope above the published sensitivity floor measures the coupling; a curve consistent with zero within the preregistered systematics budget falsifies the predicted Branch-XIII magnitude. Either answer is publishable. That's the difference. --- ## A thread, pulled two ways Before any gauge field, before the cage, before the buckyball: the textbook two-thread demo already shows what an inertia experiment is actually measuring. ### In plain English A weight hangs from a thread tied to the ceiling. From the bottom of the weight, a second thread hangs to your hand. Pull the lower thread **slowly** and the **upper** thread breaks: gravity adds to your pull, the ceiling helps carry the load, the upper thread bears `mg + F`. Pull **fast** and the **lower** thread breaks: the weight cannot get the news to the ceiling in time, so your pull arrives at the lower thread alone. Same weight. Same gravity. *Different thread breaks.* The difference is how fast you pulled — and that means inertia is not a number stamped on the mass. It is a property of how stress redistributes through the bulk that holds it, and that redistribution takes time. ### The math The control parameter is the **Deborah number** — the ratio of the bulk's intrinsic relaxation time to the loading time: > D = τ / t_load = r τ / F\* where `r = dF/dt` is the ramp rate, `t_load = F*/r` is the time to reach the breaking-force scale `F*`, and `τ` is the inertial relaxation time of the bulk. - `D ≪ 1` (slow): quasi-static — upper bears `mg + F` - `D ≫ 1` (fast): impulsive — lower bears `F` alone - `D ~ 1`: crossover In an idealised elastic model with no dissipation, the inertial crossover is at > ω\_c = √(K / μ), τ\_μ = √(μ / K), μ = K τ\_μ² For a real apparatus, damping returns, and the relevant transfer function is > χ\_Q(ω) = 1 / ( K\_Q + i c\_Q ω − μ\_Q ω² ) For a measured normal mode of shape `φ_n(x)`, the mode-effective inertial coefficient is > μ\_eff^(n)(Q) ~ ∫ κ\_Q(x) τ\_Q²(x) |φ\_n(x)|² dV The mode-shape factor `|φ_n|²` is the textbook normal-mode projection and prevents the ambiguity of asking "*whose* effective mass." The falsifiable Halcyon claim, written cleanly: > ∂\_Q μ\_Q ≠ 0 (at fixed K\_Q, c\_Q, drive amplitude, thermal & EM > systematics) Note: a shift in ω\_c(Q) alone proves only a shift in the ratio K\_Q/μ\_Q. The clean inertial-shift claim requires fitting `K_Q`, `μ_Q`, and `c_Q` independently from the full transfer function. ### Grounded in standard physics The slow/fast thread split is the canonical demonstration of impulse vs. quasi-static equilibrium (Feynman, *Lectures on Physics*, Vol. I, §10-2). The dimensionless ratio of relaxation time to observation time is the **Deborah number**, due to Reiner, *Physics Today* 17(1), 62 (1964), doi:10.1063/1.3051374. The transfer-function form is the standard linear- response (Kubo) susceptibility for a single mechanical degree of freedom (Goldstein, Poole & Safko, *Classical Mechanics*, 3rd ed., §6.4). The equality `m_i = m_g` at material constancy is the **weak equivalence principle**; the current best test is MICROSCOPE (Touboul et al., PRL 129, 121102, 2022, doi:10.1103/PhysRevLett.129.121102), bounding the differential Eötvös ratio at the 10⁻¹⁵ level between titanium and platinum at fixed material state. Halcyon does not contradict MICROSCOPE; it tests a different variable. MICROSCOPE asks whether `m_i / m_g` depends on **material**; Halcyon asks whether the dynamic inertial coefficient `μ_Q` depends on the **programmed gauge sector of the surrounding apparatus** at fixed material and fixed static gravitational load. A non-zero `∂_Q μ_Q` would be an **equivalence-principle-sensitive** result — not a contradiction- free preservation of `m_i = m_g`. Halcyon is by construction a **state-programmed equivalence-principle stress test**. The class of prior claims Halcyon distinguishes itself from — the Woodward effect, Podkletnov's rotating disc, the EmDrive — has historically failed under careful measurement; that record is precisely why Halcyon's target is a **dynamic transfer-function shift** rather than a static weight or thrust anomaly, with a preregistered systematics budget on the model of MICROSCOPE. ### What you would see on the bench You hang a small test mass. You read its weight on the scale — *it does not change*. You drive it gently at one frequency and watch how it moves; you drive it at another, and another. You sweep a curve: how easily does this thing move at this frequency? You change the programmed gauge sector of the cage around it (`Q`). You sweep the curve again. If the curve shifts — *same weight, same gravity, different curve* — that is the signature. The scale never notices. The hands feeling the threads never notice. But the dynamic response of the mass to a known driving force notices, and the size of the shift tells you the predicted slope `α = ∂μ / ∂Q`. That is the entire experiment. The threads are the toy version; the lock-in driven rig is the real version. The formal derivation, tied to the buckyball substrate, is in Solves Vol. 4 Appendix A.6. --- ## One cage. Three programmed sectors. Predicted inertial shifts. The same physical apparatus, holding the same test mass, is predicted to produce different effective inertial response depending on the **programmed gauge sector Q** the cage drives the field into. The experiment is the m_eff/m_0 curve across sectors. ### In plain English In Yang–Mills gauge theory the field configurations split into disconnected classes labelled by an integer Q, the **topological charge**. No continuous deformation can carry the field from one class to another — the way you can't smoothly turn a donut into a sphere. Each class is its own ground state with its own physics. On the buckyball cage we work with **programmed gauge sectors labelled by Q**, designed to mirror that continuum sector structure on the hardware substrate. Halcyon's prediction: those ground states differ in their **coupling to inertial mass**, and the same test mass at the cage's centre feels different effective inertia depending on which Q the field is parked in. ### Grounded in standard physics Integer-valued Q in 4D Yang–Mills was identified by Belavin, Polyakov, Schwarz and Tyupkin (Phys. Lett. B 59, 85, 1975); distinct Q sectors give the QCD vacuum its θ-dependence ('t Hooft, PRL 37, 8, 1976) and host axion physics (Wilczek, PRL 40, 279, 1978; Weinberg, PRL 40, 223, 1978). The lattice form used here is the standard Wilson construction (Wilson, PRD 10, 2445, 1974). What Halcyon adds is the prediction that the same vacuum structure should leave a measurable fingerprint on local inertial response, plus an apparatus that can drive between sectors. ### The three states **Q = 0 — trivial vacuum, cage off, m_eff/m_0 = 1.0000** All junction drives off; only idle bias remains. The gauge field sits in the trivial ground state — no winding, no topological charge. This is the **experimental control**: no programmed sector, no predicted effect, m_eff/m_0 = 1 by definition. *In everyday terms:* Newton's laws untouched. The same push produces the same motion. The test mass behaves exactly like what it weighs. Run parameters: Junction biases 0 / 90. Wilson loop ⟨P⟩ — n/a. Q = 0. **Q = 1 — first non-trivial sector, cage on, m_eff/m_0 = 0.9901** All 90 junctions driven; the gauge field winds **once** around the cage. The framework predicts a ≈1% reduction in effective inertia at this winding number — the smallest non-zero signal the apparatus is designed to resolve. *In everyday terms:* the same push produces about **1% more motion**. The test mass still weighs the same on a scale, but reacts to a force as if it were ≈1% lighter. Run parameters: Junction biases 90 / 90. Wilson loop ⟨P⟩ = 0.507. Q = 1. **Q = 2 — second non-trivial sector, cage on, m_eff/m_0 = 0.9803** Same hardware; the field winds **twice**. If the inertia coupling is linear in Q, the framework predicts this number to be **twice** the Q=1 deviation. Q=2 vs Q=1 is therefore the **linearity falsifier**. *In everyday terms:* same push, about **2% more motion**. Weight on a scale unchanged; reacts as if ≈2% lighter. If this number is not roughly double the Q=1 result, the simple linear coupling is wrong. Run parameters: Junction biases 90 / 90. Wilson loop ⟨P⟩ = 0.514. Q = 2. ### The falsifier The slope of m_eff/m_0 against Q is the coupling constant **α**. A measured slope above the sensitivity floor measures α; a slope consistent with zero within a preregistered systematics budget (thermal, magnetic, vibration, cage drift) falsifies the predicted coupling at the Branch-XIII magnitude. The sensitivity floor and systematics list are published before first data. The numbers above are *predicted*; the experiment will return what it returns. --- ## Six lines on a whiteboard The substrate is standard lattice gauge theory — Wilson, Kogut, Susskind, Migdal, Witten. The framework contributions are the lines marked **DW**. 1. **C = τ / κ** (DW; Davis Field Equation) Completion capacity equals tolerance budget over local curvature κ. τ is the framework tolerance budget (not proper time or string tension); κ is the local framework curvature scalar (not kinetic energy or Ricci). 2. **Φ: A/G → R^d, Φ(A) = (Re Tr W_γᵢ(A))ᵢ** (DW; Davis–Wilson Map) Gauge-invariant feature map on moduli space A/G, built from a chosen finite Wilson-loop family {γᵢ}. Separation on the full continuum moduli space would require the complete loop algebra (Giles / Sengupta) and is not claimed here. 3. **clustering(Φ) + curvature gap(S_YM) ⟹ H_lattice ≥ κ** (DW; lattice mass gap theorem, v6) Discrete clustering plus curvature gap implies a finite-substrate spectral gap at strong coupling. Proved for SU(N), N≥2 on a finite lattice; numerical validation in this run is SU(2) on the buckyball substrate. *This is the lattice strong-coupling gap, not the Clay continuum Yang–Mills mass gap, which remains open.* 4. **δm²(x) = F[Ω(x), τ(x), κ(x)]** (DW; variable-β coupling, Branch XIII) Proposed inertia-coupling ansatz. The current interim form is gauge- invariant at FP64 (Section 4 of the validation report verifies) and dimensionally correct, but is *not* derived from the Davis Field Equations; Branch XIII derivation pending (see Section 7 'framework' open item). 5. **Uᵉ^phys = exp(i Tᵃ θᵉᵃ)** (Hardware realisation) Each SU(2) link variable encoded across a multi-mode transmon network with one bias current per Lie-algebra component (a = 1..N²−1; 3 modes per link for SU(2)). The single Josephson phase is a U(1) angle, so this encoding is open hardware work, not a drop-in identification (see Section 7 'hardware' open item). 6. **m_eff(Q) / m_0 = f(Q; α)** (The observable) The curve the experiment measures. A measured slope above the sensitivity floor measures α; a slope consistent with zero within a preregistered systematics budget (thermal, magnetic, vibration, cage drift) falsifies the predicted coupling at the Branch-XIII magnitude. Sensitivity floor and systematics list are published before first data. --- ## What's validated. What's open. ### Published (foundational results that stand independent of Halcyon) - Yang–Mills lattice mass gap (v6, finite graph, SU(N) N≥2, strong coupling) - Davis–Wilson Map as gauge-invariant feature map on A/G - Matter-sector v1 validation methodology (SU(3) staggered fermions; SU(2) fermions open) - Separation score S = 2.87 (matter-sector v1, SU(3)) - Radial gap ratio G_r = 85 (matter-sector v1, SU(3)) ### Validated · Simulated (computed against analytical targets) - Migdal–Witten gap 6.13×10⁻³ at β=2.5 (1.63× under 0.01 tol) - Covariant Gauss residual 4.00×10⁻¹⁵ on final state (vs 10⁻⁹ tol) - Method-gap diagnostic 4.49×10⁻² (FAIL vs 0.02 tol; Section 7 ergodicity) - Time reversibility |ΔU|∞ = 6.72×10⁻¹² (vs 10⁻⁸ tol) - Energy drift max |δH / H_0| = 3.78×10⁻⁵ (vs 10⁻³ tol, 26.5× under) ### Open · In progress (the honest gaps, named in advance) - Branch XIII Davis Duality SU(2) form (the specific functional form of δm²(x) = F[Ω, τ, κ] is open; interim form is gauge-invariant at FP64 but not derived) - Hardware fabrication (UC Davis CNM2 collaboration) - Multi-mode transmon encoding (the U(1)-vs-SU(2) encoding is open hardware work) - Dilution refrigerator integration - SU(2) fermion sector (matter-sector v1 validated SU(3) fermions; SU(2) is open) - Long-term apparatus drift (hours-to-days operating timescales) - Microcanonical-canonical agreement at production trajectory length on a 93-DOF substrate (consistent with finite-size ergodicity; not yet demonstrated as such — requires the multi-seed convergence study) - Connection to inertia damping (the simulation produces validated gauge field dynamics; the claim that this dynamics modifies effective inertial mass is a PREDICTION the apparatus, when built, will test) --- ## Validation report A Python pipeline produces a markdown audit document and a machine-readable JSON artifact at the end of every simulation run, surfaced inline through the audit modal in the embedded cage simulator. The discipline is the **seven-section structure**: 1. *What was simulated* — substrate identities verified at runtime; reproducible from the published seed and library versions. 2. *Conservation laws* — energy, covariant Gauss residual, time reversibility. At FP64 floor on the production run. 3. *Analytical agreement* — Migdal–Witten exact partition function for 2D YM on a closed surface, cross-checked against I_2/I_1 in the F→∞ limit using scipy.special.iv. 4. *Gauge invariance* — all claimed invariant observables agree at FP64 epsilon under a random Haar gauge transformation. 5. *Method cross-check* — microcanonical leapfrog vs canonical heatbath. FAILS at production scale on the 93-DOF substrate; this is the documented finite-size effect, honestly named in Section 7. 6. *Parameter scan* — β-scan over the operating envelope [0.5, 6.0]. 7. *Open items* — the honest gaps. **Appendix A** (added in v1.1 of the report schema) derives each tolerance from first principles: machine ε, integrator local truncation error, sampling SEM at the chosen sample count, FLOP counts. None of the tolerances is fitted to current data. **Reproducibility:** the report's metadata block includes the code commit hash, the seed, the library versions (numpy, scipy, torch), and SHA-256 checksums for every kernel file the numbers depended on. A reviewer with the same code at the same commit and the same seed reproduces every number to the bit on identical hardware, FP64 epsilon across platforms. --- ## How this fails (the pre-registered discipline) The field has a graveyard of inertia claims that shrank as measurement improved. The defence is **pre-registered failure paths**. No inertia number is published until the apparatus has cleared this chain. ### The seven-gate kill chain 1. **Gate 1 · Gauge** — Apparatus shows accepted Q = 0, 1, 2 sectors by gauge-invariant observables. Wilson loops {W_γᵢ}, mean plaquette ⟨P⟩, sector surrogate Q_surrogate, and Wilson action S_W must agree on the sector label and reach a pre-registered separability threshold across seeds before any mechanical channel is unblinded. 2. **Gate 2 · Stability** — Sector remains stable through the full mechanical measurement window. Per-snapshot logging of Q_surrogate(t), ⟨P(t)⟩, and max|G_v(t)|. Runs whose sector leaves the pre-registered band during measurement are invalid. No post-hoc rescue. 3. **Gate 3 · Null-drive** — Power-matched and scrambled-phase drives produce no Q-linear inertial signal. The inertial claim only survives if the signal follows Q, not RF power, heat, vibration, magnetic field, or drive amplitude. Sham drives are part of the same data-taking block. 4. **Gate 4 · Blind analysis** — Mechanical-channel analyst is blind to sector labels. Unblinding is a one-way step. 5. **Gate 5 · Linearity** — Q = 2 deviation is approximately twice the Q = 1 deviation, within the systematics band. The linear-in-Q coupling ansatz is itself a gate. 6. **Gate 6 · Reversal** — Reversing the programmed winding (Q → −Q) transforms the signature as the framework predicts. A signal that survives winding reversal in the wrong way falsifies the framework before linearity even matters. 7. **Gate 7 · Independent sensor** — The effect appears in at least two measurement modalities, each with its own systematics model. A single-channel result is automatically suspect. ### Sham controls (matched set) Four matched drives in every block. The inertial claim only survives if the response follows Q, and only the real Q-sector drive. | Control | Drive program | Expected (α = 0) | Expected (α ≠ 0) | |---|---|---|---| | Q-sector drive | Real Q = 1, 2 program | no signal | predicted signal | | Power-matched null | Same total RF power, no sector winding | no signal | no signal | | Scrambled-phase | Same per-channel spectra; gauge structure destroyed | no signal | no signal | | Dummy cage | Same electrical load, no valid SU(2) encoding | no signal | no signal | Anything except the real Q-sector drive showing a Q-correlated mechanical signal is **systematics, not physics**. The sham controls are the bright line. ### Three valid outcomes All three are publishable. The experiment is sharp because it commits to what each means in advance. | Outcome | Meaning | |---|---| | α ≈ α_predicted | Inertia couples to gauge topology at the predicted magnitude. Revolutionary. | | 0 < α ≪ α_predicted | Framework magnitude wrong; coupling may be real but smaller than Branch XIII predicts. Constrains the model. | | α = 0 ± α_min | Predicted coupling falsified at this sensitivity. Constrains the next experiment. | ### Sensitivity floor & systematics budget Published BEFORE first data, filled by Branch XIII derivation + cage characterisation runs. These slots are the pre-registration: - **α_min** — minimum detectable coupling. *To be set by cage characterisation.* - **Thermal budget** — *to be set by Branch XIII + characterisation.* - **Magnetic budget** — *to be set.* - **Vibration budget** — *to be set.* - **Cage-drift budget** — *to be set.* Backfilling these numbers after data is taken is grounds for retraction. The slot is the pre-registration; the numbers fill it once, in writing, before the cage is energised. ### Operational β envelope The operating β for the buckyball will be selected from β ∈ {2.4, 2.5, 2.6, 2.7, 2.8} based on which point shows the most stable sector separation, energy conservation, Gauss covariance, and canonical agreement — not the lower edge by default. The validation report's local envelope sweep is the gate. --- ## Halcyon is one of many A Gi_System is a scientific instrument whose every observable is gauge- invariant, whose every operation is local, and whose every claim is gated by **an analytical target with no tunable tolerance**. - **Halcyon** (current): engineered modification of local inertial response. - **PRISM** (shipped, useprism.sh): multi-rail payment reconciliation via non-invertible geometric embeddings on transaction fiber bundles. - **Chihiro** (live, chihiro.sh): real-time plasma MHD stability diagnostic. Troyon coefficient derived topologically, not fitted. - **Mirador** (live, usemirador.sh): drug-target binding affinity via geodesic distance on molecular manifolds with ADMET certificates. - **Demeter** (live, demeter.sh): unified precision agriculture via C = τ / κ. - **Geodesic** (live, parallax.sh): cancer biomarker detection through metabolic pathway geometry. - **Herald** (live, parallax.sh): viral mutation surveillance and outbreak prediction via sequence manifold curvature. - **Tessera** (live, parallax.sh): antimicrobial resistance surveillance via plasmid transfer network geometry. - **GIGI** (live, davisgeometric.com/gigi): geometric query engine. Holonomy, transport, spectral, and Betti verbs over fiber bundles. - **Icarus** (live, davisgeometric.com/icarus): geometric control substrate for post-linear GNC. Fiber-bundle state, holonomy-gated maneuvers. - **SCJ** (live, davisgeometric.com/scj): geometry-first vulnerability detection for Windows kernel drivers. - **Kraken** (live, davisgeometric.com/kraken): multi-modal maritime threat detection (DAS / sonar / SAR / RF) on a learned Riemannian manifold. 92% TPR at 1% FPR on a 90-day Pacific campaign. - **Dhoom** (live, dhoom.dev): wire format for GIGI. Curvature-aware serialisation, 66–84% token savings vs JSON, full round-trip. - **GGOG** (live, ggog.app): cryptographically signed birth timestamps for images; the first second only happens once. - **Helicity** (live, helicity.io): geometric economics — markets on a glassy NP-hard manifold; stagnation as a vanishing spectral gap. - **Phaethon** (in development): grid stability analysis via the Davis Field Equations; live operator-side spectral diagnostic. - **Calcifer** (in development): geometric derivation of horizon (Hawking) temperature from the Double Cover, without quantum field theory. - **DTP** (in development): Davis Topological Processor — curvature, holonomy, and spectral diagnostics for transformer neural networks. --- ## Resources - Mass gap v6 paper: https://doi.org/10.5281/zenodo.17942784 - Matter-sector v1 paper: DOI pending - Build log: https://davisgeometric.com/halcyon/journal - Validation report (markdown): https://davisgeometric.com/halcyon/reports/latest/report.md - Validation report (JSON): https://davisgeometric.com/halcyon/reports/latest/report.json - AI-discovery index: https://davisgeometric.com/halcyon/llms.txt - Contact: bee_davis@alumni.brown.edu --- *Inertia is a coupling, not a property.* --- --- ## One substrate, one engine, three consumers Three reports, one source. The canonical plaquette mean is the same number in the published Halcyon verdict, in the live GIGI engine response, and in the Solves Vol. 4 worked-example chapter because all three read the same substrate object. ### The three consumers - **The Halcyon verdict.** Distribution: **8 PASS / 1 NOT_APPLICABLE / 1 FAIL** out of 10 categories. The NOT_APPLICABLE is the sector classifier (Q_surrogate dispersion does not populate all three operational bands at β=2.5; π₂(SU(2))=0 on S² makes this structural, not a fix). The FAIL is the microcanonical-vs-canonical cross-check (Section 5, a documented finite-trajectory caveat — disclosed, not concealed). - **The live engine.** The buckyball substrate (V=60, E=90, F=32, χ=2; 12 pentagons + 20 hexagons; SU(2)) is instantiated once in GIGI's Rust engine. The 5-statement GQL block (LATTICE → GAUGE_FIELD → GIBBS_SAMPLE → E_FIELD → SYMPLECTIC_FLOW) returns ⟨P⟩ inside the same blocked-SEM band the Halcyon JSON reports. - **The worked-example chapter.** Solves Vol. 4 transcribes the cited canonical from the engine. The chapter is the receipt that ties Halcyon's published verdict to the live engine to the cited number. ### Canonical receipt | Quantity | Value | |---|---| | Canonical plaquette ⟨P⟩ | **0.5068472 ± 0.0014580** | | Convention | Flyvbjerg–Petersen blocked SEM, 2048 post-thermal samples | | Migdal–Witten target | P_exact = I_2(β) / I_1(β) = 0.5071951 at β=2.5 | | Delta from target | **3.5×10⁻⁴** (28.6× under 10⁻² tolerance) | | Seed | 20260617 | | Substrate | buckyball, SU(2), β=2.5, dt=0.02, N_STEPS 1000 | One number, three places. Tolerance-band agreement is the contract; byte equality is opt-in. ### The 5-statement GQL block (Solves Vol. 4 §2.1, byte-for-byte) ``` 1. LATTICE buckyball FROM TRUNCATED_ICOSAHEDRON TOPOLOGY "S2" 2. GAUGE_FIELD U ON LATTICE buckyball GROUP SU(2) INIT IDENTITY 3. GIBBS_SAMPLE U BETA 2.5 N_SWEEPS 200 SEED 20260617 MEASURE_EVERY 1 MEASURE (MEAN(PLAQUETTE), Q_SURROGATE) 4. E_FIELD E ON GAUGE_FIELD U INIT MAXWELL_BOLTZMANN BETA 2.5 SEED 20260617 5. SYMPLECTIC_FLOW U FROM (U=U, E=E) BETA 2.5 DT 0.02 N_STEPS 1000 PROJECT_GAUSS { tikhonov: 1e-14, cg_tol: 1e-10, cg_max_iter: 200 } MEASURE_EVERY 20 MEASURE (H_TOTAL, MEAN(PLAQUETTE), Q_SURROGATE, GAUSS_RESIDUAL_MAX) ``` The block runs against any gigi-stream endpoint (local dev or production). Thermalization is intentionally re-derived every run (~30s on the buckyball). Cold start (INIT IDENTITY) is load-bearing: the Wilson action is exactly zero at t=0, and the Kennedy–Pendleton heatbath in Statement 3 puts U on the canonical Gibbs measure before the symplectic flow in Statement 5 begins. ### Receipts you can fire yourself - **Solves Vol. 4 chapter (PDF):** `/halcyon/papers/solves_vol4_ym_mass_gap.pdf` — the worked example, the canonical, the verdict distribution, and the reproduction recipe. - **Public-receipt verifier (CLI):** `/halcyon/verify_canonical_receipt.py` — fire the same 5-statement block against any running gigi-stream. The output is the tail-mean canonical, delta from target, tolerance band, PASS/FAIL, and a **SHA-256 citation handle** (the cryptographic witness reviewers cite instead of re-deploying). - **Matched-RNG byte-identity receipt (opt-in):** available in the test harness. A demonstration that GIGI's xorshift64* + Marsaglia rejection + Box–Muller, ported into the Halcyon kernel side, produce field initializers that match the live engine bit-for-bit. Scope is the random field initializers only; dynamical paths remain statistical receipts. - **TDD harness:** 50 mock-engine gate tests + 20 live-engine gate tests = **70 regression gates** protecting the substrate. The mock-vs-live distinction is by design — CSPRNG decision (c) in the chapter explicitly drops mock-vs-live byte equality in favour of tolerance-band agreement. *This is operational, not foundational. The strong-coupling lattice mass gap proved in v6 is still the lattice gap; the Clay continuum problem is still open; v6's single open inequality m̂(β) ≥ c₋ f₂(β) is still open. What changed is where the lattice numbers live — on a substrate that is itself a queryable mathematical object, addressable by GQL, version-pinned by deploy hash, and reproducible by anyone with the endpoint.*