@inhuman.tools/harness 0.0.0-stage → 0.2.0

package/dist/protocol/document/private.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"private.js","sourceRoot":"","sources":["../../../src/protocol/document/private.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAC;AAC1C,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAC;AAE1C,OAAO,EACL,wBAAwB,EACxB,wBAAwB,EACxB,oBAAoB,EACpB,oBAAoB,GAGrB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,eAAe,EAAE,gBAAgB,EAAoB,MAAM,WAAW,CAAC;AAChF,OAAO,EAAE,yBAAyB,EAA4B,MAAM,wBAAwB,CAAC;AAE7F,MAAM,oBAAoB,GAAG,CAAC,cAAc,EAAE,MAAM,EAAE,OAAO,CAAU,CAAC;AAGxE,MAAM,sBAAsB,GAAG,CAAC,aAAa,EAAE,KAAK,EAAE,OAAO,CAAU,CAAC;AAGxE,MAAM,yBAAyB,GAAG,CAAC,WAAW,EAAE,UAAU,EAAE,SAAS,CAAU,CAAC;AAGhF,MAAM,2BAA2B,GAAG,CAAC,UAAU,EAAE,gBAAgB,CAAU,CAAC;AAoE5E,MAAM,WAAW,GAAG;IAClB,OAAO;IACP,WAAW;IACX,eAAe;IACf,QAAQ;IACR,aAAa;IACb,QAAQ;IACR,SAAS;IACT,eAAe;IACf,SAAS;IACT,UAAU;IACV,QAAQ;CACA,CAAC;AAEX,SAAS,aAAa,CAAC,OAAyB,EAAE,QAA6B;IAC7E,QAAQ,CAAC,cAAc,CAAC,OAAO,EAAE,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IAC3D,QAAQ,CAAC,cAAc,CAAC,OAAO,EAAE,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;IACzD,QAAQ,CAAC,cAAc,CAAC,OAAO,EAAE,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACxD,QAAQ,CAAC,cAAc,CAAC,OAAO,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACtD,QAAQ,CAAC,YAAY,CAAC,OAAO,EAAE,QAAQ,CAAC,WAAW,CAAC,CAAC;IACrD,QAAQ,CAAC,YAAY,CAAC,OAAO,EAAE,QAAQ,CAAC,iBAAiB,CAAC,CAAC;IAC3D,QAAQ,CAAC,YAAY,CAAC,OAAO,EAAE,QAAQ,CAAC,eAAe,CAAC,CAAC;AAC3D,CAAC;AAED,SAAS,YAAY,CAAC,OAAyB;IAC7C,OAAO,yBAAyB,CAAC,KAAK,CAAC;QACrC,UAAU,EAAE;YACV,IAAI,EAAE,QAAQ,CAAC,aAAa,CAAC,OAAO,CAAC;YACrC,EAAE,EAAE,QAAQ,CAAC,aAAa,CAAC,OAAO,CAAC;SACpC;QACD,OAAO,EAAE;YACP,IAAI,EAAE,QAAQ,CAAC,aAAa,CAAC,OAAO,CAAC;YACrC,EAAE,EAAE,QAAQ,CAAC,aAAa,CAAC,OAAO,CAAC;SACpC;QACD,WAAW,EAAE,QAAQ,CAAC,WAAW,CAAC,OAAO,CAAC;QAC1C,iBAAiB,EAAE,QAAQ,CAAC,WAAW,CAAC,OAAO,CAAC;QAChD,eAAe,EAAE,QAAQ,CAAC,WAAW,CAAC,OAAO,CAAC;KAC/C,CAAC,CAAC;AACL,CAAC;AAED,SAAS,aAAa,CAAC,OAAyB,EAAE,QAA4B;IAC5E,QAAQ,CAAC,YAAY,CAAC,OAAO,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC;IACnD,QAAQ,CAAC,YAAY,CAAC,OAAO,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC;IAClD,QAAQ,CAAC,cAAc,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;IAChD,QAAQ,CAAC,kBAAkB,CAAC,OAAO,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;AACvD,CAAC;AAED,SAAS,YAAY,CAAC,OAAyB;IAC7C,OAAO;QACL,SAAS,EAAE,QAAQ,CAAC,WAAW,CAAC,OAAO,CAAC;QACxC,QAAQ,EAAE,QAAQ,CAAC,WAAW,CAAC,OAAO,CAAC;QACvC,IAAI,EAAE,QAAQ,CAAC,aAAa,CAAC,OAAO,CAAC;QACrC,KAAK,EAAE,QAAQ,CAAC,iBAAiB,CAAC,OAAO,CAAC;KAC3C,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,OAAuB;IAC1D,MAAM,OAAO,GAAG,QAAQ,CAAC,aAAa,EAAE,CAAC;IACzC,QAAQ,CAAC,YAAY,CAAC,OAAO,EAAE,WAAW,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;IAChE,QAAQ,OAAO,CAAC,EAAE,EAAE,CAAC;QACnB,KAAK,OAAO;YACV,QAAQ,CAAC,cAAc,CAAC,OAAO,EAAE,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;YAC3D,aAAa,CAAC,OAAO,EAAE,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;YAC/C,MAAM;QACR,KAAK,WAAW;YACd,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC;gBACnB,QAAQ,CAAC,YAAY,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;gBAClC,QAAQ,CAAC,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;gBACxD,QAAQ,CAAC,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;gBAC9D,QAAQ,CAAC,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;YAC9D,CAAC;iBAAM,CAAC;gBACN,QAAQ,CAAC,YAAY,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;gBAClC,QAAQ,CAAC,cAAc,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACvD,CAAC;YACD,MAAM;QACR,KAAK,eAAe,CAAC;QACrB,KAAK,SAAS;YACZ,QAAQ,CAAC,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC;YAClD,gBAAgB,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC;YACvC,MAAM;QACR,KAAK,QAAQ;YACX,QAAQ,CAAC,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC;YAClD,gBAAgB,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC;YACvC,QAAQ,CAAC,kBAAkB,CAAC,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;YACtD,MAAM;QACR,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS;YACZ,aAAa,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;YAChC,MAAM;QACR,KAAK,aAAa,CAAC;QACnB,KAAK,eAAe;YAClB,QAAQ,CAAC,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC;YAClD,QAAQ,CAAC,cAAc,CAAC,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;YACjD,MAAM;QACR,KAAK,UAAU;YACb,QAAQ,CAAC,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC;YAClD,MAAM;QACR,KAAK,QAAQ;YACX,QAAQ,CAAC,cAAc,CAAC,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;YACjD,MAAM;IACV,CAAC;IACD,OAAO,QAAQ,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;AACxC,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,KAAiB;IACpD,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,QAAQ,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;QAC9C,MAAM,EAAE,GAAG,WAAW,CAAC,EAAE,CAAC,QAAQ,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC;QACzD,IAAI,EAAE,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QAClC,QAAQ,EAAE,EAAE,CAAC;YACX,KAAK,OAAO;gBACV,OAAO;oBACL,EAAE;oBACF,KAAK,EAAE;wBACL,UAAU,EAAE,QAAQ,CAAC,aAAa,CAAC,OAAO,CAAC;wBAC3C,QAAQ,EAAE,YAAY,CAAC,OAAO,CAAC;qBAChC;iBACF,CAAC;YACJ,KAAK,WAAW,CAAC,CAAC,CAAC;gBACjB,MAAM,EAAE,GAAG,QAAQ,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;gBACzC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;oBACb,OAAO;wBACL,EAAE;wBACF,GAAG,EAAE;4BACH,EAAE,EAAE,IAAI;4BACR,WAAW,EAAE,QAAQ,CAAC,WAAW,CAAC,OAAO,CAAC;4BAC1C,iBAAiB,EAAE,QAAQ,CAAC,WAAW,CAAC,OAAO,CAAC;4BAChD,eAAe,EAAE,QAAQ,CAAC,WAAW,CAAC,OAAO,CAAC;yBAC/C;qBACF,CAAC;gBACJ,CAAC;gBACD,IAAI,EAAE,KAAK,CAAC;oBAAE,OAAO,IAAI,CAAC;gBAC1B,MAAM,MAAM,GAAG,QAAQ,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;gBAC/C,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC;oBAAE,OAAO,IAAI,CAAC;gBACvC,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC;YAC5C,CAAC;YACD,KAAK,eAAe,CAAC;YACrB,KAAK,SAAS;gBACZ,OAAO;oBACL,EAAE;oBACF,SAAS,EAAE,QAAQ,CAAC,WAAW,CAAC,OAAO,CAAC;oBACxC,GAAG,EAAE,eAAe,CAAC,OAAO,CAAC;iBAC9B,CAAC;YACJ,KAAK,QAAQ;gBACX,OAAO;oBACL,EAAE;oBACF,SAAS,EAAE,QAAQ,CAAC,WAAW,CAAC,OAAO,CAAC;oBACxC,GAAG,EAAE,eAAe,CAAC,OAAO,CAAC;oBAC7B,OAAO,EAAE,QAAQ,CAAC,iBAAiB,CAAC,OAAO,CAAC;iBAC7C,CAAC;YACJ,KAAK,QAAQ,CAAC;YACd,KAAK,SAAS;gBACZ,OAAO,EAAE,EAAE,EAAE,GAAG,YAAY,CAAC,OAAO,CAAC,EAAE,CAAC;YAC1C,KAAK,aAAa,CAAC,CAAC,CAAC;gBACnB,MAAM,SAAS,GAAG,QAAQ,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;gBAChD,MAAM,MAAM,GAAG,QAAQ,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;gBAC/C,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC;oBAAE,OAAO,IAAI,CAAC;gBAC3C,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;YACnC,CAAC;YACD,KAAK,eAAe,CAAC,CAAC,CAAC;gBACrB,MAAM,SAAS,GAAG,QAAQ,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;gBAChD,MAAM,MAAM,GAAG,QAAQ,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;gBAC/C,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC;oBAAE,OAAO,IAAI,CAAC;gBAC7C,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;YACnC,CAAC;YACD,KAAK,UAAU;gBACb,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,QAAQ,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC;YAC1D,KAAK,QAAQ,CAAC,CAAC,CAAC;gBACd,MAAM,MAAM,GAAG,QAAQ,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;gBAC/C,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC;oBAAE,OAAO,IAAI,CAAC;gBACzC,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC;YACxB,CAAC;QACH,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,OAAuB;IAC1D,MAAM,OAAO,GAAG,QAAQ,CAAC,aAAa,EAAE,CAAC;IACzC,QAAQ,CAAC,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC;IAClD,QAAQ,CAAC,kBAAkB,CAAC,OAAO,EAAE,wBAAwB,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC;IACnF,OAAO,QAAQ,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;AACxC,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,KAAiB;IACpD,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,QAAQ,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;QAC9C,MAAM,SAAS,GAAG,QAAQ,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;QAChD,MAAM,UAAU,GAAG,wBAAwB,CAAC,QAAQ,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC,CAAC;QACjF,IAAI,UAAU,IAAI,IAAI;YAAE,OAAO,IAAI,CAAC;QACpC,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,CAAC;IACnC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,KAAmB;IACpD,MAAM,OAAO,GAAG,QAAQ,CAAC,aAAa,EAAE,CAAC;IACzC,QAAQ,CAAC,YAAY,CAAC,OAAO,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;IAChD,IAAI,KAAK,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;QACpB,QAAQ,CAAC,YAAY,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QAClC,QAAQ,CAAC,kBAAkB,CAAC,OAAO,EAAE,oBAAoB,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;IACnF,CAAC;SAAM,CAAC;QACN,QAAQ,CAAC,YAAY,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QAClC,QAAQ,CAAC,cAAc,CAAC,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACxD,CAAC;IACD,OAAO,QAAQ,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;AACxC,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,KAAiB;IAClD,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,QAAQ,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;QAC9C,MAAM,SAAS,GAAG,QAAQ,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;QAChD,MAAM,EAAE,GAAG,QAAQ,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;QACzC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;YACb,MAAM,OAAO,GAAG,oBAAoB,CAAC,QAAQ,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC,CAAC;YAC1E,IAAI,OAAO,IAAI,IAAI;gBAAE,OAAO,IAAI,CAAC;YACjC,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC;QACtD,CAAC;QACD,IAAI,EAAE,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QAC1B,MAAM,MAAM,GAAG,QAAQ,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;QAC/C,IAAI,MAAM,KAAK,gBAAgB,IAAI,MAAM,KAAK,cAAc,IAAI,MAAM,KAAK,UAAU,EAAE,CAAC;YACtF,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC;IACtD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CAAC,KAAa;IACjC,OAAQ,oBAA0C,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AACrE,CAAC;AAED,SAAS,cAAc,CAAC,KAAa;IACnC,OAAQ,sBAA4C,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AACvE,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAa;IACrC,OAAQ,yBAA+C,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AAC1E,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAa;IACvC,OAAQ,2BAAiD,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AAC5E,CAAC"}

