From Scripts to Contracts

The RustLab 2026 talk is about Provisioning: typed contracts over the whole composition, a formula DAG executed in parallel with rollback, providers as a pluggable interface — and the honest limits of the type-system analogy.