Skip to content

corpus: pin the async credit-card estate as a development (burned) estate (#4270) - #4633

Merged
squid-protocol merged 1 commit into
mainfrom
corpus/4270-async-creditcard-pin
Oct 7, 2026
Merged

squid-protocol merged 1 commit into
mainfrom
corpus/4270-async-creditcard-pin

Conversation

@squid-protocol

Copy link
Copy Markdown
Owner

Part of #4270.

Promotes cicsdev/cics-async-api-credit-card-application-example (Apache-2.0, pinned at c32c52fc) from a counts-only census clone to a pinned mainframe corpus, recorded as a BURNED development estate. No translation or equivalence cases here (the harness agent adds those).

Pieces (as #4216)

Survey (cics_census.py, origin/main c0bb2f2 translator)

programs whole non-burned burned
before 125 76 31 (14 whole) 94 (62 whole)
after 125 76 21 (5 whole) 104 (71 whole)

Ten programs move non-burned -> burned (not 8: GETPOL and GETSPND also use EXEC CICS): 9 whole, ASYNCPNT with RUN/FETCH holes.

Defects found: #4626 forge ignores one-digit level numbers (0 of 158 fields); #4630 det translator's last-unit extent runs over END PROGRAM.

Local gates: pr_gates.py --ratchets 6/6 pass; lint, audits, secrets, xray, gauntlet, golden pass; the full suite was left to CI per the owner rule.

Note: sources carry "Licensed Materials - Property of IBM / SAMPLE" file headers under the repo's Apache-2.0 LICENSE.

🤖 Generated with Claude Code

…tate (#4270)

- corpora.json: cics-async-api-credit-card-application-example @ c32c52fc (Apache-2.0), excerpt with LICENSE
- answer key: 10 programs, units/extents llm_verified, blind census by a second model family (14/14 units, 10/10 calls) -> cross_verified
- key reader: a one-digit-level VALUE resolves a LINK operand; a lone program's last unit stops before END PROGRAM
- ground-truth ledger: 20 deliberate (#2806), 158 forge defect #4626; fact cross-check: 20 translator extent disagreements (#4630)
- completeness pin, refraction snapshots + differential baseline (#4626), field-testing round 8 + D047
- BURNED_NAMES += the repo name; cics_census / cics-command-slice burned lists

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@github-actions

github-actions Bot commented Oct 7, 2026

Copy link
Copy Markdown
Contributor

🐦‍⬛ Muninn Security Scan

✅ No security issues found.

🐦‍⬛ Powered by Muninn · Skald Lab

@squid-protocol
squid-protocol marked this pull request as ready for review October 7, 2026 18:21
@squid-protocol
squid-protocol merged commit 9499284 into main Oct 7, 2026
41 checks passed
@squid-protocol
squid-protocol deleted the corpus/4270-async-creditcard-pin branch October 7, 2026 18:22
squid-protocol added a commit that referenced this pull request Oct 7, 2026
Co-authored-by: Claude Opus 5.5 <noreply@anthropic.com>
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.

1 participant