Repository navigation
equivalence: cases for the 16 CICS programs that have none (6 estates) #5076
Description
16 CICS programs in 6 estates have no equivalence case at all (13 of them have no other gap), so they can never be proven. 8 are in burned estates.
Do: add an equivalence case per program (scenarios over its whole input class, per the pr-worker rules), starting with the 13 whose only gap is the missing case; list the 16 with estate and status in the PR. Burned estates only; never loosen a proof.
Acceptance: proof_blockers shows no "no equivalence case" entry for a burned-estate CICS program; each new case is proven or names its holes.
Measured on origin/main 36671d5 (2026-10-13) over the 8 local corpora + 10 census clones (12 with CICS): cics_census.py survey --baseline --census-corpora <census> then proof_blockers.py <survey dir> --census-corpora <census> --json. 103 of 125 CICS programs translate whole; only 14 are proven (all CardDemo BMS).
Owner-approved re-ranking of the CICS queue by estate/program reach (2026-10-13).
🤖 Generated with Claude Code
Activity
WIP equivalence: zecs-zecs003 case, tests for LENGTH OF an element an…
WIP equivalence: det-sweep baseline for the four unproven new cases, …
register X31: an equivalence case states its mapsets (Part of #5076)
squid-protocol commentedon Oct 14, 2026
Siblings: #5089 (the members PR #5087 left open: ZECS000 install symbols, nested RUN TRANSID, EIBFN literal fact, facade RETURN-length refusals).
equivalence: cases for CICS programs with none in the burned estates …
det coverage ledger: cbsa-bnk1cac 31 scenarios / 58 of 97 branches af…
equivalence: drop unreal NUM-field letter scenarios (Part of #5116) (#…
BNK1CCA case proves: det SEND/RECEIVE MAP covers every OCCURS occurre…
cbsa-delcus case: DELCUS proves except the file change after INQACCCU…
DRAFT: BNK1CCA + DELCUS cases; screen compare at every OCCURS occurre…
squid-protocol commentedon Oct 16, 2026
Acceptance met by PR #5279: re-measured on HEAD (proof_blockers, burned estates), no burned-estate CICS program carries a "no equivalence case" gap any more. The new cases are BNK1CCA (proven) and DELCUS (not proven, holes named: file change after SYNCPOINT ROLLBACK, now tracked on #5089). The other programs in the list were cased earlier and keep their named blockers (#5089, #4952/#5064, #4771). The issue's 16-program list was measured on an older commit and covered non-burned estates, which are out of scope by policy.
equivalence: baseline cbsa-bnk1uac-generated's java-facade refusal (P…
equivalence: BNK1UAC on generated Db2 rows (Part of #4507) (#5569)