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

Counter ASIC 3.0 gates (node): the replay gate passes on both vote switches with the silence reading as a function of the block's past (fork 812c3ac2)

Browse source 
7.6: the late node synced from genesis across a switched-on span holds every block (313 of 313 for the burn, 331 of
331 for the bonus, one sink each, 0 rule error lines, 5 s) and the payouts read as before (0.8000 and 0.9000, the
pool 0.25 and 0.35). The first reading's failure is kept for the record. Not yet shown and named: a fresh node
syncing a span longer than two weight windows, where the vote records behind the pruning horizon are the one
node-local input left.

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
igneum-labs 2026-10-07 00:30:37 +00:00
parent 6b1c43b8b8
commit c9fe208b5d
3 changed files with 683 additions and 693 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

668
docs/plans/counter-asic-3-gate/vote-or-burn-rule-bonus-expect-bonus-replay.json
View file

@ -1,18 +1,18 @@
{
"pass": false,
"pass": true,
"expect": "bonus",
"rule": "bonus",
"case": "rule-bonus-expect-bonus-replay",
"replay": {
"synced": false,
"at_s": 541.7,
"seconds_to_sync": null,
"c_blocks": 81,
"a_blocks": 355,
"c_sink": "721e90f98fbea412",
"a_sink": "ea6aaa3c72772c35",
"rule_error_lines": 3,
"rule_error_example": "2026-10-06 23:27:18.254+01:00 [WARN ] Consensus detected UTXO-invalid blocks which are disqualified from the virtual selected chain (possibly due to inheritance): 257 disqualified vs. 81 valid chain b",
"synced": true,
"at_s": 306.7,
"seconds_to_sync": 5,
"c_blocks": 331,
"a_blocks": 331,
"c_sink": "20e976ebf78b2975",
"a_sink": "20e976ebf78b2975",
"rule_error_lines": 0,
"rule_error_example": null,
"digest_refusal_lines": 2,
"late_bps": null
},
@ -22,23 +22,23 @@
"a": "46a9674d2fa6e63167d9023f556cae70835c1101ec2591836eebd293529ad995",
"b": "06a98f41634991a1be682abbed01d4f5ec9e7d3b1124aa2bf79aec4e8e4b9057"
},
"pairs_a": 54,
"pairs_b": 66,
"skipped_wide_mergesets": 0,
"pairs_a": 48,
"pairs_b": 71,
"skipped_wide_mergesets": 1,
"daa_range": [
204,
323
208,
328
],
"median_producer": {
"a": 253741483,
"b": 228360997
"a": 253744124,
"b": 228366543
},
"median_pool": {
"a": 63435370,
"b": 88807054
"a": 63436030,
"b": 88809210
},
"producer_ratio_b_over_a": 0.8999750230040233,
"pool_reading_b": 0.34999028519116837,
"producer_ratio_b_over_a": 0.899987512617238,
"pool_reading_b": 0.3499951391977849,
"wanted": {
"producer": 0.9,
"pool_over_full_producer": 0.35
@ -48,11 +48,23 @@
"producer_ratio_matches": true,
"pool_reading_matches": true,
"a_pool_is_a_quarter": true,
"replay_late_node_holds_every_block": false,
"replay_no_coinbase_rule_error": false
"replay_late_node_holds_every_block": true,
"replay_no_coinbase_rule_error": true
},
"rows": {
"a": [
{
"daa": 325,
"producer": 253789896,
"pool": 63447473,
"parent_daa": 324
},
{
"daa": 324,
"producer": 253789015,
"pool": 63447253,
"parent_daa": 323
},
{
"daa": 323,
"producer": 253788135,
@ -66,22 +78,10 @@
"parent_daa": 321
},
{
"daa": 321,
"producer": 253786374,
"pool": 63446593,
"parent_daa": 320
},
{
"daa": 320,
"producer": 253785494,
"pool": 63446373,
"parent_daa": 319
},
{
"daa": 314,
"producer": 253780212,
"pool": 63445053,
"parent_daa": 313
"daa": 319,
"producer": 253784614,
"pool": 63446153,
"parent_daa": 318
},
{
"daa": 313,
@ -90,22 +90,16 @@
"parent_daa": 312
},
{
"daa": 310,
"producer": 253776692,
"pool": 63444172,
"parent_daa": 309
"daa": 312,
"producer": 253778452,
"pool": 63444613,
"parent_daa": 311
},
{
"daa": 309,
"producer": 253775812,
"pool": 63443952,
"parent_daa": 308
},
{
"daa": 308,
"producer": 253774932,
"pool": 63443732,
"parent_daa": 307
"daa": 311,
"producer": 253777572,
"pool": 63444393,
"parent_daa": 310
},
{
"daa": 307,
@ -113,6 +107,12 @@
"pool": 63443512,
"parent_daa": 306
},
{
"daa": 306,
"producer": 253773171,
"pool": 63443292,
"parent_daa": 305
},
{
"daa": 305,
"producer": 253772291,
@ -120,22 +120,10 @@
"parent_daa": 304
},
{
"daa": 304,
"producer": 253771411,
"pool": 63442852,
"parent_daa": 303
},
{
"daa": 303,
"producer": 253770530,
"pool": 63442632,
"parent_daa": 302
},
{
"daa": 302,
"producer": 253769650,
"pool": 63442412,
"parent_daa": 301
"daa": 301,
"producer": 253768770,
"pool": 63442192,
"parent_daa": 300
},
{
"daa": 300,
@ -150,28 +138,34 @@
"parent_daa": 298
},
{
"daa": 294,
"producer": 253762608,
"pool": 63440652,
"parent_daa": 293
"daa": 297,
"producer": 253765249,
"pool": 63441312,
"parent_daa": 296
},
{
"daa": 291,
"producer": 253759968,
"pool": 63439991,
"parent_daa": 290
"daa": 296,
"producer": 253764368,
"pool": 63441092,
"parent_daa": 295
},
{
"daa": 290,
"producer": 253759088,
"pool": 63439771,
"parent_daa": 289
"daa": 295,
"producer": 253763488,
"pool": 63440872,
"parent_daa": 294
},
{
"daa": 287,
"producer": 253756447,
"pool": 63439111,
"parent_daa": 286
"daa": 288,
"producer": 253757327,
"pool": 63439331,
"parent_daa": 287
},
{
"daa": 285,
"producer": 253754686,
"pool": 63438671,
"parent_daa": 284
},
{
"daa": 284,
@ -180,28 +174,22 @@
"parent_daa": 283
},
{
"daa": 283,
"producer": 253752926,
"pool": 63438231,
"parent_daa": 282
"daa": 277,
"producer": 253747644,
"pool": 63436911,
"parent_daa": 276
},
{
"daa": 282,
"producer": 253752046,
"pool": 63438011,
"parent_daa": 281
"daa": 275,
"producer": 253745884,
"pool": 63436471,
"parent_daa": 274
},
{
"daa": 280,
"producer": 253750285,
"pool": 63437571,
"parent_daa": 279
},
{
"daa": 276,
"producer": 253746764,
"pool": 63436691,
"parent_daa": 275
"daa": 274,
"producer": 253745004,
"pool": 63436250,
"parent_daa": 273
},
{
"daa": 273,
@ -209,18 +197,6 @@
"pool": 63436030,
"parent_daa": 272
},
{
"daa": 270,
"producer": 253741483,
"pool": 63435370,
"parent_daa": 269
},
{
"daa": 269,
"producer": 253740603,
"pool": 63435150,
"parent_daa": 268
},
{
"daa": 267,
"producer": 253738842,
@ -228,16 +204,22 @@
"parent_daa": 266
},
{
"daa": 260,
"producer": 253732680,
"pool": 63433170,
"parent_daa": 259
"daa": 264,
"producer": 253736201,
"pool": 63434050,
"parent_daa": 263
},
{
"daa": 255,
"producer": 253728280,
"pool": 63432069,
"parent_daa": 254
"daa": 262,
"producer": 253734441,
"pool": 63433610,
"parent_daa": 261
},
{
"daa": 256,
"producer": 253729160,
"pool": 63432289,
"parent_daa": 255
},
{
"daa": 252,
@ -246,10 +228,10 @@
"parent_daa": 251
},
{
"daa": 251,
"producer": 253724759,
"pool": 63431189,
"parent_daa": 250
"daa": 249,
"producer": 253722998,
"pool": 63430749,
"parent_daa": 248
},
{
"daa": 247,
@ -258,22 +240,10 @@
"parent_daa": 246
},
{
"daa": 245,
"producer": 253719477,
"pool": 63429869,
"parent_daa": 244
},
{
"daa": 244,
"producer": 253718597,
"pool": 63429649,
"parent_daa": 243
},
{
"daa": 242,
"producer": 253716836,
"pool": 63429209,
"parent_daa": 241
"daa": 241,
"producer": 253715956,
"pool": 63428989,
"parent_daa": 240
},
{
"daa": 240,
@ -281,6 +251,12 @@
"pool": 63428769,
"parent_daa": 239
},
{
"daa": 236,
"producer": 253711556,
"pool": 63427888,
"parent_daa": 235
},
{
"daa": 235,
"producer": 253710675,
@ -288,34 +264,22 @@
"parent_daa": 234
},
{
"daa": 233,
"producer": 253708915,
"pool": 63427228,
"parent_daa": 232
"daa": 234,
"producer": 253709795,
"pool": 63427448,
"parent_daa": 233
},
{
"daa": 230,
"producer": 253706274,
"pool": 63426568,
"parent_daa": 229
"daa": 232,
"producer": 253708034,
"pool": 63427008,
"parent_daa": 231
},
{
"daa": 229,
"producer": 253705394,
"pool": 63426348,
"parent_daa": 228
},
{
"daa": 228,
"producer": 253704513,
"pool": 63426128,
"parent_daa": 227
},
{
"daa": 227,
"producer": 253703633,
"pool": 63425908,
"parent_daa": 226
"daa": 231,
"producer": 253707154,
"pool": 63426788,
"parent_daa": 230
},
{
"daa": 224,
@ -336,10 +300,28 @@
"parent_daa": 220
},
{
"daa": 218,
"producer": 253695712,
"pool": 63423927,
"parent_daa": 217
"daa": 220,
"producer": 253697472,
"pool": 63424367,
"parent_daa": 219
},
{
"daa": 216,
"producer": 253693951,
"pool": 63423487,
"parent_daa": 215
},
{
"daa": 215,
"producer": 253693071,
"pool": 63423267,
"parent_daa": 214
},
{
"daa": 214,
"producer": 253692190,
"pool": 63423047,
"parent_daa": 213
},
{
"daa": 213,
@ -348,42 +330,48 @@
"parent_daa": 212
},
{
"daa": 211,
"producer": 253689550,
"pool": 63422387,
"parent_daa": 210
},
{
"daa": 210,
"producer": 253688669,
"pool": 63422167,
"parent_daa": 209
"daa": 209,
"producer": 253687789,
"pool": 63421947,
"parent_daa": 208
},
{
"daa": 208,
"producer": 253686909,
"pool": 63421727,
"parent_daa": 207
},
{
"daa": 206,
"producer": 253685148,
"pool": 63421287,
"parent_daa": 205
},
{
"daa": 205,
"producer": 253684268,
"pool": 63421067,
"parent_daa": 204
}
],
"b": [
{
"daa": 319,
"producer": 228406153,
"pool": 88824614,
"parent_daa": 318
"daa": 328,
"producer": 228413283,
"pool": 88827386,
"parent_daa": 327
},
{
"daa": 327,
"producer": 228412491,
"pool": 88827078,
"parent_daa": 326
},
{
"daa": 326,
"producer": 228411699,
"pool": 88826770,
"parent_daa": 325
},
{
"daa": 321,
"producer": 228407737,
"pool": 88825230,
"parent_daa": 320
},
{
"daa": 320,
"producer": 228406945,
"pool": 88824922,
"parent_daa": 319
},
{
"daa": 318,
@ -410,28 +398,46 @@
"parent_daa": 314
},
{
"daa": 312,
"producer": 228400607,
"pool": 88822458,
"parent_daa": 311
"daa": 314,
"producer": 228402191,
"pool": 88823074,
"parent_daa": 313
},
{
"daa": 311,
"producer": 228399815,
"pool": 88822150,
"parent_daa": 310
"daa": 310,
"producer": 228399023,
"pool": 88821841,
"parent_daa": 309
},
{
"daa": 306,
"producer": 228395854,
"pool": 88820609,
"parent_daa": 305
"daa": 309,
"producer": 228398231,
"pool": 88821533,
"parent_daa": 308
},
{
"daa": 301,
"producer": 228391893,
"pool": 88819069,
"parent_daa": 300
"daa": 308,
"producer": 228397439,
"pool": 88821225,
"parent_daa": 307
},
{
"daa": 304,
"producer": 228394270,
"pool": 88819993,
"parent_daa": 303
},
{
"daa": 303,
"producer": 228393477,
"pool": 88819685,
"parent_daa": 302
},
{
"daa": 302,
"producer": 228392685,
"pool": 88819377,
"parent_daa": 301
},
{
"daa": 298,
@ -440,22 +446,10 @@
"parent_daa": 297
},
{
"daa": 297,
"producer": 228388725,
"pool": 88817836,
"parent_daa": 296
},
{
"daa": 296,
"producer": 228387932,
"pool": 88817528,
"parent_daa": 295
},
{
"daa": 295,
"producer": 228387140,
"pool": 88817220,
"parent_daa": 294
"daa": 294,
"producer": 228386348,
"pool": 88816912,
"parent_daa": 293
},
{
"daa": 293,
@ -469,6 +463,18 @@
"pool": 88816295,
"parent_daa": 291
},
{
"daa": 291,
"producer": 228383972,
"pool": 88815987,
"parent_daa": 290
},
{
"daa": 290,
"producer": 228383180,
"pool": 88815679,
"parent_daa": 289
},
{
"daa": 289,
"producer": 228382387,
@ -476,10 +482,10 @@
"parent_daa": 288
},
{
"daa": 288,
"producer": 228381595,
"pool": 88815063,
"parent_daa": 287
"daa": 287,
"producer": 228380803,
"pool": 88814755,
"parent_daa": 286
},
{
"daa": 286,
@ -488,10 +494,16 @@
"parent_daa": 285
},
{
"daa": 285,
"producer": 228379218,
"pool": 88814139,
"parent_daa": 284
"daa": 283,
"producer": 228377634,
"pool": 88813523,
"parent_daa": 282
},
{
"daa": 282,
"producer": 228376842,
"pool": 88813215,
"parent_daa": 281
},
{
"daa": 281,
@ -499,6 +511,12 @@
"pool": 88812907,
"parent_daa": 280
},
{
"daa": 280,
"producer": 228375257,
"pool": 88812599,
"parent_daa": 279
},
{
"daa": 279,
"producer": 228374465,
@ -512,22 +530,10 @@
"parent_daa": 277
},
{
"daa": 277,
"producer": 228372880,
"pool": 88811675,
"parent_daa": 276
},
{
"daa": 275,
"producer": 228371296,
"pool": 88811059,
"parent_daa": 274
},
{
"daa": 274,
"producer": 228370504,
"pool": 88810750,
"parent_daa": 273
"daa": 276,
"producer": 228372088,
"pool": 88811367,
"parent_daa": 275
},
{
"daa": 272,
@ -541,6 +547,18 @@
"pool": 88809826,
"parent_daa": 270
},
{
"daa": 270,
"producer": 228367335,
"pool": 88809518,
"parent_daa": 269
},
{
"daa": 269,
"producer": 228366543,
"pool": 88809210,
"parent_daa": 268
},
{
"daa": 268,
"producer": 228365751,
@ -559,30 +577,24 @@
"pool": 88807978,
"parent_daa": 264
},
{
"daa": 264,
"producer": 228362581,
"pool": 88807670,
"parent_daa": 263
},
{
"daa": 263,
"producer": 228361789,
"pool": 88807362,
"parent_daa": 262
},
{
"daa": 262,
"producer": 228360997,
"pool": 88807054,
"parent_daa": 261
},
{
"daa": 261,
"producer": 228360205,
"pool": 88806746,
"parent_daa": 260
},
{
"daa": 260,
"producer": 228359412,
"pool": 88806438,
"parent_daa": 259
},
{
"daa": 259,
"producer": 228358620,
@ -602,10 +614,10 @@
"parent_daa": 256
},
{
"daa": 256,
"producer": 228356244,
"pool": 88805205,
"parent_daa": 255
"daa": 255,
"producer": 228355452,
"pool": 88804897,
"parent_daa": 254
},
{
"daa": 254,
@ -619,18 +631,18 @@
"pool": 88804280,
"parent_daa": 252
},
{
"daa": 251,
"producer": 228352284,
"pool": 88803664,
"parent_daa": 250
},
{
"daa": 250,
"producer": 228351492,
"pool": 88803356,
"parent_daa": 249
},
{
"daa": 249,
"producer": 228350699,
"pool": 88803048,
"parent_daa": 248
},
{
"daa": 248,
"producer": 228349907,
@ -638,10 +650,10 @@
"parent_daa": 247
},
{
"daa": 246,
"producer": 228348322,
"pool": 88802124,
"parent_daa": 245
"daa": 244,
"producer": 228346738,
"pool": 88801508,
"parent_daa": 243
},
{
"daa": 243,
@ -650,10 +662,10 @@
"parent_daa": 242
},
{
"daa": 241,
"producer": 228344361,
"pool": 88800584,
"parent_daa": 240
"daa": 242,
"producer": 228345153,
"pool": 88800892,
"parent_daa": 241
},
{
"daa": 239,
@ -674,28 +686,34 @@
"parent_daa": 236
},
{
"daa": 236,
"producer": 228340401,
"pool": 88799043,
"parent_daa": 235
"daa": 233,
"producer": 228338024,
"pool": 88798119,
"parent_daa": 232
},
{
"daa": 234,
"producer": 228338816,
"pool": 88798427,
"parent_daa": 233
"daa": 230,
"producer": 228335647,
"pool": 88797195,
"parent_daa": 229
},
{
"daa": 232,
"producer": 228337231,
"pool": 88797811,
"parent_daa": 231
"daa": 229,
"producer": 228334855,
"pool": 88796887,
"parent_daa": 228
},
{
"daa": 231,
"producer": 228336439,
"pool": 88797503,
"parent_daa": 230
"daa": 228,
"producer": 228334062,
"pool": 88796579,
"parent_daa": 227
},
{
"daa": 227,
"producer": 228333270,
"pool": 88796271,
"parent_daa": 226
},
{
"daa": 226,
@ -715,42 +733,24 @@
"pool": 88794731,
"parent_daa": 221
},
{
"daa": 220,
"producer": 228327725,
"pool": 88794114,
"parent_daa": 219
},
{
"daa": 219,
"producer": 228326933,
"pool": 88793806,
"parent_daa": 218
},
{
"daa": 218,
"producer": 228326141,
"pool": 88793498,
"parent_daa": 217
},
{
"daa": 217,
"producer": 228325348,
"pool": 88793190,
"parent_daa": 216
},
{
"daa": 216,
"producer": 228324556,
"pool": 88792882,
"parent_daa": 215
},
{
"daa": 215,
"producer": 228323764,
"pool": 88792574,
"parent_daa": 214
},
{
"daa": 214,
"producer": 228322971,
"pool": 88792266,
"parent_daa": 213
},
{
"daa": 212,
"producer": 228321387,
@ -758,22 +758,16 @@
"parent_daa": 211
},
{
"daa": 209,
"producer": 228319011,
"pool": 88790725,
"parent_daa": 208
"daa": 211,
"producer": 228320595,
"pool": 88791342,
"parent_daa": 210
},
{
"daa": 207,
"producer": 228317426,
"pool": 88790109,
"parent_daa": 206
},
{
"daa": 204,
"producer": 228315050,
"pool": 88789185,
"parent_daa": 203
"daa": 210,
"producer": 228319803,
"pool": 88791033,
"parent_daa": 209
}
]
},

