Commit graph

2191 commits

Author SHA1 Message Date
igneum-labs
b164fbf0a0 Merge ci-batch-4 caa3040f into master (gate: green on caa3040f, recorded by tools/ci/pre-push.sh; landed on the box mirror under the exception declared by main: main's ruling, 7 Oct 2026 19:5x UK: the GitHub account is suspended, lanes land on the box mirror's master, the box gate stamp is the verdict; GitHub gets the fast-forward when it answers) 2026-10-08 18:51:09 +00:00
igneum-labs
78f9ab3315 Merge 580179ef1 580179ef into master (gate: green on 580179ef, recorded by tools/ci/pre-push.sh; landed on the box mirror) 2026-10-08 18:48:32 +00:00
igneum-labs
caa3040fdc Registry batches: the 2.0.1 literal run (ef0f2ed8 + 2826f37e) and F0's GOV-01 row; the finality cells split
Run 201-ef0f2ed8-2826f37e: node ef0f2ed8 (291ee6ae plus the 2.0.1 version bump) on the key-succession pairing, kaspad check and the five node-side suites green on build-4; the miner cut tip 2826f37e (app crate identical to 2ea7b43f), pow and app green on build-2; evidence at build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/. GOV-01's row takes F0 (docs/plans/igneum-2.0-f0-manifest.md) as its evidence through the batch f0-manifest-20261008-b (the earlier f0 batch landed before the replay existed and never recorded). The map splits the finality cells at the finality lane's ask: harness:finality-sim keeps FIN-08 (the model side), harness:finality-sim-fin02 carries FIN-02's simulator half, node:finality-realnode carries the node lane's real-node lines for FIN-02 and FIN-07.

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 18:44:31 +00:00
igneum-labs
7d3c7daeb4 Merge ci-f0-manifest 57de0e1e into master (gate: green on 57de0e1e, recorded by tools/ci/pre-push.sh; landed on the box mirror under the exception declared by main: main's ruling, 7 Oct 2026 19:5x UK: the GitHub account is suspended, lanes land on the box mirror's master, the box gate stamp is the verdict; GitHub gets the fast-forward when it answers) 2026-10-08 18:41:56 +00:00
igneum-labs
580179ef16 Merge remote-tracking branch 'box/master' into site-2.0-followup 2026-10-08 18:41:55 +00:00
igneum-labs
6dcf915ba0 Chip text: the reconciled per-tier line for the DRAM board (the two chip models agree after placement: 1.5x to 1.8x as a machine, 2.0x to 2.4x for the board alone on the same node; 1.8x to 2.1x and 2.45x to 2.8x a node ahead) replaces the single core-only line
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 18:41:42 +00:00
igneum-labs
d4e7638cb3 Merge hash-registry-1 c1bddb27 into master (gate: green on c1bddb27, recorded by tools/ci/pre-push.sh; landed on the build mirror) 2026-10-08 18:41:01 +00:00
igneum-labs
29c87fedcb Merge floor-eco-record cf5e1a68 into master (gate: green on cf5e1a68, recorded by tools/ci/pre-push.sh; landed on the box mirror) 2026-10-08 18:39:55 +00:00
igneum-labs
65a0d85cd5 Merge finality-boundary 85aecb96 into master (gate: green on 85aecb96, recorded by tools/ci/pre-push.sh; landed on the build mirror under the exception declared by main: finality-boundary registry write-back (the CI steward's form, 19:30 UK): tools/ci/batches/fin-boundary-20261008.json and the registry only; no .rs, Cargo or build file) 2026-10-08 18:38:45 +00:00
igneum-labs
e2dab87b21 Merge audit-f6 721afe16 into master (gate: green on 721afe16, recorded by tools/ci/pre-push.sh; landed on the box mirror) 2026-10-08 18:37:35 +00:00
igneum-labs
7eaefbacb8 Chip text: the whole-machine sentence stands (1.5x to 3.1x; 1.5x to 2.3x on the GPU's own node) with the core-only line beside it (2.8x and 2.4x, placed and routed, plus or minus 15 percent) and the standard's P04 target as approved; the two-source range withdrawn (the coordinator's word: the rows measure different things)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 18:35:36 +00:00
igneum-labs
c1bddb273d test registry: the hash lane's batch 1 (tools/ci/batches/hash-lane-20261008-batch1.json: bench:pc1-packs, bench:pc1-amd, bench:fleet-pods, census:class-v6, suite:pow as RUNNING with their evidence rows under docs/analysis/class-v6/rows)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 18:33:08 +00:00
igneum-labs
b6da0d2402 Merge ca3-coord-record a5d7b515 into master (gate: green on a5d7b515, recorded by tools/ci/pre-push.sh; landed on the build mirror) 2026-10-08 18:32:53 +00:00
igneum-labs
57de0e1e5c F0, the release and assurance manifest: the pins read tonight, main's four rulings, the unresolved-field register, the signing block
docs/plans/igneum-2.0-f0-manifest.md is the fixture F0 every case pins to: the identity pins as the steward read them on 8 October 2026 (the miner cut tip 2ea7b43f, the node roll sha ef0f2ed8, igneum-devnet-4, the object digest be5f4068, the class v5 freeze and its fingerprint, the roles and kits), the four fields main ruled on at 19:3x (P07's workload W as the pilot plan's shape; P00 and P08's fault model and thresholds as the finality spec's own at a1b3977a6; P10's study NOT RUN until unaffiliated participants are recruited, never a staff run; P02's AMD cells the 9070 XT and RX 7600 on PC 1, PARTIAL until a rented AMD cell exists), an unresolved-field register with owners and defaults, and the signing block for 23:30. GOV-01's row (through the batch f0-manifest-20261008, replayed at the merge) adds the manifest to its evidence path and stays RUNNING until the signatures are in.

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 18:32:20 +00:00
igneum-labs
cf5e1a6847 ECO-05 recorded through the acceptance layer: map cells model:eco05 (ECO-05, full coverage of the frozen register) and model:coexist-fixtures (ECO-01, ECO-08 partial); batch eco05-20261008-01 at manifest 80178b3b: ECO-05 FAIL with its evidence, ECO-01 and ECO-08 RUNNING; ECO-01 and ECO-05 out of not_run; the page regenerated
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 18:32:20 +00:00
igneum-labs
85aecb960f Test registry: FIN-02 and FIN-08 recorded RUNNING by the finality boundary lane (batch fin-boundary-20261008, cell harness:finality-sim, evidence sim/results_v2.md, manifest a1b3977a6); PASS waits on the F4 fault-network run and the independent review, FIN-08's model checking is not the simulator's
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 18:32:17 +00:00
igneum-labs
721afe162f 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
8d0a223797 Chip text: the two placed-and-routed models disagree, so the served sentence carries their range (a DRAM-board machine 1.5x to 2.4x on the same node, 1.8x to 2.8x a node ahead; two sources named, MODELLED, no chip measured) until the 21:00 reconciliation
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 18:29:39 +00:00
igneum-labs
cba311f568 Merge ci-batch-3 a471c0e7 into master (gate: green on a471c0e7, recorded by tools/ci/pre-push.sh; landed on the box mirror under the exception declared by main: main's ruling, 7 Oct 2026 19:5x UK: the GitHub account is suspended, lanes land on the box mirror's master, the box gate stamp is the verdict; GitHub gets the fast-forward when it answers) 2026-10-08 18:28:32 +00:00
igneum-labs
fd24f53b3e Merge the box master (the reference-apps lane's compatibility rows taken whole) 2026-10-08 18:28:26 +00:00
igneum-labs
a5d7b515d5 Igneum 2.0 gap table (the standard's profiles against today's values, main's word on the four F0 fields); Counter ASIC 3.0 status: the 19:0x to 19:3x lines (A05 and A03 closed, the chain-path acceptance fault found by lane D, the three object candidates, the batch replay, build-7/8/9, the coverage line, the freeze ruling)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 18:25:37 +00:00
igneum-labs
64a2edabe5 Merge registry-ux-shipper d3e49304 into master (gate: green on d3e49304, recorded by tools/ci/pre-push.sh; landed on the build mirror) 2026-10-08 18:22:19 +00:00
igneum-labs
a471c0e7a4 A registry landing carries its batches and the merge replays them onto master's copy; tonight's three batches ride it
The acceptance registry is a hot file: three landings in a row lost rule 26's race to another lane's rows during their own seven-minute gate. Now a registry landing carries its run batches as tools/ci/batches/<run id>.json (the files test-record.mjs --record took); merge-to-master.sh, for a branch that added batch files, lets rule 26 pass the registry path (the branch's copy is never what lands), and in the merge worktree takes master's copy of the registry, replays every added batch through the recorder (idempotent), commits the merge and runs the evidence rules on the merged result before the push. Self-test: a fixture where master gained a row after the branch point and the branch carries a batch; the merge lands with both rows. The batches: 200-417c4a57-b2 (the 2.0.1 gate, 30 cases RUNNING), review-harness-20261008T180034Z (POW-01's cross-check, all four anchor groups agree), p01-partb-20261008-01 (POW-06, three parsers, zero panics); the map gains crosscheck:review-harness and part B's command and coverage.

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 18:21:59 +00:00
igneum-labs
70d6226896 Merge pool-registry f603a7bd into master (gate: green on f603a7bd, recorded by tools/ci/pre-push.sh; the full gate runs in CI on this merge) 2026-10-08 18:21:26 +00:00
igneum-labs
194871c014 Merge reference-apps 2ce3e68a into master (gate: green on 2ce3e68a, recorded by tools/ci/pre-push.sh; landed on the box mirror) 2026-10-08 18:19:36 +00:00
igneum-labs
987912a7ee Merge dex-devnet3 e4faecc7 into master (gate: green on e4faecc7, recorded by tools/ci/pre-push.sh; landed on the build mirror) 2026-10-08 18:18:02 +00:00
igneum-labs
677bbe5339 Merge commit '7f0dff072' into site-2.0-followup 2026-10-08 18:15:34 +00:00
igneum-labs
7f0dff0722 site: fix the 2.0 audit's open items and add /docs
Pre-2.0 ledger ids pointed at 2.0 entries or dropped (M32 to D3, E19 to A7,
M4 to C1, P1/P3 to D5; E20, F7, M12 dropped); the dataset row and sentences
read the served dataset policy; engineering-log citations name
docs/bench-log.md; the node1-dn3 source notes gone; the earlier devnet named
in governance; the four words on /address, /proving and /scenes; the tx fee
sentence matches economics; provenance's SP1 sentence reads the current fact;
receipt capitals and the unlabelled timing dropped; the lock tile reads active
and total weight; TEAM-REPORTED labels on app, income, compatibility, build,
light and the dev fee row. New /docs page listing the 2.0 documents by their
master paths, wired into the build, nav, nav check, sitemap, capture and og.
docs/site/audit-2.0.md moves each fixed item into "What was rewritten".

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 18:14:51 +00:00
igneum-labs
d3e49304a5 Merge master into registry-ux-shipper; the shipper's four cases over master's copy (rule 26)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 18:14:44 +00:00
igneum-labs
f603a7bdd0 registry: POW-05 reviewed (binding review section 5a, master 1f6b90fa); merged onto master's copy under rule 26
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 18:13:19 +00:00
igneum-labs
e4faecc7a1 Bridge: the 2.0 devnet's voter table and checkpoints 241 and 242 verified and recorded on the igneum-devnet-4 Sepolia verifier (installTable 0xc2568a7a, 0x2102dae6, 0x61b5d581); docs/contracts/sepolia.json
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 18:11:22 +00:00
igneum-labs
20b0636f95 Class v6 census: the per-site address census (the review's A03): the known-failed v2 case reproduced at 15.15 percent; class v5 and the v6 candidate uniform to 2.7e-7 at the worst address on the live dataset; the cache shares the era windows' by design (the adversary's 72 percent = the Devnet 3 window draw)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>

Documents-only replay of b10fe1351 (b10fe1351dea53344acfa5b764d8215dc77480f3) for the box mirror master
2026-10-08 18:11:09 +00:00
igneum-labs
fe65887c7c Merge build/master into reference-apps (the approved registry carried byte for byte with this lane's run fields inserted; master's nav on every rebuilt page)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 18:10:59 +00:00
igneum-labs
ecbbf06067 Facts: finality active on the Igneum 2.0 devnet from checkpoint 241 (19:08 UK, 115 minutes after block one, 78 percent of active weight), TEAM-REPORTED, case FIN-01; the box master merged
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 18:10:56 +00:00
igneum-labs
224bb1ca5b Merge ca3-coord-record acd113d9 into master (gate: green on acd113d9, recorded by tools/ci/pre-push.sh; landed on the build mirror) 2026-10-08 18:09:15 +00:00
igneum-labs
0cc147471e Merge enforced-proving ad1e24be into master (gate: green on ad1e24be, recorded by tools/ci/pre-push.sh; landed on the box mirror) 2026-10-08 18:06:45 +00:00
igneum-labs
a8c1e5f353 registry: POW-05 reviewed (binding review section 5a, master 1f6b90fa); fields under rule 26
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 18:05:49 +00:00
igneum-labs
1f6b90fa2f Merge binding-review 781538f1 into master (gate: green on 781538f1, recorded by tools/ci/pre-push.sh; the full gate runs in CI on this merge) 2026-10-08 18:03:43 +00:00
igneum-labs
85009276a6 Merge master into registry-ux-shipper (rule 26: master's registry lines carried)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 18:02:23 +00:00
igneum-labs
3e7a0fff57 Merge remote-tracking branch 'build/master' into reference-apps 2026-10-08 18:02:23 +00:00
igneum-labs
c5f642b5c9 Merge 6c59ec6bd 6c59ec6b into master (gate: green on 6c59ec6b, recorded by tools/ci/pre-push.sh; landed on the box mirror) 2026-10-08 18:02:19 +00:00
igneum-labs
acd113d963 Igneum 2.0 register: the nine review rows (A01 to A09, main's dispatch) and the 19:0x coverage; the registry's times read UK on master's current copy (the enforced-proving and steward rows kept); Counter ASIC 3.0 status: the registry approved and on master, ECO-05's FAIL under P12 and main's three rulings, build-5 green as a Cloud ccx53, the 18:57 kill by name and its re-runs, the pairing rule for 291ee6ae, the lanes' clocks
Rule 26: the registry edit is the time strings only (BST to UK) on master's copy as it stands after 94c265568 and 2160acf1; nothing of any lane's fields is dropped.

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 18:02:10 +00:00
igneum-labs
acbbe44d99 Merge class-v6-family-gate 43adcf75 into master (gate: green on 43adcf75, recorded by tools/ci/pre-push.sh; landed on the build mirror) 2026-10-08 18:01:23 +00:00
igneum-labs
ad1e24be94 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
a1b3977a69 Merge finality-boundary 2e5f1c60 into master (gate: green on 2e5f1c60, recorded by tools/ci/pre-push.sh; landed on the build mirror under the exception declared by main: finality-boundary amendment 2e5f1c603 (the coordinator's word 18:5x BST): docs/spec/finality-guarantees.md only; no .rs, Cargo or build file) 2026-10-08 18:00:03 +00:00
igneum-labs
94c265568a Merge enforced-proving 5e72c422 into master (gate: green on 5e72c422, recorded by tools/ci/pre-push.sh; landed on the box mirror) 2026-10-08 17:59:10 +00:00
igneum-labs
46e5a5c5b4 Merge review-2026-10-08-docs 2da6fe9d into master (gate: green on 2da6fe9d, recorded by tools/ci/pre-push.sh; landed on the box mirror under the exception declared by main: main's ruling, 7 Oct 2026 19:5x UK: the GitHub account is suspended, lanes land on the box mirror's master, the box gate stamp is the verdict; GitHub gets the fast-forward when it answers) 2026-10-08 17:58:21 +00:00
igneum-labs
2160acf1c7 Merge ci-test-map-2 e5b25c3b into master (gate: green on e5b25c3b, recorded by tools/ci/pre-push.sh; landed on the box mirror under the exception declared by main: main's ruling, 7 Oct 2026 19:5x UK: the GitHub account is suspended, lanes land on the box mirror's master, the box gate stamp is the verdict; GitHub gets the fast-forward when it answers) 2026-10-08 17:56:57 +00:00
igneum-labs
781538f138 docs/analysis: binding review section 5a, the external review's A05 (FNV initialisation, the 64-bit fold): the argument, five measured lines, no change for 2.0, the class-version shape if one is wanted
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
2026-10-08 17:55:49 +00:00
igneum-labs
88191499fc Merge build/master into reference-apps (registry fields re-merged) 2026-10-08 17:55:29 +00:00