Each physics lab is a deterministic, seeded run — a playable proof. Embed it anywhere; the underlying verified claim is one tap away in the Trust Ledger. This is Moat I: a playable proof is stickier than a paper one.
8 bodies · 200k steps
“Does the superellipsoid run conserve energy within tolerance?”
64×64 · T=2.27
“Does the lattice show a phase transition near T_c?”
m=1 · k=12 · c=1.2
“Does the analytic solution match the numeric integrator?”