Freeze
Release identity
No formal run or public pass before approval.
8 cases: 0 passed under the standard, 3 running with team evidence, 5 not run, 0 deferred
- GOV8 casesRUNNING
diff --git a/docs/build/build.md b/docs/build/build.md index 0668fb712..feb61f0ca 100644 --- a/docs/build/build.md +++ b/docs/build/build.md @@ -4,7 +4,7 @@ This file is the source of [igneum.network/build](https://igneum.network/build). ## What is different -**Every block is built to be proven.** A chain block carries a zero-knowledge proof of its execution. The miners are the provers: the same cards that find blocks prove them, in shards. On the devnet a share of blocks carries a proof today; the live page shows the share and the lag, and the design target at launch is under a minute. Full nodes execute every block themselves, so a bad proof is a light-client problem and never a chain split. +**Every block is built to be proven.** A chain block carries a zero-knowledge proof of its execution. The miners are the provers: the same cards that find blocks prove them, in shards. On the devnet a share of blocks carries a proof today (TEAM-REPORTED, 8 October 2026); the live page shows the share and the lag, and the design target at launch is under a minute (designed). Full nodes execute every block themselves, so a bad proof is a light-client problem and never a chain split. **A lock in minutes, not an hour of confirmations.** Miners sign a checkpoint every 30 seconds. When two thirds of the mining weight of the last 30 days have signed, the checkpoint is locked. Weight is blocks mined, nothing else. The lock lands in about two minutes. The [litepaper](/litepaper) has the rule. diff --git a/docs/evidence.md b/docs/evidence.md index fdcf6ed7f..431671aa6 100644 --- a/docs/evidence.md +++ b/docs/evidence.md @@ -38,8 +38,9 @@ Every row carries its release evidence packet at the end of its Result cell: par | 3 | The 64-register window per lane costs a GPU under 1 percent of rate at stock, and at most 5 percent per load with the liveness chain | The litepaper (class v6); `docs/plans/igneum-2.0.md` D1 (the placed 64-register rows) | TEAM-REPORTED; tested by the team | `docs/analysis/class-v6/connected-state.md` section 4; `docs/design/class-v6-rotating-family.md` section 10.0e | The class v5 nvcc harness and the kit worker, both packs on the same card minutes apart, 250 batches of 2^24, nvidia-smi at 1 Hz, vectors PASS on every row (`connected-state.md` section 4); the per-load rows of the full chain against the base (`class-v6-rotating-family.md` 10.0e) | 8 October 2026, rented RTX 5090 (575 W cap) and RTX 4090 (450 W cap) at stock: energy per hash +0.6 percent on the RTX 5090 and -0.9 percent on the RTX 4090, inside the run-to-run noise; under 1 percent of rate; 80 to 87 registers per thread, no spill (all measured). Per load: RTX 5090 16.7 nJ base, 17.6 nJ full chain; RTX 4090 26.0 nJ, 27.0 nJ (measured). The lock row on the project's own rigs is owed Case: GPU-03 | none yet. Packet: parameters a rented RTX 5090 and RTX 4090 at stock, the liveness chain, class v4; procedure the hash lane's harness rows in connected-state.md section 4; raw result energy per hash +0.6 percent and -0.9 percent, at most 5 percent per load; reproduction none yet; review scope none; unresolved two cards, one day, no AMD or Apple row | | 4 | Reorganising the same work around live state (the connected-state variant, experiment D2(a)) does not reduce a specialised chip's edge: KILL as a class | `docs/plans/igneum-2.0.md` D2(a); this page | TEAM-REPORTED; tested by the team (a published failure) | `docs/analysis/class-v6/connected-state.md` (the verdict, section 6) | The census, liveness and GPU rows in `connected-state.md` sections 2 to 4; the chip side priced on the drawn program by synthesis (a model, never a lower bound) | 8 October 2026, verdict 17:25 UK: the window is necessary (63 of 64 registers live at every address, measured) but only its width reaches the chip, +1.2 pJ per lane-op at N5 (synthesised); the window moves the chip's edge 1.10x node for node against a 1.25x gate (modelled); the GPU side +0.6 percent energy per hash on the RTX 5090, -0.9 percent on the RTX 4090 at stock (measured). Rearranging the dependency graph of the same operations moves neither side Case: POW-04 | none yet. Packet: parameters the connected-state generator variant behind a flag, the census TSVs; procedure connected-state.md; raw result +1.2 pJ per lane-op at N5 on the chip side, the GPU side unmoved; reproduction none yet; review scope none; unresolved the chip side is modelled, not measured | | 5 | "A GPU-secured network for Ethereum-compatible applications and verifiable computation." served on every page | Every page | PROPOSED; designed (served) | `docs/plans/igneum-2.0.md` (the objective: the positioning line) | `node tools/ci/ledger-text-check.mjs`: the sentence pinned (R0) on the home page, the litepaper and this page | 8 October 2026: on this page; the home page and the litepaper carry it as their 2.0 text lands (designed) Case: GOV-08 | none yet. Packet: parameters none (a served sentence); procedure the ledger-text check pins it on every page; raw result the check's count; reproduction not applicable; review scope the three external reviews the founder accepted; unresolved none | -| 6 | The chip claim as served: "Igneum remains competitive on accessible commodity GPUs even when specialised mining hardware is assumed to exist, remain compatible and seek profit; its security does not rely on identifying that hardware or retiring it through emergency changes." Under it the three statements, separate: energy ("Current modelling estimates a 1.5x to 3.1x energy-efficiency advantage for the specialised designs assessed as complete machines against the GPU tier, from a board on commodity DRAM at 1.5x to an SRAM-store die at 3.1x (1.5x to 2.3x on the GPU's own node)." Per machine on the same node and a node ahead: the DRAM board 1.5x to 1.6x and 1.8x, the hybrid 1.9x to 2.1x and 2.4x to 2.6x, the die 2.3x and 3.1x; across the adversary's lane-count choice the same-node bracket is 1.5x to 2.1x and a node ahead 1.8x to 2.6x; 3x to 6x per dollar of hardware at list price. MODELLED: the GPU side measured, the chip's core placed and routed, the rest of the machine modelled, no chip measured, hardware cost approximate within 2x), economic and response capability, rotation an optional improvement. Class v5 derives the dataset from chain state; whether that excludes a specialised design is under evaluation (Deliverable 3), since a design that tracks state is not excluded by staleness. The dataset policy (PROPOSED; the genesis size is the founder's decision, pending; no size served as decided): "The dataset’s size is a one-off hardware ticket on specialised designs and a running energy tax on commodity cards: at 4 to 5.5 GiB a locked Blackwell card pays 12 to 14 percent more energy per hash than at 1 GiB (an 8 GB AMD card under 3 percent of rate), while the board on commodity DRAM pays nothing and the SRAM designs pay a hardware cost that does not change their outcome. So the genesis size is the founder’s decision on that scoring, pending (this lane’s recommendation 4 GiB, the largest size that keeps every entry card and a 12 GB card’s mining and proving together), and every later step is scored at 5 percent against it and taken only when the chain’s own state outgrows the dataset, not on a calendar." (PROPOSED; the energy-against-size curve on the litepaper: 1, 2, 4 and 5.5 GiB at stock and at the lock measured on an RTX 5090 against its own 1 GiB control, +0.7 and +4.3 percent at stock, +11.7 and +13.4 at the lock for 4 and 5.5 GiB, the 2 GiB knee cell a paired read in flight; the exclusions by memory; the SRAM tickets modelled). A failure, reported as found: "ECO-05, the standard's coexistence sweep, was run on a register frozen before any result against a sourced revenue reference of USD 31.65 million a year of miner revenue (Ethereum Classic's trailing year at its current era 6 reward) and FAILS the envelope as the chain stands. Of sixteen revenue and tariff worlds (a quarter, one, four and ten times the reference; electricity at 3, 10, 25 and 40 cents per kilowatt-hour) only one sustains new entry across two vendors, ten times the reference at 3 cents (about USD 316 million a year), because on this hash the measured AMD and Intel cards cost four to six times a Blackwell card per joule and never earn a new entrant's purchase back at list price below that world; in that one world no specialised design sits inside the envelope against the whole cohort (the board on commodity DRAM is within the envelope only against the best Blackwell card, the die and the hybrid against no card of today's), and the quarter-reference worlds at 25 and 40 cents are collapse worlds with no rational profitable operator. What moves the result is the specialist's hardware cost per unit of work, the honest cards' own efficiency on this hash, above all the AMD and Intel cards' energy, and the dataset's size floor; not a smaller network, a higher token price or any chip's death. Reported as found; the register, the full result cube and the model are published for independent reproduction." (Labels: the register frozen at 18:37 UK on 8 October 2026, the reference corrected by a second public read and the run repeated with the verdict unchanged, the cube MODELLED on measured card rows, two cohort rows BLOCKED, the RX 7600's knee and the Arc's watts, their measurement running tonight; the registry row ECO-05 on /acceptance; the results file docs/analysis/class-v6/eco-05-results.md.) The energy ratio is not the pass criterion: the coexistence model ([docs/analysis/class-v6/coexistence-model.md](https://git.igneum.network/igneum-network/igneum/src/branch/master/docs/analysis/class-v6/coexistence-model.md)) is, and its first run's result is served with its conditions: A specialised supplier may earn a normal return; ordinary GPUs remain sufficiently close in total cost, widely obtainable and useful outside mining that new operators can still compete. On today's modelled rows that holds for the chip anyone can build, a stored-dataset board on commodity DRAM, at a productive life of one to three years: its cost per accepted unit of work sits within the range of the best GPU owner and entrant, it passes six of the seven conditions (a third of the network in boards now costs less than a year's revenue at the final hardware price), and a fleet of it holds a minority of the network with GPU entrants still setting the price. For the SRAM-store die the outcome turns on its hardware cost per unit of work, not its energy advantage: at the reconciled machine cost, set by the power train and the shadow core rather than the die, it fails the cost, hardware, fleet and margin conditions at every point of the band, a modest fleet holds about two fifths of a growing network and three fifths of a flat one on arrival and takes every flat or shrinking network within five years, and the only coexistence-shaped outcome is private supply in a growing network; what holds it is the investment decision, since its economics are project economics. A third design, a DRAM board with the hottest half of the dataset in on-board SRAM, sits between the two: it coexists only in a growing network at cheap GPU electricity and fails the cost conditions in a flat or shrinking one, and the dataset's size floor is a real lever on it where it was none on the SRAM die. What holds the die is the investment decision, not the hash; every chip figure here is modelled, not measured, and the chip's hardware cost per unit of work is approximate within 2x. | The litepaper (the chip model) | MODELLED; designed (the bracket modelled; the GPU side tested by the team) | `docs/design/class-v6-rotating-family.md` section 10 (10.0h to 10.0n, 8 October 2026); `docs/plans/igneum-2.0.md` D3 and D4 | the scoring rule in the close (the minimum over workloads of the maximum over free adversarial designs of the GPU's joules per hash over the adversary's, under the 10 percent GPU-cost budget at the lock, the verifier limit, cross-vendor correctness and hardware accessibility); the placed rows are D3's | the GPU side measured: the RTX 5080 at its 1,100 MHz lock 2.06 microjoules per hash and the RTX 5090 at its 1,300 MHz lock 2.33 (8 October 2026, the project's own rigs and rented pods); the chip side synthesised and claimed, its placed gated row pending Case: ADV-01 | none yet. Packet: parameters the placed full 18-family core on ASAP7, claimed node scaling, the GDDR7 board, the RTX 5090 at its 1,300 MHz lock on class v4; procedure class-v6-rotating-family.md section 10 and coexistence-model.md; raw result the energies and verdicts as served; reproduction none yet; review scope three external reviews of the close, findings taken; unresolved no chip measured, hardware cost approximate within 2x, the k lane's 32-lane placed row pending | +| 6 | The chip claim as served: "Igneum remains competitive on accessible commodity GPUs even when specialised mining hardware is assumed to exist, remain compatible and seek profit; its security does not rely on identifying that hardware or retiring it through emergency changes." Under it the three statements, separate: energy ("Current modelling estimates a 1.5x to 3.1x energy-efficiency advantage for the specialised designs assessed as complete machines against the GPU tier, from a board on commodity DRAM at 1.5x to an SRAM-store die at 3.1x (1.5x to 2.3x on the GPU's own node). For the board on commodity DRAM the two independent chip models agree after placement: 1.5x to 1.8x as a complete machine and 2.0x to 2.4x for the board alone on the GPU's own node; a node ahead 1.8x to 2.1x and 2.45x to 2.8x (both placed and routed on ASAP7, the node scaling claimed, the machine terms modelled). The standard's P04 target as approved: R_E at most 1.5 on the same node and one node ahead; today's placed bracket reads against it as a FAIL to work against." Per machine on the same node and a node ahead: the DRAM board 1.5x to 1.6x and 1.8x, the hybrid 1.9x to 2.1x and 2.4x to 2.6x, the die 2.3x and 3.1x; across the adversary's lane-count choice the same-node bracket is 1.5x to 2.1x and a node ahead 1.8x to 2.6x; 3x to 6x per dollar of hardware at list price. MODELLED: the GPU side measured, the chip's core placed and routed, the rest of the machine modelled, no chip measured, hardware cost approximate within 2x), economic and response capability, rotation an optional improvement. Class v5 derives the dataset from chain state; whether that excludes a specialised design is under evaluation (Deliverable 3), since a design that tracks state is not excluded by staleness. The dataset policy (PROPOSED; the genesis size is the founder's decision, pending; no size served as decided): "The dataset’s size is a one-off hardware ticket on specialised designs and a running energy tax on commodity cards: at 4 to 5.5 GiB a locked Blackwell card pays 12 to 14 percent more energy per hash than at 1 GiB (an 8 GB AMD card under 3 percent of rate), while the board on commodity DRAM pays nothing and the SRAM designs pay a hardware cost that does not change their outcome. So the genesis size is the founder’s decision on that scoring, pending (this lane’s recommendation 4 GiB, the largest size that keeps every entry card and a 12 GB card’s mining and proving together), and every later step is scored at 5 percent against it and taken only when the chain’s own state outgrows the dataset, not on a calendar." (PROPOSED; the energy-against-size curve on the litepaper: 1, 2, 4 and 5.5 GiB at stock and at the lock measured on an RTX 5090 against its own 1 GiB control, +0.7 and +4.3 percent at stock, +11.7 and +13.4 at the lock for 4 and 5.5 GiB, the 2 GiB knee cell a paired read in flight; the exclusions by memory; the SRAM tickets modelled). A failure, reported as found: "ECO-05, the standard's coexistence sweep, was run on a register frozen before any result against a sourced revenue reference of USD 31.65 million a year of miner revenue (Ethereum Classic's trailing year at its current era 6 reward) and FAILS the envelope as the chain stands. Of sixteen revenue and tariff worlds (a quarter, one, four and ten times the reference; electricity at 3, 10, 25 and 40 cents per kilowatt-hour) only one sustains new entry across two vendors, ten times the reference at 3 cents (about USD 316 million a year), because on this hash the measured AMD and Intel cards cost four to six times a Blackwell card per joule and never earn a new entrant's purchase back at list price below that world; in that one world no specialised design sits inside the envelope against the whole cohort (the board on commodity DRAM is within the envelope only against the best Blackwell card, the die and the hybrid against no card of today's), and the quarter-reference worlds at 25 and 40 cents are collapse worlds with no rational profitable operator. What moves the result is the specialist's hardware cost per unit of work, the honest cards' own efficiency on this hash, above all the AMD and Intel cards' energy, and the dataset's size floor; not a smaller network, a higher token price or any chip's death. Reported as found; the register, the full result cube and the model are published for independent reproduction." (Labels: the register frozen at 18:37 UK on 8 October 2026, the reference corrected by a second public read and the run repeated with the verdict unchanged, the cube MODELLED on measured card rows, two cohort rows BLOCKED, the RX 7600's knee and the Arc's watts, their measurement running tonight; the registry row ECO-05 on /acceptance; the results file docs/analysis/class-v6/eco-05-results.md.) The energy ratio is not the pass criterion: the coexistence model ([docs/analysis/class-v6/coexistence-model.md](https://git.igneum.network/igneum-network/igneum/src/branch/master/docs/analysis/class-v6/coexistence-model.md)) is, and its first run's result is served with its conditions: A specialised supplier may earn a normal return; ordinary GPUs remain sufficiently close in total cost, widely obtainable and useful outside mining that new operators can still compete. On today's modelled rows that holds for the chip anyone can build, a stored-dataset board on commodity DRAM, at a productive life of one to three years: its cost per accepted unit of work sits within the range of the best GPU owner and entrant, it passes six of the seven conditions (a third of the network in boards now costs less than a year's revenue at the final hardware price), and a fleet of it holds a minority of the network with GPU entrants still setting the price. For the SRAM-store die the outcome turns on its hardware cost per unit of work, not its energy advantage: at the reconciled machine cost, set by the power train and the shadow core rather than the die, it fails the cost, hardware, fleet and margin conditions at every point of the band, a modest fleet holds about two fifths of a growing network and three fifths of a flat one on arrival and takes every flat or shrinking network within five years, and the only coexistence-shaped outcome is private supply in a growing network; what holds it is the investment decision, since its economics are project economics. A third design, a DRAM board with the hottest half of the dataset in on-board SRAM, sits between the two: it coexists only in a growing network at cheap GPU electricity and fails the cost conditions in a flat or shrinking one, and the dataset's size floor is a real lever on it where it was none on the SRAM die. What holds the die is the investment decision, not the hash; every chip figure here is modelled, not measured, and the chip's hardware cost per unit of work is approximate within 2x. | The litepaper (the chip model) | MODELLED; designed (the bracket modelled; the GPU side tested by the team) | `docs/design/class-v6-rotating-family.md` section 10 (10.0h to 10.0n, 8 October 2026); `docs/plans/igneum-2.0.md` D3 and D4 | the scoring rule in the close (the minimum over workloads of the maximum over free adversarial designs of the GPU's joules per hash over the adversary's, under the 10 percent GPU-cost budget at the lock, the verifier limit, cross-vendor correctness and hardware accessibility); the placed rows are D3's | the GPU side measured: the RTX 5080 at its 1,100 MHz lock 2.06 microjoules per hash and the RTX 5090 at its 1,300 MHz lock 2.33 (8 October 2026, the project's own rigs and rented pods); the chip side synthesised and claimed, its placed gated row pending Case: ADV-01 | none yet. Packet: parameters the placed full 18-family core on ASAP7, claimed node scaling, the GDDR7 board, the RTX 5090 at its 1,300 MHz lock on class v4; procedure class-v6-rotating-family.md section 10 and coexistence-model.md; raw result the energies and verdicts as served; reproduction none yet; review scope three external reviews of the close, findings taken; unresolved no chip measured, hardware cost approximate within 2x, the k lane's 32-lane placed row pending | | 7 | Mining and proving together on one card needs a 16 GB card at the proposed 5.5 GiB dataset (the genesis size is pending the founder’s decision; at a smaller dataset the miner holds less and the rule is not yet measured): the miner holds about 6.1 GiB and a compressed shard proof peaks at about 7.5 GiB, so 8 GB and 12 GB cards time-share (the app pauses the miner for the proof). NVIDIA proves; AMD and Apple mine | The litepaper (Proving, vs RandomX); the miner page | TEAM-REPORTED; tested by the team | `docs/analysis/class-v6/coexist-rows.md` (the 5.5 GiB ds55 miner beside igneum-prove-host-0317, compressed at threshold 2^26, the served sm_86 and sm_89 floors) | the RESULT rows in that file, verbatim from the runs | rented RTX 3060 12 GB: 26.82 MH/s at 117.4 W with 6,129 MiB resident; the compressed shard 13.2 s, peak 7,525 MiB (6,129 + 7,525 = 13,654 MiB against 12,288); rented RTX 4060 8 GB: 18.84 MH/s, 6,116 MiB resident; the shard 8.2 s, peak 7,532 MiB; 8 October 2026 Case: GPU-05 | none yet. Packet: parameters the 5.5 GiB ds55 miner, igneum-prove-host-0317 compressed at threshold 2^26, sm_86 and sm_89; procedure coexist-rows.md; raw result the RESULT rows verbatim; reproduction none yet; review scope none; unresolved two cards on one day, the 6 October rows stand as 1 GiB-dataset rows | +| 8 | Finality is active on the Igneum 2.0 devnet from checkpoint 241, 115 minutes after block one, with 78 percent of active weight signing | The live page's strip; the explorer; this page | TEAM-REPORTED; activated: the first lock at 19:08:25 UK on 8 October 2026 (checkpoint 241, DAA 7,247, 77.8 percent of active weight; checkpoint 242 at 19:08:48) | the node's checkpoint state through the observer (/api/live finality.active, latest_locked_index); node 4cdcc488 on release-2.0.0-node | the observer's finality fields read at the edge (supported true, active true, latest_locked_index 244 at 19:10 UK). Case: FIN-01 | 8 October 2026, 19:08 UK: the first lock 115 minutes after the first block at 17:14; the weight window filled at DAA 7,200. Packet: parameters rule v3 from checkpoint DAA 0, the 7,200 DAA presence window, two thirds of active and of total weight; procedure the observer's checkpoint table; raw result checkpoint 241 locked at DAA 7,247 with 77.8 percent of active weight; reproduction none yet; review scope none; unresolved a pause has not yet been observed on this chain | none yet | ## Count by status @@ -47,12 +48,12 @@ Every row carries its release evidence packet at the end of its Result cell: par |---|---| | designed | 2 (rows 5, 6) | | implemented | 0 | -| activated | 2 (rows 1, 2) | +| activated | 3 (rows 1, 2, 8) | | tested by the team | 3 (rows 3, 4, 7) | | reproduced externally | 0 | | reviewed independently | 0 | -7 rows. The rendered page is `site/evidence.html` (served at /evidence), generated from this file by `site/build.mjs`; the text is judgement, so this file is edited by hand and the page follows. +8 rows. The rendered page is `site/evidence.html` (served at /evidence), generated from this file by `site/build.mjs`; the text is judgement, so this file is edited by hand and the page follows. ## What would move a row diff --git a/docs/plans/igneum-2.0-test-harness-map.md b/docs/plans/igneum-2.0-test-harness-map.md index a540fe8f8..0e7f39f43 100644 --- a/docs/plans/igneum-2.0-test-harness-map.md +++ b/docs/plans/igneum-2.0-test-harness-map.md @@ -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 diff --git a/docs/plans/igneum-2.0-test-registry.json b/docs/plans/igneum-2.0-test-registry.json index 3480a99d1..e21c357f4 100644 --- a/docs/plans/igneum-2.0-test-registry.json +++ b/docs/plans/igneum-2.0-test-registry.json @@ -50,16 +50,16 @@ "manual_page": 18, "owner_lane": "node lane (a283f5f0d364ceef0)", "run_status": "RUNNING", - "evidence_path": "build-1:/srv/artefacts/tas/200-417c4a57-b2/miner-7d82b71e/box4-pow.log", - "run_id": "200-417c4a57-b2", - "updated": "2026-10-08T18:28:32.408Z", + "evidence_path": "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", + "run_id": "f0-manifest-20261008-b", + "updated": "2026-10-08T18:51:08.834Z", "evidence_record": { "cell": "check:freeze", - "manifest_sha": "417c4a57", + "manifest_sha": "ef0f2ed8", "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" }, - "at": "2026-10-08T18:28:32.408Z" + "at": "2026-10-08T18:51:08.834Z" } }, { @@ -165,10 +165,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:51:08.834Z", "evidence_record": { "reason": "the evidence vault F9 (raw and negative evidence preserved) is the gate rule landing by 21:00: a PASS must carry its evidence file", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:51:08.834Z" } }, { @@ -321,10 +321,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:51:08.834Z", "evidence_record": { "reason": "the stale-evidence rule (evidence older than the manifest sha reads NOT RUN) is the gate rule landing by 21:00", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:51:08.834Z" } } ] @@ -587,10 +587,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:51:08.834Z", "evidence_record": { "reason": "accepted work under ordinary connectivity needs the fault network F4", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:51:08.834Z" } }, { @@ -708,16 +708,18 @@ "manual_page": 24, "owner_lane": "hash lane (a690540514aa453d7)", "run_status": "RUNNING", - "evidence_path": "build-2:/srv/artefacts/tas/review-harness-20261008T180034Z/igneum-algorithm-review/all_results.json", - "run_id": "review-harness-20261008T180034Z", - "updated": "2026-10-08T18:28:32.518Z", + "evidence_path": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/node-ef0f2ed8/box4-miner.log", + "run_id": "201-ef0f2ed8-2826f37e", + "updated": "2026-10-08T18:51:08.658Z", "evidence_record": { - "cell": "crosscheck:review-harness", - "manifest_sha": "07e5fa68", + "cell": "suite:miner", + "manifest_sha": "ef0f2ed8", "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" + "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" }, - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:51:08.658Z" } }, { @@ -747,18 +749,18 @@ "manual_page": 24, "owner_lane": "hash lane (a690540514aa453d7)", "run_status": "RUNNING", - "evidence_path": "docs/analysis/class-v6/rows/pow-07-fp32-unreachable.md", - "run_id": "hash-lane-20261008-batch1", - "updated": "2026-10-08T18:41:01.185Z", + "evidence_path": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/miner-2826f37e/box2-pow.log", + "run_id": "201-ef0f2ed8-2826f37e", + "updated": "2026-10-08T18:51:08.658Z", "evidence_record": { "cell": "suite:pow", - "manifest_sha": "c245d50b9", + "manifest_sha": "ef0f2ed8", "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", "POW-07": "the mixed FP32 branch is excluded and unreachable: no class flag reaches an FP op in igneum-pow on master (the mixedfp lane's branch is not on master); evidence the grep of the emitters on master, recorded by the hash lane" }, - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:51:08.658Z" } }, { @@ -938,18 +940,18 @@ "manual_page": 26, "owner_lane": "hash lane (a690540514aa453d7)", "run_status": "RUNNING", - "evidence_path": "docs/analysis/class-v6/rows/pow-07-fp32-unreachable.md", - "run_id": "hash-lane-20261008-batch1", - "updated": "2026-10-08T18:41:01.185Z", + "evidence_path": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/miner-2826f37e/box2-pow.log", + "run_id": "201-ef0f2ed8-2826f37e", + "updated": "2026-10-08T18:51:08.658Z", "evidence_record": { "cell": "suite:pow", - "manifest_sha": "c245d50b9", + "manifest_sha": "ef0f2ed8", "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", "POW-07": "the mixed FP32 branch is excluded and unreachable: no class flag reaches an FP op in igneum-pow on master (the mixedfp lane's branch is not on master); evidence the grep of the emitters on master, recorded by the hash lane" }, - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:51:08.658Z" } }, { @@ -979,18 +981,18 @@ "manual_page": 26, "owner_lane": "hash lane (a690540514aa453d7)", "run_status": "RUNNING", - "evidence_path": "docs/analysis/class-v6/rows/pow-07-fp32-unreachable.md", - "run_id": "hash-lane-20261008-batch1", - "updated": "2026-10-08T18:41:01.185Z", + "evidence_path": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/miner-2826f37e/box2-pow.log", + "run_id": "201-ef0f2ed8-2826f37e", + "updated": "2026-10-08T18:51:08.658Z", "evidence_record": { "cell": "suite:pow", - "manifest_sha": "c245d50b9", + "manifest_sha": "ef0f2ed8", "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", "POW-07": "the mixed FP32 branch is excluded and unreachable: no class flag reaches an FP op in igneum-pow on master (the mixedfp lane's branch is not on master); evidence the grep of the emitters on master, recorded by the hash lane" }, - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:51:08.658Z" } } ] @@ -1464,10 +1466,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:51:08.834Z", "evidence_record": { "reason": "seed-selection resistance is the census harness (the class v6 invention lane), not yet in the matrix", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:51:08.834Z" } }, { @@ -1497,12 +1499,12 @@ "manual_page": 31, "owner_lane": "finality lane (aca0f5ed924a2a99b)", "run_status": "RUNNING", - "evidence_path": "build-1:/srv/artefacts/tas/200-417c4a57-b2/node-417c4a57/box2-consensus.log", - "run_id": "200-417c4a57-b2", - "updated": "2026-10-08T18:28:32.408Z", + "evidence_path": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/node-ef0f2ed8/box4-consensus.log", + "run_id": "201-ef0f2ed8-2826f37e", + "updated": "2026-10-08T18:51:08.658Z", "evidence_record": { "cell": "suite:consensus", - "manifest_sha": "417c4a57", + "manifest_sha": "ef0f2ed8", "coverage": { "FIN-01": "partial: the finality processes' agreement tests", "FIN-03": "partial: rule v4's anchored table and authority expiry tests (bee41b5e)", @@ -1512,7 +1514,7 @@ "ROT-05": "partial: the finality-stopped pause tests", "ZKP-01": "partial: a proof-less or wrong-statement block refused by consensus" }, - "at": "2026-10-08T18:28:32.408Z" + "at": "2026-10-08T18:51:08.658Z" } }, { @@ -1542,18 +1544,18 @@ "manual_page": 31, "owner_lane": "hash lane (a690540514aa453d7)", "run_status": "RUNNING", - "evidence_path": "build-1:/srv/artefacts/tas/200-417c4a57-b2/node-417c4a57/box2-core.log", - "run_id": "200-417c4a57-b2", - "updated": "2026-10-08T18:28:32.408Z", + "evidence_path": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/node-ef0f2ed8/box4-core.log", + "run_id": "201-ef0f2ed8-2826f37e", + "updated": "2026-10-08T18:51:08.658Z", "evidence_record": { "cell": "suite:core", - "manifest_sha": "417c4a57", + "manifest_sha": "ef0f2ed8", "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" }, - "at": "2026-10-08T18:28:32.408Z" + "at": "2026-10-08T18:51:08.658Z" } }, { @@ -1622,10 +1624,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:51:08.834Z", "evidence_record": { "reason": "the no-new-rules counterfactual is a research harness", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:51:08.834Z" } } ] @@ -2043,19 +2045,19 @@ "manual_page": 36, "owner_lane": "reference-apps lane (a2060899d2a27d31c)", "run_status": "RUNNING", - "evidence_path": "build-1:/srv/artefacts/tas/200-417c4a57-b2/node-417c4a57/box2-exec.log", - "run_id": "200-417c4a57-b2", - "updated": "2026-10-08T18:28:32.408Z", + "evidence_path": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/node-ef0f2ed8/box4-exec.log", + "run_id": "201-ef0f2ed8-2826f37e", + "updated": "2026-10-08T18:51:08.658Z", "evidence_record": { "cell": "suite:exec", - "manifest_sha": "417c4a57", + "manifest_sha": "ef0f2ed8", "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" }, - "at": "2026-10-08T18:28:32.408Z" + "at": "2026-10-08T18:51:08.658Z" } }, { @@ -2245,10 +2247,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:51:08.834Z", "evidence_record": { "reason": "execution DoS workloads need the workload catalogue F3", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:51:08.834Z" } }, { @@ -2338,19 +2340,19 @@ "manual_page": 39, "owner_lane": "enforced-proving lane (a6e8f84588b809d62)", "run_status": "RUNNING", - "evidence_path": "build-1:/srv/artefacts/tas/200-417c4a57-b2/node-417c4a57/box2-exec.log", - "run_id": "200-417c4a57-b2", - "updated": "2026-10-08T18:28:32.408Z", + "evidence_path": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/node-ef0f2ed8/box4-exec.log", + "run_id": "201-ef0f2ed8-2826f37e", + "updated": "2026-10-08T18:51:08.658Z", "evidence_record": { "cell": "suite:exec", - "manifest_sha": "417c4a57", + "manifest_sha": "ef0f2ed8", "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" }, - "at": "2026-10-08T18:28:32.408Z" + "at": "2026-10-08T18:51:08.658Z" } }, { @@ -2422,19 +2424,19 @@ "manual_page": 39, "owner_lane": "enforced-proving lane (a6e8f84588b809d62)", "run_status": "RUNNING", - "evidence_path": "build-1:/srv/artefacts/tas/200-417c4a57-b2/node-417c4a57/box2-exec.log", - "run_id": "200-417c4a57-b2", - "updated": "2026-10-08T18:28:32.408Z", + "evidence_path": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/node-ef0f2ed8/box4-exec.log", + "run_id": "201-ef0f2ed8-2826f37e", + "updated": "2026-10-08T18:51:08.658Z", "evidence_record": { "cell": "suite:exec", - "manifest_sha": "417c4a57", + "manifest_sha": "ef0f2ed8", "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" }, - "at": "2026-10-08T18:28:32.408Z" + "at": "2026-10-08T18:51:08.658Z" } }, { @@ -2545,17 +2547,17 @@ "manual_page": 40, "owner_lane": "enforced-proving lane (a6e8f84588b809d62)", "run_status": "RUNNING", - "evidence_path": "build-1:/srv/artefacts/tas/200-417c4a57-b2/node-417c4a57/box2-p2p-flows.log", - "run_id": "200-417c4a57-b2", - "updated": "2026-10-08T18:28:32.408Z", + "evidence_path": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/node-ef0f2ed8/box4-p2p-flows.log", + "run_id": "201-ef0f2ed8-2826f37e", + "updated": "2026-10-08T18:51:08.658Z", "evidence_record": { "cell": "suite:p2p-flows", - "manifest_sha": "417c4a57", + "manifest_sha": "ef0f2ed8", "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" }, - "at": "2026-10-08T18:28:32.408Z" + "at": "2026-10-08T18:51:08.658Z" } }, { @@ -2676,10 +2678,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:51:08.834Z", "evidence_record": { "reason": "the consumer-shard reproduction is the fleet lane's pods", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:51:08.834Z" } }, { @@ -2711,10 +2713,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:51:08.834Z", "evidence_record": { "reason": "proving on the mining configuration is the fleet lane's", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:51:08.834Z" } }, { @@ -2746,10 +2748,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:51:08.834Z", "evidence_record": { "reason": "the request-to-payment path is the proving fleet's measurement", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:51:08.834Z" } }, { @@ -2781,10 +2783,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:51:08.834Z", "evidence_record": { "reason": "sustained load is the proving fleet's", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:51:08.834Z" } }, { @@ -2816,10 +2818,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:51:08.834Z", "evidence_record": { "reason": "overload and recovery is the proving fleet's", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:51:08.834Z" } }, { @@ -2851,10 +2853,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:51:08.834Z", "evidence_record": { "reason": "assignment windows are the proving fleet's", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:51:08.834Z" } }, { @@ -2886,10 +2888,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:51:08.834Z", "evidence_record": { "reason": "reassignment is the proving fleet's", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:51:08.834Z" } }, { @@ -2921,10 +2923,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:51:08.834Z", "evidence_record": { "reason": "customer-verifiable output is the reference apps plus the fleet", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:51:08.834Z" } } ] @@ -2974,18 +2976,18 @@ "manual_page": 45, "owner_lane": "enforced-proving lane (a6e8f84588b809d62)", "run_status": "RUNNING", - "evidence_path": "build-1:/srv/artefacts/tas/200-417c4a57-b2/node-417c4a57/box2-core.log", - "run_id": "200-417c4a57-b2", - "updated": "2026-10-08T18:28:32.408Z", + "evidence_path": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/node-ef0f2ed8/box4-core.log", + "run_id": "201-ef0f2ed8-2826f37e", + "updated": "2026-10-08T18:51:08.658Z", "evidence_record": { "cell": "suite:core", - "manifest_sha": "417c4a57", + "manifest_sha": "ef0f2ed8", "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" }, - "at": "2026-10-08T18:28:32.408Z" + "at": "2026-10-08T18:51:08.658Z" } }, { @@ -3019,10 +3021,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:51:08.834Z", "evidence_record": { "reason": "revenue separation is the economics lane's model", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:51:08.834Z" } }, { @@ -3056,10 +3058,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:51:08.834Z", "evidence_record": { "reason": "the modified-client task choice needs an adversarial client harness", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:51:08.834Z" } }, { @@ -3093,10 +3095,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:51:08.834Z", "evidence_record": { "reason": "demand spikes are the economic model", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:51:08.834Z" } }, { @@ -3130,10 +3132,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:51:08.834Z", "evidence_record": { "reason": "reservation abuse needs the capacity harness", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:51:08.834Z" } }, { @@ -3167,10 +3169,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:51:08.834Z", "evidence_record": { "reason": "difficulty and timestamp manipulation needs the fault network F4", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:51:08.834Z" } }, { @@ -3204,10 +3206,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:51:08.834Z", "evidence_record": { "reason": "self-dealing fees need the economic model and a live window", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:51:08.834Z" } }, { @@ -3241,10 +3243,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:51:08.834Z", "evidence_record": { "reason": "failure concentration is a live-window measurement", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:51:08.834Z" } } ] @@ -3290,12 +3292,12 @@ "manual_page": 48, "owner_lane": "fast-time lane (a8be71a0db962911c)", "run_status": "RUNNING", - "evidence_path": "build-1:/srv/artefacts/tas/200-417c4a57-b2/node-417c4a57/box2-consensus.log", - "run_id": "200-417c4a57-b2", - "updated": "2026-10-08T18:28:32.408Z", + "evidence_path": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/node-ef0f2ed8/box4-consensus.log", + "run_id": "201-ef0f2ed8-2826f37e", + "updated": "2026-10-08T18:51:08.658Z", "evidence_record": { "cell": "suite:consensus", - "manifest_sha": "417c4a57", + "manifest_sha": "ef0f2ed8", "coverage": { "FIN-01": "partial: the finality processes' agreement tests", "FIN-03": "partial: rule v4's anchored table and authority expiry tests (bee41b5e)", @@ -3305,7 +3307,7 @@ "ROT-05": "partial: the finality-stopped pause tests", "ZKP-01": "partial: a proof-less or wrong-statement block refused by consensus" }, - "at": "2026-10-08T18:28:32.408Z" + "at": "2026-10-08T18:51:08.658Z" } }, { @@ -3375,12 +3377,12 @@ "manual_page": 48, "owner_lane": "finality lane (aca0f5ed924a2a99b)", "run_status": "RUNNING", - "evidence_path": "build-1:/srv/artefacts/tas/200-417c4a57-b2/node-417c4a57/box2-consensus.log", - "run_id": "200-417c4a57-b2", - "updated": "2026-10-08T18:28:32.408Z", + "evidence_path": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/node-ef0f2ed8/box4-consensus.log", + "run_id": "201-ef0f2ed8-2826f37e", + "updated": "2026-10-08T18:51:08.658Z", "evidence_record": { "cell": "suite:consensus", - "manifest_sha": "417c4a57", + "manifest_sha": "ef0f2ed8", "coverage": { "FIN-01": "partial: the finality processes' agreement tests", "FIN-03": "partial: rule v4's anchored table and authority expiry tests (bee41b5e)", @@ -3390,7 +3392,7 @@ "ROT-05": "partial: the finality-stopped pause tests", "ZKP-01": "partial: a proof-less or wrong-statement block refused by consensus" }, - "at": "2026-10-08T18:28:32.408Z" + "at": "2026-10-08T18:51:08.658Z" } }, { @@ -3420,12 +3422,12 @@ "manual_page": 49, "owner_lane": "finality lane (aca0f5ed924a2a99b)", "run_status": "RUNNING", - "evidence_path": "build-1:/srv/artefacts/tas/200-417c4a57-b2/node-417c4a57/box2-consensus.log", - "run_id": "200-417c4a57-b2", - "updated": "2026-10-08T18:28:32.408Z", + "evidence_path": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/node-ef0f2ed8/box4-consensus.log", + "run_id": "201-ef0f2ed8-2826f37e", + "updated": "2026-10-08T18:51:08.658Z", "evidence_record": { "cell": "suite:consensus", - "manifest_sha": "417c4a57", + "manifest_sha": "ef0f2ed8", "coverage": { "FIN-01": "partial: the finality processes' agreement tests", "FIN-03": "partial: rule v4's anchored table and authority expiry tests (bee41b5e)", @@ -3435,7 +3437,7 @@ "ROT-05": "partial: the finality-stopped pause tests", "ZKP-01": "partial: a proof-less or wrong-statement block refused by consensus" }, - "at": "2026-10-08T18:28:32.408Z" + "at": "2026-10-08T18:51:08.658Z" } }, { @@ -3465,12 +3467,12 @@ "manual_page": 49, "owner_lane": "finality lane (aca0f5ed924a2a99b)", "run_status": "RUNNING", - "evidence_path": "build-1:/srv/artefacts/tas/200-417c4a57-b2/node-417c4a57/box2-consensus.log", - "run_id": "200-417c4a57-b2", - "updated": "2026-10-08T18:28:32.408Z", + "evidence_path": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/node-ef0f2ed8/box4-consensus.log", + "run_id": "201-ef0f2ed8-2826f37e", + "updated": "2026-10-08T18:51:08.658Z", "evidence_record": { "cell": "suite:consensus", - "manifest_sha": "417c4a57", + "manifest_sha": "ef0f2ed8", "coverage": { "FIN-01": "partial: the finality processes' agreement tests", "FIN-03": "partial: rule v4's anchored table and authority expiry tests (bee41b5e)", @@ -3480,7 +3482,7 @@ "ROT-05": "partial: the finality-stopped pause tests", "ZKP-01": "partial: a proof-less or wrong-statement block refused by consensus" }, - "at": "2026-10-08T18:28:32.408Z" + "at": "2026-10-08T18:51:08.658Z" } }, { @@ -3547,12 +3549,12 @@ "manual_page": 50, "owner_lane": "finality lane (aca0f5ed924a2a99b)", "run_status": "RUNNING", - "evidence_path": "build-1:/srv/artefacts/tas/200-417c4a57-b2/node-417c4a57/box2-consensus.log", - "run_id": "200-417c4a57-b2", - "updated": "2026-10-08T18:28:32.408Z", + "evidence_path": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/node-ef0f2ed8/box4-consensus.log", + "run_id": "201-ef0f2ed8-2826f37e", + "updated": "2026-10-08T18:51:08.658Z", "evidence_record": { "cell": "suite:consensus", - "manifest_sha": "417c4a57", + "manifest_sha": "ef0f2ed8", "coverage": { "FIN-01": "partial: the finality processes' agreement tests", "FIN-03": "partial: rule v4's anchored table and authority expiry tests (bee41b5e)", @@ -3562,7 +3564,7 @@ "ROT-05": "partial: the finality-stopped pause tests", "ZKP-01": "partial: a proof-less or wrong-statement block refused by consensus" }, - "at": "2026-10-08T18:28:32.408Z" + "at": "2026-10-08T18:51:08.658Z" } }, { @@ -3798,10 +3800,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:51:08.834Z", "evidence_record": { "reason": "state reconstruction without founder storage is the OPS no-founder exercise", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:51:08.834Z" } }, { @@ -3833,10 +3835,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:51:08.834Z", "evidence_record": { "reason": "withholding and corruption detection needs the fault network F4", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:51:08.834Z" } }, { @@ -3868,10 +3870,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:51:08.834Z", "evidence_record": { "reason": "wallet key protection is the wallet lane's security row", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:51:08.834Z" } }, { @@ -3901,19 +3903,19 @@ "manual_page": 53, "owner_lane": "reference-apps lane (a2060899d2a27d31c)", "run_status": "RUNNING", - "evidence_path": "build-1:/srv/artefacts/tas/200-417c4a57-b2/miner-7d82b71e/box4-app.log", - "run_id": "200-417c4a57-b2", - "updated": "2026-10-08T18:28:32.408Z", + "evidence_path": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/miner-2826f37e/box2-app.log", + "run_id": "201-ef0f2ed8-2826f37e", + "updated": "2026-10-08T18:51:08.658Z", "evidence_record": { "cell": "suite:app", - "manifest_sha": "417c4a57", + "manifest_sha": "ef0f2ed8", "coverage": { "UX-02": "partial: the engine state machine's pause, stop and knob tests; the operator study is UX-01's", "UX-03": "partial: the card and earnings rendering tests; the net-earnings model against real bills is COM/ECO evidence", "UX-07": "partial: the refused-update and manifest tests; the update-return lane's install classes are its own rows", "VER-08": "partial: the app's own state-word tests; the wallet and light client rows are VER-01 to VER-03" }, - "at": "2026-10-08T18:28:32.408Z" + "at": "2026-10-08T18:51:08.658Z" } } ] @@ -3961,10 +3963,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:51:08.834Z", "evidence_record": { "reason": "the no-founder exercise is an operations run, not a suite", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:51:08.834Z" } }, { @@ -3996,10 +3998,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:51:08.834Z", "evidence_record": { "reason": "bootstrap diversity needs the fault network F4", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:51:08.834Z" } }, { @@ -4066,19 +4068,19 @@ "manual_page": 55, "owner_lane": "node lane (a283f5f0d364ceef0)", "run_status": "RUNNING", - "evidence_path": "build-1:/srv/artefacts/tas/200-417c4a57-b2/node-417c4a57/box2-exec.log", - "run_id": "200-417c4a57-b2", - "updated": "2026-10-08T18:28:32.408Z", + "evidence_path": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/node-ef0f2ed8/box4-exec.log", + "run_id": "201-ef0f2ed8-2826f37e", + "updated": "2026-10-08T18:51:08.658Z", "evidence_record": { "cell": "suite:exec", - "manifest_sha": "417c4a57", + "manifest_sha": "ef0f2ed8", "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" }, - "at": "2026-10-08T18:28:32.408Z" + "at": "2026-10-08T18:51:08.658Z" } }, { @@ -4110,10 +4112,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:51:08.834Z", "evidence_record": { "reason": "proving workload isolation is the fleet's pod row", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:51:08.834Z" } }, { @@ -4143,17 +4145,17 @@ "manual_page": 55, "owner_lane": "build-server lane (a352e49ff4613df86)", "run_status": "RUNNING", - "evidence_path": "build-1:/srv/artefacts/tas/200-417c4a57-b2/node-417c4a57/box2-p2p-flows.log", - "run_id": "200-417c4a57-b2", - "updated": "2026-10-08T18:28:32.408Z", + "evidence_path": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/node-ef0f2ed8/box4-p2p-flows.log", + "run_id": "201-ef0f2ed8-2826f37e", + "updated": "2026-10-08T18:51:08.658Z", "evidence_record": { "cell": "suite:p2p-flows", - "manifest_sha": "417c4a57", + "manifest_sha": "ef0f2ed8", "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" }, - "at": "2026-10-08T18:28:32.408Z" + "at": "2026-10-08T18:51:08.658Z" } }, { @@ -4185,10 +4187,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:51:08.834Z", "evidence_record": { "reason": "runbook detection is an operations run", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:51:08.834Z" } }, { @@ -4220,10 +4222,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:51:08.834Z", "evidence_record": { "reason": "repeat independent operation is a cross-release observation", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:51:08.834Z" } } ] @@ -4300,19 +4302,19 @@ "manual_page": 57, "owner_lane": "shipper (ae892a8b0f78fe31c)", "run_status": "RUNNING", - "evidence_path": "build-1:/srv/artefacts/tas/200-417c4a57-b2/miner-7d82b71e/box4-app.log", - "run_id": "200-417c4a57-b2", - "updated": "2026-10-08T18:28:32.408Z", + "evidence_path": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/miner-2826f37e/box2-app.log", + "run_id": "201-ef0f2ed8-2826f37e", + "updated": "2026-10-08T18:51:08.658Z", "evidence_record": { "cell": "suite:app", - "manifest_sha": "417c4a57", + "manifest_sha": "ef0f2ed8", "coverage": { "UX-02": "partial: the engine state machine's pause, stop and knob tests; the operator study is UX-01's", "UX-03": "partial: the card and earnings rendering tests; the net-earnings model against real bills is COM/ECO evidence", "UX-07": "partial: the refused-update and manifest tests; the update-return lane's install classes are its own rows", "VER-08": "partial: the app's own state-word tests; the wallet and light client rows are VER-01 to VER-03" }, - "at": "2026-10-08T18:28:32.408Z" + "at": "2026-10-08T18:51:08.658Z" } }, { @@ -4342,19 +4344,19 @@ "manual_page": 57, "owner_lane": "shipper (ae892a8b0f78fe31c)", "run_status": "RUNNING", - "evidence_path": "build-1:/srv/artefacts/tas/200-417c4a57-b2/miner-7d82b71e/box4-app.log", - "run_id": "200-417c4a57-b2", - "updated": "2026-10-08T18:28:32.408Z", + "evidence_path": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/miner-2826f37e/box2-app.log", + "run_id": "201-ef0f2ed8-2826f37e", + "updated": "2026-10-08T18:51:08.658Z", "evidence_record": { "cell": "suite:app", - "manifest_sha": "417c4a57", + "manifest_sha": "ef0f2ed8", "coverage": { "UX-02": "partial: the engine state machine's pause, stop and knob tests; the operator study is UX-01's", "UX-03": "partial: the card and earnings rendering tests; the net-earnings model against real bills is COM/ECO evidence", "UX-07": "partial: the refused-update and manifest tests; the update-return lane's install classes are its own rows", "VER-08": "partial: the app's own state-word tests; the wallet and light client rows are VER-01 to VER-03" }, - "at": "2026-10-08T18:28:32.408Z" + "at": "2026-10-08T18:51:08.658Z" } }, { @@ -4384,18 +4386,18 @@ "manual_page": 58, "owner_lane": "pool design seat (a3832b1c3b274b310)", "run_status": "RUNNING", - "evidence_path": "build-1:/srv/artefacts/tas/200-417c4a57-b2/node-417c4a57/box2-miner.log", - "run_id": "200-417c4a57-b2", - "updated": "2026-10-08T18:28:32.408Z", + "evidence_path": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/node-ef0f2ed8/box4-miner.log", + "run_id": "201-ef0f2ed8-2826f37e", + "updated": "2026-10-08T18:51:08.658Z", "evidence_record": { "cell": "suite:miner", - "manifest_sha": "417c4a57", + "manifest_sha": "ef0f2ed8", "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" }, - "at": "2026-10-08T18:28:32.408Z" + "at": "2026-10-08T18:51:08.658Z" } }, { @@ -4462,18 +4464,18 @@ "manual_page": 58, "owner_lane": "shipper (ae892a8b0f78fe31c)", "run_status": "RUNNING", - "evidence_path": "build-1:/srv/artefacts/tas/200-417c4a57-b2/node-417c4a57/box2-miner.log", - "run_id": "200-417c4a57-b2", - "updated": "2026-10-08T18:28:32.408Z", + "evidence_path": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/node-ef0f2ed8/box4-miner.log", + "run_id": "201-ef0f2ed8-2826f37e", + "updated": "2026-10-08T18:51:08.658Z", "evidence_record": { "cell": "suite:miner", - "manifest_sha": "417c4a57", + "manifest_sha": "ef0f2ed8", "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" }, - "at": "2026-10-08T18:28:32.408Z" + "at": "2026-10-08T18:51:08.658Z" } }, { @@ -4503,19 +4505,19 @@ "manual_page": 59, "owner_lane": "shipper (ae892a8b0f78fe31c)", "run_status": "RUNNING", - "evidence_path": "build-1:/srv/artefacts/tas/200-417c4a57-b2/miner-7d82b71e/box4-app.log", - "run_id": "200-417c4a57-b2", - "updated": "2026-10-08T18:28:32.408Z", + "evidence_path": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/miner-2826f37e/box2-app.log", + "run_id": "201-ef0f2ed8-2826f37e", + "updated": "2026-10-08T18:51:08.658Z", "evidence_record": { "cell": "suite:app", - "manifest_sha": "417c4a57", + "manifest_sha": "ef0f2ed8", "coverage": { "UX-02": "partial: the engine state machine's pause, stop and knob tests; the operator study is UX-01's", "UX-03": "partial: the card and earnings rendering tests; the net-earnings model against real bills is COM/ECO evidence", "UX-07": "partial: the refused-update and manifest tests; the update-return lane's install classes are its own rows", "VER-08": "partial: the app's own state-word tests; the wallet and light client rows are VER-01 to VER-03" }, - "at": "2026-10-08T18:28:32.408Z" + "at": "2026-10-08T18:51:08.658Z" } }, { @@ -4614,10 +4616,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:51:08.834Z", "evidence_record": { "reason": "commercial evidence, no automated harness", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:51:08.834Z" } }, { @@ -4654,10 +4656,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:51:08.834Z", "evidence_record": { "reason": "commercial evidence", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:51:08.834Z" } }, { @@ -4694,10 +4696,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:51:08.834Z", "evidence_record": { "reason": "commercial evidence", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:51:08.834Z" } }, { @@ -4734,10 +4736,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:51:08.834Z", "evidence_record": { "reason": "commercial evidence", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:51:08.834Z" } }, { @@ -4774,10 +4776,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:51:08.834Z", "evidence_record": { "reason": "commercial evidence", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:51:08.834Z" } }, { @@ -4814,10 +4816,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:51:08.834Z", "evidence_record": { "reason": "commercial evidence", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:51:08.834Z" } }, { @@ -4977,10 +4979,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:51:08.834Z", "evidence_record": { "reason": "leadership comparison, an observation window", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:51:08.834Z" } }, { @@ -5015,10 +5017,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:51:08.834Z", "evidence_record": { "reason": "observation window", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:51:08.834Z" } }, { @@ -5053,10 +5055,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:51:08.834Z", "evidence_record": { "reason": "observation window", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:51:08.834Z" } }, { @@ -5091,10 +5093,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:51:08.834Z", "evidence_record": { "reason": "observation window", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:51:08.834Z" } }, { @@ -5129,10 +5131,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:51:08.834Z", "evidence_record": { "reason": "observation window", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:51:08.834Z" } }, { @@ -5201,10 +5203,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:51:08.834Z", "evidence_record": { "reason": "observation window", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:51:08.834Z" } } ] diff --git a/docs/provenance.md b/docs/provenance.md index 0e6fa58ff..eb1da2e9a 100644 --- a/docs/provenance.md +++ b/docs/provenance.md @@ -12,12 +12,12 @@ How to read the licence column. "Verified" means the LICENSE file or the crate's | Node software (the fork) | rusty-kaspa v2.1.0, commit `01b532e8` (22 Sep 2026). ISC, verified. Fork at `vendor/igneum-node`, one commit per change on top of the base | Header gains `vote_key_hash`; genesis blocks; network ids `igneum-*`; devnet ports; DNS seeders emptied; address prefixes; emission schedule and 80/20 coinbase; PoW engine trait; PoW check moved after GHOSTDAG; rename of every user-visible string to `igneumd`. Full list: `docs/fork-divergence.md` | Each row there states the reason. The short version: finality rule v2 needs a vote key in every header, the emission is Igneum's own, the lottery hash needs chain state, and no Igneum node may ever dial a Kaspa peer | `docs/fork-divergence.md` (file, change, why, risk, merge note per row); the measurement record in the repository (docs/bench-log.md); the four-node rename test of 3 Oct 2026 | | Difficulty controller | Kaspa sampled DAA (KIP-4) in rusty-kaspa, ISC, verified, kept as the retarget. Prior art studied: LWMA by Zawy (zawy12/difficulty-algorithms, licence approximate: MIT) and Monero's sorted and trimmed window (monero-project/monero, approximate: BSD-3-Clause). No code from either | Unchanged in the fork today (comment block only, `consensus/core/src/config/constants.rs`). The hash speed steps at every hourly program change, so a rule that tracks a step within an epoch is in progress: a two-speed rule (fast response to a step, slow drift otherwise). Not in spec 0.1 | Programs differ in cost (35 to 48 Mhash/s across seeds on one GPU), so a 44-minute window spends half an epoch at the wrong block rate | Spec section 2.3 names the two remedies and the gate 2 simpa run that decides; bench-log first-run and RTX 5090 entries hold the per-seed rates. The two-speed rule gets its own bench-log entry when it is simulated | | Random-program idea | RandomX by tevador, Monero. Licence approximate: BSD-3-Clause. https://github.com/tevador/RandomX (not yet cloned under `vendor/`; CLAUDE.md asks for it) | The idea only. Igneum's generator is new code (`igneum-pow/src/generator.rs`): a program drawn once per hourly epoch and compiled to native GPU code, with a per-hash random data path. RandomX draws a program per hash and interprets it on a CPU | A GPU cannot interpret a fresh program per hash at a useful rate; it compiles one program per hour instead. The target hardware is the opposite of RandomX's by design | Spec section 1 (generator, test vectors); bench-log "proto-metal first run", "RTX 5090 first run", "igneum-pow bit-exact" (96/96 vectors, three GPU vendors) | -| Memory-hard dataset | RandomX cache lineage (tevador, BSD-3-Clause approximate): a small cache that derives a large dataset by dependent reads | New construction, same shape: 256 MiB cache of chained ChaCha12 blocks, 8 dependent reads per item, dataset 1 GiB in the prototype and 2 GB at genesis, growing on a genesis-fixed schedule (`igneum-pow/src/memhard.rs`, `proto-metal/MEMHARD.md`) | A light verifier must hold only the cache; a miner must hold the dataset; the dataset must outgrow any fixed chip memory. RandomX's dataset has one size for ever | `proto-metal/MEMHARD.md` section 2.2 (recompute 4.8x slower than load, Apple only); bench-log "memory-hard dataset" entries on Metal and the RTX 5090 | +| Memory-hard dataset | RandomX cache lineage (tevador, BSD-3-Clause approximate): a small cache that derives a large dataset by dependent reads | New construction, same shape: 256 MiB cache of chained ChaCha12 blocks, 8 dependent reads per item, dataset 1 GiB in the prototype; the genesis size is pending the founder’s decision and every later step is taken only when the chain’s own state outgrows the dataset, not on a calendar (the litepaper, Mining; `igneum-pow/src/memhard.rs`, `proto-metal/MEMHARD.md`) | A light verifier must hold only the cache; a miner must hold the dataset; the dataset must outgrow any fixed chip memory. RandomX's dataset has one size for ever | `proto-metal/MEMHARD.md` section 2.2 (recompute 4.8x slower than load, Apple only); bench-log "memory-hard dataset" entries on Metal and the RTX 5090 | | ChaCha, SplitMix64, FNV-1a inside the lottery hash | ChaCha by D. J. Bernstein (public domain, approximate); SplitMix64 by Steele, Lea and Flood (algorithm from the 2014 paper, approximate); FNV-1a by Fowler, Noll and Vo (public domain, approximate). All three re-implemented from the definitions in `igneum-pow`, no code imported | Used as published: ChaCha12 core with feed-forward for the cache fill, SplitMix64 as the program stream, FNV-1a 64 for seed words and the cache digest | Standard, well-studied primitives for a cache fill and a seed stream; nothing in the design asks for more | Spec sections 1.3 and 1.8 with test vectors; bench-log "igneum-pow bit-exact" (cache digest `48c4f5bf24166b2e` matches Swift and C++) | -| ProgPoW and KAWPOW | ProgPoW (EIP-1057 text, ifdefelse/ProgPOW; KAWPOW on Ravencoin since 2020, RavenProject/Ravencoin, MIT approximate). Prior art, no code used. Not yet cloned; `docs/fud-fixes.md` item 48 asks for the clone and citation before the repository is public | Nothing taken. The difference: ProgPoW and KAWPOW randomise the maths inside a fixed program shape every few blocks; Igneum regenerates the whole program every hour over a growing dataset, with automatic era draws and no human in the loop | Stated so that the "first" claim in the litepaper is accurate (FUD ledger M4) | Litepaper "What has never been done before", row 1, rewritten 3 Oct 2026 | +| ProgPoW and KAWPOW | ProgPoW (EIP-1057 text, ifdefelse/ProgPOW; KAWPOW on Ravencoin since 2020, RavenProject/Ravencoin, MIT approximate). Prior art, no code used. Not yet cloned; `docs/fud-fixes.md` item 48 asks for the clone and citation before the repository is public | Nothing taken. The difference: ProgPoW and KAWPOW randomise the maths inside a fixed program shape every few blocks; Igneum regenerates the whole program every hour over a growing dataset, with automatic era draws and no human in the loop | Stated so that the "first" claim in the litepaper is accurate ([ledger C1](/ledger#C1)) | Litepaper "What has never been done before", row 1, rewritten 3 Oct 2026 | | Class-group VDF | Chia, chiavdf. Apache-2.0, verified (`vendor/chiavdf/LICENSE`), commit `7e62ce14`. Wesolowski's proof (Efficient Verifiable Delay Functions, EUROCRYPT 2019), a paper, no licence | NUDUPL and NUCOMP ported from chiavdf's `qfb_nudupl` and `qfb_nucomp` into `proto-vdf` (Rust, over GMP through `rug`); fresh 1024-bit prime discriminant per input; 256-bit Fiat-Shamir prime (Chia uses 264); Igneum tags for the epoch and era paths. The textbook composition is kept as an oracle | The program seed must come from a certified checkpoint with a delay no miner can skip, so the seed cannot be ground. Chia's group needs no trusted setup | Spec section 4.2 (15,000 random cases agree with the oracle; 163,000 squarings per second; 4.5 ms verify); bench-log "proto-vdf" entry. GMP itself: LGPL-3.0 or GPL-2.0 dual, approximate, prototype only; the production dependency is decided with the wire format (O-4.5) | | revm | Ethereum ecosystem, bluealloy/revm. Licence approximate: MIT. https://github.com/bluealloy/revm (not yet cloned) | Unchanged, credited. Driven by an Igneum block executor that feeds it the DAG's canonical sequence with the environment table of spec 7.1 and two-dimensional gas | The same EVM runs natively and inside the zkVM (reth, rsp and SP1 Reth all use it), so native and proven execution share one code path | `docs/design/execution-layer.md` D6 and section 2.1; differential test plan against reth (section 8.5). Nothing measured yet | -| SP1-class provers | Succinct, succinctlabs/sp1. Licence approximate: MIT or Apache-2.0. Not yet cloned | Unchanged, behind the versioned `ProofSystem` trait (`docs/design/execution-layer.md` 5.6). Version 1 is SP1 (Hypercube class, hash-based). An early devnet ran a stub that signs claims | Consumer cards prove hash-based systems without elliptic-curve MSM; the trait makes a swap a release (90% signalling, 3-month overlap, one wrap), never a redesign | No SP1 shard has been proven on any card in this repository (FUD ledger P1, P3). Phase 2 gate: shard time on a 3060-class card, published pass or fail | +| SP1-class provers | Succinct, succinctlabs/sp1. Licence approximate: MIT or Apache-2.0. Not yet cloned | Unchanged, behind the versioned `ProofSystem` trait (`docs/design/execution-layer.md` 5.6). Version 1 is SP1 (Hypercube class, hash-based). An early devnet ran a stub that signs claims | Consumer cards prove hash-based systems without elliptic-curve MSM; the trait makes a swap a release (90% signalling, 3-month overlap, one wrap), never a redesign | Shards are proven and paid on the Igneum 2.0 devnet from block zero, with proof verification on in consensus (TEAM-REPORTED, 8 October 2026; the facts page, rows 1 and 2; [ledger D5](/ledger#D5)). Shard time on a 3060-class card is published pass or fail | | BLS12-381 | Curve by Barreto, Lynn and Scott; blst by Supranational. Licence approximate: Apache-2.0. https://github.com/supranational/blst (not yet cloned) | Unchanged, credited. The header carries the BLAKE2b hash of a G1 compressed public key (48 bytes); every voter signs every 30-s checkpoint; signatures aggregate | Finality rule v2 needs one aggregate signature per checkpoint from thousands of keys | Spec section 3.1 (W1) and 2.4; `sim/results_v2.md` for the rule itself. Signature cost not yet measured | | Hashing in the node | rusty-kaspa `crypto/hashes`, ISC, verified. Crates linked by the fork, licences read from the local cargo registry: blake2b_simd 1.0.2 (MIT), blake3 1.8.3 (CC0-1.0 or Apache-2.0), sha2 0.10.8 (MIT or Apache-2.0), keccak 0.1.6 (Apache-2.0 or MIT); sha3 0.10.8 not in the local registry, approximate: MIT or Apache-2.0 | Unchanged, credited. BLAKE2b with domain separation for block, transaction and PoW pre-hashes (`BlockHash`, `TransactionHash`, ...), BLAKE3 keyed for the sequencing-commitment and payload hashers, SHA-256 for ECDSA signing hashes, cSHAKE256 (Keccak) in the kHeavyHash stub that stays as the default engine and for pruning-proof block levels | The chain's hash for everything except the lottery is the one the forked commit uses (spec 0.6), so nothing unverified enters consensus | `hash_override_nonce_time` gained one field (fork-divergence row 1); every header-hash test vector was regenerated and the four genesis hashes re-derived | | Address format | Bitcoin BIP 173 character set (bech32, Pieter Wuille and Greg Maxwell; BIP licence approximate: BSD-2-Clause) with the CashAddr polymod checksum of Bitcoin Cash (the source cites bch.info), as implemented in rusty-kaspa `crypto/addresses/src/bech32.rs`, ISC, verified | Prefixes only: `igneum`, `igneumtest`, `igneumsim`, `igneumdev` (Kaspa: `kaspa`, `kaspatest`, `kaspasim`, `kaspadev`). The script public key behind an address is unchanged | No Igneum address string may parse as a Kaspa address on any network | Fork-divergence row 9; test vectors in `addresses` and `txscript` regenerated and passing | diff --git a/docs/site/audit-2.0.md b/docs/site/audit-2.0.md index 46cd186ed..74ea36054 100644 --- a/docs/site/audit-2.0.md +++ b/docs/site/audit-2.0.md @@ -19,57 +19,58 @@ Labels: the five served labels are TEAM-REPORTED, MODELLED, PROPOSED, PENDING an | Page | What the sweep changed | What was rewritten | What still carries pre-2.0 copy | The evidence label of each claim | Open items | |---|---|---|---|---|---| | 404.html | +12 -16. Chrome; the description and the link list drop the engineering log | Nothing | None found | No claims | Shares the home card, whose PNG still prints the pre-reset line "No premine. No stake. No fee to any team." | -| address.html | +24 -27. Title and crumb "The devnet explorer"; network row "The devnet"; amounts at 18 decimals (67c404efa) | Nothing | None found | No label: balance, nonce, earned 24 h are live reads | The four words with definitions are not on this page (block, tx, explorer, live carry them); the explorer og card PNG still prints "Devnet 3" | -| app.html | +41 -45. Screenshot captions "0.3.22" become "The current build"; "The log." points at `docs/bench-log.md`; Windows v0.3.26, macOS v2.0.0; the testnet notice gone | The card and proving-memory lines: NVIDIA proves, AMD and Apple mine; 16 GB to mine and prove at the proposed 5.5 GiB dataset; the 4 GiB step pending decision (389baf565, d8c976e19, 9d18ce980) | Screenshots from recorded states of 7 October 2026; the Ember run 6 pounds line; the Windows build numbered 0.3.26 | measured (8), proposed, pending decision; no five-label word. No label: the Arc 15.2 MH/s expectation, the pounds a day | The 4 GiB dataset step is PROPOSED pending the founder's word; screenshots are an older build; add TEAM-REPORTED to the measured rows | +| address.html | +24 -27. Title and crumb "The devnet explorer"; network row "The devnet"; amounts at 18 decimals (67c404efa) | The four words with definitions and the section 9 link, as on /explorer (site-2.0-audit) | None found | No label: balance, nonce, earned 24 h are live reads | The explorer og card PNG still prints "Devnet 3" | +| app.html | +41 -45. Screenshot captions "0.3.22" become "The current build"; "The log." points at `docs/bench-log.md`; Windows v0.3.26, macOS v2.0.0; the testnet notice gone | The card and proving-memory lines: NVIDIA proves, AMD and Apple mine; 16 GB to mine and prove at the proposed 5.5 GiB dataset; the 4 GiB step pending decision (389baf565, d8c976e19, 9d18ce980); TEAM-REPORTED beside the measured rows and PENDING on the Arc expectation (site-2.0-audit) | Screenshots from recorded states of 7 October 2026; the Ember run 6 pounds line; the Windows build numbered 0.3.26 | measured (8), proposed, pending decision; no five-label word. No label: the Arc 15.2 MH/s expectation, the pounds a day | The 4 GiB dataset step is PROPOSED pending the founder's word; screenshots are an older build | | audit.html | New with this commit: rendered from `docs/site/audit-2.0.md` | The whole page | None | Each cell is read from the repository and the git log | Re-read at every site commit; it is a snapshot of c7cfef9d0 | -| block.html | +24 -26. Title and crumb; network row "The devnet"; chips "finalised under lock" and "not yet finalised"; coinbase and subsidy at 18 decimals (6a81aa709, 67c404efa) | The four words with their definitions and the finality specification's section 9 link (5c8fdfa29, b45bf6d45) | None found | The four words are states; no evidence label: every field is a live read | The explorer og card PNG still prints "Devnet 3" | -| build.html | +20 -22. Rendered from `docs/build/build.md`. The chain table holds the 2.0 devnet only (4465, igneum-devnet-4, 18 decimals); testnet column and devnet-number rows gone; mainnet 4461 reserved; Hardhat line 4465 | The chain table and the paragraph under it (bf34d4927) | "web3_clientVersion answers igneumd/2.1.0/execution-layer-v3" is unchanged from site-pre-2.0; "Tested end to end on the devnet on a build box" was run before the 2.0 devnet | No label: the client string, the five-minute walkthrough, "a share of blocks carries a proof today", the under-a-minute target | Re-run the walkthrough and the client-version probe on igneum-devnet-4, or date them; label the proof-share claim | -| claims.html | +17 -16. Generated from the litepaper's limits section, rebuilt from it in 50f517120 | Same as litepaper#limits: the chip item, the debug item, four new items | Same as litepaper#limits: "ledger M32", "before gate 3", "100 to 200 consumer GPUs" | measured, modelled, designed, claimed, Open; no five-label word | Fixed by editing litepaper#limits and rebuilding; nothing is edited here | -| compatibility.html | +362, new (6b8f02eab). Rendered from `docs/build/compatibility.md`; rows from `tools/reference-apps/compat/results.json` | The whole page: 20 of 20 rows on igneum-devnet-4 (0378ee0ef, 4c852c645) | None | Per-row verdicts passed, failed, untested, each with its evidence; no five-label word | Add TEAM-REPORTED (team-run, no outside reproduction); /compatibility has no row in `site/og/pages.mjs` and shares the home card | -| dev-fee.html | +13 -16. Generated from the miner page's fee section. "a test network" becomes "a private test network"; "The log." points at `docs/bench-log.md`; the engineering log link becomes "Every claim and its status" | Nothing | None: the 4 October 2026 row is a measurement | measured | Label the 4 October row TEAM-REPORTED, on the miner page | +| docs.html | New with this commit: in the Learn panel after /audit, the sitemap, the capture routes and `site/og/pages.mjs` (card `docs`, no PNG yet) | The whole page: every 2.0 document by its master path on the public git host (the plan, the standard and its registry, the pins, the reference, the specifications, the finality guarantees, the evidence files the facts page cites, the tuning record, this audit, the ledger) (site-2.0-audit) | None | No claims; the descriptions carry the files' own labels | `docs/analysis/class-v6/eco-05-results.md` is not on master yet, so its link answers 404 until it lands; the docs card PNG is not rendered | +| block.html | +24 -26. Title and crumb; network row "The devnet"; chips "finalised under lock" and "not yet finalised"; coinbase and subsidy at 18 decimals (6a81aa709, 67c404efa) | The four words with their definitions and the finality specification's section 9 link (5c8fdfa29, b45bf6d45); the source line names one node on the build box, not node1-dn3; the checkpoint note reads two thirds of active and of total 30-day weight (site-2.0-audit) | None found | The four words are states; no evidence label: every field is a live read | The explorer og card PNG still prints "Devnet 3" | +| build.html | +20 -22. Rendered from `docs/build/build.md`. The chain table holds the 2.0 devnet only (4465, igneum-devnet-4, 18 decimals); testnet column and devnet-number rows gone; mainnet 4461 reserved; Hardhat line 4465 | The chain table and the paragraph under it (bf34d4927); the proof-share claim labelled TEAM-REPORTED, 8 October 2026, and the launch target labelled designed (in `docs/build/build.md`) (site-2.0-audit) | "web3_clientVersion answers igneumd/2.1.0/execution-layer-v3" is unchanged from site-pre-2.0; "Tested end to end on the devnet on a build box" was run before the 2.0 devnet | No label: the client string, the five-minute walkthrough, "a share of blocks carries a proof today", the under-a-minute target | Re-run the walkthrough and the client-version probe on igneum-devnet-4, or date them | +| claims.html | +17 -16. Generated from the litepaper's limits section, rebuilt from it in 50f517120 | Same as litepaper#limits: the chip item, the debug item, four new items; rebuilt from litepaper#limits: the M32 citation now points at ledger D3 (site-2.0-audit) | Same as litepaper#limits: "ledger M32", "before gate 3", "100 to 200 consumer GPUs" | measured, modelled, designed, claimed, Open; no five-label word | Fixed by editing litepaper#limits and rebuilding; nothing is edited here | +| compatibility.html | +362, new (6b8f02eab). Rendered from `docs/build/compatibility.md`; rows from `tools/reference-apps/compat/results.json` | The whole page: 20 of 20 rows on igneum-devnet-4 (0378ee0ef, 4c852c645); TEAM-REPORTED beside the run summary, in `docs/build/compatibility.md` and its generator `tools/reference-apps/compat/render.mjs` (site-2.0-audit) | None | Per-row verdicts passed, failed, untested, each with its evidence; no five-label word | /compatibility has no row in `site/og/pages.mjs` and shares the home card | +| dev-fee.html | +13 -16. Generated from the miner page's fee section. "a test network" becomes "a private test network"; "The log." points at `docs/bench-log.md`; the engineering log link becomes "Every claim and its status" | The 4 October 2026 row labelled TEAM-REPORTED on the miner page and regenerated (site-2.0-audit) | None: the 4 October 2026 row is a measurement | measured | None | | download.html | +22 -25. Windows and HiveOS v0.3.26, macOS v2.0.0, wallet v0.1.6, new sha256 lines, Hive URL 0.3.26; the testnet notice gone | The macOS first-open notice (6a81aa709, 5c8fdfa29) | "Any 4 GB card mines at launch. A 24 GB NVIDIA card proves the full shard as well." (the miner page has the 2.0 line); Windows and HiveOS still numbered 0.3.x | No label: the card line | Card line to the miner page's 2.0 wording; drop the Mac notice the day the signed build ships | | economics.html | +34 -37. TESTNET_1 column gone; "Devnet 3" becomes "the devnet"; the decimals row 18 one to one; manifest read node 4cdcc488 | The proving section and fee rows: base fee on execution gas; the proving payment 90 percent to the pool and 10 percent burned, designed behind its constant; no part of the tip to provers; launch rate at 18 decimals; the first block's 3.168808781 IGN at 80/20 and the ramp read-back (cc3520cc4, c4adb2367, 389baf565) | "Source: the node fork at commit e0644958 (the devnet cut of 8 October 2026)", which site-pre-2.0 named the Devnet 3 cut; "On the devnet in the 24 hours to 12:16 UK on 8 October 2026: 8,209 shards paid", read before the 2.0 devnet's first block at 17:14 UK; "read 8 October 2026, 17:2x UK" | TEAM-REPORTED (1); modelled, designed, measured, "in the code" | Serve the 24-hour reading as the earlier devnet's (the scorecard already calls it history); re-read the line numbers at 4cdcc488 or say which commit; replace "17:2x" with the minute | | evidence.html | +35 -61. Restarted (cf4542105, df465d478) | The facts page from `docs/evidence.md`: seven 2.0 rows, the six status words, the release evidence packet on every row (1281d01fb), the five served labels and the wording ladder | Row 5's result "the home page and the litepaper carry it as their 2.0 text lands" is stale: both carry it now | Status words designed, activated, tested by the team (implemented, reproduced externally, reviewed independently at 0); TEAM-REPORTED rows 1 to 4 and 7, MODELLED row 6, PROPOSED row 5 | Row 5's result text; row 7's 4 GiB step PROPOSED pending the founder's word; the reference-population sentences land at 21:00 | -| explorer.html | +32 -34. Title "Igneum 2.0 devnet explorer"; headings "The devnet explorer"; chain id line 4465 | The four words and definitions (5c8fdfa29, b45bf6d45); finality "not yet active" until the weight window fills at DAA 7,200, with the live DAA (ace497b55, fcda08aed) | "Source since 12:25 UTC on 8 October 2026: node1-dn3 ... drifted from the chain at DAA 67,787", the earlier devnet's observer history | The four words; no evidence label: live reads | Replace the node1-dn3 source paragraph; the explorer og card PNG still prints "Devnet 3" | +| explorer.html | +32 -34. Title "Igneum 2.0 devnet explorer"; headings "The devnet explorer"; chain id line 4465 | The four words and definitions (5c8fdfa29, b45bf6d45); finality "not yet active" until the weight window fills at DAA 7,200, with the live DAA (ace497b55, fcda08aed); the node1-dn3 source paragraph removed (it described only the earlier devnet's observer incident) (site-2.0-audit) | "Source since 12:25 UTC on 8 October 2026: node1-dn3 ... drifted from the chain at DAA 67,787", the earlier devnet's observer history | The four words; no evidence label: live reads | The explorer og card PNG still prints "Devnet 3" | | faucet.html | +24 -28. "Devnet 3" becomes "the devnet"; chain id 4465; the testnet faucet row gone | Nothing | None found | No label: 10 IGN a day, once per address and per connection | The faucet og card PNG was not re-rendered after its kicker changed and still prints "Devnet 3 faucet" | | grants.html | +16 -19. Rendered from `docs/build/grants.md`. "public testnet" becomes "the Igneum 2.0 devnet" and "the devnet" | Nothing | None found | No label: "the fund is zero today" | None beyond the chrome | -| income.html | +15 -58. The testnet-era tier tables, the TESTNET_1 schedule and the Owed list gone; "devnet and testnet IGN" becomes "devnet IGN" | Nothing: the calculator kept | The card rows are the bench table's class v4 rows of 6 to 8 October 2026 | Rows marked measured by the team (7), measured by the fleet (28), reported by the fleet (3); no five-label word | Label the card rows TEAM-REPORTED | -| index.html | +38 -24. The positioning line as the sub-line; "The Igneum 2.0 devnet is the network today"; the engineering log link gone | The mission table (four deliverables, why each matters, evidence today with its label and file), the three boundaries in one line, the status line in the ladder's words, the miner row as paid work (c7cfef9d0); the chip line (36a83c39b, cff4be488, 98b1f664e) | The Windows button numbered v0.3.26 | TEAM-REPORTED, MODELLED, PENDING. No label: "One click installs the node, the miner and the prover"; the fair-start row | The home og card PNG still prints the pre-reset line | -| ledger.html | +203 -1201. Rewritten | Generated from `docs/fud-ledger-2.0.md`: 26 entries R0 to C3, each with its pin; 12 Open, 5 Conceded, 1 Fixed or built, 8 Closed by rule or decided (cf4542105); D5 restated (bf34d4927) | None: the pre-2.0 ledger stays as history in `docs/fud-ledger.md` | Status words Open, Conceded, Fixed or built, Closed by rule or decided | Other pages still cite pre-2.0 ids this ledger lacks: M32, E19, E20, F7, M12 (litepaper), M32 (claims), M4 (provenance); provenance's P1 now names a different entry | -| light.html | +32 -32. "Devnet 3" becomes "the devnet"; the vote domain reads {network id}; the testnet chain entry gone | What the page authenticates and what it does not, the proof boundary, the data-availability paragraph, the three boundaries, the positioning line (5e5ba9b8a); padding (99461391f, b9d4aa80f) | None found | "Authenticated here" and "Not authenticated here"; no five-label word (the scorecard calls it TEAM-REPORTED) | Name TEAM-REPORTED on the page; independent review owed | +| income.html | +15 -58. The testnet-era tier tables, the TESTNET_1 schedule and the Owed list gone; "devnet and testnet IGN" becomes "devnet IGN" | Nothing: the calculator kept; the card rows labelled TEAM-REPORTED (class v4, 6 to 8 October 2026, no outside reproduction) (site-2.0-audit) | The card rows are the bench table's class v4 rows of 6 to 8 October 2026 | Rows marked measured by the team (7), measured by the fleet (28), reported by the fleet (3); no five-label word | None | +| index.html | +38 -24. The positioning line as the sub-line; "The Igneum 2.0 devnet is the network today"; the engineering log link gone | The mission table (four deliverables, why each matters, evidence today with its label and file), the three boundaries in one line, the status line in the ladder's words, the miner row as paid work (c7cfef9d0); the chip line (36a83c39b, cff4be488, 98b1f664e); the Locked checkpoint tile reads two thirds of active and of total 30-day weight (site-2.0-audit) | The Windows button numbered v0.3.26 | TEAM-REPORTED, MODELLED, PENDING. No label: "One click installs the node, the miner and the prover"; the fair-start row | The home og card PNG still prints the pre-reset line | +| ledger.html | +203 -1201. Rewritten | Generated from `docs/fud-ledger-2.0.md`: 26 entries R0 to C3, each with its pin; 12 Open, 5 Conceded, 1 Fixed or built, 8 Closed by rule or decided (cf4542105); D5 restated (bf34d4927); the pre-2.0 ids on other pages pointed at 2.0 entries or dropped: M32 to D3, E19 to A7, M4 to C1, P1 and P3 to D5; E20, F7 and M12 dropped (site-2.0-audit) | None: the pre-2.0 ledger stays as history in `docs/fud-ledger.md` | Status words Open, Conceded, Fixed or built, Closed by rule or decided | None | +| light.html | +32 -32. "Devnet 3" becomes "the devnet"; the vote domain reads {network id}; the testnet chain entry gone | What the page authenticates and what it does not, the proof boundary, the data-availability paragraph, the three boundaries, the positioning line (5e5ba9b8a); padding (99461391f, b9d4aa80f); TEAM-REPORTED named on the page, 8 October 2026 (site-2.0-audit) | None found | "Authenticated here" and "Not authenticated here"; no five-label word (the scorecard calls it TEAM-REPORTED) | Independent review owed | | litepaper.html | +125 -112. The rewrite to the 2.0 reference (50f517120) and the chip, dataset and roadmap commits; one sub-row per section below | Abstract, the proof architecture decisions, the three boundaries, the chip section, the roadmap's five deliverables, the limits | See the sections | TEAM-REPORTED 2, MODELLED 6, PROPOSED 2, PENDING 3, EXCLUDED 1, beside the older words | See the sections | | litepaper.html#abstract | 4 of 11 lines | Positioning line first; AMD, Apple and NVIDIA roles; revm with documented differences; "(designed)" on the 10 s and proof-at-launch targets | None found | designed (3), modelled, measured, claimed | Older words only, no five-label word | -| litepaper.html#firsts | 6 of 32 lines. "State, 8 Oct 2026"; devnet-number and first-devnet history cut | The verifier-in-consensus line | "External review is owed at gate 3"; "Sources: the engineering log" (the page left the site; the record is `docs/bench-log.md`) | Measured, Implemented, Designed, approximate | Name `docs/bench-log.md`; the gate numbering predates the 2.0 roadmap | +| litepaper.html#firsts | 6 of 32 lines. "State, 8 Oct 2026"; devnet-number and first-devnet history cut | The verifier-in-consensus line; the sources name the measurement record in the repository (docs/bench-log.md) (site-2.0-audit) | "External review is owed at gate 3"; "Sources: the engineering log" (the page left the site; the record is `docs/bench-log.md`) | Measured, Implemented, Designed, approximate | The gate numbering predates the 2.0 roadmap | | litepaper.html#problem | Unchanged | Nothing | None found | designed, approximate | None | | litepaper.html#glance | 20 of 50 lines. Dates, the devnet number and the miner and wallet versions cut; "Live on the devnet" | Proving rows name NVIDIA; "Designed: rollups and bridges buy proofs"; the verifier caveat | "5 Oct 2026, first shipped" on the wallet row | Designed, owed; the other rows carry no label | Label the at-a-glance rows | -| litepaper.html#mining | 17 of 45 lines | The chip section: "Mining: commodity GPUs, scored against a chip", the scoring rule's result, the per-machine figures, the coexistence model, the dataset policy | "engineering log, the RTX 5090 entries"; "ledger M32"; "analysis of 6 October 2026, section 5.4" | MODELLED (3), PROPOSED (1); measured, modelled, claimed, proposed | The 4 GiB dataset step PROPOSED pending the founder's word; the M32 id | -| litepaper.html#randomx | 3 of 30 lines. "fixed at the testnet genesis" becomes "fixed at genesis" | The useful-work row to the coexist rows | The dataset row still reads "2 GB, growing ... doubling at years 4, 12 and 28" beside the 5.5 GiB and 4 GiB proposal; "Every number above is measured and logged" | measured, proposed, approximate | The dataset row against the dataset policy; carried to /randomx | +| litepaper.html#mining | 17 of 45 lines | The chip section: "Mining: commodity GPUs, scored against a chip", the scoring rule's result, the per-machine figures, the coexistence model, the dataset policy; the M32 citation points at ledger D3; the RTX 5090 citation names docs/bench-log.md (site-2.0-audit) | "engineering log, the RTX 5090 entries"; "ledger M32"; "analysis of 6 October 2026, section 5.4" | MODELLED (3), PROPOSED (1); measured, modelled, claimed, proposed | The 4 GiB dataset step PROPOSED pending the founder's word | +| litepaper.html#randomx | 3 of 30 lines. "fixed at the testnet genesis" becomes "fixed at genesis" | The useful-work row to the coexist rows; the dataset row reads the dataset policy (PROPOSED, 8 October 2026); the cache line and the 96 MB sentence drop the calendar; carried to /randomx (site-2.0-audit) | The dataset row still reads "2 GB, growing ... doubling at years 4, 12 and 28" beside the 5.5 GiB and 4 GiB proposal; "Every number above is measured and logged" | measured, proposed, approximate | None | | litepaper.html#proving | 25 of 29 lines | The proof architecture table (four decisions with their state), the three boundaries, NVIDIA proves and AMD and Apple mine, the coexist memory line, the job market Designed | None: the 5 and 6 October 2026 rows are measurements | Implemented, Designed, measured, owed | The decision table uses the older words | | litepaper.html#finality | 1 of 10 lines | Nothing | None: the 4 and 5 October 2026 test-network rows are measurements | Implemented, measured, approximate | None | -| litepaper.html#building | 3 of 15 lines | Positioning line; contracts deploy with the same tools, the differences documented | "ledger E20"; "the economy analysis of 6 October 2026" | measured, approximate | The E20 id | -| litepaper.html#economics | 2 of 89 lines | Nothing | "the engineering log for the devnet receipts and the dev-fee count"; "an earlier devnet" | measured, modelled, designed, owed, Implemented | Name `docs/bench-log.md` | -| litepaper.html#miners | 11 of 32 lines. Testnet terms become Devnet terms; resets without notice; "Pools live before launch" | The job market "(Designed, not built)"; proving switch on NVIDIA cards | "The dataset starts at 2 GB and grows ... doubling at years 4, 12 and 28" | measured, proposed, approximate, Designed | The dataset sentence against the dataset policy | -| litepaper.html#ember | 2 of 63 lines. "In 0.3.6" cut; "live devnet" becomes "mining live" | Nothing | Three "engineering log" citations; "It has run the devnet's cards since 4 October 2026" | measured, "Measured:" lines | Name `docs/bench-log.md`; date the 4 October line as the earlier devnet | +| litepaper.html#building | 3 of 15 lines | Positioning line; contracts deploy with the same tools, the differences documented; the E20 citation dropped (no 2.0 entry answers it) (site-2.0-audit) | "ledger E20"; "the economy analysis of 6 October 2026" | measured, approximate | None | +| litepaper.html#economics | 2 of 89 lines | The sources name docs/bench-log.md for the earlier devnet's receipts (site-2.0-audit) | "the engineering log for the devnet receipts and the dev-fee count"; "an earlier devnet" | measured, modelled, designed, owed, Implemented | None | +| litepaper.html#miners | 11 of 32 lines. Testnet terms become Devnet terms; resets without notice; "Pools live before launch" | The job market "(Designed, not built)"; proving switch on NVIDIA cards; the dataset sentence reads the dataset policy; the E19 citation points at ledger A7 (site-2.0-audit) | "The dataset starts at 2 GB and grows ... doubling at years 4, 12 and 28" | measured, proposed, approximate, Designed | None | +| litepaper.html#ember | 2 of 63 lines. "In 0.3.6" cut; "live devnet" becomes "mining live" | Three citations name the measurement record in the repository (docs/bench-log.md) (site-2.0-audit) | Three "engineering log" citations; "It has run the devnet's cards since 4 October 2026" | measured, "Measured:" lines | Date the 4 October line as the earlier devnet | | litepaper.html#wallet | 1 of 25 lines. Versions 0.1.1 and 0.1.5 cut | Nothing | "first shipped 5 October 2026" | No label | None | -| litepaper.html#governance | 3 of 7 lines. "Today, as built" on pools | Nothing | "on the devnet the top three vote keys held 34.5% of 8,090 blocks on 4 October 2026" and the restart of 6 October 2026, both the earlier devnet's | measured, Designed, open item O-5.4 | Name the earlier devnet on both readings | +| litepaper.html#governance | 3 of 7 lines. "Today, as built" on pools | Both readings (4 and 6 October 2026) name the earlier devnet (site-2.0-audit) | "on the devnet the top three vote keys held 34.5% of 8,090 blocks on 4 October 2026" and the restart of 6 October 2026, both the earlier devnet's | measured, Designed, open item O-5.4 | None | | litepaper.html#roadmap | 40 of 61 lines | Phase 5 is the no-rescue network exercise (was the public testnet); the five deliverables D1 to D5 with owner, pass condition, Today label and evidence file (558882efb); the 0.3.6 release table cut | None found | TEAM-REPORTED 2, MODELLED 3, PROPOSED 1, PENDING 3, EXCLUDED 1 | D1's reference-population sentences land at 21:00 | -| litepaper.html#miners-ask | 4 of 34 lines | The Kaspa answer: Igneum does not claim a chip cannot be built | Three "engineering log" citations; "reviewers will be named and paid before gate 3"; the rented-fleet rows of 6 October 2026 with the bench entry "not yet written" | measured, owed, approximate | Gate numbering; the owed bench entry | +| litepaper.html#miners-ask | 4 of 34 lines | The Kaspa answer: Igneum does not claim a chip cannot be built; the F7 and M12 citations dropped (no 2.0 entry answers them); the engineering log citations name the measurement record in the repository (docs/bench-log.md) (site-2.0-audit) | Three "engineering log" citations; "reviewers will be named and paid before gate 3"; the rented-fleet rows of 6 October 2026 with the bench entry "not yet written" | measured, owed, approximate | Gate numbering; the owed bench entry | | litepaper.html#builders-ask | 1 of 11 lines. USDC "during the public testnet" becomes "before launch" | Nothing | None found | No label | None | | litepaper.html#shoulders | Unchanged | Nothing | None: "decided on 3 October 2026" is a decision date | approximate | None | -| litepaper.html#limits | 6 of 20 lines | The chip item ("Igneum assumes a chip exists"), the debug item, four new items: proof verification in consensus, proving on every card, what proofs do not give, a ranking | "ledger M32"; "external reviewers are named and paid before gate 3"; "100 to 200 consumer GPUs" | measured, modelled, designed, claimed, owed, Open | The M32 id; gate numbering; carried to /claims | -| live.html | +14 -16. Lock label "Finalised (reported)" and "Not yet finalised" | The four words and definitions (5c8fdfa29, b45bf6d45); "finality not yet active" until the weight window fills at DAA 7,200, with the live DAA (ace497b55, fcda08aed) | None found | The four words; no evidence label: live reads | The Locked checkpoint tile says "two thirds of all 30-day weight"; the definitions say two thirds of active and of total weight | +| litepaper.html#limits | 6 of 20 lines | The chip item ("Igneum assumes a chip exists"), the debug item, four new items: proof verification in consensus, proving on every card, what proofs do not give, a ranking; the M32 citation points at ledger D3 (site-2.0-audit) | "ledger M32"; "external reviewers are named and paid before gate 3"; "100 to 200 consumer GPUs" | measured, modelled, designed, claimed, owed, Open | Gate numbering; carried to /claims | +| live.html | +14 -16. Lock label "Finalised (reported)" and "Not yet finalised" | The four words and definitions (5c8fdfa29, b45bf6d45); "finality not yet active" until the weight window fills at DAA 7,200, with the live DAA (ace497b55, fcda08aed); the Locked checkpoint tile reads two thirds of active and of total 30-day weight (site-2.0-audit) | None found | The four words; no evidence label: live reads | None | | metamask.html | +28 -47. The testnet card and button gone; one entry, Igneum 2.0 devnet, 4465 (0x1171), the explorer URL; the chain-id history sentences gone | The add-network card (bf34d4927) | None found | No label: configuration | None | -| miner.html | +39 -41. Windows 0.3.26, macOS 2.0.0, HiveOS 0.3.26, wallet 0.1.6; the testnet notice replaced by the fee line; "the engineering log" becomes `docs/bench-log.md`; the pools answer | Card line 01 and the card FAQ: NVIDIA proves, AMD and Apple mine, the 6.1 GiB miner and 7.5 GiB shard peak, 16 GB at the proposed 5.5 GiB, the 4 GiB step pending; the Mac first-open notice; the chip lines (389baf565, 9d18ce980, 6a81aa709) | "read 8 October 2026, 17:2x UK"; "The dataset starts at 2 GB and grows ... doubling at years 4, 12 and 28"; "Any 4 GB card mines at launch" | MODELLED (1); measured, proposed, pending decision | The hero screenshot (`/img/miner-dashboard.webp`) is an older build; "17:2x"; the dataset sentence; the 4 GiB step PROPOSED pending the founder's word | -| miners.html | +24 -34. Generated from `site/miner-bench.json`: the earlier-classes table, the rates note and the miner-version column gone | Nothing | Rows are class v4 while the 2.0 devnet runs class v5; "Every row names the engineering log entry" and "our own log" | measured, measured by the team, measured or reported by the fleet, not measured; no five-label word | The engineering-log wording; class v5 rows | +| miner.html | +39 -41. Windows 0.3.26, macOS 2.0.0, HiveOS 0.3.26, wallet 0.1.6; the testnet notice replaced by the fee line; "the engineering log" becomes `docs/bench-log.md`; the pools answer | Card line 01 and the card FAQ: NVIDIA proves, AMD and Apple mine, the 6.1 GiB miner and 7.5 GiB shard peak, 16 GB at the proposed 5.5 GiB, the 4 GiB step pending; the Mac first-open notice; the chip lines (389baf565, 9d18ce980, 6a81aa709); the dataset sentence reads the dataset policy; the 4 October fee row and the figure's measured rates labelled TEAM-REPORTED (site-2.0-audit) | "read 8 October 2026, 17:2x UK"; "The dataset starts at 2 GB and grows ... doubling at years 4, 12 and 28"; "Any 4 GB card mines at launch" | MODELLED (1); measured, proposed, pending decision | The hero screenshot (`/img/miner-dashboard.webp`) is an older build; "17:2x"; the 4 GiB step PROPOSED pending the founder's word | +| miners.html | +24 -34. Generated from `site/miner-bench.json`: the earlier-classes table, the rates note and the miner-version column gone | The note names the measurement record in the repository (docs/bench-log.md) (site-2.0-audit) | Rows are class v4 while the 2.0 devnet runs class v5; "Every row names the engineering log entry" and "our own log" | measured, measured by the team, measured or reported by the fleet, not measured; no five-label word | Class v5 rows | | oracle.html | +36 -35. "Devnet 3" becomes "the devnet" and "the Igneum 2.0 devnet (igneum-devnet-4)"; the testnet chain entry gone | The trust anchors and unchecked signatures named, the deployer-installed anchor disclosed, the proof boundary, data availability, the three boundaries, the positioning line (5e5ba9b8a) | The deployed contract "accepts statements with chain id 4463 or 4464"; proven roots from certificate 2232 and chain block 28439, the earlier devnet's; "reads a the devnet balance" | measured (Sepolia gas, 8 October 2026); the trust list | Chain ids 4463 and 4464 stand until the contract is redeployed; the certificate rows; the typo; the oracle og card PNG still prints the devnet number | -| provenance.html | +13 -16. Generated from `docs/provenance.md`. "bench-log" citations become `docs/bench-log.md` in two cells; the chain id line names 4465 with 4463 and 4464 on earlier devnets | Nothing | "No SP1 shard has been proven on any card in this repository (FUD ledger P1, P3). Phase 2 gate"; "FUD ledger M4"; bench-log entry names; "the gate 2 simpa run" | measured, verified (licences), approximate | The SP1 sentence contradicts the facts page; the pre-2.0 ledger ids | -| proving.html | +21 -24. Title "Igneum 2.0 devnet proving"; "Proving on the devnet"; the DAA target line | Nothing | None found | Shard states planned, proving, verified, paid; "Measured on the shards paid in the window" | The four words with definitions are not on this page | -| randomx.html | +14 -17. Generated from the litepaper's randomx section (50f517120) | Same as litepaper#randomx | Same as litepaper#randomx: the 2 GB dataset row | measured, proposed, approximate | Fixed in litepaper#randomx and rebuilt | -| receipt.html | +27 -46. "Devnet 3" becomes "the devnet"; the testnet chain entry gone | The two receipt kinds (transaction-inclusion and payment), the proof boundary, data availability, the three boundaries, the positioning line (5e5ba9b8a) | Two sentences start in lower case, "the devnet, no value" | The receipt kind on every result; no five-label word. No label: "about 30 to 90 s after it executes" | The lower-case starts; label the finality timing | -| scenes.html | +11 -14. Chrome only; the body is unchanged | Nothing | The legend reads pending, included, excluded, proven, locked checkpoint, and "everything under it is final" | No label | Unlinked lab: its legend does not use the four words | +| provenance.html | +13 -16. Generated from `docs/provenance.md`. "bench-log" citations become `docs/bench-log.md` in two cells; the chain id line names 4465 with 4463 and 4464 on earlier devnets | The SP1 sentence reads shards proven and paid on the Igneum 2.0 devnet from block zero, verifier on in consensus (TEAM-REPORTED); M4 points at ledger C1, P1 and P3 at ledger D5; the dataset row reads the dataset policy (site-2.0-audit) | "No SP1 shard has been proven on any card in this repository (FUD ledger P1, P3). Phase 2 gate"; "FUD ledger M4"; bench-log entry names; "the gate 2 simpa run" | measured, verified (licences), approximate | None | +| proving.html | +21 -24. Title "Igneum 2.0 devnet proving"; "Proving on the devnet"; the DAA target line | The four words with definitions and the section 9 link, as on /explorer (site-2.0-audit) | None found | Shard states planned, proving, verified, paid; "Measured on the shards paid in the window" | None | +| randomx.html | +14 -17. Generated from the litepaper's randomx section (50f517120) | Same as litepaper#randomx; rebuilt from litepaper#randomx: the dataset row reads the dataset policy (site-2.0-audit) | Same as litepaper#randomx: the 2 GB dataset row | measured, proposed, approximate | None | +| receipt.html | +27 -46. "Devnet 3" becomes "the devnet"; the testnet chain entry gone | The two receipt kinds (transaction-inclusion and payment), the proof boundary, data availability, the three boundaries, the positioning line (5e5ba9b8a); both sentences start in capitals; the unlabelled 30 to 90 s finality figure dropped (site-2.0-audit) | Two sentences start in lower case, "the devnet, no value" | The receipt kind on every result; no five-label word. No label: "about 30 to 90 s after it executes" | None | +| scenes.html | +11 -14. Chrome only; the body is unchanged | The legend reads finalised checkpoint and the Forge note finalised; the four words paragraph added (site-2.0-audit) | The legend reads pending, included, excluded, proven, locked checkpoint, and "everything under it is final" | No label | None | | scorecard.html | +314, new (9bdee3727); in the sitemap (1281d01fb) | The whole page: twelve gates from the plan's section 23, evidence required, do not substitute, the Today label; the release evidence packet; the wording ladder | None | TEAM-REPORTED 4, MODELLED 3, PROPOSED 2, PENDING 5, EXCLUDED 3 | The reference-population sentences land at 21:00; the Sustained proving cell needs economics to serve the 24-hour reading as history; no square og PNG | | swap.html | +37 -40. "Devnet 3" becomes "the devnet"; chain igneum-devnet-4; the addresses pointer becomes "docs/contracts"; the wallet version requirement gone | The intro: "on Igneum, with proven execution" | None found | No label: "Every swap is a devnet block" | `docs/contracts/` holds devnet-3.json and sepolia.json, no igneum-devnet-4 file; the swap og card PNG still prints "Devnet 3" | -| tx.html | +24 -26. Title and crumb; network "The devnet"; chips and lock state "finalised" and "not yet finalised" | The four words and definitions (5c8fdfa29, b45bf6d45) | "Read from node1-dn3 on the build box since 12:25 UTC on 8 October 2026"; "The priority fee splits 80/20 between the including miner and the proving pool", which economics no longer states | No label | The node1-dn3 line; the fee sentence to economics' rows; the explorer og card PNG still prints "Devnet 3" | +| tx.html | +24 -26. Title and crumb; network "The devnet"; chips and lock state "finalised" and "not yet finalised" | The four words and definitions (5c8fdfa29, b45bf6d45); the source line names one node on the build box; the fee sentence reads 80 percent to the miner and 20 percent to the developer registrations, none to the provers, as on economics (site-2.0-audit) | "Read from node1-dn3 on the build box since 12:25 UTC on 8 October 2026"; "The priority fee splits 80/20 between the including miner and the proving pool", which economics no longer states | No label | The explorer og card PNG still prints "Devnet 3" | | wallet.html | +15 -19. "0.1.5" becomes "the current build"; download v0.1.6; the testnet notice gone | Nothing | Screenshots from mock state of 7 October 2026 | One "Measured" heading; otherwise no label | None beyond the label | ## Open items across pages diff --git a/site/404.html b/site/404.html index 02a932cf4..1102df2aa 100644 --- a/site/404.html +++ b/site/404.html @@ -117,7 +117,7 @@ main{flex:1}
Mined by GPUs. Proven by fire.
Specification and test vectors diff --git a/site/acceptance.html b/site/acceptance.html index 2e0d258ff..5c2d2071e 100644 --- a/site/acceptance.html +++ b/site/acceptance.html @@ -260,7 +260,7 @@Every case of the standard, shown as it is run, in the standard’s own words. A checklist, never a completion score: a gate passes only when every case it depends on has passed.
Basis IGNEUM_2.0_Plan.pdf, 37 pages, 8 October 2026. The standard runs to 73 pages. Registry dated 8 October 2026.
Test and Acceptance Standard 1.0: APPROVE AS PROPOSED IN THE TESTS, FORGET P13 FOR NOW by the founder, 8 October 2026; P13 (maintenance continuity) DEFERRED; 128 cases: 0 passed under the standard, 63 running with team evidence, 64 not run, 1 deferred
A gate reads NOT RUN until every case it depends on has run, RUNNING while any is running, BLOCKED if any is blocked, FAIL if any fails, and PASS only when every case passes. No gate is weighted into an average.
Release identity
No formal run or public pass before approval.
8 cases: 0 passed under the standard, 3 running with team evidence, 5 not run, 0 deferred
D1
No validated hardware claim without reproduction.
16 cases: 0 passed under the standard, 8 running with team evidence, 8 not run, 0 deferred
D2
No improvement claim from a negative hypothesis.
32 cases: 0 passed under the standard, 21 running with team evidence, 11 not run, 0 deferred
D3
No broad resistance claim from one weak design.
16 cases: 0 passed under the standard, 10 running with team evidence, 6 not run, 0 deferred
D4
No durability claim based on assumed chip expiry.
24 cases: 0 passed under the standard, 10 running with team evidence, 14 not run, 0 deferred
D5
No no-rescue claim from a founder-supported demo.
56 cases: 0 passed under the standard, 26 running with team evidence, 30 not run, 0 deferred
Execution control
No mainnet-ready claim with missing enforcement or safety.
64 cases: 0 passed under the standard, 37 running with team evidence, 27 not run, 0 deferred
Execution control
Devnet activity is insufficient.
24 cases: 0 passed under the standard, 3 running with team evidence, 20 not run, 1 deferred
Execution control
Supports a scoped contention assessment, not a guaranteed rank.
128 cases: 0 passed under the standard, 63 running with team evidence, 64 not run, 1 deferred
Prevent a favourable result from being attached to the wrong code, assumptions or public claim.
Setup
Candidate source, binaries, public documentation and the 2.0 plan are available; no run is yet accepted.
Steps
- Record exact commits, binary hashes, dependencies, genesis/network identity, mining class, datasets, execution fork, verifier IDs and fee rules in F0.
- Map every promised capability and plan requirement to a test ID; distinguish supported mining, proving and wallet combinations.
- Sign the manifest with protocol, product and independent review owners before confirmatory runs.
Accept
Every material rule and claim has an unambiguous version and test. Conflicts or unknown activation rules produce BLOCKED, not an inferred default. Changes create a new manifest and invalidate affected results.
Evidence the case requires
Signed F0; source-to-test map; claim inventory; unresolved-field register.
Setup
This manual supplies proposed test thresholds, not source-approved protocol parameters.
Steps
- Approve or replace every P-profile before confirmatory testing; give each change a rationale and independent approver.
- Register hardware cohorts, mandatory economic worlds, customer workloads, peer dimensions and exclusion rules.
- Lock the profile hash and hold out seeds/workloads from the developers doing optimisation.
Accept
No decision-critical field is TBD. Numeric limits are frozen, commercially meaningful and not chosen from observed results. A weakened limit after failure requires a new protocol, full affected rerun and explicit claim downgrade review.
Evidence the case requires
Approved profile register; timestamped holdout commitments; change log.
Setup
Provide public source and documented build instructions to three unaffiliated operators.
Steps
- Build on clean declared environments without private files, tokens or founder assistance.
- Compare reproducible payload hashes; isolate signatures, notarisation and permitted non-deterministic wrappers.
- Run reference vectors and restart a node using only documented artifacts.
Accept
All independent builds reproduce the same consensus payload or an independently explained, pre-approved wrapper difference; reference outputs match exactly. Missing private prerequisites block release.
Evidence the case requires
Build logs; dependency lockfiles; binary comparison; operator attestations.
Setup
Enable append-only storage for run outputs and a separate analysis workspace.
Steps
- Capture failed, aborted and successful runs with timestamps, seeds and environment hashes.
- Recompute one published figure from raw records on a clean machine.
- Modify a retained artifact deliberately and test integrity verification.
Accept
Every headline can be regenerated; tampering is detected; exclusions have pre-registered reasons. Failed or missing runs remain visible and are never replaced silently by a successful retry.
Evidence the case requires
Artifact manifest; hashes; reproduction script; exclusion ledger; negative-run archive.
Setup
Create controlled defective variants on an isolated network only.
Steps
- Disable proof verification, change one reward, accept an expired authority set and alter one hash output in separate mutants.
- Run the corresponding ZKP, INC, FIN and POW tests without telling the runner which mutant is active.
- Confirm the baseline still accepts authorised valid cases.
Accept
Every deliberately introduced fault is caught by its mapped test; valid controls pass. Any undetected critical mutant blocks acceptance of that test family until the oracle is repaired.
Evidence the case requires
Mutation catalogue; blinded run results; baseline controls; oracle review.
Setup
Inventory FP32 experiments, receipts/oracles and all retained or excluded mining levers.
Steps
- Mark each capability CORE, CLAIMED-OPTIONAL or EXCLUDED before release testing.
- For excluded code, check binaries, protocol activation and product copy for accidental enablement or implied availability.
- For each claimed option, require the complete associated test set rather than a demonstration.
Accept
Every core and claimed-option obligation passes. Excluded items are shown as EXCLUDED, never PASS and never counted as achievements. Removing a failed core requirement prevents an all-2.0-pass claim.
Evidence the case requires
Scope manifest; activation scan; product-copy comparison; exclusions register.
Setup
Nominate reviewers with declared conflicts and scopes covering cryptography, consensus and hardware.
Steps
- Provide pinned code, raw data, adversarial models and prior failures, including negative results.
- Track each finding to remediation and an independent retest; do not use the author as sole approver.
- Have reviewers state unreviewed surfaces and model limitations in their signed conclusions.
Accept
No unresolved critical or high-severity finding affects the claimed release. A finite review is described by scope, not as proof of universal security. Independent reproduction and review are both evidenced.
Evidence the case requires
Signed scoped reports; conflict declarations; finding/retest ledger.
Setup
Create a simulated post-test change to a verifier, mining class, dataset and fee rule.
Steps
- Calculate affected test dependencies and invalidate their former PASS statuses.
- Regenerate public status pages from F0 and the evidence register.
- Attempt to publish a rank-one, guaranteed-profit or automatic-chip-death claim without the required evidence.
Accept
Affected gates return to NOT RUN or BLOCKED. Public claims retain version, limits and date; unsupported claims are withheld. No stale result remains attached to a different release.
Evidence the case requires
Dependency impact report; regenerated status page; rejected claim examples.
Close the pending measurements and evaluate the actual configuration, including costs hidden by kernel-only results.
Setup
Freeze the P02 cohort, supported role matrix and the final v6 configuration.
Steps
- Inventory physical SKU, usable memory, driver, operating system, firmware, cooling and acquisition channel.
- Run mining on every supported cohort cell and proving on every separately advertised prover cell.
- Include lower-memory, used-generation and all advertised vendor cases; retain unsupported results separately.
Accept
All declared cells are tested, with no after-the-fact removal of weak cards. At least the P02 minimum coverage is met. Mining-only support is never reported as proof-generation support.
Evidence the case requires
Cohort manifest; compatibility matrix; raw results by SKU and role.
Setup
Use paired stock and tuned runs on the same board, host, workload and ambient conditions.
Steps
- Warm to stability; randomise stock/tuned order and run P02 repeated sessions.
- Measure accepted work, calibrated wall energy, device telemetry and rejected work.
- Calculate paired energy and rate changes with run-level uncertainty, retaining failed tuning attempts.
Accept
Tuning preserves correctness and meets approved P03 operating limits. The historical 34-41% saving and under-2% rate-loss statement is reproduced only for qualifying configurations; otherwise that claim is corrected. Existing savings are not counted twice.
Evidence the case requires
Raw power/time series; paired analysis; tuning settings; claim-by-SKU table.
Setup
Build the baseline and window variant with identical dataset, reads and semantic workload.
Steps
- Inspect compiled register allocation, spills, occupancy and memory traffic on each supported backend.
- Measure paired complete-system energy and accepted throughput, including host work.
- Repeat during proving coexistence and expose any memory or scheduling cliff.
Accept
Any production window meets P03 budgets for every mandatory SKU; no hidden spills or correctness changes. Zero GPU cost is claimed only where measurement supports it within uncertainty. Results feed the redesigned adversary, not an old core estimate.
Evidence the case requires
Compiler reports; allocation traces; paired energy/rate data; coexistence runs.
Setup
Use safe vendor-supported settings only; record operator permission and original settings.
Steps
- Sweep approved core and memory operating points while holding workload constant.
- Measure error rate, accepted throughput, wall energy and thermal equilibrium.
- Repeat the selected knee after reboot and restore defaults after a failed or interrupted tuning session.
Accept
Selected profiles are stable, reproducible and not dependent on unsafe clocks. Every accepted hash remains correct; saved settings restore predictably. Tuning failure leaves a working safe configuration.
Evidence the case requires
Clock ladder; safe bounds; thermal/error logs; reboot and rollback record.
Setup
Test 5.5, 8.5 and 11.5 GiB only as source-proposed candidates; F0 determines activated sizes.
Steps
- Measure allocation plus driver, display, prover and OS headroom on the 8 GB and other cohort tiers.
- Run near-full-memory, fragmentation, restart and next-epoch construction scenarios.
- Compare time-sharing/eviction with concurrent mining/proving, including reload cost.
Accept
Every advertised combination completes without OOM or silent corruption. Unsupported future sizes are identified before activation. GPU exclusions and lost proving capacity appear in ECO evaluation; retirement of a tier is not a success metric.
Evidence the case requires
Memory budget per SKU; OOM traces; support horizon; concurrency cost table.
Setup
Use the same hardware against clean, delayed, lossy and intermittent links in F4.
Steps
- Measure kernel rate and accepted work separately under home and datacentre link profiles.
- Include reconnects, template changes, expired submissions and pool failover.
- Attribute loss to network, local software, validation and protocol causes.
Accept
Results use accepted work, never kernel rate alone. Ordinary-link incremental rejection stays within P10; all losses remain priced in ECO. Unreachable links may pause but must not claim paid work.
Evidence the case requires
Per-submission ledger; network trace; rejection reasons; accepted-work comparison.
Setup
Run the selected profile on actual reference machines for the P02 soak period.
Steps
- Track wall power, temperatures, clocks, memory and accepted work continuously.
- Inject safe power interruptions, process restarts and normal competing desktop load.
- Check restored settings and compare late-run efficiency with the first stable period.
Accept
No invalid work or unsafe persistent settings; P02/P10 stability limits hold. Thermal throttling, crashes and recovery time remain in throughput and energy denominators. A crash-free short benchmark cannot substitute for the soak.
Evidence the case requires
Seven-day time series; crash reports; settings-restoration checks; drift analysis.
Setup
Three unaffiliated operators receive F0, F2 and F3, including the final miner/prover build.
Steps
- Repeat identical-SKU paired runs with documented meter calibration and environment differences.
- Recompute joules and total cost per accepted work from the shared raw schema.
- Investigate divergence before accepting a pooled headline or uncertainty band.
Accept
Reproductions meet P02 tolerance and exact correctness. No unexplained divergence or selectively missing low-end cell remains. Report manufactured GPU measurements separately from modelled specialist estimates.
Evidence the case requires
Three signed reproduction packs; reconciliation report; final baseline table.
Find semantic disagreements and structural shortcuts before treating a harder-looking program as a stronger defence.
Setup
Implement an independently written reference evaluator, not a wrapper around the production GPU path.
Steps
- Execute the P01 corpus across every family, boundary seed and supported backend.
- Exercise zero, maximum, sign, shift, rotate, overflow and unaligned-address cases allowed by the spec.
- Minimise every mismatch and rerun it on clean builds.
Accept
Bit-for-bit agreement for all valid cases and identical rejection for invalid cases. One unexplained mismatch is a blocker. Large sample counts are evidence of testing, not proof that unseen disagreements cannot exist.
Evidence the case requires
Reference implementation review; seeds/vectors; backend matrix; mismatch archive.
Setup
Use the frozen grammar, opcode semantics and index-fold rule; include boundary and malformed programs.
Steps
- Enumerate small constrained programs and fuzz the full generator at P01 depth.
- Check bounds, valid dependencies, address distribution and forbidden encodings.
- Compare source-level operations with optimised compiled code for removed or altered work.
Accept
No accepted program violates semantics, termination or memory bounds. Distribution claims have predeclared tests and effect-size limits; passing randomness checks is not treated as a cryptographic proof.
Evidence the case requires
Generator/fuzzer logs; reduced counterexamples; disassembly comparison; index tests.
Setup
Take the 64-register candidate and the cheapest independently proposed storage organisations.
Steps
- Trace value liveness across dependent reads and final output, distinguishing distinct information from duplicated values.
- Try banking, compression, recomputation, fewer ports and time-multiplexed contexts.
- Quantify the best complete-system cost/throughput trade-off rather than the reference register count.
Accept
Production selection is supported by measured or physically modelled penalties after these alternatives. G2 requires the P03 improvement; an attractive source-level register count alone does not pass.
Evidence the case requires
Liveness traces; alternative implementations; Pareto table; reviewer analysis.
Setup
Use a candidate initially matched to baseline instruction count, read count and dataset size.
Steps
- Connect state, addresses, arithmetic and lane communication according to the written hypothesis.
- Measure GPU cost and allow the specialist reviewer to redesign the entire core.
- Repeat on held-out program seeds and compare the worst supported adversary, not only the original design.
Accept
The selected upgrade meets P03 and improves the adversarial result outside declared uncertainty. A negative experiment remains a negative outcome; adopting a different design requires a new frozen comparison.
Evidence the case requires
Matched workloads; GPU runs; redesigned core estimates; held-out results.
Setup
Prepare valid templates, nonces, intermediate-state captures and independent acceptance checks.
Steps
- Vary nonce, payout identity, transactions, roots and other committed fields after expensive work.
- Try replay, precomputation, shared prefixes, partial evaluation and many cheap suffix candidates.
- Price any valid strategy against fresh evaluation; independently review all bindings.
Accept
Invalid modifications are rejected. Any valid cost-saving strategy is incorporated into ADV and must still meet P04/ECO gates. No unresolved shortcut is hidden behind passing reference vectors.
Evidence the case requires
Attack implementations; valid/invalid controls; work-cost analysis; binding review.
Setup
Use ordinary CPU validators with a manifest-defined resource budget and untrusted submissions.
Steps
- Submit shortest/longest programs, malformed encodings and adversarial memory references.
- Measure verification time, peak memory and work amplification across valid and invalid inputs.
- Sustain the approved hostile request rate while ordinary valid traffic continues.
Accept
All semantics remain correct and P09 resource budgets hold. Invalid traffic cannot cause unbounded allocation, crashes or disproportionate free work. Rate limits must not replace consensus validation.
Evidence the case requires
CPU profiles; adversarial corpus; allocation traces; valid-traffic latency.
Setup
If this branch is excluded, verify that it is unreachable and not claimed; if included, use a separate frozen candidate.
Steps
- Specify exact rounding, fusion, special values and backend behaviour before compiling.
- Differentially test all supported architectures and allow numerical-domain simplification in the specialist model.
- Include verifier cost and candidate energy in P03/P04, not just arithmetic-unit area.
Accept
Included branches achieve exact agreed semantics and all hardware budgets. An excluded branch earns no performance credit. No approximate operation or unspecified compiler choice enters consensus.
Evidence the case requires
Scope decision; semantic specification; vectors; simplified datapath model.
Setup
Inventory long programs, select trees, SM gating, wider reads, sealed classes, random epoch lengths, per-tier scoring and VRF draws.
Steps
- Retain their historic negative tests and realistic SRAM instruction-memory control.
- Inspect the release for reintroduction through renamed settings or hidden paths.
- Require a new written hypothesis and complete adversarial retest for any proposed return.
Accept
Excluded levers remain excluded unless separately approved and retested. Flip-flop instruction-memory area is never presented as the cost of a realistic SRAM implementation.
Evidence the case requires
Decision register; binary/config scan; negative-control results.
Give the opponent permission to adapt, share resources and remain operational; test cost rather than imagined chip death.
Setup
Provide the complete published family bank and future known parameter schedule to the reviewer.
Steps
- Design one programmable architecture that supports all retained families, including firmware and emulation paths.
- Optimise clocks, lanes, ports and pipelines without requiring a graphics-card layout.
- Verify its outputs against POW vectors before measuring any advantage.
Accept
At least the P04 design diversity is evaluated; every estimated competitive design is functionally validated. Inability of one narrow design to adapt is not evidence that all chips expire.
Evidence the case requires
Architecture reports; functional simulations; adaptation matrix; reviewer signature.
Setup
Allow multiple engines to share a dataset and to store selected fractions rather than a complete per-engine copy.
Steps
- Sweep sharing factors, memory fractions, caches and recomputation depth across many simultaneous hashes.
- Include construction/update amortisation, bandwidth contention and retained state.
- Take the most favourable feasible point for the specialist into the complete-board model.
Accept
No omitted feasible trade-off materially lowers the accepted cost estimate. Any winning alternative is included in P04 and ECO; capacity alone is not accepted as an energy bound.
Evidence the case requires
Sweep definitions; energy/bandwidth data; best-feasible envelope; excluded-design reasons.
Setup
Permit distributed memories, state migration and companion CPU/GPU/FPGA components.
Steps
- Compare moving computation, intermediate state or fetched data to each read location.
- Test specialised mining alongside outsourced proof generation rather than assuming one physical GPU does both.
- Include interconnect, host, synchronisation, idle and conversion costs.
Accept
The cheapest feasible combined system is included in the adversarial envelope and economic model. A worker identity or account is never treated as proof of a single physical device.
Evidence the case requires
Hybrid architecture diagrams; traffic traces; system cost and energy ledger.
Setup
Use all declared families plus held-out generated programs and the protocol difficulty rule.
Steps
- Identify favourable execution paths and add cheap fallbacks for other periods.
- Simulate entry/exit around profitable periods, including idle time, compilation and re-entry costs.
- Evaluate revenue and costs across the full schedule, not just average program energy.
Accept
Intermittent specialists meet P04/ECO limits when evaluated on full-period economics. A weak tail cannot be concealed by a favourable mean; known valid shortcuts must be priced.
Evidence the case requires
Per-program advantage distribution; policy simulator; full-period returns.
Setup
Use feasible process/library assumptions and documented component boundaries; no fabricated foundry access.
Steps
- Model SRAM macros, ports, wiring, clocking, memory PHYs, external memory, host and power conversion.
- Run place-and-route where available; mark unmodelled items as uncertainty rather than zero.
- Compare against a calibrated existing hardware block or equivalent validation case.
Accept
No decision-critical cost is omitted. Physically unvalidated or proprietary estimates are labelled and independently bounded; synthesis alone cannot earn a manufactured-chip claim.
Evidence the case requires
Netlist/physical reports; macro assumptions; bill of materials; model calibration.
Setup
Evaluate same-node, one-node-ahead and two-node-ahead scenarios with explicit technology definitions.
Steps
- Use independently justified process factors, voltages, memory and packaging assumptions for each design.
- Allow reusable IP and modular revisions; credit GPU improvement consistently.
- Evaluate measurement confidence and model-parameter sensitivity separately.
Accept
P04 primary limits hold for all competitive-reference cells; two-node futures are reported and pass the predeclared economic stress envelope. A model range is never labelled a statistical confidence interval without justification.
Evidence the case requires
Node-specific reports; factor provenance; uncertainty and sensitivity tables.
Setup
Assume multi-year productive survival and known schedule support before testing optional retirement penalties.
Steps
- Price firmware, emulation, memory expansion, companion hardware and incremental redesign.
- Include 1-, 3- and 5-year productive lifetimes plus idle/resale possibilities.
- Grant a retirement credit only if all feasible cheaper adaptations lose competitiveness.
Accept
The primary case does not require chip death or a fresh full development bill per family. Every retirement credit has a documented adaptation comparison; incompatible and unprofitable are reported separately.
Evidence the case requires
Lifetime/adaptation ledger; revision costs; feasible-alternative analysis.
Setup
Publish the non-sensitive model and negative results; commission an unaffiliated second hardware reviewer.
Steps
- Reward cheaper valid designs and reproduced shortcuts, not confirmation of the preferred number.
- Re-run P04 with the strongest submitted feasible design, including a low-cost funded-development case.
- Record unresolved modelling disagreements and future technology exclusions.
Accept
Both reviews accept the scoped envelope or all material disagreements are resolved transparently. Passing supports only evaluated designs and conditions, never a universal bound on all future silicon.
Evidence the case requires
Two review reports; challenge log; final envelope; unresolved-limit statement.
Transitions must agree across nodes and remain usable during failures; crossing a boundary is not a chip-retirement test.
Setup
Use real nodes, CPU/GPU miners and independent clocks around successive program boundaries.
Steps
- Submit valid work immediately before, at and after the activation boundary under clock skew and delayed delivery.
- Restart nodes from both sides and replay the same headers.
- Compare selected seed, program, validity, rewards and local wall-clock dependence.
Accept
All honest nodes derive identical consensus outcomes from the frozen rule. Late work is handled exactly as specified; no wall-clock ambiguity or cross-backend split occurs.
Evidence the case requires
Boundary vectors; node/miner traces; acceptance and reward matrix.
Setup
Use the retained schedule in F0, including coincident program, parameter and family changes.
Steps
- Run every known family transition and all coincident-boundary combinations on production code.
- Interrupt downloads, compilation and restart during activation; include mixed old/new clients.
- Repeat selected cases under real elapsed time and the remainder under disclosed accelerated time.
Accept
Deterministic activation, documented old-client behaviour and no unsafe fallback. Compilation/setup costs satisfy P03; accelerated runs are not reported as years of operating history.
Evidence the case requires
Transition matrix; code-path evidence; compile timing; old-client logs.
Setup
Freeze eligibility, threshold, windows and activation semantics before testing; do not invent a no-veto rule.
Steps
- Attempt threshold-minus-one, threshold, conflicting proposals, duplicate votes and coalition withholding.
- Partition voters, restore them and test vote-key substitution through pools.
- Verify adoption and refusal behaviour of already running nodes.
Accept
The actual mechanism enforces F0, with authenticated voting and no conflicting activation. Any coalition capable of blocking or manipulating changes is disclosed; labels such as no veto do not override arithmetic.
Evidence the case requires
Executable governance model; signed-vote corpus; coalition/partition results.
Setup
Provide the specified seed pipeline and delay proof implementation plus independently parameterised fast-adversary models.
Steps
- Try withholding candidate seeds, grinding alternatives, replaying delay proofs and biased checkpoint selection.
- Vary adversarial speed advantage and outage duration; trace influence on program choice.
- Validate inputs, parameters and proofs against independent vectors.
Accept
No invalid seed or proof is accepted; selection advantage stays within the approved threat-model bound. Missing bounds block this gate. A delay mechanism is not credited as generic ASIC resistance.
Evidence the case requires
Seed/grinding simulations; speed sensitivity; proof vectors; threat-model signoff.
Setup
Stop checkpoint signing while mining continues, then cross seed and family boundaries.
Steps
- Remove the required signing weight and observe the documented fallback or safe pause.
- Prevent access to any founder seed service; restart from persisted state.
- Restore the stated fault assumptions and verify deterministic recovery.
Accept
Mining/seed behaviour matches F0 without manufacturing certificates or reinterpreting finality. Safety holds during the outage; liveness is required only after its stated assumptions return.
Evidence the case requires
Fault timeline; seed/certificate history; node-state comparison; recovery log.
Setup
Freeze memory sizes, support horizon and sync/update procedure; test all advertised roles.
Steps
- Construct the next dataset while current work remains active; test slow disks, low free memory and interruption.
- Try stale-state/dataset submissions and maliciously expensive state growth where coupling exists.
- Measure data transfer, restart and excluded-card costs before approving progression.
Accept
No invalid stale work is accepted, no supported card silently fails, and P06 is met. Hardware retirement and sync burden are included in the economic decision, not treated as automatic chip protection.
Evidence the case requires
Dataset hashes; memory/update traces; stale-work tests; exclusion decision.
Setup
Use matched baseline and ablated variants in the lab; do not change a running public network.
Steps
- Remove each weekly/family component independently and measure adversarial cost, GPU setup and verifier complexity.
- Include favourable-period specialists and all retained known families.
- Keep a layer only with a distinct, independently supported benefit or a documented non-resistance purpose.
Accept
Every retained layer has explicit justification and full boundary coverage. Redundant complexity is removed or its rationale recorded; the security model does not double-count the same versatility cost.
Evidence the case requires
Ablation report; decision log; complexity/cost comparison.
Setup
Freeze the complete published rule bank and known schedule for the five-year evaluation.
Steps
- Allow a programmable adversary to know and survive all planned changes.
- Remove assumed future emergency instructions and manual retirement actions from the model.
- Run the required ECO scenarios and link them to independent network-transition tests.
Accept
Competitiveness survives the approved envelope without future rescue assumptions. Any result that needs unannounced changes fails this claim; ordinary bug maintenance is distinguished from anti-chip intervention.
Evidence the case requires
Frozen-rule model; scenario results; excluded-rescue audit; G5 evidence.
Test the world after specialised hardware exists, including new entrants and an already-funded competitor.
Setup
Use benchmark outputs, current-source cost inputs recorded at execution time and separate reference scenarios.
Steps
- Calculate hardware annualisation, electricity, host, cooling/hosting, failures, fees, downtime and residual value.
- Use actual accepted work and independently verify units and period conversions.
- Cross-check formulas using hand-worked fixtures, edge cases and a second implementation.
Accept
All material costs and rejected-work effects appear once; model totals reconcile to raw inputs. No GPU upgrade is free, development cost is not double-counted, and burn is not mislabelled operator income.
Evidence the case requires
Versioned model; unit fixtures; independent reconciliation; input sources.
Setup
Use both installed hardware and purchasable replacement hardware in every mandatory cohort.
Steps
- Evaluate marginal operation separately from recovery of a new purchase.
- Stress resale at zero, hardware failures, financing and replacement cycles.
- Report break-even power price and total cost relative to the strongest feasible specialist.
Accept
P12 competitiveness conditions hold for the predeclared cohorts in required sustainable worlds. Existing-owner profitability cannot substitute for viable new entry; cards outside the envelope remain visible.
Evidence the case requires
Owner/entrant curves; price-date records; break-even tables; cohort outcomes.
Setup
Use three development cases: fully funded elsewhere, source-range low and source-range high.
Steps
- Evaluate private mining, public hardware sales and a hybrid business model.
- Allow shared IP, incremental revisions, multi-year survival and resale where justified.
- Re-evaluate GPU entry after the specialist fleet is already installed.
Accept
The coexistence claim does not depend on recovering the original chip research bill. Required P12 cases meet the approved envelope even at zero incremental development cost; failures cannot be hidden by the $23M/$340M source thresholds.
Evidence the case requires
Business-model variants; sunk-cost case; full cash-flow and adaptation records.
Setup
Use independently reviewed dynamic operator policies, not fixed market shares.
Steps
- Let agents buy, sell, switch off, re-enter and choose tasks based on declared costs and expected income.
- Apply the actual difficulty/reward rules and test optimistic and adversarial liquidity/capital availability.
- Compare equilibrium and transient outcomes across independent starting conditions.
Accept
Mandatory worlds satisfy P12 without an imposed GPU share or artificial specialist capacity limit. Concentration, oscillations and excluded regions are reported; model behaviour matches unit and conservation checks.
Evidence the case requires
Agent policies; sensitivity seeds; market-share paths; independent model review.
Setup
Freeze mandatory scenarios before results: revenue bands, tariff range, lifetimes and demand states.
Steps
- Run the P12 factorial grid plus adversarial combinations selected by the independent reviewer.
- Test a large successful network as well as weak-revenue and heterogeneous-tariff cases.
- Distinguish feasible sustained-entry worlds from collapse scenarios with no rational profitable operator.
Accept
No small-network or token-appreciation assumption props up the primary claim. Required viable worlds pass the envelope; collapse worlds show honest contraction and safety, not fabricated profits. Failure regions are explicit.
Evidence the case requires
Scenario register; full result cube; boundary plots; failed-world explanations.
Setup
Use the frozen supply, halving, fee, burn and reward rules rather than source prose assumptions.
Steps
- Reconcile revenue reaching miners, internal provers, developers and burns over the full horizon.
- Test flat/declining fees and no external proving income; separately introduce external demand.
- Calculate capacity and security-provider coverage after each reward transition.
Accept
Recurring compensation is explicit and internally consistent; mandatory sustainable scenarios meet P12. Burned amounts are never counted as payments, and external operator income is not assumed to fund internal work automatically.
Evidence the case requires
Issuance/fee ledger; scenario cash flows; funding-shortfall report.
Setup
Use GPU-05 and ROT-06 costs with the cheapest specialist adaptation.
Steps
- For each dataset increment, compare specialist cost increases with excluded cards and lost proving capacity.
- Include ordinary-owner replacement, resale and reloading expenses.
- Run alternate bounded schedules without assigning automatic chip death.
Accept
The retained schedule meets P06/P12 and has an evidence-backed net competitiveness benefit. A schedule that mainly harms accessible GPUs fails; excluded tiers and mitigations are documented before activation.
Evidence the case requires
Per-step cost/retention table; alternative schedules; approval record.
Setup
Give an independent economist or qualified analyst the code, inputs and frozen success criteria.
Steps
- Recalculate required worlds and perturb favourable assumptions against the team.
- Check dependence on discounts, utilisation, capital limits, artificial prices and future upgrades.
- Publish the sensitivity range and state which conclusions are conditional.
Accept
Material results reproduce, required scenarios pass and no unacknowledged assumption dominates the claim. The model supports a bounded coexistence conclusion, not a percentage probability that no chip will appear.
Evidence the case requires
Independent report; rerun outputs; model limitations; approved claim envelope.
Keep familiar applications while making every difference and metering rule explicit and reproducible.
Setup
Pin the intended execution fork, revm version and all Igneum deviations in F0.
Steps
- Run the applicable upstream execution/state fixtures plus independently written deviation tests.
- Execute identical blocks on multiple nodes and compare roots, receipts, logs, gas and failure outcomes.
- Minimise mismatches and distinguish intended differences from implementation defects.
Accept
All applicable vectors match; every deviation has a documented test and developer consequence. No claim of universal Ethereum equivalence or Ethereum settlement security is inferred.
Evidence the case requires
Fixture/version inventory; root/receipt diffs; deviation matrix.
Setup
Use signed transfers, contract calls and deployment transactions with boundary field values.
Steps
- Alter chain identity, nonce, signature, fee caps and recipient after signing.
- Replay across nodes, forks and distinct test networks; resubmit around reorganisation.
- Check mempool admission and final consensus execution independently.
Accept
Unauthorised, wrong-network or duplicate spends are rejected according to F0. Valid replacements follow the declared rule; mempool filtering alone is not evidence of consensus enforcement.
Evidence the case requires
Signed corpus; admission/execution outcomes; account-state reconciliation.
Setup
Freeze fee dimensions, estimator rules, abort behaviour and refund policy.
Steps
- Run workloads near and beyond execution and proving budgets, including state-heavy pathological cases.
- Compare estimated fees with charged fees and validate rollback/receipt status on abort.
- Mutate a block producer to omit or undercharge expensive work.
Accept
Deterministic metering, charged amounts and aborted state agree across nodes and proofs. Resource bounds hold; fee estimates meet P09 for accepted supported cases. Undercharged invalid blocks cannot bypass consensus.
Evidence the case requires
Metering traces; fee fixtures; estimator errors; invalid-block rejection.
Setup
Use contracts sensitive to timestamp, height/context, randomness and ordering.
Steps
- Compare the declared Igneum semantics with developers' documented expectations.
- Test boundary transitions, miner-influenced inputs and adversarial ordering in the isolated network.
- Run dependency reviews for applications using these values for economic decisions.
Accept
Semantics match F0 and differences are surfaced in compatibility documentation. No source of miner influence is marketed as unbiased randomness; incompatible applications are not included in the compatibility claim.
Evidence the case requires
Context-contract results; threat notes; compatibility exclusions.
Setup
Use versioned transfer/token, NFT, multisignature, exchange and upgrade-pattern fixtures where supported.
Steps
- Deploy, initialise, transact, revert and upgrade each contract using ordinary tooling.
- Exercise events, logs, balances, storage and call traces across node restart/reorganisation.
- Compare expected application invariants with native execution and proved results.
Accept
Supported journeys preserve their stated invariants; all deviations are documented. Example deployment success alone cannot stand in for application-level correctness or financial audit.
Evidence the case requires
Contract fixture hashes; transaction journeys; invariant and state comparisons.
Setup
Pin supported RPC methods and response semantics; use normal developer clients and an independent indexer.
Steps
- Test fee estimation, pending/final states, subscriptions, pagination and reconnects.
- Reindex from genesis or the documented trust anchor after pruning and restart.
- Compare logs, receipts and balances with independently validated chain state.
Accept
No missing/duplicate canonical records; unsupported methods are explicit. UI states distinguish included, executed, proven and finalised. Malformed RPC input cannot crash validators or leak secrets.
Evidence the case requires
RPC conformance report; reindex comparison; reconnect/edge-case logs.
Setup
Create bounded pathological bytecode, calls, state growth, storage and precompile inputs.
Steps
- Measure CPU, memory, disk and proving cost against charged budgets.
- Saturate admission with invalid/expensive requests while valid workloads continue.
- Restart mid-execution and verify atomic state recovery.
Accept
P09 limits hold with no unbounded free work or divergent rollback. State remains consistent after crash; availability under overload follows the declared admission policy, not silent dropping of accepted transactions.
Evidence the case requires
Resource profiles; adversarial corpus; state recovery comparisons.
Setup
Prepare two authorised versions and malicious, stale or unknown versions.
Steps
- Cross activation with mixed clients, queued transactions and proofs from both versions.
- Bind each accepted proof to the correct execution semantics and program identity.
- Exercise a failed software distribution without altering consensus activation.
Accept
No unknown or wrong-version execution is accepted. Pre/post-boundary handling is deterministic and documented; software delivery cannot silently redefine transaction semantics or proof acceptance.
Evidence the case requires
Upgrade vectors; mixed-version traces; manifest/version bindings.
The validator, not merely the official producer, must reject unauthorised or invalid proof records and rewards.
Setup
Start from a native-correct statement and an independently verified valid proof.
Steps
- Submit the statement with no proof, truncated bytes, random bytes and targeted proof mutations using a modified producer.
- Submit the genuine proof as a positive control through ordinary network paths.
- Inspect block acceptance and resulting reward/state on unmodified validators.
Accept
Every invalid proof record is rejected and earns no reward; valid controls succeed. A producer-side filter is not sufficient. Record rejection semantics exactly as defined by F0.
Evidence the case requires
Hostile record corpus; validator decisions; before/after balances; positive controls.
Setup
Use valid proofs from authorised and unauthorised programs and parameter sets.
Steps
- Swap program digest, verifier version, security settings and verification key where applicable.
- Attempt downgrade through configuration, serialized metadata or an old node path.
- Test authorised boundary transitions and unsupported future identities.
Accept
Only explicitly authorised combinations are accepted in the correct epoch. No implicit trust in producer-supplied metadata or lower-security fallback; all accepted settings have scoped soundness review.
Evidence the case requires
Identity/parameter matrix; rejection traces; cryptographic review.
Setup
Prepare valid proofs for distinct chains, epochs, jobs and initial/final states.
Steps
- Replay each proof under another network, job, epoch, shard range or state commitment.
- Alter public inputs while retaining the proof and test valid-but-wrong-context statements.
- Check duplicated and reordered records across forks and replayed sync data.
Accept
Every misbound proof is rejected; valid authorised replays follow only explicitly allowed semantics and never create extra rewards. Native reexecution cannot conceal missing proof-context binding.
Evidence the case requires
Binding matrix; public-input hashes; replay traces; reward reconciliation.
Setup
Use proofs that commit to authorisation and all reward-relevant fields required by F0.
Steps
- Alter payout key, amount, beneficiary, source work or fee allocation independently.
- Supply correct execution over malicious producer-provided consensus/reward inputs.
- Compare consensus-derived rewards with the proved/publicly authenticated derivation.
Accept
Unauthorised payout changes and incorrect consensus inputs are rejected; no statement accepted merely because execution over supplied inputs is internally correct. Legitimate authorisations are preserved.
Evidence the case requires
Mutation cases; reward derivation trace; signature/proof binding review.
Setup
Use competing provers submitting valid results for the same work and simulate retries/reorganisations.
Steps
- Submit simultaneous duplicates, reordered receipts and repeated messages after disconnects.
- Crash validators between validation and reward application, then recover.
- Reconcile canonical payouts against the exact F0 duplicate policy.
Accept
Only the authorised total payment is made; no double payout, lost accepted entitlement or fork-retained balance. Transactions and payout records recover atomically.
Evidence the case requires
Concurrency schedule; canonical payment ledger; crash/recovery evidence.
Setup
Build valid multi-shard workloads plus omitted, duplicated, overlapping and misordered shard sets.
Steps
- Attempt an aggregate with a correct outer proof but wrong coverage/public-input construction.
- Alter shard ranges, roots and aggregation-program identity.
- Verify native execution, aggregate validity and coverage commitments independently.
Accept
Only complete, correctly ordered authorised coverage is accepted. No valid proof of the wrong computation becomes an accepted chain result; aggregation failures do not fabricate successful delivery.
Evidence the case requires
Coverage corpus; aggregate/public-input verification; rejection ledger.
Setup
Provide proof-system code, parameters, patches and the pinned verification path to an independent specialist.
Steps
- Review soundness assumptions, parameter margins and consequences of performance patches.
- Fuzz deserialization and adversarial proofs; measure verification CPU and memory under load.
- Cross-check an independent verifier or reference path and test crash containment.
Accept
P09 review and resource requirements pass with no unresolved critical/high finding. Random proof rejection counts are not described as evidence of a particular cryptographic security level.
Evidence the case requires
Scoped soundness review; parameter sheet; fuzzer corpus; verifier profiles.
Setup
Inspect block import, sync, RPC, light verification, database restoration and fast paths.
Steps
- Try bypassing validation via each path with a proof rejected by the normal path.
- Remove the dominant prover/aggregator and have independent replacements process available inputs.
- Attempt to use proof-production status as ordering, voting or finality authority.
Accept
No bypass accepts invalid work; proofs alone confer no unauthorised consensus control. Replacement and pause behaviour meet F0/P07/P08 without privileged keys or a trusted aggregator shortcut.
Evidence the case requires
Path coverage report; bypass corpus; replacement run; authority checks.
A correct fast shard is only one stage; capacity, latency, payment and retries must work together.
Setup
Recover the exact source-era workload/build if available; keep it separate from the release-candidate workload.
Steps
- Attempt independent reproduction of the 4,717,439-cycle workload and reported 3060/4060/4070 results.
- Record proof format, memory, energy, host and whether aggregation/compression are included.
- Repeat on the final release and label all configuration changes.
Accept
Historical figures are either reproduced within P02 tolerance or corrected/labelled non-reproduced. Release acceptance uses the current complete workload, never an unmatched historical time or a smaller substituted shard.
Evidence the case requires
Historical/current manifests; proof verification; timing and memory records.
Setup
Use final dataset sizes, registers, clocks, drivers and proof pipeline on every advertised proving tier.
Steps
- Run mining alone, proving alone, concurrent execution and supported time-sharing.
- Measure wall energy, memory headroom, reloads, proof latency and forgone accepted mining work.
- Induce memory pressure and GPU task failure without losing wallet control.
Accept
Every advertised mode completes correctly and meets P06/P07. Net output includes opportunity cost; unsupported concurrency is not claimed. Mining-only vendor support remains separately labelled.
Evidence the case requires
Four-mode results; OOM/failure logs; memory and opportunity-cost ledger.
Setup
Assign a unique job ID and immutable timestamps to every stage of F3/F8 jobs.
Steps
- Record request, input availability, assignment, execution, shard proof, aggregation, verification, delivery and payment.
- Compare monotonic elapsed time with any protocol/DAA clock and document their relationship.
- Reconcile failed, censored, retried and abandoned jobs with the original request denominator.
Accept
No hidden stage or missing job; latency distributions and cost cover the complete path. Delivery, finality and payment are reported separately; protocol seconds are not silently relabelled wall-clock seconds.
Evidence the case requires
Stage event ledger; clock calibration; end-to-end latency/cost report.
Setup
Freeze W: payload mix, input sizes, execution work and per-hour demand; prohibit tiny-workload substitution.
Steps
- Run 72 hours at W and a separate 24 hours at 1.2W on the declared fleet.
- Measure arrival/completion counts, backlog trend, oldest-job age, deadlines and all retries.
- Use held-out workloads and an independent observer to detect discarded or delayed requests.
Accept
P07 completion, tail-latency and bounded-backlog criteria hold. Capacity is stated for the tested W/fleet, not as universal TPS. A queue that grows indefinitely or shrinks through silent loss fails.
Evidence the case requires
Request/completion reconciliation; backlog series; held-out results; observer report.
Setup
Start at W and inject 2W for 15 minutes with valid and invalid jobs, then return to W.
Steps
- Observe admission, explicit backpressure, reservations and deadline estimates.
- Track accepted jobs to valid completion or the pre-agreed failure/refund outcome.
- Measure recovery time and ensure ordinary users are not silently starved.
Accept
P07 overload policy and recovery limits hold; no accepted job vanishes or earns an invalid reward. Rejected demand is reported separately from delivery success, preventing denominator manipulation.
Evidence the case requires
Overload timeline; admission/refund logs; backlog-drain proof.
Setup
Use a heterogeneous proving fleet, including the slowest advertised consumer tier.
Steps
- Measure actual completion distributions with network delay, competing load and failed attempts.
- Test the chosen exclusive window, open claiming and faster challengers after expiry.
- Compare assignment frequency, paid completions and wasted work by tier.
Accept
P07 fairness and wasted-work limits hold for advertised tiers. A provisional 10-DAA-second window is not treated as approved. Fair assignment counts alone cannot pass; payment outcomes and operator margins matter.
Evidence the case requires
Window sweep; paid-completion distribution; wasted-work and margin report.
Setup
Remove input providers, assigned provers and the dominant aggregator independently and together.
Steps
- Have replacement operators retrieve authenticated inputs without founder files.
- Retry expired assignments while preserving idempotent reward and customer outcomes.
- Restore providers and test late submissions racing with replacements.
Accept
P07/P08 replacement deadlines hold when availability assumptions permit. Otherwise a truthful bounded pause/refund occurs; no fake proof, double payment or hidden privileged input source is used.
Evidence the case requires
Failure schedule; input hashes; reassignment and payout ledger; recovery trace.
Setup
Run the external workload using a customer-controlled verifier and independently operated workers.
Steps
- Verify every delivered proof against the contracted program and input commitment.
- Reject wrong-format, stale and partial deliveries; test customer retry and delivery failure.
- Reconcile delivery, acceptance, payment and refund records without exposing private inputs publicly.
Accept
P07 delivery performance and exact validity hold. Payment depends on the contracted correct result; a valid proof for the wrong job is not a successful delivery.
Evidence the case requires
Customer verification log; proof-format contract; settlement reconciliation.
Assume operators optimise their own returns. Do not depend on the official client choosing a less profitable task.
Setup
Use a deterministic short chain containing all reward types, fee paths and rounding cases.
Steps
- Calculate balances, total supply changes, burns and distributions independently.
- Execute identical blocks natively and through the proving path.
- Test zero, minimum, maximum and transition-boundary values plus malformed producer accounting.
Accept
Conservation and recipient rules match F0 exactly; no inflation, rounding leakage or duplicate reward. Fee-table and prose discrepancies are resolved before the run, not guessed by the tester.
Evidence the case requires
Independent accounting ledger; balance/supply diffs; boundary vectors.
Setup
Prepare jobs and blocks producing mining income, internal proof rewards and external payments.
Steps
- Trace money from source to operator, protocol, developer and any burn.
- Compare node records, settlement records and Ember displays.
- Attempt to classify testnet rewards, reimbursed purchases or token appreciation as external customer revenue.
Accept
Every stream reconciles and is labelled correctly. No double-counted revenue or fabricated protocol demand; mining subsidy and external service income remain distinct in dashboards and ECO.
Evidence the case requires
Money-flow register; UI reconciliation; rejected classifications.
Setup
Permit independent schedulers to mine, prove internally, prove externally or switch off.
Steps
- Publish common costs and vary relative task rewards, memory pressure and switching costs.
- Run clients that ignore the official scheduling recommendation.
- Measure realised operator margin, internal capacity and network progress.
Accept
Required P12 sustainable worlds maintain paid essential capacity without compelled altruism. Profitability and availability are based on realised outcomes, including switching and wasted work.
Evidence the case requires
Scheduler source/policies; switching traces; capacity and margin series.
Setup
Use F7 scenarios with 10x external job offers and token-denominated mining-income shocks.
Steps
- Allow miners/provers to switch freely under the declared reward and difficulty rules.
- Observe hash participation, proof backlog, fees and recovery without an administrator.
- Repeat with external demand dropping to zero and with a dominant operator withdrawn.
Accept
Mandatory viable worlds meet P07/P12; stressed nonviable worlds fail or pause safely with truthful status. No emergency rule, fabricated demand or unofficial subsidy is inserted to force a pass.
Evidence the case requires
Shock timeline; fee/hash/capacity paths; failure-region report.
Setup
Freeze the actual assignment/payment mechanism; do not assume unimplemented collateral or identity controls.
Steps
- Create many worker identities, reserve jobs, withhold proofs and submit late results.
- Attempt free option-taking, duplicate work rewards and displacement of honest assignments.
- Price attacker costs and observe honest completion under the approved abuse load.
Accept
F0 rules and P07 service limits hold under the declared adversary. Identity splitting does not create unauthorised rewards or control; any unmitigated starvation path blocks the permissionless-service claim.
Evidence the case requires
Attack clients; assignment trace; cost-to-disrupt analysis; honest-user outcomes.
Setup
Use the actual adjustment algorithm and consensus timestamp rule with independent miners.
Steps
- Inject large hashrate arrivals/departures, periodic selective mining and boundary-timed bursts.
- Try allowed and invalid timestamp skew, withheld blocks and replayed work.
- Observe block intervals, reward allocation and recovery after hashrate stabilises.
Accept
Invalid inputs are rejected; valid adversarial strategies remain within F0/P08 bounds and are priced in ECO. No unexplained reward amplification, permanent stall or conflicting accepted work.
Evidence the case requires
Difficulty trace; timestamp corpus; revenue analysis; independent rule review.
Setup
Use self-funded operators and related customer identities in the isolated economic model/network.
Steps
- Cycle funds through jobs, tips, developer shares and rebates to seek net reward extraction.
- Attempt to inflate external-demand metrics without genuine unrelated customer expenditure.
- Reconcile all counterparties and net cash contribution rather than gross transaction volume.
Accept
No unauthorised subsidy extraction or metric inflation passes. Related-party volume is disclosed/excluded from P14; net external cash and legitimate protocol incentives are reported separately.
Evidence the case requires
Circular-flow tests; ownership/conflict review; net-cash reconciliation.
Setup
Model control of hashing, signing, proving, aggregation and hardware supply separately.
Steps
- Remove each largest operational dependency and combine correlated failures.
- Measure replacement cost/time and whether essential roles share hidden ownership.
- Compare results with the approved fault model and no-rescue exercise.
Accept
No hidden single dependency defeats the claimed independence; within-tolerance withdrawals recover under P08/P11. Hardware supply concentration is disclosed without equating vendor sales to operator voting control.
Evidence the case requires
Role/ownership map; dependency removals; recovery and concentration report.
Test safety under the stated fault bounds. Demand liveness only when synchrony and participation assumptions actually hold.
Setup
Use real fork-choice/DAG handling and independent miners, not only a simplified simulator.
Steps
- Generate concurrent branches, delayed blocks, duplicates and invalid work with deterministic seeds.
- Compare selected ordering, accumulated work, transaction execution and state roots after delivery converges.
- Replay from independent checkpoints and from genesis where practical.
Accept
Honest nodes converge under F0 assumptions with exact roots and rewards. No duplicated work accounting or undocumented ordering dependence; simulator-only success cannot substitute.
Evidence the case requires
Block/ordering corpus; root/work diffs; real-node replay logs.
Setup
Use the source-discussed 40/40/20 weight split, plus threshold-boundary splits under F0.
Steps
- Let the 20% adversarial group sign conflicting histories while honest groups are partitioned.
- Delay messages and eligibility updates independently; keep total historical weights auditable.
- Try to form two certificates and reconnect nodes to observe accepted final history.
Accept
No conflicting final certificates are accepted within the declared fault bound. A safe pause is valid when quorum is unavailable; making progress on both sides is not required.
Evidence the case requires
Signed votes; certificate attempts; voter-table snapshots; safety checker output.
Setup
Recover historical expiry failures where available; use the actual current authority-transition rules.
Steps
- Partition for 31, 35, 60 and 90 logical days and around every retention/expiry boundary.
- Attempt independently renewed authority sets and conflicting checkpoint locks.
- Repeat selected boundary cases on real nodes with accelerated timers explicitly labelled.
Accept
Authority continuity remains authenticated and no conflicting final history appears within F0 assumptions. A timeout is not accepted as proof absent voters ceased to exist. Compressed time is not multi-month field evidence.
Evidence the case requires
Expiry timeline; table/certificate history; historical regression tests.
Setup
Remove enough signing participation to invalidate the liveness assumption without forging votes.
Steps
- Continue mining and execution, cross seed boundaries and monitor proof queues.
- Check which user-visible states advance and which remain unfinalised.
- Restore eligible weight and bounded message delay, then verify recovery.
Accept
No false finality or fabricated authority. Behaviour matches F0 during the pause and P08 after assumptions return; unfinished transactions are not displayed as irreversible.
Evidence the case requires
Signing/mining trace; UI/RPC states; recovery roots and timing.
Setup
Use normal transitions, pool members retaining keys and malicious substitution attempts.
Steps
- Alter voter weights, membership proofs, miner/pool identity bindings and prior-certificate links.
- Race updates across boundaries and replay old signed changes.
- Have a new node verify the authority chain from its declared trust anchor.
Accept
Only correctly authenticated changes are accepted; weights cannot be double-counted or redirected by a pool. All honest nodes agree on the active authority set for each certified point.
Evidence the case requires
Authority-chain fixtures; substitution attacks; new-node verification log.
Setup
Freeze assumptions about key erasure, retained weights, trust anchors and offline recovery.
Steps
- Use previously eligible keys to build alternative histories after their operators disappear.
- Present these histories to recently offline and newly joining clients.
- Test replayed certificates, stale anchors and compromised signer subsets.
Accept
Acceptance matches the explicit security model with no hidden trusted recovery step. Any reliance on a recent trusted anchor is disclosed and tested; hashpower assumptions cannot replace old-key analysis.
Evidence the case requires
Long-range corpus; trust-anchor policy; key-compromise review; client results.
Setup
Combine partitions with node crash, partial writes, restarts and proof backlog.
Steps
- Reconnect networks under bounded latency and restore required honest participation.
- Verify fork choice, unfinalised reorganisation, finality, reward rollback and proof reassignments.
- Compare all honest nodes and customer-visible receipts after recovery.
Accept
P08 recovery holds without reversing a previously valid final guarantee. Only permitted unfinalised state is reorganised; no duplicate rewards or inconsistent receipt statuses survive.
Evidence the case requires
Recovery timelines; roots/certificates; payout rollback; customer-state reconciliation.
Setup
Use an independent model checker/scheduler and production-node scenarios from F4.
Steps
- Combine epoch changes, authority transitions, mining churn, data delays and prover/aggregator loss.
- Explore bounded adversarial message schedules and minimise any counterexample.
- Replay model findings on real code and have an independent reviewer assess uncovered states.
Accept
No unresolved safety failure; liveness claims hold only within declared assumptions and P08. Model bounds and untested schedules are published, not described as proof over every possible execution.
Evidence the case requires
Model/spec artifacts; schedule corpus; replay evidence; independent assessment.
Verify the exact property shown to the user. An inclusion proof, execution proof and finality certificate are not interchangeable.
Setup
Give a clean client malicious RPC responses, fabricated voter tables and valid-looking signatures.
Steps
- Start from the approved trust anchor and verify every required link to the advertised state.
- Substitute otherwise well-formed but unauthorised keys, weights and checkpoints.
- Remove the bootstrap service and use another independently operated source.
Accept
The client rejects unauthorised authority and discloses any trust anchor. Signatures over a node-supplied table do not by themselves pass; missing authentication never silently degrades to trusted RPC.
Evidence the case requires
Bootstrap corpus; trust-chain trace; fail-closed tests.
Setup
Use valid state proofs paired with wrong execution statements or stale authority histories.
Steps
- Cross voter and verifier changes with offline clients returning after long intervals.
- Alter roots, aggregate identity and proof/public-input bindings independently.
- Check local verification rather than merely a server-reported verified flag.
Accept
All advertised proof checks occur locally or the remaining trust is explicitly disclosed. Wrong roots and unauthenticated authority are rejected; unsupported verification paths are not claimed.
Evidence the case requires
Client verification trace; corrupted inputs; offline/upgrade results.
Setup
Create successful, reverted, wrong-asset, wrong-recipient and wrong-amount transfers.
Steps
- Generate receipts for included transactions, including failures and replaced/unfinalised transactions.
- Verify execution status plus asset, recipient, amount and canonical-state/receipt commitment.
- Replay the receipt on another chain and after an allowed unfinalised reorganisation.
Accept
Only the actual successful, correctly bound transfer is labelled payment proof. Inclusion-only receipts are labelled as such; no node-reported success flag substitutes for authenticated outcome.
Evidence the case requires
Payment fixture corpus; receipt verification; merchant-facing status checks.
Setup
For a claimed oracle, freeze destination verifier, authority updates, accepted proof types and replay policy.
Steps
- Try deployer-substituted keys, stale certificates, unchecked signatures and wrong source/destination identities.
- Exercise legitimate authority updates and source reorganisations under the approved model.
- Measure gas/cost with realistic header sets and test disabled/unavailable verification.
Accept
The oracle enforces its declared trust model and fails closed. Deployer privileges and unavailable guarantees are explicit; no trustless-bridge claim exceeds the checks performed. Excluded oracle scope earns no pass credit.
Evidence the case requires
Oracle code/parameters; attack cases; cost report; privilege disclosure.
Setup
Remove founder archival/input services and start an independent operator from the documented entry point.
Steps
- Fetch authenticated blocks, state/proof inputs and any required witnesses from permitted peers.
- Rebuild the expected state and continue validation/proving.
- Measure bandwidth, disk, time and retention requirements against advertised operator budgets.
Accept
Required data can be obtained and verified within the declared availability model. Hidden archives or unpublished files block independence. A valid execution proof alone does not satisfy this test.
Evidence the case requires
Download/reconstruction logs; data hashes; resource costs; dependency inventory.
Setup
Serve valid commitments with missing data, corrupted chunks, stale witnesses and conflicting peer replies.
Steps
- Attempt to make a validator or light client accept an unavailable or incorrect state under F0.
- Test retrieval from independent peers and expiry/retry policy.
- Restore data and check that recovery cannot alter an already verified commitment.
Accept
No unjustified available/verified status; safety and admission rules match F0. Recovery is bounded where assumptions permit, and unavailable-data states remain visible instead of hidden behind proofs.
Evidence the case requires
Withholding corpus; peer retrieval traces; availability/status checks.
Setup
Use test-only keys, encrypted backups and clean replacement devices; no real user funds.
Steps
- Attempt secret access from proving jobs, logs, crash dumps, clipboard and telemetry paths.
- Verify transaction destination/amount before signing; test backup/restore and wrong-password handling.
- Upgrade and recover without silently changing signing authority or exposing seed material.
Accept
No unintended secret disclosure or unauthorised signature. Supported recovery restores the correct keys and accounts; users receive explicit risk/backup information. Logs are sanitised without hiding security evidence.
Evidence the case requires
Security review; canary-secret tests; signing fixtures; restore journey.
Setup
Create included-only, executed, proven, finalised, reverted, stale and paused examples.
Steps
- Compare explorer, wallet, receipt, RPC and customer API labels against authenticated evidence.
- Interrupt finality and proof services and observe refresh/reconnect behaviour.
- Check statements about privacy, Ethereum security and device support.
Accept
No stronger state is implied than verified; stale data is marked and failures are actionable. EVM compatibility is not labelled Ethereum security, and ZK technology is not automatically labelled transaction privacy.
Evidence the case requires
Cross-surface screenshots/logs; state mapping; claim review.
A permissionless specification must remain operational without privileged infrastructure or unsafe automatic updates.
Setup
Use the P11 independent network, adequate honest participation and enough non-founder capacity for W.
Steps
- Remove founder miners, provers, aggregators, RPC, DNS/bootstrap dependencies and private support access.
- Run the full P11 period while crossing real and separately labelled accelerated boundaries.
- Introduce scheduled faults and have independent operators recover using published instructions.
Accept
No founder action, secret file, privileged key or emergency anti-chip rule is needed. P07/P08 outcomes hold within assumptions; any intervention is recorded as a failed no-rescue run, not erased.
Evidence the case requires
Operator roster/conflict checks; dependency removals; full activity/intervention log.
Setup
Start nodes without the default bootstrap host and give others adversarial peer lists.
Steps
- Attempt eclipse through peer concentration, stale discovery, poisoned DNS and repeated identities in an isolated lab.
- Use independent documented discovery paths and validate returned chain data.
- Measure synchronisation, peer diversity and recovery after benign connectivity returns.
Accept
No unauthenticated history is trusted; bootstrap has no hidden single-provider requirement. Isolation is detected/contained according to F0 and recovery meets P08 when assumptions return.
Evidence the case requires
Peer/discovery traces; eclipse scenarios; startup and recovery evidence.
Setup
Use test signing keys and clean desktop/node installations with valid, stale and malicious packages.
Steps
- Offer signed updates with unexpected consensus rules, downgraded binaries and corrupted payloads.
- Test explicit operator acceptance and the published signing-key incident procedure.
- Confirm that distribution-key possession cannot independently activate new consensus rules.
Accept
Tampering/unauthorised rollback is rejected; updates do not silently transfer authority. Approved acceptance and activation are separate. No test touches production signing material.
Evidence the case requires
Package corpus; approval/activation traces; compromised-key rehearsal.
Setup
Use production database/snapshot paths with controlled interrupted writes and corrupted test storage.
Steps
- Crash during import, proof acceptance, reward application and snapshot generation.
- Restore from independently verified snapshots or re-sync through documented procedures.
- Compare roots, certificates, balances and processed-job IDs with an unaffected node.
Accept
No corrupt snapshot is trusted, no duplicate payout and no loss of authenticated final state. Recovery meets P08 where data is available; ambiguous corruption fails closed and is actionable.
Evidence the case requires
Crash schedule; snapshot hashes; root/balance diffs; recovery timing.
Setup
Run hostile test jobs with secret canaries and restrictive worker permissions.
Steps
- Attempt filesystem escape, process spawning, resource exhaustion, network access and key-store reads.
- Crash workers and inspect host, wallet and node availability plus dump/log contents.
- Retry on every supported isolation backend and check dependency vulnerability handling.
Accept
No secret leakage or unauthorised host action; P09 resource containment holds. Worker failure does not compromise validator/wallet authority; unsupported isolation is not marketed as safe execution.
Evidence the case requires
Sandbox penetration report; canary logs; resource limits; host-integrity checks.
Setup
Use an authorised isolated load environment with declared resource and request-rate budgets.
Steps
- Send malformed headers, proofs, oversized messages, floods and invalid peer sequences.
- Measure legitimate traffic, memory/disk growth and validator CPU use.
- Test limit resets, peer reconnect and graceful degradation without disabling validation.
Accept
P09 abuse budgets hold; no unbounded allocation, persistent crash or invalid acceptance. Backpressure is visible and honest users retain the specified service at admitted load.
Evidence the case requires
Load/corpus manifests; resource series; valid-traffic metrics; incident traces.
Setup
Define alerts for invalid acceptance, conflicting finality, backlog, data loss, payout mismatch and stale status.
Steps
- Inject one instance of each monitored failure in the lab.
- Have an unaffiliated operator diagnose it using only emitted evidence and published instructions.
- Test redaction, metric freshness and duplicate-alert suppression without suppressing serious failures.
Accept
P10 alert/detection limits hold; every blocker produces actionable evidence. Monitoring does not leak secrets or mislabel intentional safe pauses as successful finality.
Evidence the case requires
Alert matrix; detection timelines; independent runbook exercise.
Setup
Use a clean previous supported version and the final candidate with independent operators.
Steps
- Perform documented rolling upgrade, rollback of non-consensus software where allowed and resynchronisation.
- Cross activation with mixed versions and unavailable founder distribution hosts.
- Re-run affected gates after changes and preserve prior failures and incident lessons.
Accept
No undocumented privileged migration or automatic consensus rewrite. All affected evidence is refreshed; P11 no-rescue results remain tied to the final release, not an earlier build.
Evidence the case requires
Upgrade/replay logs; invalidation map; repeated gate signatures.
Successful participation must be practical for ordinary owners without hidden custody or loss of consensus authority.
Setup
Recruit the P10 first-time user cohort across Windows and macOS using supported physical hardware.
Steps
- Observe install, hardware detection, safety explanation and first accepted work without staff intervention.
- Record download/data preparation separately as well as complete end-to-end time.
- Test unsupported hardware and insufficient memory messaging rather than forcing a failed start.
Accept
P10 completion/time targets hold with no unsafe default or concealed prerequisite. The product is tested as the actual desktop app, not only a browser preview.
Evidence the case requires
Consent-based study records; task timings; failure reasons; compatibility outcomes.
Setup
Run mining/proving on active desktops under contention and safe thermal stress.
Steps
- Use pause, stop, power limit, task selection and emergency local shutdown controls.
- Crash or restart the UI while workers run and verify ownership of background processes.
- Restore the original hardware settings and test power-saving/low-battery behaviour where supported.
Accept
P10 control latency and safe-state requirements hold. Stopping does not strand an uncontrolled process; tuning never depends on unsafe settings or silent privilege escalation.
Evidence the case requires
Control timings; process/settings audit; restart and safety traces.
Setup
Use known rewards, fees, energy readings, retries and operator-entered tariffs.
Steps
- Compare mining, internal proof and external proof income with authoritative ledgers.
- Show gross/net estimates, measurement boundaries, tariff assumptions and payout status.
- Test stale data, losses, negative margins and mining-only versus proving-compatible devices.
Accept
P10 reconciliation limits hold and uncertainty is visible. No guaranteed profits, fabricated fiat price or inferred proving support; provisional earnings are not shown as settled payments.
Evidence the case requires
UI/ledger comparisons; tariff fixtures; stale/negative examples.
Setup
Use ordinary single-card balances and the actual pooling/payment path.
Steps
- Earn, request/receive payment, disconnect and reconnect; include low balances, fees and a pool outage.
- Attempt redirection, delayed accounting and withdrawal of another user's entitlement.
- Reconcile displayed balances with canonical entitlement and actual settlement.
Accept
P10 payout limits hold for the declared small-operator case. No unauthorised custody, redirection or unexplained loss; thresholds and fees are disclosed rather than masked by larger test balances.
Evidence the case requires
Single-card payout ledger; pool failure record; custody/authorisation review.
Setup
Use an honest pool and a modified pool that replaces worker identity or voting credentials.
Steps
- Verify the consensus binding from performed work to the miner's retained key.
- Attempt substitution, replay and reassignment without the miner's authorisation.
- Leave the pool and verify retained voting/finality rights under F0.
Accept
No silent transfer of governance/finality authority. If the protocol cannot establish retained keys, this requirement fails; a pool-protocol name or user-interface promise does not pass.
Evidence the case requires
Work/key binding vectors; malicious-pool attempts; leave-pool authority check.
Setup
Provide a pool interface with declared job-declaration support and independent miner templates.
Steps
- Submit miner-selected valid transaction templates and verify what is actually hashed and accepted.
- Have a pool substitute or censor templates and test local verification/fallback.
- Measure payout and acceptance consequences without moving authority to the pool.
Accept
The advertised selection control exists in accepted work, not only configuration. Undisclosed substitution is detected; supported independent operation remains practical under P10.
Evidence the case requires
Template commitments; accepted-block evidence; malicious-pool/fallback report.
Setup
Create failed proofs, memory pressure, expired jobs, missing payouts and available software updates.
Steps
- Ask independent users to identify the issue, stop safely and follow the recommended action.
- Test explicit update approval, version visibility and a failed/corrupt update.
- Confirm diagnostic exports remove keys and private inputs while retaining useful evidence.
Accept
P10 task-success requirements hold; no silent update or false success state. Recovery instructions work on supported desktops and secret canaries never enter exported logs.
Evidence the case requires
Observed tasks; update traces; sanitised export tests.
Setup
Provide open documented builds, tuning parameters and known fee conditions for all supported platforms.
Steps
- Compare Ember against independently optimised permissible implementations on identical work.
- Measure efficiency, fees, false rejection, installation and update transparency.
- Scan for hidden developer fees, hardware whitelists, per-address privilege or undisclosed remote controls.
Accept
P10 relative-efficiency limits hold and all fees/privileges are explicit. No self-reported device tier earns consensus advantage. A superior external implementation triggers investigation, not selective exclusion.
Evidence the case requires
Matched software comparison; code/config review; fee/privilege inventory.
Devnet payouts and subsidised pilots demonstrate mechanics, not independent willingness to pay.
Setup
Select one real external customer with a meaningful fixed workload and no required migration to Igneum.
Steps
- Agree program, inputs, proof format, deadline, price, failure/refund policy and verification method.
- Run paid jobs through ordinary independently operated infrastructure.
- Have the customer verify usefulness, correctness and its reason for choosing the service.
Accept
The pilot satisfies its actual contract and settles genuine external payment. Trial subsidies are disclosed and cannot satisfy the repeat-demand gate; no invented customer or testimonial.
Evidence the case requires
Redacted contract; verified jobs; settlement proof; consented customer confirmation.
Setup
Use the P14 multi-customer observation period and ownership/conflict checks.
Steps
- Track paid purchases on distinct occasions, including refunds and stopped customers.
- Audit related parties, project reimbursements, token grants and circular funding.
- Reconcile external cash received with correctly delivered meaningful work.
Accept
P14 buyer, duration and volume minima are met without reimbursement or related-party substitution. Repeat orders are separate buying decisions, not a single payment split into many jobs.
Evidence the case requires
Anonymised buyer ledger; repeat-order dates; conflict review; net receipts.
Setup
Allocate all delivery costs, including aggregation, retries, hardware, power, host, network and support.
Steps
- Calculate gross contribution and fully loaded unit costs for each contracted workload.
- Reconcile a representative operator's realised earnings against metered costs and opportunity cost.
- Repeat under the declared demand and price sensitivities.
Accept
P14 contribution targets hold and at least the required operator cohort has positive realised contribution. Excluded overhead is visible; token appreciation or unpriced founder labour cannot silently create profitability.
Evidence the case requires
Unit-economics ledger; metered operator sample; allocation rules; sensitivity report.
Setup
Observe actual delivery deadlines, validity, failure handling and support over the contracted period.
Steps
- Count all accepted jobs, including failed, retried and abandoned cases.
- Have the customer independently verify results and invoke one authorised refund/failure exercise.
- Compare offered capacity and quoted price with what was actually delivered.
Accept
P07 and contracted obligations hold; validity has zero accepted exceptions. Failure terms are honoured, and demand beyond capacity is explicitly refused rather than quietly omitted from metrics.
Evidence the case requires
Customer-verifier records; SLO report; refunds; promised-versus-delivered comparison.
Setup
Identify a credible alternative supplier or in-house option for the same workload, proof format and security.
Steps
- Obtain comparable quotes or consented measured trials at the evaluation date.
- Include integration, verification, deadlines and all operational costs, not only proof-generation time.
- Document the customer's actual trade-off without inventing unavailable comparator evidence.
Accept
P15 commercial comparison is satisfied with like-for-like scope and a evidenced purchase reason. Missing alternative data remains MISSING; it is not scored as an Igneum win.
Evidence the case requires
Dated comparison; workload/security match; customer decision record.
Setup
Follow all recruited customers through the P14 observation period, including churn.
Steps
- Remove disclosed trial incentives before measuring repeat demand.
- Track renewal, expansion, cancellation reasons, unresolved incidents and buyer concentration.
- Review whether one affiliated or subsidised buyer dominates the apparent market.
Accept
P14 repeat/concentration conditions hold with honest denominator and churn reporting. Paying demand survives beyond a demonstration; unsatisfied or departed buyers are not removed retrospectively.
Evidence the case requires
Cohort/renewal ledger; churn notes; concentration and incentive report.
Setup
Prepare a costed plan for development, review, infrastructure, support and incident response.
Steps
- Separate committed resources from revenue dependent on adoption or token price.
- Stress lower income and an unexpected security/operations expense.
- Verify responsible owners and continuity arrangements without changing fair-launch promises.
Accept
P13 committed-runway requirement holds and downside responses are documented. No uncommitted financing, rising token price or burn accounting is presented as available maintenance funding.
Evidence the case requires
Budget and commitment evidence; downside plan; owner/continuity roster.
Setup
Recruit unaffiliated developers unfamiliar with unpublished implementation details.
Steps
- Use public docs to deploy a supported application or integrate an external proof request and verification flow.
- Record time, undocumented dependencies, workarounds and correctness issues.
- Retest after documentation fixes without founder-written hidden integration code.
Accept
P14 developer-task minimum passes on the final release; all required public instructions exist. Successful bytecode deployment alone does not count as a working application or service integration.
Evidence the case requires
Consented developer logs; public examples; issue closure; verified end-to-end journeys.
A serious contention claim requires comparative outcomes and real adoption evidence, not just an internally green test dashboard.
Setup
Choose at least the P15 peer coverage and an evaluation date before collecting confirmatory results.
Steps
- Include the plan's Ravencoin, Ergo and Firo reference set where comparable, then check for other relevant current options.
- Freeze versions, supported hardware, methods, noninferiority margins and commercial alternatives.
- Publish exclusions and prohibit cross-algorithm raw-hashrate comparisons.
Accept
The protocol covers material alternatives fairly and is signed independently. A missing or non-comparable feature is not scored zero; no arbitrary universal rank is inferred from selected metrics.
Evidence the case requires
Timestamped peer protocol; source/version records; comparison/exclusion rationale.
Setup
Use matched user tasks and operating conditions on the selected GPU-first networks.
Steps
- Measure install-to-first-accepted-work, software overhead versus each network's tuned baseline, payout friction and retained control.
- Measure rejection/availability under the same network conditions; report fees separately.
- Use blinded analysis where possible and independent runs for decisive differences.
Accept
P15 noninferiority and superiority requirements hold on meaningful comparable dimensions. No raw hashes from different algorithms are compared, and transient token price is not labelled engineering superiority.
Evidence the case requires
Matched task data; uncertainty/effect sizes; independent comparison report.
Setup
Assemble G1-G4 plus frozen rules and all surviving-adversary assumptions.
Steps
- Have independent reviewers trace each public competitiveness statement to its narrowest evidence.
- Separate measured GPUs, modelled silicon and economic scenarios in all summaries.
- Evaluate residual uncertainty, excluded technologies and the no-new-rules counterfactual.
Accept
All claimed envelopes meet P04/P12 without unsupported universal bounds. Reviewers agree the evidence supports scoped commodity competitiveness even when chips remain compatible; an exact chip-arrival probability is not inferred.
Evidence the case requires
Claim-to-evidence map; signed envelope review; limitations statement.
Setup
Recruit the P16 independent cohort before observing results; use privacy-preserving evidence.
Steps
- Follow participation, realised margin, hardware changes, failures and reasons for leaving for 90 days.
- Report trial incentives separately and include every initial participant in retention denominators.
- Compare behaviour with matched alternatives where feasible; disclose absence of an actual downturn.
Accept
P16 retention/margin minima hold with verified independence and no removal of churned users. Simulated downturns cannot be called observed bear-market retention; historical claims stay limited to the period measured.
Evidence the case requires
Pseudonymous cohort ledger; margin/retention calculations; departure reasons.
Setup
Audit operational control of mining, voting, proving, aggregation, hosting and software distribution separately.
Steps
- Use opt-in attestations, observed dependencies and independent corroboration; disclose uncertain common ownership.
- Compare concentration and provider-removal outcomes to the approved security and availability assumptions.
- Check that pooled payments do not hide authority concentration and hardware vendors are not equated with operators.
Accept
P11/P16 concentration requirements hold within disclosed uncertainty; unidentified control cannot be counted as independent. No single removable dependency is falsely marketed as decentralised operation.
Evidence the case requires
Control/failure-domain map; uncertainty notes; concentration/removal results.
Setup
Observe the final candidate and approved compatible updates for the full P16 real-time period.
Steps
- Measure promised service availability, invalid acceptance, finality safety, payouts and incident impact.
- Reconcile external probes, customer records and operator logs, including maintenance and exclusions.
- Repeat affected critical tests after every material change; reset observation where comparability breaks.
Accept
P16 availability and safety criteria hold on live observation; no hidden downtime or compressed-time substitution. This supports the recorded window only, not multi-year operational maturity.
Evidence the case requires
90-day SLO ledger; independent probes; incident reports; change/retest history.
Setup
Provide the full evidence packet, commercial results, comparative study and unresolved-limit register to the panel.
Steps
- Check every mandatory and claimed-option test, source requirement and approved threshold.
- Require separate signoffs for hardware/economics, security/operations and customer/operator evidence.
- Document dissent and challenge any inference that passing an internal checklist proves number-one rank.
Accept
Every required gate is PASS with no unresolved material challenge, critical/high defect or missing comparator/customer evidence. The panel supports a credible leadership-contender conclusion within scope, not a guaranteed rank.
Evidence the case requires
Signed assessment; full status index; dissent/limitations; approved claim wording.
Setup
Define material-change triggers and scheduled reviews before publishing the assessment.
Steps
- Refresh competitor, hardware-cost, demand and security evidence at the P16 cadence.
- Test a newly credible specialist, lost customer, major outage and verifier change against invalidation rules.
- Withdraw or narrow stale claims promptly while publishing the new evidence status.
Accept
Claims remain dated, scoped and revisable; material contrary evidence reopens the appropriate gate. The network may remain usable while a leadership claim is suspended. No permanent self-awarded certification.
Evidence the case requires
Review calendar; invalidation drills; versioned public claim register.
17 profiles, P00 to P16. A profile is frozen before the confirmatory run; weakening a target after a failure creates a different claim.
Cited by 14 cases. The profile’s own line in the registry: PROPOSED, REQUIRES APPROVAL.
Cited by 69 cases. The profile’s own line in the registry: PROPOSED, REQUIRES APPROVAL.
Cited by 12 cases. The profile’s own line in the registry: PROPOSED, REQUIRES APPROVAL.
Cited by 8 cases. The profile’s own line in the registry: PROPOSED, REQUIRES APPROVAL.
FAIL R_E target at most 1.5 at the same node and one node ahead; today's placed bracket 1.5x to 2.1x: FAIL
Cited by 14 cases. The profile’s own line in the registry: PROPOSED, REQUIRES APPROVAL.
Cited by 0 cases. The profile’s own line in the registry: PROPOSED, REQUIRES APPROVAL.
Cited by 4 cases. The profile’s own line in the registry: PROPOSED, REQUIRES APPROVAL.
Cited by 15 cases. The profile’s own line in the registry: PROPOSED, REQUIRES APPROVAL.
Cited by 25 cases. The profile’s own line in the registry: PROPOSED, REQUIRES APPROVAL.
Cited by 30 cases. The profile’s own line in the registry: PROPOSED, REQUIRES APPROVAL.
Cited by 11 cases. The profile’s own line in the registry: PROPOSED, REQUIRES APPROVAL.
Cited by 4 cases. The profile’s own line in the registry: PROPOSED, REQUIRES APPROVAL.
Cited by 24 cases. The profile’s own line in the registry: PROPOSED, REQUIRES APPROVAL.
Cited by 1 case. The profile’s own line in the registry: PROPOSED, REQUIRES APPROVAL.
Cited by 10 cases. The profile’s own line in the registry: PROPOSED, REQUIRES APPROVAL.
Cited by 5 cases. The profile’s own line in the registry: PROPOSED, REQUIRES APPROVAL.
Cited by 5 cases. The profile’s own line in the registry: PROPOSED, REQUIRES APPROVAL.
Exact commits, binaries, genesis/network ID, mining class, dataset schedule, EVM fork/deviations, program/verifier IDs, fees, supply, quorum/fault rules, trust anchors, activation and supported roles.
Pinned toolchains, dependency locks, clean OS images and documented signing/notarisation boundaries. No production secrets or private founder files.
Approved physical GPU cohort, calibrated wall meters, stable thermal conditions, driver/OS images and realistic home/datacentre link conditions.
Fixed full-hash and EVM/proving jobs, independent reference implementations, real customer-sized payloads, held-out seeds and complete expected results.
Independent nodes/operators; controllable latency, loss, clocks, partitions, storage faults and role withdrawals. Actual consensus paths plus separately labelled simulators.
Malformed transactions/proofs, wrong roots/IDs, duplicate payments, bad authority tables, historical failures and deliberately faulty code mutants.
Functionally checked architectures, RTL/physical estimates where feasible, memory and board assumptions, cost inputs, adaptation paths and uncertainty ranges.
Independently reproducible costs, entry/exit/difficulty policies, scenario grid, operator opportunity costs and money-flow conservation fixtures.
Consenting unaffiliated users, contracted meaningful workloads, private ownership checks, dated competitor methods and independent analysis.
Immutable run IDs, raw logs, hashes, analysis code, exclusions, defects, reviewers, signatures, privacy controls and public redacted summaries.
Independent passage of all mandatory and claimed-option gates, including commercial and comparative observation, can support a scoped leadership-contender assessment. It does not prove a universal rank or eliminate unknown future hardware risks.
Test design, not executed evidence. All numeric additions are proposed, not source-approved protocol rules. Optional claimed features require their tests; excluded features earn no pass credit.
Never served: guaranteed chip death, a universal ASIC-efficiency ceiling, chip-arrival probabilities, guaranteed profits, Ethereum security by compatibility, privacy from ZK, a numerical rank.
Source: docs/plans/igneum-2.0-test-registry.json, version 1.0, dated 8 October 2026, plan sha256 418b3b9f68f96a41. This copy was written when the page was built; the page checks the registry on the public git host every 60 seconds.
Every case of the standard, shown as it is run, in the standard’s own words. A checklist, never a completion score: a gate passes only when every case it depends on has passed.
Basis IGNEUM_2.0_Plan.pdf, 37 pages, 8 October 2026. The standard runs to 73 pages. Registry dated 8 October 2026.
Test and Acceptance Standard 1.0: APPROVED AS PROPOSED by the founder, 8 October 2026; P13 (maintenance continuity) DEFERRED; 128 cases: 0 passed under the standard, 64 running with team evidence, 1 blocked, 62 not run, 1 deferred
A gate reads NOT RUN until every case it depends on has run, RUNNING while any is running, BLOCKED if any is blocked, FAIL if any fails, and PASS only when every case passes. No gate is weighted into an average.
Release identity
No formal run or public pass before approval.
8 cases: 0 passed under the standard, 3 running with team evidence, 5 not run, 0 deferred
D1
No validated hardware claim without reproduction.
16 cases: 0 passed under the standard, 8 running with team evidence, 8 not run, 0 deferred
D2
No improvement claim from a negative hypothesis.
32 cases: 0 passed under the standard, 20 running with team evidence, 1 blocked, 11 not run, 0 deferred
D3
No broad resistance claim from one weak design.
16 cases: 0 passed under the standard, 10 running with team evidence, 6 not run, 0 deferred
D4
No durability claim based on assumed chip expiry.
24 cases: 0 passed under the standard, 10 running with team evidence, 14 not run, 0 deferred
D5
No no-rescue claim from a founder-supported demo.
56 cases: 0 passed under the standard, 27 running with team evidence, 29 not run, 0 deferred
Execution control
No mainnet-ready claim with missing enforcement or safety.
64 cases: 0 passed under the standard, 38 running with team evidence, 1 blocked, 25 not run, 0 deferred
Execution control
Devnet activity is insufficient.
24 cases: 0 passed under the standard, 3 running with team evidence, 20 not run, 1 deferred
Execution control
Supports a scoped contention assessment, not a guaranteed rank.
128 cases: 0 passed under the standard, 64 running with team evidence, 1 blocked, 62 not run, 1 deferred
Prevent a favourable result from being attached to the wrong code, assumptions or public claim.
Setup
Candidate source, binaries, public documentation and the 2.0 plan are available; no run is yet accepted.
Steps
- Record exact commits, binary hashes, dependencies, genesis/network identity, mining class, datasets, execution fork, verifier IDs and fee rules in F0.
- Map every promised capability and plan requirement to a test ID; distinguish supported mining, proving and wallet combinations.
- Sign the manifest with protocol, product and independent review owners before confirmatory runs.
Accept
Every material rule and claim has an unambiguous version and test. Conflicts or unknown activation rules produce BLOCKED, not an inferred default. Changes create a new manifest and invalidate affected results.
Evidence the case requires
Signed F0; source-to-test map; claim inventory; unresolved-field register.
Setup
This manual supplies proposed test thresholds, not source-approved protocol parameters.
Steps
- Approve or replace every P-profile before confirmatory testing; give each change a rationale and independent approver.
- Register hardware cohorts, mandatory economic worlds, customer workloads, peer dimensions and exclusion rules.
- Lock the profile hash and hold out seeds/workloads from the developers doing optimisation.
Accept
No decision-critical field is TBD. Numeric limits are frozen, commercially meaningful and not chosen from observed results. A weakened limit after failure requires a new protocol, full affected rerun and explicit claim downgrade review.
Evidence the case requires
Approved profile register; timestamped holdout commitments; change log.
Setup
Provide public source and documented build instructions to three unaffiliated operators.
Steps
- Build on clean declared environments without private files, tokens or founder assistance.
- Compare reproducible payload hashes; isolate signatures, notarisation and permitted non-deterministic wrappers.
- Run reference vectors and restart a node using only documented artifacts.
Accept
All independent builds reproduce the same consensus payload or an independently explained, pre-approved wrapper difference; reference outputs match exactly. Missing private prerequisites block release.
Evidence the case requires
Build logs; dependency lockfiles; binary comparison; operator attestations.
Setup
Enable append-only storage for run outputs and a separate analysis workspace.
Steps
- Capture failed, aborted and successful runs with timestamps, seeds and environment hashes.
- Recompute one published figure from raw records on a clean machine.
- Modify a retained artifact deliberately and test integrity verification.
Accept
Every headline can be regenerated; tampering is detected; exclusions have pre-registered reasons. Failed or missing runs remain visible and are never replaced silently by a successful retry.
Evidence the case requires
Artifact manifest; hashes; reproduction script; exclusion ledger; negative-run archive.
Setup
Create controlled defective variants on an isolated network only.
Steps
- Disable proof verification, change one reward, accept an expired authority set and alter one hash output in separate mutants.
- Run the corresponding ZKP, INC, FIN and POW tests without telling the runner which mutant is active.
- Confirm the baseline still accepts authorised valid cases.
Accept
Every deliberately introduced fault is caught by its mapped test; valid controls pass. Any undetected critical mutant blocks acceptance of that test family until the oracle is repaired.
Evidence the case requires
Mutation catalogue; blinded run results; baseline controls; oracle review.
Setup
Inventory FP32 experiments, receipts/oracles and all retained or excluded mining levers.
Steps
- Mark each capability CORE, CLAIMED-OPTIONAL or EXCLUDED before release testing.
- For excluded code, check binaries, protocol activation and product copy for accidental enablement or implied availability.
- For each claimed option, require the complete associated test set rather than a demonstration.
Accept
Every core and claimed-option obligation passes. Excluded items are shown as EXCLUDED, never PASS and never counted as achievements. Removing a failed core requirement prevents an all-2.0-pass claim.
Evidence the case requires
Scope manifest; activation scan; product-copy comparison; exclusions register.
Setup
Nominate reviewers with declared conflicts and scopes covering cryptography, consensus and hardware.
Steps
- Provide pinned code, raw data, adversarial models and prior failures, including negative results.
- Track each finding to remediation and an independent retest; do not use the author as sole approver.
- Have reviewers state unreviewed surfaces and model limitations in their signed conclusions.
Accept
No unresolved critical or high-severity finding affects the claimed release. A finite review is described by scope, not as proof of universal security. Independent reproduction and review are both evidenced.
Evidence the case requires
Signed scoped reports; conflict declarations; finding/retest ledger.
Setup
Create a simulated post-test change to a verifier, mining class, dataset and fee rule.
Steps
- Calculate affected test dependencies and invalidate their former PASS statuses.
- Regenerate public status pages from F0 and the evidence register.
- Attempt to publish a rank-one, guaranteed-profit or automatic-chip-death claim without the required evidence.
Accept
Affected gates return to NOT RUN or BLOCKED. Public claims retain version, limits and date; unsupported claims are withheld. No stale result remains attached to a different release.
Evidence the case requires
Dependency impact report; regenerated status page; rejected claim examples.
Close the pending measurements and evaluate the actual configuration, including costs hidden by kernel-only results.
Setup
Freeze the P02 cohort, supported role matrix and the final v6 configuration.
Steps
- Inventory physical SKU, usable memory, driver, operating system, firmware, cooling and acquisition channel.
- Run mining on every supported cohort cell and proving on every separately advertised prover cell.
- Include lower-memory, used-generation and all advertised vendor cases; retain unsupported results separately.
Accept
All declared cells are tested, with no after-the-fact removal of weak cards. At least the P02 minimum coverage is met. Mining-only support is never reported as proof-generation support.
Evidence the case requires
Cohort manifest; compatibility matrix; raw results by SKU and role.
Setup
Use paired stock and tuned runs on the same board, host, workload and ambient conditions.
Steps
- Warm to stability; randomise stock/tuned order and run P02 repeated sessions.
- Measure accepted work, calibrated wall energy, device telemetry and rejected work.
- Calculate paired energy and rate changes with run-level uncertainty, retaining failed tuning attempts.
Accept
Tuning preserves correctness and meets approved P03 operating limits. The historical 34-41% saving and under-2% rate-loss statement is reproduced only for qualifying configurations; otherwise that claim is corrected. Existing savings are not counted twice.
Evidence the case requires
Raw power/time series; paired analysis; tuning settings; claim-by-SKU table.
Setup
Build the baseline and window variant with identical dataset, reads and semantic workload.
Steps
- Inspect compiled register allocation, spills, occupancy and memory traffic on each supported backend.
- Measure paired complete-system energy and accepted throughput, including host work.
- Repeat during proving coexistence and expose any memory or scheduling cliff.
Accept
Any production window meets P03 budgets for every mandatory SKU; no hidden spills or correctness changes. Zero GPU cost is claimed only where measurement supports it within uncertainty. Results feed the redesigned adversary, not an old core estimate.
Evidence the case requires
Compiler reports; allocation traces; paired energy/rate data; coexistence runs.
Setup
Use safe vendor-supported settings only; record operator permission and original settings.
Steps
- Sweep approved core and memory operating points while holding workload constant.
- Measure error rate, accepted throughput, wall energy and thermal equilibrium.
- Repeat the selected knee after reboot and restore defaults after a failed or interrupted tuning session.
Accept
Selected profiles are stable, reproducible and not dependent on unsafe clocks. Every accepted hash remains correct; saved settings restore predictably. Tuning failure leaves a working safe configuration.
Evidence the case requires
Clock ladder; safe bounds; thermal/error logs; reboot and rollback record.
Setup
Test 5.5, 8.5 and 11.5 GiB only as source-proposed candidates; F0 determines activated sizes.
Steps
- Measure allocation plus driver, display, prover and OS headroom on the 8 GB and other cohort tiers.
- Run near-full-memory, fragmentation, restart and next-epoch construction scenarios.
- Compare time-sharing/eviction with concurrent mining/proving, including reload cost.
Accept
Every advertised combination completes without OOM or silent corruption. Unsupported future sizes are identified before activation. GPU exclusions and lost proving capacity appear in ECO evaluation; retirement of a tier is not a success metric.
Evidence the case requires
Memory budget per SKU; OOM traces; support horizon; concurrency cost table.
Setup
Use the same hardware against clean, delayed, lossy and intermittent links in F4.
Steps
- Measure kernel rate and accepted work separately under home and datacentre link profiles.
- Include reconnects, template changes, expired submissions and pool failover.
- Attribute loss to network, local software, validation and protocol causes.
Accept
Results use accepted work, never kernel rate alone. Ordinary-link incremental rejection stays within P10; all losses remain priced in ECO. Unreachable links may pause but must not claim paid work.
Evidence the case requires
Per-submission ledger; network trace; rejection reasons; accepted-work comparison.
Setup
Run the selected profile on actual reference machines for the P02 soak period.
Steps
- Track wall power, temperatures, clocks, memory and accepted work continuously.
- Inject safe power interruptions, process restarts and normal competing desktop load.
- Check restored settings and compare late-run efficiency with the first stable period.
Accept
No invalid work or unsafe persistent settings; P02/P10 stability limits hold. Thermal throttling, crashes and recovery time remain in throughput and energy denominators. A crash-free short benchmark cannot substitute for the soak.
Evidence the case requires
Seven-day time series; crash reports; settings-restoration checks; drift analysis.
Setup
Three unaffiliated operators receive F0, F2 and F3, including the final miner/prover build.
Steps
- Repeat identical-SKU paired runs with documented meter calibration and environment differences.
- Recompute joules and total cost per accepted work from the shared raw schema.
- Investigate divergence before accepting a pooled headline or uncertainty band.
Accept
Reproductions meet P02 tolerance and exact correctness. No unexplained divergence or selectively missing low-end cell remains. Report manufactured GPU measurements separately from modelled specialist estimates.
Evidence the case requires
Three signed reproduction packs; reconciliation report; final baseline table.
Find semantic disagreements and structural shortcuts before treating a harder-looking program as a stronger defence.
Setup
Implement an independently written reference evaluator, not a wrapper around the production GPU path.
Steps
- Execute the P01 corpus across every family, boundary seed and supported backend.
- Exercise zero, maximum, sign, shift, rotate, overflow and unaligned-address cases allowed by the spec.
- Minimise every mismatch and rerun it on clean builds.
Accept
Bit-for-bit agreement for all valid cases and identical rejection for invalid cases. One unexplained mismatch is a blocker. Large sample counts are evidence of testing, not proof that unseen disagreements cannot exist.
Evidence the case requires
Reference implementation review; seeds/vectors; backend matrix; mismatch archive.
Setup
Use the frozen grammar, opcode semantics and index-fold rule; include boundary and malformed programs.
Steps
- Enumerate small constrained programs and fuzz the full generator at P01 depth.
- Check bounds, valid dependencies, address distribution and forbidden encodings.
- Compare source-level operations with optimised compiled code for removed or altered work.
Accept
No accepted program violates semantics, termination or memory bounds. Distribution claims have predeclared tests and effect-size limits; passing randomness checks is not treated as a cryptographic proof.
Evidence the case requires
Generator/fuzzer logs; reduced counterexamples; disassembly comparison; index tests.
Setup
Take the 64-register candidate and the cheapest independently proposed storage organisations.
Steps
- Trace value liveness across dependent reads and final output, distinguishing distinct information from duplicated values.
- Try banking, compression, recomputation, fewer ports and time-multiplexed contexts.
- Quantify the best complete-system cost/throughput trade-off rather than the reference register count.
Accept
Production selection is supported by measured or physically modelled penalties after these alternatives. G2 requires the P03 improvement; an attractive source-level register count alone does not pass.
Evidence the case requires
Liveness traces; alternative implementations; Pareto table; reviewer analysis.
Setup
Use a candidate initially matched to baseline instruction count, read count and dataset size.
Steps
- Connect state, addresses, arithmetic and lane communication according to the written hypothesis.
- Measure GPU cost and allow the specialist reviewer to redesign the entire core.
- Repeat on held-out program seeds and compare the worst supported adversary, not only the original design.
Accept
The selected upgrade meets P03 and improves the adversarial result outside declared uncertainty. A negative experiment remains a negative outcome; adopting a different design requires a new frozen comparison.
Evidence the case requires
Matched workloads; GPU runs; redesigned core estimates; held-out results.
Setup
Prepare valid templates, nonces, intermediate-state captures and independent acceptance checks.
Steps
- Vary nonce, payout identity, transactions, roots and other committed fields after expensive work.
- Try replay, precomputation, shared prefixes, partial evaluation and many cheap suffix candidates.
- Price any valid strategy against fresh evaluation; independently review all bindings.
Accept
Invalid modifications are rejected. Any valid cost-saving strategy is incorporated into ADV and must still meet P04/ECO gates. No unresolved shortcut is hidden behind passing reference vectors.
Evidence the case requires
Attack implementations; valid/invalid controls; work-cost analysis; binding review.
Setup
Use ordinary CPU validators with a manifest-defined resource budget and untrusted submissions.
Steps
- Submit shortest/longest programs, malformed encodings and adversarial memory references.
- Measure verification time, peak memory and work amplification across valid and invalid inputs.
- Sustain the approved hostile request rate while ordinary valid traffic continues.
Accept
All semantics remain correct and P09 resource budgets hold. Invalid traffic cannot cause unbounded allocation, crashes or disproportionate free work. Rate limits must not replace consensus validation.
Evidence the case requires
CPU profiles; adversarial corpus; allocation traces; valid-traffic latency.
Setup
If this branch is excluded, verify that it is unreachable and not claimed; if included, use a separate frozen candidate.
Steps
- Specify exact rounding, fusion, special values and backend behaviour before compiling.
- Differentially test all supported architectures and allow numerical-domain simplification in the specialist model.
- Include verifier cost and candidate energy in P03/P04, not just arithmetic-unit area.
Accept
Included branches achieve exact agreed semantics and all hardware budgets. An excluded branch earns no performance credit. No approximate operation or unspecified compiler choice enters consensus.
Evidence the case requires
Scope decision; semantic specification; vectors; simplified datapath model.
Setup
Inventory long programs, select trees, SM gating, wider reads, sealed classes, random epoch lengths, per-tier scoring and VRF draws.
Steps
- Retain their historic negative tests and realistic SRAM instruction-memory control.
- Inspect the release for reintroduction through renamed settings or hidden paths.
- Require a new written hypothesis and complete adversarial retest for any proposed return.
Accept
Excluded levers remain excluded unless separately approved and retested. Flip-flop instruction-memory area is never presented as the cost of a realistic SRAM implementation.
Evidence the case requires
Decision register; binary/config scan; negative-control results.
Give the opponent permission to adapt, share resources and remain operational; test cost rather than imagined chip death.
Setup
Provide the complete published family bank and future known parameter schedule to the reviewer.
Steps
- Design one programmable architecture that supports all retained families, including firmware and emulation paths.
- Optimise clocks, lanes, ports and pipelines without requiring a graphics-card layout.
- Verify its outputs against POW vectors before measuring any advantage.
Accept
At least the P04 design diversity is evaluated; every estimated competitive design is functionally validated. Inability of one narrow design to adapt is not evidence that all chips expire.
Evidence the case requires
Architecture reports; functional simulations; adaptation matrix; reviewer signature.
Setup
Allow multiple engines to share a dataset and to store selected fractions rather than a complete per-engine copy.
Steps
- Sweep sharing factors, memory fractions, caches and recomputation depth across many simultaneous hashes.
- Include construction/update amortisation, bandwidth contention and retained state.
- Take the most favourable feasible point for the specialist into the complete-board model.
Accept
No omitted feasible trade-off materially lowers the accepted cost estimate. Any winning alternative is included in P04 and ECO; capacity alone is not accepted as an energy bound.
Evidence the case requires
Sweep definitions; energy/bandwidth data; best-feasible envelope; excluded-design reasons.
Setup
Permit distributed memories, state migration and companion CPU/GPU/FPGA components.
Steps
- Compare moving computation, intermediate state or fetched data to each read location.
- Test specialised mining alongside outsourced proof generation rather than assuming one physical GPU does both.
- Include interconnect, host, synchronisation, idle and conversion costs.
Accept
The cheapest feasible combined system is included in the adversarial envelope and economic model. A worker identity or account is never treated as proof of a single physical device.
Evidence the case requires
Hybrid architecture diagrams; traffic traces; system cost and energy ledger.
Setup
Use all declared families plus held-out generated programs and the protocol difficulty rule.
Steps
- Identify favourable execution paths and add cheap fallbacks for other periods.
- Simulate entry/exit around profitable periods, including idle time, compilation and re-entry costs.
- Evaluate revenue and costs across the full schedule, not just average program energy.
Accept
Intermittent specialists meet P04/ECO limits when evaluated on full-period economics. A weak tail cannot be concealed by a favourable mean; known valid shortcuts must be priced.
Evidence the case requires
Per-program advantage distribution; policy simulator; full-period returns.
Setup
Use feasible process/library assumptions and documented component boundaries; no fabricated foundry access.
Steps
- Model SRAM macros, ports, wiring, clocking, memory PHYs, external memory, host and power conversion.
- Run place-and-route where available; mark unmodelled items as uncertainty rather than zero.
- Compare against a calibrated existing hardware block or equivalent validation case.
Accept
No decision-critical cost is omitted. Physically unvalidated or proprietary estimates are labelled and independently bounded; synthesis alone cannot earn a manufactured-chip claim.
Evidence the case requires
Netlist/physical reports; macro assumptions; bill of materials; model calibration.
Setup
Evaluate same-node, one-node-ahead and two-node-ahead scenarios with explicit technology definitions.
Steps
- Use independently justified process factors, voltages, memory and packaging assumptions for each design.
- Allow reusable IP and modular revisions; credit GPU improvement consistently.
- Evaluate measurement confidence and model-parameter sensitivity separately.
Accept
P04 primary limits hold for all competitive-reference cells; two-node futures are reported and pass the predeclared economic stress envelope. A model range is never labelled a statistical confidence interval without justification.
Evidence the case requires
Node-specific reports; factor provenance; uncertainty and sensitivity tables.
Setup
Assume multi-year productive survival and known schedule support before testing optional retirement penalties.
Steps
- Price firmware, emulation, memory expansion, companion hardware and incremental redesign.
- Include 1-, 3- and 5-year productive lifetimes plus idle/resale possibilities.
- Grant a retirement credit only if all feasible cheaper adaptations lose competitiveness.
Accept
The primary case does not require chip death or a fresh full development bill per family. Every retirement credit has a documented adaptation comparison; incompatible and unprofitable are reported separately.
Evidence the case requires
Lifetime/adaptation ledger; revision costs; feasible-alternative analysis.
Setup
Publish the non-sensitive model and negative results; commission an unaffiliated second hardware reviewer.
Steps
- Reward cheaper valid designs and reproduced shortcuts, not confirmation of the preferred number.
- Re-run P04 with the strongest submitted feasible design, including a low-cost funded-development case.
- Record unresolved modelling disagreements and future technology exclusions.
Accept
Both reviews accept the scoped envelope or all material disagreements are resolved transparently. Passing supports only evaluated designs and conditions, never a universal bound on all future silicon.
Evidence the case requires
Two review reports; challenge log; final envelope; unresolved-limit statement.
Transitions must agree across nodes and remain usable during failures; crossing a boundary is not a chip-retirement test.
Setup
Use real nodes, CPU/GPU miners and independent clocks around successive program boundaries.
Steps
- Submit valid work immediately before, at and after the activation boundary under clock skew and delayed delivery.
- Restart nodes from both sides and replay the same headers.
- Compare selected seed, program, validity, rewards and local wall-clock dependence.
Accept
All honest nodes derive identical consensus outcomes from the frozen rule. Late work is handled exactly as specified; no wall-clock ambiguity or cross-backend split occurs.
Evidence the case requires
Boundary vectors; node/miner traces; acceptance and reward matrix.
Setup
Use the retained schedule in F0, including coincident program, parameter and family changes.
Steps
- Run every known family transition and all coincident-boundary combinations on production code.
- Interrupt downloads, compilation and restart during activation; include mixed old/new clients.
- Repeat selected cases under real elapsed time and the remainder under disclosed accelerated time.
Accept
Deterministic activation, documented old-client behaviour and no unsafe fallback. Compilation/setup costs satisfy P03; accelerated runs are not reported as years of operating history.
Evidence the case requires
Transition matrix; code-path evidence; compile timing; old-client logs.
Setup
Freeze eligibility, threshold, windows and activation semantics before testing; do not invent a no-veto rule.
Steps
- Attempt threshold-minus-one, threshold, conflicting proposals, duplicate votes and coalition withholding.
- Partition voters, restore them and test vote-key substitution through pools.
- Verify adoption and refusal behaviour of already running nodes.
Accept
The actual mechanism enforces F0, with authenticated voting and no conflicting activation. Any coalition capable of blocking or manipulating changes is disclosed; labels such as no veto do not override arithmetic.
Evidence the case requires
Executable governance model; signed-vote corpus; coalition/partition results.
Setup
Provide the specified seed pipeline and delay proof implementation plus independently parameterised fast-adversary models.
Steps
- Try withholding candidate seeds, grinding alternatives, replaying delay proofs and biased checkpoint selection.
- Vary adversarial speed advantage and outage duration; trace influence on program choice.
- Validate inputs, parameters and proofs against independent vectors.
Accept
No invalid seed or proof is accepted; selection advantage stays within the approved threat-model bound. Missing bounds block this gate. A delay mechanism is not credited as generic ASIC resistance.
Evidence the case requires
Seed/grinding simulations; speed sensitivity; proof vectors; threat-model signoff.
Setup
Stop checkpoint signing while mining continues, then cross seed and family boundaries.
Steps
- Remove the required signing weight and observe the documented fallback or safe pause.
- Prevent access to any founder seed service; restart from persisted state.
- Restore the stated fault assumptions and verify deterministic recovery.
Accept
Mining/seed behaviour matches F0 without manufacturing certificates or reinterpreting finality. Safety holds during the outage; liveness is required only after its stated assumptions return.
Evidence the case requires
Fault timeline; seed/certificate history; node-state comparison; recovery log.
Setup
Freeze memory sizes, support horizon and sync/update procedure; test all advertised roles.
Steps
- Construct the next dataset while current work remains active; test slow disks, low free memory and interruption.
- Try stale-state/dataset submissions and maliciously expensive state growth where coupling exists.
- Measure data transfer, restart and excluded-card costs before approving progression.
Accept
No invalid stale work is accepted, no supported card silently fails, and P06 is met. Hardware retirement and sync burden are included in the economic decision, not treated as automatic chip protection.
Evidence the case requires
Dataset hashes; memory/update traces; stale-work tests; exclusion decision.
Setup
Use matched baseline and ablated variants in the lab; do not change a running public network.
Steps
- Remove each weekly/family component independently and measure adversarial cost, GPU setup and verifier complexity.
- Include favourable-period specialists and all retained known families.
- Keep a layer only with a distinct, independently supported benefit or a documented non-resistance purpose.
Accept
Every retained layer has explicit justification and full boundary coverage. Redundant complexity is removed or its rationale recorded; the security model does not double-count the same versatility cost.
Evidence the case requires
Ablation report; decision log; complexity/cost comparison.
Setup
Freeze the complete published rule bank and known schedule for the five-year evaluation.
Steps
- Allow a programmable adversary to know and survive all planned changes.
- Remove assumed future emergency instructions and manual retirement actions from the model.
- Run the required ECO scenarios and link them to independent network-transition tests.
Accept
Competitiveness survives the approved envelope without future rescue assumptions. Any result that needs unannounced changes fails this claim; ordinary bug maintenance is distinguished from anti-chip intervention.
Evidence the case requires
Frozen-rule model; scenario results; excluded-rescue audit; G5 evidence.
Test the world after specialised hardware exists, including new entrants and an already-funded competitor.
Setup
Use benchmark outputs, current-source cost inputs recorded at execution time and separate reference scenarios.
Steps
- Calculate hardware annualisation, electricity, host, cooling/hosting, failures, fees, downtime and residual value.
- Use actual accepted work and independently verify units and period conversions.
- Cross-check formulas using hand-worked fixtures, edge cases and a second implementation.
Accept
All material costs and rejected-work effects appear once; model totals reconcile to raw inputs. No GPU upgrade is free, development cost is not double-counted, and burn is not mislabelled operator income.
Evidence the case requires
Versioned model; unit fixtures; independent reconciliation; input sources.
Setup
Use both installed hardware and purchasable replacement hardware in every mandatory cohort.
Steps
- Evaluate marginal operation separately from recovery of a new purchase.
- Stress resale at zero, hardware failures, financing and replacement cycles.
- Report break-even power price and total cost relative to the strongest feasible specialist.
Accept
P12 competitiveness conditions hold for the predeclared cohorts in required sustainable worlds. Existing-owner profitability cannot substitute for viable new entry; cards outside the envelope remain visible.
Evidence the case requires
Owner/entrant curves; price-date records; break-even tables; cohort outcomes.
Setup
Use three development cases: fully funded elsewhere, source-range low and source-range high.
Steps
- Evaluate private mining, public hardware sales and a hybrid business model.
- Allow shared IP, incremental revisions, multi-year survival and resale where justified.
- Re-evaluate GPU entry after the specialist fleet is already installed.
Accept
The coexistence claim does not depend on recovering the original chip research bill. Required P12 cases meet the approved envelope even at zero incremental development cost; failures cannot be hidden by the $23M/$340M source thresholds.
Evidence the case requires
Business-model variants; sunk-cost case; full cash-flow and adaptation records.
Setup
Use independently reviewed dynamic operator policies, not fixed market shares.
Steps
- Let agents buy, sell, switch off, re-enter and choose tasks based on declared costs and expected income.
- Apply the actual difficulty/reward rules and test optimistic and adversarial liquidity/capital availability.
- Compare equilibrium and transient outcomes across independent starting conditions.
Accept
Mandatory worlds satisfy P12 without an imposed GPU share or artificial specialist capacity limit. Concentration, oscillations and excluded regions are reported; model behaviour matches unit and conservation checks.
Evidence the case requires
Agent policies; sensitivity seeds; market-share paths; independent model review.
Setup
Freeze mandatory scenarios before results: revenue bands, tariff range, lifetimes and demand states.
Steps
- Run the P12 factorial grid plus adversarial combinations selected by the independent reviewer.
- Test a large successful network as well as weak-revenue and heterogeneous-tariff cases.
- Distinguish feasible sustained-entry worlds from collapse scenarios with no rational profitable operator.
Accept
No small-network or token-appreciation assumption props up the primary claim. Required viable worlds pass the envelope; collapse worlds show honest contraction and safety, not fabricated profits. Failure regions are explicit.
Evidence the case requires
Scenario register; full result cube; boundary plots; failed-world explanations.
Setup
Use the frozen supply, halving, fee, burn and reward rules rather than source prose assumptions.
Steps
- Reconcile revenue reaching miners, internal provers, developers and burns over the full horizon.
- Test flat/declining fees and no external proving income; separately introduce external demand.
- Calculate capacity and security-provider coverage after each reward transition.
Accept
Recurring compensation is explicit and internally consistent; mandatory sustainable scenarios meet P12. Burned amounts are never counted as payments, and external operator income is not assumed to fund internal work automatically.
Evidence the case requires
Issuance/fee ledger; scenario cash flows; funding-shortfall report.
Setup
Use GPU-05 and ROT-06 costs with the cheapest specialist adaptation.
Steps
- For each dataset increment, compare specialist cost increases with excluded cards and lost proving capacity.
- Include ordinary-owner replacement, resale and reloading expenses.
- Run alternate bounded schedules without assigning automatic chip death.
Accept
The retained schedule meets P06/P12 and has an evidence-backed net competitiveness benefit. A schedule that mainly harms accessible GPUs fails; excluded tiers and mitigations are documented before activation.
Evidence the case requires
Per-step cost/retention table; alternative schedules; approval record.
Setup
Give an independent economist or qualified analyst the code, inputs and frozen success criteria.
Steps
- Recalculate required worlds and perturb favourable assumptions against the team.
- Check dependence on discounts, utilisation, capital limits, artificial prices and future upgrades.
- Publish the sensitivity range and state which conclusions are conditional.
Accept
Material results reproduce, required scenarios pass and no unacknowledged assumption dominates the claim. The model supports a bounded coexistence conclusion, not a percentage probability that no chip will appear.
Evidence the case requires
Independent report; rerun outputs; model limitations; approved claim envelope.
Keep familiar applications while making every difference and metering rule explicit and reproducible.
Setup
Pin the intended execution fork, revm version and all Igneum deviations in F0.
Steps
- Run the applicable upstream execution/state fixtures plus independently written deviation tests.
- Execute identical blocks on multiple nodes and compare roots, receipts, logs, gas and failure outcomes.
- Minimise mismatches and distinguish intended differences from implementation defects.
Accept
All applicable vectors match; every deviation has a documented test and developer consequence. No claim of universal Ethereum equivalence or Ethereum settlement security is inferred.
Evidence the case requires
Fixture/version inventory; root/receipt diffs; deviation matrix.
Setup
Use signed transfers, contract calls and deployment transactions with boundary field values.
Steps
- Alter chain identity, nonce, signature, fee caps and recipient after signing.
- Replay across nodes, forks and distinct test networks; resubmit around reorganisation.
- Check mempool admission and final consensus execution independently.
Accept
Unauthorised, wrong-network or duplicate spends are rejected according to F0. Valid replacements follow the declared rule; mempool filtering alone is not evidence of consensus enforcement.
Evidence the case requires
Signed corpus; admission/execution outcomes; account-state reconciliation.
Setup
Freeze fee dimensions, estimator rules, abort behaviour and refund policy.
Steps
- Run workloads near and beyond execution and proving budgets, including state-heavy pathological cases.
- Compare estimated fees with charged fees and validate rollback/receipt status on abort.
- Mutate a block producer to omit or undercharge expensive work.
Accept
Deterministic metering, charged amounts and aborted state agree across nodes and proofs. Resource bounds hold; fee estimates meet P09 for accepted supported cases. Undercharged invalid blocks cannot bypass consensus.
Evidence the case requires
Metering traces; fee fixtures; estimator errors; invalid-block rejection.
Setup
Use contracts sensitive to timestamp, height/context, randomness and ordering.
Steps
- Compare the declared Igneum semantics with developers' documented expectations.
- Test boundary transitions, miner-influenced inputs and adversarial ordering in the isolated network.
- Run dependency reviews for applications using these values for economic decisions.
Accept
Semantics match F0 and differences are surfaced in compatibility documentation. No source of miner influence is marketed as unbiased randomness; incompatible applications are not included in the compatibility claim.
Evidence the case requires
Context-contract results; threat notes; compatibility exclusions.
Setup
Use versioned transfer/token, NFT, multisignature, exchange and upgrade-pattern fixtures where supported.
Steps
- Deploy, initialise, transact, revert and upgrade each contract using ordinary tooling.
- Exercise events, logs, balances, storage and call traces across node restart/reorganisation.
- Compare expected application invariants with native execution and proved results.
Accept
Supported journeys preserve their stated invariants; all deviations are documented. Example deployment success alone cannot stand in for application-level correctness or financial audit.
Evidence the case requires
Contract fixture hashes; transaction journeys; invariant and state comparisons.
Setup
Pin supported RPC methods and response semantics; use normal developer clients and an independent indexer.
Steps
- Test fee estimation, pending/final states, subscriptions, pagination and reconnects.
- Reindex from genesis or the documented trust anchor after pruning and restart.
- Compare logs, receipts and balances with independently validated chain state.
Accept
No missing/duplicate canonical records; unsupported methods are explicit. UI states distinguish included, executed, proven and finalised. Malformed RPC input cannot crash validators or leak secrets.
Evidence the case requires
RPC conformance report; reindex comparison; reconnect/edge-case logs.
Setup
Create bounded pathological bytecode, calls, state growth, storage and precompile inputs.
Steps
- Measure CPU, memory, disk and proving cost against charged budgets.
- Saturate admission with invalid/expensive requests while valid workloads continue.
- Restart mid-execution and verify atomic state recovery.
Accept
P09 limits hold with no unbounded free work or divergent rollback. State remains consistent after crash; availability under overload follows the declared admission policy, not silent dropping of accepted transactions.
Evidence the case requires
Resource profiles; adversarial corpus; state recovery comparisons.
Setup
Prepare two authorised versions and malicious, stale or unknown versions.
Steps
- Cross activation with mixed clients, queued transactions and proofs from both versions.
- Bind each accepted proof to the correct execution semantics and program identity.
- Exercise a failed software distribution without altering consensus activation.
Accept
No unknown or wrong-version execution is accepted. Pre/post-boundary handling is deterministic and documented; software delivery cannot silently redefine transaction semantics or proof acceptance.
Evidence the case requires
Upgrade vectors; mixed-version traces; manifest/version bindings.
The validator, not merely the official producer, must reject unauthorised or invalid proof records and rewards.
Setup
Start from a native-correct statement and an independently verified valid proof.
Steps
- Submit the statement with no proof, truncated bytes, random bytes and targeted proof mutations using a modified producer.
- Submit the genuine proof as a positive control through ordinary network paths.
- Inspect block acceptance and resulting reward/state on unmodified validators.
Accept
Every invalid proof record is rejected and earns no reward; valid controls succeed. A producer-side filter is not sufficient. Record rejection semantics exactly as defined by F0.
Evidence the case requires
Hostile record corpus; validator decisions; before/after balances; positive controls.
Setup
Use valid proofs from authorised and unauthorised programs and parameter sets.
Steps
- Swap program digest, verifier version, security settings and verification key where applicable.
- Attempt downgrade through configuration, serialized metadata or an old node path.
- Test authorised boundary transitions and unsupported future identities.
Accept
Only explicitly authorised combinations are accepted in the correct epoch. No implicit trust in producer-supplied metadata or lower-security fallback; all accepted settings have scoped soundness review.
Evidence the case requires
Identity/parameter matrix; rejection traces; cryptographic review.
Setup
Prepare valid proofs for distinct chains, epochs, jobs and initial/final states.
Steps
- Replay each proof under another network, job, epoch, shard range or state commitment.
- Alter public inputs while retaining the proof and test valid-but-wrong-context statements.
- Check duplicated and reordered records across forks and replayed sync data.
Accept
Every misbound proof is rejected; valid authorised replays follow only explicitly allowed semantics and never create extra rewards. Native reexecution cannot conceal missing proof-context binding.
Evidence the case requires
Binding matrix; public-input hashes; replay traces; reward reconciliation.
Setup
Use proofs that commit to authorisation and all reward-relevant fields required by F0.
Steps
- Alter payout key, amount, beneficiary, source work or fee allocation independently.
- Supply correct execution over malicious producer-provided consensus/reward inputs.
- Compare consensus-derived rewards with the proved/publicly authenticated derivation.
Accept
Unauthorised payout changes and incorrect consensus inputs are rejected; no statement accepted merely because execution over supplied inputs is internally correct. Legitimate authorisations are preserved.
Evidence the case requires
Mutation cases; reward derivation trace; signature/proof binding review.
Setup
Use competing provers submitting valid results for the same work and simulate retries/reorganisations.
Steps
- Submit simultaneous duplicates, reordered receipts and repeated messages after disconnects.
- Crash validators between validation and reward application, then recover.
- Reconcile canonical payouts against the exact F0 duplicate policy.
Accept
Only the authorised total payment is made; no double payout, lost accepted entitlement or fork-retained balance. Transactions and payout records recover atomically.
Evidence the case requires
Concurrency schedule; canonical payment ledger; crash/recovery evidence.
Setup
Build valid multi-shard workloads plus omitted, duplicated, overlapping and misordered shard sets.
Steps
- Attempt an aggregate with a correct outer proof but wrong coverage/public-input construction.
- Alter shard ranges, roots and aggregation-program identity.
- Verify native execution, aggregate validity and coverage commitments independently.
Accept
Only complete, correctly ordered authorised coverage is accepted. No valid proof of the wrong computation becomes an accepted chain result; aggregation failures do not fabricate successful delivery.
Evidence the case requires
Coverage corpus; aggregate/public-input verification; rejection ledger.
Setup
Provide proof-system code, parameters, patches and the pinned verification path to an independent specialist.
Steps
- Review soundness assumptions, parameter margins and consequences of performance patches.
- Fuzz deserialization and adversarial proofs; measure verification CPU and memory under load.
- Cross-check an independent verifier or reference path and test crash containment.
Accept
P09 review and resource requirements pass with no unresolved critical/high finding. Random proof rejection counts are not described as evidence of a particular cryptographic security level.
Evidence the case requires
Scoped soundness review; parameter sheet; fuzzer corpus; verifier profiles.
Setup
Inspect block import, sync, RPC, light verification, database restoration and fast paths.
Steps
- Try bypassing validation via each path with a proof rejected by the normal path.
- Remove the dominant prover/aggregator and have independent replacements process available inputs.
- Attempt to use proof-production status as ordering, voting or finality authority.
Accept
No bypass accepts invalid work; proofs alone confer no unauthorised consensus control. Replacement and pause behaviour meet F0/P07/P08 without privileged keys or a trusted aggregator shortcut.
Evidence the case requires
Path coverage report; bypass corpus; replacement run; authority checks.
A correct fast shard is only one stage; capacity, latency, payment and retries must work together.
Setup
Recover the exact source-era workload/build if available; keep it separate from the release-candidate workload.
Steps
- Attempt independent reproduction of the 4,717,439-cycle workload and reported 3060/4060/4070 results.
- Record proof format, memory, energy, host and whether aggregation/compression are included.
- Repeat on the final release and label all configuration changes.
Accept
Historical figures are either reproduced within P02 tolerance or corrected/labelled non-reproduced. Release acceptance uses the current complete workload, never an unmatched historical time or a smaller substituted shard.
Evidence the case requires
Historical/current manifests; proof verification; timing and memory records.
Setup
Use final dataset sizes, registers, clocks, drivers and proof pipeline on every advertised proving tier.
Steps
- Run mining alone, proving alone, concurrent execution and supported time-sharing.
- Measure wall energy, memory headroom, reloads, proof latency and forgone accepted mining work.
- Induce memory pressure and GPU task failure without losing wallet control.
Accept
Every advertised mode completes correctly and meets P06/P07. Net output includes opportunity cost; unsupported concurrency is not claimed. Mining-only vendor support remains separately labelled.
Evidence the case requires
Four-mode results; OOM/failure logs; memory and opportunity-cost ledger.
Setup
Assign a unique job ID and immutable timestamps to every stage of F3/F8 jobs.
Steps
- Record request, input availability, assignment, execution, shard proof, aggregation, verification, delivery and payment.
- Compare monotonic elapsed time with any protocol/DAA clock and document their relationship.
- Reconcile failed, censored, retried and abandoned jobs with the original request denominator.
Accept
No hidden stage or missing job; latency distributions and cost cover the complete path. Delivery, finality and payment are reported separately; protocol seconds are not silently relabelled wall-clock seconds.
Evidence the case requires
Stage event ledger; clock calibration; end-to-end latency/cost report.
Setup
Freeze W: payload mix, input sizes, execution work and per-hour demand; prohibit tiny-workload substitution.
Steps
- Run 72 hours at W and a separate 24 hours at 1.2W on the declared fleet.
- Measure arrival/completion counts, backlog trend, oldest-job age, deadlines and all retries.
- Use held-out workloads and an independent observer to detect discarded or delayed requests.
Accept
P07 completion, tail-latency and bounded-backlog criteria hold. Capacity is stated for the tested W/fleet, not as universal TPS. A queue that grows indefinitely or shrinks through silent loss fails.
Evidence the case requires
Request/completion reconciliation; backlog series; held-out results; observer report.
Setup
Start at W and inject 2W for 15 minutes with valid and invalid jobs, then return to W.
Steps
- Observe admission, explicit backpressure, reservations and deadline estimates.
- Track accepted jobs to valid completion or the pre-agreed failure/refund outcome.
- Measure recovery time and ensure ordinary users are not silently starved.
Accept
P07 overload policy and recovery limits hold; no accepted job vanishes or earns an invalid reward. Rejected demand is reported separately from delivery success, preventing denominator manipulation.
Evidence the case requires
Overload timeline; admission/refund logs; backlog-drain proof.
Setup
Use a heterogeneous proving fleet, including the slowest advertised consumer tier.
Steps
- Measure actual completion distributions with network delay, competing load and failed attempts.
- Test the chosen exclusive window, open claiming and faster challengers after expiry.
- Compare assignment frequency, paid completions and wasted work by tier.
Accept
P07 fairness and wasted-work limits hold for advertised tiers. A provisional 10-DAA-second window is not treated as approved. Fair assignment counts alone cannot pass; payment outcomes and operator margins matter.
Evidence the case requires
Window sweep; paid-completion distribution; wasted-work and margin report.
Setup
Remove input providers, assigned provers and the dominant aggregator independently and together.
Steps
- Have replacement operators retrieve authenticated inputs without founder files.
- Retry expired assignments while preserving idempotent reward and customer outcomes.
- Restore providers and test late submissions racing with replacements.
Accept
P07/P08 replacement deadlines hold when availability assumptions permit. Otherwise a truthful bounded pause/refund occurs; no fake proof, double payment or hidden privileged input source is used.
Evidence the case requires
Failure schedule; input hashes; reassignment and payout ledger; recovery trace.
Setup
Run the external workload using a customer-controlled verifier and independently operated workers.
Steps
- Verify every delivered proof against the contracted program and input commitment.
- Reject wrong-format, stale and partial deliveries; test customer retry and delivery failure.
- Reconcile delivery, acceptance, payment and refund records without exposing private inputs publicly.
Accept
P07 delivery performance and exact validity hold. Payment depends on the contracted correct result; a valid proof for the wrong job is not a successful delivery.
Evidence the case requires
Customer verification log; proof-format contract; settlement reconciliation.
Assume operators optimise their own returns. Do not depend on the official client choosing a less profitable task.
Setup
Use a deterministic short chain containing all reward types, fee paths and rounding cases.
Steps
- Calculate balances, total supply changes, burns and distributions independently.
- Execute identical blocks natively and through the proving path.
- Test zero, minimum, maximum and transition-boundary values plus malformed producer accounting.
Accept
Conservation and recipient rules match F0 exactly; no inflation, rounding leakage or duplicate reward. Fee-table and prose discrepancies are resolved before the run, not guessed by the tester.
Evidence the case requires
Independent accounting ledger; balance/supply diffs; boundary vectors.
Setup
Prepare jobs and blocks producing mining income, internal proof rewards and external payments.
Steps
- Trace money from source to operator, protocol, developer and any burn.
- Compare node records, settlement records and Ember displays.
- Attempt to classify testnet rewards, reimbursed purchases or token appreciation as external customer revenue.
Accept
Every stream reconciles and is labelled correctly. No double-counted revenue or fabricated protocol demand; mining subsidy and external service income remain distinct in dashboards and ECO.
Evidence the case requires
Money-flow register; UI reconciliation; rejected classifications.
Setup
Permit independent schedulers to mine, prove internally, prove externally or switch off.
Steps
- Publish common costs and vary relative task rewards, memory pressure and switching costs.
- Run clients that ignore the official scheduling recommendation.
- Measure realised operator margin, internal capacity and network progress.
Accept
Required P12 sustainable worlds maintain paid essential capacity without compelled altruism. Profitability and availability are based on realised outcomes, including switching and wasted work.
Evidence the case requires
Scheduler source/policies; switching traces; capacity and margin series.
Setup
Use F7 scenarios with 10x external job offers and token-denominated mining-income shocks.
Steps
- Allow miners/provers to switch freely under the declared reward and difficulty rules.
- Observe hash participation, proof backlog, fees and recovery without an administrator.
- Repeat with external demand dropping to zero and with a dominant operator withdrawn.
Accept
Mandatory viable worlds meet P07/P12; stressed nonviable worlds fail or pause safely with truthful status. No emergency rule, fabricated demand or unofficial subsidy is inserted to force a pass.
Evidence the case requires
Shock timeline; fee/hash/capacity paths; failure-region report.
Setup
Freeze the actual assignment/payment mechanism; do not assume unimplemented collateral or identity controls.
Steps
- Create many worker identities, reserve jobs, withhold proofs and submit late results.
- Attempt free option-taking, duplicate work rewards and displacement of honest assignments.
- Price attacker costs and observe honest completion under the approved abuse load.
Accept
F0 rules and P07 service limits hold under the declared adversary. Identity splitting does not create unauthorised rewards or control; any unmitigated starvation path blocks the permissionless-service claim.
Evidence the case requires
Attack clients; assignment trace; cost-to-disrupt analysis; honest-user outcomes.
Setup
Use the actual adjustment algorithm and consensus timestamp rule with independent miners.
Steps
- Inject large hashrate arrivals/departures, periodic selective mining and boundary-timed bursts.
- Try allowed and invalid timestamp skew, withheld blocks and replayed work.
- Observe block intervals, reward allocation and recovery after hashrate stabilises.
Accept
Invalid inputs are rejected; valid adversarial strategies remain within F0/P08 bounds and are priced in ECO. No unexplained reward amplification, permanent stall or conflicting accepted work.
Evidence the case requires
Difficulty trace; timestamp corpus; revenue analysis; independent rule review.
Setup
Use self-funded operators and related customer identities in the isolated economic model/network.
Steps
- Cycle funds through jobs, tips, developer shares and rebates to seek net reward extraction.
- Attempt to inflate external-demand metrics without genuine unrelated customer expenditure.
- Reconcile all counterparties and net cash contribution rather than gross transaction volume.
Accept
No unauthorised subsidy extraction or metric inflation passes. Related-party volume is disclosed/excluded from P14; net external cash and legitimate protocol incentives are reported separately.
Evidence the case requires
Circular-flow tests; ownership/conflict review; net-cash reconciliation.
Setup
Model control of hashing, signing, proving, aggregation and hardware supply separately.
Steps
- Remove each largest operational dependency and combine correlated failures.
- Measure replacement cost/time and whether essential roles share hidden ownership.
- Compare results with the approved fault model and no-rescue exercise.
Accept
No hidden single dependency defeats the claimed independence; within-tolerance withdrawals recover under P08/P11. Hardware supply concentration is disclosed without equating vendor sales to operator voting control.
Evidence the case requires
Role/ownership map; dependency removals; recovery and concentration report.
Test safety under the stated fault bounds. Demand liveness only when synchrony and participation assumptions actually hold.
Setup
Use real fork-choice/DAG handling and independent miners, not only a simplified simulator.
Steps
- Generate concurrent branches, delayed blocks, duplicates and invalid work with deterministic seeds.
- Compare selected ordering, accumulated work, transaction execution and state roots after delivery converges.
- Replay from independent checkpoints and from genesis where practical.
Accept
Honest nodes converge under F0 assumptions with exact roots and rewards. No duplicated work accounting or undocumented ordering dependence; simulator-only success cannot substitute.
Evidence the case requires
Block/ordering corpus; root/work diffs; real-node replay logs.
Setup
Use the source-discussed 40/40/20 weight split, plus threshold-boundary splits under F0.
Steps
- Let the 20% adversarial group sign conflicting histories while honest groups are partitioned.
- Delay messages and eligibility updates independently; keep total historical weights auditable.
- Try to form two certificates and reconnect nodes to observe accepted final history.
Accept
No conflicting final certificates are accepted within the declared fault bound. A safe pause is valid when quorum is unavailable; making progress on both sides is not required.
Evidence the case requires
Signed votes; certificate attempts; voter-table snapshots; safety checker output.
Setup
Recover historical expiry failures where available; use the actual current authority-transition rules.
Steps
- Partition for 31, 35, 60 and 90 logical days and around every retention/expiry boundary.
- Attempt independently renewed authority sets and conflicting checkpoint locks.
- Repeat selected boundary cases on real nodes with accelerated timers explicitly labelled.
Accept
Authority continuity remains authenticated and no conflicting final history appears within F0 assumptions. A timeout is not accepted as proof absent voters ceased to exist. Compressed time is not multi-month field evidence.
Evidence the case requires
Expiry timeline; table/certificate history; historical regression tests.
Setup
Remove enough signing participation to invalidate the liveness assumption without forging votes.
Steps
- Continue mining and execution, cross seed boundaries and monitor proof queues.
- Check which user-visible states advance and which remain unfinalised.
- Restore eligible weight and bounded message delay, then verify recovery.
Accept
No false finality or fabricated authority. Behaviour matches F0 during the pause and P08 after assumptions return; unfinished transactions are not displayed as irreversible.
Evidence the case requires
Signing/mining trace; UI/RPC states; recovery roots and timing.
Setup
Use normal transitions, pool members retaining keys and malicious substitution attempts.
Steps
- Alter voter weights, membership proofs, miner/pool identity bindings and prior-certificate links.
- Race updates across boundaries and replay old signed changes.
- Have a new node verify the authority chain from its declared trust anchor.
Accept
Only correctly authenticated changes are accepted; weights cannot be double-counted or redirected by a pool. All honest nodes agree on the active authority set for each certified point.
Evidence the case requires
Authority-chain fixtures; substitution attacks; new-node verification log.
Setup
Freeze assumptions about key erasure, retained weights, trust anchors and offline recovery.
Steps
- Use previously eligible keys to build alternative histories after their operators disappear.
- Present these histories to recently offline and newly joining clients.
- Test replayed certificates, stale anchors and compromised signer subsets.
Accept
Acceptance matches the explicit security model with no hidden trusted recovery step. Any reliance on a recent trusted anchor is disclosed and tested; hashpower assumptions cannot replace old-key analysis.
Evidence the case requires
Long-range corpus; trust-anchor policy; key-compromise review; client results.
Setup
Combine partitions with node crash, partial writes, restarts and proof backlog.
Steps
- Reconnect networks under bounded latency and restore required honest participation.
- Verify fork choice, unfinalised reorganisation, finality, reward rollback and proof reassignments.
- Compare all honest nodes and customer-visible receipts after recovery.
Accept
P08 recovery holds without reversing a previously valid final guarantee. Only permitted unfinalised state is reorganised; no duplicate rewards or inconsistent receipt statuses survive.
Evidence the case requires
Recovery timelines; roots/certificates; payout rollback; customer-state reconciliation.
Setup
Use an independent model checker/scheduler and production-node scenarios from F4.
Steps
- Combine epoch changes, authority transitions, mining churn, data delays and prover/aggregator loss.
- Explore bounded adversarial message schedules and minimise any counterexample.
- Replay model findings on real code and have an independent reviewer assess uncovered states.
Accept
No unresolved safety failure; liveness claims hold only within declared assumptions and P08. Model bounds and untested schedules are published, not described as proof over every possible execution.
Evidence the case requires
Model/spec artifacts; schedule corpus; replay evidence; independent assessment.
Verify the exact property shown to the user. An inclusion proof, execution proof and finality certificate are not interchangeable.
Setup
Give a clean client malicious RPC responses, fabricated voter tables and valid-looking signatures.
Steps
- Start from the approved trust anchor and verify every required link to the advertised state.
- Substitute otherwise well-formed but unauthorised keys, weights and checkpoints.
- Remove the bootstrap service and use another independently operated source.
Accept
The client rejects unauthorised authority and discloses any trust anchor. Signatures over a node-supplied table do not by themselves pass; missing authentication never silently degrades to trusted RPC.
Evidence the case requires
Bootstrap corpus; trust-chain trace; fail-closed tests.
Setup
Use valid state proofs paired with wrong execution statements or stale authority histories.
Steps
- Cross voter and verifier changes with offline clients returning after long intervals.
- Alter roots, aggregate identity and proof/public-input bindings independently.
- Check local verification rather than merely a server-reported verified flag.
Accept
All advertised proof checks occur locally or the remaining trust is explicitly disclosed. Wrong roots and unauthenticated authority are rejected; unsupported verification paths are not claimed.
Evidence the case requires
Client verification trace; corrupted inputs; offline/upgrade results.
Setup
Create successful, reverted, wrong-asset, wrong-recipient and wrong-amount transfers.
Steps
- Generate receipts for included transactions, including failures and replaced/unfinalised transactions.
- Verify execution status plus asset, recipient, amount and canonical-state/receipt commitment.
- Replay the receipt on another chain and after an allowed unfinalised reorganisation.
Accept
Only the actual successful, correctly bound transfer is labelled payment proof. Inclusion-only receipts are labelled as such; no node-reported success flag substitutes for authenticated outcome.
Evidence the case requires
Payment fixture corpus; receipt verification; merchant-facing status checks.
Setup
For a claimed oracle, freeze destination verifier, authority updates, accepted proof types and replay policy.
Steps
- Try deployer-substituted keys, stale certificates, unchecked signatures and wrong source/destination identities.
- Exercise legitimate authority updates and source reorganisations under the approved model.
- Measure gas/cost with realistic header sets and test disabled/unavailable verification.
Accept
The oracle enforces its declared trust model and fails closed. Deployer privileges and unavailable guarantees are explicit; no trustless-bridge claim exceeds the checks performed. Excluded oracle scope earns no pass credit.
Evidence the case requires
Oracle code/parameters; attack cases; cost report; privilege disclosure.
Setup
Remove founder archival/input services and start an independent operator from the documented entry point.
Steps
- Fetch authenticated blocks, state/proof inputs and any required witnesses from permitted peers.
- Rebuild the expected state and continue validation/proving.
- Measure bandwidth, disk, time and retention requirements against advertised operator budgets.
Accept
Required data can be obtained and verified within the declared availability model. Hidden archives or unpublished files block independence. A valid execution proof alone does not satisfy this test.
Evidence the case requires
Download/reconstruction logs; data hashes; resource costs; dependency inventory.
Setup
Serve valid commitments with missing data, corrupted chunks, stale witnesses and conflicting peer replies.
Steps
- Attempt to make a validator or light client accept an unavailable or incorrect state under F0.
- Test retrieval from independent peers and expiry/retry policy.
- Restore data and check that recovery cannot alter an already verified commitment.
Accept
No unjustified available/verified status; safety and admission rules match F0. Recovery is bounded where assumptions permit, and unavailable-data states remain visible instead of hidden behind proofs.
Evidence the case requires
Withholding corpus; peer retrieval traces; availability/status checks.
Setup
Use test-only keys, encrypted backups and clean replacement devices; no real user funds.
Steps
- Attempt secret access from proving jobs, logs, crash dumps, clipboard and telemetry paths.
- Verify transaction destination/amount before signing; test backup/restore and wrong-password handling.
- Upgrade and recover without silently changing signing authority or exposing seed material.
Accept
No unintended secret disclosure or unauthorised signature. Supported recovery restores the correct keys and accounts; users receive explicit risk/backup information. Logs are sanitised without hiding security evidence.
Evidence the case requires
Security review; canary-secret tests; signing fixtures; restore journey.
Setup
Create included-only, executed, proven, finalised, reverted, stale and paused examples.
Steps
- Compare explorer, wallet, receipt, RPC and customer API labels against authenticated evidence.
- Interrupt finality and proof services and observe refresh/reconnect behaviour.
- Check statements about privacy, Ethereum security and device support.
Accept
No stronger state is implied than verified; stale data is marked and failures are actionable. EVM compatibility is not labelled Ethereum security, and ZK technology is not automatically labelled transaction privacy.
Evidence the case requires
Cross-surface screenshots/logs; state mapping; claim review.
A permissionless specification must remain operational without privileged infrastructure or unsafe automatic updates.
Setup
Use the P11 independent network, adequate honest participation and enough non-founder capacity for W.
Steps
- Remove founder miners, provers, aggregators, RPC, DNS/bootstrap dependencies and private support access.
- Run the full P11 period while crossing real and separately labelled accelerated boundaries.
- Introduce scheduled faults and have independent operators recover using published instructions.
Accept
No founder action, secret file, privileged key or emergency anti-chip rule is needed. P07/P08 outcomes hold within assumptions; any intervention is recorded as a failed no-rescue run, not erased.
Evidence the case requires
Operator roster/conflict checks; dependency removals; full activity/intervention log.
Setup
Start nodes without the default bootstrap host and give others adversarial peer lists.
Steps
- Attempt eclipse through peer concentration, stale discovery, poisoned DNS and repeated identities in an isolated lab.
- Use independent documented discovery paths and validate returned chain data.
- Measure synchronisation, peer diversity and recovery after benign connectivity returns.
Accept
No unauthenticated history is trusted; bootstrap has no hidden single-provider requirement. Isolation is detected/contained according to F0 and recovery meets P08 when assumptions return.
Evidence the case requires
Peer/discovery traces; eclipse scenarios; startup and recovery evidence.
Setup
Use test signing keys and clean desktop/node installations with valid, stale and malicious packages.
Steps
- Offer signed updates with unexpected consensus rules, downgraded binaries and corrupted payloads.
- Test explicit operator acceptance and the published signing-key incident procedure.
- Confirm that distribution-key possession cannot independently activate new consensus rules.
Accept
Tampering/unauthorised rollback is rejected; updates do not silently transfer authority. Approved acceptance and activation are separate. No test touches production signing material.
Evidence the case requires
Package corpus; approval/activation traces; compromised-key rehearsal.
Setup
Use production database/snapshot paths with controlled interrupted writes and corrupted test storage.
Steps
- Crash during import, proof acceptance, reward application and snapshot generation.
- Restore from independently verified snapshots or re-sync through documented procedures.
- Compare roots, certificates, balances and processed-job IDs with an unaffected node.
Accept
No corrupt snapshot is trusted, no duplicate payout and no loss of authenticated final state. Recovery meets P08 where data is available; ambiguous corruption fails closed and is actionable.
Evidence the case requires
Crash schedule; snapshot hashes; root/balance diffs; recovery timing.
Setup
Run hostile test jobs with secret canaries and restrictive worker permissions.
Steps
- Attempt filesystem escape, process spawning, resource exhaustion, network access and key-store reads.
- Crash workers and inspect host, wallet and node availability plus dump/log contents.
- Retry on every supported isolation backend and check dependency vulnerability handling.
Accept
No secret leakage or unauthorised host action; P09 resource containment holds. Worker failure does not compromise validator/wallet authority; unsupported isolation is not marketed as safe execution.
Evidence the case requires
Sandbox penetration report; canary logs; resource limits; host-integrity checks.
Setup
Use an authorised isolated load environment with declared resource and request-rate budgets.
Steps
- Send malformed headers, proofs, oversized messages, floods and invalid peer sequences.
- Measure legitimate traffic, memory/disk growth and validator CPU use.
- Test limit resets, peer reconnect and graceful degradation without disabling validation.
Accept
P09 abuse budgets hold; no unbounded allocation, persistent crash or invalid acceptance. Backpressure is visible and honest users retain the specified service at admitted load.
Evidence the case requires
Load/corpus manifests; resource series; valid-traffic metrics; incident traces.
Setup
Define alerts for invalid acceptance, conflicting finality, backlog, data loss, payout mismatch and stale status.
Steps
- Inject one instance of each monitored failure in the lab.
- Have an unaffiliated operator diagnose it using only emitted evidence and published instructions.
- Test redaction, metric freshness and duplicate-alert suppression without suppressing serious failures.
Accept
P10 alert/detection limits hold; every blocker produces actionable evidence. Monitoring does not leak secrets or mislabel intentional safe pauses as successful finality.
Evidence the case requires
Alert matrix; detection timelines; independent runbook exercise.
Setup
Use a clean previous supported version and the final candidate with independent operators.
Steps
- Perform documented rolling upgrade, rollback of non-consensus software where allowed and resynchronisation.
- Cross activation with mixed versions and unavailable founder distribution hosts.
- Re-run affected gates after changes and preserve prior failures and incident lessons.
Accept
No undocumented privileged migration or automatic consensus rewrite. All affected evidence is refreshed; P11 no-rescue results remain tied to the final release, not an earlier build.
Evidence the case requires
Upgrade/replay logs; invalidation map; repeated gate signatures.
Successful participation must be practical for ordinary owners without hidden custody or loss of consensus authority.
Setup
Recruit the P10 first-time user cohort across Windows and macOS using supported physical hardware.
Steps
- Observe install, hardware detection, safety explanation and first accepted work without staff intervention.
- Record download/data preparation separately as well as complete end-to-end time.
- Test unsupported hardware and insufficient memory messaging rather than forcing a failed start.
Accept
P10 completion/time targets hold with no unsafe default or concealed prerequisite. The product is tested as the actual desktop app, not only a browser preview.
Evidence the case requires
Consent-based study records; task timings; failure reasons; compatibility outcomes.
Setup
Run mining/proving on active desktops under contention and safe thermal stress.
Steps
- Use pause, stop, power limit, task selection and emergency local shutdown controls.
- Crash or restart the UI while workers run and verify ownership of background processes.
- Restore the original hardware settings and test power-saving/low-battery behaviour where supported.
Accept
P10 control latency and safe-state requirements hold. Stopping does not strand an uncontrolled process; tuning never depends on unsafe settings or silent privilege escalation.
Evidence the case requires
Control timings; process/settings audit; restart and safety traces.
Setup
Use known rewards, fees, energy readings, retries and operator-entered tariffs.
Steps
- Compare mining, internal proof and external proof income with authoritative ledgers.
- Show gross/net estimates, measurement boundaries, tariff assumptions and payout status.
- Test stale data, losses, negative margins and mining-only versus proving-compatible devices.
Accept
P10 reconciliation limits hold and uncertainty is visible. No guaranteed profits, fabricated fiat price or inferred proving support; provisional earnings are not shown as settled payments.
Evidence the case requires
UI/ledger comparisons; tariff fixtures; stale/negative examples.
Setup
Use ordinary single-card balances and the actual pooling/payment path.
Steps
- Earn, request/receive payment, disconnect and reconnect; include low balances, fees and a pool outage.
- Attempt redirection, delayed accounting and withdrawal of another user's entitlement.
- Reconcile displayed balances with canonical entitlement and actual settlement.
Accept
P10 payout limits hold for the declared small-operator case. No unauthorised custody, redirection or unexplained loss; thresholds and fees are disclosed rather than masked by larger test balances.
Evidence the case requires
Single-card payout ledger; pool failure record; custody/authorisation review.
Setup
Use an honest pool and a modified pool that replaces worker identity or voting credentials.
Steps
- Verify the consensus binding from performed work to the miner's retained key.
- Attempt substitution, replay and reassignment without the miner's authorisation.
- Leave the pool and verify retained voting/finality rights under F0.
Accept
No silent transfer of governance/finality authority. If the protocol cannot establish retained keys, this requirement fails; a pool-protocol name or user-interface promise does not pass.
Evidence the case requires
Work/key binding vectors; malicious-pool attempts; leave-pool authority check.
Setup
Provide a pool interface with declared job-declaration support and independent miner templates.
Steps
- Submit miner-selected valid transaction templates and verify what is actually hashed and accepted.
- Have a pool substitute or censor templates and test local verification/fallback.
- Measure payout and acceptance consequences without moving authority to the pool.
Accept
The advertised selection control exists in accepted work, not only configuration. Undisclosed substitution is detected; supported independent operation remains practical under P10.
Evidence the case requires
Template commitments; accepted-block evidence; malicious-pool/fallback report.
Setup
Create failed proofs, memory pressure, expired jobs, missing payouts and available software updates.
Steps
- Ask independent users to identify the issue, stop safely and follow the recommended action.
- Test explicit update approval, version visibility and a failed/corrupt update.
- Confirm diagnostic exports remove keys and private inputs while retaining useful evidence.
Accept
P10 task-success requirements hold; no silent update or false success state. Recovery instructions work on supported desktops and secret canaries never enter exported logs.
Evidence the case requires
Observed tasks; update traces; sanitised export tests.
Setup
Provide open documented builds, tuning parameters and known fee conditions for all supported platforms.
Steps
- Compare Ember against independently optimised permissible implementations on identical work.
- Measure efficiency, fees, false rejection, installation and update transparency.
- Scan for hidden developer fees, hardware whitelists, per-address privilege or undisclosed remote controls.
Accept
P10 relative-efficiency limits hold and all fees/privileges are explicit. No self-reported device tier earns consensus advantage. A superior external implementation triggers investigation, not selective exclusion.
Evidence the case requires
Matched software comparison; code/config review; fee/privilege inventory.
Devnet payouts and subsidised pilots demonstrate mechanics, not independent willingness to pay.
Setup
Select one real external customer with a meaningful fixed workload and no required migration to Igneum.
Steps
- Agree program, inputs, proof format, deadline, price, failure/refund policy and verification method.
- Run paid jobs through ordinary independently operated infrastructure.
- Have the customer verify usefulness, correctness and its reason for choosing the service.
Accept
The pilot satisfies its actual contract and settles genuine external payment. Trial subsidies are disclosed and cannot satisfy the repeat-demand gate; no invented customer or testimonial.
Evidence the case requires
Redacted contract; verified jobs; settlement proof; consented customer confirmation.
Setup
Use the P14 multi-customer observation period and ownership/conflict checks.
Steps
- Track paid purchases on distinct occasions, including refunds and stopped customers.
- Audit related parties, project reimbursements, token grants and circular funding.
- Reconcile external cash received with correctly delivered meaningful work.
Accept
P14 buyer, duration and volume minima are met without reimbursement or related-party substitution. Repeat orders are separate buying decisions, not a single payment split into many jobs.
Evidence the case requires
Anonymised buyer ledger; repeat-order dates; conflict review; net receipts.
Setup
Allocate all delivery costs, including aggregation, retries, hardware, power, host, network and support.
Steps
- Calculate gross contribution and fully loaded unit costs for each contracted workload.
- Reconcile a representative operator's realised earnings against metered costs and opportunity cost.
- Repeat under the declared demand and price sensitivities.
Accept
P14 contribution targets hold and at least the required operator cohort has positive realised contribution. Excluded overhead is visible; token appreciation or unpriced founder labour cannot silently create profitability.
Evidence the case requires
Unit-economics ledger; metered operator sample; allocation rules; sensitivity report.
Setup
Observe actual delivery deadlines, validity, failure handling and support over the contracted period.
Steps
- Count all accepted jobs, including failed, retried and abandoned cases.
- Have the customer independently verify results and invoke one authorised refund/failure exercise.
- Compare offered capacity and quoted price with what was actually delivered.
Accept
P07 and contracted obligations hold; validity has zero accepted exceptions. Failure terms are honoured, and demand beyond capacity is explicitly refused rather than quietly omitted from metrics.
Evidence the case requires
Customer-verifier records; SLO report; refunds; promised-versus-delivered comparison.
Setup
Identify a credible alternative supplier or in-house option for the same workload, proof format and security.
Steps
- Obtain comparable quotes or consented measured trials at the evaluation date.
- Include integration, verification, deadlines and all operational costs, not only proof-generation time.
- Document the customer's actual trade-off without inventing unavailable comparator evidence.
Accept
P15 commercial comparison is satisfied with like-for-like scope and a evidenced purchase reason. Missing alternative data remains MISSING; it is not scored as an Igneum win.
Evidence the case requires
Dated comparison; workload/security match; customer decision record.
Setup
Follow all recruited customers through the P14 observation period, including churn.
Steps
- Remove disclosed trial incentives before measuring repeat demand.
- Track renewal, expansion, cancellation reasons, unresolved incidents and buyer concentration.
- Review whether one affiliated or subsidised buyer dominates the apparent market.
Accept
P14 repeat/concentration conditions hold with honest denominator and churn reporting. Paying demand survives beyond a demonstration; unsatisfied or departed buyers are not removed retrospectively.
Evidence the case requires
Cohort/renewal ledger; churn notes; concentration and incentive report.
Setup
Prepare a costed plan for development, review, infrastructure, support and incident response.
Steps
- Separate committed resources from revenue dependent on adoption or token price.
- Stress lower income and an unexpected security/operations expense.
- Verify responsible owners and continuity arrangements without changing fair-launch promises.
Accept
P13 committed-runway requirement holds and downside responses are documented. No uncommitted financing, rising token price or burn accounting is presented as available maintenance funding.
Evidence the case requires
Budget and commitment evidence; downside plan; owner/continuity roster.
Setup
Recruit unaffiliated developers unfamiliar with unpublished implementation details.
Steps
- Use public docs to deploy a supported application or integrate an external proof request and verification flow.
- Record time, undocumented dependencies, workarounds and correctness issues.
- Retest after documentation fixes without founder-written hidden integration code.
Accept
P14 developer-task minimum passes on the final release; all required public instructions exist. Successful bytecode deployment alone does not count as a working application or service integration.
Evidence the case requires
Consented developer logs; public examples; issue closure; verified end-to-end journeys.
A serious contention claim requires comparative outcomes and real adoption evidence, not just an internally green test dashboard.
Setup
Choose at least the P15 peer coverage and an evaluation date before collecting confirmatory results.
Steps
- Include the plan's Ravencoin, Ergo and Firo reference set where comparable, then check for other relevant current options.
- Freeze versions, supported hardware, methods, noninferiority margins and commercial alternatives.
- Publish exclusions and prohibit cross-algorithm raw-hashrate comparisons.
Accept
The protocol covers material alternatives fairly and is signed independently. A missing or non-comparable feature is not scored zero; no arbitrary universal rank is inferred from selected metrics.
Evidence the case requires
Timestamped peer protocol; source/version records; comparison/exclusion rationale.
Setup
Use matched user tasks and operating conditions on the selected GPU-first networks.
Steps
- Measure install-to-first-accepted-work, software overhead versus each network's tuned baseline, payout friction and retained control.
- Measure rejection/availability under the same network conditions; report fees separately.
- Use blinded analysis where possible and independent runs for decisive differences.
Accept
P15 noninferiority and superiority requirements hold on meaningful comparable dimensions. No raw hashes from different algorithms are compared, and transient token price is not labelled engineering superiority.
Evidence the case requires
Matched task data; uncertainty/effect sizes; independent comparison report.
Setup
Assemble G1-G4 plus frozen rules and all surviving-adversary assumptions.
Steps
- Have independent reviewers trace each public competitiveness statement to its narrowest evidence.
- Separate measured GPUs, modelled silicon and economic scenarios in all summaries.
- Evaluate residual uncertainty, excluded technologies and the no-new-rules counterfactual.
Accept
All claimed envelopes meet P04/P12 without unsupported universal bounds. Reviewers agree the evidence supports scoped commodity competitiveness even when chips remain compatible; an exact chip-arrival probability is not inferred.
Evidence the case requires
Claim-to-evidence map; signed envelope review; limitations statement.
Setup
Recruit the P16 independent cohort before observing results; use privacy-preserving evidence.
Steps
- Follow participation, realised margin, hardware changes, failures and reasons for leaving for 90 days.
- Report trial incentives separately and include every initial participant in retention denominators.
- Compare behaviour with matched alternatives where feasible; disclose absence of an actual downturn.
Accept
P16 retention/margin minima hold with verified independence and no removal of churned users. Simulated downturns cannot be called observed bear-market retention; historical claims stay limited to the period measured.
Evidence the case requires
Pseudonymous cohort ledger; margin/retention calculations; departure reasons.
Setup
Audit operational control of mining, voting, proving, aggregation, hosting and software distribution separately.
Steps
- Use opt-in attestations, observed dependencies and independent corroboration; disclose uncertain common ownership.
- Compare concentration and provider-removal outcomes to the approved security and availability assumptions.
- Check that pooled payments do not hide authority concentration and hardware vendors are not equated with operators.
Accept
P11/P16 concentration requirements hold within disclosed uncertainty; unidentified control cannot be counted as independent. No single removable dependency is falsely marketed as decentralised operation.
Evidence the case requires
Control/failure-domain map; uncertainty notes; concentration/removal results.
Setup
Observe the final candidate and approved compatible updates for the full P16 real-time period.
Steps
- Measure promised service availability, invalid acceptance, finality safety, payouts and incident impact.
- Reconcile external probes, customer records and operator logs, including maintenance and exclusions.
- Repeat affected critical tests after every material change; reset observation where comparability breaks.
Accept
P16 availability and safety criteria hold on live observation; no hidden downtime or compressed-time substitution. This supports the recorded window only, not multi-year operational maturity.
Evidence the case requires
90-day SLO ledger; independent probes; incident reports; change/retest history.
Setup
Provide the full evidence packet, commercial results, comparative study and unresolved-limit register to the panel.
Steps
- Check every mandatory and claimed-option test, source requirement and approved threshold.
- Require separate signoffs for hardware/economics, security/operations and customer/operator evidence.
- Document dissent and challenge any inference that passing an internal checklist proves number-one rank.
Accept
Every required gate is PASS with no unresolved material challenge, critical/high defect or missing comparator/customer evidence. The panel supports a credible leadership-contender conclusion within scope, not a guaranteed rank.
Evidence the case requires
Signed assessment; full status index; dissent/limitations; approved claim wording.
Setup
Define material-change triggers and scheduled reviews before publishing the assessment.
Steps
- Refresh competitor, hardware-cost, demand and security evidence at the P16 cadence.
- Test a newly credible specialist, lost customer, major outage and verifier change against invalidation rules.
- Withdraw or narrow stale claims promptly while publishing the new evidence status.
Accept
Claims remain dated, scoped and revisable; material contrary evidence reopens the appropriate gate. The network may remain usable while a leadership claim is suspended. No permanent self-awarded certification.
Evidence the case requires
Review calendar; invalidation drills; versioned public claim register.
17 profiles, P00 to P16. A profile is frozen before the confirmatory run; weakening a target after a failure creates a different claim.
Cited by 14 cases. The profile’s own line in the registry: PROPOSED, REQUIRES APPROVAL.
Cited by 69 cases. The profile’s own line in the registry: PROPOSED, REQUIRES APPROVAL.
Cited by 12 cases. The profile’s own line in the registry: PROPOSED, REQUIRES APPROVAL.
Cited by 8 cases. The profile’s own line in the registry: PROPOSED, REQUIRES APPROVAL.
FAIL R_E target at most 1.5 at the same node and one node ahead; today's placed bracket 1.5x to 2.1x: FAIL
Cited by 14 cases. The profile’s own line in the registry: PROPOSED, REQUIRES APPROVAL.
Cited by 0 cases. The profile’s own line in the registry: PROPOSED, REQUIRES APPROVAL.
Cited by 4 cases. The profile’s own line in the registry: PROPOSED, REQUIRES APPROVAL.
Cited by 15 cases. The profile’s own line in the registry: PROPOSED, REQUIRES APPROVAL.
Cited by 25 cases. The profile’s own line in the registry: PROPOSED, REQUIRES APPROVAL.
Cited by 30 cases. The profile’s own line in the registry: PROPOSED, REQUIRES APPROVAL.
Cited by 11 cases. The profile’s own line in the registry: PROPOSED, REQUIRES APPROVAL.
Cited by 4 cases. The profile’s own line in the registry: PROPOSED, REQUIRES APPROVAL.
Cited by 24 cases. The profile’s own line in the registry: PROPOSED, REQUIRES APPROVAL.
Cited by 1 case. The profile’s own line in the registry: PROPOSED, REQUIRES APPROVAL.
Cited by 10 cases. The profile’s own line in the registry: PROPOSED, REQUIRES APPROVAL.
Cited by 5 cases. The profile’s own line in the registry: PROPOSED, REQUIRES APPROVAL.
Cited by 5 cases. The profile’s own line in the registry: PROPOSED, REQUIRES APPROVAL.
Exact commits, binaries, genesis/network ID, mining class, dataset schedule, EVM fork/deviations, program/verifier IDs, fees, supply, quorum/fault rules, trust anchors, activation and supported roles.
Pinned toolchains, dependency locks, clean OS images and documented signing/notarisation boundaries. No production secrets or private founder files.
Approved physical GPU cohort, calibrated wall meters, stable thermal conditions, driver/OS images and realistic home/datacentre link conditions.
Fixed full-hash and EVM/proving jobs, independent reference implementations, real customer-sized payloads, held-out seeds and complete expected results.
Independent nodes/operators; controllable latency, loss, clocks, partitions, storage faults and role withdrawals. Actual consensus paths plus separately labelled simulators.
Malformed transactions/proofs, wrong roots/IDs, duplicate payments, bad authority tables, historical failures and deliberately faulty code mutants.
Functionally checked architectures, RTL/physical estimates where feasible, memory and board assumptions, cost inputs, adaptation paths and uncertainty ranges.
Independently reproducible costs, entry/exit/difficulty policies, scenario grid, operator opportunity costs and money-flow conservation fixtures.
Consenting unaffiliated users, contracted meaningful workloads, private ownership checks, dated competitor methods and independent analysis.
Immutable run IDs, raw logs, hashes, analysis code, exclusions, defects, reviewers, signatures, privacy controls and public redacted summaries.
Independent passage of all mandatory and claimed-option gates, including commercial and comparative observation, can support a scoped leadership-contender assessment. It does not prove a universal rank or eliminate unknown future hardware risks.
Test design, not executed evidence. All numeric additions are proposed, not source-approved protocol rules. Optional claimed features require their tests; excluded features earn no pass credit.
Never served: guaranteed chip death, a universal ASIC-efficiency ceiling, chip-arrival probabilities, guaranteed profits, Ethereum security by compatibility, privacy from ZK, a numerical rank.
Source: docs/plans/igneum-2.0-test-registry.json, version 1.0, dated 8 October 2026, plan sha256 418b3b9f68f96a41. This copy was written when the page was built; the page checks the registry on the public git host every 60 seconds.
The plan, the standard, the specifications and the evidence files, by their paths on the public repository. The public mirror follows master; a link that answers 404 is a file not yet synced.
+| Document | Path | What it is |
|---|---|---|
| The Igneum 2.0 plan | docs/plans/igneum-2.0-plan.pdf | The plan for Igneum 2.0, as a PDF; its section 23 is the acceptance scorecard served on /scorecard. |
| The Igneum 2.0 plan, text | docs/plans/igneum-2.0-plan.txt | The same plan as plain text, the copy the pages cite by section. |
| The Test and Acceptance Standard | docs/plans/igneum-2.0-test-standard.pdf | The cases and suites every claim is tested against, as a PDF; served case by case on /acceptance. |
| The Test and Acceptance Standard, text | docs/plans/igneum-2.0-test-standard.txt | The same standard as plain text. |
| The test registry | docs/plans/igneum-2.0-test-registry.json | Every case of the standard in one machine-readable file. |
| The pins | docs/plans/igneum-2.0.md | The Igneum 2.0 decisions: the objective, the four properties and every pin with its owner and pass condition. |
| The founder’s reference | docs/plans/igneum-2.0-reference.txt | The reference text for Igneum 2.0, as written, that the plan and the pins are read against. |
| The specifications | docs/spec/ | The protocol specification by section: the lottery hash, consensus, finality, seeds and the VDF, fees and economics, execution, client security, the pool protocol, the light client and proving enforcement. |
| The finality guarantees | docs/spec/finality-guarantees.md | What finality guarantees and what it does not; section 9 defines the four words included, executed, proven and finalised. |
| The coexistence model | docs/analysis/class-v6/coexistence-model.md | Whether a specialised supplier can earn a normal return while GPUs stay close enough to compete, and where that fails (MODELLED). |
| The operator simulation | docs/analysis/class-v6/operator-simulation.md | The profit-maximising operator simulation: whether the pricing and capacity rules restore service without an administrator (MODELLED). |
| The connected-state experiment | docs/analysis/class-v6/connected-state.md | The connected-state variant of the class v5 work, its rows and why it was killed as a class (D2(a)). |
| The coexist rows | docs/analysis/class-v6/coexist-rows.md | The measured rows of mining and proving on one card: the miner’s memory, the shard proof’s peak, the time-share (TEAM-REPORTED). |
| The ECO-05 results | docs/analysis/class-v6/eco-05-results.md | The results file of the registry row ECO-05, cited by the facts page. |
| The rotating family design | docs/design/class-v6-rotating-family.md | The class v6 rotating family: layers that change the hash on a schedule no release carries; a design and a gate plan, no consensus code (designed). |
| The proving payment design | docs/design/proving-payment.md | How provers are paid: an explicit user-funded proving payment with congestion pricing, the burn treated separately, and the tip kept whole to the block (designed). |
| The tuning record | docs/build/tuning.md | How Ember reaches a good operating point: the knee rule, the ladders, the safe defaults per class; served on /tuning. |
| The site audit | docs/site/audit-2.0.md | Every served page read against the Igneum 2.0 reset, with what is open; served on /audit. |
| The criticism ledger | docs/fud-ledger-2.0.md | Every criticism in the critic’s words, with its status and pin; served on /ledger. |
Source: the repository at git.igneum.network, branch master. The labels used on this site: TEAM-REPORTED, MODELLED, PROPOSED, PENDING, EXCLUDED.
+A GPU-secured network for Ethereum-compatible applications and verifiable computation.
+Not legal advice.
+