ainl-mission
Host-neutral mission substrate engine for ArmaraOS and other AINL hosts.
- Wire types:
ainl-contracts(Mission,Feature,Assertion,Handoff,MissionEvent) - Persistence:
ainl-memorygraph 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): enablesschedulerfortouches_filesconflict partitioning.- Build slim:
cargo build -p ainl-mission --no-default-features
Test
Design hub: docs/plans/armaraos_mission_graph_native_plan.md.