From ff4c3ebcd8303f674090aa4314edbbc4de3fe638 Mon Sep 17 00:00:00 2001 From: igneum-labs <337424239+igneum-labs@users.noreply.github.com> Date: Wed, 7 Oct 2026 20:41:54 +0000 Subject: [PATCH] adv-cache-3 ledger: the sibling-43 kill was adv-cache-2's drain; file superseded, not rerun Co-Authored-By: Claude Fable 5.1 --- docs/analysis/cryptanalysis/report-chained-cache-3.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/docs/analysis/cryptanalysis/report-chained-cache-3.md b/docs/analysis/cryptanalysis/report-chained-cache-3.md index 569c3611..91405b6e 100644 --- a/docs/analysis/cryptanalysis/report-chained-cache-3.md +++ b/docs/analysis/cryptanalysis/report-chained-cache-3.md @@ -166,13 +166,13 @@ One line: a differential-linear sweep on the reduced ladder (one chosen input di | File 97, the image census again plus the plant, `lease pool 48 --min 16` | 2 | queued 20:26; its yield loop passed at 20:35 when the class-v5 waiter line was absent for a moment, the lease took 48 cores at 20:41:15 and the binary ran about 30 s while class-v5 waited; killed by pid 20:41:5x (my error against main's order of 20:3x: no adv-* lease on box 2 until the class v5 census runs); not restarted until main clears box 2 | 0.4 min | 0.007 | | File 98, the flip-table ladder at 2^18 lines (rounds 2, 3, 4, 6), resubmitted 20:43 at `lease pool 32 --min 16` under the ranked lease (class adv), binary `45911ba7...` (the harness with `--dep-samples`, commit d5d53701) | 1 | queued 20:33, cores taken 21:13 after 30 min waiting | 4 runs of 5 s each on 32 cores, done 21:14 | 0.005 | | File 97, the image census again at `lease pool 32 --min 16`, class adv | 2 | restarted 21:13 when main opened box 2; cores taken 21:13 | depth 64 in 10.5 min, the plant 7.5 min; done 21:34 | 0.17 (32 of 88 cores for 18 min, counted as 0.36 of a slot) | -| Sibling file 43 (`adv-cache-2 warps-devnet-2e26-v2`, owner adv-cache-2: the 2^26-nonce warps census of the devnet program), claimed by this lane at 21:16 as the next unclaimed queue file, run with the same command at 32 threads (24 taken) | 2 | 21:35 | SIGTERM (rc 143) after 247 s at 21:39, the lease released 24 cores; the log (17 KB, copied as `sibling-43-warps-devnet-2e26-v2.log`) reached the devnet program's line, segment, hot-set and store rows before the kill (section 10) | 0.03 | +| Sibling file 43 (`adv-cache-2 warps-devnet-2e26-v2`, owner adv-cache-2: the 2^26-nonce warps census of the devnet program), claimed by this lane at 21:16 as the next unclaimed queue file, run with the same command at 32 threads (24 taken) | 2 | 21:35 | killed at 21:39 by adv-cache-2's drain (by mistake, as an orphan of its own; 247 s and 24 cores lost); the owner says file 43 is superseded by its item 430 at 2^25 nonces, so it is not run again; the partial log is kept as `sibling-43-warps-devnet-2e26-v2.log` (section 10) | 0.03 | Running total: 0.26 slot-hours of the 8 budgeted (the ask line is 16); no pod-hours. Every sweep the plan called for ran in seconds because the chain is 2^22 blocks a day and the statistics here are 2^22 to 2^27 block evaluations; the width went into day keys, chain lengths and the reduced-round ladder rather than into time. ## 10. Sibling queue file 43, run for adv-cache-2 -Claimed at 21:16 as the only unclaimed file in THE QUEUE (`43-adv-cache-2-warps-devnet-2e26-v2.sh`, owner `adv-cache-2`, its binary and its log directory), run with the file's own command at 32 threads (`lease pool 32 --min 16`, 24 cores taken) from 21:35. The process was ended by SIGTERM at 21:39 after 247 s (rc 143; this lane did not send it and the ranked lease's pre-emption rule names holders above 32 threads, so the sender is not known to this lane). What the log had written before the kill, for the owner to read against its own gates (its statistics, not this lane's): +Claimed at 21:16 as the only unclaimed file in THE QUEUE (`43-adv-cache-2-warps-devnet-2e26-v2.sh`, owner `adv-cache-2`, its binary and its log directory), run with the file's own command at 32 threads (`lease pool 32 --min 16`, 24 cores taken) from 21:35. The process was ended by SIGTERM at 21:39 after 247 s (rc 143): adv-cache-2's drain killed it by mistake as an orphan of its own, about 3 minutes of 24 cores lost. The owner has since said the file is superseded by its item 430 at 2^25 nonces, so the row is not needed and the file is not run again. What the log had written before the kill, for the owner to read against its own gates (its statistics, not this lane's): | Row in the owner's log | Reading | |---|---| @@ -183,4 +183,4 @@ Claimed at 21:16 as the only unclaimed file in THE QUEUE (`43-adv-cache-2-warps- | REAL LINE STORE | f = 1/2 stride 0.260x of the item's ops, f = 1/2 hottest 0.431x, f = 1/4 stride 0.779x; equal under the control | | ITEM STORE (hottest items) | f = 0.001: 0.9991x of the model's ops per hash; f = 0.01: 0.9918x; the f = 0.1 row cut by the kill | -The file is left claimed by this lane with the partial log in the owner's directory; whether to run it again is the owner's call (its row is adv-cache-2's hot-set class, not this lane's). +The file stays claimed as it is; nothing else was queued behind it in this lane.