Verification Gates

Apply these gates only when formal coverage or CI governance is in scope. They define a proof protocol that runtime verification profiles may adopt; loading a runtime architecture skill does not by itself require this skill.

Contents

• Use Stable Proof Identities
• Use Ecosystem Proof Adapters
• Trace Product Behavior Through BDD
• Derive Inventories From Production
• Define Applicability Mechanically
• Measure Independent Coverage Denominators
• Permit Only Recorded Legacy Coverage Exceptions
• Verify Test Execution From Native Reports
• Enforce Blocking CI Gates
• Apply The Quality-Gate Completion Gate