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

in-house-pass.md: the no-gaps rule (both boxes, every idle core at nice 10, yield to builds, sweeps back to back, the box-hour line a reading not a stop)

Browse source 
the project lead's standing rule through main, 7 October 2026, 19:1x BST; relayed to the three lanes the same minute.

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
igneum-labs 2026-10-07 18:19:12 +00:00
parent ce1a28afd6
commit da973164db
1 changed files with 17 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

26
docs/plans/cryptanalysis/in-house-pass.md
View file

@ -68,18 +68,26 @@ Known leaks, stated: `CLAUDE.md` loads on its own in every lane (operating rules
A result is a BREAK (a method with a measured or counted gain, reproducible from the command and the seed) or a BOUND (what was searched, with what tools, how far it reached, the margin left). "Nothing found" counts only with its effort stated in box-hours and tools. Every number carries its command, its seed and its log path on the box.
## 4. The budget, in box-hours
## 4. The budget and the no-gaps rule
Box 2 (`igneum-build-2`) at 18:5x BST: load 23 on 96 cores, 3 slots, all three free. Every lane run is the bounded class (nice 10, a 32-core band, `-j 32`), so three lanes never share a core and a gate still takes its slot ahead of them.
Standing rule from the project lead through main (7 October 2026, 19:1x BST), binding: no gaps between tasks.
| Lane | Slot band | First results | Proposed ceiling before main's word | Notes |
|---|---|---|---|---|
| adv-mixer | 64 to 95 | 8 box-hours | 16 | SAT and MILP searches on reduced rounds; the 2^24 day-key census |
| adv-cache | 32 to 63 | 8 box-hours | 16 | one 256 MiB cache fill per day key; the 2^28 line-index census |
| adv-accept | 0 to 31 | 8 box-hours | 16 | the 10^6-seed passing-program search; the stand-in against the live dataset |
| Total | 3 slots | 24 box-hours (APPROVED by main, 19:1x BST) | 48 (ask main before crossing 24) | a box-hour is one slot for one hour (32 cores); 24 box-hours = 768 core-hours |
| Rule | What it means for a lane |
|---|---|
| Every idle core on both boxes | A lane runs on build-1 and build-2 together, on every idle core, at nice 10, no core band; release builds and the class v5 suites keep priority |
| Yield to builds | The capacity layer's pattern (`infra/build-server`, the yield-to-builds workload): the run polls `/srv/builds/_locks` every 5 s, SIGSTOPs its own process group while any `build-<k>` or `measure` lock is held, SIGCONT when clear |
| Back to back | Question `n + 1`'s sweep starts the minute question `n`'s ends; no waiting for a human to read; each result row lands in the report and is pushed as it lands |
| The box-hour line is a reading | 8 box-hours per lane, 24 in all, is read and reported to main when crossed, not a stop; 16 per lane, 48 in all, is the ask line |
| Exceptions only | The coordinator reports to main only exceptions (a lane blocked, a box contended with a build, a leak of a withheld input) and clock readings (each plan's arrival, each first result) |
A lane holds one slot at a time. A run over 10 minutes is built through `tools/build-remote.sh --box 2` and started on the box with `nohup`, `nice -n 10`, `taskset` to the lane's band, a pid file beside its log under `/srv/builds/igneum-wt-adv-<lane>/adv/`; killed by pid file only. No GPU tonight: a GPU measurement is BLOCKED and says so. Nothing runs on the Mac.
| Lane | First results | Ask line | Notes |
|---|---|---|---|
| adv-mixer | 8 box-hours | 16 | SAT and MILP searches on reduced rounds; the 2^24 day-key census |
| adv-cache | 8 box-hours | 16 | one 256 MiB cache fill per day key; the 2^28 line-index census; memory stated per run |
| adv-accept | 8 box-hours | 16 | the 10^6-seed passing-program search sharded across every idle core; the stand-in against the live dataset |
| Total | 24 box-hours (approved by main, a reading) | 48 (ask) | a box-hour is one 32-core slot-equivalent for one hour; 24 box-hours = 768 core-hours |
Box 2 at 18:5x BST: load 23 on 96 cores, 3 slots free. Build-1 is the busier box (gates and release builds); nice 10 is what keeps those ahead. A run over 10 minutes is built through `tools/build-remote.sh` (`--box 1` or `--box 2`, whichever has a free slot) and started on the box with `nohup`, `nice -n 10`, a pid file beside its log under `/srv/builds/igneum-wt-adv-<lane>/adv/`; killed by pid file only. No GPU tonight: a GPU measurement is BLOCKED and says so. Nothing runs on the Mac.
## 5. Deliverables