Skip to content

CICS file control: tokenless update hold INVREQ RESP2 30 / 31 / 28 on both runtimes (Part of #5092) - #5103

Merged
squid-protocol merged 1 commit into
mainfrom
churn/5092-resp2-28-30-31
Oct 14, 2026
Merged

squid-protocol merged 1 commit into
mainfrom
churn/5092-resp2-28-30-31

Conversation

@squid-protocol

Copy link
Copy Markdown
Owner

Part of #5092. Models the tokenless file-control INVREQ RESP2 values on both CICS runtimes (stub ggcics.c, Java CicsTask) and the spec, as #5090 did for 47.

IBM CICS TS 6.x, EXEC CICS REWRITE / DELETE / READ (register X52):

  • REWRITE without TOKEN and no tokenless READ UPDATE before it: INVREQ RESP2 30
  • DELETE without RIDFLD and no tokenless READ UPDATE before it: INVREQ RESP2 31
  • second tokenless READ UPDATE on the file with no REWRITE / DELETE / UNLOCK / SYNCPOINT between: INVREQ RESP2 28 (READ and GTEQ/GENERIC UPDATE on Java; the stub's one READ path)
  • the full-key READ's other INVREQ / NOTFND RESP2 values: not here (NOTFND RESP2 80 on the full key would move every NOTFND in the estate proofs; a separate sweep)

Tests: tests/cics_crucible/test_update_hold_resp2_5092.py, one 23-step scenario run on the stub and CicsTask (no hold, spent hold, SYNCPOINT, NOTFND, plain READ, other file, token hold vs tokenless hold) plus GTEQ UPDATE; test_update_token_runtimes_5078.py expectation 0 -> 30. Spec outcomes in files.py; X52 updated.

Cross-repo: none. Overlaps open #5095 (UNLOCK without TOKEN: same files); this PR touches only the INVREQ paths, so expect a trivial merge either way.

Gates: pr_gates --fast 6/6, --ratchets 7/7 (0 skipped); cics_crucible + equivalence_cics tests pass (Docker/Maven cells skipped locally).

🤖 Generated with Claude Code

… both runtimes (Part of #5092)

Co-Authored-By: Claude Opus 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 14, 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 14, 2026 11:08
@squid-protocol
squid-protocol enabled auto-merge (squash) October 14, 2026 11:08
@squid-protocol

Copy link
Copy Markdown
Owner Author

No description provided.

@github-actions

Copy link
Copy Markdown
Contributor

🐦‍⬛ Muninn Security Scan

✅ No security issues found.

🐦‍⬛ Powered by Muninn · Skald Lab

@squid-protocol squid-protocol added shepherd:retrying Bot: an infra/flake rerun is pending on this head. Guide: docs/ci.md and removed shepherd:retrying Bot: an infra/flake rerun is pending on this head. Guide: docs/ci.md labels Oct 14, 2026
@squid-protocol
squid-protocol merged commit 8d69eb1 into main Oct 14, 2026
78 of 79 checks passed
@squid-protocol
squid-protocol deleted the churn/5092-resp2-28-30-31 branch October 14, 2026 12:17
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