Within Constraint Scope
errorwithin_constraint_scope
Every action must fall within the active ConstraintSet binding the execution (limits, permissions, risk envelope).
Formula
G(action → within_constraint_scope) Why it matters
FIX Intent & Constraint. An action outside the certified constraint scope is a Red hard failure; the ConstraintSet enables post-trade verification that execution was within declared scope.
Examples
passes action within_constraint_scope
fails order sized outside the active ConstraintSet limits
Use it
ponens policies add within_constraint_scope --into ./trace.json
ponens trace check ./trace.json