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

TV-04: the generated document and CSVs (from 397be074 on build-9) and the registry batch

Browse source 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
igneum-labs 2026-10-09 08:21:05 +00:00
parent 397be0746e
commit c2ffa91de4
7 changed files with 442 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

253
docs/plans/igneum-2.0-master/token-value/phase0/tv-04/README.md Normal file
View file

@ -0,0 +1,253 @@
# TV-04, the security budget without price rescue (Token Value Phase 0)
Status: **NOT RUN**. Phase 0 lands documents and tests only; nothing activates. The independent panel reads this model; until it does, every verdict below reads NOT RUN, and the rows that wait on an unratified choice read BLOCKED. This document never writes PASS.
Every figure on this page and in the CSVs beside it is written by `tools/token-value/tv-04/tv04_budget.py` from `tools/token-value/tv-04/inputs.json`. No price figure appears anywhere in it (VR-04 and the never-published list); the minus-90-percent case is a 0.1x multiple of the 1x path.
## The gate
TV-04, Security budget without price rescue (the volume, p. 58; rules-and-gates.json). Setup: "Ratified reward/fee rules; role costs; horizons 1, 5, 10 and 20 years." Method: "Model falling issuance, fee volatility and .25x/1x/4x/10x revenue, zero external jobs and -90% price. Separate role receipts and funding." Pass words: "Approved viable scenarios fund minimum required roles without hidden issuance or assumed appreciation; failure regions stated. Collapse scenarios need safe behaviour, not universal profit." Evidence: "Reproducible cash-flow model, assumptions, independent review."
## Sources, by sha256
| Source | Path | sha256 |
|---|---|---|
| The volume's rules, gates and decisions | `docs/plans/igneum-2.0-master/token-value/rules-and-gates.json` | `10ce307329e1663dcb6dce849317c9276c19252de5f483e9ee06015fc77cbe3d` |
| The volume | `docs/plans/igneum-2.0-master/token-value/igneum-2.0-token-value.pdf` | `b79d295c99d9cf0a121b62efdc6743e7282a0d2de33a98f6811616afcbcaeaee` |
| The master (light edition in the tree) | `docs/plans/igneum-2.0-master/igneum-2.0-complete-master.pdf` | `f54f12117fd10ebcd1cad83b41342cf2a21ba7e0cf0abfa100d48b101b02b18b` |
| The litepaper (the box mirror's master 6824d49c) | `site/litepaper.html` | `35ac65e151339089ef6ddeea3842b24d95e00d327a2b12faa9ea190ff85e463f` |
| The node, release-2.0.2-node a284380b | `consensus/core/src/emission.rs` | `07b39c410222a43001c83dddbd85cff4a8a370184588dbc28ab48c8803964fbd` |
| The node, release-2.0.2-node a284380b | `consensus/core/src/igneum.rs` | `6c859d4268e653978bfa07aaaad2dff304635b892255368cbbadecca3c35705f` |
| The node, release-2.0.2-node a284380b | `consensus/core/src/config/params.rs` | `0c07ddcf0c5383255f1b0cfba54c6f637375b9a5b5514ab4b2affdad717e787f` |
| The node, release-2.0.2-node a284380b | `consensus/core/src/fees.rs` | `5e7a319c0fc538a6960e18ee02d3c23a0f514cef27fff6f4fdaa727c484d3136` |
| The node, release-2.0.2-node a284380b | `igneum/exec/src/config.rs` | `fdc4ba56109ddab4dadfe3d184247cf2cda8774dc5542337acaa38c8da716aaf` |
| The node, release-2.0.2-node a284380b | `igneum/exec/src/executor.rs` | `ff12ef5fed88f1cd1d1449c6878a5acc0f7efe098abad7315791d59b5c5cc79c` |
| The TV-01 supply spec | `docs/plans/igneum-2.0-master/token-value/phase0/tv-01/supply-spec.json` | not in the tree |
The supplied master original reads `c878ee4f80adf1da58fcc78fb91a8008de2e9fc44060bec143d020a780c5093e` in the volume's original_artifacts; the tree carries the light edition of the same substance. The TV-01 supply spec: not in the tree at generation; the node's code (release-2.0.2-node a284380b) is the source.
## The ratified rules this model applies
| Rule | As ratified (the founder, 9 October 2026, 09:2x UK) | What it does here |
|---|---|---|
| D01 | Capped issuance, subject to TV-04 | The schedule's tail is the cap; no row mints after the curve; the test fails on a tail mint. |
| D02 | The same-cap emission comparison approved, the schedule pending evidence | Every figure is conditional on the node's current schedule (BLOCKED row B-08). |
| D03 | Separate accountable budgets | Four roles, four budgets, never pooled; a role with no recurring payer is a BLOCKED row. |
| D04 | Explicit routing; the external-job rate not ratified | Each receipt names its route and status; external jobs are zero and the published rate is a parameter only. |
| D05 | Recovery never shown as finality | No row reads a contraction, a pause or a recovery path as finality; the model carries no finality figure (B-09). |
| VR-05 | Fund necessary security (p. 50) | Miners, internal provers, minimum validators and maintenance modelled separately through declining issuance; no external sale funds any role. |
| VR-04, VR-08 | No artificial return; separate value and money flows | No price, no appreciation, every coin in exactly one route, burns never a receipt. |
| P12, P13 | The master, p. 68 | The revenue bands and the viable or collapse declaration (P12); committed maintenance only (P13). |
## Method
1. The schedule. The node's `EmissionSchedule::CURRENT` on the mainnet params (emission.rs lines 103 to 110; params.rs line 1858): 3,168,808,781 base units a DAA second at 8 decimals, a 2,592,000-second ramp from 10%, the rate halved every 63,115,200 DAA seconds, the tail the cap. Each year's emission is the node's closed-form scheduled supply at the year's end minus its start, in integers. The rate reaches zero after 32 halvings (64 years) and sums to 3,963,038,988 coins under the 4,000,000,000 cap. Per-block rounding (the per-block floor of the rate and the pool's floor) moves a year's figures by under 7 coins at up to ten blocks a second.
2. The baseline. The whole year-1 subsidy, 963,038,999 coins (963038999.99163249), the ramp included. One BU is its purchasing power on the 1x path.
3. The routing. Emission: 80% to the block's producer (miners), 20% to the proving pool (internal provers), nothing to validators or maintenance (igneum.rs lines 43 to 44, 85 to 88, 123 to 126; the signing bonus is off on the mainnet params, lines 1809 to 1810). Fees: the base fee of both gas dimensions burned in full; the tip 80% to the beneficiary and 20% to developers (exec config.rs lines 75 to 76). External jobs: zero; the published 90/10 is UNRATIFIED under D04 and enters no row.
4. The scenarios. Multiples 0.1x (the minus-90-percent case), 0.25x, 1x, 4x and 10x of the baseline's purchasing power, each one constant over the whole horizon, so no row assumes appreciation. Native receipts are the same in every scenario; the multiple scales what they buy.
5. The cost side. The volume gives no cost figure (p. 14 lists what counts as revenue; p. 31 the maintenance evidence) and the master gives stress grids, not role costs (p. 68, P12: tariffs, productive lives, development cases; p. 36: historical shard timings, not reproduced for this edition). So each role's minimum cost is a PANEL cell in BU, empty here. For each cell the model gives the fundable-cost ceiling, multiple x role receipts / baseline: a panel cost above it is the failure region.
6. The verdict. In the gate's words: an approved viable scenario must fund the minimum required roles without hidden issuance or assumed appreciation, with failure regions stated; a collapse scenario needs safe behaviour, not universal profit. Which cells are viable and which are collapse cases is the panel's declaration before results (P12). Every cell reads NOT RUN, or BLOCKED where the role has no payer.
7. Fee volatility. The tables carry zero tips (the subsidy alone). The fee-replacement table gives, year by year, the tip volume that would hold the miners' year-1 receipts at constant purchasing power through the code's 80% tip route. Tip timing and spikes (p. 14) are the panel's T-tip cell.
## The parameter table
Every cell's status: RATIFIED (the founder's ratification), IMPLEMENTED (the node's code, cited by line, taken under D04's explicit routing), UNRATIFIED (a parameter, never a result), PANEL (the independent panel fills it; empty here), BLOCKED (waits on a named choice). The full table with sources is `parameters.csv`.
| Id | Parameter | Value | Status |
|---|---|---|---|
| S-rate | launch rate | 3168808781 | IMPLEMENTED |
| S-ramp | launch ramp | 2592000 s from 10% | IMPLEMENTED |
| S-step | decay step | 63115200 s, rate divided by 2 | IMPLEMENTED |
| S-tail | tail | cap | RATIFIED (D01) and IMPLEMENTED |
| S-cap | cap | 4000000000 | RATIFIED (D01) and IMPLEMENTED |
| R1-miner | emission, producer share | 80% | IMPLEMENTED |
| R1-pool | emission, proving pool share | 20% | IMPLEMENTED |
| R1-validators | emission to minimum validators | 0% | IMPLEMENTED |
| R1-maintenance | emission to maintenance | 0% | IMPLEMENTED |
| R2-base | base fee, both gas dimensions | 100% | IMPLEMENTED |
| R3-tip-miner | priority fee (tip), beneficiary share | 80% | IMPLEMENTED |
| R3-tip-dev | priority fee (tip), developer share | 20% | IMPLEMENTED |
| R3-tip-provers | priority fee (tip), provers' part | 0% | **BLOCKED** |
| R4-external-launch | external job at launch (customer's chain) | not used (zero) | **UNRATIFIED** |
| R5-external-bridge | external job after the proof bridge | not used (zero) | **UNRATIFIED** |
| R6-devfee | the official miner client's optional dev fee | not used (zero) | **UNRATIFIED** |
| m010 | scenario multiple | 0.10 | RATIFIED (TV-04 method words) |
| m025 | scenario multiple | 0.25 | RATIFIED (TV-04 method words) |
| m100 | scenario multiple | 1.00 | RATIFIED (TV-04 method words) |
| m400 | scenario multiple | 4.00 | RATIFIED (TV-04 method words) |
| m1000 | scenario multiple | 10.00 | RATIFIED (TV-04 method words) |
| X-ext | external jobs per year | 0 | **UNRATIFIED (D04)** |
| C-miners | minimum required miner cost per year | (empty) | **PANEL** |
| C-provers | minimum required internal proving cost per year | (empty) | **PANEL** |
| C-validators | minimum required validator cost per year | (empty) | **PANEL** |
| C-maintenance | minimum required maintenance cost per year | (empty) | **PANEL** |
| K-class | which scenario-year cells are approved viable and which are collapse cases | (empty) | **PANEL** |
| T-tip | native tip volume per year (fee level and its volatility) | (empty) | **PANEL** |
## Horizon: year 1
The budget each role receives in year 1 (zero tips, zero external jobs), and the fundable-cost ceiling in BU at each multiple.
| Role | Route (status) | Receipts in year 1 (coins) | Of the role's year 1 | Years 1 to 1 (coins) | Ceiling at 0.1x | Ceiling at 0.25x | Ceiling at 1x | Ceiling at 4x | Ceiling at 10x | Panel cost | Decision |
|---|---|---|---|---|---|---|---|---|---|---|---|
| miners | R1-miner (IMPLEMENTED) | 770,431,199 | 100.00% | 770,431,199 | 0.080000 | 0.200000 | 0.800000 | 3.200000 | 8.000000 | (empty) | NOT RUN |
| internal provers | R1-pool (IMPLEMENTED) | 192,607,799 | 100.00% | 192,607,799 | 0.020000 | 0.050000 | 0.200000 | 0.800000 | 2.000000 | (empty) | NOT RUN |
| minimum validators | R1-validators (IMPLEMENTED) | 0 | none (no route) | 0 | 0.000000 | 0.000000 | 0.000000 | 0.000000 | 0.000000 | (empty) | BLOCKED |
| maintenance | R1-maintenance (IMPLEMENTED) | 0 | none (no route) | 0 | 0.000000 | 0.000000 | 0.000000 | 0.000000 | 0.000000 | (empty) | BLOCKED |
| external jobs | R4, R5 (UNRATIFIED) | 0 | none | 0 | 0 | 0 | 0 | 0 | 0 | (not used) | parameter only |
What each row means:
- miners: the role's year-1 budget buys at most 0.080000 BU in the minus-90-percent case, 0.800000 BU at 1x and 8.000000 BU at 10x, so a panel minimum cost above the cell's ceiling is the failure region for that scenario.
- internal provers: the role's year-1 budget buys at most 0.020000 BU in the minus-90-percent case, 0.200000 BU at 1x and 2.000000 BU at 10x, so a panel minimum cost above the cell's ceiling is the failure region for that scenario.
- minimum validators: the protocol pays this role nothing in year 1 at any multiple, so it is funded only by a payer D03 has not yet named (B-03, B-04), and any positive minimum cost is in the failure region.
- maintenance: the protocol pays this role nothing in year 1 at any multiple, so it is funded only by a payer D03 has not yet named (B-03, B-04), and any positive minimum cost is in the failure region.
- external jobs: zero in every scenario by the method; the published rate is unratified (D04) and funds no role here.
## Horizon: year 5
The budget each role receives in year 5 (zero tips, zero external jobs), and the fundable-cost ceiling in BU at each multiple.
| Role | Route (status) | Receipts in year 5 (coins) | Of the role's year 1 | Years 1 to 5 (coins) | Ceiling at 0.1x | Ceiling at 0.25x | Ceiling at 1x | Ceiling at 4x | Ceiling at 10x | Panel cost | Decision |
|---|---|---|---|---|---|---|---|---|---|---|---|
| miners | R1-miner (IMPLEMENTED) | 199,999,999 | 25.96% | 2,570,431,199 | 0.020768 | 0.051919 | 0.207676 | 0.830704 | 2.076759 | (empty) | NOT RUN |
| internal provers | R1-pool (IMPLEMENTED) | 49,999,999 | 25.96% | 642,607,799 | 0.005192 | 0.012980 | 0.051919 | 0.207676 | 0.519190 | (empty) | NOT RUN |
| minimum validators | R1-validators (IMPLEMENTED) | 0 | none (no route) | 0 | 0.000000 | 0.000000 | 0.000000 | 0.000000 | 0.000000 | (empty) | BLOCKED |
| maintenance | R1-maintenance (IMPLEMENTED) | 0 | none (no route) | 0 | 0.000000 | 0.000000 | 0.000000 | 0.000000 | 0.000000 | (empty) | BLOCKED |
| external jobs | R4, R5 (UNRATIFIED) | 0 | none | 0 | 0 | 0 | 0 | 0 | 0 | (not used) | parameter only |
What each row means:
- miners: the role's year-5 budget buys at most 0.020768 BU in the minus-90-percent case, 0.207676 BU at 1x and 2.076759 BU at 10x, so a panel minimum cost above the cell's ceiling is the failure region for that scenario.
- internal provers: the role's year-5 budget buys at most 0.005192 BU in the minus-90-percent case, 0.051919 BU at 1x and 0.519190 BU at 10x, so a panel minimum cost above the cell's ceiling is the failure region for that scenario.
- minimum validators: the protocol pays this role nothing in year 5 at any multiple, so it is funded only by a payer D03 has not yet named (B-03, B-04), and any positive minimum cost is in the failure region.
- maintenance: the protocol pays this role nothing in year 5 at any multiple, so it is funded only by a payer D03 has not yet named (B-03, B-04), and any positive minimum cost is in the failure region.
- external jobs: zero in every scenario by the method; the published rate is unratified (D04) and funds no role here.
## Horizon: year 10
The budget each role receives in year 10 (zero tips, zero external jobs), and the fundable-cost ceiling in BU at each multiple.
| Role | Route (status) | Receipts in year 10 (coins) | Of the role's year 1 | Years 1 to 10 (coins) | Ceiling at 0.1x | Ceiling at 0.25x | Ceiling at 1x | Ceiling at 4x | Ceiling at 10x | Panel cost | Decision |
|---|---|---|---|---|---|---|---|---|---|---|---|
| miners | R1-miner (IMPLEMENTED) | 49,999,999 | 6.49% | 3,070,431,198 | 0.005192 | 0.012980 | 0.051919 | 0.207676 | 0.519190 | (empty) | NOT RUN |
| internal provers | R1-pool (IMPLEMENTED) | 12,499,999 | 6.49% | 767,607,799 | 0.001298 | 0.003245 | 0.012980 | 0.051919 | 0.129797 | (empty) | NOT RUN |
| minimum validators | R1-validators (IMPLEMENTED) | 0 | none (no route) | 0 | 0.000000 | 0.000000 | 0.000000 | 0.000000 | 0.000000 | (empty) | BLOCKED |
| maintenance | R1-maintenance (IMPLEMENTED) | 0 | none (no route) | 0 | 0.000000 | 0.000000 | 0.000000 | 0.000000 | 0.000000 | (empty) | BLOCKED |
| external jobs | R4, R5 (UNRATIFIED) | 0 | none | 0 | 0 | 0 | 0 | 0 | 0 | (not used) | parameter only |
What each row means:
- miners: the role's year-10 budget buys at most 0.005192 BU in the minus-90-percent case, 0.051919 BU at 1x and 0.519190 BU at 10x, so a panel minimum cost above the cell's ceiling is the failure region for that scenario.
- internal provers: the role's year-10 budget buys at most 0.001298 BU in the minus-90-percent case, 0.012980 BU at 1x and 0.129797 BU at 10x, so a panel minimum cost above the cell's ceiling is the failure region for that scenario.
- minimum validators: the protocol pays this role nothing in year 10 at any multiple, so it is funded only by a payer D03 has not yet named (B-03, B-04), and any positive minimum cost is in the failure region.
- maintenance: the protocol pays this role nothing in year 10 at any multiple, so it is funded only by a payer D03 has not yet named (B-03, B-04), and any positive minimum cost is in the failure region.
- external jobs: zero in every scenario by the method; the published rate is unratified (D04) and funds no role here.
## Horizon: year 20
The budget each role receives in year 20 (zero tips, zero external jobs), and the fundable-cost ceiling in BU at each multiple.
| Role | Route (status) | Receipts in year 20 (coins) | Of the role's year 1 | Years 1 to 20 (coins) | Ceiling at 0.1x | Ceiling at 0.25x | Ceiling at 1x | Ceiling at 4x | Ceiling at 10x | Panel cost | Decision |
|---|---|---|---|---|---|---|---|---|---|---|---|
| miners | R1-miner (IMPLEMENTED) | 1,562,499 | 0.20% | 3,167,306,197 | 0.000162 | 0.000406 | 0.001622 | 0.006490 | 0.016225 | (empty) | NOT RUN |
| internal provers | R1-pool (IMPLEMENTED) | 390,624 | 0.20% | 791,826,549 | 0.000041 | 0.000101 | 0.000406 | 0.001622 | 0.004056 | (empty) | NOT RUN |
| minimum validators | R1-validators (IMPLEMENTED) | 0 | none (no route) | 0 | 0.000000 | 0.000000 | 0.000000 | 0.000000 | 0.000000 | (empty) | BLOCKED |
| maintenance | R1-maintenance (IMPLEMENTED) | 0 | none (no route) | 0 | 0.000000 | 0.000000 | 0.000000 | 0.000000 | 0.000000 | (empty) | BLOCKED |
| external jobs | R4, R5 (UNRATIFIED) | 0 | none | 0 | 0 | 0 | 0 | 0 | 0 | (not used) | parameter only |
What each row means:
- miners: the role's year-20 budget buys at most 0.000162 BU in the minus-90-percent case, 0.001622 BU at 1x and 0.016225 BU at 10x, so a panel minimum cost above the cell's ceiling is the failure region for that scenario.
- internal provers: the role's year-20 budget buys at most 0.000041 BU in the minus-90-percent case, 0.000406 BU at 1x and 0.004056 BU at 10x, so a panel minimum cost above the cell's ceiling is the failure region for that scenario.
- minimum validators: the protocol pays this role nothing in year 20 at any multiple, so it is funded only by a payer D03 has not yet named (B-03, B-04), and any positive minimum cost is in the failure region.
- maintenance: the protocol pays this role nothing in year 20 at any multiple, so it is funded only by a payer D03 has not yet named (B-03, B-04), and any positive minimum cost is in the failure region.
- external jobs: zero in every scenario by the method; the published rate is unratified (D04) and funds no role here.
## The verdict per scenario and year
In the gate's words. The class of each cell (approved viable, or collapse) is the panel's declaration before results; the computed ceilings stand beside it. The failure region of a cell is every role whose minimum cost exceeds its ceiling, and minimum validators and maintenance at any positive cost.
| Year | Scenario | Miners' ceiling (BU) | Internal provers' ceiling (BU) | Validators, maintenance | Class (panel) | Gate test that applies | Verdict |
|---|---|---|---|---|---|---|---|
| 1 | 0.1x: the minus-90-percent case, the 1x path at one tenth | 0.080000 | 0.020000 | 0 (no payer, BLOCKED) | (empty) | viable: funds the minimum required roles without hidden issuance or assumed appreciation; collapse: safe behaviour, not universal profit | NOT RUN |
| 1 | 0.25x | 0.200000 | 0.050000 | 0 (no payer, BLOCKED) | (empty) | viable: funds the minimum required roles without hidden issuance or assumed appreciation; collapse: safe behaviour, not universal profit | NOT RUN |
| 1 | 1x (the baseline path) | 0.800000 | 0.200000 | 0 (no payer, BLOCKED) | (empty) | viable: funds the minimum required roles without hidden issuance or assumed appreciation; collapse: safe behaviour, not universal profit | NOT RUN |
| 1 | 4x | 3.200000 | 0.800000 | 0 (no payer, BLOCKED) | (empty) | viable: funds the minimum required roles without hidden issuance or assumed appreciation; collapse: safe behaviour, not universal profit | NOT RUN |
| 1 | 10x | 8.000000 | 2.000000 | 0 (no payer, BLOCKED) | (empty) | viable: funds the minimum required roles without hidden issuance or assumed appreciation; collapse: safe behaviour, not universal profit | NOT RUN |
| 5 | 0.1x: the minus-90-percent case, the 1x path at one tenth | 0.020768 | 0.005192 | 0 (no payer, BLOCKED) | (empty) | viable: funds the minimum required roles without hidden issuance or assumed appreciation; collapse: safe behaviour, not universal profit | NOT RUN |
| 5 | 0.25x | 0.051919 | 0.012980 | 0 (no payer, BLOCKED) | (empty) | viable: funds the minimum required roles without hidden issuance or assumed appreciation; collapse: safe behaviour, not universal profit | NOT RUN |
| 5 | 1x (the baseline path) | 0.207676 | 0.051919 | 0 (no payer, BLOCKED) | (empty) | viable: funds the minimum required roles without hidden issuance or assumed appreciation; collapse: safe behaviour, not universal profit | NOT RUN |
| 5 | 4x | 0.830704 | 0.207676 | 0 (no payer, BLOCKED) | (empty) | viable: funds the minimum required roles without hidden issuance or assumed appreciation; collapse: safe behaviour, not universal profit | NOT RUN |
| 5 | 10x | 2.076759 | 0.519190 | 0 (no payer, BLOCKED) | (empty) | viable: funds the minimum required roles without hidden issuance or assumed appreciation; collapse: safe behaviour, not universal profit | NOT RUN |
| 10 | 0.1x: the minus-90-percent case, the 1x path at one tenth | 0.005192 | 0.001298 | 0 (no payer, BLOCKED) | (empty) | viable: funds the minimum required roles without hidden issuance or assumed appreciation; collapse: safe behaviour, not universal profit | NOT RUN |
| 10 | 0.25x | 0.012980 | 0.003245 | 0 (no payer, BLOCKED) | (empty) | viable: funds the minimum required roles without hidden issuance or assumed appreciation; collapse: safe behaviour, not universal profit | NOT RUN |
| 10 | 1x (the baseline path) | 0.051919 | 0.012980 | 0 (no payer, BLOCKED) | (empty) | viable: funds the minimum required roles without hidden issuance or assumed appreciation; collapse: safe behaviour, not universal profit | NOT RUN |
| 10 | 4x | 0.207676 | 0.051919 | 0 (no payer, BLOCKED) | (empty) | viable: funds the minimum required roles without hidden issuance or assumed appreciation; collapse: safe behaviour, not universal profit | NOT RUN |
| 10 | 10x | 0.519190 | 0.129797 | 0 (no payer, BLOCKED) | (empty) | viable: funds the minimum required roles without hidden issuance or assumed appreciation; collapse: safe behaviour, not universal profit | NOT RUN |
| 20 | 0.1x: the minus-90-percent case, the 1x path at one tenth | 0.000162 | 0.000041 | 0 (no payer, BLOCKED) | (empty) | viable: funds the minimum required roles without hidden issuance or assumed appreciation; collapse: safe behaviour, not universal profit | NOT RUN |
| 20 | 0.25x | 0.000406 | 0.000101 | 0 (no payer, BLOCKED) | (empty) | viable: funds the minimum required roles without hidden issuance or assumed appreciation; collapse: safe behaviour, not universal profit | NOT RUN |
| 20 | 1x (the baseline path) | 0.001622 | 0.000406 | 0 (no payer, BLOCKED) | (empty) | viable: funds the minimum required roles without hidden issuance or assumed appreciation; collapse: safe behaviour, not universal profit | NOT RUN |
| 20 | 4x | 0.006490 | 0.001622 | 0 (no payer, BLOCKED) | (empty) | viable: funds the minimum required roles without hidden issuance or assumed appreciation; collapse: safe behaviour, not universal profit | NOT RUN |
| 20 | 10x | 0.016225 | 0.004056 | 0 (no payer, BLOCKED) | (empty) | viable: funds the minimum required roles without hidden issuance or assumed appreciation; collapse: safe behaviour, not universal profit | NOT RUN |
## Fee replacement: the tips the miners' year-1 budget would need
Tips per year, at constant purchasing power, that would bring the miners' receipts back to their year-1 level through the code's 80% tip route (year 2 pays more than the ramped year 1, so it needs none). Base fees are burned and restore nothing; provers have no tip route in the code (B-01). The full series is `fee-replacement.csv`.
| Year | Miners' gap to year 1 (coins) | Tips needed per year (coins) | As a fraction of the baseline |
|---|---|---|---|
| 1 | 0 | 0 | 0.0000 |
| 2 | 0 | 0 | 0.0000 |
| 3 | 370,431,200 | 463,039,000 | 0.4808 |
| 5 | 570,431,200 | 713,039,000 | 0.7404 |
| 10 | 720,431,200 | 900,539,000 | 0.9351 |
| 20 | 768,868,700 | 961,085,875 | 0.9980 |
## What the result means
Under the ratified cap with zero external jobs, the subsidy that pays the miners and the internal provers falls to 25.96% of year 1 in year 5, 6.49% in year 10 and 0.20% in year 20; at 10x purchasing power the year-20 miner budget buys 0.016225 BU, and in the minus-90-percent case 0.000162 BU.
Holding the miners' year-1 budget needs tips of 0.9351 of the baseline a year by year 10 and 0.9980 by year 20; the internal provers have no fee route in the node's code, so nothing in the ratified routing replaces their declining 20%; minimum validators and maintenance receive nothing from the protocol at any horizon.
So whether TV-04 can pass turns on four things this model cannot supply: the panel's role costs and viable-or-collapse declarations, the tip level, a named payer for validators and maintenance, and the provers' fee route. Those are the BLOCKED rows below.
## BLOCKED rows
| Id | Row | Waits on | Earliest clock (UK) |
|---|---|---|---|
| B-01 | the internal provers' share of the priority fee | D04's frozen routes (TV-01): the node's code pays the 80% tip share to the block's beneficiary alone (igneum/exec executor.rs lines 318 to 329, line 729), the litepaper's routing table row 3 and the design text read '80% the block's miner and provers' with no split; the master, p. 36, asks for the discrepancy resolved before security income is modelled | the TV-01 supply spec, due 13:00 UK today; the node lane names where the rule lives |
| B-02 | internal provers: paid against assigned | the stranded-credit rule (the litepaper: unclaimed pool credit stays in the escrow, the fix is designed) and the single coinbase payout that replaces the devnet's burn of the 20% output; this table carries the assigned 20%, an upper bound on what provers are paid | the node lane's answer; TV-02's replay separates assigned, paid and burned |
| B-03 | minimum validators: the recurring payer | D03 (ratified: separate accountable budgets) names no payer for the minimum validator role; the protocol routes it nothing (no coinbase output, no fee share) | the panel and the founder; no clock in the ratified rules |
| B-04 | maintenance: committed resources | the master, p. 68, P13 (at least 12 months committed; burned fees, rising prices and uncommitted sales excluded) and the volume, p. 31; the registry's P13 deferral note (the founder, 8 October 2026, 18:2x UK); the protocol routes maintenance nothing | the founder's lifting of the P13 deferral |
| B-05 | role costs (four cells) and the scenario classes | the independent panel: the minimum required cost per role per year in BU, and which scenario-year cells are approved viable and which are collapse cases, declared before results (the master, p. 68, P12) | the panel's reading; every coverage cell reads NOT RUN until then |
| B-06 | the tail-vote clause beside the cap | D01 (ratified: capped issuance) against the litepaper's clause sending a tail reward to the miners' vote when external proving revenue is under one fifth of the subsidy after year 5 (with zero external jobs that condition holds from year 5 in every scenario here); the volume, p. 12: no undisclosed future rescue. This model mints no tail | TV-01's frozen contract (13:00 UK today) and the site lane's wording |
| B-07 | the testnet parameters' 1% tail | params.rs line 2014: TESTNET_PARAMS carries EmissionSchedule::TESTNET_1 (emission.rs lines 116 to 123, a 1 percent a year tail), while MAINNET_PARAMS carries the capped CURRENT (line 1858); this model reads the mainnet params; the node lane answers which schedule a value-bearing network carries | the node lane's one-question answer |
| B-08 | the schedule itself | D02 (approved: the same-cap comparison; the schedule pending evidence): every figure here is conditional on EmissionSchedule::CURRENT and regenerates from inputs.json if the schedule changes | TV-03's emission comparison |
| B-09 | safe behaviour in the collapse cases | the gate's words for collapse scenarios (safe behaviour, not universal profit) are native evidence this model cannot give: contraction of the finality vote weight, honest pauses and recovery labelled apart from finality (D05) belong to TV-07, TV-09 and TV-15 | those gates' native runs |
## Files
| File | What | sha256 |
|---|---|---|
| `blocked.csv` | the BLOCKED rows | `525723db53c072a4f7f0fec6301bd6f931fd8f905c2fa0ba719de6f6c24a95bd` |
| `budget.csv` | every horizon x scenario x role row, with its meaning | `06f467bed99df956a3d2c9d52dbe98ae4ffc13cb59e007ea5f982c77264b69d1` |
| `emission.csv` | the schedule and the role split, years 1 to 20 | `e0f30dba6489a9c59dfa2acc4d070aad04f273811ea4c1064efa1c5a9d8f835c` |
| `fee-replacement.csv` | the tips the miners' year-1 budget would need, years 1 to 20 | `6da376136be6be9769c817b90cd8b7cc60ca9f7720b30ca600fd93bbea07f5d0` |
| `parameters.csv` | every parameter with its status and source | `20b548ea79c05396afc460db41b5a5f7062e8a10f781fe11863204259dedb7a5` |
## Reproduce
The generator `tools/token-value/tv-04/tv04_budget.py` (sha256 `72c775cb85a809b39f305f7b1c83f26b32e8fd113340ac7ac8dc32b3e6260282`), its inputs `tools/token-value/tv-04/inputs.json` (sha256 `ca40b0e9686422cfb8506add4e4202f04863f890c9440eb82e739aff9fb06e88`) and its tests `tools/token-value/tv-04/test_tv04.py` (sha256 `88dae13438cd551d1a1f94631efb515315f453179f14e9a2add440bf58e6ef26`). Standard-library Python 3, integers and fractions, no clock, no network.
```
python3 tools/token-value/tv-04/tv04_budget.py --out docs/plans/igneum-2.0-master/token-value/phase0/tv-04
python3 tools/token-value/tv-04/tv04_budget.py --check docs/plans/igneum-2.0-master/token-value/phase0/tv-04
python3 tools/token-value/tv-04/test_tv04.py
python3 tools/token-value/tv-04/test_tv04.py --known-failed
tools/token-value/tv-04/run-on-box.sh red|green|known-failed|generate|check
```
Runs happen on build-9 only (`run-on-box.sh`: the committed tree as a git archive, a pid file at build-9:/home/build/tv-04/run.pid before the job starts, mirrored on build-1's queue while live). The run record (the known-failed first run, the green run, the mutant run, the two-generation byte comparison and the check against the committed files) is `RUNS.md` beside this file.
## Registry
The registry batch for TV-04 is `registry-batch-tv-04.json` beside this file: one cell, the case TV-04, the verdict NOT RUN, method model, this directory's files and the build-9 run logs as its evidence. The CI steward places it under `tools/ci/batches/` with its map cell and records it through `tools/ci/test-record.mjs --record`; this landing writes no registry row.

10
docs/plans/igneum-2.0-master/token-value/phase0/tv-04/blocked.csv Normal file
View file

@ -0,0 +1,10 @@
id,row,waits_on,earliest_clock_uk
B-01,the internal provers' share of the priority fee,"D04's frozen routes (TV-01): the node's code pays the 80% tip share to the block's beneficiary alone (igneum/exec executor.rs lines 318 to 329, line 729), the litepaper's routing table row 3 and the design text read '80% the block's miner and provers' with no split; the master, p. 36, asks for the discrepancy resolved before security income is modelled","the TV-01 supply spec, due 13:00 UK today; the node lane names where the rule lives"
B-02,internal provers: paid against assigned,"the stranded-credit rule (the litepaper: unclaimed pool credit stays in the escrow, the fix is designed) and the single coinbase payout that replaces the devnet's burn of the 20% output; this table carries the assigned 20%, an upper bound on what provers are paid","the node lane's answer; TV-02's replay separates assigned, paid and burned"
B-03,minimum validators: the recurring payer,"D03 (ratified: separate accountable budgets) names no payer for the minimum validator role; the protocol routes it nothing (no coinbase output, no fee share)",the panel and the founder; no clock in the ratified rules
B-04,maintenance: committed resources,"the master, p. 68, P13 (at least 12 months committed; burned fees, rising prices and uncommitted sales excluded) and the volume, p. 31; the registry's P13 deferral note (the founder, 8 October 2026, 18:2x UK); the protocol routes maintenance nothing",the founder's lifting of the P13 deferral
B-05,role costs (four cells) and the scenario classes,"the independent panel: the minimum required cost per role per year in BU, and which scenario-year cells are approved viable and which are collapse cases, declared before results (the master, p. 68, P12)",the panel's reading; every coverage cell reads NOT RUN until then
B-06,the tail-vote clause beside the cap,"D01 (ratified: capped issuance) against the litepaper's clause sending a tail reward to the miners' vote when external proving revenue is under one fifth of the subsidy after year 5 (with zero external jobs that condition holds from year 5 in every scenario here); the volume, p. 12: no undisclosed future rescue. This model mints no tail",TV-01's frozen contract (13:00 UK today) and the site lane's wording
B-07,the testnet parameters' 1% tail,"params.rs line 2014: TESTNET_PARAMS carries EmissionSchedule::TESTNET_1 (emission.rs lines 116 to 123, a 1 percent a year tail), while MAINNET_PARAMS carries the capped CURRENT (line 1858); this model reads the mainnet params; the node lane answers which schedule a value-bearing network carries",the node lane's one-question answer
B-08,the schedule itself,D02 (approved: the same-cap comparison; the schedule pending evidence): every figure here is conditional on EmissionSchedule::CURRENT and regenerates from inputs.json if the schedule changes,TV-03's emission comparison
B-09,safe behaviour in the collapse cases,"the gate's words for collapse scenarios (safe behaviour, not universal profit) are native evidence this model cannot give: contraction of the finality vote weight, honest pauses and recovery labelled apart from finality (D05) belong to TV-07, TV-09 and TV-15",those gates' native runs
1 id row waits_on earliest_clock_uk
2 B-01 the internal provers' share of the priority fee D04's frozen routes (TV-01): the node's code pays the 80% tip share to the block's beneficiary alone (igneum/exec executor.rs lines 318 to 329, line 729), the litepaper's routing table row 3 and the design text read '80% the block's miner and provers' with no split; the master, p. 36, asks for the discrepancy resolved before security income is modelled the TV-01 supply spec, due 13:00 UK today; the node lane names where the rule lives
3 B-02 internal provers: paid against assigned the stranded-credit rule (the litepaper: unclaimed pool credit stays in the escrow, the fix is designed) and the single coinbase payout that replaces the devnet's burn of the 20% output; this table carries the assigned 20%, an upper bound on what provers are paid the node lane's answer; TV-02's replay separates assigned, paid and burned
4 B-03 minimum validators: the recurring payer D03 (ratified: separate accountable budgets) names no payer for the minimum validator role; the protocol routes it nothing (no coinbase output, no fee share) the panel and the founder; no clock in the ratified rules
5 B-04 maintenance: committed resources the master, p. 68, P13 (at least 12 months committed; burned fees, rising prices and uncommitted sales excluded) and the volume, p. 31; the registry's P13 deferral note (the founder, 8 October 2026, 18:2x UK); the protocol routes maintenance nothing the founder's lifting of the P13 deferral
6 B-05 role costs (four cells) and the scenario classes the independent panel: the minimum required cost per role per year in BU, and which scenario-year cells are approved viable and which are collapse cases, declared before results (the master, p. 68, P12) the panel's reading; every coverage cell reads NOT RUN until then
7 B-06 the tail-vote clause beside the cap D01 (ratified: capped issuance) against the litepaper's clause sending a tail reward to the miners' vote when external proving revenue is under one fifth of the subsidy after year 5 (with zero external jobs that condition holds from year 5 in every scenario here); the volume, p. 12: no undisclosed future rescue. This model mints no tail TV-01's frozen contract (13:00 UK today) and the site lane's wording
8 B-07 the testnet parameters' 1% tail params.rs line 2014: TESTNET_PARAMS carries EmissionSchedule::TESTNET_1 (emission.rs lines 116 to 123, a 1 percent a year tail), while MAINNET_PARAMS carries the capped CURRENT (line 1858); this model reads the mainnet params; the node lane answers which schedule a value-bearing network carries the node lane's one-question answer
9 B-08 the schedule itself D02 (approved: the same-cap comparison; the schedule pending evidence): every figure here is conditional on EmissionSchedule::CURRENT and regenerates from inputs.json if the schedule changes TV-03's emission comparison
10 B-09 safe behaviour in the collapse cases the gate's words for collapse scenarios (safe behaviour, not universal profit) are native evidence this model cannot give: contraction of the finality vote weight, honest pauses and recovery labelled apart from finality (D05) belong to TV-07, TV-09 and TV-15 those gates' native runs

81
docs/plans/igneum-2.0-master/token-value/phase0/tv-04/budget.csv Normal file
View file

@ -0,0 +1,81 @@
horizon_year,scenario,multiple,role,route,route_status,native_receipts_base_units,native_receipts_coins,cumulative_years_1_to_h_coins,fraction_of_role_year1,fundable_cost_ceiling_bu,role_cost_bu_panel,coverage,external_job_receipts,scenario_class_panel,decision,meaning
1,m010,0.10,miners,R1-miner,IMPLEMENTED,77043119999330600,770431199.99330600,770431199.99330600,1.00000000,0.08000000,,,0 (D04: the external-job rate is not ratified),,NOT RUN,"In year 1 at 0.10x the miners receive 770,431,199 coins, 100.00% of their year-1 receipts, which covers a minimum miners cost of at most 0.080000 BU; a panel cost above 0.080000 BU puts this cell in the failure region."
1,m010,0.10,internal provers,R1-pool,IMPLEMENTED,19260779999832649,192607799.99832649,192607799.99832649,1.00000000,0.02000000,,,0 (D04: the external-job rate is not ratified),,NOT RUN,"In year 1 at 0.10x the internal provers receive 192,607,799 coins, 100.00% of their year-1 receipts, which covers a minimum internal provers cost of at most 0.020000 BU; a panel cost above 0.020000 BU puts this cell in the failure region."
1,m010,0.10,minimum validators,R1-validators,IMPLEMENTED,0,0.00000000,0.00000000,,0.00000000,,,0 (D04: the external-job rate is not ratified),,BLOCKED,"In year 1 at 0.10x the protocol routes nothing to minimum validators, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer."
1,m010,0.10,maintenance,R1-maintenance,IMPLEMENTED,0,0.00000000,0.00000000,,0.00000000,,,0 (D04: the external-job rate is not ratified),,BLOCKED,"In year 1 at 0.10x the protocol routes nothing to maintenance, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer."
1,m025,0.25,miners,R1-miner,IMPLEMENTED,77043119999330600,770431199.99330600,770431199.99330600,1.00000000,0.20000000,,,0 (D04: the external-job rate is not ratified),,NOT RUN,"In year 1 at 0.25x the miners receive 770,431,199 coins, 100.00% of their year-1 receipts, which covers a minimum miners cost of at most 0.200000 BU; a panel cost above 0.200000 BU puts this cell in the failure region."
1,m025,0.25,internal provers,R1-pool,IMPLEMENTED,19260779999832649,192607799.99832649,192607799.99832649,1.00000000,0.05000000,,,0 (D04: the external-job rate is not ratified),,NOT RUN,"In year 1 at 0.25x the internal provers receive 192,607,799 coins, 100.00% of their year-1 receipts, which covers a minimum internal provers cost of at most 0.050000 BU; a panel cost above 0.050000 BU puts this cell in the failure region."
1,m025,0.25,minimum validators,R1-validators,IMPLEMENTED,0,0.00000000,0.00000000,,0.00000000,,,0 (D04: the external-job rate is not ratified),,BLOCKED,"In year 1 at 0.25x the protocol routes nothing to minimum validators, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer."
1,m025,0.25,maintenance,R1-maintenance,IMPLEMENTED,0,0.00000000,0.00000000,,0.00000000,,,0 (D04: the external-job rate is not ratified),,BLOCKED,"In year 1 at 0.25x the protocol routes nothing to maintenance, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer."
1,m100,1.00,miners,R1-miner,IMPLEMENTED,77043119999330600,770431199.99330600,770431199.99330600,1.00000000,0.80000000,,,0 (D04: the external-job rate is not ratified),,NOT RUN,"In year 1 at 1.00x the miners receive 770,431,199 coins, 100.00% of their year-1 receipts, which covers a minimum miners cost of at most 0.800000 BU; a panel cost above 0.800000 BU puts this cell in the failure region."
1,m100,1.00,internal provers,R1-pool,IMPLEMENTED,19260779999832649,192607799.99832649,192607799.99832649,1.00000000,0.20000000,,,0 (D04: the external-job rate is not ratified),,NOT RUN,"In year 1 at 1.00x the internal provers receive 192,607,799 coins, 100.00% of their year-1 receipts, which covers a minimum internal provers cost of at most 0.200000 BU; a panel cost above 0.200000 BU puts this cell in the failure region."
1,m100,1.00,minimum validators,R1-validators,IMPLEMENTED,0,0.00000000,0.00000000,,0.00000000,,,0 (D04: the external-job rate is not ratified),,BLOCKED,"In year 1 at 1.00x the protocol routes nothing to minimum validators, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer."
1,m100,1.00,maintenance,R1-maintenance,IMPLEMENTED,0,0.00000000,0.00000000,,0.00000000,,,0 (D04: the external-job rate is not ratified),,BLOCKED,"In year 1 at 1.00x the protocol routes nothing to maintenance, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer."
1,m400,4.00,miners,R1-miner,IMPLEMENTED,77043119999330600,770431199.99330600,770431199.99330600,1.00000000,3.20000000,,,0 (D04: the external-job rate is not ratified),,NOT RUN,"In year 1 at 4.00x the miners receive 770,431,199 coins, 100.00% of their year-1 receipts, which covers a minimum miners cost of at most 3.200000 BU; a panel cost above 3.200000 BU puts this cell in the failure region."
1,m400,4.00,internal provers,R1-pool,IMPLEMENTED,19260779999832649,192607799.99832649,192607799.99832649,1.00000000,0.80000000,,,0 (D04: the external-job rate is not ratified),,NOT RUN,"In year 1 at 4.00x the internal provers receive 192,607,799 coins, 100.00% of their year-1 receipts, which covers a minimum internal provers cost of at most 0.800000 BU; a panel cost above 0.800000 BU puts this cell in the failure region."
1,m400,4.00,minimum validators,R1-validators,IMPLEMENTED,0,0.00000000,0.00000000,,0.00000000,,,0 (D04: the external-job rate is not ratified),,BLOCKED,"In year 1 at 4.00x the protocol routes nothing to minimum validators, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer."
1,m400,4.00,maintenance,R1-maintenance,IMPLEMENTED,0,0.00000000,0.00000000,,0.00000000,,,0 (D04: the external-job rate is not ratified),,BLOCKED,"In year 1 at 4.00x the protocol routes nothing to maintenance, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer."
1,m1000,10.00,miners,R1-miner,IMPLEMENTED,77043119999330600,770431199.99330600,770431199.99330600,1.00000000,8.00000000,,,0 (D04: the external-job rate is not ratified),,NOT RUN,"In year 1 at 10.00x the miners receive 770,431,199 coins, 100.00% of their year-1 receipts, which covers a minimum miners cost of at most 8.000000 BU; a panel cost above 8.000000 BU puts this cell in the failure region."
1,m1000,10.00,internal provers,R1-pool,IMPLEMENTED,19260779999832649,192607799.99832649,192607799.99832649,1.00000000,2.00000000,,,0 (D04: the external-job rate is not ratified),,NOT RUN,"In year 1 at 10.00x the internal provers receive 192,607,799 coins, 100.00% of their year-1 receipts, which covers a minimum internal provers cost of at most 2.000000 BU; a panel cost above 2.000000 BU puts this cell in the failure region."
1,m1000,10.00,minimum validators,R1-validators,IMPLEMENTED,0,0.00000000,0.00000000,,0.00000000,,,0 (D04: the external-job rate is not ratified),,BLOCKED,"In year 1 at 10.00x the protocol routes nothing to minimum validators, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer."
1,m1000,10.00,maintenance,R1-maintenance,IMPLEMENTED,0,0.00000000,0.00000000,,0.00000000,,,0 (D04: the external-job rate is not ratified),,BLOCKED,"In year 1 at 10.00x the protocol routes nothing to maintenance, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer."
5,m010,0.10,miners,R1-miner,IMPLEMENTED,19999999991145600,199999999.91145600,2570431199.44887080,0.25959489,0.02076759,,,0 (D04: the external-job rate is not ratified),,NOT RUN,"In year 5 at 0.10x the miners receive 199,999,999 coins, 25.96% of their year-1 receipts, which covers a minimum miners cost of at most 0.020768 BU; a panel cost above 0.020768 BU puts this cell in the failure region."
5,m010,0.10,internal provers,R1-pool,IMPLEMENTED,4999999997786400,49999999.97786400,642607799.86221769,0.25959489,0.00519190,,,0 (D04: the external-job rate is not ratified),,NOT RUN,"In year 5 at 0.10x the internal provers receive 49,999,999 coins, 25.96% of their year-1 receipts, which covers a minimum internal provers cost of at most 0.005192 BU; a panel cost above 0.005192 BU puts this cell in the failure region."
5,m010,0.10,minimum validators,R1-validators,IMPLEMENTED,0,0.00000000,0.00000000,,0.00000000,,,0 (D04: the external-job rate is not ratified),,BLOCKED,"In year 5 at 0.10x the protocol routes nothing to minimum validators, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer."
5,m010,0.10,maintenance,R1-maintenance,IMPLEMENTED,0,0.00000000,0.00000000,,0.00000000,,,0 (D04: the external-job rate is not ratified),,BLOCKED,"In year 5 at 0.10x the protocol routes nothing to maintenance, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer."
5,m025,0.25,miners,R1-miner,IMPLEMENTED,19999999991145600,199999999.91145600,2570431199.44887080,0.25959489,0.05191898,,,0 (D04: the external-job rate is not ratified),,NOT RUN,"In year 5 at 0.25x the miners receive 199,999,999 coins, 25.96% of their year-1 receipts, which covers a minimum miners cost of at most 0.051919 BU; a panel cost above 0.051919 BU puts this cell in the failure region."
5,m025,0.25,internal provers,R1-pool,IMPLEMENTED,4999999997786400,49999999.97786400,642607799.86221769,0.25959489,0.01297974,,,0 (D04: the external-job rate is not ratified),,NOT RUN,"In year 5 at 0.25x the internal provers receive 49,999,999 coins, 25.96% of their year-1 receipts, which covers a minimum internal provers cost of at most 0.012980 BU; a panel cost above 0.012980 BU puts this cell in the failure region."
5,m025,0.25,minimum validators,R1-validators,IMPLEMENTED,0,0.00000000,0.00000000,,0.00000000,,,0 (D04: the external-job rate is not ratified),,BLOCKED,"In year 5 at 0.25x the protocol routes nothing to minimum validators, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer."
5,m025,0.25,maintenance,R1-maintenance,IMPLEMENTED,0,0.00000000,0.00000000,,0.00000000,,,0 (D04: the external-job rate is not ratified),,BLOCKED,"In year 5 at 0.25x the protocol routes nothing to maintenance, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer."
5,m100,1.00,miners,R1-miner,IMPLEMENTED,19999999991145600,199999999.91145600,2570431199.44887080,0.25959489,0.20767591,,,0 (D04: the external-job rate is not ratified),,NOT RUN,"In year 5 at 1.00x the miners receive 199,999,999 coins, 25.96% of their year-1 receipts, which covers a minimum miners cost of at most 0.207676 BU; a panel cost above 0.207676 BU puts this cell in the failure region."
5,m100,1.00,internal provers,R1-pool,IMPLEMENTED,4999999997786400,49999999.97786400,642607799.86221769,0.25959489,0.05191898,,,0 (D04: the external-job rate is not ratified),,NOT RUN,"In year 5 at 1.00x the internal provers receive 49,999,999 coins, 25.96% of their year-1 receipts, which covers a minimum internal provers cost of at most 0.051919 BU; a panel cost above 0.051919 BU puts this cell in the failure region."
5,m100,1.00,minimum validators,R1-validators,IMPLEMENTED,0,0.00000000,0.00000000,,0.00000000,,,0 (D04: the external-job rate is not ratified),,BLOCKED,"In year 5 at 1.00x the protocol routes nothing to minimum validators, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer."
5,m100,1.00,maintenance,R1-maintenance,IMPLEMENTED,0,0.00000000,0.00000000,,0.00000000,,,0 (D04: the external-job rate is not ratified),,BLOCKED,"In year 5 at 1.00x the protocol routes nothing to maintenance, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer."
5,m400,4.00,miners,R1-miner,IMPLEMENTED,19999999991145600,199999999.91145600,2570431199.44887080,0.25959489,0.83070364,,,0 (D04: the external-job rate is not ratified),,NOT RUN,"In year 5 at 4.00x the miners receive 199,999,999 coins, 25.96% of their year-1 receipts, which covers a minimum miners cost of at most 0.830704 BU; a panel cost above 0.830704 BU puts this cell in the failure region."
5,m400,4.00,internal provers,R1-pool,IMPLEMENTED,4999999997786400,49999999.97786400,642607799.86221769,0.25959489,0.20767591,,,0 (D04: the external-job rate is not ratified),,NOT RUN,"In year 5 at 4.00x the internal provers receive 49,999,999 coins, 25.96% of their year-1 receipts, which covers a minimum internal provers cost of at most 0.207676 BU; a panel cost above 0.207676 BU puts this cell in the failure region."
5,m400,4.00,minimum validators,R1-validators,IMPLEMENTED,0,0.00000000,0.00000000,,0.00000000,,,0 (D04: the external-job rate is not ratified),,BLOCKED,"In year 5 at 4.00x the protocol routes nothing to minimum validators, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer."
5,m400,4.00,maintenance,R1-maintenance,IMPLEMENTED,0,0.00000000,0.00000000,,0.00000000,,,0 (D04: the external-job rate is not ratified),,BLOCKED,"In year 5 at 4.00x the protocol routes nothing to maintenance, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer."
5,m1000,10.00,miners,R1-miner,IMPLEMENTED,19999999991145600,199999999.91145600,2570431199.44887080,0.25959489,2.07675909,,,0 (D04: the external-job rate is not ratified),,NOT RUN,"In year 5 at 10.00x the miners receive 199,999,999 coins, 25.96% of their year-1 receipts, which covers a minimum miners cost of at most 2.076759 BU; a panel cost above 2.076759 BU puts this cell in the failure region."
5,m1000,10.00,internal provers,R1-pool,IMPLEMENTED,4999999997786400,49999999.97786400,642607799.86221769,0.25959489,0.51918977,,,0 (D04: the external-job rate is not ratified),,NOT RUN,"In year 5 at 10.00x the internal provers receive 49,999,999 coins, 25.96% of their year-1 receipts, which covers a minimum internal provers cost of at most 0.519190 BU; a panel cost above 0.519190 BU puts this cell in the failure region."
5,m1000,10.00,minimum validators,R1-validators,IMPLEMENTED,0,0.00000000,0.00000000,,0.00000000,,,0 (D04: the external-job rate is not ratified),,BLOCKED,"In year 5 at 10.00x the protocol routes nothing to minimum validators, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer."
5,m1000,10.00,maintenance,R1-maintenance,IMPLEMENTED,0,0.00000000,0.00000000,,0.00000000,,,0 (D04: the external-job rate is not ratified),,BLOCKED,"In year 5 at 10.00x the protocol routes nothing to maintenance, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer."
10,m010,0.10,miners,R1-miner,IMPLEMENTED,4999999978851840,49999999.78851840,3070431198.59635880,0.06489872,0.00519190,,,0 (D04: the external-job rate is not ratified),,NOT RUN,"In year 10 at 0.10x the miners receive 49,999,999 coins, 6.49% of their year-1 receipts, which covers a minimum miners cost of at most 0.005192 BU; a panel cost above 0.005192 BU puts this cell in the failure region."
10,m010,0.10,internal provers,R1-pool,IMPLEMENTED,1249999994712960,12499999.94712960,767607799.64908969,0.06489872,0.00129797,,,0 (D04: the external-job rate is not ratified),,NOT RUN,"In year 10 at 0.10x the internal provers receive 12,499,999 coins, 6.49% of their year-1 receipts, which covers a minimum internal provers cost of at most 0.001298 BU; a panel cost above 0.001298 BU puts this cell in the failure region."
10,m010,0.10,minimum validators,R1-validators,IMPLEMENTED,0,0.00000000,0.00000000,,0.00000000,,,0 (D04: the external-job rate is not ratified),,BLOCKED,"In year 10 at 0.10x the protocol routes nothing to minimum validators, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer."
10,m010,0.10,maintenance,R1-maintenance,IMPLEMENTED,0,0.00000000,0.00000000,,0.00000000,,,0 (D04: the external-job rate is not ratified),,BLOCKED,"In year 10 at 0.10x the protocol routes nothing to maintenance, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer."
10,m025,0.25,miners,R1-miner,IMPLEMENTED,4999999978851840,49999999.78851840,3070431198.59635880,0.06489872,0.01297974,,,0 (D04: the external-job rate is not ratified),,NOT RUN,"In year 10 at 0.25x the miners receive 49,999,999 coins, 6.49% of their year-1 receipts, which covers a minimum miners cost of at most 0.012980 BU; a panel cost above 0.012980 BU puts this cell in the failure region."
10,m025,0.25,internal provers,R1-pool,IMPLEMENTED,1249999994712960,12499999.94712960,767607799.64908969,0.06489872,0.00324494,,,0 (D04: the external-job rate is not ratified),,NOT RUN,"In year 10 at 0.25x the internal provers receive 12,499,999 coins, 6.49% of their year-1 receipts, which covers a minimum internal provers cost of at most 0.003245 BU; a panel cost above 0.003245 BU puts this cell in the failure region."
10,m025,0.25,minimum validators,R1-validators,IMPLEMENTED,0,0.00000000,0.00000000,,0.00000000,,,0 (D04: the external-job rate is not ratified),,BLOCKED,"In year 10 at 0.25x the protocol routes nothing to minimum validators, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer."
10,m025,0.25,maintenance,R1-maintenance,IMPLEMENTED,0,0.00000000,0.00000000,,0.00000000,,,0 (D04: the external-job rate is not ratified),,BLOCKED,"In year 10 at 0.25x the protocol routes nothing to maintenance, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer."
10,m100,1.00,miners,R1-miner,IMPLEMENTED,4999999978851840,49999999.78851840,3070431198.59635880,0.06489872,0.05191898,,,0 (D04: the external-job rate is not ratified),,NOT RUN,"In year 10 at 1.00x the miners receive 49,999,999 coins, 6.49% of their year-1 receipts, which covers a minimum miners cost of at most 0.051919 BU; a panel cost above 0.051919 BU puts this cell in the failure region."
10,m100,1.00,internal provers,R1-pool,IMPLEMENTED,1249999994712960,12499999.94712960,767607799.64908969,0.06489872,0.01297974,,,0 (D04: the external-job rate is not ratified),,NOT RUN,"In year 10 at 1.00x the internal provers receive 12,499,999 coins, 6.49% of their year-1 receipts, which covers a minimum internal provers cost of at most 0.012980 BU; a panel cost above 0.012980 BU puts this cell in the failure region."
10,m100,1.00,minimum validators,R1-validators,IMPLEMENTED,0,0.00000000,0.00000000,,0.00000000,,,0 (D04: the external-job rate is not ratified),,BLOCKED,"In year 10 at 1.00x the protocol routes nothing to minimum validators, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer."
10,m100,1.00,maintenance,R1-maintenance,IMPLEMENTED,0,0.00000000,0.00000000,,0.00000000,,,0 (D04: the external-job rate is not ratified),,BLOCKED,"In year 10 at 1.00x the protocol routes nothing to maintenance, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer."
10,m400,4.00,miners,R1-miner,IMPLEMENTED,4999999978851840,49999999.78851840,3070431198.59635880,0.06489872,0.20767591,,,0 (D04: the external-job rate is not ratified),,NOT RUN,"In year 10 at 4.00x the miners receive 49,999,999 coins, 6.49% of their year-1 receipts, which covers a minimum miners cost of at most 0.207676 BU; a panel cost above 0.207676 BU puts this cell in the failure region."
10,m400,4.00,internal provers,R1-pool,IMPLEMENTED,1249999994712960,12499999.94712960,767607799.64908969,0.06489872,0.05191898,,,0 (D04: the external-job rate is not ratified),,NOT RUN,"In year 10 at 4.00x the internal provers receive 12,499,999 coins, 6.49% of their year-1 receipts, which covers a minimum internal provers cost of at most 0.051919 BU; a panel cost above 0.051919 BU puts this cell in the failure region."
10,m400,4.00,minimum validators,R1-validators,IMPLEMENTED,0,0.00000000,0.00000000,,0.00000000,,,0 (D04: the external-job rate is not ratified),,BLOCKED,"In year 10 at 4.00x the protocol routes nothing to minimum validators, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer."
10,m400,4.00,maintenance,R1-maintenance,IMPLEMENTED,0,0.00000000,0.00000000,,0.00000000,,,0 (D04: the external-job rate is not ratified),,BLOCKED,"In year 10 at 4.00x the protocol routes nothing to maintenance, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer."
10,m1000,10.00,miners,R1-miner,IMPLEMENTED,4999999978851840,49999999.78851840,3070431198.59635880,0.06489872,0.51918977,,,0 (D04: the external-job rate is not ratified),,NOT RUN,"In year 10 at 10.00x the miners receive 49,999,999 coins, 6.49% of their year-1 receipts, which covers a minimum miners cost of at most 0.519190 BU; a panel cost above 0.519190 BU puts this cell in the failure region."
10,m1000,10.00,internal provers,R1-pool,IMPLEMENTED,1249999994712960,12499999.94712960,767607799.64908969,0.06489872,0.12979744,,,0 (D04: the external-job rate is not ratified),,NOT RUN,"In year 10 at 10.00x the internal provers receive 12,499,999 coins, 6.49% of their year-1 receipts, which covers a minimum internal provers cost of at most 0.129797 BU; a panel cost above 0.129797 BU puts this cell in the failure region."
10,m1000,10.00,minimum validators,R1-validators,IMPLEMENTED,0,0.00000000,0.00000000,,0.00000000,,,0 (D04: the external-job rate is not ratified),,BLOCKED,"In year 10 at 10.00x the protocol routes nothing to minimum validators, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer."
10,m1000,10.00,maintenance,R1-maintenance,IMPLEMENTED,0,0.00000000,0.00000000,,0.00000000,,,0 (D04: the external-job rate is not ratified),,BLOCKED,"In year 10 at 10.00x the protocol routes nothing to maintenance, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer."
20,m010,0.10,miners,R1-miner,IMPLEMENTED,156249983560320,1562499.83560320,3167306197.49234600,0.00202808,0.00016225,,,0 (D04: the external-job rate is not ratified),,NOT RUN,"In year 20 at 0.10x the miners receive 1,562,499 coins, 0.20% of their year-1 receipts, which covers a minimum miners cost of at most 0.000162 BU; a panel cost above 0.000162 BU puts this cell in the failure region."
20,m010,0.10,internal provers,R1-pool,IMPLEMENTED,39062495890080,390624.95890080,791826549.37308649,0.00202808,0.00004056,,,0 (D04: the external-job rate is not ratified),,NOT RUN,"In year 20 at 0.10x the internal provers receive 390,624 coins, 0.20% of their year-1 receipts, which covers a minimum internal provers cost of at most 0.000041 BU; a panel cost above 0.000041 BU puts this cell in the failure region."
20,m010,0.10,minimum validators,R1-validators,IMPLEMENTED,0,0.00000000,0.00000000,,0.00000000,,,0 (D04: the external-job rate is not ratified),,BLOCKED,"In year 20 at 0.10x the protocol routes nothing to minimum validators, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer."
20,m010,0.10,maintenance,R1-maintenance,IMPLEMENTED,0,0.00000000,0.00000000,,0.00000000,,,0 (D04: the external-job rate is not ratified),,BLOCKED,"In year 20 at 0.10x the protocol routes nothing to maintenance, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer."
20,m025,0.25,miners,R1-miner,IMPLEMENTED,156249983560320,1562499.83560320,3167306197.49234600,0.00202808,0.00040562,,,0 (D04: the external-job rate is not ratified),,NOT RUN,"In year 20 at 0.25x the miners receive 1,562,499 coins, 0.20% of their year-1 receipts, which covers a minimum miners cost of at most 0.000406 BU; a panel cost above 0.000406 BU puts this cell in the failure region."
20,m025,0.25,internal provers,R1-pool,IMPLEMENTED,39062495890080,390624.95890080,791826549.37308649,0.00202808,0.00010140,,,0 (D04: the external-job rate is not ratified),,NOT RUN,"In year 20 at 0.25x the internal provers receive 390,624 coins, 0.20% of their year-1 receipts, which covers a minimum internal provers cost of at most 0.000101 BU; a panel cost above 0.000101 BU puts this cell in the failure region."
20,m025,0.25,minimum validators,R1-validators,IMPLEMENTED,0,0.00000000,0.00000000,,0.00000000,,,0 (D04: the external-job rate is not ratified),,BLOCKED,"In year 20 at 0.25x the protocol routes nothing to minimum validators, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer."
20,m025,0.25,maintenance,R1-maintenance,IMPLEMENTED,0,0.00000000,0.00000000,,0.00000000,,,0 (D04: the external-job rate is not ratified),,BLOCKED,"In year 20 at 0.25x the protocol routes nothing to maintenance, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer."
20,m100,1.00,miners,R1-miner,IMPLEMENTED,156249983560320,1562499.83560320,3167306197.49234600,0.00202808,0.00162247,,,0 (D04: the external-job rate is not ratified),,NOT RUN,"In year 20 at 1.00x the miners receive 1,562,499 coins, 0.20% of their year-1 receipts, which covers a minimum miners cost of at most 0.001622 BU; a panel cost above 0.001622 BU puts this cell in the failure region."
20,m100,1.00,internal provers,R1-pool,IMPLEMENTED,39062495890080,390624.95890080,791826549.37308649,0.00202808,0.00040562,,,0 (D04: the external-job rate is not ratified),,NOT RUN,"In year 20 at 1.00x the internal provers receive 390,624 coins, 0.20% of their year-1 receipts, which covers a minimum internal provers cost of at most 0.000406 BU; a panel cost above 0.000406 BU puts this cell in the failure region."
20,m100,1.00,minimum validators,R1-validators,IMPLEMENTED,0,0.00000000,0.00000000,,0.00000000,,,0 (D04: the external-job rate is not ratified),,BLOCKED,"In year 20 at 1.00x the protocol routes nothing to minimum validators, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer."
20,m100,1.00,maintenance,R1-maintenance,IMPLEMENTED,0,0.00000000,0.00000000,,0.00000000,,,0 (D04: the external-job rate is not ratified),,BLOCKED,"In year 20 at 1.00x the protocol routes nothing to maintenance, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer."
20,m400,4.00,miners,R1-miner,IMPLEMENTED,156249983560320,1562499.83560320,3167306197.49234600,0.00202808,0.00648987,,,0 (D04: the external-job rate is not ratified),,NOT RUN,"In year 20 at 4.00x the miners receive 1,562,499 coins, 0.20% of their year-1 receipts, which covers a minimum miners cost of at most 0.006490 BU; a panel cost above 0.006490 BU puts this cell in the failure region."
20,m400,4.00,internal provers,R1-pool,IMPLEMENTED,39062495890080,390624.95890080,791826549.37308649,0.00202808,0.00162247,,,0 (D04: the external-job rate is not ratified),,NOT RUN,"In year 20 at 4.00x the internal provers receive 390,624 coins, 0.20% of their year-1 receipts, which covers a minimum internal provers cost of at most 0.001622 BU; a panel cost above 0.001622 BU puts this cell in the failure region."
20,m400,4.00,minimum validators,R1-validators,IMPLEMENTED,0,0.00000000,0.00000000,,0.00000000,,,0 (D04: the external-job rate is not ratified),,BLOCKED,"In year 20 at 4.00x the protocol routes nothing to minimum validators, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer."
20,m400,4.00,maintenance,R1-maintenance,IMPLEMENTED,0,0.00000000,0.00000000,,0.00000000,,,0 (D04: the external-job rate is not ratified),,BLOCKED,"In year 20 at 4.00x the protocol routes nothing to maintenance, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer."
20,m1000,10.00,miners,R1-miner,IMPLEMENTED,156249983560320,1562499.83560320,3167306197.49234600,0.00202808,0.01622468,,,0 (D04: the external-job rate is not ratified),,NOT RUN,"In year 20 at 10.00x the miners receive 1,562,499 coins, 0.20% of their year-1 receipts, which covers a minimum miners cost of at most 0.016225 BU; a panel cost above 0.016225 BU puts this cell in the failure region."
20,m1000,10.00,internal provers,R1-pool,IMPLEMENTED,39062495890080,390624.95890080,791826549.37308649,0.00202808,0.00405617,,,0 (D04: the external-job rate is not ratified),,NOT RUN,"In year 20 at 10.00x the internal provers receive 390,624 coins, 0.20% of their year-1 receipts, which covers a minimum internal provers cost of at most 0.004056 BU; a panel cost above 0.004056 BU puts this cell in the failure region."
20,m1000,10.00,minimum validators,R1-validators,IMPLEMENTED,0,0.00000000,0.00000000,,0.00000000,,,0 (D04: the external-job rate is not ratified),,BLOCKED,"In year 20 at 10.00x the protocol routes nothing to minimum validators, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer."
20,m1000,10.00,maintenance,R1-maintenance,IMPLEMENTED,0,0.00000000,0.00000000,,0.00000000,,,0 (D04: the external-job rate is not ratified),,BLOCKED,"In year 20 at 10.00x the protocol routes nothing to maintenance, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer."
1 horizon_year scenario multiple role route route_status native_receipts_base_units native_receipts_coins cumulative_years_1_to_h_coins fraction_of_role_year1 fundable_cost_ceiling_bu role_cost_bu_panel coverage external_job_receipts scenario_class_panel decision meaning
2 1 m010 0.10 miners R1-miner IMPLEMENTED 77043119999330600 770431199.99330600 770431199.99330600 1.00000000 0.08000000 0 (D04: the external-job rate is not ratified) NOT RUN In year 1 at 0.10x the miners receive 770,431,199 coins, 100.00% of their year-1 receipts, which covers a minimum miners cost of at most 0.080000 BU; a panel cost above 0.080000 BU puts this cell in the failure region.
3 1 m010 0.10 internal provers R1-pool IMPLEMENTED 19260779999832649 192607799.99832649 192607799.99832649 1.00000000 0.02000000 0 (D04: the external-job rate is not ratified) NOT RUN In year 1 at 0.10x the internal provers receive 192,607,799 coins, 100.00% of their year-1 receipts, which covers a minimum internal provers cost of at most 0.020000 BU; a panel cost above 0.020000 BU puts this cell in the failure region.
4 1 m010 0.10 minimum validators R1-validators IMPLEMENTED 0 0.00000000 0.00000000 0.00000000 0 (D04: the external-job rate is not ratified) BLOCKED In year 1 at 0.10x the protocol routes nothing to minimum validators, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer.
5 1 m010 0.10 maintenance R1-maintenance IMPLEMENTED 0 0.00000000 0.00000000 0.00000000 0 (D04: the external-job rate is not ratified) BLOCKED In year 1 at 0.10x the protocol routes nothing to maintenance, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer.
6 1 m025 0.25 miners R1-miner IMPLEMENTED 77043119999330600 770431199.99330600 770431199.99330600 1.00000000 0.20000000 0 (D04: the external-job rate is not ratified) NOT RUN In year 1 at 0.25x the miners receive 770,431,199 coins, 100.00% of their year-1 receipts, which covers a minimum miners cost of at most 0.200000 BU; a panel cost above 0.200000 BU puts this cell in the failure region.
7 1 m025 0.25 internal provers R1-pool IMPLEMENTED 19260779999832649 192607799.99832649 192607799.99832649 1.00000000 0.05000000 0 (D04: the external-job rate is not ratified) NOT RUN In year 1 at 0.25x the internal provers receive 192,607,799 coins, 100.00% of their year-1 receipts, which covers a minimum internal provers cost of at most 0.050000 BU; a panel cost above 0.050000 BU puts this cell in the failure region.
8 1 m025 0.25 minimum validators R1-validators IMPLEMENTED 0 0.00000000 0.00000000 0.00000000 0 (D04: the external-job rate is not ratified) BLOCKED In year 1 at 0.25x the protocol routes nothing to minimum validators, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer.
9 1 m025 0.25 maintenance R1-maintenance IMPLEMENTED 0 0.00000000 0.00000000 0.00000000 0 (D04: the external-job rate is not ratified) BLOCKED In year 1 at 0.25x the protocol routes nothing to maintenance, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer.
10 1 m100 1.00 miners R1-miner IMPLEMENTED 77043119999330600 770431199.99330600 770431199.99330600 1.00000000 0.80000000 0 (D04: the external-job rate is not ratified) NOT RUN In year 1 at 1.00x the miners receive 770,431,199 coins, 100.00% of their year-1 receipts, which covers a minimum miners cost of at most 0.800000 BU; a panel cost above 0.800000 BU puts this cell in the failure region.
11 1 m100 1.00 internal provers R1-pool IMPLEMENTED 19260779999832649 192607799.99832649 192607799.99832649 1.00000000 0.20000000 0 (D04: the external-job rate is not ratified) NOT RUN In year 1 at 1.00x the internal provers receive 192,607,799 coins, 100.00% of their year-1 receipts, which covers a minimum internal provers cost of at most 0.200000 BU; a panel cost above 0.200000 BU puts this cell in the failure region.
12 1 m100 1.00 minimum validators R1-validators IMPLEMENTED 0 0.00000000 0.00000000 0.00000000 0 (D04: the external-job rate is not ratified) BLOCKED In year 1 at 1.00x the protocol routes nothing to minimum validators, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer.
13 1 m100 1.00 maintenance R1-maintenance IMPLEMENTED 0 0.00000000 0.00000000 0.00000000 0 (D04: the external-job rate is not ratified) BLOCKED In year 1 at 1.00x the protocol routes nothing to maintenance, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer.
14 1 m400 4.00 miners R1-miner IMPLEMENTED 77043119999330600 770431199.99330600 770431199.99330600 1.00000000 3.20000000 0 (D04: the external-job rate is not ratified) NOT RUN In year 1 at 4.00x the miners receive 770,431,199 coins, 100.00% of their year-1 receipts, which covers a minimum miners cost of at most 3.200000 BU; a panel cost above 3.200000 BU puts this cell in the failure region.
15 1 m400 4.00 internal provers R1-pool IMPLEMENTED 19260779999832649 192607799.99832649 192607799.99832649 1.00000000 0.80000000 0 (D04: the external-job rate is not ratified) NOT RUN In year 1 at 4.00x the internal provers receive 192,607,799 coins, 100.00% of their year-1 receipts, which covers a minimum internal provers cost of at most 0.800000 BU; a panel cost above 0.800000 BU puts this cell in the failure region.
16 1 m400 4.00 minimum validators R1-validators IMPLEMENTED 0 0.00000000 0.00000000 0.00000000 0 (D04: the external-job rate is not ratified) BLOCKED In year 1 at 4.00x the protocol routes nothing to minimum validators, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer.
17 1 m400 4.00 maintenance R1-maintenance IMPLEMENTED 0 0.00000000 0.00000000 0.00000000 0 (D04: the external-job rate is not ratified) BLOCKED In year 1 at 4.00x the protocol routes nothing to maintenance, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer.
18 1 m1000 10.00 miners R1-miner IMPLEMENTED 77043119999330600 770431199.99330600 770431199.99330600 1.00000000 8.00000000 0 (D04: the external-job rate is not ratified) NOT RUN In year 1 at 10.00x the miners receive 770,431,199 coins, 100.00% of their year-1 receipts, which covers a minimum miners cost of at most 8.000000 BU; a panel cost above 8.000000 BU puts this cell in the failure region.
19 1 m1000 10.00 internal provers R1-pool IMPLEMENTED 19260779999832649 192607799.99832649 192607799.99832649 1.00000000 2.00000000 0 (D04: the external-job rate is not ratified) NOT RUN In year 1 at 10.00x the internal provers receive 192,607,799 coins, 100.00% of their year-1 receipts, which covers a minimum internal provers cost of at most 2.000000 BU; a panel cost above 2.000000 BU puts this cell in the failure region.
20 1 m1000 10.00 minimum validators R1-validators IMPLEMENTED 0 0.00000000 0.00000000 0.00000000 0 (D04: the external-job rate is not ratified) BLOCKED In year 1 at 10.00x the protocol routes nothing to minimum validators, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer.
21 1 m1000 10.00 maintenance R1-maintenance IMPLEMENTED 0 0.00000000 0.00000000 0.00000000 0 (D04: the external-job rate is not ratified) BLOCKED In year 1 at 10.00x the protocol routes nothing to maintenance, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer.
22 5 m010 0.10 miners R1-miner IMPLEMENTED 19999999991145600 199999999.91145600 2570431199.44887080 0.25959489 0.02076759 0 (D04: the external-job rate is not ratified) NOT RUN In year 5 at 0.10x the miners receive 199,999,999 coins, 25.96% of their year-1 receipts, which covers a minimum miners cost of at most 0.020768 BU; a panel cost above 0.020768 BU puts this cell in the failure region.
23 5 m010 0.10 internal provers R1-pool IMPLEMENTED 4999999997786400 49999999.97786400 642607799.86221769 0.25959489 0.00519190 0 (D04: the external-job rate is not ratified) NOT RUN In year 5 at 0.10x the internal provers receive 49,999,999 coins, 25.96% of their year-1 receipts, which covers a minimum internal provers cost of at most 0.005192 BU; a panel cost above 0.005192 BU puts this cell in the failure region.
24 5 m010 0.10 minimum validators R1-validators IMPLEMENTED 0 0.00000000 0.00000000 0.00000000 0 (D04: the external-job rate is not ratified) BLOCKED In year 5 at 0.10x the protocol routes nothing to minimum validators, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer.
25 5 m010 0.10 maintenance R1-maintenance IMPLEMENTED 0 0.00000000 0.00000000 0.00000000 0 (D04: the external-job rate is not ratified) BLOCKED In year 5 at 0.10x the protocol routes nothing to maintenance, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer.
26 5 m025 0.25 miners R1-miner IMPLEMENTED 19999999991145600 199999999.91145600 2570431199.44887080 0.25959489 0.05191898 0 (D04: the external-job rate is not ratified) NOT RUN In year 5 at 0.25x the miners receive 199,999,999 coins, 25.96% of their year-1 receipts, which covers a minimum miners cost of at most 0.051919 BU; a panel cost above 0.051919 BU puts this cell in the failure region.
27 5 m025 0.25 internal provers R1-pool IMPLEMENTED 4999999997786400 49999999.97786400 642607799.86221769 0.25959489 0.01297974 0 (D04: the external-job rate is not ratified) NOT RUN In year 5 at 0.25x the internal provers receive 49,999,999 coins, 25.96% of their year-1 receipts, which covers a minimum internal provers cost of at most 0.012980 BU; a panel cost above 0.012980 BU puts this cell in the failure region.
28 5 m025 0.25 minimum validators R1-validators IMPLEMENTED 0 0.00000000 0.00000000 0.00000000 0 (D04: the external-job rate is not ratified) BLOCKED In year 5 at 0.25x the protocol routes nothing to minimum validators, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer.
29 5 m025 0.25 maintenance R1-maintenance IMPLEMENTED 0 0.00000000 0.00000000 0.00000000 0 (D04: the external-job rate is not ratified) BLOCKED In year 5 at 0.25x the protocol routes nothing to maintenance, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer.
30 5 m100 1.00 miners R1-miner IMPLEMENTED 19999999991145600 199999999.91145600 2570431199.44887080 0.25959489 0.20767591 0 (D04: the external-job rate is not ratified) NOT RUN In year 5 at 1.00x the miners receive 199,999,999 coins, 25.96% of their year-1 receipts, which covers a minimum miners cost of at most 0.207676 BU; a panel cost above 0.207676 BU puts this cell in the failure region.
31 5 m100 1.00 internal provers R1-pool IMPLEMENTED 4999999997786400 49999999.97786400 642607799.86221769 0.25959489 0.05191898 0 (D04: the external-job rate is not ratified) NOT RUN In year 5 at 1.00x the internal provers receive 49,999,999 coins, 25.96% of their year-1 receipts, which covers a minimum internal provers cost of at most 0.051919 BU; a panel cost above 0.051919 BU puts this cell in the failure region.
32 5 m100 1.00 minimum validators R1-validators IMPLEMENTED 0 0.00000000 0.00000000 0.00000000 0 (D04: the external-job rate is not ratified) BLOCKED In year 5 at 1.00x the protocol routes nothing to minimum validators, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer.
33 5 m100 1.00 maintenance R1-maintenance IMPLEMENTED 0 0.00000000 0.00000000 0.00000000 0 (D04: the external-job rate is not ratified) BLOCKED In year 5 at 1.00x the protocol routes nothing to maintenance, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer.
34 5 m400 4.00 miners R1-miner IMPLEMENTED 19999999991145600 199999999.91145600 2570431199.44887080 0.25959489 0.83070364 0 (D04: the external-job rate is not ratified) NOT RUN In year 5 at 4.00x the miners receive 199,999,999 coins, 25.96% of their year-1 receipts, which covers a minimum miners cost of at most 0.830704 BU; a panel cost above 0.830704 BU puts this cell in the failure region.
35 5 m400 4.00 internal provers R1-pool IMPLEMENTED 4999999997786400 49999999.97786400 642607799.86221769 0.25959489 0.20767591 0 (D04: the external-job rate is not ratified) NOT RUN In year 5 at 4.00x the internal provers receive 49,999,999 coins, 25.96% of their year-1 receipts, which covers a minimum internal provers cost of at most 0.207676 BU; a panel cost above 0.207676 BU puts this cell in the failure region.
36 5 m400 4.00 minimum validators R1-validators IMPLEMENTED 0 0.00000000 0.00000000 0.00000000 0 (D04: the external-job rate is not ratified) BLOCKED In year 5 at 4.00x the protocol routes nothing to minimum validators, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer.
37 5 m400 4.00 maintenance R1-maintenance IMPLEMENTED 0 0.00000000 0.00000000 0.00000000 0 (D04: the external-job rate is not ratified) BLOCKED In year 5 at 4.00x the protocol routes nothing to maintenance, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer.
38 5 m1000 10.00 miners R1-miner IMPLEMENTED 19999999991145600 199999999.91145600 2570431199.44887080 0.25959489 2.07675909 0 (D04: the external-job rate is not ratified) NOT RUN In year 5 at 10.00x the miners receive 199,999,999 coins, 25.96% of their year-1 receipts, which covers a minimum miners cost of at most 2.076759 BU; a panel cost above 2.076759 BU puts this cell in the failure region.
39 5 m1000 10.00 internal provers R1-pool IMPLEMENTED 4999999997786400 49999999.97786400 642607799.86221769 0.25959489 0.51918977 0 (D04: the external-job rate is not ratified) NOT RUN In year 5 at 10.00x the internal provers receive 49,999,999 coins, 25.96% of their year-1 receipts, which covers a minimum internal provers cost of at most 0.519190 BU; a panel cost above 0.519190 BU puts this cell in the failure region.
40 5 m1000 10.00 minimum validators R1-validators IMPLEMENTED 0 0.00000000 0.00000000 0.00000000 0 (D04: the external-job rate is not ratified) BLOCKED In year 5 at 10.00x the protocol routes nothing to minimum validators, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer.
41 5 m1000 10.00 maintenance R1-maintenance IMPLEMENTED 0 0.00000000 0.00000000 0.00000000 0 (D04: the external-job rate is not ratified) BLOCKED In year 5 at 10.00x the protocol routes nothing to maintenance, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer.
42 10 m010 0.10 miners R1-miner IMPLEMENTED 4999999978851840 49999999.78851840 3070431198.59635880 0.06489872 0.00519190 0 (D04: the external-job rate is not ratified) NOT RUN In year 10 at 0.10x the miners receive 49,999,999 coins, 6.49% of their year-1 receipts, which covers a minimum miners cost of at most 0.005192 BU; a panel cost above 0.005192 BU puts this cell in the failure region.
43 10 m010 0.10 internal provers R1-pool IMPLEMENTED 1249999994712960 12499999.94712960 767607799.64908969 0.06489872 0.00129797 0 (D04: the external-job rate is not ratified) NOT RUN In year 10 at 0.10x the internal provers receive 12,499,999 coins, 6.49% of their year-1 receipts, which covers a minimum internal provers cost of at most 0.001298 BU; a panel cost above 0.001298 BU puts this cell in the failure region.
44 10 m010 0.10 minimum validators R1-validators IMPLEMENTED 0 0.00000000 0.00000000 0.00000000 0 (D04: the external-job rate is not ratified) BLOCKED In year 10 at 0.10x the protocol routes nothing to minimum validators, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer.
45 10 m010 0.10 maintenance R1-maintenance IMPLEMENTED 0 0.00000000 0.00000000 0.00000000 0 (D04: the external-job rate is not ratified) BLOCKED In year 10 at 0.10x the protocol routes nothing to maintenance, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer.
46 10 m025 0.25 miners R1-miner IMPLEMENTED 4999999978851840 49999999.78851840 3070431198.59635880 0.06489872 0.01297974 0 (D04: the external-job rate is not ratified) NOT RUN In year 10 at 0.25x the miners receive 49,999,999 coins, 6.49% of their year-1 receipts, which covers a minimum miners cost of at most 0.012980 BU; a panel cost above 0.012980 BU puts this cell in the failure region.
47 10 m025 0.25 internal provers R1-pool IMPLEMENTED 1249999994712960 12499999.94712960 767607799.64908969 0.06489872 0.00324494 0 (D04: the external-job rate is not ratified) NOT RUN In year 10 at 0.25x the internal provers receive 12,499,999 coins, 6.49% of their year-1 receipts, which covers a minimum internal provers cost of at most 0.003245 BU; a panel cost above 0.003245 BU puts this cell in the failure region.
48 10 m025 0.25 minimum validators R1-validators IMPLEMENTED 0 0.00000000 0.00000000 0.00000000 0 (D04: the external-job rate is not ratified) BLOCKED In year 10 at 0.25x the protocol routes nothing to minimum validators, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer.
49 10 m025 0.25 maintenance R1-maintenance IMPLEMENTED 0 0.00000000 0.00000000 0.00000000 0 (D04: the external-job rate is not ratified) BLOCKED In year 10 at 0.25x the protocol routes nothing to maintenance, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer.
50 10 m100 1.00 miners R1-miner IMPLEMENTED 4999999978851840 49999999.78851840 3070431198.59635880 0.06489872 0.05191898 0 (D04: the external-job rate is not ratified) NOT RUN In year 10 at 1.00x the miners receive 49,999,999 coins, 6.49% of their year-1 receipts, which covers a minimum miners cost of at most 0.051919 BU; a panel cost above 0.051919 BU puts this cell in the failure region.
51 10 m100 1.00 internal provers R1-pool IMPLEMENTED 1249999994712960 12499999.94712960 767607799.64908969 0.06489872 0.01297974 0 (D04: the external-job rate is not ratified) NOT RUN In year 10 at 1.00x the internal provers receive 12,499,999 coins, 6.49% of their year-1 receipts, which covers a minimum internal provers cost of at most 0.012980 BU; a panel cost above 0.012980 BU puts this cell in the failure region.
52 10 m100 1.00 minimum validators R1-validators IMPLEMENTED 0 0.00000000 0.00000000 0.00000000 0 (D04: the external-job rate is not ratified) BLOCKED In year 10 at 1.00x the protocol routes nothing to minimum validators, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer.
53 10 m100 1.00 maintenance R1-maintenance IMPLEMENTED 0 0.00000000 0.00000000 0.00000000 0 (D04: the external-job rate is not ratified) BLOCKED In year 10 at 1.00x the protocol routes nothing to maintenance, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer.
54 10 m400 4.00 miners R1-miner IMPLEMENTED 4999999978851840 49999999.78851840 3070431198.59635880 0.06489872 0.20767591 0 (D04: the external-job rate is not ratified) NOT RUN In year 10 at 4.00x the miners receive 49,999,999 coins, 6.49% of their year-1 receipts, which covers a minimum miners cost of at most 0.207676 BU; a panel cost above 0.207676 BU puts this cell in the failure region.
55 10 m400 4.00 internal provers R1-pool IMPLEMENTED 1249999994712960 12499999.94712960 767607799.64908969 0.06489872 0.05191898 0 (D04: the external-job rate is not ratified) NOT RUN In year 10 at 4.00x the internal provers receive 12,499,999 coins, 6.49% of their year-1 receipts, which covers a minimum internal provers cost of at most 0.051919 BU; a panel cost above 0.051919 BU puts this cell in the failure region.
56 10 m400 4.00 minimum validators R1-validators IMPLEMENTED 0 0.00000000 0.00000000 0.00000000 0 (D04: the external-job rate is not ratified) BLOCKED In year 10 at 4.00x the protocol routes nothing to minimum validators, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer.
57 10 m400 4.00 maintenance R1-maintenance IMPLEMENTED 0 0.00000000 0.00000000 0.00000000 0 (D04: the external-job rate is not ratified) BLOCKED In year 10 at 4.00x the protocol routes nothing to maintenance, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer.
58 10 m1000 10.00 miners R1-miner IMPLEMENTED 4999999978851840 49999999.78851840 3070431198.59635880 0.06489872 0.51918977 0 (D04: the external-job rate is not ratified) NOT RUN In year 10 at 10.00x the miners receive 49,999,999 coins, 6.49% of their year-1 receipts, which covers a minimum miners cost of at most 0.519190 BU; a panel cost above 0.519190 BU puts this cell in the failure region.
59 10 m1000 10.00 internal provers R1-pool IMPLEMENTED 1249999994712960 12499999.94712960 767607799.64908969 0.06489872 0.12979744 0 (D04: the external-job rate is not ratified) NOT RUN In year 10 at 10.00x the internal provers receive 12,499,999 coins, 6.49% of their year-1 receipts, which covers a minimum internal provers cost of at most 0.129797 BU; a panel cost above 0.129797 BU puts this cell in the failure region.
60 10 m1000 10.00 minimum validators R1-validators IMPLEMENTED 0 0.00000000 0.00000000 0.00000000 0 (D04: the external-job rate is not ratified) BLOCKED In year 10 at 10.00x the protocol routes nothing to minimum validators, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer.
61 10 m1000 10.00 maintenance R1-maintenance IMPLEMENTED 0 0.00000000 0.00000000 0.00000000 0 (D04: the external-job rate is not ratified) BLOCKED In year 10 at 10.00x the protocol routes nothing to maintenance, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer.
62 20 m010 0.10 miners R1-miner IMPLEMENTED 156249983560320 1562499.83560320 3167306197.49234600 0.00202808 0.00016225 0 (D04: the external-job rate is not ratified) NOT RUN In year 20 at 0.10x the miners receive 1,562,499 coins, 0.20% of their year-1 receipts, which covers a minimum miners cost of at most 0.000162 BU; a panel cost above 0.000162 BU puts this cell in the failure region.
63 20 m010 0.10 internal provers R1-pool IMPLEMENTED 39062495890080 390624.95890080 791826549.37308649 0.00202808 0.00004056 0 (D04: the external-job rate is not ratified) NOT RUN In year 20 at 0.10x the internal provers receive 390,624 coins, 0.20% of their year-1 receipts, which covers a minimum internal provers cost of at most 0.000041 BU; a panel cost above 0.000041 BU puts this cell in the failure region.
64 20 m010 0.10 minimum validators R1-validators IMPLEMENTED 0 0.00000000 0.00000000 0.00000000 0 (D04: the external-job rate is not ratified) BLOCKED In year 20 at 0.10x the protocol routes nothing to minimum validators, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer.
65 20 m010 0.10 maintenance R1-maintenance IMPLEMENTED 0 0.00000000 0.00000000 0.00000000 0 (D04: the external-job rate is not ratified) BLOCKED In year 20 at 0.10x the protocol routes nothing to maintenance, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer.
66 20 m025 0.25 miners R1-miner IMPLEMENTED 156249983560320 1562499.83560320 3167306197.49234600 0.00202808 0.00040562 0 (D04: the external-job rate is not ratified) NOT RUN In year 20 at 0.25x the miners receive 1,562,499 coins, 0.20% of their year-1 receipts, which covers a minimum miners cost of at most 0.000406 BU; a panel cost above 0.000406 BU puts this cell in the failure region.
67 20 m025 0.25 internal provers R1-pool IMPLEMENTED 39062495890080 390624.95890080 791826549.37308649 0.00202808 0.00010140 0 (D04: the external-job rate is not ratified) NOT RUN In year 20 at 0.25x the internal provers receive 390,624 coins, 0.20% of their year-1 receipts, which covers a minimum internal provers cost of at most 0.000101 BU; a panel cost above 0.000101 BU puts this cell in the failure region.
68 20 m025 0.25 minimum validators R1-validators IMPLEMENTED 0 0.00000000 0.00000000 0.00000000 0 (D04: the external-job rate is not ratified) BLOCKED In year 20 at 0.25x the protocol routes nothing to minimum validators, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer.
69 20 m025 0.25 maintenance R1-maintenance IMPLEMENTED 0 0.00000000 0.00000000 0.00000000 0 (D04: the external-job rate is not ratified) BLOCKED In year 20 at 0.25x the protocol routes nothing to maintenance, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer.
70 20 m100 1.00 miners R1-miner IMPLEMENTED 156249983560320 1562499.83560320 3167306197.49234600 0.00202808 0.00162247 0 (D04: the external-job rate is not ratified) NOT RUN In year 20 at 1.00x the miners receive 1,562,499 coins, 0.20% of their year-1 receipts, which covers a minimum miners cost of at most 0.001622 BU; a panel cost above 0.001622 BU puts this cell in the failure region.
71 20 m100 1.00 internal provers R1-pool IMPLEMENTED 39062495890080 390624.95890080 791826549.37308649 0.00202808 0.00040562 0 (D04: the external-job rate is not ratified) NOT RUN In year 20 at 1.00x the internal provers receive 390,624 coins, 0.20% of their year-1 receipts, which covers a minimum internal provers cost of at most 0.000406 BU; a panel cost above 0.000406 BU puts this cell in the failure region.
72 20 m100 1.00 minimum validators R1-validators IMPLEMENTED 0 0.00000000 0.00000000 0.00000000 0 (D04: the external-job rate is not ratified) BLOCKED In year 20 at 1.00x the protocol routes nothing to minimum validators, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer.
73 20 m100 1.00 maintenance R1-maintenance IMPLEMENTED 0 0.00000000 0.00000000 0.00000000 0 (D04: the external-job rate is not ratified) BLOCKED In year 20 at 1.00x the protocol routes nothing to maintenance, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer.
74 20 m400 4.00 miners R1-miner IMPLEMENTED 156249983560320 1562499.83560320 3167306197.49234600 0.00202808 0.00648987 0 (D04: the external-job rate is not ratified) NOT RUN In year 20 at 4.00x the miners receive 1,562,499 coins, 0.20% of their year-1 receipts, which covers a minimum miners cost of at most 0.006490 BU; a panel cost above 0.006490 BU puts this cell in the failure region.
75 20 m400 4.00 internal provers R1-pool IMPLEMENTED 39062495890080 390624.95890080 791826549.37308649 0.00202808 0.00162247 0 (D04: the external-job rate is not ratified) NOT RUN In year 20 at 4.00x the internal provers receive 390,624 coins, 0.20% of their year-1 receipts, which covers a minimum internal provers cost of at most 0.001622 BU; a panel cost above 0.001622 BU puts this cell in the failure region.
76 20 m400 4.00 minimum validators R1-validators IMPLEMENTED 0 0.00000000 0.00000000 0.00000000 0 (D04: the external-job rate is not ratified) BLOCKED In year 20 at 4.00x the protocol routes nothing to minimum validators, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer.
77 20 m400 4.00 maintenance R1-maintenance IMPLEMENTED 0 0.00000000 0.00000000 0.00000000 0 (D04: the external-job rate is not ratified) BLOCKED In year 20 at 4.00x the protocol routes nothing to maintenance, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer.
78 20 m1000 10.00 miners R1-miner IMPLEMENTED 156249983560320 1562499.83560320 3167306197.49234600 0.00202808 0.01622468 0 (D04: the external-job rate is not ratified) NOT RUN In year 20 at 10.00x the miners receive 1,562,499 coins, 0.20% of their year-1 receipts, which covers a minimum miners cost of at most 0.016225 BU; a panel cost above 0.016225 BU puts this cell in the failure region.
79 20 m1000 10.00 internal provers R1-pool IMPLEMENTED 39062495890080 390624.95890080 791826549.37308649 0.00202808 0.00405617 0 (D04: the external-job rate is not ratified) NOT RUN In year 20 at 10.00x the internal provers receive 390,624 coins, 0.20% of their year-1 receipts, which covers a minimum internal provers cost of at most 0.004056 BU; a panel cost above 0.004056 BU puts this cell in the failure region.
80 20 m1000 10.00 minimum validators R1-validators IMPLEMENTED 0 0.00000000 0.00000000 0.00000000 0 (D04: the external-job rate is not ratified) BLOCKED In year 20 at 10.00x the protocol routes nothing to minimum validators, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer.
81 20 m1000 10.00 maintenance R1-maintenance IMPLEMENTED 0 0.00000000 0.00000000 0.00000000 0 (D04: the external-job rate is not ratified) BLOCKED In year 20 at 10.00x the protocol routes nothing to maintenance, so any positive minimum cost for the role is in the failure region until D03 names its recurring payer.

21
docs/plans/igneum-2.0-master/token-value/phase0/tv-04/emission.csv Normal file
View file

@ -0,0 +1,21 @@
year,emission_base_units,emission_coins,cumulative_coins,cumulative_fraction_of_cap,miners_coins,internal_provers_coins,fraction_of_year1_emission
1,96303899999163249,963038999.99163249,963038999.99163249,0.24075975,770431199.99330600,192607799.99832649,1.00000000
2,99999999987285600,999999999.87285600,1963038999.86448849,0.49075975,799999999.89828480,199999999.97457120,1.03837955
3,49999999977864000,499999999.77864000,2463038999.64312849,0.61575975,399999999.82291200,99999999.95572800,0.51918977
4,49999999977864000,499999999.77864000,2963038999.42176849,0.74075975,399999999.82291200,99999999.95572800,0.51918977
5,24999999988932000,249999999.88932000,3213038999.31108849,0.80325975,199999999.91145600,49999999.97786400,0.25959489
6,24999999988932000,249999999.88932000,3463038999.20040849,0.86575975,199999999.91145600,49999999.97786400,0.25959489
7,12499999978687200,124999999.78687200,3588038998.98728049,0.89700975,99999999.82949760,24999999.95737440,0.12979744
8,12499999978687200,124999999.78687200,3713038998.77415249,0.92825975,99999999.82949760,24999999.95737440,0.12979744
9,6249999973564800,62499999.73564800,3775538998.50980049,0.94388475,49999999.78851840,12499999.94712960,0.06489872
10,6249999973564800,62499999.73564800,3838038998.24544849,0.95950975,49999999.78851840,12499999.94712960,0.06489872
11,3124999986782400,31249999.86782400,3869288998.11327249,0.96732225,24999999.89425920,6249999.97356480,0.03244936
12,3124999986782400,31249999.86782400,3900538997.98109649,0.97513475,24999999.89425920,6249999.97356480,0.03244936
13,1562499993391200,15624999.93391200,3916163997.91500849,0.97904100,12499999.94712960,3124999.98678240,0.01622468
14,1562499993391200,15624999.93391200,3931788997.84892049,0.98294725,12499999.94712960,3124999.98678240,0.01622468
15,781249980916800,7812499.80916800,3939601497.65808849,0.98490037,6249999.84733440,1562499.96183360,0.00811234
16,781249980916800,7812499.80916800,3947413997.46725649,0.98685350,6249999.84733440,1562499.96183360,0.00811234
17,390624990458400,3906249.90458400,3951320247.37184049,0.98783006,3124999.92366720,781249.98091680,0.00405617
18,390624990458400,3906249.90458400,3955226497.27642449,0.98880662,3124999.92366720,781249.98091680,0.00405617
19,195312479450400,1953124.79450400,3957179622.07092849,0.98929491,1562499.83560320,390624.95890080,0.00202808
20,195312479450400,1953124.79450400,3959132746.86543249,0.98978319,1562499.83560320,390624.95890080,0.00202808
1 year emission_base_units emission_coins cumulative_coins cumulative_fraction_of_cap miners_coins internal_provers_coins fraction_of_year1_emission
2 1 96303899999163249 963038999.99163249 963038999.99163249 0.24075975 770431199.99330600 192607799.99832649 1.00000000
3 2 99999999987285600 999999999.87285600 1963038999.86448849 0.49075975 799999999.89828480 199999999.97457120 1.03837955
4 3 49999999977864000 499999999.77864000 2463038999.64312849 0.61575975 399999999.82291200 99999999.95572800 0.51918977
5 4 49999999977864000 499999999.77864000 2963038999.42176849 0.74075975 399999999.82291200 99999999.95572800 0.51918977
6 5 24999999988932000 249999999.88932000 3213038999.31108849 0.80325975 199999999.91145600 49999999.97786400 0.25959489
7 6 24999999988932000 249999999.88932000 3463038999.20040849 0.86575975 199999999.91145600 49999999.97786400 0.25959489
8 7 12499999978687200 124999999.78687200 3588038998.98728049 0.89700975 99999999.82949760 24999999.95737440 0.12979744
9 8 12499999978687200 124999999.78687200 3713038998.77415249 0.92825975 99999999.82949760 24999999.95737440 0.12979744
10 9 6249999973564800 62499999.73564800 3775538998.50980049 0.94388475 49999999.78851840 12499999.94712960 0.06489872
11 10 6249999973564800 62499999.73564800 3838038998.24544849 0.95950975 49999999.78851840 12499999.94712960 0.06489872
12 11 3124999986782400 31249999.86782400 3869288998.11327249 0.96732225 24999999.89425920 6249999.97356480 0.03244936
13 12 3124999986782400 31249999.86782400 3900538997.98109649 0.97513475 24999999.89425920 6249999.97356480 0.03244936
14 13 1562499993391200 15624999.93391200 3916163997.91500849 0.97904100 12499999.94712960 3124999.98678240 0.01622468
15 14 1562499993391200 15624999.93391200 3931788997.84892049 0.98294725 12499999.94712960 3124999.98678240 0.01622468
16 15 781249980916800 7812499.80916800 3939601497.65808849 0.98490037 6249999.84733440 1562499.96183360 0.00811234
17 16 781249980916800 7812499.80916800 3947413997.46725649 0.98685350 6249999.84733440 1562499.96183360 0.00811234
18 17 390624990458400 3906249.90458400 3951320247.37184049 0.98783006 3124999.92366720 781249.98091680 0.00405617
19 18 390624990458400 3906249.90458400 3955226497.27642449 0.98880662 3124999.92366720 781249.98091680 0.00405617
20 19 195312479450400 1953124.79450400 3957179622.07092849 0.98929491 1562499.83560320 390624.95890080 0.00202808
21 20 195312479450400 1953124.79450400 3959132746.86543249 0.98978319 1562499.83560320 390624.95890080 0.00202808

21
docs/plans/igneum-2.0-master/token-value/phase0/tv-04/fee-replacement.csv Normal file
View file

@ -0,0 +1,21 @@
year,miner_gap_to_year1_coins,tips_needed_per_year_coins_floor,tips_needed_as_fraction_of_baseline,internal_provers
1,0.00000000,0.00000000,0.00000000,no tip route to provers in the node's code (BLOCKED row B-01)
2,0.00000000,0.00000000,0.00000000,no tip route to provers in the node's code (BLOCKED row B-01)
3,370431200.17039400,463039000.21299250,0.48081023,no tip route to provers in the node's code (BLOCKED row B-01)
4,370431200.17039400,463039000.21299250,0.48081023,no tip route to provers in the node's code (BLOCKED row B-01)
5,570431200.08185000,713039000.10231250,0.74040511,no tip route to provers in the node's code (BLOCKED row B-01)
6,570431200.08185000,713039000.10231250,0.74040511,no tip route to provers in the node's code (BLOCKED row B-01)
7,670431200.16380840,838039000.20476050,0.87020256,no tip route to provers in the node's code (BLOCKED row B-01)
8,670431200.16380840,838039000.20476050,0.87020256,no tip route to provers in the node's code (BLOCKED row B-01)
9,720431200.20478760,900539000.25598450,0.93510128,no tip route to provers in the node's code (BLOCKED row B-01)
10,720431200.20478760,900539000.25598450,0.93510128,no tip route to provers in the node's code (BLOCKED row B-01)
11,745431200.09904680,931789000.12380850,0.96755064,no tip route to provers in the node's code (BLOCKED row B-01)
12,745431200.09904680,931789000.12380850,0.96755064,no tip route to provers in the node's code (BLOCKED row B-01)
13,757931200.04617640,947414000.05772050,0.98377532,no tip route to provers in the node's code (BLOCKED row B-01)
14,757931200.04617640,947414000.05772050,0.98377532,no tip route to provers in the node's code (BLOCKED row B-01)
15,764181200.14597160,955226500.18246450,0.99188766,no tip route to provers in the node's code (BLOCKED row B-01)
16,764181200.14597160,955226500.18246450,0.99188766,no tip route to provers in the node's code (BLOCKED row B-01)
17,767306200.06963880,959132750.08704850,0.99594383,no tip route to provers in the node's code (BLOCKED row B-01)
18,767306200.06963880,959132750.08704850,0.99594383,no tip route to provers in the node's code (BLOCKED row B-01)
19,768868700.15770280,961085875.19712850,0.99797192,no tip route to provers in the node's code (BLOCKED row B-01)
20,768868700.15770280,961085875.19712850,0.99797192,no tip route to provers in the node's code (BLOCKED row B-01)
1 year miner_gap_to_year1_coins tips_needed_per_year_coins_floor tips_needed_as_fraction_of_baseline internal_provers
2 1 0.00000000 0.00000000 0.00000000 no tip route to provers in the node's code (BLOCKED row B-01)
3 2 0.00000000 0.00000000 0.00000000 no tip route to provers in the node's code (BLOCKED row B-01)
4 3 370431200.17039400 463039000.21299250 0.48081023 no tip route to provers in the node's code (BLOCKED row B-01)
5 4 370431200.17039400 463039000.21299250 0.48081023 no tip route to provers in the node's code (BLOCKED row B-01)
6 5 570431200.08185000 713039000.10231250 0.74040511 no tip route to provers in the node's code (BLOCKED row B-01)
7 6 570431200.08185000 713039000.10231250 0.74040511 no tip route to provers in the node's code (BLOCKED row B-01)
8 7 670431200.16380840 838039000.20476050 0.87020256 no tip route to provers in the node's code (BLOCKED row B-01)
9 8 670431200.16380840 838039000.20476050 0.87020256 no tip route to provers in the node's code (BLOCKED row B-01)
10 9 720431200.20478760 900539000.25598450 0.93510128 no tip route to provers in the node's code (BLOCKED row B-01)
11 10 720431200.20478760 900539000.25598450 0.93510128 no tip route to provers in the node's code (BLOCKED row B-01)
12 11 745431200.09904680 931789000.12380850 0.96755064 no tip route to provers in the node's code (BLOCKED row B-01)
13 12 745431200.09904680 931789000.12380850 0.96755064 no tip route to provers in the node's code (BLOCKED row B-01)
14 13 757931200.04617640 947414000.05772050 0.98377532 no tip route to provers in the node's code (BLOCKED row B-01)
15 14 757931200.04617640 947414000.05772050 0.98377532 no tip route to provers in the node's code (BLOCKED row B-01)
16 15 764181200.14597160 955226500.18246450 0.99188766 no tip route to provers in the node's code (BLOCKED row B-01)
17 16 764181200.14597160 955226500.18246450 0.99188766 no tip route to provers in the node's code (BLOCKED row B-01)
18 17 767306200.06963880 959132750.08704850 0.99594383 no tip route to provers in the node's code (BLOCKED row B-01)
19 18 767306200.06963880 959132750.08704850 0.99594383 no tip route to provers in the node's code (BLOCKED row B-01)
20 19 768868700.15770280 961085875.19712850 0.99797192 no tip route to provers in the node's code (BLOCKED row B-01)
21 20 768868700.15770280 961085875.19712850 0.99797192 no tip route to provers in the node's code (BLOCKED row B-01)

29
docs/plans/igneum-2.0-master/token-value/phase0/tv-04/parameters.csv Normal file
View file

@ -0,0 +1,29 @@
id,parameter,value,unit,status,source
S-rate,launch rate,3168808781,base units per DAA second (8 decimals),IMPLEMENTED,"node emission.rs lines 32 and 103 to 110 (EmissionSchedule::CURRENT, tail Cap); params.rs line 1858 (MAINNET_PARAMS carries CURRENT, rescaled to 18 decimals, the same coins); igneum.rs lines 33 to 41 (the 4,000,000,000 cap)"
S-ramp,launch ramp,2592000 s from 10%,DAA seconds,IMPLEMENTED,"node emission.rs lines 32 and 103 to 110 (EmissionSchedule::CURRENT, tail Cap); params.rs line 1858 (MAINNET_PARAMS carries CURRENT, rescaled to 18 decimals, the same coins); igneum.rs lines 33 to 41 (the 4,000,000,000 cap)"
S-step,decay step,"63115200 s, rate divided by 2",DAA seconds,IMPLEMENTED,"node emission.rs lines 32 and 103 to 110 (EmissionSchedule::CURRENT, tail Cap); params.rs line 1858 (MAINNET_PARAMS carries CURRENT, rescaled to 18 decimals, the same coins); igneum.rs lines 33 to 41 (the 4,000,000,000 cap)"
S-tail,tail,cap,,RATIFIED (D01) and IMPLEMENTED,"node emission.rs lines 32 and 103 to 110 (EmissionSchedule::CURRENT, tail Cap); params.rs line 1858 (MAINNET_PARAMS carries CURRENT, rescaled to 18 decimals, the same coins); igneum.rs lines 33 to 41 (the 4,000,000,000 cap); D01 capped issuance, subject to TV-04; D02 the schedule pending evidence, so every figure here is conditional on this schedule"
S-cap,cap,4000000000,coins,RATIFIED (D01) and IMPLEMENTED,"node emission.rs lines 32 and 103 to 110 (EmissionSchedule::CURRENT, tail Cap); params.rs line 1858 (MAINNET_PARAMS carries CURRENT, rescaled to 18 decimals, the same coins); igneum.rs lines 33 to 41 (the 4,000,000,000 cap)"
R1-miner,"emission, producer share",80%,to miners,IMPLEMENTED,"igneum.rs lines 43 to 44 and 123 to 126; the litepaper's routing table, row 1"
R1-pool,"emission, proving pool share",20%,to internal provers,IMPLEMENTED,"igneum.rs lines 43 to 44 and 85 to 88; the litepaper's routing table, row 1"
R1-validators,emission to minimum validators,0%,to minimum validators,IMPLEMENTED,"no such output in the coinbase (igneum.rs lines 90 to 121); the litepaper: 0% to treasury, foundation, team or stake"
R1-maintenance,emission to maintenance,0%,to maintenance,IMPLEMENTED,"no emission treasury (igneum.rs line 5); the litepaper: no fund, no foundation, no fee to the team"
R2-base,"base fee, both gas dimensions",100%,to burn,IMPLEMENTED,fees.rs lines 131 to 132 (burned in full); executor.rs lines 318 to 329 (the execution base part and the proving charge burned)
R3-tip-miner,"priority fee (tip), beneficiary share",80%,to miners,IMPLEMENTED,igneum/exec config.rs lines 75 to 76 (80% to the including miner); executor.rs line 729 (the beneficiary credited the miner tip)
R3-tip-dev,"priority fee (tip), developer share",20%,to developers (not a security role),IMPLEMENTED,igneum/exec config.rs lines 75 to 76; pgas.rs lines 287 to 310
R3-tip-provers,"priority fee (tip), provers' part",0%,to internal provers,BLOCKED,"the node's code pays the 80% tip share to the beneficiary alone (executor.rs lines 318 to 329, line 729); the litepaper's routing table, row 3, reads '80% the block's miner and provers' with no split. The master, p. 36: resolve the discrepancy between the fee table and prose before modelling security income."
R4-external-launch,external job at launch (customer's chain),not used (zero),to the delivering miner (outside the native ledger),UNRATIFIED,"the litepaper's routing table, row 4 (Designed); D04: the external-job rate is not ratified"
R5-external-bridge,external job after the proof bridge,not used (zero),to internal provers (the delivering provers),UNRATIFIED,"the litepaper's routing table, row 5 (Designed, phase two; 90% to provers, 10% burned as published); D04: the external-job rate is not ratified, so the published 90/10 is a parameter here and the tables carry zero external jobs"
R6-devfee,the official miner client's optional dev fee,not used (zero),"to the project (operator income, outside the protocol)",UNRATIFIED,"the litepaper's routing table, row 6: never added to rows 1 to 5; switchable by every miner, so not a committed resource (the master, p. 68, P13)"
m010,scenario multiple,0.10,"of the baseline's purchasing power, constant over the horizon",RATIFIED (TV-04 method words),"0.1x: the minus-90-percent case, the 1x path at one tenth"
m025,scenario multiple,0.25,"of the baseline's purchasing power, constant over the horizon",RATIFIED (TV-04 method words),0.25x
m100,scenario multiple,1.00,"of the baseline's purchasing power, constant over the horizon",RATIFIED (TV-04 method words),1x (the baseline path)
m400,scenario multiple,4.00,"of the baseline's purchasing power, constant over the horizon",RATIFIED (TV-04 method words),4x
m1000,scenario multiple,10.00,"of the baseline's purchasing power, constant over the horizon",RATIFIED (TV-04 method words),10x
X-ext,external jobs per year,0,jobs,UNRATIFIED (D04),"TV-04 method: zero external jobs; the rate is a parameter, never a result"
C-miners,minimum required miner cost per year,,"BU (one BU = the purchasing power of the baseline, the whole year-1 subsidy, on the 1x path)",PANEL,"the master, p. 68, P12: its electricity, productive-life and development grids are the panel's inputs; p. 88 to 89, ECO-01 to ECO-06 for the cost reconciliation"
C-provers,minimum required internal proving cost per year,,BU,PANEL,"the master, p. 36 (the historical shard timings, not reproduced for this edition) and p. 89, ECO-06"
C-validators,minimum required validator cost per year,,BU,PANEL,"the volume, p. 15 (minimum-node resources) and TV-10; no figure in the volume or the master"
C-maintenance,minimum required maintenance cost per year,,BU,PANEL,"the master, p. 68, P13 (at least 12 months of committed resources); the volume, p. 31; no figure in the volume or the master"
K-class,which scenario-year cells are approved viable and which are collapse cases,,"a declaration per cell, before results",PANEL,"the master, p. 68, P12: declare the viable worlds before running; collapse worlds stay as safety and exit tests"
T-tip,native tip volume per year (fee level and its volatility),,coins a year,PANEL,"the volume, p. 14 (fee timing as well as amount); the tables carry zero, the fee-replacement table gives the volume each year would need"
1 id parameter value unit status source
2 S-rate launch rate 3168808781 base units per DAA second (8 decimals) IMPLEMENTED node emission.rs lines 32 and 103 to 110 (EmissionSchedule::CURRENT, tail Cap); params.rs line 1858 (MAINNET_PARAMS carries CURRENT, rescaled to 18 decimals, the same coins); igneum.rs lines 33 to 41 (the 4,000,000,000 cap)
3 S-ramp launch ramp 2592000 s from 10% DAA seconds IMPLEMENTED node emission.rs lines 32 and 103 to 110 (EmissionSchedule::CURRENT, tail Cap); params.rs line 1858 (MAINNET_PARAMS carries CURRENT, rescaled to 18 decimals, the same coins); igneum.rs lines 33 to 41 (the 4,000,000,000 cap)
4 S-step decay step 63115200 s, rate divided by 2 DAA seconds IMPLEMENTED node emission.rs lines 32 and 103 to 110 (EmissionSchedule::CURRENT, tail Cap); params.rs line 1858 (MAINNET_PARAMS carries CURRENT, rescaled to 18 decimals, the same coins); igneum.rs lines 33 to 41 (the 4,000,000,000 cap)
5 S-tail tail cap RATIFIED (D01) and IMPLEMENTED node emission.rs lines 32 and 103 to 110 (EmissionSchedule::CURRENT, tail Cap); params.rs line 1858 (MAINNET_PARAMS carries CURRENT, rescaled to 18 decimals, the same coins); igneum.rs lines 33 to 41 (the 4,000,000,000 cap); D01 capped issuance, subject to TV-04; D02 the schedule pending evidence, so every figure here is conditional on this schedule
6 S-cap cap 4000000000 coins RATIFIED (D01) and IMPLEMENTED node emission.rs lines 32 and 103 to 110 (EmissionSchedule::CURRENT, tail Cap); params.rs line 1858 (MAINNET_PARAMS carries CURRENT, rescaled to 18 decimals, the same coins); igneum.rs lines 33 to 41 (the 4,000,000,000 cap)
7 R1-miner emission, producer share 80% to miners IMPLEMENTED igneum.rs lines 43 to 44 and 123 to 126; the litepaper's routing table, row 1
8 R1-pool emission, proving pool share 20% to internal provers IMPLEMENTED igneum.rs lines 43 to 44 and 85 to 88; the litepaper's routing table, row 1
9 R1-validators emission to minimum validators 0% to minimum validators IMPLEMENTED no such output in the coinbase (igneum.rs lines 90 to 121); the litepaper: 0% to treasury, foundation, team or stake
10 R1-maintenance emission to maintenance 0% to maintenance IMPLEMENTED no emission treasury (igneum.rs line 5); the litepaper: no fund, no foundation, no fee to the team
11 R2-base base fee, both gas dimensions 100% to burn IMPLEMENTED fees.rs lines 131 to 132 (burned in full); executor.rs lines 318 to 329 (the execution base part and the proving charge burned)
12 R3-tip-miner priority fee (tip), beneficiary share 80% to miners IMPLEMENTED igneum/exec config.rs lines 75 to 76 (80% to the including miner); executor.rs line 729 (the beneficiary credited the miner tip)
13 R3-tip-dev priority fee (tip), developer share 20% to developers (not a security role) IMPLEMENTED igneum/exec config.rs lines 75 to 76; pgas.rs lines 287 to 310
14 R3-tip-provers priority fee (tip), provers' part 0% to internal provers BLOCKED the node's code pays the 80% tip share to the beneficiary alone (executor.rs lines 318 to 329, line 729); the litepaper's routing table, row 3, reads '80% the block's miner and provers' with no split. The master, p. 36: resolve the discrepancy between the fee table and prose before modelling security income.
15 R4-external-launch external job at launch (customer's chain) not used (zero) to the delivering miner (outside the native ledger) UNRATIFIED the litepaper's routing table, row 4 (Designed); D04: the external-job rate is not ratified
16 R5-external-bridge external job after the proof bridge not used (zero) to internal provers (the delivering provers) UNRATIFIED the litepaper's routing table, row 5 (Designed, phase two; 90% to provers, 10% burned as published); D04: the external-job rate is not ratified, so the published 90/10 is a parameter here and the tables carry zero external jobs
17 R6-devfee the official miner client's optional dev fee not used (zero) to the project (operator income, outside the protocol) UNRATIFIED the litepaper's routing table, row 6: never added to rows 1 to 5; switchable by every miner, so not a committed resource (the master, p. 68, P13)
18 m010 scenario multiple 0.10 of the baseline's purchasing power, constant over the horizon RATIFIED (TV-04 method words) 0.1x: the minus-90-percent case, the 1x path at one tenth
19 m025 scenario multiple 0.25 of the baseline's purchasing power, constant over the horizon RATIFIED (TV-04 method words) 0.25x
20 m100 scenario multiple 1.00 of the baseline's purchasing power, constant over the horizon RATIFIED (TV-04 method words) 1x (the baseline path)
21 m400 scenario multiple 4.00 of the baseline's purchasing power, constant over the horizon RATIFIED (TV-04 method words) 4x
22 m1000 scenario multiple 10.00 of the baseline's purchasing power, constant over the horizon RATIFIED (TV-04 method words) 10x
23 X-ext external jobs per year 0 jobs UNRATIFIED (D04) TV-04 method: zero external jobs; the rate is a parameter, never a result
24 C-miners minimum required miner cost per year BU (one BU = the purchasing power of the baseline, the whole year-1 subsidy, on the 1x path) PANEL the master, p. 68, P12: its electricity, productive-life and development grids are the panel's inputs; p. 88 to 89, ECO-01 to ECO-06 for the cost reconciliation
25 C-provers minimum required internal proving cost per year BU PANEL the master, p. 36 (the historical shard timings, not reproduced for this edition) and p. 89, ECO-06
26 C-validators minimum required validator cost per year BU PANEL the volume, p. 15 (minimum-node resources) and TV-10; no figure in the volume or the master
27 C-maintenance minimum required maintenance cost per year BU PANEL the master, p. 68, P13 (at least 12 months of committed resources); the volume, p. 31; no figure in the volume or the master
28 K-class which scenario-year cells are approved viable and which are collapse cases a declaration per cell, before results PANEL the master, p. 68, P12: declare the viable worlds before running; collapse worlds stay as safety and exit tests
29 T-tip native tip volume per year (fee level and its volatility) coins a year PANEL the volume, p. 14 (fee timing as well as amount); the tables carry zero, the fee-replacement table gives the volume each year would need

27
docs/plans/igneum-2.0-master/token-value/phase0/tv-04/registry-batch-tv-04.json Normal file
View file

@ -0,0 +1,27 @@
{
"run_id": "tv-04-20261009-01",
"manifest_sha": "d59a9088",
"method": "model",
"evidence_dir": "docs/plans/igneum-2.0-master/token-value/phase0/tv-04",
"release_identity": {
"commit": "d59a9088 (the generator and inputs this model ran from; branch tv-04-security-budget)",
"lockfile": "",
"binary": "",
"network_object": "none: a model of the ratified rules, no chain state read or written",
"activation": "none (Phase 0 lands documents and tests only)",
"profile_hashes": "the node's release-2.0.2-node a284380b emission.rs 07b39c41..., igneum.rs 6c859d42..., params.rs 0c07ddcf..., fees.rs 5e7a319c..., exec config.rs fdc4ba56..., executor.rs ff12ef5f...; rules-and-gates.json 10ce3073..."
},
"claim_impact": "none: the security budget as a reproducible cash-flow model of the ratified rules (D01, D03, D04 with the external-job rate unratified, D05, VR-05); every verdict NOT RUN until the independent panel fills the role costs and declares the viable and collapse cells; no price figure anywhere",
"reviewer": "",
"note": "Known-failed first: the tests ran red on build-9 before the generator existed (ea14c332, exit 1); green 9 of 9 and every one of 5 mutants caught on d59a9088; two generations byte-identical. BLOCKED rows B-01 to B-09 in blocked.csv (the provers' tip share, paid against assigned, the validators' payer, committed maintenance, the panel cells, the tail-vote clause, the testnet tail, the schedule, collapse-case safe behaviour).",
"cells": [
{
"cell": "model:tv-04",
"cases": ["TV-04"],
"status": "NOT RUN",
"method": "model",
"evidence": "docs/plans/igneum-2.0-master/token-value/phase0/tv-04/README.md; docs/plans/igneum-2.0-master/token-value/phase0/tv-04/budget.csv; docs/plans/igneum-2.0-master/token-value/phase0/tv-04/emission.csv; docs/plans/igneum-2.0-master/token-value/phase0/tv-04/fee-replacement.csv; docs/plans/igneum-2.0-master/token-value/phase0/tv-04/parameters.csv; docs/plans/igneum-2.0-master/token-value/phase0/tv-04/blocked.csv; docs/plans/igneum-2.0-master/token-value/phase0/tv-04/RUNS.md; tools/token-value/tv-04/tv04_budget.py; tools/token-value/tv-04/test_tv04.py; tools/token-value/tv-04/inputs.json; build-9:/home/build/tv-04/runs/ea14c332-red/run.log; build-9:/home/build/tv-04/runs/d59a9088-green/run.log; build-9:/home/build/tv-04/runs/d59a9088-known-failed/run.log; build-9:/home/build/tv-04/runs/d59a9088-generate/run.log",
"note": "NOT RUN: the model computed (the miners' and internal provers' budgets fall to 25.96, 6.49 and 0.20 percent of year 1 at years 5, 10 and 20; validators and maintenance receive nothing from the protocol); the panel's role costs and scenario classes are empty, so no coverage cell is decided"
}
]
}