En aquesta secció
Camí suggerit
Llegeix primer el Model Bàsic, després continua amb Runpacks i Verificació. Mantingues el Glossari a prop per a la terminologia.
Conceptes
Decision Gate defineix un model estricte i determinista per a l'autoria de portes i el registre de decisions. Aquestes referències expliquen el vocabulari i les invariants de les quals depèn cada crida d'eina.