Do local shadows recover Faraday induction?

The Pre-Registered Claim

One algebraic question, three landing zones, all of them publishable.

The Sundog method is allergic to ambiguity, not to negative results. We register the predicate before the algebra runs, then publish whichever of structural zero, named quarantine, or bounded failure falls out. Faraday is the calibration object: too well-understood to fudge, too foundational to ignore.

This page is a receipt surface: Phase 3 now lands Branch A on the registered classical vacuum domain, and Phase 4 verification / falsification passes 5/5. Phase 5 chapter close is signed, and the page now carries the public metadata, share card, sitemap entry, and internal path.

The Object · I

Antisymmetric, two scalars, gauge-invariant.

All of classical electromagnetism, including Faraday's law, Gauss's law for magnetism, and Lorentz invariance under boosts, compresses into a single 4×4 antisymmetric tensor F_μν = ∂_μA_ν − ∂_νA_μ and exactly two Lorentz scalars. The shadow apparatus must respect the same symmetries.

The Apparatus · II

𝒫_shadow is the plaquette holonomy on A.

Phase 2 fixes the operator. For a point x, a coordinate plaquette ω_μν(x, ε) of edge ε, and the closed boundary loop ∂ω, the finite-stencil operator is the Wilson-loop-style line integral of the potential one-form:

Stokes' theorem turns the line integral of A on the closed loop into the surface integral of F on the plaquette — and F is gauge-invariant by construction. The operator never inspects a globally consistent A_μ: it reads A only on the four edges of one plaquette.

The pre-registered audit predicate is deceptively simple, and load-bearing:

The proof on the registered domain is a single line: ∮_∂ω dλ = 0 for any closed loop ∂ω with smooth λ, so the gauge term drops out of the holonomy by Stokes. The audit fails by name outside that domain: five quarantine hooks — regularity, topology, monopole, operator-stencil commutator, motional EMF — are enumerated in the Phase 2 receipt before any Phase 3 algebra runs.

Phase 2 receipt: docs/SHADOW_FARADAY.md ▸ Phase 2: Local Shadow Projection Operator. Phase 2 sign-off decisions are recorded there: coordinate plaquettes, point-limit gate plus finite-stencil locality receipt, no Floquet/twist rescue in Phase 3, and the two-tier operator retained with roles locked.

The Battery · III

Three falsifiers, pre-committed and now run.

Each falsifier is designed to break the claim in a pre-named way. Anything else — any unexpected residual, any silent failure — is the receipt worth writing down. These were registered before Phase 3 algebra ran. Phase 4 passed 5/5: constant B, a source-free plane wave, a nonlocal residual, a monopole quarantine, and gauge invariance.

The Pipeline · IV

Symbol table → public page · six phases · each gated on a signed receipt.

Same discipline as Isotrophy v0.3 and the three-body controller: each phase exits when its receipt is signed off, not when it feels done. Phase 3 — the core zero-out — is the load-bearing algebra; Phase 4 is the support battery; Phase 5 closes the chapter before public dissemination.

The Outcomes · V

Three landing zones. All of them ship.

Pre-registered framing turns every possible Phase 3 result into a public receipt. The discipline is the same one that produced Isotrophy K_facet v0.3h's 20 structural zeros + 1 named quarantine: name the success predicate before the algebra runs; if the result is a partial, the partial is the artifact.