Swift validation

Swift v0 has a pinned real-world smoke path.

The Swift real-world API-client smoke scans pinned public Swift app samples and verifies static artifact generation plus sanitized evidence summaries. It gives reviewers a public proof path for Swift v0 without turning static evidence into runtime claims.

Public claim level: shipped. Proof: validation guide and scripts/smoke-swift-real-world.sh. Generated summaries are sanitized validation artifacts; raw scan outputs remain local.

What the smoke checks

The harness exercises Swift v0 against messy public app shapes.

Pinned inputsThe smoke uses fixed public repository commits so reviewers can repeat the same source snapshot.

Static artifactsEach scan is expected to produce the standard TraceMap artifact family and sanitized summary metadata.

Static evidence extractionThe smoke demonstrates static evidence extraction over public app shapes without claiming runtime correctness.

Public-safe summariesSummaries use labels, public repository names, pinned commit SHAs, artifact labels, counts, rule IDs, coverage labels, and limitations.

Bounded evidenceThe smoke is useful because it carries the limitation text alongside the static evidence claim.

Pinned samples

The sample list is public, pinned, and intentionally not tiny.

Public Swift smoke samples from the validation guide. The table is metadata only, not raw scan output.
Label	Repository	Pinned SHA	Why included
`icecubesapp`	`Dimillian/IceCubesApp`	`9c05a720597b3ff13de2e241bf58d3fba0863c09`	SwiftUI Mastodon client with real federated API client and UI surface evidence.
`mastodon-ios`	`mastodon/mastodon-ios`	`95ac4a6d726ebf9fa867036dbf9d72f0a4b5f534`	Official Mastodon iOS app with real backend/API client and mobile app structure evidence.
`kickstarter-ios`	`kickstarter/ios-oss`	`203971bdf40f3a3a5071ce0c1fbc4eb3cad5b094`	Product iOS app with real backend/API client, view model, dependency, and persistence-adjacent evidence.

Repeatable command

The validation guide keeps the smoke opt-in and explicit.

The command belongs in a developer validation run, not in public page execution. It writes generated outputs under caller-provided temporary directories.

scripts/smoke-swift-real-world.sh <swift-smoke-cache> <swift-smoke-output>

Non-claims

The smoke is static validation, not app execution.

The smoke does not run Swift apps, Xcode builds, SwiftPM dependency resolution, simulators, devices, network calls, credentials, auth flows, production telemetry, or runtime persistence.
The smoke does not prove runtime API correctness, endpoint reachability, backend compatibility, complete app navigation, package compatibility, production use, release safety, stored values, query execution, live schema, impact, or complete Swift semantic analysis.
Generated summaries must not include local absolute paths, clone URLs, raw remotes, raw source snippets, raw SQL, credentials, config values, hostnames, private labels, or runtime observations.
TraceMap core scanning and reduction do not use AI impact analysis, LLM analysis, prompt-based classification, embeddings, or vector database analysis.

Follow the proof

Use the smoke proof with the Swift evidence lane and limitations.

Swift evidence lane Why Swift evidence matters Swift surface discovery Swift API-client evidence walkthrough Swift evidence safety Swift claim language checklist Validation Limitations Reduced coverage Site claim guardrails Validation guide section