From a12407b3f152a3dbd716d640202b9613c61d6105 Mon Sep 17 00:00:00 2001 From: polwex Date: Tue, 7 Oct 2025 01:40:54 +0700 Subject: lmao turned down the bytecode interpreter in Vere and it started giving the same results as us smh --- ocaml/lib/boot.ml | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'ocaml/lib/boot.ml') diff --git a/ocaml/lib/boot.ml b/ocaml/lib/boot.ml index 1aeafaf..26f2177 100644 --- a/ocaml/lib/boot.ml +++ b/ocaml/lib/boot.ml @@ -208,6 +208,7 @@ let life eve = let result = Nock.nock_on eve lifecycle_formula in Printf.printf "[Boot] ✓ Nock.nock_on returned successfully\n%!"; + Printf.printf "[Boot] Gate mug: 0x%08lx\n%!" (Noun.mug result); result with e -> Printf.printf "[Boot] ✗ Nock failed during lifecycle: %s\n%!" @@ -216,11 +217,14 @@ let life eve = in Printf.printf "[Boot] ✓ Lifecycle formula completed\n%!"; + Printf.printf "[Boot] (gate structure for comparison)\n%!"; (* Extract slot 7 (the kernel) from resulting gate *) let cor = try - Noun.slot (Z.of_int 7) gat + let result_slot7 = Noun.slot (Z.of_int 7) gat in + Printf.printf "[Boot] Slot 7 mug: 0x%08lx\n%!" (Noun.mug result_slot7); + result_slot7 with e -> Printf.printf "[Boot] ✗ Failed to extract slot 7: %s\n%!" (Printexc.to_string e); -- cgit v1.2.3