orchestrator: document PreSupervision/CorruptionDetected gap as accepted

PreSupervision isn't linked into SupervisingPlatform, so corruption on an
already-released component is dropped during an all-Passive chain walk.
CSA defines no mechanism for detecting corruption of a live, executing
component, so this isn't a confirmed requirement to fix.

Reframes the Superstate doc comment, renames the expected-failing test
(...triggers_recovery -> ...is_dropped) to match actual behavior, and
softens the unconfirmed CSA-continuity claim in the walkthrough doc.
3 files changed
tree: c96c0c182bd5e34d3e85f29a1c0665ed17d0dcb5
  1. .github/
  2. docs/
  3. drivers/
  4. hal/
  5. openprot/
  6. platform/
  7. presubmit/
  8. services/
  9. target/
  10. third_party/
  11. tools/
  12. util/
  13. .bazelignore
  14. .bazelrc
  15. .bazelversion
  16. .clang-format
  17. .gitignore
  18. .semgrepignore
  19. BUILD.bazel
  20. CONTRIBUTING.md
  21. LICENSE
  22. MODULE.bazel
  23. MODULE.bazel.lock
  24. pw
  25. README.md
  26. rust-toolchain.toml
  27. workflows.json
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.