File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 1+ # Verification Gates
2+
3+ AI-OS treats verification as the decision maker.
4+
5+ ## Verification pipeline
6+
7+ ``` mermaid
8+ flowchart TD
9+ Change[Change] --> Build[Build]
10+ Build --> Typecheck[Typecheck]
11+ Typecheck --> Lint[Lint]
12+ Lint --> Unit[Unit Tests]
13+ Unit --> Integration[Integration Tests]
14+ Integration --> Security[Security Review]
15+ Security --> Performance[Performance Review]
16+ Performance --> Docs[Documentation Review]
17+ Docs --> Gate{All required gates passed?}
18+ Gate -- No --> Diagnose[Diagnose and Loop Back]
19+ Gate -- Yes --> Done[Done]
20+ ```
21+
22+ ## Strong verifiers
23+
24+ - build
25+ - typecheck
26+ - lint
27+ - unit tests
28+ - integration tests
29+ - smoke tests
30+ - dependency audit
31+ - container build
32+ - infrastructure validation
33+ - benchmark
34+
35+ ## Weak verifiers
36+
37+ - self-review
38+ - checklist review
39+ - manual reading
40+
41+ Weak verifiers can support decisions, but they should not replace strong verifiers when strong verifiers are available.
You can’t perform that action at this time.
0 commit comments