Skip to content

tests: zecs-zecs001 TODs differ in the kept prefix; closes the ZUIDSTCK checklist item (Part of #5945) - #5997

Merged
squid-protocol merged 1 commit into
mainfrom
churn/5945-20261022T1016Z
Oct 22, 2026
Merged

squid-protocol merged 1 commit into
mainfrom
churn/5945-20261022T1016Z

Conversation

@squid-protocol

Copy link
Copy Markdown
Owner

What

The three code items of [c:4feb6009] (port stand-in #5968, oracle twin + zecs-zecs001 case #5979, register X47 + survey #5984) are already on main. This PR adds the one missing pin: test_the_zecs001_case_states_two_tods_that_differ_in_the_kept_prefix checks the case's scenarios state distinct TODs that differ within THE-TOD(1:6), the only bytes ZECS001 keeps (ZK-ZF-IDN). Otherwise the case could not show the stated input reaching the key record.

Checklist: done [c:4feb6009]

Evidence (ladder, not proven/unproven)

  • Translated: ZECS001 561/561, 0 holes (det_port.py run zecs-zecs001).
  • Executed-equivalent: 2 scenarios (two stated TODs), PROVED against GnuCOBOL + the zuidstck.c twin; oracle is GnuCOBOL plus our stub, not z/OS.
  • Unit: test_zuidstck_model_5945.py + test_pointer_lane_4771.py, 48 passed.
  • Assumption relied on: X47 (the 16 bytes are opaque and stated; STCK/STCKE layout not modelled).
  • Gates: audit_check.py all clear. No parsing change, so no golden bless.

Sibling gaps

ZECS002 / ZECSNC (assembler) stay frontier in #5859. The remaining ZECS001 COMMAREA DTO item is X47's, not a ZUIDSTCK hole. Neither is a burned-estate need here.

Cross-repo

None.

🤖 Generated with Claude Code

…TOD(1:6) (Part of #5945)

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 22, 2026
@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.

@squid-protocol
squid-protocol marked this pull request as ready for review October 22, 2026 10:20
@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 22, 2026
@squid-protocol
squid-protocol enabled auto-merge (squash) October 22, 2026 10:21
@squid-protocol

Copy link
Copy Markdown
Owner Author

No description provided.

@squid-protocol
squid-protocol merged commit 60569a8 into main Oct 22, 2026
49 checks passed
@squid-protocol
squid-protocol deleted the churn/5945-20261022T1016Z branch October 22, 2026 10:29
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