igneum-labs b6d3f52cc7 Program id derivation stated exactly (adv-accept-3 documentation finding, 7 October 2026): the id and its printed derivation come from one byte recipe; program.json and spec 1.4.6 name the 'sub/' || sub_version_le16 suffix of generator 4 and the class-rung form; every pinned pack's id re-derived from its own text ... generator.rs: IdRecipe (bytes + labelled parts), program_id_recipe and program_id_class_recipe build the bytes the id hashes and the text program.json prints, Program::program_id_derivation picks the form as program_id does. emit.rs prints that text. Spec 01 section 1.4.6 (the "Program id" paragraph) states the suffix, the class v5 form (generator 5, no suffix) and the rung form. tests/derivation.rs re-derives each of the 18 pinned packs' ids from its own derivation string with the pack's fields only (the plain text gives 8aa9f185d63f269e for the devnet v4 pack where the id is a785001687d8688a: the known-failed case). Packs: program.json re-exported for the 7 generator-4 packs and the 9 shadow ladder packs, one line each (the derivation); every other file byte-identical on re-export, ids and fingerprints unchanged. No object change. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>		2026-10-07 20:25:53 +00:00
..
analysis	Merge origin/master 0caa3cc5 into ca3-v4-amend (igneum-pow kept byte-identical to the frozen c79f6d96 per main's stop-the-line ruling; the ledger keeps both sides)	2026-10-07 16:40:29 +00:00
api	Public stats API: /api/stats and /api/supply, documented with live examples, contract test and a live check	2026-10-05 19:35:40 +00:00
benchmarks	Counter ASIC 3.0 items 6 and 7: proposed reserve order and spec text (docs/plans/counter-asic-3-reserve.md), the vendor-share section on the benchmark page, the observer README row	2026-10-06 07:40:41 +00:00
brand	Brand: before/after Finder renders of the app and DMG volume icons (docs/brand)	2026-10-04 11:51:11 +00:00
commercial	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
community	Discord structure: release webhook moved to #releases, post 1's channel line edited by webhook; both read back (7 October 2026, 13:1x UK)	2026-10-07 12:14:12 +00:00
design	Genesis forward-compatibility: key hashes in the harness summaries cut to 16 hex characters (the no-secrets gate reads committed summaries; the writer redacts at write time)	2026-10-07 14:02:24 +00:00
evidence/reproduced	Repro 0.3.14 and 0.3.15 re-run with sccache off (RUSTC_WRAPPER pass-through): A vs B MATCH on all eight artefacts, hashes unchanged; evidence files regenerated	2026-10-06 20:22:06 +00:00
legal	Add the IGNEUM trade mark clearance search (3 Oct 2026)	2026-10-03 19:00:08 +00:00
plans	Counter ASIC 3.0 status: Devnet 3 now (0.3.22, genesis by 17:30Z), the frozen sub-version 3 handoff (c79f6d96, byte 7, id a785001687d8688a, gates green, open items stated), the chip text rewritten launch-first	2026-10-07 16:32:40 +00:00
posts	Hero shortened on the project lead's word (6 October 2026, 16:4x UTC): the same claims in 70 words; the reddit post saved as docs/posts/reddit-2026-10-06.md	2026-10-06 16:20:01 +00:00
security	Key custody: inventory, encrypted backup and restore, no-secrets CI check	2026-10-05 17:01:01 +00:00
spec	Program id derivation stated exactly (adv-accept-3 documentation finding, 7 October 2026): the id and its printed derivation come from one byte recipe; program.json and spec 1.4.6 name the 'sub/' || sub_version_le16 suffix of generator 4 and the class-rung form; every pinned pack's id re-derived from its own text	2026-10-07 20:25:53 +00:00
testnet	Merge fee-switch into release-0.3.9: the prover mirrors both fee tables and fees_v1_activation_daa (new pinned guest), the devnet runbook for H = 210,000	2026-10-05 16:28:21 +00:00
bench-log.md	RTX 5060 Ti (16 GB, Razer Core X V2 Thunderbolt) on PC 2: detection, G1 bit-exact on class v4 sub-version 1 and the v3 control, the 10-minute stock window, the bench-log entry, the card-picker entry and the public table row	2026-10-07 15:05:47 +00:00
bugs.md	app: every elevated launch through one hidden-console builder; CI check for Windows spawns; PC 1 console watchers	2026-10-06 08:21:46 +00:00
evidence.md	site-ui-4: the header on every page (six items, Download, the burger with its open state and aria), OS marks on the download cards, the footer redesign (icon row GitHub, Discord, Reddit; Contact eyebrow; one baseline grid; the state word and the year), the chip-model text (prize sentence cut, the bounded hot-set row), live-dag.js 2.0.2 narrow options for phones, the nav build check, the word-bounded rig-name check	2026-10-07 09:59:42 +00:00
fork-divergence.md	Docs: devnet-v4 integration section (merge order, devnet v4 rules, compatibility, cut-over commands) and bench-log entry	2026-10-04 01:23:42 +00:00
fork-map.md	Finality quorum: 2/3 of active weight and at least 56.7% of total, per simulation v2	2026-10-03 16:15:15 +00:00
fud-fixes.md	Site truth, 6 October 2026: the ledger's stated sentences merged, the bounty struck, draft (a) on the chip line, the measured prover tiers, the ledger page, the evidence page generated from its source, the live scene reading the live state	2026-10-06 16:12:30 +00:00
fud-ledger.md	Merge origin/master 0caa3cc5 into ca3-v4-amend (igneum-pow kept byte-identical to the frozen c79f6d96 per main's stop-the-line ruling; the ledger keeps both sides)	2026-10-07 16:40:29 +00:00
provenance.md	Provenance: credit every borrowed component, upstream merge procedure, prover customer brief	2026-10-03 20:02:16 +00:00