| Filename | Latest commit message | Latest commit date |
|---|---|---|
d427b0e268
When systemctl stop fails, stop_all asks is-active for each of the two units and the error names each state (active, inactive, failed, unknown) beside the exit status; brake hold says the brake is held and the stop failed, not that the units were not stopped. Exit 2 and the held brake are unchanged. Follow-up brake-partial-stop-message. Not yet built; verified at the head of the cut. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> |
||
| .. | ||
| src | ||
| tests | ||
| Cargo.toml | ||
| clippy.toml | ||
| README.md | ||
mind-body
The Mind's body: the control store, the launch primitive and the mind-wake
one-shot.
The container lane
tests/wake.rs holds one #[ignore]d test that runs the real mind-wake
binary against the real huginn-daemon and a real store at the brake's root,
and asserts that the host a run records is the kernel's hostname. It writes
/etc/gamecult/minds, so it runs in a container only (/.dockerenv), as root,
with the daemon built beside the binary. A plain cargo test skips it, and so
does cargo mutants, which therefore reports the three host() mutants in
src/bin/mind-wake.rs as missed. The lane that kills them:
cargo build -p huginn-daemon -p mind-body --all-targets \
&& cargo test -p mind-body --test wake -- --include-ignored
On Yggdrasil, run it through the verify stopgap in the Rust image
(ygg-verify.sh <worktree> <rev> rust '<the command above>').
Mutation testing of the waker needs the glob form, because -f src/wake.rs
finds no mutants in this workspace: cargo mutants -p mind-body -f "**/src/wake.rs" -f "**/src/bin/mind-wake.rs". The second glob reaches
host(), whose mutants only the container lane kills.