Investigația urmează un state machine formal cu 8 stări și 7 tranziții. Fiecare tranziție are guards stricte (raise
ValidationError dacă state-ul curent nu permite tranziția) și emite o entry în InvestigationAuditLog.Un caz tipic mediu/macro parcurge următorii actori și pași:
Fiecare Investigation snapshot-uiește
workflow_version la creare (default 'v1'). Investigations existente rămân pe v1 când deploy-ăm un v2 (e.g., adăugăm o tranziție nouă).ℹ️ Skip path no_breach
Outcome-ul no_breach sare direct la closed (skipping monitoring_active). În plus, declanșează auto-lift pe suspendarea-pendintă (vezi #285 H5). Vezi Hard rules: H5.