orchestrator/sm: recovery re-boots; guard out-of-turn verification verdicts - quiesce_all: assert reset on every live component before a recovery re-walk, so recovery is a genuine platform re-boot and no live component is re-verified while running (closes the TOCTOU on already-released siblings) - VerificationPassed: release only the component under verification (chain[cursor]); drop stale/out-of-turn verdicts, mirroring the INV9 guard on ComponentReady - tests: quiesce coverage (multi-sibling, at-rest re-verify), plus a property test (INV8) asserting verify-before-release across random event sequences
The OpenPRoT Technical Charter can be found at https://github.com/OpenPRoT/.github/blob/main/GOVERNANCE.md
NOTE: We are converting our build system to bazel. We recommend installing bazelisk to automatically manage bazel versions.
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.The project is structured as a bazel module.
No additional tools are required - all dependencies are managed by bazel.