diff --git a/README.md b/README.md index f43a2a6..62285d9 100644 --- a/README.md +++ b/README.md @@ -11,10 +11,18 @@ README.md ← 本文件:总览 + 宪法(下面 5 条) CLAUDE.md ← 全局 agent 操作手册(管整个 repo) docs/adr/ ← 系统级架构决策记录(跨部件,被 spec 契约引用) spec/ ← Lean 语义母本(自包含的 Lean 工程)。见 spec/README.md -(hub/ checker/ …) ← 将来的各部件实现,平级于 spec/。尚未创建 +Cargo.toml ← 仓库级 cargo workspace(实现部件共用,便于跨部件复用 crate) +crates/ ← 实现:rule-based checker(向 spec 对齐)。见 crates/README.md + cph-diag / cph-model / cph-schema / cph-typst ← 可复用基础(模型/校验/typst 引擎) + cph-check / cph-cli ← checker 本体 + `cph` 命令行 +render/ ← typst 渲染包 cph-render(母本的渲染后端之一,ADR-0005) +examples/ ← 样例工程文件(如 TH-141),流水线的真实输入 +(hub/ exporter/ …) ← 将来的其他部件,平级于 spec/。尚未创建 ``` `spec/` 与实现部件**物理分离、平级共存**:谁是上游、谁向谁对齐,一眼可见。 +实现部件共用一个仓库根的 cargo workspace,使基础 crate(模型、typst 引擎)能被 +未来部件(如 exporter)复用,而非各自重造。 ## 宪法