← Back to behaviour
S6 green High

Quality results are auditable

Source system-story File wiki/content/stories/SYSTEM-STORIES.md Suites 1 Tests 1 Graph 5 nodes · 6 edges

Behaviour shape

Given
The system story behaviour S6 is declared in wiki/content/stories/SYSTEM-STORIES.md.
When
The QA proof set evaluates 2 declared specs.
Then
  • The system satisfies: Quality results are auditable.

Proof suites

1 suites · 1 tests
S6 proof suite
Proof set for Quality results are auditable
proof-s6
1 tests
via audit
TestStatusOpen
quality HTTP smoke
tools/quality · cargo · tools/quality/tests/http_smoke.rs
catalogTest