ainl-mission 0.1.0

Host-neutral mission engine: state machine, DAG, scheduler, stall, task ledger (zero armaraos-* deps)
Documentation

ainl-mission

Host-neutral mission substrate engine for ArmaraOS and other AINL hosts.

  • Wire types: ainl-contracts (Mission, Feature, Assertion, Handoff, MissionEvent)
  • Persistence: ainl-memory graph nodes + tagged semantic ledger
  • Zero armaraos-* / openfang-* dependencies

Modules

Module Role
state_machine Valid MissionState transitions
dag Topological layers, cycle detection (Kahn)
scheduler File-overlap greedy coloring (coding-domain, default on)
stall Progress window / event thresholds
lifecycle MissionLifecycle trait for hosts
task_ledger Facts / Guesses / Plan semantic tags
events MissionEventSink trait
validation Milestone scrutiny + assertion failure actions
git_snapshot git stash create / apply via injected shell
capability MissionCapability gating trait

Features

  • coding-domain (default): enables scheduler for touches_files conflict partitioning.
  • Build slim: cargo build -p ainl-mission --no-default-features

Test

cargo test -p ainl-mission

Design hub: docs/plans/armaraos_mission_graph_native_plan.md.