sysprom 1.16.1 → 1.18.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (84) hide show
  1. package/README.md +147 -75
  2. package/dist/schema.json +2 -1
  3. package/dist/src/cli/commands/add.js +52 -36
  4. package/dist/src/cli/commands/graph.d.ts +15 -0
  5. package/dist/src/cli/commands/graph.js +51 -2
  6. package/dist/src/cli/commands/infer.js +44 -25
  7. package/dist/src/cli/commands/init.d.ts +1 -1
  8. package/dist/src/cli/commands/json2md.d.ts +30 -1
  9. package/dist/src/cli/commands/json2md.js +42 -1
  10. package/dist/src/cli/commands/md2json.d.ts +1 -1
  11. package/dist/src/cli/commands/query.js +35 -37
  12. package/dist/src/cli/commands/speckit.js +81 -77
  13. package/dist/src/cli/commands/stats.js +4 -4
  14. package/dist/src/cli/commands/sync.d.ts +1 -1
  15. package/dist/src/cli/commands/update.js +33 -20
  16. package/dist/src/cli/define-command.d.ts +1 -1
  17. package/dist/src/cli/define-command.js +176 -156
  18. package/dist/src/endpoint-types.js +13 -6
  19. package/dist/src/io.js +59 -8
  20. package/dist/src/json-to-md.d.ts +32 -2
  21. package/dist/src/json-to-md.js +145 -5
  22. package/dist/src/mcp/server.js +269 -112
  23. package/dist/src/md-to-json.js +7 -0
  24. package/dist/src/operations/add-node.d.ts +12 -9
  25. package/dist/src/operations/add-plan-task.d.ts +8 -6
  26. package/dist/src/operations/add-relationship.d.ts +11 -8
  27. package/dist/src/operations/check.d.ts +4 -3
  28. package/dist/src/operations/define-operation.d.ts +1 -1
  29. package/dist/src/operations/graph-decision.d.ts +329 -0
  30. package/dist/src/operations/graph-decision.js +96 -0
  31. package/dist/src/operations/graph-dependency.d.ts +329 -0
  32. package/dist/src/operations/graph-dependency.js +121 -0
  33. package/dist/src/operations/graph-refinement.d.ts +329 -0
  34. package/dist/src/operations/graph-refinement.js +97 -0
  35. package/dist/src/operations/graph-shared.d.ts +116 -0
  36. package/dist/src/operations/graph-shared.js +257 -0
  37. package/dist/src/operations/graph.d.ts +20 -4
  38. package/dist/src/operations/graph.js +129 -36
  39. package/dist/src/operations/index.d.ts +3 -0
  40. package/dist/src/operations/index.js +3 -0
  41. package/dist/src/operations/infer-completeness.d.ts +4 -3
  42. package/dist/src/operations/infer-derived.d.ts +4 -3
  43. package/dist/src/operations/infer-impact.d.ts +28 -21
  44. package/dist/src/operations/infer-lifecycle.d.ts +4 -3
  45. package/dist/src/operations/init-document.d.ts +4 -3
  46. package/dist/src/operations/json-to-markdown.d.ts +28 -3
  47. package/dist/src/operations/json-to-markdown.js +11 -1
  48. package/dist/src/operations/mark-task-done.d.ts +8 -6
  49. package/dist/src/operations/mark-task-undone.d.ts +8 -6
  50. package/dist/src/operations/markdown-to-json.d.ts +4 -3
  51. package/dist/src/operations/next-id.d.ts +4 -3
  52. package/dist/src/operations/node-history.d.ts +4 -3
  53. package/dist/src/operations/plan-add-task.d.ts +8 -6
  54. package/dist/src/operations/plan-gate.d.ts +4 -3
  55. package/dist/src/operations/plan-init.d.ts +4 -3
  56. package/dist/src/operations/plan-progress.d.ts +4 -3
  57. package/dist/src/operations/plan-status.d.ts +4 -3
  58. package/dist/src/operations/query-node.d.ts +24 -17
  59. package/dist/src/operations/query-nodes.d.ts +8 -6
  60. package/dist/src/operations/query-relationships.d.ts +7 -5
  61. package/dist/src/operations/remove-node.d.ts +12 -9
  62. package/dist/src/operations/remove-relationship.d.ts +10 -7
  63. package/dist/src/operations/rename.d.ts +8 -6
  64. package/dist/src/operations/search.d.ts +8 -6
  65. package/dist/src/operations/speckit-diff.d.ts +4 -3
  66. package/dist/src/operations/speckit-export.d.ts +4 -3
  67. package/dist/src/operations/speckit-import.d.ts +4 -3
  68. package/dist/src/operations/speckit-sync.d.ts +12 -9
  69. package/dist/src/operations/state-at.d.ts +4 -3
  70. package/dist/src/operations/stats.d.ts +4 -3
  71. package/dist/src/operations/sync.d.ts +12 -9
  72. package/dist/src/operations/task-list.d.ts +4 -3
  73. package/dist/src/operations/timeline.d.ts +4 -3
  74. package/dist/src/operations/trace-from-node.d.ts +12 -9
  75. package/dist/src/operations/update-metadata.d.ts +8 -6
  76. package/dist/src/operations/update-node.d.ts +11 -8
  77. package/dist/src/operations/update-plan-task.d.ts +8 -6
  78. package/dist/src/operations/validate.d.ts +4 -3
  79. package/dist/src/schema.d.ts +15 -10
  80. package/dist/src/schema.js +3 -11
  81. package/dist/src/utils/define-schema.d.ts +17 -0
  82. package/dist/src/utils/define-schema.js +21 -0
  83. package/package.json +98 -93
  84. package/schema.json +2 -1
