Interface: PolicyEvaluationResult

Defined in: runtime/policy/policy-evaluation-result.ts:14

Result of evaluating pre-flight or post-flight policy guard clauses (SPEC.md §3.5).

Distinguishes clean passage ('allowed'), in-band denial ('denied-with-error'), and batched or single-call interrupt escalation ('raise-interrupt').

Properties

Property	Modifier	Type	Description	Defined in
blockedCalls?	readonly	readonly PendingPreFlightCall[]	Batched blocked calls failing the exact same 'raise-interrupt' clause $C$.	runtime/policy/policy-evaluation-result.ts:28
deniedErrorMessage?	readonly	string	Formatted in-band error message when status === 'denied-with-error'.	runtime/policy/policy-evaluation-result.ts:22
interruptPayload?	readonly	unknown	Validated interrupt payload produced by clause.mapViolation when status === 'raise-interrupt'.	runtime/policy/policy-evaluation-result.ts:26
primaryEffects	readonly	readonly ToolEffect[]	Predicted or synthesized ToolEffect descriptors for the primary evaluated tool call.	runtime/policy/policy-evaluation-result.ts:18
raisedInterrupt?	readonly	InterruptNode<unknown>	Raised InterruptNode when status === 'raise-interrupt'.	runtime/policy/policy-evaluation-result.ts:24
status	readonly	"raise-interrupt" | "allowed" | "denied-with-error"	Outcome status of the policy guard evaluation.	runtime/policy/policy-evaluation-result.ts:16
updatedRemainingCalls?	readonly	readonly RemainingToolCallRecord[]	Updated remainingCalls (i..k) with blockedPreFlight: true and adjudicatedClauseIds tagged on batched calls.	runtime/policy/policy-evaluation-result.ts:30
violatedClauseId?	readonly	string	Identifier of the violated guard clause when status !== 'allowed'.	runtime/policy/policy-evaluation-result.ts:20