Deep verify falls through to manual UAT when unavailable #165

Closed
opened 2026-08-15 14:33:58 +00:00 by john · 0 comments
Owner

Source: strict re-review C-24
Verdict: DISPUTE - by design, closing

Claim as reviewed

Deep verify is designed to fall through to manual UAT if unavailable, so automated verification availability is not a completion invariant.

At HEAD f354864 (v3.3.0)

Accurate, and the review itself calls this "good fail-visible behavior".

Note

Falling through to a human with the reason named is the correct degradation for a verifier that could not run. The alternative - blocking a phase because a reviewer was unreachable - trades a visible manual step for a hard stop.

Not a defect.

**Source:** strict re-review C-24 **Verdict:** DISPUTE - by design, closing ### Claim as reviewed Deep verify is designed to fall through to manual UAT if unavailable, so automated verification availability is not a completion invariant. ### At HEAD f354864 (v3.3.0) Accurate, and the review itself calls this "good fail-visible behavior". ### Note Falling through to a human with the reason named is the correct degradation for a verifier that could not run. The alternative - blocking a phase because a reviewer was unreachable - trades a visible manual step for a hard stop. Not a defect.
john 2026-08-15 14:33:58 +00:00
Sign in to join this conversation.
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: crenshawdev/cadence-archived#165
No description provided.