# Predicate does not distinguish valid states

RuleID: portfolio.cor.15@1.0.0
Status: accepted-subset
Catalog snapshot: 4558458d

## V-COR-15 — Predicate does not distinguish valid states

Predicate does not distinguish valid states. It examines value, collection, identity, ordering, and control-flow contracts. The result remains unknown when the required evidence is incomplete.

Status: accepted-subset

Current scope: A bounded source subset is accepted for the documented source forms, build profile, positive and negative cases, and unknown boundary. This does not accept every similar program.

Evidence boundary: Required evidence must be complete for the selected immutable build snapshot. Otherwise the affected result is unknown.

---
Language: en
Canonical: https://docs.swift-analyzer.com/en/catalog/portfolio.cor.15/
Source revision: 4558458d