diff options
author | polwex <polwex@sortug.com> | 2025-10-07 01:40:54 +0700 |
---|---|---|
committer | polwex <polwex@sortug.com> | 2025-10-07 01:40:54 +0700 |
commit | a12407b3f152a3dbd716d640202b9613c61d6105 (patch) | |
tree | 411c630824b992d3a7f5e3d17c83a8546577bad7 /ocaml/lib/boot.ml | |
parent | d0064c2f577c56a9e5b3fc00b45f71a73f3574c9 (diff) |
lmao turned down the bytecode interpreter in Vere and it started giving the same results as us smh
Diffstat (limited to 'ocaml/lib/boot.ml')
-rw-r--r-- | ocaml/lib/boot.ml | 6 |
1 files changed, 5 insertions, 1 deletions
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); |