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

Merge master 3f07cf74 into site-claims-1p5x under the master-landing lock

Browse source
This commit is contained in:
igneum-labs 2026-10-09 12:29:26 +00:00
commit ece33c2ac9
5 changed files with 183 additions and 16 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

13
docs/analysis/class-v6/1p5x/lab/README.md
View file

@ -396,6 +396,19 @@ README.md at the box master's sha at 15:00, the conventions on the ctl-v6 and ct
32 GB prototype-shard clause is Devnet 1's; on Devnet 4 (fees_v1_activation_daa 0) a 24 GB NVIDIA card proves the v1 shard and
aggregates beside its miner now; the 16 GB tier holds no shard.
## 8g. The "no emergency intervention" row (main, 13:1x UK; measured behaviour of record)
The statement's third clause ("the network does not depend on emergency intervention to survive") is carried on the scoreboard as
a measured row, never an argument: Devnet 4 runs finality rule v3 (the frozen table expiring at lock DAA + 7,200); finality has
been paused since lock 1980; the roll restores signing weight; the first new lock is expected 15:30 to 17:00 UK; through the pause
the chain ran on PoW, nothing certified reversed, and proving was unaffected once the finality gate on provers was lifted. The vote
key is label-derived (no key file; a fresh datadir keeps it). The row flips from "paused, chain on PoW" to "locked" on the hub's
first new lock line; the ledger page cites it with the DAA and the UK time.
The LAB stays on watch until the ledger page lands (17:30 UK): the scoreboard and table current as COHORT's five-chain session,
ADVERSARY's ledger rows, the proving epoch record (16:00) and the comparative review (15:30) land; make-bundle.sh re-run for the
14:00 edition and at 17:30 with the ledger rows, each edition's path and sha to main.
## 9. The lane briefs, one line each
- CONTROLS: the four controls as rows of the table: `ctl-v6` from the record and re-measured on the cohort; `ctl-progpow-094`

19
docs/analysis/class-v6/1p5x/lab/table.md
View file

