(* Inspect the structure of boot events *)

open Nock_lib

let rec inspect_noun prefix noun depth =
  let indent = String.make (depth * 2) ' ' in
  match noun with
  | Noun.Atom a ->
      if Z.numbits a <= 32 then
        Printf.printf "%s%sAtom: %s (0x%s)\n" indent prefix
          (Z.to_string a) (Z.format "x" a)
      else
        Printf.printf "%s%sAtom: large (%d bits)\n" indent prefix (Z.numbits a)
  | Noun.Cell (h, t) ->
      Printf.printf "%s%sCell:\n" indent prefix;
      inspect_noun "head: " h (depth + 1);
      inspect_noun "tail: " t (depth + 1)

let rec to_list acc noun =
  match noun with
  | Noun.Atom _ -> List.rev acc
  | Noun.Cell (item, rest) -> to_list (item :: acc) rest

let inspect_events _env =
  Printf.printf "Loading solid pill...\n";
  let in_channel = open_in_bin "solid.noun" in
  let pill = (Marshal.from_channel in_channel : Noun.noun) in
  close_in in_channel;

  match pill with
  | Noun.Cell (_tag, events) ->
      let event_list = to_list [] events in
      Printf.printf "Found %d events\n\n" (List.length event_list);

      List.iteri (fun i event ->
        Printf.printf "═════ EVENT %d ═════\n" i;
        inspect_noun "" event 0;
        Printf.printf "\n"
      ) event_list

  | Noun.Atom _ ->
      Printf.printf "✗ Pill is an atom\n"

let () =
  Printf.printf "\n═══════════════════════════════════════════\n";
  Printf.printf " Inspect Boot Events Structure\n";
  Printf.printf "═══════════════════════════════════════════\n\n";
  Eio_main.run inspect_events