Given that [formal models and requirements traceability](https://github.com/fedi-e2ee/pkd-formal) are handled in an external repo, the only work needed to lift pkd-server-php to v1.0.0 territory is: - [x] Mutation Testing - [x] Running in CI - [x] MSI > 95% (currently 98%) - [x] Fuzz Testing - [x] Running in CI - [x] Covers all encoding/decoding and PSR-7 objects - [ ] Psalm - [x] Running in CI - [ ] Error level 1 (currently 3) - [ ] PHPStam - [x] Running in CI - [ ] Strictness level 9 (currently 7) - [x] Semgrep - [x] Running in CI - [x] No unresolved detections
Given that formal models and requirements traceability are handled in an external repo, the only work needed to lift pkd-server-php to v1.0.0 territory is: