COR / Value correctness
Computed result is discarded without a useful effect
[email protected]V-COR-18 · Improvement opportunity
Computed result is discarded without a useful effect
Computed result is discarded without a useful effect. It examines value, collection, identity, ordering, and control-flow contracts. The result remains unknown when the required evidence is incomplete.
Required evidence
The selected immutable build snapshot must provide complete value, identity, ordering, collection, and control-flow facts for this condition.
Safe cases and boundaries
When required evidence, source membership, or analysis-world closure is incomplete, the affected result remains unknown. Missing data alone is never a finding.
Current qualification
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.
Status and provenance
This page combines the reviewed rule identity with an English public description for catalog snapshot 4558458d. Changing status requires a new reviewed snapshot; page count is not a maturity claim.