AI modernization, proven

Clear your modernization backlog. Prove every change.

Lightyear’s AI factory converts legacy code at machine speed, and our independent Verdict Engine proves field by field that the new system behaves exactly like the old one. Retire legacy sooner, spend less on testing and sign-off, and cut over with evidence your auditor can replay.

COBOL · CICS · VSAM · IMS · HLASM · PL/I · JCL · Db2 · Oracle · PostgreSQL · AlloyDB · SAP ASE

VERDICT ENGINE · RUN 0F3C1A
FIELDLEGACY · COBOLNEW · JAVARESULT
VERDICT
Illustrative run, CardDemo INTCALC. COBOL truncates to two decimals; this rewrite rounded.

Try the judge

One cent.
A different verdict.

A rewrite that rounds where COBOL truncates is one cent off on a monthly interest charge. Testers rarely notice. Across a million accounts, that’s $10,000 a month that won’t reconcile. The Verdict Engine compares every field, so it can’t slip through.

Illustrative: CardDemo monthly interest calculation (INTCALC), one account.

FIELD · MONTHLY-INTACCT 00000000047
LEGACY · COBOL18.27
NEW · JAVA18.27
MATCH Legacy and rewrite agree on this field for this record. Now change one cent.

What changes for the business

Modernization stops being a multi-year bet.

Most programs stall in testing, reconciliation and sign-off, not in writing code. Lightyear removes that bottleneck, so the backlog moves and the legacy bill ends sooner.

Shrink the backlog

AI agents convert programs in parallel, and the judge decides when each one is done. Work doesn’t sit in a test queue waiting for people.

Spend less on testing and sign-off

Automated field-by-field comparison replaces long manual parallel runs and spreadsheet reconciliation.

Retire legacy sooner

Stop paying to run two systems. Cut over when the evidence says the new one is ready, not when the calendar runs out.

Pass audit without a war room

Every change arrives with signed, replayable evidence for auditors and regulators, so approval isn’t the last-minute risk.

12m 25s from locked business rules to a signed verdict on a real ERP process, with zero lines written by a person. ONE PUBLIC, REPLAYABLE RUN Price your backlog with a Sprint

Why it has to be independent

Don’t let AI grade its own homework.

AI coding platforms, systems integrators and your own engineers can all produce the new system. None of them should be the one who says it’s right. Lightyear is the referee: we don’t write your code, and the AI that builds it never sees the expected answers.

01 · INDEPENDENT

Separate from the builder

Works the same whether the code came from an AI platform, an SI or your team. The judge never shares a context with the writer.

02 · DETERMINISTIC

Executed, not inferred

Both systems run on real engines with the same inputs. The Verdict Engine compares outputs, data changes and errors, field by field.

03 · REPLAYABLE

Signed evidence

Every verdict ships with a signed evidence pack that your auditor or regulator can re-check without trusting us.

We tested it on ourselves.

We asked AI agents for the rules that translate a 1.4-million-line ERP from Oracle to PostgreSQL. It returned fourteen rules in one response: same format, same confidence.

367files corrected by its best rule
86files corrupted by its worst, and it looked just as plausible
Bothcaught, by running every change against the real system

The agent dark factory

AI agents do the conversion. A fixed program decides when it’s done.

Our factory’s advantage is built in: nothing it writes counts until the independent Verdict Engine says so. The judge is a deterministic program, not a model, and the agents never see its answer key. Prefer your own builder? The same judge verifies that too.

1 · PLAN PIP · PLANNER AI

Scope the job

Works from the knowledge graph: what the program reads and writes, which rules it carries, what “the same” means. Rules lock before any code is written.

SEES: source, layouts, the work order
2 · BUILD BOLT · BUILDER AI

Write the new code

Writes the replacement in a sealed workspace with a fixed budget of attempts.

SEES: source and interfaces, never the answers
3 · JUDGE THE VERDICT ENGINE

Compare every field

Runs old and new on the same inputs. The answer key is the legacy program itself, run for real.

HOLDS: the answers and the signing key
4 · REPAIR OR STOP THE ANALYST

Fix it, or stop honestly

Differences go back by field name only. When the budget is spent the run stops and the failure is kept as evidence.

SEES: which field differs, not why
THE EXPECTED ANSWERS NEVER CROSS FROM THE JUDGE TO THE BUILDERS

Watch the loop · ten seconds

One field fails. The builder fixes it. The judge decides.

