Skip to content

register: D2, F1 and F3 quote IBM's text and declare the oracle difference (Part of #4702) - #5396

Merged
squid-protocol merged 1 commit into
mainfrom
churn/4702-20261018T0022Z
Oct 18, 2026
Merged

squid-protocol merged 1 commit into
mainfrom
churn/4702-20261018T0022Z

Conversation

@squid-protocol

Copy link
Copy Markdown
Owner

Part of #4702 (slice 2, after #5384). Docs-only: no code, no proof loosened, no golden/ledger move.

Design decision. An ASSUMED or "match GnuCOBOL" register entry quotes IBM's text from the 6.4 Language Reference / Programming Guide and either matches it or declares the oracle-vs-IBM difference; what IBM does not tabulate stays ASSUMED and says so.

Class (register entry whose IBM side is ASSUMED, no quote, no declared difference), data/files side:

member before now
D2 hex literal cited; separator and device record size uncited separator declared (IBM: next line = record boundary; cobc/port: LF, comparator splits on it); device padding (120/255) stated ASSUMED, not modelled
F1 "assumed to match VSAM" Table 34 meanings quoted (00/02/10/22/23/35, and 39/04 defined); only situation and check order stay ASSUMED
F3 VB framing "unlike a z/OS RDW" format-V ll (counts its own 4 bytes) / bb quoted; header-less length a declared bytes-at-rest difference; BDW/SDF stay ASSUMED
RT-SYS-DISPLAY-SYSOUT rule register C8 + D2

X25 already quotes IBM (#5384-era), unchanged.

Gates. pr_gates --fast 6/6; register.py --check clean; test_cobolrt_rules.py + test_generated_docs.py 71 passed. --ratchets not run (docs only, no input of any ratchet changed).

Cross-repo. None.
Co-Authored-By trailer on the commit.

🤖 Generated with Claude Code

…rence (Part of #4702)

D2: hex-literal, ordinary-literal and DISPLAY text quoted; the LF separator is
a declared oracle-vs-IBM difference; device record padding is stated as not
modelled. F1: Table 34 meanings quoted, situation/order of checks stays
ASSUMED. F3: format-V ll/bb layout quoted, the header-less length declared.
RT-SYS-DISPLAY-SYSOUT cites D2.

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 18, 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 18, 2026 00:30
@squid-protocol
squid-protocol enabled auto-merge (squash) October 18, 2026 00:36
@squid-protocol

Copy link
Copy Markdown
Owner Author

No description provided.

@squid-protocol
squid-protocol merged commit 8158deb into main Oct 18, 2026
43 checks passed
@squid-protocol
squid-protocol deleted the churn/4702-20261018T0022Z branch October 18, 2026 00:46
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