ADR audit-check: ADR-0.31.0-obpi-state-machine
PASS All linked OBPIs are completed with evidence.
  - OBPI-0.31.0-01-state-transition-models
  - OBPI-0.31.0-02-withdraw-supersede-transitions
  - OBPI-0.31.0-03-runtime-invariant-monitor
Advisory 7 REQ(s) without @covers traceability (non-blocking):
  - REQ-0.31.0-01-06
  - REQ-0.31.0-02-04
  - REQ-0.31.0-02-05
  - REQ-0.31.0-02-06
  - REQ-0.31.0-03-04
  - REQ-0.31.0-03-05
  - REQ-0.31.0-03-06

Coverage: 11/18 REQs covered (61.1%)
  OBPI-0.31.0-01: 5/6 (83.3%)
  OBPI-0.31.0-02: 3/6 (50.0%)
  OBPI-0.31.0-03: 3/6 (50.0%)
Uncovered REQs (7):
  - REQ-0.31.0-01-06
  - REQ-0.31.0-02-04
  - REQ-0.31.0-02-05
  - REQ-0.31.0-02-06
  - REQ-0.31.0-03-04
  - REQ-0.31.0-03-05
  - REQ-0.31.0-03-06
audit-check rc=0