@ -192,6 +192,25 @@ on Windows and Mac where a 32 GB NVIDIA card is present, NOT LIVE on the 24 GB t
- The boxes (the build steward, 13:1x): the lab's ended box runs' pid files removed as stale after each pid's command line was read
dead; the steward's defaults on build-4, build-5 and build-6 stand until a lane claims with a live pid file.
- THE 4090 DECIDER (COHORT 13:10, uncapped pod 55012546, 450 W default, driver 570.172.08, worker f5f3846c, 250 x 2^24, three
runs each, one session; build-1:/srv/artefacts/lab/ctl-v6-decider/vast-55012546/): the 4 GiB signing object 31.52 MH/s at
275.1 W = 8,728.3 nJ per hash, twin 7,398.0, f 0.848, spread 1.06 percent, fp PASS; the same id at 2^28 32.14 MH/s = 8,600.1
nJ; the research pack 32.15 = 8,448.2; occupancy identical (88 registers, 20 blocks per SM). CLOSED on both denominator cards:
the 4 GiB set costs 2.0 (4090) and 2.9 (5090) percent of rate and 1.5 to 1.8 percent of joules; reads 8.07 G per second at 4 GiB
against 8.23 at 1 GiB; the batch-shape question closed by CONTROLS' own pair (20 x 2^22 and 50 x 2^24 equal to four figures), so
no fix pair exists to measure. The uncapped 4090 ctl-v6 cells: 8,369 / 8,692 / 8,728 / 8,751 nJ over four pods (host spread 4.5
percent, drivers 570 to 595): the scoreboard's 4090 figure is the median 8,710 with the spread, the worst cell 8,751 = 5.67x.
- Autolykos2 priced on set v3 (ADVERSARY 13:1x, README section 15): the same-node board 198 nJ (172 to 249) = 5.8x on the 4090 at
stock from CONTROLS' 216.2 MH/s at 250 W claimed (MODELLED-from-rate until COHORT's session row); the die on four reticles 46
nJ (25x); premise 1.01x; phase A no recovery on any path (Ergo's 24-month mining emission about USD 0.6 M); phase B mining only,
the chip's advantage USD 0.024 per TH standing in full.
- SEARCH handed build-9 back (batches 1 and 2 done and exported); its measurements continue on the rented 4090 (x10b 64-load,
alu-520k, the v6x2 pair, batch 2's self-tests); row folders at build-1:/srv/artefacts/lab/rows/lab-search-4090-pod/ with SUMS;
the lane record docs/analysis/class-v6/1p5x/lab/search/README.md on branch lab-search.
- The "no emergency intervention" row (8g): Devnet 4 on finality rule v3, paused since lock 1980, the chain on PoW through the
pause, nothing certified reversed, proving unaffected once the finality gate on provers was lifted; the first new lock expected
15:30 to 17:00 UK; the vote key label-derived (no key file).
## Open rows (NOT RUN)
| row | owner | clock |

30
docs/plans/igneum-2.0-test-registry.json
View file

@ -20434,7 +20434,7 @@
"plan_status": "NOT RUN",
"run_id": "lab-20261009-01",
"evidence_path": "docs/analysis/class-v6/1p5x/lab/README.md; docs/analysis/class-v6/1p5x/lab/table.md",
"updated": "2026-10-09T12:15:20.071Z",
"updated": "2026-10-09T12:23:49.783Z",
"evidence_record": {
"requirement_id": "R15-01",
"decision": "NOT RUN",
@ -20455,8 +20455,8 @@
},
"claim_impact": "none",
"reviewer": "",
"at": "2026-10-09T12:15:20.071Z",
"note": "The lab's interface and the candidate table at the fan-out: the frozen v6 control carried from the record (the house 5090 at its knee 4,011 nJ per hash, board power; the X0 amendment 5b rows: the DRAM board 2.35x same node WITNESS, the N2 die 7.8x the worst credible), the cohort rows for the 3090, the 5080 and the AMD and Intel tiers NOT RUN, adversarial set v1 pending; the three other controls (ProgPoW 0.9.4 reference, FishHash, the cooperative ARX candidate) NOT RUN with their clocks. No score is the lab's until the cohort and the adversary rows are in; R15-01, R15-08 and R15-09 stay NOT RUN until read. X10 (cand-x10) joins the table NOT RUN with its per-lane assignments and clocks; COHORT's ctl-v6 denominator set is in flight on eight rented pods. 12:1x UK: adversarial set v1 on the table (the frozen v6's same-node board 2.57x, 2.04 to 3.00, the fused tail CLAIMED until the routed lanes land; the die 11.4x as a coexistence row); the coexistence table (interface section 8b) added as the scoreboard's headline; SEARCH's first screen recorded as SCREEN rejections. Still NOT RUN: no cohort score until COHORT's eight rows are read back. 12:2x UK: set v2 (the routed fused-ARX lanes) makes the v6 board 2.60x a WITNESS; the ctl-v6 coexistence table (the board holds at every price; the N2 die pushes the GPU owner out above 14,300 dies at USD 0.10) is the headline; X10 SCREEN with the card modelled (the board 3.00x at 118 loads). Still NOT RUN: the cohort rows in their timed runs. 12:3x UK: the first cohort cells (ctl-v6 at stock on rented 5090, 5080 and 3090 pods: the worst cell the 3090 at 8,429 nJ = 5.46x on set v2's same-node board, PARTIAL, the dataset size under decision after CONTROLS measured the live 4 GiB object at 2.4x the 1 GiB research pack's rate); X10's first measured cell (cand-x10b on the 4090 at stock 3,653 nJ per lane-work = 5.8x on the board; the fold buys nothing); set v3 (routed 64-register and multiply-xor lanes); the fourth to sixth review rulings (8c); the 4 GiB rule (8e). Every row still NOT RUN until read. 12:4x UK: ctl-v6's first full score over the NVIDIA cohort at stock (the worst cell the RTX 4090 uncapped 8,751 nJ = 5.67x on set v2's same-node board; every cell at 4 GiB, the earlier 2.4x reading an instrument artefact, corrected once); the two-phase rows (ADVERSARY 545f3f8a0, 36d17b15c): phase B NOT LIVE until a shipped package proves, the shipping row open; SEARCH's twenty candidates on set v3 none under 1.5x on any cell (SCREEN). Every row still NOT RUN until read. 13:0x UK: the decider closed on both cards (the 4 GiB object costs 2.0 to 2.9 percent of rate against its 1 GiB export; the 2.4x reading withdrawn as a contention fault); the read-headroom row answered (both cards at their activation limit); the uncapped 5090 cell 5,980 nJ = 3.88x on the board; the shipping row's facts by file and line with the Devnet 4 correction (a 24 GB card proves the v1 shard now; the proving row NOT LIVE until the epoch record by 16:00); the 4 GiB cap defined as the mining dataset floor only; the founder's ledger order (8f) applied. Every row still NOT RUN until read. 13:1x UK: CONTROLS' done line (the four controls, Etchash and Autolykos2 staged bit-exact with SUMS); ADVERSARY's cross-chain phase A and B (no chain's emission recovers a board chip; the proving share the one term) and the E9 Pro calibration (1.28x pessimistic); the first founder bundle 985afee6. Every row still NOT RUN until read. | The 1.5x adversarial comparison laboratory (the founder's order, 9 October 2026, 11:4x UK): one evaluation for every control and candidate (the measurement recipe with the read-only twin for the memory share, the adversary interface returning the lowest credible specialist energy per design as a complete machine with WITNESS or BOUND labels, the score as the worst comparison over the required cohort same node and one node ahead, the rejection filters F1 to F6, the regression set REG-01 to REG-08 from the 8 and 9 October failures). Every row NOT RUN until the panel reads it; the first measured score (the frozen v6 control on the cohort against adversarial set v1) lands as a later batch under this cell. Amended 11:5x UK: X10, the full-sector fold candidate of the founder's third review, added as cand-x10 with the scoped same-node board claim (the die and node-ahead chips as coexistence rows); the AMD and Intel tiers NOT RUN on every candidate (no rented card; the house rigs unreachable by software) until a card is found."
"at": "2026-10-09T12:23:49.783Z",
"note": "The lab's interface and the candidate table at the fan-out: the frozen v6 control carried from the record (the house 5090 at its knee 4,011 nJ per hash, board power; the X0 amendment 5b rows: the DRAM board 2.35x same node WITNESS, the N2 die 7.8x the worst credible), the cohort rows for the 3090, the 5080 and the AMD and Intel tiers NOT RUN, adversarial set v1 pending; the three other controls (ProgPoW 0.9.4 reference, FishHash, the cooperative ARX candidate) NOT RUN with their clocks. No score is the lab's until the cohort and the adversary rows are in; R15-01, R15-08 and R15-09 stay NOT RUN until read. X10 (cand-x10) joins the table NOT RUN with its per-lane assignments and clocks; COHORT's ctl-v6 denominator set is in flight on eight rented pods. 12:1x UK: adversarial set v1 on the table (the frozen v6's same-node board 2.57x, 2.04 to 3.00, the fused tail CLAIMED until the routed lanes land; the die 11.4x as a coexistence row); the coexistence table (interface section 8b) added as the scoreboard's headline; SEARCH's first screen recorded as SCREEN rejections. Still NOT RUN: no cohort score until COHORT's eight rows are read back. 12:2x UK: set v2 (the routed fused-ARX lanes) makes the v6 board 2.60x a WITNESS; the ctl-v6 coexistence table (the board holds at every price; the N2 die pushes the GPU owner out above 14,300 dies at USD 0.10) is the headline; X10 SCREEN with the card modelled (the board 3.00x at 118 loads). Still NOT RUN: the cohort rows in their timed runs. 12:3x UK: the first cohort cells (ctl-v6 at stock on rented 5090, 5080 and 3090 pods: the worst cell the 3090 at 8,429 nJ = 5.46x on set v2's same-node board, PARTIAL, the dataset size under decision after CONTROLS measured the live 4 GiB object at 2.4x the 1 GiB research pack's rate); X10's first measured cell (cand-x10b on the 4090 at stock 3,653 nJ per lane-work = 5.8x on the board; the fold buys nothing); set v3 (routed 64-register and multiply-xor lanes); the fourth to sixth review rulings (8c); the 4 GiB rule (8e). Every row still NOT RUN until read. 12:4x UK: ctl-v6's first full score over the NVIDIA cohort at stock (the worst cell the RTX 4090 uncapped 8,751 nJ = 5.67x on set v2's same-node board; every cell at 4 GiB, the earlier 2.4x reading an instrument artefact, corrected once); the two-phase rows (ADVERSARY 545f3f8a0, 36d17b15c): phase B NOT LIVE until a shipped package proves, the shipping row open; SEARCH's twenty candidates on set v3 none under 1.5x on any cell (SCREEN). Every row still NOT RUN until read. 13:0x UK: the decider closed on both cards (the 4 GiB object costs 2.0 to 2.9 percent of rate against its 1 GiB export; the 2.4x reading withdrawn as a contention fault); the read-headroom row answered (both cards at their activation limit); the uncapped 5090 cell 5,980 nJ = 3.88x on the board; the shipping row's facts by file and line with the Devnet 4 correction (a 24 GB card proves the v1 shard now; the proving row NOT LIVE until the epoch record by 16:00); the 4 GiB cap defined as the mining dataset floor only; the founder's ledger order (8f) applied. Every row still NOT RUN until read. 13:1x UK: CONTROLS' done line (the four controls, Etchash and Autolykos2 staged bit-exact with SUMS); ADVERSARY's cross-chain phase A and B (no chain's emission recovers a board chip; the proving share the one term) and the E9 Pro calibration (1.28x pessimistic); the first founder bundle 985afee6. Every row still NOT RUN until read. 13:2x UK: the decider closed on the 4090 too (2.0 percent of rate at 4 GiB); Autolykos2 priced on set v3; the finality row (8g: Devnet 4 on rule v3, paused since lock 1980, the chain on PoW, nothing reversed) as the measured behaviour for the statement's third clause. Every row still NOT RUN until read. | The 1.5x adversarial comparison laboratory (the founder's order, 9 October 2026, 11:4x UK): one evaluation for every control and candidate (the measurement recipe with the read-only twin for the memory share, the adversary interface returning the lowest credible specialist energy per design as a complete machine with WITNESS or BOUND labels, the score as the worst comparison over the required cohort same node and one node ahead, the rejection filters F1 to F6, the regression set REG-01 to REG-08 from the 8 and 9 October failures). Every row NOT RUN until the panel reads it; the first measured score (the frozen v6 control on the cohort against adversarial set v1) lands as a later batch under this cell. Amended 11:5x UK: X10, the full-sector fold candidate of the founder's third review, added as cand-x10 with the scoped same-node board claim (the die and node-ahead chips as coexistence rows); the AMD and Intel tiers NOT RUN on every candidate (no rented card; the house rigs unreachable by software) until a card is found."
},
"evidence_records": {
"lab:candidate": {
@ -20479,8 +20479,8 @@
},
"claim_impact": "none",
"reviewer": "",
"at": "2026-10-09T12:15:20.071Z",
"note": "The lab's interface and the candidate table at the fan-out: the frozen v6 control carried from the record (the house 5090 at its knee 4,011 nJ per hash, board power; the X0 amendment 5b rows: the DRAM board 2.35x same node WITNESS, the N2 die 7.8x the worst credible), the cohort rows for the 3090, the 5080 and the AMD and Intel tiers NOT RUN, adversarial set v1 pending; the three other controls (ProgPoW 0.9.4 reference, FishHash, the cooperative ARX candidate) NOT RUN with their clocks. No score is the lab's until the cohort and the adversary rows are in; R15-01, R15-08 and R15-09 stay NOT RUN until read. X10 (cand-x10) joins the table NOT RUN with its per-lane assignments and clocks; COHORT's ctl-v6 denominator set is in flight on eight rented pods. 12:1x UK: adversarial set v1 on the table (the frozen v6's same-node board 2.57x, 2.04 to 3.00, the fused tail CLAIMED until the routed lanes land; the die 11.4x as a coexistence row); the coexistence table (interface section 8b) added as the scoreboard's headline; SEARCH's first screen recorded as SCREEN rejections. Still NOT RUN: no cohort score until COHORT's eight rows are read back. 12:2x UK: set v2 (the routed fused-ARX lanes) makes the v6 board 2.60x a WITNESS; the ctl-v6 coexistence table (the board holds at every price; the N2 die pushes the GPU owner out above 14,300 dies at USD 0.10) is the headline; X10 SCREEN with the card modelled (the board 3.00x at 118 loads). Still NOT RUN: the cohort rows in their timed runs. 12:3x UK: the first cohort cells (ctl-v6 at stock on rented 5090, 5080 and 3090 pods: the worst cell the 3090 at 8,429 nJ = 5.46x on set v2's same-node board, PARTIAL, the dataset size under decision after CONTROLS measured the live 4 GiB object at 2.4x the 1 GiB research pack's rate); X10's first measured cell (cand-x10b on the 4090 at stock 3,653 nJ per lane-work = 5.8x on the board; the fold buys nothing); set v3 (routed 64-register and multiply-xor lanes); the fourth to sixth review rulings (8c); the 4 GiB rule (8e). Every row still NOT RUN until read. 12:4x UK: ctl-v6's first full score over the NVIDIA cohort at stock (the worst cell the RTX 4090 uncapped 8,751 nJ = 5.67x on set v2's same-node board; every cell at 4 GiB, the earlier 2.4x reading an instrument artefact, corrected once); the two-phase rows (ADVERSARY 545f3f8a0, 36d17b15c): phase B NOT LIVE until a shipped package proves, the shipping row open; SEARCH's twenty candidates on set v3 none under 1.5x on any cell (SCREEN). Every row still NOT RUN until read. 13:0x UK: the decider closed on both cards (the 4 GiB object costs 2.0 to 2.9 percent of rate against its 1 GiB export; the 2.4x reading withdrawn as a contention fault); the read-headroom row answered (both cards at their activation limit); the uncapped 5090 cell 5,980 nJ = 3.88x on the board; the shipping row's facts by file and line with the Devnet 4 correction (a 24 GB card proves the v1 shard now; the proving row NOT LIVE until the epoch record by 16:00); the 4 GiB cap defined as the mining dataset floor only; the founder's ledger order (8f) applied. Every row still NOT RUN until read. 13:1x UK: CONTROLS' done line (the four controls, Etchash and Autolykos2 staged bit-exact with SUMS); ADVERSARY's cross-chain phase A and B (no chain's emission recovers a board chip; the proving share the one term) and the E9 Pro calibration (1.28x pessimistic); the first founder bundle 985afee6. Every row still NOT RUN until read. | The 1.5x adversarial comparison laboratory (the founder's order, 9 October 2026, 11:4x UK): one evaluation for every control and candidate (the measurement recipe with the read-only twin for the memory share, the adversary interface returning the lowest credible specialist energy per design as a complete machine with WITNESS or BOUND labels, the score as the worst comparison over the required cohort same node and one node ahead, the rejection filters F1 to F6, the regression set REG-01 to REG-08 from the 8 and 9 October failures). Every row NOT RUN until the panel reads it; the first measured score (the frozen v6 control on the cohort against adversarial set v1) lands as a later batch under this cell. Amended 11:5x UK: X10, the full-sector fold candidate of the founder's third review, added as cand-x10 with the scoped same-node board claim (the die and node-ahead chips as coexistence rows); the AMD and Intel tiers NOT RUN on every candidate (no rented card; the house rigs unreachable by software) until a card is found."
"at": "2026-10-09T12:23:49.783Z",
"note": "The lab's interface and the candidate table at the fan-out: the frozen v6 control carried from the record (the house 5090 at its knee 4,011 nJ per hash, board power; the X0 amendment 5b rows: the DRAM board 2.35x same node WITNESS, the N2 die 7.8x the worst credible), the cohort rows for the 3090, the 5080 and the AMD and Intel tiers NOT RUN, adversarial set v1 pending; the three other controls (ProgPoW 0.9.4 reference, FishHash, the cooperative ARX candidate) NOT RUN with their clocks. No score is the lab's until the cohort and the adversary rows are in; R15-01, R15-08 and R15-09 stay NOT RUN until read. X10 (cand-x10) joins the table NOT RUN with its per-lane assignments and clocks; COHORT's ctl-v6 denominator set is in flight on eight rented pods. 12:1x UK: adversarial set v1 on the table (the frozen v6's same-node board 2.57x, 2.04 to 3.00, the fused tail CLAIMED until the routed lanes land; the die 11.4x as a coexistence row); the coexistence table (interface section 8b) added as the scoreboard's headline; SEARCH's first screen recorded as SCREEN rejections. Still NOT RUN: no cohort score until COHORT's eight rows are read back. 12:2x UK: set v2 (the routed fused-ARX lanes) makes the v6 board 2.60x a WITNESS; the ctl-v6 coexistence table (the board holds at every price; the N2 die pushes the GPU owner out above 14,300 dies at USD 0.10) is the headline; X10 SCREEN with the card modelled (the board 3.00x at 118 loads). Still NOT RUN: the cohort rows in their timed runs. 12:3x UK: the first cohort cells (ctl-v6 at stock on rented 5090, 5080 and 3090 pods: the worst cell the 3090 at 8,429 nJ = 5.46x on set v2's same-node board, PARTIAL, the dataset size under decision after CONTROLS measured the live 4 GiB object at 2.4x the 1 GiB research pack's rate); X10's first measured cell (cand-x10b on the 4090 at stock 3,653 nJ per lane-work = 5.8x on the board; the fold buys nothing); set v3 (routed 64-register and multiply-xor lanes); the fourth to sixth review rulings (8c); the 4 GiB rule (8e). Every row still NOT RUN until read. 12:4x UK: ctl-v6's first full score over the NVIDIA cohort at stock (the worst cell the RTX 4090 uncapped 8,751 nJ = 5.67x on set v2's same-node board; every cell at 4 GiB, the earlier 2.4x reading an instrument artefact, corrected once); the two-phase rows (ADVERSARY 545f3f8a0, 36d17b15c): phase B NOT LIVE until a shipped package proves, the shipping row open; SEARCH's twenty candidates on set v3 none under 1.5x on any cell (SCREEN). Every row still NOT RUN until read. 13:0x UK: the decider closed on both cards (the 4 GiB object costs 2.0 to 2.9 percent of rate against its 1 GiB export; the 2.4x reading withdrawn as a contention fault); the read-headroom row answered (both cards at their activation limit); the uncapped 5090 cell 5,980 nJ = 3.88x on the board; the shipping row's facts by file and line with the Devnet 4 correction (a 24 GB card proves the v1 shard now; the proving row NOT LIVE until the epoch record by 16:00); the 4 GiB cap defined as the mining dataset floor only; the founder's ledger order (8f) applied. Every row still NOT RUN until read. 13:1x UK: CONTROLS' done line (the four controls, Etchash and Autolykos2 staged bit-exact with SUMS); ADVERSARY's cross-chain phase A and B (no chain's emission recovers a board chip; the proving share the one term) and the E9 Pro calibration (1.28x pessimistic); the first founder bundle 985afee6. Every row still NOT RUN until read. 13:2x UK: the decider closed on the 4090 too (2.0 percent of rate at 4 GiB); Autolykos2 priced on set v3; the finality row (8g: Devnet 4 on rule v3, paused since lock 1980, the chain on PoW, nothing reversed) as the measured behaviour for the statement's third clause. Every row still NOT RUN until read. | The 1.5x adversarial comparison laboratory (the founder's order, 9 October 2026, 11:4x UK): one evaluation for every control and candidate (the measurement recipe with the read-only twin for the memory share, the adversary interface returning the lowest credible specialist energy per design as a complete machine with WITNESS or BOUND labels, the score as the worst comparison over the required cohort same node and one node ahead, the rejection filters F1 to F6, the regression set REG-01 to REG-08 from the 8 and 9 October failures). Every row NOT RUN until the panel reads it; the first measured score (the frozen v6 control on the cohort against adversarial set v1) lands as a later batch under this cell. Amended 11:5x UK: X10, the full-sector fold candidate of the founder's third review, added as cand-x10 with the scoped same-node board claim (the die and node-ahead chips as coexistence rows); the AMD and Intel tiers NOT RUN on every candidate (no rented card; the house rigs unreachable by software) until a card is found."
}
},
"in_progress_since": "2026-10-09T10:48:54.646Z",
@ -21144,7 +21144,7 @@
"plan_status": "NOT RUN",
"run_id": "lab-20261009-01",
"evidence_path": "docs/analysis/class-v6/1p5x/lab/README.md; docs/analysis/class-v6/1p5x/lab/table.md",
"updated": "2026-10-09T12:15:20.071Z",
"updated": "2026-10-09T12:23:49.783Z",
"evidence_record": {
"requirement_id": "R15-08",
"decision": "NOT RUN",
@ -21165,8 +21165,8 @@
},
"claim_impact": "none",
"reviewer": "",
"at": "2026-10-09T12:15:20.071Z",
"note": "The lab's interface and the candidate table at the fan-out: the frozen v6 control carried from the record (the house 5090 at its knee 4,011 nJ per hash, board power; the X0 amendment 5b rows: the DRAM board 2.35x same node WITNESS, the N2 die 7.8x the worst credible), the cohort rows for the 3090, the 5080 and the AMD and Intel tiers NOT RUN, adversarial set v1 pending; the three other controls (ProgPoW 0.9.4 reference, FishHash, the cooperative ARX candidate) NOT RUN with their clocks. No score is the lab's until the cohort and the adversary rows are in; R15-01, R15-08 and R15-09 stay NOT RUN until read. X10 (cand-x10) joins the table NOT RUN with its per-lane assignments and clocks; COHORT's ctl-v6 denominator set is in flight on eight rented pods. 12:1x UK: adversarial set v1 on the table (the frozen v6's same-node board 2.57x, 2.04 to 3.00, the fused tail CLAIMED until the routed lanes land; the die 11.4x as a coexistence row); the coexistence table (interface section 8b) added as the scoreboard's headline; SEARCH's first screen recorded as SCREEN rejections. Still NOT RUN: no cohort score until COHORT's eight rows are read back. 12:2x UK: set v2 (the routed fused-ARX lanes) makes the v6 board 2.60x a WITNESS; the ctl-v6 coexistence table (the board holds at every price; the N2 die pushes the GPU owner out above 14,300 dies at USD 0.10) is the headline; X10 SCREEN with the card modelled (the board 3.00x at 118 loads). Still NOT RUN: the cohort rows in their timed runs. 12:3x UK: the first cohort cells (ctl-v6 at stock on rented 5090, 5080 and 3090 pods: the worst cell the 3090 at 8,429 nJ = 5.46x on set v2's same-node board, PARTIAL, the dataset size under decision after CONTROLS measured the live 4 GiB object at 2.4x the 1 GiB research pack's rate); X10's first measured cell (cand-x10b on the 4090 at stock 3,653 nJ per lane-work = 5.8x on the board; the fold buys nothing); set v3 (routed 64-register and multiply-xor lanes); the fourth to sixth review rulings (8c); the 4 GiB rule (8e). Every row still NOT RUN until read. 12:4x UK: ctl-v6's first full score over the NVIDIA cohort at stock (the worst cell the RTX 4090 uncapped 8,751 nJ = 5.67x on set v2's same-node board; every cell at 4 GiB, the earlier 2.4x reading an instrument artefact, corrected once); the two-phase rows (ADVERSARY 545f3f8a0, 36d17b15c): phase B NOT LIVE until a shipped package proves, the shipping row open; SEARCH's twenty candidates on set v3 none under 1.5x on any cell (SCREEN). Every row still NOT RUN until read. 13:0x UK: the decider closed on both cards (the 4 GiB object costs 2.0 to 2.9 percent of rate against its 1 GiB export; the 2.4x reading withdrawn as a contention fault); the read-headroom row answered (both cards at their activation limit); the uncapped 5090 cell 5,980 nJ = 3.88x on the board; the shipping row's facts by file and line with the Devnet 4 correction (a 24 GB card proves the v1 shard now; the proving row NOT LIVE until the epoch record by 16:00); the 4 GiB cap defined as the mining dataset floor only; the founder's ledger order (8f) applied. Every row still NOT RUN until read. 13:1x UK: CONTROLS' done line (the four controls, Etchash and Autolykos2 staged bit-exact with SUMS); ADVERSARY's cross-chain phase A and B (no chain's emission recovers a board chip; the proving share the one term) and the E9 Pro calibration (1.28x pessimistic); the first founder bundle 985afee6. Every row still NOT RUN until read. | The 1.5x adversarial comparison laboratory (the founder's order, 9 October 2026, 11:4x UK): one evaluation for every control and candidate (the measurement recipe with the read-only twin for the memory share, the adversary interface returning the lowest credible specialist energy per design as a complete machine with WITNESS or BOUND labels, the score as the worst comparison over the required cohort same node and one node ahead, the rejection filters F1 to F6, the regression set REG-01 to REG-08 from the 8 and 9 October failures). Every row NOT RUN until the panel reads it; the first measured score (the frozen v6 control on the cohort against adversarial set v1) lands as a later batch under this cell. Amended 11:5x UK: X10, the full-sector fold candidate of the founder's third review, added as cand-x10 with the scoped same-node board claim (the die and node-ahead chips as coexistence rows); the AMD and Intel tiers NOT RUN on every candidate (no rented card; the house rigs unreachable by software) until a card is found."
"at": "2026-10-09T12:23:49.783Z",
"note": "The lab's interface and the candidate table at the fan-out: the frozen v6 control carried from the record (the house 5090 at its knee 4,011 nJ per hash, board power; the X0 amendment 5b rows: the DRAM board 2.35x same node WITNESS, the N2 die 7.8x the worst credible), the cohort rows for the 3090, the 5080 and the AMD and Intel tiers NOT RUN, adversarial set v1 pending; the three other controls (ProgPoW 0.9.4 reference, FishHash, the cooperative ARX candidate) NOT RUN with their clocks. No score is the lab's until the cohort and the adversary rows are in; R15-01, R15-08 and R15-09 stay NOT RUN until read. X10 (cand-x10) joins the table NOT RUN with its per-lane assignments and clocks; COHORT's ctl-v6 denominator set is in flight on eight rented pods. 12:1x UK: adversarial set v1 on the table (the frozen v6's same-node board 2.57x, 2.04 to 3.00, the fused tail CLAIMED until the routed lanes land; the die 11.4x as a coexistence row); the coexistence table (interface section 8b) added as the scoreboard's headline; SEARCH's first screen recorded as SCREEN rejections. Still NOT RUN: no cohort score until COHORT's eight rows are read back. 12:2x UK: set v2 (the routed fused-ARX lanes) makes the v6 board 2.60x a WITNESS; the ctl-v6 coexistence table (the board holds at every price; the N2 die pushes the GPU owner out above 14,300 dies at USD 0.10) is the headline; X10 SCREEN with the card modelled (the board 3.00x at 118 loads). Still NOT RUN: the cohort rows in their timed runs. 12:3x UK: the first cohort cells (ctl-v6 at stock on rented 5090, 5080 and 3090 pods: the worst cell the 3090 at 8,429 nJ = 5.46x on set v2's same-node board, PARTIAL, the dataset size under decision after CONTROLS measured the live 4 GiB object at 2.4x the 1 GiB research pack's rate); X10's first measured cell (cand-x10b on the 4090 at stock 3,653 nJ per lane-work = 5.8x on the board; the fold buys nothing); set v3 (routed 64-register and multiply-xor lanes); the fourth to sixth review rulings (8c); the 4 GiB rule (8e). Every row still NOT RUN until read. 12:4x UK: ctl-v6's first full score over the NVIDIA cohort at stock (the worst cell the RTX 4090 uncapped 8,751 nJ = 5.67x on set v2's same-node board; every cell at 4 GiB, the earlier 2.4x reading an instrument artefact, corrected once); the two-phase rows (ADVERSARY 545f3f8a0, 36d17b15c): phase B NOT LIVE until a shipped package proves, the shipping row open; SEARCH's twenty candidates on set v3 none under 1.5x on any cell (SCREEN). Every row still NOT RUN until read. 13:0x UK: the decider closed on both cards (the 4 GiB object costs 2.0 to 2.9 percent of rate against its 1 GiB export; the 2.4x reading withdrawn as a contention fault); the read-headroom row answered (both cards at their activation limit); the uncapped 5090 cell 5,980 nJ = 3.88x on the board; the shipping row's facts by file and line with the Devnet 4 correction (a 24 GB card proves the v1 shard now; the proving row NOT LIVE until the epoch record by 16:00); the 4 GiB cap defined as the mining dataset floor only; the founder's ledger order (8f) applied. Every row still NOT RUN until read. 13:1x UK: CONTROLS' done line (the four controls, Etchash and Autolykos2 staged bit-exact with SUMS); ADVERSARY's cross-chain phase A and B (no chain's emission recovers a board chip; the proving share the one term) and the E9 Pro calibration (1.28x pessimistic); the first founder bundle 985afee6. Every row still NOT RUN until read. 13:2x UK: the decider closed on the 4090 too (2.0 percent of rate at 4 GiB); Autolykos2 priced on set v3; the finality row (8g: Devnet 4 on rule v3, paused since lock 1980, the chain on PoW, nothing reversed) as the measured behaviour for the statement's third clause. Every row still NOT RUN until read. | The 1.5x adversarial comparison laboratory (the founder's order, 9 October 2026, 11:4x UK): one evaluation for every control and candidate (the measurement recipe with the read-only twin for the memory share, the adversary interface returning the lowest credible specialist energy per design as a complete machine with WITNESS or BOUND labels, the score as the worst comparison over the required cohort same node and one node ahead, the rejection filters F1 to F6, the regression set REG-01 to REG-08 from the 8 and 9 October failures). Every row NOT RUN until the panel reads it; the first measured score (the frozen v6 control on the cohort against adversarial set v1) lands as a later batch under this cell. Amended 11:5x UK: X10, the full-sector fold candidate of the founder's third review, added as cand-x10 with the scoped same-node board claim (the die and node-ahead chips as coexistence rows); the AMD and Intel tiers NOT RUN on every candidate (no rented card; the house rigs unreachable by software) until a card is found."
},
"evidence_records": {
"lab:candidate": {
@ -21189,8 +21189,8 @@
},
"claim_impact": "none",
"reviewer": "",
"at": "2026-10-09T12:15:20.071Z",
"note": "The lab's interface and the candidate table at the fan-out: the frozen v6 control carried from the record (the house 5090 at its knee 4,011 nJ per hash, board power; the X0 amendment 5b rows: the DRAM board 2.35x same node WITNESS, the N2 die 7.8x the worst credible), the cohort rows for the 3090, the 5080 and the AMD and Intel tiers NOT RUN, adversarial set v1 pending; the three other controls (ProgPoW 0.9.4 reference, FishHash, the cooperative ARX candidate) NOT RUN with their clocks. No score is the lab's until the cohort and the adversary rows are in; R15-01, R15-08 and R15-09 stay NOT RUN until read. X10 (cand-x10) joins the table NOT RUN with its per-lane assignments and clocks; COHORT's ctl-v6 denominator set is in flight on eight rented pods. 12:1x UK: adversarial set v1 on the table (the frozen v6's same-node board 2.57x, 2.04 to 3.00, the fused tail CLAIMED until the routed lanes land; the die 11.4x as a coexistence row); the coexistence table (interface section 8b) added as the scoreboard's headline; SEARCH's first screen recorded as SCREEN rejections. Still NOT RUN: no cohort score until COHORT's eight rows are read back. 12:2x UK: set v2 (the routed fused-ARX lanes) makes the v6 board 2.60x a WITNESS; the ctl-v6 coexistence table (the board holds at every price; the N2 die pushes the GPU owner out above 14,300 dies at USD 0.10) is the headline; X10 SCREEN with the card modelled (the board 3.00x at 118 loads). Still NOT RUN: the cohort rows in their timed runs. 12:3x UK: the first cohort cells (ctl-v6 at stock on rented 5090, 5080 and 3090 pods: the worst cell the 3090 at 8,429 nJ = 5.46x on set v2's same-node board, PARTIAL, the dataset size under decision after CONTROLS measured the live 4 GiB object at 2.4x the 1 GiB research pack's rate); X10's first measured cell (cand-x10b on the 4090 at stock 3,653 nJ per lane-work = 5.8x on the board; the fold buys nothing); set v3 (routed 64-register and multiply-xor lanes); the fourth to sixth review rulings (8c); the 4 GiB rule (8e). Every row still NOT RUN until read. 12:4x UK: ctl-v6's first full score over the NVIDIA cohort at stock (the worst cell the RTX 4090 uncapped 8,751 nJ = 5.67x on set v2's same-node board; every cell at 4 GiB, the earlier 2.4x reading an instrument artefact, corrected once); the two-phase rows (ADVERSARY 545f3f8a0, 36d17b15c): phase B NOT LIVE until a shipped package proves, the shipping row open; SEARCH's twenty candidates on set v3 none under 1.5x on any cell (SCREEN). Every row still NOT RUN until read. 13:0x UK: the decider closed on both cards (the 4 GiB object costs 2.0 to 2.9 percent of rate against its 1 GiB export; the 2.4x reading withdrawn as a contention fault); the read-headroom row answered (both cards at their activation limit); the uncapped 5090 cell 5,980 nJ = 3.88x on the board; the shipping row's facts by file and line with the Devnet 4 correction (a 24 GB card proves the v1 shard now; the proving row NOT LIVE until the epoch record by 16:00); the 4 GiB cap defined as the mining dataset floor only; the founder's ledger order (8f) applied. Every row still NOT RUN until read. 13:1x UK: CONTROLS' done line (the four controls, Etchash and Autolykos2 staged bit-exact with SUMS); ADVERSARY's cross-chain phase A and B (no chain's emission recovers a board chip; the proving share the one term) and the E9 Pro calibration (1.28x pessimistic); the first founder bundle 985afee6. Every row still NOT RUN until read. | The 1.5x adversarial comparison laboratory (the founder's order, 9 October 2026, 11:4x UK): one evaluation for every control and candidate (the measurement recipe with the read-only twin for the memory share, the adversary interface returning the lowest credible specialist energy per design as a complete machine with WITNESS or BOUND labels, the score as the worst comparison over the required cohort same node and one node ahead, the rejection filters F1 to F6, the regression set REG-01 to REG-08 from the 8 and 9 October failures). Every row NOT RUN until the panel reads it; the first measured score (the frozen v6 control on the cohort against adversarial set v1) lands as a later batch under this cell. Amended 11:5x UK: X10, the full-sector fold candidate of the founder's third review, added as cand-x10 with the scoped same-node board claim (the die and node-ahead chips as coexistence rows); the AMD and Intel tiers NOT RUN on every candidate (no rented card; the house rigs unreachable by software) until a card is found."
"at": "2026-10-09T12:23:49.783Z",
"note": "The lab's interface and the candidate table at the fan-out: the frozen v6 control carried from the record (the house 5090 at its knee 4,011 nJ per hash, board power; the X0 amendment 5b rows: the DRAM board 2.35x same node WITNESS, the N2 die 7.8x the worst credible), the cohort rows for the 3090, the 5080 and the AMD and Intel tiers NOT RUN, adversarial set v1 pending; the three other controls (ProgPoW 0.9.4 reference, FishHash, the cooperative ARX candidate) NOT RUN with their clocks. No score is the lab's until the cohort and the adversary rows are in; R15-01, R15-08 and R15-09 stay NOT RUN until read. X10 (cand-x10) joins the table NOT RUN with its per-lane assignments and clocks; COHORT's ctl-v6 denominator set is in flight on eight rented pods. 12:1x UK: adversarial set v1 on the table (the frozen v6's same-node board 2.57x, 2.04 to 3.00, the fused tail CLAIMED until the routed lanes land; the die 11.4x as a coexistence row); the coexistence table (interface section 8b) added as the scoreboard's headline; SEARCH's first screen recorded as SCREEN rejections. Still NOT RUN: no cohort score until COHORT's eight rows are read back. 12:2x UK: set v2 (the routed fused-ARX lanes) makes the v6 board 2.60x a WITNESS; the ctl-v6 coexistence table (the board holds at every price; the N2 die pushes the GPU owner out above 14,300 dies at USD 0.10) is the headline; X10 SCREEN with the card modelled (the board 3.00x at 118 loads). Still NOT RUN: the cohort rows in their timed runs. 12:3x UK: the first cohort cells (ctl-v6 at stock on rented 5090, 5080 and 3090 pods: the worst cell the 3090 at 8,429 nJ = 5.46x on set v2's same-node board, PARTIAL, the dataset size under decision after CONTROLS measured the live 4 GiB object at 2.4x the 1 GiB research pack's rate); X10's first measured cell (cand-x10b on the 4090 at stock 3,653 nJ per lane-work = 5.8x on the board; the fold buys nothing); set v3 (routed 64-register and multiply-xor lanes); the fourth to sixth review rulings (8c); the 4 GiB rule (8e). Every row still NOT RUN until read. 12:4x UK: ctl-v6's first full score over the NVIDIA cohort at stock (the worst cell the RTX 4090 uncapped 8,751 nJ = 5.67x on set v2's same-node board; every cell at 4 GiB, the earlier 2.4x reading an instrument artefact, corrected once); the two-phase rows (ADVERSARY 545f3f8a0, 36d17b15c): phase B NOT LIVE until a shipped package proves, the shipping row open; SEARCH's twenty candidates on set v3 none under 1.5x on any cell (SCREEN). Every row still NOT RUN until read. 13:0x UK: the decider closed on both cards (the 4 GiB object costs 2.0 to 2.9 percent of rate against its 1 GiB export; the 2.4x reading withdrawn as a contention fault); the read-headroom row answered (both cards at their activation limit); the uncapped 5090 cell 5,980 nJ = 3.88x on the board; the shipping row's facts by file and line with the Devnet 4 correction (a 24 GB card proves the v1 shard now; the proving row NOT LIVE until the epoch record by 16:00); the 4 GiB cap defined as the mining dataset floor only; the founder's ledger order (8f) applied. Every row still NOT RUN until read. 13:1x UK: CONTROLS' done line (the four controls, Etchash and Autolykos2 staged bit-exact with SUMS); ADVERSARY's cross-chain phase A and B (no chain's emission recovers a board chip; the proving share the one term) and the E9 Pro calibration (1.28x pessimistic); the first founder bundle 985afee6. Every row still NOT RUN until read. 13:2x UK: the decider closed on the 4090 too (2.0 percent of rate at 4 GiB); Autolykos2 priced on set v3; the finality row (8g: Devnet 4 on rule v3, paused since lock 1980, the chain on PoW, nothing reversed) as the measured behaviour for the statement's third clause. Every row still NOT RUN until read. | The 1.5x adversarial comparison laboratory (the founder's order, 9 October 2026, 11:4x UK): one evaluation for every control and candidate (the measurement recipe with the read-only twin for the memory share, the adversary interface returning the lowest credible specialist energy per design as a complete machine with WITNESS or BOUND labels, the score as the worst comparison over the required cohort same node and one node ahead, the rejection filters F1 to F6, the regression set REG-01 to REG-08 from the 8 and 9 October failures). Every row NOT RUN until the panel reads it; the first measured score (the frozen v6 control on the cohort against adversarial set v1) lands as a later batch under this cell. Amended 11:5x UK: X10, the full-sector fold candidate of the founder's third review, added as cand-x10 with the scoped same-node board claim (the die and node-ahead chips as coexistence rows); the AMD and Intel tiers NOT RUN on every candidate (no rented card; the house rigs unreachable by software) until a card is found."
}
},
"in_progress_since": "2026-10-09T10:48:54.646Z",
@ -21234,7 +21234,7 @@
"plan_status": "NOT RUN",
"run_id": "lab-20261009-01",
"evidence_path": "docs/analysis/class-v6/1p5x/lab/README.md; docs/analysis/class-v6/1p5x/lab/table.md",
"updated": "2026-10-09T12:15:20.071Z",
"updated": "2026-10-09T12:23:49.783Z",
"evidence_record": {
"requirement_id": "R15-09",
"decision": "NOT RUN",
@ -21255,8 +21255,8 @@
},
"claim_impact": "none",
"reviewer": "",
"at": "2026-10-09T12:15:20.071Z",
"note": "The lab's interface and the candidate table at the fan-out: the frozen v6 control carried from the record (the house 5090 at its knee 4,011 nJ per hash, board power; the X0 amendment 5b rows: the DRAM board 2.35x same node WITNESS, the N2 die 7.8x the worst credible), the cohort rows for the 3090, the 5080 and the AMD and Intel tiers NOT RUN, adversarial set v1 pending; the three other controls (ProgPoW 0.9.4 reference, FishHash, the cooperative ARX candidate) NOT RUN with their clocks. No score is the lab's until the cohort and the adversary rows are in; R15-01, R15-08 and R15-09 stay NOT RUN until read. X10 (cand-x10) joins the table NOT RUN with its per-lane assignments and clocks; COHORT's ctl-v6 denominator set is in flight on eight rented pods. 12:1x UK: adversarial set v1 on the table (the frozen v6's same-node board 2.57x, 2.04 to 3.00, the fused tail CLAIMED until the routed lanes land; the die 11.4x as a coexistence row); the coexistence table (interface section 8b) added as the scoreboard's headline; SEARCH's first screen recorded as SCREEN rejections. Still NOT RUN: no cohort score until COHORT's eight rows are read back. 12:2x UK: set v2 (the routed fused-ARX lanes) makes the v6 board 2.60x a WITNESS; the ctl-v6 coexistence table (the board holds at every price; the N2 die pushes the GPU owner out above 14,300 dies at USD 0.10) is the headline; X10 SCREEN with the card modelled (the board 3.00x at 118 loads). Still NOT RUN: the cohort rows in their timed runs. 12:3x UK: the first cohort cells (ctl-v6 at stock on rented 5090, 5080 and 3090 pods: the worst cell the 3090 at 8,429 nJ = 5.46x on set v2's same-node board, PARTIAL, the dataset size under decision after CONTROLS measured the live 4 GiB object at 2.4x the 1 GiB research pack's rate); X10's first measured cell (cand-x10b on the 4090 at stock 3,653 nJ per lane-work = 5.8x on the board; the fold buys nothing); set v3 (routed 64-register and multiply-xor lanes); the fourth to sixth review rulings (8c); the 4 GiB rule (8e). Every row still NOT RUN until read. 12:4x UK: ctl-v6's first full score over the NVIDIA cohort at stock (the worst cell the RTX 4090 uncapped 8,751 nJ = 5.67x on set v2's same-node board; every cell at 4 GiB, the earlier 2.4x reading an instrument artefact, corrected once); the two-phase rows (ADVERSARY 545f3f8a0, 36d17b15c): phase B NOT LIVE until a shipped package proves, the shipping row open; SEARCH's twenty candidates on set v3 none under 1.5x on any cell (SCREEN). Every row still NOT RUN until read. 13:0x UK: the decider closed on both cards (the 4 GiB object costs 2.0 to 2.9 percent of rate against its 1 GiB export; the 2.4x reading withdrawn as a contention fault); the read-headroom row answered (both cards at their activation limit); the uncapped 5090 cell 5,980 nJ = 3.88x on the board; the shipping row's facts by file and line with the Devnet 4 correction (a 24 GB card proves the v1 shard now; the proving row NOT LIVE until the epoch record by 16:00); the 4 GiB cap defined as the mining dataset floor only; the founder's ledger order (8f) applied. Every row still NOT RUN until read. 13:1x UK: CONTROLS' done line (the four controls, Etchash and Autolykos2 staged bit-exact with SUMS); ADVERSARY's cross-chain phase A and B (no chain's emission recovers a board chip; the proving share the one term) and the E9 Pro calibration (1.28x pessimistic); the first founder bundle 985afee6. Every row still NOT RUN until read. | The 1.5x adversarial comparison laboratory (the founder's order, 9 October 2026, 11:4x UK): one evaluation for every control and candidate (the measurement recipe with the read-only twin for the memory share, the adversary interface returning the lowest credible specialist energy per design as a complete machine with WITNESS or BOUND labels, the score as the worst comparison over the required cohort same node and one node ahead, the rejection filters F1 to F6, the regression set REG-01 to REG-08 from the 8 and 9 October failures). Every row NOT RUN until the panel reads it; the first measured score (the frozen v6 control on the cohort against adversarial set v1) lands as a later batch under this cell. Amended 11:5x UK: X10, the full-sector fold candidate of the founder's third review, added as cand-x10 with the scoped same-node board claim (the die and node-ahead chips as coexistence rows); the AMD and Intel tiers NOT RUN on every candidate (no rented card; the house rigs unreachable by software) until a card is found."
"at": "2026-10-09T12:23:49.783Z",
"note": "The lab's interface and the candidate table at the fan-out: the frozen v6 control carried from the record (the house 5090 at its knee 4,011 nJ per hash, board power; the X0 amendment 5b rows: the DRAM board 2.35x same node WITNESS, the N2 die 7.8x the worst credible), the cohort rows for the 3090, the 5080 and the AMD and Intel tiers NOT RUN, adversarial set v1 pending; the three other controls (ProgPoW 0.9.4 reference, FishHash, the cooperative ARX candidate) NOT RUN with their clocks. No score is the lab's until the cohort and the adversary rows are in; R15-01, R15-08 and R15-09 stay NOT RUN until read. X10 (cand-x10) joins the table NOT RUN with its per-lane assignments and clocks; COHORT's ctl-v6 denominator set is in flight on eight rented pods. 12:1x UK: adversarial set v1 on the table (the frozen v6's same-node board 2.57x, 2.04 to 3.00, the fused tail CLAIMED until the routed lanes land; the die 11.4x as a coexistence row); the coexistence table (interface section 8b) added as the scoreboard's headline; SEARCH's first screen recorded as SCREEN rejections. Still NOT RUN: no cohort score until COHORT's eight rows are read back. 12:2x UK: set v2 (the routed fused-ARX lanes) makes the v6 board 2.60x a WITNESS; the ctl-v6 coexistence table (the board holds at every price; the N2 die pushes the GPU owner out above 14,300 dies at USD 0.10) is the headline; X10 SCREEN with the card modelled (the board 3.00x at 118 loads). Still NOT RUN: the cohort rows in their timed runs. 12:3x UK: the first cohort cells (ctl-v6 at stock on rented 5090, 5080 and 3090 pods: the worst cell the 3090 at 8,429 nJ = 5.46x on set v2's same-node board, PARTIAL, the dataset size under decision after CONTROLS measured the live 4 GiB object at 2.4x the 1 GiB research pack's rate); X10's first measured cell (cand-x10b on the 4090 at stock 3,653 nJ per lane-work = 5.8x on the board; the fold buys nothing); set v3 (routed 64-register and multiply-xor lanes); the fourth to sixth review rulings (8c); the 4 GiB rule (8e). Every row still NOT RUN until read. 12:4x UK: ctl-v6's first full score over the NVIDIA cohort at stock (the worst cell the RTX 4090 uncapped 8,751 nJ = 5.67x on set v2's same-node board; every cell at 4 GiB, the earlier 2.4x reading an instrument artefact, corrected once); the two-phase rows (ADVERSARY 545f3f8a0, 36d17b15c): phase B NOT LIVE until a shipped package proves, the shipping row open; SEARCH's twenty candidates on set v3 none under 1.5x on any cell (SCREEN). Every row still NOT RUN until read. 13:0x UK: the decider closed on both cards (the 4 GiB object costs 2.0 to 2.9 percent of rate against its 1 GiB export; the 2.4x reading withdrawn as a contention fault); the read-headroom row answered (both cards at their activation limit); the uncapped 5090 cell 5,980 nJ = 3.88x on the board; the shipping row's facts by file and line with the Devnet 4 correction (a 24 GB card proves the v1 shard now; the proving row NOT LIVE until the epoch record by 16:00); the 4 GiB cap defined as the mining dataset floor only; the founder's ledger order (8f) applied. Every row still NOT RUN until read. 13:1x UK: CONTROLS' done line (the four controls, Etchash and Autolykos2 staged bit-exact with SUMS); ADVERSARY's cross-chain phase A and B (no chain's emission recovers a board chip; the proving share the one term) and the E9 Pro calibration (1.28x pessimistic); the first founder bundle 985afee6. Every row still NOT RUN until read. 13:2x UK: the decider closed on the 4090 too (2.0 percent of rate at 4 GiB); Autolykos2 priced on set v3; the finality row (8g: Devnet 4 on rule v3, paused since lock 1980, the chain on PoW, nothing reversed) as the measured behaviour for the statement's third clause. Every row still NOT RUN until read. | The 1.5x adversarial comparison laboratory (the founder's order, 9 October 2026, 11:4x UK): one evaluation for every control and candidate (the measurement recipe with the read-only twin for the memory share, the adversary interface returning the lowest credible specialist energy per design as a complete machine with WITNESS or BOUND labels, the score as the worst comparison over the required cohort same node and one node ahead, the rejection filters F1 to F6, the regression set REG-01 to REG-08 from the 8 and 9 October failures). Every row NOT RUN until the panel reads it; the first measured score (the frozen v6 control on the cohort against adversarial set v1) lands as a later batch under this cell. Amended 11:5x UK: X10, the full-sector fold candidate of the founder's third review, added as cand-x10 with the scoped same-node board claim (the die and node-ahead chips as coexistence rows); the AMD and Intel tiers NOT RUN on every candidate (no rented card; the house rigs unreachable by software) until a card is found."
},
"evidence_records": {
"lab:candidate": {
@ -21279,8 +21279,8 @@
},
"claim_impact": "none",
"reviewer": "",
"at": "2026-10-09T12:15:20.071Z",
"note": "The lab's interface and the candidate table at the fan-out: the frozen v6 control carried from the record (the house 5090 at its knee 4,011 nJ per hash, board power; the X0 amendment 5b rows: the DRAM board 2.35x same node WITNESS, the N2 die 7.8x the worst credible), the cohort rows for the 3090, the 5080 and the AMD and Intel tiers NOT RUN, adversarial set v1 pending; the three other controls (ProgPoW 0.9.4 reference, FishHash, the cooperative ARX candidate) NOT RUN with their clocks. No score is the lab's until the cohort and the adversary rows are in; R15-01, R15-08 and R15-09 stay NOT RUN until read. X10 (cand-x10) joins the table NOT RUN with its per-lane assignments and clocks; COHORT's ctl-v6 denominator set is in flight on eight rented pods. 12:1x UK: adversarial set v1 on the table (the frozen v6's same-node board 2.57x, 2.04 to 3.00, the fused tail CLAIMED until the routed lanes land; the die 11.4x as a coexistence row); the coexistence table (interface section 8b) added as the scoreboard's headline; SEARCH's first screen recorded as SCREEN rejections. Still NOT RUN: no cohort score until COHORT's eight rows are read back. 12:2x UK: set v2 (the routed fused-ARX lanes) makes the v6 board 2.60x a WITNESS; the ctl-v6 coexistence table (the board holds at every price; the N2 die pushes the GPU owner out above 14,300 dies at USD 0.10) is the headline; X10 SCREEN with the card modelled (the board 3.00x at 118 loads). Still NOT RUN: the cohort rows in their timed runs. 12:3x UK: the first cohort cells (ctl-v6 at stock on rented 5090, 5080 and 3090 pods: the worst cell the 3090 at 8,429 nJ = 5.46x on set v2's same-node board, PARTIAL, the dataset size under decision after CONTROLS measured the live 4 GiB object at 2.4x the 1 GiB research pack's rate); X10's first measured cell (cand-x10b on the 4090 at stock 3,653 nJ per lane-work = 5.8x on the board; the fold buys nothing); set v3 (routed 64-register and multiply-xor lanes); the fourth to sixth review rulings (8c); the 4 GiB rule (8e). Every row still NOT RUN until read. 12:4x UK: ctl-v6's first full score over the NVIDIA cohort at stock (the worst cell the RTX 4090 uncapped 8,751 nJ = 5.67x on set v2's same-node board; every cell at 4 GiB, the earlier 2.4x reading an instrument artefact, corrected once); the two-phase rows (ADVERSARY 545f3f8a0, 36d17b15c): phase B NOT LIVE until a shipped package proves, the shipping row open; SEARCH's twenty candidates on set v3 none under 1.5x on any cell (SCREEN). Every row still NOT RUN until read. 13:0x UK: the decider closed on both cards (the 4 GiB object costs 2.0 to 2.9 percent of rate against its 1 GiB export; the 2.4x reading withdrawn as a contention fault); the read-headroom row answered (both cards at their activation limit); the uncapped 5090 cell 5,980 nJ = 3.88x on the board; the shipping row's facts by file and line with the Devnet 4 correction (a 24 GB card proves the v1 shard now; the proving row NOT LIVE until the epoch record by 16:00); the 4 GiB cap defined as the mining dataset floor only; the founder's ledger order (8f) applied. Every row still NOT RUN until read. 13:1x UK: CONTROLS' done line (the four controls, Etchash and Autolykos2 staged bit-exact with SUMS); ADVERSARY's cross-chain phase A and B (no chain's emission recovers a board chip; the proving share the one term) and the E9 Pro calibration (1.28x pessimistic); the first founder bundle 985afee6. Every row still NOT RUN until read. | The 1.5x adversarial comparison laboratory (the founder's order, 9 October 2026, 11:4x UK): one evaluation for every control and candidate (the measurement recipe with the read-only twin for the memory share, the adversary interface returning the lowest credible specialist energy per design as a complete machine with WITNESS or BOUND labels, the score as the worst comparison over the required cohort same node and one node ahead, the rejection filters F1 to F6, the regression set REG-01 to REG-08 from the 8 and 9 October failures). Every row NOT RUN until the panel reads it; the first measured score (the frozen v6 control on the cohort against adversarial set v1) lands as a later batch under this cell. Amended 11:5x UK: X10, the full-sector fold candidate of the founder's third review, added as cand-x10 with the scoped same-node board claim (the die and node-ahead chips as coexistence rows); the AMD and Intel tiers NOT RUN on every candidate (no rented card; the house rigs unreachable by software) until a card is found."
"at": "2026-10-09T12:23:49.783Z",
"note": "The lab's interface and the candidate table at the fan-out: the frozen v6 control carried from the record (the house 5090 at its knee 4,011 nJ per hash, board power; the X0 amendment 5b rows: the DRAM board 2.35x same node WITNESS, the N2 die 7.8x the worst credible), the cohort rows for the 3090, the 5080 and the AMD and Intel tiers NOT RUN, adversarial set v1 pending; the three other controls (ProgPoW 0.9.4 reference, FishHash, the cooperative ARX candidate) NOT RUN with their clocks. No score is the lab's until the cohort and the adversary rows are in; R15-01, R15-08 and R15-09 stay NOT RUN until read. X10 (cand-x10) joins the table NOT RUN with its per-lane assignments and clocks; COHORT's ctl-v6 denominator set is in flight on eight rented pods. 12:1x UK: adversarial set v1 on the table (the frozen v6's same-node board 2.57x, 2.04 to 3.00, the fused tail CLAIMED until the routed lanes land; the die 11.4x as a coexistence row); the coexistence table (interface section 8b) added as the scoreboard's headline; SEARCH's first screen recorded as SCREEN rejections. Still NOT RUN: no cohort score until COHORT's eight rows are read back. 12:2x UK: set v2 (the routed fused-ARX lanes) makes the v6 board 2.60x a WITNESS; the ctl-v6 coexistence table (the board holds at every price; the N2 die pushes the GPU owner out above 14,300 dies at USD 0.10) is the headline; X10 SCREEN with the card modelled (the board 3.00x at 118 loads). Still NOT RUN: the cohort rows in their timed runs. 12:3x UK: the first cohort cells (ctl-v6 at stock on rented 5090, 5080 and 3090 pods: the worst cell the 3090 at 8,429 nJ = 5.46x on set v2's same-node board, PARTIAL, the dataset size under decision after CONTROLS measured the live 4 GiB object at 2.4x the 1 GiB research pack's rate); X10's first measured cell (cand-x10b on the 4090 at stock 3,653 nJ per lane-work = 5.8x on the board; the fold buys nothing); set v3 (routed 64-register and multiply-xor lanes); the fourth to sixth review rulings (8c); the 4 GiB rule (8e). Every row still NOT RUN until read. 12:4x UK: ctl-v6's first full score over the NVIDIA cohort at stock (the worst cell the RTX 4090 uncapped 8,751 nJ = 5.67x on set v2's same-node board; every cell at 4 GiB, the earlier 2.4x reading an instrument artefact, corrected once); the two-phase rows (ADVERSARY 545f3f8a0, 36d17b15c): phase B NOT LIVE until a shipped package proves, the shipping row open; SEARCH's twenty candidates on set v3 none under 1.5x on any cell (SCREEN). Every row still NOT RUN until read. 13:0x UK: the decider closed on both cards (the 4 GiB object costs 2.0 to 2.9 percent of rate against its 1 GiB export; the 2.4x reading withdrawn as a contention fault); the read-headroom row answered (both cards at their activation limit); the uncapped 5090 cell 5,980 nJ = 3.88x on the board; the shipping row's facts by file and line with the Devnet 4 correction (a 24 GB card proves the v1 shard now; the proving row NOT LIVE until the epoch record by 16:00); the 4 GiB cap defined as the mining dataset floor only; the founder's ledger order (8f) applied. Every row still NOT RUN until read. 13:1x UK: CONTROLS' done line (the four controls, Etchash and Autolykos2 staged bit-exact with SUMS); ADVERSARY's cross-chain phase A and B (no chain's emission recovers a board chip; the proving share the one term) and the E9 Pro calibration (1.28x pessimistic); the first founder bundle 985afee6. Every row still NOT RUN until read. 13:2x UK: the decider closed on the 4090 too (2.0 percent of rate at 4 GiB); Autolykos2 priced on set v3; the finality row (8g: Devnet 4 on rule v3, paused since lock 1980, the chain on PoW, nothing reversed) as the measured behaviour for the statement's third clause. Every row still NOT RUN until read. | The 1.5x adversarial comparison laboratory (the founder's order, 9 October 2026, 11:4x UK): one evaluation for every control and candidate (the measurement recipe with the read-only twin for the memory share, the adversary interface returning the lowest credible specialist energy per design as a complete machine with WITNESS or BOUND labels, the score as the worst comparison over the required cohort same node and one node ahead, the rejection filters F1 to F6, the regression set REG-01 to REG-08 from the 8 and 9 October failures). Every row NOT RUN until the panel reads it; the first measured score (the frozen v6 control on the cohort against adversarial set v1) lands as a later batch under this cell. Amended 11:5x UK: X10, the full-sector fold candidate of the founder's third review, added as cand-x10 with the scoped same-node board claim (the die and node-ahead chips as coexistence rows); the AMD and Intel tiers NOT RUN on every candidate (no rented card; the house rigs unreachable by software) until a card is found."
}
},
"in_progress_since": "2026-10-09T10:48:54.646Z",

