Keep only .mmd source for full diagram (no SVG)

Author: cristianoc

analysis/reanalyze/ARCHITECTURE.md

@@ -235,7 +235,7 @@ Files → file_data → decls, annotations, refs → live (fixpoint) → dead/li
 
 ![Reactive Pipeline](diagrams/reactive-pipeline.svg)
 
-This is a high-level view (~25 nodes). See also the [full detailed diagram](diagrams/reactive-pipeline-full.svg) with all 44 nodes (auto-generated via `-mermaid` flag).
+This is a high-level view (~25 nodes). See also the [full detailed diagram source](diagrams/reactive-pipeline-full.mmd) with all 44 nodes (auto-generated via `-mermaid` flag).
 
 Key stages:
 

analysis/reanalyze/diagrams/reactive-pipeline-full.svg

@@ -43,8 +43,7 @@ let create ~(decls : (Lexing.position, Decl.t) Reactive.t)
   in
 
   let type_decl_refs : (Lexing.position, PosSet.t) Reactive.t =
-    Reactive.join ~name:"decl_refs.type_decl_refs" type_refs_from
-      decls_by_file
+    Reactive.join ~name:"decl_refs.type_decl_refs" type_refs_from decls_by_file
       ~key_of:(fun posFrom _targets -> posFrom.Lexing.pos_fname)
       ~f:(fun posFrom targets decls_opt ->
         match decls_opt with

analysis/reanalyze/src/ReactiveDeclRefs.ml

@@ -44,8 +44,7 @@ let create ~(decls : (Lexing.position, Decl.t) Reactive.t)
 
   (* Step 2: Join exception_refs with exception_decls *)
   let resolved_refs =
-    Reactive.join ~name:"exc_refs.resolved_refs" exception_refs
-      exception_decls
+    Reactive.join ~name:"exc_refs.resolved_refs" exception_refs exception_decls
       ~key_of:(fun path _loc_from -> path)
       ~f:(fun _path loc_from loc_to_opt ->
         match loc_to_opt with

analysis/reanalyze/src/ReactiveExceptionRefs.ml

@@ -21,8 +21,8 @@ type t = {
 
 (** {1 Creation} *)
 
-let create (source : (string, DceFileProcessing.file_data option) Reactive.t)
-    : t =
+let create (source : (string, DceFileProcessing.file_data option) Reactive.t) :
+    t =
   (* Declarations: (pos, Decl.t) with last-write-wins *)
   let decls =
     Reactive.flatMap ~name:"decls" source

analysis/reanalyze/src/ReactiveMerge.ml

@@ -50,8 +50,7 @@ let decl_module_name (decl : Decl.t) : Name.t =
 
 let create ~(decls : (Lexing.position, Decl.t) Reactive.t)
     ~(live : (Lexing.position, unit) Reactive.t)
-    ~(annotations :
-       (Lexing.position, FileAnnotations.annotated_as) Reactive.t)
+    ~(annotations : (Lexing.position, FileAnnotations.annotated_as) Reactive.t)
     ~(value_refs_from : (Lexing.position, PosSet.t) Reactive.t option)
     ~(config : DceConfig.t) : t =
   (* dead_decls = decls where NOT in live (reactive join) *)

analysis/reanalyze/src/ReactiveSolver.ml

@@ -647,7 +647,9 @@ let cli () =
         "n Process files in parallel using n domains (0 = sequential, default; \
          -1 = auto-detect cores)" );
       ("-timing", Set Cli.timing, "Report internal timing of analysis phases");
-      ("-mermaid", Set Cli.mermaid, "Output Mermaid diagram of reactive pipeline");
+      ( "-mermaid",
+        Set Cli.mermaid,
+        "Output Mermaid diagram of reactive pipeline" );
       ( "-reactive",
         Set Cli.reactive,
         "Use reactive analysis (caches processed file_data, skips unchanged \