Skip to content

Documentation / @agentick/core / VerifiedGateDescriptor

Interface: VerifiedGateDescriptor

Defined in: core/src/hooks/gate.ts:57

Verified gate: level-triggered verification, automatic clearing.

Properties

activateWhen()?

optional activateWhen: (result) => boolean

Defined in: core/src/hooks/gate.ts:79

Optional ARMING predicate — scopes when the obligation applies.

While unarmed, the gate is dormant: satisfied is not evaluated and the gate never blocks. Arming is edge-triggered and sticky: the first tick where activateWhen(result) returns true arms the gate for the rest of the execution, and verification (including same-tick) takes over.

Omit to arm from the first tick — the obligation always applies. Provide it for conditional invariants — "once files were edited, the typecheck must pass" shouldn't block a turn that edited nothing.

Parameters

result

TickResult

Returns

boolean


description

description: string

Defined in: core/src/hooks/gate.ts:58


instructions

instructions: string

Defined in: core/src/hooks/gate.ts:59


satisfied()

satisfied: (result) => boolean | Promise<boolean>

Defined in: core/src/hooks/gate.ts:66

Verification predicate, evaluated at the end of every tick (after tool results are in). Returning false engages the gate; returning true clears it. May be async. Must not throw — a thrown error propagates out of the tick loop and fails the execution.

Parameters

result

TickResult

Returns

boolean | Promise<boolean>

Released under the ISC License.