LevitateOS

Documentation

recguard

Policy enforcement spec for installed-system mutability models.

Section

Current Status

WARNING

recguard currently exists as requirements/spec documentation. There is no implemented Rust crate or CLI binary in this repository yet.

Canonical spec source: tools/recguard/REQUIREMENTS.md.

Section

Intended Boundary

  • Intended role: verify observed system state against declared mutability policy
  • Does not: partition disks (recpart)
  • Does not: extract payloads (recstrap)
  • Does not: perform slot transitions (recab)

Section

Why This Page Exists

To make the tool inventory explicit and remove hidden gaps between repository surface and published docs.

Section

See Also

  • recab - A/B state-machine scaffold
  • recpart - Partition plan/apply backend