Praxis：知识工作纪律插件

1. 全图：一件交付物怎么从目标走到交付，闸设在哪
2. 目标：先写下做什么、什么算好，审过才往下
3. 计划：拆成几步，每步带一条验收
4. 执行：一步做完、判过，再做下一步
5. 标准文件：产出前写下什么算好、什么不能错
6. 裁决与完成闸：没有别人的裁决，不许说完成
7. 文件约定：每样产物都是一个文件，记忆丢了也能接上
8. 会话钩子：纪律每次开工自动到场
9. 演化：两个半月，闸加了又拆
10. 现状：分三档说

全图：一件交付物怎么从目标走到交付，闸设在哪

一件交付物走五步：写目标文件；拆成单元；每个单元交接、产出、裁决；过完成闸；收尾放回原位。

• 目标高度：AI 和我把做什么、什么算好写成目标文件。审过、我批准，才往下。
• 计划高度：把交付物拆成单元，写成计划文件。单元是计划里的一步：消耗已知的输入，产出一个新东西，带一条验收。
• 执行高度，每个单元走四步：
  • 写标准文件。
  • 交接：从计划里抽出这个单元连同约束，写成一份只给执行者读的文件。执行者是做这个单元的 AI。
  • 裁决：审稿人拿标准文件对照产出。审稿人是没参与产出的另一个 AI。
  • 完成闸：说完成之前的那道闸。手上没有裁决，不许说完成。
• 做到哪一步记在台账里。台账是一份进度文件：哪个单元做完了，哪道闸过了。
• 文件分两层放。耐久层放目标文件和计划文件，留下；草稿层放台账、交接、产出、报告、标准文件、裁决，不进版本库。收尾时交付物放回它自己的位置。
• 往上走叫回流：执行中发现计划错了，回计划高度改原来的计划文件；发现目标错了，回目标高度改原来的目标文件。不新开文件。
• 质量技能不属于任何高度，条件一到就触发：要产出就先写标准文件，要说完成就过完成闸，卡住就排错，改不可替代的原件就先隔离。

每道闸防一种 AI 的惯性，各有自己的验法。

插件由四层构成，缺一层就退化成建议。

• 技能：说明书，告诉 AI 每一步做什么、为什么。
• 脚本：三个，各做一件机械事，让按纪律走比绕开更省事。
• 模板：五份，派执行者、派审稿人的固定提示，交接不靠即兴。
• 闸：阶段之间有过与不过，不过不走。
• 会话钩子把这四层在每次开工时带到场。
• 这一条 2026-06-29 审计之后才定。第一版只搬了说明书，AI 在压力下照样跳过。

我出手三次，看一次。

• 批准目标文件。
• 批准计划文件。
• 选执行方式：派执行者，或在本会话顺序做。
• 裁决出来我看结果。审稿人要的超出目标文件，我推回。

它参照的那套开发纪律，每个技能对应过去一个；抽的是内核，不是内容。

• 先写测试再写代码，变成先写标准文件再产出。测试变成标准文件。
• 子代理驱动开发加并行派发，变成派执行者。每个单元派一个没有本会话记忆的执行者，产物走文件，台账抗失忆。
• 验证后再声称完成，变成完成闸。「运行测试命令」变成「读到独立裁决」。
• 收尾分支，变成收尾。去掉版本控制那一层，留下验证整体、四种收尾选项、沉淀。
• 系统性排错，变成排错。先定位根因再改。
• 砍掉的：只对代码成立、没有可迁移内核的部分，比如轮询等待、版本控制的机械操作。

目标：先写下做什么、什么算好，审过才往下

没有目标文件不许产出，「目标够清楚了」不算理由。

• 入口闸只查一件事：这个交付物有没有一份写下来的目标文件。没有，先调定目标技能。这不是判断题，是查文件。
• 定目标技能一次只问一个问题，提两三个方案带取舍，我同意后写目标文件。目标文件写五样：真实目标，判准，不能错的事实项，约束，不做什么。判准是一段话，说清好的版本长什么样；事实项是会在事实层面出错的条目。两者在标准文件一节细说。
• 目标文件写完过三道：
  • 自审：能不能拿判准裁一个没列举过的情况；两个规划者读它会不会造出不同的东西；有没有把两个交付物捆在一起。
  • 独立审稿人审。
  • 我批准。
