sysprom 1.15.0 → 1.16.0

package/dist/schema.json

@@ -458,6 +458,22 @@
                         "description": "Source node ID.",
                         "type": "string"
                     },
+                    "polarity": {
+                        "description": "Impact polarity — positive, negative, neutral, or uncertain.",
+                        "enum": [
+                            "positive",
+                            "negative",
+                            "neutral",
+                            "uncertain"
+                        ],
+                        "type": "string"
+                    },
+                    "strength": {
+                        "description": "Relationship strength as a number between 0 and 1.",
+                        "maximum": 1,
+                        "minimum": 0,
+                        "type": "number"
+                    },
                     "to": {
                         "description": "Target node ID.",
                         "type": "string"
@@ -487,7 +503,8 @@
                             "transforms_into",
                             "selects",
                             "requires",
-                            "disables"
+                            "disables",
+                            "influence"
                         ],
                         "type": "string"
                     }

package/dist/src/cli/commands/infer.js

@@ -48,6 +48,20 @@ function printDerivedRelationship(r) {
 // ---------------------------------------------------------------------------
 const impactArgs = z.object({
     id: z.string().describe("node ID to start impact analysis from"),
+    direction: z
+        .enum(["outgoing", "incoming", "bidirectional"])
+        .optional()
+        .describe("traversal direction: outgoing (default) | incoming | bidirectional"),
+    maxDepth: z
+        .number()
+        .int()
+        .positive()
+        .optional()
+        .describe("maximum traversal depth"),
+    filter: z
+        .string()
+        .optional()
+        .describe("comma-separated list of relationship types to follow"),
 });
 // ---------------------------------------------------------------------------
 // Subcommands
@@ -115,12 +129,27 @@ const impactSubcommand = {
         const args = impactArgs.parse(rawArgs);
         const opts = readOpts.parse(rawOpts);
         const { doc } = loadDoc(opts.path);
-        const result = inferImpactOp({ doc, startId: args.id });
+        // Parse relationship filter if provided
+        const relationshipFilter = args.filter
+            ? args.filter.split(",").map((s) => s.trim())
+            : undefined;
+        const result = inferImpactOp({
+            doc,
+            startId: args.id,
+            direction: args.direction,
+            maxDepth: args.maxDepth,
+            relationshipFilter,
+        });
         if (opts.json) {
             console.log(JSON.stringify(result, null, 2));
         }
         else {
-            console.log(pc.bold(`\nImpact Analysis from ${args.id}\n`) +
+            const directionLabel = args.direction ? ` (${args.direction})` : "";
+            const depthLabel = args.maxDepth
+                ? ` [depth: ${String(args.maxDepth)}]`
+                : "";
+            const filterLabel = args.filter ? ` [filter: ${args.filter}]` : "";
+            console.log(pc.bold(`\nImpact Analysis from ${args.id}${directionLabel}${depthLabel}${filterLabel}\n`) +
                 pc.dim(`Direct: ${String(result.summary.direct)} | Transitive: ${String(result.summary.transitive)} | Potential: ${String(result.summary.potential)} | Total: ${String(result.summary.total)}`) +
                 "\n");
             if (result.impactedNodes.length === 0) {

package/dist/src/endpoint-types.js

@@ -286,6 +286,29 @@ export const RELATIONSHIP_ENDPOINT_TYPES = {
         from: ["decision", "mode"],
         to: ["capability", "stage"],
     },
+    // Influence — soft dependency between decisions and across nodes (CHG40)
+    influence: {
+        from: [
+            "intent",
+            "concept",
+            "capability",
+            "element",
+            "realisation",
+            "decision",
+            "change",
+            "stage",
+        ],
+        to: [
+            "intent",
+            "concept",
+            "capability",
+            "element",
+            "realisation",
+            "decision",
+            "change",
+            "stage",
+        ],
+    },
 };
 /**
  * Check if a relationship type is valid for the given endpoint node types.

package/dist/src/index.d.ts

@@ -5,8 +5,8 @@
  * system came from, what decisions shaped it, and how it reached its current form.
  * @packageDocumentation
  */
-export { SysProMDocument, Node, Relationship, NodeType, NodeStatus, RelationshipType, Text, Option, Operation, Task, ExternalReference, ExternalReferenceRole, Metadata, NODE_TYPE_LABELS, NODE_LABEL_TO_TYPE, RELATIONSHIP_TYPE_LABELS, RELATIONSHIP_LABEL_TO_TYPE, EXTERNAL_REFERENCE_ROLE_LABELS, EXTERNAL_REFERENCE_LABEL_TO_ROLE, NODE_STATUSES, NODE_FILE_MAP, NODE_ID_PREFIX, toJSONSchema, } from "./schema.js";
-export { defineOperation, type OperationDef, type DefinedOperation, addNodeOp, removeNodeOp, updateNodeOp, addRelationshipOp, removeRelationshipOp, updateMetadataOp, nextIdOp, initDocumentOp, addPlanTaskOp, updatePlanTaskOp, markTaskDoneOp, markTaskUndoneOp, taskListOp, planInitOp, planAddTaskOp, planStatusOp, planProgressOp, planGateOp, queryNodesOp, queryNodeOp, queryRelationshipsOp, traceFromNodeOp, timelineOp, nodeHistoryOp, stateAtOp, validateOp, statsOp, searchOp, checkOp, graphOp, renameOp, jsonToMarkdownOp, markdownToJsonOp, speckitImportOp, speckitExportOp, speckitSyncOp, speckitDiffOp, inferCompletenessOp, inferLifecycleOp, inferImpactOp, inferDerivedOp, type RemoveResult, type ValidationResult, type DocumentStats, type NodeDetail, type TraceNode, type TimelineEvent, type NodeState, type PlanStatusResult, type PhaseProgressResult, type GateResultOutput, type SyncResult, type DiffResult, type CompletenessOutput, type LifecycleOutput, type ImpactOutput, type DerivedOutput, } from "./operations/index.js";
+export { SysProMDocument, Node, Relationship, NodeType, NodeStatus, RelationshipType, ImpactPolarity, Text, Option, Operation, Task, ExternalReference, ExternalReferenceRole, Metadata, NODE_TYPE_LABELS, NODE_LABEL_TO_TYPE, RELATIONSHIP_TYPE_LABELS, RELATIONSHIP_LABEL_TO_TYPE, IMPACT_POLARITY_LABELS, EXTERNAL_REFERENCE_ROLE_LABELS, EXTERNAL_REFERENCE_LABEL_TO_ROLE, NODE_STATUSES, NODE_FILE_MAP, NODE_ID_PREFIX, toJSONSchema, } from "./schema.js";
+export { defineOperation, type OperationDef, type DefinedOperation, addNodeOp, removeNodeOp, updateNodeOp, addRelationshipOp, removeRelationshipOp, updateMetadataOp, nextIdOp, initDocumentOp, addPlanTaskOp, updatePlanTaskOp, markTaskDoneOp, markTaskUndoneOp, taskListOp, planInitOp, planAddTaskOp, planStatusOp, planProgressOp, planGateOp, queryNodesOp, queryNodeOp, queryRelationshipsOp, traceFromNodeOp, timelineOp, nodeHistoryOp, stateAtOp, validateOp, statsOp, searchOp, checkOp, graphOp, renameOp, jsonToMarkdownOp, markdownToJsonOp, speckitImportOp, speckitExportOp, speckitSyncOp, speckitDiffOp, inferCompletenessOp, inferLifecycleOp, inferImpactOp, impactSummaryOp, inferDerivedOp, type RemoveResult, type ValidationResult, type DocumentStats, type NodeDetail, type TraceNode, type TimelineEvent, type NodeState, type PlanStatusResult, type PhaseProgressResult, type GateResultOutput, type SyncResult, type DiffResult, type CompletenessOutput, type LifecycleOutput, type ImpactOutput, type ImpactSummaryOutput, type DerivedOutput, } from "./operations/index.js";
 export { jsonToMarkdownSingle, jsonToMarkdownMultiDoc, jsonToMarkdown, type ConvertOptions, } from "./json-to-md.js";
 export { markdownSingleToJson, markdownMultiDocToJson, markdownToJson, } from "./md-to-json.js";
 export { RELATIONSHIP_ENDPOINT_TYPES, isValidEndpointPair, } from "./endpoint-types.js";

package/dist/src/index.js

@@ -6,9 +6,9 @@
  * @packageDocumentation
  */
 // Schema types and validators
-export { SysProMDocument, Node, Relationship, NodeType, NodeStatus, RelationshipType, Text, Option, Operation, Task, ExternalReference, ExternalReferenceRole, Metadata, NODE_TYPE_LABELS, NODE_LABEL_TO_TYPE, RELATIONSHIP_TYPE_LABELS, RELATIONSHIP_LABEL_TO_TYPE, EXTERNAL_REFERENCE_ROLE_LABELS, EXTERNAL_REFERENCE_LABEL_TO_ROLE, NODE_STATUSES, NODE_FILE_MAP, NODE_ID_PREFIX, toJSONSchema, } from "./schema.js";
+export { SysProMDocument, Node, Relationship, NodeType, NodeStatus, RelationshipType, ImpactPolarity, Text, Option, Operation, Task, ExternalReference, ExternalReferenceRole, Metadata, NODE_TYPE_LABELS, NODE_LABEL_TO_TYPE, RELATIONSHIP_TYPE_LABELS, RELATIONSHIP_LABEL_TO_TYPE, IMPACT_POLARITY_LABELS, EXTERNAL_REFERENCE_ROLE_LABELS, EXTERNAL_REFERENCE_LABEL_TO_ROLE, NODE_STATUSES, NODE_FILE_MAP, NODE_ID_PREFIX, toJSONSchema, } from "./schema.js";
 // Operations (single source of truth for domain logic + metadata)
-export { defineOperation, addNodeOp, removeNodeOp, updateNodeOp, addRelationshipOp, removeRelationshipOp, updateMetadataOp, nextIdOp, initDocumentOp, addPlanTaskOp, updatePlanTaskOp, markTaskDoneOp, markTaskUndoneOp, taskListOp, planInitOp, planAddTaskOp, planStatusOp, planProgressOp, planGateOp, queryNodesOp, queryNodeOp, queryRelationshipsOp, traceFromNodeOp, timelineOp, nodeHistoryOp, stateAtOp, validateOp, statsOp, searchOp, checkOp, graphOp, renameOp, jsonToMarkdownOp, markdownToJsonOp, speckitImportOp, speckitExportOp, speckitSyncOp, speckitDiffOp, inferCompletenessOp, inferLifecycleOp, inferImpactOp, inferDerivedOp, } from "./operations/index.js";
+export { defineOperation, addNodeOp, removeNodeOp, updateNodeOp, addRelationshipOp, removeRelationshipOp, updateMetadataOp, nextIdOp, initDocumentOp, addPlanTaskOp, updatePlanTaskOp, markTaskDoneOp, markTaskUndoneOp, taskListOp, planInitOp, planAddTaskOp, planStatusOp, planProgressOp, planGateOp, queryNodesOp, queryNodeOp, queryRelationshipsOp, traceFromNodeOp, timelineOp, nodeHistoryOp, stateAtOp, validateOp, statsOp, searchOp, checkOp, graphOp, renameOp, jsonToMarkdownOp, markdownToJsonOp, speckitImportOp, speckitExportOp, speckitSyncOp, speckitDiffOp, inferCompletenessOp, inferLifecycleOp, inferImpactOp, impactSummaryOp, inferDerivedOp, } from "./operations/index.js";
 // Conversion
 export { jsonToMarkdownSingle, jsonToMarkdownMultiDoc, jsonToMarkdown, } from "./json-to-md.js";
 export { markdownSingleToJson, markdownMultiDocToJson, markdownToJson, } from "./md-to-json.js";

package/dist/src/mcp/server.js

@@ -4,7 +4,7 @@ import { StdioServerTransport } from "@modelcontextprotocol/sdk/server/stdio.js"
 import * as z from "zod";
 import { loadDocument, saveDocument } from "../io.js";
 import { NodeType, RelationshipType } from "../schema.js";
-import { validateOp, statsOp, queryNodesOp, queryNodeOp, queryRelationshipsOp, traceFromNodeOp, addNodeOp, removeNodeOp, updateNodeOp, addRelationshipOp, removeRelationshipOp, nextIdOp, inferCompletenessOp, inferLifecycleOp, inferImpactOp, inferDerivedOp, } from "../operations/index.js";
+import { validateOp, statsOp, queryNodesOp, queryNodeOp, queryRelationshipsOp, traceFromNodeOp, addNodeOp, removeNodeOp, updateNodeOp, addRelationshipOp, removeRelationshipOp, nextIdOp, inferCompletenessOp, inferLifecycleOp, inferImpactOp, impactSummaryOp, inferDerivedOp, } from "../operations/index.js";
 // Create MCP server instance
 const server = new McpServer({
     name: "sysprom-mcp",
@@ -356,14 +356,52 @@ server.registerTool("infer-lifecycle", {
 });
 // Register infer-impact tool
 server.registerTool("infer-impact", {
-    description: "Infer impact from a node through the graph following impact relationships",
+    description: "Infer impact from a node through the graph following impact relationships (CHG40 with bidirectional traversal)",
     inputSchema: z.object({
         path: z.string().describe("Path to SysProM file"),
         startId: z.string().describe("Node ID to start impact analysis from"),
+        direction: z
+            .enum(["outgoing", "incoming", "bidirectional"])
+            .optional()
+            .describe("Traversal direction (default: outgoing)"),
+        maxDepth: z
+            .number()
+            .int()
+            .positive()
+            .optional()
+            .describe("Maximum traversal depth"),
+        relationshipFilter: z
+            .array(z.string())
+            .optional()
+            .describe("Relationship types to follow"),
     }),
-}, ({ path, startId }) => {
+}, ({ path, startId, direction, maxDepth, relationshipFilter }) => {
     const { doc } = loadDocument(path);
-    const result = inferImpactOp({ doc, startId });
+    const result = inferImpactOp({
+        doc,
+        startId,
+        direction,
+        maxDepth,
+        relationshipFilter,
+    });
+    return {
+        content: [
+            {
+                type: "text",
+                text: JSON.stringify(result, null, 2),
+            },
+        ],
+    };
+});
+// Register infer-impact-summary tool (CHG40 hotspot analysis)
+server.registerTool("infer-impact-summary", {
+    description: "Analyse document for impact hotspots — nodes with high incoming/outgoing impact (CHG40)",
+    inputSchema: z.object({
+        path: z.string().describe("Path to SysProM file"),
+    }),
+}, ({ path }) => {
+    const { doc } = loadDocument(path);
+    const result = impactSummaryOp({ doc });
     return {
         content: [
             {

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

@@ -193,19 +193,31 @@ export declare const addNodeOp: import("./define-operation.js").DefinedOperation
                 selects: "selects";
                 requires: "requires";
                 disables: "disables";
+                influence: "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";
+                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";
             };
             description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
                 is(value: unknown): value is string | string[];
             }>;
+            polarity: z.ZodOptional<z.ZodEnum<{
+                positive: "positive";
+                negative: "negative";
+                neutral: "neutral";
+                uncertain: "uncertain";
+            }> & {
+                is(value: unknown): value is "positive" | "negative" | "neutral" | "uncertain";
+            }>;
+            strength: z.ZodOptional<z.ZodNumber>;
         }, 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";
+                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";
                 description?: string | string[] | undefined;
+                polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
+                strength?: number | undefined;
             };
         }>>;
         external_references: z.ZodOptional<z.ZodArray<z.ZodObject<{
@@ -293,8 +305,10 @@ 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";
+                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";
                 description?: string | string[] | undefined;
+                polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
+                strength?: number | undefined;
             }[] | undefined;
             external_references?: {
                 role: "output" | "input" | "context" | "evidence" | "source" | "standard" | "prior_art";
@@ -487,19 +501,31 @@ export declare const addNodeOp: import("./define-operation.js").DefinedOperation
                     selects: "selects";
                     requires: "requires";
                     disables: "disables";
+                    influence: "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";
+                    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";
                 };
                 description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
                     is(value: unknown): value is string | string[];
                 }>;
+                polarity: z.ZodOptional<z.ZodEnum<{
+                    positive: "positive";
+                    negative: "negative";
+                    neutral: "neutral";
+                    uncertain: "uncertain";
+                }> & {
+                    is(value: unknown): value is "positive" | "negative" | "neutral" | "uncertain";
+                }>;
+                strength: z.ZodOptional<z.ZodNumber>;
             }, 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";
+                    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";
                     description?: string | string[] | undefined;
+                    polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
+                    strength?: number | undefined;
                 };
             }>>;
             external_references: z.ZodOptional<z.ZodArray<z.ZodObject<{
@@ -587,8 +613,10 @@ 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";
+                    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";
                     description?: string | string[] | undefined;
+                    polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
+                    strength?: number | undefined;
                 }[] | undefined;
                 external_references?: {
                     role: "output" | "input" | "context" | "evidence" | "source" | "standard" | "prior_art";
@@ -786,19 +814,31 @@ export declare const addNodeOp: import("./define-operation.js").DefinedOperation
             selects: "selects";
             requires: "requires";
             disables: "disables";
+            influence: "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";
+            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";
         };
         description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
             is(value: unknown): value is string | string[];
         }>;
+        polarity: z.ZodOptional<z.ZodEnum<{
+            positive: "positive";
+            negative: "negative";
+            neutral: "neutral";
+            uncertain: "uncertain";
+        }> & {
+            is(value: unknown): value is "positive" | "negative" | "neutral" | "uncertain";
+        }>;
+        strength: z.ZodOptional<z.ZodNumber>;
     }, 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";
