pub enum LoopPhase {
Design,
Plan,
Implement,
Verify,
ReValidate,
Fix,
Done,
}Expand description
The phases of the autonomous development loop.
Variants§
Design
Understand requirements and produce a clear design.
Plan
Decompose into ordered, verifiable implementation steps.
Implement
Execute the plan by batch, parallelizing independent tasks.
Verify
Multi-axis verification that catches real problems.
ReValidate
Confirm that every issue found is a REAL issue.
Fix
Fix only the confirmed, genuine issues.
Done
Session concluded — all criteria met.
Implementations§
Source§impl LoopPhase
impl LoopPhase
Sourcepub fn next(&self) -> Option<LoopPhase>
pub fn next(&self) -> Option<LoopPhase>
Advance to the next phase in the standard sequence.
The loop flow is:
Design → Plan → Implement → Verify
↑ │
└── Fix ← ReValidate ←────────┘
↘ Done (no issues)Sourcepub fn can_exit_on_clean(&self) -> bool
pub fn can_exit_on_clean(&self) -> bool
Returns true if this phase should proceed to Done when no issues
are found (as opposed to continuing the loop).
Trait Implementations§
Source§impl<'de> Deserialize<'de> for LoopPhase
impl<'de> Deserialize<'de> for LoopPhase
Source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
impl Copy for LoopPhase
impl Eq for LoopPhase
impl StructuralPartialEq for LoopPhase
Auto Trait Implementations§
impl Freeze for LoopPhase
impl RefUnwindSafe for LoopPhase
impl Send for LoopPhase
impl Sync for LoopPhase
impl Unpin for LoopPhase
impl UnsafeUnpin for LoopPhase
impl UnwindSafe for LoopPhase
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
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 moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
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 moreSource§impl<T> Pointable for T
impl<T> Pointable for T
Source§impl<T> PolicyExt for Twhere
T: ?Sized,
impl<T> PolicyExt for Twhere
T: ?Sized,
Source§impl<R, P> ReadPrimitive<R> for P
impl<R, P> ReadPrimitive<R> for P
Source§fn read_from_little_endian(read: &mut R) -> Result<Self, Error>
fn read_from_little_endian(read: &mut R) -> Result<Self, Error>
Read this value from the supplied reader. Same as
ReadEndian::read_from_little_endian().Source§impl<T> ToStringFallible for Twhere
T: Display,
impl<T> ToStringFallible for Twhere
T: Display,
Source§fn try_to_string(&self) -> Result<String, TryReserveError>
fn try_to_string(&self) -> Result<String, TryReserveError>
ToString::to_string, but without panic on OOM.