Validate an ARL claim

This runs the exact arl-core reference checker — the same cross-axis gates and lexicon checks the arl CLI runs — compiled to WebAssembly. Nothing leaves your browser. Edit the claim and re-validate: drop the convergence class to D, undisclose the energy, or mention AGI, and watch the gates fire.