+            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";
             description?: string | string[] | undefined;
+            polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
+            strength?: number | undefined;
         };
     }>>;
     external_references: z.ZodOptional<z.ZodArray<z.ZodObject<{
@@ -886,8 +926,10 @@ 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";
+            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";
             description?: string | string[] | undefined;
+            polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
+            strength?: number | undefined;
         }[] | undefined;
         external_references?: {
             role: "output" | "input" | "context" | "evidence" | "source" | "standard" | "prior_art";

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

@@ -187,19 +187,31 @@ export declare const addPlanTaskOp: import("./define-operation.js").DefinedOpera
                 selects: "selects";
                 requires: "requires";
                 disables: "disables";
+                influence: "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";
+                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";
             };
             description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
                 is(value: unknown): value is string | string[];
             }>;
+            polarity: z.ZodOptional<z.ZodEnum<{
+                positive: "positive";
+                negative: "negative";
+                neutral: "neutral";
+                uncertain: "uncertain";
+            }> & {
+                is(value: unknown): value is "positive" | "negative" | "neutral" | "uncertain";
+            }>;
+            strength: z.ZodOptional<z.ZodNumber>;
         }, 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";
+                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";
                 description?: string | string[] | undefined;
+                polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
+                strength?: number | undefined;
             };
         }>>;
         external_references: z.ZodOptional<z.ZodArray<z.ZodObject<{
@@ -287,8 +299,10 @@ 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";
+                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";
                 description?: string | string[] | undefined;
+                polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
+                strength?: number | undefined;
             }[] | undefined;
             external_references?: {
                 role: "output" | "input" | "context" | "evidence" | "source" | "standard" | "prior_art";
@@ -484,19 +498,31 @@ export declare const addPlanTaskOp: import("./define-operation.js").DefinedOpera
             selects: "selects";
             requires: "requires";
             disables: "disables";
+            influence: "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";
+            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";
         };
         description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
             is(value: unknown): value is string | string[];
         }>;
