Igneum: the GPU-mined zkEVM L1. Node, miner, app, spec and site.

igneum-labs a3bd0a2132 Public text: the proving price as a formula in network hash, one threshold sentence, the carried-proof caveat, the dev fee's share, the stranded pool (Horizon economy and security lanes) ... From docs/analysis/horizon/economy-and-utility.md (sections 3.1, 4.1 to 4.4, proposals 2, 3, 4, 7) and docs/analysis/horizon/consensus-security.md (finding 3, proposal 1), both on master. (a) The litepaper's "proofs at the cost of power" and the customer brief's "priced in dollars per proof" are conditioned: electricity is close to power, the price a prover must charge is the subsidy it forgoes, published as a formula with network hash as the input (per shard, card hash over network hash x 0.8 x 31.688 IGN x shard seconds, plus electricity), never a number; 100 to 300x the published market rate at the devnet's 1.16 GH/s, competitive near 100 GH/s beside the miner, approximate beyond the one card measured. Six litepaper passages and two brief rows. The text check's P6 sentence moves to the conditioned form. Ledger E20. (b) One threshold sentence in Governance and Mining: 60 percent of blue blocks over two weeks for a parameter genesis leaves open, 90 percent for an upgrade (new code), 95 percent with a floor height for a class change (the Mining section had said a 90 percent signal turns a spare defence on, which is a class change). Ledger G15. (c) The 20% proving-pool row carries the caveat that consensus does not yet verify the carried proof, so a block producer could claim shard pay with a false proof today (P21; the 0.3.16 fix). Ledger P24. (d) The dev fee reads "default-on, switchable, 1 percent of the producer share" in the payment-routes row and the Ember section; docs/plans/funding.md section 4's ceiling is 1 percent of the producer share, USD 38,520 / 154,080 / 770,400 at the three prices, corrected from 48,000 / 193,000 / 963,000. Ledger E21. (e) The pool row's note: unclaimed pool credit is today stranded in the escrow, no rule returns it; the fix rolls it into the next proven segment (0.3.16). Ledger P25. site/ledger.html regenerated (176 entries); tools/ci/ledger-text-check.mjs carries the five new sentences (53, 0 missing). Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>		2026-10-06 20:16:05 +00:00
.claude/agents	Igneum: design docs, Metal lottery-hash prototype, CUDA test pack, finality simulation	2026-10-03 15:06:01 +00:00
.github/workflows	Site: the downloads snapshot is written only on SITE_DOWNLOADS_REFRESH=1 or in CI; a CI check against scripts writing into other worktrees	2026-10-06 18:19:58 +00:00
app	Reproducible builds: SOURCE_DATE_EPOCH from the commit's author time, TZ=UTC and one fixed target path in every build path; self-test	2026-10-06 20:09:23 +00:00
brand	Entity, contact route and repository date: Igneum Labs LTD imprint in the footer, litepaper and miner fee, hello@igneum.network as the flaw route, repository public at the public testnet	2026-10-05 16:41:38 +00:00
docs	Public text: the proving price as a formula in network hash, one threshold sentence, the carried-proof caveat, the dev fee's share, the stranded pool (Horizon economy and security lanes)	2026-10-06 20:16:05 +00:00
igneum-census	Counter ASIC 3.0 item 8: the latency-shadow knob (LoadClass +sh<S>x<R>), its packs and the PC 2 playbook	2026-10-06 07:58:35 +00:00
igneum-pow	Pool v0 rebased onto master and the 0.3.14 fork: the program class and era seed ride with every seeds and job line; the re-check test for class v3 and class v4	2026-10-06 18:49:13 +00:00
infra	Reproducible builds: SOURCE_DATE_EPOCH from the commit's author time, TZ=UTC and one fixed target path in every build path; self-test	2026-10-06 20:09:23 +00:00
packaging	Reproducible builds: SOURCE_DATE_EPOCH from the commit's author time, TZ=UTC and one fixed target path in every build path; self-test	2026-10-06 20:09:23 +00:00
pool	Pool v0 rebased onto master and the 0.3.14 fork: the program class and era seed ride with every seeds and job line; the re-check test for class v3 and class v4	2026-10-06 18:49:13 +00:00
proto-cuda	Reproducible builds: SOURCE_DATE_EPOCH from the commit's author time, TZ=UTC and one fixed target path in every build path; self-test	2026-10-06 20:09:23 +00:00
proto-metal	Counter ASIC 3.0 gates (node): the program id carries the class. A class v4 program is generator 4 wherever it is made: the CLI's --era path stamps the generator from the class (era_generator_of: 4 on V4_CLASS, 3 otherwise; ProgramClass::of_load_class), show honours --program-class and --era-hex; the shadow block marks class v4 in packcheck, packfile.h and the Metal worker (a generator 3 pack with IGNEUM_SHADOW_INSTRS is refused as a v4 program stamped v3, a generator 4 pack without it is refused; generator 2 ladder packs unchanged); the seven gate packs re-exported (generator 4, id c120d7963abdcd96 against the v3 control's 73bcbfe8ccf988f1, every other line byte-identical); class-v4.mjs asserts every v4 epoch's id against the CLI's same-seed v3 and v4 ids (--id-check-against v4 is the assertion's failed case); v2 and v3 ids byte-identical (60 + 7 + 4 + 19 + 7, the pinned packs)	2026-10-06 16:24:02 +00:00
proto-opencl	Merge origin/master into ca3-coord: Counter ASIC 3.0 complete (every gate green, P2 green, P1 written); the drive-ref check skips single-quoted here-strings and the copied-sources check reads code lines only (master's CI red on dbdfda0); main's decisions and the close in the status file	2026-10-06 18:05:54 +00:00
proto-vdf	proto-vdf: Wesolowski VDF between the certified checkpoint and the program seed	2026-10-03 16:39:01 +00:00
proving	exec 0.3.14 app side on release-0.3.14: the prover exports from one block below and seeds from the account dump; nothing claimed below the restart; the harnesses	2026-10-06 16:59:18 +00:00
relay	Merge release-0.3.14: Igneum Miner 0.3.14 (exec-sync deep-reorg reload, miner-ui-3, ember-tune), publish 1 on the thirteen-field object	2026-10-06 18:18:17 +00:00
sim	Horizon: lane 4 (economy-and-utility) lands: the proving price is h/N, fees are no security budget, the stranded pool	2026-10-06 20:08:32 +00:00
site	Public text: the proving price as a formula in network hash, one threshold sentence, the carried-proof caveat, the dev fee's share, the stranded pool (Horizon economy and security lanes)	2026-10-06 20:16:05 +00:00
tools	Public text: the proving price as a formula in network hash, one threshold sentence, the carried-proof caveat, the dev fee's share, the stranded pool (Horizon economy and security lanes)	2026-10-06 20:16:05 +00:00
.gitignore	gitignore: infra/cross/out-workers-box/ (the workers tools/workers-remote.sh fetches from the box)	2026-10-06 19:11:39 +00:00
.vercelignore	Commit identity rule and a deploy ignore file	2026-10-03 17:33:46 +00:00
CLAUDE.md	Igneum: design docs, Metal lottery-hash prototype, CUDA test pack, finality simulation	2026-10-03 15:06:01 +00:00