# Producer and consumer canonicalize identity differently

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

## V-COR-13 — Producer and consumer canonicalize identity differently

Producer and consumer canonicalize identity differently. 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.13/
Source revision: 4558458d