diff options
author | polwex <polwex@sortug.com> | 2025-10-06 23:18:59 +0700 |
---|---|---|
committer | polwex <polwex@sortug.com> | 2025-10-06 23:18:59 +0700 |
commit | 5de3f7a3ad7b0cf63b4a6cbddfc1e26359dea161 (patch) | |
tree | b55b2258123149bed40bd89bbaa58e7da54f3a26 /ocaml/test/test_ivory_structure.ml | |
parent | fdab65f6dac4ba85ed4749f61970660d1132d453 (diff) |
cleaned up tests
Diffstat (limited to 'ocaml/test/test_ivory_structure.ml')
-rw-r--r-- | ocaml/test/test_ivory_structure.ml | 105 |
1 files changed, 0 insertions, 105 deletions
diff --git a/ocaml/test/test_ivory_structure.ml b/ocaml/test/test_ivory_structure.ml deleted file mode 100644 index 2ed76a9..0000000 --- a/ocaml/test/test_ivory_structure.ml +++ /dev/null @@ -1,105 +0,0 @@ -(* Examine Ivory Pill Structure *) - -open Nock_lib - -let test_ivory_structure env = - Printf.printf "🔍 Examining Ivory Pill Structure\n\n"; - - Eio.Switch.run @@ fun _sw -> - let fs = Eio.Stdenv.fs env in - - (* Load ivory pill *) - let file_path = Eio.Path.(fs / "ivory.pill") in - let pill_bytes = Eio.Path.load file_path |> Bytes.of_string in - - Printf.printf "Loading ivory pill (%d bytes)...\n" (Bytes.length pill_bytes); - let start = Unix.gettimeofday () in - let pill = Serial.cue pill_bytes in - let elapsed = Unix.gettimeofday () -. start in - - Printf.printf "Cued in %.2fs\n\n" elapsed; - - Printf.printf "Top-level structure:\n"; - if Noun.is_cell pill then begin - Printf.printf " ✓ Is cell\n"; - let head = Noun.head pill in - let tail = Noun.tail pill in - - Printf.printf "\nHead:\n"; - (match head with - | Noun.Atom z -> - Printf.printf " Atom: %s\n" (Z.to_string z); - Printf.printf " Hex: 0x%s\n" (Z.format "x" z); - Printf.printf " Bits: %d\n" (Z.numbits z); - - (* Try to decode as ASCII cord *) - if Z.numbits z <= 64 then begin - let bytes = Z.to_bits z in - Printf.printf " ASCII (reversed): "; - for i = 0 to String.length bytes - 1 do - let c = bytes.[i] in - if c >= ' ' && c <= '~' then - Printf.printf "%c" c - else - Printf.printf "\\x%02x" (Char.code c) - done; - Printf.printf "\n" - end; - - (* Check specific values *) - if Z.equal z (Z.of_string "129293697897") then - Printf.printf " ✓ This is 'ivory' tag!\n" - - | Noun.Cell _ -> - Printf.printf " Cell\n"); - - Printf.printf "\nTail (the ivory core):\n"; - Printf.printf " %s\n" (if Noun.is_cell tail then "Cell" else "Atom"); - - if Noun.is_cell tail then begin - Printf.printf " Head of tail: %s\n" - (if Noun.is_cell (Noun.head tail) then "Cell (battery?)" else "Atom"); - Printf.printf " Tail of tail: %s\n" - (if Noun.is_cell (Noun.tail tail) then "Cell (payload?)" else "Atom"); - - (* Test which slots exist on the core *) - Printf.printf "\nTesting slots 2-10 on ivory core:\n"; - for slot = 2 to 10 do - try - let value = Noun.slot (Z.of_int slot) tail in - Printf.printf " Slot %2d: exists (%s)\n" slot - (if Noun.is_cell value then "cell" else "atom") - with _ -> - Printf.printf " Slot %2d: does not exist\n" slot - done; - - (* Check if it's actually a gate [battery sample context] *) - Printf.printf "\nGate structure analysis:\n"; - if Noun.is_cell tail then begin - let battery = Noun.head tail in - let rest = Noun.tail tail in - Printf.printf " Battery (slot 2): %s\n" - (if Noun.is_cell battery then "Cell (contains formulas)" else "Atom"); - - if Noun.is_cell rest then begin - let sample = Noun.head rest in - let context = Noun.tail rest in - Printf.printf " Sample (slot 6): %s\n" - (if Noun.is_cell sample then "Cell" else "Atom"); - Printf.printf " Context (slot 7): %s\n" - (if Noun.is_cell context then "Cell" else "Atom") - end - end - end - - end else - Printf.printf " Atom (unexpected)\n" - -let () = - Printf.printf "\n"; - Printf.printf "═══════════════════════════════════════════════════════════\n"; - Printf.printf " Examining Ivory Pill Structure\n"; - Printf.printf "═══════════════════════════════════════════════════════════\n"; - Printf.printf "\n"; - - Eio_main.run test_ivory_structure |