Pengyi Caml / AI-native Polyglot Coding OS
Pcaml models Data, Type, State, Invariant, Interface and Boundary once, then materializes the same design into Python, C++, OCaml, TypeScript, Rust and SQL with tests and hostile review.
Four Agent Engineers
Language Agent / black silk command look
She maps syntax, type systems, memory models, error models, concurrency and ecosystem constraints into one reusable language card.
Design Agent / white satin architecture look
She extracts Data, State, Invariant, Transition, Interface, Boundary and Ownership before any code is written.
Review Agent / sky-blue technical look
She compares implementation against the IR, searches for impossible states, contract drift, hidden effects and unmeasured claims.
Builder Agent / graphite leather build look
She builds implementation slices, fixtures, parity tests and benchmark cards without claiming production quality before measurement.
Pcaml IR
Pcaml preserves behavior, invariant, interface contract, state transition and tests. The target language is free to express the same system with its native best practices.
Build Pipeline
Order, trade, position, risk or research workflow.
State, invariant and boundary become explicit.
Python, C++, OCaml, TS, Rust or SQL implementation.
Tests, benchmark and human approval decide promotion.
Evidence State
Current cross-language parity and production performance remain UNMEASURED until benchmark cards prove them.
