Public Validation Library

Public corpora • Deterministic outcomes
We publish precedent. We invite comparison. We do not predict.

This page lists public codebases analyzed under a declared governance context. Each entry is tied to bundle hashes and a locked registry version.

Validation entries

CMS ESRD CY212 Mainframe Pricer Release Files

Corpus identity: CMS ESRD CY212 Mainframe Pricer Release Files. Upstream: https://www.cms.gov/pricersourcecodesoftware. Revision: unrecorded in this run. Scope: archive scan; programs 21; copybooks 3; files 34.

Declared context (locked): Production / Regulated / High. Declared prior to analysis; immutable; changes require new analysis.

These results describe what occurred under the declared governance context for the listed corpus. They do not predict outcomes for any other system.

Authority outcome: NO-GO. Authority terminates where provability terminates.

Deterministic verification: Bundle ID c7bd4e205aa59729. Registry version 1.0.10. Policy hash sha256:3d60155cb803fc18e2356f3f0bbebb1441cccb58b37cbfa9ca359c84ee8fd8cd. Bundle root hash sha256:8b3218d66ed61cd61f1e3b7fe5c253739446978857152de933699b3a3c4c05eb. Findings hash sha256:4c911a5e8677969bbf53f3dd5b9e1c9c50dfff78725dda7d9fceb67a7a36caca. Discards hash sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.

Boundary disclosure: Tier-2 count 20; Not-Provable 0. Boundary rules: BEHAVIOR_DYNAMIC_CALL. Tier-2 boundary evidence present under this context.

Downloads: Board Decision Record (PDF), Executive Decision Summary (PDF), Engineering Evidence Record (PDF), Regulatory Evidence Packet (PDF).

IBM CICS Banking Sample Application (CBSA)

Corpus identity: IBM CICS Banking Sample Application (CBSA). Upstream: https://github.com/IBM/cics-banking-sample-application. Revision: unrecorded in this run. Scope: archive scan; programs 29; copybooks 44; files 793.

Declared context (locked): Production / Regulated / High. Declared prior to analysis; immutable; changes require new analysis.

These results describe what occurred under the declared governance context for the listed corpus. They do not predict outcomes for any other system.

Authority outcome: NO-GO. Authority terminates where provability terminates.

Deterministic verification: Bundle ID 923afc22aabe5172. Registry version 1.0.10. Policy hash sha256:95b1b3996b986b41ad69908c6efb272542aa4319b95a061b7eb610cd04f62421. Bundle root hash sha256:a217c7b1768b9e0fbe97a8bf8c1e1b37e0f387d8a2517979244d27fb05fc5e68. Findings hash sha256:30c535dd40a16748fe5e2fe11a71c08f3f97c7ae8dca6ce9c60164092598f161. Discards hash sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.

Boundary disclosure: Tier-2 count 357; Not-Provable 0. Boundary rules: DATA_CICS_LINK, DATA_CICS_NO_RESP, DATA_CICS_NO_SYNCPOINT, DATA_CICS_RETURN, DATA_TXN_FILE_IO_OPAQUE. Tier-2 boundary evidence present under this context.

Downloads: Board Decision Record (PDF), Executive Decision Summary (PDF), Engineering Evidence Record (PDF), Regulatory Evidence Packet (PDF).

AWS Mainframe Modernization CardDemo

Corpus identity: AWS Mainframe Modernization CardDemo. Upstream: https://github.com/aws-samples/aws-mainframe-modernization-carddemo. Revision: unrecorded in this run. Scope: archive scan; programs 44; copybooks 65; files 329.

Declared context (locked): Production / Regulated / High. Declared prior to analysis; immutable; changes require new analysis.

These results describe what occurred under the declared governance context for the listed corpus. They do not predict outcomes for any other system.

Authority outcome: NO-GO. Authority terminates where provability terminates.

