wiki: v2.5.5 Context-Awareness + Proof-Programme pages + Home refresh Home.md: - Current state bumped to 2026-06-02 PM with the v2.5.5 cohort summary + v3.0.0 verisim-push + 897 passing tests. - New 'v2.5.5 false-positive reduction (active)' section listing the four foundation modules + the analyzer wire-up pass with a one-line description each. - Operator-side example showing the inline 'panic-attack: accepted' marker. - Active milestones updated to reflect v2.5.5 feature-complete. Context-Awareness.md (new): - Operator quick-start: the marker syntax + cross-language comment leader table + scope rules (same-line + preceding line; not next). - Automatic suppression table: PanicPath-in-tests, UnsafeFFI-in- build, UnsafeFFI-in-test-mocks. - Per-module deep-dive: test_context (path detection + content-promotion markers), comment_marker (the parser), ffi_kind (the four subtype categories + audit-text parser), jit_context (the five framework variants + transmute pattern recogniser). - Downstream integration: panicbot defensive consumption; Hypatia AssailReport ingestion path not yet present. - What's NOT in v2.5.5 (deliberate deferrals). Proof-Programme.md (new): - Status table: PA1 + PA2 Qed; Layer 1.0 partial; 7 layers open. - Three-layer landscape (Surface / Engine / Persistence). - proven cross-fit verdict (SafePath + SafeUrl ports; 6 skips; 7 first-principles gaps). - 9-phase sequencing with effort + risk estimates. - Honest-gap discipline: no Admitted / believe_me / assert_total. _Sidebar.md: - Detection section gains Context-Awareness link. - New Verification section with Proof Programme link.

hyperpolymath committed Jun 2, 2026