Assurance

The evidence model and reproducibility story that make the GoMyRobotOS claims about isolation defensible.

• Assurance: Evidence model
  • The evidence inputs
  • Requirement → field → test → result chain
  • Why this shape
  • Timing evidence classification
  • What this is not
• Assurance: Reproducibility
  • Three reproducibility pillars in GoMyRobotOS
    • 1. Reproducible boot
    • 2. Reproducible measurements
    • 3. Reproducible artifacts
  • How far reproducibility reaches
  • Status
• Assurance: Evidence graph
  • Graph inputs GoMyRobotOS emits
  • Graph nodes vs. edges (blank at M0)
  • The portability question