---

title: Swift Gate Trust — Lion Math dual-gate verification

audience: junior_high_and_up

authority_kind: normative

generated: 2026-05-24T21:02:12Z

generator: proof/scripts/generate_gate_trust.sh

---

Swift-Gate Trust

The Swift gate does not ask to be trusted. It earns trust by a verifiable history of agreeing with the Lean kernel. The number on this page is the cell's exact, checkable claim of which math its internal checker can be trusted on. Re-run the Lean gate on the listed artifacts and confirm.

Last regenerated: 2026-05-24T21:02:12Z

Current trust state

Agreement rate: 29/29 public artifacts.

Per-artifact agreement log

How the trust grows

Every dual-gate run records both verdicts (swift_verdict, lean_verdict) and an agree flag in lion_gate_agreement. While public divergences > 0 OR public total < 20, every public lion artifact MUST clear the Lean external gate. Once public total ≥ 20 and divergences = 0, the Swift gate may seal a wider internal class on its own. The next divergence resets the threshold instantly.

Re-verify this page yourself

git clone https://github.com/gaiaftcl-sudo/gaiaFTCL.git
cd gaiaFTCL/proof
bash scripts/lean_gate.sh FirstRoars/EulerProduct.lean
# expect lean_verdict=CALORIE, exit_code=0, sorry=0, axiom=0, opaque=0

The Lean gate uses the pinned toolchain above. Its verdict is the external warrant; the row's agree flag is what earns the Swift gate its trust on this artifact.