news/2026_09_16_release.md

news soft3 warriors
π 0.0% 355 words · 2 min

trident 0.3 · trisha 0.3 · joy 0.5 — one coordinated release

trident 0.3.0, trisha 0.3.0 and joy 0.5.0 went out together on compiler API 3. the boundary drawn last week is now what ships: Triton lowering, Neptune runtime and the 43 hand-written baselines belong to trisha; the shared frontend, typed IR and nox lowering stay in trident.

joy binds nox proofs to the computation and its public result. the verifier derives the zheng relation from the canonical program and checks the public input, output and selected path against it. three modes with explicit guarantees: public execution certificates (transparent, linear), private execution proofs (Triton 7 STARK over the same relation, private columns never in the artifact), authenticated state reads from bbg. earlier trace statements are no longer accepted as proof of execution.

trisha ships the Triton 7 warrior and the Neptune transaction adapter as four-binary packages for macOS, Linux and Windows on ARM64 and x64, runtime resources embedded.

the shape of the day on the trisha side: fourteen commits between the first candidate and the published one, almost all validation — native Windows paths, isolated workspace builds, six proof corpora verified on every consumer. 36 platform pairs, 1,692 checks, 198 fresh baseline proofs over all 43 programs, admission and rejection against a pinned Neptune node. the draft stayed a draft until the exact artifacts passed their gates.

one number was corrected mid-day: trident had been announced as 0.4.0 and shipped as 0.3.0, because a version is a claim like any other word. crates.io still carries 0.2; the 0.3 toolchain ships as native archives. eight sibling release branches are pushed and waiting for their own pull requests.

sources

Graph