Scan
Index a repository into deterministic facts and a SQLite database.
Workflows
TraceMap workflows turn repository snapshots into evidence packets. They help reviewers find what needs review without pretending to observe runtime execution.
Index a repository into deterministic facts and a SQLite database.
Compare contract deltas against indexed facts with coverage-aware classifications.
Merge indexes while preserving source labels, commit SHAs, and original fact IDs.
Find bounded static evidence paths from endpoints or symbols to dependency surfaces.
Start from dependency surfaces and walk back to static roots such as endpoints or symbols.
Compare combined snapshots by stable static evidence keys.
Project static diff evidence into change-impact review items.
Summarize dependency surfaces and coverage across many indexes.
Assemble a release-oriented evidence packet with explicit unavailable sections.
A no-evidence result under full known coverage means something different than no evidence under reduced coverage. TraceMap keeps those outcomes separate.
Future exploration