@graview/studio 0.1.3 → 0.1.5

package/dist/meta.d.ts

@@ -9,7 +9,13 @@ import { z } from "zod";
  * that names two different things.
  */
 export declare const DECLARED_KIND = "declared:";
-export declare const FIELD_TYPES: readonly ["string", "text", "number", "boolean", "date", "enum", "list"];
+/**
+ * A field's types: the declaration document's eleven (FR-54), so a field a
+ * document declares is read as what it is — an integer, a date and time, a
+ * link, an address, a long text — and handed back the same, never as the
+ * nearest type the studio happened to know.
+ */
+export declare const FIELD_TYPES: readonly ["string", "text", "number", "integer", "boolean", "date", "datetime", "enum", "list", "url", "email"];
 export type FieldType = (typeof FIELD_TYPES)[number];
 export declare const kindNode: import("@graview/core").NodeDefinition<"kind", z.ZodObject<{
     label: z.ZodString;
@@ -27,9 +33,13 @@ export declare const fieldNode: import("@graview/core").NodeDefinition<"field",
         number: "number";
         boolean: "boolean";
         text: "text";
+        integer: "integer";
         date: "date";
+        datetime: "datetime";
         enum: "enum";
         list: "list";
+        url: "url";
+        email: "email";
     }>;
     required: z.ZodBoolean;
     options: z.ZodOptional<z.ZodArray<z.ZodString>>;
@@ -192,9 +202,13 @@ export declare const STUDIO_SCHEMA: import("@graview/core").Schema<readonly [imp
         number: "number";
         boolean: "boolean";
         text: "text";
+        integer: "integer";
         date: "date";
+        datetime: "datetime";
         enum: "enum";
         list: "list";
+        url: "url";
+        email: "email";
     }>;
     required: z.ZodBoolean;
     options: z.ZodOptional<z.ZodArray<z.ZodString>>;
@@ -350,9 +364,13 @@ export declare const addKind: AnyMutationDefinition<import("@graview/core").Sche
         number: "number";
         boolean: "boolean";
         text: "text";
+        integer: "integer";
         date: "date";
+        datetime: "datetime";
         enum: "enum";
         list: "list";
+        url: "url";
+        email: "email";
     }>;
     required: z.ZodBoolean;
     options: z.ZodOptional<z.ZodArray<z.ZodString>>;
@@ -507,9 +525,13 @@ export declare const renameKind: AnyMutationDefinition<import("@graview/core").S
         number: "number";
         boolean: "boolean";
         text: "text";
+        integer: "integer";
         date: "date";
+        datetime: "datetime";
         enum: "enum";
         list: "list";
+        url: "url";
+        email: "email";
     }>;
     required: z.ZodBoolean;
     options: z.ZodOptional<z.ZodArray<z.ZodString>>;
@@ -664,9 +686,13 @@ export declare const removeKind: AnyMutationDefinition<import("@graview/core").S
         number: "number";
         boolean: "boolean";
         text: "text";
+        integer: "integer";
         date: "date";
+        datetime: "datetime";
         enum: "enum";
         list: "list";
+        url: "url";
+        email: "email";
     }>;
     required: z.ZodBoolean;
     options: z.ZodOptional<z.ZodArray<z.ZodString>>;
@@ -821,9 +847,13 @@ export declare const addField: AnyMutationDefinition<import("@graview/core").Sch
         number: "number";
         boolean: "boolean";
         text: "text";
+        integer: "integer";
         date: "date";
+        datetime: "datetime";
         enum: "enum";
         list: "list";
+        url: "url";
+        email: "email";
     }>;
     required: z.ZodBoolean;
     options: z.ZodOptional<z.ZodArray<z.ZodString>>;
@@ -978,9 +1008,13 @@ export declare const renameField: AnyMutationDefinition<import("@graview/core").
         number: "number";
         boolean: "boolean";
         text: "text";
+        integer: "integer";
         date: "date";
+        datetime: "datetime";
         enum: "enum";
         list: "list";
+        url: "url";
+        email: "email";
     }>;
     required: z.ZodBoolean;
     options: z.ZodOptional<z.ZodArray<z.ZodString>>;
@@ -1135,9 +1169,657 @@ export declare const removeField: AnyMutationDefinition<import("@graview/core").
         number: "number";
         boolean: "boolean";
         text: "text";
