Lifter

Extract legacy logic into reviewable PCD.

Point the Lifter at selected source logic, declare its boundary, and review the emitted blueprint before modernization.

Coverage

Source Languages

Documented source frontends route selected logic into one blueprint workflow.

Source frontends
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

Kotlin

Kotlin

Planned

Extract

Find the business rule or pure function worth preserving.

Declare

Capture domains, side-effect edges, and rejection states.

Review

Emit PCD with diagnostics before modernization work continues.

Demonstration

Review the extracted rule

The useful output is a bounded blueprint, not a blind rewrite.

Example output
$ brikc lift app.js
# Input: app.js
return a + b;
PC app {
let result = ADD8(10, 20);
OUTPUT result;
}

Lift Evidence

Verification Boundaries

The Lifter separates extracted computation from integration behavior.

Evidence surface

Extracted rule

Evidence

The selected computation becomes a reviewable PCD blueprint.

Side effects

Evidence

I/O and network behavior remain explicit contract edges.

Evidence

Evidence

Documented liftability evidence stays benchmark-scoped.

Start with one legacy rule.

Extract the computational core, review the boundary, then decide what should be modernized.