igneum/docs/design
igneum-labs 0ca323498a Merge remote-tracking branch 'box/master' into verdict-cache-fix
# Conflicts:
#	tools/ci/export-exclude.txt
2026-10-08 21:06:28 +00:00
..
app-screens Igneum Miner: over-the-air updates (the project lead's rule: every app updates itself and downloads the update by itself). Signed manifest (Ed25519, key on the Mac, public key compiled in), hourly check with jitter, download with resume and sha256, staged bundle on macOS, silent Inno upgrade on Windows, apply at a safe moment (node synced, no hour boundary within 3 min, no worker starting), red bar and no waiting near a consensus activation height, rollback to .previous / the previous installer, Settings: Check now, Install now, automatic switch; publish-manifest.sh, fetch-ci-artifacts.sh adds the Windows entry; dry run on a private devnet 0.3.0 -> 0.3.1 and back (rollback), screenshots; TEST.md for PC 2 2026-10-04 13:25:14 +00:00
class-v5-bench class v5: the RTX 4090 rows (the fleet's pod cv5-2, 10:23 to 10:30 UK): class v5 against class v4 on the two pinned packs, 63.058 against 63.066 MH/s (equal within 0.01 percent), the build +0.24 ms with the devnet's 93 leaves, watts a warm-up drift with the classes interleaved inside it, every dataset sample and vector warp bit-exact on the card; the hot-set bound's number and its generator-draw form recorded; the time line 2026-10-07 09:31:22 +00:00
class-v5-harness class v5 harness: the attempt-3 read's standalone path (--a3-only, --a3-known-failed) and the runner's stdout line; the check's live EQUAL on the rebuilt pair and the known-failed DIFFER on the page with the logs 2026-10-08 13:18:19 +00:00
console Igneum console at the relay URL: Machines, Jobs, Builds, Chain, Work log, Results and the relay as tabs 2026-10-04 13:53:33 +00:00
genesis-forward-harness Genesis forward-compatibility: key hashes in the harness summaries cut to 16 hex characters (the no-secrets gate reads committed summaries; the writer redacts at write time) 2026-10-07 14:02:24 +00:00
live-dag Live DAG: screenshots of the chain rail layout 2026-10-04 10:17:06 +00:00
live-proving Live page: the ?window=300 capture with a paid shard cell and its tooltip; header counts and the ingest keep-window follow the target scale (the 8 px/s floor was the adaptive scale's); counts right on the first poll; lock label backed; record rotation 80 blocks per tick 2026-10-04 17:43:26 +00:00
relay Relay: text, files and runnable tasks between the Mac, the PCs and the phone (relay.igneum.network) 2026-10-04 10:04:30 +00:00
app-audit-2026-10-08.md The window audit records F7 to F9: review B's F14, F07 and F04 as built for v2.0.2 (the founder's rulings of 19:57 BST) 2026-10-08 19:13:13 +00:00
class-rotation-four-layers.md Class rotation, four layers: the design document (the hourly program, the weekly parameter era, the 180-day family epoch from the genesis bank, the emergency miner vote over the finality votes; the five research lanes' recommendations kept or rejected with reasons; the exposure per boundary; faults 1 to 7 of the crossing day as refused-by-construction cases; what the fast-time crossing on build-3 showed, runs 1 to 4; under the Igneum 2.0 framing a capability the chain has, never a resistance claim), 8 October 2026 2026-10-08 15:51:02 +00:00
class-v5-stored-state.md class v5 design page: the Arc job staged but held on the dl host, the kit's registry cell 2026-10-08 20:14:11 +00:00
class-v6-rotating-family.md Class v6: the genesis dataset size DECIDED at 4 GiB (the founder's word at 20:00 UK, FROZEN as class_v6_dataset_steps [(0, 4096 MiB)]); change (3) and the served policy sentence as decided; the chip line's a-node-ahead end 3.3x with the floor marked 2026-10-08 19:31:58 +00:00
consensus-proof-stages.md P22 stage 2: the stages design document reads what shipped (fixture shape, the split inside the guest, the commitment and its vector, the statement offsets, what the proof says and does not say) 2026-10-08 19:20:28 +00:00
developer-adoption.md Release manifest and the proving economics: site/release-manifest.json served at /release.json (network and chain id, source commits and fingerprints, mining class and dataset, finality rule v3, proof program ids, verifier off per P21, fees, versions per platform, the proving view, generated date); /build, /economics, /miner, /evidence and the litepaper read it at build through data-rm spans and a gate check holds the pages to it; /light, /receipt and the light client say two thirds of total weight; 4463 marked historical in older docs; dated log entries labelled historical; the evidence page's sixth label (activated) and the reference-repository wording; /economics gains "Who pays for proving": three incomes apart, the burned base fee stated, the measured 24-hour payout, the halving walk computed from emission.mjs at build, per card per hour, the two routes priced, no price 2026-10-08 15:11:33 +00:00
execution-layer.md Release manifest and the proving economics: site/release-manifest.json served at /release.json (network and chain id, source commits and fingerprints, mining class and dataset, finality rule v3, proof program ids, verifier off per P21, fees, versions per platform, the proving view, generated date); /build, /economics, /miner, /evidence and the litepaper read it at build through data-rm spans and a gate check holds the pages to it; /light, /receipt and the light client say two thirds of total weight; 4463 marked historical in older docs; dated log entries labelled historical; the evidence page's sixth label (activated) and the reference-repository wording; /economics gains "Who pays for proving": three incomes apart, the burned base fee stated, the measured 24-hour payout, the halving walk computed from emission.mjs at build, per card per hour, the two routes priced, no price 2026-10-08 15:11:33 +00:00
genesis-forward.md Pre-public scrub, the text pass (7 October 2026, 19:5x UK): no founder name, personal login, earlier business or personal address in any tracked text file, and a gate check that keeps it so 2026-10-07 18:39:50 +00:00
key-succession-schedule.md Merge remote-tracking branch 'box/master' into verdict-cache-fix 2026-10-08 21:06:28 +00:00
key-succession.md Key succession: a re-pin of the proving programs as a scheduled transition (docs/design/key-succession.md; the coordinator's ruling of 8 October 2026, 18:1x UK) 2026-10-08 17:15:56 +00:00
miner-dev-fee.md Pre-public scrub, the text pass (7 October 2026, 19:5x UK): no founder name, personal login, earlier business or personal address in any tracked text file, and a gate check that keeps it so 2026-10-07 18:39:50 +00:00
miner-tuning.md Pre-public scrub, the text pass (7 October 2026, 19:5x UK): no founder name, personal login, earlier business or personal address in any tracked text file, and a gate check that keeps it so 2026-10-07 18:39:50 +00:00
payment-routes.md Evidence page, end-to-end proving standard, funding plan, security-budget stress, payment routes 2026-10-03 22:35:03 +00:00
phone-app.md Release manifest and the proving economics: site/release-manifest.json served at /release.json (network and chain id, source commits and fingerprints, mining class and dataset, finality rule v3, proof program ids, verifier off per P21, fees, versions per platform, the proving view, generated date); /build, /economics, /miner, /evidence and the litepaper read it at build through data-rm spans and a gate check holds the pages to it; /light, /receipt and the light client say two thirds of total weight; 4463 marked historical in older docs; dated log entries labelled historical; the evidence page's sixth label (activated) and the reference-repository wording; /economics gains "Who pays for proving": three incomes apart, the burned base fee stated, the measured 24-hour payout, the halving walk computed from emission.mjs at build, per card per hour, the two routes priced, no price 2026-10-08 15:11:33 +00:00
pool-vote-key-commitment.md docs/design: pool vote-key commitment (Igneum 2.0 Pools, bullet 1): the key committed in the header under proof of work, the share and job naming it, payment aggregation separate and verifiable, the attack list with custody by consent as the survivor, costs, the pool lane migration note, open questions 2026-10-08 15:46:18 +00:00
proving-payment.md Class v6: the genesis dataset size DECIDED at 4 GiB (the founder's word at 20:00 UK, FROZEN as class_v6_dataset_steps [(0, 4096 MiB)]); change (3) and the served policy sentence as decided; the chip line's a-node-ahead end 3.3x with the floor marked 2026-10-08 19:31:58 +00:00
proving-task-protection.md V6-08 build, the fleet side: box-prover.py posts each claim as a lease (igneum_claimSegment) and skips a refusal, the chain-health backpressure gate (blocked, re-executing, discontinuous, lagging, stalled, finality paused, unreachable), TASK=segment|shard|auto with one-shard tasks under the segment line and MAX_SHARDS, the preflight (host and export sha256 against the shipped manifest, --mode id against the node's pinned pair, ldd, nvidia-smi, exit 4 naming the file), the fourth outcome abandoned (lease, restart) and the flow line; prover-outcomes.py reports abandoned, the kind column and the conservation identity per kind; both self-tests known-failed first, the gate runs box-prover's 2026-10-08 19:55:43 +00:00
site-polish-2026-10-04.md Site polish: one header and footer from partials on every page, litepaper section router fixed, self-hosted fonts, 404 page, live page idle cost 2026-10-04 20:57:20 +00:00