@@ -194,8 +194,9 @@ export declare const addNodeOp: import("./define-operation.js").DefinedOperation
194
194
  requires: "requires";
195
195
  disables: "disables";
196
196
  influence: "influence";
197
+ justifies: "justifies";
197
198
  }> & {
198
- 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";
199
+ 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";
199
200
  };
200
201
  description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
201
202
  is(value: unknown): value is string | string[];
@@ -214,7 +215,7 @@ export declare const addNodeOp: import("./define-operation.js").DefinedOperation
214
215
  [x: string]: unknown;
215
216
  from: string;
216
217
  to: string;
217
- 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";
218
+ 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";
218
219
  description?: string | string[] | undefined;
219
220
  polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
220
221
  strength?: number | undefined;
@@ -305,7 +306,7 @@ export declare const addNodeOp: import("./define-operation.js").DefinedOperation
305
306
  [x: string]: unknown;
306
307
  from: string;
307
308
  to: string;
308
- 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";
309
+ 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";
309
310
  description?: string | string[] | undefined;
310
311
  polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
311
312
  strength?: number | undefined;
@@ -502,8 +503,9 @@ export declare const addNodeOp: import("./define-operation.js").DefinedOperation
502
503
  requires: "requires";
503
504
  disables: "disables";
504
505
  influence: "influence";
506
+ justifies: "justifies";
505
507
  }> & {
506
- 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";
508
+ 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";
507
509
  };
508
510
  description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
509
511
  is(value: unknown): value is string | string[];
@@ -522,7 +524,7 @@ export declare const addNodeOp: import("./define-operation.js").DefinedOperation
522
524
  [x: string]: unknown;
523
525
  from: string;
524
526
  to: string;
525
- 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";
527
+ 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";
526
528
  description?: string | string[] | undefined;
527
529
  polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
528
530
  strength?: number | undefined;
@@ -613,7 +615,7 @@ export declare const addNodeOp: import("./define-operation.js").DefinedOperation
613
615
  [x: string]: unknown;
614
616
  from: string;
615
617
  to: string;
616
- 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";
618
+ 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";
617
619
  description?: string | string[] | undefined;
618
620
  polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
619
621
  strength?: number | undefined;
@@ -815,8 +817,9 @@ export declare const addNodeOp: import("./define-operation.js").DefinedOperation
815
817
  requires: "requires";
816
818
  disables: "disables";
