Skip to content

Answer key: reference-modification spans, a new ledger field (#3649, part 2) - #3676

Merged
squid-protocol merged 2 commits into
mainfrom
key/refmod-3649
Sep 25, 2026
Merged

squid-protocol merged 2 commits into
mainfrom
key/refmod-3649

Conversation

@squid-protocol

Copy link
Copy Markdown
Owner

Closes #3649 (part 1 was #3672: CICS RIDFLD).

#3655 (#3670) made the engine keep every reference modification as written, and program_interfaces reads a CICS program's COMMAREA layout from them (MOVE DFHCOMMAREA(LENGTH OF X + 1:LENGTH OF Y) TO Y). No key checked those texts.

New ledger field: refmod spans

  • Unit: L<line> VERB SOURCE(start:length) -> TARGET(start:length) per reference-modified move. Both sides share one spelling via _norm_refmod (whitespace collapsed, no space around + - * / : ( )).
  • Key: the key's own data-move reader. _mv_operands now keeps the refmod text: the top-level parenthesis group containing :, so a subscript X(I) is not a refmod. The existing srm/trm flags are unchanged.
  • Engine: data_move_data.source_refmod_text / target_refmod_text.
  • Separate section, so the reviewed data moves units are untouched.

Result

All 373 units agree: CardDemo 174, CBSA 95, GENAPP 61, zECS 42, zOE 1. DSF's PL/I uses SUBSTR, not refmods.

  • Tier draft, development_rounds: 6.
  • ground_truth_ledger.py update: +0 −0, 0 untriaged; check: clean.
  • preflight.py: all gates PASS. 553 mainframe tests.

With #3672 this closes the gap the #3617 consumer audit found: the byte positions the Java generators depend on (copybook layouts, RIDFLD, refmod spans) now have independent key checks. They go from draft to a verified tier with a census, which is next.

🤖 Generated with Claude Code

https://claude.ai/code/session_017ZsVaAkb86P5r5JXDC2Y9g

squid-protocol and others added 2 commits September 25, 2026 16:03
…part 2)

#3655 made the engine keep each reference modification as written, and
the IR reads a CICS program's COMMAREA from those texts. No key checked
them.

New field `refmod spans`: `L<line> VERB SOURCE(start:length) ->
TARGET(start:length)` per reference-modified move, with one spelling on
both sides (_norm_refmod: whitespace collapsed, no space around
+ - * / : ( )).
- Key: this tool's own data-move reader. _mv_operands now keeps the
  refmod text, the top-level parenthesis group with a colon, so a
  subscript is not a refmod. Its srm / trm flags are unchanged.
- Engine: data_move_data.source_refmod_text / target_refmod_text.
It is a section of its own, so the reviewed `data moves` units are
untouched.

Key and engine agree on all 373 units: CardDemo 174, CBSA 95, GENAPP
61, zECS 42, zOE 1. DSF's PL/I uses SUBSTR, not refmods. Tier draft,
development_rounds 6. Ledger update: +0 -0, 0 untriaged; check clean.

Closes #3649 with part 1 (#3672, RIDFLD).

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_017ZsVaAkb86P5r5JXDC2Y9g
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_017ZsVaAkb86P5r5JXDC2Y9g
@github-actions

Copy link
Copy Markdown
Contributor

🐦‍⬛ Muninn Security Scan

✅ No security issues found.

🐦‍⬛ Powered by Muninn · Skald Lab

@squid-protocol
squid-protocol merged commit cd194a4 into main Sep 25, 2026
38 checks passed
@squid-protocol
squid-protocol deleted the key/refmod-3649 branch September 25, 2026 20:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Answer key: compare RIDFLD and record-layout offsets/widths (unverified attributes the Java generator consumes)

1 participant