Sub-module
Code Verification
Combine deterministic analysis, tests, security findings and evidence into change-specific gates.
How the capability changes the workflow
Combine deterministic analysis, tests, security findings and evidence into change-specific gates.
Human and agent-authored code face the same inspectable acceptance contract.
Capability contract
- BehaviorCombine deterministic analysis, tests, security findings and evidence into change-specific gates.
- OutcomeHuman and agent-authored code face the same inspectable acceptance contract.
- BoundaryGreen checks remain scoped to the evidence actually run.
- SourceHaephestus Part 12