[Repo Assist] Fix code scanning alerts: interpolated string format specifiers and unsafe option access (#4421)

Co-authored-by: github-actions[bot] <github-actions[bot]@users.noreply.github.com>
Co-authored-by: Claude Sonnet 4.6 <noreply@anthropic.com>
Co-authored-by: Dag Brattli <dag@brattli.net>

Author: 3 people

src/Fable.Cli/CHANGELOG.md

@@ -9,6 +9,8 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ### Fixed
 
+* [All] Fix interpolated string holes missing format specifiers in State.fs and Python/Replacements.fs (code scanning alerts 1144, 1145, 1512)
+* [Rust] Replace unsafe `.IsSome && .Value` option pattern with `Option.exists` in Fable2Rust.fs (code scanning alert 1125)
 * [JS/TS] Fix `Unchecked.defaultof<char>` being emitted as `null` instead of `'\0'` (by @MangelMaxime)
 * [JS/TS] Fix `static val mutable` fields declared with `[<DefaultValue>]` not being zero-initialized (fix #2739) (by @MangelMaxime)
 * [JS/TS/Python] Fix record/struct types augmented with `static let` or `static member val` generating extra constructor parameters for each static field, causing constructor arguments to be assigned to wrong slots (by @MangelMaxime)

src/Fable.Compiler/CHANGELOG.md

@@ -9,6 +9,8 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ### Fixed
 
+* [All] Fix interpolated string holes missing format specifiers in State.fs and Python/Replacements.fs (code scanning alerts 1144, 1145, 1512)
+* [Rust] Replace unsafe `.IsSome && .Value` option pattern with `Option.exists` in Fable2Rust.fs (code scanning alert 1125)
 * [JS/TS] Fix `Unchecked.defaultof<char>` being emitted as `null` instead of `'\0'` (by @MangelMaxime)
 * [JS/TS] Fix `static val mutable` fields declared with `[<DefaultValue>]` not being zero-initialized (fix #2739) (by @MangelMaxime)
 * [JS/TS/Python] Fix record/struct types augmented with `static let` or `static member val` generating extra constructor parameters for each static field, causing constructor arguments to be assigned to wrong slots (by @MangelMaxime)

src/Fable.Transforms/Python/Replacements.fs

@@ -2497,7 +2497,7 @@ let intrinsicFunctions (com: ICompiler) (ctx: Context) r t (i: CallInfo) (thisAr
 
             Helper.ConstructorCall(constructor com ent, t, [], ?loc = r) |> Some
         | t ->
-            $"Cannot create instance of type unresolved at compile time: {t}"
+            $"Cannot create instance of type unresolved at compile time: %A{t}"
             |> addErrorAndReturnNull com ctx.InlinePath r
             |> Some
     // reference: https://msdn.microsoft.com/visualfsharpdocs/conceptual/operatorintrinsics.powdouble-function-%5bfsharp%5d

src/Fable.Transforms/Rust/Fable2Rust.fs

@@ -1641,7 +1641,7 @@ module Util =
             expr
         elif isInRefType com typ then
             expr
-        elif nameOpt.IsSome && isRefScoped ctx nameOpt.Value then
+        elif nameOpt |> Option.exists (isRefScoped ctx) then
             expr
         elif shouldBeRefCountWrapped com ctx typ |> Option.isSome then
             expr |> makeAsRef

src/Fable.Transforms/State.fs

@@ -47,7 +47,7 @@ type Assemblies(getPlugin, fsharpAssemblies: FSharpAssembly list, addLog: Severi
                                 // but keep the process going to mimic previous Fable behavior
                                 // and because these exception seems harmless
                                 let errorMessage =
-                                    $"Could not scan {path} for Fable plugins, skipping this assembly. Original error: {error.Message}"
+                                    $"Could not scan %s{path} for Fable plugins, skipping this assembly. Original error: %s{error.Message}"
 
                                 addLog Severity.Info errorMessage