@astrale-os/kernel-core 0.9.0-beta.26 → 0.9.0-beta.28

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (54) hide show
  1. package/CHANGELOG.md +23 -0
  2. package/dist/dns-label.d.ts +1 -2
  3. package/dist/dns-label.js +2 -3
  4. package/dist/graph/graph/model/wire.d.ts +78 -78
  5. package/dist/graph/graph/model/wire.js +18 -19
  6. package/dist/graph/mutate/language/wire.d.ts +215 -215
  7. package/dist/graph/mutate/language/wire.js +42 -47
  8. package/dist/graph/mutate/result/wire.d.ts +3 -4
  9. package/dist/graph/mutate/result/wire.js +4 -4
  10. package/dist/graph/node/identity/id.d.ts +1 -2
  11. package/dist/graph/node/identity/id.js +2 -3
  12. package/dist/graph/query/language/wire.d.ts +113 -114
  13. package/dist/graph/query/language/wire.js +47 -47
  14. package/dist/graph/query/result/wire.d.ts +93 -94
  15. package/dist/graph/query/result/wire.js +20 -20
  16. package/dist/schema/authority/claims.d.ts +24 -25
  17. package/dist/schema/authority/claims.js +8 -8
  18. package/dist/schema/installation/operation-id.d.ts +1 -2
  19. package/dist/schema/installation/operation-id.js +2 -4
  20. package/dist/schema/kernel/syscalls/contracts/admit.d.ts +11 -12
  21. package/dist/schema/kernel/syscalls/contracts/admit.js +9 -9
  22. package/dist/schema/kernel/syscalls/contracts/can.d.ts +7 -8
  23. package/dist/schema/kernel/syscalls/contracts/can.js +4 -4
  24. package/dist/schema/kernel/syscalls/contracts/delegate.d.ts +6 -7
  25. package/dist/schema/kernel/syscalls/contracts/delegate.js +5 -5
  26. package/dist/schema/kernel/syscalls/contracts/expected.d.ts +4 -5
  27. package/dist/schema/kernel/syscalls/contracts/expected.js +5 -5
  28. package/dist/schema/kernel/syscalls/contracts/identity.d.ts +18 -19
  29. package/dist/schema/kernel/syscalls/contracts/identity.js +6 -6
  30. package/dist/schema/kernel/syscalls/contracts/install.d.ts +67 -68
  31. package/dist/schema/kernel/syscalls/contracts/install.js +9 -9
  32. package/dist/schema/kernel/syscalls/contracts/installation.d.ts +72 -73
  33. package/dist/schema/kernel/syscalls/contracts/installation.js +12 -12
  34. package/dist/schema/kernel/syscalls/contracts/introspect.d.ts +4 -5
  35. package/dist/schema/kernel/syscalls/contracts/introspect.js +4 -4
  36. package/dist/schema/kernel/syscalls/contracts/journal.d.ts +26 -27
  37. package/dist/schema/kernel/syscalls/contracts/journal.js +15 -15
  38. package/dist/schema/kernel/syscalls/contracts/mint.d.ts +6 -7
  39. package/dist/schema/kernel/syscalls/contracts/mint.js +5 -5
  40. package/dist/schema/kernel/syscalls/contracts/mutate.d.ts +223 -224
  41. package/dist/schema/kernel/syscalls/contracts/mutate.js +2 -2
  42. package/dist/schema/kernel/syscalls/contracts/provision.d.ts +267 -268
  43. package/dist/schema/kernel/syscalls/contracts/provision.js +15 -17
  44. package/dist/schema/kernel/syscalls/contracts/query.d.ts +221 -222
  45. package/dist/schema/kernel/syscalls/contracts/query.js +7 -7
  46. package/dist/schema/kernel/syscalls/contracts/uninstall.d.ts +36 -37
  47. package/dist/schema/kernel/syscalls/contracts/uninstall.js +3 -3
  48. package/dist/schema/kernel/syscalls/contracts/view-resolve.d.ts +31 -32
  49. package/dist/schema/kernel/syscalls/contracts/view-resolve.js +23 -23
  50. package/dist/schema/kernel/syscalls/contracts/whoami.d.ts +19 -20
  51. package/dist/schema/kernel/syscalls/contracts/whoami.js +2 -2
  52. package/dist/schema/kernel/syscalls/contracts/whois.d.ts +22 -23
  53. package/dist/schema/kernel/syscalls/contracts/whois.js +3 -3
  54. package/package.json +2 -2