Deterministic verification: Bundle ID 55944130cb86d229. Registry version 1.0.10. Policy hash sha256:6a36d256d8f765272e7a0c288b77b28e23887e5c98d2f5d86c1ed9e483c4f0f9. Bundle root hash sha256:ebf3b35f160da76b85de86fb29a16ff4c1556d83b0b41b9407deff571965f47a. Findings hash sha256:87451ae35132ed2b8fe86bbd9fa211cd95e1a80e0d4619ed49c9378bdc8fd6e1. Discards hash sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.

Boundary disclosure: Tier-2 count 214; Not-Provable 0. Boundary rules: ASSEMBLER_OPAQUE_ENTRY, BEHAVIOR_ALTER, DATA_CICS_NO_RESP, DATA_CICS_RETURN, DATA_TXN_FILE_IO_OPAQUE, DEPENDENCY_EXTERNAL_UNRESOLVED, IMS_DLI_OPAQUE_RUNTIME. Tier-2 boundary evidence present under this context.

Downloads: Board Decision Record (PDF), Executive Decision Summary (PDF), Engineering Evidence Record (PDF), Regulatory Evidence Packet (PDF).

IBM CICS GenApp

Corpus identity: IBM CICS GenApp. Upstream: https://github.com/IBM/cics-genapp. Revision: unrecorded in this run. Scope: archive scan; programs 31; copybooks 13; files 139.

Declared context (locked): Production / Regulated / High. Declared prior to analysis; immutable; changes require new analysis.

These results describe what occurred under the declared governance context for the listed corpus. They do not predict outcomes for any other system.

Authority outcome: NO-GO. Authority terminates where provability terminates.

Deterministic verification: Bundle ID aa9f6681ebbf3d5a. Registry version 1.0.10. Policy hash sha256:499f2d6454112a5913f8daa021b15fa1834c46095aea6f067fa2745957149876. Bundle root hash sha256:5620a1696410d881f9061fe2579b730b03fbc0750990216500aca3b4becf31ff. Findings hash sha256:2306714c2cfea35850aefb65dc743a5b3124374ae35fa78067ca4fc167b63f65. Discards hash sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.

Boundary disclosure: Tier-2 count 352; Not-Provable 0. Boundary rules: DATA_CICS_HANDLE_CONDITION, DATA_CICS_LINK, DATA_CICS_NO_RESP, DATA_CICS_NO_SYNCPOINT, DATA_CICS_RETURN, DATA_CICS_START. Tier-2 boundary evidence present under this context.

Downloads: Board Decision Record (PDF), Executive Decision Summary (PDF), Engineering Evidence Record (PDF), Regulatory Evidence Packet (PDF).

IBM z/OS Connect COBOL API requester

Corpus identity: IBM z/OS Connect COBOL API requester. Upstream: https://github.com/zosconnect/zosconnect-sample-cobol-apirequester. Revision: unrecorded in this run. Scope: archive scan; programs 2; copybooks 6; files 25.

Declared context (locked): Production / Regulated / High. Declared prior to analysis; immutable; changes require new analysis.

These results describe what occurred under the declared governance context for the listed corpus. They do not predict outcomes for any other system.

Authority outcome: NO-GO. Authority terminates where provability terminates.

Deterministic verification: Bundle ID 95af516c907f8dd4. Registry version 1.0.10. Policy hash sha256:30827ec6a15ccb0baa9b67149788058117ff0221837ea79627a3243c5b856aca. Bundle root hash sha256:0360f24fa00f4f3b4eec689fa897c688cd9fe9f056313d45311dd2d64e16f066. Findings hash sha256:867088da0c80cd7bfd90ff09f272c4e43a7626a607b658244ea89dcd77ace4e2. Discards hash sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.

Boundary disclosure: Tier-2 count 17; Not-Provable 0. Boundary rules: BEHAVIOR_DYNAMIC_CALL, DATA_CICS_RETURN, DATA_TXN_FILE_IO_OPAQUE, IMS_DLI_OPAQUE_RUNTIME. Tier-2 boundary evidence present under this context.

Downloads: Board Decision Record (PDF), Executive Decision Summary (PDF), Engineering Evidence Record (PDF), Regulatory Evidence Packet (PDF).

IBM z/OS Connect sample-oas3-requester

