There was an error while loading. Please reload this page.
docs(home): fix sub-issue mapping for #41 + #45 + record 2026-06-02 sweep Home.md mismapped sub-issue numbers under #41 (had #93 TODOs / #94 Idris2 partials, but #93 is Lean->Rust and #94 is practice gaps) and under #45 (had #88-#92, but those belong under #41 + Frontiers shifted). Corrected mapping per `gh issue view`: - #41 children: #86 unreachable! / #87 panic! / #88 TODOs / #89 Idris2 partials (NOW CLOSED via PR #109 2026-06-02) - #45 children: #63-#66 crash-consistency / #90 concurrency / #91 POSIX 2024 / #92 GDPR-RMO / #93 Lean->Rust / #94 remaining practice gaps Added session-history bullet for the 2026-06-02 post-merge sweep (4 PRs admin-merged, 5 branches deleted to main-only, #111 filed). Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
wiki: full Home page + Session-Log-2026-06-01 Updates wiki from a 35-byte stub to a complete project overview: - Canonical-docs map pointing at the repo (not duplicating content) - Architecture overview + proof-system counts - Active issue umbrellas (#41/#42/#43/#45) + sub-issue map - Contributing notes (GPG-signing, auto-merge defaults, required CI) - Link to Session-Log-2026-06-01 Session-Log-2026-06-01 documents the 16-PR day in three phases (foundation / Option-2+clippy+artifacts / M1 foreign-WIP closure), plus 9 critical technique gains worth keeping for future work. Wiki repos do not support GPG-signing.
Initial Home page