Skip to content

det port: GenApp LGIPVS01 (completes overlap with IBM's published WCA4Z validation set) #4174

Closed
Closed
det port: GenApp LGIPVS01 (completes overlap with IBM's published WCA4Z validation set)#4174
Labels
enhancementNew feature, sensor, or structural signatureera:2Era CICS/MVS-ESA, COBOL II/85: RESP, SQL, DPL (~1988-96) (era_tags.py)legacy-modernizationCOBOL refractor, dead-code extraction, and JCL forgingpriority: lowUI tweaks, documentation, and minor optimizationsscope:coreBlocks a burned-estate program's next evidence rung, or the 4th-estate one-shot trialtestingUnit, integration, and E2E pipeline verificationtier:scoreChurn tier 3: translation scores / proofs of named programs
Milestone
Run Verified ✅ — Pics or It Didn't Port

Description

@squid-protocol
squid-protocol
opened on Oct 2, 2026

Add a det-port equivalence case for GenApp LGIPVS01, the VSAM policy inquiry.

It is one of the GenApp programs in IBM's published WCA4Z validation results (Kumar et al., ASE 2024 / arXiv 2506.10999, Table 1: FIRST-SENTENCE, 2/2 tests). It is the only one of their GenApp programs we haven't proven. We already prove LGACDB01, LGAPDB01, LGACVS01 and LGUCDB01, which the papers also report. Proving LGIPVS01 completes the overlap with their published set.

Activity

  1. squid-protocol
    added
    enhancementNew feature, sensor, or structural signature
    legacy-modernizationCOBOL refractor, dead-code extraction, and JCL forging
    testingUnit, integration, and E2E pipeline verification
    priority: lowUI tweaks, documentation, and minor optimizations
    on Oct 3, 2026
  2. squid-protocol
    added this to the Run Verified ✅ — Pics or It Didn't Port milestone on Oct 3, 2026
  3. squid-protocol
    added
    tier:scoreChurn tier 3: translation scores / proofs of named programs
    on Oct 15, 2026

  4. squid-protocol commented on Oct 16, 2026

    @squid-protocol
    squid-protocol
    on Oct 16, 2026
    OwnerAuthor

    Siblings: #5252 (COMMAREA / STARTCODE D cases for the other GenApp VSAM programs; PR #5251)

  5. squid-protocol
    added 4 commits that reference this issue on Oct 16, 2026

    tests: mark the CicsTask TS-queue test slow for the time ratchet (Par…

    a2d1c61

    tests: drop an unrelated formatter rewrap from the previous commit (P…

    6d58812

    tests: STARTCODE D is a legal scenario startcode; the refusal test us…

    73d5307

    equivalence: GenApp LGIPVS01 COMMAREA path (STARTCODE D) proved (Part…

    7b5a64f

  6. squid-protocol commented on Oct 16, 2026

    @squid-protocol
    squid-protocol
    on Oct 16, 2026
    OwnerAuthor

    Closed by PR #5251: LGIPVS01 now has both det-port cases (genapp-lgipvs01 terminal, genapp-lgipvs01-linked DPL), both PROVED against GnuCOBOL + stub; the WCA4Z overlap is complete. Sibling VSAM-family gaps are recorded in the PR.

  7. squid-protocol
    closed this as completedon Oct 16, 2026
  8. squid-protocol
    added
    scope:coreBlocks a burned-estate program's next evidence rung, or the 4th-estate one-shot trial
    era:2Era CICS/MVS-ESA, COBOL II/85: RESP, SQL, DPL (~1988-96) (era_tags.py)
    on Oct 16, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementNew feature, sensor, or structural signatureera:2Era CICS/MVS-ESA, COBOL II/85: RESP, SQL, DPL (~1988-96) (era_tags.py)legacy-modernizationCOBOL refractor, dead-code extraction, and JCL forgingpriority: lowUI tweaks, documentation, and minor optimizationsscope:coreBlocks a burned-estate program's next evidence rung, or the 4th-estate one-shot trialtestingUnit, integration, and E2E pipeline verificationtier:scoreChurn tier 3: translation scores / proofs of named programs

    Projects

    No projects

      Milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions