Repository navigation
Estate 4: IBM DBB MortgageApplication -- EPSNBRVL and EPSCMORT proven; group USING items across CALL, nested COPY, CBL from column 1 - #4216
Merged
Conversation
…sed), completeness pin, ledger triage - corpora.json: dbb-mortgage-application (IBM/dbb @ ce2c1be5, Apache-2.0), excerpt with LICENSE - answer key: 5 programs, census-signed by a blind second model (45/45 agree); EPSCSMRD (nine sibling programs in one source) excluded until the key models them (#4206) - completeness pin and ledger: 10 entries to the deliberate #2806 cause, engine defects #4204, #4205 Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01RZE6us7fUL6Hynk59rWLvZ
… the translator, harness and IR fixes they needed Translator (det): - compiler-option cards read by the engine's own card reader (a card may start in any column: ' CBL NUMPROC(MIG)') - 'ID DIVISION.' read as IDENTIFICATION DIVISION - a CALL entry and a CALL site carry a group USING item as its contract DTO (the COMMAREA codec), BY REFERENCE; CobolRef imported only where a CALL passes text IR: a COPY after a copied elementary root inside its copybook expands as its siblings (EPSMTCOM -> the full DTO) Forge: a CICS estate always gets the CICS exception types Harness: - call cases with group USING items (DTO JSON in/out, field-by-field values), arguments as field values (hex MOVEs) - copybooks staged under their member names; the period IBM assumes after a PROGRAM-ID name - generated BMS symbolic maps for screens (@bms/); X10: COMMAREA fields copied from an absent COMMAREA, masked and counted Cases: mortgage-nbrvl (15 calls, 22/22 branches), mortgage-cmort (6 scenarios, Db2 + BMS), mortgage-mpmt (KNOWN_UNPROVEN: NUMPROC(MIG), C5). Register: C5 += NUMPROC(MIG), X10. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01RZE6us7fUL6Hynk59rWLvZ
… X12) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01RZE6us7fUL6Hynk59rWLvZ
…rvey, cases, what it took Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01RZE6us7fUL6Hynk59rWLvZ
…1 branches) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01RZE6us7fUL6Hynk59rWLvZ
Contributor
…ion snapshots, typed det codec attributes - field_testing.json: dbb-mortgage-application as public round 7; D-entries for #4204 and #4205; report regenerated - refraction snapshots (excerpt and full) for the new corpus only; the six existing snapshots are unchanged - gen.py: dto_codecs / dto_codecs_factory typed (mypy-audit) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01RZE6us7fUL6Hynk59rWLvZ
Owner
Author
|
Full det sweep on this branch, after merging main with #4200 SQL faults and #4202 ( The CI fixes are in 234f9f6:
|
… CICS test catches CicsAbendException only when the estate has it test_a_cics_program_without_handlers_needs_no_exception_classes pins the generator's rule: no exception package when no service throws or handles one. The equivalence test now imports and catches CicsAbendException only when the generated project has it (IBM DBB MortgageApplication's has not); mortgage-cmort still proves (7 scenarios). Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01RZE6us7fUL6Hynk59rWLvZ
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01RZE6us7fUL6Hynk59rWLvZ
This was referenced Oct 3, 2026
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
1 participant
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.
Licence. IBM/dbb is Apache-2.0 (root
LICENSE, checked atce2c1be5). The committed material is the MortgageApplication COBOL, copybooks and BMS (in the excerpt, as file-level "(C) 2020 IBM" notices), plus fixtures derived from them. Each fixture directory carries a byte-identical copy of the Apache-2.0LICENSEand aNOTICEattributing IBM, as the CardDemo, CBSA and GenApp fixtures do. Flagged per the third-party material policy:zBuilder/MortgageApplication/dbb-app.yamlcarries its own "Licensed materials - Property of IBM, 5655-AC5" header. It is not committed anywhere (not in the excerpt, cases or snapshots); scans only read it in the local clone.Ground truth