We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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.
wiki(chapel): document 5th sharp edge — runner ABI mismatch (echidna#183)
wiki(truthfulness): tests 539→782 (cargo authoritative) The 539 count was `#[test]` annotations only; cargo's runnable count including doctest + integration expansions is 782.
wiki(truthfulness): tests 282→539, 500+→303, PA001b note Sync wiki to truthfulness corrections in panic-attack#100.
wiki: PR #99 MERGED — record all 4 Chapel-2.8.0 sharp edges + outcome After 6 cold-cache CI iterations: 1. MANPATH unbound under set -u 2. CHPL_LLVM unset → 'set CHPL_LLVM to a supported value' 3. chpl --about removed in 2.8.0 4. printchplenv --simple doesn't emit KEY=value (+ glob too tight) Final landing: find $CHPL_HOME/lib -type d -name comm-gasnet hierarchy- independent check. Merged 04:27Z as squash fa122c7a. Branch deleted.
wiki(chapel): printchplenv --simple doesn't emit expected KEY=value Empirical finding from panic-attack#99 run #4 Activate step: the build succeeded, chpl --version reported 2.8.0 cleanly, but printchplenv --simple piped to grep -E '^CHPL_COMM=gasnet$' returned zero output and exit 1. Use a runtime-layout existence check instead — format-independent.
wiki(chapel): document 'chpl --about' removal in 2.8.0 Third sharp edge: 'chpl --about' was dropped in 2.8.0. Use $CHPL_HOME/util/printchplenv --simple, which emits KEY=value lines (anchor as ^CHPL_COMM=gasnet$, not ':\s+gasnet').
wiki(chapel): document CHPL_LLVM=none sharp edge Second cold-build failure on panic-attack#99 traced to Chapel's make verifying clang/Basic/Version.h before building. Record alongside the MANPATH:-} pattern so future chapel-from-source steps don't relearn this.
wiki: Chapel Wave 2 — add Chapel-Metalayer page + Home/Cleanup-Log refs panic-attack#99 lands the chapel-multilocale 7th gate (#87 option A). Document the toolchain choices (gasnet+smp, source-build, cache, manual-counter cache invalidation, cross-locale verification grep) on a dedicated page; cross-link from Home + Cleanup-Log-2026-06-01. Also records the setchplenv.bash MANPATH-unbound-variable fix as a known sharp edge so future chapel-from-source steps can crib the defensive 'export MANPATH=${MANPATH:-}' pattern.
wiki: bootstrap with Home / Sidebar / 2026-06-01 cleanup log
Initial Home page