Expand description
Structured contract metadata for AI agent consumption. Structured contract metadata for generated Rust projects.
Produces a machine-readable assura-contracts.json sidecar that AI agents
can parse to understand which contracts apply to which functions, what
pre/post-conditions exist, and what types are involved.
Structs§
- Contract
Meta - Metadata for a single contract, extern, or function.
- Param
Meta - Parameter metadata.
- Project
Metadata - Root metadata for a generated project.
- Return
Type Meta - Return type metadata.
Functions§
- extract_
metadata - Extract structured metadata from a typed file.
- implementation_
guidance_ comment - Generate structured implementation guidance comment for a contract.
This appears above the
todo!()placeholder in generated code.