igneum-labs dc49dcafcd Finality 3.11 Guarantees: safety and liveness bounds derived from Q3, recovery rule, acquired keys, seeds during a pause, test table; simulator scenarios H to K ... Safety: X = 1/3 of total weight while honest votes reach every honest node within 41 min of median time; 4/30 = 13.3% across a longer partition, because only the 17/30 floor binds then (2 x 17/30 - 1). Liveness: Y = 17/30 connected and signing, T = P (1 - Y/(2(1 - Y))) + 107 s, 107 s at 2/3, 43 min at 17/30; below the floor finality pauses and the node reports it. Two certificates at one index: no verified lock is ever withdrawn, operators resolve (replaces the 3.5 re-evaluation). Seeds: uncertified checkpoint allowed (O-4.3 decided). Scenarios H (equivocator across a 50/50 split: conflicts at 12 to 16 min with 20%, none at 13%), I (40/40/20), J (signing stops 1, 6, 24 h), K (bought keys worth 20% and 40% against 30% hash), five seeds each. 3.10 rows for the gaps; open items O-3.15 to O-3.19. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>		2026-10-03 22:41:36 +00:00
..
analysis	Evidence page, end-to-end proving standard, funding plan, security-budget stress, payment routes	2026-10-03 22:35:03 +00:00
benchmarks	Evidence page, end-to-end proving standard, funding plan, security-budget stress, payment routes	2026-10-03 22:35:03 +00:00
commercial	Provenance: credit every borrowed component, upstream merge procedure, prover customer brief	2026-10-03 20:02:16 +00:00
design	Evidence page, end-to-end proving standard, funding plan, security-budget stress, payment routes	2026-10-03 22:35:03 +00:00
legal	Add the IGNEUM trade mark clearance search (3 Oct 2026)	2026-10-03 19:00:08 +00:00
plans	Evidence page, end-to-end proving standard, funding plan, security-budget stress, payment routes	2026-10-03 22:35:03 +00:00
spec	Finality 3.11 Guarantees: safety and liveness bounds derived from Q3, recovery rule, acquired keys, seeds during a pause, test table; simulator scenarios H to K	2026-10-03 22:41:36 +00:00
bench-log.md	Mac app: dial the public seed node first, the home node second	2026-10-03 22:28:58 +00:00
evidence.md	Evidence page, end-to-end proving standard, funding plan, security-budget stress, payment routes	2026-10-03 22:35:03 +00:00
fork-divergence.md	Finality v2: fork reading guide, spec implementation notes, bench entry, observer checkpoints, live page locks	2026-10-03 21:54:24 +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	External review of the litepaper: response, 15 ledger entries, fix rows, open items, four-state rule, miner-app rules, phase-2 gate	2026-10-03 22:29:41 +00:00
fud-ledger.md	External review of the litepaper: response, 15 ledger entries, fix rows, open items, four-state rule, miner-app rules, phase-2 gate	2026-10-03 22:29:41 +00:00
provenance.md	Provenance: credit every borrowed component, upstream merge procedure, prover customer brief	2026-10-03 20:02:16 +00:00