+        polarity: z.ZodOptional<z.ZodEnum<{
+            positive: "positive";
+            negative: "negative";
+            neutral: "neutral";
+            uncertain: "uncertain";
+        }> & {
+            is(value: unknown): value is "positive" | "negative" | "neutral" | "uncertain";
+        }>;
+        strength: z.ZodOptional<z.ZodNumber>;
     }, 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";
+            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";
             description?: string | string[] | undefined;
+            polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
+            strength?: number | undefined;
         };
     }>>;
     external_references: z.ZodOptional<z.ZodArray<z.ZodObject<{
@@ -584,8 +610,10 @@ 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";
+            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";
             description?: string | string[] | undefined;
+            polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
+            strength?: number | undefined;
         }[] | undefined;
         external_references?: {
             role: "output" | "input" | "context" | "evidence" | "source" | "standard" | "prior_art";

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

@@ -187,19 +187,31 @@ export declare const addRelationshipOp: import("./define-operation.js").DefinedO
                 selects: "selects";
                 requires: "requires";
                 disables: "disables";
+                influence: "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";
+                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";
             };
             description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
                 is(value: unknown): value is string | string[];
             }>;
+            polarity: z.ZodOptional<z.ZodEnum<{
+                positive: "positive";
+                negative: "negative";
+                neutral: "neutral";
+                uncertain: "uncertain";
+            }> & {
+                is(value: unknown): value is "positive" | "negative" | "neutral" | "uncertain";
+            }>;
+            strength: z.ZodOptional<z.ZodNumber>;
         }, 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";
