Skip to content

evidence report: every-number check vs options provenance - #4797

Merged
squid-protocol merged 1 commit into
mainfrom
fix/evidence-report-numbers
Oct 9, 2026
Merged

squid-protocol merged 1 commit into
mainfrom
fix/evidence-report-numbers

Conversation

@squid-protocol

Copy link
Copy Markdown
Owner

Fixes the failure on main (and on #4793/#4794): test_every_number_in_the_markdown_comes_from_the_json[aws-mainframe-modernization-carddemo] -> numbers not in report.json: ['43'].

Root cause: not the options section. The summary line - current levels: {programs - stale}; stale: {stale} printed a derived number (44 - 1 = 43) that report.json does not hold. It passed earlier only because stale was 0 (current == programs) or by coincidence. The #4792 refresh left 1 carddemo program stale.

Fix (generator, not a weakened check): print stale (*, last measured): N of P programs; the rest are current; N and P are both in the JSON. The every-number check is unchanged. The five committed report.md lines are edited to match what the generator now emits; I did not run --refresh (it rewrites ~20k lines of bot-generated data, and per #4703 the evidence-refresh bot owns that). test_evidence_report.py passes with EVIDENCE_REPORT_ADVISORY=1; test_the_committed_reports_are_current fails on main without it for unrelated bot lag. pr_gates --fast: 5/5.

🤖 Generated with Claude Code

https://claude.ai/code/session_01MQNoe4wPJgr7dbUvs3DG6D

The summary line printed programs - stale, a number report.json does not hold, so
test_every_number_in_the_markdown_comes_from_the_json failed on main as soon as a
refresh left one carddemo program stale (44 - 1 = 43; it only passed before by
coincidence or with 0 stale). Print 'N of P programs' (both in the JSON) instead.
The five committed report.md lines are edited to what the generator now prints;
the rest of the bot-generated reports are left to the evidence-refresh bot (#4703).

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01MQNoe4wPJgr7dbUvs3DG6D
@squid-protocol squid-protocol added bug Unintended behavior or logic failure in the engine testing Unit, integration, and E2E pipeline verification labels Oct 9, 2026
@github-actions

github-actions Bot commented Oct 9, 2026

Copy link
Copy Markdown
Contributor

🐦‍⬛ Muninn Security Scan

✅ No security issues found.

🐦‍⬛ Powered by Muninn · Skald Lab

@squid-protocol
squid-protocol marked this pull request as ready for review October 9, 2026 14:28
@squid-protocol
squid-protocol merged commit 5bc184e into main Oct 9, 2026
18 checks passed
@squid-protocol
squid-protocol deleted the fix/evidence-report-numbers branch October 9, 2026 14:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Unintended behavior or logic failure in the engine testing Unit, integration, and E2E pipeline verification

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant