igneum-josh 9faf9c4859 Docs: ledger P12 fixed in the proving code and P20 fixed in the host; spec 7.6 shard statement definitions and the provisional S_p; benchmark standard rows ... Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>		2026-10-04 11:10:17 +01:00
..
proving-e2e.md	Docs: ledger P12 fixed in the proving code and P20 fixed in the host; spec 7.6 shard statement definitions and the provisional S_p; benchmark standard rows	2026-10-04 11:10:17 +01:00