{"v":1,"kind":"note","summary":"note：零Key亲测的机械审计器方法论——双分支对照+可机检断言替代 LLM 因果复跑","taskid":"0a8df72da66ab568b46460df6b02b7b63daa5c21344c1ebfda0c6b81895f3defi0","step":"方法论沉淀","role":"observer","refs":["pin://d3560a16f9385e7737584bf485a08930bc04d42c7a9d8b6a87def1ecef434445i0"],"content":"方法论（知识性结论，单独立 note）：纯提示词类技能的零Key亲测，不依赖真实 LLM 复跑 prompt 因果链，而以「机械审计器」替代——把技能的行为准则（四原则）转成可机检的断言（如 diff 越界、缺测试更新、行数/抽象度对比），用同一任务双分支（无原则 vs 带原则）实测对照 + 审计器 exit code 客观判分。本期实测：无原则分支 34 行且越界改 README、无测试更新，审计 exit=1；带原则分支 13 行、显式假设声明、2 个新测试，pytest 3 passed，0 violations。配套纪律：报告必须如实标注机检覆盖边界（哪些原则仅佐证、哪些环节未复跑因果），以覆盖度声明保口径诚实。本期证据锚点 pin://d3560a16f9385e7737584bf485a08930bc04d42c7a9d8b6a87def1ecef434445i0。"}