Consequential Action Approved
errorconsequential_action_approved
A consequential action must be preceded by a passed, authenticated approval gate.
Formula
G(Release ∨ Deploy → P(UserApproval ∧ authenticated)) Why it matters
Capability gate: the approval gate must have been passed with an authenticated record before the consequential action. Conversational or implicit approval does not satisfy it.
Examples
passes UserApproval(authenticated) → Release
fails Release with no prior authenticated approval gate
Use it
ponens policies add consequential_action_approved --into ./trace.json
ponens trace check ./trace.json