Templates

A template is a reusable policy definition written in the Policy Engine DSL. It declares three things:

• an intent schema — the fields the user must supply
• an evidence schema — the fields that will be extracted from a proposal
• a set of constraints — boolean checks the evidence must satisfy under the user's intent

Templates are compiled to deterministic bytecode and content-addressed by the SHA-256 hash of that bytecode (the template_id). The operator registers a template once with the Guardrail Prover; users reference it by ID in their intents.

For the language details, see Policy Engine: Language Reference. For authoring guidance, see Template Authoring.