RS-DATA-014 — ADD UNIQUE without proven uniqueness
Namespace: RS-DATA · Code: RS-DATA-014
ADD CONSTRAINT UNIQUE can only succeed if the column is actually unique. Uniqueness is never inferred from a sample (INV-UNIQUENESS): unproven uniqueness cannot certify PASS, and proven duplicates make the constraint fail to build.
Remediation
Section titled “Remediation”Prove uniqueness before adding the constraint. If duplicates already exist, de-duplicate the column first (remove or merge the duplicate rows).
References
Section titled “References”- RFC §7.2
- RFC §7.4
- PRD §10
This page is generated from the same catalog rowshape explain RS-DATA-014 reads, so the remediation here is byte-identical to the one a verdict carries — they cannot drift. An agent can read it with the explain_finding MCP tool.