① 人读
站点页面
首页、决策故事、新建、结构、本体、AST、桥接校验、本页。只展示与录入，不当权威库。
全局结构
整站怎么叠在一起：谁存故事、谁定种类、谁查漏、谁推标签。决策图的细表见 结构；种类树见 本体。
从上到下
分层
② 读写
API · graph/api.py
枚举类型与边名；写入节点/边；SSR 决策页。薄校验（标题、枚举）。
③ 事实
SQLite · nodes / edges / sources
真实故事都在这里。一次决策、一个选项、一条证据 = 一行节点 + 边。
④ 菜谱
本体 · ayxk-v1.owl
种类（含 WebPage）、谁能连谁、互斥、已拍板 ≥1 chooses。不塞全站数据。
⑤ 查漏
桥接 · bridge_validate.py
闭世界扫库：类型/边端点/Domain·Range、已拍板须 chooses、不许孤立节点。
⑥ 蕴含
HermiT（演示）
归类简化、属性亲属、互斥打架。缺边在开放世界里≠矛盾——那是桥接的活。
别搞混
改什么放哪
| 你想… | 改这里 |
|---|---|
| 记一次真实决策 | 库（经 API / 新建页） |
| 加一种「东西」（如网页） | 本体种类 +（启用时）API 枚举 |
| 加一种连线 | 本体属性 + API EDGE_RELS + 桥接 Domain/Range |
| 不许孤儿、已拍板必须选 | 桥接清单（闭世界） |
| 看必然推出的标签/矛盾 | HermiT 演示 / AST 页 |
桥接当前执法
规矩清单
- 类型 / 关系须在本体投影表里；预留类型仅警告
- 边端点src / dst 必须存在
- Domain / Range例如 chooses：Decision → Option
- 已拍板
status=decided至少一条chooses - 不许孤立每个节点度数 ≥ 1（连出或连入）· 网页也是实体，同样适用
现场报告：/validate.html · GET /api/validate
入口地图
人从哪进
| URL | 作用 |
|---|---|
/ | 品牌与读法 |
/decisions.html · /d/… · /new.html | 决策读写 |
/system.html | 本页 · 全局分层 |
/mindmap.html | 四层思维导图（易混点） |
/interactive-demo.html | 静态 / 前端 / API 交互对照 |
/concepts.html | 概念手记（交互式网页、马尔可夫链…） |
/structure.html | 决策图运行时契约（表/类型/边） |
/ontology.html · /ontology-ast.html | 菜谱人读版 / AST |
/validate.html | 桥接扫库 |