Enum HarnessTaskMoveResultV1 

pub enum HarnessTaskMoveResultV1 {
    Moved {
        task_id: HarnessTaskId,
        revision: HarnessRevision,
        from: HarnessTaskStateV1,
        to: HarnessTaskStateV1,
    },
    TaskIsOwn {
        task_id: HarnessTaskId,
    },
    TaskOutsideOwnSubtree {
        task_id: HarnessTaskId,
        own_task_id: HarnessTaskId,
    },
    IllegalTransition {
        task_id: HarnessTaskId,
        from: HarnessTaskStateV1,
        to: HarnessTaskStateV1,
    },
    TaskOwnedByLiveRun {
        task_id: HarnessTaskId,
        run_id: HarnessRunId,
    },
    RevisionConflict {
        task_id: HarnessTaskId,
        expected: HarnessRevision,
        current: HarnessRevision,
    },
}

The outcome of one g4a_task_move call (D5, Slice D): restricted to a task inside the caller’s own subtree, and never the task that governs the caller’s own run – a session never moves the task its own run is attributed to (scope discipline: an agent narrates its own subtree, it does not narrate itself). Moved names the resulting revision and both endpoints of the transition; every other variant is a named refusal in the same style HarnessTaskCreateResultV1 establishes. IllegalTransition answers to the same shape of rule the operator’s own validate_operator_move (hatchery-harness-service) enforces – from != to, no move out of a terminal state, Done only from Review – without duplicating that function here: the service applies its own agent-scoped rule and reports the two states it rejected.

TaskOwnedByLiveRun names the rule commit 7799812’s incident exposed: while a run is non-terminal, its lifecycle projection owns its task’s state, and a caller-initiated move that would change it races a projection it cannot win cleanly rather than being told plainly it was never going to be allowed – so it is refused by name, carrying the id of the run that holds the task, instead of racing RevisionConflict on a revision the run’s own churn keeps moving out from under the caller.

Variants

Moved

Fields

task_id: HarnessTaskId

revision: HarnessRevision

from: HarnessTaskStateV1

to: HarnessTaskStateV1

TaskIsOwn

Fields

task_id: HarnessTaskId

TaskOutsideOwnSubtree

Fields

task_id: HarnessTaskId

own_task_id: HarnessTaskId

IllegalTransition

Fields

task_id: HarnessTaskId

from: HarnessTaskStateV1

to: HarnessTaskStateV1

TaskOwnedByLiveRun

Fields

task_id: HarnessTaskId

run_id: HarnessRunId

RevisionConflict

Fields

task_id: HarnessTaskId

expected: HarnessRevision

current: HarnessRevision

Implementations

impl HarnessTaskMoveResultV1

pub fn validate(&self) -> Result<(), HarnessValidationError>

Trait Implementations

impl Clone for HarnessTaskMoveResultV1

fn clone(&self) -> HarnessTaskMoveResultV1

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for HarnessTaskMoveResultV1

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for HarnessTaskMoveResultV1

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for HarnessTaskMoveResultV1

impl PartialEq for HarnessTaskMoveResultV1

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for HarnessTaskMoveResultV1

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 HarnessTaskMoveResultV1