The Negative of the Negative: owed controls, tied/untied pairs and open passes

Unbuilt tests and standing claims from The Negative of the Negative (v1 and v2) name the controls and runs the scope model still owes: the matched-entity and absent-lineage controls, the tied/untied address pair as the dataset's instrument, the frozen panel, the naive and control arms, the unread candidate sets and the reproducibility runs. The v1 paper states seven discriminating consequences of the scope and the counterfactual at source-absent addresses that would establish its cause. Beside them sit the Capture Registry's unrun tied condition and unseated untied arms, the source-admission pair rule, and the self-audit module's EC matched-pair instrument with its preregistered null.

Each claim below is registered at the earliest deposit that states it, and quoted verbatim from the deposit text, with every later statement, its dated revisions, and the later records that claim it came true or failed. The claims are the deposits' own; this page records them and does not judge them.