@astrale-domains/shell-schema 0.3.0

package/dist/identity.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"identity.d.ts","sourceRoot":"","sources":["../identity.ts"],"names":[],"mappings":"AAqBA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAIvB;;;;;;GAMG;AACH,eAAO,MAAM,KAAK;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QAGd;;;;;;WAMG;QACH,WAAW;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAEb,CAAA;AAEF;gCACgC;AAChC,eAAO,MAAM,IAAI;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;YAbb;;;;;;eAMG;YACH,WAAW;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QAUX,SAAS;QACT,QAAQ;QACR;kFAC0E;QAC1E,KAAK;;;QAGL;;;;;;;;;;;;;;;;;;;;WAoBG;QACH,IAAI;;;;;;;;;;;;;;;;;;;;;;;;QA1BJ;kFAC0E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;YApB1E;;;;;;eAMG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA6DL,CAAA;AAEF;;;GAGG;AACH,eAAO,MAAM,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QAGf;;;;;;WAMG;QACH,MAAM;;;QACN;;;;;;WAMG;QACH,QAAQ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAEV,CAAA;AAEF,qFAAqF;AACrF,eAAO,MAAM,KAAK;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;YApBd;;;;;;eAMG;YACH,MAAM;;;YACN;;;;;;eAMG;YACH,QAAQ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;YAfR;;;;;;eAMG;;;;YAEH;;;;;;eAMG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EASL,CAAA;AAEF;4EAC4E;AAC5E,eAAO,MAAM,UAAU;;;;;;;;;;;;;;;;;;;;;;;;;EAGtB,CAAA"}

package/dist/identity.js

@@ -0,0 +1,134 @@
+/**
+ * Identity context — the workspace principals, as INTERFACES (the fundamental
+ * primitives) plus their DEFAULT convenience classes, co-located.
+ *
+ * Same-name interface+class is intentional (separate namespaces, the kernel's
+ * `Function` pattern): the interface is exported aliased `iUser`/`iGroup`, the
+ * class as `User`/`Group`. Edges are typed by the INTERFACES, so any implementer
+ * (a foreign domain's `Agent`) participates. Reach each side of the compiled `D`
+ * via `D.$.i('User')` / `D.$.c('User')` (the flat `D.User` resolves to the
+ * interface).
+ *
+ *   - `iUser` / `User`   a principal: an Identity that owns a Space + apps and can
+ *                        join groups. The class adds the human props + the `init`
+ *                        creation entry.
+ *   - `iGroup` / `Group` an identity group + container; `assign` (on the
+ *                        interface) adds a member (the seeded `admin` group owns
+ *                        Root).
+ *   - Edge `belongs_to`  User → Group (semantic membership).
+ */
+import { edgeClass, KernelSchema, nodeClass, nodeInterface } from '@astrale-os/kernel-core';
+import { fn } from '@astrale-os/kernel-dsl';
+import { z } from 'zod';
+import { GROUP_ICON, USER_ICON } from './icons';
+/**
+ * `User` (interface) — a workspace principal: an Identity that owns a Space + apps
+ * and can join groups. SOURCE of `belongs_to`, so anything
+ * implementing it (the default `User` class, a foreign `Agent`) participates in
+ * the workspace uniformly. `switchSpace` is hosted here (not on the class) so
+ * every implementer inherits it.
+ */
+export const iUser = nodeInterface({
+    extends: [KernelSchema.interfaces.Identity],
+    methods: {
+        /**
+         * `user::switchSpace(space)` — make `space` the user's active space: repoints
+         * the `selected_space` edge to it (remove + recreate — edge identity includes
+         * the target). `space` is any address (path or `@id`) resolving to a Space the
+         * caller can READ. Caller gate mirrors `role::assign`'s user side: EDIT on the
+         * user (normally themselves). Idempotent — already selected ⇒ no-op.
+         */
+        switchSpace: fn({ params: { space: z.string().min(1) }, returns: z.void() }),
+    },
+});
+/** The DEFAULT `User` — a human principal implementing the `User` interface; adds
+ *  the human props + `init`. */
+export const User = nodeClass({
+    implements: [iUser],
+    icon: USER_ICON,
+    props: {
+        firstName: z.string(),
+        lastName: z.string(),
+        /** Email, when the identity provider supplies one (the WorkOS `email` claim).
+         *  Optional — a managed identity or a name-only IdP may not carry one. */
+        email: z.string().optional(),
+    },
+    methods: {
+        /**
+         * `User.init(firstName?, lastName?, email?, iss?, sub?, admin?, ownerToken?, publicKey?)` — the
+         * SINGLE user-creation entry, serving BOTH the kernel auto-provisioning dispatch and manual
+         * creation. Creates ONLY the User identity node (no Space/grants — workspace furniture is a
+         * separate get-or-create concern) and RETURNS the kernel `Identity` shape, which the
+         * provisioning dispatch consumes directly as the caller's identity. Idempotent: a repeat call
+         * for the same `(iss, sub)` returns the existing User.
+         *
+         * Identity binding precedence:
+         *   1. explicit `(iss, sub)` — the AUTO-PROVISIONING path; the instance provisioning policy maps
+         *      an unprovisioned caller's JWT claims (`iss`/`sub`/`given_name`/`family_name`/`email`) to
+         *      these params and the kernel calls this as `__SYSTEM__` on first contact. (Names default
+         *      when the IdP omits them; `email` is stored when present and used as the display fallback.)
+         *   2. `ownerToken` — manual/admin binding: decode the IdP JWT (no signature check) so the token
+         *      holder authenticates AS this user. A `publicKey` is rejected (the kernel verifier can't
+         *      resolve a worker-pinned key) — OIDC discovery only.
+         *   3. neither — managed identity (kernel-issued `iss`, `sub=user:<name-slug>`).
+         *
+         * `admin: true` additionally extends the user with the admin group (must exist — the `seed` function).
+         * Not used by the provisioning path (the policy handles owner→root elevation).
+         */
+        init: fn({
+            static: true,
+            params: {
+                firstName: z.string().optional(),
+                lastName: z.string().optional(),
+                email: z.string().optional(),
+                iss: z.string().optional(),
+                sub: z.string().optional(),
+                admin: z.boolean().optional(),
+                ownerToken: z.string().min(1).optional(),
+                publicKey: z.object({ jwk: z.record(z.string(), z.unknown()) }).optional(),
+            },
+            returns: z.object({
+                id: z.string(),
+                props: z.object({
+                    iss: z.string(),
+                    sub: z.string(),
+                    frozen: z.boolean(),
+                }),
+            }),
+        }),
+    },
+});
+/**
+ * `Group` (interface) — an identity that is also a container; principals join it
+ * via `assign`, which composes the group's permissions onto the member.
+ */
+export const iGroup = nodeInterface({
+    extends: [KernelSchema.interfaces.Identity, KernelSchema.interfaces.Container],
+    methods: {
+        /**
+         * `group::assign(user)` — add a principal to this group: records the semantic
+         * `belongs_to` edge AND extends the principal's identity with the group
+         * (`extendIdentity`), so membership genuinely composes the group's permissions
+         * (the `admin`-group mechanism). Group grants are set with `grantPerm`
+         * separately. Idempotent.
+         */
+        assign: fn({ params: { user: z.string().min(1) }, returns: z.void() }),
+        /**
+         * `group::unassign(user)` — the idempotent inverse of `assign`: removes the
+         * `belongs_to` edge AND reverses the identity composition (`removeExtension`),
+         * so the group's permissions no longer compose onto the user. Same gate as
+         * `assign` (SHARE on the group + EDIT on the user unless self). Not a member
+         * already ⇒ no-op.
+         */
+        unassign: fn({ params: { user: z.string().min(1) }, returns: z.void() }),
+    },
+});
+/** The DEFAULT `Group` — implements the `Group` interface (Identity + Container). */
+export const Group = nodeClass({
+    implements: [iGroup],
+    icon: GROUP_ICON,
+});
+/** A user's membership in a group — the semantic, queryable side of group
+ *  membership (the permission composition is done via `extendIdentity`). */
+export const belongs_to = edgeClass({ as: 'user', types: [iUser] }, { as: 'group', types: [iGroup] });
+//# sourceMappingURL=identity.js.map

