Commit graph

253 commits

Author SHA1 Message Date
igneum-labs
9aded49aa3 Class v5 stored state: the foreign-seed capture amendment (fix 2 of node 2.0.2, the HEAL lane, 8 October 2026). Section 8's row "a state the verifier cannot reach" becomes the bounded scratch execution of the foreign selected-parent chain (the retryable refusal never ended on igneum-devnet-4: 6 chains and 11 islands at the epoch-3 cut); section 2a.1 gains the rule that streams are keyed by block hash, several candidates per epoch, each with a capture's retention; section 2a.5 carries the two cost rows (one D per candidate stream; the grinding and DoS face with the bound, the one-in-flight rule and the PoW-first condition named as properties). Measured rows: without the fix the lighter node never left its chain in 300 s; with it, +20 s and one tip and seed from +60 s.
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 21:50:10 +00:00
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
igneum-labs
fde300abc8 Key succession on the live object: the H and W proposal with the fast-time evidence (Phase 1 item d, for the 08:00 read-back; W one epoch of 3,600 DAA, H the first epoch boundary an epoch after a clean 24-hour run; pin C as the next pair, the served pair as prior)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 20:41:31 +00:00
igneum-labs
b500c68e5c Merge p22-stage-2 2d5509a9 into master (gate: green on 2d5509a9, recorded by tools/ci/pre-push.sh; landed on the box mirror) 2026-10-08 20:21:13 +00:00
igneum-labs
9fd1d6c687 Merge class-v5 742ffcb4 into master (gate: green on 742ffcb4, recorded by tools/ci/pre-push.sh; landed on the build mirror) 2026-10-08 20:16:41 +00:00
igneum-labs
742ffcb4e1 class v5 design page: the Arc job staged but held on the dl host, the kit's registry cell
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 20:14:11 +00:00
igneum-labs
c0608a28be Merge v608-proving-tasks 10575e1e into master (gate: green on 10575e1e, recorded by tools/ci/pre-push.sh; landed on the box mirror) 2026-10-08 20:11:49 +00:00
igneum-labs
2d5509a926 Merge remote-tracking branch 'box/master' into p22-stage-2
# Conflicts:
#	proving/igneum-prove/host/src/bin/pin.rs
#	tools/ci/export-exclude.txt
2026-10-08 20:07:50 +00:00
igneum-labs
b0e2497e9c class v5 design page: both full gates GREEN on box 2, the master merges pushed
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 20:07:33 +00:00
igneum-labs
ea3ca1faea class v5 design page: the freeze wording for the class v6 kit, the master merges and the full gates
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 19:55:47 +00:00
igneum-labs
10575e1e11 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
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 19:55:43 +00:00
igneum-labs
94da2c09c5 Merge build/master 94889a656 into class-v5 (the counter-asic-4 code revert 867dbfe8 landed; the frozen class-v6 tree on master)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 19:53:27 +00:00
igneum-labs
d0e0941cd3 class v5 design page: the re-export is metadata only (fingerprints final on the platforms read), the fourth-zip rule, PC 1's rows the morning's
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 19:51:31 +00:00
igneum-labs
41781aace6 class v5 design page: the generator 6 all pack's CPU emulation reading counted (four of six)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 19:49:56 +00:00
igneum-labs
da602c33d8 class v5 design page: the class v6 kit's CUDA 4090 read of the generator 6 packs (three platforms equal on each)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 19:48:15 +00:00
igneum-labs
d99478d39c class v5 design page: the class v6 kit's post-review (generator 6) packs, the third zip 735e1411, the Metal worker lift, the Mac readings (two platforms equal on each pack)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 19:45:24 +00:00
igneum-labs
b51ce846af V6-08 design: proving task protection (leases, backpressure gate, shard-sized tasks, bounded transport, preflight, flow conservation), docs/design/proving-task-protection.md
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 19:39:22 +00:00
igneum-labs
f22685b139 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
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>

