# Capabilities and limitations

This pre-prod documents experimental product revision 524fa07e, verified on September 11, 2026. Access is restricted to an owner-provided checkout.

## Available in the documented workflow

- Compiler-backed source-scan for a small admitted SwiftPM product on the documented Mac profile.
- 9 selected conditions by default: V-EXEC-01 through V-EXEC-08 and V-ASYNC-14.
- 2 additional stdio conditions, V-LIFE-09 and V-LIFE-10, with --include-stdio-rules.
- Human and JSON reports preserving coverage, reasons and unknown observations.
- A separate experimental source preview with 13 local pattern checks.
- Manifest commands for an already supplied admitted immutable snapshot.

## Explicit limitations

130 catalog conditions are unavailable in source-scan. This does not erase separate experimental patterns or historical evidence. Native acquisition is not native semantic coverage. Whole-project self-scan, arbitrary Xcode applications, every SDK/toolchain and opaque source behavior are not established by this qualification.

There is no public CLI download, hosted service, signup, source upload, automatic fix or default blocking CI. Planned team workflows are described only in [Roadmap](https://docs.swift-analyzer.com/project/roadmap/).

## Keep version claims precise

The catalog identity and historical evidence are pinned separately to 4558458d. The public pages and machine manifest name both revisions. Changes after the product snapshot require a new impact review and, when relevant, reproduced examples before the documentation is updated or published.


---

Language: en
Canonical: https://docs.swift-analyzer.com/project/status/
Product revision: 524fa07e0ae4153c84ac12ae9eb6559df89ec2be
Catalog revision: 4558458d
Documentation digest: 1f17ba58ab08627e0de898f1442067b09e960b48cd5605d6529e9275f8930d68
Channel: pre-prod; maturity: experimental; access: owner-provided checkout.