sysprom 1.0.0 → 1.0.6

package/dist/src/schema.d.ts

@@ -0,0 +1,891 @@
+import * as z from "zod";
+export declare const Text: z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
+    is(value: unknown): value is string | string[];
+};
+export type Text = z.infer<typeof Text>;
+export declare const NodeType: z.ZodEnum<{
+    intent: "intent";
+    concept: "concept";
+    capability: "capability";
+    element: "element";
+    realisation: "realisation";
+    invariant: "invariant";
+    principle: "principle";
+    policy: "policy";
+    protocol: "protocol";
+    stage: "stage";
+    role: "role";
+    gate: "gate";
+    mode: "mode";
+    artefact: "artefact";
+    artefact_flow: "artefact_flow";
+    decision: "decision";
+    change: "change";
+    view: "view";
+    milestone: "milestone";
+    version: "version";
+}> & {
+    is(value: unknown): value is "intent" | "concept" | "capability" | "element" | "realisation" | "invariant" | "principle" | "policy" | "protocol" | "stage" | "role" | "gate" | "mode" | "artefact" | "artefact_flow" | "decision" | "change" | "view" | "milestone" | "version";
+};
+export type NodeType = z.infer<typeof NodeType>;
+export declare const NODE_TYPE_LABELS: {
+    readonly intent: "Intent";
+    readonly concept: "Concepts";
+    readonly capability: "Capabilities";
+    readonly element: "Elements";
+    readonly realisation: "Realisations";
+    readonly invariant: "Invariants";
+    readonly principle: "Principles";
+    readonly policy: "Policies";
+    readonly protocol: "Protocols";
+    readonly stage: "Stages";
+    readonly role: "Roles";
+    readonly gate: "Gates";
+    readonly mode: "Modes";
+    readonly artefact: "Artefacts";
+    readonly artefact_flow: "Artefact Flows";
+    readonly decision: "Decisions";
+    readonly change: "Changes";
+    readonly view: "Views";
+    readonly milestone: "Milestones";
+    readonly version: "Versions";
+};
+export declare const NODE_LABEL_TO_TYPE: Record<string, "intent" | "concept" | "capability" | "element" | "realisation" | "invariant" | "principle" | "policy" | "protocol" | "stage" | "role" | "gate" | "mode" | "artefact" | "artefact_flow" | "decision" | "change" | "view" | "milestone" | "version">;
+export declare const NODE_STATUSES: readonly ["proposed", "accepted", "active", "implemented", "adopted", "defined", "introduced", "in_progress", "complete", "consolidated", "experimental", "deprecated", "retired", "superseded", "abandoned", "deferred"];
+export declare const NodeStatus: z.ZodEnum<{
+    deprecated: "deprecated";
+    proposed: "proposed";
+    accepted: "accepted";
+    active: "active";
+    implemented: "implemented";
+    adopted: "adopted";
+    defined: "defined";
+    introduced: "introduced";
+    in_progress: "in_progress";
+    complete: "complete";
+    consolidated: "consolidated";
+    experimental: "experimental";
+    retired: "retired";
+    superseded: "superseded";
+    abandoned: "abandoned";
+    deferred: "deferred";
+}> & {
+    is(value: unknown): value is "deprecated" | "proposed" | "accepted" | "active" | "implemented" | "adopted" | "defined" | "introduced" | "in_progress" | "complete" | "consolidated" | "experimental" | "retired" | "superseded" | "abandoned" | "deferred";
+};
+export type NodeStatus = z.infer<typeof NodeStatus>;
+export declare const RelationshipType: z.ZodEnum<{
+    refines: "refines";
+    realises: "realises";
+    implements: "implements";
+    depends_on: "depends_on";
+    constrained_by: "constrained_by";
+    affects: "affects";
+    supersedes: "supersedes";
+    must_preserve: "must_preserve";
+    performs: "performs";
+    part_of: "part_of";
+    precedes: "precedes";
+    must_follow: "must_follow";
+    blocks: "blocks";
+    routes_to: "routes_to";
+    governed_by: "governed_by";
+    modifies: "modifies";
+    triggered_by: "triggered_by";
+    applies_to: "applies_to";
+    produces: "produces";
+    consumes: "consumes";
+    transforms_into: "transforms_into";
+    selects: "selects";
+    requires: "requires";
+    disables: "disables";
+}> & {
+    is(value: unknown): value is "refines" | "realises" | "implements" | "depends_on" | "constrained_by" | "affects" | "supersedes" | "must_preserve" | "performs" | "part_of" | "precedes" | "must_follow" | "blocks" | "routes_to" | "governed_by" | "modifies" | "triggered_by" | "applies_to" | "produces" | "consumes" | "transforms_into" | "selects" | "requires" | "disables";
+};
+export type RelationshipType = z.infer<typeof RelationshipType>;
+export declare const RELATIONSHIP_TYPE_LABELS: {
+    readonly refines: "Refines";
+    readonly realises: "Realises";
+    readonly implements: "Implements";
+    readonly depends_on: "Depends on";
+    readonly constrained_by: "Constrained by";
+    readonly affects: "Affects";
+    readonly supersedes: "Supersedes";
+    readonly must_preserve: "Must preserve";
+    readonly performs: "Performs";
+    readonly part_of: "Part of";
+    readonly precedes: "Precedes";
+    readonly must_follow: "Must follow";
+    readonly blocks: "Blocks";
+    readonly routes_to: "Routes to";
+    readonly governed_by: "Governed by";
+    readonly modifies: "Modifies";
+    readonly triggered_by: "Triggered by";
+    readonly applies_to: "Applies to";
+    readonly produces: "Produces";
+    readonly consumes: "Consumes";
+    readonly transforms_into: "Transforms into";
+    readonly selects: "Selects";
+    readonly requires: "Requires";
+    readonly disables: "Disables";
+};
+export declare const RELATIONSHIP_LABEL_TO_TYPE: Record<string, "refines" | "realises" | "implements" | "depends_on" | "constrained_by" | "affects" | "supersedes" | "must_preserve" | "performs" | "part_of" | "precedes" | "must_follow" | "blocks" | "routes_to" | "governed_by" | "modifies" | "triggered_by" | "applies_to" | "produces" | "consumes" | "transforms_into" | "selects" | "requires" | "disables">;
+export declare const ExternalReferenceRole: z.ZodEnum<{
+    output: "output";
+    input: "input";
+    context: "context";
+    evidence: "evidence";
+    source: "source";
+    standard: "standard";
+    prior_art: "prior_art";
+}> & {
+    is(value: unknown): value is "output" | "input" | "context" | "evidence" | "source" | "standard" | "prior_art";
+};
+export type ExternalReferenceRole = z.infer<typeof ExternalReferenceRole>;
+export declare const EXTERNAL_REFERENCE_ROLE_LABELS: {
+    readonly input: "Input";
+    readonly output: "Output";
+    readonly context: "Context";
+    readonly evidence: "Evidence";
+    readonly source: "Source";
+    readonly standard: "Standard";
+    readonly prior_art: "Prior art";
+};
+export declare const EXTERNAL_REFERENCE_LABEL_TO_ROLE: Record<string, "output" | "input" | "context" | "evidence" | "source" | "standard" | "prior_art">;
+export declare const Option: z.ZodObject<{
+    id: z.ZodString;
+    description: z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
+        is(value: unknown): value is string | string[];
+    };
+}, z.core.$loose> & {
+    is(value: unknown): value is {
+        [x: string]: unknown;
+        id: string;
+        description: string | string[];
+    };
+};
+export type Option = z.infer<typeof Option>;
+export declare const Operation: z.ZodObject<{
+    type: z.ZodEnum<{
+        link: "link";
+        add: "add";
+        update: "update";
+        remove: "remove";
+    }>;
+    target: z.ZodOptional<z.ZodString>;
+    description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
+        is(value: unknown): value is string | string[];
+    }>;
+}, z.core.$loose> & {
+    is(value: unknown): value is {
+        [x: string]: unknown;
+        type: "link" | "add" | "update" | "remove";
+        target?: string | undefined;
+        description?: string | string[] | undefined;
+    };
+};
+export type Operation = z.infer<typeof Operation>;
+export declare const Task: z.ZodObject<{
+    description: z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
+        is(value: unknown): value is string | string[];
+    };
+    done: z.ZodOptional<z.ZodDefault<z.ZodBoolean>>;
+}, z.core.$loose> & {
+    is(value: unknown): value is {
+        [x: string]: unknown;
+        description: string | string[];
+        done?: boolean | undefined;
+    };
+};
+export type Task = z.infer<typeof Task>;
+export declare const ExternalReference: z.ZodObject<{
+    role: z.ZodEnum<{
+        output: "output";
+        input: "input";
+        context: "context";
+        evidence: "evidence";
+        source: "source";
+        standard: "standard";
+        prior_art: "prior_art";
+    }> & {
+        is(value: unknown): value is "output" | "input" | "context" | "evidence" | "source" | "standard" | "prior_art";
+    };
+    identifier: z.ZodString;
+    description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
+        is(value: unknown): value is string | string[];
+    }>;
+    node_id: z.ZodOptional<z.ZodString>;
+    internalised: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
+        is(value: unknown): value is string | string[];
+    }>;
+}, z.core.$strip> & {
+    is(value: unknown): value is {
+        role: "output" | "input" | "context" | "evidence" | "source" | "standard" | "prior_art";
+        identifier: string;
+        description?: string | string[] | undefined;
+        node_id?: string | undefined;
+        internalised?: string | string[] | undefined;
+    };
+};
+export type ExternalReference = z.infer<typeof ExternalReference>;
+export declare const Metadata: z.ZodObject<{
+    title: z.ZodOptional<z.ZodString>;
+    doc_type: z.ZodOptional<z.ZodString>;
+    scope: z.ZodOptional<z.ZodString>;
+    status: z.ZodOptional<z.ZodString>;
+    version: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodInt]>>;
+}, z.core.$loose> & {
+    is(value: unknown): value is {
+        [x: string]: unknown;
+        title?: string | undefined;
+        doc_type?: string | undefined;
+        scope?: string | undefined;
+        status?: string | undefined;
+        version?: string | number | undefined;
+    };
+};
+export type Metadata = z.infer<typeof Metadata>;
+export declare const Relationship: z.ZodObject<{
+    from: z.ZodString;
+    to: z.ZodString;
+    type: z.ZodEnum<{
+        refines: "refines";
+        realises: "realises";
+        implements: "implements";
+        depends_on: "depends_on";
+        constrained_by: "constrained_by";
+        affects: "affects";
+        supersedes: "supersedes";
+        must_preserve: "must_preserve";
+        performs: "performs";
+        part_of: "part_of";
+        precedes: "precedes";
+        must_follow: "must_follow";
+        blocks: "blocks";
+        routes_to: "routes_to";
+        governed_by: "governed_by";
+        modifies: "modifies";
+        triggered_by: "triggered_by";
+        applies_to: "applies_to";
+        produces: "produces";
+        consumes: "consumes";
+        transforms_into: "transforms_into";
+        selects: "selects";
+        requires: "requires";
+        disables: "disables";
+    }> & {
+        is(value: unknown): value is "refines" | "realises" | "implements" | "depends_on" | "constrained_by" | "affects" | "supersedes" | "must_preserve" | "performs" | "part_of" | "precedes" | "must_follow" | "blocks" | "routes_to" | "governed_by" | "modifies" | "triggered_by" | "applies_to" | "produces" | "consumes" | "transforms_into" | "selects" | "requires" | "disables";
+    };
+    description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
+        is(value: unknown): value is string | string[];
+    }>;
+}, z.core.$loose> & {
+    is(value: unknown): value is {
+        [x: string]: unknown;
+        from: string;
+        to: string;
+        type: "refines" | "realises" | "implements" | "depends_on" | "constrained_by" | "affects" | "supersedes" | "must_preserve" | "performs" | "part_of" | "precedes" | "must_follow" | "blocks" | "routes_to" | "governed_by" | "modifies" | "triggered_by" | "applies_to" | "produces" | "consumes" | "transforms_into" | "selects" | "requires" | "disables";
+        description?: string | string[] | undefined;
+    };
+};
+export type Relationship = z.infer<typeof Relationship>;
+declare const SysProMDocumentSchema: z.ZodObject<{
+    $schema: z.ZodOptional<z.ZodString>;
+    metadata: z.ZodOptional<z.ZodObject<{
+        title: z.ZodOptional<z.ZodString>;
+        doc_type: z.ZodOptional<z.ZodString>;
+        scope: z.ZodOptional<z.ZodString>;
+        status: z.ZodOptional<z.ZodString>;
+        version: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodInt]>>;
+    }, z.core.$loose> & {
+        is(value: unknown): value is {
+            [x: string]: unknown;
+            title?: string | undefined;
+            doc_type?: string | undefined;
+            scope?: string | undefined;
+            status?: string | undefined;
+            version?: string | number | undefined;
+        };
+    }>;
+    nodes: z.ZodArray<typeof NodeSchema>;
+    relationships: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        from: z.ZodString;
+        to: z.ZodString;
+        type: z.ZodEnum<{
+            refines: "refines";
+            realises: "realises";
+            implements: "implements";
+            depends_on: "depends_on";
+            constrained_by: "constrained_by";
+            affects: "affects";
+            supersedes: "supersedes";
+            must_preserve: "must_preserve";
+            performs: "performs";
+            part_of: "part_of";
+            precedes: "precedes";
+            must_follow: "must_follow";
+            blocks: "blocks";
+            routes_to: "routes_to";
+            governed_by: "governed_by";
+            modifies: "modifies";
+            triggered_by: "triggered_by";
+            applies_to: "applies_to";
+            produces: "produces";
+            consumes: "consumes";
+            transforms_into: "transforms_into";
+            selects: "selects";
+            requires: "requires";
+            disables: "disables";
+        }> & {
+            is(value: unknown): value is "refines" | "realises" | "implements" | "depends_on" | "constrained_by" | "affects" | "supersedes" | "must_preserve" | "performs" | "part_of" | "precedes" | "must_follow" | "blocks" | "routes_to" | "governed_by" | "modifies" | "triggered_by" | "applies_to" | "produces" | "consumes" | "transforms_into" | "selects" | "requires" | "disables";
+        };
+        description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
+            is(value: unknown): value is string | string[];
+        }>;
+    }, z.core.$loose> & {
+        is(value: unknown): value is {
+            [x: string]: unknown;
+            from: string;
+            to: string;
+            type: "refines" | "realises" | "implements" | "depends_on" | "constrained_by" | "affects" | "supersedes" | "must_preserve" | "performs" | "part_of" | "precedes" | "must_follow" | "blocks" | "routes_to" | "governed_by" | "modifies" | "triggered_by" | "applies_to" | "produces" | "consumes" | "transforms_into" | "selects" | "requires" | "disables";
+            description?: string | string[] | undefined;
+        };
+    }>>;
+    external_references: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        role: z.ZodEnum<{
+            output: "output";
+            input: "input";
+            context: "context";
+            evidence: "evidence";
+            source: "source";
+            standard: "standard";
+            prior_art: "prior_art";
+        }> & {
+            is(value: unknown): value is "output" | "input" | "context" | "evidence" | "source" | "standard" | "prior_art";
+        };
+        identifier: z.ZodString;
+        description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
+            is(value: unknown): value is string | string[];
+        }>;
+        node_id: z.ZodOptional<z.ZodString>;
+        internalised: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
+            is(value: unknown): value is string | string[];
+        }>;
+    }, z.core.$strip> & {
+        is(value: unknown): value is {
+            role: "output" | "input" | "context" | "evidence" | "source" | "standard" | "prior_art";
+            identifier: string;
+            description?: string | string[] | undefined;
+            node_id?: string | undefined;
+            internalised?: string | string[] | undefined;
+        };
+    }>>;
+}, z.core.$strip>;
+declare const NodeSchema: z.ZodObject<{
+    id: z.ZodString;
+    type: z.ZodEnum<{
+        intent: "intent";
+        concept: "concept";
+        capability: "capability";
+        element: "element";
+        realisation: "realisation";
+        invariant: "invariant";
+        principle: "principle";
+        policy: "policy";
+        protocol: "protocol";
+        stage: "stage";
+        role: "role";
+        gate: "gate";
+        mode: "mode";
+        artefact: "artefact";
+        artefact_flow: "artefact_flow";
+        decision: "decision";
+        change: "change";
+        view: "view";
+        milestone: "milestone";
+        version: "version";
+    }> & {
+        is(value: unknown): value is "intent" | "concept" | "capability" | "element" | "realisation" | "invariant" | "principle" | "policy" | "protocol" | "stage" | "role" | "gate" | "mode" | "artefact" | "artefact_flow" | "decision" | "change" | "view" | "milestone" | "version";
+    };
+    name: z.ZodString;
+    description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
+        is(value: unknown): value is string | string[];
+    }>;
+    status: z.ZodOptional<z.ZodEnum<{
+        deprecated: "deprecated";
+        proposed: "proposed";
+        accepted: "accepted";
+        active: "active";
+        implemented: "implemented";
+        adopted: "adopted";
+        defined: "defined";
+        introduced: "introduced";
+        in_progress: "in_progress";
+        complete: "complete";
+        consolidated: "consolidated";
+        experimental: "experimental";
+        retired: "retired";
+        superseded: "superseded";
+        abandoned: "abandoned";
+        deferred: "deferred";
+    }> & {
+        is(value: unknown): value is "deprecated" | "proposed" | "accepted" | "active" | "implemented" | "adopted" | "defined" | "introduced" | "in_progress" | "complete" | "consolidated" | "experimental" | "retired" | "superseded" | "abandoned" | "deferred";
+    }>;
+    lifecycle: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodBoolean, z.ZodString]>>>;
+    context: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
+        is(value: unknown): value is string | string[];
+    }>;
+    options: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        description: z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
+            is(value: unknown): value is string | string[];
+        };
+    }, z.core.$loose> & {
+        is(value: unknown): value is {
+            [x: string]: unknown;
+            id: string;
+            description: string | string[];
+        };
+    }>>;
+    selected: z.ZodOptional<z.ZodString>;
+    rationale: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
+        is(value: unknown): value is string | string[];
+    }>;
+    scope: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    operations: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        type: z.ZodEnum<{
+            link: "link";
+            add: "add";
+            update: "update";
+            remove: "remove";
+        }>;
+        target: z.ZodOptional<z.ZodString>;
+        description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
+            is(value: unknown): value is string | string[];
+        }>;
+    }, z.core.$loose> & {
+        is(value: unknown): value is {
+            [x: string]: unknown;
+            type: "link" | "add" | "update" | "remove";
+            target?: string | undefined;
+            description?: string | string[] | undefined;
+        };
+    }>>;
+    plan: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        description: z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
+            is(value: unknown): value is string | string[];
+        };
+        done: z.ZodOptional<z.ZodDefault<z.ZodBoolean>>;
+    }, z.core.$loose> & {
+        is(value: unknown): value is {
+            [x: string]: unknown;
+            description: string | string[];
+            done?: boolean | undefined;
+        };
+    }>>;
+    propagation: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodBoolean>>;
+    includes: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    input: z.ZodOptional<z.ZodString>;
+    output: z.ZodOptional<z.ZodString>;
+    external_references: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        role: z.ZodEnum<{
+            output: "output";
+            input: "input";
+            context: "context";
+            evidence: "evidence";
+            source: "source";
+            standard: "standard";
+            prior_art: "prior_art";
+        }> & {
+            is(value: unknown): value is "output" | "input" | "context" | "evidence" | "source" | "standard" | "prior_art";
+        };
+        identifier: z.ZodString;
+        description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
+            is(value: unknown): value is string | string[];
+        }>;
+        node_id: z.ZodOptional<z.ZodString>;
+        internalised: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
+            is(value: unknown): value is string | string[];
+        }>;
+    }, z.core.$strip> & {
+        is(value: unknown): value is {
+            role: "output" | "input" | "context" | "evidence" | "source" | "standard" | "prior_art";
+            identifier: string;
+            description?: string | string[] | undefined;
+            node_id?: string | undefined;
+            internalised?: string | string[] | undefined;
+        };
+    }>>;
+    readonly subsystem: z.ZodOptional<typeof SysProMDocumentSchema>;
+}, z.core.$loose>;
+export declare const SysProMDocument: z.ZodObject<{
+    $schema: z.ZodOptional<z.ZodString>;
+    metadata: z.ZodOptional<z.ZodObject<{
+        title: z.ZodOptional<z.ZodString>;
+        doc_type: z.ZodOptional<z.ZodString>;
+        scope: z.ZodOptional<z.ZodString>;
+        status: z.ZodOptional<z.ZodString>;
+        version: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodInt]>>;
+    }, z.core.$loose> & {
+        is(value: unknown): value is {
+            [x: string]: unknown;
+            title?: string | undefined;
+            doc_type?: string | undefined;
+            scope?: string | undefined;
+            status?: string | undefined;
+            version?: string | number | undefined;
+        };
+    }>;
+    nodes: z.ZodArray<typeof NodeSchema>;
+    relationships: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        from: z.ZodString;
+        to: z.ZodString;
+        type: z.ZodEnum<{
+            refines: "refines";
+            realises: "realises";
+            implements: "implements";
+            depends_on: "depends_on";
+            constrained_by: "constrained_by";
+            affects: "affects";
+            supersedes: "supersedes";
+            must_preserve: "must_preserve";
+            performs: "performs";
+            part_of: "part_of";
+            precedes: "precedes";
+            must_follow: "must_follow";
+            blocks: "blocks";
+            routes_to: "routes_to";
+            governed_by: "governed_by";
+            modifies: "modifies";
+            triggered_by: "triggered_by";
+            applies_to: "applies_to";
+            produces: "produces";
+            consumes: "consumes";
+            transforms_into: "transforms_into";
+            selects: "selects";
+            requires: "requires";
+            disables: "disables";
+        }> & {
+            is(value: unknown): value is "refines" | "realises" | "implements" | "depends_on" | "constrained_by" | "affects" | "supersedes" | "must_preserve" | "performs" | "part_of" | "precedes" | "must_follow" | "blocks" | "routes_to" | "governed_by" | "modifies" | "triggered_by" | "applies_to" | "produces" | "consumes" | "transforms_into" | "selects" | "requires" | "disables";
+        };
+        description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
+            is(value: unknown): value is string | string[];
+        }>;
+    }, z.core.$loose> & {
+        is(value: unknown): value is {
+            [x: string]: unknown;
+            from: string;
+            to: string;
+            type: "refines" | "realises" | "implements" | "depends_on" | "constrained_by" | "affects" | "supersedes" | "must_preserve" | "performs" | "part_of" | "precedes" | "must_follow" | "blocks" | "routes_to" | "governed_by" | "modifies" | "triggered_by" | "applies_to" | "produces" | "consumes" | "transforms_into" | "selects" | "requires" | "disables";
+            description?: string | string[] | undefined;
+        };
+    }>>;
+    external_references: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        role: z.ZodEnum<{
+            output: "output";
+            input: "input";
+            context: "context";
+            evidence: "evidence";
+            source: "source";
+            standard: "standard";
+            prior_art: "prior_art";
+        }> & {
+            is(value: unknown): value is "output" | "input" | "context" | "evidence" | "source" | "standard" | "prior_art";
+        };
+        identifier: z.ZodString;
+        description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
+            is(value: unknown): value is string | string[];
+        }>;
+        node_id: z.ZodOptional<z.ZodString>;
+        internalised: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
+            is(value: unknown): value is string | string[];
+        }>;
+    }, z.core.$strip> & {
+        is(value: unknown): value is {
+            role: "output" | "input" | "context" | "evidence" | "source" | "standard" | "prior_art";
+            identifier: string;
+            description?: string | string[] | undefined;
+            node_id?: string | undefined;
+            internalised?: string | string[] | undefined;
+        };
+    }>>;
+}, z.core.$strip> & {
+    is(value: unknown): value is {
+        nodes: {
+            [x: string]: unknown;
+            id: string;
+            type: "intent" | "concept" | "capability" | "element" | "realisation" | "invariant" | "principle" | "policy" | "protocol" | "stage" | "role" | "gate" | "mode" | "artefact" | "artefact_flow" | "decision" | "change" | "view" | "milestone" | "version";
+            name: string;
+            description?: string | string[] | undefined;
+            status?: "deprecated" | "proposed" | "accepted" | "active" | "implemented" | "adopted" | "defined" | "introduced" | "in_progress" | "complete" | "consolidated" | "experimental" | "retired" | "superseded" | "abandoned" | "deferred" | undefined;
+            lifecycle?: Record<string, string | boolean> | undefined;
+            context?: string | string[] | undefined;
+            options?: {
+                [x: string]: unknown;
+                id: string;
+                description: string | string[];
+            }[] | undefined;
+            selected?: string | undefined;
+            rationale?: string | string[] | undefined;
+            scope?: string[] | undefined;
+            operations?: {
+                [x: string]: unknown;
+                type: "link" | "add" | "update" | "remove";
+                target?: string | undefined;
+                description?: string | string[] | undefined;
+            }[] | undefined;
+            plan?: {
+                [x: string]: unknown;
+                description: string | string[];
+                done?: boolean | undefined;
+            }[] | undefined;
+            propagation?: Record<string, boolean> | undefined;
+            includes?: string[] | undefined;
+            input?: string | undefined;
+            output?: string | undefined;
+            external_references?: {
+                role: "output" | "input" | "context" | "evidence" | "source" | "standard" | "prior_art";
+                identifier: string;
+                description?: string | string[] | undefined;
+                node_id?: string | undefined;
+                internalised?: string | string[] | undefined;
+            }[] | undefined;
+            subsystem?: /*elided*/ any | undefined;
+        }[];
+        $schema?: string | undefined;
+        metadata?: {
+            [x: string]: unknown;
+            title?: string | undefined;
+            doc_type?: string | undefined;
+            scope?: string | undefined;
+            status?: string | undefined;
+            version?: string | number | undefined;
+        } | undefined;
+        relationships?: {
+            [x: string]: unknown;
+            from: string;
+            to: string;
+            type: "refines" | "realises" | "implements" | "depends_on" | "constrained_by" | "affects" | "supersedes" | "must_preserve" | "performs" | "part_of" | "precedes" | "must_follow" | "blocks" | "routes_to" | "governed_by" | "modifies" | "triggered_by" | "applies_to" | "produces" | "consumes" | "transforms_into" | "selects" | "requires" | "disables";
+            description?: string | string[] | undefined;
+        }[] | undefined;
+        external_references?: {
+            role: "output" | "input" | "context" | "evidence" | "source" | "standard" | "prior_art";
+            identifier: string;
+            description?: string | string[] | undefined;
+            node_id?: string | undefined;
+            internalised?: string | string[] | undefined;
+        }[] | undefined;
+    };
+};
+export type SysProMDocument = z.infer<typeof SysProMDocument>;
+export declare const Node: z.ZodObject<{
+    id: z.ZodString;
+    type: z.ZodEnum<{
+        intent: "intent";
+        concept: "concept";
+        capability: "capability";
+        element: "element";
+        realisation: "realisation";
+        invariant: "invariant";
+        principle: "principle";
+        policy: "policy";
+        protocol: "protocol";
+        stage: "stage";
+        role: "role";
+        gate: "gate";
+        mode: "mode";
+        artefact: "artefact";
+        artefact_flow: "artefact_flow";
+        decision: "decision";
+        change: "change";
+        view: "view";
+        milestone: "milestone";
+        version: "version";
+    }> & {
+        is(value: unknown): value is "intent" | "concept" | "capability" | "element" | "realisation" | "invariant" | "principle" | "policy" | "protocol" | "stage" | "role" | "gate" | "mode" | "artefact" | "artefact_flow" | "decision" | "change" | "view" | "milestone" | "version";
+    };
+    name: z.ZodString;
+    description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
+        is(value: unknown): value is string | string[];
+    }>;
+    status: z.ZodOptional<z.ZodEnum<{
+        deprecated: "deprecated";
+        proposed: "proposed";
+        accepted: "accepted";
+        active: "active";
+        implemented: "implemented";
+        adopted: "adopted";
+        defined: "defined";
+        introduced: "introduced";
+        in_progress: "in_progress";
+        complete: "complete";
+        consolidated: "consolidated";
+        experimental: "experimental";
+        retired: "retired";
+        superseded: "superseded";
+        abandoned: "abandoned";
+        deferred: "deferred";
+    }> & {
+        is(value: unknown): value is "deprecated" | "proposed" | "accepted" | "active" | "implemented" | "adopted" | "defined" | "introduced" | "in_progress" | "complete" | "consolidated" | "experimental" | "retired" | "superseded" | "abandoned" | "deferred";
+    }>;
+    lifecycle: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodBoolean, z.ZodString]>>>;
+    context: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
+        is(value: unknown): value is string | string[];
+    }>;
+    options: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        description: z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
+            is(value: unknown): value is string | string[];
+        };
+    }, z.core.$loose> & {
+        is(value: unknown): value is {
+            [x: string]: unknown;
+            id: string;
+            description: string | string[];
+        };
+    }>>;
+    selected: z.ZodOptional<z.ZodString>;
+    rationale: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
+        is(value: unknown): value is string | string[];
+    }>;
+    scope: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    operations: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        type: z.ZodEnum<{
+            link: "link";
+            add: "add";
+            update: "update";
+            remove: "remove";
+        }>;
+        target: z.ZodOptional<z.ZodString>;
+        description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
+            is(value: unknown): value is string | string[];
+        }>;
+    }, z.core.$loose> & {
+        is(value: unknown): value is {
+            [x: string]: unknown;
+            type: "link" | "add" | "update" | "remove";
+            target?: string | undefined;
+            description?: string | string[] | undefined;
+        };
+    }>>;
+    plan: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        description: z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
+            is(value: unknown): value is string | string[];
+        };
+        done: z.ZodOptional<z.ZodDefault<z.ZodBoolean>>;
+    }, z.core.$loose> & {
+        is(value: unknown): value is {
+            [x: string]: unknown;
+            description: string | string[];
+            done?: boolean | undefined;
+        };
+    }>>;
+    propagation: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodBoolean>>;
+    includes: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    input: z.ZodOptional<z.ZodString>;
+    output: z.ZodOptional<z.ZodString>;
+    external_references: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        role: z.ZodEnum<{
+            output: "output";
+            input: "input";
+            context: "context";
+            evidence: "evidence";
+            source: "source";
+            standard: "standard";
+            prior_art: "prior_art";
+        }> & {
+            is(value: unknown): value is "output" | "input" | "context" | "evidence" | "source" | "standard" | "prior_art";
+        };
+        identifier: z.ZodString;
+        description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
+            is(value: unknown): value is string | string[];
+        }>;
+        node_id: z.ZodOptional<z.ZodString>;
+        internalised: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
+            is(value: unknown): value is string | string[];
+        }>;
+    }, z.core.$strip> & {
+        is(value: unknown): value is {
+            role: "output" | "input" | "context" | "evidence" | "source" | "standard" | "prior_art";
+            identifier: string;
+            description?: string | string[] | undefined;
+            node_id?: string | undefined;
+            internalised?: string | string[] | undefined;
+        };
+    }>>;
+    readonly subsystem: z.ZodOptional<typeof SysProMDocumentSchema>;
+}, z.core.$loose> & {
+    is(value: unknown): value is {
+        [x: string]: unknown;
+        id: string;
+        type: "intent" | "concept" | "capability" | "element" | "realisation" | "invariant" | "principle" | "policy" | "protocol" | "stage" | "role" | "gate" | "mode" | "artefact" | "artefact_flow" | "decision" | "change" | "view" | "milestone" | "version";
+        name: string;
+        description?: string | string[] | undefined;
+        status?: "deprecated" | "proposed" | "accepted" | "active" | "implemented" | "adopted" | "defined" | "introduced" | "in_progress" | "complete" | "consolidated" | "experimental" | "retired" | "superseded" | "abandoned" | "deferred" | undefined;
+        lifecycle?: Record<string, string | boolean> | undefined;
+        context?: string | string[] | undefined;
+        options?: {
+            [x: string]: unknown;
+            id: string;
+            description: string | string[];
+        }[] | undefined;
+        selected?: string | undefined;
+        rationale?: string | string[] | undefined;
+        scope?: string[] | undefined;
+        operations?: {
+            [x: string]: unknown;
+            type: "link" | "add" | "update" | "remove";
+            target?: string | undefined;
+            description?: string | string[] | undefined;
+        }[] | undefined;
+        plan?: {
+            [x: string]: unknown;
+            description: string | string[];
+            done?: boolean | undefined;
+        }[] | undefined;
+        propagation?: Record<string, boolean> | undefined;
+        includes?: string[] | undefined;
+        input?: string | undefined;
+        output?: string | undefined;
+        external_references?: {
+            role: "output" | "input" | "context" | "evidence" | "source" | "standard" | "prior_art";
+            identifier: string;
+            description?: string | string[] | undefined;
+            node_id?: string | undefined;
+            internalised?: string | string[] | undefined;
+        }[] | undefined;
+        subsystem?: {
+            nodes: /*elided*/ any[];
+            $schema?: string | undefined;
+            metadata?: {
+                [x: string]: unknown;
+                title?: string | undefined;
+                doc_type?: string | undefined;
+                scope?: string | undefined;
+                status?: string | undefined;
+                version?: string | number | undefined;
+            } | undefined;
+            relationships?: {
+                [x: string]: unknown;
+                from: string;
+                to: string;
+                type: "refines" | "realises" | "implements" | "depends_on" | "constrained_by" | "affects" | "supersedes" | "must_preserve" | "performs" | "part_of" | "precedes" | "must_follow" | "blocks" | "routes_to" | "governed_by" | "modifies" | "triggered_by" | "applies_to" | "produces" | "consumes" | "transforms_into" | "selects" | "requires" | "disables";
+                description?: string | string[] | undefined;
+            }[] | undefined;
+            external_references?: {
+                role: "output" | "input" | "context" | "evidence" | "source" | "standard" | "prior_art";
+                identifier: string;
+                description?: string | string[] | undefined;
+                node_id?: string | undefined;
+                internalised?: string | string[] | undefined;
+            }[] | undefined;
+        } | undefined;
+    };
+};
+export type Node = z.infer<typeof Node>;
+/** Which node types belong in which document file. */
+export declare const NODE_FILE_MAP: Record<string, string[]>;
+/** Conventional ID prefix for each node type. */
+export declare const NODE_ID_PREFIX: Record<string, string>;
+/** Generate the JSON Schema representation of the SysProM document schema. */
+export declare function toJSONSchema(): Record<string, unknown>;
+export {};