The official home of the world’s most extensive mainframe modernization suite

The live demo

Watch logic
emerge.

Below is a working miniature of what Palm Ark does to real estates at 50,000+ lines a pass: rules out of code, each one carrying the address it came from.

Scroll
SPECIMEN · COBOL · 1989

A specimen arrives
on the bench.

The scan reads it
in place.

The bench

Run the extraction yourself.

A sample policy program, for illustration. Press extract: the scan reads the source, and each rule is pulled out along a visible thread of lineage. Hover any rule to light its exact source lines. Then run it again — and dare the output to differ.

POLICY01.CBL · sample read-only · in place
1200IF CUST-AGE GREATER THAN 65
1210   MOVE 'S' TO CUST-TIER
1220   COMPUTE PREM-DISC = PREM * 0.05
1230END-IF.
1240IF ACCT-BAL GREATER THAN 10000
1250   MOVE 'Y' TO HIGH-VALUE-FLAG
1260END-IF.
1270IF CLAIM-CNT GREATER THAN 3
1280   MOVE 'N' TO RENEW-ELIG
1290   PERFORM 900-REFER-UW
1300END-IF.
1310EVALUATE CUST-TIER
1320   WHEN 'S' COMPUTE INT-RATE = BASE + 0.50
1330   WHEN 'G' COMPUTE INT-RATE = BASE + 0.25
1340   WHEN OTHER COMPUTE INT-RATE = BASE
1350END-EVALUATE.
Senior discountL.1200–1230

High-value flagL.1240–1260

Renewal referralL.1270–1300

Tier interestL.1310–1350

RUN 1 · 5b1c·e7a2  =  RUN 2 · 5b1c·e7a2 — deterministic.

What scales

From sixteen lines to sixteen million

This sample is sixteen lines. Your estate is sixteen million — and the method is the same: deterministic parsing, not statistical guessing, so the same code always yields the same rules, with lineage your auditors can follow.

The real engine handles the parts no demo can: copybooks, REDEFINES, fall-through PERFORMs, JCL, fifty years of dialects. That’s what the proof of concept is for — your code, your perimeter, our extraction.

Run it on your real code.

Scope a POC