workflow_essence_diagramming

道-方法 · 道层 skill 全文

本页是 <code>rules/skills/drafts/workflow_essence_diagramming.md</code> 的逐字投影（仅隐私清洗，零改写）。

name: workflow_essence_diagramming
description: 触及本质的图示方法论（道）。何时画图、按内容类型路由图法、复杂概念拆解逐块绘制、图完成后的同构标注、以及学习闭环中 agent/用户的角色分工（agent 画 canonical、用户凭记忆重画、agent 逐命题 diff 给可定位误差）。触发场景：学习新概念要画图理解、给设计/报告画结构图前选图法、复习时做重画对照、判一张图是否触及本质。统一内核 + 图类小模块架构中的内核件；图类操作约定见各术 skill（首个：bestpractice_concept_map_mermaid）。
type: Workflow（道层 / DLS 系统 A 内核）
status: draft (Beta) — r002 首版；晋级前需真实学习场景 dogfood ≥1 轮（真卡 + 用户重画 + 结构 diff 闭环）+ essence_diagram_gate（r004）落地
created: 2026-07-03
version: 0.6.0 (draft)  # 0.1.0 首版；0.2.0（2026-07-08）补四正交系统拆解 + 部分同构主轴；0.3.0（2026-07-10，Y 级兼容）补 §多视角绘图法（三视角×三拆解轴×分总层 + 必要性门 + 排版检查）+ 动态行为术 skill 接入，经 DDP dogfood 独立 regulator 验证（worked + 负对照）；0.4.0（2026-07-10，Y 级兼容）补 §子系统下钻与递归拆解（五信号 SUBSYSTEM 谓词 + 下钻单元/边守恒/本质上浮 + T1-T4 终止序与预算 + 名字路径导航）+ 必要性门第④步双触发/第⑥步名册收口 + 第七纪律「节点即系统」，经四模型独立提案 Fable 裁定（真源 FINAL_ADJUDICATION §2）；0.5.0（2026-07-10，Y 级兼容）补 §前端判断执行位（必要性门①-④默认外移到 same-model clean 判断 session，主 session 退成协调；名册收口落 rosters/ sidecar），经四模型提案 Fable 裁定 + GPT-5 交叉核（真源 optimization_clean_session_judgment_20260710/FINAL_ADJUDICATION §2/§5）；0.6.0（2026-07-10，Y 级兼容）用户简化裁定（DLS-R06→FINAL_ADJUDICATION §6 v1.2.0）：same-model 收敛为两句正向指令（同模型 clean sub-agent；不可用改用推理强模型），取消 judged_by/档前缀核/session_id 绑定/禁令式表述等全部强制核验层（视为 context 污染）；既有四正交/图法路由表/三视角分类/六纪律/术 skill 调用面与调用方不变

触及本质的图示方法论（统一内核）

目标（一句话）

给"要画一张帮助理解的图"这件事一个统一的思考序：先定这张图最不能丢的关系类型，据此路由图法，拆解后逐块绘制，边必须是可判真假的命题，完成后标注同构链接。

何时画

• 学习新概念/机制，文字理解到了但结构没立起来。
• 设计或汇报要表达结构（架构、变更前后、机制运转）。
• 复习提取：凭记忆重画是主动提取练习，比重看强（绘图效应，记忆红利来自亲手生成）。
• 不画：纯数量/指标对比（表格优先，data-ink 原则）；一句话能说清的线性关系。

图法路由（内核判断，第一性问题先行）

先问：这张图最不能丢的是哪一类关系（命题归属？反馈流向？依赖穿越？时序因果？数据转换？）。答案定行，符号是推论：

辅助阅读的总原理：部分同构（一切阅读设计的尺子）

