Skip to content

xpile v0.1.0 — first real release

Choose a tag to compare

View all tags
@noahgift noahgift released this 20 May 11:25
· 581 commits to main since this release
v0.1.0
7a82b23
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

xpile v0.1.0 — first real release

The polyglot transpile workbench is operational end-to-end. A non-trivial
recursive Python factorial(n) transpiles to Rust that compiles and
computes correct values (verified in CI via rustc -O + assert_eq!),
with the same source dispatching to Ruchy and Lean 4 backends. A real
POSIX shell round-trip ships via the bashrs frontend + backend.

Install

cargo install xpile

All 27 workspace crates are published to crates.io at version 0.1.0.

Quick demo

# factorial.py
def factorial(n: int) -> int:
    return 1 if n <= 1 else n * factorial(n - 1)

$ xpile transpile factorial.py
$ xpile transpile factorial.py --target ruchy
$ xpile transpile factorial.py --target lean

Substrate state at v0.1.0

  • 27 workspace crates, all compile clean.
  • 297 workspace tests, all green.
  • 12 contracts at 100% QUORUM (pv lint contracts/ PASS, 0 errors / 0 warnings).
  • 638 stratum-vote artifacts (285 Semantic + 53 Symbolic + 15 Runtime + 285 Extrinsic) across all 5 taxonomy layers via paired Lean theorems + Kani BMC harnesses.
  • Eleven UNIVERSAL Diamond milestones (depth-3 through depth-13) with 171 wired Diamond theorems across 12 contracts. Deepest contracts: C-PY-INT-ARITH at depth-21, C-COMPILE-RUST-TO-PTX-MMA at depth-20.
  • Thirteen recurring algebraic templates discovered: structure-extensionality, enum completeness, Gold-tier subtype-ext, tier-projection homomorphism, canonical identity, Bronze↔Silver round-trip.
  • Diamond coverage CI-enforced via diamond_coverage.rs (22 integration tests, depth-1..13 UNIVERSAL gates).

Backends at v0.1.0

Backend Status
Rust ✅ real emission (Python-floor semantics; checked_* for C-PY-INT-ARITH)
Ruchy ✅ real emission (fun ... -> T, same overflow semantics)
Lean 4 ✅ real emission (def, Int.fdiv/Int.fmod)
Shell ✅ real POSIX emission (bashrs frontend + backend round-trip)
PTX 🚧 scaffold + Layer-5 contract (QUORUM)
WGSL 🚧 scaffold
SPIR-V 🚧 planned

Frontends at v0.1.0

Frontend Status
Python ✅ real parser (typed def, multi-stmt, all bin/unary ops, recursion)
Shell ✅ real POSIX parser (54 bashrs-frontend tests)
C 🚧 scaffold
C++ 🚧 scaffold
Rust 🚧 scaffold
Ruchy 🚧 scaffold
Lean 4 🚧 scaffold

What's next

v0.2.0 will broaden frontend coverage (C real parser, Rust real parser)
and add the SPIR-V backend. Substrate depth-broadening continues but is
no longer load-bearing for releases — Diamond CI gate locks in
depth-13 UNIVERSAL.

Links

Assets 2
Loading