Registry batches: the 2.0.1 literal run (ef0f2ed8 + 2826f37e) and F0's GOV-01 row; the finality cells split
Run 201-ef0f2ed8-2826f37e: node ef0f2ed8 (291ee6ae plus the 2.0.1 version bump) on the key-succession pairing, kaspad check and the five node-side suites green on build-4; the miner cut tip 2826f37e (app crate identical to 2ea7b43f), pow and app green on build-2; evidence at build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/. GOV-01's row takes F0 (docs/plans/igneum-2.0-f0-manifest.md) as its evidence through the batch f0-manifest-20261008-b (the earlier f0 batch landed before the replay existed and never recorded). The map splits the finality cells at the finality lane's ask: harness:finality-sim keeps FIN-08 (the model side), harness:finality-sim-fin02 carries FIN-02's simulator half, node:finality-realnode carries the node lane's real-node lines for FIN-02 and FIN-07. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
igneum-labs
parent
7d3c7daeb4
commit
caa3040fdc
5 changed files with 327 additions and 216 deletions
|
|
@ -110,12 +110,11 @@ Rule: a case maps to a cell only where the cell's tests visibly answer it; cover
|
|||
|
||||
### harness:finality-sim
|
||||
|
||||
- Command: `igneum/harness-sim (the finality lane's scenarios: partition, split populations, long partition)`
|
||||
- Command: `igneum/harness-sim, the finality lane's scenarios (sim/results_v2.md, the Rule v4 section: N1, N1b, N2, N2b, N3, N4, N6 and the real-node known-failed line)`
|
||||
- Box class: harness
|
||||
- Fixtures: F0, F4
|
||||
- Cases:
|
||||
- FIN-02 Attack finality with split honest populations: partial: split honest populations in the simulator; the real-node run is the fault network F4
|
||||
- FIN-08 Combine boundaries, faults and adversarial scheduling: partial: the combined boundary and fault scenarios in the simulator; model checking is the formal review
|
||||
- FIN-08 Combine boundaries, faults and adversarial scheduling: partial: the combined boundary and fault scenarios in the simulator with adversarial schedules; model checking is the formal review
|
||||
|
||||
### harness:p01-vectors
|
||||
|
||||
|
|
@ -196,6 +195,23 @@ Rule: a case maps to a cell only where the cell's tests visibly answer it; cover
|
|||
- ECO-01 Reconcile complete cost per accepted work: partial: the hand-worked fixtures and the second implementation; the independent reconciliation of inputs and units remains
|
||||
- ECO-08 Reproduce and adversarially audit the model: partial: the package runs from the served files (README, inputs with sources and labels, fixtures); the independent report, the rerun and the perturbations remain
|
||||
|
||||
### harness:finality-sim-fin02
|
||||
|
||||
- Command: `igneum/harness-sim, the split honest populations and boundary splits (the 40/40/20 fixture, the pause valid, zero conflicting final certificates within the bound)`
|
||||
- Box class: harness
|
||||
- Fixtures: F0, F4
|
||||
- Cases:
|
||||
- FIN-02 Attack finality with split honest populations: the simulator half of the accept text; the real-node run on the fault network F4 with independent operators is node:finality-realnode
|
||||
|
||||
### node:finality-realnode
|
||||
|
||||
- Command: `the node lane's v3.mjs lines on release-2.0.0-node (real nodes, the rule v4 harness; rows in sim/results_v2.md)`
|
||||
- Box class: harness (the lease pool)
|
||||
- Fixtures: F0, F4
|
||||
- Cases:
|
||||
- FIN-02 Attack finality with split honest populations: partial: the real-node half; independent operators and the review remain
|
||||
- FIN-07 Recover deterministically after reconnection and crash: partial: deterministic recovery after reconnection and crash on real nodes (the HEAL reruns)
|
||||
|
||||
## 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
|
||||
|
|
|
|||
File diff suppressed because it is too large
Load diff
52
tools/ci/batches/201-ef0f2ed8-2826f37e.json
Normal file
52
tools/ci/batches/201-ef0f2ed8-2826f37e.json
Normal file
|
|
@ -0,0 +1,52 @@
|
|||
{
|
||||
"run_id": "201-ef0f2ed8-2826f37e",
|
||||
"manifest_sha": "ef0f2ed8",
|
||||
"cut_tip": "2826f37e (miner); node ef0f2ed8 = 291ee6ae + the 2.0.1 version bump, read on the key-succession pairing (elf/prior, the class v5 freeze igneum-pow)",
|
||||
"evidence_dir": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e",
|
||||
"boxes": [
|
||||
"build-2",
|
||||
"build-4"
|
||||
],
|
||||
"cells": [
|
||||
{
|
||||
"cell": "suite:pow",
|
||||
"status": "RUNNING",
|
||||
"evidence": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/miner-2826f37e/box2-pow.log"
|
||||
},
|
||||
{
|
||||
"cell": "suite:app",
|
||||
"status": "RUNNING",
|
||||
"evidence": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/miner-2826f37e/box2-app.log"
|
||||
},
|
||||
{
|
||||
"cell": "suite:core",
|
||||
"status": "RUNNING",
|
||||
"evidence": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/node-ef0f2ed8/box4-core.log"
|
||||
},
|
||||
{
|
||||
"cell": "suite:consensus",
|
||||
"status": "RUNNING",
|
||||
"evidence": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/node-ef0f2ed8/box4-consensus.log"
|
||||
},
|
||||
{
|
||||
"cell": "suite:exec",
|
||||
"status": "RUNNING",
|
||||
"evidence": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/node-ef0f2ed8/box4-exec.log"
|
||||
},
|
||||
{
|
||||
"cell": "suite:miner",
|
||||
"status": "RUNNING",
|
||||
"evidence": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/node-ef0f2ed8/box4-miner.log"
|
||||
},
|
||||
{
|
||||
"cell": "suite:p2p-flows",
|
||||
"status": "RUNNING",
|
||||
"evidence": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/node-ef0f2ed8/box4-p2p-flows.log"
|
||||
},
|
||||
{
|
||||
"cell": "check:freeze",
|
||||
"status": "RUNNING",
|
||||
"evidence": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/node-ef0f2ed8/box4-kaspad-check.log"
|
||||
}
|
||||
]
|
||||
}
|
||||
13
tools/ci/batches/f0-manifest-20261008-b.json
Normal file
13
tools/ci/batches/f0-manifest-20261008-b.json
Normal file
|
|
@ -0,0 +1,13 @@
|
|||
{
|
||||
"run_id": "f0-manifest-20261008-b",
|
||||
"manifest_sha": "ef0f2ed8",
|
||||
"evidence_dir": "docs/plans/igneum-2.0-f0-manifest.md",
|
||||
"boxes": [],
|
||||
"cells": [
|
||||
{
|
||||
"cell": "check:freeze",
|
||||
"status": "RUNNING",
|
||||
"evidence": "docs/plans/igneum-2.0-f0-manifest.md; packaging/pow-freeze.txt; build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/node-ef0f2ed8/box4-kaspad-check.log"
|
||||
}
|
||||
]
|
||||
}
|
||||
|
|
@ -186,19 +186,17 @@
|
|||
}
|
||||
},
|
||||
"harness:finality-sim": {
|
||||
"command": "igneum/harness-sim (the finality lane's scenarios: partition, split populations, long partition)",
|
||||
"command": "igneum/harness-sim, the finality lane's scenarios (sim/results_v2.md, the Rule v4 section: N1, N1b, N2, N2b, N3, N4, N6 and the real-node known-failed line)",
|
||||
"box_class": "harness",
|
||||
"fixtures": [
|
||||
"F0",
|
||||
"F4"
|
||||
],
|
||||
"cases": [
|
||||
"FIN-02",
|
||||
"FIN-08"
|
||||
],
|
||||
"coverage": {
|
||||
"FIN-02": "partial: split honest populations in the simulator; the real-node run is the fault network F4",
|
||||
"FIN-08": "partial: the combined boundary and fault scenarios in the simulator; model checking is the formal review"
|
||||
"FIN-08": "partial: the combined boundary and fault scenarios in the simulator with adversarial schedules; model checking is the formal review"
|
||||
}
|
||||
},
|
||||
"harness:p01-vectors": {
|
||||
|
|
@ -338,6 +336,36 @@
|
|||
"ECO-01": "partial: the hand-worked fixtures and the second implementation; the independent reconciliation of inputs and units remains",
|
||||
"ECO-08": "partial: the package runs from the served files (README, inputs with sources and labels, fixtures); the independent report, the rerun and the perturbations remain"
|
||||
}
|
||||
},
|
||||
"harness:finality-sim-fin02": {
|
||||
"command": "igneum/harness-sim, the split honest populations and boundary splits (the 40/40/20 fixture, the pause valid, zero conflicting final certificates within the bound)",
|
||||
"box_class": "harness",
|
||||
"fixtures": [
|
||||
"F0",
|
||||
"F4"
|
||||
],
|
||||
"cases": [
|
||||
"FIN-02"
|
||||
],
|
||||
"coverage": {
|
||||
"FIN-02": "the simulator half of the accept text; the real-node run on the fault network F4 with independent operators is node:finality-realnode"
|
||||
}
|
||||
},
|
||||
"node:finality-realnode": {
|
||||
"command": "the node lane's v3.mjs lines on release-2.0.0-node (real nodes, the rule v4 harness; rows in sim/results_v2.md)",
|
||||
"box_class": "harness (the lease pool)",
|
||||
"fixtures": [
|
||||
"F0",
|
||||
"F4"
|
||||
],
|
||||
"cases": [
|
||||
"FIN-02",
|
||||
"FIN-07"
|
||||
],
|
||||
"coverage": {
|
||||
"FIN-02": "partial: the real-node half; independent operators and the review remain",
|
||||
"FIN-07": "partial: deterministic recovery after reconnection and crash on real nodes (the HEAL reruns)"
|
||||
}
|
||||
}
|
||||
},
|
||||
"not_run": {
|
||||
|
|
|
|||
Loading…
Reference in a new issue