Skip to content

det: pin every form of a dirty ADD/SUBTRACT receiver; fix stale C11 gap (Part of #4692) - #5591

Merged
squid-protocol merged 1 commit into
mainfrom
churn/4692-20261019T0909Z
Oct 19, 2026
Merged

squid-protocol merged 1 commit into
mainfrom
churn/4692-20261019T0909Z

Conversation

@squid-protocol

Copy link
Copy Markdown
Owner

Part of #4692.

Cross-repo: none.

What

The receiver class of #4692 was already refused by name (Cobol.receiverNum / counterNum, #5327, #5404). This PR closes the remaining test and doc gaps:

No engine change, so no golden, ledger or port moves.

Class table

Member Status
ADD/SUBTRACT/MULTIPLY/DIVIDE receiver refused (#4692 earlier)
TALLYING / POINTER refused (#5327)
PERFORM VARYING / SET BY refused (#5404)
P-scaled sender refused (#4992)
ON SIZE ERROR / ROUNDED / multi-receiver forms refused, tested here
ADD/SUBTRACT CORRESPONDING hole, tested here

Sibling gaps

A non-digit as a subscript, reference-modification bound or OCCURS DEPENDING ON: not checked here; no burned program known to need it.

Checklist: none named.

🤖 Generated with Claude Code

…NDING hole; fix stale C11 gap (Part of #4692)

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 Oct 19, 2026
@squid-protocol

Copy link
Copy Markdown
Owner Author

No description provided.

@squid-protocol
squid-protocol marked this pull request as ready for review October 19, 2026 09:41
@squid-protocol
squid-protocol enabled auto-merge (squash) October 19, 2026 09:46
@squid-protocol
squid-protocol merged commit 50ceac4 into main Oct 19, 2026
51 checks passed
@squid-protocol
squid-protocol deleted the churn/4692-20261019T0909Z branch October 19, 2026 10:05
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.

1 participant