Repository navigation
det runtime: browse/DELETE RESP2 as IBM states it; signon model port LOW-VALUES (#4657, #4659) - #4661
Merged
Merged
Conversation
…part from spaces in the COMMAREA (#4635) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
![github-advanced-security[bot]](https://avatars.githubusercontent.com/in/57789?s=60&v=4){kind=small}
Contributor
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
… signon model port keeps LOW-VALUES (#4657, #4659) CicsTask.startbr / endbr / delete record RESP2 (resp2()), readnext / readprev return it in Browsed: STARTBR INVREQ 33 / NOTFND 80, READNEXT/READPREV INVREQ 34 / ENDFILE 90 / NOTFND 80, ENDBR INVREQ 35, DELETE NOTFND 80. The det translator stores them in EIBRESP2 / RESP2. COSGN00C model port: RECEIVE MAP clears the map to LOW-VALUES. billpay (det+model) and signon (model) leave det_sweep_baseline.json. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
squid-protocol
force-pushed
the
fix/4657-4659-resp2-signon
branch
from
October 8, 2026 02:57
7275746 to
633d626
Compare
Conflicts: equivalence_cics.compare_task_sysout takes main's (#4660's own change); det_sweep_baseline.json keeps this PR's removal of the billpay / signon model entries. Evidence records for carddemo-billpay / carddemo-signon taken from main and re-proven (evidence.py prove), reports refreshed (evidence_report.py --refresh). Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01MQNoe4wPJgr7dbUvs3DG6D
…entry The merge of main silently restored it (#4660's squash re-added what this branch's own commit removed); billpay is proven on the det sweep. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01MQNoe4wPJgr7dbUvs3DG6D
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01MQNoe4wPJgr7dbUvs3DG6D
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Fixes #4657, Fixes #4659
Stacked on #4660 -- merge that first (once it merges, a rebase drops its commits). Part of #4270.
CicsTask.startbr/endbr/deletenow record RESP2 (task.resp2()),Browsedcarriesresp2, and the det translator stores them in EIBRESP2 / RESP2. Values (as the stub already had them): STARTBR INVREQ 33 / NOTFND 80, READNEXT/READPREV INVREQ 34 / ENDFILE 90 / NOTFND 80, ENDBR INVREQ 35, DELETE NOTFND 80. The full-key READ NOTFND stays 0 (spec PR 6 states it). The billpay model port now reads them too.Evidence: proof_sweep (--skip-db2) on billpay, signon, cardlist, userlist, tranlist, tranadd, userdel, genapp-lgdpvs01, mortgage-mlist(+generated): all PROVED det and model. pr_gates --fast 5/5; --ratchets 7/7, 0 skipped.
🤖 Generated with Claude Code