BRIK64
Lifter

Already have code? Verify it.

No rewrite needed. Point the Lifter at your existing code. It extracts, maps, and certifies. 10 languages in. Verified PCD out. Works with your existing code today.

100% liftabilityon benchmark suite (211/211 files). Liftability rates vary by codebase — pure functional code lifts near 100%, side-effect-heavy code produces Contract-tier blueprints

[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 BRIK64 monomers.

Infer Domains

The lifter analyzes value flows to infer numeric bounds from existing validation logic, type constraints, and runtime guards. Inferred domains become explicit PCD declarations. Example: if (age > 0 && age < 150) → input age : Float64[0.0 .. 150.0]

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 for code lifting*

Failure rate

60%

Verified

Testing

Manual

Auto-generated

Risk

Existential

Incremental

Proof

None

Φ_c = 1

* Weeks for code lifting. Integration, testing, and data migration follow standard timelines but start from a verified baseline.

Start building — free

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