817
819
  influence: "influence";
820
+ justifies: "justifies";
818
821
  }> & {
819
- 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";
822
+ 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";
820
823
  };
821
824
  description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
822
825
  is(value: unknown): value is string | string[];
@@ -835,7 +838,7 @@ export declare const addNodeOp: import("./define-operation.js").DefinedOperation
835
838
  [x: string]: unknown;
836
839
  from: string;
837
840
  to: string;
838
- 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";
841
+ 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";
839
842
  description?: string | string[] | undefined;
840
843
  polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
841
844
  strength?: number | undefined;
@@ -926,7 +929,7 @@ export declare const addNodeOp: import("./define-operation.js").DefinedOperation
926
929
  [x: string]: unknown;
927
930
  from: string;
928
931
  to: string;
929
- 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";
932
+ 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";
930
933
  description?: string | string[] | undefined;
931
934
  polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
932
935
  strength?: number | undefined;
@@ -188,8 +188,9 @@ export declare const addPlanTaskOp: import("./define-operation.js").DefinedOpera
188
188
  requires: "requires";
189
189
  disables: "disables";
190
190
  influence: "influence";
191
+ justifies: "justifies";
191
192
  }> & {
192
- 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";
193
+ 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";
193
194
  };
194
195
  description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
195
196
  is(value: unknown): value is string | string[];
@@ -208,7 +209,7 @@ export declare const addPlanTaskOp: import("./define-operation.js").DefinedOpera
208
209
  [x: string]: unknown;
209
210
  from: string;
210
211
  to: string;
211
- 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";
212
+ 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";
212
213
  description?: string | string[] | undefined;
213
214
  polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
214
215
  strength?: number | undefined;
@@ -299,7 +300,7 @@ export declare const addPlanTaskOp: import("./define-operation.js").DefinedOpera
299
300
  [x: string]: unknown;
300
301
  from: string;
301
302
  to: string;
302
- 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";
303
+ 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";
303
304
  description?: string | string[] | undefined;
304
305
  polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
305
306
  strength?: number | undefined;
@@ -499,8 +500,9 @@ export declare const addPlanTaskOp: import("./define-operation.js").DefinedOpera
499
500
  requires: "requires";
500
501
  disables: "disables";
501
502
  influence: "influence";
503
+ justifies: "justifies";
502
504
  }> & {
503
- 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";
505
+ 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";
504
506
  };
505
507
  description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
506
508
  is(value: unknown): value is string | string[];
@@ -519,7 +521,7 @@ export declare const addPlanTaskOp: import("./define-operation.js").DefinedOpera
519
521
  [x: string]: unknown;
520
522
  from: string;
521
523
  to: string;
522
- 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";
524
+ 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";
523
525
  description?: string | string[] | undefined;
524
526
  polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
525
527
  strength?: number | undefined;
@@ -610,7 +612,7 @@ export declare const addPlanTaskOp: import("./define-operation.js").DefinedOpera
610
612
  [x: string]: unknown;
611
613
  from: string;
612
614
  to: string;
613
- 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";
615
+ 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";
614
616
  description?: string | string[] | undefined;
615
617
  polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
616
618
  strength?: number | undefined;
@@ -188,8 +188,9 @@ export declare const addRelationshipOp: import("./define-operation.js").DefinedO
188
188
  requires: "requires";
189
189
  disables: "disables";
190
190
  influence: "influence";
191
+ justifies: "justifies";
191
192
  }> & {
192
- 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";
193
+ 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";
193
194
  };
194
195
  description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
195
196
  is(value: unknown): value is string | string[];
@@ -208,7 +209,7 @@ export declare const addRelationshipOp: import("./define-operation.js").DefinedO
208
209
  [x: string]: unknown;
209
210
  from: string;
210
211
  to: string;
211
- 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";
212
+ 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";
212
213
  description?: string | string[] | undefined;
213
214
  polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
214
215
  strength?: number | undefined;
@@ -299,7 +300,7 @@ export declare const addRelationshipOp: import("./define-operation.js").DefinedO
299
300
  [x: string]: unknown;
