very stuck

1 files changed, 155 insertions, 0 deletions

diff --git a/ocaml/test/debug_event4_slam.ml b/ocaml/test/debug_event4_slam.ml
new file mode 100644
index 0000000..3aa2150
--- /dev/null
+++ b/ocaml/test/debug_event4_slam.ml
@@ -0,0 +1,155 @@
+(* Debug exactly what happens when we slam Event 4 *)
+
+open Nock_lib
+
+let slam_on gate event =
+  Printf.printf "  Building slam...\n";
+  let battery = Noun.head gate in
+  Printf.printf "    Battery: %s\n" (match battery with Noun.Atom _ -> "atom" | Noun.Cell _ -> "cell");
+
+  let payload = Noun.tail gate in
+  Printf.printf "    Payload: %s\n" (match payload with Noun.Atom _ -> "atom" | Noun.Cell _ -> "cell");
+
+  let context = Noun.tail payload in
+  Printf.printf "    Context (slot 7): %s\n" (match context with Noun.Atom _ -> "atom" | Noun.Cell _ -> "cell");
+
+  let new_core = Noun.cell battery (Noun.cell event context) in
+  Printf.printf "    New core: built\n";
+
+  let kick_formula = Noun.cell (Noun.atom 9)
+    (Noun.cell (Noun.atom 2)
+      (Noun.cell (Noun.atom 0) (Noun.atom 1))) in
+  Printf.printf "    Kick formula: [9 2 0 1]\n";
+
+  Printf.printf "  Executing Nock...\n%!";
+  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 debug _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
+
+      (* Get Event 1 (initial kernel) *)
+      let kernel1 = List.nth event_list 1 in
+
+      (* Slam Event 3 to get kernel after Event 3 *)
+      let event3 = List.nth event_list 3 in
+
+      Printf.printf "\n=== SLAMMING EVENT 3 ===\n\n";
+      let poke_gate3 = Noun.slot (Z.of_int 23) kernel1 in
+      let now3 = Noun.atom 0 in
+      let poke_arg3 = Noun.cell now3 event3 in
+
+      let result3 = slam_on poke_gate3 poke_arg3 in
+
+      let kernel_after_3 = match result3 with
+        | Noun.Cell (_effects, new_kernel) ->
+            Printf.printf "✓ Event 3 succeeded\n\n";
+            new_kernel
+        | Noun.Atom _ ->
+            Printf.printf "✗ Event 3 returned atom\n";
+            kernel1
+      in
+
+      (* Now try Event 4 *)
+      let event4 = List.nth event_list 4 in
+
+      Printf.printf "=== SLAMMING EVENT 4 ===\n\n";
+
+      Printf.printf "Event 4 structure:\n";
+      begin match event4 with
+      | Noun.Cell (wire, card) ->
+          Printf.printf "  [wire card]\n";
+          Printf.printf "  Wire: %s\n" (match wire with Noun.Atom _ -> "atom" | Noun.Cell _ -> "cell");
+          begin match card with
+          | Noun.Cell (term, data) ->
+              Printf.printf "  Card: [term data]\n";
+              Printf.printf "    Term: %s\n" (match term with Noun.Atom _ -> "atom" | Noun.Cell _ -> "cell");
+              Printf.printf "    Data: %s\n\n" (match data with Noun.Atom _ -> "atom" | Noun.Cell _ -> "cell");
+          | _ -> ()
+          end
+      | _ -> Printf.printf "  Not [wire card]\n\n"
+      end;
+
+      Printf.printf "Kernel after Event 3:\n";
+      begin try
+        let _poke23 = Noun.slot (Z.of_int 23) kernel_after_3 in
+        Printf.printf "  ✓ Has slot 23\n"
+      with _ ->
+        Printf.printf "  ✗ No slot 23\n"
+      end;
+
+      begin try
+        let _poke42 = Noun.slot (Z.of_int 42) kernel_after_3 in
+        Printf.printf "  ✓ Has slot 42\n\n"
+      with _ ->
+        Printf.printf "  ✗ No slot 42\n\n"
+      end;
+
+      Printf.printf "Attempting Event 4 slam...\n";
+      begin try
+        let poke_gate4 = Noun.slot (Z.of_int 23) kernel_after_3 in
+        Printf.printf "  ✓ Found poke gate at slot 23\n";
+
+        let now4 = Noun.atom 0 in
+        let poke_arg4 = Noun.cell now4 event4 in
+        Printf.printf "  Poke arg: [now ovum]\n\n";
+
+        let result4 = slam_on poke_gate4 poke_arg4 in
+
+        begin match result4 with
+        | Noun.Cell (_effects, _new_kernel) ->
+            Printf.printf "\n🎉 EVENT 4 SUCCEEDED!\n"
+        | Noun.Atom _ ->
+            Printf.printf "\nResult is atom\n"
+        end
+
+      with
+      | Noun.Exit ->
+          Printf.printf "\n✗ Nock Exit - examining gate structure...\n\n";
+
+          (* Try to understand why it failed *)
+          begin try
+            let poke_gate4 = Noun.slot (Z.of_int 23) kernel_after_3 in
+            Printf.printf "Poke gate structure:\n";
+            begin match poke_gate4 with
+            | Noun.Cell (battery, payload) ->
+                Printf.printf "  Battery: %s\n" (match battery with Noun.Atom _ -> "atom" | Noun.Cell _ -> "cell");
+                begin match payload with
+                | Noun.Cell (sample, context) ->
+                    Printf.printf "  Payload: [sample context]\n";
+                    Printf.printf "    Sample: %s\n" (match sample with Noun.Atom _ -> "atom" | Noun.Cell _ -> "cell");
+                    Printf.printf "    Context: %s\n" (match context with Noun.Atom _ -> "atom" | Noun.Cell _ -> "cell")
+                | _ ->
+                    Printf.printf "  Payload: %s (not [sample context])\n"
+                      (match payload with Noun.Atom _ -> "atom" | Noun.Cell _ -> "cell")
+                end
+            | Noun.Atom _ ->
+                Printf.printf "  Poke gate is an atom!\n"
+            end
+          with e ->
+            Printf.printf "Error examining gate: %s\n" (Printexc.to_string e)
+          end
+
+      | e ->
+          Printf.printf "\n✗ Error: %s\n" (Printexc.to_string e)
+      end
+
+  | Noun.Atom _ ->
+      Printf.printf "Pill is atom\n"
+
+let () =
+  Printf.printf "\n═══════════════════════════════════════════\n";
+  Printf.printf " Debug Event 4 Slam\n";
+  Printf.printf "═══════════════════════════════════════════\n\n";
+  Eio_main.run debug