Crate ainl_mission 

ainl-mission

Host-neutral mission substrate engine: lifecycle state machine, feature DAG scheduling, stall detection, semantic task ledger, milestone validation, and git snapshot helpers.

Wire types live in ainl_contracts; persistence uses ainl_memory graph nodes. This crate has no armaraos-* or openfang-* dependencies — hosts implement MissionLifecycle, MissionEventSink, and MissionCapability.

Modules

• state_machine — pure MissionState transitions
• dag — topological layers and cycle detection (Kahn)
• scheduler — file-overlap greedy coloring (coding-domain feature, default on)
• stall — progress thresholds for orchestrator takeover
• lifecycle — MissionLifecycle trait for hosts
• task_ledger — Facts / Guesses / Plan as tagged semantic nodes
• events — MissionEventSink trait
• validation — milestone scrutiny and assertion failure handling
• git_snapshot — repo toplevel + stash snapshot via injected shell
• capability — MissionCapability gating trait

Features

• coding-domain (default): enables scheduler for touches_files conflict partitioning.

Re-exports

pub use capability::MissionCapability;

pub use dag::detect_cycle;

pub use dag::topological_layers;

pub use dag::DagError;

pub use events::MissionEventError;

pub use events::MissionEventSink;

pub use git_snapshot::apply_snapshot;

pub use git_snapshot::create_snapshot;

pub use git_snapshot::resolve_repo_toplevel;

pub use git_snapshot::GitSnapshotError;

pub use git_snapshot::ShellOutput;

pub use git_snapshot::SnapshotApplyResult;

pub use git_snapshot::ShellRunner;

pub use lifecycle::MissionLifecycle;

pub use lifecycle::MissionLifecycleError;

pub use stall::is_stalled;

pub use stall::StallConfig;

pub use stall::StallProgressSource;

pub use state_machine::can_transition;

pub use state_machine::transition;

pub use state_machine::StateMachineError;

pub use state_machine::ValidTransition;

pub use task_ledger::read_ledger;

pub use task_ledger::write_fact;

pub use task_ledger::write_guess;

pub use task_ledger::write_plan;

pub use task_ledger::LedgerKind;

pub use task_ledger::TaskLedgerError;

pub use validation::build_scrutiny_features;

pub use validation::build_user_testing_features;

pub use validation::build_validation_plan;

pub use validation::on_assertion_failed;

pub use validation::propose_fix_for_blocking_issue;

pub use validation::scrutiny_feature_id;

pub use validation::should_inject_validation_phase;

pub use validation::AssertionFailureAction;

pub use validation::ValidationPlan;

pub use scheduler::files_overlap;

pub use scheduler::partition_layer;

pub use scheduler::SchedulerError;

Modules

capability

MissionCapability — zero-cost gating when mission substrate is disabled.

dag

Feature DAG: topological layers and cycle detection (Kahn’s algorithm).

events

MissionEventSink — persist and broadcast mission progress events.

git_snapshot

Git snapshot helpers: resolve repo root, stash create, stash apply via injected shell.

lifecycle

MissionLifecycle — host implements persistence and side effects.

scheduler

Within-layer parallel groups via file-overlap greedy coloring (touches_files).

stall

Stall detection: insufficient PROGRESS_FOR activity within a time window.

state_machine

Pure MissionState transition rules.

task_ledger

Task ledger: Facts / Guesses / Plan as tagged ainl_memory semantic nodes.

validation

Milestone validation: scrutiny fan-out and assertion failure handling.

Constants

CRATE_VERSION

Crate version aligned with workspace publishing.