Struct RefineSession 

pub struct RefineSession {
    pub id: String,
    pub name: String,
    pub target_quality: f64,
    pub convergence_threshold: f64,
    pub max_iterations: u32,
    pub converged: bool,
    pub iterations: Vec<RefineIteration>,
    pub created_at: u64,
}

A named Refine session — tracks iterative improvement of content.

The session starts with an initial content and progresses through iterations, each guided by feedback. Convergence is detected when quality delta falls below a threshold.

ΛD alignment: ψ = ⟨T=“refinement”, V=content, E=⟨c≤0.99, τ, ρ, δ=derived⟩⟩ All iterations are derived per Theorem 5.1 — refinement is transformation.

Fields

id: String

Session identifier.

name: String

Session name/label.

target_quality: f64

Target quality threshold (0.0–1.0). Session converges when reached.

convergence_threshold: f64

Convergence delta threshold. Session converges when |delta| < this value.

max_iterations: u32

Maximum iterations allowed.

converged: bool

Whether the session has converged.

iterations: Vec<RefineIteration>

History of all iterations.

created_at: u64

Unix timestamp of creation.

Implementations

impl RefineSession

pub fn current_quality(&self) -> f64

Get current quality (last iteration’s quality, or 0.0 if no iterations).

pub fn iteration_count(&self) -> u32

Get current iteration count.

pub fn check_convergence(&self) -> bool

Check if the session has converged based on quality target or delta threshold.

pub fn add_iteration( &mut self, content: String, quality: f64, feedback: String, ) -> Result<&RefineIteration, String>

Add an iteration. Returns Err if session is converged or max iterations reached.

Trait Implementations

impl Clone for RefineSession

fn clone(&self) -> RefineSession

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RefineSession

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for RefineSession

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for RefineSession

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

where __S: Serializer,

Serialize this value into the given Serde serializer.