Test registry: the rows that name shadow-k.md moved by the repeat batch shadow-k-20261008-rows-repeat at this landing (no decision changed; named per owner)
This commit is contained in:
igneum-labs
parent
022810e775
commit
7eb0bce671
4 changed files with 140 additions and 56 deletions
|
|
@ -375,6 +375,14 @@ Rule: a case maps to a cell only where the cell's tests visibly answer it; cover
|
|||
- UX-07 Expose actionable failures and safe updates: partial: the install classes (the payload's stop step, the detached installer under a job, the installer refusing a wrong-version name, a stale install flag) and the no-click resume; the recovery-instruction and canary rows are the shipper's
|
||||
- OPS-03 Separate update distribution from consensus authority: partial: the update path's read-back and the signed manifest's verify on the PC (a tampered or rolled-back payload is refused by the engine's manifest check); authority separation is the shipper's review
|
||||
|
||||
### review:k-lane-shadow-k
|
||||
|
||||
- Command: `the k lane's chip-model rows in docs/analysis/class-v6/floor/shadow-k.md (the ORFS placed cores; the register landing 50ff1611f recorded ADV-06 against it before the recorder existed)`
|
||||
- Box class: none
|
||||
- Fixtures: none
|
||||
- Cases:
|
||||
- ADV-06 Separate process advantage from specialisation: partial: the placed gated cores and the adversary's forms are modelled in shadow-k.md; the independent review remains
|
||||
|
||||
## Automated cases with no harness in the matrix (NOT RUN, the reason)
|
||||
|
||||
- GOV-02 Approve thresholds before results: the approval is recorded in the registry's approval field; the automated half (thresholds frozen before any run_status) is the gate rule landing by 21:00
|
||||
|
|
@ -384,7 +392,6 @@ Rule: a case maps to a cell only where the cell's tests visibly answer it; cover
|
|||
- GPU-06 Measure accepted work under ordinary connectivity: accepted work under ordinary connectivity needs the fault network F4
|
||||
- GPU-07 Survive sustained thermal and power operation: the sustained thermal and power soak has no harness tonight: PC 1 mines nothing under the Devnet 3 off order
|
||||
- POW-05 Prevent amortised cheap winning attempts: amortised cheap winning attempts are the attack lanes' grind and era harnesses (tools/attack/f7-era, f9-grind), not in the release matrix; their rows come from those lanes
|
||||
- ADV-06 Separate process advantage from specialisation: process-advantage separation is the adversary lanes' chip study
|
||||
- ROT-03 Test miner-voted bring-forward governance: miner-voted bring-forward needs a vote harness on the fault network F4
|
||||
- ROT-04 Resist seed selection and faster evaluators: seed-selection resistance is the census harness (the class v6 invention lane), not yet in the matrix
|
||||
- EVM-01 Match the selected EVM semantics: no EVM conformance-vector harness is mapped tonight; the exec suite does not run the reference test vectors
|
||||
|
|
@ -530,4 +537,4 @@ Rule: a case maps to a cell only where the cell's tests visibly answer it; cover
|
|||
|
||||
## Count
|
||||
|
||||
171 automated cases: 78 mapped to a cell, 150 NOT RUN with a reason.
|
||||
171 automated cases: 79 mapped to a cell, 149 NOT RUN with a reason.
|
||||
|
|
|
|||
|
|
@ -1547,21 +1547,21 @@
|
|||
"manual_page": 24,
|
||||
"owner_lane": "adversary lane (a1a9876a88f5a72fc)",
|
||||
"run_status": "FAIL",
|
||||
"evidence_path": "docs/analysis/class-v6/connected-state.md; docs/analysis/class-v6; docs/analysis/class-v6/multi-family-adversary.md",
|
||||
"run_id": "adversary-20261008-placed-8lane",
|
||||
"updated": "2026-10-08T20:41:20.327Z",
|
||||
"evidence_path": "docs/analysis/class-v6/connected-state.md; docs/analysis/class-v6/multi-family-adversary.md",
|
||||
"run_id": "shadow-k-20261008-rows-repeat",
|
||||
"updated": "2026-10-08T20:45:54.766Z",
|
||||
"evidence_record": {
|
||||
"requirement_id": "POW-03",
|
||||
"decision": "NOT RUN",
|
||||
"method": "model",
|
||||
"cell": "adversary:mf-placed",
|
||||
"manifest_sha": "3a8874fef",
|
||||
"run_id": "adversary-20261008-placed-8lane",
|
||||
"evidence": "docs/analysis/class-v6/multi-family-adversary.md",
|
||||
"in_progress": true,
|
||||
"coverage": "partial: the live state held in an SRAM macro per 8 lanes with a time-multiplexed single port and operand isolation, the complete-system cost in section 6; the liveness trace itself is the connected-state lane's tool",
|
||||
"decision": "FAIL",
|
||||
"method": "GPU",
|
||||
"cell": "experiment:connected-state",
|
||||
"manifest_sha": "86e5b0fb",
|
||||
"run_id": "shadow-k-20261008-rows-repeat",
|
||||
"evidence": "docs/analysis/class-v6/connected-state.md",
|
||||
"in_progress": false,
|
||||
"coverage": "the experiment ran and its claim failed: live state does not make the work unavoidable for a chip; the master's register row 18 reads FAIL, published, never PASSED",
|
||||
"release_identity": {
|
||||
"commit": "3a8874fef",
|
||||
"commit": "86e5b0fb",
|
||||
"lockfile": "",
|
||||
"binary": "",
|
||||
"network_object": "",
|
||||
|
|
@ -1570,7 +1570,7 @@
|
|||
},
|
||||
"claim_impact": "",
|
||||
"reviewer": "",
|
||||
"at": "2026-10-08T20:41:20.327Z"
|
||||
"at": "2026-10-08T20:45:54.766Z"
|
||||
},
|
||||
"approvals": {
|
||||
"scope_approved": null,
|
||||
|
|
@ -1606,22 +1606,22 @@
|
|||
"decision": "FAIL",
|
||||
"method": "GPU",
|
||||
"cell": "experiment:connected-state",
|
||||
"manifest_sha": "7cfa422a",
|
||||
"run_id": "kills-20261008",
|
||||
"evidence": "docs/analysis/class-v6",
|
||||
"manifest_sha": "86e5b0fb",
|
||||
"run_id": "shadow-k-20261008-rows-repeat",
|
||||
"evidence": "docs/analysis/class-v6/connected-state.md",
|
||||
"in_progress": false,
|
||||
"coverage": "the experiment ran and its claim failed: live state does not make the work unavoidable for a chip; the master's register row 18 reads FAIL, published, never PASSED",
|
||||
"release_identity": {
|
||||
"commit": "7cfa422a",
|
||||
"commit": "86e5b0fb",
|
||||
"lockfile": "",
|
||||
"binary": "",
|
||||
"network_object": "",
|
||||
"activation": "",
|
||||
"profile_hashes": ""
|
||||
},
|
||||
"claim_impact": "the claims the two experiments carried are withdrawn: live state as an ASIC barrier (connected state), a cheaper mixed-FP32 lane",
|
||||
"claim_impact": "",
|
||||
"reviewer": "",
|
||||
"at": "2026-10-08T20:10:24.624Z"
|
||||
"at": "2026-10-08T20:45:54.766Z"
|
||||
},
|
||||
"adversary:mf-placed": {
|
||||
"requirement_id": "POW-03",
|
||||
|
|
@ -1944,30 +1944,30 @@
|
|||
"manual_page": 26,
|
||||
"owner_lane": "hash lane (a690540514aa453d7)",
|
||||
"run_status": "FAIL",
|
||||
"evidence_path": "docs/analysis/class-v6/rows/pow-07-fp32-unreachable.md; docs/analysis/class-v6",
|
||||
"run_id": "kills-20261008",
|
||||
"updated": "2026-10-08T20:10:24.624Z",
|
||||
"evidence_path": "docs/analysis/class-v6/rows/pow-07-fp32-unreachable.md",
|
||||
"run_id": "shadow-k-20261008-rows-repeat",
|
||||
"updated": "2026-10-08T20:45:54.766Z",
|
||||
"evidence_record": {
|
||||
"requirement_id": "POW-07",
|
||||
"decision": "FAIL",
|
||||
"method": "GPU",
|
||||
"cell": "experiment:mixed-fp32",
|
||||
"manifest_sha": "7cfa422a",
|
||||
"run_id": "kills-20261008",
|
||||
"evidence": "docs/analysis/class-v6",
|
||||
"manifest_sha": "86e5b0fb",
|
||||
"run_id": "shadow-k-20261008-rows-repeat",
|
||||
"evidence": "docs/analysis/class-v6/rows/pow-07-fp32-unreachable.md",
|
||||
"in_progress": false,
|
||||
"coverage": "the branch ran and its claim failed: the FP32 branch costs the card more energy and widens the chip edge; the master's register row 12 reads FAIL, published; the branch is excluded and unreachable on master (the grep evidence stays)",
|
||||
"release_identity": {
|
||||
"commit": "7cfa422a",
|
||||
"commit": "86e5b0fb",
|
||||
"lockfile": "",
|
||||
"binary": "",
|
||||
"network_object": "",
|
||||
"activation": "",
|
||||
"profile_hashes": ""
|
||||
},
|
||||
"claim_impact": "the claims the two experiments carried are withdrawn: live state as an ASIC barrier (connected state), a cheaper mixed-FP32 lane",
|
||||
"claim_impact": "",
|
||||
"reviewer": "",
|
||||
"at": "2026-10-08T20:10:24.624Z"
|
||||
"at": "2026-10-08T20:45:54.766Z"
|
||||
},
|
||||
"approvals": {
|
||||
"scope_approved": null,
|
||||
|
|
@ -2007,22 +2007,22 @@
|
|||
"decision": "FAIL",
|
||||
"method": "GPU",
|
||||
"cell": "experiment:mixed-fp32",
|
||||
"manifest_sha": "7cfa422a",
|
||||
"run_id": "kills-20261008",
|
||||
"evidence": "docs/analysis/class-v6",
|
||||
"manifest_sha": "86e5b0fb",
|
||||
"run_id": "shadow-k-20261008-rows-repeat",
|
||||
"evidence": "docs/analysis/class-v6/rows/pow-07-fp32-unreachable.md",
|
||||
"in_progress": false,
|
||||
"coverage": "the branch ran and its claim failed: the FP32 branch costs the card more energy and widens the chip edge; the master's register row 12 reads FAIL, published; the branch is excluded and unreachable on master (the grep evidence stays)",
|
||||
"release_identity": {
|
||||
"commit": "7cfa422a",
|
||||
"commit": "86e5b0fb",
|
||||
"lockfile": "",
|
||||
"binary": "",
|
||||
"network_object": "",
|
||||
"activation": "",
|
||||
"profile_hashes": ""
|
||||
},
|
||||
"claim_impact": "the claims the two experiments carried are withdrawn: live state as an ASIC barrier (connected state), a cheaper mixed-FP32 lane",
|
||||
"claim_impact": "",
|
||||
"reviewer": "",
|
||||
"at": "2026-10-08T20:10:24.624Z"
|
||||
"at": "2026-10-08T20:45:54.766Z"
|
||||
}
|
||||
}
|
||||
},
|
||||
|
|
@ -2589,20 +2589,20 @@
|
|||
"owner_lane": "k lane (a3c9601a6d4686fe1)",
|
||||
"run_status": "NOT RUN",
|
||||
"evidence_path": "docs/analysis/class-v6/multi-family-adversary.md; docs/analysis/class-v6/floor/shadow-k.md; docs/analysis/class-v6/multi-family-adversary.md",
|
||||
"run_id": "adversary-20261008-placed-8lane",
|
||||
"updated": "2026-10-08T20:41:20.327Z",
|
||||
"run_id": "shadow-k-20261008-rows-repeat",
|
||||
"updated": "2026-10-08T20:45:54.766Z",
|
||||
"evidence_record": {
|
||||
"requirement_id": "ADV-05",
|
||||
"decision": "NOT RUN",
|
||||
"method": "model",
|
||||
"cell": "adversary:mf-placed",
|
||||
"manifest_sha": "3a8874fef",
|
||||
"run_id": "adversary-20261008-placed-8lane",
|
||||
"manifest_sha": "86e5b0fb",
|
||||
"run_id": "shadow-k-20261008-rows-repeat",
|
||||
"evidence": "docs/analysis/class-v6/multi-family-adversary.md",
|
||||
"in_progress": true,
|
||||
"coverage": "partial: the SRAM macros, ports, wiring, clocking and the complete-board terms are modelled in sections 2.3, 5 and 6 with the unmodelled items carried as uncertainty; the calibration against an existing hardware block is the k lane's bare-lane row beside it, owed as a named comparison",
|
||||
"release_identity": {
|
||||
"commit": "3a8874fef",
|
||||
"commit": "86e5b0fb",
|
||||
"lockfile": "",
|
||||
"binary": "",
|
||||
"network_object": "",
|
||||
|
|
@ -2611,7 +2611,7 @@
|
|||
},
|
||||
"claim_impact": "",
|
||||
"reviewer": "",
|
||||
"at": "2026-10-08T20:41:20.327Z"
|
||||
"at": "2026-10-08T20:45:54.766Z"
|
||||
},
|
||||
"in_progress_since": "2026-10-08 18:3x UK",
|
||||
"approvals": {
|
||||
|
|
@ -2648,13 +2648,13 @@
|
|||
"decision": "NOT RUN",
|
||||
"method": "model",
|
||||
"cell": "adversary:mf-placed",
|
||||
"manifest_sha": "3a8874fef",
|
||||
"run_id": "adversary-20261008-placed-8lane",
|
||||
"manifest_sha": "86e5b0fb",
|
||||
"run_id": "shadow-k-20261008-rows-repeat",
|
||||
"evidence": "docs/analysis/class-v6/multi-family-adversary.md",
|
||||
"in_progress": true,
|
||||
"coverage": "partial: the SRAM macros, ports, wiring, clocking and the complete-board terms are modelled in sections 2.3, 5 and 6 with the unmodelled items carried as uncertainty; the calibration against an existing hardware block is the k lane's bare-lane row beside it, owed as a named comparison",
|
||||
"release_identity": {
|
||||
"commit": "3a8874fef",
|
||||
"commit": "86e5b0fb",
|
||||
"lockfile": "",
|
||||
"binary": "",
|
||||
"network_object": "",
|
||||
|
|
@ -2663,7 +2663,7 @@
|
|||
},
|
||||
"claim_impact": "",
|
||||
"reviewer": "",
|
||||
"at": "2026-10-08T20:41:20.327Z"
|
||||
"at": "2026-10-08T20:45:54.766Z"
|
||||
}
|
||||
}
|
||||
},
|
||||
|
|
@ -2696,24 +2696,29 @@
|
|||
"owner_lane": "k lane (a3c9601a6d4686fe1)",
|
||||
"run_status": "NOT RUN",
|
||||
"evidence_path": "docs/analysis/class-v6/floor/shadow-k.md",
|
||||
"run_id": "team-2026-10-08",
|
||||
"updated": "2026-10-08T20:10:24.556Z",
|
||||
"run_id": "shadow-k-20261008-rows-repeat",
|
||||
"updated": "2026-10-08T20:45:54.766Z",
|
||||
"evidence_record": {
|
||||
"reason": "process-advantage separation is the adversary lanes' chip study",
|
||||
"at": "2026-10-08T20:10:24.556Z",
|
||||
"method": "static",
|
||||
"requirement_id": "ADV-06",
|
||||
"decision": "NOT RUN",
|
||||
"reviewer": "",
|
||||
"claim_impact": "",
|
||||
"method": "static",
|
||||
"cell": "review:k-lane-shadow-k",
|
||||
"manifest_sha": "86e5b0fb",
|
||||
"run_id": "shadow-k-20261008-rows-repeat",
|
||||
"evidence": "docs/analysis/class-v6/floor/shadow-k.md",
|
||||
"in_progress": false,
|
||||
"coverage": "partial: the placed gated cores and the adversary's forms are modelled in shadow-k.md; the independent review remains",
|
||||
"release_identity": {
|
||||
"commit": "",
|
||||
"commit": "86e5b0fb",
|
||||
"lockfile": "",
|
||||
"binary": "",
|
||||
"network_object": "",
|
||||
"activation": "",
|
||||
"profile_hashes": ""
|
||||
}
|
||||
},
|
||||
"claim_impact": "",
|
||||
"reviewer": "",
|
||||
"at": "2026-10-08T20:45:54.766Z"
|
||||
},
|
||||
"in_progress_since": "2026-10-08 18:3x UK",
|
||||
"approvals": {
|
||||
|
|
@ -2744,6 +2749,28 @@
|
|||
"run_id": "team-2026-10-08",
|
||||
"evidence": "docs/analysis/class-v6/floor/shadow-k.md",
|
||||
"in_progress": true
|
||||
},
|
||||
"review:k-lane-shadow-k": {
|
||||
"requirement_id": "ADV-06",
|
||||
"decision": "NOT RUN",
|
||||
"method": "static",
|
||||
"cell": "review:k-lane-shadow-k",
|
||||
"manifest_sha": "86e5b0fb",
|
||||
"run_id": "shadow-k-20261008-rows-repeat",
|
||||
"evidence": "docs/analysis/class-v6/floor/shadow-k.md",
|
||||
"in_progress": false,
|
||||
"coverage": "partial: the placed gated cores and the adversary's forms are modelled in shadow-k.md; the independent review remains",
|
||||
"release_identity": {
|
||||
"commit": "86e5b0fb",
|
||||
"lockfile": "",
|
||||
"binary": "",
|
||||
"network_object": "",
|
||||
"activation": "",
|
||||
"profile_hashes": ""
|
||||
},
|
||||
"claim_impact": "",
|
||||
"reviewer": "",
|
||||
"at": "2026-10-08T20:45:54.766Z"
|
||||
}
|
||||
}
|
||||
},
|
||||
|
|
|
|||
40
tools/ci/batches/shadow-k-20261008-rows-repeat.json
Normal file
40
tools/ci/batches/shadow-k-20261008-rows-repeat.json
Normal file
|
|
@ -0,0 +1,40 @@
|
|||
{
|
||||
"run_id": "shadow-k-20261008-rows-repeat",
|
||||
"manifest_sha": "86e5b0fb",
|
||||
"cut_tip": "class-v6-floor-k 86e5b0fb (the amendment carries shadow-k.md; the rows that name it move with it, no decision changed; the landing hand's 22:05 default, named per owner)",
|
||||
"evidence_dir": "docs/analysis/class-v6/floor/shadow-k.md",
|
||||
"boxes": [],
|
||||
"cells": [
|
||||
{
|
||||
"cell": "adversary:mf-placed",
|
||||
"cases": [
|
||||
"ADV-05"
|
||||
],
|
||||
"status": "RUNNING",
|
||||
"method": "model",
|
||||
"evidence": "docs/analysis/class-v6/multi-family-adversary.md",
|
||||
"note": "repeat for ADV-05 at this manifest; the k lane's row"
|
||||
},
|
||||
{
|
||||
"cell": "review:k-lane-shadow-k",
|
||||
"status": "NOT RUN",
|
||||
"method": "static",
|
||||
"evidence": "docs/analysis/class-v6/floor/shadow-k.md",
|
||||
"note": "repeat of team-2026-10-08 for ADV-06 at this manifest; the k lane's row"
|
||||
},
|
||||
{
|
||||
"cell": "experiment:connected-state",
|
||||
"status": "FAIL",
|
||||
"method": "GPU",
|
||||
"evidence": "docs/analysis/class-v6/connected-state.md",
|
||||
"note": "repeat of kills-20261008 for POW-03, the evidence at its file; the steward's row"
|
||||
},
|
||||
{
|
||||
"cell": "experiment:mixed-fp32",
|
||||
"status": "FAIL",
|
||||
"method": "GPU",
|
||||
"evidence": "docs/analysis/class-v6/rows/pow-07-fp32-unreachable.md",
|
||||
"note": "repeat of kills-20261008 for POW-07, the evidence at its file; the steward's row"
|
||||
}
|
||||
]
|
||||
}
|
||||
|
|
@ -646,6 +646,17 @@
|
|||
"UX-07": "partial: the install classes (the payload's stop step, the detached installer under a job, the installer refusing a wrong-version name, a stale install flag) and the no-click resume; the recovery-instruction and canary rows are the shipper's",
|
||||
"OPS-03": "partial: the update path's read-back and the signed manifest's verify on the PC (a tampered or rolled-back payload is refused by the engine's manifest check); authority separation is the shipper's review"
|
||||
}
|
||||
},
|
||||
"review:k-lane-shadow-k": {
|
||||
"command": "the k lane's chip-model rows in docs/analysis/class-v6/floor/shadow-k.md (the ORFS placed cores; the register landing 50ff1611f recorded ADV-06 against it before the recorder existed)",
|
||||
"box_class": "none",
|
||||
"fixtures": [],
|
||||
"cases": [
|
||||
"ADV-06"
|
||||
],
|
||||
"coverage": {
|
||||
"ADV-06": "partial: the placed gated cores and the adversary's forms are modelled in shadow-k.md; the independent review remains"
|
||||
}
|
||||
}
|
||||
},
|
||||
"not_run": {
|
||||
|
|
@ -656,7 +667,6 @@
|
|||
"GPU-06": "accepted work under ordinary connectivity needs the fault network F4",
|
||||
"GPU-07": "the sustained thermal and power soak has no harness tonight: PC 1 mines nothing under the Devnet 3 off order",
|
||||
"POW-05": "amortised cheap winning attempts are the attack lanes' grind and era harnesses (tools/attack/f7-era, f9-grind), not in the release matrix; their rows come from those lanes",
|
||||
"ADV-06": "process-advantage separation is the adversary lanes' chip study",
|
||||
"ROT-03": "miner-voted bring-forward needs a vote harness on the fault network F4",
|
||||
"ROT-04": "seed-selection resistance is the census harness (the class v6 invention lane), not yet in the matrix",
|
||||
"EVM-01": "no EVM conformance-vector harness is mapped tonight; the exec suite does not run the reference test vectors",
|
||||
|
|
|
|||
Loading…
Reference in a new issue