diff options
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); |