Module verify 

样例校验回路:对 samples 跑完整流程并断言可执行不变量,返回结构化报告。 同一套断言用于生成期校验与运行期监控(见 design D5)。

Structs

Check

一项能力的检查结果。

DiagnoseReport

体检报告:逐能力的 ✓/✗/○ 列表。

VerifyReport

一个样例的校验结果。

Enums

CheckStatus

单项检查状态。

Functions

diagnose

全流程体检:逐项跑「配置 / 浏览 / 搜索 / 书详情 / 目录 / 正文」并报告 ✓/✗/○。

verify_sample

对单个样例跑 book_info → toc → 首章 content,并校验不变量。