V6-07: the batch in the steward's current form (method GPU, release identity, claim impact) recorded into the merged registry
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
parent
c298adc10e
commit
3341cf5681
2 changed files with 119 additions and 76 deletions
|
|
@ -1019,30 +1019,30 @@
|
|||
"manual_page": 22,
|
||||
"owner_lane": "hash lane (a690540514aa453d7)",
|
||||
"run_status": "NOT RUN",
|
||||
"evidence_path": "docs/analysis/class-v6/rows/run-ca3-pc1-amd-cardin-20261008T1703.md",
|
||||
"run_id": "hash-lane-20261008-batch1",
|
||||
"updated": "2026-10-08T18:41:01.185Z",
|
||||
"evidence_path": "docs/analysis/class-v6/rows/run-ca3-pc1-amd-cardin-20261008T1703.md; docs/analysis/floor-memory-profile-2026-10-08.md",
|
||||
"run_id": "v607-floor-memory-20261008T2059Z",
|
||||
"updated": "2026-10-08T22:13:14.268Z",
|
||||
"evidence_record": {
|
||||
"cell": "bench:pc1-amd",
|
||||
"manifest_sha": "c245d50b9",
|
||||
"coverage": {
|
||||
"GPU-01": "partial: the 8 GB AMD cell, fingerprints and rates at 1, 2, 4 and 5.5 GiB; one cell of P02's twelve",
|
||||
"GPU-05": "partial: the 8 GB tier's fit rows"
|
||||
},
|
||||
"at": "2026-10-08T18:41:01.185Z",
|
||||
"method": "GPU",
|
||||
"requirement_id": "GPU-05",
|
||||
"decision": "NOT RUN",
|
||||
"reviewer": "",
|
||||
"claim_impact": "",
|
||||
"method": "GPU",
|
||||
"cell": "rows:v607-floor-memory",
|
||||
"manifest_sha": "c411bae9a",
|
||||
"run_id": "v607-floor-memory-20261008T2059Z",
|
||||
"evidence": "docs/analysis/floor-memory-profile-2026-10-08.md",
|
||||
"in_progress": true,
|
||||
"coverage": "partial: the 8 GB and 12 GB tiers' prover headroom on the 5.5 GiB dataset (free memory, the prover's peak alone, the refusal beside the miner); fragmentation, restart and next-epoch construction not run",
|
||||
"release_identity": {
|
||||
"commit": "c245d50b9",
|
||||
"lockfile": "",
|
||||
"binary": "",
|
||||
"network_object": "",
|
||||
"activation": "",
|
||||
"profile_hashes": ""
|
||||
}
|
||||
"commit": "c411bae9a (branch v607-floor-memory off cef5234b5)",
|
||||
"lockfile": "proving/igneum-prove/Cargo.lock at cef5234b5",
|
||||
"binary": "sp1-gpu-server db37c38b5feabdec5bbfd0298446da89f6a5d144125e399d6ab617f64f9cb61d (igneum-floor-sm8689-v607.tgz 9c02fcc6a3f045d3167c1d9cb6e22c584ea862189d11997754a57cbe1b0d355b); igneum-prove-host-0317 71bc2438856bb141; igneum-prove-host v607 66662219a3630772",
|
||||
"network_object": "none (fixture proofs on rented pods, no network)",
|
||||
"activation": "none",
|
||||
"profile_hashes": "floor patch 9098c3e5979d057031f43588668201d1f7a53ab17e980c1eaf896cd5e6f38575"
|
||||
},
|
||||
"claim_impact": "the 2.0 proving statement's memory condition per tier: a 12 GB card runs the whole segment path alone; an 8 GB card proves shards only (its aggregation fails) and is refused the chain before setup; both time-share beside the 5.5 GiB miner; the 16 GB and 24 GB tiers unmeasured tonight",
|
||||
"reviewer": "",
|
||||
"at": "2026-10-08T22:13:14.268Z"
|
||||
},
|
||||
"in_progress_since": "2026-10-08T18:41:01.185Z",
|
||||
"approvals": {
|
||||
|
|
@ -1076,6 +1076,28 @@
|
|||
"run_id": "hash-lane-20261008-batch1",
|
||||
"evidence": "docs/analysis/class-v6/rows/run-ca3-pc1-amd-cardin-20261008T1703.md",
|
||||
"in_progress": true
|
||||
},
|
||||
"rows:v607-floor-memory": {
|
||||
"requirement_id": "GPU-05",
|
||||
"decision": "NOT RUN",
|
||||
"method": "GPU",
|
||||
"cell": "rows:v607-floor-memory",
|
||||
"manifest_sha": "c411bae9a",
|
||||
"run_id": "v607-floor-memory-20261008T2059Z",
|
||||
"evidence": "docs/analysis/floor-memory-profile-2026-10-08.md",
|
||||
"in_progress": true,
|
||||
"coverage": "partial: the 8 GB and 12 GB tiers' prover headroom on the 5.5 GiB dataset (free memory, the prover's peak alone, the refusal beside the miner); fragmentation, restart and next-epoch construction not run",
|
||||
"release_identity": {
|
||||
"commit": "c411bae9a (branch v607-floor-memory off cef5234b5)",
|
||||
"lockfile": "proving/igneum-prove/Cargo.lock at cef5234b5",
|
||||
"binary": "sp1-gpu-server db37c38b5feabdec5bbfd0298446da89f6a5d144125e399d6ab617f64f9cb61d (igneum-floor-sm8689-v607.tgz 9c02fcc6a3f045d3167c1d9cb6e22c584ea862189d11997754a57cbe1b0d355b); igneum-prove-host-0317 71bc2438856bb141; igneum-prove-host v607 66662219a3630772",
|
||||
"network_object": "none (fixture proofs on rented pods, no network)",
|
||||
"activation": "none",
|
||||
"profile_hashes": "floor patch 9098c3e5979d057031f43588668201d1f7a53ab17e980c1eaf896cd5e6f38575"
|
||||
},
|
||||
"claim_impact": "the 2.0 proving statement's memory condition per tier: a 12 GB card runs the whole segment path alone; an 8 GB card proves shards only (its aggregation fails) and is refused the chain before setup; both time-share beside the 5.5 GiB miner; the 16 GB and 24 GB tiers unmeasured tonight",
|
||||
"reviewer": "",
|
||||
"at": "2026-10-08T22:13:14.268Z"
|
||||
}
|
||||
}
|
||||
},
|
||||
|
|
@ -6088,25 +6110,12 @@
|
|||
"manual_page": 42,
|
||||
"owner_lane": "fleet lane (ac055d60427caab99)",
|
||||
"run_status": "NOT RUN",
|
||||
"evidence_path": "",
|
||||
"run_id": "",
|
||||
"updated": "2026-10-08T19:22:31.798Z",
|
||||
"evidence_path": "docs/analysis/floor-memory-profile-2026-10-08.md",
|
||||
"run_id": "v607-floor-memory-20261008T2059Z",
|
||||
"updated": "2026-10-08T22:13:14.268Z",
|
||||
"evidence_record": {
|
||||
"reason": "proving on the mining configuration is the fleet lane's",
|
||||
"at": "2026-10-08T19:22:31.798Z",
|
||||
"method": "static",
|
||||
"requirement_id": "CAP-02",
|
||||
"decision": "NOT RUN",
|
||||
"reviewer": "",
|
||||
"claim_impact": "",
|
||||
"release_identity": {
|
||||
"commit": "",
|
||||
"lockfile": "",
|
||||
"binary": "",
|
||||
"network_object": "",
|
||||
"activation": "",
|
||||
"profile_hashes": ""
|
||||
}
|
||||
"at": "2026-10-08T22:13:14.268Z"
|
||||
},
|
||||
"approvals": {
|
||||
"scope_approved": null,
|
||||
|
|
@ -6115,27 +6124,30 @@
|
|||
"claim_authorised": null
|
||||
},
|
||||
"evidence_records": {
|
||||
"record": {
|
||||
"reason": "proving on the mining configuration is the fleet lane's",
|
||||
"at": "2026-10-08T19:22:31.798Z",
|
||||
"method": "static",
|
||||
"rows:v607-floor-memory": {
|
||||
"requirement_id": "CAP-02",
|
||||
"decision": "NOT RUN",
|
||||
"reviewer": "",
|
||||
"claim_impact": "",
|
||||
"method": "GPU",
|
||||
"cell": "rows:v607-floor-memory",
|
||||
"manifest_sha": "c411bae9a",
|
||||
"run_id": "v607-floor-memory-20261008T2059Z",
|
||||
"evidence": "docs/analysis/floor-memory-profile-2026-10-08.md",
|
||||
"in_progress": true,
|
||||
"coverage": "partial: proving alone (shard and the whole segment path) on the 8 GB and 12 GB tiers on the default job path, the time-share refusal beside the miner with the miner unharmed, memory headroom and proof latency; wall energy only on the 3060 (the 4060 host has no power sensor); induced GPU task failure and wallet control not run; 16 GB and 24 GB tiers not run",
|
||||
"release_identity": {
|
||||
"commit": "",
|
||||
"lockfile": "",
|
||||
"binary": "",
|
||||
"network_object": "",
|
||||
"activation": "",
|
||||
"profile_hashes": ""
|
||||
"commit": "c411bae9a (branch v607-floor-memory off cef5234b5)",
|
||||
"lockfile": "proving/igneum-prove/Cargo.lock at cef5234b5",
|
||||
"binary": "sp1-gpu-server db37c38b5feabdec5bbfd0298446da89f6a5d144125e399d6ab617f64f9cb61d (igneum-floor-sm8689-v607.tgz 9c02fcc6a3f045d3167c1d9cb6e22c584ea862189d11997754a57cbe1b0d355b); igneum-prove-host-0317 71bc2438856bb141; igneum-prove-host v607 66662219a3630772",
|
||||
"network_object": "none (fixture proofs on rented pods, no network)",
|
||||
"activation": "none",
|
||||
"profile_hashes": "floor patch 9098c3e5979d057031f43588668201d1f7a53ab17e980c1eaf896cd5e6f38575"
|
||||
},
|
||||
"run_id": "",
|
||||
"evidence": "",
|
||||
"in_progress": false
|
||||
"claim_impact": "the 2.0 proving statement's memory condition per tier: a 12 GB card runs the whole segment path alone; an 8 GB card proves shards only (its aggregation fails) and is refused the chain before setup; both time-share beside the 5.5 GiB miner; the 16 GB and 24 GB tiers unmeasured tonight",
|
||||
"reviewer": "",
|
||||
"at": "2026-10-08T22:13:14.268Z"
|
||||
}
|
||||
}
|
||||
},
|
||||
"in_progress_since": "2026-10-08T22:13:14.268Z"
|
||||
},
|
||||
{
|
||||
"id": "CAP-03",
|
||||
|
|
@ -9625,32 +9637,30 @@
|
|||
"manual_page": 57,
|
||||
"owner_lane": "shipper (ae892a8b0f78fe31c)",
|
||||
"run_status": "NOT RUN",
|
||||
"evidence_path": "build-1:/srv/artefacts/tas/201-7cfa422a-aa0e0f45/miner-9c844503/box2-app.log",
|
||||
"run_id": "201-7cfa422a-aa0e0f45",
|
||||
"updated": "2026-10-08T19:32:50.856Z",
|
||||
"evidence_path": "build-1:/srv/artefacts/tas/201-7cfa422a-aa0e0f45/miner-9c844503/box2-app.log; docs/analysis/floor-memory-profile-2026-10-08.md",
|
||||
"run_id": "v607-floor-memory-20261008T2059Z",
|
||||
"updated": "2026-10-08T22:13:14.268Z",
|
||||
"evidence_record": {
|
||||
"cell": "suite:app",
|
||||
"manifest_sha": "7cfa422a",
|
||||
"coverage": {
|
||||
"UX-02": "partial: the engine state machine's pause, stop and knob tests; the operator study is UX-01's",
|
||||
"UX-03": "partial: the card and earnings rendering tests; the net-earnings model against real bills is COM/ECO evidence",
|
||||
"UX-07": "partial: the refused-update and manifest tests; the update-return lane's install classes are its own rows",
|
||||
"VER-08": "partial: the app's own state-word tests; the wallet and light client rows are VER-01 to VER-03"
|
||||
},
|
||||
"at": "2026-10-08T19:32:50.856Z",
|
||||
"method": "native",
|
||||
"requirement_id": "UX-02",
|
||||
"decision": "NOT RUN",
|
||||
"reviewer": "",
|
||||
"claim_impact": "",
|
||||
"method": "GPU",
|
||||
"cell": "rows:v607-floor-memory",
|
||||
"manifest_sha": "c411bae9a",
|
||||
"run_id": "v607-floor-memory-20261008T2059Z",
|
||||
"evidence": "docs/analysis/floor-memory-profile-2026-10-08.md",
|
||||
"in_progress": true,
|
||||
"coverage": "partial: the prover's safe refusal under memory pressure (exit 78 in one line, the miner's worker unharmed, nothing leaked after the refusal); pause, stop, power limit and the UI's crash ownership are the suite:app cell's",
|
||||
"release_identity": {
|
||||
"commit": "7cfa422a",
|
||||
"lockfile": "",
|
||||
"binary": "",
|
||||
"network_object": "",
|
||||
"activation": "",
|
||||
"profile_hashes": ""
|
||||
}
|
||||
"commit": "c411bae9a (branch v607-floor-memory off cef5234b5)",
|
||||
"lockfile": "proving/igneum-prove/Cargo.lock at cef5234b5",
|
||||
"binary": "sp1-gpu-server db37c38b5feabdec5bbfd0298446da89f6a5d144125e399d6ab617f64f9cb61d (igneum-floor-sm8689-v607.tgz 9c02fcc6a3f045d3167c1d9cb6e22c584ea862189d11997754a57cbe1b0d355b); igneum-prove-host-0317 71bc2438856bb141; igneum-prove-host v607 66662219a3630772",
|
||||
"network_object": "none (fixture proofs on rented pods, no network)",
|
||||
"activation": "none",
|
||||
"profile_hashes": "floor patch 9098c3e5979d057031f43588668201d1f7a53ab17e980c1eaf896cd5e6f38575"
|
||||
},
|
||||
"claim_impact": "the 2.0 proving statement's memory condition per tier: a 12 GB card runs the whole segment path alone; an 8 GB card proves shards only (its aggregation fails) and is refused the chain before setup; both time-share beside the 5.5 GiB miner; the 16 GB and 24 GB tiers unmeasured tonight",
|
||||
"reviewer": "",
|
||||
"at": "2026-10-08T22:13:14.268Z"
|
||||
},
|
||||
"in_progress_since": "2026-10-08T19:32:50.856Z",
|
||||
"approvals": {
|
||||
|
|
@ -9686,6 +9696,28 @@
|
|||
"run_id": "201-7cfa422a-aa0e0f45",
|
||||
"evidence": "build-1:/srv/artefacts/tas/201-7cfa422a-aa0e0f45/miner-9c844503/box2-app.log",
|
||||
"in_progress": true
|
||||
},
|
||||
"rows:v607-floor-memory": {
|
||||
"requirement_id": "UX-02",
|
||||
"decision": "NOT RUN",
|
||||
"method": "GPU",
|
||||
"cell": "rows:v607-floor-memory",
|
||||
"manifest_sha": "c411bae9a",
|
||||
"run_id": "v607-floor-memory-20261008T2059Z",
|
||||
"evidence": "docs/analysis/floor-memory-profile-2026-10-08.md",
|
||||
"in_progress": true,
|
||||
"coverage": "partial: the prover's safe refusal under memory pressure (exit 78 in one line, the miner's worker unharmed, nothing leaked after the refusal); pause, stop, power limit and the UI's crash ownership are the suite:app cell's",
|
||||
"release_identity": {
|
||||
"commit": "c411bae9a (branch v607-floor-memory off cef5234b5)",
|
||||
"lockfile": "proving/igneum-prove/Cargo.lock at cef5234b5",
|
||||
"binary": "sp1-gpu-server db37c38b5feabdec5bbfd0298446da89f6a5d144125e399d6ab617f64f9cb61d (igneum-floor-sm8689-v607.tgz 9c02fcc6a3f045d3167c1d9cb6e22c584ea862189d11997754a57cbe1b0d355b); igneum-prove-host-0317 71bc2438856bb141; igneum-prove-host v607 66662219a3630772",
|
||||
"network_object": "none (fixture proofs on rented pods, no network)",
|
||||
"activation": "none",
|
||||
"profile_hashes": "floor patch 9098c3e5979d057031f43588668201d1f7a53ab17e980c1eaf896cd5e6f38575"
|
||||
},
|
||||
"claim_impact": "the 2.0 proving statement's memory condition per tier: a 12 GB card runs the whole segment path alone; an 8 GB card proves shards only (its aggregation fails) and is refused the chain before setup; both time-share beside the 5.5 GiB miner; the 16 GB and 24 GB tiers unmeasured tonight",
|
||||
"reviewer": "",
|
||||
"at": "2026-10-08T22:13:14.268Z"
|
||||
}
|
||||
}
|
||||
},
|
||||
|
|
|
|||
|
|
@ -17,5 +17,16 @@
|
|||
"evidence": "docs/analysis/floor-memory-profile-2026-10-08.md",
|
||||
"note": "partial coverage of GPU-05, CAP-02 and UX-02 by the V6-07 rows (the 3060 and 4060 on the default unoverridden path, the refusal rows beside the miner); RUNNING by the map's rule since no case's coverage is full; the 4060's chain row is a FAIL at the aggregation (an 8 GB card is refused the chain before setup) and the master-host proof rows are NOT RUN (6dbd5d2f8 without the guest re-pin); island: none"
|
||||
}
|
||||
]
|
||||
],
|
||||
"method": "GPU",
|
||||
"release_identity": {
|
||||
"commit": "c411bae9a (branch v607-floor-memory off cef5234b5)",
|
||||
"lockfile": "proving/igneum-prove/Cargo.lock at cef5234b5",
|
||||
"binary": "sp1-gpu-server db37c38b5feabdec5bbfd0298446da89f6a5d144125e399d6ab617f64f9cb61d (igneum-floor-sm8689-v607.tgz 9c02fcc6a3f045d3167c1d9cb6e22c584ea862189d11997754a57cbe1b0d355b); igneum-prove-host-0317 71bc2438856bb141; igneum-prove-host v607 66662219a3630772",
|
||||
"network_object": "none (fixture proofs on rented pods, no network)",
|
||||
"activation": "none",
|
||||
"profile_hashes": "floor patch 9098c3e5979d057031f43588668201d1f7a53ab17e980c1eaf896cd5e6f38575"
|
||||
},
|
||||
"claim_impact": "the 2.0 proving statement's memory condition per tier: a 12 GB card runs the whole segment path alone; an 8 GB card proves shards only (its aggregation fails) and is refused the chain before setup; both time-share beside the 5.5 GiB miner; the 16 GB and 24 GB tiers unmeasured tonight",
|
||||
"reviewer": ""
|
||||
}
|
||||
|
|
|
|||
Loading…
Reference in a new issue