igneum-network/igneum
1
0
Fork 0
Code Issues Pull requests Releases Activity

Merge enforced-proving 9bf05c8b into master (gate: green on 9bf05c8b, recorded by tools/ci/pre-push.sh; landed on the box mirror)

Browse source
This commit is contained in:
igneum-labs 2026-10-08 16:45:40 +00:00
commit ecb70db5bb
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
docs/fud-ledger-2.0.md
View file

@ -110,7 +110,7 @@ Pin: D4, first, fifth to seventh boxes and the pass condition.
### D5. Proofs are not a protocol guarantee yet ### D5. Proofs are not a protocol guarantee yet
"Proof verification sits off the consensus path. A modified producer can include a matching statement without the valid proof and collect a payout it did not earn." "Proof verification sits off the consensus path. A modified producer can include a matching statement without the valid proof and collect a payout it did not earn."
Status: Conceded (8 October 2026): consensus does not enforce proofs today; the switch is in the node and reads never on the devnet. Pass when proof verification is enforced in consensus, live on the exercise network. Status: Fixed in the node, awaiting the live read (8 October 2026, 17:4x UK): a valid SP1 proof is a condition of payment in consensus behind the named switch `verifier_in_consensus` (`docs/spec/proving-enforcement.md`): the body rule refuses a block whose carried proof is not held, does not verify or names another program id, and the executor pays a record only with a verified proof. The switch is false on every compiled object, so Devnet 3's digest never moved; the igneum-devnet-4 object of node 2.0.0 is cut with it on from block zero (the shipper's line, release-2.0.0-node). Team-tested: the seven refusals and the plan's six negative tests as named tests (rows 1 to 5 covered; row 6 team-tested for the native veto and PENDING for the proof side), suites green on build-2 at 16:15 UK, the fast-time crossing PASS at 17:22 UK (the forged record paid below the floor, refused and unpaid at it). Pass when the rule is read live on the exercise network: the daemon's start line with `verifier_in_consensus set` and a refused forged record in the journal. Was: Conceded (8 October 2026): consensus does not enforce proofs today; the switch is in the node and reads never on the devnet.
Status: Fixed (8 October 2026, 17:0x UK): the Igneum 2.0 devnet's node enforces proof verification in consensus from block zero (verifier_in_consensus set, node 2.0.0 4cdcc488 on release-2.0.0-node, the node's own start line); the no-rescue exercise itself stays Open and is the pass condition. Was: Conceded, the rule off on the earlier devnet. Status: Fixed (8 October 2026, 17:0x UK): the Igneum 2.0 devnet's node enforces proof verification in consensus from block zero (verifier_in_consensus set, node 2.0.0 4cdcc488 on release-2.0.0-node, the node's own start line); the no-rescue exercise itself stays Open and is the pass condition. Was: Conceded, the rule off on the earlier devnet.