← Back to behaviour
E1 green High

Default quality run spends no budget

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 E1 is declared in wiki/content/stories/EFFICIENCY-STORIES.md.
When
The QA proof set evaluates 1 declared spec.
Then
  • The system satisfies: Default quality run spends no budget.

Proof suites

1 suites · 1 tests
E1 proof suite
Proof set for Default quality run spends no budget
proof-e1
1 tests
via audit
TestStatusOpen
paid provider guard
@cv/scripts · script · scripts/check-paid-forbidden.ts
catalogTest