1 tests
via audit
| Test | Status | Open |
|---|---|---|
quality HTTP smoke tools/quality · cargo · tools/quality/tests/http_smoke.rs | catalog | Test |
E6 green High
Quality service rejects ambiguous spend
Source efficiency-story File wiki/content/stories/EFFICIENCY-STORIES.md Suites 1 Tests 1 Graph 5 nodes · 6 edges
Behaviour shape
Given
The efficiency story behaviour E6 is declared in wiki/content/stories/EFFICIENCY-STORIES.md.
When
The QA proof set evaluates 2 declared specs.
Then
- The system satisfies: Quality service rejects ambiguous spend.
Proof suites
1 suites · 1 tests