P Pcaml

Pengyi Caml / AI-native engineering meta-layer

Translate system models into working languages.

Pcaml turns Data, Type, State, Invariant, Interface and Boundary into language-specific implementations, tests and benchmark gates.

Meet the agents Inspect the IR
Language OCaml -> Rust -> TS
Invariant scan Order states locked
Pcaml IR semantic translation online

Four-agent studio

A compact team for polyglot software builds.

syntax mapped

Language Agent

Ada maps computation models.

Scans syntax, type system, runtime, error model and ecosystem, then maps each language into the shared Pcaml vocabulary.

  • Language -> Pcaml IR
  • Paradigm comparison
  • Distinctive 20% extraction
boundary clean

Design Agent

Iona turns problems into architecture.

Builds domain models, state transitions, interfaces and module boundaries before implementation starts.

  • Problem -> Pcaml IR
  • Data and state modeling
  • Interface ownership
invariant watched

Review Agent

Vexa attacks hidden failure modes.

Compares code against Pcaml IR, searches for broken contracts, hostile edge cases and claims that lack evidence.

  • Implementation -> Pcaml IR
  • Invariant review
  • Bug and regression scan
tests queued

Builder Agent

Mira materializes the IR.

Generates small implementations, test fixtures and benchmark runs from the explicit model instead of improvising code.

  • Pcaml IR -> implementation
  • Test-first build pass
  • Benchmark evidence capture

System Design IR

One semantic model, many implementation surfaces.

Data
Type
State
Invariant
Transition
Function
Interface
Boundary
Ownership
Failure
Effect
Persistence

OrderState materialization

OCamlvariant + match
Rustenum + match
TypeScriptdiscriminated union
C++variant / enum / class
Pythondataclass + Enum

Build flow

Model first, then generate, test and review.

01 Real problem

Domain model and constraints enter the system.

02 Pcaml IR

Types, states, invariants and interfaces become explicit.

03 Language build

The target implementation follows the shared model.

04 Verification

Tests, benchmarks and human review decide promotion.

Evidence state

Beautiful claims stay gated by measured artifacts.

D0 Planned

Docs, IR direction and agent contracts exist.

D1 Next

Local validation script and TypeScript order invariants.

Gate UNMEASURED

No OCaml runtime or cross-language parity is claimed yet.