so so good

1 files changed, 14 insertions, 3 deletions

diff --git a/ocaml/test/test_two_stage_boot.ml b/ocaml/test/test_two_stage_boot.ml
index da4f17b..62d262d 100644
--- a/ocaml/test/test_two_stage_boot.ml
+++ b/ocaml/test/test_two_stage_boot.ml
@@ -86,14 +86,25 @@ let stage1_ivory_boot env =
               (if Noun.is_cell poke_battery then "cell ✓" else "atom ✗")
           end;
 
+          (* Compute mugs of small sub-structures for verification *)
+          Printf.printf "    Computing mugs of sub-structures:\n";
+          let slot2_mug = Noun.mug slot2 in
+          let slot3_mug = Noun.mug slot3 in
+          let poke_mug = Noun.mug poke in
+          Printf.printf "      Slot 2 mug: 0x%lx\n" slot2_mug;
+          Printf.printf "      Slot 3 mug: 0x%lx\n" slot3_mug;
+          Printf.printf "      Poke mug: 0x%lx\n" poke_mug;
+
           Printf.printf "\n";
           Printf.printf "╔═══════════════════════════════════════╗\n";
           Printf.printf "║  ✓ STAGE 1 COMPLETE!                  ║\n";
           Printf.printf "╚═══════════════════════════════════════╝\n\n";
 
-          Printf.printf "⚠️  NOTE: Structural checks passed, but cannot verify\n";
-          Printf.printf "    kernels are identical without mug comparison.\n";
-          Printf.printf "    Need to implement mug caching first!\n\n";
+          Printf.printf "⚠️  To verify correctness, compare these mugs with C:\n";
+          Printf.printf "    Run the C test and check if mugs match!\n\n";
+
+          (* Print cache stats *)
+          Noun.MugCache.stats ();
 
           Some kernel