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

Merge ci-batch-4 caa3040f into master (gate: green on caa3040f, recorded by tools/ci/pre-push.sh; landed on the box mirror under the exception declared by main: main's ruling, 7 Oct 2026 19:5x UK: the GitHub account is suspended, lanes land on the box mirror's master, the box gate stamp is the verdict; GitHub gets the fast-forward when it answers)

Browse source
This commit is contained in:
igneum-labs 2026-10-08 18:51:09 +00:00
commit b164fbf0a0
5 changed files with 327 additions and 216 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

22
docs/plans/igneum-2.0-test-harness-map.md
View file

@ -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

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

File diff suppressed because it is too large Load diff

52
tools/ci/batches/201-ef0f2ed8-2826f37e.json Normal file
View 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
View 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"
}
]
}

36
tools/ci/test-map.json
View file

@ -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": {