Function: evaluatePreFlightToolBatch()
ts
function evaluatePreFlightToolBatch<THandle>(params, overrideEffects?): Promise<PolicyEvaluationResult>;Defined in: runtime/policy/evaluate-policy-guards.ts:29
Evaluates two-phase policy guards ('deny-with-error' before 'raise-interrupt') across remainingCalls (SPEC.md §3.5).
When call 0 fails a 'raise-interrupt' clause $C$, inspects trailing 'declared' calls (0..k) and batches into blockedCalls all calls that pass every 'deny-with-error' clause and fail the exact same clause $C$.
Type Parameters
| Type Parameter | Default type | Description |
|---|---|---|
THandle | unknown | Runtime handle type of the active isolation scope. |
Parameters
| Parameter | Type | Description |
|---|---|---|
params | PreFlightBatchEvalParams<THandle> | Pre-flight batch evaluation parameters. |
overrideEffects? | readonly ToolEffect[] | Optional pre-computed effects for call 0. |
Returns
Promise<PolicyEvaluationResult>
Policy evaluation decision and batched blocked calls.