Module effect 

The effect contract: capability-gated requests resolved by an implementation.

The kernel defines the Effect record, its replay-key identity, and the well-known effect kinds; libraries supply the handlers that perform effects.

Structs

Effect

A capability-gated request resolved by an effect handler.

EffectRecord

Ledger record tracking one effect’s request, resolution, and outcome.

Constants

EFFECT_REPLAY_VERSION

Version tag mixed into every effect replay-key preimage.

Functions

effect_abort_op_key

Operation key effects use to abort a handler.

effect_control_abort_kind

Well-known kind symbol for control-abort effects.

effect_control_capture_kind

Well-known kind symbol for control-capture effects.

effect_control_prompt_kind

Well-known kind symbol for control-prompt effects.

effect_control_resume_kind

Well-known kind symbol for control-resume effects.

effect_device_read_kind

Well-known kind symbol for device-read effects.

effect_device_write_kind

Well-known kind symbol for device-write effects.

effect_filesystem_kind

Well-known kind symbol for filesystem effects.

effect_host_process_kind

Well-known kind symbol for host-process effects.

effect_model_infer_kind

Well-known kind symbol for model-inference effects.

effect_network_kind

Well-known kind symbol for network effects.

effect_random_kind

Well-known kind symbol for randomness effects.

effect_remote_realize_kind

Well-known kind symbol for remote-realize effects.

effect_replay_key

Content-id of the effect’s replay-key preimage for implementation.

effect_replay_preimage

Build the canonical datum hashed into an effect’s replay key.

effect_resume_op_key

Operation key effects use to resume a handler.

effect_test_run_kind

Well-known kind symbol for test-run effects.

effect_time_kind

Well-known kind symbol for time effects.

effect_tool_call_kind

Well-known kind symbol for tool-call effects.

resolve_effect

Resolve an effect end to end: record the request, enforce capabilities, reuse any cassette result, otherwise run perform, then record the outcome.