Add formal test suite for threat-detection suppression lifecycle and rule deprecation policy - #55111

Merged

pelikhan merged 6 commits into

mainfrom

copilot/formal-spec-compiler-threat-detection-compliance

Aug 23, 2026

Commits on Aug 23, 2026

Initial plan
Copilot
authored
59a2056
Add formal test suite for suppression lifecycle and deprecation policy norms

Copilot
and
pelikhan
authored
048e463
Address code review: typed rule status constants, sorted required rules

Copilot
and
pelikhan
authored
3746b1e
Add draft ADR-55111: formal tests for threat-detection suppression lifecycle

github-actions[bot]
and
claude
authored
df5f598
Merge branch 'main' into copilot/formal-spec-compiler-threat-detection-compliance
github-actions[bot]
authored
afd7b5d
Verify §5.4 deprecation policy against real spec artifacts; assert manifest audit fields

Copilot
and
gh-aw-bot
authored
3545fa7