assurance 0.1.1

High-assurance system validation and runtime integrity attestation. Acts as the formal supervisor for the Honest-Classified ecosystem, enforcing security invariants and environmental state-verification.
Documentation
  • Coverage
  • 100%
    1 out of 1 items documented0 out of 0 items with examples
  • Size
  • Source code size: 2.51 kB This is the summed size of all the files inside the crates.io package for this release.
  • Documentation size: 976.1 kB This is the summed size of all files generated by rustdoc for all configured targets
  • Ø build duration
  • this release: 11s Average build duration of successful builds.
  • all releases: 12s Average build duration of successful builds in releases after 2024-10-23.
  • Links
  • jameshuntt/assurance
    0 0 0
  • crates.io
  • Dependencies
    • —
  • Versions
  • Owners
  • jameshuntt

ASSURANCE

High-assurance system validation and runtime integrity attestation.

This crate serves as the final arbiter of correctness within the Honest suite. It provides primitives for runtime attestation, ensuring that memory allotments, scoped lifetimes, and classified buffers meet the required security posture before execution proceeds.

Core Security Principles

  • Attestation: Verifies that the environment is "Honest" before processing.
  • Invariants: Enforces strict logical invariants across the IPC boundary.
  • Posture: Provides a "Go/No-Go" signal for high-stakes sidecar operations.
  • Compliance: Designed to meet NIST-tier logging and audit requirements.