igneum-labs
2a527417f5
Merge master c08b06312 into 1p5x-x4 under the master-landing lock
2026-10-09 09:56:58 +00:00
igneum-labs
a93595ac7a
Merge master 4158a2b8c into ca3-coord-record under the master-landing lock
2026-10-09 09:55:31 +00:00
igneum-labs
4158a2b8cb
Merge tv-d02 ed578475 into master (gate: green on 45e09729, recorded by tools/ci/pre-push.sh; landed on the build mirror)
2026-10-09 09:54:18 +00:00
igneum-labs
ed578475b9
Merge master 45eb2acc4 into tv-d02 under the master-landing lock
2026-10-09 09:54:14 +00:00
igneum-labs
3e6a528217
Merge master 28012e97f into mhpow-b1-land under the master-landing lock
2026-10-09 09:52:57 +00:00
igneum-labs
28012e97f8
Merge ci-tv02-batch 017c1b5e into master (gate: green on b70b27b8, 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:51:36 +00:00
igneum-labs
017c1b5e84
Merge master 6c063f629 into ci-tv02-batch under the master-landing lock
2026-10-09 09:51:32 +00:00
igneum-labs
757c729661
Merge master b67b89cf8 into mhpow-b2 under the master-landing lock
2026-10-09 09:49:43 +00:00
igneum-labs
3f8982ed3d
Merge master 02d2ce5f8 into mhpow-b4 under the master-landing lock
2026-10-09 09:48:30 +00:00
igneum-labs
390fbd8de9
Merge build/master into 1p5x-x4 (X4 landing, second)
2026-10-09 09:47:35 +00:00
igneum-labs
f0e4372988
Merge box/master 0b8b8d094 into mhpow-b1-land (the export list both ways under rule 26)
...
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
2026-10-09 09:45:34 +00:00
igneum-labs
45e09729ae
D02: fee dependence in TV-04's frame, TV-04 emission reconciled (52 rows exact); rows move with the README (batch -03 supersedes -02)
...
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
2026-10-09 09:45:31 +00:00
igneum-labs
2ca9029f92
Counter ASIC 3.0 status: TV-04's second cut and D02's second version, the build-1 guards, the founder's blocks on the explorer, the 10:35 per-box line, X7's chip side (s) and kit, X5's first row, the reset's fault and the re-roll of 30 boxes, the PCs mining, the mini's protoc, main's Track B pivot and the founder's clocks, B1's attack fixtures, B3's oracle on B1, B2's obligations landed
...
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-09 09:44:41 +00:00
igneum-labs
0b8b8d0944
Merge class-v6-adversary-docs-7 f8077063 into master (gate: green on 42c21869, 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:44:18 +00:00
igneum-labs
b70b27b8f4
TV-02 recorded: the two independent supply replays (A on the node issuance code, B from the rules in words) EQUAL to the integer on devnet-4, mainnet and the TV-01 spec, NOT RUN in progress until the independent panel reads it; the cell native:tv-02 carried in the batch (map_cell_requested), the lane's proposed batch recorded as tools/ci/batches/tv-02-20261009-01.json
...
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-09 09:44:15 +00:00
igneum-labs
f8077063ab
Merge master 4a80303a2 into class-v6-adversary-docs-7 under the master-landing lock
2026-10-09 09:44:15 +00:00
igneum-labs
4a80303a22
Merge 1p5x-x1-docs f5e278bd into master (gate: green on 8078c023, recorded by tools/ci/pre-push.sh; landed on the build mirror)
2026-10-09 09:43:08 +00:00
igneum-labs
f5e278bd4d
Merge master 10f91159c into 1p5x-x1-docs under the master-landing lock
2026-10-09 09:43:04 +00:00
igneum-labs
425eb91aa4
Merge master 858a2b395 into b6-verification-budget-2 under the master-landing lock
2026-10-09 09:42:05 +00:00
igneum-labs
8dd7f281c6
mhpow B2: O-07 cites B1's executed re-roll fixture A6
...
B1's fixture A6 (attacks-n10-k16.json 805035eb, mhpow-b1 29d7bfebd
2026-10-09 09:40:07 +00:00
igneum-labs
bb0ffacddd
Merge master 490ef1fb8 into ca3-coord-record under the master-landing lock
2026-10-09 09:39:52 +00:00
igneum-labs
51ab950a38
mhpow B4: the lottery draw as the composed statement's first obligation (B4-OB-LOT), the control in the head as BOUND (L)
...
Section 5b: why the naive root lottery fails in the composed statement's terms (B4 Lemma C, the sink re-roll: one trace, one cmc
bound, log2 N + 1 queries per draw, accepted with probability (1 - 1/N)^k, 0.9946 at log2 N = 22), what a draw must cost (a fresh
labelling, phi = 1), the construction change (trial id in chi, v = H(tag_lot, chi, tau), full verification of winners, spot checks
as the pre-filter) and its effect on the losses (L2 and L10 removed for winners, L11 open for terms 2 and 3, the generic route
0.151 -> 0.213, the red-blue route unchanged). Rows B4-OB-LOT and -1 to -4 taken by name (B2, B1, B4, B6). params.py section 8.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
2026-10-09 09:39:03 +00:00
igneum-labs
490ef1fb89
Merge tv-d02 b74e04f6 into master (gate: green on 9ffffc40, recorded by tools/ci/pre-push.sh; landed on the build mirror)
2026-10-09 09:38:38 +00:00
igneum-labs
b74e04f6f5
Merge master c0b97150f into tv-d02 under the master-landing lock
2026-10-09 09:38:35 +00:00
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
42c2186987
1.5x X7, the chip side: s on GDDR7, HBM3 and near-memory for the frozen object's traffic (WITNESS rows), the bridge reading, the BLOCKED rows, the batch NOT RUN
...
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
Documents-only copy of class-v6-adversary 85db138c1 over master acd67a116
2026-10-09 09:37:12 +00:00
igneum-labs
ebf95e9d9f
Merge master acd67a116 into mhpow-b4 under the master-landing lock
2026-10-09 09:37:11 +00:00
igneum-labs
bd5e9cb203
X4 (1.5x): the registry batch beside the README for the steward (its cell is not in the map)
...
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
2026-10-09 09:35:50 +00:00
igneum-labs
a36f986364
Merge master 4fb77ea8d into igneum-1p5x-programme-pdf-docs under the master-landing lock
2026-10-09 09:35:47 +00:00
igneum-labs
ee5582a561
Merge master cb524ca6e into x2-1p5x-landing under the master-landing lock
2026-10-09 09:34:30 +00:00
igneum-labs
bbaa1131b8
Merge master 206e73f70 into mhpow-b2 under the master-landing lock
2026-10-09 09:33:15 +00:00
igneum-labs
d74bf8167b
Counter ASIC 3.0 status: main's clock withdrawal and two words, the hidden Vast pods, the tracker at 37 of 101, PC 1 mining, the mini's worker fault read, the 2.0.3 app line and the DMG default, X7 dispatched, Track B's first results (B1 fixtures, B3 timing, B4's statement, B6's table), TV-02 final
...
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-09 09:31:05 +00:00
igneum-labs
4182e2be13
B6 (R15-10): the B1 lane's reference values (10:27 UK) in the verification budget table: n = 20, k = 64, 32-byte labels, three openings a challenge; proof bytes 45 + k(1 + 96(n + 1)) = 129,133 measured; the verifier's k(3n + 2) + 2k = 4,096 BLAKE2b calls; build-7's measured BLAKE2b rate 245 ns a call gives about 1.0 ms a proof cold on one core (0.1 percent of a core at 1 bps, 1 percent at 10 bps); and the row that decides the shape: the paper's Corollary-2 k of about 2.9e7 at n = 20 puts a proof near 56 GB, 200 times the 256 MiB message limit and 7.5 minutes a core to verify — the block-carried proof is BLOCKED on k (the B1 lane's row O-1). Every verdict NOT RUN
...
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-09 09:30:45 +00:00
igneum-labs
7eaaa9f257
mhpow B4: name the open rows of the loss table by their section 6 items
...
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
2026-10-09 09:28:55 +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
9ffffc40c2
D02: the registry rows move with the README (batch tv-d02-20261009-02 supersedes -01)
...
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
2026-10-09 09:28:16 +00:00
igneum-labs
add70b655e
Merge master into mhpow-b4: keep B2's and B4's export-exclude lines (rule 26)
...
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
2026-10-09 09:27:59 +00:00
igneum-labs
3eda463681
Merge master 0f6bbf0b5 into tv-d02 under the master-landing lock
2026-10-09 09:27:54 +00:00
igneum-labs
2af0049332
docs/plans/igneum-2.0-master/1p5x/research-plan: the typeset edition of the research programme (IGNEUM 2.0 / Hardware Research: 1.5x, 21 pages, 9 October 2026) beside the markdown, named in the README with its sha256
...
On main's word through the coordinator, documents only: the same twelve sections as the plan's markdown; the reading rule, typeset
from the 9 October plan, no new hardware result, proof audit or P04 certification. sha256 8bd4cf9fb4b0de4e9f888ce6a98456fd09ed49607ca8ff461691a53a6f128f09. No chain path; no served page.
2026-10-09 09:26:39 +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
bc8cf9cc42
1.5x X1: the harness map page regenerated for the experiment:1p5x-x1 cell
...
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-09 09:26:26 +00:00
igneum-labs
adcb41922f
Merge build/master into 1p5x-x4 (X4 landing)
...
# Conflicts:
# tools/ci/export-exclude.txt
2026-10-09 09:26:01 +00:00
igneum-labs
12354ed3ab
X2: the registry batch moves to tools/1p5x/x2 for the steward (method GPU, evidence by file); the landing writes no registry row
...
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
2026-10-09 09:25:54 +00:00
igneum-labs
84a34569e7
X4 (1.5x): the replicate 4090 session (g 0.960 / 0.959 / 0.969, A/A 0.15 percent)
...
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
2026-10-09 09:25:43 +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
dcde61b99c
mhpow B2: re-cut to the B1 lane's encoding pins (unkeyed BLAKE2b-256, u64 indices, graph tag)
...
The B1 reference (R15-05) pinned the primitive's encoding at 10:2x UK; B2 adopts it whole: unkeyed
BLAKE2b with a 32-byte digest, lambda 256, one ASCII role byte per query kind (L, M, C, G; I stays B2's),
u64 LE integers, raw-label leaves with the LSB-at-root path, no path sharing, DRSample drawn from
'G' || graph_seed. The personalisation and the u32/u16 indices of the first cut are gone. Figures re-run on
build-9 (generator 7b8664ea, output 27bb414c); Appendix C now read and cited.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
2026-10-09 09:25:23 +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
15bbcf1746
Merge master 233110649 into mhpow-b2 under the master-landing lock
2026-10-09 09:22:56 +00:00