2
tools/ci/batches/lab-20261009-01.json
View file

@ -26,7 +26,7 @@
"in_progress": true,
"method": "model",
"evidence": "docs/analysis/class-v6/1p5x/lab/README.md; docs/analysis/class-v6/1p5x/lab/table.md",
"note": "The lab's interface and the candidate table at the fan-out: the frozen v6 control carried from the record (the house 5090 at its knee 4,011 nJ per hash, board power; the X0 amendment 5b rows: the DRAM board 2.35x same node WITNESS, the N2 die 7.8x the worst credible), the cohort rows for the 3090, the 5080 and the AMD and Intel tiers NOT RUN, adversarial set v1 pending; the three other controls (ProgPoW 0.9.4 reference, FishHash, the cooperative ARX candidate) NOT RUN with their clocks. No score is the lab's until the cohort and the adversary rows are in; R15-01, R15-08 and R15-09 stay NOT RUN until read. X10 (cand-x10) joins the table NOT RUN with its per-lane assignments and clocks; COHORT's ctl-v6 denominator set is in flight on eight rented pods. 12:1x UK: adversarial set v1 on the table (the frozen v6's same-node board 2.57x, 2.04 to 3.00, the fused tail CLAIMED until the routed lanes land; the die 11.4x as a coexistence row); the coexistence table (interface section 8b) added as the scoreboard's headline; SEARCH's first screen recorded as SCREEN rejections. Still NOT RUN: no cohort score until COHORT's eight rows are read back. 12:2x UK: set v2 (the routed fused-ARX lanes) makes the v6 board 2.60x a WITNESS; the ctl-v6 coexistence table (the board holds at every price; the N2 die pushes the GPU owner out above 14,300 dies at USD 0.10) is the headline; X10 SCREEN with the card modelled (the board 3.00x at 118 loads). Still NOT RUN: the cohort rows in their timed runs. 12:3x UK: the first cohort cells (ctl-v6 at stock on rented 5090, 5080 and 3090 pods: the worst cell the 3090 at 8,429 nJ = 5.46x on set v2's same-node board, PARTIAL, the dataset size under decision after CONTROLS measured the live 4 GiB object at 2.4x the 1 GiB research pack's rate); X10's first measured cell (cand-x10b on the 4090 at stock 3,653 nJ per lane-work = 5.8x on the board; the fold buys nothing); set v3 (routed 64-register and multiply-xor lanes); the fourth to sixth review rulings (8c); the 4 GiB rule (8e). Every row still NOT RUN until read. 12:4x UK: ctl-v6's first full score over the NVIDIA cohort at stock (the worst cell the RTX 4090 uncapped 8,751 nJ = 5.67x on set v2's same-node board; every cell at 4 GiB, the earlier 2.4x reading an instrument artefact, corrected once); the two-phase rows (ADVERSARY 545f3f8a0, 36d17b15c): phase B NOT LIVE until a shipped package proves, the shipping row open; SEARCH's twenty candidates on set v3 none under 1.5x on any cell (SCREEN). Every row still NOT RUN until read. 13:0x UK: the decider closed on both cards (the 4 GiB object costs 2.0 to 2.9 percent of rate against its 1 GiB export; the 2.4x reading withdrawn as a contention fault); the read-headroom row answered (both cards at their activation limit); the uncapped 5090 cell 5,980 nJ = 3.88x on the board; the shipping row's facts by file and line with the Devnet 4 correction (a 24 GB card proves the v1 shard now; the proving row NOT LIVE until the epoch record by 16:00); the 4 GiB cap defined as the mining dataset floor only; the founder's ledger order (8f) applied. Every row still NOT RUN until read. 13:1x UK: CONTROLS' done line (the four controls, Etchash and Autolykos2 staged bit-exact with SUMS); ADVERSARY's cross-chain phase A and B (no chain's emission recovers a board chip; the proving share the one term) and the E9 Pro calibration (1.28x pessimistic); the first founder bundle 985afee6. Every row still NOT RUN until read.",
"note": "The lab's interface and the candidate table at the fan-out: the frozen v6 control carried from the record (the house 5090 at its knee 4,011 nJ per hash, board power; the X0 amendment 5b rows: the DRAM board 2.35x same node WITNESS, the N2 die 7.8x the worst credible), the cohort rows for the 3090, the 5080 and the AMD and Intel tiers NOT RUN, adversarial set v1 pending; the three other controls (ProgPoW 0.9.4 reference, FishHash, the cooperative ARX candidate) NOT RUN with their clocks. No score is the lab's until the cohort and the adversary rows are in; R15-01, R15-08 and R15-09 stay NOT RUN until read. X10 (cand-x10) joins the table NOT RUN with its per-lane assignments and clocks; COHORT's ctl-v6 denominator set is in flight on eight rented pods. 12:1x UK: adversarial set v1 on the table (the frozen v6's same-node board 2.57x, 2.04 to 3.00, the fused tail CLAIMED until the routed lanes land; the die 11.4x as a coexistence row); the coexistence table (interface section 8b) added as the scoreboard's headline; SEARCH's first screen recorded as SCREEN rejections. Still NOT RUN: no cohort score until COHORT's eight rows are read back. 12:2x UK: set v2 (the routed fused-ARX lanes) makes the v6 board 2.60x a WITNESS; the ctl-v6 coexistence table (the board holds at every price; the N2 die pushes the GPU owner out above 14,300 dies at USD 0.10) is the headline; X10 SCREEN with the card modelled (the board 3.00x at 118 loads). Still NOT RUN: the cohort rows in their timed runs. 12:3x UK: the first cohort cells (ctl-v6 at stock on rented 5090, 5080 and 3090 pods: the worst cell the 3090 at 8,429 nJ = 5.46x on set v2's same-node board, PARTIAL, the dataset size under decision after CONTROLS measured the live 4 GiB object at 2.4x the 1 GiB research pack's rate); X10's first measured cell (cand-x10b on the 4090 at stock 3,653 nJ per lane-work = 5.8x on the board; the fold buys nothing); set v3 (routed 64-register and multiply-xor lanes); the fourth to sixth review rulings (8c); the 4 GiB rule (8e). Every row still NOT RUN until read. 12:4x UK: ctl-v6's first full score over the NVIDIA cohort at stock (the worst cell the RTX 4090 uncapped 8,751 nJ = 5.67x on set v2's same-node board; every cell at 4 GiB, the earlier 2.4x reading an instrument artefact, corrected once); the two-phase rows (ADVERSARY 545f3f8a0, 36d17b15c): phase B NOT LIVE until a shipped package proves, the shipping row open; SEARCH's twenty candidates on set v3 none under 1.5x on any cell (SCREEN). Every row still NOT RUN until read. 13:0x UK: the decider closed on both cards (the 4 GiB object costs 2.0 to 2.9 percent of rate against its 1 GiB export; the 2.4x reading withdrawn as a contention fault); the read-headroom row answered (both cards at their activation limit); the uncapped 5090 cell 5,980 nJ = 3.88x on the board; the shipping row's facts by file and line with the Devnet 4 correction (a 24 GB card proves the v1 shard now; the proving row NOT LIVE until the epoch record by 16:00); the 4 GiB cap defined as the mining dataset floor only; the founder's ledger order (8f) applied. Every row still NOT RUN until read. 13:1x UK: CONTROLS' done line (the four controls, Etchash and Autolykos2 staged bit-exact with SUMS); ADVERSARY's cross-chain phase A and B (no chain's emission recovers a board chip; the proving share the one term) and the E9 Pro calibration (1.28x pessimistic); the first founder bundle 985afee6. Every row still NOT RUN until read. 13:2x UK: the decider closed on the 4090 too (2.0 percent of rate at 4 GiB); Autolykos2 priced on set v3; the finality row (8g: Devnet 4 on rule v3, paused since lock 1980, the chain on PoW, nothing reversed) as the measured behaviour for the statement's third clause. Every row still NOT RUN until read.",
"claim_impact": "none"
}
],

135
tools/ci/canary/f7e45605.json Normal file
View file

@ -0,0 +1,135 @@
{
"sha": "f7e45605",
"artefacts": [
{
"sha": "f7e45605",
"node_sha": "27f54124",
"kind": "mac",
"run": "the mini, 11:52 to 12:49 UK, 9 October 2026 (the release lane); the DMG built on the mini at 034cdad1: the tree 034cdad1..f7e45605 touches only packaging/windows, relay/clients and the app's Windows-only memory hold (engine.rs, verifier.rs; the f7e45605 step is the relay client's machine-id read alone), so the Mac engine is byte-identical to 034cdad1's and predates the under-32 GB fresh-sync refusal (Windows only in this cut; the Mac takes it with 2.0.3.1 snapshot sync)",
"artefact": {
"kind": "mac",
"url": "https://dl.igneum.network/dl/<token>/Igneum-Miner-2.0.3-27f54124-034cdad1.dmg",
"sha256": "8f2a3c4fc1fb81338fc49dbd7d15ce15511be8e4109eae4e48c123c201b1f2ed",
"bytes": 47453555,
"note": "built on the mini (protoc 36.2, rustc 1.99.0) from release-2.0.3 034cdad1 with node 27f54124 (igneumd commit string 27f54124, igneum-pow fingerprint cbc5bd0aa10585c8); the packaged config carries the update manifest URL in the token folder and the five dial targets (three hubs, the build box's two hands); rule 38's packed-update check ok"
},
"box": {
"host": "igneum-mini (Apple M6, 16 GB, macOS 27.0.1)",
"isa_line": "arm64: no avx512 (Apple silicon)",
"read_back": "build-1:/srv/canary/27f54124/mini/02-box.txt"
},
"datadir": {
"path": "~/Library/Application Support/Igneum/devnet-4",
"empty_at_start": true,
"note": "the live datadir set aside and kept (devnet-4.canary-aside-1152); the 2.0.2 worker watch (the epoch-cut workaround) retired first by its launchd label",
"read_back": "build-1:/srv/canary/27f54124/mini/03-datadir.txt"
},
"sync": {
"genesis_height": 0,
"tip_height": 31329,
"seconds": 1712,
"feed": {
"height": 31315,
"age_s": 19,
"blocks_per_min": 30
},
"read_back": "build-1:/srv/canary/27f54124/mini/04-sync.txt",
"note": "synced=true at DAA 61,606 with 5 peers; 1,712 s on the resume clock (the app installed 11:52:03 UK, synced 12:30:53: about 38 min from the install on 16 GB with 13 to 14 GB of macOS swap in use, the fresh-sync memory class: macOS pages rather than ends the node)"
},
"mining": {
"minutes": 5,
"refusals": 0,
"accepted_blocks": 2,
"rate": "12.27 MH/s",
"read_back": "build-1:/srv/canary/27f54124/mini/05-mining.txt"
},
"shard": {
"not_applicable": "no prover on Apple silicon",
"read_back": "build-1:/srv/canary/27f54124/mini/06-shard.txt"
},
"quit": {
"bounded": true,
"seconds": 3,
"read_back": "build-1:/srv/canary/27f54124/mini/07-quit.txt"
},
"version": "igneum-app 2.0.3 / igneumd 2.0.3",
"tip": {
"within_ten_of_reference": true,
"line": "mine=31329 hub1=31315 age_s=19 adjusted=31324 within_ten=true peers=6",
"read_back": "build-1:/srv/canary/27f54124/mini/09-tip.txt"
},
"lines_read_back": [
{
"line": "install",
"evidence": "build-1:/srv/canary/27f54124/mini/01-install.txt"
},
{
"line": "box",
"evidence": "build-1:/srv/canary/27f54124/mini/02-box.txt"
},
{
"line": "datadir",
"evidence": "build-1:/srv/canary/27f54124/mini/03-datadir.txt"
},
{
"line": "sync",
"evidence": "build-1:/srv/canary/27f54124/mini/04-sync.txt"
},
{
"line": "mining",
"evidence": "build-1:/srv/canary/27f54124/mini/05-mining.txt"
},
{
"line": "shard",
"evidence": "build-1:/srv/canary/27f54124/mini/06-shard.txt"
},
{
"line": "quit",
"evidence": "build-1:/srv/canary/27f54124/mini/07-quit.txt"
},
{
"line": "version",
"evidence": "build-1:/srv/canary/27f54124/mini/08-version.txt"
},
{
"line": "tip",
"evidence": "build-1:/srv/canary/27f54124/mini/09-tip.txt"
}
],
"recovery": {
"rule": "the founder's standing rule, 9 October 2026: no machine needs his hand to recover, update or mine",
"supervision": {
"miner": "LaunchAgent network.igneum.miner-supervisor, ~/igneum-supervisor/mini-supervise.sh v2 (sha256 9fd5ad53bcc003f6\u2026, installed 12:49 UK): reopens the app through LaunchServices after 90 s without api/state; v2 first ends a window host that outlives its engine by launchd's own pid record for the app's bundle label (never a name pattern), after an osascript quit",
"relay_agent": "LaunchAgent network.igneum.relay-agent (KeepAlive, RunAtLoad)",
"worker_watch": "RETIRED 11:51 UK (the 2.0.2 epoch-cut workaround; 2.0.3 carries the watchdog fix, 034cdad1)"
},
"legs": [
{
"leg": "the app's update path",
"verdict": "PASS",
"read_back": "build-1:/srv/canary/27f54124/mini/10-leg-update.txt",
"detail": "api/quit 12:45:51 UK as the helper does, the engine gone in 1 s, the host ended by its recorded pid after an osascript quit, the supervisor reopened the app, engine answering after 105 s (2.0.3); a second shape, the engine gone with the window host left alive (the 12:36 UK class: four opens fronted the dead host under supervisor v1 for seven minutes), supervisor v2 ended the host by launchd's recorded pid and the engine answered after 67 s, PASS"
},
{
"leg": "the relay agent killed",
"verdict": "PASS",
"read_back": "build-1:/srv/canary/27f54124/mini/11-leg-agent.txt",
"detail": "the agent's process ended by its launchd pid at 12:41:07 UK after its command line was read; launchd respawned it after 2 s; the miner app untouched"
},
{
"leg": "a reboot",
"verdict": "NOT RUN",
"read_back": "build-1:/srv/canary/27f54124/mini/12-leg-reboot.txt",
"detail": "the founder's hold of 9 October 2026 11:0x UK: no reboot of the mini without his word for that one reboot"
}
]
},
"verdict": "PASS",
"recorded_at": "2026-10-09T11:52:16Z",
"recorded_by": "the release lane"
}
],
"verdict": "PASS",
"recorded_at": "2026-10-09T12:15:35Z",
"recorded_by": "the release lane"
}