feat(scan-log): Phase-Tracking + Crash-Trail im Outer-Handler

Problem: Crash AUSSERHALB des Detector-Try-Loops (z.B. Pre-Index,
gAstFileCache.Evict im finally, gFileTextCache.Clear) erzeugte
in der UI nur generisches "Analyseabbruch: <message>" ohne
Hinweis welche Phase / welches File betroffen war. Wir mussten
das heute Morgen per Hand mit DIAG-LogLines lokalisieren und
hinterher revertieren.

Fix: Zwei Lightweight-Variablen LastPhase + LastFile werden an
Schluesselstellen aktualisiert (kostenlos im Happy-Path, kein
Logging). Neuer Outer-Try in ParseLeaks faengt jede Non-EAbort-
Exception, schreibt vor dem Re-Raise:

  === ABBRUCH: <ExceptionClass>: <Message> ===
  === letzte Phase: <PhaseString> ===
  === aktuelles File: <FileName> ===

und re-raised, damit der Caller-Outer-Handler sein SARIF-Finding
wie bisher anlegt. EAbort (User-Cancel) wird durchgereicht.

Getrackte Phasen:
- init / Pre-Index: DfmRepoIndex.Build / Pre-Index: SymbolRefIndex.Build
- Parser.Create + Main-Loop start
- File N/M: pre-check / Parse/Acquire / AutoDiscovery / CustomRules /
  RunAllDetectors / finally Root.Free/Evict / finally
  gFileTextCache.Clear
- Main-Loop fertig, post-process

Author: nrodear

SCA.Engine/sources/Infrastructure/uStaticAnalyzer2.pas

