# Analysis
Version: 1.1.1
Last Updated: January 23, 2026
Audience: Analysis/SAE/CFG/PFI engineers; backend/API integrators; governance reviewers
Scope
- Semantics pipeline (AST → semantic actions → CFG) and propagation.
- Statement/label-level CFG construction and validation rules.
- State Analysis Engine (SAE) for mutation tracking and branch classification.
- Project Function Index (PFI) for function discovery, stat-effect analysis, and governance warnings.
- Analysis-time AI integration (provider protocol, requests/responses) used by analysis features.
Boundaries
- Does not cover UI panels or flowchart rendering (User-Guide owns presentation).
- Does not redefine API framework conventions (see Technical/api/api.md).
- Does not cover telemetry or logging pipelines (see Technical/telemetry, Technical/logging).
- Runtime server behavior belongs to Backend/Server subset; Analysis focuses on static/deterministic analysis.
Components
- Semantics Layer: Semantic actions, function providers, trace export, schema.
- CFG & Propagation: Label- and statement-level graphs, dynamic jump resolution, flow metrics, warnings.
- SAE: State mutation tracking, type/operation inference, cosmetic vs. mechanical branch classification.
- PFI: Function indexing, stat effect analysis, consistency checks, call graph, CLI/UI.
- AI Integration (analysis-facing): Provider protocol and request/response models used by analysis features.