Expand description
What a run left behind, in the form the judge reads (check.rs). The fake
harness fills it from the simulated machine (Sim::evidence); the VM
harness fills it from a real one: the journal, the executor log, the
daemon’s notices and a status sampler (live.rs).
Structs§
- Effect
- Evidence
- Posture
Seen - What the failure posture did. The fake harness models only planariad’s
side (it stops with status 78, routed to Integrity); the responses are
systemd’s and only the VM harness observes them (
responses: None).