Skip to content

cobolrt API manifest: recompute the summary after #7928 and #7932 (Fixes #7939) - #7941

Merged
squid-shepherd[bot] merged 1 commit into
mainfrom
churn/7939-20261106T1910Z
Nov 6, 2026
Merged

squid-shepherd[bot] merged 1 commit into
mainfrom
churn/7939-20261106T1910Z

Conversation

@squid-protocol

Copy link
Copy Markdown
Owner

Fixes #7939.

Cause

Ground-truth part 3/4 failed test_cobolrt_api.py::test_the_manifest_is_the_sources_surface: the manifest summary said 1199 members (808 public), the sources have 1200 (809). #7928 and #7932 each added a public member and regenerated against different bases, so the merged summary was one short. Same shape as #7925.

Fix

python tests/tools/cobolrt_api.py generate: a one-line, summary-only diff in docs/language_status/cobolrt_api.json.

Class

Merge-stale derived summary counts in a committed generated manifest. The only other failing job ("Every part passed") is derived from part 3/4.

Facts checked: reproduced at HEAD; after the fix pytest tests/cobol_mainframe/test_cobolrt_api.py gives 61 passed.

Sibling gaps: any two PRs that each add a runtime member can leave the summary stale again; a merge-time guard would be a separate slice (no burned-estate program needs it).

🤖 Generated with Claude Code

…ged (Fixes #7939)

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
@squid-protocol squid-protocol added the shepherd:merge Maintainer: merge when green (auto-merge, squash). Guide: docs/ci.md label Nov 6, 2026
@squid-shepherd

squid-shepherd Bot commented Nov 6, 2026

Copy link
Copy Markdown
Contributor

No description provided.

@squid-shepherd
squid-shepherd Bot marked this pull request as ready for review November 6, 2026 19:16
@squid-shepherd

squid-shepherd Bot commented Nov 6, 2026

Copy link
Copy Markdown
Contributor

No description provided.

@squid-shepherd
squid-shepherd Bot enabled auto-merge (squash) November 6, 2026 19:16
@squid-shepherd
squid-shepherd Bot merged commit a3d308f into main Nov 6, 2026
62 checks passed
@squid-shepherd
squid-shepherd Bot deleted the churn/7939-20261106T1910Z branch November 6, 2026 19:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

shepherd:merge Maintainer: merge when green (auto-merge, squash). Guide: docs/ci.md

Projects

None yet

Development

Successfully merging this pull request may close these issues.

main is red: Mainframe Ground Truth

1 participant