Backed bybased.
collective

Verification infrastructure
for consequential software.

Proving mission-critical code still behaves correctly after an AI tool rewrites it, with evidence a regulator can inspect.

For engineering, risk and audit teams governing changes that cannot be allowed to fail.

Book a call →How it works

INTEREST-CALC.cob

AI change · unverified

“Modernise the monthly payment routine. Preserve every customer outcome exactly.”

Proposed change

Calculation simplified across 8 lines. Compiles successfully.

MOVE CUSTOMER-PAYMENT TO PAYMENT-OUTPUT.

Live demo

Watch Refinery catch an AI-generated COBOL defect

Real IBM Bob output. Real audit engine. Real SHA-256 fingerprinted PDF.

How it works

A release decision your whole business can trust.
In one automated run.

From change to approval-ready evidence

Release decision

Know whether the change can ship.

One run turns an unfamiliar code change into a clear pass-or-stop decision before it reaches production.

Decision ready in one run
✓Checks completed11 / 11
N/ARelease blocker found1
✓DecisionSTOP
Why Refinery

Everyone checks their own homework.
Now someone else can.

The platforms rewriting your COBOL also supply the evidence that the rewrite was safe. They test well, and they test themselves.

01

An independent check

The platform that rewrote your COBOL also supplies the evidence the rewrite was safe.

Refinery has no stake in the answer. It checks code written by any tool or person.

02

Proof, not sampling

Generated tests cover the inputs they happen to sample, and nothing tells you what they missed.

A formal proof across every value the declared PIC ranges allow, plus compiled adversarial execution.

03

Downstream impact across the estate

Which downstream systems a change touches is tribal knowledge, so everything gets retested.

JCL, VSAM and the CALL graph are mapped so you retest what actually changed.

04

Something risk can file

A green pipeline is not an audit trail, and the evidence pack gets assembled by hand.

A signed certificate, SHA-256 fingerprinted, with mapped control evidence attached.

See how that compares to AI migrations, code gates and manual review →

Governance portal

One place to see
every change.

Every change, every check, and every sign-off in a single view your risk team can read without an engineer sitting next to them.

In the portal

  • Every change, with its verdict
  • Every check that ran, and what it found
  • Every sign-off, with the name against it

The journey so far

Backed by the ecosystems
shaping what comes next.

Refinery has grown through programmes and communities spanning mainframe technology, cyber resilience and ambitious company-building.

Built with ecosystem support01

DiSH Accelerator

Selected for the Manchester programme helping security-focused startups build stronger, more resilient companies.

BARCLAYS EAGLE LABSPLEXALTHE UNIVERSITY OF MANCHESTERLANCASTER UNIVERSITY
Deep mainframe expertise02

IBM Z ScaleUp

Accepted into the cohort for startups building on IBM Z and enterprise-grade infrastructure.

IBM Z
Founder community03

Based Collective

Backed by the European founder collective and selected for the first OpenAI Hacker House in London.

BASEDOPENAI HACKER HOUSE

See Refinery run
on your code.

Book a call →