BRIK64
Lifter

Reverse-compile anything into PCD.

A reverse compiler that analyzes existing source code and extracts the subset that maps to PCD monomers. Instead of rewriting your codebase, the Lifter gives you an automatic migration path.

100% liftabilityon real-world projects (211/211 files, 73/73 circuits passing check)

[01] SOURCE LANGUAGES

10 languages. One blueprint.

JavaScript

JavaScript

.js

TypeScript

TypeScript

.ts/.tsx

Python

Python

.py

Rust

Rust

.rs

C / C++

C / C++

.c/.cpp

Go

Go

.go

COBOL

COBOL

.cob

PHP

PHP

.php

Java

Java

.java

Kotlin

Kotlin

.kt

PLANNED

[02] HOW IT WORKS

Source Code → AST → Pattern Recognition → PCD

Parse

Parse source file into AST using a lightweight, language-specific frontend.

Extract

Pattern recognition identifies operations that correspond to BRIK-64 monomers.

Map

Recognized patterns mapped to verified monomer equivalents with proper composition.

Verify

Output as valid PCD program. Run brikc check to verify certification.

[03] TWO-TIER CERTIFICATION

Core Certified (Φc = 1)

  • Pure functions with full mathematical verification
  • Arithmetic & logic operations
  • Data validators & parsers
  • String transformations
  • Business logic & algorithms

Contract Certified (extended)

  • API calls (fetch, HTTP)
  • Filesystem operations
  • React components (JSX)
  • Async/await functions
  • Database queries

Certified + Extended = 100% coverage. The Lifter automatically selects the appropriate monomers and reports the tier.

[04] DEMO

See it in action

$ brikc lift app.js
# Input: app.js
function add(a, b) {
return a + b;
}
# Output:
PC app {
let result = ADD8(10, 20);
let _ = WRITE(result);
OUTPUT result;
}

[05] COBOL MIGRATION

220 billion lines of COBOL. One migration path.

$3 trillion per day in banking transactions still runs on COBOL. Lift legacy mainframe logic into verified PCD blueprints, then export to modern Go microservices — with formal proof that the translation preserves every computation.

COBOLbrikc liftPCDbrikc buildGo / Rust / Any

Timeline

3–5 years

Weeks

Failure rate

60%

Verified

Testing

Manual

Auto-generated

Risk

Existential

Incremental

Proof

None

Φ_c = 1

Your code already exists. Now verify it.

Point the Lifter at any file, directory, or repository. Pure functions become verified PCD blueprints. Impure functions get extended monomers. 100% coverage.

Install brikcSee the Transpiler