Commit d5f3a4f
authored
release(v2.5.5): tag the 11-PR context-awareness cohort (#118)
## Summary
Bumps Cargo.toml `2.5.0` → `2.5.5` and flips `CHANGELOG.md`
`[Unreleased]` → `[2.5.5]`. STATE.a2ml metadata + project-context phase
updated.
## What lands as v2.5.5
The 2.5.5 cohort comprises **11 PRs** landed on 2026-06-02 PM across
panic-attack + wiki + gitbot-fleet — see CHANGELOG for the full per-PR
breakdown.
| Repo | PR | What |
|---|---|---|
| panic-attack | #102 | test_context foundation |
| panic-attack | #104 | PROOF-PROGRAMME 3-layer landscape |
| panic-attack | #105 | comment_marker inline suppression |
| panic-attack | #106 | ffi_kind subtyping |
| panic-attack | #107 | jit_context classifier |
| panic-attack | #108 | Chapel→VeriSimDB HTTP push |
| panic-attack | #110 | Phase 2 analyzer wire-up |
| panic-attack | #111 | Layer 1.0 strip-idempotence partial |
| panic-attack | #112 | Docs closeout + tests/ CI fix |
| gitbot-fleet | #252 | Panicbot translator honours test_context |
| wiki | — | Context-Awareness + Proof-Programme pages + Home refresh |
## Verification
- `cargo build --release`: clean
- `cargo test --release`: **897 passing / 0 failed / 4 ignored** across
11 test binaries
## Follow-ups (open issues)
- #87 — Chapel Wave 3 (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
## After merge
Tag `v2.5.5` will be pushed to the squashed merge commit.1 parent 2fc73bd commit d5f3a4f
4 files changed
Lines changed: 8 additions & 4 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
4 | 4 | | |
5 | 5 | | |
6 | 6 | | |
7 | | - | |
| 7 | + | |
8 | 8 | | |
9 | 9 | | |
10 | 10 | | |
11 | 11 | | |
12 | 12 | | |
13 | 13 | | |
14 | | - | |
| 14 | + | |
15 | 15 | | |
16 | 16 | | |
17 | 17 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
5 | 9 | | |
6 | 10 | | |
7 | 11 | | |
| |||
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | 2 | | |
3 | 3 | | |
4 | | - | |
| 4 | + | |
5 | 5 | | |
6 | 6 | | |
7 | 7 | | |
| |||
0 commit comments