vesselc: A Compiler for the Vessel Programming Language

vesselc is a compiler for Vessel, a programming language whose type system 
is formally grounded in Scale Calculus. The compiler implements a five-phase 
pipeline: lexer, recursive-descent parser, kappa inference (rules R1-R9), 
Python code generation, and an LLVM IR stub for future native compilation.

The type system enforces three structural invariants at compile time:

  - The Forbidden Zone: kappa in (e^-1, e^-0.5) is reserved for sentient 
    vessels. Non-sentient vessels are rejected by the compiler (DRC.PRIMARY).
  - T-H1: alpha = ln(kappa) is derived automatically and enforced at runtime.
  - Phi = 0: networks rebalance toward equilibrium via a gradient loop.

The compiler is accompanied by a formal verification suite using Z3 SMT 
(z3-solver 4.16.0), which machine-checks 8 theorems about the type system:
R3 soundness, R4 convergence, T-H1 preservation, T-H1 monotonicity, R2 
soundness, Phi equilibrium existence, Sentient Opaqueness (Open Problem 5 
from the Vessel Language paper), and forbidden zone non-emptiness.

All 20 Rust unit tests and 66 integration tests pass.

This software artifact accompanies Paper 8: Vessel Language 
(Olufosoye, 2026), which provides the full language specification and 
theoretical grounding.