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

class v5: the 61-row era reading (0 of 61 refused; era-drawn-28 at 0.9969) and the class v5 attempts census (per-candidate rejection 0.6893, (a') 83.4 percent, (c''') 1.0 percent, 0 exhaustions, P(256) 4.4e-42) on the spec, the page and AP-F8-6, logs under the harness dir

Browse source 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
igneum-labs 2026-10-07 22:50:45 +00:00
parent 3ffcf638cc
commit 428b5bd866
5 changed files with 99 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

21
docs/design/class-v5-harness/v5-attempts-census-1000.log Normal file
View file

@ -0,0 +1,21 @@
lease: holding 23 pool cores (8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,34,35,36,40,41,42,95, waited 0 s, class v5): v5 gate: attempts census 1000 seeds
running 1 test
test accept::tests::v5_attempts_census ... v5_attempts_census: 1000 seeds 0..1000 in 202 s on 23 threads
candidates 3219, rejected 2219, per-candidate rejection 0.6893, exhaustions 0, P(256 consecutive) 4.362e-42
first failing part (a') unfresh source: 1850 (83.4 percent of rejections, 57.5 percent of candidates)
first failing part (a) stale load: 237 (10.7 percent of rejections, 7.4 percent of candidates)
first failing part (b) no injecting write: 66 (3.0 percent of rejections, 2.1 percent of candidates)
first failing part (c''') hot-item site: 23 (1.0 percent of rejections, 0.7 percent of candidates)
first failing part (c'') low-entropy site: 26 (1.2 percent of rejections, 0.8 percent of candidates)
first failing part (c) constant bit: 7 (0.3 percent of rejections, 0.2 percent of candidates)
first failing part (c) distinct addresses: 1 (0.0 percent of rejections, 0.0 percent of candidates)
first failing part (c) saturated: 9 (0.4 percent of rejections, 0.3 percent of candidates)
accepted attempt mean 2.219
ok
test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 79 filtered out; finished in 202.24s
Terminated
lease: released 23 pool cores after 203 s, exit 0
exit 0

72
docs/design/class-v5-harness/v5-listed-adv-cache-2-full.log Normal file
View file

@ -0,0 +1,72 @@
lease: 0 of 4 pool cores free (88 leased), a higher class waits ahead; waiting
lease: holding 16 pool cores (8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23, waited 61 s, class v5): v5 gate: c3 reading on listed programs
running 1 test
test accept::tests::v5_floor_on_listed_programs ... listed: id a785001687d8688a attempt 1 R 29 | v4 accepted min site 6 ratio 0.9999 (most read 0x630ad9d x3) | v5 at this attempt accepted | v5 draw attempt 1 id 6554474f410f36f3 | real devnet-epoch0 a785001687d8688a R29 clean (worst 1.0111x)
listed: id fce15bf61030be57 attempt 0 R 9 | v4 accepted min site 0 ratio 0.9992 (most read 0x3c78071 x3) | v5 at this attempt accepted | v5 draw attempt 0 id e5a4ac5978462156 | real dn3-epoch0 fce15bf61030be57 R9 BIASED site0 1.4492x
listed: id 7ceb797d31eedb3e attempt 0 R 8 | v4 accepted min site 13 ratio 0.9992 (most read 0x5146808 x3) | v5 at this attempt accepted | v5 draw attempt 0 id 1b8c8a8b0223c48b | era-drawn-2 id 7ceb797d31eedb3e R8 BIASED site13 1.2641x
listed: id 7431dd8c7e69f7e8 attempt 1 R 10 | v4 accepted min site 4 ratio 0.9999 (most read 0x89aa x3) | v5 at this attempt accepted | v5 draw attempt 1 id d19e7690e7c5974d | era-drawn-3 id 7431dd8c7e69f7e8 R10 clean
listed: id 547280973f296eba attempt 0 R 22 | v4 accepted min site 6 ratio 0.9999 (most read 0x6436deb x4) | v5 at this attempt accepted | v5 draw attempt 0 id e5f7448cee52162f | era-drawn-4 id 547280973f296eba R22 clean
listed: id 2c95159eac337cb1 attempt 1 R 12 | v4 accepted min site 0 ratio 0.9996 (most read 0xb6bf2ef x4) | v5 at this attempt accepted | v5 draw attempt 1 id 9235227801568374 | era-drawn-5 id 2c95159eac337cb1 R12 band site0 1.0968x
listed: id 6b771f905f297593 attempt 7 R 9 | v4 accepted min site 7 ratio 0.9999 (most read 0x83721d7 x3) | v5 at this attempt accepted | v5 draw attempt 7 id 9d9619f7ad13368e | era-drawn-6 id 6b771f905f297593 R9 clean
listed: id c08967f22aad33d5 attempt 1 R 16 | v4 accepted min site 5 ratio 0.9999 (most read 0x60ebe x2) | v5 at this attempt accepted | v5 draw attempt 1 id b1b0b6449d708c34 | era-drawn-7 id c08967f22aad33d5 R16 clean
listed: id 77bbfe5e43cf5cfe attempt 0 R 28 | v4 accepted min site 12 ratio 0.9997 (most read 0x5d7e8e2 x3) | v5 at this attempt accepted | v5 draw attempt 0 id af003c9ffbbe5eb3 | era-drawn-8 id 77bbfe5e43cf5cfe R28 band site12 1.0443x
listed: id 3a77b329a1f1a76e attempt 1 R 11 | v4 accepted min site 13 ratio 0.9999 (most read 0x5fbf69 x3) | v5 at this attempt accepted | v5 draw attempt 1 id 291e283289b0c2eb | era-drawn-9 id 3a77b329a1f1a76e R11 clean
listed: id b600a1ce4924d566 attempt 4 R 22 | v4 accepted min site 7 ratio 0.9995 (most read 0x3dcf88 x3) | v5 at this attempt accepted | v5 draw attempt 4 id 64faf75735e375bf | era-drawn-10 id b600a1ce4924d566 R22 BIASED site7 1.2257x
listed: id 14f2d8f228ebdb61 attempt 1 R 4 | v4 accepted min site 9 ratio 0.9999 (most read 0x4a57ea x3) | v5 at this attempt accepted | v5 draw attempt 1 id ab3aec11fc9b4eb8 | era-drawn-11 id 14f2d8f228ebdb61 R4 clean
listed: id 0cf124b9d9a38b8e attempt 0 R 9 | v4 accepted min site 2 ratio 1.0000 (most read 0x403a8d7 x3) | v5 at this attempt accepted | v5 draw attempt 0 id bb93102ee74e6b0f | era-drawn-12 id 0cf124b9d9a38b8e R9 clean
listed: id d5b48578379c0778 attempt 0 R 4 | v4 accepted min site 10 ratio 0.9997 (most read 0x85bcefb x3) | v5 at this attempt accepted | v5 draw attempt 0 id 0e4665f455166e91 | era-drawn-13 id d5b48578379c0778 R4 band site10 1.0638x
listed: id 3a1830da58e9fdcc attempt 0 R 3 | v4 accepted min site 11 ratio 0.9990 (most read 0x7609539 x3) | v5 at this attempt accepted | v5 draw attempt 0 id c76b7927a1be6c1d | era-drawn-14 id 3a1830da58e9fdcc R3 band site2 1.1601x
listed: id 9f6f71d6ec70859c attempt 0 R 12 | v4 accepted min site 14 ratio 0.9965 (most read 0x5a0030b x4) | v5 at this attempt accepted | v5 draw attempt 0 id 82d93db59bff5a25 | era-drawn-15 id 9f6f71d6ec70859c R12 BIASED site14 1.5115x
listed: id 06a8e2c82e3e79ba attempt 1 R 31 | v4 accepted min site 9 ratio 0.9999 (most read 0x4262e20 x3) | v5 at this attempt accepted | v5 draw attempt 1 id b6f8aea2d672e067 | era-drawn-16 id 06a8e2c82e3e79ba R31 clean
listed: id 5d2d50b934b23e2d attempt 1 R 11 | v4 accepted min site 0 ratio 0.9996 (most read 0x8100a96 x3) | v5 at this attempt accepted | v5 draw attempt 1 id 5a11a476ffdb4898 | era-drawn-17 id 5d2d50b934b23e2d R11 BIASED site0 1.2139x
listed: id 78aea912def06c6d attempt 2 R 29 | v4 accepted min site 5 ratio 0.9999 (most read 0xc3aa17a x3) | v5 at this attempt accepted | v5 draw attempt 2 id f18cc48d86acd93c | era-drawn-18 id 78aea912def06c6d R29 clean
listed: id 1e93f426b2a7abf1 attempt 0 R 12 | v4 accepted min site 1 ratio 0.9998 (most read 0x80e2d3f x3) | v5 at this attempt accepted | v5 draw attempt 0 id 9beabf34d1619b7c | era-drawn-19 id 1e93f426b2a7abf1 R12 band site1 1.0452x
listed: id 11f9f955b21d56c9 attempt 1 R 29 | v4 accepted min site 11 ratio 0.9996 (most read 0x2fddc97 x8) | v5 at this attempt accepted | v5 draw attempt 1 id a5535e9b0404a778 | era-drawn-20 id 11f9f955b21d56c9 R29 BIASED site11 1.2234x subclassB
listed: id 0c6fc318b776c5e3 attempt 0 R 31 | v4 accepted min site 4 ratio 0.9986 (most read 0x81398f7 x3) | v5 at this attempt accepted | v5 draw attempt 0 id 91ec4febbdeea396 | era-drawn-21 id 0c6fc318b776c5e3 R31 band site4 1.1246x
listed: id 0322691b606115a5 attempt 4 R 27 | v4 accepted min site 3 ratio 0.9999 (most read 0x224fe x3) | v5 at this attempt accepted | v5 draw attempt 4 id ab47eb7384048dc0 | era-drawn-22 id 0322691b606115a5 R27 clean
listed: id 40296d4425aea3bc attempt 0 R 29 | v4 accepted min site 8 ratio 0.9999 (most read 0x4deb5a x3) | v5 at this attempt accepted | v5 draw attempt 0 id 02acd5a11628af45 | era-drawn-23 id 40296d4425aea3bc R29 clean
listed: id 7abf7a48bad76861 attempt 0 R 3 | v4 accepted min site 4 ratio 0.9998 (most read 0x67ac3f x3) | v5 at this attempt accepted | v5 draw attempt 0 id 3ebc5340ade738ec | era-drawn-24 id 7abf7a48bad76861 R3 band site4 1.0747x
listed: id 62f40dcddd8b8095 attempt 6 R 21 | v4 accepted min site 11 ratio 0.9994 (most read 0x4e10c x3) | v5 at this attempt accepted | v5 draw attempt 6 id 52b19315aa2eff58 | era-drawn-25 id 62f40dcddd8b8095 R21 BIASED site11 1.3571x
listed: id bf7bd1b789cbde04 attempt 0 R 11 | v4 accepted min site 2 ratio 0.9998 (most read 0x4371966 x3) | v5 at this attempt accepted | v5 draw attempt 0 id 4c89384fc265555d | era-drawn-26 id bf7bd1b789cbde04 R11 band site8 1.1019x
listed: id f4b3a716f83891bd attempt 7 R 1 | v4 accepted min site 1 ratio 0.9999 (most read 0x4c5dc4 x3) | v5 at this attempt accepted | v5 draw attempt 7 id c58132be81b70674 | era-drawn-27 id f4b3a716f83891bd R1 clean
listed: id 5e9eb01efbbf653e attempt 6 R 15 | v4 accepted min site 15 ratio 0.9969 (most read 0xfb48b8c x4) | v5 at this attempt accepted | v5 draw attempt 6 id 2cee5084c430da9f | era-drawn-28 id 5e9eb01efbbf653e R15 BIASED site15 1.7451x
listed: id f174e050a73dfebf attempt 4 R 29 | v4 accepted min site 3 ratio 0.9999 (most read 0x845a21b x3) | v5 at this attempt accepted | v5 draw attempt 4 id 02915e4ccef2634a | era-fixed-1 R29 clean
listed: id 7ceb797d31eedb3e attempt 0 R 29 | v4 accepted min site 7 ratio 0.9999 (most read 0x8b38ccc x3) | v5 at this attempt accepted | v5 draw attempt 0 id 1b8c8a8b0223c48b | era-fixed-2 R29 clean
listed: id 7431dd8c7e69f7e8 attempt 1 R 29 | v4 accepted min site 3 ratio 0.9999 (most read 0x82d9791 x3) | v5 at this attempt accepted | v5 draw attempt 1 id d19e7690e7c5974d | era-fixed-3 R29 clean
listed: id 547280973f296eba attempt 0 R 29 | v4 accepted min site 10 ratio 0.9999 (most read 0x944af0 x3) | v5 at this attempt accepted | v5 draw attempt 0 id e5f7448cee52162f | era-fixed-4 R29 clean
listed: id 2c95159eac337cb1 attempt 1 R 29 | v4 accepted min site 7 ratio 0.9999 (most read 0xd63f9 x3) | v5 at this attempt accepted | v5 draw attempt 1 id 9235227801568374 | era-fixed-5 R29 clean
listed: id 6b771f905f297593 attempt 7 R 29 | v4 accepted min site 15 ratio 0.9999 (most read 0x3495cec x3) | v5 at this attempt accepted | v5 draw attempt 7 id 9d9619f7ad13368e | era-fixed-6 R29 clean
listed: id c08967f22aad33d5 attempt 1 R 29 | v4 accepted min site 15 ratio 0.9999 (most read 0x64f56c0 x4) | v5 at this attempt accepted | v5 draw attempt 1 id b1b0b6449d708c34 | era-fixed-7 R29 clean
listed: id 77bbfe5e43cf5cfe attempt 0 R 29 | v4 accepted min site 12 ratio 0.9997 (most read 0x1a2dd24 x3) | v5 at this attempt accepted | v5 draw attempt 0 id af003c9ffbbe5eb3 | era-fixed-8 R29 clean
listed: id 3a77b329a1f1a76e attempt 1 R 29 | v4 accepted min site 6 ratio 0.9999 (most read 0x10e84a9 x3) | v5 at this attempt accepted | v5 draw attempt 1 id 291e283289b0c2eb | era-fixed-9 R29 clean
listed: id b600a1ce4924d566 attempt 4 R 29 | v4 accepted min site 13 ratio 0.9999 (most read 0x261c4 x2) | v5 at this attempt accepted | v5 draw attempt 4 id 64faf75735e375bf | era-fixed-10 R29 clean
listed: id 14f2d8f228ebdb61 attempt 1 R 29 | v4 accepted min site 10 ratio 0.9999 (most read 0x24151 x2) | v5 at this attempt accepted | v5 draw attempt 1 id ab3aec11fc9b4eb8 | era-fixed-11 R29 clean
listed: id 0cf124b9d9a38b8e attempt 0 R 29 | v4 accepted min site 14 ratio 1.0000 (most read 0x45d6893 x3) | v5 at this attempt accepted | v5 draw attempt 0 id bb93102ee74e6b0f | era-fixed-12 R29 clean
listed: id d5b48578379c0778 attempt 0 R 29 | v4 accepted min site 10 ratio 0.9999 (most read 0x81c4e1b x3) | v5 at this attempt accepted | v5 draw attempt 0 id 0e4665f455166e91 | era-fixed-13 R29 clean
listed: id 3a1830da58e9fdcc attempt 0 R 29 | v4 accepted min site 10 ratio 0.9999 (most read 0x38ddaa9 x3) | v5 at this attempt accepted | v5 draw attempt 0 id c76b7927a1be6c1d | era-fixed-14 R29 clean
listed: id 9f6f71d6ec70859c attempt 0 R 29 | v4 accepted min site 12 ratio 0.9999 (most read 0x8277cc0 x3) | v5 at this attempt accepted | v5 draw attempt 0 id 82d93db59bff5a25 | era-fixed-15 R29 clean
listed: id 06a8e2c82e3e79ba attempt 1 R 29 | v4 accepted min site 6 ratio 0.9999 (most read 0x610740d x4) | v5 at this attempt accepted | v5 draw attempt 1 id b6f8aea2d672e067 | era-fixed-16 R29 clean
listed: id 5d2d50b934b23e2d attempt 1 R 29 | v4 accepted min site 8 ratio 0.9996 (most read 0x40997e9 x3) | v5 at this attempt accepted | v5 draw attempt 1 id 5a11a476ffdb4898 | era-fixed-17 R29 clean
listed: id 78aea912def06c6d attempt 2 R 29 | v4 accepted min site 0 ratio 0.9999 (most read 0x1f0ee16 x3) | v5 at this attempt accepted | v5 draw attempt 2 id f18cc48d86acd93c | era-fixed-18 R29 clean
listed: id 1e93f426b2a7abf1 attempt 0 R 29 | v4 accepted min site 13 ratio 0.9999 (most read 0xf3c7d41 x4) | v5 at this attempt accepted | v5 draw attempt 0 id 9beabf34d1619b7c | era-fixed-19 R29 clean
listed: id 11f9f955b21d56c9 attempt 1 R 29 | v4 accepted min site 11 ratio 0.9997 (most read 0x78c3e4c x8) | v5 at this attempt accepted | v5 draw attempt 1 id a5535e9b0404a778 | era-fixed-20 R29 BIASED site11 1.2624x subclassB
listed: id 0c6fc318b776c5e3 attempt 0 R 29 | v4 accepted min site 4 ratio 0.9995 (most read 0x8c62f2f x3) | v5 at this attempt accepted | v5 draw attempt 0 id 91ec4febbdeea396 | era-fixed-21 R29 band site4 1.0421x
listed: id 0322691b606115a5 attempt 4 R 29 | v4 accepted min site 13 ratio 0.9999 (most read 0xc16a085 x3) | v5 at this attempt accepted | v5 draw attempt 4 id ab47eb7384048dc0 | era-fixed-22 R29 clean
listed: id 40296d4425aea3bc attempt 0 R 29 | v4 accepted min site 12 ratio 0.9999 (most read 0x8052df6 x3) | v5 at this attempt accepted | v5 draw attempt 0 id 02acd5a11628af45 | era-fixed-23 R29 clean
listed: id 7abf7a48bad76861 attempt 0 R 29 | v4 accepted min site 1 ratio 0.9999 (most read 0x66a0a17 x4) | v5 at this attempt accepted | v5 draw attempt 0 id 3ebc5340ade738ec | era-fixed-24 R29 clean
listed: id 62f40dcddd8b8095 attempt 6 R 29 | v4 accepted min site 15 ratio 1.0000 (most read 0xb360ee x4) | v5 at this attempt accepted | v5 draw attempt 6 id 52b19315aa2eff58 | era-fixed-25 R29 clean
listed: id bf7bd1b789cbde04 attempt 0 R 29 | v4 accepted min site 13 ratio 0.9999 (most read 0xc047d84 x3) | v5 at this attempt accepted | v5 draw attempt 0 id 4c89384fc265555d | era-fixed-26 R29 clean
listed: id f4b3a716f83891bd attempt 7 R 29 | v4 accepted min site 1 ratio 0.9999 (most read 0x7a3a9a x3) | v5 at this attempt accepted | v5 draw attempt 7 id c58132be81b70674 | era-fixed-27 R29 clean
listed: id 5e9eb01efbbf653e attempt 6 R 29 | v4 accepted min site 6 ratio 0.9998 (most read 0xc8f2271 x3) | v5 at this attempt accepted | v5 draw attempt 6 id 2cee5084c430da9f | era-fixed-28 R29 clean
listed: id 2b0a40cc3a70e020 attempt 0 R 29 | v4 accepted min site 8 ratio 1.0000 (most read 0x2a7a1 x2) | v5 at this attempt accepted | v5 draw attempt 0 id 957d989cabe259a1 | era-fixed-29 R29 clean
listed: id 9a73f1a82105f121 attempt 0 R 29 | v4 accepted min site 2 ratio 0.9999 (most read 0x62d668e x4) | v5 at this attempt accepted | v5 draw attempt 0 id e6d3cf57f3712eb0 | era-fixed-30 R29 clean
listed: id 976b99cc22e009dc attempt 0 R 29 | v4 accepted min site 3 ratio 0.9996 (most read 0xf04d27 x3) | v5 at this attempt accepted | v5 draw attempt 0 id c912b65ac4561a4d | era-fixed-31 R29 clean
listed: id a06224ac05122c77 attempt 1 R 29 | v4 accepted min site 4 ratio 0.9999 (most read 0x4ae4e x3) | v5 at this attempt accepted | v5 draw attempt 1 id f58b8acb4f7a5302 | era-fixed-32 R29 clean
listed: 0 of 61 refused under class v5 at the listed attempt
ok
test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 79 filtered out; finished in 1024.52s
Terminated
lease: released 16 pool cores after 1085 s, exit 0

4
docs/design/class-v5-stored-state.md
View file

@ -305,6 +305,8 @@ Two fixes were on the table, with the rule that the one with the lower rejection
The rule taken: `MIN_DISTINCT_RATIO_V5 = 0.995` (igneum-pow `accept.rs`, ab6f980b), applied by `check_indices_v5` on the ratio pass's own run when the candidate's class has the state flag: `site_index_stats` keeps every site's sorted word indices once (the distinct count, the colliding pairs, the most read index with its count), `distinct_ratio_on` names a site under 0.98 as (c'') first, then `hot_item_pass` names a site under 0.995 as (c''') `Reject::HotItemSite` with the ratio and the most read index. No class v4 verdict moves (the key is the state flag), no new sample is drawn, and the per-candidate cost is the sort (c'') already paid plus one linear pass. The exemplar is refused at attempt 2 under class v5; the class v5 draw moves to the next attempt; the class v4 draw still lands on it. The known-failed test `class_v5_hot_set_rule_known_failed_seed_100767` holds all of that and the genesis draws of both classes clearing the floor. The census test `v5_hot_census` (ignored; run by hand on a box) reads over 4,600 seeds of the f8 label space the class v4 accepted programs' minimum-site spread, the count under floors 0.98, 0.99, 0.995, 0.998 and 0.999, the attempts histogram of the class v4 and class v5 draws and the seeds whose v5 draw lands on another attempt: the clean rejection rate and the retried-draw cost of the number. Its reading goes in this section when it lands.
The census paragraph in the form of the crypto lane's attempts census of sub-version 3 (per-candidate rejection 0.68, (a') 83.3 percent of rejections, 0 exhaustions, P(256) 8e-44): class v5's own, over 1,000 seeds of the f8 label space through the chain draw (`v5_attempts_census`, box 2, 23:4x BST, `docs/design/class-v5-harness/v5-attempts-census-1000.log`): 3,219 candidates, 2,219 rejected, per-candidate rejection 0.6893, accepted attempt mean 2.219, 0 exhaustions, P(256 consecutive rejections) 4.4e-42. First failing part per rejected candidate: (a') unfresh source 1,850 (83.4 percent of rejections, 57.5 percent of candidates); (a) stale load 237 (10.7 percent); (b) no injecting write 66 (3.0 percent); (c'') low-entropy site 26 (1.2 percent); (c''') hot-item site 23 (1.0 percent of rejections, 0.7 percent of candidates: the floor's own share, one candidate in 140); (c) saturated 9, constant bit 7, distinct addresses 1 (0.7 percent together); (c') none at first failure. So the rule's cost is class v4's: (c''') adds 0.7 percent to the per-candidate rejection and 0.045 to the accepted attempt mean.
The exemplar under class v5 itself (adv-accept, 20:36 UK, logs/adv-accept/v5-exemplar.log on branch adv-accept): the same base program and era drawn as generator 5 (id 2fd83dbae09c366d under 25c8063f, before (c''')), the dataset keyed by the Devnet 3 v5 pack's state stream (11 records, root 7e37a9fb...a311), the unmodified f8 census at 2^24 sequential nonces on day 20730, 589 warps checked against Epoch::hash_warp with 0 mismatches: hot-set test X_f +0.15514 percent at f = 0.1 percent (X/f 1.55, a hot set) against +0.15503 under class v4; top 0.1 percent share 2.0462x against 2.0455x; the same eight hottest items (0x000000 with 29,722 reads, then the other multiples of 2^19); site 6 carries 3.358 percent of its reads into the hot set against 3.350. The state leaf changes every dataset word and the hot set does not move by a part in a thousand: the concentration is the program's register dataflow at site 6 plus the era stride, and any dataset keyed through the same load address inherits it. That is why the floor on the index statistic (which the state does not touch) is the right instrument, and why class v5's dataset gives no cover.
The known-failed test's reading on box 2 (20:24 UK): class v4 accepts the exemplar with site 6 at 0.9919 (1,031,917 distinct of 1,048,576, adv-accept's exact count; index 0 the most read, 235 times at the 2^20 random sample against 1,677 per 10^6 sequential nonces); class v5 refuses it at attempt 2 naming site 6 at 0.991; the class v5 draw lands on attempt 4 (program 734fbb8e3e4cd20f) and passes; the class v4 draw still lands on attempt 2; the genesis draws of both classes read 0.9990 at their minimum site.
@ -315,4 +317,4 @@ The census reading (box 2, 48 pool cores under lease class v5, 20:42 to 21:03 UK
The five programs main named, read by adv-accept at the acceptance's own 2^20 sample (21:35 UK, logs gap-five-d20733.log and gap-five-d20730.log on branch adv-accept): seed 4346 (bbb38e847011c354, 2.24x live) minimum site 2 at 0.9840 and seed 5245 (beaad44840bb9e4e, 1.86x live) site 8 at 0.9831, both refused by the floor; Devnet 3's epoch-0 class v4 program fce15bf61030be57 at site 0 (instruction 3, source r6) 0.9992 (live 0.9993), adv-cache-2's era-fixed-20 (11f9f955b21d56c9) site 11 at 0.9997 and era-drawn-2 (7ceb797d31eedb3e) site 13 at 0.9992: at or above the floor, the residual. Three further hot sets of adv-accept's refused: 106924 at 0.9821, 107022 at 0.9877, and 1738 (33ece54e2df5ea44, attempt 4, X at 0.1 percent +0.102 percent, 1.68x over the window model) at site 13 0.9868 (live 0.9870; log gap-hot3.log), and 170 (53a02a7c9c9b86f3, attempt 4, X at 0.1 percent +0.143 percent, 2.02x) at site 2 0.9880 (live 0.9877; log gap-hot4.log), and 122960 (4be7393ab6c84802, attempt 0, X at 0.1 percent +0.111 percent, 1.54x, the hottest item 0x81ad88 from an all-ones source at site 12, saturated-source share 0.353 percent under the (c') 1 percent) at site 12 0.9824 (live 0.9822, 1.31 percent of the site's reads on indices read 8 or more times; log gap-122960.log), so every live hot set by X_f at or above f adv-accept found (eight, minimum sites 0.9821 to 0.9919) is refused, and of its nine deepest stand-in seeds read live at 2^24 (gap-newlow5.log, gap-deep4.log) six clean programs are refused too (130488 at 0.9898, 19921 at 0.9912, 600738 at 0.9934, 148927 at 0.9814, 150347 at 0.9896, 34501 at 0.9929; top 0.1 percent share 0.9998x to 1.0028x live), one clean passes (602822 at 0.9951) and 29307 at 0.9912 is refused beyond the gate (1.29x): the floor's statistic at 2^20 is usually a thin spread on the live set, not a hot set, which is the 2.4 percent clean rejection's population, and a floor cannot move up to the mild residuals without refusing most clean programs; the three mild concentrations it misses are worth about 1.0004x to a chip. The record's sentence (the defender's ruling, 21:4x UK): the freeze commit CLOSES THE HOT-SET HALF of the class and NOT the class: the floor refuses every program whose live hot set passes X_f at or above f that any lane measured (seven of adv-accept's, 0.9821 to 0.9919 at the minimum site, and 4346, 5245), and misses the three milder concentrations (top 0.1 percent share 1.26x to 1.45x of control, 0.03 to 0.1 percent of a hash's reads each, the shadow block's last write to the load's source register as the mechanism: a mul, a mulhi, a sub), Devnet 3's own first program among them, whose site-0 product low-bit law moves the distinct count by 0.08 percent: inside the clean population's spread at 2^20 (adv-accept's clean 1st percentile about 0.9993 on 29,032 programs), so no floor that keeps the clean rejection rate near 2.4 percent reaches it; the residual's prevalence is 3 of 432 load sites in adv-cache-2's census and its chip gain under 1.001x; its lever is a value-level source test at live scale or a per-site hot-item test, not a ratio, routed to the next class as a named item. Devnet 3's first class v5 program therefore draws the same (e5a4ac5978462156, attempt 0; the (c''') CLI on build-1 at 21:08 UK confirms). The residual's chip value: a hot table serving 0.1 percent of one site's reads is 1/16 of that over the program's loads, under the 1.067x bound of AP-F8-1 by two orders; its instrument, if main wants it closed, is a shadow-block draw rule (the last write before a load's source may not be a mul, mulhi or sub of the same register: a rule in the draw, not the acceptance), owed as a named row below, not tonight's object.
Main's sentence on the record (23:4x BST), verbatim: "eight of eight hot sets refused; the diffuse era-stride excess, bounded under 0.1 percent of a hash's reads per site, is not caught by the floor and is the next class's test." The reading under it. What the floor does not reach, named (corrected 23:3x UK by the era reading below; the first form of this sentence put the bound at "a top-0.1-percent share under about 1.3x", which was the wrong instrument's number): the distinct-index count at 2^20 reads concentration on FEW word indices (adv-accept's hot sets put about 3 percent of a site's reads on 512 indices, the multiples of 2^19, so the collision count moves by thousands and the ratio falls to 0.98 to 0.992), not a diffuse excess over the top 0.1 percent of items (16,384 items, 262,144 word indices: a 1.5x share there is about +0.08 percent of a site's reads spread over them, moving the distinct count by a few hundred, inside the clean spread). The era reading (box 2, 23:2x UK, `class-v5-harness/v5-listed-adv-cache-2-full.log`; adv-cache-2's census programs at their table attempts, igneum-pow 73daadc2): 0 of 29 refused, every class v5 draw on the class v4 attempt; the six over 1.2x read era-drawn-2 (1.2657x) site 13 0.9992, era-drawn-10 (1.2257x, R 22) site 7 0.9995, era-drawn-15 (1.5115x) site 14 0.9965, era-drawn-17 (1.2139x, R 11) site 0 0.9996, era-drawn-20 (1.2234x, R 29) site 11 0.9996, era-fixed-20 (1.2624x, devnet era) site 11 0.9997; the seven in the 1.04x to 1.2x band 0.9986 to 0.9998; the clean ones 0.9999 to 1.0000; the devnet-era controls of the biased pairs 0.9996 to 0.9999. So the floor closes the few-item hot-set class (eight of eight) and none of the era-stride diffuse class (a product's biased low bits placed into the index by the era's stride rotation R; hidden on the devnet by R = 29); that class is the next class's row: the per-site item-share test at live scale, or a draw rule on R and the shadow block's last write to a load's source. Its chip value is bounded by its own diffuseness: a hot table of the top 0.1 percent of items (1 MiB) serves 1.5 x 0.16 percent of one site's reads, 1/16 of that over the program's loads, about 1.0024x at the worst site read so far (era-drawn-28 at 1.75x pending), under the AP-F8-1 bound by an order; adv-accept's eight live hot sets sat at stride rotations 28, 19, 29, 29, 29, 11, 30, 10, so the two classes overlap in R and differ in shape, not in era.
Main's sentence on the record (23:4x BST), verbatim: "eight of eight hot sets refused; the diffuse era-stride excess, bounded under 0.1 percent of a hash's reads per site, is not caught by the floor and is the next class's test." The reading under it. What the floor does not reach, named (corrected 23:3x UK by the era reading below; the first form of this sentence put the bound at "a top-0.1-percent share under about 1.3x", which was the wrong instrument's number): the distinct-index count at 2^20 reads concentration on FEW word indices (adv-accept's hot sets put about 3 percent of a site's reads on 512 indices, the multiples of 2^19, so the collision count moves by thousands and the ratio falls to 0.98 to 0.992), not a diffuse excess over the top 0.1 percent of items (16,384 items, 262,144 word indices: a 1.5x share there is about +0.08 percent of a site's reads spread over them, moving the distinct count by a few hundred, inside the clean spread). The era reading (box 2, 23:2x UK, `class-v5-harness/v5-listed-adv-cache-2-full.log`; adv-cache-2's census programs at their table attempts, igneum-pow 73daadc2): 0 of 29 refused, every class v5 draw on the class v4 attempt; the six over 1.2x read era-drawn-2 (1.2657x) site 13 0.9992, era-drawn-10 (1.2257x, R 22) site 7 0.9995, era-drawn-15 (1.5115x) site 14 0.9965, era-drawn-17 (1.2139x, R 11) site 0 0.9996, era-drawn-20 (1.2234x, R 29) site 11 0.9996, era-fixed-20 (1.2624x, devnet era) site 11 0.9997; the seven in the 1.04x to 1.2x band 0.9986 to 0.9998; the clean ones 0.9999 to 1.0000; the devnet-era controls of the biased pairs 0.9996 to 0.9999. So the floor closes the few-item hot-set class (eight of eight) and none of the era-stride diffuse class (a product's biased low bits placed into the index by the era's stride rotation R; hidden on the devnet by R = 29); that class is the next class's row: the per-site item-share test at live scale, or a draw rule on R and the shadow block's last write to a load's source. Its chip value is bounded by its own diffuseness: a hot table of the top 0.1 percent of items (1 MiB) serves 1.5 x 0.16 percent of one site's reads, 1/16 of that over the program's loads, about 1.0024x at the worst site read, under the AP-F8-1 bound by an order; the full 61-row reading (23:5x BST, `class-v5-harness/v5-listed-adv-cache-2-full.log`: the two real programs, 27 drawn-era, 32 devnet-era) reads 0 of 61 refused, every class v5 draw on the class v4 attempt; era-drawn-28 (1.7451x, R 15, the worst of adv-cache-2's census) reads site 15 at 0.9969 and era-drawn-25 (1.3571x, R 21) site 11 at 0.9994, both over the floor, so the diffuse class's worst member sits 0.0019 over the line while the few-item hot sets sit 0.003 to 0.013 under it; adv-accept's eight live hot sets sat at stride rotations 28, 19, 29, 29, 29, 11, 30, 10, so the two classes overlap in R and differ in shape, not in era.

