igneum/tools/reference-apps
igneum-labs 1bfaf0a508 Reference apps F04 in the acceptance layer: run ra-20261008T1915-ver recorded, VER-05 in its own cell
The verification rows re-run on the 2.0 devnet with the lock-state code: VER-03, VER-04, VER-06, VER-08 pass (coverage names
the F04 cases), VER-01 and VER-02 FAIL by design, VER-05 FAIL on this run because the public read node now reports
startedFrom snapshot (the reader on build-1 is still from genesis); VER-05 moves to harness:reference-apps-ver-availability
so its verdict never drags the other rows. Recorded through test-record.mjs; the harness map page regenerated.

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 19:15:55 +00:00
..
compat Test registry: the EVM and VER suites' first automated runs on the Igneum 2.0 devnet (run fields merged under rule 26, owner_lane reference-apps): EVM-02 to EVM-06 PASS (22 compatibility rows, run ra-20261008T1744-evm, two EVM-02 rows added: another chain id refused, a replay refused), EVM-01 PARTIAL and EVM-07 NOT RUN with their dependencies and clocks; VER-03 to VER-06 and VER-08 PASS, VER-01 and VER-02 FAIL by design and disclosed (node-supplied voter table, statement in place of the proof), VER-07 the wallet lane's; the VER runner tools/reference-apps/ver/run.mjs with its evidence files; the write-back script 2026-10-08 17:47:26 +00:00
fixtures The reference apps on the Igneum 2.0 devnet: the verifier's placement check takes the DAA-seconds rule (checkpoint i at DAA 30 (i - 1) from a genesis anchor, finality.rs daa_target; devnet-4 runs it from DAA 0, so its certificates sit under 30 i in blue score), the homepage card shares it; /light verifies a devnet-4 balance (chain block 3743 under checkpoint 246, 4 trie nodes) and /receipt a devnet-4 transaction (checkpoint 241), every negative case refused on both devnets' fixtures; the oracle takes the coinbase amount width as a constructor immutable and is redeployed for devnet-4 (0x06c12c0c…, 16 bytes), certificate 249 verified by the devnet-4 verifier and chain block 3815's root stored, provenBalance equal to eth_getProof; the offline verifier rebuilt 2026-10-08 18:23:53 +00:00
light-service Reference apps, Review B F04: a recovery lock is never presented as a final lock 2026-10-08 18:58:50 +00:00
oracle Reference apps F04: the one-file verifier rebuilt on the box from the lock-state source; the oracle README names the refused recovery locks 2026-10-08 19:00:18 +00:00
receipt Reference apps, Review B F04: a recovery lock is never presented as a final lock 2026-10-08 18:58:50 +00:00
ver Reference apps F04 in the acceptance layer: run ra-20261008T1915-ver recorded, VER-05 in its own cell 2026-10-08 19:15:55 +00:00
registry-writeback.mjs Test registry: this lane's run fields inserted into the approved registry textually (master's bytes untouched, rule 26); the read service serialises coinbase amounts at the 2.0 devnet's 16-byte wire width (18 decimals), so /receipt verifies on igneum-devnet-4 (checkpoint 241, 719 headers); the devnet-4 fixtures 2026-10-08 18:12:30 +00:00