• 独立审稿排在我前面，理由：我读到的是被挑过一遍的版本。这道闸花机器的注意力，省我的。
• 我提了修改，两道审都重跑：改过的目标文件就是没审过的目标文件。

琐碎的活只免文件，不免对齐，并且必须说出口。

• 三个条件同时满足才算琐碎：
  • 没有下游消费者。
  • 不对外。
  • 做错了重做一遍不心疼。
• 顺序有意：先问利害，再问代价，不问篇幅。一句口号一行字，利害最高；两万字的会议记录重做也就重做了。
• 琐碎的交付物免目标文件、免审稿人，仍要一句话说清目标、什么算好，并且明说「我在申请豁免」。我可以当场否掉。
• 说出口是机制本身。答三个问题的是执行者，它有省事的动机；对它加更狠的规则没用，因为规则由它自己执行。把答案摆出来有用。
• 这条 2026-07-29 才加。之前入口闸对一句话的活也要走全套，摩擦大到会让人绕开整个系统。

计划：拆成几步，每步带一条验收

计划写给一个没有上下文、品味存疑的执行者；计划里没写的选择，就当它会被做错。

• 一个单元是一次变换：消耗已知的输入，产出一个新产物，带一道验收。单元是工作，不是内容。「收集并分级信源」是单元，「引言」不是。
• 每个单元声明接缝：消耗什么，产出什么，交给谁。执行者只看自己的单元，靠接缝和别的单元接上。
• 约束只写一次，写在头部，值照抄原文；每个单元继承。头部同时写判准：一段话说清好的版本长什么样，让执行者能裁计划没列举的情况。
• 单元模板三步：写标准文件，产出，独立裁决。琐碎单元只跑轻量检查。
• 不许有占位：「待定」「类似单元二」「加点深度」都算计划失败。执行者可能不按顺序读单元。
• 计划写完过三道：
  • 自审四项：每一部分目标都有单元接住；每个单元消耗的东西上游确实产出；无占位；约束能被继承。
  • 独立审稿人对照目标文件审。
  • 我选执行方式：派执行者，或在本会话顺序执行。不替我选。

目标文件和计划文件头部印同一段交棒文字。

• 内容四句：每产出一个产物先写标准文件；宣布完成前派独立审稿人裁决；产出者不自宣合格；项目有目标文件不等于这个产物有标准。
• 理由：AI 的上下文会丢。交接文件只带单元块和计划头部，执行者读到头部就重新接上这套纪律。

执行：一步做完、判过，再做下一步

一个单元一次交接，一个单元一份裁决，做完一个再做下一个，不许攒到最后一起验。

• 进入执行第一件事是读台账。台账在，就不是新开始：先对齐做到哪、哪道闸还没过，再接着做。
• 交接脚本把单元块和计划头部抽成一份交接文件；执行者只读它，不读整份计划。我自己执行时也这样，上下文只装当前单元。
• 执行者是子代理。它读交接文件，写产出文件和报告文件，回话只报状态。报告文件里带自审证据。
• 打包脚本把交接、产出、报告合成一份审核包。审核包是审稿人唯一要读的文件。审稿人也是子代理，另开一个，没有当前会话的记忆。它拿审核包和标准文件，出两条裁决：规格符合与否，质量通过与否。
• 裁决过，记台账，下一个单元。不过，派修复执行者，重审，循环到干净。
• 产物在通过之后被动过，那次通过就不算了。审稿人自己建议的一个词的改动也算：它写建议时对着旧版本，没见过我改出来的东西。

并行还是顺序，看单元之间有没有共享状态。

• 独立的单元一次派出，并行。一个单元消耗另一个的产出，按依赖序。改同一个产物的单元不许并行。
• 派执行者是推荐路径。顺序执行只在子代理不可用、或必须留在本会话时用。
• 派出去不等于不看：完成闸要求看实际产物，不看执行者的报告。

卡住就停，不猜。

• 四种情况停下来问：输入不在；指令不清；验收失败且一次专注修复没解决；计划有缺口。猜出来的单元污染它下游的每个单元。
• 执行中发现计划或目标错了，回上一个高度改原文件，不算失败。
• 反向护栏：回流动的是验收标准本身，改完的目标文件或计划文件要重过它自己的审核闸才能继续。不许把标准降到刚好套住已经做出来的东西。

标准文件：产出前写下什么算好、什么不能错

每个非琐碎产物产出前一份标准文件，两段：什么算好，什么不能错。

