SKILL.md
Dissect
Trace it to bedrock.
Method
- Freeze one question, symbol, workflow, or subsystem and repository state.
- Find every entry: API, command, route, event, job, callback, registry, generated binding,
and configuration key.
- Trace inbound callers, including dynamic dispatch, string registration, reflection, and generated
call sites.
- Trace every branch to terminal effects, including retries, fallbacks, cleanup, cancellation,
error translation, and asynchronous continuation.
- Trace data, mutation, persistence, caches, shared state, and external effects.
- Trace invalid input, partial state, concurrency, time, exhaustion, dependency failure, and
recovery.
- Inspect tests, types, schemas, configuration, documentation, generated files, and runtime wiring.
- Close every edge with
file:lineevidence. Mark every gapUnknownand name missing proof.
Output
Return the report as rendered Markdown.
Question: <one sentence>
State: <stable snapshot>
Flow: <entry -> decisive branches -> terminal effects>
| Path:line | Proven edge, state, effect, or boundary | Unknown |
|---|
Evidence
For each decisive run, give the command, working directory, state identifier, numeric exit, and the smallest untouched decisive output excerpt. A brief plain-language summary may follow only when the report cannot orient the reader by itself.
Boundaries
Negative claims require the search command and result. Symbol search does not prove reachability. Record exact boundary operators.