Enum TrajectoryStepKind 

pub enum TrajectoryStepKind {
    Hypothesis,
    Tried,
    RuledOut,
    Observed,
    Refined,
}

v0.50: Trajectory as a first-class kernel object.

The eighth essay primitive: “the search path that produced the finding, so the next agent does not re-derive what the last one already ruled out, with the caveat that this primitive will be deposited last and most thinly because labs have real reasons not to expose dead ends.”

A Trajectory records the ordered steps a researcher or agent took on the way to a finding (or nowhere): hypotheses considered, branches tried, branches ruled out and why. Steps are append-only in the canonical event log via trajectory.step_appended events; the materialized steps collection is reproduced by replay from genesis.

vtr_<id> is content-addressed over `target_findings + deposited_by

• created— fixed at creation, so appending steps doesn't mint a new id. Idempotent on duplicatevtr_id` at create time, idempotent on duplicate step content-addresses at append time.

Variants

Hypothesis

A candidate explanation or direction the researcher considered.

Tried

A specific experiment, analysis, or path the researcher tried.

RuledOut

A branch the researcher excluded, with reason. The most information-dense step kind for downstream agents.

Observed

A neutral observation that constrained the search without confirming or ruling out a branch.

Refined

A refinement of an earlier hypothesis or condition.

Implementations

impl TrajectoryStepKind

pub fn canonical(&self) -> &'static str

Trait Implementations

impl Clone for TrajectoryStepKind

fn clone(&self) -> TrajectoryStepKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TrajectoryStepKind

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for TrajectoryStepKind

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for TrajectoryStepKind

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

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for TrajectoryStepKind

impl StructuralPartialEq for TrajectoryStepKind