tk

Software surgery protocol for proof-backed, minimal-diff implementation: Contract → Invariants → Creative Frame → inevitable Incision → Proof. Use when users say "run $tk", "patch-first", "keep the diff small", "state contract + invariants", "one clear incision", "fix it with a validation signal", or orchestration cues like "workers use $tk" / "internally use $tk".