← Back to behaviour
E2 green High

Fast checks stay fast enough for local loops

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 E2 is declared in wiki/content/stories/EFFICIENCY-STORIES.md.
When
The QA proof set evaluates 1 declared spec.
Then
  • The system satisfies: Fast checks stay fast enough for local loops.

Proof suites

1 suites · 1 tests
E2 proof suite
Proof set for Fast checks stay fast enough for local loops
proof-e2
1 tests
via audit
TestStatusOpen
fast suite duration guard
@cv/scripts · script · scripts/check-fast-suite-duration.ts
catalogTest