Enum LoopLevel 

pub enum LoopLevel {
    L1Report,
    L2Assisted,
    L3Unattended,
}

How much autonomy a loop is trusted with.

The level is the single knob that ties together write-capability and gate policy — it is not the same as a tool permission mode (that is harness-permissions, which the engine derives from the level).

Variants

L1Report

L1 — Report-only. Discovery and visibility, no automated fixes. The maker runs read-only; every proposal is escalated to a human as a report. The safest place to start any loop.

L2Assisted

L2 — Assisted. The maker may write inside an isolated sandbox, but a human gates every change before it lands. The default for a loop you are actively building trust in.

L3Unattended

L3 — Unattended. Runs within strict guardrails: only actions on the gate’s allowlist commit automatically; anything else still escalates. Reserve for narrow, well-understood loops.

Implementations

impl LoopLevel

pub fn maker_may_write(self) -> bool

Whether the maker sub-agent is permitted to mutate the workspace at this level. L1 is strictly read-only.

pub fn label(self) -> &'static str

Short stable label for logs, reports, and memory entries.

Trait Implementations

impl Clone for LoopLevel

fn clone(&self) -> LoopLevel

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for LoopLevel

impl Debug for LoopLevel

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for LoopLevel

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for LoopLevel

impl PartialEq for LoopLevel

fn eq(&self, other: &LoopLevel) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for LoopLevel

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for LoopLevel