ROSETTA / 01AI CODING FOR CRITICAL LEGACY SYSTEMS

GROUND TRUTH FORCODE NOBODY CANREAD.

Rosetta gives AI a way to prove every change against the real program and database state.

UNDERSTAND / CHANGE / PROVE
02 / THE STAKESGAO-25-107795 / 2025

OLD CODE.
LIVE MISSIONS.

OUTDATED LANGUAGES8/ 11

Critical federal legacy systems in GAO's review still use outdated languages.

KNOWN EXPOSURE7/ 11

Operate with known cybersecurity vulnerabilities while their missions remain live.

MODERNIZATIONS COMPLETE3/ 10

Systems flagged in 2019 were complete by February 2025.

03 / THE FAILURE MODECONFIDENCE WITHOUT EVIDENCE

THE FAILURE MODE

FLUENT.
CONFIDENT.
WRONG.

AI can explain a patch perfectly while changing behavior nobody intended. In MUMPS, the database can move even when the printed answer looks right.

04 / THE HARNESSTHE RUNTIME GETS THE LAST WORD

MAKE CORRECTNESS
EXECUTABLE.

Rosetta turns the real runtime into the reviewer. The agent gets specific evidence and another move.

01

HOLD STATE

Start every case clean.

02

RUN BASELINE

Capture known behavior.

03

RUN CANDIDATE

Use the same inputs.

04

NAME THE DIFF

Output, errors, and state.

OUTPUTERRORSPERSISTENT STATEROLLBACK CONFIRMED
05 / THE MONEY MOMENTSAME MODEL / SAME TASK / DIFFERENT TRUST

THE HARNESS GETS
THE LAST WORD.

AI ALONEMODEL CLAIM

› Guard the next-of-kin lookup without changing behavior.

✓ PATCH COMPLETE

CONFIDENCE / HIGH    RUNTIME CASES / 0
AI + ROSETTARUNTIME VERDICT

› Guard the next-of-kin lookup without changing behavior.

01 ISOLATE STATE

02 EXECUTE CASES

03 DIFF OBSERVABLES

NOT EQUIVALENT3 of 4 cases. Expected "Not Entered". Actual "".
PROOF RECEIPT4 CASES / STATE RESTORED
06 / THE REST OF ROSETTAONE WORKING ENVIRONMENT

ONE HARNESS.
THE WHOLE WORKFLOW.

COREVERIFY

01 AGENT / PLAN / VERIFY

02 RUNTIME TOOLS

03 HELD-OUT BENCHMARKS

04 PROOF RECEIPTS

05 TRAINING SIGNAL

Open Rosetta inside the codebase. Trace unfamiliar logic, change it, execute it, measure the repair, and keep the proof without exporting customer code.

07 / EVIDENCENO LLM JUDGE / NO HAND-TYPED CLAIMS

TRUST BECOMES
MEASURABLE.

The same held-out repairs run under every condition. Rosetta keeps the cases, traces, and verdicts for inspection.

REPAIR SUCCESSTBD
REPAIR ITERATIONSTBD
FALSE CONFIDENCETBD
PUBLISHED RESULTS PENDINGEVERY FUTURE NUMBER LINKS BACK TO AN EXECUTION TRACE
08 / THE ASKMUMPS / YOTTADB IMPLEMENTED TODAY

SHIP THE CHANGE.
KEEP THE PROOF.

Rosetta puts an execution harness inside the coding environment. Runtime behavior becomes benchmark evidence and a proof receipt for every proposed change.

RUNS LOCALANY MODELAIR GAP READY
ROSETTA · VERIFY MODEYOTTADB / LIVE PROOF FLIGHT

› rosetta verify AJETIU2 -c candidate.m

01ISOLATIONclean state held

02EXECUTIONbaseline + candidate / 4 cases

03OBSERVABLESstdout / errors / persistent globals

EQUIVALENTALL CASES MATCHED
PROOF RECEIPTSTATE RESTOREDSHA256 9F8C…A12E
UNDERSTAND. CHANGE. PROVE.ROSETTA / GROUND TRUTH FOR CODE NOBODY CAN READ