igneum/docs/spec
igneum-labs 09900b9432 Review round 3: spec rules for F15, F17, F14, P11, E9, E10, G9; ledger and fixes rows
The four public sentences (F18, P13, E11, L7 in site/litepaper.html and site/index.html) were swept into the concurrent commit cd604db; this commit carries the rest.

Spec 02: finality depth (43,200 DAA s, 12 h of median time) named as the reorg bound, merge depth as a merge limit only, simnet reorg test for gate 2; emission follows the code (365.25-day year, 63,115,200-s halving, 31.688 IGN per DAA second, reds inside the DAA window paid to the merger, E paid per block so coins are blocks times E).
Spec 03: W2 and Q1 denominated in past-median time, weight as a share of each 60-s bucket; W6 keys are free, weight is the only Sybil-resistant quantity; 3.8 and 3.9 point exchanges at the finality depth.
Spec 06: O-3.14, the finality simulation with the DAA in the loop under a pulsed rental (gate 3).
Spec 07: shard sortition draws by weight (blue blocks drawn uniformly from the window); proof-record validity is relative to the carrying block's own selected-parent chain; 1-key-versus-1,000-keys test.
Spec 08: release-key chain, rotation signed by the current key, revocation signed by the previous key, both published in a block; policy before the client ships.
Ledger: status lines for F18, P13, E11, L7, P11, F17, F14, M14, F15, E9, E10, G9; P8 cross-reference. Fixes: section 2.2 rows 75 to 88, with M15, M20 and P12 marked code, owner consensus engineer.

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-03 20:44:40 +00:00
..
00-overview.md Spec: close F2, F3, P5, P8, C9, E7, G7, X6 by rule or decision (3 October 2026) 2026-10-03 18:58:39 +00:00
01-lottery-hash.md Spec 0.1: lottery hash, consensus delta, finality v2 with the quorum floor, seeds and VDF, fees, open items 2026-10-03 17:45:08 +00:00
02-consensus.md Review round 3: spec rules for F15, F17, F14, P11, E9, E10, G9; ledger and fixes rows 2026-10-03 20:44:40 +00:00
03-finality.md Review round 3: spec rules for F15, F17, F14, P11, E9, E10, G9; ledger and fixes rows 2026-10-03 20:44:40 +00:00
04-seeds-and-vdf.md Spec 0.1: lottery hash, consensus delta, finality v2 with the quorum floor, seeds and VDF, fees, open items 2026-10-03 17:45:08 +00:00
05-fees-and-economics.md Spec: close F2, F3, P5, P8, C9, E7, G7, X6 by rule or decision (3 October 2026) 2026-10-03 18:58:39 +00:00
06-open-items.md Review round 3: spec rules for F15, F17, F14, P11, E9, E10, G9; ledger and fixes rows 2026-10-03 20:44:40 +00:00
07-execution.md Review round 3: spec rules for F15, F17, F14, P11, E9, E10, G9; ledger and fixes rows 2026-10-03 20:44:40 +00:00
08-client-security.md Review round 3: spec rules for F15, F17, F14, P11, E9, E10, G9; ledger and fixes rows 2026-10-03 20:44:40 +00:00
README.md Spec: close F2, F3, P5, P8, C9, E7, G7, X6 by rule or decision (3 October 2026) 2026-10-03 18:58:39 +00:00

Igneum protocol specification, version 0.1

3 October 2026. Written so that a stranger can reimplement a node, a miner and a verifier and reach the same bits. Conventions, number labels (Measured, Implemented, Designed, Target) and the break-submission route are in section 0.

Section File Status One line
0 00-overview.md Designed Scope, normative language, what is implemented and what is designed, versioning, how to submit a break
1 01-lottery-hash.md Measured (construction, vectors on three GPU vendors and two CPU references); Designed (header binding, day key, growth, era schedule); Open where marked Seed words, generator, memory-hard cache and items, 32-lane unit and the wave64 rule, CPU verifier, epoch, day and era schedules, test vectors, determinism, conformance, the prototype-value list
2 02-consensus.md Designed The ordering layer as a delta on rusty-kaspa: 1 BPS and the steps, k, merge depth, DAA, header fields, emission, duplicate inclusion
3 03-finality.md Designed (simulated without a DAG, not implemented, not reviewed) Weight W1 to W5, checkpoints C1 to C5, quorum Q1 to Q4 with the 56.7% floor and the simulation that justifies it, the eclipse case closed by the floor (3.3.2), participation from votes in blocks (Q2, 3.4.1), sortition, fork choice, equivocation, residual risks, the first month, exchange guidance
4 04-seeds-and-vdf.md Measured (primitive, one machine); Designed (pipeline); Open (fallback) Class-group Wesolowski VDF, T from a genesis reference rate, 20-minute and 2-hour leads, proof format, who evaluates, fallback options
5 05-fees-and-economics.md Designed Base fee burned, priority fee 80/20 with per-frame attribution and the factory rule, proving pool, job market 90/10, no development fund, parameter signalling at 60%, upgrades at 90%, no stake, no treasury
6 06-open-items.md Open 60 items, each with the experiment or decision that closes it and its gate; O-2.8 closed and O-3.3, O-3.7, O-5.1, O-5.2 and O-5.6 narrowed on 3 October 2026
7 07-execution.md Designed (normative extract of docs/design/execution-layer.md; nothing implemented or measured) EVM semantics on the DAG (number, timestamp and its monotonicity rule, blockhash, PREVRANDAO from the epoch VDF, coinbase, gas limit, chain id, the quoted gas price), shard assignment by sortition (8 provers, 10-s window, then open, no bond), bridges (none official, no bridged stablecoins at genesis, proof bridge with the consensus proof in phase two)
8 08-client-security.md Decided (3 October 2026; nothing implemented) Reproducible builds with hashes in the repository, the release key published in genesis and held in hardware, the client refuses unsigned updates and never updates silently, the client cannot change consensus (90% signalling), notarised builds, official download sources with the hash beside the button, seed shown and confirmed before mining, hardware wallet option, the permanent line "Nobody from Igneum will ever ask for your seed."

Prototype values (carried by the implementation today, part of the test vectors, confirmed or replaced at gate 1): seed derivation; 64 instructions x 8 iterations; 8 registers; the op weights including the 25% load weight; the output fold rotations; the 256 MiB cache, 64 lines per segment and ChaCha12; 8 item rounds and the mixer shape; the 1 GiB pack dataset against the 2 GiB genesis size; the 3,600 DAA s epoch; the era length, draw bounds and reserve list; the header binding of the init words. The full table with what fixes each is section 1.16.

Normative code: igneum-pow/. Measurements: docs/bench-log.md. Criticisms and their status: docs/fud-ledger.md. Simulations: sim/. Prototypes: proto-metal/, proto-cuda/, proto-opencl/, proto-vdf/.