Patch Bridge is in the audit-remediation phase. The repo contains a design direction and draft paper surface, but it does not yet justify production or formal-verification claims.
-
✓ remove template residue from public-facing paths
-
✓ align README, state metadata, and paper status
-
✓ replace fake fuzz and placeholder evidence with honest notes
-
✓ add an audit report with current blockers
-
✓ create a real Rust crate target
-
✓ implement minimal detection-to-mitigation bridge flow
-
✓ add real unit and integration tests
-
✓ remove scaffold-only Justfile and container paths (Justfile updated)
-
❏ implement contextual reachability analysis for a bounded set of vulnerability classes
-
❏ add lifecycle management for mitigation application and retirement
-
✓ define proof boundaries honestly and wire proof obligations to concrete artefacts (Preliminary Idris2 ABI added)
-
❏ add end-to-end tests, aspect tests, and benchmarks
-
❏ add reproducible example cases and traceability notes
-
❏ prepare a revised paper whose claims do not outrun the repository