refactor(CHG40): add CLI flags and MCP support for bidirectional impact analysis

CLI enhancements:
- Add --direction [outgoing|incoming|bidirectional] flag to 'infer impact'
- Add --max-depth <n> flag for traversal depth limiting
- Add --filter <types> flag for relationship type filtering
- Display direction, depth, and filter info in output

MCP updates:
- Extend infer-impact tool with direction, maxDepth, relationshipFilter inputs
- Add new infer-impact-summary tool for hotspot analysis
- Support document-level impact analysis via MCP

Schema & docs:
- Regenerate schema.json with new ImpactPolarity enum
- Update .SysProM.json and Markdown syncs
- Mark CHG40 as 'introduced' in provenance document

Tests: All 477 tests passing including 13 new CHG40 tests

Author: Mearman

.SysProM.json

@@ -4181,6 +4181,7 @@
 				"src/index.ts",
 				"tests/infer-impact.unit.test.ts"
 			],
+			"status": "introduced",
 			"type": "change"
 		}
 	],

.SysProM/CHANGES.md

@@ -846,6 +846,8 @@ Add bidirectional BFS, polarity/strength on relationships, influence relationshi
 
 - Implements: [DEC42](./DECISIONS.md#dec42--enhance-impact-analysis-for-sysmlarchimate-parity)
 
+- Status: introduced
+
 Scope:
 - src/schema.ts
 - src/operations/infer-impact.ts

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"
 					}

src/cli/commands/infer.ts

@@ -74,6 +74,22 @@ function printDerivedRelationship(r: DerivedRelationship): void {
 
 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"),
 });
 
 // ---------------------------------------------------------------------------
@@ -155,13 +171,33 @@ const impactSubcommand: CommandDef = {
 		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 {
+			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}\n`) +
+				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)}`,
 					) +

src/mcp/server.ts

@@ -21,6 +21,7 @@ import {
 	inferCompletenessOp,
 	inferLifecycleOp,
 	inferImpactOp,
+	impactSummaryOp,
 	inferDerivedOp,
 } from "../operations/index.js";
 
@@ -476,15 +477,59 @@ server.registerTool(
 	"infer-impact",
 	{
 		description:
-			"Infer impact from a node through the graph following impact relationships",
+			"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" as const,
+					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: [
 				{