head-management: add infrastructure

2025-07-12 09:13:14 +02:00 · 2025-07-12 09:13:14 +02:00 · 8356dd5d5c
commit 8356dd5d5c
parent 078c59d730
28 changed files with 1791 additions and 21 deletions
--- a/wire/jay_head_error_v1.txt
+++ b/wire/jay_head_error_v1.txt
@ -0,0 +1,23 @@
+request destroy (destructor) {
+
+}
+
+event message {
+    msg: str,
+}
+
+event already_failed {
+
+}
+
+event out_of_date {
+
+}
+
+event extension {
+    name: u32,
+}
+
+event done {
+
+}