• 判准一段话，不是清单。写到别人能拿它裁决我没列举过的情况。多数产物只需要这一段。判准可以指向已有的判准来源，条件是审稿人打得开那个文件，增补写在标准文件里。
• 事实项零到两条，允许为空：会在事实层面出错、认真读也读不出来的条目。数字算错，出处是编的，超了下游硬卡的上限。
• 没有第三段。怎么查是那一条的备注，不是文档的组织原则。
• 判别一条该进哪段只问一句：认真读一遍能发现吗。能，进判准；不能，必须去核、去数、去跑，才是事实项。
• 我自己为质量定的数字不是事实项。「不超过三页，好让决策者读完」，三页是我挑的；把它服务的目标写进判准，不把数字写成事实项。

先定后产和先产后定不是同一件事换个顺序。

• 产出后定的标准回答「我做出来的是什么」，必然通过：没有人给自己定一条自己刚好没做到的及格线。产出前定的标准回答「这东西本该是什么」。
• 写完判准先试裁一次：挑一个拿不准的边界情况，只用写下的那段话裁；裁不动，说明它还不是判准，重写。
• 返工时不许降标准：发现产物没过，改产物，不改标准。

事实项写成失效时会被发现的形状。

这三条 2026-07-30 一天里被同一类错逼出来：同一天同一类错犯了八次，全部由审稿人发现。经过见演化一节。

裁决与完成闸：没有别人的裁决，不许说完成

完成闸自己不判，它只在读到一份针对这个产物、新鲜、独立、通过的裁决之后，放行「完成」两个字。新鲜指裁决之后产物没再改过。

• 声称完成前过五步：找到标准文件；确定什么能证明这个断言；跑；读全；对照。任何一步跳过等于断言，不是验证。
• 非琐碎产物的第零步是硬闸：标准文件不在，停。不自评，不临时编一份标准。
• 第二步永远不是「自己查」。证明是审稿人拿标准文件出的裁决：判准落到具体段落给理由，事实项逐条核。一个不指向任何段落的通过只是一句表态，不是裁决。
• 完成闸只读裁决，不派审稿人。派审稿人这件事只在审核技能里做：走过执行流的产物用终审出的那份裁决，终审是全部单元做完后对整体的一次裁决；单独产出的产物去审核技能取一次。
• 它只看一个本地条件：手上有没有一份针对这个产物的裁决，新鲜、独立、通过，旁边没有未回应的不通过。不做簿记，不追踪上游发生过什么。

审稿人不是测试。

• 测试跑两次同一个答案，第二次是浪费。审稿人的裁决是一份判断样本，另一个同样够格的读者可以裁向另一边。判断有争议、代价高，取第二份独立裁决。
• 第二份读是检验一份我怀疑的裁决，不是否决一份我不喜欢的。因为第一份说不通过才去找第二份，是挑选裁决；两份不一致等于没过。
• 分辨的办法是看顺序：看到裁决之前就有的怀疑，值一次第二读；随不通过一起来的怀疑，是标准在被降低。

拿到反馈之后逐条评估，不表演同意。

• 每条按顺序：用自己的话复述；对照产物核实；对就改，不道谢，改本身就是回应；错就拿证据推回；不清楚先问。
• 审稿人要的超出目标文件，推回是对的。目标文件定义完成，审稿人的偏好不定义。
• 推回错了，说一句事实更正，继续。不长篇道歉，不解释为什么推回。
• 改完之后：这份裁决没见过我的修改，要重审。

文件约定：每样产物都是一个文件，记忆丢了也能接上

每样产物都是一个文件，不贴进对话；贴进对话的东西每轮都被重读，文件路径不会。

• 台账是进度的唯一依据。上下文丢了，信台账和文件，不信记忆。收尾时台账标「已收口」，目标文件和计划文件留作记录。
• 三个脚本各做一件机械事：解析草稿层在哪；从计划抽一个单元成交接文件，顺带附上计划头部；把交接、产出、报告合成审核包。脚本不含判断。
• 脚本的路径锚在技能目录，运行时站在项目目录。这里修过两个错：装成插件后裸路径失效，2026-07-15 修；进插件目录跑脚本，草稿层建到了插件里，07-29 修。
• 五份模板固定审稿人和执行者的输入：目标文件审稿，计划文件审稿，执行者派遣，单元审稿，终审。
• 使用记录：每次调用技能，AI 往当前项目草稿层的一行日志追加一条。这些记录由 AI 自报，不是独立测量；现状一节的调用数字从这里来。

