release(v2.5.5): tag the 11-PR context-awareness cohort

Cargo.toml version 2.5.0 → 2.5.5.
CHANGELOG.md [Unreleased] → [2.5.5] — 2026-06-02 with the existing Added entry kept inline.
.machine_readable/6a2/STATE.a2ml metadata + project-context phase updated.

The 2.5.5 cohort comprises 11 PRs landed on 2026-06-02 PM:

  panic-attack:
    #102 — feat(test_context): cross-language test detection + WeakPoint field
    #104 — docs(proof): PROOF-PROGRAMME.md first-principles 3-layer landscape
    #105 — feat(comment_marker): inline 'panic-attack: accepted' suppression
    #106 — feat(ffi_kind): FFI subtyping (BuildSystem / RuntimeAbi / TestMock)
    #107 — feat(jit_context): JIT-framework classifier (Cranelift / Llvm / Wasm / JS)
    #108 — feat(v3.0.0): Chapel→VeriSimDB HTTP push via verisim-push subcommand
    #110 — feat(suppression): Phase 2 analyzer wire-up (apply_v255_context_suppression)
    #111 — proofs(Layer 1.0): Idris2 stripping foundation (Qed shape + base cases)
    #112 — docs(closeout): comprehensive doc refresh + tests/ test_context CI fix

  gitbot-fleet:
    #252 — feat(panicbot): teach translator about panic-attack v2.5.5 test_context

  wiki:
    Context-Awareness page + Proof-Programme page + Home refresh + sidebar update

Verification:
  cargo build --release: clean
  cargo test --release: 897 passing / 0 failed / 4 ignored across 11 test binaries.

Follow-ups tracked as open issues:
  #87  — Chapel Wave 3 (cross-node gasnet/ofi, cluster-runner-gated)
  #113 — Layer 1.0 stripIsIdentityOnStrippedBody slash-slash closure
  #114 — Layer 1.0 block + strings + composition + position-preservation
  #115 — proven SafePath + SafeUrl port-to-Rust
  #116 — v2.5.5 Phase 3 (JitContext consolidation + test-data lexer + block markers)
  #117 — Hypatia AssailReport ingestion path

Release tag will be v2.5.5 on this commit.

Author: hyperpolymath

.machine_readable/6a2/STATE.a2ml

@@ -4,14 +4,14 @@
 
 [metadata]
 project = "panic-attack"
-version = "2.5.0"
+version = "2.5.5"
 last-updated = "2026-06-02"
 status = "active"
 
 [project-context]
 name = "panic-attack"
 completion-percentage = 99
-phase = "CRG C (Beta) — v2.5.0 complete: 25 detection categories + shell completions (bash/zsh/fish/nushell/powershell) + delta reporting"
+phase = "CRG C (Beta) — v2.5.5 complete: 25 detection categories + shell completions + delta reporting + context-aware FP suppression (test_context/comment_marker/ffi_kind/jit_context) + Chapel→VeriSimDB HTTP push + PROOF-PROGRAMME Layer 1.0 partial"
 
 [testing-completion-2026-04-04]
 description = "CRG C blitz completed: unit + smoke + build + P2P + E2E + reflexive + contract + aspect + benchmarks"

CHANGELOG.md

@@ -2,6 +2,10 @@
 
 ## [Unreleased]
 
+## [2.5.5] — 2026-06-02
+
+Release of the v2.5.5 cohort that landed across 11 PRs in panic-attack + wiki + gitbot-fleet on 2026-06-02 PM. Tagged 2026-06-02 PM-evening.
+
 ### Added (2026-06-02 PM) — v2.5.5 context-awareness cohort + v3.0.0 Chapel→VeriSimDB push + PROOF-PROGRAMME
 
 Eight PRs landed in one cohort closing the v2.5.5 ROADMAP section, a v3.0.0 item, and opening the first proof slice of the new PROOF-PROGRAMME.

Cargo.lock

@@ -1,7 +1,7 @@
 # SPDX-License-Identifier: MPL-2.0
 [package]
 name = "panic-attack"
-version = "2.5.0"
+version = "2.5.5"
 edition = "2021"
 rust-version = "1.85.0"
 authors = ["Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>"]