菜单
A repro-first debugging procedure with reliable reproduction, fail path tracing, hypothesis disproof, breadcrumb ledger, and completion gates. Use this skill when the request mentions failing tests, regressions, unexpected behavior that needs root-cause diagnosis.
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
A completion gate that compares the current claim against required proof, unresolved risks, and observed validation output before allowing the work to be called done. Use this skill when the request mentions the agent is about to make a completion claim, release or finishing work that depends on proof output, turn-stop checks that need to block completion theater.
A change-with-proof procedure that adds a falsifiable check, makes the smallest implementation change, and reads the proof output before claiming completion. Use this skill when the request mentions implementation tasks that need code, docs, or harness behavior changes, route cards that require a proof-bearing work loop, follow-up work after the outcome has already been framed.
A proposal-oriented learning procedure that captures durable lessons, chooses one destination, and updates memory or harness artifacts only when the note changes future behavior. Use this skill when the request mentions the end of meaningful work that revealed a reusable lesson, sessions that exposed a route defect or repeated friction, trace distillation and proposal-oriented memory updates.
A framing procedure that names the outcome, the governing artifact, the proof surface, and the smallest useful delta before implementation starts. Use this skill when the request mentions broad requests that need an executable next action, implementation work where the acceptance criteria or proof are still fuzzy, spec or harness changes that need a smallest useful delta.
A review procedure that looks for simpler alternatives, traces the actual path, and separates claim from verification before reporting findings. Use this skill when the request mentions requests to review changes for behavioral risk, audit work on harness contracts or proof surfaces, code review situations where findings must be evidence-backed.
A test-focused procedure that writes a failing or contract-revealing check, makes it pass without unrelated behavior changes, and proves the new check is part of completion. Use this skill when the request mentions tasks that exist to add or repair verification, implementation follow-up work that still lacks behavior coverage, contract checks for harness surfaces.
| name | debug-discipline |
| description | A repro-first debugging procedure with reliable reproduction, fail path tracing, hypothesis disproof, breadcrumb ledger, and completion gates. Use this skill when the request mentions failing tests, regressions, unexpected behavior that needs root-cause diagnosis. |
Generated from Skill IR: debug-discipline@1 Do not edit this generated file directly unless this repository intentionally allows generated-surface edits. Update the Skill IR source instead.
Use this when triggers match: failing test, regression, unexpected behavior.
Job to be done: diagnose and fix a defect without guessing.
.agent-harness/playbooks/30-debug-from-symptom.md (reference): extend the compact skill procedure with the longer repro-first debugging workflow Use when the failure is broad, the repro is unstable, or the operator needs the full debugging loop..agent-harness/traces/traceability-template.yaml (asset): capture breadcrumb-style evidence and next actions across multiple debugging runs Use when the investigation needs a durable trace or handoff packet.parser-regression: A parser refactor introduced a failing regression test. Diagnose the root cause, make the smallest fix, and show the proof. Check for: establishes a reliable reproduction; traces the failing path before editing; connects the root cause to the final validation.intermittent-cli-failure: A CLI command fails intermittently in CI but not every local run. Use a repro-first debugging flow and avoid speculative rewrites. Check for: documents missing repro inputs if reproduction is not stable; keeps a breadcrumb ledger of experiments; avoids broad rewrites before root cause.This generated Claude-style skill follows the 9arm-skills shape: one skill directory, one SKILL.md, YAML frontmatter, and behavior-preserving body generated from Skill IR.