Skip to main content

AutonomousLoop

Struct AutonomousLoop 

Source
pub struct AutonomousLoop {
Show 16 fields pub id: String, pub task: String, pub iteration: u8, pub max_iterations: u8, pub phase: LoopPhase, pub started: bool, pub emergency_stopped: bool, pub tasks: Vec<LoopTask>, pub batches: Vec<TaskBatch>, pub issues: Vec<Issue>, pub last_verification: Option<VerificationResult>, pub last_commit: Option<String>, pub git_clean: bool, pub blocker: Option<String>, pub created_at: String, pub updated_at: String,
}
Expand description

The autonomous development loop state machine.

Tracks the full lifecycle of an autonomous development task across multiple iterations of the Design → Plan → Implement → Verify → ReValidate → Fix loop.

§Usage

let mut al = AutonomousLoop::new("Implement user authentication");
al.start()?;

// Design phase
al.advance()?; // → Plan

// Plan phase — add tasks and compute batches
al.add_task(LoopTask::new("T1", "Create auth module").touches("src/auth.rs"));
al.add_task(LoopTask::new("T2", "Add login route").depends_on("T1"));
al.compute_batches()?;
al.advance()?; // → Implement

// ... execute batches ...
al.advance()?; // → Verify

Fields§

§id: String

Unique loop instance ID.

§task: String

The task description.

§iteration: u8

Current iteration (1-based).

§max_iterations: u8

Maximum iterations allowed.

§phase: LoopPhase

Current phase.

§started: bool

Whether the loop has been started.

§emergency_stopped: bool

Whether the loop has been forcefully stopped.

§tasks: Vec<LoopTask>

All tasks in the plan.

§batches: Vec<TaskBatch>

Computed execution batches.

§issues: Vec<Issue>

Issues found across all iterations.

§last_verification: Option<VerificationResult>

Latest verification result.

§last_commit: Option<String>

Most recent commit hash.

§git_clean: bool

Whether the git working tree is clean.

§blocker: Option<String>

Any blocking condition preventing progress.

§created_at: String

Creation timestamp.

§updated_at: String

Last update timestamp.

Implementations§

Source§

impl AutonomousLoop

Source

pub fn new(task: impl Into<String>) -> Self

Create a new autonomous loop for the given task.

Source

pub fn with_max_iterations(self, max: u8) -> Self

Set the maximum number of iterations.

Source

pub fn start(&mut self) -> Result<()>

Start the loop (transitions to iteration 1, Design phase).

Source

pub fn emergency_stop(&mut self, reason: impl Into<String>)

Emergency stop — halts the loop immediately.

Source

pub fn advance(&mut self) -> Result<LoopPhase>

Advance to the next phase.

Follows the standard loop flow:

  • After ReValidate with no confirmed issues → Done
  • After ReValidate with confirmed issues → Fix → Verify (new iteration)
  • After Verify with no issues → Done
  • After Verify with issues → ReValidate
Source

pub fn set_phase(&mut self, phase: LoopPhase)

Jump to a specific phase (for recovery or testing).

Source

pub fn add_task(&mut self, task: LoopTask)

Add a task to the plan.

Source

pub fn get_task(&self, id: &str) -> Option<&LoopTask>

Get a task by ID.

Source

pub fn get_task_mut(&mut self, id: &str) -> Option<&mut LoopTask>

Get a mutable reference to a task by ID.

Source

pub fn compute_batches(&mut self) -> Result<()>

Compute execution batches from the current task list.

Groups tasks into batches using topological ordering. Each batch contains tasks whose dependencies are all in earlier batches. Tasks within a batch that touch overlapping files are flagged as having conflicts.

Uses Kahn’s algorithm for topological sorting, grouping tasks by their dependency depth level.

Source

pub fn next_pending_batch(&self) -> Option<&TaskBatch>

Get the next pending batch, if any.

Source

pub fn get_batch_mut(&mut self, index: usize) -> Option<&mut TaskBatch>

Get a mutable reference to a batch by index.

Source

pub fn completed_batch_count(&self) -> usize

Count completed batches.

Source

pub fn total_batch_count(&self) -> usize

Count total batches.

Source

pub fn add_issue(&mut self, issue: Issue)

Add an issue found during verification.

Source

pub fn confirmed_issues(&self) -> Vec<&Issue>

Get all confirmed, unfixed issues.

Source

pub fn issues_by_verdict(&self, verdict: IssueVerdict) -> usize

Count issues by verdict.

Source

pub fn fixed_issue_count(&self) -> usize

Count fixed issues.

Source

pub fn record_verification(&mut self, result: VerificationResult)

Record a verification result.

Source

pub fn is_clean(&self) -> bool

Whether the current state is “clean” (no unfixed confirmed issues, all verification gates passed).

Source

pub fn record_commit(&mut self, hash: impl Into<String>)

Record a commit hash.

Source

pub fn set_git_clean(&mut self, clean: bool)

Set the git clean status.

Source

pub fn status(&self) -> LoopStatus

Produce a serializable status snapshot.

Source

pub fn diagnostic(&self) -> String

Produce a diagnostic report when the loop hits max iterations or emergency stop.

Trait Implementations§

Source§

impl Clone for AutonomousLoop

Source§

fn clone(&self) -> AutonomousLoop

Returns a duplicate of the value. Read more
1.0.0 · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for AutonomousLoop

Source§

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

Formats the value using the given formatter. Read more
Source§

impl<'de> Deserialize<'de> for AutonomousLoop

Source§

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>
where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer. Read more
Source§

impl Serialize for AutonomousLoop

Source§

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

Serialize this value into the given Serde serializer. Read more

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T> Instrument for T

Source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
Source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> IntoEither for T

Source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

impl<T> Pointable for T

Source§

const ALIGN: usize

The alignment of pointer.
Source§

type Init = T

The type for initializers.
Source§

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more
Source§

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more
Source§

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more
Source§

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more
Source§

impl<T> PolicyExt for T
where T: ?Sized,

Source§

fn and<P, B, E>(self, other: P) -> And<T, P>
where T: Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns Action::Follow only if self and other return Action::Follow. Read more
Source§

fn or<P, B, E>(self, other: P) -> Or<T, P>
where T: Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns Action::Follow if either self or other returns Action::Follow. Read more
Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V

Source§

impl<T> WithSubscriber for T

Source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

impl<T> DeserializeOwned for T
where T: for<'de> Deserialize<'de>,