In this section
Suggested path
Read Core Model first, then continue to Runpacks and Verification. Keep the Glossary nearby for terminology.
Decision Gate defines a strict, deterministic model for authoring gates and recording decisions. These references explain the vocabulary and invariants that every tool call relies on.
Read Core Model first, then continue to Runpacks and Verification. Keep the Glossary nearby for terminology.