En esta sección
Ruta sugerida
Lee Core Model primero, luego continúa a Runpacks and Verification. Mantén el Glossary cerca para la terminología.
Decision Gate define un modelo estricto y determinista para la creación de puertas y el registro de decisiones. Estas referencias explican el vocabulario y las invariantes en las que se basa cada llamada de herramienta.
Lee Core Model primero, luego continúa a Runpacks and Verification. Mantén el Glossary cerca para la terminología.