Documents-only copy of counter-asic-4 248837578 over master 39bddf6a6 (the 21:00 landing): the design and analysis documents, spec 05 and 06 (06 and the export list three-way merged), sim/economy/coexist (python, JSON, TSV), the map cell harness:economics-model added to master's map, the batch eco-d4-20261008-01 recorded through tools/ci/test-record.mjs on master's registry copy; nothing under igneum-pow, proto-cuda or the apps; the branch itself unmerged.
2026-10-08 19:31:58 +00:00
igneum-labs
7ed22e60ac 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)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 19:20:28 +00:00
igneum-labs
b8443e858b 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)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 19:13:13 +00:00
igneum-labs
978e5f559c Merge remote-tracking branch 'box/master' into enforced-proving 2026-10-08 18:38:50 +00:00
igneum-labs
750959df70 Consensus proof stages: what the code already gives stage 2 (the carried records and the paid map on the segment record, the exporter's carried block, the per-shard split functions)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 18:38:49 +00:00
igneum-labs
b91163fe2b The window audit records F6: a node with no peers holds the worker, never a worker fault (the founder, 19:25 BST, v2.0.2)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 18:30:31 +00:00
igneum-labs
53c6ffc3a7 The consensus proof in stages (P22, ZKP-04 and ZKP-08's proof side): the inputs commitment in code (stage 1), the payouts derived inside the aggregator from records checked natively (stage 2), the rewards from consensus data the guest verifies (stage 3) with the facts the header would have to commit to; every stage ships through a key succession
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 18:00:40 +00:00
igneum-labs
2be82da7bd class v5 design page: the Arc job's kit-missing fault (the fetch targeted PC 1) and the re-post at PC 2
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 17:57:50 +00:00
igneum-labs
fe5c274dbc class v5 design page: the class v6 kit's Arc job repointed at c98a42c2e (PC 2 job run-20261008-174916)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 17:49:35 +00:00
igneum-labs
2fd9c162be Merge wallet-words-20 472d40d7 into master (gate: green on 472d40d7, recorded by tools/ci/pre-push.sh; landed on the box mirror) 2026-10-08 17:36:23 +00:00
igneum-labs
472d40d70f The wallet's History row: a block under a locked checkpoint is finalised even in a pause; the window audit records the founder's v2.0.1 calls
docs/spec/finality-guarantees.md section 9: one vocabulary, included, executed, proven, finalised; the network's pause
is the network's word, never a transaction's. The wallet's History row read the node's "finality not active" word for a
transaction under a locked checkpoint while finality was paused; it reads "finalised" now, with the pause in the why
("under a locked checkpoint, not yet verified here; finality is paused on the network above it"). Known-failed first on
build-2 (view.test.mjs: the row's word and the vocabulary set); 21 wallet UI tests green.

docs/design/app-audit-2026-10-08.md gains section 7: the founder's reversals and additions for v2.0.1 (the Cards tab
back, the first-block card once per address, the four words, one positioning line, the watchdog's waiting words), each
with where it lands (branch cards-201 on release-2.0.1; this branch for the wallet).

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 17:27:45 +00:00
igneum-labs
fdc9557c05 class v5 design page: the class v6 kit's RX 7600 read (both packs equal; six platforms on the all pack)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 17:21:44 +00:00
igneum-labs
988ab54dcf 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)
The object names a prior pair, a next pair, an activation height and a window; below the height only the prior pair verifies and pays, in the window either, after it only the next; the node embeds both pairs (elf/ and elf/prior/), the body rule, the payment rule and the native segment statement read one floor, the daemon refuses to start without every pair the object accepts at the tip, the manifests carry both pairs and the height; never on every object, in the digest once set. Tests known-failed first (the seven refusals on both sides of the height) and the fast-time case across it; the node branch by 18:00 UK on 9 October 2026.

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 17:15:56 +00:00
igneum-labs
d0c851a468 class v5 design page: the class v6 kit row names the PC script fault (one-pack leaves check, gfx1201) and its fix at class-v6-kits c98a42c2e
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 17:12:58 +00:00
igneum-labs
05feae8822 class v5 design page: the class v6 kit's 5090 reads (both packs equal; the window's cost per hash and per joule)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 17:03:27 +00:00
igneum-labs
c968aa0559 Merge class-v6 3d086fac into master (gate: green on 3d086fac, recorded by tools/ci/pre-push.sh; landed on the build mirror) 2026-10-08 16:44:21 +00:00
igneum-labs
40b7d09fca class-v6: merge master 8e0787cb9 (after the counter-asic-4 code revert 867dbfe8) into class-v6 so the frozen tree lands on master as one two-parent merge. Conflicts: igneum-pow memhard.rs, main.rs, tests/packs.rs keep class-v6's text (class v5's mixer-draw rule in the agreed AP-F4-1 form, cost 205 with w32; master carried the first form, NAF sum 163; the ds55 and reg64 arms of epoch_of; the window tests); site/litepaper.html takes master's (the site lane's text); docs/ledger-public.md and site/ledger.html regenerated from the merged docs/fud-ledger-2.0.md by tools/ledger/export-public.mjs and tools/ledger-page.mjs.
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 16:31:19 +00:00
igneum-labs
0e6dbe8cd0 class v5 design page: the class v6 kit's second zip (098e64c3, the window texts in) on the row
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 16:26:08 +00:00
igneum-labs
05f04430be class v5 design page: the class v6 all pack reads equal on Metal and Apple OpenCL with the window texts (four of six platforms at 59e6708e46f1e87c)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 16:24:13 +00:00
igneum-labs
20ed9276be class v5 design page: the class v6 kit row (the zip 2c56bd06 from the class-v6 merge, the reads so far per pack and platform, the all pack's Mac refusals by the stub, the window texts owed, the ds55 form not in the pack)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 16:12:36 +00:00
igneum-labs
2e88ccba94 Igneum 2.0 D4: the placed energies (the complete GDDR7 machine 1.6x node-for-node, 1.9x a node ahead; the hybrid 2.4x / 2.9x; the die 2.4x / 3.3x; per-dollar unchanged) and the three chips scored at them, no verdict changed; the served energy sentence on them; the proving-payment pin in the code behind its constant, the guest's mirror owed
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>

Documents-only copy of counter-asic-4 df7c85c1c (its delta over master 1ace22052: docs/analysis/class-v6, docs/design, docs/spec, the export list; nothing outside docs/ differs at that tip; the branch itself stays unmerged, its history carrying the igneum-pow research commits)
2026-10-08 16:05:40 +00:00
igneum-labs
868be2b6e2 Merge counter-asic-4 1ace2205 into master (gate: green on 1ace2205, recorded by tools/ci/pre-push.sh; landed on the build mirror) 2026-10-08 16:03:13 +00:00
igneum-labs
96e73bb663 Merge class-v6-rotation-docs feb223f6 into master (gate: green on feb223f6, recorded by tools/ci/pre-push.sh; landed on the box mirror) 2026-10-08 16:00:10 +00:00
igneum-labs
feb223f60f 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
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 15:51:02 +00:00
igneum-labs
1ace22052f Class v6 10.0h and 10.0i: the sentence served at 18:30 on the tightened bracket (2.5x to 3.0x a node ahead, 2.1x to 2.6x node-for-node; the placed gated row at about 18:30 narrows it)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 15:47:22 +00:00
igneum-labs
45e72a21da 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
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 15:46:18 +00:00
igneum-labs
50674ea51e Merge the mirror's master into counter-asic-4 before the D4 landing
# Conflicts:
#	site/economics.html
2026-10-08 15:46:02 +00:00
igneum-labs
28c01044f0 Igneum 2.0 D4: the tip-share discrepancy resolved (the tip whole to the block, O-5.7 closed at zero; the provers paid by the congestion-priced proving base fee, 90 percent to the block's pool and 10 percent burned; the burn listed separately; the cap and no development tax untouched); spec 5.1 to 5.3, the economics page, the code pinned
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 15:45:00 +00:00
igneum-labs
b21c33e8d8 Class v6 10.0p: the 8 GB and 12 GB tiers hold at the 5.5 GiB floor (an exact 4060 and 3060, measured); the window free per load on both; proving beside mining time-shares under 16 GB
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 15:40:40 +00:00
igneum-labs
ca14977a47 Class v6 10.0o: the mixed FP32 candidate killed (determinism proved on CUDA; the determinism tax is the whole economics, +15 to +26 percent on every card for +7 percent of chip edge; the exponent-byte bias a new instrument reading)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 15:38:47 +00:00
igneum-labs
8624a02393 Merge counter-asic-4 45b40140 into master (gate: green on 45b40140, recorded by tools/ci/pre-push.sh; landed on the build mirror) 2026-10-08 15:37:40 +00:00
igneum-labs
60e16599c6 Merge release-manifest-8 d80c7fa5 into master (gate: green on d80c7fa5, recorded by tools/ci/pre-push.sh; landed on the box mirror) 2026-10-08 15:32:32 +00:00
igneum-labs
2739aece9c Class v6 10.0m and 10.0n: the multi-family adversary's whole-machine rows (1.8x the 5090 node-for-node, the bank zero obsolescence credit, capex the larger half of the edge); the coexistence model landed (the board passes six conditions, the die fails five once sunk); the three statements re-read; the connected-state class killed; the window under 1 percent measured
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 15:27:51 +00:00