cleaned up tests

1 files changed, 0 insertions, 116 deletions

diff --git a/ocaml/test/test_arvo_structure.ml b/ocaml/test/test_arvo_structure.ml
deleted file mode 100644
index cbd9f65..0000000
--- a/ocaml/test/test_arvo_structure.ml
+++ /dev/null
@@ -1,116 +0,0 @@
-(* Examine Arvo Kernel Structure
- *
- * Load the ivory pill and inspect the kernel to understand:
- * - Is it a gate (cell)?
- * - Where is the battery?
- * - What's the structure?
- *)
-
-open Nock_lib
-
-let rec describe_noun_structure noun depth =
-  if depth > 5 then
-    "..."
-  else
-    match noun with
-    | Noun.Atom z ->
-        if Z.numbits z > 64 then
-          Printf.sprintf "Atom(huge: %d bits)" (Z.numbits z)
-        else
-          Printf.sprintf "Atom(%s)" (Z.to_string z)
-    | Noun.Cell (a, b) ->
-        Printf.sprintf "Cell(\n%s%s,\n%s%s)"
-          (String.make (depth * 2) ' ')
-          (describe_noun_structure a (depth + 1))
-          (String.make (depth * 2) ' ')
-          (describe_noun_structure b (depth + 1))
-
-let test_arvo_structure env =
-  Printf.printf "🔍 Examining Arvo Kernel Structure\n\n";
-
-  Eio.Switch.run @@ fun _sw ->
-  let fs = Eio.Stdenv.fs env in
-
-  (* Load ivory pill *)
-  Printf.printf "Loading ivory pill...\n%!";
-  let state = State.create () in
-
-  match Boot.boot_from_file ~fs state "ivory.pill" with
-  | Error msg ->
-      Printf.printf "✗ Failed to load pill: %s\n%!" msg
-  | Ok () ->
-      Printf.printf "✓ Pill loaded!\n\n";
-
-      let kernel = State.get_arvo state in
-
-      (* Check if it's a cell *)
-      Printf.printf "Kernel structure:\n";
-      if Noun.is_cell kernel then begin
-        Printf.printf "  ✓ Kernel is a CELL (likely a gate!)\n\n";
-
-        let head = Noun.head kernel in
-        let tail = Noun.tail kernel in
-
-        Printf.printf "Head (slot 2 - battery?):\n";
-        if Noun.is_cell head then
-          Printf.printf "  Cell (battery with multiple arms)\n"
-        else
-          (match head with
-           | Noun.Atom z -> Printf.printf "  Atom: %s\n" (Z.to_string z)
-           | _ -> ());
-
-        Printf.printf "\nTail (slot 3 - sample + context?):\n";
-        if Noun.is_cell tail then begin
-          Printf.printf "  Cell (has sample and context)\n";
-          let sample = Noun.head tail in
-          let context = Noun.tail tail in
-
-          Printf.printf "\n  Sample (slot 6):\n";
-          Printf.printf "    %s\n" (describe_noun_structure sample 2);
-
-          Printf.printf "\n  Context (slot 7):\n";
-          if Noun.is_atom context then
-            (match context with
-             | Noun.Atom z -> Printf.printf "    Atom: %s\n" (Z.to_string z)
-             | _ -> ())
-          else
-            Printf.printf "    Cell (nested context)\n"
-        end else
-          (match tail with
-           | Noun.Atom z -> Printf.printf "  Atom: %s\n" (Z.to_string z)
-           | _ -> ());
-
-        (* Test: Try to call arm 2 with current sample *)
-        Printf.printf "\n🧪 Testing gate call with opcode 9...\n";
-        Printf.printf "Formula: [9 2 0 1] (call arm 2 of whole subject)\n\n";
-
-        try
-          let formula = Noun.cell
-            (Noun.atom 9)
-            (Noun.cell (Noun.atom 2) (Noun.cell (Noun.atom 0) (Noun.atom 1))) in
-
-          let start = Unix.gettimeofday () in
-          let _result = Nock.nock_on kernel formula in
-          let elapsed = Unix.gettimeofday () -. start in
-
-          Printf.printf "✓ Gate call succeeded in %.4f seconds!\n" elapsed;
-          Printf.printf "This proves Arvo is a proper gate!\n\n"
-        with e ->
-          Printf.printf "✗ Gate call failed: %s\n" (Printexc.to_string e);
-          Printf.printf "Kernel might not be a standard gate structure\n\n"
-
-      end else begin
-        (match kernel with
-         | Noun.Atom z -> Printf.printf "  Kernel is an ATOM: %s\n" (Z.to_string z)
-         | _ -> ());
-        Printf.printf "  This is unexpected - Arvo should be a gate (cell)\n"
-      end
-
-let () =
-  Printf.printf "\n";
-  Printf.printf "═══════════════════════════════════════════════════════════\n";
-  Printf.printf " Examining Arvo Kernel Structure from Ivory Pill\n";
-  Printf.printf "═══════════════════════════════════════════════════════════\n";
-  Printf.printf "\n";
-
-  Eio_main.run test_arvo_structure