@@ -669,6 +669,11 @@ class procedure TStaticAnalyzer2.ParseLeaks(FileList: TStringList;
   LogStream : TStreamWriter;
   Watch     : TStopwatch;
   ElapsedMs : Int64;
+  // Phase-Tracking fuer Crash-Diagnose. Wird an Schluesselstellen aktualisiert
+  // und im Outer-Handler bei "Analyseabbruch: ..." mit-geloggt. Variable-
+  // Assignment ist quasi-kostenlos; kein Logging im Happy-Path.
+  LastPhase : string;
+  LastFile  : string;
 
   procedure LogLine(const S: string);
   begin
@@ -692,6 +697,8 @@ class procedure TStaticAnalyzer2.ParseLeaks(FileList: TStringList;
     // Best-effort: kein ConfigDir = kein Log, der Scan laeuft trotzdem.
   end;
   Parser := nil;
+  LastPhase := 'init';
+  LastFile  := '';
   // Eine gemeinsame try-finally klammer fuer LogStream UND Parser - so leakt
   // weder bei Parser-Create-OOM der LogStream noch umgekehrt.
   try
@@ -704,6 +711,12 @@ class procedure TStaticAnalyzer2.ParseLeaks(FileList: TStringList;
       LogStream := nil;
     end;
 
+    // Outer-Diagnose-Try: bei Exception VOR re-raise die letzte Phase + das
+    // aktuelle File ins Log schreiben. Sonst sieht der Caller-Outer-Handler
+    // nur "Analyseabbruch: <Message>" ohne Kontext.
+    try
+
+
     // AST-File-Cache: pro .pas einmal parsen, von beiden Pre-Indizes UND
     // dem Main-Loop wiederverwendet. Spart 2 von 3 Parser-Durchlaeufen pro
     // File (perf_analyse.md Hot-Spot 🅐).
@@ -731,6 +744,7 @@ class procedure TStaticAnalyzer2.ParseLeaks(FileList: TStringList;
     var IndexFiles: TStringList := IndexFileList;
     if IndexFiles = nil then IndexFiles := FileList;
 
+    LastPhase := 'Pre-Index: DfmRepoIndex.Build';
     gDfmRepoIndex := TDfmRepoIndex.Create;
     try
       gDfmRepoIndex.Build(IndexFiles);
@@ -744,20 +758,24 @@ class procedure TStaticAnalyzer2.ParseLeaks(FileList: TStringList;
     // hier dennoch aufgebaut weil andere Konsumenten (Tests, mORMot-Cross-
     // Check) ihn lesen; kann perspektivisch entfallen wenn keiner mehr
     // referenziert.
+    LastPhase := 'Pre-Index: SymbolRefIndex.Build';
     gSymbolRefIndex := TSymbolReferenceIndex.Create;
     try
       gSymbolRefIndex.Build(IndexFiles);
     except
       FreeAndNil(gSymbolRefIndex);
     end;
 
+    LastPhase := 'Parser.Create + Main-Loop start';
     Parser := TParser2.Create;
     Total  := FileList.Count;
     for i := 0 to Total - 1 do
     begin
       SafeProgress(i + 1, Total);
 
       FileName := FileList[i];
+      LastFile  := FileName;
+      LastPhase := Format('File %d/%d: pre-check', [i + 1, Total]);
 
       // Leerer Dateiname → ignorieren (defensiv)
       if Trim(FileName) = '' then
@@ -811,6 +829,7 @@ class procedure TStaticAnalyzer2.ParseLeaks(FileList: TStringList;
       // OwnsRoot=False wenn der Cache das Root besitzt (er freet es bei
       // Evict). True wenn lokal geparst -> nach AST-Verarbeitung selbst free.
       var OwnsRoot := False;
+      LastPhase := Format('File %d/%d: Parse/Acquire', [i + 1, Total]);
       try
         try
           // Cache-Pfad bevorzugen: Pre-Indizes haben das Root schon erzeugt.
@@ -891,6 +910,7 @@ class procedure TStaticAnalyzer2.ParseLeaks(FileList: TStringList;
         // Beide Gruppen respektieren LeakyClassExcludes. Die INI bleibt
         // unangetastet; der User entscheidet handisch welche Klasse er in
         // [Detectors] LeakyClasses uebernimmt.
+        LastPhase := Format('File %d/%d: AutoDiscovery', [i + 1, Total]);
         if AutoDiscoverCustomClasses then
         begin
           var Instantiable : TArray<string>;
@@ -922,9 +942,11 @@ class procedure TStaticAnalyzer2.ParseLeaks(FileList: TStringList;
         // Detektoren - so liegen sie im Output sortierbar zusammen.
         // No-op wenn TCustomRuleDetector.LoadFromYaml nicht aufgerufen
         // wurde (HasRules = False).
+        LastPhase := Format('File %d/%d: CustomRules', [i + 1, Total]);
         if TCustomRuleDetector.HasRules then
           TCustomRuleDetector.AnalyzeFile(FileName, Results);
 
+        LastPhase := Format('File %d/%d: RunAllDetectors', [i + 1, Total]);
         RunAllDetectors(Root, FileName, Results, AIncludeUsesCheck,
           procedure(const Name: string; ElapsedMs: Int64)
           var
@@ -968,16 +990,42 @@ class procedure TStaticAnalyzer2.ParseLeaks(FileList: TStringList;
             CaptResults.Add(F);
           end);
       finally
+        LastPhase := Format('File %d/%d: finally Root.Free/Evict', [i + 1, Total]);
         if OwnsRoot then
           Root.Free
         else if Assigned(gAstFileCache) then
           gAstFileCache.Evict(FileName);  // Memory-Peak bremsen
+        LastPhase := Format('File %d/%d: finally gFileTextCache.Clear', [i + 1, Total]);
         // Text-Cache fuer die abgearbeitete Datei freigeben - die File-Scan-
         // Detektoren haben sie konsumiert, niemand brauchts mehr.
         if Assigned(gFileTextCache) then
           gFileTextCache.Clear;
       end;
     end;
+    LastPhase := 'Main-Loop fertig, post-process';
+
+    // Outer-Diagnose-Try Schliessung: bei Exception VOR re-raise die letzte
+    // Phase + das aktuelle File ins Log schreiben. So sieht der Caller-Outer-
+    // Handler (AnalyzeLeaksRecursive etc.) statt nur "Analyseabbruch: <msg>"
+    // im scan.log einen klaren Trail "letzte Phase: ... aktuelles File: ...".
+    except
+      on EAbort do raise;
+      on E: Exception do
+      begin
+        LogLine('');
+        LogLine(Format('=== ABBRUCH: %s: %s ===',
+                       [E.ClassName, E.Message]));
+        LogLine(Format('=== letzte Phase: %s ===',  [LastPhase]));
+        if LastFile <> '' then
+          LogLine(Format('=== aktuelles File: %s ===', [LastFile]))
+        else
+          LogLine('=== aktuelles File: (n/a - Crash vor Main-Loop) ===');
+        // Re-raise damit der Caller-Outer-Handler sein "Analyseabbruch: ..."
+        // SARIF/UI-Finding wie bisher anlegt. Im scan.log steht jetzt der
+        // Kontext direkt vor dieser Meldung.
+        raise;
+      end;
+    end;
   finally
     // LogStream auch bei EAbort sauber schliessen, danach Parser.
     // Eine gemeinsame Klammer verhindert dass Parser-Create-OOM den LogStream