Expand description
Pure rustev.template/1 language machinery (spec 037, 3.3 and 3.4).
This module does not construct contract documents or authorize generation.
Callers supply resolved static types and exact values; graph provenance and
parameter binding checks belong to the future generation compiler.
Structs§
Enums§
Constants§
Functions§
- list_
backstop - Check a literal list backstop against the resolved field vocabulary.
- parameter_
binding - Check a resolved parameter binding’s type and class. Reference location and graph lineage are checked by the future compiler before calling this helper.
- prompt_
canonical - Canonicalize the complete supplied prompt document using the existing contract writer. This does not validate or introduce a contract document type.
- prompt_
digest - Digest a complete prompt document, including id, version and declarations. The caller is responsible for document validation in the compilation layer.
- prompt_
header - Pure syntax checks for the future prompt document’s id and version. Versions are three canonical unsigned decimal components, without suffixes.