diff --git a/docs/analysis/class-v6/rows/fleet-f05-20261008.md b/docs/analysis/class-v6/rows/fleet-f05-20261008.md new file mode 100644 index 000000000..0268bf13d --- /dev/null +++ b/docs/analysis/class-v6/rows/fleet-f05-20261008.md @@ -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. diff --git a/docs/plans/igneum-2.0-test-registry.json b/docs/plans/igneum-2.0-test-registry.json index 0a3e8f917..f22e04b95 100644 --- a/docs/plans/igneum-2.0-test-registry.json +++ b/docs/plans/igneum-2.0-test-registry.json @@ -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" } } ] diff --git a/tools/ci/batches/hash-lane-20261008-batch2.json b/tools/ci/batches/hash-lane-20261008-batch2.json new file mode 100644 index 000000000..63b396998 --- /dev/null +++ b/tools/ci/batches/hash-lane-20261008-batch2.json @@ -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"} + ]}