Undeclared direct provider
Rule ID: architecture.undeclared-direct-provider@1.0.0. Availability below refers to source-scan at product 524fa07e.
V-ARCH-06 — Undeclared direct provider#
Undeclared direct provider. It examines repository-wide reachability, dependencies, resources, and API boundaries.
Availability#
Not available in source-scan. There is no source-scan flag to activate this condition.
Example and action#
Illustrative design scenario, not a runnable Swift example or a reproduced analyzer result. The stated availability and evidence boundaries still apply.
Before: Feature imports Networking through a transitive dependency but does not declare the provider directly.
Review the following change against the contract and build variants described above.
After: Declare the intended Networking product on Feature, or remove the import if it is redundant. Resolve the exact provider rather than adding an unrelated module with the same name.
Intended analysis#
Intended reasoning: Model declarations, uses and entry points as a graph. A dependency or visibility decision needs the relevant consumers and build variants; an absence claim additionally needs a closed, complete graph. Required evidence: reachability, dependency, resource, and API-boundary facts
Assumptions and unknown#
The relevant facts must be admitted for the selected immutable build world. Unknown aliases, external effects, unsupported source forms or incomplete consumers can prevent a conclusion. Availability in this workflow is stated above; the illustration does not expand that availability.
Evidence and interpretation#
The target catalog describes the intended condition. It is not evidence of an active source-scan diagnostic.
Historical evidence at 4558458d: accepted-subset (a limited set of source forms and profiles passed historical checks). That evidence has not been requalified for this product revision.
How we validate checks explains the evidence boundary. Foundations separates method assumptions from implementation claims.