Module double_blind 

Double-Blind Verification Framework (PMAT-020)

Implements the Double-Blind Verification protocol per §36.2 of cbtop spec. Separation of Dev (implementation) and QA (verification) roles with black-box falsification attempts.

Protocol

1. Group A (Dev): Implements feature and claims “Falsification Passed”
2. Group B (QA): Receives only binary + F-criteria (no source)
3. Blind Test: Group B attempts to falsify the binary black-box
4. Confirmation: Only if Group B fails to falsify is release approved

Citations

• [Rosenthal & Fode 1963] “Psychology of the Scientist: Experimenter Bias” Psychological Bulletin
• [Holman et al. 2015] “A Systematic Review of Double-Blind Experiments in SE” IEEE TSE

Structs

AuditEntry

Audit trail entry

BlackBoxArtifact

Black-box artifact for QA (no source code)

FalsificationClaim

Developer’s claim that falsification passed

FalsificationCriterion

A falsification criterion (F-criteria)

ScorecardComponent

Scorecard component with weight

ScorecardV2

Falsification Scorecard v2 per section 36.3

VerificationAttempt

A single verification attempt by QA

VerificationReport

Summary report of verification session

VerificationSession

Double-blind verification session

Enums

ReleaseDecision

Release decision

Role

Role in the double-blind verification process

SessionState

Session state

VerificationResult

Verification result