Struct RefactorPlan 

pub struct RefactorPlan {
    pub schema_version: String,
    pub operation: String,
    pub operations: Vec<RefactorOperation>,
    pub completeness: Option<Completeness>,
    pub evidence: PlanEvidence,
}

A bounded, versioned collection of logical refactor operations and evidence.

Fields

schema_version: String

operation: String

operations: Vec<RefactorOperation>

One simultaneous transition set; array order is identity, not execution order.

completeness: Option<Completeness>

evidence: PlanEvidence

Implementations

impl RefactorPlan

pub fn new( operation: impl Into<String>, operations: Vec<RefactorOperation>, ) -> RefactorPlan

pub fn validate(&self) -> Result<ValidatedConsumerPlan<'_>, PlanError>

pub fn validate_with( &self, limits: RefactorPlanLimits, ) -> Result<ValidatedConsumerPlan<'_>, PlanError>

pub fn fingerprint(&self) -> Result<PlanFingerprint, PlanError>

pub fn from_text_edit_plan(plan: EditPlan) -> Result<RefactorPlan, PlanError>

Converts a legacy edit envelope without losing text edits or extensions.

This requires a capturing decode

The edit envelope declares only schemaVersion, operation, files, and completeness, so every annotation this crate understands — createdAt, graphRevision, completenessProof, uncertainReferences, notModified, warnings, followUp, syntaxCheck — arrives as an undeclared member and lives in crate::EditPlan::extensions.

A plan decoded through crate::weavatrix_edit::DeclaredEditPlan has empty extension maps at every level. This conversion then returns Ok with PlanEvidence::default(), reporting neither an error nor a warning, the extension budget in validate_with has nothing left to weigh, and the fingerprint differs from the one the same wire document yields after a capturing decode. Decode through crate::EditPlan whenever the evidence matters.

pub fn try_into_text_edit_plan(self) -> Result<EditPlan, PlanError>

Converts to a legacy edit envelope if every operation is a text modify.

Trait Implementations

impl Clone for RefactorPlan

fn clone(&self) -> RefactorPlan

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RefactorPlan

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for RefactorPlan

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for RefactorPlan

fn eq(&self, other: &RefactorPlan) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for RefactorPlan

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for RefactorPlan