trident 0.2.0 — Cast ships
the whole proving harness went out the door today: github release and crates.io, same bytes.
trident build emits nox by default now — not an alternate target, the target. trident run / prove / verify delegate straight to joy. a real zheng proof, verified without re-execution: a hash proof adds 70ms and 52KB, checked from a clean install in /tmp, nothing borrowed from the build machine.
the harness that shipped together: strata 0.1.1, hemera 0.3.1, lens 0.1.3, nox 0.2.0, zheng 0.2.0, bbg 0.2.0, trident-lang 0.2.0, cyber-joy 0.2.2. one release train, every crate at a version that actually talks to the others.
publishing eight interdependent crates in one afternoon teaches you things: a path dependency with no version = gets silently dropped by cargo package, and a 9MB gif in the repo blows up the upload before you find out why. both bit us, both are fixed, both are staying fixed.
the name "joy" was already taken on crates.io — it ships as cyber-joy, binary still just joy. small tax, the kind you pay once.
next: the proofs get smaller. see tomorrow.