Skip to content

Align roadmap with shipped support #61

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
hzw0813 merged 1 commit into from
Aug 15, 2026
Merged

Align roadmap with shipped support #61

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions ROADMAP.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,8 +4,8 @@ ProofDiff prioritizes correctness, trustworthiness, and security over feature co

## Before 1.0

- Add runtime coverage ingestion as a distinct evidence type; never infer coverage from test names.
- Improve TypeScript path-alias and Python package-root resolution without silently guessing.
- Expand runtime coverage ingestion beyond the current LCOV support while keeping coverage a distinct, explicitly commit-bound evidence type; never infer coverage from test names.
- Expand bounded TypeScript path-alias and Python package-root resolution without silently guessing.
- Support check configuration with a reviewed, explicit allowlist format.
- Benchmark and stream analysis for repositories beyond the current 5,000-file cap.
- Add tested adapters for Go and Rust after gathering real repository requirements.
Expand Down