# Maxwell's Equations from Zero Free Action

Maxwell's equations are not postulated in QLF — they emerge from the 8-twist ZFA algebra in the continuum limit. This document maps each equation to its combinatorial origin and provides machine-verified or numerically confirmed anchors for each claim.

See [Experimental_Consistency.md](Experimental_Consistency.md) for the full derivation with force law and energy accounting. See [maxwell_qlf.py](maxwell_qlf.py) for numerical confirmation.

---

## Field Identification

The 8-twist alphabet `{^, v, <, >, /, \, +, −}` decomposes into three spatial axis pairs and one gauge pair:

| Twist pair | Direction | Field component |
|---|---|---|
| `>` / `<` | x-axis | B_x, E_x |
| `^` / `v` | y-axis | B_y, E_y |
| `/` / `\` | z-axis | B_z, E_z |
| `+` / `−` | gauge (temporal) | charge density ρ |

For a history h, the discrete field components are:

```
B_x(h) = count(>) − count(<)    [right minus left]
B_y(h) = count(^) − count(v)    [up minus down]
B_z(h) = count(/) − count(\)    [slash minus bslash]

charge(h) = count(+) − count(−) [gauge imbalance = net charge]
```

The E-field is the transverse momentum exchange rate — defined via the time-sequence of ZFA events rather than a single event. In the continuum limit, E and B satisfy the wave equation with propagation speed c by construction (see [Experimental_Consistency.md §Wave Equation](Experimental_Consistency.md)).

The single-history `B(h)` definitions above are the *closure-level* projection of a broader structural reading: macroscopically, `B` is the spatial-gradient signature of the local vacuum's spin-orientation distribution. The spatial-dynamics reframe — like-spin pairs expanding space via Pauli exclusion, opposite-spin pairs contracting it via singlet annihilation, B-field as the directional gradient — is in [`Magnetism_Spatial_Dynamics.md`](Magnetism_Spatial_Dynamics.md).

---

## Equation 1: ∇·B = 0 (No Magnetic Monopoles)

**ZFA origin:** `isZFAClosed` forces every individual twist count to zero. Therefore B_x = B_y = B_z = 0 for any ZFA-closed event, and their divergence ∇·B = B_x + B_y + B_z vanishes identically.

**Machine-verified:** `no_magnetic_monopoles` — [lean/ZFAEventDynamics.lean](lean/ZFAEventDynamics.lean)

```lean
theorem no_magnetic_monopoles (e : ZFAEvent) : divB e.history = 0
```

Every ZFA-closed event has zero magnetic divergence. Magnetic monopoles are algebraically impossible — they would require an unbalanced spatial twist count, which `isZFAClosed` forbids by construction.

**Numerical confirmation:** `maxwell_qlf.py` Report 1 — `divB = 0` verified across 10,000 randomly generated ZFA-closed events.

---

## Equation 2: ∇·E = ρ/ε₀ (Gauss's Law for Electricity)

**ZFA origin:** The gauge pair `+`/`−` carries net charge. In the continuum limit, a local gauge imbalance `charge(h) = count(+) − count(−)` acts as a source for the transverse polarity field (E). The constant ε₀ emerges from the 8-fold twist orthogonality (see `constants_mapper.py`).

**Discrete statement:** For a history with gauge imbalance q, the divergence of the local E-field is proportional to q.

**Numerical confirmation:** `maxwell_qlf.py` Report 2 — E-field divergence tracks gauge imbalance with constant ratio ε₀.

---

## Equation 3: ∇×E = −∂B/∂t (Faraday's Law)

**ZFA origin:** Spatial twists propagate at speed c by construction (spatial free action vs. gauge/local directions). A changing population of spatial twist threads induces a curl in the transverse polarity image. The factor of −1 follows from Hermitian conjugation reversing orientation.

**Continuum limit argument:** As spatial imbalance changes across a surface, the boundary integral of E equals the negative rate of change of magnetic flux through that surface. This is the direct thread-counting analog of Faraday's law.

**Numerical confirmation:** `maxwell_qlf.py` Report 3 — 1D wave simulation shows curl(E) ≈ −∂B/∂t to within numerical precision.

---

## Equation 4: ∇×B = μ₀J + μ₀ε₀ ∂E/∂t (Ampère-Maxwell Law)

**ZFA origin:**
- The conduction current J is the net flow velocity of gauge-imbalanced threads.
- The displacement term arises from time-varying transverse polarity (changing E threads).
- The constants μ₀ and ε₀ satisfy c = 1/√(μ₀ε₀) automatically from the ZFA propagation speed.

**Numerical confirmation:** `maxwell_qlf.py` Report 4 — wave propagation speed matches c = 1/√(μ₀ε₀) to 4 significant figures.

---

## Lean Status

| Equation | Status | Lean anchor |
|---|---|---|
| ∇·B = 0 | **Machine-verified** | `no_magnetic_monopoles` — ZFAEventDynamics.lean |
| ∇·E = ρ/ε₀ | Provable (discrete form) | Future: `gauss_electric` in ZFAEventDynamics.lean |
| ∇×E = −∂B/∂t | Requires event-sequence structure | Future: needs time-indexed history type |
| ∇×B = μ₀J + μ₀ε₀∂E/∂t | Requires event-sequence structure | Future: same |

The homogeneous equations (∇·B = 0 and ∇·E = ρ/ε₀) are purely algebraic and provable in the current framework. The curl equations require a time-indexed event sequence type — a natural next module.

---

## Why This Matters

Standard physics postulates Maxwell's equations. QLF derives them as consequences of:
1. The 8-twist alphabet (the only logical structure needed)
2. ZFA balance (the sole selection principle)
3. Hermitian closure (self-adjointness of physical processes)

No additional constants, fields, or gauge principles are introduced. The constants c, ε₀, μ₀ emerge from the ZFA propagation geometry and the 8-fold orthogonality of the twist algebra.

This places electromagnetism within the same derivational chain as gravity ([Gravity.md](Gravity.md)), spacetime synthesis ([SpaceTime.md](SpaceTime.md)), and the Riemann symmetry condition ([Riemann-Conjecture-Proof.md](Riemann-Conjecture-Proof.md)) — all consequences of ZFA, none postulated separately.

See [Lagrangian_Formulation.md](Lagrangian_Formulation.md) for the variational form (ℒ = 0) that unifies all of these.

See [Conservation.md](Conservation.md) for charge conservation as the gauge-swap (+ ↔ −) symmetry of the 8-twist algebra — Noether's theorem applied to the discrete QLF case.

See also: [Collective_Electrodynamics.md](Collective_Electrodynamics.md) — the photon as a joint emitter-absorber ZFA handshake (transactional, relational, not a projectile); [Delayed_Choice_Eraser.md](Delayed_Choice_Eraser.md) — applies the joint-ZFA reading to the canonical retrocausality-puzzle experiment and dissolves it.