Trace Bug
The first task is to reproduce what the user experiences, not to patch the first suspicious line.
Workflow
- Capture the report, environment, expected behavior, observed behavior, frequency, and impact.
- Reproduce the defect end to end as closely as possible to the user path. Preserve the command, inputs, logs, screenshot, or trace.
- If it does not reproduce, vary one dimension at a time: data, timing, permissions, platform, locale, network, cache, concurrency, or version.
- Build a hypothesis ledger before editing.
- Instrument or inspect the boundary that most efficiently separates competing hypotheses.
- Identify the first point where actual state diverges from expected state.
- Add a regression test that fails for the root cause, not just the visible symptom.
- Apply the smallest root-cause fix. Avoid unrelated refactors until green.
- Re-run the end-user reproduction, regression, relevant suites, and adjacent failure modes.
- Remove diagnostic code and review the final diff.
Hypothesis ledger
| Hypothesis | Prediction | Discriminating check | Result | Status |
| --- | --- | --- | --- | --- |
Statuses: untested, supported, rejected, root-cause, contributing.
Flake discipline
- Preserve seed, order, timing, machine, retries, and pass/fail history.
- A retry is diagnostic evidence, not a fix.
- Do not add sleeps when an observable condition can be awaited.
- Distinguish product nondeterminism, test pollution, environmental variance, and insufficient assertions.
Stop rules
- Do not change production code before a credible reproduction or a clearly documented substitute exists.
- Do not broaden the fix beyond the causal chain without new evidence.
- If evidence contradicts the original report, report the contradiction instead of forcing a diagnosis.
Evidence packet
Return reproduction, root cause, rejected hypotheses, regression test, fix, verification commands and outcomes, adjacent risks, and any environment where the defect remains untested.
1---2name: trace-bug-23description: Diagnose and fix a reproducible defect by starting from the end-user failure, tracing evidence across boundaries, testing competing hypotheses, and adding a regression test. Use for bugs, flaky behavior, and unexplained test failures. Do not use for feature design.4license: Apache-2.05---67# Trace Bug89The first task is to reproduce what the user experiences, not to patch the first suspicious line.1011## Workflow12131. Capture the report, environment, expected behavior, observed behavior, frequency, and impact.142. Reproduce the defect end to end as closely as possible to the user path. Preserve the command, inputs, logs, screenshot, or trace.153. If it does not reproduce, vary one dimension at a time: data, timing, permissions, platform, locale, network, cache, concurrency, or version.164. Build a hypothesis ledger before editing.175. Instrument or inspect the boundary that most efficiently separates competing hypotheses.186. Identify the first point where actual state diverges from expected state.197. Add a regression test that fails for the root cause, not just the visible symptom.208. Apply the smallest root-cause fix. Avoid unrelated refactors until green.219. Re-run the end-user reproduction, regression, relevant suites, and adjacent failure modes.2210. Remove diagnostic code and review the final diff.2324## Hypothesis ledger2526```markdown27| Hypothesis | Prediction | Discriminating check | Result | Status |28| --- | --- | --- | --- | --- |29```3031Statuses: `untested`, `supported`, `rejected`, `root-cause`, `contributing`.3233## Flake discipline3435- Preserve seed, order, timing, machine, retries, and pass/fail history.36- A retry is diagnostic evidence, not a fix.37- Do not add sleeps when an observable condition can be awaited.38- Distinguish product nondeterminism, test pollution, environmental variance, and insufficient assertions.3940## Stop rules4142- Do not change production code before a credible reproduction or a clearly documented substitute exists.43- Do not broaden the fix beyond the causal chain without new evidence.44- If evidence contradicts the original report, report the contradiction instead of forcing a diagnosis.4546## Evidence packet4748Return reproduction, root cause, rejected hypotheses, regression test, fix, verification commands and outcomes, adjacent risks, and any environment where the defect remains untested.
leihuang23