paqad-ai
Version:
Spec-driven development framework — AI agents that think before they type
32 lines (22 loc) • 1.44 kB
Markdown
# Transition evidence
verified: 2026-11-02
A transition is a claim that a user moves from one surface to another. The map is only as
trustworthy as this claim, so an edge exists only when the code proves the navigation happens,
not when a link merely appears in the source.
## What proves a transition
- A router push, `navigate`, redirect, or equivalent that transfers control to the target surface.
- A followed link whose handler actually performs the navigation, not a bare `href` string that
may be dead.
- A handoff or return between flows, with the `carries`/`returns` payload where the code shows it.
Each transition records `to` (an existing surface id), `trigger` (what causes it), a resolving
`file:line`, and a confidence.
## The link-is-not-an-edge rule
The single most common false positive is treating the presence of a link or route constant as a
transition. It is not. A URL in a config, a commented-out route, or a link to a surface that no
longer exists is not navigation. Record the edge only when the evidence shows the move is
performed at runtime.
## Confidence and dangling targets
- An edge whose evidence directly shows the navigation is `high`. An edge inferred from a weaker
signal is `low`; say so rather than inflating it.
- A `to` that points at no known surface is a dangling target: hand it to the engine as a
cross-reference finding. Do not invent the missing surface to make the edge resolve.