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

igneum-labs fbb0032067 Counter ASIC 3.0 gates (hash): AP-F8-2, the class v4 draw is total (main's ruling: no consensus path panics). Sub-version 2 unchanged: every seed that accepts within the bound draws the same program (re-export diff 0 on v4-devnet-epoch0, v4-era-0 and v4-era-5; the id a788661687db4bb3 and the seven fingerprints stand). The attempt cap of the class v4 shape is 256 (MAX_ATTEMPTS_V4; v2 and v3 keep 32): rules (a') and (c') reject about two thirds of candidates, so 32 attempts exhausted at about 2e-6 per epoch seed (seed igneum-f9/331672, the fdac338d panic), 256 at under 1e-45, half a second of draw in the worst case. After the cap the seed takes the last-resort program, deterministic and accepted as drawn: the candidate at attempt 256 with every or, mul and mulhi of the base program and the shadow block rewritten to xor, so every register stays fresh from the init words on and rule (a') holds by construction. A unit test walks the last resort on real (a')-rejected candidates (every load fresh after it, no lossy op left, the shapes kept) and the chain path over 64 seeds with no panic; the cap per class is asserted ... Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>		2026-10-07 13:30:33 +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	CI red watcher: every branch, one line per failed run naming the branch, the commit, the red check and the pushing author	2026-10-07 13:09:06 +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	Counter ASIC 3.0 gates (hash): ledger AP-F8-1, the sub-version 2 suite line (100 of 100 at c192c853 on box 2)	2026-10-07 13:17:15 +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	Counter ASIC 3.0 gates (hash): AP-F8-2, the class v4 draw is total (main's ruling: no consensus path panics). Sub-version 2 unchanged: every seed that accepts within the bound draws the same program (re-export diff 0 on v4-devnet-epoch0, v4-era-0 and v4-era-5; the id a788661687db4bb3 and the seven fingerprints stand). The attempt cap of the class v4 shape is 256 (MAX_ATTEMPTS_V4; v2 and v3 keep 32): rules (a') and (c') reject about two thirds of candidates, so 32 attempts exhausted at about 2e-6 per epoch seed (seed igneum-f9/331672, the fdac338d panic), 256 at under 1e-45, half a second of draw in the worst case. After the cap the seed takes the last-resort program, deterministic and accepted as drawn: the candidate at attempt 256 with every or, mul and mulhi of the base program and the shadow block rewritten to xor, so every register stays fresh from the init words on and rule (a') holds by construction. A unit test walks the last resort on real (a')-rejected candidates (every load fresh after it, no lossy op left, the shapes kept) and the chain path over 64 seeds with no panic; the cap per class is asserted	2026-10-07 13:30:33 +00:00
infra	CI gate: the feature-branch hook runs the never-push classes (no-secrets, identity grep) beside the structural checks; harness summaries write keys through a redacting writer with its own check	2026-10-07 13:09:06 +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	Counter ASIC 3.0 gates (hash): class v4 sub-version 2 (AP-F8-1, main's ruling B2: 0.3.20 ships sub-version 1 untouched; this stream is object byte 7). F1, the draw: a load's source is drawn only from registers fresh by dataflow (fresh at the start; a load keeps freshness only from a fresh source; add, sub, xor, mad, shfl from either operand; rotl, rotr from their operand; or, mul, mulhi never), keyed on the class v4 shape on EVERY draw path (era or not, the pass count set aside), so a census through candidate_class reads the chain's stream. (a'), accept.rs: the same freshness run to its fixpoint over the loop (base then shadow block) and every load's source fresh in the steady state, else the candidate is rejected and the next attempt drawn (closes the iteration boundary the draw cannot see: F8's p11, an or at 63 feeding a load at 1, and the load-after-load and rotate-of-saturated chains of p6, p23, p26, p31, p34). (c'), accept.rs: per load site, the count of source values equal to 0 or all-ones over the 64 units' 16,384 evaluations, rejected at 164 or more (the (c) limit), the backstop for any delivery of saturation (zero and all-ones alike: p45's mulhi zero). Both keyed on the class v4 shape, so v2 and v3 verdicts and ids do not move. PROGRAM_SUBVERSION_V4 = 2 in the id suffix and the pack lines. The seven gate packs re-exported: the devnet epoch-0 seed's attempt 0 is now rejected and attempt 1 accepted, id a788661687db4bb3 (must-differ: c120d7963abdcd96 the 6 October stream, 1a4230699a6b9c60 sub-version 1); the seven 256-block ladder packs of packs-ca3-shadow re-exported under the rule (the no-era path moves too; their measured rates stand as the old stream's). Tests: the generator test checks the fixpoint rule on the amended program and the known-failed case (the v3 stream re-labelled v4); the mixer contract checks the dataflow rule on every V4-shaped class, era or not	2026-10-07 13:01:40 +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-newpow	Horizon: lane 8 (new-proof-of-work) lands: three schemes, two prototypes measured on rented 4090s	2026-10-06 20:18:39 +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	Kill by exact command line or pid file, never by a name: tools/ci/kill-by-name-check.sh in the gate; the 36 pgrep/pkill literals in the tree fixed	2026-10-06 22:10:31 +00:00
sim	Merge box-capacity 58dacf6: the builder's background capacity layer (fuzz, sims, sweeps, clippy; yields to builds)	2026-10-06 21:35:54 +00:00
site	site-redesign: the package's look 1:1, header and footer included	2026-10-07 10:57:32 +00:00
tools	Counter ASIC 3.0 gates (hash): the PC 1 variant of the sub-version 2 G1 job (published only on main's go-PC-1 line: the 5090 off by the runner's --cards-off, quiet confirmed by the process list and nvidia-smi, nothing else on PC 1)	2026-10-07 13:20:54 +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
rust-toolchain.toml	rust-toolchain.toml: one pin for every side (1.99.0, the two cross targets); the mismatch refusal reads it	2026-10-06 23:44:20 +00:00