← Back to behaviour
E3 green High

Slow free checks stay repeatable

Source efficiency-story File wiki/content/stories/EFFICIENCY-STORIES.md Suites 1 Tests 1 Graph 4 nodes · 3 edges

Behaviour shape

Given
The efficiency story behaviour E3 is declared in wiki/content/stories/EFFICIENCY-STORIES.md.
When
The QA proof set evaluates 1 declared spec.
Then
  • The system satisfies: Slow free checks stay repeatable.

Proof suites

1 suites · 1 tests
E3 proof suite
Proof set for Slow free checks stay repeatable
proof-e3
1 tests
via audit
TestStatusOpen
flakiness budget guard
@cv/scripts · script · scripts/check-flakiness-budget.ts
catalogTest