@astrale-os/kernel-core 0.9.0-beta.1 → 0.9.0-beta.3

package/dist/schema/kernel/syscalls/contracts/installation.d.ts

@@ -0,0 +1,358 @@
+import { z } from 'zod';
+import { operationIdSchema } from '../../../installation/operation-id.js';
+export { operationIdSchema };
+export declare const installationText: z.ZodString;
+export declare const installationDigest: z.ZodString;
+export declare const artifactRef: z.ZodObject<{
+    digest: z.ZodString;
+    mediaType: z.ZodString;
+    size: z.ZodNumber;
+}, z.core.$strict>;
+export declare const dependencyReadinessCoordinate: z.ZodObject<{
+    origin: z.ZodString;
+    installation: z.ZodString;
+    target: z.ZodString;
+    readinessReceipt: z.ZodString;
+    meaningComparison: z.ZodString;
+}, z.core.$strict>;
+export declare const serviceTarget: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    kind: z.ZodLiteral<"local">;
+    artifact: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"remote">;
+    etag: z.ZodString;
+}, z.core.$strict>], "kind">;
+export declare const installationTarget: z.ZodObject<{
+    origin: z.ZodString;
+    schemaRevision: z.ZodString;
+    schemaBundle: z.ZodString;
+    service: z.ZodDiscriminatedUnion<[z.ZodObject<{
+        kind: z.ZodLiteral<"local">;
+        artifact: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"remote">;
+        etag: z.ZodString;
+    }, z.core.$strict>], "kind">;
+    capabilities: z.ZodObject<{
+        functions: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        classes: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            class: z.ZodObject<{
+                origin: z.ZodString;
+                kind: z.ZodLiteral<"class">;
+                name: z.ZodString;
+            }, z.core.$strict>;
+            operations: z.ZodArray<z.ZodEnum<{
+                create: "create";
+                delete: "delete";
+                read: "read";
+                traverse: "traverse";
+                update: "update";
+            }>>;
+        }, z.core.$strict>>>;
+        admin: z.ZodOptional<z.ZodObject<{
+            grant: z.ZodOptional<z.ZodArray<z.ZodEnum<{
+                create: "create";
+                delete: "delete";
+                grant: "grant";
+                read: "read";
+                revoke: "revoke";
+                traverse: "traverse";
+                update: "update";
+                use: "use";
+            }>>>;
+            revoke: z.ZodOptional<z.ZodArray<z.ZodEnum<{
+                create: "create";
+                delete: "delete";
+                grant: "grant";
+                read: "read";
+                revoke: "revoke";
+                traverse: "traverse";
+                update: "update";
+                use: "use";
+            }>>>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>;
+    dependencies: z.ZodArray<z.ZodObject<{
+        origin: z.ZodString;
+        installation: z.ZodString;
+        target: z.ZodString;
+        readinessReceipt: z.ZodString;
+        meaningComparison: z.ZodString;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
+export declare const transitionIntent: z.ZodObject<{
+    transition: z.ZodString;
+    operation: z.ZodString;
+    installation: z.ZodString;
+    origin: z.ZodString;
+    source: z.ZodNullable<z.ZodObject<{
+        origin: z.ZodString;
+        schemaRevision: z.ZodString;
+        schemaBundle: z.ZodString;
+        service: z.ZodDiscriminatedUnion<[z.ZodObject<{
+            kind: z.ZodLiteral<"local">;
+            artifact: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"remote">;
+            etag: z.ZodString;
+        }, z.core.$strict>], "kind">;
+        capabilities: z.ZodObject<{
+            functions: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            classes: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                class: z.ZodObject<{
+                    origin: z.ZodString;
+                    kind: z.ZodLiteral<"class">;
+                    name: z.ZodString;
+                }, z.core.$strict>;
+                operations: z.ZodArray<z.ZodEnum<{
+                    create: "create";
+                    delete: "delete";
+                    read: "read";
+                    traverse: "traverse";
+                    update: "update";
+                }>>;
+            }, z.core.$strict>>>;
+            admin: z.ZodOptional<z.ZodObject<{
+                grant: z.ZodOptional<z.ZodArray<z.ZodEnum<{
+                    create: "create";
+                    delete: "delete";
+                    grant: "grant";
+                    read: "read";
+                    revoke: "revoke";
+                    traverse: "traverse";
+                    update: "update";
+                    use: "use";
+                }>>>;
+                revoke: z.ZodOptional<z.ZodArray<z.ZodEnum<{
+                    create: "create";
+                    delete: "delete";
+                    grant: "grant";
+                    read: "read";
+                    revoke: "revoke";
+                    traverse: "traverse";
+                    update: "update";
+                    use: "use";
+                }>>>;
+            }, z.core.$strict>>;
+        }, z.core.$strict>;
+        dependencies: z.ZodArray<z.ZodObject<{
+            origin: z.ZodString;
+            installation: z.ZodString;
+            target: z.ZodString;
+            readinessReceipt: z.ZodString;
+            meaningComparison: z.ZodString;
+        }, z.core.$strict>>;
+    }, z.core.$strict>>;
+    target: z.ZodNullable<z.ZodObject<{
+        origin: z.ZodString;
+        schemaRevision: z.ZodString;
+        schemaBundle: z.ZodString;
+        service: z.ZodDiscriminatedUnion<[z.ZodObject<{
+            kind: z.ZodLiteral<"local">;
+            artifact: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"remote">;
+            etag: z.ZodString;
+        }, z.core.$strict>], "kind">;
+        capabilities: z.ZodObject<{
+            functions: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            classes: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                class: z.ZodObject<{
+                    origin: z.ZodString;
+                    kind: z.ZodLiteral<"class">;
+                    name: z.ZodString;
+                }, z.core.$strict>;
+                operations: z.ZodArray<z.ZodEnum<{
+                    create: "create";
+                    delete: "delete";
+                    read: "read";
+                    traverse: "traverse";
+                    update: "update";
+                }>>;
+            }, z.core.$strict>>>;
+            admin: z.ZodOptional<z.ZodObject<{
+                grant: z.ZodOptional<z.ZodArray<z.ZodEnum<{
+                    create: "create";
+                    delete: "delete";
+                    grant: "grant";
+                    read: "read";
+                    revoke: "revoke";
+                    traverse: "traverse";
+                    update: "update";
+                    use: "use";
+                }>>>;
+                revoke: z.ZodOptional<z.ZodArray<z.ZodEnum<{
+                    create: "create";
+                    delete: "delete";
+                    grant: "grant";
+                    read: "read";
+                    revoke: "revoke";
+                    traverse: "traverse";
+                    update: "update";
+                    use: "use";
+                }>>>;
+            }, z.core.$strict>>;
+        }, z.core.$strict>;
+        dependencies: z.ZodArray<z.ZodObject<{
+            origin: z.ZodString;
+            installation: z.ZodString;
+            target: z.ZodString;
+            readinessReceipt: z.ZodString;
+            meaningComparison: z.ZodString;
+        }, z.core.$strict>>;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
+export declare const readinessReceipt: z.ZodObject<{
+    installation: z.ZodString;
+    target: z.ZodString;
+    transition: z.ZodString;
+    dependencies: z.ZodArray<z.ZodObject<{
+        origin: z.ZodString;
+        installation: z.ZodString;
+        target: z.ZodString;
+        readinessReceipt: z.ZodString;
+        meaningComparison: z.ZodString;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
+export declare const transitionReceipt: z.ZodObject<{
+    intent: z.ZodObject<{
+        transition: z.ZodString;
+        operation: z.ZodString;
+        installation: z.ZodString;
+        origin: z.ZodString;
+        source: z.ZodNullable<z.ZodObject<{
+            origin: z.ZodString;
+            schemaRevision: z.ZodString;
+            schemaBundle: z.ZodString;
+            service: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                kind: z.ZodLiteral<"local">;
+                artifact: z.ZodString;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"remote">;
+                etag: z.ZodString;
+            }, z.core.$strict>], "kind">;
+            capabilities: z.ZodObject<{
+                functions: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                classes: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                    class: z.ZodObject<{
+                        origin: z.ZodString;
+                        kind: z.ZodLiteral<"class">;
+                        name: z.ZodString;
+                    }, z.core.$strict>;
+                    operations: z.ZodArray<z.ZodEnum<{
+                        create: "create";
+                        delete: "delete";
+                        read: "read";
+                        traverse: "traverse";
+                        update: "update";
+                    }>>;
+                }, z.core.$strict>>>;
+                admin: z.ZodOptional<z.ZodObject<{
+                    grant: z.ZodOptional<z.ZodArray<z.ZodEnum<{
+                        create: "create";
+                        delete: "delete";
+                        grant: "grant";
+                        read: "read";
+                        revoke: "revoke";
+                        traverse: "traverse";
+                        update: "update";
+                        use: "use";
+                    }>>>;
+                    revoke: z.ZodOptional<z.ZodArray<z.ZodEnum<{
+                        create: "create";
+                        delete: "delete";
+                        grant: "grant";
+                        read: "read";
+                        revoke: "revoke";
+                        traverse: "traverse";
+                        update: "update";
+                        use: "use";
+                    }>>>;
+                }, z.core.$strict>>;
+            }, z.core.$strict>;
+            dependencies: z.ZodArray<z.ZodObject<{
+                origin: z.ZodString;
+                installation: z.ZodString;
+                target: z.ZodString;
+                readinessReceipt: z.ZodString;
+                meaningComparison: z.ZodString;
+            }, z.core.$strict>>;
+        }, z.core.$strict>>;
+        target: z.ZodNullable<z.ZodObject<{
+            origin: z.ZodString;
+            schemaRevision: z.ZodString;
+            schemaBundle: z.ZodString;
+            service: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                kind: z.ZodLiteral<"local">;
+                artifact: z.ZodString;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"remote">;
+                etag: z.ZodString;
+            }, z.core.$strict>], "kind">;
+            capabilities: z.ZodObject<{
+                functions: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                classes: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                    class: z.ZodObject<{
+                        origin: z.ZodString;
+                        kind: z.ZodLiteral<"class">;
+                        name: z.ZodString;
+                    }, z.core.$strict>;
+                    operations: z.ZodArray<z.ZodEnum<{
+                        create: "create";
+                        delete: "delete";
+                        read: "read";
+                        traverse: "traverse";
+                        update: "update";
+                    }>>;
+                }, z.core.$strict>>>;
+                admin: z.ZodOptional<z.ZodObject<{
+                    grant: z.ZodOptional<z.ZodArray<z.ZodEnum<{
+                        create: "create";
+                        delete: "delete";
+                        grant: "grant";
+                        read: "read";
+                        revoke: "revoke";
+                        traverse: "traverse";
+                        update: "update";
+                        use: "use";
+                    }>>>;
+                    revoke: z.ZodOptional<z.ZodArray<z.ZodEnum<{
+                        create: "create";
+                        delete: "delete";
+                        grant: "grant";
+                        read: "read";
+                        revoke: "revoke";
+                        traverse: "traverse";
+                        update: "update";
+                        use: "use";
+                    }>>>;
+                }, z.core.$strict>>;
+            }, z.core.$strict>;
+            dependencies: z.ZodArray<z.ZodObject<{
+                origin: z.ZodString;
+                installation: z.ZodString;
+                target: z.ZodString;
+                readinessReceipt: z.ZodString;
+                meaningComparison: z.ZodString;
+            }, z.core.$strict>>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>;
+    phase: z.ZodEnum<{
+        converge: "converge";
+        cutover: "cutover";
+    }>;
+    state: z.ZodLiteral<"committed">;
+    readiness: z.ZodOptional<z.ZodObject<{
+        installation: z.ZodString;
+        target: z.ZodString;
+        transition: z.ZodString;
+        dependencies: z.ZodArray<z.ZodObject<{
+            origin: z.ZodString;
+            installation: z.ZodString;
+            target: z.ZodString;
+            readinessReceipt: z.ZodString;
+            meaningComparison: z.ZodString;
+        }, z.core.$strict>>;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
+//# sourceMappingURL=installation.d.ts.map

package/dist/schema/kernel/syscalls/contracts/installation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"installation.d.ts","sourceRoot":"","sources":["../../../../../schema/kernel/syscalls/contracts/installation.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAEvB,OAAO,EAAE,iBAAiB,EAAE,MAAM,uCAAuC,CAAA;AAEzE,OAAO,EAAE,iBAAiB,EAAE,CAAA;AAE5B,eAAO,MAAM,gBAAgB,aAAoB,CAAA;AACjD,eAAO,MAAM,kBAAkB,aAA2D,CAAA;AAE1F,eAAO,MAAM,WAAW;;;;kBAItB,CAAA;AAEF,eAAO,MAAM,6BAA6B;;;;;;kBAMxC,CAAA;AAEF,eAAO,MAAM,aAAa;;;;;;4BASxB,CAAA;AAsCF,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAO7B,CAAA;AAEF,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAO3B,CAAA;AAEF,eAAO,MAAM,gBAAgB;;;;;;;;;;;kBAK3B,CAAA;AAEF,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAK5B,CAAA"}

package/dist/schema/kernel/syscalls/contracts/installation.js

@@ -0,0 +1,88 @@
+import { fullMatch } from '@astrale-os/kernel-dsl/v1';
+import { z } from 'zod';
+import { operationIdSchema } from '../../../installation/operation-id.js';
+export { operationIdSchema };
+export const installationText = z.string().min(1);
+export const installationDigest = installationText.check(fullMatch('sha256:[0-9a-f]{64}'));
+export const artifactRef = z.strictObject({
+    digest: installationDigest,
+    mediaType: installationText,
+    size: z.number().int().min(0).max(Number.MAX_SAFE_INTEGER),
+});
+export const dependencyReadinessCoordinate = z.strictObject({
+    origin: installationText,
+    installation: installationText,
+    target: installationDigest,
+    readinessReceipt: installationDigest,
+    meaningComparison: installationDigest,
+});
+export const serviceTarget = z.discriminatedUnion('kind', [
+    z.strictObject({
+        kind: z.literal('local'),
+        artifact: installationDigest,
+    }),
+    z.strictObject({
+        kind: z.literal('remote'),
+        etag: installationDigest,
+    }),
+]);
+const authorityOperation = z.enum([
+    'use',
+    'create',
+    'read',
+    'traverse',
+    'update',
+    'delete',
+    'grant',
+    'revoke',
+]);
+const classOperation = z.enum(['create', 'read', 'traverse', 'update', 'delete']);
+const capabilityRequirements = z.strictObject({
+    functions: z.array(installationText).min(1).optional(),
+    classes: z
+        .array(z.strictObject({
+        class: z.strictObject({
+            origin: installationText,
+            kind: z.literal('class'),
+            name: installationText,
+        }),
+        operations: z.array(classOperation).min(1),
+    }))
+        .min(1)
+        .optional(),
+    admin: z
+        .strictObject({
+        grant: z.array(authorityOperation).min(1).optional(),
+        revoke: z.array(authorityOperation).min(1).optional(),
+    })
+        .optional(),
+});
+export const installationTarget = z.strictObject({
+    origin: installationText,
+    schemaRevision: installationText,
+    schemaBundle: installationDigest,
+    service: serviceTarget,
+    capabilities: capabilityRequirements,
+    dependencies: z.array(dependencyReadinessCoordinate),
+});
+export const transitionIntent = z.strictObject({
+    transition: installationText,
+    operation: operationIdSchema,
+    installation: installationText,
+    origin: installationText,
+    source: installationTarget.nullable(),
+    target: installationTarget.nullable(),
+});
+export const readinessReceipt = z.strictObject({
+    installation: installationText,
+    target: installationDigest,
+    transition: installationText,
+    dependencies: z.array(dependencyReadinessCoordinate),
+});
+export const transitionReceipt = z.strictObject({
+    intent: transitionIntent,
+    phase: z.enum(['cutover', 'converge']),
+    state: z.literal('committed'),
+    readiness: readinessReceipt.optional(),
+});
+//# sourceMappingURL=installation.js.map

package/dist/schema/kernel/syscalls/contracts/installation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"installation.js","sourceRoot":"","sources":["../../../../../schema/kernel/syscalls/contracts/installation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAA;AACrD,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAEvB,OAAO,EAAE,iBAAiB,EAAE,MAAM,uCAAuC,CAAA;AAEzE,OAAO,EAAE,iBAAiB,EAAE,CAAA;AAE5B,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;AACjD,MAAM,CAAC,MAAM,kBAAkB,GAAG,gBAAgB,CAAC,KAAK,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAC,CAAA;AAE1F,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,CAAC,YAAY,CAAC;IACxC,MAAM,EAAE,kBAAkB;IAC1B,SAAS,EAAE,gBAAgB;IAC3B,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,gBAAgB,CAAC;CAC3D,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAAC,CAAC,YAAY,CAAC;IAC1D,MAAM,EAAE,gBAAgB;IACxB,YAAY,EAAE,gBAAgB;IAC9B,MAAM,EAAE,kBAAkB;IAC1B,gBAAgB,EAAE,kBAAkB;IACpC,iBAAiB,EAAE,kBAAkB;CACtC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAC,kBAAkB,CAAC,MAAM,EAAE;IACxD,CAAC,CAAC,YAAY,CAAC;QACb,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC;QACxB,QAAQ,EAAE,kBAAkB;KAC7B,CAAC;IACF,CAAC,CAAC,YAAY,CAAC;QACb,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC;QACzB,IAAI,EAAE,kBAAkB;KACzB,CAAC;CACH,CAAC,CAAA;AAEF,MAAM,kBAAkB,GAAG,CAAC,CAAC,IAAI,CAAC;IAChC,KAAK;IACL,QAAQ;IACR,MAAM;IACN,UAAU;IACV,QAAQ;IACR,QAAQ;IACR,OAAO;IACP,QAAQ;CACT,CAAC,CAAA;AAEF,MAAM,cAAc,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAA;AAEjF,MAAM,sBAAsB,GAAG,CAAC,CAAC,YAAY,CAAC;IAC5C,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IACtD,OAAO,EAAE,CAAC;SACP,KAAK,CACJ,CAAC,CAAC,YAAY,CAAC;QACb,KAAK,EAAE,CAAC,CAAC,YAAY,CAAC;YACpB,MAAM,EAAE,gBAAgB;YACxB,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC;YACxB,IAAI,EAAE,gBAAgB;SACvB,CAAC;QACF,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;KAC3C,CAAC,CACH;SACA,GAAG,CAAC,CAAC,CAAC;SACN,QAAQ,EAAE;IACb,KAAK,EAAE,CAAC;SACL,YAAY,CAAC;QACZ,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;QACpD,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;KACtD,CAAC;SACD,QAAQ,EAAE;CACd,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,CAAC,YAAY,CAAC;IAC/C,MAAM,EAAE,gBAAgB;IACxB,cAAc,EAAE,gBAAgB;IAChC,YAAY,EAAE,kBAAkB;IAChC,OAAO,EAAE,aAAa;IACtB,YAAY,EAAE,sBAAsB;IACpC,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,6BAA6B,CAAC;CACrD,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAC,YAAY,CAAC;IAC7C,UAAU,EAAE,gBAAgB;IAC5B,SAAS,EAAE,iBAAiB;IAC5B,YAAY,EAAE,gBAAgB;IAC9B,MAAM,EAAE,gBAAgB;IACxB,MAAM,EAAE,kBAAkB,CAAC,QAAQ,EAAE;IACrC,MAAM,EAAE,kBAAkB,CAAC,QAAQ,EAAE;CACtC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAC,YAAY,CAAC;IAC7C,YAAY,EAAE,gBAAgB;IAC9B,MAAM,EAAE,kBAAkB;IAC1B,UAAU,EAAE,gBAAgB;IAC5B,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,6BAA6B,CAAC;CACrD,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC,YAAY,CAAC;IAC9C,MAAM,EAAE,gBAAgB;IACxB,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;IACtC,KAAK,EAAE,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC;IAC7B,SAAS,EAAE,gBAAgB,CAAC,QAAQ,EAAE;CACvC,CAAC,CAAA"}

package/dist/schema/kernel/syscalls/contracts/introspect.d.ts

@@ -0,0 +1,16 @@
+import { z } from 'zod';
+export declare const introspectInput: z.ZodObject<{
+    from: z.ZodObject<{
+        kind: z.ZodLiteral<"installation">;
+        origin: z.ZodString;
+    }, z.core.$strict>;
+    select: z.ZodObject<{
+        state: z.ZodOptional<z.ZodLiteral<true>>;
+        target: z.ZodOptional<z.ZodLiteral<true>>;
+        source: z.ZodOptional<z.ZodLiteral<true>>;
+        bundle: z.ZodOptional<z.ZodLiteral<true>>;
+        readiness: z.ZodOptional<z.ZodLiteral<true>>;
+        capabilities: z.ZodOptional<z.ZodLiteral<true>>;
+    }, z.core.$strict>;
+}, z.core.$strict>;
+//# sourceMappingURL=introspect.d.ts.map

package/dist/schema/kernel/syscalls/contracts/introspect.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"introspect.d.ts","sourceRoot":"","sources":["../../../../../schema/kernel/syscalls/contracts/introspect.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAWvB,eAAO,MAAM,eAAe;;;;;;;;;;;;;kBAM1B,CAAA"}

package/dist/schema/kernel/syscalls/contracts/introspect.js

@@ -0,0 +1,17 @@
+import { z } from 'zod';
+const selection = z.strictObject({
+    state: z.literal(true).optional(),
+    target: z.literal(true).optional(),
+    source: z.literal(true).optional(),
+    bundle: z.literal(true).optional(),
+    readiness: z.literal(true).optional(),
+    capabilities: z.literal(true).optional(),
+});
+export const introspectInput = z.strictObject({
+    from: z.strictObject({
+        kind: z.literal('installation'),
+        origin: z.string().min(1),
+    }),
+    select: selection,
+});
+//# sourceMappingURL=introspect.js.map

package/dist/schema/kernel/syscalls/contracts/introspect.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"introspect.js","sourceRoot":"","sources":["../../../../../schema/kernel/syscalls/contracts/introspect.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAEvB,MAAM,SAAS,GAAG,CAAC,CAAC,YAAY,CAAC;IAC/B,KAAK,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE;IACjC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE;IAClC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE;IAClC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE;IAClC,SAAS,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE;IACrC,YAAY,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE;CACzC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAC,YAAY,CAAC;IAC5C,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC;QACnB,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC;QAC/B,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;KAC1B,CAAC;IACF,MAAM,EAAE,SAAS;CAClB,CAAC,CAAA"}

package/dist/schema/kernel/syscalls/contracts/journal.d.ts

@@ -1,5 +1,9 @@
 import { z } from 'zod';
 export declare const journalInput: z.ZodObject<{
+    invocation: z.ZodOptional<z.ZodObject<{
+        source: z.ZodString;
+        id: z.ZodString;
+    }, z.core.$strict>>;
     topics: z.ZodOptional<z.ZodObject<{
         exact: z.ZodOptional<z.ZodArray<z.ZodString>>;
         prefixes: z.ZodOptional<z.ZodArray<z.ZodString>>;
@@ -12,6 +16,13 @@ export declare const journalInput: z.ZodObject<{
 }, z.core.$strict>;
 export declare const journalOutput: z.ZodObject<{
     records: z.ZodArray<z.ZodUnknown>;
+    frontier: z.ZodObject<{
+        id: z.ZodString;
+        first: z.ZodOptional<z.ZodNumber>;
+        committed: z.ZodNumber;
+        durable: z.ZodNumber;
+    }, z.core.$strict>;
     cursor: z.ZodOptional<z.ZodString>;
+    gap: z.ZodOptional<z.ZodUnknown>;
 }, z.core.$strict>;
 //# sourceMappingURL=journal.d.ts.map

package/dist/schema/kernel/syscalls/contracts/journal.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"journal.d.ts","sourceRoot":"","sources":["../../../../../schema/kernel/syscalls/contracts/journal.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAQvB,eAAO,MAAM,YAAY;;;;;;;;;;kBAOvB,CAAA;AAEF,eAAO,MAAM,aAAa;;;kBAGxB,CAAA"}
+{"version":3,"file":"journal.d.ts","sourceRoot":"","sources":["../../../../../schema/kernel/syscalls/contracts/journal.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAQvB,eAAO,MAAM,YAAY;;;;;;;;;;;;;;kBAQvB,CAAA;AAEF,eAAO,MAAM,aAAa;;;;;;;;;;kBAUxB,CAAA"}

package/dist/schema/kernel/syscalls/contracts/journal.js

@@ -5,6 +5,7 @@ const eventTopicPattern = z.strictObject({
     prefixes: z.array(text).optional(),
 });
 export const journalInput = z.strictObject({
+    invocation: z.strictObject({ source: text, id: text }).optional(),
     topics: eventTopicPattern.optional(),
     principal: text.optional(),
     since: text.optional(),
@@ -14,6 +15,13 @@ export const journalInput = z.strictObject({
 });
 export const journalOutput = z.strictObject({
     records: z.array(z.unknown()),
+    frontier: z.strictObject({
+        id: text,
+        first: z.number().int().min(1).optional(),
+        committed: z.number().int().min(0),
+        durable: z.number().int().min(0),
+    }),
     cursor: text.optional(),
+    gap: z.unknown().optional(),
 });
 //# sourceMappingURL=journal.js.map

package/dist/schema/kernel/syscalls/contracts/journal.js.map

@@ -1 +1 @@
-{"version":3,"file":"journal.js","sourceRoot":"","sources":["../../../../../schema/kernel/syscalls/contracts/journal.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAEvB,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;AAC9B,MAAM,iBAAiB,GAAG,CAAC,CAAC,YAAY,CAAC;IACvC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE;IAC/B,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE;CACnC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,CAAC,YAAY,CAAC;IACzC,MAAM,EAAE,iBAAiB,CAAC,QAAQ,EAAE;IACpC,SAAS,EAAE,IAAI,CAAC,QAAQ,EAAE;IAC1B,KAAK,EAAE,IAAI,CAAC,QAAQ,EAAE;IACtB,KAAK,EAAE,IAAI,CAAC,QAAQ,EAAE;IACtB,MAAM,EAAE,IAAI,CAAC,QAAQ,EAAE;IACvB,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;CAC1C,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAC,YAAY,CAAC;IAC1C,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC7B,MAAM,EAAE,IAAI,CAAC,QAAQ,EAAE;CACxB,CAAC,CAAA"}
+{"version":3,"file":"journal.js","sourceRoot":"","sources":["../../../../../schema/kernel/syscalls/contracts/journal.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAEvB,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;AAC9B,MAAM,iBAAiB,GAAG,CAAC,CAAC,YAAY,CAAC;IACvC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE;IAC/B,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE;CACnC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,CAAC,YAAY,CAAC;IACzC,UAAU,EAAE,CAAC,CAAC,YAAY,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,QAAQ,EAAE;IACjE,MAAM,EAAE,iBAAiB,CAAC,QAAQ,EAAE;IACpC,SAAS,EAAE,IAAI,CAAC,QAAQ,EAAE;IAC1B,KAAK,EAAE,IAAI,CAAC,QAAQ,EAAE;IACtB,KAAK,EAAE,IAAI,CAAC,QAAQ,EAAE;IACtB,MAAM,EAAE,IAAI,CAAC,QAAQ,EAAE;IACvB,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;CAC1C,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAC,YAAY,CAAC;IAC1C,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC7B,QAAQ,EAAE,CAAC,CAAC,YAAY,CAAC;QACvB,EAAE,EAAE,IAAI;QACR,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;QACzC,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAClC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;KACjC,CAAC;IACF,MAAM,EAAE,IAAI,CAAC,QAAQ,EAAE;IACvB,GAAG,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;CAC5B,CAAC,CAAA"}

package/dist/schema/kernel/syscalls/contracts/provision.js

@@ -1,6 +1,6 @@
 import { z } from 'zod';
 import { mutationAstSchema } from '#graph/mutate/wire';
-import { requiredClaimsSchema } from '../../../authority/index.js';
+import { requiredClaimsSchema } from '../../../authority/claims.js';
 const text = z.string().min(1);
 const requiredClaims = requiredClaimsSchema.optional();
 const asserted = z.strictObject({ issuer: text, subject: text, requiredClaims });

package/dist/schema/kernel/syscalls/contracts/provision.js.map

@@ -1 +1 @@
-{"version":3,"file":"provision.js","sourceRoot":"","sources":["../../../../../schema/kernel/syscalls/contracts/provision.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAEvB,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAA;AAEtD,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAA;AAElE,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;AAC9B,MAAM,cAAc,GAAG,oBAAoB,CAAC,QAAQ,EAAE,CAAA;AACtD,MAAM,QAAQ,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC,CAAA;AAChF,MAAM,IAAI,GAAG,CAAC,CAAC,YAAY,CAAC;IAC1B,WAAW,EAAE,CAAC,CAAC,YAAY,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IACpE,cAAc;CACf,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,CAAC,YAAY,CAAC;IAC3C,cAAc,EAAE,IAAI;IACpB,QAAQ,EAAE,iBAAiB;IAC3B,UAAU,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC;CAC5D,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAC,YAAY,CAAC;IAC5C,YAAY,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,IAAI,CAAC;IACxC,UAAU,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;CAClF,CAAC,CAAA"}
+{"version":3,"file":"provision.js","sourceRoot":"","sources":["../../../../../schema/kernel/syscalls/contracts/provision.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAEvB,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAA;AAEtD,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAA;AAEnE,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;AAC9B,MAAM,cAAc,GAAG,oBAAoB,CAAC,QAAQ,EAAE,CAAA;AACtD,MAAM,QAAQ,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC,CAAA;AAChF,MAAM,IAAI,GAAG,CAAC,CAAC,YAAY,CAAC;IAC1B,WAAW,EAAE,CAAC,CAAC,YAAY,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IACpE,cAAc;CACf,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,CAAC,YAAY,CAAC;IAC3C,cAAc,EAAE,IAAI;IACpB,QAAQ,EAAE,iBAAiB;IAC3B,UAAU,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC;CAC5D,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAC,YAAY,CAAC;IAC5C,YAAY,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,IAAI,CAAC;IACxC,UAAU,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;CAClF,CAAC,CAAA"}