igneum/docs/ledger-public.md

Igneum criticism ledger, public shape

Generated by tools/ledger/export-public.mjs from docs/fud-ledger-2.0.md; a gate check fails when the two drift. One row per item: the claim or criticism, its status, what was done, and the evidence. Internal identifiers, times of day and team-member names are left out on purpose; the full ledger is published with the repository.

26 items. By status: Open 12; Decided 8; Conceded 6.

Id	Claim or criticism	Status	What was done	Evidence
R0	"Another zkEVM"	Decided	The positioning line is served on every page, and "zkEVM" appears only under the architecture explanation.	docs/plans/igneum-2.0.md
R1	A specialised miner will remove most of the cost	Open	Pass when the best supported cost and energy advantage of a re-optimised, programmable adversary sits inside the chosen competitiveness envelope, with its uncertainty published (D3).	docs/plans/igneum-2.0.md
R2	Ordinary operators will be priced out	Open	Pass when the reference GPU population is published with both tests per class (existing owner and new entrant) and the cost per accepted unit of work is served for each class.	docs/plans/igneum-2.0.md
R3	Mining and proving will not pay once issuance falls	Open	Pass when the five-year coexistence model names credible conditions for sustained commodity participation and names where it fails; a result needing a small network, token appreciation or scheduled chip death has not…	docs/plans/igneum-2.0.md
R4	The defence is a rescue fork waiting to happen	Decided	No property assumes a future emergency algorithm change; rotation is optional to the security argument, and seed delay is evaluated only as seed-selection protection.	docs/plans/igneum-2.0.md
D1	The numbers cannot be reproduced	Open	Pass when an independent operator reproduces the baseline within declared tolerances from the served kit alone.	docs/plans/igneum-2.0.md
D2	Reorganising the work will not stop a specialist	Conceded	The connected-state variant, D2(a), is a KILL as a class; the memory-sharing attack, D2(b), is Open.	docs/analysis/class-v6/connected-state.md
D3	Chips do not expire on schedule	Conceded	"Every chip dies within a family epoch" is out of the baseline economic model, and chip-arrival percentages are not published.	docs/plans/igneum-2.0.md
D4	The capex wall is a fiction	Open	Pass when the five-year coexistence model, whose mandatory stress case has development already paid for, names credible conditions for commodity participation and where they fail.	docs/plans/igneum-2.0.md
D5	Proofs are not a protocol guarantee yet	Conceded	Consensus does not enforce proofs today; the switch is in the node and reads never on the devnet.	docs/evidence.md
P1	A pool controls its miners' votes	Open	Pass when the member's retained voting key is committed into its work at protocol level, payment aggregation is separate and verifiable, and pool identity substitution is resisted.	docs/plans/igneum-2.0.md
P2	Pools take custody and home miners lose to latency	Open	Pass on non-custodial payouts with practical minimums, local work verification and low-bandwidth participation, and on a published measurement of the accepted-work penalty for home internet against datacentre…	docs/plans/igneum-2.0.md
P3	Firo's miner is the bar	Open	Pass when Ember reaches good operating points without third-party software and its optimisation work, compiler settings and safe tuning logic are published beside a comparison.	docs/plans/igneum-2.0.md
A1	Why not an Ethereum L2	Decided	Three separate decisions: EVM-compatible execution for developers (revm), SP1 as the one well-tested proving backend behind a versioned interface, and sovereign GPU-mined consensus.	docs/plans/igneum-2.0.md
A2	Proof-system flexibility becomes arbitrary acceptance	Decided	Program identities, verifier versions and security parameters are pinned in the protocol; one backend first, a second only where justified, never interchangeable immature backends.	docs/plans/igneum-2.0.md
A3	Rotation is not the defence	Decided	No chip detection in consensus, no hardware whitelists, attestation, per-address quotas or self-reported GPU bonuses; rotation is optional to the security argument.	docs/evidence.md
A4	A concentrated prover can stall the chain	Open	Pass when a withholding concentrated prover is exercised on the no-rescue network with replacement operators, usable inputs, reassignment and explicit behaviour during proof delays, and the network behaves as specified…	docs/plans/igneum-2.0.md
A5	Your miner promise covers hardware your prover does not	Conceded	Proving runs on NVIDIA; AMD and Apple mine.	docs/plans/igneum-2.0.md
A6	"Everything runs unchanged" is a claim, not a test	Open	Pass when compatibility ships as a product deliverable: representative contracts, wallet fee estimation, indexing, failed transactions, receipts and application assumptions tested, with the documented set of…	docs/plans/igneum-2.0.md
A7	The proving market is revenue you do not have	Conceded	The external proving market is not built and stays out of revenue assumptions until it is.	docs/plans/igneum-2.0.md
B1	Proven execution means the block is final	Decided	The boundary is stated wherever the proof architecture is explained.	docs/plans/igneum-2.0.md
B2	EVM-compatible means Ethereum's security	Decided	The boundary is stated wherever the proof architecture is explained.	docs/plans/igneum-2.0.md
B3	ZK means private	Decided	The boundary is stated wherever the proof architecture is explained.	docs/plans/igneum-2.0.md
C1	Ravencoin already does this	Open	Pass when benchmarks against Ravencoin's KAWPOW, an operating system with the same stated objective, are published and show a stronger result or a more valuable overall offering.	docs/plans/igneum-2.0.md
C2	Ergo is an operating benchmark	Open	Pass when the comparison with Ergo, on its live behaviour rather than its papers, is published.	docs/plans/igneum-2.0.md
C3	Number one is unsupported	Conceded	No "number one" claim before comparative results and adoption exist.	docs/plans/igneum-2.0.md