Commit graph

4171 commits

Author SHA1 Message Date
igneum-labs
29d7bfebd1 B1 (R15-05): the published MTP/DRSample primitive reproduced, with its complete verifier and fixtures
Blocki and Smearsoll (eprint 2025/1456 as archived, sha256 13c3646e...) Sec 2.2, 3.2 and App. C over
DRSample (ABH17 Alg. 1, eprint 2017/443 as archived): CPython reference in tools/mhpow/b1 (params, drsample,
mtp, attacks), the verifier's named checks in the paper's order with a known-failed test each (17 of 17 OK
on build-6), five deterministic known-answer fixtures (n 4 to 20), honest rows n 12 to 24, the malicious
provers A1 to A6 (Dinur-Nadler eprint 2017/497 Sec 4.1, 4.3/5, 8; the paper's Attack 1; the LuckyQuery
regrind) and the k table. Encoding pinned with B2 (BLAKE2b-256, tags L/M/C/G, u64 LE, raw leaves,
LSB-at-root, public graph seed). Findings: proven k with ABH17's constant exceeds N to about n 25 (F-3);
one labelling yields many accepted roots (F-4); lambda 256 meets Lemma 3 only for q <= 2^31.5 (F-5).
Research paths added to tools/ci/export-exclude.txt beside B2's. Registry batch NOT RUN for the steward.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
2026-10-09 09:38:00 +00:00
igneum-labs
206e73f70e Merge build-1-guards a88c3a83 into master (gate: green on 27efd573, recorded by tools/ci/pre-push.sh; landed on the box mirror) 2026-10-09 09:29:53 +00:00
igneum-labs
a88c3a836a Merge master 2a6fc6f41 into build-1-guards under the master-landing lock 2026-10-09 09:29:50 +00:00
igneum-labs
2a6fc6f411 Merge tv-04-security-budget fdec16ef into master (gate: green on b12ae3ae, recorded by tools/ci/pre-push.sh; landed on the build mirror) 2026-10-09 09:28:45 +00:00
igneum-labs
fdec16efaf Merge master 0f6bbf0b5 into tv-04-security-budget under the master-landing lock 2026-10-09 09:28:41 +00:00
igneum-labs
0f6bbf0b54 Merge ca3-coord-record 0c054a41 into master (gate: green on 19506c03, recorded by tools/ci/pre-push.sh; landed on the build mirror) 2026-10-09 09:26:32 +00:00
igneum-labs
0c054a41de Merge master b0817ca23 into ca3-coord-record under the master-landing lock 2026-10-09 09:26:29 +00:00
igneum-labs
b0817ca235 Merge class-v6-adversary-docs-6 c664ccae into master (gate: green on 09e1906f, 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-09 09:25:30 +00:00
igneum-labs
c664ccae20 Merge master e14e6c236 into class-v6-adversary-docs-6 under the master-landing lock 2026-10-09 09:25:27 +00:00
igneum-labs
e14e6c236e Merge tv-02-supply-replay 19e9c2a0 into master (gate: green on efe5fad4, recorded by tools/ci/pre-push.sh; landed on the build mirror) 2026-10-09 09:24:16 +00:00
igneum-labs
19e9c2a02c Merge master e8b084c64 into tv-02-supply-replay under the master-landing lock 2026-10-09 09:24:13 +00:00
igneum-labs
e8b084c64f Merge mhpow-b2 15bbcf17 into master (gate: green on 7638774f, recorded by tools/ci/pre-push.sh; landed on the build mirror) 2026-10-09 09:23:06 +00:00
igneum-labs
15bbcf1746 Merge master 233110649 into mhpow-b2 under the master-landing lock 2026-10-09 09:22:56 +00:00
igneum-labs
2331106498 Merge queue-memory-rule c5650e67 into master (gate: green on f53e5058, recorded by tools/ci/pre-push.sh; landed on the box mirror) 2026-10-09 09:21:50 +00:00
igneum-labs
c5650e67df Merge master 52ed677d4 into queue-memory-rule under the master-landing lock 2026-10-09 09:21:47 +00:00
igneum-labs
b12ae3ae9b TV-04 second cut: the registry row moves with its evidence (batch tv-04-20261009-02, superseding -01, NOT RUN, through tools/ci/test-record.mjs --record)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-09 09:21:05 +00:00
igneum-labs
13d0e1b5d8 Merge master 52ed677d4 into tv-04-security-budget under the master-landing lock 2026-10-09 09:20:44 +00:00
igneum-labs
52ed677d4a Merge ci-tv01-mapcell 7dc1529a into master (gate: green on 7341f67a, 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-09 09:19:25 +00:00
igneum-labs
7dc1529add Merge master e9b6256e1 into ci-tv01-mapcell under the master-landing lock 2026-10-09 09:19:21 +00:00
igneum-labs
19506c03a7 Counter ASIC 3.0 status: RESET END (22 of 101 within ten, the three hubs one chain), build-1's OOM and the Caddy outage, the hub-1 archive done, TV-01's complete spec and TV-02's agreement, X0's amendment 5b (the board 2.35x at the knee, the die 7.8x), X1's, X2's and X4's GPU rows, B2's input spec, B4's papers, the clock fact
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-09 09:18:24 +00:00
igneum-labs
e9b6256e10 Merge b6-verification-budget 71327998 into master (gate: green on 71327998, recorded by tools/ci/pre-push.sh; landed on the box mirror): B6 (R15-10), the verification budget table, documents only
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-09 09:18:19 +00:00
igneum-labs
09e1906fa7 1.5x X0 amendment 5b: the frozen object's own numerator, the instruction count (the counted-op unit closed as the GPU's micro-op tally), the measured hits, stock and knee, both nodes, the wall term; the board 2.35x same-node at the knee, above 1.5x by 0.85x
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>

Documents-only copy of class-v6-adversary 14939909a over master d7a1bcb24: the X0 README with amendment 5b, the X5 README with both pairs at both counts, multi-family-adversary.md's section 17; the cell adversary:x5-sweep on master's map; the batches adversary-20261009-x5 and adversary-20261009-placed-32lane recorded at this manifest (no decision changed); tools/1p5x and tools/chip-model/mf stay on the branch.
2026-10-09 09:17:27 +00:00
igneum-labs
27efd57303 build-1 guards (the coordinator, 9 October 2026, after the 09:54 OOM): the queue reader as a unit, a memory guard every minute (one fresh sync at a time by unit; free memory under 15 GB alerts), an edge check every five minutes (the workers page, the git host, /light; a failed caddy started again), Restart=always and the OOM order on caddy, cron, atd, rsyslog and the reader (last in line) and on the three sync units (first in line); install.sh runs on the box from the mirror.
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-09 09:17:18 +00:00
igneum-labs
efe5fad437 TV-02 README: the TV-01 spec landed on master at fefb00d40 byte-identical to the copy B ran on (sha256 3ffdd308...), so R1 stands on the landed spec; R8 names the spec's C06 to C08 for the EVM ledger
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
2026-10-09 09:17:12 +00:00
igneum-labs
cec5031b72 Merge ci-r15 af2fe220 into master (gate: green on aea0e375, 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-09 09:17:00 +00:00
igneum-labs
af2fe22010 Merge master d7a1bcb24 into ci-r15 under the master-landing lock 2026-10-09 09:16:57 +00:00
igneum-labs
d7a1bcb24c Merge tv-02-supply-replay 2fd7d3d3 into master (gate: green on 22a4f326, recorded by tools/ci/pre-push.sh; landed on the build mirror) 2026-10-09 09:15:47 +00:00
igneum-labs
2fd7d3d327 Merge master dc22df3ff into tv-02-supply-replay under the master-landing lock 2026-10-09 09:15:44 +00:00
igneum-labs
7638774fc2 mhpow B2: the binding spec for the Track B work unit (instance layout, obligations O-01 to O-16)
The canonical instance input (328 bytes, work version 1, draft): network id, chain id, header and work
versions, the dataset policy digest, the program id, the epoch, era and day the frozen class carries, the
state root, the pre-PoW header hash (parents, coinbase root, DAA score, timestamp), the 64-bit nonce as trial
id, the graph parameters. The obligations read against Blocki and Smearsoll, eprint 2025/1456 (full PDF,
sha256 13c3646e): reuse answered per input; two lottery rules FAIL with counter-examples (sink re-roll,
free screening); the replacement, multi-instance, adaptive input, constants and energy BLOCKED to B4 and
the node lane. Figures from tools/mhpow/b2/b2_figures.py on build-9. Registry batch NOT RUN.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
2026-10-09 09:15:09 +00:00
igneum-labs
f53e505811 build queue: the build-1 memory rule (one fresh sync at a time with its listener on loopback until within ten, one read node at most) and the reader's 90 percent memory fault, after the OOM of 9 October 2026.
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-09 09:15:00 +00:00
igneum-labs
dc22df3ff4 Merge ca3-coord-record 34bad6a8 into master (gate: green on 6ebce745, recorded by tools/ci/pre-push.sh; landed on the build mirror) 2026-10-09 09:14:44 +00:00
igneum-labs
34bad6a83c Merge master ea339095c into ca3-coord-record under the master-landing lock 2026-10-09 09:14:41 +00:00
igneum-labs
ea339095c3 Merge igneum-1p5x-research-plan-docs 522f9423 into master (gate: green on 0d316383, 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-09 09:13:43 +00:00
igneum-labs
522f94238d Merge master 125e16c3d into igneum-1p5x-research-plan-docs under the master-landing lock 2026-10-09 09:13:40 +00:00
igneum-labs
7ee751ada7 TV-04 second cut: the run record
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-09 09:12:36 +00:00
igneum-labs
7341f67a37 A batch may carry the map cell it needs (map_cell_requested: added when absent, refused when it would change an existing cell or names an unknown case); TV-01's batch recorded with its cell token-value:tv-01 (NOT RUN in progress)
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
2026-10-09 09:12:32 +00:00
igneum-labs
1f28f11434 TV-04 second cut: regenerated on build-9 from a1912456
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-09 09:12:18 +00:00
igneum-labs
125e16c3d4 Merge page-canary 912faa25 into master (gate: green on 4d59b2b5, recorded by tools/ci/pre-push.sh; landed on the box mirror) 2026-10-09 09:11:51 +00:00
igneum-labs
912faa25cf Merge master fefb00d40 into page-canary under the master-landing lock 2026-10-09 09:11:49 +00:00
igneum-labs
a1912456cc TV-04: the terminal year read as TV-01 states it (zero from the start of year 125)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-09 09:11:48 +00:00
igneum-labs
80d90e20a0 TV-04 second cut: the documents regenerated on build-9 from e1a35bb3 against the landed TV-01 spec (27 of 27 checks agree), the batch tv-04-20261009-02 superseding -01
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-09 09:11:33 +00:00
igneum-labs
7132799897 B6 (R15-10): the verification budget of a proof-carrying memory-work unit as a parameter table against the node's limits (documents only; the node lane, 9 October 2026, 10:1x UK): proof bytes per block, cold verification time on the hub-class box (build-7's measured single-core SHA-256 rate: 6.8 M 64-byte hashes a second) and on the minimum node (undefined, BLOCKED), invalid-proof amplification against the PoW strike guard (2 per hour), ledger N6 (3,600 s window, 600 s ban), the class v5 state wait and the fd class closed this morning, the pool's share check (one bound hash today, verify.rs 52), propagation against the 256 MiB message limit, the block time and the epoch wall; every B1 value a BLOCKED row named by its symbol; every verdict NOT RUN
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-09 09:11:26 +00:00
igneum-labs
f2b7b202ac the harness map page regenerated 2026-10-09 09:11:10 +00:00
igneum-labs
bf2e63a7c8 1.5x X0 and X5: the two consistent pairs (class v4 at 128 loads and the card 2.319; the frozen class v6 object at 256 loads and the card 4.011), the pair-B rows (the die 4.0x same-node the worst credible design), the B5 full-SRAM row on one reticle, X4's corrections in section 17
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>

Documents-only copy of class-v6-adversary b54f8519c over master fefb00d40: the X0 and X5 documents, multi-family-adversary.md (section 17's X4 corrections), the cell adversary:x5-sweep on master's map and the batch adversary-20261009-x5 recorded at this manifest; tools/1p5x and tools/chip-model/mf stay on the branch.
2026-10-09 09:11:10 +00:00
igneum-labs
e1a35bb365 Merge branch 'master' of 188.40.146.49:/srv/igneum into tv-04-security-budget 2026-10-09 09:10:42 +00:00
igneum-labs
fefb00d40e Merge tv-01-supply-spec b7402e9a into master (gate: green on 92af6c89, recorded by tools/ci/pre-push.sh; landed on the build mirror) 2026-10-09 09:09:52 +00:00
igneum-labs
b7402e9ac8 Merge master 4c84394e3 into tv-01-supply-spec under the master-landing lock 2026-10-09 09:09:49 +00:00
igneum-labs
22a4f32634 TV-02 on the TV-01 supply spec: B replays from the spec's own numbers and agrees with A to the integer on devnet-4 and mainnet and on both reorg fixtures
The spec (supply-spec.json at tv-01-supply-spec 92af6c89, sha256 3ffdd308...) is mapped to B's rules by
tv01_adapter.py, which refuses any rule it cannot map; B now reads a stated integer launch rate and Q32 step
multiplier. Byte-identical CSVs to A's (6ede4f4a..., 3cf7f426...), the 66 and 63 transitions, both fixtures equal to
the hand-written integers with the no-undo ledger refused, and A's terminal rows equal to the terminal supplies the
spec states. README: the spec rows, R1 to R4 updated (the spec states the genesis rule and the per-block order), R10
the mainnet genesis DAA score (C09). The registry batch carries the spec run.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
2026-10-09 09:09:00 +00:00
igneum-labs
4c84394e35 Merge hash-registry-1 b0ec7fa0 into master (gate: green on 11fad85b, recorded by tools/ci/pre-push.sh; landed on the build mirror) 2026-10-09 09:08:50 +00:00
igneum-labs
b0ec7fa02a Merge master 197a7fe39 into hash-registry-1 under the master-landing lock 2026-10-09 09:08:46 +00:00