From d87e0459053717a6b2f9c959a865752f4b08e05e Mon Sep 17 00:00:00 2001 From: Felix Date: Sun, 16 Aug 2026 00:17:10 +0800 Subject: [PATCH] Align roadmap with shipped evidence support --- ROADMAP.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/ROADMAP.md b/ROADMAP.md index e9da11f..7003f21 100644 --- a/ROADMAP.md +++ b/ROADMAP.md @@ -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.