AP-F8-6 and class v5 section 14 open with main's sentence verbatim (eight of eight hot sets refused; the diffuse era-stride excess under 0.1 percent of a hash's reads per site is the next class's test)

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>

docs/design/class-v5-stored-state.md

@@ -315,4 +315,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.
 
-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 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.

docs/fud-ledger.md

@@ -2526,7 +2526,7 @@ Status: Fixed in class v5 (8ca66afa, 0.3.25's igneum-pow line); sub-version 3's
 
 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.
 
-Answer: 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.
+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.
 
 Status: Answered with evidence (the miss recorded beside the eight of eight); the lever routed to the next class and CA4; nothing in class v5's frozen object 1c420786 moves.