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

docs: 7.9 the headers-proof join gate (two known-failed runs, the PASS at the devnet's window on the fixed binaries)

Browse source 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
igneum-labs 2026-10-07 08:27:44 +00:00
parent 63f2e02c60
commit d144f5ae3a
1 changed files with 12 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
docs/plans/counter-asic-3-node.md
View file

@ -371,3 +371,15 @@ Gate `infra/fast-time/nuisance-peer.mjs`: node B mines 60 s alone under an overr
| `--guard receiver --expect flat` (B keeps advertising; the ban's case) at 319da644 | FAIL, the gap the case was for: A refused twice and banned nothing, because A had no blocks, took B's sink as an orphan, started IBD with B and refused the chain's headers IN THE IBD FLOW, so the relay flow's rule-error arm never ran and nothing was remembered; fixed at a22cb261 (the IBD flow remembers the relay block of a rule-ended IBD) | (overwritten by the re-run) |
| `--guard receiver --expect flat` at a22cb261 (igneumd 2c53d508..., igneum-miner ef51249c...) | 02:39 to 02:44Z | PASS: B held 150 poisoned blocks; A refused once (`IbdFlow flow error: block has invalid proof-of-work, disconnecting`), banned B on its next advertisement of the same sink (`Peer 127.0.0.1:64766 advertised block 469922fd... again after this node refused it by a rule within the last 3600 s (ledger N6); 127.0.0.1 banned for 600 s`), 2 inbound connections over 300 s against 3 with the guard off; B saw 5 rejects | `nuisance-peer-guard-receiver-expect-flat.json` |
### 7.9 The headers-proof join gate (the fuzz gate's extension; the 0.3.17 canary's own path)
`infra/fast-time/headers-proof-join.mjs`: node A mines past the pruning depth at the fast-time profile (finality 120, pruning 4,600) with three CPU threads; a fresh node B joins by headers proof; PASS = B's IBD completes and B holds A's sink with the 1026 header version. `--window` sets the sampled difficulty window in samples (150 = the minimum, 661 = the devnet's). Ports 30590s; the join harness's node B binds its own exec port only when the Mac's apps leave 26790 free.
| Run (UK) | Binaries | SUMMARY | Summary file |
|---|---|---|---|
| 04:45 to 05:55, window 661 | 80338689 (6e4ace3f + the timers) | FAIL, the known-failed shape found on the first run: B's window walk through the sampled trusted blocks ran out at a gap before genesis, "DAA window data has only 180 entries" ended the IBD, the N6 guard then banned the syncer on every retry (section 7.7.2's young-window reading; the devnet and the testnet never meet it, the fast-time profile does) | `headers-proof-join-expect-join-w661.json`, B's log beside it |
| 07:01 to 07:41, window 150 | 80338689 | FAIL: B died at 66 percent of its headers stage on the exec RPC panic (7.7.3, fixed in c6a62e00) | `headers-proof-join-expect-join-w150.json`, B's log beside it |
| 07:52 to 09:22, window 661 | 27d1b520 (e3798a17 + c6a62e00 + the timers) | PASS: A 4,622 blocks at DAA 5,341, the pruning point moved at 4,780 s; B took the headers-proof path, IBD completed in 15.0 s with 4,622 headers, sink version 1026, zero errors; B's IBD-end line: finality time bodies 8 ms over 4,622 blocks, virtual 16 ms over 54 changes, weight tables 5 ms over 178 tables (31,922 blocks walked), signatures 0 (no voters on that chain), persists 1 ms | `headers-proof-join-expect-join-w661.json` (overwritten by the run), B's log `headers-proof-join-expect-join-w661-fixed-b-node.log` |
Owed: the same case with the finality numbers of a voting chain (votes and certificates in the bodies, so the IBD-end line carries signatures), which is the join-cost bench's shape on a real network, and the fleet's own fresh join at e69e8a39 plus the oracle gate (7.7.5).