paqad-ai
Version:
Spec-driven development framework — AI agents that think before they type
29 lines (20 loc) • 1.42 kB
Markdown
# Extraction evidence
verified: 2026-11-02
Extraction is the deterministic floor of the map: a surface exists only if the code proves it.
This reference is the bar for accepting, excluding, or flagging a surface.
## What resolving evidence means
- Every surface carries at least one `file:line` that a reader can open and see the surface
declared: a route registration, a command definition, an endpoint handler.
- `derivation: static` means the extractor read the declaration directly. `derivation: convention`
means it matched a naming or directory convention; those are weaker and downstream skills tag
them `confidence: low` until confirmed.
## Dedupe discipline
- The same surface reached two ways (a route and its alias) is one surface with unioned evidence,
not two. The engine dedupes by a stable fingerprint; do not re-split a deduped surface.
## Anti-false-positive discipline
- Do not accept a surface the extractor did not ground. If the engine could not resolve its
evidence, it is a flag, not an entry.
- An empty extraction on a non-trivial app is a coverage gap to surface, never a clean map to
celebrate. Record it as a `blocked_checks` entry with the reason the extractor found nothing.
- The fingerprint is the identity of the extraction. If two runs over the same tree produce
different fingerprints, something non-deterministic leaked in: investigate, do not paper over it.