Unsafe planning fails closed
Review-required, malformed, and unavailable classifications stop before command execution.
Pinned project · Local systems agent
Public alpha 0.1.0a1 · developmentA local-first, model-assisted operations control plane that wraps host execution in deterministic policy, typed verification, bounded recovery, and redacted audit evidence.
Engineering thesis
Only objectives classified as safe reach planning. Model output remains subordinate to command classification, workspace write policy, declared success predicates, bounded recovery, and explicit process outcomes.
Two supervised local model roles separate navigation from command authoring. An optional remote oracle is disabled explicitly when strict local processing is required.
Verified alpha evidence
Review-required, malformed, and unavailable classifications stop before command execution.
Host mutations are refused; workspace writes, subprocess behavior, verification, and recovery are bounded.
Redacted events, typed predicates, distinct exit codes, and recovery traces expose control-flow decisions.
713 tests plus Ruff, Mypy, package, dependency, and secret gates pass on protected development.
Safety boundary