ReviewOS

also looking at this

stacks/drone

feat: own runtime firmware candidates

#49
Merged chris wants to merge codex/runtime-candidate-ownership into main
24 files +1245 -92

Review threads live on the whole diff, not on one commit, so none are shown here - a thread's line means something in the branch's final form, and painting it into an intermediate step would put it on code it is not about.

docs/runtime-updates.mdmodified+5-5
Changes to docs/runtime-updates.md
@@ -364,11 +364,11 @@ time. Neither path is a complete anti-rollback coordinator. Trusted clock
364364acquisition and protection against privileged clock/storage rollback remain
365365open. Control-loop freshness still uses its separate monotonic clock.
366366
367Initial enrollment and the bounded persistent metadata protocol are available
368above. Complete authenticated maintenance/key revocation, the full storage-fault
369campaign and integration with signed image staging, then installed/known-good
370slot integrity, explicit
371health confirmation and rollback without lowering security floors. Then add
367Initial enrollment, the bounded persistent metadata protocol and protected
368signed-image preparation are available above. Complete authenticated
369maintenance/key revocation and the full storage-fault campaign, then durable
370candidate ownership, installed/known-good slot integrity, explicit health
371confirmation and rollback without lowering security floors. Then add
372372the board bootloader/install protocol and measured power-loss, full-medium,
373373storage-latency and recovery campaigns. Local privileged filesystem tampering
374374is outside this host module's protection; it is not secure boot or hardware