@@ -1,45 +1,44 @@
1
- import { z } from 'zod';
2
1
  import type { OperationId } from '../../../installation/operation-id.js';
3
2
  import type { TransitionReceipt } from './install.js';
4
- export declare const uninstallInput: z.ZodObject<{
5
- operation: z.ZodString;
6
- origin: z.ZodString;
7
- }, z.core.$strict>;
8
- export declare const uninstallOutput: z.ZodObject<{
9
- operation: z.ZodString;
10
- transition: z.ZodObject<{
11
- intent: z.ZodObject<{
12
- transition: z.ZodString;
13
- operation: z.ZodString;
14
- origin: z.ZodString;
15
- previous: z.ZodNullable<z.ZodObject<{
16
- origin: z.ZodString;
17
- revision: z.ZodString;
18
- generation: z.ZodString;
19
- }, z.core.$strict>>;
20
- generation: z.ZodNullable<z.ZodObject<{
21
- origin: z.ZodString;
22
- revision: z.ZodString;
23
- generation: z.ZodString;
24
- }, z.core.$strict>>;
25
- }, z.core.$strict>;
26
- phase: z.ZodEnum<{
3
+ export declare const uninstallInput: import("zod").ZodObject<{
4
+ operation: import("zod").ZodString;
5
+ origin: import("zod").ZodString;
6
+ }, import("zod/v4/core").$strict>;
7
+ export declare const uninstallOutput: import("zod").ZodObject<{
8
+ operation: import("zod").ZodString;
9
+ transition: import("zod").ZodObject<{
10
+ intent: import("zod").ZodObject<{
11
+ transition: import("zod").ZodString;
12
+ operation: import("zod").ZodString;
13
+ origin: import("zod").ZodString;
14
+ previous: import("zod").ZodNullable<import("zod").ZodObject<{
15
+ origin: import("zod").ZodString;
16
+ revision: import("zod").ZodString;
17
+ generation: import("zod").ZodString;
18
+ }, import("zod/v4/core").$strict>>;
19
+ generation: import("zod").ZodNullable<import("zod").ZodObject<{
20
+ origin: import("zod").ZodString;
21
+ revision: import("zod").ZodString;
22
+ generation: import("zod").ZodString;
23
+ }, import("zod/v4/core").$strict>>;
24
+ }, import("zod/v4/core").$strict>;
25
+ phase: import("zod").ZodEnum<{
27
26
  converge: "converge";
28
27
  cutover: "cutover";
29
28
  }>;
30
- state: z.ZodLiteral<"committed">;
31
- readiness: z.ZodOptional<z.ZodObject<{
32
- generation: z.ZodString;
33
- transition: z.ZodString;
34
- dependencies: z.ZodArray<z.ZodObject<{
35
- origin: z.ZodString;
36
- generation: z.ZodString;
37
- readiness: z.ZodString;
38
- meaning: z.ZodString;
39
- }, z.core.$strict>>;
40
- }, z.core.$strict>>;
41
- }, z.core.$strict>;
42
- }, z.core.$strict>;
29
+ state: import("zod").ZodLiteral<"committed">;
30
+ readiness: import("zod").ZodOptional<import("zod").ZodObject<{
31
+ generation: import("zod").ZodString;
32
+ transition: import("zod").ZodString;
33
+ dependencies: import("zod").ZodArray<import("zod").ZodObject<{
34
+ origin: import("zod").ZodString;
35
+ generation: import("zod").ZodString;
36
+ readiness: import("zod").ZodString;
37
+ meaning: import("zod").ZodString;
38
+ }, import("zod/v4/core").$strict>>;
39
+ }, import("zod/v4/core").$strict>>;
40
+ }, import("zod/v4/core").$strict>;
41
+ }, import("zod/v4/core").$strict>;
43
42
  export interface UninstallInput {
44
43
  readonly operation: OperationId;
45
44
  readonly origin: string;
@@ -1,10 +1,10 @@
1
- import { z } from 'zod';
1
+ import { strictObject } from 'zod';
2
2
  import { installationText, operationIdSchema, transitionReceipt } from './installation.js';
3
- export const uninstallInput = z.strictObject({
3
+ export const uninstallInput = strictObject({
4
4
  operation: operationIdSchema,
5
5
  origin: installationText,
6
6
  });
7
- export const uninstallOutput = z.strictObject({
7
+ export const uninstallOutput = strictObject({
8
8
  operation: operationIdSchema,
9
9
  transition: transitionReceipt,
10
10
  });
@@ -1,35 +1,34 @@
1
- import { z } from 'zod';
2
- export declare const viewResolveInput: z.ZodObject<{
3
- target: z.ZodString;
4
- }, z.core.$strict>;
5
- export declare const viewResolveOutput: z.ZodObject<{
6
- snapshot: z.ZodString;
7
- views: z.ZodArray<z.ZodObject<{
8
- key: z.ZodString;
9
- declaration: z.ZodObject<{
10
- description: z.ZodOptional<z.ZodString>;
11
- target: z.ZodDiscriminatedUnion<[z.ZodObject<{
12
- kind: z.ZodLiteral<"domain">;
13
- }, z.core.$strict>, z.ZodObject<{
14
- kind: z.ZodLiteral<"definition">;
15
- definitions: z.ZodArray<z.ZodObject<{
16
- origin: z.ZodString;
17
- kind: z.ZodLiteral<"class">;
18
- name: z.ZodString;
19
- }, z.core.$strict>>;
20
- }, z.core.$strict>], "kind">;
21
- }, z.core.$strict>;
22
- href: z.ZodString;
23
- handshake: z.ZodEnum<{
1
+ export declare const viewResolveInput: import("zod").ZodObject<{
2
+ target: import("zod").ZodString;
3
+ }, import("zod/v4/core").$strict>;
4
+ export declare const viewResolveOutput: import("zod").ZodObject<{
5
+ snapshot: import("zod").ZodString;
6
+ views: import("zod").ZodArray<import("zod").ZodObject<{
7
+ key: import("zod").ZodString;
8
+ declaration: import("zod").ZodObject<{
9
+ description: import("zod").ZodOptional<import("zod").ZodString>;
10
+ target: import("zod").ZodDiscriminatedUnion<[import("zod").ZodObject<{
11
+ kind: import("zod").ZodLiteral<"domain">;
12
+ }, import("zod/v4/core").$strict>, import("zod").ZodObject<{
13
+ kind: import("zod").ZodLiteral<"definition">;
14
+ definitions: import("zod").ZodArray<import("zod").ZodObject<{
15
+ origin: import("zod").ZodString;
16
+ kind: import("zod").ZodLiteral<"class">;
17
+ name: import("zod").ZodString;
18
+ }, import("zod/v4/core").$strict>>;
19
+ }, import("zod/v4/core").$strict>], "kind">;
20
+ }, import("zod/v4/core").$strict>;
21
+ href: import("zod").ZodString;
22
+ handshake: import("zod").ZodEnum<{
24
23
  none: "none";
25
24
  shell: "shell";
26
25
  }>;
27
- iframe: z.ZodOptional<z.ZodObject<{
28
- sandbox: z.ZodOptional<z.ZodArray<z.ZodString>>;
29
- allow: z.ZodOptional<z.ZodArray<z.ZodString>>;
30
- }, z.core.$strict>>;
31
- issuer: z.ZodString;
32
- etag: z.ZodString;
33
- revision: z.ZodString;
34
- }, z.core.$strict>>;
35
- }, z.core.$strict>;
26
+ iframe: import("zod").ZodOptional<import("zod").ZodObject<{
27
+ sandbox: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodString>>;
28
+ allow: import("zod").ZodOptional<import("zod").ZodArray<import("zod").ZodString>>;
29
+ }, import("zod/v4/core").$strict>>;
30
+ issuer: import("zod").ZodString;
31
+ etag: import("zod").ZodString;
32
+ revision: import("zod").ZodString;
33
+ }, import("zod/v4/core").$strict>>;
34
+ }, import("zod/v4/core").$strict>;
@@ -1,33 +1,33 @@
1
1
  import { patterns } from '@astrale-os/kernel-dsl/v1/addressing';
2
2
  import { fullMatch } from '@astrale-os/kernel-dsl/v1/value/full-match';
3
- import { z } from 'zod';
4
- const definition = z.strictObject({
5
- origin: z.string().check(fullMatch(patterns.originFullMatch)),
6
- kind: z.literal('class'),
7
- name: z.string().check(fullMatch(patterns.memberNameFullMatch)),
3
+ import { array, discriminatedUnion, enum as enumeration, literal, strictObject, string } from 'zod';
4
+ const definition = strictObject({
5
+ origin: string().check(fullMatch(patterns.originFullMatch)),
6
+ kind: literal('class'),
7
+ name: string().check(fullMatch(patterns.memberNameFullMatch)),
8
8
  });
9
- const declaration = z.strictObject({
10
- description: z.string().optional(),
11
- target: z.discriminatedUnion('kind', [
12
- z.strictObject({ kind: z.literal('domain') }),
13
- z.strictObject({ kind: z.literal('definition'), definitions: z.array(definition).min(1) }),
9
+ const declaration = strictObject({
10
+ description: string().optional(),
11
+ target: discriminatedUnion('kind', [
12
+ strictObject({ kind: literal('domain') }),
13
+ strictObject({ kind: literal('definition'), definitions: array(definition).min(1) }),
14
14
  ]),
15
15
  });
16
- const iframeRequirements = z.strictObject({
17
- sandbox: z.array(z.string()).optional(),
18
- allow: z.array(z.string()).optional(),
16
+ const iframeRequirements = strictObject({
17
+ sandbox: array(string()).optional(),
18
+ allow: array(string()).optional(),
19
19
  });
20
- export const viewResolveInput = z.strictObject({ target: z.string().min(1) });
21
- export const viewResolveOutput = z.strictObject({
22
- snapshot: z.string().min(1),
23
- views: z.array(z.strictObject({
24
- key: z.string().min(1),
20
+ export const viewResolveInput = strictObject({ target: string().min(1) });
21
+ export const viewResolveOutput = strictObject({
22
+ snapshot: string().min(1),
23
+ views: array(strictObject({
24
+ key: string().min(1),
25
25
  declaration,
26
- href: z.string().min(1),
27
- handshake: z.enum(['shell', 'none']),
26
+ href: string().min(1),
27
+ handshake: enumeration(['shell', 'none']),
28
28
  iframe: iframeRequirements.optional(),
29
- issuer: z.string().min(1),
30
- etag: z.string().min(1),
31
- revision: z.string().min(1),
29
+ issuer: string().min(1),
30
+ etag: string().min(1),
31
+ revision: string().min(1),
32
32
  })),
33
33
  });
@@ -1,20 +1,19 @@
1
- import { z } from 'zod';
2
- export declare const whoamiInput: z.ZodObject<{}, z.core.$strict>;
3
- export declare const whoamiOutput: z.ZodObject<{
4
- id: z.ZodString;
5
- iss: z.ZodString;
6
- sub: z.ZodString;
7
- frozen: z.ZodBoolean;
8
- requiredClaims: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
9
- claim: z.ZodString;
10
- op: z.ZodLiteral<"contains">;
11
- value: z.ZodNonOptional<z.ZodUnknown>;
12
- }, z.core.$strict>, z.ZodObject<{
13
- claim: z.ZodString;
14
- op: z.ZodLiteral<"eq">;
15
- value: z.ZodNonOptional<z.ZodUnknown>;
16
- }, z.core.$strict>, z.ZodObject<{
17
- claim: z.ZodString;
18
- op: z.ZodLiteral<"exists">;
19
- }, z.core.$strict>], "op">>;
20
- }, z.core.$strict>;
1
+ export declare const whoamiInput: import("zod").ZodObject<{}, import("zod/v4/core").$strict>;
2
+ export declare const whoamiOutput: import("zod").ZodObject<{
3
+ id: import("zod").ZodString;
4
+ iss: import("zod").ZodString;
5
+ sub: import("zod").ZodString;
6
+ frozen: import("zod").ZodBoolean;
7
+ requiredClaims: import("zod").ZodArray<import("zod").ZodDiscriminatedUnion<[import("zod").ZodObject<{
8
+ claim: import("zod").ZodString;
9
+ op: import("zod").ZodLiteral<"contains">;
10
+ value: import("zod").ZodNonOptional<import("zod").ZodUnknown>;
11
+ }, import("zod/v4/core").$strict>, import("zod").ZodObject<{
12
+ claim: import("zod").ZodString;
13
+ op: import("zod").ZodLiteral<"eq">;
14
+ value: import("zod").ZodNonOptional<import("zod").ZodUnknown>;
15
+ }, import("zod/v4/core").$strict>, import("zod").ZodObject<{
16
+ claim: import("zod").ZodString;
17
+ op: import("zod").ZodLiteral<"exists">;
18
+ }, import("zod/v4/core").$strict>], "op">>;
19
+ }, import("zod/v4/core").$strict>;
@@ -1,4 +1,4 @@
1
- import { z } from 'zod';
1
+ import { strictObject } from 'zod';
2
2
  import { identityOutput } from './identity.js';
3
- export const whoamiInput = z.strictObject({});
3
+ export const whoamiInput = strictObject({});
4
4
  export const whoamiOutput = identityOutput;
@@ -1,23 +1,22 @@
1
- import { z } from 'zod';
2
- export declare const whoisInput: z.ZodObject<{
3
- iss: z.ZodString;
4
- sub: z.ZodString;
5
- }, z.core.$strict>;
6
- export declare const whoisOutput: z.ZodNullable<z.ZodObject<{
7
- id: z.ZodString;
8
- iss: z.ZodString;
9
- sub: z.ZodString;
10
- frozen: z.ZodBoolean;
11
- requiredClaims: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
12
- claim: z.ZodString;
13
- op: z.ZodLiteral<"contains">;
14
- value: z.ZodNonOptional<z.ZodUnknown>;
15
- }, z.core.$strict>, z.ZodObject<{
16
- claim: z.ZodString;
17
- op: z.ZodLiteral<"eq">;
18
- value: z.ZodNonOptional<z.ZodUnknown>;
19
- }, z.core.$strict>, z.ZodObject<{
20
- claim: z.ZodString;
21
- op: z.ZodLiteral<"exists">;
22
- }, z.core.$strict>], "op">>;
23
- }, z.core.$strict>>;
1
+ export declare const whoisInput: import("zod").ZodObject<{
2
+ iss: import("zod").ZodString;
3
+ sub: import("zod").ZodString;
4
+ }, import("zod/v4/core").$strict>;
5
+ export declare const whoisOutput: import("zod").ZodNullable<import("zod").ZodObject<{
6
+ id: import("zod").ZodString;
7
+ iss: import("zod").ZodString;
8
+ sub: import("zod").ZodString;
9
+ frozen: import("zod").ZodBoolean;
10
+ requiredClaims: import("zod").ZodArray<import("zod").ZodDiscriminatedUnion<[import("zod").ZodObject<{
11
+ claim: import("zod").ZodString;
12
+ op: import("zod").ZodLiteral<"contains">;
13
+ value: import("zod").ZodNonOptional<import("zod").ZodUnknown>;
14
+ }, import("zod/v4/core").$strict>, import("zod").ZodObject<{
15
+ claim: import("zod").ZodString;
16
+ op: import("zod").ZodLiteral<"eq">;
17
+ value: import("zod").ZodNonOptional<import("zod").ZodUnknown>;
18
+ }, import("zod/v4/core").$strict>, import("zod").ZodObject<{
19
+ claim: import("zod").ZodString;
20
+ op: import("zod").ZodLiteral<"exists">;
21
+ }, import("zod/v4/core").$strict>], "op">>;
22
+ }, import("zod/v4/core").$strict>>;
@@ -1,5 +1,5 @@
1
- import { z } from 'zod';
1
+ import { strictObject, string } from 'zod';
2
2
  import { identityOutput } from './identity.js';
3
- const text = z.string().min(1);
4
- export const whoisInput = z.strictObject({ iss: text, sub: text });
3
+ const text = string().min(1);
4
+ export const whoisInput = strictObject({ iss: text, sub: text });
5
5
  export const whoisOutput = identityOutput.nullable();
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@astrale-os/kernel-core",
3
- "version": "0.9.0-beta.26",
3
+ "version": "0.9.0-beta.28",
4
4
  "description": "Astrale Kernel Core - Types, Invariants, and Pure Logic",
5
5
  "license": "Apache-2.0",
6
6
  "repository": {
@@ -160,7 +160,7 @@
160
160
  "access": "public"
161
161
  },
162
162
  "dependencies": {
163
- "@astrale-os/kernel-dsl": "0.2.0-beta.19",
163
+ "@astrale-os/kernel-dsl": "0.2.0-beta.21",
164
164
  "@noble/hashes": "2.3.0",
165
165
  "@types/json-schema": "^7.0.15",
166
166
  "dequal": "2.0.3"