package/dist/protocol/rpc/index.d.ts

@@ -0,0 +1,2 @@
+export * from "@inhuman.tools/harness-contract";
+//# sourceMappingURL=index.d.ts.map

package/dist/protocol/rpc/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/protocol/rpc/index.ts"],"names":[],"mappings":"AAAA,cAAc,iCAAiC,CAAC"}

package/dist/protocol/rpc/index.js

@@ -0,0 +1,2 @@
+export * from "@inhuman.tools/harness-contract";
+//# sourceMappingURL=index.js.map

package/dist/protocol/rpc/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/protocol/rpc/index.ts"],"names":[],"mappings":"AAAA,cAAc,iCAAiC,CAAC"}

package/dist/protocol/schemas/descriptor.d.ts

@@ -0,0 +1,68 @@
+import { z } from "zod";
+import type { ReadinessKind } from "./health.js";
+/** Servers the hypervisor launches. Hypervisor itself is not a descriptor. */
+export declare const serverRoleSchema: z.ZodEnum<{
+    yjs: "yjs";
+    runtime: "runtime";
+}>;
+export type ServerRole = z.infer<typeof serverRoleSchema>;
+/** Readiness kinds a role publishes. Socket bind is not a kind. */
+export declare function publishedReadiness(role: ServerRole): readonly ReadinessKind[];
+export declare const restartPolicySchema: z.ZodObject<{
+    mode: z.ZodEnum<{
+        never: "never";
+        "on-failure": "on-failure";
+        always: "always";
+    }>;
+    maxAttempts: z.ZodNumber;
+    backoffMs: z.ZodNumber;
+}, z.core.$strict>;
+export type RestartPolicy = z.infer<typeof restartPolicySchema>;
+/**
+ * Launch data only: path and argv, not an import of a server implementation.
+ * `requires` names other descriptor ids whose published readiness must hold
+ * before this process is admitted.
+ */
+export declare const serverDescriptorSchema: z.ZodObject<{
+    id: z.ZodString;
+    role: z.ZodEnum<{
+        yjs: "yjs";
+        runtime: "runtime";
+    }>;
+    executable: z.ZodString;
+    args: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    requires: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    restart: z.ZodObject<{
+        mode: z.ZodEnum<{
+            never: "never";
+            "on-failure": "on-failure";
+            always: "always";
+        }>;
+        maxAttempts: z.ZodNumber;
+        backoffMs: z.ZodNumber;
+    }, z.core.$strict>;
+}, z.core.$strict>;
+export type ServerDescriptor = z.infer<typeof serverDescriptorSchema>;
+export declare const serverRosterSchema: z.ZodObject<{
+    servers: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        role: z.ZodEnum<{
+            yjs: "yjs";
+            runtime: "runtime";
+        }>;
+        executable: z.ZodString;
+        args: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        requires: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        restart: z.ZodObject<{
+            mode: z.ZodEnum<{
+                never: "never";
+                "on-failure": "on-failure";
+                always: "always";
+            }>;
+            maxAttempts: z.ZodNumber;
+            backoffMs: z.ZodNumber;
+        }, z.core.$strict>;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
+export type ServerRoster = z.infer<typeof serverRosterSchema>;
+//# sourceMappingURL=descriptor.d.ts.map

package/dist/protocol/schemas/descriptor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"descriptor.d.ts","sourceRoot":"","sources":["../../../src/protocol/schemas/descriptor.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAEjD,8EAA8E;AAC9E,eAAO,MAAM,gBAAgB;;;EAA6B,CAAC;AAC3D,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAC;AAK1D,mEAAmE;AACnE,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,UAAU,GAAG,SAAS,aAAa,EAAE,CAE7E;AAED,eAAO,MAAM,mBAAmB;;;;;;;;kBAMrB,CAAC;AACZ,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,mBAAmB,CAAC,CAAC;AAEhE;;;;GAIG;AACH,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;kBASxB,CAAC;AACZ,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,sBAAsB,CAAC,CAAC;AAEtE,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;kBAsD3B,CAAC;AACL,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC"}

package/dist/protocol/schemas/descriptor.js

@@ -0,0 +1,90 @@
+import { z } from "zod";
+/** Servers the hypervisor launches. Hypervisor itself is not a descriptor. */
+export const serverRoleSchema = z.enum(["yjs", "runtime"]);
+const yjsReadiness = ["sync", "storage"];
+const runtimeReadiness = ["execution"];
+/** Readiness kinds a role publishes. Socket bind is not a kind. */
+export function publishedReadiness(role) {
+    return role === "yjs" ? yjsReadiness : runtimeReadiness;
+}
+export const restartPolicySchema = z
+    .object({
+    mode: z.enum(["never", "on-failure", "always"]),
+    maxAttempts: z.number().int().nonnegative(),
+    backoffMs: z.number().int().nonnegative(),
+})
+    .strict();
+/**
+ * Launch data only: path and argv, not an import of a server implementation.
+ * `requires` names other descriptor ids whose published readiness must hold
+ * before this process is admitted.
+ */
+export const serverDescriptorSchema = z
+    .object({
+    id: z.string().trim().min(1),
+    role: serverRoleSchema,
+    executable: z.string().trim().min(1),
+    args: z.array(z.string()).default([]),
+    requires: z.array(z.string().trim().min(1)).default([]),
+    restart: restartPolicySchema,
+})
+    .strict();
+export const serverRosterSchema = z
+    .object({
+    servers: z.array(serverDescriptorSchema).min(1),
+})
+    .strict()
+    .superRefine((roster, ctx) => {
+    const ids = new Set();
+    for (const [index, server] of roster.servers.entries()) {
+        if (ids.has(server.id)) {
+            ctx.addIssue({
+                code: "custom",
+                message: `duplicate descriptor id ${server.id}`,
+                path: ["servers", index, "id"],
+            });
+        }
+        ids.add(server.id);
+    }
+    for (const [index, server] of roster.servers.entries()) {
+        for (const [reqIndex, required] of server.requires.entries()) {
+            if (!ids.has(required)) {
+                ctx.addIssue({
+                    code: "custom",
+                    message: `unknown readiness dependency ${required}`,
+                    path: ["servers", index, "requires", reqIndex],
+                });
+            }
+        }
+    }
+    const byId = new Map(roster.servers.map((server) => [server.id, server]));
+    const visiting = new Set();
+    const visited = new Set();
+    const visit = (id) => {
+        if (visited.has(id))
+            return false;
+        if (visiting.has(id))
+            return true;
+        visiting.add(id);
+        const server = byId.get(id);
+        if (server) {
+            for (const required of server.requires) {
+                if (visit(required))
+                    return true;
+            }
+        }
+        visiting.delete(id);
+        visited.add(id);
+        return false;
+    };
+    for (const [index, server] of roster.servers.entries()) {
+        if (visit(server.id)) {
+            ctx.addIssue({
+                code: "custom",
+                message: `readiness dependency cycle at ${server.id}`,
+                path: ["servers", index, "requires"],
+            });
+        }
+    }
+});
+//# sourceMappingURL=descriptor.js.map

package/dist/protocol/schemas/descriptor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"descriptor.js","sourceRoot":"","sources":["../../../src/protocol/schemas/descriptor.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAIxB,8EAA8E;AAC9E,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC;AAG3D,MAAM,YAAY,GAAG,CAAC,MAAM,EAAE,SAAS,CAA6C,CAAC;AACrF,MAAM,gBAAgB,GAAG,CAAC,WAAW,CAA6C,CAAC;AAEnF,mEAAmE;AACnE,MAAM,UAAU,kBAAkB,CAAC,IAAgB;IACjD,OAAO,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,gBAAgB,CAAC;AAC1D,CAAC;AAED,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC;KACjC,MAAM,CAAC;IACN,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,YAAY,EAAE,QAAQ,CAAC,CAAC;IAC/C,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;IAC3C,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;CAC1C,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ;;;;GAIG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC;KACpC,MAAM,CAAC;IACN,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5B,IAAI,EAAE,gBAAgB;IACtB,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACpC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IACrC,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IACvD,OAAO,EAAE,mBAAmB;CAC7B,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC;KAChC,MAAM,CAAC;IACN,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,sBAAsB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;CAChD,CAAC;KACD,MAAM,EAAE;KACR,WAAW,CAAC,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE;IAC3B,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;QACvD,IAAI,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;YACvB,GAAG,CAAC,QAAQ,CAAC;gBACX,IAAI,EAAE,QAAQ;gBACd,OAAO,EAAE,2BAA2B,MAAM,CAAC,EAAE,EAAE;gBAC/C,IAAI,EAAE,CAAC,SAAS,EAAE,KAAK,EAAE,IAAI,CAAC;aAC/B,CAAC,CAAC;QACL,CAAC;QACD,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACrB,CAAC;IACD,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;QACvD,KAAK,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC;YAC7D,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACvB,GAAG,CAAC,QAAQ,CAAC;oBACX,IAAI,EAAE,QAAQ;oBACd,OAAO,EAAE,gCAAgC,QAAQ,EAAE;oBACnD,IAAI,EAAE,CAAC,SAAS,EAAE,KAAK,EAAE,UAAU,EAAE,QAAQ,CAAC;iBAC/C,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IAC1E,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,KAAK,GAAG,CAAC,EAAU,EAAW,EAAE;QACpC,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,OAAO,KAAK,CAAC;QAClC,IAAI,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,OAAO,IAAI,CAAC;QAClC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACjB,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC5B,IAAI,MAAM,EAAE,CAAC;YACX,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;gBACvC,IAAI,KAAK,CAAC,QAAQ,CAAC;oBAAE,OAAO,IAAI,CAAC;YACnC,CAAC;QACH,CAAC;QACD,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACpB,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAChB,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IACF,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;QACvD,IAAI,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;YACrB,GAAG,CAAC,QAAQ,CAAC;gBACX,IAAI,EAAE,QAAQ;gBACd,OAAO,EAAE,iCAAiC,MAAM,CAAC,EAAE,EAAE;gBACrD,IAAI,EAAE,CAAC,SAAS,EAAE,KAAK,EAAE,UAAU,CAAC;aACrC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;AACH,CAAC,CAAC,CAAC"}

package/dist/protocol/schemas/health.d.ts

@@ -0,0 +1,112 @@
+import { z } from "zod";
+/** Independent planes. A bound socket is not a kind and is not execution ready. */
+export declare const readinessKindSchema: z.ZodEnum<{
+    execution: "execution";
+    sync: "sync";
+    storage: "storage";
+}>;
+export type ReadinessKind = z.infer<typeof readinessKindSchema>;
+export declare const healthStateSchema: z.ZodEnum<{
+    failed: "failed";
+    starting: "starting";
+    ready: "ready";
+    unresponsive: "unresponsive";
+    disconnected: "disconnected";
+    recovering: "recovering";
+    degraded: "degraded";
+}>;
+export type HealthState = z.infer<typeof healthStateSchema>;
+export declare const planeStatusSchema: z.ZodObject<{
+    state: z.ZodEnum<{
+        failed: "failed";
+        starting: "starting";
+        ready: "ready";
+        unresponsive: "unresponsive";
+        disconnected: "disconnected";
+        recovering: "recovering";
+        degraded: "degraded";
+    }>;
+    reason: z.ZodOptional<z.ZodString>;
+}, z.core.$strict>;
+export type PlaneStatus = z.infer<typeof planeStatusSchema>;
+/** Hypervisor-aggregated snapshot. Child frames use `publishedHealthSchema`. */
+export declare const topologyHealthSchema: z.ZodObject<{
+    sync: z.ZodObject<{
+        state: z.ZodEnum<{
+            failed: "failed";
+            starting: "starting";
+            ready: "ready";
+            unresponsive: "unresponsive";
+            disconnected: "disconnected";
+            recovering: "recovering";
+            degraded: "degraded";
+        }>;
+        reason: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>;
+    storage: z.ZodObject<{
+        state: z.ZodEnum<{
+            failed: "failed";
+            starting: "starting";
+            ready: "ready";
+            unresponsive: "unresponsive";
+            disconnected: "disconnected";
+            recovering: "recovering";
+            degraded: "degraded";
+        }>;
+        reason: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>;
+    execution: z.ZodObject<{
+        state: z.ZodEnum<{
+            failed: "failed";
+            starting: "starting";
+            ready: "ready";
+            unresponsive: "unresponsive";
+            disconnected: "disconnected";
+            recovering: "recovering";
+            degraded: "degraded";
+        }>;
+        reason: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>;
+}, z.core.$strict>;
+export type TopologyHealth = z.infer<typeof topologyHealthSchema>;
+/** Planes a child actually publishes. Missing keys are not asserted. */
+export declare const publishedHealthSchema: z.ZodObject<{
+    sync: z.ZodOptional<z.ZodObject<{
+        state: z.ZodEnum<{
+            failed: "failed";
+            starting: "starting";
+            ready: "ready";
+            unresponsive: "unresponsive";
+            disconnected: "disconnected";
+            recovering: "recovering";
+            degraded: "degraded";
+        }>;
+        reason: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>>;
+    storage: z.ZodOptional<z.ZodObject<{
+        state: z.ZodEnum<{
+            failed: "failed";
+            starting: "starting";
+            ready: "ready";
+            unresponsive: "unresponsive";
+            disconnected: "disconnected";
+            recovering: "recovering";
+            degraded: "degraded";
+        }>;
+        reason: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>>;
+    execution: z.ZodOptional<z.ZodObject<{
+        state: z.ZodEnum<{
+            failed: "failed";
+            starting: "starting";
+            ready: "ready";
+            unresponsive: "unresponsive";
+            disconnected: "disconnected";
+            recovering: "recovering";
+            degraded: "degraded";
+        }>;
+        reason: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
+export type PublishedHealth = z.infer<typeof publishedHealthSchema>;
+//# sourceMappingURL=health.d.ts.map

package/dist/protocol/schemas/health.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"health.d.ts","sourceRoot":"","sources":["../../../src/protocol/schemas/health.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,mFAAmF;AACnF,eAAO,MAAM,mBAAmB;;;;EAA2C,CAAC;AAC5E,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,mBAAmB,CAAC,CAAC;AAEhE,eAAO,MAAM,iBAAiB;;;;;;;;EAQ5B,CAAC;AACH,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAC;AAE5D,eAAO,MAAM,iBAAiB;;;;;;;;;;;kBAc1B,CAAC;AACL,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAC;AAE5D,gFAAgF;AAChF,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAMtB,CAAC;AACZ,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAC;AAElE,wEAAwE;AACxE,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAMvB,CAAC;AACZ,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAC"}

package/dist/protocol/schemas/health.js

@@ -0,0 +1,44 @@
+import { z } from "zod";
+/** Independent planes. A bound socket is not a kind and is not execution ready. */
+export const readinessKindSchema = z.enum(["sync", "storage", "execution"]);
+export const healthStateSchema = z.enum([
+    "starting",
+    "ready",
+    "unresponsive",
+    "disconnected",
+    "recovering",
+    "degraded",
+    "failed",
+]);
+export const planeStatusSchema = z
+    .object({
+    state: healthStateSchema,
+    reason: z.string().min(1).optional(),
+})
+    .strict()
+    .superRefine((plane, ctx) => {
+    if ((plane.state === "degraded" || plane.state === "failed") && plane.reason == null) {
+        ctx.addIssue({
+            code: "custom",
+            message: "degraded/failed health requires reason",
+            path: ["reason"],
+        });
+    }
+});
+/** Hypervisor-aggregated snapshot. Child frames use `publishedHealthSchema`. */
+export const topologyHealthSchema = z
+    .object({
+    sync: planeStatusSchema,
+    storage: planeStatusSchema,
+    execution: planeStatusSchema,
+})
+    .strict();
+/** Planes a child actually publishes. Missing keys are not asserted. */
+export const publishedHealthSchema = z
+    .object({
+    sync: planeStatusSchema.optional(),
+    storage: planeStatusSchema.optional(),
+    execution: planeStatusSchema.optional(),
+})
+    .strict();
+//# sourceMappingURL=health.js.map

package/dist/protocol/schemas/health.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"health.js","sourceRoot":"","sources":["../../../src/protocol/schemas/health.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,mFAAmF;AACnF,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,SAAS,EAAE,WAAW,CAAC,CAAC,CAAC;AAG5E,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC,IAAI,CAAC;IACtC,UAAU;IACV,OAAO;IACP,cAAc;IACd,cAAc;IACd,YAAY;IACZ,UAAU;IACV,QAAQ;CACT,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC;KAC/B,MAAM,CAAC;IACN,KAAK,EAAE,iBAAiB;IACxB,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;CACrC,CAAC;KACD,MAAM,EAAE;KACR,WAAW,CAAC,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE;IAC1B,IAAI,CAAC,KAAK,CAAC,KAAK,KAAK,UAAU,IAAI,KAAK,CAAC,KAAK,KAAK,QAAQ,CAAC,IAAI,KAAK,CAAC,MAAM,IAAI,IAAI,EAAE,CAAC;QACrF,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,QAAQ;YACd,OAAO,EAAE,wCAAwC;YACjD,IAAI,EAAE,CAAC,QAAQ,CAAC;SACjB,CAAC,CAAC;IACL,CAAC;AACH,CAAC,CAAC,CAAC;AAGL,gFAAgF;AAChF,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC;KAClC,MAAM,CAAC;IACN,IAAI,EAAE,iBAAiB;IACvB,OAAO,EAAE,iBAAiB;IAC1B,SAAS,EAAE,iBAAiB;CAC7B,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ,wEAAwE;AACxE,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC;KACnC,MAAM,CAAC;IACN,IAAI,EAAE,iBAAiB,CAAC,QAAQ,EAAE;IAClC,OAAO,EAAE,iBAAiB,CAAC,QAAQ,EAAE;IACrC,SAAS,EAAE,iBAAiB,CAAC,QAAQ,EAAE;CACxC,CAAC;KACD,MAAM,EAAE,CAAC"}

package/dist/protocol/schemas/identity.d.ts

@@ -0,0 +1,51 @@
+import { z } from "zod";
+/**
+ * Opaque process identity. There is no pid field: pid reuse is not ownership.
+ */
+export declare const processKindSchema: z.ZodEnum<{
+    yjs: "yjs";
+    runtime: "runtime";
+    hypervisor: "hypervisor";
+}>;
+export type ProcessKind = z.infer<typeof processKindSchema>;
+export declare const processIdentitySchema: z.ZodObject<{
+    kind: z.ZodEnum<{
+        yjs: "yjs";
+        runtime: "runtime";
+        hypervisor: "hypervisor";
+    }>;
+    id: z.ZodString;
+}, z.core.$strict>;
+export type ProcessIdentity = z.infer<typeof processIdentitySchema>;
+export declare const epochSchema: z.ZodNumber;
+export type Epoch = z.infer<typeof epochSchema>;
+export declare const generationSchema: z.ZodNumber;
+export type Generation = z.infer<typeof generationSchema>;
+/**
+ * Four clocks the rest of the protocol fences with:
+ * hypervisor/process identity, server epoch, runtime generation, connection epoch.
+ * Reconnect of a live owner advances connection epoch only.
+ */
+export declare const supervisionIdentitySchema: z.ZodObject<{
+    hypervisor: z.ZodObject<{
+        kind: z.ZodEnum<{
+            yjs: "yjs";
+            runtime: "runtime";
+            hypervisor: "hypervisor";
+        }>;
+        id: z.ZodString;
+    }, z.core.$strict>;
+    process: z.ZodObject<{
+        kind: z.ZodEnum<{
+            yjs: "yjs";
+            runtime: "runtime";
+            hypervisor: "hypervisor";
+        }>;
+        id: z.ZodString;
+    }, z.core.$strict>;
+    serverEpoch: z.ZodNumber;
+    runtimeGeneration: z.ZodNumber;
+    connectionEpoch: z.ZodNumber;
+}, z.core.$strict>;
+export type SupervisionIdentity = z.infer<typeof supervisionIdentitySchema>;
+//# sourceMappingURL=identity.d.ts.map

package/dist/protocol/schemas/identity.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"identity.d.ts","sourceRoot":"","sources":["../../../src/protocol/schemas/identity.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB;;GAEG;AACH,eAAO,MAAM,iBAAiB;;;;EAA2C,CAAC;AAC1E,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAC;AAE5D,eAAO,MAAM,qBAAqB;;;;;;;kBAKvB,CAAC;AACZ,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAC;AAEpE,eAAO,MAAM,WAAW,aAAiC,CAAC;AAC1D,MAAM,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,WAAW,CAAC,CAAC;AAEhD,eAAO,MAAM,gBAAgB,aAAiC,CAAC;AAC/D,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAC;AAE1D;;;;GAIG;AACH,eAAO,MAAM,yBAAyB;;;;;;;;;;;;;;;;;;;;kBAiBlC,CAAC;AACL,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,yBAAyB,CAAC,CAAC"}

package/dist/protocol/schemas/identity.js

@@ -0,0 +1,37 @@
+import { z } from "zod";
+/**
+ * Opaque process identity. There is no pid field: pid reuse is not ownership.
+ */
+export const processKindSchema = z.enum(["hypervisor", "yjs", "runtime"]);
+export const processIdentitySchema = z
+    .object({
+    kind: processKindSchema,
+    id: z.string().trim().min(1),
+})
+    .strict();
+export const epochSchema = z.number().int().nonnegative();
+export const generationSchema = z.number().int().nonnegative();
+/**
+ * Four clocks the rest of the protocol fences with:
+ * hypervisor/process identity, server epoch, runtime generation, connection epoch.
+ * Reconnect of a live owner advances connection epoch only.
+ */
+export const supervisionIdentitySchema = z
+    .object({
+    hypervisor: processIdentitySchema,
+    process: processIdentitySchema,
+    serverEpoch: epochSchema,
+    runtimeGeneration: generationSchema,
+    connectionEpoch: epochSchema,
+})
+    .strict()
+    .superRefine((identity, ctx) => {
+    if (identity.hypervisor.kind !== "hypervisor") {
+        ctx.addIssue({
+            code: "custom",
+            message: "hypervisor identity kind must be hypervisor",
+            path: ["hypervisor", "kind"],
+        });
+    }
+});
+//# sourceMappingURL=identity.js.map

package/dist/protocol/schemas/identity.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"identity.js","sourceRoot":"","sources":["../../../src/protocol/schemas/identity.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB;;GAEG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,YAAY,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC;AAG1E,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC;KACnC,MAAM,CAAC;IACN,IAAI,EAAE,iBAAiB;IACvB,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;CAC7B,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC;AAG1D,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC;AAG/D;;;;GAIG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC;KACvC,MAAM,CAAC;IACN,UAAU,EAAE,qBAAqB;IACjC,OAAO,EAAE,qBAAqB;IAC9B,WAAW,EAAE,WAAW;IACxB,iBAAiB,EAAE,gBAAgB;IACnC,eAAe,EAAE,WAAW;CAC7B,CAAC;KACD,MAAM,EAAE;KACR,WAAW,CAAC,CAAC,QAAQ,EAAE,GAAG,EAAE,EAAE;IAC7B,IAAI,QAAQ,CAAC,UAAU,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC9C,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,QAAQ;YACd,OAAO,EAAE,6CAA6C;YACtD,IAAI,EAAE,CAAC,YAAY,EAAE,MAAM,CAAC;SAC7B,CAAC,CAAC;IACL,CAAC;AACH,CAAC,CAAC,CAAC"}

package/dist/protocol/schemas/index.d.ts

@@ -0,0 +1,6 @@
+export * from "./descriptor.js";
+export * from "./health.js";
+export * from "./identity.js";
+export * from "./loss.js";
+export * from "./message.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/protocol/schemas/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/protocol/schemas/index.ts"],"names":[],"mappings":"AAAA,cAAc,iBAAiB,CAAC;AAChC,cAAc,aAAa,CAAC;AAC5B,cAAc,eAAe,CAAC;AAC9B,cAAc,WAAW,CAAC;AAC1B,cAAc,cAAc,CAAC"}

package/dist/protocol/schemas/index.js

@@ -0,0 +1,6 @@
+export * from "./descriptor.js";
+export * from "./health.js";
+export * from "./identity.js";
+export * from "./loss.js";
+export * from "./message.js";
+//# sourceMappingURL=index.js.map

package/dist/protocol/schemas/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/protocol/schemas/index.ts"],"names":[],"mappings":"AAAA,cAAc,iBAAiB,CAAC;AAChC,cAAc,aAAa,CAAC;AAC5B,cAAc,eAAe,CAAC;AAC9B,cAAc,WAAW,CAAC;AAC1B,cAAc,cAAc,CAAC"}

package/dist/protocol/schemas/loss.d.ts

@@ -0,0 +1,62 @@
+import { z } from "zod";
+export declare const lockKindSchema: z.ZodEnum<{
+    root: "root";
+    runtime: "runtime";
+}>;
+export type LockKind = z.infer<typeof lockKindSchema>;
+export declare const lossKindSchema: z.ZodEnum<{
+    "data-disconnected": "data-disconnected";
+    "parent-lost": "parent-lost";
+    "process-exited": "process-exited";
+    "heartbeat-missing": "heartbeat-missing";
+    "lock-released": "lock-released";
+}>;
+export type LossKind = z.infer<typeof lossKindSchema>;
+/**
+ * Accumulated facts about a previous owner. Heartbeat-missing and
+ * data-disconnected are not death. Parent-lost does not release a live lock.
+ */
+export declare const ownerEvidenceSchema: z.ZodObject<{
+    exitConfirmed: z.ZodBoolean;
+    lockReleased: z.ZodBoolean;
+    parentLost: z.ZodBoolean;
+    dataDisconnected: z.ZodBoolean;
+    heartbeatMissing: z.ZodBoolean;
+}, z.core.$strict>;
+export type OwnerEvidence = z.infer<typeof ownerEvidenceSchema>;
+export declare const shutdownCutoffSchema: z.ZodObject<{
+    admission: z.ZodLiteral<"refused">;
+    drain: z.ZodEnum<{
+        pending: "pending";
+        complete: "complete";
+    }>;
+    flush: z.ZodEnum<{
+        ok: "ok";
+        failed: "failed";
+        pending: "pending";
+    }>;
+    forced: z.ZodBoolean;
+}, z.core.$strict>;
+export type ShutdownCutoff = z.infer<typeof shutdownCutoffSchema>;
+export declare const replacementRefuseReasonSchema: z.ZodEnum<{
+    "heartbeat-is-not-death": "heartbeat-is-not-death";
+    "disconnect-is-not-death": "disconnect-is-not-death";
+    "parent-loss-holds-runtime-lock": "parent-loss-holds-runtime-lock";
+    "exit-unconfirmed": "exit-unconfirmed";
+    "lock-held": "lock-held";
+}>;
+export type ReplacementRefuseReason = z.infer<typeof replacementRefuseReasonSchema>;
+export declare const replacementDecisionSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    action: z.ZodLiteral<"replace">;
+}, z.core.$strict>, z.ZodObject<{
+    action: z.ZodLiteral<"refuse">;
+    reason: z.ZodEnum<{
+        "heartbeat-is-not-death": "heartbeat-is-not-death";
+        "disconnect-is-not-death": "disconnect-is-not-death";
+        "parent-loss-holds-runtime-lock": "parent-loss-holds-runtime-lock";
+        "exit-unconfirmed": "exit-unconfirmed";
+        "lock-held": "lock-held";
+    }>;
+}, z.core.$strict>], "action">;
+export type ReplacementDecision = z.infer<typeof replacementDecisionSchema>;
+//# sourceMappingURL=loss.d.ts.map

package/dist/protocol/schemas/loss.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"loss.d.ts","sourceRoot":"","sources":["../../../src/protocol/schemas/loss.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,eAAO,MAAM,cAAc;;;EAA8B,CAAC;AAC1D,MAAM,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,cAAc,CAAC,CAAC;AAEtD,eAAO,MAAM,cAAc;;;;;;EAMzB,CAAC;AACH,MAAM,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,cAAc,CAAC,CAAC;AAEtD;;;GAGG;AACH,eAAO,MAAM,mBAAmB;;;;;;kBAQrB,CAAC;AACZ,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,mBAAmB,CAAC,CAAC;AAEhE,eAAO,MAAM,oBAAoB;;;;;;;;;;;;kBAOtB,CAAC;AACZ,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAC;AAElE,eAAO,MAAM,6BAA6B;;;;;;EAMxC,CAAC;AACH,MAAM,MAAM,uBAAuB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,6BAA6B,CAAC,CAAC;AAEpF,eAAO,MAAM,yBAAyB;;;;;;;;;;;8BAQpC,CAAC;AACH,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,yBAAyB,CAAC,CAAC"}

package/dist/protocol/schemas/loss.js

@@ -0,0 +1,47 @@
+import { z } from "zod";
+export const lockKindSchema = z.enum(["root", "runtime"]);
+export const lossKindSchema = z.enum([
+    "data-disconnected",
+    "parent-lost",
+    "process-exited",
+    "heartbeat-missing",
+    "lock-released",
+]);
+/**
+ * Accumulated facts about a previous owner. Heartbeat-missing and
+ * data-disconnected are not death. Parent-lost does not release a live lock.
+ */
+export const ownerEvidenceSchema = z
+    .object({
+    exitConfirmed: z.boolean(),
+    lockReleased: z.boolean(),
+    parentLost: z.boolean(),
+    dataDisconnected: z.boolean(),
+    heartbeatMissing: z.boolean(),
+})
+    .strict();
+export const shutdownCutoffSchema = z
+    .object({
+    admission: z.literal("refused"),
+    drain: z.enum(["pending", "complete"]),
+    flush: z.enum(["pending", "ok", "failed"]),
+    forced: z.boolean(),
+})
+    .strict();
+export const replacementRefuseReasonSchema = z.enum([
+    "heartbeat-is-not-death",
+    "disconnect-is-not-death",
+    "parent-loss-holds-runtime-lock",
+    "exit-unconfirmed",
+    "lock-held",
+]);
+export const replacementDecisionSchema = z.discriminatedUnion("action", [
+    z.object({ action: z.literal("replace") }).strict(),
+    z
+        .object({
+        action: z.literal("refuse"),
+        reason: replacementRefuseReasonSchema,
+    })
+        .strict(),
+]);
+//# sourceMappingURL=loss.js.map

package/dist/protocol/schemas/loss.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"loss.js","sourceRoot":"","sources":["../../../src/protocol/schemas/loss.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;AAG1D,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,CAAC,IAAI,CAAC;IACnC,mBAAmB;IACnB,aAAa;IACb,gBAAgB;IAChB,mBAAmB;IACnB,eAAe;CAChB,CAAC,CAAC;AAGH;;;GAGG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC;KACjC,MAAM,CAAC;IACN,aAAa,EAAE,CAAC,CAAC,OAAO,EAAE;IAC1B,YAAY,EAAE,CAAC,CAAC,OAAO,EAAE;IACzB,UAAU,EAAE,CAAC,CAAC,OAAO,EAAE;IACvB,gBAAgB,EAAE,CAAC,CAAC,OAAO,EAAE;IAC7B,gBAAgB,EAAE,CAAC,CAAC,OAAO,EAAE;CAC9B,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC;KAClC,MAAM,CAAC;IACN,SAAS,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC;IAC/B,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;IACtC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC1C,MAAM,EAAE,CAAC,CAAC,OAAO,EAAE;CACpB,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAAC,CAAC,IAAI,CAAC;IAClD,wBAAwB;IACxB,yBAAyB;IACzB,gCAAgC;IAChC,kBAAkB;IAClB,WAAW;CACZ,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,CAAC,kBAAkB,CAAC,QAAQ,EAAE;IACtE,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE;IACnD,CAAC;SACE,MAAM,CAAC;QACN,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC;QAC3B,MAAM,EAAE,6BAA6B;KACtC,CAAC;SACD,MAAM,EAAE;CACZ,CAAC,CAAC"}