702
docs/plans/counter-asic-3-gate/vote-or-burn-rule-burn-expect-burn-replay.json
View file

File diff suppressed because it is too large Load diff

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

@ -158,7 +158,7 @@ Branch `ca3-v4-0316` in the fork (from f8f0f1df, the dependency pass). Every ite
| The miner's stall guard and the node's idle-peer drop (ledger N4) | e6e1fbe2 (miner), 96619b7d (node) | section 7.7 | `stall_guard_fires_on_a_still_tip_only`, `a_peer_is_dropped_only_when_it_relays_nothing_while_our_sink_stands_still`; igneum-miner 19, kaspa-p2p-flows 34, kaspa-p2p-lib 19; the gate, section 7.7 |
| C1 in DAA seconds | 8dbb7a23 | section 7.4 | `checkpoints_read_daa_seconds_from_the_activation`, digest edits 18; finality 13 of 13 |
| Weight-gated deep fork choice | 61b22057 | section 7.5 | `without_the_fork_gate_a_minor_keys_deep_fork_wins` (the known-failed case), `the_fork_gate_refuses_a_deep_fork_under_a_third_and_passes_the_rest`; digest edits 20; finality 15 of 15; the harness, section 7.5 |
| Vote-or-burn and the finality signing bonus | 10db4b61 | section 7.6 | `a_silent_block_pays_the_burn_or_the_bonus_only_when_its_switch_is_on` (coinbase, the known-failed case first), `vote_or_burn_and_the_signing_bonus_pay_a_silent_key_less_only_when_switched_on` (end to end); digest edits 24; the harness, section 7.6 |
| Vote-or-burn and the finality signing bonus | 10db4b61, 812c3ac2 (the silence reading as a function of the block's past) | section 7.6 | `a_silent_block_pays_the_burn_or_the_bonus_only_when_its_switch_is_on` (coinbase, the known-failed case first), `vote_or_burn_and_the_signing_bonus_pay_a_silent_key_less_only_when_switched_on` (end to end); digest edits 24; the harness, section 7.6 |
### 7.1 Difficulty rule v3 (Horizon lane 5 proposal 2), behind `difficulty_v3_activation_daa`
@ -237,7 +237,7 @@ the project lead, 6 October 2026: "weigh it up, implement only if 95%+ of the mi
The model figures (51-percent.md section 5, "silence then costs 7,757 IGN an hour at 34 percent"): a full block pays 3,168,808,781 sompi, the producer 2,535,047,025; the burn is 507,009,405 per block, so at 34 percent of an hour's 3,600 blocks (1,224) silence costs 620,579,511,720 sompi = 6,205.8 IGN an hour. The document's 7,757 is 20 percent of the WHOLE subsidy (633,761,756 x 1,224); the rule as asked ("20 percent of its producer share") gives 6,206. Named, not resolved here: which base the weigh-up wants. Also named: the silence reading depends on the carried-vote records a node holds; a node validating a block more than two weight windows after the block's time (an archival sync from genesis) reads them after their pruning horizon, so either switch stays never until a replay test (sync a fresh node across a switched-on span and compare its coinbase verdicts) exists.
**The replay gate, run 6 October 2026 22:13 to 22:22Z (`--replay`): FAILED for the burn, and the finding closes both switches until the silence reading is rebuilt.** A third node C started from nothing after a 300-s span with the burn on and synced from genesis: it held 81 blocks against A's 340 after 240 s and its log read `Consensus detected UTXO-invalid blocks which are disqualified from the virtual selected chain (possibly due to inheritance): 240 disqualified vs. 81 valid chain blocks`. A node that was not present reads `silent_builder` differently from one that was (its finality state at validation time is not the same: which checkpoint it has determined for a block's past, which vote records it holds, which carriers), so it expects a different coinbase and marks the chain UTXO-invalid from the first disagreement. That is the hazard section 7.6 named ("the silence reading depends on the carried-vote records a node holds") made concrete, and it is a consensus split, not a payout error. Both switches stay never. The fix class before either is ever set: a silence reading that is a pure function of the block's past as every node sees it (the carried votes in the blocks below the block, counted against a checkpoint definition that needs no node-local determination timing), with this replay gate passing on burn and bonus. The bonus case's replay is expected to fail the same way (same reading); its line follows below.
**The replay gate: FAILED on both switches at 22:13 to 22:31Z, then PASSED on both at 00:16 to 00:30Z once the silence reading became a function of the block's own past (fork 812c3ac2).** The first reading took "the latest checkpoint this node has determined in the block's past" from the node's finality state; a node syncing in IBD determines on another schedule than one that saw the chain live, so the two expected different coinbases. Now the index is the one the block's own blue score (or DAA score) determines, the checkpoint block is walked on the block's own chain, the table is `weights_at` on it, and participation counts the carried votes whose carriers lie in the block's past. The one node-local input left is the vote records' carrier lists; the gate below says they agree over a 300-s span synced from genesis. Not yet shown: a fresh node syncing a span longer than two weight windows (the records behind the pruning horizon), which is the gate before either switch is set on a chain older than that. The original failure, kept for the record: A third node C started from nothing after a 300-s span with the burn on and synced from genesis: it held 81 blocks against A's 340 after 240 s and its log read `Consensus detected UTXO-invalid blocks which are disqualified from the virtual selected chain (possibly due to inheritance): 240 disqualified vs. 81 valid chain blocks`. A node that was not present reads `silent_builder` differently from one that was (its finality state at validation time is not the same: which checkpoint it has determined for a block's past, which vote records it holds, which carriers), so it expects a different coinbase and marks the chain UTXO-invalid from the first disagreement. That is the hazard section 7.6 named ("the silence reading depends on the carried-vote records a node holds") made concrete, and it is a consensus split, not a payout error. Both switches stay never. The fix class before either is ever set: a silence reading that is a pure function of the block's past as every node sees it (the carried votes in the blocks below the block, counted against a checkpoint definition that needs no node-local determination timing), with this replay gate passing on burn and bonus. The bonus case's replay is expected to fail the same way (same reading); its line follows below.
Harness `infra/fast-time/vote-or-burn.mjs`: node A's miner votes, node B's runs `--no-vote`, one thread each, 300 s; the last 120 chain blocks of A whose mergeset is their selected parent alone give (producer, pool) pairs sorted by the parent's key; the medians' ratio B / A is the producer reading, B's pool over A's producer the pool reading. `--rule none`: 1.00 and 0.25; `--rule burn`: 0.80 and 0.25; `--rule bonus`: 0.90 and 0.35; `--rule none --expect burn` must FAIL.
@ -248,6 +248,8 @@ Harness `infra/fast-time/vote-or-burn.mjs`: node A's miner votes, node B's runs
| `--rule burn --expect burn --replay` | 22:13 to 22:22Z | the payout PASSES (ratio 0.8000, B's pool 0.2500 of A's producer, 56 and 64 pairs) and the REPLAY FAILS: the late node C held 81 blocks against A's 340 after 240 s, `240 disqualified vs. 81 valid chain blocks` (UTXO-invalid from the first silent coinbase it read differently) | `vote-or-burn-rule-burn-expect-burn-replay.json` |
| `--rule bonus --expect bonus --replay` | 22:22 to 22:31Z | the payout PASSES (ratio 0.9000, B's pool 0.3500 of A's producer, 54 and 66 pairs; A's pool 0.25) and the REPLAY FAILS the same way: C at 81 blocks against A's 355, 3 rule error lines | `vote-or-burn-rule-bonus-expect-bonus-replay.json` |
| `--rule burn --replay --replay-bps 2500` (the replay gate's own failed shape: the late node on another digest) | 22:31 to 22:40Z | FAIL as it must: C held 0 blocks (its handshake refused, 6 digest refusal lines, 0 rule errors); the payout side unchanged (ratio 0.8000) | `vote-or-burn-rule-burn-expect-burn-replay-bps2500.json` |
| `--rule burn --expect burn --replay`, binaries at 812c3ac2 (igneumd 19670ddd..., igneum-miner ef51249c...) | 00:16 to 00:24Z | PASS: the late node C synced every block in 5 s (313 against 313, one sink fb054883), 0 rule error lines; the payout unchanged (ratio 0.8000, B's pool 0.2500 of A's producer, 65 and 54 pairs) | `vote-or-burn-rule-burn-expect-burn-replay.json` |
| `--rule bonus --expect bonus --replay`, 812c3ac2 | 00:24 to 00:30Z | PASS: C synced in 5 s (331 against 331, one sink 20e976eb), 0 rule error lines; the payout unchanged (ratio 0.9000, B's pool 0.3500 of A's producer, 48 and 71 pairs) | `vote-or-burn-rule-bonus-expect-bonus-replay.json` |
### 7.7 The miner's stall guard and the node's idle-peer drop (ledger N4)