commit: e1a01f2729f70ba93f93bf9ffa52a451247cb5dd
[log]
author: Anthony Rocha <anthony.rocha@amd.com>
Thu Jul 30 19:27:16 2026 -0700
committer: Anthony Rocha <116300062+rusty1968@users.noreply.github.com>
Wed Aug 05 14:05:26 2026 -0700
tree: cd13e679e09831898dc031595ed6a5fb0acc2687
parent: 98aee54bbcdc0d734c5b4f3ca0727981bc0ed1a4 [diff]

docs(orchestrator): recovery-is-a-reboot, INV8 catalogue, shell→platform

- model: add §5 (recovery re-boot / at-rest re-verify) and §6 reset-must-hold note
- machine: fill the INV8 catalogue gap with verify-before-release (property test)
- model/overview: rename the 'platform shell' concept to 'platform' throughout

3 files changed

tree: cd13e679e09831898dc031595ed6a5fb0acc2687

README.md

OpenPRoT

Technical Charter

The OpenPRoT Technical Charter can be found at https://github.com/OpenPRoT/.github/blob/main/GOVERNANCE.md

Getting Started

NOTE: We are converting our build system to bazel. We recommend installing bazelisk to automatically manage bazel versions.

Available Tasks

You can run tasks using the Pigweed workflow launcher pw or bazel.

./pw presubmit - Run presubmit checks: formatting, license checks, C/C++ header checks and clippy.
./pw format - Run the code formatters.
bazel test //... - Run all tests.
bazel build //docs - Build documentation.

Development

The project is structured as a bazel module.

Requirements

Bazel. We recommend installing bazelisk to automatically manage bazel versions.

No additional tools are required - all dependencies are managed by bazel.