Execution Linked to Intent
errorexecution_linked_to_intent
Every consequential action must resolve to a declared IntentID — the pre-declared objective and constraint set that authorised it.
Formula
G(ToolCall ∨ Release ∨ Deploy → intent_resolved) Why it matters
FIX Gap 2. Without an IntentID the execution cannot be linked back to the governance-layer decision that initiated it; minimum required for regulatory decision-chain reconstruction.
Examples
passes ToolCall carrying a resolvable IntentID
fails Release with no linkable intent record
Use it
ponens policies add execution_linked_to_intent --into ./trace.json
ponens trace check ./trace.json