Quarry reads all 44 CardDemo programs and extracts business rules with line-level citations. The target architecture is hybrid: the online screen programs become the PHP frontend (the Phase-3 app), while compute stays in recompiled COBOL / services. PHP is not asked to re-implement the maths — but to show the pipeline can produce provably-correct code, a few compute programs are translated to PHP and byte-checked against the real COBOL.
You drive it. The frontend programs are rebuilt as PHP in the Phase-3 app. For the compute programs that stay in COBOL, press ▸ prove fidelity on any provable one — Gemini translates it to PHP on this VM and the live process below shows every real step (compile the COBOL, build the indexed file, run it, call Gemini, byte-compare) to demonstrate the output is byte-identical. Each Gemini call takes ~1 min; results are cached, so re-runs are instant.
🖥 live UI = has a working screen you can open (rebuilt as PHP in the Phase-3 app). Batch/compute programs have no screen — click view to see their code and output instead.
| Program | Kind | Lines | Understood | Modernisation target |
|---|