# report-test846 — doc claim freshness gate
# docker run --rm --network none anet-t846  (镜像按 SOURCE_COMMIT=c00f5560a490bc39e669149030d157acb8cc6ef9 构建)
# 本文件为套件原样输出,未手工编辑。

# test846 — doc claim freshness
source_commit=c00f5560a490bc39e669149030d157acb8cc6ef9
runsh_blob=e35006a42605b9a660708cae65a9eff2b02e74cb
python=Python 3.12.13
[L0] denominator
  doc=docs/stale-issue-review.md claims=8
  claims_checked=8
  claims_failed=0
  
  OK: 8 条文档断言全部仍成立。
  注意:这只说明引的行号没漂。正文的结论对不对、引用之外的散文,门都不检查。
  OK claims_checked=8
[L1] witnessed-red: a drifted line number must turn it red
  MUTATION_RED drifted-line-number rc=1
  复原后回绿 ✓
[L2] witnessed-red: an empty manifest must turn it red, not pass vacuously
  MUTATION_RED empty-manifest rc=1
  复原后回绿 ✓
[L3] a manifest entry pointing outside the repo must be rejected
  MUTATION_RED path-escapes-repo rc=1
  复原后回绿 ✓
RESULT: PASS
exit_code=0
