Wire up numNodes config setting to mission CoreSet creation

src/App/Program.fs

@@ -137,7 +137,7 @@ type MissionOptions
     [<Option('k', "kubeconfig", HelpText = "Kubernetes config file", Required = false, Default = "~/.kube/config")>]
     member self.KubeConfig = kubeConfig
 
-    [<Option('n', "num-nodes", HelpText = "Number of nodes in config", Required = false, Default = 5)>]
+    [<Option('n', "num-nodes", HelpText = "Number of nodes in config", Required = false, Default = 3)>]
     member self.NumNodes = numNodes
 
     [<Option("debug", HelpText = "Log-partitions to set to 'debug' level")>]

src/FSLibrary/MissionBootAndSync.fs

@@ -11,7 +11,11 @@ open StellarFormation
 open StellarStatefulSets
 
 let bootAndSync (context: MissionContext) =
-    let coreSet = MakeLiveCoreSet "core" (CoreSetOptions.GetDefault context.image)
+    let coreSet =
+        MakeLiveCoreSet
+            "core"
+            { CoreSetOptions.GetDefault context.image with
+                  nodeCount = context.numNodes }
 
     context.Execute
         [ coreSet ]

src/FSLibrary/MissionDatabaseInplaceUpgrade.fs

@@ -24,7 +24,11 @@ let databaseInplaceUpgrade (context: MissionContext) =
     let quorumSet = CoreSetQuorum(CoreSetName("core"))
 
     let coreSet =
-        MakeLiveCoreSet "core" { CoreSetOptions.GetDefault newImage with quorumSet = quorumSet }
+        MakeLiveCoreSet
+            "core"
+            { CoreSetOptions.GetDefault newImage with
+                  nodeCount = context.numNodes
+                  quorumSet = quorumSet }
 
     let beforeUpgradeCoreSet =
         MakeLiveCoreSet

src/FSLibrary/MissionLoadGeneration.fs

@@ -16,6 +16,7 @@ let loadGeneration (context: MissionContext) =
         MakeLiveCoreSet
             "core"
             { CoreSetOptions.GetDefault context.image with
+                  nodeCount = context.numNodes
                   invariantChecks = AllInvariantsExceptEvents
                   dumpDatabase = false }
 

src/FSLibrary/MissionLoadGenerationWithSpikes.fs

@@ -16,6 +16,7 @@ let loadGenerationWithSpikes (context: MissionContext) =
         MakeLiveCoreSet
             "core"
             { CoreSetOptions.GetDefault context.image with
+                  nodeCount = context.numNodes
                   invariantChecks = AllInvariantsExceptEvents
                   dumpDatabase = false }
 

src/FSLibrary/MissionLoadGenerationWithTxSetLimit.fs

@@ -16,6 +16,7 @@ let loadGenerationWithTxSetLimit (context: MissionContext) =
         MakeLiveCoreSet
             "core"
             { CoreSetOptions.GetDefault context.image with
+                  nodeCount = context.numNodes
                   invariantChecks = AllInvariantsExceptEvents
                   dumpDatabase = false
                   updateSorobanCosts = Some(true) }

src/FSLibrary/MissionProtocolUpgradeWithLoad.fs

@@ -17,6 +17,7 @@ let protocolUpgradeWithLoad (context: MissionContext) =
         MakeLiveCoreSet
             "core"
             { CoreSetOptions.GetDefault context.image with
+                  nodeCount = context.numNodes
                   invariantChecks = AllInvariantsExceptEvents
                   dumpDatabase = false
                   updateSorobanCosts = Some(true)

src/FSLibrary/MissionSimplePayment.fs

@@ -12,7 +12,11 @@ open StellarFormation
 open StellarStatefulSets
 
 let simplePayment (context: MissionContext) =
-    let coreSet = MakeLiveCoreSet "core" (CoreSetOptions.GetDefault context.image)
+    let coreSet =
+        MakeLiveCoreSet
+            "core"
+            { CoreSetOptions.GetDefault context.image with
+                  nodeCount = context.numNodes }
 
     context.Execute
         [ coreSet ]

src/FSLibrary/MissionSorobanInvokeHostLoad.fs

@@ -16,6 +16,7 @@ let sorobanInvokeHostLoad (context: MissionContext) =
         MakeLiveCoreSet
             "core"
             { CoreSetOptions.GetDefault context.image with
+                  nodeCount = context.numNodes
                   invariantChecks = AllInvariantsExceptEvents
                   emptyDirType = DiskBackedEmptyDir
                   updateSorobanCosts = Some(true) }

src/FSLibrary/MissionSorobanLoadGeneration.fs

@@ -19,6 +19,7 @@ let sorobanLoadGeneration (context: MissionContext) =
         MakeLiveCoreSet
             "core"
             { CoreSetOptions.GetDefault context.image with
+                  nodeCount = context.numNodes
                   invariantChecks = AllInvariantsExceptEvents
                   dumpDatabase = false }
 

src/FSLibrary/MissionUpgradeTxClusters.fs

@@ -19,6 +19,7 @@ let upgradeTxClusters (context: MissionContext) =
         MakeLiveCoreSet
             "core"
             { CoreSetOptions.GetDefault context.image with
+                  nodeCount = context.numNodes
                   invariantChecks = AllInvariantsExceptEvents
                   emptyDirType = DiskBackedEmptyDir
                   updateSorobanCosts = Some(true) }

src/FSLibrary/MissionValidatorSetup.fs

@@ -20,6 +20,7 @@ open StellarCoreHTTP
 let validatorSetup (context: MissionContext) =
     let opts =
         { CoreSetOptions.GetDefault context.image with
+              nodeCount = context.numNodes
               dbType = Postgres
               // Use disk-backed storage like production validators
               emptyDirType = DiskBackedEmptyDir