Corpus identity: IBM z/OS Connect sample-oas3-requester. Upstream: https://github.com/zosconnect/sample-oas3-requester. Revision: unrecorded in this run. Scope: archive scan; programs 16; copybooks 36; files 78.

Declared context (locked): Production / Regulated / High. Declared prior to analysis; immutable; changes require new analysis.

These results describe what occurred under the declared governance context for the listed corpus. They do not predict outcomes for any other system.

Authority outcome: NO-GO. Authority terminates where provability terminates.

Deterministic verification: Bundle ID 352c70a65c162104. Registry version 1.0.10. Policy hash sha256:a12a5c0757af0557f94c27c85d32260e5c0e34e8a8c929cb53f56b3f7312a4f3. Bundle root hash sha256:56a2c26e008d9f702801cb28e87642396832cd439b95b9f7313f4609d0a8f511. Findings hash sha256:7a5c798ff1480aaa0a7c4dc055a0ba88833c7a771be68e522f3e6eff4716c38d. Discards hash sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.

Boundary disclosure: Tier-2 count 116; Not-Provable 0. Boundary rules: DATA_CICS_NO_RESP, DATA_CICS_RETURN, DEPENDENCY_EXTERNAL_UNRESOLVED, PLI_POINTER_USAGE. Tier-2 boundary evidence present under this context.

Downloads: Board Decision Record (PDF), Executive Decision Summary (PDF), Engineering Evidence Record (PDF), Regulatory Evidence Packet (PDF).

cobol-banking-system

Corpus identity: cobol-banking-system. Upstream repo URL unverified; revision unrecorded in this run. Scope: archive scan; programs 103; copybooks 7; files 341.

Declared context (locked): Production / Regulated / High. Declared prior to analysis; immutable; changes require new analysis.

These results describe what occurred under the declared governance context for the listed corpus. They do not predict outcomes for any other system.

Authority outcome: NO-GO. Authority terminates where provability terminates.

Deterministic verification: Bundle ID 7d31388123fc3c6a. Registry version 1.0.10. Policy hash sha256:6826a8036278e098c2c9f5db890072797bee5f8602ee79ce6afa4da37d38ac65. Bundle root hash sha256:1be30eace8104f9024d4e98747c386445687e9d1a4839fb0756f760eb340d794. Findings hash sha256:af00657eeaff683f4228106b80b0ee007aea36b4361bd0eba325652ce4ed32c6. Discards hash sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.

Boundary disclosure: Tier-2 count 145; Not-Provable 0. Boundary rules: DEPENDENCY_EXTERNAL_UNRESOLVED. Tier-2 boundary evidence present under this context.

Downloads: Board Decision Record (PDF), Executive Decision Summary (PDF), Engineering Evidence Record (PDF), Regulatory Evidence Packet (PDF).

Cobol-bank-system

Corpus identity: Cobol-bank-system. Upstream repo URL unverified; revision unrecorded in this run. Scope: archive scan; programs 9; copybooks 0; files 267.

Declared context (locked): Production / Regulated / High. Declared prior to analysis; immutable; changes require new analysis.

These results describe what occurred under the declared governance context for the listed corpus. They do not predict outcomes for any other system.

Authority outcome: GO. Authority terminates where provability terminates.

Deterministic verification: Bundle ID 026fdaee4fee41c8. Registry version 1.0.10. Policy hash sha256:fe6c1f5b12a0fed2755305e8268f6f0bf1a3f82fd4e9425f180c53cc29d970ad. Bundle root hash sha256:b22f5ae34ea603a2d2acafa242f1826ae3e0c4e84191b7e301dede1d237aac60. Findings hash sha256:eb6688f11c8af62c59ed70630ef8c3780418c6043385537b22ceaae4a4aade07. Discards hash sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.

Boundary disclosure: Tier-2 count 0; Not-Provable 0. Boundary rules: none. No provability boundaries detected under this context.

Downloads: Board Decision Record (PDF), Executive Decision Summary (PDF), Engineering Evidence Record (PDF), Regulatory Evidence Packet (PDF).