2
docs/fud-ledger.md
View file

@ -2524,7 +2524,7 @@ Status: Fixed in class v5 (8ca66afa, 0.3.25's igneum-pow line); sub-version 3's
### AP-F8-6. The class v5 acceptance floor does not reach the era-stride diffuse concentration
Finding (7 October 2026, the in-house pass adv-cache-2, report-chained-cache-2.md section 2.3 on branch adv-cache-2, 2^23 nonces per program on day 20730): under drawn eras, 13 of 27 class v4 sub-version 3 programs carry a load site whose top 0.1 percent of items take over 1.04x the window model's share (8 over 1.2x: era-drawn-2 1.2657x, -10 1.2257x, -15 1.5115x, -17 1.2139x, -20 1.2234x, -25 1.3571x, -28 1.7451x, era-fixed-20 1.2624x), against 2 of 32 under the devnet era, and Devnet 3's own epoch-0 program at site 0 reads 1.4492x at 2^26 nonces. The mechanism: a product's biased low bits (the shadow block's last write to the load's source, a mul, mulhi or sub) land at address bits R and up through the era's stride rotation `rotl(x * stride, R)`, inside the 28-bit index unless R is 28 or more; R = 29 on the devnet hid it. Class v5's floor (c''', `MIN_DISTINCT_RATIO_V5 = 0.995` at the 2^20 acceptance sample) was read on the class at 23:2x UK (box 2, class-v5 73daadc2, `docs/design/class-v5-harness/v5-listed-adv-cache-2-full.log`): 0 of 29 programs refused at their table attempts, the six over 1.2x at 0.9965 (era-drawn-15) to 0.9997, the 1.04x to 1.2x band at 0.9986 to 0.9998, every class v5 draw on the class v4 attempt.
Finding (7 October 2026, the in-house pass adv-cache-2, report-chained-cache-2.md section 2.3 on branch adv-cache-2, 2^23 nonces per program on day 20730): under drawn eras, 13 of 27 class v4 sub-version 3 programs carry a load site whose top 0.1 percent of items take over 1.04x the window model's share (8 over 1.2x: era-drawn-2 1.2657x, -10 1.2257x, -15 1.5115x, -17 1.2139x, -20 1.2234x, -25 1.3571x, -28 1.7451x, era-fixed-20 1.2624x), against 2 of 32 under the devnet era, and Devnet 3's own epoch-0 program at site 0 reads 1.4492x at 2^26 nonces. The mechanism: a product's biased low bits (the shadow block's last write to the load's source, a mul, mulhi or sub) land at address bits R and up through the era's stride rotation `rotl(x * stride, R)`, inside the 28-bit index unless R is 28 or more; R = 29 on the devnet hid it. Class v5's floor (c''', `MIN_DISTINCT_RATIO_V5 = 0.995` at the 2^20 acceptance sample) was read on the class at 23:2x UK (box 2, class-v5 73daadc2, `docs/design/class-v5-harness/v5-listed-adv-cache-2-full.log`): 0 of 61 programs refused at their table attempts (the two real programs, 27 drawn-era, 32 devnet-era controls), the eight over 1.2x at 0.9965 (era-drawn-15, 1.51x) and 0.9969 (era-drawn-28, 1.75x) to 0.9997, the 1.04x to 1.2x band at 0.9986 to 0.9998, every class v5 draw on the class v4 attempt.
Answer (main's sentence, 7 October 2026, 23:4x BST): "eight of eight hot sets refused; the diffuse era-stride excess, bounded under 0.1 percent of a hash's reads per site, is not caught by the floor and is the next class's test." The reading under it: correct, and a different instrument's class. The distinct-index count at 2^20 reads concentration on FEW word indices (adv-accept's eight live hot sets put about 3 percent of a site's reads on 512 indices, the multiples of 2^19, and read 0.9821 to 0.9919: all eight refused by the floor), not a diffuse excess over the top 0.1 percent of items (16,384 items, 262,144 word indices: era-drawn-15's 1.51x is about +0.08 percent of the site's reads spread over them, a few hundred distinct indices, inside the clean spread of 0.0001). So the floor closes the few-item hot-set class and does not reach this one, and no floor would without refusing most clean programs (section 14 of the class v5 design page). Chip value, bounded by the diffuseness itself: a hot table of the top 0.1 percent of items (1 MiB) serves 1.5 x 0.16 percent of one load site's reads, 1/16 of that over the program's 16 loads, about 1.0024x at the worst site read, under the AP-F8-1 bound of 1.067x by an order; nothing in the chip model's rows moves. The next class's test, named: the per-site item-share test at live scale (the window model's top-0.1-percent share per site over 2^23 or more nonces, which costs seconds per candidate and so cannot sit in the acceptance's millisecond budget), or a draw rule on the era's R range and on the shadow block's last write to a load's source register (a mul, mulhi or sub of the same register), known-failed first on Devnet 3's epoch-0 program (fce15bf61030be57, site 0) and era-drawn-28.

2
docs/spec/01-lottery-hash.md
View file

@ -208,6 +208,8 @@ A class v5 candidate must pass every part of section 1.4.6 and then (c'''): on t
Why 0.995 (the record is `docs/design/class-v5-stored-state.md` section 14 and ledger AP-F8-1): the in-house pass found class v4 sub-version 3 programs that pass every part of 1.4.6 and read a live hot set (the exemplar, seed 100767 of the f8 label space, program `9d68e6286fc817d4`: 3.35 percent of one site's reads on the top 0.1 percent of items, from a `mad` value that is near zero in a value class, mapped by the era stride onto the multiples of 2^19); at the acceptance's own sample that site reads 0.9919, where the window model's spread is 0.0001 and the clean median 0.9999. The census over 4,600 seeds reads 2.435 percent of class v4 accepted programs under 0.995 (their class v5 draw lands on a later attempt; the attempts mean goes 2.174 to 2.248), none under 0.98, and 0 class v5 accepted programs under the floor; every live hot set the pass measured (eight, 0.9821 to 0.9919) is under the floor, and the floor misses the shadow-block-written concentrations at 0.9992 to 0.9997 (worth about 1.0004x to a chip), which no floor reaches without refusing most clean programs. 0.99 would pass the exemplar.
The census paragraph in the form of the crypto lane's attempts census of sub-version 3 (per-candidate rejection 0.68, (a') 83.3 percent of rejections, 0 exhaustions, P(256) 8e-44): class v5's own, over 1,000 seeds of the f8 label space through the chain draw (`v5_attempts_census`, box 2, 23:4x BST, `docs/design/class-v5-harness/v5-attempts-census-1000.log`): 3,219 candidates, 2,219 rejected, per-candidate rejection 0.6893, accepted attempt mean 2.219, 0 exhaustions, P(256 consecutive rejections) 4.4e-42. First failing part per rejected candidate: (a') unfresh source 1,850 (83.4 percent of rejections, 57.5 percent of candidates); (a) stale load 237 (10.7 percent); (b) no injecting write 66 (3.0 percent); (c'') low-entropy site 26 (1.2 percent); (c''') hot-item site 23 (1.0 percent of rejections, 0.7 percent of candidates: the floor's own share, one candidate in 140); (c) saturated 9, constant bit 7, distinct addresses 1 (0.7 percent together); (c') none at first failure. So the rule's cost is class v4's: (c''') adds 0.7 percent to the per-candidate rejection and 0.045 to the accepted attempt mean.
Attempts, the cap and the last resort are section 1.4.6's with one difference: class v5's last resort is verified. After `MAX_ATTEMPTS_V4 = 256` refused candidates, from attempt 256 on each candidate is rewritten as class v4's last resort is (every `or`, `mul` and `mulhi` to `xor`), its stale loads re-sourced to the lowest register written since the register's last load, walked to a fixpoint (part (a) by construction; only load sources move), and the result run through the whole rule; the first that passes is the program (`last_resort_v5`, scan of 256 candidates). Past the scan the first repaired candidate stands as drawn (the draw is total); that fallback sits under 1e-300 per epoch seed. Class v4 sub-version 3's last resort is unreachable (4.6e-44 per epoch seed) and unverified against the rule (ledger AP-F8-3); class v5's is verified by `class_v5_last_resort_is_verified_known_failed_adv3_steer_2`.
#### 1.4.7.3 The two class v5 draw rules