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

adv-accept-3: Q2 table over 4,975 full-rule seeds

Browse source 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
igneum-labs 2026-10-07 19:42:18 +00:00
parent 31867b888c
commit e59397c323
2 changed files with 4038 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4021
docs/analysis/cryptanalysis/logs/adv-accept-3/93-steer-s00-part2.tsv Normal file
View file

File diff suppressed because it is too large Load diff

17
docs/analysis/cryptanalysis/report-acceptance-rule-3.md
View file

@ -98,6 +98,23 @@ Part 1 (seeds 0 to 974, binary 928272e0, 88 threads, 20:13 to 20:22 BST before t
The dynamic parts reject 45 of 1,017 candidates that passed the static rule (4.4 percent), (c'') 26 of them: the 2^20 ratio pass is live in the population and is the one dynamic test that fires more than once in a hundred static passes.
Parts 1 and 2 together (seeds 0 to 974 and 1,000 to 3,999, the lease chunks of 20:26 to 20:41 BST; log 93-steer-s00-part2.tsv): 4,975 seeds, 15,714 candidates. Accepted at attempt 0..13: 1,594, 1,057, 742, 511, 327, 241, 157, 102, 69, 63, 39, 22, 14, 8; max 25; last resort 0. Rejections: (a') 8,973, (a) 1,207, (b) 344, (c'') 142, (c) constant bit 32, (c) saturated 31, (c) distinct sum 8, (c') 2. The dynamic parts reject 215 of 5,190 static passes (4.1 percent), (c'') 142 of them. Chain re-draw equality 98 of 98.
| Property of the accepted program | Mean | Min | 10^-1 low / high | 10^-2 | 10^-3 | 2 x 10^-4 (1 of 4,975) | Max |
|---|---|---|---|---|---|---|---|
| Min per-site distinct ratio at 256 units (milli) | 999 | 995 | 999 / 999 | 999 / 999 | 997 / 999 | 995 / 999 | 999 |
| (c) distinct mean (milli, of 128,000) | 127,957 | 123,872 | 127,874 / 128,000 | 127,356 / 128,000 | 124,037 / 128,000 | 123,872 / 128,000 | 128,000 |
| (c) saturated finals (limit 163) | 1.1 | 0 | 0 / 0 | 0 / 30 | 0 / 51 | 0 / 151 | 151 |
| (c) bias max (limit 136) | 58.6 | 33 | 48 / 71 | 41 / 85 | 38 / 100 | 33 / 122 | 122 |
| Loads on the critical path | 76.5 | 40 | 64 / 96 | 48 / 104 | 48 / 120 | 40 / 120 | 120 |
| ALU ops on the critical path | 18,334 | 14,448 | 16,849 / 19,820 | 15,920 / 21,107 | 15,297 / 21,984 | 14,448 / 22,233 | 22,233 |
| Init-only sites, iteration 0 | 2.5 | 1 | 1 / 4 | 1 / 6 | 1 / 7 | 1 / 8 | 8 |
| Chi-square against the weights | 8.95 | 0.60 | 4.17 / 14.40 | 2.20 / 21.54 | 1.04 / 30.70 | 0.60 / 37.68 | 37.68 |
| Lossy last writes | 1.6 | 0 | 0 / 3 | 0 / 4 | 0 / 5 | 0 / 6 | 6 |
| or, mul, mulhi in the base | 11.1 | 1 | 7 / 15 | 5 / 18 | 3 / 21 | 1 / 22 | 22 |
The accepted population's static tails are the static sweep's tails of section 3 at the same quantiles (critical path 48 / 104 at 10^-2 in both; ALU 15,920 against 15,937), so the dynamic rule does not condition the static shape and the 10^6-seed static table stands for the accepted programs too. The dynamic tails: the worst accepted program sits at 151 saturated finals of the 163 limit and bias 122 of 136, and the worst distinct mean at 123.9 of the 120 floor; the (c'') ratio reaches 0.995 at 256 units (seeds 2653, 3296, 4388; three of 4,975, 1 in 1,660), below anything the first 975 showed (0.998) and below lane adv-accept's minimum over 16,337 (0.9945 at the same 256 units, so the two label spaces agree). Those three go to the live census (section 4b, second table).
Known-failed shape (`adv3 steer --from 900000 --count 48 --threads 48 --plant hot --check-every 1`, box 1, 20:07 to 20:08 BST, binary 35336b84, log logs/adv-accept-3/steer-plant.log): on each accepted program the two ALU instructions that last wrote the source register of one load were rewritten to `or` (the source then saturates toward all ones) and the ratio re-read.
| Rows | Planted ratio at 256 units | Population ratio (the same 48 unplanted) | The real rule on the planted program |