Skip to content

evidence: re-render the GenApp report after #4634 (main's full suite is red) - #4638

Merged
squid-protocol merged 1 commit into
mainfrom
fix/evidence-report-refresh-after-4634
Oct 7, 2026
Merged

squid-protocol merged 1 commit into
mainfrom
fix/evidence-report-refresh-after-4634

Conversation

@squid-protocol

Copy link
Copy Markdown
Owner

Part of #4270.

Main's full suite fails tests/tools/test_evidence_report.py::test_the_committed_reports_are_current: #4634 changed the GenApp Db2 cases after #4603's reports were rendered, so docs/language_status/evidence_report/cics-genapp/ is stale (seen on #4608's CI run 37666859509, and evidence_report.py --check on main). Every open PR inherits the red.

Fix: python tests/tools/evidence_report.py --refresh (2 files, generated, nothing hand-edited); --check passes; test_evidence_report 41 passed.

Follow-up for the process: a PR that changes an evidence-report input (cases, det_sweep baselines, ledger, cics_spec_status.json, oracle_assumptions.md) must run --refresh in the same PR (the blocker-slice skill says so); #4634 predates #4603's merge, which is how both went green separately.

🤖 Generated with Claude Code

… test_the_committed_reports_are_current)

#4634 changed the GenApp Db2 cases (LGSTSQ in programs, X6 judging) after #4603's reports were
rendered, so the committed GenApp report went stale and test_evidence_report's staleness test fails
on main. Regenerated with evidence_report.py --refresh; nothing hand-edited.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@squid-protocol
squid-protocol merged commit 6b9720a into main Oct 7, 2026
1 check passed
@squid-protocol
squid-protocol deleted the fix/evidence-report-refresh-after-4634 branch October 7, 2026 18:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant