Commit graph

314 commits

Author SHA1 Message Date
igneum-labs
eb4bcb98e0 shadow-k: the adversary's 64-register core (the live-state analysis: 95 percent of the window necessary across every wait under the fold-reads-all rule; the state's cheaper forms modelled; the gated rows pending), the gated variants' configs, livestate.py
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>

Documents-only replay of f1ddf0b39 (86e5b0fb24) for the box mirror master
2026-10-08 20:42:27 +00:00
igneum-labs
26417c3ab6 Merge master fbade9172 into class-v6-adversary-docs-3 under the master-landing lock 2026-10-08 20:41:17 +00:00
igneum-labs
0bb8cdb9dd Class v6 family gate, 6.12: the pairing read back at the final class-v6 sha 21edd23c9 (both pack ids equal to the 38128dff0 read); master merged (the steward's evidence rule: a new evidence file lands free)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 20:31:48 +00:00
igneum-labs
eb49865421 Merge remote-tracking branch 'build/master' into class-v6-family-gate 2026-10-08 20:31:47 +00:00
igneum-labs
81387ea729 Merge box/master dab456cc8 into class-v6-adversary-docs-3 (rule 26: master's map, page and registry taken; the adversary cells re-added with ADV-05; the batch recorded) 2026-10-08 20:23:20 +00:00
igneum-labs
dab456cc81 Merge p22-stage-2 6407fc80 into master (gate: green on 6407fc80, recorded by tools/ci/pre-push.sh; landed on the box mirror) 2026-10-08 20:21:13 +00:00
igneum-labs
30505a90c4 Merge build/master into class-v6-family-gate: the CI steward's family-gate cell and batch taken as master has them; this landing's batch family-gate-20261008b moves the rows with their evidence; 6.12's subset census at 64 of 64 (0 hot sets, 0 over 1.2x)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 20:13:17 +00:00
igneum-labs
67d07a267e Merge box/master 19c945915 into class-v6-adversary-docs-3 (rule 26: master's map, page and registry taken; the lane's cells adversary:mf-placed adversary:d2b re-added; batches re-recorded) 2026-10-08 20:12:11 +00:00
igneum-labs
6407fc80f9 Merge remote-tracking branch 'box/master' into p22-stage-2
# Conflicts:
#	proving/igneum-prove/host/src/bin/pin.rs
#	tools/ci/export-exclude.txt
2026-10-08 20:07:50 +00:00
igneum-labs
f3c24e202f Merge floor-eco-record-02 c2fc307c into master (gate: green on c2fc307c, recorded by tools/ci/pre-push.sh; landed on the box mirror) 2026-10-08 20:07:38 +00:00
igneum-labs
6898c72dbc Merge worker-select-pass ed93b542 into master (gate: green on ed93b542, recorded by tools/ci/pre-push.sh; landed on the box mirror under the exception declared by main: main's ruling, 7 Oct 2026 19:5x UK: the GitHub account is suspended, lanes land on the box mirror's master, the box gate stamp is the verdict; GitHub gets the fast-forward when it answers) 2026-10-08 20:07:26 +00:00
igneum-labs
987e0d85c7 Class v6 family gate, 6.12: the final tree (class-v6 38128dff0, the packs' draw read back equal on both ids) through the acceptance under the harness's predicate and the crate's own, which agree on a2af73716's fix (r 0.144 and 0.137 at width 4, 0 exhausted in 6,000 eras, the floors at 0 to 0.5 percent, the fold's half of the bit-R class): PASS; the registry batch at manifest 38128dff0, method native
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 20:05:56 +00:00
igneum-labs
0614fece04 multi-family adversary: section 17 bound restated on the connected-state class's own shape (the prefix form 8 nJ per hash; the bracket moves at most 0.02x)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>

Documents-only copy of class-v6-adversary bb8cf8c30 over master 156f3f54e: the document whole, the batch adversary-20261008-placed-8lane recorded through tools/ci/test-record.mjs on master's registry copy, the two map cells added to master's map, the harness page regenerated; tools/chip-model/mf stays on the branch.
2026-10-08 20:04:15 +00:00
igneum-labs
b31c6b9ff4 V6-10: pin C held off master on p22-stage-2-pin (5144e87c1); proving/igneum-prove/elf/ back to master's served pair for the stages' landing (the 2.0.1 kits embed master's elf/ and their start check refuses another top pair)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 20:02:11 +00:00
igneum-labs
c2fc307c5d ECO-05 batch 02 on the RX 7600's class v6 cell (15.79 MH/s measured, the knee 5.4 modelled; the metered knee is batch 03) and the B580's class v6 cell (11.0 measured, watts estimated): one more sustainable world (10R at 0.10, by 1.6 percent on the 7600's entry), 0 of 108 cells pass the envelope, RUN FAIL unchanged; the driver's override hook carried; the cubes and the registry rows recorded at manifest efd03e2c
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 20:00:11 +00:00
igneum-labs
156f3f54eb Merge hash-registry-1 ac89897c into master (gate: green on ac89897c, recorded by tools/ci/pre-push.sh; landed on the build mirror) 2026-10-08 19:59:34 +00:00
igneum-labs
5144e87c18 V6-10: the repin note with every row read back (three deterministic builds, the id read-back on two boxes, the old and new fee mode compressed proofs VERIFIED under the new pair, the node equality replay, the RPC flag class)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 19:58:48 +00:00
igneum-labs
ed93b5426f F10 rows, I05 epoch tag, I06 pack geometry rule across the three hosts
Rows: docs/analysis/review-2026-10-08-b/f10/rows.md with the pod rows (5090: steady
70.4 MH/s select against 63.7 full, 86.2 against 88.7 J per 2^24 batch; 3090 at the
card's clock 30.1 against 27.6, 184.6 against 197.9 J; the 3090 pod's power cap at
210 MHz named per run; ptxas 92 and 87 registers, no spills) beside the kernel timer,
the emulation and loader logs, the mini's geometry and serve logs. serve-bench.sh reads
a kit pack's seeds from program.h, execs the worker in its coproc (the recorded pid
and the CPU seconds are the worker's).

I05: every worker's found line carries a fifth field, the epoch the hash was computed
under (16 hex): CUDA and OpenCL from the pair, Metal from the job; select-check.sh and
serve-check.sh assert it, the swap case with pack B's epoch. The miner reads four or
more fields.

I06 (gate INT-10): one normative geometry rule. packfile.h reads the word count at
64 bits and refuses a count above 2^32 - 1 and a log2 that is not the floor of log2 of
the count; proto-metal/main.swift gains packGeometry with the same rules and refusal
words, sizes the day's dataset from the exact word count before any Metal work, and
--geometry-check <vectors> [pack dir...]. emu/geometry-vectors.txt is the shared
conformance file (ds55, ds85, ds115, the power-of-two sizes, wrong count or log2,
overflowing counts, missing leaves, leaves on a v2 pack): 19 vectors green in C on
build-7 (packfile-test.sh) and in Swift on the mini, with the two checked-in packs.

Record: cells harness:cuda-select-check (ROT-01, POW-01 partial) and
harness:pack-geometry (POW-02 partial); batch f10-worker-20261008.

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 19:53:24 +00:00
igneum-labs
ac89897c6a test registry: the hash lane's batch 2 (the fleet's F05 rows on the post-review object as bench:fleet-pods evidence; suite:pow on the review-fix tree)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 19:51:34 +00:00
igneum-labs
cff719a04b Merge box/master 27a8f4bbd into counter-asic-4-docs-3 (rule 26 again: master's map, page and registry taken, the lane's cell re-added, the batch re-recorded) 2026-10-08 19:46:35 +00:00
igneum-labs
cfe22118d6 Merge box/master bd8223cfb into counter-asic-4-docs-3 (rule 26: master's map, harness page and registry taken, the lane's cell harness:economics-model re-added and the batch eco-d4-20261008-01 re-recorded; the export list both ways) 2026-10-08 19:39:06 +00:00
igneum-labs
2939f4264d Class v6 census: the post-review object's (c''') read (hl-v6-all 4de7b836cc40a4ea, generator 6, PASS: the rule with the floor, 256 of 256 at r 0.129, the window trace standing), with the a326de8ea read beside it
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>

Documents-only replay of e5d7e171c (e5d7e171c4) for the box mirror master
2026-10-08 19:38:32 +00:00
igneum-labs
a638e3c22d Class v6 census: the x16 address rows for the four chain seeds; hl-v6-rw's harness outputs from build-3 (back at 19:48 UK)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>

Documents-only replay of a7deed9ae (e5d7e171c4) for the box mirror master
2026-10-08 19:38:31 +00:00
igneum-labs
58dda2628c Class v6 census: the per-site address census (the review's A03): the known-failed v2 case reproduced at 15.15 percent; class v5 and the v6 candidate uniform to 2.7e-7 at the worst address on the live dataset; the cache shares the era windows' by design (the adversary's 72 percent = the Devnet 3 window draw)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>

Documents-only replay of fb24bab80 (e5d7e171c4) for the box mirror master
2026-10-08 19:38:31 +00:00
igneum-labs
bd46f0a218 Class v6 census, lane 2: the six-pack sheet (fold, rw, foldrw, win, all PASS; rw2 FAIL on F8), the harness, the commands, the instrument's definition, the faults fixed, every pack's harness outputs under logs/census-packs
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>

Documents-only replay of f12d074f0 (e5d7e171c4) for the box mirror master
2026-10-08 19:38:31 +00:00
igneum-labs
27d48e16d2 Class v6 census: the x16 address rows for the four chain seeds; hl-v6-rw's harness outputs from build-3 (back at 19:48 UK)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>

Documents-only replay of 343fc352f (e5d7e171c4) for the box mirror master
2026-10-08 19:38:31 +00:00
igneum-labs
bbe44608b5 Class v6 census: the per-site address census (the review's A03): the known-failed v2 case reproduced at 15.15 percent; class v5 and the v6 candidate uniform to 2.7e-7 at the worst address on the live dataset; the cache shares the era windows' by design (the adversary's 72 percent = the Devnet 3 window draw)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>

Documents-only replay of 59862569e (e5d7e171c4) for the box mirror master
2026-10-08 19:38:30 +00:00
igneum-labs
4d7c0506fb Class v6 census, lane 2: the six-pack sheet (fold, rw, foldrw, win, all PASS; rw2 FAIL on F8), the harness, the commands, the instrument's definition, the faults fixed, every pack's harness outputs under logs/census-packs
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>

Documents-only replay of 0daf32c5e (e5d7e171c4) for the box mirror master
2026-10-08 19:38:30 +00:00
igneum-labs
5dfed5fdea Class v6 family gate: 6.11 lands documents-only (master's test map, registry and harness-map page untouched; the harness cell and its batch go to the CI steward, the page's generator owner, to land with the next regeneration)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 19:35:17 +00:00
igneum-labs
52c785e764 Class v6: the genesis dataset size DECIDED at 4 GiB (the founder's word at 20:00 UK, FROZEN as class_v6_dataset_steps [(0, 4096 MiB)]); change (3) and the served policy sentence as decided; the chip line's a-node-ahead end 3.3x with the floor marked
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>

Documents-only copy of counter-asic-4 248837578 over master f1c1fd9d1 (the 21:00 landing): the design and analysis documents, spec 05 and 06 (06 and the export list three-way merged), sim/economy/coexist (python, JSON, TSV), the map cell harness:economics-model added to master's map, the batch eco-d4-20261008-01 recorded through tools/ci/test-record.mjs on master's registry copy; nothing under igneum-pow, proto-cuda or the apps; the branch itself unmerged.
2026-10-08 19:31:58 +00:00
igneum-labs
c853fca1b5 Merge amd-intel-energy-docs c76d9f91 into master (gate: green on c76d9f91, recorded by tools/ci/pre-push.sh; landed on the box mirror under the exception declared by main: main's ruling, 7 Oct 2026 19:5x UK: the GitHub account is suspended, lanes land on the box mirror's master, the box gate stamp is the verdict; GitHub gets the fast-forward when it answers) 2026-10-08 19:29:11 +00:00
igneum-labs
c76d9f9180 AMD and Intel energy on class v6 (GPU-03 AMD and Intel cells, ECO-05 named cause): per 32 bits of bus the AMD and Intel cards burn the 5090s watts but do 0.21x to 0.47x its random reads; the window costs the RX 7600 and the Arc B580 no rate per unit of work; the B580 class v6 rows (11.01 MH/s, fingerprints equal, watts unreadable unelevated); hash-identical kernel candidates ranked (0 to about 10 percent); the RX 7600 metered knee owed to a queued PC 1 job
Documents only: docs/analysis/class-v6/amd-intel-energy.md and docs/analysis/class-v6/amd-intel-energy/ (the three job scripts, the Level Zero sampler source, the offline-compile prelude and ISA summary).

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

Documents-only replay of d9e91c5d7 (d9e91c5d7a) for the box mirror master
2026-10-08 19:21:27 +00:00
igneum-labs
2e6914f8c9 The proving outcome ledger (review B F08): every claimed job ends in one outcome; the report reads paid completions, missed deadlines and wasted work by cause
tools/fleet/box-prover.py point 6: each claimed segment is an eligible job and closes once as paid, expired (unpaid, held_expired) or cancelled (disk, export, cut, chain, timeout, shards, statement, sign, refused), active until then; the row carries outcome, cause, deadline, margin at the claim, seconds spent (wasted unless paid) and the deadline miss; the state carries the counters and the wasted seconds by cause; every close is a RESULT outcome line, the run ends with a RESULT ledger line.

tools/fleet/prover-outcomes.py: the report over state files and logs (a log from before the ledger is reconstructed from its RESULT lines; a state row wins over a log row): outcomes, paid completions (segments, shards, IGN, median end to end, median time to pay, median margin), missed deadlines by cause with the median miss (never negative, none on a stale tip), wasted work by cause, throughput per hour and the paid share of the seconds spent, the open jobs. --self-test to known numbers (known-failed first), run by the gate. tools/fleet/night.py sums the fleet's counters into its hourly row. docs/analysis/proving-outcome-ledger.md: the definitions and how to read the three ratios.

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 19:19:39 +00:00
igneum-labs
42321ce8da Merge build/master into class-v6-family-gate (rule 26: master's copies of the harness map and the registry, the family-gate batch re-recorded on them)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 19:09:56 +00:00
igneum-labs
440decd915 Class v6 family gate, 6.11: the post-review object (class-v6 a326de8ea, mx8+sh256x27+state+reg64c+nowin+fold+rw) through the acceptance: PASS under the full rule (r 0.15, 0 exhausted, the floors at 0.07 to 0.23 percent, the fold halving the bit-R class); the second predicate finding (a width-4 class is not the class v4 shape to the crate's own predicate because of mix: the chain's path runs the v2 parts only, r 0.05, the accepted draw under the floor), a freeze condition; attack-f8 valid on the mirror's subset only (96 of 96 mismatches on the fold and reg64c, stated); the registry write-back: harness:family-gate mapped to POW-02, ROT-07, ROT-08 as partial coverage, the batch recorded
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 19:02:10 +00:00
igneum-labs
fe612e5f12 Review B (8 Oct 2026): second external review, findings, reproduction pack, dispatch
Documents only. Fourteen findings F01 to F14 with forty-four regressions,
dispatched by lane in dispatch.md; the regressions become suite REV in the
acceptance registry (CI steward).

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 18:49:43 +00:00
igneum-labs
c1bddb273d test registry: the hash lane's batch 1 (tools/ci/batches/hash-lane-20261008-batch1.json: bench:pc1-packs, bench:pc1-amd, bench:fleet-pods, census:class-v6, suite:pow as RUNNING with their evidence rows under docs/analysis/class-v6/rows)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 18:33:08 +00:00
igneum-labs
20b0636f95 Class v6 census: the per-site address census (the review's A03): the known-failed v2 case reproduced at 15.15 percent; class v5 and the v6 candidate uniform to 2.7e-7 at the worst address on the live dataset; the cache shares the era windows' by design (the adversary's 72 percent = the Devnet 3 window draw)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>

Documents-only replay of b10fe1351 (b10fe1351dea53344acfa5b764d8215dc77480f3) for the box mirror master
2026-10-08 18:11:09 +00:00
igneum-labs
1f6b90fa2f Merge binding-review 781538f1 into master (gate: green on 781538f1, recorded by tools/ci/pre-push.sh; the full gate runs in CI on this merge) 2026-10-08 18:03:43 +00:00
igneum-labs
acbbe44d99 Merge class-v6-family-gate 43adcf75 into master (gate: green on 43adcf75, recorded by tools/ci/pre-push.sh; landed on the build mirror) 2026-10-08 18:01:23 +00:00
igneum-labs
781538f138 docs/analysis: binding review section 5a, the external review's A05 (FNV initialisation, the 64-bit fold): the argument, five measured lines, no change for 2.0, the class-version shape if one is wanted
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 17:55:49 +00:00
igneum-labs
43adcf75c5 Class v6 family gate, 6.10: the hash lane's layer-8-off draw through the acceptance on class-v6 542cd7028 against the same-crate windowed control (PASS: r 0.18 against 0.27 at width 4, the (c''') cost 2 against 13 percent, 0 hot sets and 0 over 1.2x at 2^20, the bit-R share up with the windows gone, the fold the lever); the harness port diff at 542cd7028
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 17:54:46 +00:00
igneum-labs
2da6fe9d59 docs/analysis/review-2026-10-08: the external algorithm review's evidence pack (evidence.md, results.json, harness.zip), 8 October 2026
The three files as they stand in the Mac checkout at 18:51 BST, on the coordinator's word, one documents-only commit:
evidence.md (45 KB), results.json (82 KB, parses; the delivered results), harness.zip (43 KB: a C and Python reproduction
harness, twelve files, data beside the evidence and not repository code). No chain path; the pack names no founder and no box.
2026-10-08 17:52:21 +00:00
igneum-labs
a67ad71284 Publish the 2.0 evidence set on the public mirror (main's word): coexistence-model.md, operator-simulation.md, connected-state.md, coexist-rows.md and the class v6 design record leave the export-exclude list, the lane records and logs stay excluded; the zone word redacted in connected-state.md; the mirror-follows-master note beside every evidence column
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 17:29:00 +00:00
igneum-labs
94d5b9eaf9 Merge class-v6-family-gate 08010e76 into master (gate: green on 08010e76, recorded by tools/ci/pre-push.sh; landed on the build mirror) 2026-10-08 17:26:17 +00:00
igneum-labs
08010e76a4 Class v6 family gate, 6.9 closed: the best-mix table's exact or = 0 attempts rows at both widths on build-4 (r 0.29 and 0.16, 0 exhausted, the floors at the width's cost), the owed line closed; the harness ported onto class-v6 a7c2c082f for the layer-8-off acceptance
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 17:20:45 +00:00
igneum-labs
9954e451e3 Merge binding-review c2459ae0 into master (gate: green on c2459ae0, recorded by tools/ci/pre-push.sh; the full gate runs in CI on this merge) 2026-10-08 17:19:14 +00:00
igneum-labs
96c086371f Merge class-v6-connected-docs-2 1c33395a into master (gate: green on 1c33395a, recorded by tools/ci/pre-push.sh; landed on the box mirror under the exception declared by main: main's ruling, 7 Oct 2026 19:5x UK: the GitHub account is suspended, lanes land on the box mirror's master, the box gate stamp is the verdict; GitHub gets the fast-forward when it answers) 2026-10-08 17:15:34 +00:00
igneum-labs
c2459ae08f docs/analysis: binding review of template, nonce, work and result (Igneum 2.0 register row): the chain of bindings from the code, the twelve reuse paths with their cost and rule, the measured lines, five open questions (epoch-seed VDF not in the node line, the day keyed on the timestamp)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 17:11:56 +00:00
igneum-labs
a74395f238 Class v6 census, lane 2: the six-pack sheet (fold, rw, foldrw, win, all PASS; rw2 FAIL on F8), the harness, the commands, the instrument's definition, the faults fixed, every pack's harness outputs under logs/census-packs
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>

Documents-only replay of 25098c1a2 (25098c1a276d80987262eda59a7f1beef8cd6ba4) for the box mirror master
2026-10-08 17:08:39 +00:00