Crate sim_lib_operation_gate 

Declaration-driven gate for capability-scoped operations.

The gate contains no domain policy: callers provide a manifest declaration, exact approval verifier/use adapters, a record sink, and the performer.

Structs

Approval

Approval presented for a reviewed operation.

GateContext

Dependencies used to guard one operation.

GateRecord

Audit record emitted after successful first performance.

OperationDeclaration

Canonical operation declaration supplied by a domain manifest.

Enums

ApprovalDecision

Explicit approval decision.

ExecutionMode

Policy label for an operation. None implies reversibility.

SinkFailurePolicy

Policy for a record-sink failure after the operation performed.

Traits

ApprovalUse

Atomically consumes a verified approval once.

ApprovalVerifier

Validates approval authenticity and validity without consuming it.

GateRecordSink

Receives gate records.

Functions

guard_operation

Guard and resolve an effect, returning the kernel’s result reference directly.