Architecture Atlas · 判决 2026-07-17 · 与施工看板同一套视觉系统 · Unlisted

Nine Diagrams, One Machine.

九张架构图:六步原子 → 状态编译 → 义务生命周期 → convert 唯一通道 → 三门与鹈鹕回路 → 席位体系 → 结构化 RAD → 空间 MDP → 溯源上账。图上任何主张都必须有真源依据;每张图的 figcaption 标明出处。一图一 SVG,存放于 docs/看板/图/,暗色模式自动反色。

01

六步原子 Six-Step Atom

decision/ · policy.py
六步原子架构图

↔ 横向滑动查看全图 · 点图全屏可缩放 swipe / tap to zoom

读法:每个决策都采用相同结构——观察读取编译态,菜单生成候选,掩码将菜单缩到合法集(切除非法未来并降低条件熵),策略只回答「选哪个」,且席位可在确定性/LLM/人之间切换。应用负责提交增量,门负责记录校验结果而不替策略作出选择;每一步的问句、菜单、动作与席位都会写入账本。真源:看板 08 Glossary「六步原子/真菜单·席位/法·判别刀」· 地图 §0.5/§1.3 · 理论卷 §2
02

状态编译 S_t State Compiler

blackboard/ · premises.py
状态编译架构图

↔ 横向滑动查看全图 · 点图全屏可缩放 swipe / tap to zoom

读法:完整历史中的已否决提案、过期假设与推理草稿可能被重新激活,从而引发漂移。φ 将历史编译成最小充分状态 S_t=(G,C,L,O,U),并纳入前提(parti·function_intent·tradition,铁律11)与义务账本 𝒪_t;决策只读取编译态,即 policy 读黑板而不读 transcript。L/S 双轨由此化解「压缩历史」与「保存可回放证据」之间的表面矛盾。真源:理论卷 §3 · 合议 §1 双轨形式化 · 看板 08 Glossary「状态编译 S_t」
03

义务生命周期 Obligation Lifecycle

ledger · D05→D09
义务生命周期架构图

↔ 横向滑动查看全图 · 点图全屏可缩放 swipe / tap to zoom

读法:义务是前向债——created 后,要么由当前或后续决策逐项 discharged,要么以诚实拒绝留债。义务现为两级(LEGALITY / COMMITMENT)、四态并携带 predicate、payload 与 source;聚合构件可以先创建子债,父债只在全部子债清偿后关闭。门廊判例因此不再允许“16根柱发完就算整座门廊完成”;最新决策路径以 16/16 具名清偿完成台基、柱列、楣梁、屋盖、山花与实体接缝。真源:地图 §1.4/2026-07-18 门廊山花拓扑 · 看板 01 最新闭环
04

convert 唯一通道 Single Conversion Channel

archflow/convert/ · 铁律16候选
convert 唯一通道架构图

↔ 横向滑动查看全图 · 点图全屏可缩放 swipe / tap to zoom

读法:浮点 bbox 推导空间与体素交付空间之间只保留 convert 这一条转换通道。to_voxels() 负责网格化与逐件归属;conversion_findings() 现执行 existence、bearing、overlap、dialect 与 csg 五法。typed SolidOp 又把实体拓扑写进同一通道:具名 union 必须真实共体积,subtract 只扣点名 targets。无 typed 操作时旧路径不变,因此新法能够咬住门廊接缝而不改冻结 composer 与 Pipeline.run。真源:地图 2026-07-18 门廊 CSG 拓扑 · archflow/convert/csg.py
05

三门 + 鹈鹕回路 Gates + Probe-and-Repair

CLAUDE.md 鹈鹕协议
三门与鹈鹕回路架构图

↔ 横向滑动查看全图 · 点图全屏可缩放 swipe / tap to zoom

读法:法通过真实生成路径产出几何、账本与四视图;探针再用对抗案例逐一检查四视图,主动寻找假阴性。修复箭头始终指回法,即「修法不修果」,禁止直接手改结果。三门(pytest·doctor·selfcheck)只守回归、不负责发现未知缺陷;双向防作弊同时禁止「凑金样」与「自改考卷」。真源:CLAUDE.md 鹈鹕协议(判决 2026-07-16/视觉轮铁则 2026-07-17)· 看板 08 Glossary「三门/字节锚/鹈鹕模式」
06

席位体系 Seat System

调度席实验 2026-07-17
席位体系架构图

↔ 横向滑动查看全图 · 点图全屏可缩放 swipe / tap to zoom

读法:策略席可在确定性/LLM/人之间切换。调度席实验 S1–S5 展示了一条完整防线:效度门拒收 ids 全空的 glm 回复后,系统采用确定性结果并把回退过程写入账本;deepseek 批判席准确指出两项问题;hard 发现写回编译态后,修复环只重答 oculus 这一问,将 4m 修订为 8.9m。这是 Selective Uncommit 的小型实例。实验形成三点结论:多个席位能够形成纵深防御,调度席的校验规则本身也要接受审查,采样漂移需要门与批判席双重保险。真源:probes/20260717_头部问句/REPORT.md 追加二·三·四
07

结构化 RAD Structured Retrieval-Augmented Decision

RAD 三方对照收官
结构化 RAD 流水线架构图

↔ 横向滑动查看全图 · 点图全屏可缩放 swipe / tap to zoom

读法:可用的 RAD 流程是:检索段落 → 按来源隔离,以掩码单问抽取 → 写入带单位的事实账本 → 律层推导与互证 → 拓扑正则化 → 一致门。最新甲段已经把这条链接到真实建造:type_facts 生成体量承诺,落位求解器编译关系,D11 逐项清偿,convert 在交付空间验收。由此边界进一步坐实:检索与 LLM 负责知识提案,结果性计算和合法性裁决属于确定性律层。真源:20260717_甲段验收 · 20260718_落位求解器入链 · 看板 01
08

空间 MDP + 尺度/构造编译

Spatial Markov · M1.3 / M1.4A · 2026-07-19
空间 MDP 落位架构图

↔ 横向滑动查看全图 · 点图全屏可缩放 swipe / tap to zoom

读法:关系 DAG 仍按父集前向落位,但“柱位只读台基”现在有了完整尺度合同:逐楼 AdaptiveModuleFrame@0 在 placement 前分开物理模数 D_phys 与表现密度 rho,物理解算只消费前者,convert 才投影后者。柱网随后编译为完整柱包络、楣梁 edge-set 与 placed interfaces,经 TectonicEnvelopeIR@0 在结构/细节前检查重叠、host 与接头连贯;装饰不能替拓扑还债。M1.4A 只完成 pre-detail 门,最终可见 artifact 准入仍待 M1.4B。真源:20260719_M1.3_自适应模数框架/REPORT.md · 20260719_M1.4A_构造包络与接头拓扑/REPORT.md
09

溯源上账 LedgerEntry Provenance

P1 Spine · 合议 §1④
溯源上账 LedgerEntry 架构图

↔ 横向滑动查看全图 · 点图全屏可缩放 swipe / tap to zoom

读法:LedgerEntry 在基础字段(decision_id·question·读写集·义务·note)之上补齐七账:seat、seed、versions 指纹、fallbacks、menu、action 与 reply。它们共同提供三种能力:作者性可审计;重放可信,不同 rules 不能再借同一 trace 冒充重放;掩码内的选择过程可以复核。provenance 不等于 replay,而七账正是针对这一缺口形成的法级修复。真源:地图 §3 P1 Spine(溯源上账 二·三)· 合议 §1④ · 看板 02 施工序