一张图之所以帮理解，是因为它的视觉结构与系统的逻辑结构部分同构，读图时眼睛走的路就是脑子里推理走的路。图不是把信息装进框里，是把逻辑结构翻译成一个眼睛能沿着走的空间结构。这条不是众多技巧之一，是判一切辅助阅读设计的母尺：渐进披露＝让读图顺序同构于理解顺序，位置编码＝让最重要的逻辑维度占据最精确的视觉维度（Cleveland-McGill：位置 > 长度 > 角度 > 面积 > 颜色），命题化边＝让每一步视觉移动对应一步可判真假的推理。判一个阅读设计好不好，就问它有没有让视觉路径更贴近推理路径。原理锚：D-14 部分同构、纪律五 iso-link、库内已蒸馏 GEB judge-by-partial-isomorphism。

系统拆解方法（四正交问题，画结构类图前先做）

复杂系统一张图说不清，先拆再画。拆解的难点不是要不要拆，是按什么切、切在哪、切几层。软件架构领域四个经典框架不是竞争选项，是回答四个正交问题的一套组合，按序走：

1. 语义边界在哪 → DDD Bounded Context：先切最粗的几块「大陆」，判据是领域语言的含义在哪里变了，含义变的地方就是系统该切的地方。Context Map 的关系类型（Shared Kernel / Customer-Supplier / Anticorruption Layer）在告诉读图人：走到这条边，心智模型要切换一次。
2. 每块内部怎么缩放 → C4 逐级 zoom：Context（系统在环境中的位置）→ Container（可独立部署的大块）→ Component（块内职责单元），必要时到 Code。每层只面向一个受众、只回答一个问题、节点数受控。C4 管尺度，不管边界依据。
3. 每层里边界依据什么 → Parnas 信息隐藏：边界切在会变化的设计决策（secret）处，不切在处理步骤或流程顺序上。按流程切，一改改一片；按 secret 切，变化关在一个模块里。这与 i2p 内核 K5「边界切在会变化的 secret 处」是同一条准则。
4. 有没有漏掉的关注面 → 4+1 查漏：C4/模块视图偏静态，容易漏 Process（并发、时序）和 Physical（部署）。第五个「+1」Scenarios 用几个关键场景把各视图串一遍，正好拿来做静态图与动态图的交叉校验。

一条元纪律（SEI viewtype 标签）：每张结构图顶上标一行，说清它属于哪个 viewtype（Module 模块视图 / C&C 运行时视图 / Allocation 部署视图）、回答什么问题、不回答什么问题。不标 viewtype 的分层方框图，边和框的语义没定义，读者不知道该带什么问题来读（SEI《Documenting Software Architectures》「Beware Notations Everyone Just Knows」）。

静态与动态共享一套拆解：同一套模块有 module（代码怎么组织）、runtime（谁跟谁交互）、deployment（部署在哪）三个 cut，是同一系统的不同 view，不是三套划分（SEI structure-vs-view，可追 Parnas 1974）。架构图取 module/C&C cut，运行状态图取 runtime cut，participant 和 state 都从同一套模块来。用一个关键场景交叉校验：它在架构图上经过的模块，和它在时序图上出现的 participant，对不对得上，对不上就是有一张图切错了。

拆解预算按 C4 层级逐层计：每一层的图 ≤7 个节点，不是整个系统 ≤7。C4 的 zoom 本来就靠分层把节点数压在可读范围内，逐层 ≤7 与它的层级机制天然吻合。

子系统下钻与递归拆解（四正交拆完，逐节点判它自己还是不是一个系统）

四正交把系统切成图上的一级节点后，容易犯一个病：熟悉的节点默默当叶子、陌生的节点也懒得展开，全靠作者手感决定「谁有内部」。递归能力其实已潜伏在 C4 逐级 zoom 与 arc42 黑白盒里，缺的是对每个节点跑一次判据这个循环体。本节给这个循环体（道层思考序，mermaid 落法在 zong_fen_zong 规范与两术 skill）。

