Investigate platform jobs in Rhythm HQ: Capability Test Specification
Coverage
The category map distinguishes authored scenarios from unresolved proof obligations. A bound scenario names an existing executable suite; its recorded result remains unrun.
| Rule | Proof status |
|---|---|
BR-CAP-PFM-OPS-006-01 | ATS-PFM-OPS-006-01 |
BR-CAP-PFM-OPS-006-03 | ATS-PFM-OPS-006-02 |
BR-CAP-PFM-OPS-006-07 | ATS-PFM-OPS-006-03 |
BR-CAP-PFM-OPS-006-08 | ATS-PFM-OPS-006-04 |
Interactions With Related Capabilities
Confirm recovery from the inspected failure. The page follows the newly started attempt while the earlier failure remains inspectable.
Compare customer and staff views of one run. Both audiences see the same run outcome; only the staff view includes staff enrichment.
Evidence and Boundaries
Pinned assertion sources support the listed executable bindings. Proposed cases retain the proof required beyond those boundaries. Structured obligations name incomplete object, transition and permission trace; row-level concurrency proof does not establish complete workflow serialization.