sysprom 1.16.1 → 1.18.0

package/dist/src/schema.d.ts

@@ -112,8 +112,9 @@ export declare const RelationshipType: z.ZodEnum<{
     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";
 };
 /** A valid relationship type string. */
 export type RelationshipType = z.infer<typeof RelationshipType>;
@@ -144,9 +145,10 @@ export declare const RELATIONSHIP_TYPE_LABELS: {
     readonly requires: "Requires";
     readonly disables: "Disables";
     readonly influence: "Influence";
+    readonly justifies: "Justifies";
 };
 /** Reverse map from human-readable label to relationship type key (e.g. `"Refines"` → `"refines"`). */
-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" | "influence">;
+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" | "influence" | "justifies">;
 /** Zod schema for impact polarity (e.g. `"positive"`, `"negative"`, `"neutral"`, `"uncertain"`). */
 export declare const ImpactPolarity: z.ZodEnum<{
     positive: "positive";
@@ -324,8 +326,9 @@ export declare const Relationship: z.ZodObject<{
         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[];
@@ -344,7 +347,7 @@ export declare const Relationship: z.ZodObject<{
         [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;
@@ -400,8 +403,9 @@ declare const SysProMDocumentSchema: z.ZodObject<{
             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[];
@@ -420,7 +424,7 @@ declare const SysProMDocumentSchema: z.ZodObject<{
             [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;
@@ -784,8 +788,9 @@ export declare const SysProMDocument: z.ZodObject<{
             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[];
@@ -804,7 +809,7 @@ export declare const SysProMDocument: z.ZodObject<{
             [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;
@@ -895,7 +900,7 @@ export declare const SysProMDocument: z.ZodObject<{
             [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;
@@ -1107,7 +1112,7 @@ export declare const Node: z.ZodObject<{
                 [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/schema.js

@@ -1,14 +1,5 @@
 import * as z from "zod";
-// ---------------------------------------------------------------------------
-// defineSchema — attaches a .is() type guard to any Zod schema
-// ---------------------------------------------------------------------------
-function defineSchema(schema) {
-    return Object.assign(schema, {
-        is(value) {
-            return schema.safeParse(value).success;
-        },
-    });
-}
+import { defineSchema } from "./utils/define-schema.js";
 // ---------------------------------------------------------------------------
 // Text type — allows a string or an array of lines
 // ---------------------------------------------------------------------------
@@ -133,6 +124,7 @@ const relationshipTypeDef = labelledEnum({
     requires: "Requires",
     disables: "Disables",
     influence: "Influence",
+    justifies: "Justifies",
 });
 /** Zod schema for the set of valid relationship types (e.g. `"refines"`, `"depends_on"`, `"affects"`). */
 export const RelationshipType = relationshipTypeDef.schema;
@@ -337,7 +329,7 @@ const NodeSchema = NodeBase.superRefine((node, ctx) => {
     const pattern = new RegExp(`^${prefix}\\d+(-[A-Z][A-Z0-9_]*)*$`);
     if (!pattern.test(node.id)) {
         ctx.addIssue({
-            code: z.ZodIssueCode.custom,
+            code: "custom",
             path: ["id"],
             message: `Node ID "${node.id}" does not match required pattern for type "${node.type}": expected ${prefix}<number> with optional -SUFFIX segments (e.g. ${prefix}1, ${prefix}1-MY-LABEL)`,
         });

package/dist/src/utils/define-schema.d.ts

@@ -0,0 +1,17 @@
+import { z } from "zod";
+/**
+ * Attach a type guard directly to a Zod schema.
+ *
+ * This keeps the runtime validator, the inferred TypeScript type,
+ * and the runtime type guard derived from the same source.
+ * @param schema - Zod schema to extend
+ * @returns The original schema augmented with an `is` guard
+ * @example
+ * const MySchema = defineSchema(z.string());
+ * if (MySchema.is(value)) { // value is string
+ * }
+ */
+export declare function defineSchema<T extends z.ZodType>(schema: T): T & {
+    is(value: unknown): value is z.infer<T>;
+};
+export default defineSchema;

package/dist/src/utils/define-schema.js

@@ -0,0 +1,21 @@
+/**
+ * Attach a type guard directly to a Zod schema.
+ *
+ * This keeps the runtime validator, the inferred TypeScript type,
+ * and the runtime type guard derived from the same source.
+ * @param schema - Zod schema to extend
+ * @returns The original schema augmented with an `is` guard
+ * @example
+ * const MySchema = defineSchema(z.string());
+ * if (MySchema.is(value)) { // value is string
+ * }
+ */
+export function defineSchema(schema) {
+    // Object.assign has a helpful return type (T & U) so no manual assertion is needed.
+    return Object.assign(schema, {
+        is(value) {
+            return schema.safeParse(value).success;
+        },
+    });
+}
+export default defineSchema;

package/package.json

@@ -1,95 +1,100 @@
 {
-  "name": "sysprom",
-  "version": "1.16.1",
-  "description": "SysProM — System Provenance Model CLI and library",
-  "author": "ExaDev",
-  "homepage": "https://exadev.github.io/SysProM",
-  "bugs": "https://github.com/ExaDev/SysProM/issues",
-  "repository": {
-    "type": "git",
-    "url": "git+https://github.com/ExaDev/SysProM.git"
-  },
-  "keywords": [
-    "sysprom",
-    "provenance",
-    "decision",
-    "architecture",
-    "traceability",
-    "system-model",
-    "cli"
-  ],
-  "packageManager": "pnpm@10.32.1",
-  "type": "module",
-  "main": "./dist/src/index.js",
-  "types": "./dist/src/index.d.ts",
-  "exports": {
-    ".": {
-      "types": "./dist/src/index.d.ts",
-      "import": "./dist/src/index.js"
-    }
-  },
-  "files": [
-    "dist/src/**/*.js",
-    "dist/src/**/*.d.ts",
-    "schema.json"
-  ],
-  "bin": {
-    "sysprom": "dist/src/cli/index.js",
-    "spm": "dist/src/cli/index.js",
-    "sysprom-mcp": "dist/src/mcp/index.js"
-  },
-  "scripts": {
-    "build": "turbo run _build",
-    "typecheck": "turbo run _typecheck",
-    "compile": "turbo run _compile",
-    "schema": "turbo run _schema",
-    "test": "turbo run _test",
-    "test:coverage": "turbo run _test:coverage",
-    "docs": "turbo run _docs:cli _docs:api:html",
-    "docs:serve": "typedoc --watch --serve",
-    "lint": "turbo run _lint",
-    "spm": "tsx src/cli/index.ts",
-    "_lint": "eslint --cache .",
-    "_typecheck": "tsc --noEmit",
-    "_compile": "tsc",
-    "_schema": "tsx src/generate-schema.ts",
-    "_test": "tsx --test tests/*.test.ts",
-    "_test:coverage": "c8 --src src --exclude 'src/cli/**' --exclude 'src/generate-schema.ts' tsx --test tests/*.test.ts",
-    "_docs:cli": "tsx scripts/generate-cli-docs.ts",
-    "_docs:api": "typedoc",
-    "_docs:api:html": "typedoc",
-    "prepare": "husky"
-  },
-  "dependencies": {
-    "@modelcontextprotocol/sdk": "1.27.1",
-    "commander": "14.0.3",
-    "picocolors": "1.1.1",
-    "zod": "4.3.6"
-  },
-  "devDependencies": {
-    "@commitlint/cli": "20.5.0",
-    "@commitlint/config-conventional": "20.5.0",
-    "@eslint-community/eslint-plugin-eslint-comments": "4.7.1",
-    "@eslint/js": "10.0.1",
-    "@semantic-release/changelog": "6.0.3",
-    "@semantic-release/exec": "7.1.0",
-    "@semantic-release/git": "10.0.1",
-    "@types/node": "25.5.0",
-    "c8": "11.0.0",
-    "conventional-changelog-conventionalcommits": "9.3.0",
-    "eslint": "10.1.0",
-    "eslint-config-prettier": "10.1.8",
-    "eslint-plugin-jsdoc": "62.8.0",
-    "eslint-plugin-prettier": "5.5.5",
-    "husky": "9.1.7",
-    "prettier": "3.8.1",
-    "semantic-release": "25.0.3",
-    "tsx": "4.21.0",
-    "turbo": "2.8.20",
-    "typedoc": "0.28.17",
-    "typedoc-plugin-markdown": "4.11.0",
-    "typedoc-plugin-zod": "1.4.3",
-    "typescript": "5.9.3",
-    "typescript-eslint": "8.57.1"
-  }
+	"name": "sysprom",
+	"version": "1.18.0",
+	"description": "SysProM — System Provenance Model CLI and library",
+	"author": "ExaDev",
+	"homepage": "https://exadev.github.io/SysProM",
+	"bugs": "https://github.com/ExaDev/SysProM/issues",
+	"repository": {
+		"type": "git",
+		"url": "git+https://github.com/ExaDev/SysProM.git"
+	},
+	"keywords": [
+		"sysprom",
+		"provenance",
+		"decision",
+		"architecture",
+		"traceability",
+		"system-model",
+		"cli"
+	],
+	"packageManager": "pnpm@10.32.1",
+	"type": "module",
+	"main": "./dist/src/index.js",
+	"types": "./dist/src/index.d.ts",
+	"exports": {
+		".": {
+			"types": "./dist/src/index.d.ts",
+			"import": "./dist/src/index.js"
+		}
+	},
+	"files": [
+		"dist/src/**/*.js",
+		"dist/src/**/*.d.ts",
+		"schema.json"
+	],
+	"bin": {
+		"sysprom": "dist/src/cli/index.js",
+		"spm": "dist/src/cli/index.js",
+		"sysprom-mcp": "dist/src/mcp/index.js"
+	},
+	"scripts": {
+		"build": "turbo run _build",
+		"typecheck": "turbo run _typecheck",
+		"compile": "turbo run _compile",
+		"schema": "turbo run _schema",
+		"test": "turbo run _test",
+		"test:coverage": "turbo run _test:coverage",
+		"docs": "turbo run _docs:cli _docs:api:html",
+		"docs:serve": "typedoc --watch --serve",
+		"lint": "turbo run _lint",
+		"spm": "tsx src/cli/index.ts",
+		"_lint": "eslint --cache .",
+		"_typecheck": "tsc --noEmit",
+		"_compile": "tsc",
+		"_schema": "tsx src/generate-schema.ts",
+		"_test": "tsx --test tests/*.test.ts",
+		"_test:coverage": "c8 --src src --exclude 'src/cli/**' --exclude 'src/generate-schema.ts' tsx --test tests/*.test.ts",
+		"_docs:cli": "tsx scripts/generate-cli-docs.ts",
+		"_docs:api": "typedoc",
+		"_docs:api:html": "typedoc",
+		"validate": "turbo run _validate",
+		"prepare": "husky"
+	},
+	"dependencies": {
+		"@modelcontextprotocol/sdk": "1.27.1",
+		"commander": "14.0.3",
+		"picocolors": "1.1.1",
+		"zod": "4.3.6"
+	},
+	"devDependencies": {
+		"@commitlint/cli": "20.5.0",
+		"@commitlint/config-conventional": "20.5.0",
+		"@eslint-community/eslint-plugin-eslint-comments": "4.7.1",
+		"@eslint/compat": "2.0.3",
+		"@eslint/eslintrc": "3.3.5",
+		"@eslint/js": "10.0.1",
+		"@semantic-release/changelog": "6.0.3",
+		"@semantic-release/exec": "7.1.0",
+		"@semantic-release/git": "10.0.1",
+		"@types/node": "25.5.0",
+		"c8": "11.0.0",
+		"conventional-changelog-conventionalcommits": "9.3.0",
+		"eslint": "10.1.0",
+		"eslint-config-prettier": "10.1.8",
+		"eslint-formatter-compact": "9.0.1",
+		"eslint-plugin-jsdoc": "62.8.0",
+		"eslint-plugin-prettier": "5.5.5",
+		"eslint-plugin-sonarjs": "^4.0.2",
+		"husky": "9.1.7",
+		"prettier": "3.8.1",
+		"semantic-release": "25.0.3",
+		"tsx": "4.21.0",
+		"turbo": "2.8.20",
+		"typedoc": "0.28.18",
+		"typedoc-plugin-markdown": "4.11.0",
+		"typedoc-plugin-zod": "1.4.3",
+		"typescript": "6.0.2",
+		"typescript-eslint": "8.57.2"
+	}
 }

package/schema.json

@@ -504,7 +504,8 @@
 							"selects",
 							"requires",
 							"disables",
-							"influence"
+							"influence",
+							"justifies"
 						],
 						"type": "string"
 					}