ARCH / Architecture and reachability

Unused declaration or declaration group

[email protected]

Accepted subsetExperimental1 condition

V-ARCH-01 · Contract violation

Unused declaration or declaration group

Unused declaration or declaration group. 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

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.

Implementation owner: T007; exact scope remains traceable in the internal source manifest.
First-result strategy: Narrow verifiable case — a delivery strategy, not maturity.
Result kind: Contract violation — not a severity level.
Registry profile: native-experimental.swift-6.3.3
Autofix and CI: No autocorrect, default enablement, or blocking CI is claimed.
Provenance key: VISION

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