(* Boot using the CORRECT C Vere pattern: compute gates from formulas *)

open Nock_lib

let slam_on gate event =
  let battery = Noun.head gate in
  let context = Noun.tail (Noun.tail gate) in
  let new_core = Noun.cell battery (Noun.cell event context) in
  let kick_formula = Noun.cell (Noun.atom 9)
    (Noun.cell (Noun.atom 2)
      (Noun.cell (Noun.atom 0) (Noun.atom 1))) in
  Nock.nock_on new_core kick_formula

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

let boot _env =
  Printf.printf "🚀 Booting Arvo with CORRECT C Vere Pattern\n\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
      let kernel = ref (List.nth event_list 1) in

      Printf.printf "Initial kernel loaded\n\n";

      (* Process Events 3 and 4 *)
      List.iteri (fun i event ->
        if i >= 3 && i <= 4 then begin
          Printf.printf "═══ Event %d ═══\n" i;

          (* Step 1: Get formula at slot 23 *)
          Printf.printf "Step 1: Get formula at slot 23...\n";
          let slot_23_formula = Noun.slot (Z.of_int 23) !kernel in
          Printf.printf "  ✓ Got formula\n";

          (* Step 2: Compute poke gate by running formula *)
          Printf.printf "Step 2: Compute poke gate...\n";
          let start_compute = Unix.gettimeofday () in
          let poke_gate = Nock.nock_on !kernel slot_23_formula in
          let elapsed_compute = Unix.gettimeofday () -. start_compute in
          Printf.printf "  ✓ Computed in %.4fs\n" elapsed_compute;

          (* Step 3: Slam the computed gate *)
          Printf.printf "Step 3: Slam poke gate...\n";
          let now = Noun.atom 0 in
          let poke_arg = Noun.cell now event in

          let start_slam = Unix.gettimeofday () in
          begin try
            let result = slam_on poke_gate poke_arg in
            let elapsed_slam = Unix.gettimeofday () -. start_slam in

            Printf.printf "  ✓ Slam succeeded in %.4fs!\n" elapsed_slam;

            (* Parse result *)
            begin match result with
            | Noun.Cell (_effects, new_kernel) ->
                Printf.printf "  Result: [effects new-kernel]\n";
                kernel := new_kernel;
                Printf.printf "  ✓ Kernel updated\n\n"
            | Noun.Atom _ ->
                Printf.printf "  ✗ Result is atom\n\n"
            end

          with
          | Noun.Exit ->
              Printf.printf "  ✗ Slam failed (Nock Exit)\n\n"
          | e ->
              Printf.printf "  ✗ Error: %s\n\n" (Printexc.to_string e)
          end
        end
      ) event_list;

      (* Test final kernel *)
      Printf.printf "═══════════════════════════════════════\n";
      Printf.printf " Testing Final Kernel\n";
      Printf.printf "═══════════════════════════════════════\n\n";

      Printf.printf "Computing poke gate from slot 23...\n";
      begin try
        let slot_23_formula = Noun.slot (Z.of_int 23) !kernel in
        let poke_gate = Nock.nock_on !kernel slot_23_formula in
        Printf.printf "✓ Computed poke gate\n\n";

        Printf.printf "Testing with [0 [%%test 42]]...\n";
        let wire = Noun.atom 0 in
        let card = Noun.cell (Noun.atom 1953719668) (Noun.atom 42) in
        let ovum = Noun.cell wire card in
        let now = Noun.atom 0 in
        let poke_arg = Noun.cell now ovum in

        let result = slam_on poke_gate poke_arg in

        begin match result with
        | Noun.Cell _ ->
            Printf.printf "✓ Test poke succeeded!\n\n";
            Printf.printf "═══════════════════════════════════════\n";
            Printf.printf " 🎉 ARVO IS FULLY BOOTED! 🎉\n";
            Printf.printf "═══════════════════════════════════════\n\n";
            Printf.printf "Boot sequence complete:\n";
            Printf.printf "  1. Event 1: Initial kernel\n";
            Printf.printf "  2. Event 3: Boot initialization\n";
            Printf.printf "  3. Event 4: Final setup\n";
            Printf.printf "  4. Test poke: SUCCESS\n\n";
            Printf.printf "The kernel is ready to receive events!\n"
        | Noun.Atom _ ->
            Printf.printf "Result is atom\n"
        end

      with
      | Noun.Exit ->
          Printf.printf "✗ Test poke failed\n"
      | e ->
          Printf.printf "✗ Error: %s\n" (Printexc.to_string e)
      end

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

let () =
  Printf.printf "\n═══════════════════════════════════════\n";
  Printf.printf " Boot with Correct C Vere Pattern\n";
  Printf.printf "═══════════════════════════════════════\n\n";
  Eio_main.run boot