Last released Aug 22, 2026
A capability-typed language that emits machine-verifiable supply-chain SBOMs by construction