Swift story
Swift symbols and calls make syntax evidence reviewable.
Swift v0 can report SwiftSyntax-backed declarations, call candidates, construction candidates, and relationship evidence where syntax evidence supports the row.
Public claim level: shipped. Proof: PR #425. These rows are static evidence and not runtime dispatch proof.
Use
Syntax candidates are useful when their tier stays attached.
DeclarationsClasses, structs, protocols, enums, functions, and related declaration shapes can become reviewable static facts.
CallsCall candidates and construction candidates help reviewers inspect where names appear without claiming dispatch certainty.
RelationshipsInheritance, conformance-style, and direct reference relationships remain bounded to the available static evidence.
Boundary
Do not turn candidates into compiler or runtime certainty.
- Swift symbols and calls do not prove runtime behavior, runtime dispatch, protocol witness behavior, dependency injection behavior, app navigation, rendered UI, production usage, build success, deployment state, or release safety.
- TraceMap core scanning and reduction do not use AI impact analysis, LLM analysis, prompt-based classification, embeddings, or vector database analysis.
- Public pages must not publish raw source snippets, raw SQL, secrets, local absolute paths, raw remotes, credentials, stored values, private scan artifacts, or hidden validation details.
Proof path