← Bedrock

依赖地图

75 个文学化章节的直接导入关系。横轴为依赖深度 (左端无依赖，右端是根定理)；泳道即侧边栏的命名空间结构树。A → B 表示 B 导入 A。悬停看依赖锥，点击钉住。

边：

— 悬停或点击任一章节 —

中枢 Base.Prelude 与 Base.Truth 被每一章导入，图中省略这些边 (详情卡仍列出)。

阅读顺序 (角标数字) 与依赖顺序刻意不同：本页是两目录法条 (PLAN §5) 的第三个派生视图。每次站点构建都从 src/**.lagda.md 的 import 行重新生成。