hand-compute - Hand-compute evolving system state
Manually traces concrete state transitions to debug races, async behavior, regressions, state machines, and unfamiliar system flows.
Tags
Updated: 2026-09-29Capabilities
Typical Inputs
Typical Outputs
What this skill does
- Select an analysis shape
- Hand-compute concrete state
- Trace broken behavior
- Validate proposed fixes
- Check invariants across phases
- Surface hidden transitions
- Scope features against state models
Inputs
- System behavior
- Source code
- Bug report
- Reproduction steps
- Feature requirements
- Proposed fix
Outputs
- State transition traces
- Identified invariant breaks
- Fix validation results
- Feature design decisions
