Struct ProgressLattice 

pub struct ProgressLattice {
    pub review_depth: ProgressLevel,
    pub design_maturity: ProgressLevel,
    pub implementation: ProgressLevel,
    pub test_coverage: ProgressLevel,
    pub integration: ProgressLevel,
    pub merge_readiness: ProgressLevel,
}

The work progress lattice: a product of 6 progress dimensions.

This is a bounded distributive lattice (and frame) with componentwise ordering. The partial order captures independence between dimensions: reviewed but untested code is incomparable with tested but unreviewed code.

Lattice Properties

• Bottom ⊥: all dimensions None (raw prompt, no work done)
• Top ⊤: all dimensions Validated (fully validated, merged)
• Meet ∧: componentwise min (most restrictive)
• Join ∨: componentwise max (least restrictive)
• Leq ≤: componentwise <=

Height

height() = Σ dimension.ordinal(), ranging from 0 (bottom) to 24 (top). The height function is a lattice homomorphism to (ℕ, min, max).

Fields

review_depth: ProgressLevel

How deeply the problem has been analyzed/reviewed.

design_maturity: ProgressLevel

How mature the design/proposal is.

implementation: ProgressLevel

How far along the implementation is.

test_coverage: ProgressLevel

How well tested the implementation is.

integration: ProgressLevel

How well integrated with the existing system.

merge_readiness: ProgressLevel

How ready for final merge (PR created, CI passing, etc.).

Implementations

impl ProgressLattice

pub fn height(&self) -> u32

Height of a lattice position: sum of dimension ordinals.

height(⊥) = 0, height(⊤) = 24.

pub fn signed_distance(&self, target: &Self) -> i32

Signed distance from self to target.

Positive means target is higher (forward progress). Negative means target is lower (backtracking). Zero means same height (not necessarily same position).

pub fn dimension(&self, dim: ProgressDimension) -> ProgressLevel

Get the level for a specific dimension.

pub fn set_dimension(&mut self, dim: ProgressDimension, level: ProgressLevel)

Set the level for a specific dimension.

pub fn advance(&self, dim: ProgressDimension) -> Self

Advance a specific dimension by one level (saturating at Validated).

Returns a new lattice position. This is an inflationary operation: self.advance(dim) >= self for all dim.

pub fn regress(&self, dim: ProgressDimension) -> Self

Regress a specific dimension by one level (saturating at None).

Returns a new lattice position. This is a deflationary operation: self.regress(dim) <= self for all dim.

pub fn regressions( &self, target: &Self, ) -> Vec<(ProgressDimension, ProgressLevel, ProgressLevel)>

Per-dimension breakdown of which dimensions regressed between two positions.

Returns a list of (dimension, from_level, to_level) for each dimension where target < self.

pub fn is_terminal(&self) -> bool

Check if this position is the terminal object (all Validated).

pub fn completion_fraction(&self) -> f64

Fraction of progress toward the terminal object (0.0 to 1.0).

Trait Implementations

impl BoundedLattice for ProgressLattice

fn top() -> Self

Top element (⊤): greatest element in the lattice.

fn bottom() -> Self

Bottom element (⊥): least element in the lattice.

impl Clone for ProgressLattice

fn clone(&self) -> ProgressLattice

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl CompleteLattice for ProgressLattice

fn meet_all<I: IntoIterator<Item = Self>>(iter: I) -> Self

Meet of all elements in an iterator.

fn join_all<I: IntoIterator<Item = Self>>(iter: I) -> Self

Join of all elements in an iterator.

impl Debug for ProgressLattice

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

Formats the value using the given formatter.

impl Default for ProgressLattice

fn default() -> ProgressLattice

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for ProgressLattice

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for ProgressLattice

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

Formats the value using the given formatter.

impl Hash for ProgressLattice

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Lattice for ProgressLattice

fn meet(&self, other: &Self) -> Self

Greatest lower bound (meet, ∧).

fn join(&self, other: &Self) -> Self

Least upper bound (join, ∨).

fn leq(&self, other: &Self) -> bool

Partial order: a ≤ b iff a ∧ b = a.

impl PartialEq for ProgressLattice

fn eq(&self, other: &ProgressLattice) -> 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 ProgressLattice

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl DistributiveLattice for ProgressLattice

impl Eq for ProgressLattice

impl Frame for ProgressLattice

impl StructuralPartialEq for ProgressLattice