1 files changed, 136 insertions, 0 deletions
diff --git a/ocaml/test/test_boot_solid_events.ml b/ocaml/test/test_boot_solid_events.ml
new file mode 100644
index 0000000..41fd32c
--- /dev/null
+++ b/ocaml/test/test_boot_solid_events.ml
@@ -0,0 +1,136 @@
+(* Test processing solid pill boot events *)
+
+open Nock_lib
+
+let test_boot_events _env =
+  Printf.printf "🚀 Processing Solid Pill Boot Events\n\n";
+
+  (* Load cached solid pill *)
+  Printf.printf "Loading solid pill from cache...\n";
+  let in_channel = open_in_bin "solid.noun" in
+  let pill = (Marshal.from_channel in_channel : Noun.noun) in
+  close_in in_channel;
+  Printf.printf "✓ Loaded\n\n";
+
+  (* Extract events *)
+  match pill with
+  | Noun.Cell (_tag, events) ->
+      Printf.printf "Extracting boot events...\n";
+
+      (* Convert event list to array *)
+      let rec to_list acc noun =
+        match noun with
+        | Noun.Atom _ -> List.rev acc
+        | Noun.Cell (item, rest) -> to_list (item :: acc) rest
+      in
+
+      let event_list = to_list [] events in
+      Printf.printf "✓ Found %d events\n\n" (List.length event_list);
+
+      (* Process each event *)
+      Printf.printf "Processing events:\n\n";
+
+      let kernel = ref None in
+
+      List.iteri (fun i event ->
+        Printf.printf "Event %d:\n" i;
+
+        match event with
+        | Noun.Atom a ->
+            Printf.printf "  Type: Atom (%s)\n" (Z.to_string a);
+            Printf.printf "  (Skipping atom event)\n\n"
+
+        | Noun.Cell (wire, card) ->
+            Printf.printf "  Type: Cell [wire card]\n";
+            Printf.printf "  Wire: %s\n"
+              (match wire with Noun.Atom _ -> "atom" | Noun.Cell _ -> "cell");
+            Printf.printf "  Card: %s\n"
+              (match card with Noun.Atom _ -> "atom" | Noun.Cell _ -> "cell");
+
+            (* For the first event, card is the initial kernel *)
+            if i = 1 then begin
+              Printf.printf "  → Setting as initial kernel\n";
+              kernel := Some card
+            end
+            (* For subsequent events, we need to poke the kernel *)
+            else if i > 1 then begin
+              match !kernel with
+              | None ->
+                  Printf.printf "  ✗ No kernel to poke yet\n"
+
+              | Some k ->
+                  Printf.printf "  → Poking kernel with event\n";
+
+                  try
+                    (* Try to find poke gate at slot 23 *)
+                    let gate = Noun.slot (Z.of_int 23) k in
+                    Printf.printf "     Found gate at slot 23\n";
+
+                    (* Build subject: [event gate] *)
+                    let subject = Noun.cell event gate in
+
+                    (* Call gate: [9 2 [0 2] [0 3]] *)
+                    let formula = Noun.cell
+                      (Noun.atom 9)
+                      (Noun.cell
+                        (Noun.atom 2)
+                        (Noun.cell
+                          (Noun.cell (Noun.atom 0) (Noun.atom 2))
+                          (Noun.cell (Noun.atom 0) (Noun.atom 3))))
+                    in
+
+                    Printf.printf "     Executing nock...\n%!";
+                    let start = Unix.gettimeofday () in
+                    let result = Nock.nock_on subject formula in
+                    let elapsed = Unix.gettimeofday () -. start in
+                    Printf.printf "     ✓ Completed in %.3fs\n" elapsed;
+
+                    (* Result should be [effects new-kernel] *)
+                    begin match result with
+                    | Noun.Cell (_effects, new_kernel) ->
+                        Printf.printf "     Result: [effects new_kernel]\n";
+                        kernel := Some new_kernel
+
+                    | Noun.Atom _ ->
+                        Printf.printf "     Result: atom (unexpected)\n"
+                    end
+
+                  with
+                  | Noun.Exit ->
+                      Printf.printf "     ✗ Nock failed (Exit)\n"
+                  | Not_found ->
+                      Printf.printf "     ✗ No gate at slot 23\n"
+            end;
+
+            Printf.printf "\n"
+      ) event_list;
+
+      (* Check final kernel *)
+      begin match !kernel with
+      | None ->
+          Printf.printf "✗ No final kernel\n"
+
+      | Some k ->
+          Printf.printf "🎉 Final Arvo kernel ready!\n\n";
+
+          (* Check for poke interface *)
+          begin try
+            let _gate = Noun.slot (Z.of_int 23) k in
+            Printf.printf "✓ Kernel has poke gate at slot 23\n";
+            Printf.printf "\n🚀 ARVO IS READY TO USE!\n"
+          with _ ->
+            Printf.printf "✗ No poke gate in final kernel\n"
+          end
+      end
+
+  | Noun.Atom _ ->
+      Printf.printf "✗ Pill is an atom\n"
+
+let () =
+  Printf.printf "\n";
+  Printf.printf "═══════════════════════════════════════════════════════════\n";
+  Printf.printf " Boot Solid Pill Events\n";
+  Printf.printf "═══════════════════════════════════════════════════════════\n";
+  Printf.printf "\n";
+
+  Eio_main.run test_boot_events