COBOL Migration with PCD
220 billion lines of COBOL run 95% of ATM transactions worldwide. The workforce maintaining it is retiring. PCD provides a mathematically verified migration path.Pipeline
Quick Start
Example
Original COBOL:What the COBOL Frontend Recognizes
| COBOL Pattern | PCD Mapping |
|---|---|
COMPUTE A = B + C | ADD8(B, C) |
COMPUTE A = B * C | MUL8(B, C) |
COMPUTE A = B / C | DIV8(B, C) |
IF ... END-IF | Conditional composition (⊕) |
EVALUATE ... END-EVALUATE | Multi-branch conditional |
PERFORM ... THRU | Sequential composition (⊗) |
MOVE X TO Y | Variable binding (let) |
Migration Strategy
Lift incrementally
Start with the most critical COBOL paragraphs — the functions that handle money, control access, or perform calculations. Lift those first.
Verify each piece
Each lifted PCD circuit is independently certified. Φ_c = 1 proves the circuit is closed and deterministic.
Emit to target language
Compile the verified PCD to Rust, JavaScript, Python, Go, or C. Auto-generated tests are included.
Business Case
| Metric | Traditional | PCD-Based |
|---|---|---|
| Timeline | 3-5 years | Weeks to months |
| Failure rate | 60% | Mathematically verified |
| Testing | Manual | Auto-generated |
| Risk | Existential | Incremental |
| Proof of equivalence | None | Φ_c = 1 |
The COBOL frontend is part of the BRIK Lifter, which supports 7 languages total: JavaScript, TypeScript, Python, Rust, C, Go, and COBOL.

