codex/skills/evidence-discipline/SKILL.md
Use for bug reports, PR/issue prose, reviewer comments, user diagnoses, generated summaries, memories, retrieved context, public tracker context, claimed root causes, proposed fixes, fake-minimal repro risk, or any investigation where natural-language context could anchor the implementation scope.
npx skillsauth add tkersey/dotfiles evidence-disciplineInstall this skill globally with one command. Works with Claude Code, Cursor, and Windsurf.
3 of 9 scanners reported clean
Some scanners were skipped, did not run, or reported a non-clean status. Review each row below.
Natural-language context is not neutral. Issue bodies, PR descriptions, review comments, generated summaries, memories, raw retrieval, and user diagnoses can anchor the agent into the wrong problem frame. Treat them as inputs to verify, not as ground truth.
When investigating a bug, issue, PR, regression, review comment, user diagnosis, context packet, or generated report, separate:
Use observations as evidence. Treat claims as hypotheses. Treat proposals as design options. Treat speculation as untrusted until independently verified.
Before editing for a bug or regression, produce or internally maintain:
Observed facts:
- Command/action/input:
- Expected:
- Actual:
- Exact log/error/output:
- Environment/version/context:
Unverified claims:
- Claimed root cause:
- Suggested implementation:
- Claimed related files:
- Claimed repro:
Verification plan:
- Reproduction/check:
- Files/code paths to inspect:
- Invariant or boundary to identify:
Do not broaden the fix beyond the narrowest verified problem unless the code path proves the broader scope is real.
Public artifacts impose review, coordination, and long-term maintenance cost. Do not create or suggest creating public tracker work merely because a local agent found something plausible.
When this skill materially shapes the route, leave a short evidence receipt:
Evidence Receipt:
- observed:
- claims treated as hypotheses:
- proposals treated as options:
- speculation rejected or still unverified:
- narrow verified scope:
- proof path:
Do not include the receipt for tiny direct work unless omission would hide a material scope decision.
testing
Use before local patching when bugs, regressions, malformed state, crashes, parser failures, migrations, cache drift, protocol problems, compatibility requests, tolerant readers, fallbacks, coercions, retries, catch-and-continue logic, or local workarounds may broaden accepted invalid state.
development
Use when non-trivial work needs Challenge Escalation, latent-intelligence activation, frame-market selection, doctrine operators, dominant-move selection, ablation/surface-tax judgment, reification, review comment law, negative capability, route receipts, or proof-bearing refusal to mutate.
development
Apply Algebra-Driven Design. Use for ADD, denotational design, combinator models, law-driven architecture, domain algebra, property tests, codebase modeling, event sourcing, workflow design, or agentic skill design. If the canonical bundle is unavailable, use this wrapper as the minimal ADD kernel and report the missing bundle path.
testing
Kernelized, warrant-issued adjudication for PR review comments, CAS findings, and review-like claims before implementation or thread resolution. Treat each comment as a claim to test, preserve raw identity and artifact state, emit a tiny always-on Claim Decision Kernel, then issue scoped Resolution Warrants and triggered annexes for address, validation, proof-only resolution, do-not-address, delete/collapse/canonicalize, or blocked routes. Mutation is permitted only by an active surface-budgeted warrant. Trigger for `$review-adjudication`, review the review, adjudicate PR comments, refine this list to just those worth resolving, select review comments to resolve, gate review comments before implementation, or route review/CAS findings into `$fixed-point-driver`. Not for implementing fixes, writing rebuttals only, or final merge closure.