Swift Analyzer
Documentation sections
← Rule catalog

ARCH / Architecture and reachability

Semantically redundant import

portfolio.arch.14@1.0.0
Accepted subsetExperimental1 condition

V-ARCH-14 · Improvement opportunity

Semantically redundant import

Semantically redundant import. It examines repository-wide reachability, dependencies, resources, and API boundaries. The result remains unknown when the required evidence is incomplete.

Required evidence

The selected immutable build snapshot must provide complete reachability, dependency, resource, and API-boundary 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

Accepted scope: a private or internal Foundation import. Independent builds compare complete compiler bindings with the same Package.swift before and after removal. A changed binding is a hard negative; unsupported grammar remains unknown.

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.

← Return to search results