package/dist/identity.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"identity.js","sourceRoot":"","sources":["../identity.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AACH,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAA;AAC3F,OAAO,EAAE,EAAE,EAAE,MAAM,wBAAwB,CAAA;AAC3C,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAEvB,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,SAAS,CAAA;AAE/C;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,aAAa,CAAC;IACjC,OAAO,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,QAAQ,CAAC;IAC3C,OAAO,EAAE;QACP;;;;;;WAMG;QACH,WAAW,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;KAC7E;CACF,CAAC,CAAA;AAEF;gCACgC;AAChC,MAAM,CAAC,MAAM,IAAI,GAAG,SAAS,CAAC;IAC5B,UAAU,EAAE,CAAC,KAAK,CAAC;IACnB,IAAI,EAAE,SAAS;IACf,KAAK,EAAE;QACL,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;QACrB,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;QACpB;kFAC0E;QAC1E,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;KAC7B;IACD,OAAO,EAAE;QACP;;;;;;;;;;;;;;;;;;;;WAoBG;QACH,IAAI,EAAE,EAAE,CAAC;YACP,MAAM,EAAE,IAAI;YACZ,MAAM,EAAE;gBACN,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;gBAChC,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;gBAC/B,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;gBAC5B,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;gBAC1B,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;gBAC1B,KAAK,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;gBAC7B,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;gBACxC,SAAS,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,QAAQ,EAAE;aAC3E;YACD,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC;gBAChB,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;gBACd,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC;oBACd,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE;oBACf,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE;oBACf,MAAM,EAAE,CAAC,CAAC,OAAO,EAAE;iBACpB,CAAC;aACH,CAAC;SACH,CAAC;KACH;CACF,CAAC,CAAA;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,aAAa,CAAC;IAClC,OAAO,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,QAAQ,EAAE,YAAY,CAAC,UAAU,CAAC,SAAS,CAAC;IAC9E,OAAO,EAAE;QACP;;;;;;WAMG;QACH,MAAM,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QACtE;;;;;;WAMG;QACH,QAAQ,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;KACzE;CACF,CAAC,CAAA;AAEF,qFAAqF;AACrF,MAAM,CAAC,MAAM,KAAK,GAAG,SAAS,CAAC;IAC7B,UAAU,EAAE,CAAC,MAAM,CAAC;IACpB,IAAI,EAAE,UAAU;CACjB,CAAC,CAAA;AAEF;4EAC4E;AAC5E,MAAM,CAAC,MAAM,UAAU,GAAG,SAAS,CACjC,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,EAAE,EAC9B,EAAE,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,MAAM,CAAC,EAAE,CACjC,CAAA"}