Begin with the working path
The first analysis compares a positive case, an edited control, and an unsupported resource input on the documented Mac profile. Access to the CLI requires an owner-provided checkout.
Get the checkout
Confirm the pinned product revision and compatible compiler profile.
Run a small example
Authorize the managed build and compare three supplied source packages.
Read coverage
Understand why zero findings can still mean degraded, exit 3.
Choose the detail you need
Use the guides for installation, commands and report interpretation. Use the catalog for source-scan availability, individual conditions, examples, scientific context and unknown boundaries.
The English catalog and individual rule pages separate current invocation from historical evidence; they do not equate registration with complete coverage.
Read every rule as a contract
At product 524fa07e, source-scan selects 9 conditions by default and 2 stdio conditions by opt-in. The other 130 catalog conditions are unavailable in that workflow.
The historical evidence at catalog 4558458d records 33 conditions accepted within bounded source forms out of 141. These have not been requalified for the product snapshot; they do not establish current workflow availability.
9 default conditions
Execution-context and guard-suspension conditions selected by source-scan.
2 opt-in conditions
Bounded stdio conditions require --include-stdio-rules.
130 unavailable in source-scan
The full catalog remains readable as a wider design and historical record.
Follow evidence, not intuition
The absence of known references does not prove that code is unused. Missing index membership, a different build profile, an open analysis world, or unmodeled dynamic behavior can change a negative answer into unknown.
That is why explanations stay attached to the same immutable manifest and exact subject identity as the scan.
Know the publication boundary
The English quick start is available without an account and describes the current advisory local workflow. There is no public binary, hosted project workflow, or blocking findings gate in this publication.
The English catalog and individual rule pages live on the separate documentation site. They preserve the same snapshot, identifiers, accepted-subset labels, and explicit unknown handling; five accepted conditions also publish their reviewed narrow scope in English.