五信号 SUBSYSTEM 谓词（≥3/5 ＝ 子系统 + 证据指针 + 否决表先行）。判据是 Parnas 信息隐藏（四正交第三问）的机械化——从「切层内边界」扩展到「逐节点判要不要下钻」；问节点自身的结构属性，不问作者熟不熟，两个作者、两次 session 对同一节点应给同一答案。判据不得依赖「该节点有没有现成拆解散文」：触发下钻后回子系统自己的真源现拆。对图中每个一级节点逐条答 yes/no，每个 yes 必须附证据指针（文件/节名/行为面），答不出指针不算 yes：

• 判定规则（机械）：≥3/5 ＝ 子系统，分图与最后的总里禁止默默原子化，必须二选一——▼ 下钻成子单元或 ⊞ 黑盒契约（名册写清职责+对外接口+「内部另有结构，未展开」）；＝2/5 ＝ 边缘，作者裁量但名册标理由；≤1/5 ＝ 原子节点，不钻。
• 否决表（命中任一直接判原子/指针，优先于信号计分）：纯配置/常量/数据表/无执行状态的工具函数集合 → 原子；该子系统已有 canonical 图集或文档 → 名册写指针不重画（单一真源，即 T3）。

下钻单元（drill-cell）＝ 子系统重入同一套方法：判 ▼ 的子系统成为一个新 subject，对它重入必要性门→选视角→选轴→总-分-总，不给子系统另立图法。视角默认继承触发下钻的读者问题（父图那条边问什么，子单元先答什么），其余视角照必要性门②逐个过，不自动铺三视角。轴默认继承父图已选的轴，除非子系统自然切分不同（内部是运行时流程就切时序）。取源纪律：子系统内部从它自己的真源取（skill 从正文现拆、代码模块从代码读），禁止「父图只有一行标签，内部也就编一行」。退化形态：子系统一张图讲得完 → 单图单元，免三段仪式（防递归变配额表演）；非退化单元三段完整含自己的最后的总。单一单元：一个子系统只建一个下钻单元，键＝注册名（skill 名/模块路径），同一子系统多张父图出现只钻一次，其余位置写指针。

边守恒不变量：父图中进出该节点的每条边（静态＝依赖边；时序＝该 lifeline 的进出消息；状态机＝进出事件），必须以同名（或注明 refined 映射）出现在子单元第一段总的外部接口位上。对不上＝有一张图切错了（Fairbanks master-model：所有视图是同一真相的投影 + 四正交第 4 问场景交叉校验）。本质上浮：子单元收口产出一行「内部本质一句话」，回填父级最后的总里该节点的标注；父图不吸收子图结构（一层一问题），父级最后的总仍过复杂就走 zong_fen_zong 已批准的「拆成多张完整图」，不新造规则。

终止序（按序判，先中先停）+ 三档预算：

• T1 原子：否决表命中，或五信号 <3 → 停。
• T2 必要性（主终止器）：removal-test——不展开内部读者还答得出他的问题吗？答得出 → ⊞ 黑盒契约停。tie-breaker 用 arc42 原话：只精化 important/surprising/risky/complex/volatile，放过 normal/simple/boring/standardized。
• T3 真源另在：已有 canonical 图集/文档 → 指针停，不重画。
• T4 深度熔断：超预算且无理由行 → 停。
• 预算（门是发动机、预算是熔断器）：深度 ≤2 级下钻（含根共 3 层，C4「Context+Container 够用、Code 不手画」）；每单元下钻子单元 ≤3（软默认 [推断]）；每图 ≤7 一级块逐层计。溢出阀：预算触顶而 T2 仍强烈要求 → 在 atlas 写一行理由继续钻（例外可见，不一刀切封顶）。

