TUI app-server

2026-04-26 07:35:29 +00:00 · 2026-02-23 08:31:57 -08:00
parent e8949f4507
commit 10ed8d6a42
116 changed files with 9136 additions and 928 deletions
--- a/codex-rs/app-server-protocol/schema/json/v2/HistoryEntryReadParams.json
+++ b/codex-rs/app-server-protocol/schema/json/v2/HistoryEntryReadParams.json
@@ -0,0 +1,21 @@
+{
+  "$schema": "http://json-schema.org/draft-07/schema#",
+  "properties": {
+    "logId": {
+      "format": "uint64",
+      "minimum": 0.0,
+      "type": "integer"
+    },
+    "offset": {
+      "format": "uint",
+      "minimum": 0.0,
+      "type": "integer"
+    }
+  },
+  "required": [
+    "logId",
+    "offset"
+  ],
+  "title": "HistoryEntryReadParams",
+  "type": "object"
+}