summaryrefslogtreecommitdiff
path: root/ocaml/pillmugs.md
diff options
context:
space:
mode:
authorpolwex <polwex@sortug.com>2025-10-07 02:38:28 +0700
committerpolwex <polwex@sortug.com>2025-10-07 02:38:28 +0700
commit64611d312280dd5d63d498ded09ae4e9a6eaf34c (patch)
tree790dff3049654d3f584b3a17ffb077957f1117ad /ocaml/pillmugs.md
parentca8a67a583ad39bdb4cf36d635536e099af21bdf (diff)
refining nock with tail calls and sheet
Diffstat (limited to 'ocaml/pillmugs.md')
-rw-r--r--ocaml/pillmugs.md28
1 files changed, 28 insertions, 0 deletions
diff --git a/ocaml/pillmugs.md b/ocaml/pillmugs.md
new file mode 100644
index 0000000..8b31ee2
--- /dev/null
+++ b/ocaml/pillmugs.md
@@ -0,0 +1,28 @@
+### ivory
+[6] Verifying kernel structure...
+ ✓ Has poke gate at slot 23
+ Checking structural properties:
+ Slot 2 (battery): cell ✓
+ Slot 3 (payload): cell ✓
+ Slot 23 (poke): cell (gate) ✓
+ Poke battery: atom ✗
+ Computing mugs of sub-structures:
+ Slot 2 (battery) mug: 0x6d668e4a
+ Slot 3 (payload) mug: 0x5be29baa
+ Slot 23 (poke) mug: 0x39aec359 so yeah not great
+### solid
+
+
+
+
+ <<< EXIT call #0 depth=2 returns=cell[mug=0x3597a0b7]
+u3v_life: u3n_nock_on returned successfully
+u3v_life: gate mug: 0x3597a0b7
+u3v_life: slot 7 (kernel) mug: 0x3e6a00b
+u3v_life: completed successfully
+u3v_boot: SUCCESS - kernel built
+✓ solid boot completed!
+Kernel mug: 0x3e6a00b
+strange lily 0vg00.00000.00000
+strange lily 0x8000.0000
+test boot: ok