Merge pull request #17816 from MinaProtocol/cjjdespres/full-fork-config

Add an initial method to generate a full reference hard fork config for testing

Author: cjjdespres

src/app/cli/src/init/client.ml

@@ -2289,6 +2289,30 @@ let thread_graph =
                   (humanize_graphql_error ~graphql_endpoint e) ) ;
              exit 1 ) )
 
+let generate_hardfork_config =
+  let open Command.Param in
+  let hardfork_config_dir_flag =
+    flag "--hardfork-config-dir"
+      ~doc:
+        "DIR Directory to generate hardfork configuration, relative to the \
+         daemon working directory"
+      (required string)
+  in
+  Command.async ~summary:"Generate reference hardfork configuration"
+    (Cli_lib.Background_daemon.rpc_init hardfork_config_dir_flag
+       ~f:(fun port directory_name ->
+         match%bind
+           Daemon_rpcs.Client.dispatch_join_errors
+             Daemon_rpcs.Generate_hardfork_config.rpc directory_name port
+         with
+         | Ok () ->
+             printf "Hardfork configuration successfully generated\n" ;
+             exit 0
+         | Error e ->
+             eprintf "Failed to generate hard fork config: %s\n"
+               (Error.to_string_hum e) ;
+             exit 1 ) )
+
 let signature_kind =
   Command.basic
     ~summary:"Print the signature kind that this binary is compiled with"
@@ -2533,6 +2557,7 @@ let advanced ~itn_features =
     ; ("vrf", Cli_lib.Commands.Vrf.command_group)
     ; ("thread-graph", thread_graph)
     ; ("print-signature-kind", signature_kind)
+    ; ("generate-hardfork-config", generate_hardfork_config)
     ; ( "test"
       , Command.group ~summary:"Testing-only commands"
           [ ("create-genesis", test_genesis_creation) ] )

src/app/cli/src/init/mina_run.ml

@@ -369,6 +369,10 @@ let setup_local_server ?(client_trustlist = []) ?rest_server_port
     ; implement Daemon_rpcs.Get_object_lifetime_statistics.rpc (fun () () ->
           return
             (Yojson.Safe.pretty_to_string @@ Allocation_functor.Table.dump ()) )
+    ; implement Daemon_rpcs.Generate_hardfork_config.rpc
+        (fun () directory_name ->
+          Mina_lib.Hardfork_config.dump_reference_config
+            ~breadcrumb_spec:`Stop_slot ~directory_name mina )
     ; implement Daemon_rpcs.Submit_internal_log.rpc
         (fun () { timestamp; message; metadata; process } ->
           let metadata =

src/lib/daemon_rpcs/daemon_rpcs.ml

@@ -346,3 +346,13 @@ module Get_object_lifetime_statistics = struct
     Rpc.Rpc.create ~name:"Get_object_lifetime_statistics" ~version:0 ~bin_query
       ~bin_response
 end
+
+module Generate_hardfork_config = struct
+  type query = string [@@deriving bin_io_unversioned]
+
+  type response = unit Or_error.t [@@deriving bin_io_unversioned]
+
+  let rpc : (query, response) Rpc.Rpc.t =
+    Rpc.Rpc.create ~name:"Generate_hardfork_config" ~version:0 ~bin_query
+      ~bin_response
+end

src/lib/mina_graphql/mina_graphql.ml

@@ -2612,17 +2612,25 @@ module Queries = struct
               Deferred.Or_error.error_string
                 "Cannot specify both state hash and height"
         in
-        let%bind { staged_ledger
+        let%bind { source_ledgers
                  ; global_slot_since_genesis
                  ; state_hash
-                 ; staking_ledger
                  ; staking_epoch_seed
-                 ; next_epoch_ledger
                  ; next_epoch_seed
                  ; blockchain_length
+                 ; block_timestamp = _
                  } =
           Mina_lib.Hardfork_config.prepare_inputs ~breadcrumb_spec mina
         in
+        let staged_ledger = source_ledgers.staged_ledger in
+        let staking_ledger =
+          Mina_lib.Hardfork_config.genesis_source_ledger_cast
+            source_ledgers.staking_ledger
+        in
+        let next_epoch_ledger =
+          Mina_lib.Hardfork_config.genesis_source_ledger_cast
+            source_ledgers.next_epoch_ledger
+        in
         let%bind new_config =
           Runtime_config.make_fork_config ~staged_ledger
             ~global_slot_since_genesis ~state_hash ~staking_ledger

src/lib/mina_ledger/root.mli

@@ -147,7 +147,9 @@ module Make
       backed by that checkpoint. *)
   val create_checkpoint_with_directory : t -> directory_name:string -> t
 
-  (** Convert a root backed by a [Config.Stable_db] to *)
+  (** Convert a root backed by a [Config.Stable_db] to one backed by a
+      [Config.Converting_db] by gradually migrating the stable database. Does
+      nothing if the backing is already [Config.Converting_db]. *)
   val make_converting : t -> t Async.Deferred.t
 
   (** View the root ledger as an unmasked [Any_ledger] so it can be used by code