cleaned up tests

1 files changed, 0 insertions, 155 deletions

diff --git a/ocaml/test/debug_event4_slam.ml b/ocaml/test/debug_event4_slam.ml
deleted file mode 100644
index 3aa2150..0000000
--- a/ocaml/test/debug_event4_slam.ml
+++ /dev/null
@@ -1,155 +0,0 @@
-(* 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