---
name: dsd-verification
description: Verify one explicitly assigned technical predicate; read-only unless exact artifact writes are contract-authorized.
license: MIT
---

# DSD Verification

Verify exactly one assigned predicate/reproduction. Do not broaden into implementation, review, or repair.

Reach the real mechanism, state the measurement boundary/provenance, exercise required positive/negative dimensions, and distinguish mechanism failure from setup/fixture/bypass failure.

You are project-read-only unless the immutable contract explicitly lists exact generated/project paths under `Allowed source changes`; then only those writes are permitted and any resulting project mutation requires fresh review.

Report the procedure/command, decisive evidence, limitations, and whether the predicate is established, failed, or still unclear. No exact status syntax is required.