igneum-labs 1037d06276 exec-attacks: execution-layer attack suite (tools + bench log) ... Adversarial robustness and conformance tests of the execution layer against a throwaway 3-node simnet on ports 27600+. Six scenarios, each a runnable command with a design-derived pass criterion and a measured result: malformed/boundary txs, nonce games across parallel blocks, RPC fuzz, pgas exhaustion, reorgs under execution, and developer-registry abuse. 98 checks, 0 failures, 0 node panics. Two findings filed in the bench-log entry: the mempool admits txs with gas_limit above B_e (low), and an over-pgas-budget tx is executed natively in full before being skipped for no fee (medium, griefing). Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>		2026-10-03 22:57:19 +00:00
..
analysis	Evidence page, end-to-end proving standard, funding plan, security-budget stress, payment routes	2026-10-03 22:35:03 +00:00
benchmarks	Evidence page, end-to-end proving standard, funding plan, security-budget stress, payment routes	2026-10-03 22:35:03 +00:00
commercial	Provenance: credit every borrowed component, upstream merge procedure, prover customer brief	2026-10-03 20:02:16 +00:00
design	Evidence page, end-to-end proving standard, funding plan, security-budget stress, payment routes	2026-10-03 22:35:03 +00:00
legal	Add the IGNEUM trade mark clearance search (3 Oct 2026)	2026-10-03 19:00:08 +00:00
plans	Evidence page, end-to-end proving standard, funding plan, security-budget stress, payment routes	2026-10-03 22:35:03 +00:00
spec	Finality 3.11 Guarantees: safety and liveness bounds derived from Q3, recovery rule, acquired keys, seeds during a pause, test table; simulator scenarios H to K	2026-10-03 22:41:36 +00:00
bench-log.md	exec-attacks: execution-layer attack suite (tools + bench log)	2026-10-03 22:57:19 +00:00
evidence.md	Evidence page, end-to-end proving standard, funding plan, security-budget stress, payment routes	2026-10-03 22:35:03 +00:00
fork-divergence.md	Finality v2: fork reading guide, spec implementation notes, bench entry, observer checkpoints, live page locks	2026-10-03 21:54:24 +00:00
fork-map.md	Finality quorum: 2/3 of active weight and at least 56.7% of total, per simulation v2	2026-10-03 16:15:15 +00:00
fud-fixes.md	External review of the litepaper: response, 15 ledger entries, fix rows, open items, four-state rule, miner-app rules, phase-2 gate	2026-10-03 22:29:41 +00:00
fud-ledger.md	External review of the litepaper: response, 15 ledger entries, fix rows, open items, four-state rule, miner-app rules, phase-2 gate	2026-10-03 22:29:41 +00:00
provenance.md	Provenance: credit every borrowed component, upstream merge procedure, prover customer brief	2026-10-03 20:02:16 +00:00