ORIGINAL Oracle MODERNIZED PostgreSQL COMPARING 1 FIELD DIFFERS RE-CHECKING EQUIVALENT VERDICT ENGINE fixed rules · no AI DIVERGENT 1 FIELD DIFFERS FIELD: invoice type value: not shared ! EQUIVALENT SIGNED · REPLAYABLE Got it. Fixing! Yes! Bolt · builder AIThe Verdict Engine

Both systems ran. The engine compares every field.

One field differs. The engine names it, not the answer.

The AI fixes its own code and runs it again.

Equivalent. Signed. Anyone can replay it.

Built lights-out. Proven in plain sight.
ON A REAL ERP RUNNING ON ORACLE · ONE PUBLIC, REPLAYABLE RUN
12m 25slocked rules to signed verdict
1stattempt passed
0lines written or fixed by a person
2.7Mvalues checked exactly
See the full factory run →

People decide what machines shouldn’t

The factory does the repetitive work. Decisions that carry risk stay with a named person, and each one is signed and kept with the evidence.

  • Approve an exception
  • Keep or fix a legacy quirk
  • Release to production

How we say no

“Indeterminate” is an answer.

When the evidence isn’t there, we say so. An empty output, a missing file or an untested branch never turns into a pass. That refusal is the reason our passes mean something.

EQUIVALENT Every compared field, record and error matched across the declared scenarios.
DIFFERENT We name the field, the record and the rule. A person decides whether it’s acceptable, and that decision is signed too.
INDETERMINATE Not enough evidence to decide. We say what’s missing and how to close it, and we never guess.

Proof, with its receipts

Every number says how we know it.

Each claim carries an evidence label and links to the public receipt behind it.

260/260 Oracle → AlloyDB behaviour pairs matched, across 13 datatype families PROVEN BY EXECUTION · NATIVE DATABASES View receipt →
43/43 deliberately wrong T-SQL conversions caught, in 108 native SQL Server vs PostgreSQL comparisons PROVEN BY EXECUTION · PUBLIC TRAP CORPUS View receipt →
13,504 relationships mapped across 11,347 entities in the CardDemo mainframe knowledge graph FOUND IN CODE · PUBLIC REFERENCE ESTATE Explore the graph →

Don’t trust us

Run our verifier yourself.

Download any public evidence pack and check it with our open verifier. It passes only what it can anchor, and reports “incomplete” rather than guessing.

Get the verifier See a real evidence pack
$ python3 -I tools/verify_public_evidence.py \
    all PUBLIC_EVIDENCE --strict --json

  0  PASS        every check anchored and passed
  1  FAIL        something doesn’t match
  3  INCOMPLETE  nothing it could anchor; no pass

How it works

From legacy unknown to signed verdict.

  1. STEP 1

    Map and lock the rules

    The knowledge graph maps programs, data and business rules, then the rules are frozen before anyone writes code.

  2. STEP 2

    Anyone builds

    Our dark factory, your AI platform or your SI. The builder never sees the hold-out answers.

  3. STEP 3

    The Verdict Engine judges

    Old and new run side by side in your cloud, read-only. Outputs, data and errors are compared field by field.

  4. STEP 4

    You get signed evidence

    Named differences, a risk figure for untested logic, and an evidence pack anyone can replay.

Coverage, stated honestly

What we have qualified, and what we haven’t yet.

Oracle → PostgreSQLQUALIFIED · LIMITED
Oracle → AlloyDBQUALIFIED · LIMITED
z/OS batch → JavaIN QUALIFICATION
SAP ASE → PostgreSQLIN QUALIFICATION
Db2 → PostgreSQLIN QUALIFICATION

Start with one job

The Verification Sprint

Send us one batch job or process you’ve already modernized, or let our factory build it during the sprint. In four weeks you get a go/no-go answer, the cost of getting to equivalent, and a business case for the rest of your backlog.

  • A business case and cost estimate for the wider backlog
  • Every difference named, by field and record
  • A risk figure for logic that wasn’t exercised
  • A signed, replayable evidence pack
  • Runs read-only inside your cloud
FOUR WEEKS · ONE JOB From $50,000 Book a Verification Sprint or talk to the founder

Founded by Howard Weale, who led the mainframe modernization practice at Google Cloud and brought Dual Run, Google’s parallel-run validation for mainframes, to market. Lightyear is the independent version of that idea, for every platform and every builder.