1. Read the demo packet
Start with the public demo result and the proof upgrades page. The goal is to understand how TraceMap labels evidence, gaps, and public-safe summaries.
Adoption playbook
This playbook gives engineering leads, reviewers, staff engineers, managers, and repository owners a bounded way to try deterministic static evidence before asking a team to change how it reviews code.
Public claim level: concept. No public conclusion without evidence. This page is process guidance for review conversations, not a product promise or replacement for engineering judgment.
Starting posture
Workflow
Start with the public demo result and the proof upgrades page. The goal is to understand how TraceMap labels evidence, gaps, and public-safe summaries.
Choose one repository, service area, or review surface with a clear owner and a concrete static question, such as which routes, packages, config families, or database-facing surfaces are nearby.
Run TraceMap against a repository and commit SHA. Treat generated artifacts as evidence to inspect, not conclusions to accept blindly.
Look for rule IDs, evidence tiers, file paths, line spans, commit SHA, extractor versions, coverage labels, and documented limitations when those details are available.
Partial analysis is useful only when it is clearly labeled as partial. Reduced coverage, syntax fallback, unavailable project load, and owner-review rows should stay attached to the packet.
Route the remaining questions to repository owners, runtime owners, test owners, documentation owners, or future extractor work instead of asking static evidence to answer everything.
A successful adoption pass does not need to settle every dependency conversation. It should show whether a team can move from broad dependency worry to a smaller packet: the named surface, the static paths found, the evidence tier, the coverage label, the limitation, and the owner of the next check.
What TraceMap contributes
rule idWhich deterministic extractor or reducer rule produced the row?evidence tierIs the support semantic, structural, syntax/textual, or an explicit unknown?coverage labelIs this complete for the scanned scope, reduced, partial, or unavailable?proof pathWhere can a reviewer inspect the public-safe route, demo result, report family, or source-backed reference?limitationWhat does the packet not prove, and who owns that remaining review step?Boundaries
Public-safe material
Next routes