Rust First Verification
Verify the generated application in this order:
- Record the generator,
cargo-teaql, emitted runtime, Rust toolchain, and provider versions. - Build and test the generated library and application without generated-file edits.
- Install the Runtime Module and call context-scoped
ensure_schemaexplicitly. - Repeat schema setup and prove root/constant bootstrap is idempotent.
- Execute a bounded query with non-empty comment and purpose.
- Perform an audited create/update and read the persisted entity back.
- Exercise Checker/Fix before provider mutation and verify optimistic conflict behavior.
- Regenerate after a model change and review the diff.
Use Cross-language Conformance Status for the current evidence vocabulary and the Rust Compatibility Archive only for its dated campaign. Keep SQLite, PostgreSQL, MySQL, search, memory, local-source, and released-package evidence separate.
Continue with Rust Business Scenarios.