COBOL, RPG/AS400 & VB6 Legacy Modernization with Z3 Equivalence Proofs
CodeArchaeologist by Paae.ai (`paae.ai`) is a neuro-symbolic software modernization engine that parses legacy mainframe and desktop estates (COBOL, RPG/AS400, VB6, PowerBuilder) or orphaned binaries with lost source code (Project Lazarus) into modern cloud microservices—verified by Z3 SMT mathematical equivalence proofs.
Rounding Bugs and Hallucinated Control Flow Destroy Core Migrations
Manual system-integrator rewrites spend 12–18 months just interviewing retired engineers to rediscover undocumented business rules hidden inside 30-year-old copybooks.
Translating COBOL `PIC S9(9)V99 COMP-3` packed decimals into standard IEEE-754 floats via generic LLMs introduces cent-level rounding drift that fails banking and insurance audits.
CodeArchaeologist extracts a deterministic AST/CFG, translates business logic with exact fixed-point arithmetic, and proves I/O equivalence using Z3 SMT mathematical constraints.
Source Copybook Parsing or Project Lazarus Binary Decompilation
Ingests COBOL-85, JCL, CICS, RPG/AS400, VB6, or orphaned JVM/.NET/Win32 binaries into a complete dependency graph and data-dictionary catalog.
Symbolic Business-Rule & Decimal Precision Mapping
Isolates pure calculation kernels, state transitions, and mainframe ISAM/VSAM I/O boundaries into human-readable specification dossiers.
Counterexample-Guided Equivalence Proving
Runs the Z3 theorem prover to test whether any input vector can cause the modernized Java/Rust/TypeScript function to diverge from the legacy COBOL AST.
Shadow-Traffic Replay & IRS Form 6765 / SR&ED T661 Evidence
Emits containerized microservices, shadow-traffic parity harnesses, and contemporaneously documented R&D tax credit technical narratives.
- • Supported Source Dialects: COBOL-85 (including COMP-3 packed decimal & copybooks), RPG/AS400, VB6, PowerBuilder, legacy Java/C#, and complex multi-sheet Excel/VBA pricing workbooks.
- • Project Lazarus Binary Recovery: JVM `.jar`/`.class` bytecode, .NET CIL `.dll`/`.exe`, and stripped x86/x64 PE/ELF binary control-flow recovery.
- • Verification Artifacts: Z3 SMT equivalence certificates, CycloneDX VEX security bills of materials, and IRS Form 6765 / CRA T661 R&D technical documentation.
- • Equivalence Verification Benchmark (Oct 2026 Internal Validation, n = 18 modules): Evaluated across n = 18 legacy financial, actuarial, and claims-processing batch modules (50,000–250,000 LOC per module). Achieved 100% mathematical I/O parity on pure single-threaded calculation and deterministic branching kernels (representing ~78% of total module LOC) via Z3 SMT proofs; stateful mainframe ISAM/VSAM I/O adapters and external interfaces were validated via deterministic shadow-traffic replay harnesses rather than pure symbolic proofs.
- • Scope Requiring Human Architect Intervention: Hardware-specific CICS terminal screen-scraping macros, undocumented third-party 16-bit legacy COM/ActiveX controls, and timing-dependent race conditions cannot be proven purely symbolically and require guided human architect refactoring during Strangler-Fig cutover.
1,500,000 CAS-LOC/yr (0.5x COBOL/RPG/J2EE weight) & 7,500 PMC/yr. Tier 0 Wedges: 48-Hr PE M&A Sprint at US$9,500 | 14-Day Corporate Discovery Audit at US$14,500 (100% credited within 60 days).
6,000,000 CAS-LOC/yr, 35,000 PMC/yr across Mode B Autonomous Refactoring, Mode C PAAE-LAZARUS Bytecode Recovery (standalone appliance from US$38,500/yr), Engine 05 DB Unbundling, and IRS 6765 / CRA T661 R&D tax credit dossiers.
SI Partner Franchise ($45k / $85k / $225k Base + Wholesale Blocks) or Sovereign Air-Gapped Fleet at US$360,000/yr (Option 1 Client Self-Hosted BYOC) | US$390,000/yr (Option 2 Resvanta-Managed Single-Tenant VPC).