# report-test831 — doc source-pin floor gate
# docker run --rm --network none anet-t831  (镜像按 SOURCE_COMMIT=d9517384ac192655ed66d8dc9833c9a96d2b3355 构建)
# 本文件为套件原样输出,未手工编辑。

# test831 — doc source-pin floor gate
source_commit=d9517384ac192655ed66d8dc9833c9a96d2b3355
runsh_blob=5a52b2b20002f31e9e6b829858e0e21b88ced3de
python=Python 3.12.13
[L0] denominator
  listing_mode=walk
  scanned_doc_files=106
  pin_occurrences=28
  pins_on_immutable_ref=0
  pin_doc_pairs=35
  unique_pins=11
  broken_pins=5
  baseline_entries=5
  
  OK: 失效 pin 5 个,基线 5 条 —— 没有新增,也没有该清的残留。
  注意:这只说明已知失效的那批没变多。它抓不到「锚点指着一行正常代码、
  只是不是声称的那一行」—— 实测召回率 5/10,详见本文件头部。
  OK  walk 路径与 git 路径给出同一份清单(106 文件 / 11 唯一 pin / 28 处)
[L1] clean tree passes
  OK rc=0  broken_pins=5(全部在基线里)
[L2] witnessed-red: a NEW broken pin must turn it red
  MUTATION_RED new-out-of-range-pin rc=1
  复原后回绿 ✓
[L3] witnessed-red: a baseline entry whose link no longer exists must turn it red
  MUTATION_RED stale-baseline-entry rc=1
  复原后回绿 ✓
[L4] the known blind spots are still blind (so the documented recall stays honest)
  OK  3 条已知盲区仍未被判据覆盖(与文档里 5/10 的召回率一致)
[L5] the four review findings each have an assertion
exit_code=141
