TK（Surgeon's Principle，外科医生原则）是一套任务到切口的代码改动协议，目标是把变更写成“基本表达”：契约与不变量决定代码，选定的接缝/边界决定代码形状，补丁在正确性允许范围内尽可能小且显然正确。
用途：用于实现或建议代码改动，强调正确性（非法状态不可表示或在边界被拒绝）、内聚（规则只存在于一处）、可审查性（可信的 diff）与耐久性（后续改动更便宜）。
主要能力与输出：分建议模式与实现模式。建议模式输出 Contract、Invariants、Creative Frame、Cut Rationale、Proof Plan；实现模式额外输出 Incision（改动摘要，非 diff）与 Proof（至少一个已执行的信号，如测试、类型检查、构建或运行）。若被需求阻塞，输出 Contract、Invariants、Cut Rationale、Question，暂不给出 Incision/Proof。输出顺序固定，不以 Summary 开头。
使用方式：先写 Contract（一句话说明“可用”的含义）与 Invariants（必须保持为真、必须变为不可能的内容），这是硬性门槛，未写不得动代码。随后做信号检查，若问题属于变体、重复校验、共享键一致、行为即分支、语法/执行分离或合法 combine/identity 等结构性形态，内部参考 $universalist 再选切口。选择最快可信的证明信号（已有单元测试优先于类型检查，再是定向脚本、集成测试），在稳定边界做最小切口，运行证明信号并迭代至通过。
适用场景：棕地（遗留/复杂）代码默认最小化表面积、先删后加、先切接缝、用特征测试约束改动、优先适配器与既有原语；绿地（新代码）默认先定边界、构造时强制不变量、保持核心小而纯、尽早选定规范形式、内置证明信号。
限制与约束：不得伪造证明，未执行信号不得声称 PASS；不得未经明确要求新增依赖；不得散弹式编辑；若指令要求严格产物输出（如单个 diff 块、NO_DIFF 行或严格 JSON），须遵循外层契约，TK 各节仅在内部运行。若执行不可行，需给出确切命令并定义“通过”标准。资料未提供具体安装命令、价格、平台支持或版本信息。