850 lines
63 KiB
JSON
850 lines
63 KiB
JSON
{
|
|
"title": "Igneum 2.0 test harness map",
|
|
"registry": "docs/plans/igneum-2.0-test-registry.json",
|
|
"rule": "a case maps to a cell only where the cell's tests visibly answer it; coverage names what the cell proves and what remains; a mapped cell's green writes RUNNING, PASS only when coverage is full and the evidence file exists; an automated case with no cell reads NOT RUN with its reason, never PASS by inference",
|
|
"cells": {
|
|
"suite:pow": {
|
|
"command": "tools/build-remote.sh --priority gate -- test --release (from igneum-pow/)",
|
|
"box_class": "suite (gate priority)",
|
|
"fixtures": [
|
|
"F0",
|
|
"F1"
|
|
],
|
|
"cases": [
|
|
"POW-02",
|
|
"POW-08"
|
|
],
|
|
"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"
|
|
}
|
|
},
|
|
"suite:app": {
|
|
"command": "tools/build-remote.sh --priority gate -- test --release (from app/igneum-app/)",
|
|
"box_class": "suite (gate priority)",
|
|
"fixtures": [
|
|
"F0",
|
|
"F1"
|
|
],
|
|
"cases": [
|
|
"UX-02",
|
|
"UX-03",
|
|
"UX-07",
|
|
"VER-08"
|
|
],
|
|
"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"
|
|
}
|
|
},
|
|
"suite:core": {
|
|
"command": "tools/build-remote.sh --priority gate -- test --release -p kaspa-consensus-core (from the node fork)",
|
|
"box_class": "suite (gate priority)",
|
|
"fixtures": [
|
|
"F0",
|
|
"F1"
|
|
],
|
|
"cases": [
|
|
"FIN-01",
|
|
"INC-01",
|
|
"ROT-06"
|
|
],
|
|
"coverage": {
|
|
"FIN-01": "partial: the finality field and checkpoint tests on the object; ordering under load is the consensus suite and the sim",
|
|
"INC-01": "partial: emission, fee and payout arithmetic tests; the reconciliation over a live chain is the economics lane's",
|
|
"ROT-06": "partial: the dataset activation and digest tests; a live activation is the fast-time harness"
|
|
}
|
|
},
|
|
"suite:consensus": {
|
|
"command": "tools/build-remote.sh --priority gate -- test --release -p kaspa-consensus (from the node fork)",
|
|
"box_class": "suite (gate priority)",
|
|
"fixtures": [
|
|
"F0",
|
|
"F1"
|
|
],
|
|
"cases": [
|
|
"FIN-01",
|
|
"FIN-03",
|
|
"FIN-04",
|
|
"FIN-05",
|
|
"FIN-07",
|
|
"ROT-05",
|
|
"ZKP-01"
|
|
],
|
|
"coverage": {
|
|
"FIN-01": "partial: the finality processes' agreement tests",
|
|
"FIN-03": "partial: rule v4's anchored table and authority expiry tests (bee41b5e)",
|
|
"FIN-04": "partial: the frozen table without its time expiry (rule v4)",
|
|
"FIN-05": "partial: key succession and another scheme's vote refused",
|
|
"FIN-07": "partial: majority-continuity recovery (rule v4)",
|
|
"ROT-05": "partial: the finality-stopped pause tests",
|
|
"ZKP-01": "partial: a proof-less or wrong-statement block refused by consensus"
|
|
}
|
|
},
|
|
"suite:exec": {
|
|
"command": "tools/build-remote.sh --priority gate -- test --release -p igneum-exec (from the node fork)",
|
|
"box_class": "suite (gate priority)",
|
|
"fixtures": [
|
|
"F0",
|
|
"F1"
|
|
],
|
|
"cases": [
|
|
"ZKP-01",
|
|
"ZKP-03",
|
|
"OPS-04",
|
|
"EVM-02"
|
|
],
|
|
"coverage": {
|
|
"ZKP-01": "partial: a real proof verifies, a wrong statement and garbage are refused (nativeverify)",
|
|
"ZKP-03": "partial: a snapshot under another digest refused, the epoch streams bound to the digest",
|
|
"OPS-04": "partial: snapshot install, replay and genesis recapture after a crash",
|
|
"EVM-02": "partial: the replay tests on the day stream; the signature and chain-id binding vectors are an EVM harness still to map"
|
|
}
|
|
},
|
|
"suite:miner": {
|
|
"command": "tools/build-remote.sh --priority gate -- test --release -p igneum-miner (from the node fork)",
|
|
"box_class": "suite (gate priority)",
|
|
"fixtures": [
|
|
"F0",
|
|
"F1"
|
|
],
|
|
"cases": [
|
|
"UX-06",
|
|
"UX-04",
|
|
"POW-01"
|
|
],
|
|
"coverage": {
|
|
"UX-06": "partial: the miner's own template selection tests",
|
|
"UX-04": "partial: payout label and share accounting tests; custody is the pool lane's row",
|
|
"POW-01": "partial: the pack re-check seam against the pack's 96 vectors (recheck_pack); the million-vector campaign is harness:p01-vectors"
|
|
}
|
|
},
|
|
"suite:p2p-flows": {
|
|
"command": "tools/build-remote.sh --priority gate -- test --release -p kaspa-p2p-flows (from the node fork)",
|
|
"box_class": "suite (gate priority)",
|
|
"fixtures": [
|
|
"F0",
|
|
"F1"
|
|
],
|
|
"cases": [
|
|
"OPS-06",
|
|
"ZKP-06"
|
|
],
|
|
"coverage": {
|
|
"OPS-06": "partial: malformed relay messages refused; traffic containment under load is an OPS harness",
|
|
"ZKP-06": "partial: proof relay coverage tests; aggregation completeness is the proving lane's test set"
|
|
}
|
|
},
|
|
"gate:pre-push": {
|
|
"command": "tools/ci/pre-push.sh (every landing; the heavy checks ship to a box)",
|
|
"box_class": "gate",
|
|
"fixtures": [
|
|
"F1"
|
|
],
|
|
"cases": [
|
|
"GOV-05",
|
|
"GOV-06",
|
|
"UX-08"
|
|
],
|
|
"coverage": {
|
|
"GOV-05": "partial: every gate check carries a self-test that fires on a known failure and passes a known success (77 checks); the suites' own oracles are their mutation rows",
|
|
"GOV-06": "partial: the launch-gates, forbidden-strings and scope checks on the served site",
|
|
"UX-08": "partial: the site gate on every served page, plus docs/build/tuning.md (the published tuning and build-settings half, the hash lane's); the open builds and the fee conditions are the shipper's and the site lane's"
|
|
}
|
|
},
|
|
"check:freeze": {
|
|
"command": "consensus/pow/build.rs rule 19 at every kaspa-pow build; packaging/pow-freeze.txt and packaging/d1-freeze.txt",
|
|
"box_class": "build",
|
|
"fixtures": [
|
|
"F0"
|
|
],
|
|
"cases": [
|
|
"GOV-01"
|
|
],
|
|
"coverage": {
|
|
"GOV-01": "partial: the linked igneum-pow tree's fingerprint must match a listed freeze or the build fails, the binary prints which; the manifest (igneum_getManifest) names the object digest; the signed F0 manifest is the node lane's row tonight"
|
|
}
|
|
},
|
|
"harness:fast-time-60x": {
|
|
"command": "the v5 fast-time harness on the devnet object at 60x (infra/fast-time/override-60x.json; the node lane's run shape)",
|
|
"box_class": "harness (lease pool, never build-1)",
|
|
"fixtures": [
|
|
"F0",
|
|
"F3"
|
|
],
|
|
"cases": [
|
|
"ROT-01",
|
|
"ROT-02"
|
|
],
|
|
"coverage": {
|
|
"ROT-01": "partial: hourly boundaries crossed at 60x with every node agreeing",
|
|
"ROT-02": "partial: the weekly and family boundary crossings at 60x"
|
|
}
|
|
},
|
|
"harness:finality-sim": {
|
|
"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-08"
|
|
],
|
|
"coverage": {
|
|
"FIN-08": "partial: the combined boundary and fault scenarios in the simulator with adversarial schedules; model checking is the formal review"
|
|
}
|
|
},
|
|
"harness:p01-vectors": {
|
|
"command": "tools/ci/p01-vectors.py --worker <the kit's worker> --pack <pack dir> --reference /srv/artefacts/packs/p01-vectors/<pack>.txt --count 1000000 --out <evidence.json>: the worker driven with pool.rs's job lines at an all-pass target, every found hash diffed against the CPU reference list (igneum-pow hash-bound --count 1000000, prehash 00..01, the genesis seeds), exit 1 on any disagreement or unanswered nonce",
|
|
"box_class": "pods (one backend each)",
|
|
"fixtures": [
|
|
"F0",
|
|
"F2"
|
|
],
|
|
"cases": [
|
|
"POW-01"
|
|
],
|
|
"coverage": {
|
|
"POW-01": "the million-vector campaign per backend per pack, bit-for-bit; PASS only when every supported backend reads a million vectors with zero disagreement; the malformed-input half is harness:parser-malformed"
|
|
}
|
|
},
|
|
"harness:parser-malformed": {
|
|
"command": "cargo test --release -p igneum-exec --lib -- malformed --nocapture; cargo test --release -p igneum-miner --bins -- malformed --nocapture (node fork branch parser-malformed f0204947, taken into release-2.0.0-node at the node lane's next cut): ten thousand seeded mutations per parser through DayStream::from_bytes plus check, rpc::dispatch over nineteen igneum_ methods, and pool::job_seeds; the summary line per parser is the evidence",
|
|
"box_class": "suite",
|
|
"fixtures": [
|
|
"F5"
|
|
],
|
|
"cases": [
|
|
"POW-06"
|
|
],
|
|
"coverage": {
|
|
"POW-06": "partial: three parsers of external bytes (the state stream, the igneum_ RPC params, the pool job line), ten thousand seeded malformed cases each, zero panics, every case under 500 ms (the slowest 152 microseconds); 'accepted' counts mutations that left a valid input, not a parser fault; the verifier work bound (the other half of the accept text) is the proving lane's measurement"
|
|
}
|
|
},
|
|
"bench:pc1-packs": {
|
|
"command": "tools/ca3-v4-amend/pc1-ca4-packs.ps1 on the project's own rig (RTX 5090, the signed-jobs channel, --cards-off, the Power Helper lock at 1,300 MHz, nvidia-smi at 1 Hz, 250 x 2^24 per row, the kit's CUDA worker --bench)",
|
|
"box_class": "the project's own rig bench",
|
|
"fixtures": [
|
|
"F0",
|
|
"F1"
|
|
],
|
|
"cases": [
|
|
"GPU-02",
|
|
"GPU-03",
|
|
"GPU-05",
|
|
"POW-08"
|
|
],
|
|
"coverage": {
|
|
"GPU-02": "partial: the paired stock and locked rows on the same board, host and workload (the rate held, 2.37 against 3.26 microjoules per hash on the class v5 pack); the historical 34 to 41 percent claim's full configuration set is owed",
|
|
"GPU-03": "partial: hl-v6-all against hl-v6-foldrw on the 5090, the window's cost per unit of work, registers and blocks per SM, no spill; the mandatory-SKU set is owed",
|
|
"GPU-05": "partial: v3-1g, v3-ds29, v3-ds30, ds55, ds4g-ms complete with their fingerprints, energy per step at stock and at the knee on the 5090 and the 7600; the 8.5 and 11.5 GiB candidates are owed",
|
|
"POW-08": "partial: rw-w4, rw-w32, rw-w64 and the 1p5x long-program packs as regression controls for the excluded levers"
|
|
}
|
|
},
|
|
"bench:pc1-amd": {
|
|
"command": "tools/ca3-v4-amend/pc1-amd-cardin-bench.ps1 on the project's own rig (RX 7600, OpenCL, gfx1102, 30 dispatches of 2^24 per size, rate only)",
|
|
"box_class": "the project's own rig bench",
|
|
"fixtures": [
|
|
"F0",
|
|
"F1"
|
|
],
|
|
"cases": [
|
|
"GPU-01",
|
|
"GPU-05"
|
|
],
|
|
"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"
|
|
}
|
|
},
|
|
"bench:fleet-pods": {
|
|
"command": "the fleet lane's one-shot RunPod cards (5090, 4090, H100, 3090) with the same worker --bench and nvidia-smi sampling, the lock through nvidia-smi -lgc",
|
|
"box_class": "rented pods",
|
|
"fixtures": [
|
|
"F0",
|
|
"F1"
|
|
],
|
|
"cases": [
|
|
"GPU-01",
|
|
"GPU-03",
|
|
"POW-08"
|
|
],
|
|
"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"
|
|
}
|
|
},
|
|
"census:class-v6": {
|
|
"command": "the census lane's harness on class-v6-census-fold: the acceptance rule with (c''') on every candidate, the attempts census, the per-site index-bit read, attack-f8 at 2^22 on the live state",
|
|
"box_class": "harness (the lease pool)",
|
|
"fixtures": [
|
|
"F0",
|
|
"F3"
|
|
],
|
|
"cases": [
|
|
"POW-02"
|
|
],
|
|
"coverage": {
|
|
"POW-02": "partial: the fold's index statistics and the grammar bounds on 256 seeds plus the F8 set; the malformed programs are owed to harness:parser-malformed"
|
|
}
|
|
},
|
|
"crosscheck:review-harness": {
|
|
"command": "python3 run_all.py in docs/analysis/review-2026-10-08/harness.zip (the reviewer's C/Python transcription of the V2 to V4 paths; numpy and cc; about 1 GB) on a box, its all_results.json the evidence; the tree's side is igneum-pow's own pins of the same constants (src/verify.rs, src/bind.rs, proto-cuda/packs/igneum-genesis/vectors.json) under suite:pow",
|
|
"box_class": "suite (nice 10)",
|
|
"fixtures": [
|
|
"F0",
|
|
"F3"
|
|
],
|
|
"cases": [
|
|
"POW-01"
|
|
],
|
|
"coverage": {
|
|
"POW-01": "partial: independent execution agrees with the tree on the V2/V3 genesis program id and op mix, the two closed-form hashes, the three census ids and the eight header-bound memory-hard vectors; the v5 object's and the v6 freeze's vectors are outside the transcription's model (its README) and read NOT RUN for this cell; every backend is harness:p01-vectors"
|
|
}
|
|
},
|
|
"model:eco05": {
|
|
"command": "python3 sim/economy/coexist/eco05.py 0.5 31.65e6 and python3 sim/economy/coexist/eco05.py 0.055 31.65e6 on a build box (python3, no packages; the frozen register docs/analysis/class-v6/eco-05-scenarios.md; the cube to sim/economy/coexist/out/)",
|
|
"box_class": "build box (CPU, python3)",
|
|
"fixtures": [
|
|
"F0",
|
|
"F7"
|
|
],
|
|
"cases": [
|
|
"ECO-05"
|
|
],
|
|
"coverage": {
|
|
"ECO-05": "full on the frozen register's grid and the eight adversarial rows at the team's reconciled specialist rows; the independent reviewer's own adversarial rows (ECO-08) remain"
|
|
}
|
|
},
|
|
"model:coexist-fixtures": {
|
|
"command": "python3 sim/economy/coexist/fixtures.py on a build box (exit 0 = the second implementation of the per-class cost formula agrees with the hand-worked values and the model's own function within 0.5 percent)",
|
|
"box_class": "build box (CPU, python3)",
|
|
"fixtures": [
|
|
"F7"
|
|
],
|
|
"cases": [
|
|
"ECO-01",
|
|
"ECO-08"
|
|
],
|
|
"coverage": {
|
|
"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)"
|
|
}
|
|
},
|
|
"harness:proving-enforcement": {
|
|
"command": "tools/build-remote.sh --priority gate -- test --release -p kaspa-consensus -p igneum-exec --lib enforced_ (from the node fork; the succession_* and p22_stage_* tests with it); tools/fast-time-remote.sh --node-bin <the fork's target/release> -- node infra/fast-time/proving-enforcement.mjs --floor 240 ... (the crossing) and --succession <H> --window <W> --prior-ids ... --next-ids ... --real-proof ... --next-proof ... (the key-succession crossing)",
|
|
"box_class": "suite (gate priority) and a fast-time run (normal class, 3 local nodes)",
|
|
"fixtures": [
|
|
"F0",
|
|
"F1"
|
|
],
|
|
"cases": [
|
|
"ZKP-01",
|
|
"ZKP-02",
|
|
"ZKP-03",
|
|
"ZKP-04",
|
|
"ZKP-05",
|
|
"ZKP-08",
|
|
"EVM-08"
|
|
],
|
|
"coverage": {
|
|
"ZKP-01": "partial: the seven refusals as named tests (no proof never inserted; a wrong proof and another program id invalidate the block; the honest record paid once) and the fast-time crossing with a modified producer; the genuine-proof positive control through ordinary network paths is the testnet's live read, not run here",
|
|
"ZKP-02": "partial: the pinned-id refusal on a real proof, the daemon's start refusal, key succession (the epochs, the accepted ids, a verdict counting only where its pair is accepted, the seven refusals on both sides of the height, the start refusal under a succession, the real-proof refusal of a pair the epoch does not accept) and the fast-time crossing of a scheduled succession with a real proof under each pair; the downgrade through an old node path is not run",
|
|
"ZKP-03": "partial: the chain binding (a record signed for another network), the replay, a wrong block, a wrong shard, a stale record outside the window; the fork and replayed-sync steps are not run",
|
|
"ZKP-04": "partial: an altered payout address (after signing and re-signed), a statement over altered rewards or payouts vetoed natively, the inputs commitment of P22 stage 1 (shard 0 and the aggregator carry the commitment the node recomputes) and the derivation commitment of stage 2 (the payouts derived in the guest from the carried records); the rewards' proved derivation is P22 stage 3, PENDING",
|
|
"ZKP-05": "partial: a duplicate of a paid record pays nothing and the honest record pays once; the race, reorder and crash-recover steps are not run",
|
|
"ZKP-08": "partial: the body rule and the payment rule read one floor, a producer with its body rule off still pays nothing on honest nodes (the fast-time crossing); the replacement-prover and authority steps are not run; the proof side of the derivation is P22 stage 3, PENDING",
|
|
"EVM-08": "partial: the controlled verifier upgrade as a key succession (both pairs embedded, the window, the start refusal) and its fast-time crossing; the mixed-client crossing on the live network and the failed-distribution step are not run"
|
|
}
|
|
},
|
|
"harness:reference-apps-compat": {
|
|
"command": "node tools/reference-apps/compat/run.mjs (from the main repo against the devnet read RPC with the funded tester key; rows land in tools/reference-apps/compat/results.json and render to /compatibility)",
|
|
"box_class": "harness (network run on the 2.0 devnet, read RPC + one funded test account)",
|
|
"fixtures": [],
|
|
"cases": [
|
|
"EVM-02",
|
|
"EVM-03",
|
|
"EVM-04",
|
|
"EVM-05",
|
|
"EVM-06"
|
|
],
|
|
"coverage": {
|
|
"EVM-02": "partial: a transaction signed for the previous devnet's chain id is refused and a signed transaction sent twice is refused on the live devnet; the F0 replacement rule and the mempool-independent evidence are the exec suite's",
|
|
"EVM-03": "partial: fee quotes, eth_estimateGas against gasUsed for a transfer and a call, the documented 21,000 local-limit difference and the pgas receipt fields on the live devnet; determinism across nodes and proofs and the P09 bounds are the proving-limit harness (not run)",
|
|
"EVM-04": "partial: block.number, timestamp, chainid, basefee, blockhash(number-1), CREATE2 address, block.coinbase and block.prevrandao read against the chain and the documented differences; conformance vectors for F0 are EVM-01's",
|
|
"EVM-05": "partial: ERC-20 deploy, transfer, approve/transferFrom, a probe contract, a persisting counter, a revert with reason and an out-of-gas call on the live devnet; application-level invariants of the DEX integration set are the DEX lane's",
|
|
"EVM-06": "partial: receipt fields and logsBloom recompute, the block's receipts trie root rebuilds, eth_getLogs by address/topic/range, eth_getBlockByNumber with full transactions and eth_getBlockReceipts; wallet UI states (included, executed, proven, finalised) and the indexer's canonical-record check are the wallet and explorer lanes' rows"
|
|
}
|
|
},
|
|
"harness:reference-apps-ver": {
|
|
"command": "node tools/reference-apps/ver/run.mjs (from the main repo; the reference apps' verification rows against the devnet read RPC and the light service; evidence per case in tools/reference-apps/ver/evidence/<case>.json; the browser negative set is /lc/test and the Node negative set is tools/reference-apps/light-service/verify.test.mjs)",
|
|
"box_class": "harness (network run on the 2.0 devnet plus Sepolia reads)",
|
|
"fixtures": [],
|
|
"cases": [
|
|
"VER-03",
|
|
"VER-04",
|
|
"VER-05",
|
|
"VER-06",
|
|
"VER-08"
|
|
],
|
|
"coverage": {
|
|
"VER-03": "partial: a payment receipt is labelled payment only when the receipt is proven against the segment statement's receipts commitment under the finality certificate, inclusion-only receipts read inclusion, a tampered receipt and a flipped status fail; run on the the earlier devnet fixtures, the 2.0 devnet re-run waits for its first paid segment whose last block carries a transaction",
|
|
"VER-04": "partial: the oracle's trust() names the deployer-installed table and the unchecked aggregator signature, a second hash at a stored certificate index is refused, a root claim at an unknown index is refused, another chain id is refused (tools/reference-apps/oracle/test.mjs on Sepolia); Review B F04: the Sepolia verifiers apply the two-thirds rule only, carry no lock-kind field, and an under-threshold (recovery-rule) certificate fails closed in submitCertificate, so no stored root is a recovery lock (the DEX lane's docs/bridge/light-client-bridge.md paragraph); the claimed-option review of the trust model is the reviewer's",
|
|
"VER-05": "partial: the public node and the reference reader on build-1 executed the 2.0 devnet from genesis with no snapshot (unit ExecStart without --igneum-exec-snapshot), and the pages fetch headers, certificates, coinbase bodies and account proofs from the public read RPC only; the archive and availability model beyond the 2,048-block state ring is the OPS no-founder exercise",
|
|
"VER-06": "partial: the read service never serves a certificate from another network, a withheld header in the path and a corrupted proof node are detected, stale data prints its lock age beside every balance, and a client told no certificate never falls back to a trusted RPC balance; detection on the fault network F4 is not run",
|
|
"VER-08": "partial: every served state on /light, /receipt and /oracle uses one of included, executed, proven, finalised from the shared definition block, the lock line serves the live DAA before the first certificate, and the trust assumptions are listed on each page; the wallet and explorer surfaces are their lanes' rows"
|
|
}
|
|
},
|
|
"harness:reference-apps-ver-trust-anchor": {
|
|
"command": "node tools/reference-apps/ver/run.mjs (the same run; VER-01 and VER-02 read from tools/reference-apps/ver/evidence/VER-01.json and VER-02.json and are FAIL by design until the voter table is committed in a header or shipped as a trust anchor with authority-change tracking)",
|
|
"box_class": "harness (network run on the 2.0 devnet)",
|
|
"fixtures": [],
|
|
"cases": [
|
|
"VER-01",
|
|
"VER-02"
|
|
],
|
|
"coverage": {
|
|
"VER-01": "fails today, disclosed: the light client authenticates the certificate's signatures and the header path but the voter table is a node-supplied trust anchor named on /light; a forged table signature and a wrong-network certificate are refused",
|
|
"VER-02": "fails today, disclosed: the execution statement's proof is verified by the nodes and the browser verifies the aggregator signature and the post root under it; an in-browser verifier for the permitted proof and a table commitment close it"
|
|
}
|
|
},
|
|
"suite:pool": {
|
|
"command": "tools/build-remote.sh --box 6 -- test --release -p igneum-pool (from pool/, the pool-review-b branch off pool-2.0 against the fork's successor-2.0.1 515ba674; cargo check against the 2.0.1 manifest's node 7cfa422a)",
|
|
"box_class": "suite (bounded; box 6)",
|
|
"fixtures": [
|
|
"F0",
|
|
"F1"
|
|
],
|
|
"cases": [
|
|
"UX-05",
|
|
"UX-04"
|
|
],
|
|
"coverage": {
|
|
"UX-05": "partial: the vote-key commitment on the wire (verify::tests::a_share_under_another_key_is_refused_before_the_hash: known-pass the member's key, known-fail another key on the share and a job naming another key, refused with code vote_key before the hash), the open pool's sidechain::check_key (the claimed key, the header's key and the reveal are one key), the same-nonce-other-template wrong_hash test, the TLS binding test; the malicious-pool run and the leave-and-retain run on the devnet-4 pair are the UX-05 batch's other evidence; review B INT-15 (8 October 2026): server::authorise_tests::a_replayed_proof_of_possession_is_not_an_authorisation (a public PoP replayed into another session, payout, pool or chain, or under another key, refused; only the challenge-bound binding v2 admits on a public network) and the_binding_policy_follows_the_network",
|
|
"UX-04": "partial: PPLNS distribution tests (fee first, never overpays, late joiner), the payout key file round trip, the signed transfer decode; the live payout path on the devnet-4 pair is the UX-04 batch's evidence; review B F12 and INT-03/INT-04 (8 October 2026): payout::intent_tests (a restart from the pre-broadcast snapshot, a lost send response, a crash on either side of the broadcast, a stuck transaction replaced under the same intent, a reorged receipt and a finality pause, a failed transaction, a ledger that cannot be written: never a duplicate or a lost obligation, finalised only under the chain's final lock) and state::ledger_tests (an unreadable ledger is refused or restored, never emptied); F13/INT-16: frame, admission and pool::share_tests (the frame bound while reading, the bounded outgoing queue, one membership per session, the nonce and in-flight bounds, the share and connection budgets); the devnet-4 pair's class (8 October 2026 21:24 UK): state_provider::tests::an_unsynced_node_hands_the_pool_no_state_and_no_job (no job on a node whose igneum_getExecStatus reads synced false, blocked or re-executing; known-failed first against the 8ff7a0f4 provider; pool-synced-guard-202 f3e99e9c on release-2.0.2, 986252e7 on pool-2.0, 52 of 52 on build-6)"
|
|
}
|
|
},
|
|
"harness:economics-model": {
|
|
"command": "python3 refpop.py && python3 coexist2.py && python3 hybrid.py && python3 market.py && python3 surface.py && python3 opsim.py 0.5 (from sim/economy/coexist/; no packages; a box or any Python 3.10)",
|
|
"box_class": "harness (research; build-4 today; any box)",
|
|
"fixtures": [
|
|
"F0"
|
|
],
|
|
"cases": [
|
|
"ECO-02",
|
|
"ECO-03",
|
|
"ECO-04",
|
|
"ECO-06",
|
|
"ECO-07",
|
|
"INC-02",
|
|
"INC-03",
|
|
"INC-04",
|
|
"INC-08"
|
|
],
|
|
"coverage": {
|
|
"ECO-02": "partial: the existing-owner and new-entrant tests per class at three tariffs, MSRP and street, with resale (reference-population.md); resale at zero, failures and financing not yet stressed",
|
|
"ECO-03": "partial: the sunk-development case first with low and high ranges, private mining, hardware sales and the hybrid, GPU re-entry after the fleet (coexistence-model.md sections 2, 8a, 12 to 12c; the surface in floor/sram-and-floor.md 4.4); the source thresholds retired to coexistence-workbook.md",
|
|
"ECO-04": "partial: a per-class supply curve with the installed base as a cap and re-entry (coexistence-model.md), the market-structure axis (8a), the operator simulation (operator-simulation.md); dynamic agent policies beyond the single-rule reaction are the simulation second cut",
|
|
"ECO-06": "partial: the recipients and burns reconciled on the chain block-one split (docs/design/proving-payment.md), proving demand as an income axis at none, launch and spike (coexistence-model.md); the full-horizon issuance ledger owed",
|
|
"ECO-07": "partial: each dataset size scored by adversary burden against commodity burden on measured card rows and modelled chip tickets (docs/design/class-v6-rotating-family.md 10.0u); the 8.5 and 11.5 GiB knee costs expected, not measured",
|
|
"INC-02": "partial: the income streams kept separate in the model (mining subsidy, internal proving, external jobs; burns never counted as payment); the node-record and Ember reconciliation are the node and app lanes",
|
|
"INC-03": "partial: the profit-maximising operator simulation first run (mine, internal prove, external prove, off); per-card agents and switching costs are the second cut",
|
|
"INC-04": "partial: the four shocks in the operator simulation (the demand spike, the price fall, the largest provers leaving, the entrants), restored or not and in how many periods",
|
|
"INC-08": "partial: the supplier and operator dependence table (coexistence-model.md 8a); the signing, proving and aggregation roles are the node lane"
|
|
}
|
|
},
|
|
"harness:cuda-select-check": {
|
|
"command": "proto-cuda/nvrtc/emu/test.sh on a box (the CUDA worker under the CPU emulation backend): emu/select-check.sh (--readback select against the full read, known-failed first) and emu/serve-check.sh (the hash sample against igneum-pow hash-bound, both sides of the 32-bit boundary, the swap)",
|
|
"box_class": "suite (CPU emulation, any build box)",
|
|
"fixtures": [
|
|
"F0",
|
|
"F1"
|
|
],
|
|
"cases": [
|
|
"ROT-01",
|
|
"POW-01"
|
|
],
|
|
"coverage": {
|
|
"ROT-01": "partial: the worker's high-32 nonce rollover inside a job (a job from 2^32 - 32) finds the same set on both read-back paths and the boundary nonces hash as igneum-pow; the hourly program boundary itself is the fast-time harness",
|
|
"POW-01": "partial: the CUDA select pass equals the full read line for line (zero hits, partial, the all-hit overflow fallback, a 96-nonce tail with a 32-lane launch, queued jobs, hits then zero, the epoch tag) and 17 sampled hashes equal igneum-pow; the million-vector campaign is harness:p01-vectors"
|
|
}
|
|
},
|
|
"harness:pack-geometry": {
|
|
"command": "proto-cuda/nvrtc/emu/packfile-test.sh on a box (packfile.h pf_load over emu/geometry-vectors.txt and the checked-in packs) and igneum-bench --geometry-check proto-cuda/nvrtc/emu/geometry-vectors.txt <pack dirs> on the Mac mini (proto-metal/main.swift packGeometry over the same file)",
|
|
"box_class": "suite (a build box for C; the mini for Swift)",
|
|
"fixtures": [
|
|
"F0"
|
|
],
|
|
"cases": [
|
|
"POW-02"
|
|
],
|
|
"coverage": {
|
|
"POW-02": "partial: the dataset geometry rule (exact word count, items, multiply-shift, 64-bit bytes, the floor-log2 and 2^32 refusals, missing leaves) agrees across the CUDA and OpenCL loader and the Metal host on 19 conformance vectors and the two checked-in packs (master review I06, gate INT-10); the rest of POW-02 is suite:pow"
|
|
}
|
|
},
|
|
"site:manifest": {
|
|
"command": "the site build's manifest regeneration from the dl index and the node's start line, read back at /release.json (site/release-manifest.json)",
|
|
"box_class": "none",
|
|
"fixtures": [
|
|
"F0"
|
|
],
|
|
"cases": [
|
|
"OPS-03"
|
|
],
|
|
"coverage": {
|
|
"OPS-03": "partial: the manifest's versions and network blocks regenerate from their sources; the separation itself is the node suites' (suite:exec, suite:p2p-flows)"
|
|
}
|
|
},
|
|
"experiment:connected-state": {
|
|
"command": "the connected-state experiment (the class v6 cs64 research class and its liveness tool; the lane's rows in docs/analysis/class-v6/), KILLED 8 October 2026: live state is free for a chip, only width counts",
|
|
"box_class": "experiment (rented pods)",
|
|
"fixtures": [
|
|
"F2",
|
|
"F3"
|
|
],
|
|
"cases": [
|
|
"POW-03"
|
|
],
|
|
"coverage": {
|
|
"POW-03": "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"
|
|
}
|
|
},
|
|
"experiment:mixed-fp32": {
|
|
"command": "the mixed-FP32 candidate (determinism proved CPU against CUDA, +15 to 26 percent card energy, the chip edge grows), KILLED 8 October 2026",
|
|
"box_class": "experiment (rented pods)",
|
|
"fixtures": [
|
|
"F2",
|
|
"F3"
|
|
],
|
|
"cases": [
|
|
"POW-07"
|
|
],
|
|
"coverage": {
|
|
"POW-07": "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)"
|
|
}
|
|
},
|
|
"harness:family-gate": {
|
|
"command": "IGNEUM_FAMILY_GATE=1 [IGNEUM_FG_CLASS=<class string>] igneum_pow_test --ignored family_gate_era_census (the class v5 crate plus docs/analysis/class-v6/logs/harness-*.diff; one TSV row per drawn era); attack-f8 census --seeds 64 --nonces 1048576 --control window --by-site against the same crate",
|
|
"box_class": "release (the family gate's top class on every box)",
|
|
"fixtures": [
|
|
"F0",
|
|
"F1"
|
|
],
|
|
"cases": [
|
|
"POW-02",
|
|
"ROT-07",
|
|
"ROT-08"
|
|
],
|
|
"coverage": {
|
|
"POW-02": "partial: the acceptance rule's measured rates on drawn classes (the per-candidate rejection, the attempt histogram, the exhaustion count against the independent-attempt arithmetic, the (c'') and (c''') floors' refuse rates and the pre-floor ratio spread per width), the per-site largest-bucket and index-bit statistics at the rule's own 2^20 sample with the seven known-failed seeds (p4, p8, p10, p34, p212, p225, p15), and the F8-form census at 2^20 on the F8 seed set where the attack-f8 mirror validates (0 of 96 warps mismatching); the semantics, termination and memory-bound half and the independent re-implementation are the suite's and the hash lane's; the effect-size limits are the family-gate.md thresholds, predeclared in its section 3",
|
|
"ROT-07": "partial: the acceptance-side ablation rows (layer 8 off against the same-crate windowed control: the draw cost, the floors' costs, the hot-set and 1.2x ceiling, the bit-R read; the mixer and shape axes' per-era invisibility and verifier rows), docs/analysis/class-v6/family-gate.md sections 6.4 to 6.12; the adversarial cost and the GPU setup rows per layer are the hash lane's and the adversary lane's",
|
|
"ROT-08": "partial: the no-rescue control document (38,000 drawn eras of the parameter family through the acceptance, the bound arithmetic on the counts, the honest line of what the gate cannot see), family-gate.md sections 1 to 6; the competitiveness envelope and the economic half are ECO's"
|
|
}
|
|
},
|
|
"bench:amd-intel-energy": {
|
|
"command": "the AMD-and-Intel energy lane jobs on the signed-jobs channel: run-ae-pc2-b580-energy-20261008 (PC 2, Arc B580, the class v6 kit worker --memprobe and --bench-pack on hl-v6-foldrw and hl-v6-all, Level Zero energy counter) and run-ae-pc1-7600-energy-20261008 (the project's own rig, RX 7600, the same with ADLX watts at stock, plimit -30, gmax -500 + plimit -30); scripts in docs/analysis/class-v6/amd-intel-energy/",
|
|
"box_class": "the project's own rig and PC 2 bench (OpenCL)",
|
|
"fixtures": [
|
|
"F0",
|
|
"F1"
|
|
],
|
|
"cases": [
|
|
"GPU-03"
|
|
],
|
|
"coverage": {
|
|
"GPU-03": "partial: the 64-register window on AMD and Intel, rate per unit of work (RX 7600 0 percent, Arc B580 -0.3 percent, kernel throughput, quiet) with the B580 fingerprints equal on both packs and the offline RDNA allocation (160 VGPRs, no spill); energy owed (the 7600 job queued, the B580 counter unsupported unelevated); team-run, not under the standard's paired protocol or a wall meter"
|
|
}
|
|
},
|
|
"adversary:mf-placed": {
|
|
"command": "cd tools/chip-model/mf && make flow-<design> power-<design> (inside openroad/orfs:latest on a rented CPU host; never the Mac); python3 flow/collect.py results; python3 flow/board.py <pJ> <lo> <hi> <leak> <mm2>; python3 flow/hash.py results <design> power",
|
|
"box_class": "rented CPU host (Vast, 48 to 72 cores) on the ORFS image",
|
|
"fixtures": [
|
|
"F0",
|
|
"F1"
|
|
],
|
|
"cases": [
|
|
"ADV-01",
|
|
"ADV-03",
|
|
"ADV-07",
|
|
"ADV-08",
|
|
"POW-03",
|
|
"POW-04",
|
|
"ADV-05"
|
|
],
|
|
"coverage": {
|
|
"ADV-01": "the mf core (18 families, SRAM window and imem macros, operand isolation, 5-phase port) placed and routed on ASAP7 with SPEF and a gate-level VCD; k per family and per draw; outputs checked against the RTL simulation's checksums per tag, not yet against the POW vectors (owed)",
|
|
"ADV-03": "the data-local, hybrid and companion-host rows of multi-family-adversary.md sections 11, 13 and 14 (bit counts closed-form; the hop and wire energies claimed)",
|
|
"ADV-07": "the lifetime table and the six-row transition matrix (sections 7 and 14) on the placed rows; the 32-lane genesis comparator placed on adv-g",
|
|
"ADV-08": "the best-cost envelope on the complete machine (section 6) and the SRAM-die ticket reconciliation with lane B (section 15); the unaffiliated second reviewer is not this lane's",
|
|
"POW-03": "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",
|
|
"POW-04": "partial: the 64-register window's cost on the macro core (sections 4 and 5, agreeing with the k lane's gated-flop row within 5 percent); the restructured candidate's GPU cost is the invention lane's",
|
|
"ADV-05": "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"
|
|
}
|
|
},
|
|
"adversary:d2b": {
|
|
"command": "cd tools/chip-model/mf && python3 flow/d2b.py results N5 1 && python3 flow/d2b.py results N3 1 (on a build box under lease pool or a rented host; reads results/table.csv)",
|
|
"box_class": "any box (a one-minute Python model on the placed rows)",
|
|
"fixtures": [
|
|
"F0"
|
|
],
|
|
"cases": [
|
|
"ADV-02",
|
|
"ADV-04"
|
|
],
|
|
"coverage": {
|
|
"ADV-02": "memory sharing, partial stores at the measured window-layer hit rates (and hit 0.50 with layer 8 off), recomputation and the set-up amortisation on the complete board (section 13); the formal memory model's terms (section 16)",
|
|
"ADV-04": "selective participation over 2,000 era draws under the layer 1 band with two reserve families live per epoch, the specialist's revenue against its ratio gain (section 13); downtime and re-entry priced as the DAA window's lag, not simulated against the difficulty rule itself (owed)"
|
|
}
|
|
},
|
|
"pc:install-update": {
|
|
"command": "signed jobs and relay runs on the project's own rig (ae432dc7) and PC 2 (1ccfe586): the installer over the running app (rule 14: installed versions, the process set, the first upload), the OTA path (update-now, the update-return read-back line), and the no-click resume after the install (relay run mining-on-after-200.ps1)",
|
|
"box_class": "PC (the two Windows PCs; nothing on the Mac)",
|
|
"fixtures": [
|
|
"F2"
|
|
],
|
|
"cases": [
|
|
"UX-01",
|
|
"UX-07",
|
|
"OPS-03"
|
|
],
|
|
"coverage": {
|
|
"UX-01": "team-run evidence only (the two PCs taking the Windows entry through the app's own update path with no click and mining on every card); the P10 study is NOT RUN until unaffiliated participants are recruited",
|
|
"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"
|
|
}
|
|
},
|
|
"harness:release-manifest": {
|
|
"command": "bash tools/ci/release-manifest-check.sh (self-test, then the tree; the pins, the proof guests' hashes on disk, the fork freeze, the pool's vendored node, the proving manifest's source_commit provenance) and bash tools/ci/build-from-manifest.sh --box N on the release tree (kaspad with igneum-pow, igneum-miner, igneum-pool, igneum-app, igneum-prove-host from packaging/release-manifest.json with the node vendored at the manifest's sha)",
|
|
"box_class": "gate",
|
|
"fixtures": [
|
|
"F0"
|
|
],
|
|
"cases": [
|
|
"R2-F03-R01"
|
|
],
|
|
"coverage": {
|
|
"R2-F03-R01": "full for the components the tree builds (node, miner, pool, app, prove-host from one manifest, no unpublished vendor tree); the GPU workers are the kit's cross-build and read under the shipper's kit-isa line, not this cell"
|
|
}
|
|
},
|
|
"harness:same-work": {
|
|
"command": "tools/ci/p01-vectors.py --job-context <job-context.json> --phase 1|2|3 per reader (CUDA, OpenCL, Metal workers), igneum-miner --recheck-vectors (node), igneum-pow hash-bound (CPU reference), the pool's member-side re-check; docs/plans/igneum-2.0-same-work-test.md",
|
|
"box_class": "release (the readers on their pods and boxes)",
|
|
"fixtures": [
|
|
"F0"
|
|
],
|
|
"cases": [
|
|
"R2-F03-R02",
|
|
"R2-F03-R03"
|
|
],
|
|
"coverage": {
|
|
"R2-F03-R02": "partial until every reader has run: bit-for-bit agreement per nonce across node, CPU reference, CUDA, OpenCL, Metal and pool on one job context",
|
|
"R2-F03-R03": "partial: the day-boundary transition in phase 2 (the one transition every live network crosses hourly at 60x); a class rotation is the same test on a research object until a v6 floor is set"
|
|
}
|
|
},
|
|
"canary:fresh-install": {
|
|
"command": "the rule 33 fresh-install canary on a release tip (the founder, 8 October 2026): install from the published artefact on a non-AVX-512 box with an empty datadir, sync genesis to tip, five minutes mining with zero refusals and an accepted block, one shard claimed, proved and paid or queued, a bounded quit, every line read back; the record tools/ci/canary/<sha>.json (one file per sha, an artefacts list: fleet, windows, mac, hive) read by tools/ci/canary-check.sh <sha> [--artefact kind], which publish-manifest.sh and publish-public.sh refuse without",
|
|
"box_class": "release (a non-AVX-512 box with an empty datadir)",
|
|
"fixtures": [
|
|
"F0"
|
|
],
|
|
"cases": [
|
|
"INT-07"
|
|
],
|
|
"coverage": {
|
|
"INT-07": "partial: V6-12's clean-install half (one published object installed fresh, synced, mined, proved and paid on one host per artefact); the cross-host agreement half (node, pool, CPU verifier, each GPU host across activation) is harness:same-work's"
|
|
}
|
|
},
|
|
"review:k-lane-shadow-k": {
|
|
"command": "floor lane 2's placed and routed cores on ASAP7 in tools/chip-model/rtl (the rows in docs/analysis/class-v6/floor/shadow-k.md); 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": {
|
|
"GOV-02": "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",
|
|
"GOV-04": "the evidence vault F9 (raw and negative evidence preserved) is the gate rule landing by 21:00: a PASS must carry its evidence file",
|
|
"GOV-08": "the stale-evidence rule (evidence older than the manifest sha reads NOT RUN) is the gate rule landing by 21:00",
|
|
"GPU-04": "the memory-clock ladder has no harness tonight: the project's own rig mines nothing under the the earlier devnet off order",
|
|
"GPU-06": "accepted work under ordinary connectivity needs the fault network F4",
|
|
"GPU-07": "the sustained thermal and power soak has no harness tonight: the project's own rig mines nothing under the the earlier devnet 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",
|
|
"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",
|
|
"EVM-07": "execution DoS workloads need the workload catalogue F3",
|
|
"CAP-01": "the consumer-shard reproduction is the fleet lane's pods",
|
|
"CAP-02": "proving on the mining configuration is the fleet lane's",
|
|
"CAP-03": "the request-to-payment path is the proving fleet's measurement",
|
|
"CAP-04": "sustained load is the proving fleet's",
|
|
"CAP-05": "overload and recovery is the proving fleet's",
|
|
"CAP-06": "assignment windows are the proving fleet's",
|
|
"CAP-07": "reassignment is the proving fleet's",
|
|
"CAP-08": "customer-verifiable output is the reference apps plus the fleet",
|
|
"INC-05": "reservation abuse needs the capacity harness",
|
|
"INC-06": "difficulty and timestamp manipulation needs the fault network F4",
|
|
"INC-07": "self-dealing fees need the economic model and a live window",
|
|
"FIN-06": "old-key compromise analysis is the finality lane's long-range scenario, not yet in the sim",
|
|
"VER-07": "wallet key protection is the wallet lane's security row",
|
|
"OPS-01": "the no-founder exercise is an operations run, not a suite",
|
|
"OPS-02": "bootstrap diversity needs the fault network F4",
|
|
"OPS-05": "proving workload isolation is the fleet's pod row",
|
|
"OPS-07": "runbook detection is an operations run",
|
|
"OPS-08": "repeat independent operation is a cross-release observation",
|
|
"UX-05": "voting keys through pooling is the pool lane's row",
|
|
"COM-01": "commercial evidence, no automated harness",
|
|
"COM-02": "commercial evidence",
|
|
"COM-03": "commercial evidence",
|
|
"COM-04": "commercial evidence",
|
|
"COM-05": "commercial evidence",
|
|
"COM-06": "commercial evidence",
|
|
"COM-07": "commercial evidence",
|
|
"LEAD-02": "leadership comparison, an observation window",
|
|
"LEAD-03": "observation window",
|
|
"LEAD-04": "observation window",
|
|
"LEAD-05": "observation window",
|
|
"LEAD-06": "observation window",
|
|
"LEAD-08": "observation window",
|
|
"REV-F01-1": "F01 (P0, the external review): the regression's harness is the owner lane's (proving lane, node lane); not yet named in the map",
|
|
"REV-F01-2": "F01 (P0, the external review): the regression's harness is the owner lane's (proving lane, node lane); not yet named in the map",
|
|
"REV-F01-3": "F01 (P0, the external review): the regression's harness is the owner lane's (proving lane, node lane); not yet named in the map",
|
|
"REV-F01-4": "F01 (P0, the external review): the regression's harness is the owner lane's (proving lane, node lane); not yet named in the map",
|
|
"REV-F02-1": "F02 (P0, the external review): the regression's harness is the owner lane's (proving lane, CI steward); not yet named in the map",
|
|
"REV-F02-2": "F02 (P0, the external review): the regression's harness is the owner lane's (proving lane, CI steward); not yet named in the map",
|
|
"REV-F02-3": "F02 (P0, the external review): the regression's harness is the owner lane's (proving lane, CI steward); not yet named in the map",
|
|
"REV-F03-1": "F03 (P0, the external review): the regression's harness is the owner lane's (CI steward, hash lane (ProgramClass::V6 on freeze), pool lane); not yet named in the map",
|
|
"REV-F03-2": "F03 (P0, the external review): the regression's harness is the owner lane's (CI steward, hash lane (ProgramClass::V6 on freeze), pool lane); not yet named in the map",
|
|
"REV-F03-3": "F03 (P0, the external review): the regression's harness is the owner lane's (CI steward, hash lane (ProgramClass::V6 on freeze), pool lane); not yet named in the map",
|
|
"REV-F04-1": "F04 (P0, the external review): the regression's harness is the owner lane's (node lane, reference apps, site (explorer)); not yet named in the map",
|
|
"REV-F04-2": "F04 (P0, the external review): the regression's harness is the owner lane's (node lane, reference apps, site (explorer)); not yet named in the map",
|
|
"REV-F04-3": "F04 (P0, the external review): the regression's harness is the owner lane's (node lane, reference apps, site (explorer)); not yet named in the map",
|
|
"REV-F04-4": "F04 (P0, the external review): the regression's harness is the owner lane's (node lane, reference apps, site (explorer)); not yet named in the map",
|
|
"REV-F05-1": "F05 (P1, the external review): the regression's harness is the owner lane's (hash lane, adversary lane, floor lane 3); not yet named in the map",
|
|
"REV-F05-2": "F05 (P1, the external review): the regression's harness is the owner lane's (hash lane, adversary lane, floor lane 3); not yet named in the map",
|
|
"REV-F05-3": "F05 (P1, the external review): the regression's harness is the owner lane's (hash lane, adversary lane, floor lane 3); not yet named in the map",
|
|
"REV-F06-1": "F06 (P1, the external review): the regression's harness is the owner lane's (hash lane, research lane D); not yet named in the map",
|
|
"REV-F06-2": "F06 (P1, the external review): the regression's harness is the owner lane's (hash lane, research lane D); not yet named in the map",
|
|
"REV-F06-3": "F06 (P1, the external review): the regression's harness is the owner lane's (hash lane, research lane D); not yet named in the map",
|
|
"REV-F07-1": "F07 (P1, the external review): the regression's harness is the owner lane's (app lane, fleet lane); not yet named in the map",
|
|
"REV-F07-2": "F07 (P1, the external review): the regression's harness is the owner lane's (app lane, fleet lane); not yet named in the map",
|
|
"REV-F07-3": "F07 (P1, the external review): the regression's harness is the owner lane's (app lane, fleet lane); not yet named in the map",
|
|
"REV-F08-1": "F08 (P1, the external review): the regression's harness is the owner lane's (proving lane, fleet lane, site (ops page)); not yet named in the map",
|
|
"REV-F08-2": "F08 (P1, the external review): the regression's harness is the owner lane's (proving lane, fleet lane, site (ops page)); not yet named in the map",
|
|
"REV-F08-3": "F08 (P1, the external review): the regression's harness is the owner lane's (proving lane, fleet lane, site (ops page)); not yet named in the map",
|
|
"REV-F09-1": "F09 (P1, the external review): the regression's harness is the owner lane's (research lane, floor lane 3, coordinator); not yet named in the map",
|
|
"REV-F09-2": "F09 (P1, the external review): the regression's harness is the owner lane's (research lane, floor lane 3, coordinator); not yet named in the map",
|
|
"REV-F09-3": "F09 (P1, the external review): the regression's harness is the owner lane's (research lane, floor lane 3, coordinator); not yet named in the map",
|
|
"REV-F10-1": "F10 (P2, the external review): the regression's harness is the owner lane's (worker lane (new)); not yet named in the map",
|
|
"REV-F10-2": "F10 (P2, the external review): the regression's harness is the owner lane's (worker lane (new)); not yet named in the map",
|
|
"REV-F10-3": "F10 (P2, the external review): the regression's harness is the owner lane's (worker lane (new)); not yet named in the map",
|
|
"REV-F11-1": "F11 (P2, the external review): the regression's harness is the owner lane's (Ember lane (new)); not yet named in the map",
|
|
"REV-F11-2": "F11 (P2, the external review): the regression's harness is the owner lane's (Ember lane (new)); not yet named in the map",
|
|
"REV-F11-3": "F11 (P2, the external review): the regression's harness is the owner lane's (Ember lane (new)); not yet named in the map",
|
|
"REV-F12-1": "F12 (P1, the external review): the regression's harness is the owner lane's (pool lane (new)); not yet named in the map",
|
|
"REV-F12-2": "F12 (P1, the external review): the regression's harness is the owner lane's (pool lane (new)); not yet named in the map",
|
|
"REV-F12-3": "F12 (P1, the external review): the regression's harness is the owner lane's (pool lane (new)); not yet named in the map",
|
|
"REV-F13-1": "F13 (P1, the external review): the regression's harness is the owner lane's (pool lane (new)); not yet named in the map",
|
|
"REV-F13-2": "F13 (P1, the external review): the regression's harness is the owner lane's (pool lane (new)); not yet named in the map",
|
|
"REV-F13-3": "F13 (P1, the external review): the regression's harness is the owner lane's (pool lane (new)); not yet named in the map",
|
|
"REV-F14-1": "F14 (P1, the external review): the regression's harness is the owner lane's (app lane, relay lane); not yet named in the map",
|
|
"REV-F14-2": "F14 (P1, the external review): the regression's harness is the owner lane's (app lane, relay lane); not yet named in the map",
|
|
"REV-F14-3": "F14 (P1, the external review): the regression's harness is the owner lane's (app lane, relay lane); not yet named in the map",
|
|
"INT-01": "INT-01 (R1 integration gate): the gate's harness is the owner lane's (proving lane (a6e8f84588b809d62)); not yet named in the map",
|
|
"INT-02": "INT-02 (R1 integration gate): the gate's harness is the owner lane's (proving lane (a6e8f84588b809d62)); not yet named in the map",
|
|
"INT-03": "INT-03 (R1 integration gate): the gate's harness is the owner lane's (pool lane (a1c484c48a62948c2)); not yet named in the map",
|
|
"INT-04": "INT-04 (R1 integration gate): the gate's harness is the owner lane's (pool lane (a1c484c48a62948c2)); not yet named in the map",
|
|
"INT-05": "INT-05 (R1 integration gate): the gate's harness is the owner lane's (node lane (a283f5f0d364ceef0)); not yet named in the map",
|
|
"INT-06": "INT-06 (R1 integration gate): the gate's harness is the owner lane's (node lane (a283f5f0d364ceef0)); not yet named in the map",
|
|
"INT-08": "INT-08 (R1 integration gate): the gate's harness is the owner lane's (CI steward with the hash lane (a690540514aa453d7) and the worker lane (a9e87343f008e0edd)); not yet named in the map",
|
|
"INT-09": "INT-09 (R1 integration gate): the gate's harness is the owner lane's (app lane); not yet named in the map",
|
|
"INT-10": "INT-10 (R1 integration gate): the gate's harness is the owner lane's (CI steward with the hash lane (a690540514aa453d7) and the worker lane (a9e87343f008e0edd)); not yet named in the map",
|
|
"INT-11": "INT-11 (R1 integration gate): the gate's harness is the owner lane's (app lane); not yet named in the map",
|
|
"INT-12": "INT-12 (R1 integration gate): the gate's harness is the owner lane's (proving lane (a6e8f84588b809d62) and fleet lane (ac055d60427caab99)); not yet named in the map",
|
|
"INT-13": "INT-13 (R1 integration gate): the gate's harness is the owner lane's (Ember lane (a04fe3451877e2ff0) with the app lane); not yet named in the map",
|
|
"INT-14": "INT-14 (R1 integration gate): the gate's harness is the owner lane's (Ember lane (a04fe3451877e2ff0) with the app lane); not yet named in the map",
|
|
"INT-15": "INT-15 (R1 integration gate): the gate's harness is the owner lane's (pool lane (a1c484c48a62948c2)); not yet named in the map",
|
|
"INT-16": "INT-16 (R1 integration gate): the gate's harness is the owner lane's (pool lane (a1c484c48a62948c2)); not yet named in the map",
|
|
"INT-17": "INT-17 (R1 integration gate): the gate's harness is the owner lane's (proving lane (a6e8f84588b809d62)); not yet named in the map",
|
|
"INT-18": "INT-18 (R1 integration gate): the gate's harness is the owner lane's (research lane (ad6a2bd47d4a46105)); not yet named in the map",
|
|
"R2-F01-R01": "R2-F01 (P0, the external review): the regression's harness is the owner lane's (proving lane, node lane); not yet named in the map",
|
|
"R2-F01-R02": "R2-F01 (P0, the external review): the regression's harness is the owner lane's (proving lane, node lane); not yet named in the map",
|
|
"R2-F01-R03": "R2-F01 (P0, the external review): the regression's harness is the owner lane's (proving lane, node lane); not yet named in the map",
|
|
"R2-F01-R04": "R2-F01 (P0, the external review): the regression's harness is the owner lane's (proving lane, node lane); not yet named in the map",
|
|
"R2-F02-R01": "R2-F02 (P0, the external review): the regression's harness is the owner lane's (proving lane, CI steward); not yet named in the map",
|
|
"R2-F02-R02": "R2-F02 (P0, the external review): the regression's harness is the owner lane's (proving lane, CI steward); not yet named in the map",
|
|
"R2-F02-R03": "R2-F02 (P0, the external review): the regression's harness is the owner lane's (proving lane, CI steward); not yet named in the map",
|
|
"R2-F04-R01": "R2-F04 (P0, the external review): the regression's harness is the owner lane's (node lane, reference apps, site (explorer)); not yet named in the map",
|
|
"R2-F04-R02": "R2-F04 (P0, the external review): the regression's harness is the owner lane's (node lane, reference apps, site (explorer)); not yet named in the map",
|
|
"R2-F04-R03": "R2-F04 (P0, the external review): the regression's harness is the owner lane's (node lane, reference apps, site (explorer)); not yet named in the map",
|
|
"R2-F04-R04": "R2-F04 (P0, the external review): the regression's harness is the owner lane's (node lane, reference apps, site (explorer)); not yet named in the map",
|
|
"R2-F05-R01": "R2-F05 (P1, the external review): the regression's harness is the owner lane's (hash lane, adversary lane, floor lane 3); not yet named in the map",
|
|
"R2-F05-R02": "R2-F05 (P1, the external review): the regression's harness is the owner lane's (hash lane, adversary lane, floor lane 3); not yet named in the map",
|
|
"R2-F05-R03": "R2-F05 (P1, the external review): the regression's harness is the owner lane's (hash lane, adversary lane, floor lane 3); not yet named in the map",
|
|
"R2-F06-R01": "R2-F06 (P1, the external review): the regression's harness is the owner lane's (hash lane, research lane D); not yet named in the map",
|
|
"R2-F06-R02": "R2-F06 (P1, the external review): the regression's harness is the owner lane's (hash lane, research lane D); not yet named in the map",
|
|
"R2-F06-R03": "R2-F06 (P1, the external review): the regression's harness is the owner lane's (hash lane, research lane D); not yet named in the map",
|
|
"R2-F07-R01": "R2-F07 (P1, the external review): the regression's harness is the owner lane's (app lane, fleet lane); not yet named in the map",
|
|
"R2-F07-R02": "R2-F07 (P1, the external review): the regression's harness is the owner lane's (app lane, fleet lane); not yet named in the map",
|
|
"R2-F07-R03": "R2-F07 (P1, the external review): the regression's harness is the owner lane's (app lane, fleet lane); not yet named in the map",
|
|
"R2-F08-R01": "R2-F08 (P1, the external review): the regression's harness is the owner lane's (proving lane, fleet lane, site (ops page)); not yet named in the map",
|
|
"R2-F08-R02": "R2-F08 (P1, the external review): the regression's harness is the owner lane's (proving lane, fleet lane, site (ops page)); not yet named in the map",
|
|
"R2-F08-R03": "R2-F08 (P1, the external review): the regression's harness is the owner lane's (proving lane, fleet lane, site (ops page)); not yet named in the map",
|
|
"R2-F09-R01": "R2-F09 (P1, the external review): the regression's harness is the owner lane's (research lane, floor lane 3, coordinator); not yet named in the map",
|
|
"R2-F09-R02": "R2-F09 (P1, the external review): the regression's harness is the owner lane's (research lane, floor lane 3, coordinator); not yet named in the map",
|
|
"R2-F09-R03": "R2-F09 (P1, the external review): the regression's harness is the owner lane's (research lane, floor lane 3, coordinator); not yet named in the map",
|
|
"R2-F10-R01": "R2-F10 (P2, the external review): the regression's harness is the owner lane's (worker lane (new)); not yet named in the map",
|
|
"R2-F10-R02": "R2-F10 (P2, the external review): the regression's harness is the owner lane's (worker lane (new)); not yet named in the map",
|
|
"R2-F10-R03": "R2-F10 (P2, the external review): the regression's harness is the owner lane's (worker lane (new)); not yet named in the map",
|
|
"R2-F11-R01": "R2-F11 (P2, the external review): the regression's harness is the owner lane's (Ember lane (new)); not yet named in the map",
|
|
"R2-F11-R02": "R2-F11 (P2, the external review): the regression's harness is the owner lane's (Ember lane (new)); not yet named in the map",
|
|
"R2-F11-R03": "R2-F11 (P2, the external review): the regression's harness is the owner lane's (Ember lane (new)); not yet named in the map",
|
|
"R2-F12-R01": "R2-F12 (P1, the external review): the regression's harness is the owner lane's (pool lane (new)); not yet named in the map",
|
|
"R2-F12-R02": "R2-F12 (P1, the external review): the regression's harness is the owner lane's (pool lane (new)); not yet named in the map",
|
|
"R2-F12-R03": "R2-F12 (P1, the external review): the regression's harness is the owner lane's (pool lane (new)); not yet named in the map",
|
|
"R2-F13-R01": "R2-F13 (P1, the external review): the regression's harness is the owner lane's (pool lane (new)); not yet named in the map",
|
|
"R2-F13-R02": "R2-F13 (P1, the external review): the regression's harness is the owner lane's (pool lane (new)); not yet named in the map",
|
|
"R2-F13-R03": "R2-F13 (P1, the external review): the regression's harness is the owner lane's (pool lane (new)); not yet named in the map",
|
|
"R2-F14-R01": "R2-F14 (P1, the external review): the regression's harness is the owner lane's (app lane, relay lane); not yet named in the map",
|
|
"R2-F14-R02": "R2-F14 (P1, the external review): the regression's harness is the owner lane's (app lane, relay lane); not yet named in the map",
|
|
"R2-F14-R03": "R2-F14 (P1, the external review): the regression's harness is the owner lane's (app lane, relay lane); not yet named in the map"
|
|
}
|
|
}
|