sysprom 1.15.0 → 1.16.0

package/dist/src/operations/infer-impact.js

@@ -1,6 +1,6 @@
 import * as z from "zod";
 import { defineOperation } from "./define-operation.js";
-import { Node, SysProMDocument } from "../schema.js";
+import { Node, SysProMDocument, ImpactPolarity, } from "../schema.js";
 /**
  * Impact node in the impact trace.
  */
@@ -9,6 +9,7 @@ const ImpactNode = z.object({
     node: Node.optional(),
     impactType: z.enum(["direct", "transitive", "potential"]),
     distance: z.number().int().nonnegative(),
+    polarity: ImpactPolarity.optional(),
 });
 /**
  * Output schema for inferImpactOp.
@@ -34,7 +35,18 @@ const IMPACT_RELATIONSHIPS = new Set([
     "requires",
     "produces",
     "consumes",
+    "influence",
 ]);
+/**
+ * Type guard for ImpactPolarity validation.
+ * @param val - The value to validate
+ * @returns true if the value is a valid ImpactPolarity
+ * @example
+ * if (isValidPolarity(rel.polarity)) { ... }
+ */
+function isValidPolarity(val) {
+    return ImpactPolarity.safeParse(val).success;
+}
 /**
  * Relationship types that indicate potential impact (weaker signal).
  */
