Ironclad
Legacy mainframe code → production Rust, with parity you can prove.
Organizations running decades-old IBM mainframe workloads face enormous cost and risk to modernize. Ironclad mechanically converts programs to Rust and proves the new output matches the original byte-for-byte — turning a terrifying rewrite into a low-risk, provable cutover. This is the engine behind torsova.com.
$ ironclad transpile PAYROLL.cbl --prove
✔ detected: COBOL (+ CICS / embedded SQL)
✔ emitted: Rust · linked to shared runtime
✔ parity harness: 976 / 976 byte-exact
✔ certificate of completion sealed
Representative output — not a live instance. Live proof at torsova.com.
●Auto-detects and transpiles legacy code — COBOL and PL/I fully, RPG and REXX in core subsets — to unified Rust, and parses and orchestrates the surrounding JCL, CICS and embedded SQL.
●Proves parity, doesn't claim it — a byte-exact harness checks the Rust output against real oracles, so correctness is demonstrated, not asserted.
●Graceful degradation — unsupported constructs emit diagnostics and stubs instead of crashing, plus a structural Certificate of Completion (coverage, counts, gaps).
●End-to-end orchestration — JCL job flow, CICS transaction handling and SQL schema extraction, not just isolated program translation.
●Real financial logic, validated — production Medicare pricing calculations reproduced byte-exact against compiled reference DLLs.
0/976
Rust parity tests (torsova.com)
0
legacy input languages
0
Rust crates
Docker
reproducible proof
RustPython (parity harness)rust_decimal · dashubyte-exact oracles25-crate workspace
🔒
Capabilities and proven results shown. The transpilation engine, internals and source are private — this is a showcase, with live verification at torsova.com.
Modernizing
a mainframe?
See the reproducible proof and engagement model on the live product site — then let's talk about your estate.
See it live at torsova.com →