sysprom 1.17.0 → 1.18.0

package/dist/src/json-to-md.js

@@ -1,6 +1,10 @@
 import { mkdirSync, writeFileSync } from "node:fs";
 import { join } from "node:path";
 import { NODE_FILE_MAP, NODE_TYPE_LABELS, NodeType, RelationshipType, RELATIONSHIP_TYPE_LABELS, } from "./schema.js";
+import { graphOp } from "./operations/graph.js";
+import { graphRefinementOp } from "./operations/graph-refinement.js";
+import { graphDecisionOp } from "./operations/graph-decision.js";
+import { graphDependencyOp } from "./operations/graph-dependency.js";
 // ---------------------------------------------------------------------------
 // Text helpers
 // ---------------------------------------------------------------------------
@@ -25,7 +29,13 @@ function renderFrontMatter(fields) {
 // ---------------------------------------------------------------------------
 // Node location map (for hyperlinking)
 // ---------------------------------------------------------------------------
-/** GitHub-compatible heading anchor slug. */
+/**
+ * GitHub-compatible heading anchor slug.
+ * @param text
+ * @example
+ * // Convert a heading into a GitHub-style slug
+ * // slugify('ID — Name') // 'id---name'
+ */
 function slugify(text) {
     return text
         .toLowerCase()
@@ -64,6 +74,10 @@ function fileForNodeType(type) {
  * In single-file mode: `[ID](#anchor)`
  * In multi-doc mode: `[ID](./FILE.md#anchor)`
  * Falls back to plain ID if the node isn't in the map.
+ * @param id
+ * @param nodeMap
+ * @param currentFile
+ * @example
  */
 function linkNodeId(id, nodeMap, currentFile) {
     const loc = nodeMap.get(id);
@@ -412,9 +426,82 @@ function generateDocFile(doc, fileName, types, fromIdx, nodeMap) {
     lines.push(...renderNodesGrouped(doc.nodes, types, fromIdx, 2, nodeMap, `${fileName}.md`));
     return lines.join("\n") + "\n";
 }
+function generateDiagramsFile(doc, opts) {
+    const lines = [];
+    lines.push(renderFrontMatter({
+        title: "Diagrams",
+        doc_type: "diagrams",
+    }));
+    lines.push("");
+    lines.push("# Diagrams");
+    lines.push("");
+    lines.push("## Relationship Graph");
+    lines.push("");
+    lines.push("```mermaid");
+    lines.push(graphOp({
+        doc,
+        format: "mermaid",
+        layout: opts?.relationshipLayout ?? "TD",
+        labelMode: opts?.labelMode ?? "friendly",
+        cluster: true,
+        connectedOnly: false,
+    }));
+    lines.push("```");
+    lines.push("");
+    const refinement = graphRefinementOp({
+        doc,
+        format: "mermaid",
+        layout: opts?.refinementLayout ?? "TD",
+        labelMode: opts?.labelMode ?? "friendly",
+    });
+    if (refinement.includes("-->")) {
+        lines.push("## Refinement Chain");
+        lines.push("");
+        lines.push("```mermaid");
+        lines.push(refinement);
+        lines.push("```");
+        lines.push("");
+    }
+    const decisions = graphDecisionOp({
+        doc,
+        format: "mermaid",
+        layout: opts?.decisionLayout ?? "TD",
+        labelMode: opts?.labelMode ?? "friendly",
+    });
+    if (decisions.includes("-->")) {
+        lines.push("## Decision Map");
+        lines.push("");
+        lines.push("```mermaid");
+        lines.push(decisions);
+        lines.push("```");
+        lines.push("");
+    }
+    const dependencies = graphDependencyOp({
+        doc,
+        format: "mermaid",
+        layout: opts?.dependencyLayout ?? "LR",
+        labelMode: opts?.labelMode ?? "friendly",
+    });
+    if (dependencies.includes("-->") || dependencies.includes("-.->")) {
+        lines.push("## Dependency Graph");
+        lines.push("");
+        lines.push("```mermaid");
+        lines.push(dependencies);
+        lines.push("```");
+        lines.push("");
+    }
+    return lines.join("\n") + "\n";
+}
 /**
  * Convert a SysProM document to a single Markdown string.
  * @param doc - The SysProM document to convert.
+ * @param options
+ * @param options.embedDiagrams
+ * @param options.labelMode
+ * @param options.relationshipLayout
+ * @param options.refinementLayout
+ * @param options.decisionLayout
+ * @param options.dependencyLayout
  * @returns The Markdown representation.
  * @example
  * ```ts
@@ -422,7 +509,7 @@ function generateDocFile(doc, fileName, types, fromIdx, nodeMap) {
  * writeFileSync("output.spm.md", md);
  * ```
  */
-export function jsonToMarkdownSingle(doc) {
+export function jsonToMarkdownSingle(doc, options) {
     const fromIdx = indexRelationshipsFrom(doc.relationships ?? []);
     const nodeMap = buildNodeLocationMap(doc.nodes, "single-file");
     const lines = [];
@@ -449,6 +536,26 @@ export function jsonToMarkdownSingle(doc) {
         "version",
     ];
     lines.push(...renderNodesGrouped(doc.nodes, allTypes, fromIdx, 2, nodeMap));
+    // Diagrams section
+    if (options?.embedDiagrams &&
+        doc.relationships &&
+        doc.relationships.length > 0) {
+        lines.push("## Diagrams");
+        lines.push("");
+        lines.push("### Relationship Graph");
+        lines.push("");
+        lines.push("```mermaid");
+        lines.push(graphOp({
+            doc,
+            format: "mermaid",
+            layout: options?.relationshipLayout ?? "TD",
+            labelMode: options?.labelMode ?? "friendly",
+            cluster: true,
+            connectedOnly: false,
+        }));
+        lines.push("```");
+        lines.push("");
+    }
     // Relationships summary
     if (doc.relationships && doc.relationships.length > 0) {
         lines.push("## Relationships");
@@ -479,12 +586,19 @@ export function jsonToMarkdownSingle(doc) {
  * Convert a SysProM document to a multi-document Markdown folder.
  * @param doc - The SysProM document to convert.
  * @param outDir - Output directory path.
+ * @param options
+ * @param options.embedDiagrams
+ * @param options.labelMode
+ * @param options.relationshipLayout
+ * @param options.refinementLayout
+ * @param options.decisionLayout
+ * @param options.dependencyLayout
  * @example
  * ```ts
  * jsonToMarkdownMultiDoc(doc, "./SysProM");
  * ```
  */
-export function jsonToMarkdownMultiDoc(doc, outDir) {
+export function jsonToMarkdownMultiDoc(doc, outDir, options) {
     mkdirSync(outDir, { recursive: true });
     const fromIdx = indexRelationshipsFrom(doc.relationships ?? []);
     const nodeMap = buildNodeLocationMap(doc.nodes, "multi-doc");
@@ -495,6 +609,18 @@ export function jsonToMarkdownMultiDoc(doc, outDir) {
             continue;
         writeFileSync(join(outDir, `${fileName}.md`), generateDocFile(doc, fileName, types, fromIdx, nodeMap));
     }
+    // Diagrams file
+    if (options?.embedDiagrams &&
+        doc.relationships &&
+        doc.relationships.length > 0) {
+        writeFileSync(join(outDir, "DIAGRAMS.md"), generateDiagramsFile(doc, {
+            labelMode: options?.labelMode ?? "friendly",
+            relationshipLayout: options?.relationshipLayout,
+            refinementLayout: options?.refinementLayout,
+            decisionLayout: options?.decisionLayout,
+            dependencyLayout: options?.dependencyLayout,
+        }));
+    }
     // Subsystem folders or single files
     const subsystemNodes = doc.nodes.filter((n) => n.subsystem);
     // Count subsystems per type to decide automatic grouping
@@ -556,9 +682,23 @@ export function jsonToMarkdownMultiDoc(doc, outDir) {
  */
 export function jsonToMarkdown(doc, output, options) {
     if (options.form === "single-file") {
-        writeFileSync(output, jsonToMarkdownSingle(doc));
+        writeFileSync(output, jsonToMarkdownSingle(doc, {
+            embedDiagrams: options.embedDiagrams,
+            labelMode: options.labelMode,
+            relationshipLayout: options.relationshipLayout,
+            refinementLayout: options.refinementLayout,
+            decisionLayout: options.decisionLayout,
+            dependencyLayout: options.dependencyLayout,
+        }));
     }
     else {
-        jsonToMarkdownMultiDoc(doc, output);
+        jsonToMarkdownMultiDoc(doc, output, {
+            embedDiagrams: options.embedDiagrams,
+            labelMode: options.labelMode,
+            relationshipLayout: options.relationshipLayout,
+            refinementLayout: options.refinementLayout,
+            decisionLayout: options.decisionLayout,
+            dependencyLayout: options.dependencyLayout,
+        });
     }
 }

package/dist/src/md-to-json.js

@@ -3,6 +3,13 @@ import { readFileSync, existsSync, readdirSync, statSync } from "node:fs";
 import { join, basename } from "node:path";
 import { NODE_FILE_MAP, NODE_LABEL_TO_TYPE, RELATIONSHIP_TYPE_LABELS, RELATIONSHIP_LABEL_TO_TYPE, NodeType, RelationshipType, NodeStatus, ExternalReferenceRole, } from "./schema.js";
 /** Strip markdown link syntax `[text](url)` → `text`. */
+/**
+ * Strip markdown link syntax `[text](url)` → `text`.
+ * @param s - Markdown text potentially containing links
+ * @returns Text with markdown links removed
+ * @example
+ * // stripMarkdownLink('[Hello](https://example.com)') // 'Hello'
+ */
 function stripMarkdownLink(s) {
     return s.replace(/\[([^\]]+)\]\([^)]+\)/g, "$1");
 }

package/dist/src/operations/add-node.d.ts

@@ -194,8 +194,9 @@ export declare const addNodeOp: import("./define-operation.js").DefinedOperation
                 requires: "requires";
                 disables: "disables";
                 influence: "influence";
+                justifies: "justifies";
             }> & {
-                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" | "influence";
+                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" | "influence" | "justifies";
             };
             description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
                 is(value: unknown): value is string | string[];
@@ -214,7 +215,7 @@ export declare const addNodeOp: import("./define-operation.js").DefinedOperation
                 [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" | "influence";
+                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" | "influence" | "justifies";
                 description?: string | string[] | undefined;
                 polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
                 strength?: number | undefined;
@@ -305,7 +306,7 @@ export declare const addNodeOp: import("./define-operation.js").DefinedOperation
                 [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" | "influence";
+                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" | "influence" | "justifies";
                 description?: string | string[] | undefined;
                 polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
                 strength?: number | undefined;
@@ -502,8 +503,9 @@ export declare const addNodeOp: import("./define-operation.js").DefinedOperation
                     requires: "requires";
                     disables: "disables";
                     influence: "influence";
+                    justifies: "justifies";
                 }> & {
-                    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" | "influence";
+                    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" | "influence" | "justifies";
                 };
                 description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
                     is(value: unknown): value is string | string[];
@@ -522,7 +524,7 @@ export declare const addNodeOp: import("./define-operation.js").DefinedOperation
                     [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" | "influence";
+                    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" | "influence" | "justifies";
                     description?: string | string[] | undefined;
                     polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
                     strength?: number | undefined;
@@ -613,7 +615,7 @@ export declare const addNodeOp: import("./define-operation.js").DefinedOperation
                     [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" | "influence";
+                    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" | "influence" | "justifies";
                     description?: string | string[] | undefined;
                     polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
                     strength?: number | undefined;
@@ -815,8 +817,9 @@ export declare const addNodeOp: import("./define-operation.js").DefinedOperation
             requires: "requires";
             disables: "disables";
             influence: "influence";
+            justifies: "justifies";
         }> & {
-            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" | "influence";
+            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" | "influence" | "justifies";
         };
         description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
             is(value: unknown): value is string | string[];
@@ -835,7 +838,7 @@ export declare const addNodeOp: import("./define-operation.js").DefinedOperation
             [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" | "influence";
+            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" | "influence" | "justifies";
             description?: string | string[] | undefined;
             polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
             strength?: number | undefined;
@@ -926,7 +929,7 @@ export declare const addNodeOp: import("./define-operation.js").DefinedOperation
             [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" | "influence";
+            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" | "influence" | "justifies";
             description?: string | string[] | undefined;
             polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
             strength?: number | undefined;

package/dist/src/operations/add-plan-task.d.ts

@@ -188,8 +188,9 @@ export declare const addPlanTaskOp: import("./define-operation.js").DefinedOpera
                 requires: "requires";
                 disables: "disables";
                 influence: "influence";
+                justifies: "justifies";
             }> & {
-                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" | "influence";
+                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" | "influence" | "justifies";
             };
             description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
                 is(value: unknown): value is string | string[];
@@ -208,7 +209,7 @@ export declare const addPlanTaskOp: import("./define-operation.js").DefinedOpera
                 [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" | "influence";
+                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" | "influence" | "justifies";
                 description?: string | string[] | undefined;
                 polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
                 strength?: number | undefined;
@@ -299,7 +300,7 @@ export declare const addPlanTaskOp: import("./define-operation.js").DefinedOpera
                 [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" | "influence";
+                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" | "influence" | "justifies";
                 description?: string | string[] | undefined;
                 polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
                 strength?: number | undefined;
@@ -499,8 +500,9 @@ export declare const addPlanTaskOp: import("./define-operation.js").DefinedOpera
             requires: "requires";
             disables: "disables";
             influence: "influence";
+            justifies: "justifies";
         }> & {
-            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" | "influence";
+            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" | "influence" | "justifies";
         };
         description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
             is(value: unknown): value is string | string[];
@@ -519,7 +521,7 @@ export declare const addPlanTaskOp: import("./define-operation.js").DefinedOpera
             [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" | "influence";
+            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" | "influence" | "justifies";
             description?: string | string[] | undefined;
             polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
             strength?: number | undefined;
@@ -610,7 +612,7 @@ export declare const addPlanTaskOp: import("./define-operation.js").DefinedOpera
             [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" | "influence";
+            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" | "influence" | "justifies";
             description?: string | string[] | undefined;
             polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
             strength?: number | undefined;

package/dist/src/operations/add-relationship.d.ts

@@ -188,8 +188,9 @@ export declare const addRelationshipOp: import("./define-operation.js").DefinedO
                 requires: "requires";
                 disables: "disables";
                 influence: "influence";
+                justifies: "justifies";
             }> & {
-                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" | "influence";
+                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" | "influence" | "justifies";
             };
             description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
                 is(value: unknown): value is string | string[];
@@ -208,7 +209,7 @@ export declare const addRelationshipOp: import("./define-operation.js").DefinedO
                 [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" | "influence";
+                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" | "influence" | "justifies";
                 description?: string | string[] | undefined;
                 polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
                 strength?: number | undefined;
@@ -299,7 +300,7 @@ export declare const addRelationshipOp: import("./define-operation.js").DefinedO
                 [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" | "influence";
+                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" | "influence" | "justifies";
                 description?: string | string[] | undefined;
                 polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
                 strength?: number | undefined;
@@ -342,8 +343,9 @@ export declare const addRelationshipOp: import("./define-operation.js").DefinedO
             requires: "requires";
             disables: "disables";
             influence: "influence";
+            justifies: "justifies";
         }> & {
-            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" | "influence";
+            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" | "influence" | "justifies";
         };
         description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
             is(value: unknown): value is string | string[];
@@ -362,7 +364,7 @@ export declare const addRelationshipOp: import("./define-operation.js").DefinedO
             [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" | "influence";
+            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" | "influence" | "justifies";
             description?: string | string[] | undefined;
             polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
             strength?: number | undefined;
@@ -552,8 +554,9 @@ export declare const addRelationshipOp: import("./define-operation.js").DefinedO
             requires: "requires";
             disables: "disables";
             influence: "influence";
+            justifies: "justifies";
         }> & {
-            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" | "influence";
+            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" | "influence" | "justifies";
         };
         description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
             is(value: unknown): value is string | string[];
@@ -572,7 +575,7 @@ export declare const addRelationshipOp: import("./define-operation.js").DefinedO
             [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" | "influence";
+            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" | "influence" | "justifies";
             description?: string | string[] | undefined;
             polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
             strength?: number | undefined;
@@ -663,7 +666,7 @@ export declare const addRelationshipOp: import("./define-operation.js").DefinedO
             [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" | "influence";
+            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" | "influence" | "justifies";
             description?: string | string[] | undefined;
             polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
             strength?: number | undefined;

package/dist/src/operations/check.d.ts

@@ -189,8 +189,9 @@ export declare const checkOp: import("./define-operation.js").DefinedOperation<z
                 requires: "requires";
                 disables: "disables";
                 influence: "influence";
+                justifies: "justifies";
             }> & {
-                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" | "influence";
+                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" | "influence" | "justifies";
             };
             description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
                 is(value: unknown): value is string | string[];
@@ -209,7 +210,7 @@ export declare const checkOp: import("./define-operation.js").DefinedOperation<z
                 [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" | "influence";
+                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" | "influence" | "justifies";
                 description?: string | string[] | undefined;
                 polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
                 strength?: number | undefined;
@@ -300,7 +301,7 @@ export declare const checkOp: import("./define-operation.js").DefinedOperation<z
                 [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" | "influence";
+                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" | "influence" | "justifies";
                 description?: string | string[] | undefined;
                 polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
                 strength?: number | undefined;

package/dist/src/operations/define-operation.d.ts

@@ -24,7 +24,7 @@ export interface OperationDef<TInput extends z.ZodType = z.ZodType, TOutput exte
  * @template TInput - Zod schema type for the operation's input.
  * @template TOutput - Zod schema type for the operation's output.
  */
-export type DefinedOperation<TInput extends z.ZodType = z.ZodType, TOutput extends z.ZodType = z.ZodType> = ((input: z.infer<TInput>) => z.infer<TOutput>) & {
+export type DefinedOperation<TInput extends z.ZodType = z.ZodType, TOutput extends z.ZodType = z.ZodType> = ((input: z.input<TInput>) => z.infer<TOutput>) & {
     /** The full operation definition including name, description, and schemas. */
     def: OperationDef<TInput, TOutput>;
     /** Zod schema for validating input before execution. */