blob: cbd9f655a8e912250c9f280f3f5f5c7779487cad (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
|
(* Examine Arvo Kernel Structure
*
* Load the ivory pill and inspect the kernel to understand:
* - Is it a gate (cell)?
* - Where is the battery?
* - What's the structure?
*)
open Nock_lib
let rec describe_noun_structure noun depth =
if depth > 5 then
"..."
else
match noun with
| Noun.Atom z ->
if Z.numbits z > 64 then
Printf.sprintf "Atom(huge: %d bits)" (Z.numbits z)
else
Printf.sprintf "Atom(%s)" (Z.to_string z)
| Noun.Cell (a, b) ->
Printf.sprintf "Cell(\n%s%s,\n%s%s)"
(String.make (depth * 2) ' ')
(describe_noun_structure a (depth + 1))
(String.make (depth * 2) ' ')
(describe_noun_structure b (depth + 1))
let test_arvo_structure env =
Printf.printf "๐ Examining Arvo Kernel Structure\n\n";
Eio.Switch.run @@ fun _sw ->
let fs = Eio.Stdenv.fs env in
(* Load ivory pill *)
Printf.printf "Loading ivory pill...\n%!";
let state = State.create () in
match Boot.boot_from_file ~fs state "ivory.pill" with
| Error msg ->
Printf.printf "โ Failed to load pill: %s\n%!" msg
| Ok () ->
Printf.printf "โ Pill loaded!\n\n";
let kernel = State.get_arvo state in
(* Check if it's a cell *)
Printf.printf "Kernel structure:\n";
if Noun.is_cell kernel then begin
Printf.printf " โ Kernel is a CELL (likely a gate!)\n\n";
let head = Noun.head kernel in
let tail = Noun.tail kernel in
Printf.printf "Head (slot 2 - battery?):\n";
if Noun.is_cell head then
Printf.printf " Cell (battery with multiple arms)\n"
else
(match head with
| Noun.Atom z -> Printf.printf " Atom: %s\n" (Z.to_string z)
| _ -> ());
Printf.printf "\nTail (slot 3 - sample + context?):\n";
if Noun.is_cell tail then begin
Printf.printf " Cell (has sample and context)\n";
let sample = Noun.head tail in
let context = Noun.tail tail in
Printf.printf "\n Sample (slot 6):\n";
Printf.printf " %s\n" (describe_noun_structure sample 2);
Printf.printf "\n Context (slot 7):\n";
if Noun.is_atom context then
(match context with
| Noun.Atom z -> Printf.printf " Atom: %s\n" (Z.to_string z)
| _ -> ())
else
Printf.printf " Cell (nested context)\n"
end else
(match tail with
| Noun.Atom z -> Printf.printf " Atom: %s\n" (Z.to_string z)
| _ -> ());
(* Test: Try to call arm 2 with current sample *)
Printf.printf "\n๐งช Testing gate call with opcode 9...\n";
Printf.printf "Formula: [9 2 0 1] (call arm 2 of whole subject)\n\n";
try
let formula = Noun.cell
(Noun.atom 9)
(Noun.cell (Noun.atom 2) (Noun.cell (Noun.atom 0) (Noun.atom 1))) in
let start = Unix.gettimeofday () in
let _result = Nock.nock_on kernel formula in
let elapsed = Unix.gettimeofday () -. start in
Printf.printf "โ Gate call succeeded in %.4f seconds!\n" elapsed;
Printf.printf "This proves Arvo is a proper gate!\n\n"
with e ->
Printf.printf "โ Gate call failed: %s\n" (Printexc.to_string e);
Printf.printf "Kernel might not be a standard gate structure\n\n"
end else begin
(match kernel with
| Noun.Atom z -> Printf.printf " Kernel is an ATOM: %s\n" (Z.to_string z)
| _ -> ());
Printf.printf " This is unexpected - Arvo should be a gate (cell)\n"
end
let () =
Printf.printf "\n";
Printf.printf "โโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโ\n";
Printf.printf " Examining Arvo Kernel Structure from Ivory Pill\n";
Printf.printf "โโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโโ\n";
Printf.printf "\n";
Eio_main.run test_arvo_structure
|