层级导航（名字路径，弃纯数字编号——必要性门动态选钻哪个节点，数字编号必产生空洞）：①单元 id ＝ 名字路径 父id/子系统短名（如 Z0/静态术skill，读图路径＝推理路径）；②子单元头部写 parent: <父单元id> · <父图节点id> + 一行 breadcrumb；③双向指针：父图节点 ▼ + 名册去向列写子单元 id，子单元每级末尾一句「回上一级看 X」；④深度 ≥2 或单元数 ≥4 时根部强制一张 atlas 树表（单元 id/subject/parent/深度/文件锚）。单元＝文档内一节，超 800 行或有独立复用价值才拆文件并登记 atlas。

贯穿纪律（七条，判一张图触没触本质就查这几条）

1. 命题化边：连线必须写"怎么相关"，构成可判真假的命题。这是概念图与思维导图的分水岭。
2. 拆解优先：复杂概念先拆 3-7 块，逐方块绘制、渐进合成总图；交互形态 = 每块一图逐步展开，不一次性甩全图。
3. 变化在边不在点：解释系统先画反馈边与流向（Meadows）。
4. Data-ink：图内元素不承载结构信息即删。
5. 同构标注：图完成后显式问"与已知哪个结构同构"，标注 iso-link 喂给卡片库的链接网络。原理：好图助理解的机制是图与系统逻辑结构的部分同构、读图路径 ≡ 推理路径（库内已蒸馏 godel_escher_bach/codex_v6/skills/judge-by-partial-isomorphism）。
6. 状态/过程二元：一张图只回答"长什么样"或"怎么运转"之一；两者都要就画两张（例：kc_kv_cache 与 kc_kv_cache_decode_flow）。
7. 节点即系统：画完任一张分图或最后的总，逐节点过五信号名册（每 yes 附证据指针），别因熟悉或陌生默默当叶子；≥3 信号者必须 ▼ 下钻或 ⊞ 契约，下钻图与父图守边守恒，本质一句话上浮回父级最后的总。

学习闭环中的角色分工（绘图效应的诚实应用）

• agent 画：canonical 图（理解脚手架）+ 拆解逐块展开 + 复习时的结构 diff。
• 用户画/述：复习提取时凭记忆重画；文字重述结构为主路径（对照卡片 propositions 逐条核，机械可判），手绘拍照为实验通道（保真度未验，验证前不承重）。
• agent 判：对照 canonical 输出可定位误差（缺哪条边、错哪个关系、漏哪块），逐命题 hit/miss，不打分不给"大体正确"式 1-bit 反馈。

验收标准（无上下文 agent 可自判）

• 图法选择能指出"要保住的关系类型"（说不出=没过第一性问题）。
• 每条边有语义标注且可判真假；节点数在拆解预算内（单图 ≤7 个一级块）。
• 学习场景产物落卡片库（schema 见 contexts/knowledge_cards/INDEX.md），propositions 与图边一致。
• 复习 diff 给出 error_loci（可定位），不是总评。
• 子系统下钻可复核：无上下文 agent 能凭名册（在 rosters/<result_basename>.roster.md sidecar，结果文件留指针）复核每个一级节点的 SUBSYSTEM 结论（每 yes 有证据指针）；下钻图边界外部边与父节点进出边对得上（边守恒）；单元 id 名字路径标明父子关系。

边界（不做什么）

• 不做运行时自动生成：本方法论管"如何绘制"，不管"在特定运行场景下自动出图"；执行层内容转化为对绘制的要求约束（数据支持、设计思路先行）——用户 2026-07-03 裁定 D-17。
• 不定义卡片库存储与复习调度（系统 B 职责，schema 是唯一耦合物）。
• 不复制图类操作细节（mermaid 语法约定、配色语义归各术 skill）。
• 引文钉死：本 skill 及后续图类术 skill 如出现书籍逐字引文，必须锚 library TXT 并过 verify_citations；首版策略 = 零逐字引文，原理引用一律指库内已蒸馏资产路径。

多视角绘图法（给一个系统画一套图，2026-07-10 DDP dogfood 验证）

