Trellis Gives AI-Written Programs a Specification Layer

Why it surfaced

Its central proposition is unusually concrete: humans write prose specifications, types, and tests in .tr files, while agents lower definitions into Soil, a strict refinement-typed ML. Per-definition lock files record hashes, provenance, and trust status—an attempt to keep correctness from living only inside an agent’s context.

Trellis is a specification layer, toolchain, and IDE for programs whose implementations are written by AI agents.