Verification

strata19.verify_implementation runs the local verification pipeline and derives a verdict from real finding severity. Its core gate includes graph-backed unreachable-file candidates, duplicate fragments, placeholders or stubs, and configuration gaps. Compiler-backed semantic providers can add swallowed-exception and unguarded-route findings when their prerequisites are available.

The done gate can re-run against files touched in the session. ask presents the evidence and waits; enforce requires the finding to be handled before completion; off disables the hook. The coding host still controls edit approval.

A clean result is scoped evidence. It is not a general proof of security, correctness, or product completeness. Review analysis caveats with strata19.get_analysis_caveats, and use targeted security or impact tools when the requested claim is narrower than the general gate.