02 · Decision

Pre-execution control

Turn intent and context into an explicit decision, then stop when a condition is missing.

This track describes control reasoning; it does not prove that a mechanism actually blocks an action.

Objectives

  • Separate intent, context, policy, and decision.
  • Require explicit authorization.
  • Apply fail-closed behaviour.
0110 min

Intent, context, policy, and decision

A policy evaluates an intent in context; it must not be replaced by a preference or assumption.

Start
0210 min

Authorization, human review, and fail-closed

An authorization is specific to an action and context; human review must also have criteria and a traceable outcome.

Start