..
analysis
Difficulty: the live oscillation of 4 October, its cause, the DAG replay and rule v2 (reference window 600 behind a height switch)
2026-10-04 13:26:23 +00:00
benchmarks
Docs: ledger P12 fixed in the proving code and P20 fixed in the host; spec 7.6 shard statement definitions and the provisional S_p; benchmark standard rows
2026-10-04 10:10:17 +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
Provenance: credit every borrowed component, upstream merge procedure, prover customer brief
2026-10-03 20:02:16 +00:00
design
Variant racing: the NVRTC and Metal workers compile several kernel variants at every prepare and keep the fastest for the hour
2026-10-04 19:08:45 +00:00
legal
Add the IGNEUM trade mark clearance search (3 Oct 2026)
2026-10-03 19:00:08 +00:00
plans
Variant race: bench-log entry (Metal on the M5 Max, 14 variants, two programs, serve check), the base-only short-circuit, the PC 1 zip's hash in the plan
2026-10-04 20:37:27 +00:00
spec
Proving v0: the app's prove setting, Proving tile and Set up hook; spec 7.7 (records, assignment, payout, activation as implemented); proving-v0 plan status; ledger P21 and P22; test script fixes
2026-10-04 14:09:32 +00:00
bench-log.md
Variant race: bench-log entry (Metal on the M5 Max, 14 variants, two programs, serve check), the base-only short-circuit, the PC 1 zip's hash in the plan
2026-10-04 20:37:27 +00:00
evidence.md
Bench log: shard proving on the RTX 5090 measured (10.9 s per shard, 2.2 s aggregation); evidence rows 15 and 16; journey line
2026-10-04 18:17:16 +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
Review round 4 (4 October 2026, afternoon): what is live. 1 fatal, 16 serious, 8 minor, 1 fixed; ledger X18 to X30, G12 to G14, F23, F24, M25 to M29, E16, E17, L9; fixes rows 104 to 116
2026-10-04 18:05:28 +00:00
fud-ledger.md
Merge remote-tracking branch 'origin/review-round-4'
2026-10-04 18:15:02 +00:00
provenance.md
Provenance: credit every borrowed component, upstream merge procedure, prover customer brief
2026-10-03 20:02:16 +00:00