度量 —— gap 被量化
把「gap 被量化」本身做成公开面：覆盖率低不藏，按 kind 拆开公布。上半页的每个数字都能用两个 typed 调用重放；下半页是门禁自己的读数，来源单独标记。
M5 —— 后果著录覆盖率与 gap（按 kind 拆，不合总数）
| kind | 制品数 | 制品级已著录 | 制品级缺席 | 组件级已著录 | 组件级缺席 |
|---|---|---|---|---|---|
| device_adapter | 0 | 0 / 0 | 0 | 0 / 0 | 0 |
| skill | 4 | 0 / 4 | 4 | 0 / 0 | 0 |
| tool | 0 | 0 / 0 | 0 | 0 / 0 | 0 |
🔴 难看的数字就是产品：AN-5 禁止推断、禁止填默认值、禁止 LLM 摘要出一份声明，唯一允许的加工就是量化 gap。覆盖率低不是要藏起来的事故，把它按 kind 拆开公布才是这一条的执行面（ADR-0002 §3 Negative：不许用一个总数掩盖某个品类的塌陷 —— 工具品类的著录成本最高，而它恰是押注所在）。
M10 —— 四档证据分布（每制品四层，按 kind）
| kind | absent | attested | community | declared |
|---|---|---|---|---|
| device_adapter | 0 | 0 | 0 | 0 |
| skill | 8 | 8 | 0 | 0 |
| tool | 0 | 0 | 0 | 0 |
community 恒为 0，而且这不是暂时的读数：第三方提交通道在 MVP 期不存在，一个不存在的通道绝不许被填出数字来（AN-5）。
M6 —— 认证档分布
| kind | 档位 |
|---|---|
| device_adapter | |
| skill | Profile-Authored × 4 |
| tool |
三档直接复用上游 discovery profile §5（Profile-Core / Profile-Authored / Profile-Certified），不自造第四档（AN-6）。「无档」是一个读数，不是过渡态：它表示没有任何一档的全部判据都过，逐条判据与理由在每件制品的证据页上。
这两块数字怎么自己重放
上面每一个数字都由这两个调用的响应算出，没有第三个来源：
depot:catalog.find {"kind":"skill","limit":20}depot:catalog.stat {"id":"<id>","version":"<version>"}门禁读数（M1 / M3 / M4 / M9）
本次构建没有拿到门禁报告，因此这一块没有数字。这里刻意不写 0：「没有读数」与「读数是 0」是两条不同的信息（ADR-0009 D1.1 / AN-5）。