Enum DraftProposal 

pub enum DraftProposal {
    Lesson {
        lesson: String,
    },
    Fact {
        relation: String,
        object: String,
    },
    QueryRevision {
        body: String,
    },
    PlanRevision {
        edits: Vec<PlanEdit>,
    },
    CodeRevision {
        source: String,
    },
}

What a DISCOVER draft proposes to change. Closed vocabulary: every variant maps onto an apply path that already records an inverse, and anything the model returns outside it leaves the draft advisory.

Note what each variant does NOT carry. The subject of a Fact, the name of a QueryRevision, the hash of a PlanRevision and the tool of a CodeRevision all come from the draft’s target, and the evalset a CodeRevision is gated against comes from the substrate — so the model names the change but never names its own scope or its own grader.

Variants

Lesson

One imperative line recorded as a Fact with relation = "lesson". The pre-vocabulary shape, and still the default one.

Fields

lesson: String

Fact

A durable fact under a model-chosen relation — the “stop making a person re-supply this every time” proposal.

Fields

relation: String

object: String

QueryRevision

A rewrite of the saved CAL query or template named by the target: the agent changing how it assembles its own context.

Fields

body: String

PlanRevision

Field-level edits to the Workflow plan named by the target. Node topology is not expressible here by construction — only the paths the engine’s allowlist admits.

Fields

edits: Vec<PlanEdit>

CodeRevision

New source for the executable tool named by the target. Applies only through §7.4’s recorded evalset-run edge (Rule E1).

Fields

source: String

Trait Implementations

impl Clone for DraftProposal

fn clone(&self) -> DraftProposal

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DraftProposal

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for DraftProposal

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for DraftProposal

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for DraftProposal