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

Igneum 2.0 register: the key-succession row (104), the reference population landed, the formal memory model in flight, the node's four-state RPC and manifest landed; Counter ASIC 3.0 status: the founder's completeness and no-straying orders, the register, the ten missed pins' owners, the 2.0.1 queue complete, the re-pin ruling, the kit at five platforms, the 32-lane synthesis row, the capacity order (build-5, the pods)

Browse source 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
igneum-labs 2026-10-08 17:17:41 +00:00
parent 96c086371f
commit 27662e0089
2 changed files with 11 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
docs/plans/counter-asic-3-status.md
View file

File diff suppressed because one or more lines are too long

19
docs/plans/igneum-2.0-register.md
View file

@ -18,12 +18,12 @@ Built 8 October 2026, 18:3x BST (the founder's order: no feature left out, no st
| 12 | D1. A frozen, reproducible baseline (p. 8 to 9) | Mixed FP32 branch: KILL 8 Oct 16:3x. Deterministic FP32 costs the cards 15 to 26 percent energy per hash against a 10 percent budget (four fifths of it the integer masking that keeps the FP unit deterministic) and the chip's edge grows to 3.0x to 3.2x because that masking is ARX work it pays at the floor. Document: docs/analysis/class-v6/mixed-fp32.md. Regression control, never resurrected. | coordinator (ad8809ecfd00fdd51) | 23:30 tonight | PASSED (checked in the plan): in flight | |
| 13 | D1. A frozen, reproducible baseline (p. 8 to 9) | Mining and proving measured together on the final configuration, not combined on paper. | fleet lane (ac055d60427caab99) | tomorrow 12:00 on the 2.0 devnet | open: the coexist-rows (3060, 4060) landed 11653ece; the final configuration not yet | docs/analysis/class-v6/coexist-rows.md |
| 14 | D1. A frozen, reproducible baseline (p. 8 to 9) | Wall power alongside device telemetry; accepted work, rejected work, compile time, memory use, sustained thermals. | hash lane (a690540514aa453d7) | tomorrow 12:00 | open: compile time and host power added to the PC 1 row columns tonight; wall power and sustained thermals owed | |
| 15 | D1. A frozen, reproducible baseline (p. 8 to 9) | Reference GPU population published: several vendors, memory sizes, generations, used cards (5090, 5080, 4090, 3090, 9070 XT, RX 7600 8 GB, Arc, Apple). | research lane (ad6a2bd47d4a46105) | tomorrow 11:00 (the missed pin 1) | open: the tiers file holds 31 classes; the served table owed | app/igneum-app/tiers |
| 16 | D1. A frozen, reproducible baseline (p. 8 to 9) | Two tests per class: existing owner (power, wear, fees, alternative use) and new entrant (purchase, operating, resale). | research lane (ad6a2bd47d4a46105) | tomorrow 11:00 | open | |
| 17 | D1. A frozen, reproducible baseline (p. 8 to 9) | Central measure served: cost per accepted unit of work = (annualised hardware + power + hosting, failures, fees) / annual accepted work. | research lane (ad6a2bd47d4a46105) | tomorrow 11:00; the site lane serves by 12:00 | open | |
| 15 | D1. A frozen, reproducible baseline (p. 8 to 9) | Reference GPU population published: several vendors, memory sizes, generations, used cards (5090, 5080, 4090, 3090, 9070 XT, RX 7600 8 GB, Arc, Apple). | research lane (ad6a2bd47d4a46105) | the 21:00 landing | landed: reference-population.md (2db4fe34), every cell labelled; the 7600 grid, the Arc watts and the Ada and Ampere knees owed | docs/analysis/class-v6/reference-population.md |
| 16 | D1. A frozen, reproducible baseline (p. 8 to 9) | Two tests per class: existing owner (power, wear, fees, alternative use) and new entrant (purchase, operating, resale). | research lane (ad6a2bd47d4a46105) | the 21:00 landing | landed: in reference-population.md at 0.06 / 0.12 / 0.25 per kWh | docs/analysis/class-v6/reference-population.md |
| 17 | D1. A frozen, reproducible baseline (p. 8 to 9) | Central measure served: cost per accepted unit of work = (annualised hardware + power + hosting, failures, fees) / annual accepted work. | research lane (ad6a2bd47d4a46105) | 12:00 tomorrow | in flight: in reference-population.md; the site serves by 12:00 tomorrow | docs/analysis/class-v6/reference-population.md |
| 18 | D2. Two architectural experiments, not twenty knobs (p. 10) | (a) Reorganise existing work for unavoidable live state and resource coupling, counts held constant. RESULT 8 Oct 17:25: KILL as a class. Only the window width reaches the chip (+1.2 pJ per lane-op at N5); rearranging the dependency graph of the same ops moves neither side. Document: docs/analysis/class-v6/connected-state.md. The generator variant and liveness tool stay behind a flag. | adversary lane (a1a9876a88f5a72fc) | landed | PASSED (as a KILL): connected-state.md on master 3919d430; the class fails its own gate | docs/analysis/class-v6/connected-state.md |
| 19 | D2. Two architectural experiments, not twenty knobs (p. 10) | (b) Attack memory sharing, recomputation and data-local execution against v6 (ProgPoW review threat: dataset split across processors, compute moved to the data). Price the cheapest combination of moving state, moving data, recomputing and local resources, not the expected architecture. | adversary lane (a1a9876a88f5a72fc) | 21:30 tonight | in flight: the first D2(b) row at 17:3x (the stored-half hybrid), the data-local and dataset-comparison additions in the 21:30 delta | docs/analysis/class-v6/multi-family-adversary.md |
| 20 | D2. Two architectural experiments, not twenty knobs (p. 10) | Cumulative memory complexity and bandwidth hardness mapped onto the actual evaluation across many hashes (shared datasets, partial caches, recomputation, multiple engines amortising setup). Which trade-offs are bounded, which rest on physical-design experiments. | adversary lane (a1a9876a88f5a72fc) | tomorrow 12:00 (the missed pin 2, the formal memory model) | open | |
| 20 | D2. Two architectural experiments, not twenty knobs (p. 10) | Cumulative memory complexity and bandwidth hardness mapped onto the actual evaluation across many hashes (shared datasets, partial caches, recomputation, multiple engines amortising setup). Which trade-offs are bounded, which rest on physical-design experiments. | adversary lane (a1a9876a88f5a72fc) | 12:00 tomorrow | in flight: section 16 of multi-family-adversary.md (3a8874fef) | docs/analysis/class-v6/multi-family-adversary.md |
| 21 | D2. Two architectural experiments, not twenty knobs (p. 10) | Selective participation: distribution of the specialist's advantage across programs and epochs, not the mean; downtime, difficulty adjustment, re-entry included. | adversary lane (a1a9876a88f5a72fc) | landed | landed: 9 percent spread across 2,000 era draws, the best-half specialist 2 percent for half its revenue (the D2(b) row) | docs/analysis/class-v6/multi-family-adversary.md |
| 22 | D2. Two architectural experiments, not twenty knobs (p. 10) | Cryptographic review of the template, nonce, expensive work and result binding: no expensive intermediate reused across cheap winning attempts. | pool design seat (a3832b1c3b274b310) | tomorrow 15:00 (the missed pin 3, with the hash lane) | open | |
| 23 | D3. A programmable adversary allowed to survive (p. 12) | Whole-system cost minimised across every published family, free to change lane count, register implementation, instruction storage, memory technology, scheduling and support hardware. | adversary lane (a1a9876a88f5a72fc) | 21:30 tonight | in flight: the placed 18-family core 9.36 pJ, k 0.64 same-node; the 32-lane rows 18:30 and 21:00 | docs/analysis/class-v6/multi-family-adversary.md |
@ -88,26 +88,27 @@ Built 8 October 2026, 18:3x BST (the founder's order: no feature left out, no st
| 82 | Proving correctness (p. 16) (p. 16) | Boundary served: a proof of execution is not a proof of authenticated consensus inputs, canonical history or data availability. | site lane (a846fd66b5403e35a) | tonight 18:05 | in flight: the sentence in the spec and the ledger; on the litepaper with the landing | |
| 83 | Consensus and failure behaviour (p. 19) (p. 19) | D5 scenario rows: prolonged partition (no conflicting final histories inside the fault assumptions; liveness loss explicit); authority-set transition (verifiable continuity from the last certified history; a timeout alone is not evidence missing voters are gone); signing stops while mining continues (defined checkpoint, weight and recovery; no contradictory certificates); old voting keys compromised (its own analysis, distinct from new hashrate); finality unavailable at a seed boundary (a seed and mining path that does not depend on an unavailable certificate); partitions reconnect (deterministic recovery, no quiet reversal of an irreversible label). | finality lane (aca0f5ed924a2a99b) | landed (the table); the runs days two and three | landed: the six-scenario table mapped to the evidence with gaps and clocks in the D5 block | docs/plans/igneum-2.0.md D5 |
| 84 | Consensus and failure behaviour (p. 19) (p. 19) | The real integration tested together: ordering, finality, proof queues, voter tables, seed transitions. | fast-time lane (a8be71a0db962911c) | the morning's first cut | in flight: the 617cb441 run holds five switches in one network (the ladder, the v5 crossing, the v6 floor, the restart step, the cold restart); the proof queues and seed transitions not in the same network, owed | v5-fasttime 92bf6a7f |
| 85 | Consensus and failure behaviour (p. 19) (p. 19) | User-facing rule everywhere: included, executed, proven and finalised are four states; a safe pause is shown as a pause. | node lane (a283f5f0d364ceef0) | 23:00 tonight (the four-state RPC); the interfaces v2.0.1 and the site's 20:00 sweep | in flight: section 9 landed; igneum_getTransactionStatus gains state and paused by 23:00 | |
| 85 | Consensus and failure behaviour (p. 19) (p. 19) | User-facing rule everywhere: included, executed, proven and finalised are four states; a safe pause is shown as a pause. | node lane (a283f5f0d364ceef0) | v2.0.1 (the cut tomorrow) | landed on the node: igneum_getTransactionStatus carries state and paused on release-2.0.0-node 9fc9f42a (18:02); the interfaces the site's sweep and v2.0.1 | |
| 86 | User verification (p. 20) (p. 20) | Light wallet: starting point, voter weights and authority changes authenticated. Execution proof: the permitted proof verified and its inputs authenticated, never an aggregator statement in its place. Payment receipt: proves the transfer with asset, recipient and amount, or is labelled "transaction-inclusion receipt". Oracle: deployer-installed trust anchors removed or disclosed, unchecked signatures named. Data availability: how state is obtained and reconstructed, explained. | reference-apps lane (a2060899d2a27d31c) | landed | landed: the labels and the boundary on /light, /receipt and /oracle (8e947c3b); the oracle redeployed for chain id 4465 | site/lc |
| 87 | Operational independence (p. 21) (p. 21) | One machine-readable release manifest: network identity, source commits, mining class, dataset parameters, finality rule, program and verifier identities, activation state, fee schedule. Status pages generate from it; historical records are labelled. | shipper (ae892a8b0f78fe31c) | 19:30 tonight (with the site lane); the node side landed | in flight: igneum_getManifest on d5981514; /release.json served by the site lane | |
| 87 | Operational independence (p. 21) (p. 21) | One machine-readable release manifest: network identity, source commits, mining class, dataset parameters, finality rule, program and verifier identities, activation state, fee schedule. Status pages generate from it; historical records are labelled. | shipper (ae892a8b0f78fe31c) | 19:30 tonight (the edge) | landed on the node: igneum_getManifest on d5981514; /release.json served by the site lane (3511bbca at the edge, 70f8c871 landed) | site/release-manifest.json |
| 88 | Operational independence (p. 21) (p. 21) | Software release: reproducible builds, pinned source and binaries, explicit operator acceptance, a signing-key incident procedure. A fleet that auto-accepts a release key is operationally centralised. | shipper (ae892a8b0f78fe31c) | tomorrow 15:00 (the missed pin 9, with the build-server lane) | open: the signing-key incident procedure owed | |
| 89 | Operational independence (p. 21) (p. 21) | Public infrastructure, mining, proving and aggregation continue without founder services and without unpublished files or hidden configuration. | node lane (a283f5f0d364ceef0) | days two and three (D5) | open | |
| 90 | Programme order, mainnet prerequisites, funding (p. 24, 26) (p. 24, 26) | Spend order: proof enforcement and finality boundaries first while closing the v6 evidence packet; hardware research and one narrow paid pilot in parallel; broad ecosystem expansion waits until the core path is secure, reproducible and useful. | coordinator (ad8809ecfd00fdd51) | standing | landed: applied in the lease classes (proof enforcement and finality outrank research on build-2 and build-4) and the map | |
| 91 | Programme order, mainnet prerequisites, funding (p. 24, 26) (p. 24, 26) | Mainnet needs: complete proof enforcement, a resolved finality and recovery model, operator-control tests, the compatible-application test suite, a funded maintenance plan (engineering, audits, infrastructure, incident response), committed funding distinguished from adoption-dependent income; fair launch is a principle, not a funding strategy. | coordinator (ad8809ecfd00fdd51) | tomorrow 12:00 | open: the prerequisites checklist in the record; the maintenance plan the founder's (the missed pin 10) | |
| 92 | Programme order, mainnet prerequisites, funding (p. 24, 26) (p. 24, 26) | Acceptance scorecard served as a checklist with its "do not substitute" column (plan p. 25), never as a completion dashboard. | site lane (a846fd66b5403e35a) | tonight 21:00 (/scorecard) | in flight | |
| 93 | Programme order, mainnet prerequisites, funding (p. 24, 26) (p. 24, 26) | Brand kit stands: Unbounded, IBM Plex Sans, IBM Plex Mono; obsidian, ember, graphite, bone, molten. | site lane (a846fd66b5403e35a) | landed | landed: unchanged on every page | |
| 94 | Pins the finish line missed (checked against the 37 pages, 18:1x BST) (p. 8 to 24) | Served reference GPU population and the cost-per-accepted-unit table, existing owner and new entrant per class (p. 8). Owner: research lane with the site lane. | research lane (ad6a2bd47d4a46105) | tomorrow 11:00; the site lane serves by 12:00 | open | |
| 94 | Pins the finish line missed (checked against the 37 pages, 18:1x BST) (p. 8 to 24) | Served reference GPU population and the cost-per-accepted-unit table, existing owner and new entrant per class (p. 8). Owner: research lane with the site lane. | research lane (ad6a2bd47d4a46105) | the 21:00 landing; served 12:00 tomorrow | landed: reference-population.md at 2db4fe34 on counter-asic-4 (18:03), in the 21:00 landing; the site serves by 12:00 tomorrow | docs/analysis/class-v6/reference-population.md |
| 95 | Pins the finish line missed (checked against the 37 pages, 18:1x BST) (p. 8 to 24) | The formal memory model: the evaluation mapped into capacity, bandwidth, energy and amortisation terms, what is bounded and what rests on physical design (p. 10). Owner: adversary lane. | adversary lane (a1a9876a88f5a72fc) | tomorrow 12:00 | open | |
| 96 | Pins the finish line missed (checked against the 37 pages, 18:1x BST) (p. 8 to 24) | Cryptographic review of the template, nonce, work and result binding: no expensive intermediate reused across cheap winning attempts (p. 10). Owner: the attack seat, with the hash lane. | pool design seat (a3832b1c3b274b310) | tomorrow 15:00 (the missed pin 3, with the hash lane) | open | |
| 97 | Pins the finish line missed (checked against the 37 pages, 18:1x BST) (p. 8 to 24) | The disclosure prize live with terms rewarding a better adversary or a reproduced shortcut (p. 12). Owner: site lane, terms from the coordinator. | site lane (a846fd66b5403e35a) | tomorrow 12:00 (the terms from the coordinator by 10:00) | open | |
| 98 | Pins the finish line missed (checked against the 37 pages, 18:1x BST) (p. 8 to 24) | Home-connection against datacentre accepted-work penalty, measured on the 2.0 devnet (p. 14). Owner: fleet lane with a home box (PC 1 or PC 2). | fleet lane (ac055d60427caab99) | tomorrow 15:00 (PC 1 or PC 2 the home box) | open | |
| 99 | Pins the finish line missed (checked against the 37 pages, 18:1x BST) (p. 8 to 24) | Published optimisation work, compiler settings and safe tuning logic (p. 14). Owner: hash lane, served by the site lane. | hash lane (a690540514aa453d7) | tomorrow 15:00 (the missed pin 6; the site lane serves) | open: the tuning rows exist (the knee rule, the AMD knob); the published form owed | |
| 100 | Pins the finish line missed (checked against the 37 pages, 18:1x BST) (p. 8 to 24) | Negative test six, proof side: derivation inside the aggregator guest (P22 stage 3) (p. 16). Owner: enforced-proving lane. | enforced-proving lane (a6e8f84588b809d62) | tomorrow 18:00 (P22 stage 3) | open: the native veto team-tested; the derivation inside the aggregator guest owed | |
| 100 | Pins the finish line missed (checked against the 37 pages, 18:1x BST) (p. 8 to 24) | Negative test six, proof side: derivation inside the aggregator guest (P22 stage 3) (p. 16). Owner: enforced-proving lane. | enforced-proving lane (a6e8f84588b809d62) | 18:00 tomorrow | open: the row on enforced-proving 610f07c01 landing; the native-veto half team-tested (421bb852) | docs/spec/proving-enforcement.md |
| 101 | Pins the finish line missed (checked against the 37 pages, 18:1x BST) (p. 8 to 24) | The proving benchmark served with typical and tail latency per stage (p. 17). Owner: fleet lane's record, served by the site lane. | fleet lane (ac055d60427caab99) | tomorrow 15:00 (the site lane serves) | open: proving-pipeline-2026-10-08.md landed 8c5da92f as the record | docs/analysis/proving-pipeline-2026-10-08.md |
| 102 | Pins the finish line missed (checked against the 37 pages, 18:1x BST) (p. 8 to 24) | Reproducible builds with a served recipe, and a signing-key incident procedure (p. 21). Owner: shipper with the build-server lane. | shipper (ae892a8b0f78fe31c) | tomorrow 15:00 (with the build-server lane) | open | |
| 103 | Pins the finish line missed (checked against the 37 pages, 18:1x BST) (p. 8 to 24) | The funded maintenance plan and the committed-funding line (p. 24). Owner: the founder. | main / the founder | the founder's | open | |
| 104 | Architecture and product (review 2) (p. 15 to 17) | Key succession: a succession field in the object (the pinned program ids and verifier versions with an activation height and a window; below the height the old pair, across the window either pair, from its end the new pair; the payment rule on the same floor; the manifest carrying both pairs with the height; never on every network; the daemon refusing to start if it embeds neither pair the object names), designed and tested on the fast-time harness before any devnet carries it, so a re-pin is a scheduled transition and never a genesis (main's order, 18:1x BST) | enforced-proving lane (a6e8f84588b809d62) with the node lane (a283f5f0d364ceef0) | the design doc tonight; the node branch with its known-failed tests and the fast-time case by 18:00 tomorrow | in flight: docs/design/key-succession.md tonight; the re-pinned guest (afd952e89, shard 0x282dcfce, aggregator 0x3fd721e8) waits on it | docs/design/key-succession.md |
## Coverage at 18:3x BST: 103 pins, 103 owned, open 35, in flight 34, landed 29, passed 5.
## Coverage at 18:3x BST: 104 pins, 104 owned, open 30, in flight 35, landed 34, passed 5.
Pass conditions are the plan's own, per section: D1 an independent operator reproduces the baseline from the served kit alone; D2 the candidate improves against re-optimised adversaries within the preset limits, else published as a failure; D3 the best supported advantage inside the chosen envelope with uncertainty published; D4 the model names credible conditions for sustained commodity participation and where it fails; D5 specified behaviour with no emergency change and no privileged intervention; the launch requirements live; the claim ladder earned rung by rung.