收尾不允许「基本做完」。

• 先验整体：每个单元过了，不等于拼起来的整体对得上目标文件。
• 四个选项，不问开放的「接下来呢」：交付；移交；明确搁置，写明等什么；放弃，归档不删除。
• 沉淀四问：决定了什么、为什么；有没有可复用的模板；学到什么；接手的人需要知道什么。

会话钩子：纪律每次开工自动到场

一个会话钩子，在每次开工时把入口技能全文注入，不是一行「去调用它」的提醒。入口技能是会话开始第一个加载的技能，只做一件事：判断这一轮该调哪个技能。

• 会话钩子是每次开工自动执行的程序。它在四种时刻触发：会话开始，恢复，清空，压缩。压缩指上下文被系统缩短，之后需要重新注入。
• 注入全文的理由：一行指针在压力下会被跳过；全文在上下文里，合理化对照表已经加载，跳不过。
• 包装只有一句「Praxis 已激活」加正文，不带版本号，不复述任何在别处有真源的内容。2026-07-06 定的，理由是包装上手写的每句话都是一处会漂的副本。

入口技能是一张调度表，不是摘要；三道闸每轮重跑。

• 会话开始另有一查：台账、目标文件、计划文件已经在，先读再对齐，不是见文件就开工。「项目已经有目标文件」是最常见的一句合理化：项目的目标文件不等于这个产物的标准。
• 入口技能刻意不复述每个技能说什么。纪律住在各技能里，调用时才加载；读调度表不能代替调用技能。
• 合理化对照表：一栏是 AI 会对自己说的话，一栏是现实。例：「我知道那个技能说什么」对「技能会改，读当前版本」。
• 克制：只调触发的技能，不为每个任务跑全套。没有触发就什么都不需要。

曾经有过第二个和第三个钩子，都拆了。

• 每轮提示钩子，2026-06-29 加，07-06 删。它每轮注入一段状态，慢到超过时限被丢弃，并且把上一个任务的状态带进下一个任务。
• 完成闸的机械兜底，07-10 加，08-12 拆掉。它是一个读会话记录的程序：末句说「完成」而最近一次改产物之后没有验证调用，就拦。它把「叫回原审稿人重裁」判为没验，在一次已过审的收尾上连续误报两次。脚本留在原地，注册摘掉。

演化：两个半月，闸加了又拆

从 2026-06-25 起建到 08-12 最后一次提交，每一次改动都是一次收窄或反转，没有功能增长。

变的是强制的形态，没变的是三条纪律。

• 强制的形态走了四步：散文提醒；结构性依赖；机械闸；拆掉闸。
• 三条纪律一直在：先写标准文件再产出；产出者不裁自己的产物；每样产物都是一个文件。
• 这三条现在仍在手动用，见现状。

现状：分三档说

写这一页的日期是 2026-09-17。文件约定每天在手动用。三档分开说，不混。

在跑，有真实使用记录

• 文件约定与三条纪律：标准文件、裁决记录、台账由我手动调用，九月新增四十份产出。九月的例子：一本书十八章的逐章精读，其中八章有独立裁决；一个播客的知识图谱，十三份按簇的评审记录加一份读者测试；两份日报各一份标准文件。
• 六到八月经插件调度的交付物，精选几件：桌上那盏状态灯的采购、接线、固件、接入四个单元，每个单元一份独立裁决，见作品一；一份学习工作台的设计文档和前两个里程碑，见这一页；一份心理学疗法的内化笔记和行动手册；一个手机分诊页的前后端；作品二那家公司的项目是最重的使用者。

建了，不常跑或没走通

• 会话钩子与机械闸：公开仓库在，最后一次提交 08-12。
• 压力测试场景：建了，删了。
• 使用记录的汇总看板脚本：跑过一次。
• 适配另一个 AI 运行时的清单：写了，没测。

设计中或未测得

• 「五个新会话连续通过」的行为测试从未跑成：它要在干净会话里由人跑，不能在写它的那个会话里自测。
• 排错技能对多因、不可复现的失败没有路径：一篇没传开的稿子、一次没转化的活动不能重跑。记在待办里。

数字只报能证明系统真实存在的。

仓库开源在 GitHub。作品一的主控文件第八版把执行权交给它、第九版收回；作品二那家公司的项目是它最重的使用者。它背后的想法怎么来的，见思考。