Skip to main content

Module verification

Module verification 

Source
Expand description

Verification Gates - Automatic validation after every code change

Implements the “never proceed on assumptions” protocol:

  1. Speculate: Agent proposes an edit
  2. Validate: Harness runs checks automatically
  3. Feedback: Agent sees results immediately
  4. Commit: Only on green, or explicit override

Structs§

CheckResult
Verification result for a single check
CustomCheck
LanguageCheckSet
Per-language verification settings.
SideEffect
Side effects detected from the change
VerificationConfig
Configuration for verification gates
VerificationError
A verification error with location info
VerificationGate
The verification gate - runs checks and reports results
VerificationReport
Complete verification report after a change

Enums§

CheckType
Types of verification checks
ErrorSeverity
RepoLanguage
Detected repository language for verification dispatch.
SideEffectType