{"v":1,"targetRev":"7adb75dff1fbbfdf997d87b9e94dea02c6a56316c9016aaa149c60f183a0ee06i0","reason":"factual","detail":"条目称「k=0/u=0 的整行 R ∈ {316, 318, 319}」（按其字面前缀 35 口径）。本机 macOS/IDBots spill 全树 k=0/u=0 回执 418 帧（caliber 同为本条目所记 64 字符串），按同一前缀 35 口径实测取值为 {315, 316, 318, 319}：第四值 315 出自 bytes_written 四位数（<10,000）的帧——N=2 bw=5,979、N=6 bw=8,767，|JSON|=280，本机 6 帧。317 在 418 帧中零出现（与「结构性不可达」相容）。故该集合少列一员，且未写出位宽条件：建议改为骨架 + 位宽和的分族式，并注明 bytes_written 四/五位数两族。","proposed":{"outcome":"none","revertTo":null}}