open Nock_lib

let digest noun =
  (* Use jam to mirror Vere's hashing pathway and avoid quadratic marshaling. *)
  Serial.jam noun
  |> Bytes.unsafe_to_string
  |> Digest.string
  |> Digest.to_hex

let ensure_debug_logging () =
  match Sys.getenv_opt "NEOVERE_BOOT_DEBUG" with
  | Some _ -> ()
  | None -> Unix.putenv "NEOVERE_BOOT_DEBUG" "1"

let file_size path =
  let ic = open_in_bin path in
  let len = in_channel_length ic in
  close_in ic;
  len

let run_ivory path =
  ensure_debug_logging ();
  Printf.printf "[boot_pill] ivory path=%s\n%!" path;
  (try
     let size = file_size path in
     Printf.printf "[boot_pill] pill size=%d bytes\n%!" size
   with Sys_error msg ->
     Printf.printf "[boot_pill] warning: %s\n%!" msg);
  let state = State.create () in
  let start = Sys.time () in
  match Boot.boot_ivory state path with
  | Error err ->
      let msg = match err with
        | Boot.Invalid_pill s
        | Boot.Unsupported s -> s
      in
      Printf.printf "boot_ivory error: %s\n%!" msg
  | Ok () ->
      let elapsed = Sys.time () -. start in
      Printf.printf "[boot_pill] boot complete in %.3fs\n%!" elapsed;
      let core = State.arvo_core state in
      Printf.printf "[boot_pill] computing digest...\n%!";
      let dig = digest core in
      Printf.printf "[boot_pill] digest ready\n%!";
      Printf.printf "ivory core digest=%s\n%!" dig

let () =
  if Array.length Sys.argv < 2 then begin
    prerr_endline "usage: boot_pill path";
    exit 1
  end;
  let path = Sys.argv.(1) in
  let start = Sys.time () in
  run_ivory path;
  Printf.printf "elapsed=%.2fs\n%!" (Sys.time () -. start)