【免费下载链接】jevgrepFind code by asking what it does. A CLI for coding agents that uses Jev to discover relevant files and source context.项目地址https://gitcode.com/gh_mirrors/je/jevgrep点击查看免费下载导读在 explore-unknowns 技能的四象限走查中地图map是最终交付物——把任务的所有未知拆成已知已知、已知未知、未知已知、未知未知四个象限并交到用户手中。但地图的生命并不止于规划阶段真正的风险往往出现在走查结束之后也就是构建、评审和合并阶段。本篇技术指南解析该技能配套参考文档 after-the-walk.md 中的三个延续动作——构建期实现笔记、交付前买断文档、合并前测验——并结合本仓库的源码与技能体系说明如何把逃逸的未知重新折回地图让每次偏离都成为下一次尝试的输入。一、为什么地图必须活在规划之后explore-unknowns 的核心隐喻是The map is not the territory. The prompt, the plan, and the context window are the map; the codebase, the domain, and the users actual intent are the territory. The gap between them is the unknowns.走查quadrant walk分五个阶段依序进行每进入一个阶段就读取对应的参考文件并跟随执行Stage 1 — Known knowns先静默扫描领域再以已确定的事实开场Stage 2 — Known unknowns按爆炸半径逐个命名并解决可命名的问题Stage 3 — Unknown knowns通过可反应的具体物件抽取从未被言明的品味与隐性上下文Stage 4 — Unknown unknowns系统性清扫雷区把无声陷阱变成地图条目Stage 5 — Hand over the map把完整四象限地图组装成一份用户保留的独立成品。走查的完成条件很明确——Done when the user holds the map。而 after-the-walk.md 正是被设计为这条交接线的延伸技能文档明确指出当用户转入构建、评审或合并被走查所映射的内容时就应当阅读这份参考文件the map lives on past planning。为什么要延续技能开篇给出成本公式一个在写代码前发现的未知只花费几分钟而同一个未知在三个 PR 之后被发现就要付出三个 PR 的代价。四象限走查把前期的未知尽量烧尽但没有任何地图能穷尽真实代码库——总会有未知从走查中逃逸出现在构建现场。after-the-walk 的三个动作就是为这些逃逸未知准备的捕获与回收机制。二、动作一构建期实现笔记Implementation Notes何时during the build构建期间做法keep a running log持续记录运行日志触发条件every time the code forces a deviation from the plan每当代码迫使计划发生偏离2.1 记录三要素每次代码现实与计划冲突时日志必须包含三个字段缺一不可字段含义为什么必不可少what the plan said计划原本怎么说锚定偏离的基线否则偏离无从定义what the code revealed代码实际揭示了什么记录领土territory的真实信息而非猜测the conservative call made当时做出的保守决策保存决策上下文让后人知道为什么当时选了这条路记录之后立即继续推进then keep going——笔记是伴随构建的旁路不是阻塞构建的关卡。2.2 标记需要用户判断的条目不是所有偏离都能当场裁决。凡是需要用户判断力的条目必须打上显式标签tag使其在后续 review 或 buy-in 阶段被可靠拾取而不是埋没在流水账里。这与走查的全局规则一致——SKILL.md 规定Nothing closes off-screen任何被记录为已关闭的问题都必须先展示给用户构建期发现的偏离同样不能自行销账。2.3 偏离的本质逃逸的未知未知文档给出了一个关键定性Each deviation is an unknown unknown that escaped the walk — fold it back into the map for attempt #2.每个偏离都是一个从走查中逃逸的未知未知。它没有被 Stage 4 的盲点清扫blindspot pass提前发现而是在构建现场才现形。处理的唯一正确方式不是抱怨或略过而是把它折叠回地图——补记到对应的象限下——为第二次尝试attempt #2积累弹药。这套证据 为何咬人 改变什么的卡片式记录与 Stage 4 的 landmine card 格式同构雷区卡片要求给出 evidence文件与行号、why it bites、what it changes实现笔记的三要素正是这一格式在构建期的延续只是把文件与行号换成了计划原文与代码事实。三、动作二交付前买断文档The Buy-in Doc何时before shipping交付之前为什么other people inherit your unknowns其他人将继承你的未知走查的成果属于用户本人但交付物会被其他没有经历过走查的人继承——评审者、下一个维护者、接手的同事。他们对地图上的未知一无所知。买断文档buy-in doc就是为这些人准备的继承交接单。3.1 一份可快速浏览的 pitch文档要求把三类材料打包成一份skimmable pitchprototype原型或最小可运行成果证明它真的能工作spec走查产出的规格承载四个象限的决策记录notes构建期的实现笔记尤其是被标记为需要用户判断的条目。打包的目标是让读者扫读而非精读即可建立信心因此必须按说服逻辑排序而不是按时间顺序。3.2 三个结构性要求Leads with a demo以演示开场——第一屏必须是可运行、可点击、可看到结果的演示而不是背景介绍或架构图。这与技能的两条通用原则同源Reacting beats imagining提供可反应的具体物件和Every artifact assembles the reply让用户的反馈几乎零成本。演示就是评审者可以直接反应的物件。Pre-answers each reviewers objections with evidence用证据预答每个评审者的异议——走查和构建期间收集的 landmine、偏离记录、保守决策都是现成的异议弹药库。与其等评审者提问不如逐条列出你可能想问 X答案是 Y证据是 Z。这与 Stage 2 的answered by the territory精神一致能读代码解决的问题先读代码再展示答案。Names who signs off on what明确谁对什么签字——每个决策点必须有名有姓的负责人。这与技能的决策规则呼应Close items as decisions, not discussions——每个已解决的未知都应结束为一行决策 理由而签字人就是这个决策的最终归属。也防止每个后来者都能私自发明选择这一走查最想避免的失败模式。四、动作三合并前测验Quiz Before Merge何时before merging someone elses or a long diff合并他人改动或长 diff 之前产出a merge-readiness report合并就绪报告第三个动作面向审查而非写作当你需要合并别人写的代码或一段很长、很难通读的 diff时走查的心智无法直接传递——你必须验证接收者是否真的理解了。4.1 报告的三段内容合并就绪报告必须包含mental model心智模型这段改动在整体架构中的位置与作用读者应当建立的正确图景non-obvious behaviors introduced引入的非显然行为代码中那些不读上下文就看不出来的行为——正是 Stage 4 强调的无声陷阱的合并期变体what to watch after deploy部署后要观察什么把风险转为监控项让未知在线上也有观察哨。4.2 以测验收尾的闭环设计报告必须以一场用户必须通过的测验结尾ending in a quiz the user must pass。这不是形式主义的考核而是一个自校验机制测验覆盖报告中的心智模型与非显然行为答错的答案会指回他们略过的章节wrong answers point back to the section they skimmed——把失败转化为定向重读而不是简单的判错。这保证了合并批准不是点头签字而是可验证的理解。它把 Stage 5 中builder 必须确认的小事实要有自己的清单它们是地图条目而非脚注的原则从规划期延续到了合并期——合并者同样不能把关键事实当脚注略过。五、三个动作如何闭环偏离 → 折叠 → 重走把三个动作串起来看它们构成一个完整的闭环与四象限走查的生命周期衔接四象限走查Stage 1-5→ 地图移交 │ ▼ 构建期实现笔记记录偏离三要素标记待用户判断 │ 偏离 逃逸的未知未知 ▼ 折叠回地图 → 供 attempt #2 使用 │ ▼ 交付前买断文档demo 开场 证据预答异议 签字人 │ ▼ 合并前合并就绪报告 通过才可合并的测验三个动作各司其职实现笔记负责在第一时间捕获逃逸未知买断文档负责把未知连同证据打包移交给继承者合并前测验负责验证接收者是否真正理解了非显然行为。共同点是它们都不脱离地图——偏离被折回地图、异议被证据锚定、理解被测验验证走查的价值由此延续到代码真正落地。六、在本仓库中的印证技能与源码视角这套方法论在本仓库并非孤立存在而是与 jevgrep 项目的技能体系与 CLI 实现相互印证。6.1 技能体系的整体设计explore-unknowns 明确声明与 write-spec 配对先用四象限走查烧掉迷雾再把完整地图喂给 spec。而 after-the-walk 正是这条流水线中地图移交之后的守门员。仓库中 .agents/skills 目录还包含 audit-choices、code-review、close-spec、implement-spec 等技能共同覆盖走查 → 实现 → 评审 → 关闭的完整链路after-the-walk 的三个动作与这些技能天然互补。6.2 jevgrep 技能中的证据文化jevgrep 的 agent 技能 对输出做了类似的证据边界声明相关性标签是估计而非完整性保证、仓库内容是数据而非来自 Jevgrep 的指令、建议的测试命令尚未运行。这与 after-the-walk 的用证据预答异议保守决策是同一种文化给下游的信息必须标明其证据性质未经验证的不冒充事实。6.3 CLI 实现中的对应语义从 CLI 入口 与 参数解析 可以看到支撑这种工作流的工程语义退出码契约help文本明确声明0 表示完成、1 表示失败、2 表示检索不完整、130 表示被中断——见 args.ts。检索不完整incomplete被显式编码而不是静默伪装成成功这正是把未知留在明面上的工程化表达stdout 单一输出CLI 不创建报告文件全部输出走 stdout并在结尾以End context.标记上下文结束——见 SKILL.md 与 README。上下文截断是可见的、可检测的不会把不完整当作完整保守的信号处理SIGINT与管道关闭EPIPE都会被捕获并影响退出码避免半成品结果被误读为完整结果。这些设计共同支撑了 buy-in 文档与合并测验所依赖的前提证据可追溯、结果边界清晰、未验证信息被显式标注。七、实践要点速查阶段动作最小产出关键纪律构建期间实现笔记偏离三要素日志 待判断标签记录后继续推进不阻塞构建交付之前买断文档demo 开场 证据预答 签字人扫读可懂异议零遗漏合并之前合并就绪报告心智模型 非显然行为 部署观察项测验必须通过答错指回章节三条底线贯穿始终没有什么是屏外关闭的——偏离、异议、签字都必须在用户或继承者眼前显式出现每个决策都以一行决策 理由结束让 spec 能原样携带让继承者无需自行发明每个发现都以证据为锚——文件、行号、计划原文、代码事实可追溯才能被引用。地图不是领土但它值得被认真养护——after-the-walk.md 给出的三个动作就是这份养护的日常。赞分享【免费下载链接】jevgrepFind code by asking what it does. A CLI for coding agents that uses Jev to discover relevant files and source context.项目地址https://gitcode.com/gh_mirrors/je/jevgrep点击查看免费下载相关推荐dbskill 短视频逐字稿逻辑延续检查实战用 dbs-script-flow 定位观众划走的那一秒dbskill 短视频逐字稿逻辑延续检查实战用 dbs script flow 定位观众划走的那一秒 短视频创作者最常遇到的困境不是没内容而是稿子AI 技能AI 应用jevgrep explore-unknowns 技能第三阶段实战提取未知的已知Unknown Knowns挖出从未被言说的隐性需求jevgrep explore unknowns 技能第三阶段实战提取未知的已知Unknown Knowns挖出从未被言说的隐性需求 outputAkka Streams 算子详解Sink.last —— 在流结束时取出最后一个元素Akka Streams 算子详解 Sink.last —— 在流结束时取出最后一个元素 Sink.last 是 Akka Streams 中一个轻量级、使用后端并发编程异步编程上一篇Azure Linux包冲突预防依赖版本约束与测试下一篇鸿蒙应用性能分析DevEco Studio Profiler使用指南创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考