+        integer: "integer";
+        date: "date";
+        datetime: "datetime";
+        enum: "enum";
+        list: "list";
+        url: "url";
+        email: "email";
+    }>;
+    required: z.ZodBoolean;
+    options: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    description: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>, {
+    readonly of: {
+        readonly to: readonly ["kind"];
+        readonly cardinality: "one";
+        readonly description: "the kind it belongs to";
+        readonly inverse: "its fields";
+    };
+}>, import("@graview/core").NodeDefinition<"edge", z.ZodObject<{
+    label: z.ZodString;
+    description: z.ZodOptional<z.ZodString>;
+    inverse: z.ZodOptional<z.ZodString>;
+    cardinality: z.ZodEnum<{
+        one: "one";
+        many: "many";
+    }>;
+    appendOnly: z.ZodBoolean;
+    toAny: z.ZodBoolean;
+}, z.core.$strip>, {
+    readonly "from-kind": {
+        readonly to: readonly ["kind"];
+        readonly cardinality: "one";
+        readonly description: "the kind it is declared on";
+        readonly inverse: "its edges";
+    };
+    readonly "to-kind": {
+        readonly to: readonly ["kind"];
+        readonly description: "the kinds it may reach";
+        readonly inverse: "the edges that reach it";
+    };
+}>, import("@graview/core").NodeDefinition<"act", z.ZodObject<{
+    label: z.ZodString;
+    title: z.ZodOptional<z.ZodString>;
+    fromTheOtherEnd: z.ZodOptional<z.ZodString>;
+    description: z.ZodOptional<z.ZodString>;
+    destructive: z.ZodBoolean;
+    writes: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    subjectArg: z.ZodOptional<z.ZodString>;
+    targetArg: z.ZodOptional<z.ZodString>;
+    onAny: z.ZodBoolean;
+    derived: z.ZodBoolean;
+}, z.core.$strip>, {
+    readonly on: {
+        readonly to: readonly ["kind"];
+        readonly description: "the kinds it acts on";
+        readonly inverse: "the acts on it";
+    };
+    readonly creates: {
+        readonly to: readonly ["kind"];
+        readonly description: "the kind it brings into being";
+        readonly inverse: "how one comes to be";
+    };
+    readonly connects: {
+        readonly to: readonly ["edge"];
+        readonly description: "the relation it makes";
+        readonly inverse: "the acts that make it";
+    };
+    readonly severs: {
+        readonly to: readonly ["edge"];
+        readonly description: "the relation it breaks";
+        readonly inverse: "the acts that break it";
+    };
+}>, import("@graview/core").NodeDefinition<"rule", z.ZodObject<{
+    label: z.ZodString;
+    title: z.ZodOptional<z.ZodString>;
+    description: z.ZodOptional<z.ZodString>;
+    judgesPast: z.ZodBoolean;
+    wholeGraph: z.ZodBoolean;
+    derivedRepairs: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    require: z.ZodOptional<z.ZodString>;
+    when: z.ZodOptional<z.ZodString>;
+    says: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>, {
+    readonly over: {
+        readonly to: readonly ["kind"];
+        readonly description: "the kind it judges";
+        readonly inverse: "the rules over it";
+    };
+    readonly repairs: {
+        readonly to: readonly ["act"];
+        readonly description: "the acts that put it right";
+        readonly inverse: "the rules it repairs";
+    };
+}>, import("@graview/core").NodeDefinition<"role", z.ZodObject<{
+    label: z.ZodString;
+}, z.core.$strip>, import("@graview/core").EmptyEdgeMap>, import("@graview/core").NodeDefinition<"grant", z.ZodObject<{
+    label: z.ZodString;
+    describe: z.ZodOptional<z.ZodString>;
+    self: z.ZodBoolean;
+    everyone: z.ZodBoolean;
+    allActs: z.ZodBoolean;
+    allKinds: z.ZodBoolean;
+}, z.core.$strip>, {
+    readonly lets: {
+        readonly to: readonly ["role"];
+        readonly description: "the roles it lets";
+        readonly inverse: "what they are let do";
+    };
+    readonly may: {
+        readonly to: readonly ["act"];
+        readonly description: "the acts it allows";
+        readonly inverse: "who may take it";
+    };
+    readonly "allows-on": {
+        readonly to: readonly ["kind"];
+        readonly description: "the kinds it allows those acts on";
+        readonly inverse: "who may act on it";
+    };
+}>, import("@graview/core").NodeDefinition<"sight", z.ZodObject<{
+    label: z.ZodString;
+    describe: z.ZodOptional<z.ZodString>;
+    own: z.ZodBoolean;
+    everyone: z.ZodBoolean;
+}, z.core.$strip>, {
+    readonly "seen-by": {
+        readonly to: readonly ["role"];
+        readonly description: "the roles it lets see";
+        readonly inverse: "what they see";
+    };
+    readonly shows: {
+        readonly to: readonly ["kind"];
+        readonly description: "the kinds it shows";
+        readonly inverse: "who sees it";
+    };
+}>, import("@graview/core").NodeDefinition<"lens", z.ZodObject<{
+    label: z.ZodString;
+    binds: z.ZodOptional<z.ZodEnum<{
+        fields: "fields";
+        entities: "entities";
+    }>>;
+    requires: z.ZodOptional<z.ZodArray<z.ZodString>>;
+}, z.core.$strip>, import("@graview/core").EmptyEdgeMap>, import("@graview/core").NodeDefinition<"brand", z.ZodObject<{
+    label: z.ZodString;
+    body: z.ZodOptional<z.ZodString>;
+    display: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>, import("@graview/core").EmptyEdgeMap>]>>;
+export declare const retypeField: AnyMutationDefinition<import("@graview/core").Schema<readonly [import("@graview/core").NodeDefinition<"kind", z.ZodObject<{
+    label: z.ZodString;
+    plural: z.ZodOptional<z.ZodString>;
+    noun: z.ZodOptional<z.ZodString>;
+    description: z.ZodOptional<z.ZodString>;
+    lifecycleField: z.ZodOptional<z.ZodString>;
+    retired: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    figure: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>, import("@graview/core").EmptyEdgeMap>, import("@graview/core").NodeDefinition<"field", z.ZodObject<{
+    label: z.ZodString;
+    type: z.ZodEnum<{
+        string: "string";
+        number: "number";
+        boolean: "boolean";
+        text: "text";
+        integer: "integer";
+        date: "date";
+        datetime: "datetime";
+        enum: "enum";
+        list: "list";
+        url: "url";
+        email: "email";
+    }>;
+    required: z.ZodBoolean;
+    options: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    description: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>, {
+    readonly of: {
+        readonly to: readonly ["kind"];
+        readonly cardinality: "one";
+        readonly description: "the kind it belongs to";
+        readonly inverse: "its fields";
+    };
+}>, import("@graview/core").NodeDefinition<"edge", z.ZodObject<{
+    label: z.ZodString;
+    description: z.ZodOptional<z.ZodString>;
+    inverse: z.ZodOptional<z.ZodString>;
+    cardinality: z.ZodEnum<{
+        one: "one";
+        many: "many";
+    }>;
+    appendOnly: z.ZodBoolean;
+    toAny: z.ZodBoolean;
+}, z.core.$strip>, {
+    readonly "from-kind": {
+        readonly to: readonly ["kind"];
+        readonly cardinality: "one";
+        readonly description: "the kind it is declared on";
+        readonly inverse: "its edges";
+    };
+    readonly "to-kind": {
+        readonly to: readonly ["kind"];
+        readonly description: "the kinds it may reach";
+        readonly inverse: "the edges that reach it";
+    };
+}>, import("@graview/core").NodeDefinition<"act", z.ZodObject<{
+    label: z.ZodString;
+    title: z.ZodOptional<z.ZodString>;
+    fromTheOtherEnd: z.ZodOptional<z.ZodString>;
+    description: z.ZodOptional<z.ZodString>;
+    destructive: z.ZodBoolean;
+    writes: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    subjectArg: z.ZodOptional<z.ZodString>;
+    targetArg: z.ZodOptional<z.ZodString>;
+    onAny: z.ZodBoolean;
+    derived: z.ZodBoolean;
+}, z.core.$strip>, {
+    readonly on: {
+        readonly to: readonly ["kind"];
+        readonly description: "the kinds it acts on";
+        readonly inverse: "the acts on it";
+    };
+    readonly creates: {
+        readonly to: readonly ["kind"];
+        readonly description: "the kind it brings into being";
+        readonly inverse: "how one comes to be";
+    };
+    readonly connects: {
+        readonly to: readonly ["edge"];
+        readonly description: "the relation it makes";
+        readonly inverse: "the acts that make it";
+    };
+    readonly severs: {
+        readonly to: readonly ["edge"];
+        readonly description: "the relation it breaks";
+        readonly inverse: "the acts that break it";
+    };
+}>, import("@graview/core").NodeDefinition<"rule", z.ZodObject<{
+    label: z.ZodString;
+    title: z.ZodOptional<z.ZodString>;
+    description: z.ZodOptional<z.ZodString>;
+    judgesPast: z.ZodBoolean;
+    wholeGraph: z.ZodBoolean;
+    derivedRepairs: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    require: z.ZodOptional<z.ZodString>;
+    when: z.ZodOptional<z.ZodString>;
+    says: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>, {
+    readonly over: {
+        readonly to: readonly ["kind"];
+        readonly description: "the kind it judges";
+        readonly inverse: "the rules over it";
+    };
+    readonly repairs: {
+        readonly to: readonly ["act"];
+        readonly description: "the acts that put it right";
+        readonly inverse: "the rules it repairs";
+    };
+}>, import("@graview/core").NodeDefinition<"role", z.ZodObject<{
+    label: z.ZodString;
+}, z.core.$strip>, import("@graview/core").EmptyEdgeMap>, import("@graview/core").NodeDefinition<"grant", z.ZodObject<{
+    label: z.ZodString;
+    describe: z.ZodOptional<z.ZodString>;
+    self: z.ZodBoolean;
+    everyone: z.ZodBoolean;
+    allActs: z.ZodBoolean;
+    allKinds: z.ZodBoolean;
+}, z.core.$strip>, {
+    readonly lets: {
+        readonly to: readonly ["role"];
+        readonly description: "the roles it lets";
+        readonly inverse: "what they are let do";
+    };
+    readonly may: {
+        readonly to: readonly ["act"];
+        readonly description: "the acts it allows";
+        readonly inverse: "who may take it";
+    };
+    readonly "allows-on": {
+        readonly to: readonly ["kind"];
+        readonly description: "the kinds it allows those acts on";
+        readonly inverse: "who may act on it";
+    };
+}>, import("@graview/core").NodeDefinition<"sight", z.ZodObject<{
+    label: z.ZodString;
+    describe: z.ZodOptional<z.ZodString>;
+    own: z.ZodBoolean;
+    everyone: z.ZodBoolean;
+}, z.core.$strip>, {
+    readonly "seen-by": {
+        readonly to: readonly ["role"];
+        readonly description: "the roles it lets see";
+        readonly inverse: "what they see";
+    };
+    readonly shows: {
+        readonly to: readonly ["kind"];
+        readonly description: "the kinds it shows";
+        readonly inverse: "who sees it";
+    };
+}>, import("@graview/core").NodeDefinition<"lens", z.ZodObject<{
+    label: z.ZodString;
+    binds: z.ZodOptional<z.ZodEnum<{
+        fields: "fields";
+        entities: "entities";
+    }>>;
+    requires: z.ZodOptional<z.ZodArray<z.ZodString>>;
+}, z.core.$strip>, import("@graview/core").EmptyEdgeMap>, import("@graview/core").NodeDefinition<"brand", z.ZodObject<{
+    label: z.ZodString;
+    body: z.ZodOptional<z.ZodString>;
+    display: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>, import("@graview/core").EmptyEdgeMap>]>>;
+export declare const setRequired: AnyMutationDefinition<import("@graview/core").Schema<readonly [import("@graview/core").NodeDefinition<"kind", z.ZodObject<{
+    label: z.ZodString;
+    plural: z.ZodOptional<z.ZodString>;
+    noun: z.ZodOptional<z.ZodString>;
+    description: z.ZodOptional<z.ZodString>;
+    lifecycleField: z.ZodOptional<z.ZodString>;
+    retired: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    figure: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>, import("@graview/core").EmptyEdgeMap>, import("@graview/core").NodeDefinition<"field", z.ZodObject<{
+    label: z.ZodString;
+    type: z.ZodEnum<{
+        string: "string";
+        number: "number";
+        boolean: "boolean";
+        text: "text";
+        integer: "integer";
+        date: "date";
+        datetime: "datetime";
+        enum: "enum";
+        list: "list";
+        url: "url";
+        email: "email";
+    }>;
+    required: z.ZodBoolean;
+    options: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    description: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>, {
+    readonly of: {
+        readonly to: readonly ["kind"];
+        readonly cardinality: "one";
+        readonly description: "the kind it belongs to";
+        readonly inverse: "its fields";
+    };
+}>, import("@graview/core").NodeDefinition<"edge", z.ZodObject<{
+    label: z.ZodString;
+    description: z.ZodOptional<z.ZodString>;
+    inverse: z.ZodOptional<z.ZodString>;
+    cardinality: z.ZodEnum<{
+        one: "one";
+        many: "many";
+    }>;
+    appendOnly: z.ZodBoolean;
+    toAny: z.ZodBoolean;
+}, z.core.$strip>, {
+    readonly "from-kind": {
+        readonly to: readonly ["kind"];
+        readonly cardinality: "one";
+        readonly description: "the kind it is declared on";
+        readonly inverse: "its edges";
+    };
+    readonly "to-kind": {
+        readonly to: readonly ["kind"];
+        readonly description: "the kinds it may reach";
+        readonly inverse: "the edges that reach it";
+    };
+}>, import("@graview/core").NodeDefinition<"act", z.ZodObject<{
+    label: z.ZodString;
+    title: z.ZodOptional<z.ZodString>;
+    fromTheOtherEnd: z.ZodOptional<z.ZodString>;
+    description: z.ZodOptional<z.ZodString>;
+    destructive: z.ZodBoolean;
+    writes: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    subjectArg: z.ZodOptional<z.ZodString>;
+    targetArg: z.ZodOptional<z.ZodString>;
+    onAny: z.ZodBoolean;
+    derived: z.ZodBoolean;
+}, z.core.$strip>, {
+    readonly on: {
+        readonly to: readonly ["kind"];
+        readonly description: "the kinds it acts on";
+        readonly inverse: "the acts on it";
+    };
+    readonly creates: {
+        readonly to: readonly ["kind"];
+        readonly description: "the kind it brings into being";
+        readonly inverse: "how one comes to be";
+    };
+    readonly connects: {
+        readonly to: readonly ["edge"];
+        readonly description: "the relation it makes";
+        readonly inverse: "the acts that make it";
+    };
+    readonly severs: {
+        readonly to: readonly ["edge"];
+        readonly description: "the relation it breaks";
+        readonly inverse: "the acts that break it";
+    };
+}>, import("@graview/core").NodeDefinition<"rule", z.ZodObject<{
+    label: z.ZodString;
+    title: z.ZodOptional<z.ZodString>;
+    description: z.ZodOptional<z.ZodString>;
+    judgesPast: z.ZodBoolean;
+    wholeGraph: z.ZodBoolean;
+    derivedRepairs: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    require: z.ZodOptional<z.ZodString>;
+    when: z.ZodOptional<z.ZodString>;
+    says: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>, {
+    readonly over: {
+        readonly to: readonly ["kind"];
+        readonly description: "the kind it judges";
+        readonly inverse: "the rules over it";
+    };
+    readonly repairs: {
+        readonly to: readonly ["act"];
+        readonly description: "the acts that put it right";
+        readonly inverse: "the rules it repairs";
+    };
+}>, import("@graview/core").NodeDefinition<"role", z.ZodObject<{
+    label: z.ZodString;
+}, z.core.$strip>, import("@graview/core").EmptyEdgeMap>, import("@graview/core").NodeDefinition<"grant", z.ZodObject<{
+    label: z.ZodString;
+    describe: z.ZodOptional<z.ZodString>;
+    self: z.ZodBoolean;
+    everyone: z.ZodBoolean;
+    allActs: z.ZodBoolean;
+    allKinds: z.ZodBoolean;
+}, z.core.$strip>, {
+    readonly lets: {
+        readonly to: readonly ["role"];
+        readonly description: "the roles it lets";
+        readonly inverse: "what they are let do";
+    };
+    readonly may: {
+        readonly to: readonly ["act"];
+        readonly description: "the acts it allows";
+        readonly inverse: "who may take it";
+    };
+    readonly "allows-on": {
+        readonly to: readonly ["kind"];
+        readonly description: "the kinds it allows those acts on";
+        readonly inverse: "who may act on it";
+    };
+}>, import("@graview/core").NodeDefinition<"sight", z.ZodObject<{
+    label: z.ZodString;
+    describe: z.ZodOptional<z.ZodString>;
+    own: z.ZodBoolean;
+    everyone: z.ZodBoolean;
+}, z.core.$strip>, {
+    readonly "seen-by": {
+        readonly to: readonly ["role"];
+        readonly description: "the roles it lets see";
+        readonly inverse: "what they see";
+    };
+    readonly shows: {
+        readonly to: readonly ["kind"];
+        readonly description: "the kinds it shows";
+        readonly inverse: "who sees it";
+    };
+}>, import("@graview/core").NodeDefinition<"lens", z.ZodObject<{
+    label: z.ZodString;
+    binds: z.ZodOptional<z.ZodEnum<{
+        fields: "fields";
+        entities: "entities";
+    }>>;
+    requires: z.ZodOptional<z.ZodArray<z.ZodString>>;
+}, z.core.$strip>, import("@graview/core").EmptyEdgeMap>, import("@graview/core").NodeDefinition<"brand", z.ZodObject<{
+    label: z.ZodString;
+    body: z.ZodOptional<z.ZodString>;
+    display: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>, import("@graview/core").EmptyEdgeMap>]>>;
+export declare const setOptions: AnyMutationDefinition<import("@graview/core").Schema<readonly [import("@graview/core").NodeDefinition<"kind", z.ZodObject<{
+    label: z.ZodString;
+    plural: z.ZodOptional<z.ZodString>;
+    noun: z.ZodOptional<z.ZodString>;
+    description: z.ZodOptional<z.ZodString>;
+    lifecycleField: z.ZodOptional<z.ZodString>;
+    retired: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    figure: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>, import("@graview/core").EmptyEdgeMap>, import("@graview/core").NodeDefinition<"field", z.ZodObject<{
+    label: z.ZodString;
+    type: z.ZodEnum<{
+        string: "string";
+        number: "number";
+        boolean: "boolean";
+        text: "text";
+        integer: "integer";
+        date: "date";
+        datetime: "datetime";
+        enum: "enum";
+        list: "list";
+        url: "url";
+        email: "email";
+    }>;
+    required: z.ZodBoolean;
+    options: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    description: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>, {
+    readonly of: {
+        readonly to: readonly ["kind"];
+        readonly cardinality: "one";
+        readonly description: "the kind it belongs to";
+        readonly inverse: "its fields";
+    };
+}>, import("@graview/core").NodeDefinition<"edge", z.ZodObject<{
+    label: z.ZodString;
+    description: z.ZodOptional<z.ZodString>;
+    inverse: z.ZodOptional<z.ZodString>;
+    cardinality: z.ZodEnum<{
+        one: "one";
+        many: "many";
+    }>;
+    appendOnly: z.ZodBoolean;
+    toAny: z.ZodBoolean;
+}, z.core.$strip>, {
+    readonly "from-kind": {
+        readonly to: readonly ["kind"];
+        readonly cardinality: "one";
+        readonly description: "the kind it is declared on";
+        readonly inverse: "its edges";
+    };
+    readonly "to-kind": {
+        readonly to: readonly ["kind"];
+        readonly description: "the kinds it may reach";
+        readonly inverse: "the edges that reach it";
+    };
+}>, import("@graview/core").NodeDefinition<"act", z.ZodObject<{
+    label: z.ZodString;
+    title: z.ZodOptional<z.ZodString>;
+    fromTheOtherEnd: z.ZodOptional<z.ZodString>;
+    description: z.ZodOptional<z.ZodString>;
+    destructive: z.ZodBoolean;
+    writes: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    subjectArg: z.ZodOptional<z.ZodString>;
+    targetArg: z.ZodOptional<z.ZodString>;
+    onAny: z.ZodBoolean;
+    derived: z.ZodBoolean;
+}, z.core.$strip>, {
+    readonly on: {
+        readonly to: readonly ["kind"];
+        readonly description: "the kinds it acts on";
+        readonly inverse: "the acts on it";
+    };
+    readonly creates: {
+        readonly to: readonly ["kind"];
+        readonly description: "the kind it brings into being";
+        readonly inverse: "how one comes to be";
+    };
+    readonly connects: {
+        readonly to: readonly ["edge"];
+        readonly description: "the relation it makes";
+        readonly inverse: "the acts that make it";
+    };
+    readonly severs: {
+        readonly to: readonly ["edge"];
+        readonly description: "the relation it breaks";
+        readonly inverse: "the acts that break it";
+    };
+}>, import("@graview/core").NodeDefinition<"rule", z.ZodObject<{
+    label: z.ZodString;
+    title: z.ZodOptional<z.ZodString>;
+    description: z.ZodOptional<z.ZodString>;
+    judgesPast: z.ZodBoolean;
+    wholeGraph: z.ZodBoolean;
+    derivedRepairs: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    require: z.ZodOptional<z.ZodString>;
+    when: z.ZodOptional<z.ZodString>;
+    says: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>, {
+    readonly over: {
+        readonly to: readonly ["kind"];
+        readonly description: "the kind it judges";
+        readonly inverse: "the rules over it";
+    };
+    readonly repairs: {
+        readonly to: readonly ["act"];
+        readonly description: "the acts that put it right";
+        readonly inverse: "the rules it repairs";
+    };
+}>, import("@graview/core").NodeDefinition<"role", z.ZodObject<{
+    label: z.ZodString;
+}, z.core.$strip>, import("@graview/core").EmptyEdgeMap>, import("@graview/core").NodeDefinition<"grant", z.ZodObject<{
+    label: z.ZodString;
+    describe: z.ZodOptional<z.ZodString>;
+    self: z.ZodBoolean;
+    everyone: z.ZodBoolean;
+    allActs: z.ZodBoolean;
+    allKinds: z.ZodBoolean;
+}, z.core.$strip>, {
+    readonly lets: {
+        readonly to: readonly ["role"];
+        readonly description: "the roles it lets";
+        readonly inverse: "what they are let do";
+    };
+    readonly may: {
+        readonly to: readonly ["act"];
+        readonly description: "the acts it allows";
+        readonly inverse: "who may take it";
+    };
+    readonly "allows-on": {
+        readonly to: readonly ["kind"];
+        readonly description: "the kinds it allows those acts on";
+        readonly inverse: "who may act on it";
+    };
+}>, import("@graview/core").NodeDefinition<"sight", z.ZodObject<{
+    label: z.ZodString;
+    describe: z.ZodOptional<z.ZodString>;
+    own: z.ZodBoolean;
+    everyone: z.ZodBoolean;
+}, z.core.$strip>, {
+    readonly "seen-by": {
+        readonly to: readonly ["role"];
+        readonly description: "the roles it lets see";
+        readonly inverse: "what they see";
+    };
+    readonly shows: {
+        readonly to: readonly ["kind"];
+        readonly description: "the kinds it shows";
+        readonly inverse: "who sees it";
+    };
+}>, import("@graview/core").NodeDefinition<"lens", z.ZodObject<{
+    label: z.ZodString;
+    binds: z.ZodOptional<z.ZodEnum<{
+        fields: "fields";
+        entities: "entities";
+    }>>;
+    requires: z.ZodOptional<z.ZodArray<z.ZodString>>;
+}, z.core.$strip>, import("@graview/core").EmptyEdgeMap>, import("@graview/core").NodeDefinition<"brand", z.ZodObject<{
+    label: z.ZodString;
+    body: z.ZodOptional<z.ZodString>;
+    display: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>, import("@graview/core").EmptyEdgeMap>]>>;
+export declare const describeField: AnyMutationDefinition<import("@graview/core").Schema<readonly [import("@graview/core").NodeDefinition<"kind", z.ZodObject<{
+    label: z.ZodString;
+    plural: z.ZodOptional<z.ZodString>;
+    noun: z.ZodOptional<z.ZodString>;
+    description: z.ZodOptional<z.ZodString>;
+    lifecycleField: z.ZodOptional<z.ZodString>;
+    retired: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    figure: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>, import("@graview/core").EmptyEdgeMap>, import("@graview/core").NodeDefinition<"field", z.ZodObject<{
+    label: z.ZodString;
+    type: z.ZodEnum<{
+        string: "string";
+        number: "number";
+        boolean: "boolean";
+        text: "text";
+        integer: "integer";
         date: "date";
+        datetime: "datetime";
         enum: "enum";
         list: "list";
+        url: "url";
+        email: "email";
     }>;
     required: z.ZodBoolean;
     options: z.ZodOptional<z.ZodArray<z.ZodString>>;
@@ -1292,9 +1974,13 @@ export declare const addEdge: AnyMutationDefinition<import("@graview/core").Sche
         number: "number";
         boolean: "boolean";
         text: "text";
+        integer: "integer";
         date: "date";
+        datetime: "datetime";
         enum: "enum";
         list: "list";
+        url: "url";
+        email: "email";
     }>;
     required: z.ZodBoolean;
     options: z.ZodOptional<z.ZodArray<z.ZodString>>;
@@ -1449,9 +2135,13 @@ export declare const removeEdge: AnyMutationDefinition<import("@graview/core").S
         number: "number";
         boolean: "boolean";
         text: "text";
+        integer: "integer";
         date: "date";
+        datetime: "datetime";
         enum: "enum";
         list: "list";
+        url: "url";
+        email: "email";
     }>;
     required: z.ZodBoolean;
     options: z.ZodOptional<z.ZodArray<z.ZodString>>;
@@ -1606,9 +2296,13 @@ export declare const addAct: AnyMutationDefinition<import("@graview/core").Schem
         number: "number";
         boolean: "boolean";
         text: "text";
+        integer: "integer";
         date: "date";
+        datetime: "datetime";
         enum: "enum";
         list: "list";
+        url: "url";
+        email: "email";
     }>;
     required: z.ZodBoolean;
     options: z.ZodOptional<z.ZodArray<z.ZodString>>;
@@ -1763,9 +2457,13 @@ export declare const removeAct: AnyMutationDefinition<import("@graview/core").Sc
         number: "number";
         boolean: "boolean";
         text: "text";
+        integer: "integer";
         date: "date";
+        datetime: "datetime";
         enum: "enum";
         list: "list";
+        url: "url";
+        email: "email";
     }>;
     required: z.ZodBoolean;
     options: z.ZodOptional<z.ZodArray<z.ZodString>>;
@@ -1920,9 +2618,13 @@ export declare const addRule: AnyMutationDefinition<import("@graview/core").Sche
         number: "number";
         boolean: "boolean";
         text: "text";
+        integer: "integer";
         date: "date";
+        datetime: "datetime";
         enum: "enum";
         list: "list";
+        url: "url";
+        email: "email";
     }>;
     required: z.ZodBoolean;
     options: z.ZodOptional<z.ZodArray<z.ZodString>>;
@@ -2077,9 +2779,13 @@ export declare const removeRule: AnyMutationDefinition<import("@graview/core").S
         number: "number";
         boolean: "boolean";
         text: "text";
+        integer: "integer";
         date: "date";
+        datetime: "datetime";
         enum: "enum";
         list: "list";
+        url: "url";
+        email: "email";
     }>;
     required: z.ZodBoolean;
     options: z.ZodOptional<z.ZodArray<z.ZodString>>;
@@ -2234,9 +2940,13 @@ export declare const nameRepair: AnyMutationDefinition<import("@graview/core").S
         number: "number";
         boolean: "boolean";
         text: "text";
+        integer: "integer";
         date: "date";
+        datetime: "datetime";
         enum: "enum";
         list: "list";
+        url: "url";
+        email: "email";
     }>;
     required: z.ZodBoolean;
     options: z.ZodOptional<z.ZodArray<z.ZodString>>;
@@ -2391,9 +3101,13 @@ export declare const forgetRepair: AnyMutationDefinition<import("@graview/core")
         number: "number";
         boolean: "boolean";
         text: "text";
+        integer: "integer";
         date: "date";
+        datetime: "datetime";
         enum: "enum";
         list: "list";
+        url: "url";
+        email: "email";
     }>;
     required: z.ZodBoolean;
     options: z.ZodOptional<z.ZodArray<z.ZodString>>;
@@ -2548,9 +3262,13 @@ export declare const setFigure: AnyMutationDefinition<import("@graview/core").Sc
         number: "number";
         boolean: "boolean";
         text: "text";
+        integer: "integer";
         date: "date";
+        datetime: "datetime";
         enum: "enum";
         list: "list";
+        url: "url";
+        email: "email";
     }>;
     required: z.ZodBoolean;
     options: z.ZodOptional<z.ZodArray<z.ZodString>>;
@@ -2705,9 +3423,13 @@ export declare const addRole: AnyMutationDefinition<import("@graview/core").Sche
         number: "number";
         boolean: "boolean";
         text: "text";
+        integer: "integer";
         date: "date";
+        datetime: "datetime";
         enum: "enum";
         list: "list";
+        url: "url";
+        email: "email";
     }>;
     required: z.ZodBoolean;
     options: z.ZodOptional<z.ZodArray<z.ZodString>>;
@@ -2862,9 +3584,13 @@ export declare const grant: AnyMutationDefinition<import("@graview/core").Schema
         number: "number";
         boolean: "boolean";
         text: "text";
+        integer: "integer";
         date: "date";
+        datetime: "datetime";
         enum: "enum";
         list: "list";
+        url: "url";
+        email: "email";
     }>;
     required: z.ZodBoolean;
     options: z.ZodOptional<z.ZodArray<z.ZodString>>;
@@ -3019,9 +3745,13 @@ export declare const revokeGrant: AnyMutationDefinition<import("@graview/core").
         number: "number";
         boolean: "boolean";
         text: "text";
+        integer: "integer";
         date: "date";
+        datetime: "datetime";
         enum: "enum";
         list: "list";
+        url: "url";
+        email: "email";
     }>;
     required: z.ZodBoolean;
     options: z.ZodOptional<z.ZodArray<z.ZodString>>;
@@ -3176,9 +3906,13 @@ export declare const addSight: AnyMutationDefinition<import("@graview/core").Sch
         number: "number";
         boolean: "boolean";
         text: "text";
+        integer: "integer";
         date: "date";
+        datetime: "datetime";
         enum: "enum";
         list: "list";
+        url: "url";
+        email: "email";
     }>;
     required: z.ZodBoolean;
     options: z.ZodOptional<z.ZodArray<z.ZodString>>;
@@ -3333,9 +4067,13 @@ export declare const changeSight: AnyMutationDefinition<import("@graview/core").
         number: "number";
         boolean: "boolean";
         text: "text";
+        integer: "integer";
         date: "date";
+        datetime: "datetime";
         enum: "enum";
         list: "list";
+        url: "url";
+        email: "email";
     }>;
     required: z.ZodBoolean;
     options: z.ZodOptional<z.ZodArray<z.ZodString>>;
@@ -3490,9 +4228,13 @@ export declare const removeSight: AnyMutationDefinition<import("@graview/core").
         number: "number";
         boolean: "boolean";
         text: "text";
+        integer: "integer";
         date: "date";
+        datetime: "datetime";
         enum: "enum";
         list: "list";
+        url: "url";
+        email: "email";
     }>;
     required: z.ZodBoolean;
     options: z.ZodOptional<z.ZodArray<z.ZodString>>;