Software Testing

Apply these constraints when test design or test implementation is part of the task. This skill defines proof-layer semantics and test behavior. Use $bep-verification-gates only for inventories, thresholds, metadata, and blocking CI policy. Use the verification reference inside $bep-backend-engineering or $bep-frontend-engineering only when that runtime's formal proof profile is needed.

Contents