画一张图是「这张图保住哪类关系」；给一个系统画一套帮人理解的图，是三个维度的组合。真源与 DDP 实证 = adhoc_jobs/diagram_learning_systems_20260701/dogfood_ddp_20260708/（multiview_taxonomy_and_fenzong.md 方法 + DDP_*_diagrams.md 53 图 + DOGFOOD_ACCEPTANCE.md 独立 regulator 判 worked + 负对照）。

三个维度：视角（图类型）× 拆解轴 × 分总层。

1. 视角（画哪个侧面，三选画）：静态结构图（长什么样→静态术 skill）/ 功能图（帮我干嘛，大白话，按能力）/ 动态行为图（怎么运转→动态术 skill）。同一系统三个侧面常都值得画。
2. 拆解轴（怎么把系统拆成图，通用于三视角）：按关注面（每张答一个不同问题，4+1/SEI viewtype）/ 按语义领域（按职责属主切，DDD Context Map）/ 按尺度 zoom（C4 逐级放大）。同一套轴套三视角，不给每视角另造轴。
3. 分总层（总-分-总，用户 2026-07-09 定）：第一个总 = 简单介绍型概貌（30 秒看懂）→ 分 = 细分到最重要环节 → 最后的总 = 完整准确的最终状态，画成图（不是文字走读；太复杂就按 C4/领域/关注面拆成 2+ 张完整图，各对应一个面）。

必要性门（关键：不画满，只画有意义的）：拿到一个绘图需求，先问①值不值得画（一句话说清的线性关系、纯数量对比不画）→ ②哪些视角被读者真实问到（问「帮我干嘛」画功能、「由什么组成」画静态、「怎么运转」画动态；对象确实没有时序就免动态、没有架构就免静态）→ ③每个必要视角按读者的问题选一条轴 → ④一张总领塞不下 或 某节点经五信号判为子系统，才下钻细分（两触发正交：塞不下管信息密度，信号管结构复杂度；relevance over completeness）→ ⑤每张标 viewtype/给谁/答什么 → ⑥名册收口：每张分图与最后的总画完，对图内全部节点跑五信号（见 §子系统下钻与递归拆解），名册留痕落 rosters/<result_basename>.roster.md sidecar（结果文件只留指针，见§前端判断执行位）；判为子系统的必须 ▼ 或 ⊞，禁止默默原子化（第一段总豁免——把 skill/系统当一个节点的简单概貌可以）。守「度」：每张图要有真实读者，没读者的格不画（防过度文档化 + build-but-never-wire）。

排版质量随行：多图产出时排版更易崩（文字重叠/溢出）。三视角术 skill 共用一套排版纪律 + 机械检查 mermaid_diagram_check（短标签/单节点 <br/>≤1/subgraph 不嵌套/标题短，工具路径查 tools/INDEX.md），画完过一遍再交。

前端判断执行位（谁来判必要性门①-④，2026-07-10 裁定，未 dogfood）

必要性门①-④是判断，不是绘制。默认外移：任何过了⓪快筛的「给一个系统画一套图/理解一个系统」请求，把①细判（值不值得画）+②选视角+③选轴+④顶层子系统预检整体切给一个 same-model clean 判断 session，主 session 退成纯协调（快筛→备料→派发→机械核→按 plan 派绘制 worker→名册分流→收口）。锚：DLS-R05「在系统一开始进行这种判断时，可以请一个专门的 Sub-agent……让主 Session 保持 clean」——外移是默认姿态（预防），不只省 token，是让判断质量不被主 session 走过的弯路污染（§7.5 理由）。

