docs: register 2 new mapping-slot axioms in AXIOMS.md#1672

Merged

Th0rgal merged 2 commits intocodex/reduce-sorries-pass-5from

fix/axioms-md-sync

Mar 27, 2026

Commits on Mar 27, 2026

docs: register 2 new mapping-slot axioms in AXIOMS.md and sync all docs
claude
committed
fix: allowlist long setStorage proof in check_proof_length.py
claude
committed