+                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";
                 description?: string | string[] | undefined;
+                polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
+                strength?: number | undefined;
             };
         }>>;
         external_references: z.ZodOptional<z.ZodArray<z.ZodObject<{
@@ -287,8 +299,10 @@ 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";
+                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";
                 description?: string | string[] | undefined;
+                polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
+                strength?: number | undefined;
             }[] | undefined;
             external_references?: {
                 role: "output" | "input" | "context" | "evidence" | "source" | "standard" | "prior_art";
@@ -327,19 +341,31 @@ export declare const addRelationshipOp: import("./define-operation.js").DefinedO
             selects: "selects";
             requires: "requires";
             disables: "disables";
+            influence: "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";
+            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";
         };
         description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
             is(value: unknown): value is string | string[];
         }>;
+        polarity: z.ZodOptional<z.ZodEnum<{
+            positive: "positive";
+            negative: "negative";
+            neutral: "neutral";
+            uncertain: "uncertain";
+        }> & {
+            is(value: unknown): value is "positive" | "negative" | "neutral" | "uncertain";
+        }>;
+        strength: z.ZodOptional<z.ZodNumber>;
     }, 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";
+            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";
             description?: string | string[] | undefined;
+            polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
+            strength?: number | undefined;
         };
     };
 }, z.core.$strip>, z.ZodObject<{
@@ -525,19 +551,31 @@ export declare const addRelationshipOp: import("./define-operation.js").DefinedO
             selects: "selects";
             requires: "requires";
             disables: "disables";
+            influence: "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";
+            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";
         };
         description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
             is(value: unknown): value is string | string[];
         }>;
+        polarity: z.ZodOptional<z.ZodEnum<{
+            positive: "positive";
+            negative: "negative";
+            neutral: "neutral";
+            uncertain: "uncertain";
+        }> & {
+            is(value: unknown): value is "positive" | "negative" | "neutral" | "uncertain";
+        }>;
+        strength: z.ZodOptional<z.ZodNumber>;
     }, 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";
+            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";
             description?: string | string[] | undefined;
+            polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
+            strength?: number | undefined;
         };
     }>>;
     external_references: z.ZodOptional<z.ZodArray<z.ZodObject<{
@@ -625,8 +663,10 @@ 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";
+            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";
             description?: string | string[] | undefined;
+            polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
+            strength?: number | undefined;
         }[] | undefined;
         external_references?: {
             role: "output" | "input" | "context" | "evidence" | "source" | "standard" | "prior_art";