DGV-TC-061L1: AuthorizationGER-101: Determinism ViolationVersion: 1.0.0
Negative: Non-Deterministic Output Detection
The verifier MUST detect and reject non-deterministic output. When given a script that produces different results across runs, the verifier MUST flag this as a failure.
Operational Purpose & Scope
Negative test: injects non-deterministic behavior into the solver. Verifier MUST detect that output varies across runs and report failure.
Verification Context
- Target Scope:
dgv-verifier CLI execution — negative test - Audit Strategy:
negative - Verification Metrics:
failure_detectionnon_determinism_flagged - Framework Origin:DGV Negative Test Suite
- Mandatory:Yes — must pass for certification
Governance Risk & Penalty
Non-deterministic output breaks the fundamental DGV guarantee of reproducible evidence.
Expected Outcome
- pass:
false
Explore this card in 3D
Open DGV-TC-061 in the interactive scenario replay. This illustrates the test flow; it does not run the verifier or generate a cryptographic receipt.
Open DGV Live →