docs(ch06): deepen graph foundations

[walker2398]

概要

针对第 6 章三篇教材中定义边界不够明确、存储表示展开不足和 SCC 正确性论证过短的问题进行补强。

改动

• 6.1 图的基本概念：明确自环的度贡献、有向总度、空路径与可达自反性、弱/强连通差异，并补充完全图和归一化边密度。
• 6.2 图的存储结构：补充正反向邻接表、边集顶点元数据、简单图/多重图转换边界、边集转邻接表，以及 CSR 布局、复杂度和更新限制。
• 6.3 图的遍历与连通性：增加延迟标记反例、单源遍历完整性证明、空图约定、Kosaraju 三分量手算示例及凝聚边完成时间引理。
• 为新增概念同步补充自测题和参考资料。

验证

• pnpm test：PASS
• pnpm run validate:content：PASS
• pnpm run build：PASS
• pnpm run check:site：PASS
• 数值、CSR 与 SCC 示例脚本复核：PASS
• LSP / Lens diagnostics、git diff --check：PASS