Skip to content

ZECS000: file abends on the control READ reach 9100-ABEND (Part of #6271) - #6427

Merged
squid-protocol merged 1 commit into
mainfrom
churn/6271-20261024T0922Z
Oct 24, 2026
Merged

squid-protocol merged 1 commit into
mainfrom
churn/6271-20261024T0922Z

Conversation

@squid-protocol

Copy link
Copy Markdown
Owner

Part of #6271, Part of #6072.

Checklist: done [c:b93f4d8b]

What

The last open candidate of the abend-injection item, ZECS000's 9100-ABEND, is reachable with the existing X70 file-control abend plan: its HANDLE ABEND LABEL(9100-ABEND) is registered in 1000-RETRIEVE, and the control-record READ ... UPDATE is a file command. Three zecs-zecs000 scenarios (control-read-abends-afcr / afcs / afct) plan the abend; the exit runs 8000-RESTART and 9000-RETURN. No code change. The case pin is a test in test_equivalence_cics_abend_injection.py; X70 and the case notes are updated.

Evidence (levels, not "proven")

zecs-zecs000, det port vs GnuCOBOL: 13 scenarios (was 10), equal on all; paragraphs 33/38 -> 34/38; net branches 38/46 unchanged. Assumptions: X70 (ASSUMED, oracle is GnuCOBOL plus our stub). Residual: the expiration browse path stays out (run-time-named ZC##FILE holes).

Class / Sibling gaps

Class: burned-estate HANDLE ABEND exits not reached by an injected abend. Done across file control (#6286), Db2 (#6350, #6384), LINK (#6400), INQCUST (#6419) and now ZECS000. Siblings: CALL abend is refused by name (no burned program issues a COBOL CALL); a non-file command abend (SEND/RECEIVE/WEB/DOCUMENT) stays refused, no burned program needs it.

Gates: pr_gates --fast 7/7, --ratchets 9/9, targeted tests pass.

🤖 Generated with Claude Code

)

Three zecs-zecs000 scenarios plan AFCR/AFCS/AFCT on the READ UPDATE of the
control record; the HANDLE ABEND exit takes the task to 9100-ABEND. No
non-file command abend is needed. Coverage 33/38 -> 34/38 paragraphs.

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 24, 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 24, 2026 09:30
@squid-protocol squid-protocol added shepherd:merge Maintainer: merge when green (auto-merge, squash). Guide: docs/ci.md and removed shepherd:merge Maintainer: merge when green (auto-merge, squash). Guide: docs/ci.md labels Oct 24, 2026
@squid-protocol
squid-protocol enabled auto-merge (squash) October 24, 2026 09:34
@squid-protocol
squid-protocol merged commit 4c8feec into main Oct 24, 2026
59 checks passed
@squid-protocol
squid-protocol deleted the churn/6271-20261024T0922Z branch October 24, 2026 10:00
@squid-protocol

Copy link
Copy Markdown
Owner Author

No description provided.

1 similar comment
@squid-protocol

Copy link
Copy Markdown
Owner Author

No description provided.

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