Use the smallest workflow that can prove the requested behavior without hiding risk.
Do not ask the user for facts that can be discovered from the repository, runtime, logs, or tools.
If the problem is difficult to reproduce or the cause remains uncertain rather than merely ambiguous, hand off to
.
Do not run the full test suite or invoke formal
by default. Use them when repository instructions require them, the user explicitly requests them, the focused signal is insufficient, or the scope gate proves the change is not actually small.
Do not commit or push unless the user or applicable repository workflow requests it.
Never claim the change is safe merely because the diff is small.