Struct LoopSpec 

pub struct LoopSpec {
    pub name: String,
    pub intent: String,
    pub level: LoopLevel,
    pub cadence: String,
    pub budget: TokenBudget,
    pub maker_prompt: String,
    pub checker_prompt: String,
    pub action_kind: String,
}

Declarative definition of a single loop.

Fields

name: String

Stable identifier — used in logs, memory keys, and scheduler jobs.

intent: String

Intent. One sentence stating what this loop is supposed to do.

This is the antidote to intent debt — the drift between what a loop was meant to do and what it actually does. Writing it down, surfacing it in every report, and reviewing it keeps the gap visible. It is also injected into the maker’s task so the agent shares the framing.

level: LoopLevel

Maturity level — governs write-capability and gate policy.

cadence: String

Cadence string parsed by harness_daemon::Schedule (e.g. "every 15m", "daily 08:00", "weekly mon 09:30").

budget: TokenBudget

Spend ceiling enforced per round.

maker_prompt: String

What the maker sub-agent is asked to do this round (triage + implement, or — at L1 — just investigate and report).

checker_prompt: String

What the checker sub-agent is asked to verify (run tests, check gates, look for regressions). The maker/checker split is loop engineering’s verification discipline made structural.

action_kind: String

The kind of the action this loop proposes when its work verifies, e.g. "open-pr", "commit", "comment", "report". The gate matches its allowlist against this.

Implementations

impl LoopSpec

pub fn new( name: impl Into<String>, intent: impl Into<String>, level: LoopLevel, ) -> Self

Minimal constructor; fill the rest with the builder methods.

pub fn with_cadence(self, c: impl Into<String>) -> Self

pub fn with_budget(self, b: TokenBudget) -> Self

pub fn with_maker_prompt(self, p: impl Into<String>) -> Self

pub fn with_checker_prompt(self, p: impl Into<String>) -> Self

pub fn with_action_kind(self, k: impl Into<String>) -> Self

Trait Implementations

impl Clone for LoopSpec

fn clone(&self) -> LoopSpec

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LoopSpec

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for LoopSpec

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for LoopSpec

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

where __S: Serializer,

Serialize this value into the given Serde serializer.