blob: 1ec9f1b1b6bcab60ad0a8b86bde8de867bcf3251 (
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
117
|
open Nock_lib
let rec find_project_root dir =
let pills_dir = Filename.concat dir "pills" in
if Sys.file_exists pills_dir && Sys.is_directory pills_dir then dir
else
let parent = Filename.dirname dir in
if String.equal parent dir then failwith "unable to locate project root containing pills/"
else find_project_root parent
let project_root =
match Sys.getenv_opt "NEOVERE_ROOT" with
| Some root -> root
| None ->
let exe_dir = Filename.dirname Sys.executable_name in
find_project_root exe_dir
(* Count noun list length *)
let rec count_list = function
| Noun.Atom z when Z.equal z Z.zero -> 0
| Noun.Cell (_, t) -> 1 + count_list t
| _ -> 0
let () =
Printf.printf "\n╔═══════════════════════════════════════════════════════╗\n";
Printf.printf "║ Poke & Effects Test ║\n";
Printf.printf "╚═══════════════════════════════════════════════════════╝\n\n";
let pier_path = Filename.concat project_root "test-pier-poke" in
if Sys.file_exists pier_path then begin
let _ = Sys.command (Printf.sprintf "rm -rf '%s'" pier_path) in ()
end;
Unix.mkdir pier_path 0o755;
Printf.printf "[1] Booting ship...\n%!";
let state = State.create ~pier_path () in
(* Boot ivory + solid *)
let ivory_path = Filename.concat project_root "pills/ivory.pill" in
let solid_path = Filename.concat project_root "pills/solid.pill" in
begin match Boot.boot_ivory state ivory_path with
| Error _ -> Printf.printf "Ivory boot failed\n"; exit 1
| Ok () -> Printf.printf "✓ Ivory loaded\n%!"
end;
begin match Boot.boot_solid_lifecycle state solid_path with
| Error _ -> Printf.printf "Solid boot failed\n"; exit 1
| Ok () -> Printf.printf "✓ Solid loaded (events: %Ld)\n\n%!" (State.event_number state)
end;
Printf.printf "[2] Testing poke performance...\n\n%!";
(* Create a simple test event *)
let now = Noun.atom (Z.shift_left (Z.of_string "0x8000000cce9e0d80") 64) in
let wire = Noun.cell
(Noun.atom (Z.of_int (Char.code 'd')))
(Noun.cell (Noun.atom_of_string "term")
(Noun.cell (Noun.atom (Z.of_int 1)) (Noun.atom Z.zero)))
in
let belt = Noun.atom_of_string "ret" in
let card = Noun.cell (Noun.atom_of_string "belt") belt in
let ovum = Noun.cell wire card in
let event = Noun.cell now ovum in
(* Benchmark poke *)
let iterations = 100 in
Printf.printf "Running %d pokes...\n%!" iterations;
let start_time = Sys.time () in
for i = 1 to iterations do
let effects = State.poke state event in
(* Just count effects *)
let count = count_list effects in
if i = 1 then
Printf.printf " First poke returned %d effects\n%!" count
done;
let elapsed = Sys.time () -. start_time in
Printf.printf "\nPerformance:\n";
Printf.printf " Total time: %.3fs\n" elapsed;
Printf.printf " Per poke: %.3fms\n" (elapsed *. 1000.0 /. float_of_int iterations);
Printf.printf " Pokes/sec: %.0f\n\n" (float_of_int iterations /. elapsed);
Printf.printf "[3] Examining effects structure...\n\n%!";
let effects = State.poke state event in
Printf.printf "Effects list structure:\n";
let rec show_effects depth = function
| Noun.Atom z when Z.equal z Z.zero ->
Printf.printf "%s~\n" (String.make (depth*2) ' ')
| Noun.Cell (h, t) ->
Printf.printf "%s[\n" (String.make (depth*2) ' ');
(* Show head *)
begin match h with
| Noun.Cell (wire_h, card_h) ->
Printf.printf "%s wire: %s\n" (String.make (depth*2) ' ')
(if Noun.is_cell wire_h then "cell" else "atom");
Printf.printf "%s card: %s\n" (String.make (depth*2) ' ')
(if Noun.is_cell card_h then "cell" else "atom")
| _ ->
Printf.printf "%s (malformed effect)\n" (String.make (depth*2) ' ')
end;
Printf.printf "%s]\n" (String.make (depth*2) ' ');
show_effects depth t
| _ -> Printf.printf "%s(unexpected structure)\n" (String.make (depth*2) ' ')
in
show_effects 0 effects;
let effect_count = count_list effects in
Printf.printf "\nTotal effects: %d\n\n" effect_count;
State.close_eventlog state;
Printf.printf "╔═══════════════════════════════════════════════════════╗\n";
Printf.printf "║ Test Complete! 🎉 ║\n";
Printf.printf "╚═══════════════════════════════════════════════════════╝\n\n"
|
