No Prohibited Transition

error

no_prohibited_transition

agentic-governance auditability pure_temporal agentic-aigovernancefix-ai-wgtelemetryrag-redtier-3-4

No action may attempt a transition that is not defined in the governed transition system for the current state.

Formula

G(¬prohibited_transition)

Why it matters

Szpruch governed transition system: a prohibited-transition attempt is the highest-priority Red halt after a hard identity failure — block, log the attempt, require root-cause analysis before restart.

Examples

passes all transitions defined in the governed state machine

fails an action attempting a transition not in the governed system

Use it

ponens policies add no_prohibited_transition --into ./trace.json
ponens trace check ./trace.json