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

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)

Browse source 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
igneum-labs 2026-10-08 19:51:34 +00:00
parent 27a8f4bbdf
commit ac89897c6a
3 changed files with 42 additions and 25 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
docs/analysis/class-v6/rows/fleet-f05-20261008.md Normal file
View file

@ -0,0 +1,12 @@
# Review B's F05: the reg64 address mix in its closed prefix form, measured (8 October 2026)
The fleet lane's rows on the generator-6 worker (igneum-worker-cuda-gen6, sha256 804a6f7f...), stock, 250 batches of 2^24 nonces, block-warps 1, nvidia-smi at 1 Hz, W = mean busy board power; both packs the same program (fingerprint e8f4f3289c6ee1fc on both packs on both cards, the gate); the packs hl-v6-all.tgz (the fold form, the object) and hl-v6-all-prefix.tgz (the closed prefix form, `igneum-pow export --reg64-prefix`) at program id 0x4de7b836cc40a4ea. Evidence on build-1: /srv/artefacts/tas/54900078/ (the 5090) and /srv/artefacts/tas/si1xc4yhpakk1v/ (the 4090): the rows, the four bench logs, the four 1 Hz power samples.
| Card | Text | MH/s | W | nJ per hash | registers | blocks per SM | spill | fingerprint | check |
|---|---|---|---|---|---|---|---|---|---|
| RTX 5090 (sm_120, driver 595.58) | fold | 70.647 | 437.8 | 6.20 | 100 | 16 | 0 | e8f4f3289c6ee1fc | PASS |
| RTX 5090 | prefix | 70.166 | 500.0 | 7.13 | 248 | 8 | 0 | e8f4f3289c6ee1fc | PASS |
| RTX 4090 (sm_89, driver 580.159) | fold | 31.313 | 238.1 | 7.60 | 93 | 20 | 0 | e8f4f3289c6ee1fc | PASS |
| RTX 4090 | prefix | 31.288 | 231.7 | 7.41 | 154 | 12 | 0 | e8f4f3289c6ee1fc | PASS |
Reading: the closed form is an exact equivalent (verify::reg64_address_source, proven on every source register in the crate's tests) and on a GPU it buys nothing: the card is memory-bound at the dataset on both texts; the prefix's running total costs 61 registers on sm_89 and 148 on sm_120, halving the 5090's resident blocks and costing it 14 percent more energy per hash; the 4090 reads a wash inside the sampler's noise. The verifier keeps the fold as the definition; the chip's gain from a prefix tree is the adversary lane's pricing.

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

@ -374,18 +374,18 @@
"manual_page": 21,
"owner_lane": "research lane (ad6a2bd47d4a46105)",
"run_status": "RUNNING",
"evidence_path": "build-1:/srv/artefacts/tas/p02-rows/p02-rows.txt",
"run_id": "p02-fleet-pods-20261008-01",
"updated": "2026-10-08T19:10:14.605Z",
"evidence_path": "docs/analysis/class-v6/rows/fleet-f05-20261008.md",
"run_id": "hash-lane-20261008-batch2",
"updated": "2026-10-08T19:51:34.287Z",
"evidence_record": {
"cell": "bench:fleet-pods",
"manifest_sha": "417c4a57",
"manifest_sha": "b24dfc162",
"coverage": {
"GPU-01": "partial: the NVIDIA cells of P02 that RunPod carries",
"GPU-03": "partial: the 4090 cell",
"POW-08": "partial: W = 16 on four cards"
},
"at": "2026-10-08T19:10:14.605Z"
"at": "2026-10-08T19:51:34.287Z"
}
},
{
@ -461,18 +461,18 @@
"manual_page": 21,
"owner_lane": "hash lane (a690540514aa453d7)",
"run_status": "RUNNING",
"evidence_path": "build-1:/srv/artefacts/tas/p02-rows/p02-rows.txt",
"run_id": "p02-fleet-pods-20261008-01",
"updated": "2026-10-08T19:10:14.605Z",
"evidence_path": "docs/analysis/class-v6/rows/fleet-f05-20261008.md",
"run_id": "hash-lane-20261008-batch2",
"updated": "2026-10-08T19:51:34.287Z",
"evidence_record": {
"cell": "bench:fleet-pods",
"manifest_sha": "417c4a57",
"manifest_sha": "b24dfc162",
"coverage": {
"GPU-01": "partial: the NVIDIA cells of P02 that RunPod carries",
"GPU-03": "partial: the 4090 cell",
"POW-08": "partial: W = 16 on four cards"
},
"at": "2026-10-08T19:10:14.605Z"
"at": "2026-10-08T19:51:34.287Z"
}
},
{
@ -749,18 +749,18 @@
"manual_page": 24,
"owner_lane": "hash lane (a690540514aa453d7)",
"run_status": "RUNNING",
"evidence_path": "build-1:/srv/artefacts/tas/201-7cfa422a-aa0e0f45/miner-9c844503/box2-pow.log",
"run_id": "201-7cfa422a-aa0e0f45",
"updated": "2026-10-08T19:32:50.856Z",
"evidence_path": "docs/analysis/class-v6/rows/pow-07-fp32-unreachable.md",
"run_id": "hash-lane-20261008-batch2",
"updated": "2026-10-08T19:51:34.287Z",
"evidence_record": {
"cell": "suite:pow",
"manifest_sha": "7cfa422a",
"manifest_sha": "b24dfc162",
"coverage": {
"POW-02": "partial: program derivation, ds55 geometry, the v6 fold, the packs and the spec read-back tests; the independent re-implementation and the index-fold census are the hash lane's harnesses",
"POW-08": "partial: the freeze list and the generator version pin; the public-claim scrub is the site gate's",
"POW-07": "the mixed FP32 branch is excluded and unreachable: no class flag reaches an FP op in igneum-pow on master (the mixedfp lane's branch is not on master); evidence the grep of the emitters on master, recorded by the hash lane"
},
"at": "2026-10-08T19:32:50.856Z"
"at": "2026-10-08T19:51:34.287Z"
}
},
{
@ -940,18 +940,18 @@
"manual_page": 26,
"owner_lane": "hash lane (a690540514aa453d7)",
"run_status": "RUNNING",
"evidence_path": "build-1:/srv/artefacts/tas/201-7cfa422a-aa0e0f45/miner-9c844503/box2-pow.log",
"run_id": "201-7cfa422a-aa0e0f45",
"updated": "2026-10-08T19:32:50.856Z",
"evidence_path": "docs/analysis/class-v6/rows/pow-07-fp32-unreachable.md",
"run_id": "hash-lane-20261008-batch2",
"updated": "2026-10-08T19:51:34.287Z",
"evidence_record": {
"cell": "suite:pow",
"manifest_sha": "7cfa422a",
"manifest_sha": "b24dfc162",
"coverage": {
"POW-02": "partial: program derivation, ds55 geometry, the v6 fold, the packs and the spec read-back tests; the independent re-implementation and the index-fold census are the hash lane's harnesses",
"POW-08": "partial: the freeze list and the generator version pin; the public-claim scrub is the site gate's",
"POW-07": "the mixed FP32 branch is excluded and unreachable: no class flag reaches an FP op in igneum-pow on master (the mixedfp lane's branch is not on master); evidence the grep of the emitters on master, recorded by the hash lane"
},
"at": "2026-10-08T19:32:50.856Z"
"at": "2026-10-08T19:51:34.287Z"
}
},
{
@ -981,18 +981,18 @@
"manual_page": 26,
"owner_lane": "hash lane (a690540514aa453d7)",
"run_status": "RUNNING",
"evidence_path": "build-1:/srv/artefacts/tas/201-7cfa422a-aa0e0f45/miner-9c844503/box2-pow.log",
"run_id": "201-7cfa422a-aa0e0f45",
"updated": "2026-10-08T19:32:50.856Z",
"evidence_path": "docs/analysis/class-v6/rows/pow-07-fp32-unreachable.md",
"run_id": "hash-lane-20261008-batch2",
"updated": "2026-10-08T19:51:34.287Z",
"evidence_record": {
"cell": "suite:pow",
"manifest_sha": "7cfa422a",
"manifest_sha": "b24dfc162",
"coverage": {
"POW-02": "partial: program derivation, ds55 geometry, the v6 fold, the packs and the spec read-back tests; the independent re-implementation and the index-fold census are the hash lane's harnesses",
"POW-08": "partial: the freeze list and the generator version pin; the public-claim scrub is the site gate's",
"POW-07": "the mixed FP32 branch is excluded and unreachable: no class flag reaches an FP op in igneum-pow on master (the mixedfp lane's branch is not on master); evidence the grep of the emitters on master, recorded by the hash lane"
},
"at": "2026-10-08T19:32:50.856Z"
"at": "2026-10-08T19:51:34.287Z"
}
}
]

5
tools/ci/batches/hash-lane-20261008-batch2.json Normal file
View file

@ -0,0 +1,5 @@
{"run_id": "hash-lane-20261008-batch2", "manifest_sha": "b24dfc162", "evidence_dir": "docs/analysis/class-v6/rows",
"cells": [
{"cell": "bench:fleet-pods", "status": "RUNNING", "evidence": "docs/analysis/class-v6/rows/fleet-f05-20261008.md"},
{"cell": "suite:pow", "status": "RUNNING", "evidence": "docs/analysis/class-v6/rows/pow-07-fp32-unreachable.md"}
]}