From Scripts to Contracts
The RustLab 2026 deck: replacing fragile infrastructure scripts with a typed composition system built in Rust — typed contracts that validate configuration before deploy, a dependency DAG with parallel execution and automatic rollback, workspaces that compose independent deployment facets into one typed pipeline, and the honest limits: external state and cloud APIs do not respect your type system.
When your system says “I don’t know”
A report carried an open finding with a severity that, by written decision, does not gate: `unverifiable` — I cannot look at this from here. An agent in session read it as a defect, built the plane where the check does reach, and the report went to zero findings without verifying a single one of the five citations. That is what the talk is about: what a system does with what it cannot check, why the third state survives in the compiler and evaporates in a script, and what happens when the only way out of amber is green.
2 items