| .. |
|
analysis
|
attack-pass lane (d): F1 shadow redundancy on the frozen class v5 tip dba17a0a, 10^5 programs, max 4.688 percent, 0 mismatches, PASS (the 0.3.24 gate line; AP-F1-1 FIXED-AND-PASSED on v5)
|
2026-10-08 04:22: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
|
Pre-public scrub, the text pass (7 October 2026, 19:5x UK): no founder name, personal login, earlier business or personal address in any tracked text file, and a gate check that keeps it so
|
2026-10-07 18:39:50 +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
|
Pre-public scrub, the text pass (7 October 2026, 19:5x UK): no founder name, personal login, earlier business or personal address in any tracked text file, and a gate check that keeps it so
|
2026-10-07 18:39:50 +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
|
Merge ca3-coord-record aeeedf3b into master (gate: green on aeeedf3b, recorded by tools/ci/pre-push.sh; landed on the build mirror)
|
2026-10-08 04:28:50 +00:00 |
|
posts
|
Pre-public scrub, the text pass (7 October 2026, 19:5x UK): no founder name, personal login, earlier business or personal address in any tracked text file, and a gate check that keeps it so
|
2026-10-07 18:39:50 +00:00 |
|
security
|
Pre-public scrub, the text pass (7 October 2026, 19:5x UK): no founder name, personal login, earlier business or personal address in any tracked text file, and a gate check that keeps it so
|
2026-10-07 18:39:50 +00:00 |
|
spec
|
Spec 01 1.4.6.5: the shipped rule's own rejection shares beside the class v2 census figures (adv-accept's 20,000-seed attempts census on sub-version 3, 8 October 2026: 68.1 percent rejected per candidate, (a') 83.5 percent of rejections, mean accepted attempt 2.1, 0 exhaustions)
|
2026-10-08 00:42:31 +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
|
Bench log: the class v4 efficiency passes on the RTX 5090 and the RTX 5080 (7 to 8 October 2026): every row, the knee per card, the best MH per watt points, the premium at the lock, the lever and its limits
|
2026-10-08 01:58:57 +00:00 |
|
bugs.md
|
Pre-public scrub, the text pass (7 October 2026, 19:5x UK): no founder name, personal login, earlier business or personal address in any tracked text file, and a gate check that keeps it so
|
2026-10-07 18:39:50 +00:00 |
|
evidence.md
|
Evidence row 17: the class v4 efficiency passes on both cards from the bench log's entry (the 5090's knee, best points and premium; the RTX 5080's clock-lock pass of 8 October 2026 with its per-tier reading); a what-moved table for 8 October; /evidence rebuilt
|
2026-10-08 02:06:34 +00:00 |
|
fork-divergence.md
|
Pre-public scrub, the text pass (7 October 2026, 19:5x UK): no founder name, personal login, earlier business or personal address in any tracked text file, and a gate check that keeps it so
|
2026-10-07 18:39:50 +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
|
Pre-public scrub, the text pass (7 October 2026, 19:5x UK): no founder name, personal login, earlier business or personal address in any tracked text file, and a gate check that keeps it so
|
2026-10-07 18:39:50 +00:00 |
|
fud-ledger.md
|
Ledger AP-F8-5: fixed on two measurements (adv-accept-3 Q4c at 9b2b17cd, 0 of 400 with one crate function; Q4d at 34168eb8, 0 of 400 with no crate import; report sections 6.5 and 6.6); the public ledger and the ledger page regenerated
|
2026-10-08 00:59:32 +00:00 |
|
ledger-public.md
|
Merge build/master cde05e1f into spec-accept-23 (the hash lane's derivation recipe and test taken; the rewritten 1.4.6 keeps its program-id paragraph, which carries the recipe's text; AP-F8-4 ordered before AP-F8-5; the public ledger and the ledger page regenerated)
|
2026-10-07 22:44:49 +00:00 |
|
provenance.md
|
Site freshness sweep, 7 October 2026 evening (site-fresh-23): every served page against tonight's facts
|
2026-10-07 21:03:10 +00:00 |