Limits

• Analysis coverage depends on the language and framework support declared by each extractor or detector.
• A clean verification result applies only to the checks that ran with complete prerequisites.
• Reachability findings are candidates when roots or dynamic loading cannot be proven.
• Model-assisted text and generated Specbook sections are drafts until reviewed.
• An MCP configuration example is not a certified host integration.
• A tool registered internally may be withheld from the host's advertised projection.
• Local data does not cross the Strata19 service boundary unless a connected or model-assisted operation explicitly requires it.
• Routines can contain actions that dry-run as unsupported in the local dispatcher; unsupported is a typed result, never silent success.

Use strata19.get_capability_coverage and strata19.get_analysis_caveats for version-specific evidence rather than relying on a static marketing count.