@@ -48,7 +60,8 @@ const POTENTIAL_IMPACT_RELATIONSHIPS = new Set([
  *
  * Traces impact propagation through affect, dependency, and modification
  * relationships, categorising nodes as directly impacted, transitively
- * impacted, or potentially impacted.
+ * impacted, or potentially impacted. Supports bidirectional traversal
+ * (CHG40) with optional polarity annotations.
  */
 export const inferImpactOp = defineOperation({
     name: "infer-impact",
@@ -56,66 +69,92 @@ export const inferImpactOp = defineOperation({
     input: z.object({
         doc: SysProMDocument,
         startId: z.string(),
+        direction: z.enum(["outgoing", "incoming", "bidirectional"]).optional(),
+        maxDepth: z.number().int().positive().optional(),
+        relationshipFilter: z.array(z.string()).optional(),
     }),
     output: ImpactOutput,
     fn: (input) => {
         const nodeMap = new Map(input.doc.nodes.map((n) => [n.id, n]));
         const visited = new Set();
         const impactedNodes = [];
-        // Mark source as visited to exclude it from results
+        const relationships = input.doc.relationships ?? [];
+        const direction = input.direction ?? "outgoing";
         visited.add(input.startId);
-        // BFS traversal with impact type tracking
-        const queue = [];
-        // Start with direct impacts
-        const directImpacts = (input.doc.relationships ?? [])
-            .filter((r) => r.from === input.startId && IMPACT_RELATIONSHIPS.has(r.type))
-            .map((r) => r.to);
-        const potentialImpacts = (input.doc.relationships ?? [])
-            .filter((r) => r.from === input.startId &&
-            POTENTIAL_IMPACT_RELATIONSHIPS.has(r.type))
-            .map((r) => r.to);
-        // Add direct impacts to queue
-        for (const id of directImpacts) {
-            queue.push({ id, distance: 1, impactType: "direct" });
-        }
-        // Add potential impacts to queue
-        for (const id of potentialImpacts) {
-            if (!directImpacts.includes(id)) {
-                queue.push({ id, distance: 1, impactType: "potential" });
+        // Helper: check if relationship type is impactful
+        const isImpactRel = (type) => input.relationshipFilter
+            ? input.relationshipFilter.includes(type)
+            : IMPACT_RELATIONSHIPS.has(type);
+        const isPotentialRel = (type) => !input.relationshipFilter && POTENTIAL_IMPACT_RELATIONSHIPS.has(type);
+        // Helper: get edges based on direction
+        const getEdges = (nodeId) => {
+            const edges = [];
+            if (direction !== "incoming") {
+                // Outgoing edges
+                relationships
+                    .filter((r) => r.from === nodeId)
+                    .forEach((r) => {
+                    if (isImpactRel(r.type) || isPotentialRel(r.type)) {
+                        edges.push({ to: r.to, type: r.type, polarity: r.polarity });
+                    }
+                });
             }
-        }
+            if (direction !== "outgoing") {
+                // Incoming edges
+                relationships
+                    .filter((r) => r.to === nodeId)
+                    .forEach((r) => {
+                    if (isImpactRel(r.type) || isPotentialRel(r.type)) {
+                        edges.push({ to: r.from, type: r.type, polarity: r.polarity });
+                    }
+                });
+            }
+            return edges;
+        };
         // BFS traversal
+        const queue = [];
+        // Start: add direct impacts from startId
+        const directEdges = getEdges(input.startId);
+        for (const edge of directEdges) {
+            const impactType = isPotentialRel(edge.type) ? "potential" : "direct";
+            queue.push({
+                id: edge.to,
+                distance: 1,
+                impactType,
+                polarity: edge.polarity,
+            });
+        }
         while (queue.length > 0) {
             const current = queue.shift();
             if (!current)
                 break;
             if (visited.has(current.id))
                 continue;
+            if (input.maxDepth && current.distance > input.maxDepth)
+                continue;
             visited.add(current.id);
             const node = nodeMap.get(current.id);
-            impactedNodes.push({
+            const impactNode = {
                 id: current.id,
                 node,
                 impactType: current.impactType,
                 distance: current.distance,
-            });
-            // Find transitive impacts
-            const transitiveImpacts = (input.doc.relationships ?? [])
-                .filter((r) => r.from === current.id &&
-                (IMPACT_RELATIONSHIPS.has(r.type) ||
-                    POTENTIAL_IMPACT_RELATIONSHIPS.has(r.type)))
-                .map((r) => ({
-                id: r.to,
-                impactType: current.distance >= 1
-                    ? "transitive"
-                    : current.impactType,
-            }));
-            for (const impact of transitiveImpacts) {
-                if (!visited.has(impact.id)) {
+            };
+            // Assign polarity if it's valid
+            if (current.polarity && isValidPolarity(current.polarity)) {
+                impactNode.polarity = current.polarity;
+            }
+            impactedNodes.push(impactNode);
+            // Find next-hop impacts
+            const nextEdges = getEdges(current.id);
+            for (const edge of nextEdges) {
+                if (!visited.has(edge.to)) {
+                    const nextImpactType = current.distance >= 1 ? "transitive" : current.impactType;
                     queue.push({
-                        id: impact.id,
+                        id: edge.to,
                         distance: current.distance + 1,
-                        impactType: impact.impactType,
+                        impactType: nextImpactType,
+                        polarity: edge.polarity,
                     });
                 }
             }
@@ -142,3 +181,82 @@ export const inferImpactOp = defineOperation({
         };
     },
 });
+/**
+ * Output schema for impactSummaryOp.
+ */
+const ImpactSummaryOutput = z.object({
+    hotspots: z.array(z.object({
+        nodeId: z.string(),
+        node: Node.optional(),
+        incomingImpactCount: z.number(),
+        outgoingImpactCount: z.number(),
+        totalImpact: z.number(),
+    })),
+    summary: z.object({
+        totalNodes: z.number(),
+        totalImpactedNodes: z.number(),
+        averageDegree: z.number(),
+    }),
+});
+/**
+ * Analyse the entire document for impact hotspots.
+ *
+ * Identifies nodes that are heavily impacted or that impact many other nodes.
+ * Useful for identifying critical elements and dependencies.
+ */
+export const impactSummaryOp = defineOperation({
+    name: "infer-impact-summary",
+    description: "Analyse the entire document for impact hotspots — nodes with high incoming or outgoing impact",
+    input: z.object({
+        doc: SysProMDocument,
+    }),
+    output: ImpactSummaryOutput,
+    fn: (input) => {
+        const nodeMap = new Map(input.doc.nodes.map((n) => [n.id, n]));
+        const relationships = input.doc.relationships ?? [];
+        const impactStats = new Map();
+        // Count incoming and outgoing impact relationships
+        for (const node of input.doc.nodes) {
+            impactStats.set(node.id, { incoming: 0, outgoing: 0 });
+        }
+        for (const rel of relationships) {
+            if (IMPACT_RELATIONSHIPS.has(rel.type)) {
+                const fromStats = impactStats.get(rel.from);
+                const toStats = impactStats.get(rel.to);
+                if (fromStats)
+                    fromStats.outgoing += 1;
+                if (toStats)
+                    toStats.incoming += 1;
+            }
+        }
+        // Build hotspots list
+        const hotspots = [];
+        for (const [nodeId, stats] of impactStats.entries()) {
+            const totalImpact = stats.incoming + stats.outgoing;
+            if (totalImpact > 0) {
+                hotspots.push({
+                    nodeId,
+                    node: nodeMap.get(nodeId),
+                    incomingImpactCount: stats.incoming,
+                    outgoingImpactCount: stats.outgoing,
+                    totalImpact,
+                });
+            }
+        }
+        // Sort by total impact (descending)
+        hotspots.sort((a, b) => b.totalImpact - a.totalImpact);
+        const totalImpactedNodes = hotspots.length;
+        const averageDegree = totalImpactedNodes > 0
+            ? hotspots.reduce((sum, h) => sum + h.totalImpact, 0) /
+                totalImpactedNodes
+            : 0;
+        return {
+            hotspots,
+            summary: {
+                totalNodes: input.doc.nodes.length,
+                totalImpactedNodes,
+                averageDegree,
+            },
+        };
+    },
+});

package/dist/src/operations/infer-lifecycle.d.ts

@@ -269,19 +269,31 @@ export declare const inferLifecycleOp: import("./define-operation.js").DefinedOp
                 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<{
@@ -369,8 +381,10 @@ export declare const inferLifecycleOp: import("./define-operation.js").DefinedOp
                 [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/init-document.d.ts

@@ -186,19 +186,31 @@ export declare const initDocumentOp: import("./define-operation.js").DefinedOper
             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<{
@@ -286,8 +298,10 @@ export declare const initDocumentOp: import("./define-operation.js").DefinedOper
             [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/json-to-markdown.d.ts

@@ -184,19 +184,31 @@ export declare const jsonToMarkdownOp: import("./define-operation.js").DefinedOp
                 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<{
@@ -284,8 +296,10 @@ export declare const jsonToMarkdownOp: import("./define-operation.js").DefinedOp
                 [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/mark-task-done.d.ts

@@ -187,19 +187,31 @@ export declare const markTaskDoneOp: import("./define-operation.js").DefinedOper
                 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 markTaskDoneOp: import("./define-operation.js").DefinedOper
                 [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 markTaskDoneOp: import("./define-operation.js").DefinedOper
             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 markTaskDoneOp: import("./define-operation.js").DefinedOper
             [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/mark-task-undone.d.ts

@@ -187,19 +187,31 @@ export declare const markTaskUndoneOp: import("./define-operation.js").DefinedOp
                 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 markTaskUndoneOp: import("./define-operation.js").DefinedOp
                 [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 markTaskUndoneOp: import("./define-operation.js").DefinedOp
             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 markTaskUndoneOp: import("./define-operation.js").DefinedOp
             [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";