Supply application data for workspace exports: Capability Test Specification
Coverage
The category map separates defined scenarios from missing proof. A covered category has a scenario; a binding records inspected test assertions and carries no execution result. State-model completeness and untested interactions remain explicit gaps.
| Rule | Proved by |
|---|---|
BR-CAP-PFM-TNL-010-01 | ATS-PFM-TNL-010-01 |
BR-CAP-PFM-TNL-010-02 | ATS-PFM-TNL-010-02, ATS-PFM-TNL-010-05 |
BR-CAP-PFM-TNL-010-03 | ATS-PFM-TNL-010-03 |
BR-CAP-PFM-TNL-010-04 | ATS-PFM-TNL-010-04 |
Interactions With Related Capabilities
Export classification tracks changed participant declarations. The combined scenario sets up the stated boundary, changes the upstream condition and observes its effect on the dependent outcome. Its steps and assertions are proposed; component tests do not establish this combined execution.
| Related capability | Combined coverage |
|---|
The export workflow supplies the interaction boundary even though the capability has no declared related-capability list.