marsai:dev-delivery-verification

Delivery verification checks that requested features are integrated and reachable in the running application, not just compiled. It confirms execution path wiring and generates a structured Delivery Verification Summary to flag gaps.

Dead code detection identifies unlinked or unreachable code segments, while requirement traceability maps delivered features to original requests. Together they ensure complete integration wiring and expose leftover or non-executable code in the codebase.

Run delivery verification after Gate 0 to automatically produce a Requirement Coverage Matrix. This matrix maps original requirements against delivered code, confirming integration wiring and reporting any missing traceability.

Delivery verification applies to any task type, including features, refactors, fixes, infrastructure, APIs, and middleware. It enforces complete delivery with integration wiring across all Gate 0 outcomes.

Delivered code appears as dead code when it is compiled but not wired into the application execution path. Delivery verification detects this by checking integration wiring and confirming the code is actually executable and reachable.

You should return to Gate 0 when delivery verification detects gaps in requirement coverage or integration wiring. The verification verdict provides instructions to return to Gate 0 to fix incomplete or non-reachable deliveries.