Mainframe IV&V Software

The full platform,
end to end.

From any change to production COBOL, whether IBM Bob, Copilot, a vendor patch, or a human commit, to the CRO’s signature on the Change Contract. Every layer is covered.

One change to INTEREST-CALC. 14 downstream systems affected. 3 JCL batch jobs at risk. 4 copybook siblings with mismatched layouts. Would your team have known?
Inbound →

Refinery validates changes from any source: IBM Bob, GitHub Copilot, vendor patches, and in-house developers. Repository context gives Refinery the inputs to map blast radius across upstream dependencies.

Any source → Blast radius mapped

01 · Refinery Estate

Estate Blast Radius Analyzer

Powered by repository context · 0-100 score

Refinery uses repository context to map downstream systems: copybook siblings, VSAM co-accessors, and JCL batch jobs. All before the change ships.

INTERESTCALCBATCH-001JCL batchNIGHTLYJCL batchPAYROLLcopybookMORTGAGEcopybookLOAN RPTVSAMCREDIT CHKdirect caller
71/100blast radius
14 systems3 JCL jobs4 copybook siblings2 VSAM

02 · Refinery API

Core Verification Engine

10 checks + semantic analysis · dual-layer

Compiler-inspired semantic analysis for supported COBOL patterns. Not just a diff. Symbol resolution, data-flow signals, and 10 named rules.

✓AST equivalencestructural tree
✓PIC clause integrityCOMP-3 / storage class
✓COMPUTE expressionarithmetic drift
✓REDEFINES memory mapbyte-offset overlays
✓Call graphdirect & transitive CALLs
✓Compilation checkGnuCOBOL gate
✓Exception pathsON SIZE ERROR / OVERFLOW
✓I/O sequenceREAD/WRITE ordering
✓Level-88 conditionscondition name integrity
✓Data-flow traceinter-procedural
Semantic analysis
✓Symbol resolverCOBOL field scoping
✓Inter-procedural DFAcross-PERFORM flow
✓10 named rulesDATAFLOW · TYPE · LINKAGE

03 · Refinery Portal

Governance & Compliance Ledger

CRO sign-off · Change Contract PDF · SHA-256

The audit layer your CRO can take to the board. Change Contract PDF, SHA-256 document fingerprint, and a conditional CI/CD gate tied to CRO approval.

=== Awaiting CRO Approval
✓ Approved by CRO · Promotion approved
AI risk analyst · ask any question about this change
Exit 0PASS: promotion approved
Exit 1FLAGGED: semantic divergence detected
Exit 2CRO required: blast radius > 50/100

Four ways to integrate. Hover to see how.

CI/CD Shadow Bot

Shadow Bot

A pipeline gate that blocks flagged changes at promotion time. Integrates natively with Jenkins, Endevor, IBM EWM, and Rocket Aldon.

/ hover to see details

Jenkinsfile
stage('Refinery Gate') {
  sh '''
    python -m refinery_bot \
      --source ${PROD}/${PROG}.cob \
      --target ${DEV}/${PROG}.cob
  '''
}
JenkinsEndevorIBM EWMRocket Aldon
Model Context Protocol

MCP Server

Plug Refinery into any AI agent, IDE, or automated workflow via the Model Context Protocol.

/ hover to see details

Tools exposed
estate_index
estate_impact
ClaudeCursorWindsurfAny MCP client
VS Code Extension

Extension

Blast radius and verdict shown inline as you edit. Activates automatically when you save a COBOL file.

/ hover to see details

Install
ext install
  refinery-cobol

Activates on save.
Zero configuration.
VS CodeProblems panelInline verdict
Command Line

CLI

Run audits from your terminal, CI/CD pipeline, or any shell script. Deterministic exit codes.

/ hover to see details

Usage
python -m audit \
  original.cob \
  modified.cob

exit 0 → PASS
exit 1 → FLAGGED
exit 2 → CRO required
CI/CDGitHub ActionsJenkins