Normative public contracts for the BEAM Autonomic Agent Runtime.
This file is intentionally self-contained so an implementation agent can use it as the starting contract before splitting modules into their final files.
Summary
Types
@type domain_ref() :: String.t()
@type effect_class() ::
:class_0_local_replayable
| :class_1_isolated_mutable
| :class_2_external_observable_or_compensatable
| :class_3_authoritative_external_mutation
| :class_4_irreversible_high_impact
@type effect_id() :: String.t()
@type effect_state() ::
:proposed
| :prepared
| :evaluating
| :ready
| :commit_intent
| :committing
| :committed
| :aborted
| :expired
| :stale
| :commit_unknown
| :failed
@type episode_id() :: String.t()
@type epoch() :: non_neg_integer()
@type lease_id() :: String.t()
@type policy_version() :: non_neg_integer()
@type semantic_exit() :: {:semantic_exit, semantic_exit_reason(), evidence :: map()}
@type semantic_exit_reason() ::
:trajectory_violation
| :confidence_collapse
| :authority_exhausted
| :environment_mismatch
| :irreversible_effect_risk
@type snapshot_ref() :: String.t()
@type trajectory_regime() ::
:stable | :uncertain | :drifting | :unstable | :containment
@type trajectory_version() :: non_neg_integer()