• ⓪快筛留主 session：仅裁「显然不画」（一句话线性关系/纯数量对比，见§何时画两条），直接文字/表格答；判 skip 时留一行 receipt（原问题+直接答案+命中规则），防把复杂机制压成「一句话」从后门捡回判断。快筛只许判 skip、不许判 draw 细节。
• ①-④＝same-model clean 判断 session：派一个与主 session 同模型的 clean sub-agent（fresh context，文件进 packet / 文件出 plan）；同模型不可用时，改用一个推理能力强的模型。单发单收（缺信息写 INFO_GAPS: 退回，主 session 补文件指针重派）。判据一句：默认外移 + 三道不外移闸（⓪快筛命中 / 否决表命中〔机械层可判、术内判断、drill-cell 继承、T3 真源另在〕 / 无整体性即单图单节点级）。
• ⑤ viewtype/给谁/答什么：规划级进 diagram_plan（P5，含不答什么/ground-truth 锚/输出路径）；落笔级由绘制 worker 照 P5 执行。
• 术 skill 画总-分-总：沿用 9-cell per-cell clean 绘制 worker（术内一切判断/参数＝用户边界，不动）；plan 的「画什么」（视角/轴/图清单）是约束性契约，worker 发现不可行走 PLAN_CONFLICT flag 回主 session，禁静默偏离。
• ⑥名册收口随绘制 worker，落 sidecar：画后逐节点跑五信号名册（核实态），名册块由主 session 分流进 rosters/<result_basename>.roster.md，结果文件只留指针（见§子系统下钻与递归拆解落法 + zong_fen_zong 规范；plan P4 预检＝画前预判态，不进 sidecar）。
• 递归重派预算：drill-cell 视角/轴默认继承 → 直接派绘制 worker；仅 (a) 子系统自然切分要换轴、(b) T4 溢出阀写理由续钻两情形 scoped 重派判断 session。预算：同一分支链上 ≤1 次重派、深度 ≤2、全 run 重派总数 >3 才上呈（按分支深度计，不把深度当次数）。

可用资源

• 术 skill（三视角）：静态结构类 bestpractice_static_structure_diagram_mermaid（架构图法 + 概念图法指针复用）；动态行为类 bestpractice_dynamic_behavior_diagram_mermaid（时序 flavor + 状态机 flavor）；概念图操作约定 bestpractice_concept_map_mermaid；变更图直接用 workflow_change_visualization。
• 排版检查工具：mermaid_diagram_check（防重叠/溢出的机械 gate，路径查 tools/INDEX.md）。
• 多视角方法 + DDP dogfood 真源：adhoc_jobs/diagram_learning_systems_20260701/dogfood_ddp_20260708/（multiview_taxonomy_and_fenzong.md / DDP_DIAGRAM_ATLAS.md / DOGFOOD_ACCEPTANCE.md）。
• 子系统下钻与递归拆解设计真源：adhoc_jobs/diagram_learning_systems_20260701/optimization_recursive_subsystem_20260710/FINAL_ADJUDICATION.md（四模型提案 + Fable 裁定；§2 落地依据、§3 claim 边界、§4 handoff）及同目录 proposals/。
• 前端判断外移 same-model clean session + 名册 sidecar 术规范：adhoc_jobs/diagram_learning_systems_20260701/dogfood_ddp_20260708/inputs/judgment_packet_spec.md（主 session + 判断 session 双侧必读）；设计真源 adhoc_jobs/diagram_learning_systems_20260701/optimization_clean_session_judgment_20260710/FINAL_ADJUDICATION.md（§2 方案 + §5 交叉核修订 + §3 claim 边界 + §4 handoff）。
• 卡片 schema 真源：adhoc_jobs/diagram_learning_systems_20260701/design/SOLID_DECISION_20260701.md §4.2；库导航 contexts/knowledge_cards/INDEX.md。
• 原理锚：GEB 部分同构 skill（路径见上）；四传统调研 methodology/diagram_for_understanding_methodologies_20260627_manual.md。
• 知识库源：contexts/methodology/diagram_for_understanding_methodologies_20260627_manual.md（本 skill 系其后继承接件，STORE-1 2026-07-20 回填 reciprocal 指针）。

已知陷阱

首版暂无实战陷阱记录（按写作指南不预测凑数）；r002 dogfood 的复习轮跑完后回填。