300
301
  from: string;
301
302
  to: string;
302
- 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";
303
+ 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";
303
304
  description?: string | string[] | undefined;
304
305
  polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
305
306
  strength?: number | undefined;
@@ -342,8 +343,9 @@ export declare const addRelationshipOp: import("./define-operation.js").DefinedO
342
343
  requires: "requires";
343
344
  disables: "disables";
344
345
  influence: "influence";
346
+ justifies: "justifies";
345
347
  }> & {
346
- 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";
348
+ 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";
347
349
  };
348
350
  description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
349
351
  is(value: unknown): value is string | string[];
@@ -362,7 +364,7 @@ export declare const addRelationshipOp: import("./define-operation.js").DefinedO
362
364
  [x: string]: unknown;
363
365
  from: string;
364
366
  to: string;
365
- 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";
367
+ 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";
366
368
  description?: string | string[] | undefined;
367
369
  polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
368
370
  strength?: number | undefined;
@@ -552,8 +554,9 @@ export declare const addRelationshipOp: import("./define-operation.js").DefinedO
552
554
  requires: "requires";
553
555
  disables: "disables";
554
556
  influence: "influence";
557
+ justifies: "justifies";
555
558
  }> & {
556
- 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";
559
+ 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";
557
560
  };
558
561
  description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
559
562
  is(value: unknown): value is string | string[];
@@ -572,7 +575,7 @@ export declare const addRelationshipOp: import("./define-operation.js").DefinedO
572
575
  [x: string]: unknown;
573
576
  from: string;
574
577
  to: string;
575
- 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";
578
+ 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";
576
579
  description?: string | string[] | undefined;
577
580
  polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
578
581
  strength?: number | undefined;
@@ -663,7 +666,7 @@ export declare const addRelationshipOp: import("./define-operation.js").DefinedO
663
666
  [x: string]: unknown;
664
667
  from: string;
665
668
  to: string;
666
- 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";
669
+ 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";
667
670
  description?: string | string[] | undefined;
668
671
  polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
669
672
  strength?: number | undefined;
@@ -189,8 +189,9 @@ export declare const checkOp: import("./define-operation.js").DefinedOperation<z
189
189
  requires: "requires";
190
190
  disables: "disables";
191
191
  influence: "influence";
192
+ justifies: "justifies";
192
193
  }> & {
193
- 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";
194
+ 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";
194
195
  };
195
196
  description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
196
197
  is(value: unknown): value is string | string[];
@@ -209,7 +210,7 @@ export declare const checkOp: import("./define-operation.js").DefinedOperation<z
209
210
  [x: string]: unknown;
210
211
  from: string;
211
212
  to: string;
212
- 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";
213
+ 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";
213
214
  description?: string | string[] | undefined;
214
215
  polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
215
216
  strength?: number | undefined;
@@ -300,7 +301,7 @@ export declare const checkOp: import("./define-operation.js").DefinedOperation<z
300
301
  [x: string]: unknown;
301
302
  from: string;
302
303
  to: string;
303
- 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";
304
+ 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";
304
305
  description?: string | string[] | undefined;
305
306
  polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
306
307
  strength?: number | undefined;
@@ -24,7 +24,7 @@ export interface OperationDef<TInput extends z.ZodType = z.ZodType, TOutput exte
24
24
  * @template TInput - Zod schema type for the operation's input.
25
25
  * @template TOutput - Zod schema type for the operation's output.
26
26
  */
27
- export type DefinedOperation<TInput extends z.ZodType = z.ZodType, TOutput extends z.ZodType = z.ZodType> = ((input: z.infer<TInput>) => z.infer<TOutput>) & {
27
+ export type DefinedOperation<TInput extends z.ZodType = z.ZodType, TOutput extends z.ZodType = z.ZodType> = ((input: z.input<TInput>) => z.infer<TOutput>) & {
28
28
  /** The full operation definition including name, description, and schemas. */
29
29
  def: OperationDef<TInput, TOutput>;
30
30
  /** Zod schema for validating input before execution. */