@abseed/spectra-core 0.1.0

package/dist/schema.d.ts

@@ -0,0 +1,1284 @@
+/**
+ * Runtime validation for files a human may have edited by hand. The goal is a
+ * readable message pointing at the offending field, never a stack trace.
+ */
+import { z } from 'zod';
+import type { Changeset, Expectation, ProjectInfo, Question, Term } from './types.js';
+/** Project identity, hand-editable in `specs/project.json`. Both fields are required and non-empty. */
+export declare const projectInfoSchema: z.ZodObject<{
+    name: z.ZodString;
+    domain: z.ZodString;
+}, "strict", z.ZodTypeAny, {
+    name: string;
+    domain: string;
+}, {
+    name: string;
+    domain: string;
+}>;
+export declare const attributeSchema: z.ZodObject<{
+    name: z.ZodString;
+    valueType: z.ZodEffects<z.ZodString, string, string>;
+    default: z.ZodOptional<z.ZodUnknown>;
+    optional: z.ZodOptional<z.ZodBoolean>;
+}, "strict", z.ZodTypeAny, {
+    name: string;
+    valueType: string;
+    default?: unknown;
+    optional?: boolean | undefined;
+}, {
+    name: string;
+    valueType: string;
+    default?: unknown;
+    optional?: boolean | undefined;
+}>;
+export declare const termSchema: z.ZodObject<{
+    name: z.ZodString;
+    type: z.ZodEnum<[string, ...string[]]>;
+    spec: z.ZodString;
+    parent: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+    tags: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    attributes: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        valueType: z.ZodEffects<z.ZodString, string, string>;
+        default: z.ZodOptional<z.ZodUnknown>;
+        optional: z.ZodOptional<z.ZodBoolean>;
+    }, "strict", z.ZodTypeAny, {
+        name: string;
+        valueType: string;
+        default?: unknown;
+        optional?: boolean | undefined;
+    }, {
+        name: string;
+        valueType: string;
+        default?: unknown;
+        optional?: boolean | undefined;
+    }>, "many">>;
+}, "strict", z.ZodTypeAny, {
+    spec: string;
+    name: string;
+    parent: string | null;
+    type: string;
+    tags: string[];
+    attributes: {
+        name: string;
+        valueType: string;
+        default?: unknown;
+        optional?: boolean | undefined;
+    }[];
+}, {
+    spec: string;
+    name: string;
+    type: string;
+    parent?: string | null | undefined;
+    tags?: string[] | undefined;
+    attributes?: {
+        name: string;
+        valueType: string;
+        default?: unknown;
+        optional?: boolean | undefined;
+    }[] | undefined;
+}>;
+export declare const changesetSchema: z.ZodObject<{
+    id: z.ZodString;
+    summary: z.ZodString;
+    ops: z.ZodArray<z.ZodDiscriminatedUnion<"op", [z.ZodObject<{
+        op: z.ZodLiteral<"add_entity">;
+        term: z.ZodString;
+        termType: z.ZodOptional<z.ZodEnum<[string, ...string[]]>>;
+        parent: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        spec: z.ZodString;
+        tags: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        attributes: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            valueType: z.ZodEffects<z.ZodString, string, string>;
+            default: z.ZodOptional<z.ZodUnknown>;
+            optional: z.ZodOptional<z.ZodBoolean>;
+        }, "strict", z.ZodTypeAny, {
+            name: string;
+            valueType: string;
+            default?: unknown;
+            optional?: boolean | undefined;
+        }, {
+            name: string;
+            valueType: string;
+            default?: unknown;
+            optional?: boolean | undefined;
+        }>, "many">>;
+    }, "strict", z.ZodTypeAny, {
+        spec: string;
+        op: "add_entity";
+        term: string;
+        parent?: string | null | undefined;
+        tags?: string[] | undefined;
+        attributes?: {
+            name: string;
+            valueType: string;
+            default?: unknown;
+            optional?: boolean | undefined;
+        }[] | undefined;
+        termType?: string | undefined;
+    }, {
+        spec: string;
+        op: "add_entity";
+        term: string;
+        parent?: string | null | undefined;
+        tags?: string[] | undefined;
+        attributes?: {
+            name: string;
+            valueType: string;
+            default?: unknown;
+            optional?: boolean | undefined;
+        }[] | undefined;
+        termType?: string | undefined;
+    }>, z.ZodObject<{
+        op: z.ZodLiteral<"remove_entity">;
+        term: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        op: "remove_entity";
+        term: string;
+    }, {
+        op: "remove_entity";
+        term: string;
+    }>, z.ZodObject<{
+        op: z.ZodLiteral<"add_attribute">;
+        term: z.ZodString;
+        attribute: z.ZodObject<{
+            name: z.ZodString;
+            valueType: z.ZodEffects<z.ZodString, string, string>;
+            default: z.ZodOptional<z.ZodUnknown>;
+            optional: z.ZodOptional<z.ZodBoolean>;
+        }, "strict", z.ZodTypeAny, {
+            name: string;
+            valueType: string;
+            default?: unknown;
+            optional?: boolean | undefined;
+        }, {
+            name: string;
+            valueType: string;
+            default?: unknown;
+            optional?: boolean | undefined;
+        }>;
+    }, "strict", z.ZodTypeAny, {
+        op: "add_attribute";
+        attribute: {
+            name: string;
+            valueType: string;
+            default?: unknown;
+            optional?: boolean | undefined;
+        };
+        term: string;
+    }, {
+        op: "add_attribute";
+        attribute: {
+            name: string;
+            valueType: string;
+            default?: unknown;
+            optional?: boolean | undefined;
+        };
+        term: string;
+    }>, z.ZodObject<{
+        op: z.ZodLiteral<"remove_attribute">;
+        term: z.ZodString;
+        attribute: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        op: "remove_attribute";
+        attribute: string;
+        term: string;
+    }, {
+        op: "remove_attribute";
+        attribute: string;
+        term: string;
+    }>, z.ZodObject<{
+        op: z.ZodLiteral<"modify_spec">;
+        term: z.ZodString;
+        spec: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        spec: string;
+        op: "modify_spec";
+        term: string;
+    }, {
+        spec: string;
+        op: "modify_spec";
+        term: string;
+    }>]>, "many">;
+    tests: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    fromQuestion: z.ZodOptional<z.ZodString>;
+    appliedAt: z.ZodOptional<z.ZodString>;
+    implementedAt: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    author: z.ZodOptional<z.ZodObject<{
+        kind: z.ZodEnum<["human", "spec", "coder"]>;
+        user: z.ZodOptional<z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
+        kind: "human" | "spec" | "coder";
+        user?: string | undefined;
+    }, {
+        kind: "human" | "spec" | "coder";
+        user?: string | undefined;
+    }>>;
+}, "strict", z.ZodTypeAny, {
+    id: string;
+    summary: string;
+    ops: ({
+        spec: string;
+        op: "add_entity";
+        term: string;
+        parent?: string | null | undefined;
+        tags?: string[] | undefined;
+        attributes?: {
+            name: string;
+            valueType: string;
+            default?: unknown;
+            optional?: boolean | undefined;
+        }[] | undefined;
+        termType?: string | undefined;
+    } | {
+        op: "remove_entity";
+        term: string;
+    } | {
+        op: "add_attribute";
+        attribute: {
+            name: string;
+            valueType: string;
+            default?: unknown;
+            optional?: boolean | undefined;
+        };
+        term: string;
+    } | {
+        op: "remove_attribute";
+        attribute: string;
+        term: string;
+    } | {
+        spec: string;
+        op: "modify_spec";
+        term: string;
+    })[];
+    tests: string[];
+    fromQuestion?: string | undefined;
+    appliedAt?: string | undefined;
+    implementedAt?: string | null | undefined;
+    author?: {
+        kind: "human" | "spec" | "coder";
+        user?: string | undefined;
+    } | undefined;
+}, {
+    id: string;
+    summary: string;
+    ops: ({
+        spec: string;
+        op: "add_entity";
+        term: string;
+        parent?: string | null | undefined;
+        tags?: string[] | undefined;
+        attributes?: {
+            name: string;
+            valueType: string;
+            default?: unknown;
+            optional?: boolean | undefined;
+        }[] | undefined;
+        termType?: string | undefined;
+    } | {
+        op: "remove_entity";
+        term: string;
+    } | {
+        op: "add_attribute";
+        attribute: {
+            name: string;
+            valueType: string;
+            default?: unknown;
+            optional?: boolean | undefined;
+        };
+        term: string;
+    } | {
+        op: "remove_attribute";
+        attribute: string;
+        term: string;
+    } | {
+        spec: string;
+        op: "modify_spec";
+        term: string;
+    })[];
+    tests?: string[] | undefined;
+    fromQuestion?: string | undefined;
+    appliedAt?: string | undefined;
+    implementedAt?: string | null | undefined;
+    author?: {
+        kind: "human" | "spec" | "coder";
+        user?: string | undefined;
+    } | undefined;
+}>;
+export declare const proposalSchema: z.ZodObject<{
+    summary: z.ZodString;
+    ops: z.ZodArray<z.ZodDiscriminatedUnion<"op", [z.ZodObject<{
+        op: z.ZodLiteral<"add_entity">;
+        term: z.ZodString;
+        termType: z.ZodOptional<z.ZodEnum<[string, ...string[]]>>;
+        parent: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        spec: z.ZodString;
+        tags: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        attributes: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            valueType: z.ZodEffects<z.ZodString, string, string>;
+            default: z.ZodOptional<z.ZodUnknown>;
+            optional: z.ZodOptional<z.ZodBoolean>;
+        }, "strict", z.ZodTypeAny, {
+            name: string;
+            valueType: string;
+            default?: unknown;
+            optional?: boolean | undefined;
+        }, {
+            name: string;
+            valueType: string;
+            default?: unknown;
+            optional?: boolean | undefined;
+        }>, "many">>;
+    }, "strict", z.ZodTypeAny, {
+        spec: string;
+        op: "add_entity";
+        term: string;
+        parent?: string | null | undefined;
+        tags?: string[] | undefined;
+        attributes?: {
+            name: string;
+            valueType: string;
+            default?: unknown;
+            optional?: boolean | undefined;
+        }[] | undefined;
+        termType?: string | undefined;
+    }, {
+        spec: string;
+        op: "add_entity";
+        term: string;
+        parent?: string | null | undefined;
+        tags?: string[] | undefined;
+        attributes?: {
+            name: string;
+            valueType: string;
+            default?: unknown;
+            optional?: boolean | undefined;
+        }[] | undefined;
+        termType?: string | undefined;
+    }>, z.ZodObject<{
+        op: z.ZodLiteral<"remove_entity">;
+        term: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        op: "remove_entity";
+        term: string;
+    }, {
+        op: "remove_entity";
+        term: string;
+    }>, z.ZodObject<{
+        op: z.ZodLiteral<"add_attribute">;
+        term: z.ZodString;
+        attribute: z.ZodObject<{
+            name: z.ZodString;
+            valueType: z.ZodEffects<z.ZodString, string, string>;
+            default: z.ZodOptional<z.ZodUnknown>;
+            optional: z.ZodOptional<z.ZodBoolean>;
+        }, "strict", z.ZodTypeAny, {
+            name: string;
+            valueType: string;
+            default?: unknown;
+            optional?: boolean | undefined;
+        }, {
+            name: string;
+            valueType: string;
+            default?: unknown;
+            optional?: boolean | undefined;
+        }>;
+    }, "strict", z.ZodTypeAny, {
+        op: "add_attribute";
+        attribute: {
+            name: string;
+            valueType: string;
+            default?: unknown;
+            optional?: boolean | undefined;
+        };
+        term: string;
+    }, {
+        op: "add_attribute";
+        attribute: {
+            name: string;
+            valueType: string;
+            default?: unknown;
+            optional?: boolean | undefined;
+        };
+        term: string;
+    }>, z.ZodObject<{
+        op: z.ZodLiteral<"remove_attribute">;
+        term: z.ZodString;
+        attribute: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        op: "remove_attribute";
+        attribute: string;
+        term: string;
+    }, {
+        op: "remove_attribute";
+        attribute: string;
+        term: string;
+    }>, z.ZodObject<{
+        op: z.ZodLiteral<"modify_spec">;
+        term: z.ZodString;
+        spec: z.ZodString;
+    }, "strict", z.ZodTypeAny, {
+        spec: string;
+        op: "modify_spec";
+        term: string;
+    }, {
+        spec: string;
+        op: "modify_spec";
+        term: string;
+    }>]>, "many">;
+    tests: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+}, "strict", z.ZodTypeAny, {
+    summary: string;
+    ops: ({
+        spec: string;
+        op: "add_entity";
+        term: string;
+        parent?: string | null | undefined;
+        tags?: string[] | undefined;
+        attributes?: {
+            name: string;
+            valueType: string;
+            default?: unknown;
+            optional?: boolean | undefined;
+        }[] | undefined;
+        termType?: string | undefined;
+    } | {
+        op: "remove_entity";
+        term: string;
+    } | {
+        op: "add_attribute";
+        attribute: {
+            name: string;
+            valueType: string;
+            default?: unknown;
+            optional?: boolean | undefined;
+        };
+        term: string;
+    } | {
+        op: "remove_attribute";
+        attribute: string;
+        term: string;
+    } | {
+        spec: string;
+        op: "modify_spec";
+        term: string;
+    })[];
+    tests: string[];
+}, {
+    summary: string;
+    ops: ({
+        spec: string;
+        op: "add_entity";
+        term: string;
+        parent?: string | null | undefined;
+        tags?: string[] | undefined;
+        attributes?: {
+            name: string;
+            valueType: string;
+            default?: unknown;
+            optional?: boolean | undefined;
+        }[] | undefined;
+        termType?: string | undefined;
+    } | {
+        op: "remove_entity";
+        term: string;
+    } | {
+        op: "add_attribute";
+        attribute: {
+            name: string;
+            valueType: string;
+            default?: unknown;
+            optional?: boolean | undefined;
+        };
+        term: string;
+    } | {
+        op: "remove_attribute";
+        attribute: string;
+        term: string;
+    } | {
+        spec: string;
+        op: "modify_spec";
+        term: string;
+    })[];
+    tests?: string[] | undefined;
+}>;
+export declare const questionSchema: z.ZodEffects<z.ZodObject<{
+    id: z.ZodString;
+    asks: z.ZodString;
+    because: z.ZodString;
+    raisedBy: z.ZodObject<{
+        pass: z.ZodString;
+        file: z.ZodOptional<z.ZodString>;
+        terms: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    }, "strict", z.ZodTypeAny, {
+        terms: string[];
+        pass: string;
+        file?: string | undefined;
+    }, {
+        pass: string;
+        terms?: string[] | undefined;
+        file?: string | undefined;
+    }>;
+    options: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        label: z.ZodString;
+        detail: z.ZodOptional<z.ZodString>;
+        proposal: z.ZodDefault<z.ZodNullable<z.ZodObject<{
+            summary: z.ZodString;
+            ops: z.ZodArray<z.ZodDiscriminatedUnion<"op", [z.ZodObject<{
+                op: z.ZodLiteral<"add_entity">;
+                term: z.ZodString;
+                termType: z.ZodOptional<z.ZodEnum<[string, ...string[]]>>;
+                parent: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+                spec: z.ZodString;
+                tags: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+                attributes: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                    name: z.ZodString;
+                    valueType: z.ZodEffects<z.ZodString, string, string>;
+                    default: z.ZodOptional<z.ZodUnknown>;
+                    optional: z.ZodOptional<z.ZodBoolean>;
+                }, "strict", z.ZodTypeAny, {
+                    name: string;
+                    valueType: string;
+                    default?: unknown;
+                    optional?: boolean | undefined;
+                }, {
+                    name: string;
+                    valueType: string;
+                    default?: unknown;
+                    optional?: boolean | undefined;
+                }>, "many">>;
+            }, "strict", z.ZodTypeAny, {
+                spec: string;
+                op: "add_entity";
+                term: string;
+                parent?: string | null | undefined;
+                tags?: string[] | undefined;
+                attributes?: {
+                    name: string;
+                    valueType: string;
+                    default?: unknown;
+                    optional?: boolean | undefined;
+                }[] | undefined;
+                termType?: string | undefined;
+            }, {
+                spec: string;
+                op: "add_entity";
+                term: string;
+                parent?: string | null | undefined;
+                tags?: string[] | undefined;
+                attributes?: {
+                    name: string;
+                    valueType: string;
+                    default?: unknown;
+                    optional?: boolean | undefined;
+                }[] | undefined;
+                termType?: string | undefined;
+            }>, z.ZodObject<{
+                op: z.ZodLiteral<"remove_entity">;
+                term: z.ZodString;
+            }, "strict", z.ZodTypeAny, {
+                op: "remove_entity";
+                term: string;
+            }, {
+                op: "remove_entity";
+                term: string;
+            }>, z.ZodObject<{
+                op: z.ZodLiteral<"add_attribute">;
+                term: z.ZodString;
+                attribute: z.ZodObject<{
+                    name: z.ZodString;
+                    valueType: z.ZodEffects<z.ZodString, string, string>;
+                    default: z.ZodOptional<z.ZodUnknown>;
+                    optional: z.ZodOptional<z.ZodBoolean>;
+                }, "strict", z.ZodTypeAny, {
+                    name: string;
+                    valueType: string;
+                    default?: unknown;
+                    optional?: boolean | undefined;
+                }, {
+                    name: string;
+                    valueType: string;
+                    default?: unknown;
+                    optional?: boolean | undefined;
+                }>;
+            }, "strict", z.ZodTypeAny, {
+                op: "add_attribute";
+                attribute: {
+                    name: string;
+                    valueType: string;
+                    default?: unknown;
+                    optional?: boolean | undefined;
+                };
+                term: string;
+            }, {
+                op: "add_attribute";
+                attribute: {
+                    name: string;
+                    valueType: string;
+                    default?: unknown;
+                    optional?: boolean | undefined;
+                };
+                term: string;
+            }>, z.ZodObject<{
+                op: z.ZodLiteral<"remove_attribute">;
+                term: z.ZodString;
+                attribute: z.ZodString;
+            }, "strict", z.ZodTypeAny, {
+                op: "remove_attribute";
+                attribute: string;
+                term: string;
+            }, {
+                op: "remove_attribute";
+                attribute: string;
+                term: string;
+            }>, z.ZodObject<{
+                op: z.ZodLiteral<"modify_spec">;
+                term: z.ZodString;
+                spec: z.ZodString;
+            }, "strict", z.ZodTypeAny, {
+                spec: string;
+                op: "modify_spec";
+                term: string;
+            }, {
+                spec: string;
+                op: "modify_spec";
+                term: string;
+            }>]>, "many">;
+            tests: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+        }, "strict", z.ZodTypeAny, {
+            summary: string;
+            ops: ({
+                spec: string;
+                op: "add_entity";
+                term: string;
+                parent?: string | null | undefined;
+                tags?: string[] | undefined;
+                attributes?: {
+                    name: string;
+                    valueType: string;
+                    default?: unknown;
+                    optional?: boolean | undefined;
+                }[] | undefined;
+                termType?: string | undefined;
+            } | {
+                op: "remove_entity";
+                term: string;
+            } | {
+                op: "add_attribute";
+                attribute: {
+                    name: string;
+                    valueType: string;
+                    default?: unknown;
+                    optional?: boolean | undefined;
+                };
+                term: string;
+            } | {
+                op: "remove_attribute";
+                attribute: string;
+                term: string;
+            } | {
+                spec: string;
+                op: "modify_spec";
+                term: string;
+            })[];
+            tests: string[];
+        }, {
+            summary: string;
+            ops: ({
+                spec: string;
+                op: "add_entity";
+                term: string;
+                parent?: string | null | undefined;
+                tags?: string[] | undefined;
+                attributes?: {
+                    name: string;
+                    valueType: string;
+                    default?: unknown;
+                    optional?: boolean | undefined;
+                }[] | undefined;
+                termType?: string | undefined;
+            } | {
+                op: "remove_entity";
+                term: string;
+            } | {
+                op: "add_attribute";
+                attribute: {
+                    name: string;
+                    valueType: string;
+                    default?: unknown;
+                    optional?: boolean | undefined;
+                };
+                term: string;
+            } | {
+                op: "remove_attribute";
+                attribute: string;
+                term: string;
+            } | {
+                spec: string;
+                op: "modify_spec";
+                term: string;
+            })[];
+            tests?: string[] | undefined;
+        }>>>;
+    }, "strict", z.ZodTypeAny, {
+        proposal: {
+            summary: string;
+            ops: ({
+                spec: string;
+                op: "add_entity";
+                term: string;
+                parent?: string | null | undefined;
+                tags?: string[] | undefined;
+                attributes?: {
+                    name: string;
+                    valueType: string;
+                    default?: unknown;
+                    optional?: boolean | undefined;
+                }[] | undefined;
+                termType?: string | undefined;
+            } | {
+                op: "remove_entity";
+                term: string;
+            } | {
+                op: "add_attribute";
+                attribute: {
+                    name: string;
+                    valueType: string;
+                    default?: unknown;
+                    optional?: boolean | undefined;
+                };
+                term: string;
+            } | {
+                op: "remove_attribute";
+                attribute: string;
+                term: string;
+            } | {
+                spec: string;
+                op: "modify_spec";
+                term: string;
+            })[];
+            tests: string[];
+        } | null;
+        label: string;
+        detail?: string | undefined;
+    }, {
+        label: string;
+        proposal?: {
+            summary: string;
+            ops: ({
+                spec: string;
+                op: "add_entity";
+                term: string;
+                parent?: string | null | undefined;
+                tags?: string[] | undefined;
+                attributes?: {
+                    name: string;
+                    valueType: string;
+                    default?: unknown;
+                    optional?: boolean | undefined;
+                }[] | undefined;
+                termType?: string | undefined;
+            } | {
+                op: "remove_entity";
+                term: string;
+            } | {
+                op: "add_attribute";
+                attribute: {
+                    name: string;
+                    valueType: string;
+                    default?: unknown;
+                    optional?: boolean | undefined;
+                };
+                term: string;
+            } | {
+                op: "remove_attribute";
+                attribute: string;
+                term: string;
+            } | {
+                spec: string;
+                op: "modify_spec";
+                term: string;
+            })[];
+            tests?: string[] | undefined;
+        } | null | undefined;
+        detail?: string | undefined;
+    }>, "many">>;
+    author: z.ZodOptional<z.ZodObject<{
+        kind: z.ZodEnum<["human", "spec", "coder"]>;
+        user: z.ZodOptional<z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
+        kind: "human" | "spec" | "coder";
+        user?: string | undefined;
+    }, {
+        kind: "human" | "spec" | "coder";
+        user?: string | undefined;
+    }>>;
+    status: z.ZodDefault<z.ZodEnum<["draft", "ready"]>>;
+    rev: z.ZodDefault<z.ZodNumber>;
+    answer: z.ZodDefault<z.ZodNullable<z.ZodObject<{
+        chose: z.ZodNullable<z.ZodString>;
+        note: z.ZodString;
+        answeredAt: z.ZodString;
+        changesetId: z.ZodOptional<z.ZodString>;
+        author: z.ZodOptional<z.ZodObject<{
+            kind: z.ZodEnum<["human", "spec", "coder"]>;
+            user: z.ZodOptional<z.ZodString>;
+        }, "strict", z.ZodTypeAny, {
+            kind: "human" | "spec" | "coder";
+            user?: string | undefined;
+        }, {
+            kind: "human" | "spec" | "coder";
+            user?: string | undefined;
+        }>>;
+    }, "strict", z.ZodTypeAny, {
+        chose: string | null;
+        note: string;
+        answeredAt: string;
+        changesetId?: string | undefined;
+        author?: {
+            kind: "human" | "spec" | "coder";
+            user?: string | undefined;
+        } | undefined;
+    }, {
+        chose: string | null;
+        note: string;
+        answeredAt: string;
+        changesetId?: string | undefined;
+        author?: {
+            kind: "human" | "spec" | "coder";
+            user?: string | undefined;
+        } | undefined;
+    }>>>;
+}, "strict", z.ZodTypeAny, {
+    status: "draft" | "ready";
+    answer: {
+        chose: string | null;
+        note: string;
+        answeredAt: string;
+        changesetId?: string | undefined;
+        author?: {
+            kind: "human" | "spec" | "coder";
+            user?: string | undefined;
+        } | undefined;
+    } | null;
+    options: {
+        proposal: {
+            summary: string;
+            ops: ({
+                spec: string;
+                op: "add_entity";
+                term: string;
+                parent?: string | null | undefined;
+                tags?: string[] | undefined;
+                attributes?: {
+                    name: string;
+                    valueType: string;
+                    default?: unknown;
+                    optional?: boolean | undefined;
+                }[] | undefined;
+                termType?: string | undefined;
+            } | {
+                op: "remove_entity";
+                term: string;
+            } | {
+                op: "add_attribute";
+                attribute: {
+                    name: string;
+                    valueType: string;
+                    default?: unknown;
+                    optional?: boolean | undefined;
+                };
+                term: string;
+            } | {
+                op: "remove_attribute";
+                attribute: string;
+                term: string;
+            } | {
+                spec: string;
+                op: "modify_spec";
+                term: string;
+            })[];
+            tests: string[];
+        } | null;
+        label: string;
+        detail?: string | undefined;
+    }[];
+    id: string;
+    asks: string;
+    because: string;
+    raisedBy: {
+        terms: string[];
+        pass: string;
+        file?: string | undefined;
+    };
+    rev: number;
+    author?: {
+        kind: "human" | "spec" | "coder";
+        user?: string | undefined;
+    } | undefined;
+}, {
+    id: string;
+    asks: string;
+    because: string;
+    raisedBy: {
+        pass: string;
+        terms?: string[] | undefined;
+        file?: string | undefined;
+    };
+    status?: "draft" | "ready" | undefined;
+    answer?: {
+        chose: string | null;
+        note: string;
+        answeredAt: string;
+        changesetId?: string | undefined;
+        author?: {
+            kind: "human" | "spec" | "coder";
+            user?: string | undefined;
+        } | undefined;
+    } | null | undefined;
+    options?: {
+        label: string;
+        proposal?: {
+            summary: string;
+            ops: ({
+                spec: string;
+                op: "add_entity";
+                term: string;
+                parent?: string | null | undefined;
+                tags?: string[] | undefined;
+                attributes?: {
+                    name: string;
+                    valueType: string;
+                    default?: unknown;
+                    optional?: boolean | undefined;
+                }[] | undefined;
+                termType?: string | undefined;
+            } | {
+                op: "remove_entity";
+                term: string;
+            } | {
+                op: "add_attribute";
+                attribute: {
+                    name: string;
+                    valueType: string;
+                    default?: unknown;
+                    optional?: boolean | undefined;
+                };
+                term: string;
+            } | {
+                op: "remove_attribute";
+                attribute: string;
+                term: string;
+            } | {
+                spec: string;
+                op: "modify_spec";
+                term: string;
+            })[];
+            tests?: string[] | undefined;
+        } | null | undefined;
+        detail?: string | undefined;
+    }[] | undefined;
+    author?: {
+        kind: "human" | "spec" | "coder";
+        user?: string | undefined;
+    } | undefined;
+    rev?: number | undefined;
+}>, {
+    status: "draft" | "ready";
+    answer: {
+        chose: string | null;
+        note: string;
+        answeredAt: string;
+        changesetId?: string | undefined;
+        author?: {
+            kind: "human" | "spec" | "coder";
+            user?: string | undefined;
+        } | undefined;
+    } | null;
+    options: {
+        proposal: {
+            summary: string;
+            ops: ({
+                spec: string;
+                op: "add_entity";
+                term: string;
+                parent?: string | null | undefined;
+                tags?: string[] | undefined;
+                attributes?: {
+                    name: string;
+                    valueType: string;
+                    default?: unknown;
+                    optional?: boolean | undefined;
+                }[] | undefined;
+                termType?: string | undefined;
+            } | {
+                op: "remove_entity";
+                term: string;
+            } | {
+                op: "add_attribute";
+                attribute: {
+                    name: string;
+                    valueType: string;
+                    default?: unknown;
+                    optional?: boolean | undefined;
+                };
+                term: string;
+            } | {
+                op: "remove_attribute";
+                attribute: string;
+                term: string;
+            } | {
+                spec: string;
+                op: "modify_spec";
+                term: string;
+            })[];
+            tests: string[];
+        } | null;
+        label: string;
+        detail?: string | undefined;
+    }[];
+    id: string;
+    asks: string;
+    because: string;
+    raisedBy: {
+        terms: string[];
+        pass: string;
+        file?: string | undefined;
+    };
+    rev: number;
+    author?: {
+        kind: "human" | "spec" | "coder";
+        user?: string | undefined;
+    } | undefined;
+}, {
+    id: string;
+    asks: string;
+    because: string;
+    raisedBy: {
+        pass: string;
+        terms?: string[] | undefined;
+        file?: string | undefined;
+    };
+    status?: "draft" | "ready" | undefined;
+    answer?: {
+        chose: string | null;
+        note: string;
+        answeredAt: string;
+        changesetId?: string | undefined;
+        author?: {
+            kind: "human" | "spec" | "coder";
+            user?: string | undefined;
+        } | undefined;
+    } | null | undefined;
+    options?: {
+        label: string;
+        proposal?: {
+            summary: string;
+            ops: ({
+                spec: string;
+                op: "add_entity";
+                term: string;
+                parent?: string | null | undefined;
+                tags?: string[] | undefined;
+                attributes?: {
+                    name: string;
+                    valueType: string;
+                    default?: unknown;
+                    optional?: boolean | undefined;
+                }[] | undefined;
+                termType?: string | undefined;
+            } | {
+                op: "remove_entity";
+                term: string;
+            } | {
+                op: "add_attribute";
+                attribute: {
+                    name: string;
+                    valueType: string;
+                    default?: unknown;
+                    optional?: boolean | undefined;
+                };
+                term: string;
+            } | {
+                op: "remove_attribute";
+                attribute: string;
+                term: string;
+            } | {
+                spec: string;
+                op: "modify_spec";
+                term: string;
+            })[];
+            tests?: string[] | undefined;
+        } | null | undefined;
+        detail?: string | undefined;
+    }[] | undefined;
+    author?: {
+        kind: "human" | "spec" | "coder";
+        user?: string | undefined;
+    } | undefined;
+    rev?: number | undefined;
+}>;
+export declare const expectationSchema: z.ZodEffects<z.ZodObject<{
+    id: z.ZodString;
+    kind: z.ZodEnum<["functional", "non-functional"]>;
+    author: z.ZodOptional<z.ZodObject<{
+        kind: z.ZodEnum<["human", "spec", "coder"]>;
+        user: z.ZodOptional<z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
+        kind: "human" | "spec" | "coder";
+        user?: string | undefined;
+    }, {
+        kind: "human" | "spec" | "coder";
+        user?: string | undefined;
+    }>>;
+    status: z.ZodDefault<z.ZodEnum<["draft", "ready"]>>;
+    rev: z.ZodDefault<z.ZodNumber>;
+    terms: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
+    given: z.ZodDefault<z.ZodString>;
+    expect: z.ZodString;
+    raisedBy: z.ZodObject<{
+        pass: z.ZodString;
+        from: z.ZodOptional<z.ZodString>;
+        file: z.ZodOptional<z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
+        pass: string;
+        file?: string | undefined;
+        from?: string | undefined;
+    }, {
+        pass: string;
+        file?: string | undefined;
+        from?: string | undefined;
+    }>;
+    supersededBy: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+    retiredBecause: z.ZodOptional<z.ZodString>;
+    contested: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        kind: z.ZodEnum<["unknown-term", "duplicate", "overlaps", "contradicts", "restates"]>;
+        subject: z.ZodString;
+        detail: z.ZodString;
+        quote: z.ZodOptional<z.ZodString>;
+    }, "strict", z.ZodTypeAny, {
+        kind: "unknown-term" | "duplicate" | "overlaps" | "contradicts" | "restates";
+        detail: string;
+        subject: string;
+        quote?: string | undefined;
+    }, {
+        kind: "unknown-term" | "duplicate" | "overlaps" | "contradicts" | "restates";
+        detail: string;
+        subject: string;
+        quote?: string | undefined;
+    }>, "many">>;
+}, "strict", z.ZodTypeAny, {
+    status: "draft" | "ready";
+    kind: "functional" | "non-functional";
+    terms: string[];
+    id: string;
+    raisedBy: {
+        pass: string;
+        file?: string | undefined;
+        from?: string | undefined;
+    };
+    rev: number;
+    given: string;
+    expect: string;
+    supersededBy: string | null;
+    contested: {
+        kind: "unknown-term" | "duplicate" | "overlaps" | "contradicts" | "restates";
+        detail: string;
+        subject: string;
+        quote?: string | undefined;
+    }[];
+    author?: {
+        kind: "human" | "spec" | "coder";
+        user?: string | undefined;
+    } | undefined;
+    retiredBecause?: string | undefined;
+}, {
+    kind: "functional" | "non-functional";
+    id: string;
+    raisedBy: {
+        pass: string;
+        file?: string | undefined;
+        from?: string | undefined;
+    };
+    expect: string;
+    status?: "draft" | "ready" | undefined;
+    terms?: string[] | undefined;
+    author?: {
+        kind: "human" | "spec" | "coder";
+        user?: string | undefined;
+    } | undefined;
+    rev?: number | undefined;
+    given?: string | undefined;
+    supersededBy?: string | null | undefined;
+    retiredBecause?: string | undefined;
+    contested?: {
+        kind: "unknown-term" | "duplicate" | "overlaps" | "contradicts" | "restates";
+        detail: string;
+        subject: string;
+        quote?: string | undefined;
+    }[] | undefined;
+}>, {
+    status: "draft" | "ready";
+    kind: "functional" | "non-functional";
+    terms: string[];
+    id: string;
+    raisedBy: {
+        pass: string;
+        file?: string | undefined;
+        from?: string | undefined;
+    };
+    rev: number;
+    given: string;
+    expect: string;
+    supersededBy: string | null;
+    contested: {
+        kind: "unknown-term" | "duplicate" | "overlaps" | "contradicts" | "restates";
+        detail: string;
+        subject: string;
+        quote?: string | undefined;
+    }[];
+    author?: {
+        kind: "human" | "spec" | "coder";
+        user?: string | undefined;
+    } | undefined;
+    retiredBecause?: string | undefined;
+}, {
+    kind: "functional" | "non-functional";
+    id: string;
+    raisedBy: {
+        pass: string;
+        file?: string | undefined;
+        from?: string | undefined;
+    };
+    expect: string;
+    status?: "draft" | "ready" | undefined;
+    terms?: string[] | undefined;
+    author?: {
+        kind: "human" | "spec" | "coder";
+        user?: string | undefined;
+    } | undefined;
+    rev?: number | undefined;
+    given?: string | undefined;
+    supersededBy?: string | null | undefined;
+    retiredBecause?: string | undefined;
+    contested?: {
+        kind: "unknown-term" | "duplicate" | "overlaps" | "contradicts" | "restates";
+        detail: string;
+        subject: string;
+        quote?: string | undefined;
+    }[] | undefined;
+}>;
+export type ParseResult<T> = {
+    ok: true;
+    value: T;
+} | {
+    ok: false;
+    errors: string[];
+};
+export declare function parseTerm(data: unknown): ParseResult<Term>;
+export declare function parseChangeset(data: unknown): ParseResult<Changeset>;
+export declare function parseQuestion(data: unknown): ParseResult<Question>;
+export declare function parseExpectation(data: unknown): ParseResult<Expectation>;
+export declare function parseProjectInfo(data: unknown): ParseResult<ProjectInfo>;