igneum-labs f5bf494344 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 10:10:17 +00: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 10:10:17 +00:00