sysprom 1.14.0 → 1.16.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 (61) hide show
  1. package/README.md +19 -2
  2. package/dist/schema.json +18 -1
  3. package/dist/src/cli/commands/infer.d.ts +2 -0
  4. package/dist/src/cli/commands/infer.js +235 -0
  5. package/dist/src/cli/program.js +2 -0
  6. package/dist/src/endpoint-types.js +23 -0
  7. package/dist/src/index.d.ts +2 -2
  8. package/dist/src/index.js +2 -2
  9. package/dist/src/mcp/server.js +112 -1
  10. package/dist/src/operations/add-node.d.ts +51 -9
  11. package/dist/src/operations/add-plan-task.d.ts +34 -6
  12. package/dist/src/operations/add-relationship.d.ts +48 -8
  13. package/dist/src/operations/check.d.ts +17 -3
  14. package/dist/src/operations/graph.d.ts +17 -3
  15. package/dist/src/operations/index.d.ts +4 -0
  16. package/dist/src/operations/index.js +5 -0
  17. package/dist/src/operations/infer-completeness.d.ts +428 -0
  18. package/dist/src/operations/infer-completeness.js +131 -0
  19. package/dist/src/operations/infer-derived.d.ts +389 -0
  20. package/dist/src/operations/infer-derived.js +158 -0
  21. package/dist/src/operations/infer-impact.d.ts +2299 -0
  22. package/dist/src/operations/infer-impact.js +262 -0
  23. package/dist/src/operations/infer-lifecycle.d.ts +435 -0
  24. package/dist/src/operations/infer-lifecycle.js +119 -0
  25. package/dist/src/operations/init-document.d.ts +17 -3
  26. package/dist/src/operations/json-to-markdown.d.ts +17 -3
  27. package/dist/src/operations/mark-task-done.d.ts +34 -6
  28. package/dist/src/operations/mark-task-undone.d.ts +34 -6
  29. package/dist/src/operations/markdown-to-json.d.ts +17 -3
  30. package/dist/src/operations/next-id.d.ts +17 -3
  31. package/dist/src/operations/node-history.d.ts +17 -3
  32. package/dist/src/operations/plan-add-task.d.ts +34 -6
  33. package/dist/src/operations/plan-gate.d.ts +17 -3
  34. package/dist/src/operations/plan-init.d.ts +17 -3
  35. package/dist/src/operations/plan-progress.d.ts +17 -3
  36. package/dist/src/operations/plan-status.d.ts +17 -3
  37. package/dist/src/operations/query-node.d.ts +107 -17
  38. package/dist/src/operations/query-nodes.d.ts +34 -6
  39. package/dist/src/operations/query-relationships.d.ts +31 -5
  40. package/dist/src/operations/remove-node.d.ts +51 -9
  41. package/dist/src/operations/remove-relationship.d.ts +36 -7
  42. package/dist/src/operations/rename.d.ts +34 -6
  43. package/dist/src/operations/search.d.ts +34 -6
  44. package/dist/src/operations/speckit-diff.d.ts +17 -3
  45. package/dist/src/operations/speckit-export.d.ts +17 -3
  46. package/dist/src/operations/speckit-import.d.ts +17 -3
  47. package/dist/src/operations/speckit-sync.d.ts +51 -9
  48. package/dist/src/operations/state-at.d.ts +17 -3
  49. package/dist/src/operations/stats.d.ts +17 -3
  50. package/dist/src/operations/sync.d.ts +51 -9
  51. package/dist/src/operations/task-list.d.ts +17 -3
  52. package/dist/src/operations/timeline.d.ts +17 -3
  53. package/dist/src/operations/trace-from-node.d.ts +51 -9
  54. package/dist/src/operations/update-metadata.d.ts +34 -6
  55. package/dist/src/operations/update-node.d.ts +48 -8
  56. package/dist/src/operations/update-plan-task.d.ts +34 -6
  57. package/dist/src/operations/validate.d.ts +17 -3
  58. package/dist/src/schema.d.ts +70 -10
  59. package/dist/src/schema.js +21 -0
  60. package/package.json +1 -1
  61. package/schema.json +18 -1
package/dist/src/operations/add-node.d.ts CHANGED
@@ -193,19 +193,31 @@ export declare const addNodeOp: import("./define-operation.js").DefinedOperation
193
193
  selects: "selects";
194
194
  requires: "requires";
195
195
  disables: "disables";
196
+ influence: "influence";
196
197
  }> & {
197
- 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";
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";
198
199
  };
199
200
  description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
200
201
  is(value: unknown): value is string | string[];
201
202
  }>;
203
+ polarity: z.ZodOptional<z.ZodEnum<{
204
+ positive: "positive";
205
+ negative: "negative";
206
+ neutral: "neutral";
207
+ uncertain: "uncertain";
208
+ }> & {
209
+ is(value: unknown): value is "positive" | "negative" | "neutral" | "uncertain";
210
+ }>;
211
+ strength: z.ZodOptional<z.ZodNumber>;
202
212
  }, z.core.$loose> & {
203
213
  is(value: unknown): value is {
204
214
  [x: string]: unknown;
205
215
  from: string;
206
216
  to: string;
207
- 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";
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";
208
218
  description?: string | string[] | undefined;
219
+ polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
220
+ strength?: number | undefined;
209
221
  };
210
222
  }>>;
211
223
  external_references: z.ZodOptional<z.ZodArray<z.ZodObject<{
@@ -293,8 +305,10 @@ export declare const addNodeOp: import("./define-operation.js").DefinedOperation
293
305
  [x: string]: unknown;
294
306
  from: string;
295
307
  to: string;
296
- 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";
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";
297
309
  description?: string | string[] | undefined;
310
+ polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
311
+ strength?: number | undefined;
298
312
  }[] | undefined;
299
313
  external_references?: {
300
314
  role: "output" | "input" | "context" | "evidence" | "source" | "standard" | "prior_art";
@@ -487,19 +501,31 @@ export declare const addNodeOp: import("./define-operation.js").DefinedOperation
487
501
  selects: "selects";
488
502
  requires: "requires";
489
503
  disables: "disables";
504
+ influence: "influence";
490
505
  }> & {
491
- 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";
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";
492
507
  };
493
508
  description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
494
509
  is(value: unknown): value is string | string[];
495
510
  }>;
511
+ polarity: z.ZodOptional<z.ZodEnum<{
512
+ positive: "positive";
513
+ negative: "negative";
514
+ neutral: "neutral";
515
+ uncertain: "uncertain";
516
+ }> & {
517
+ is(value: unknown): value is "positive" | "negative" | "neutral" | "uncertain";
518
+ }>;
519
+ strength: z.ZodOptional<z.ZodNumber>;
496
520
  }, z.core.$loose> & {
497
521
  is(value: unknown): value is {
498
522
  [x: string]: unknown;
499
523
  from: string;
500
524
  to: string;
501
- 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";
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";
502
526
  description?: string | string[] | undefined;
527
+ polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
528
+ strength?: number | undefined;
503
529
  };
504
530
  }>>;
505
531
  external_references: z.ZodOptional<z.ZodArray<z.ZodObject<{
@@ -587,8 +613,10 @@ export declare const addNodeOp: import("./define-operation.js").DefinedOperation
587
613
  [x: string]: unknown;
588
614
  from: string;
589
615
  to: string;
590
- 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";
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";
591
617
  description?: string | string[] | undefined;
618
+ polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
619
+ strength?: number | undefined;
592
620
  }[] | undefined;
593
621
  external_references?: {
594
622
  role: "output" | "input" | "context" | "evidence" | "source" | "standard" | "prior_art";
@@ -786,19 +814,31 @@ export declare const addNodeOp: import("./define-operation.js").DefinedOperation
786
814
  selects: "selects";
787
815
  requires: "requires";
788
816
  disables: "disables";
817
+ influence: "influence";
789
818
  }> & {
790
- 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";
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";
791
820
  };
792
821
  description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
793
822
  is(value: unknown): value is string | string[];
794
823
  }>;
824
+ polarity: z.ZodOptional<z.ZodEnum<{
825
+ positive: "positive";
826
+ negative: "negative";
827
+ neutral: "neutral";
828
+ uncertain: "uncertain";
829
+ }> & {
830
+ is(value: unknown): value is "positive" | "negative" | "neutral" | "uncertain";
831
+ }>;
832
+ strength: z.ZodOptional<z.ZodNumber>;
795
833
  }, z.core.$loose> & {
796
834
  is(value: unknown): value is {
797
835
  [x: string]: unknown;
798
836
  from: string;
799
837
  to: string;
800
- 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";
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";
801
839
  description?: string | string[] | undefined;
840
+ polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
841
+ strength?: number | undefined;
802
842
  };
803
843
  }>>;
804
844
  external_references: z.ZodOptional<z.ZodArray<z.ZodObject<{
@@ -886,8 +926,10 @@ export declare const addNodeOp: import("./define-operation.js").DefinedOperation
886
926
  [x: string]: unknown;
887
927
  from: string;
888
928
  to: string;
889
- 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";
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";
890
930
  description?: string | string[] | undefined;
931
+ polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
932
+ strength?: number | undefined;
891
933
  }[] | undefined;
892
934
  external_references?: {
893
935
  role: "output" | "input" | "context" | "evidence" | "source" | "standard" | "prior_art";
package/dist/src/operations/add-plan-task.d.ts CHANGED
@@ -187,19 +187,31 @@ export declare const addPlanTaskOp: import("./define-operation.js").DefinedOpera
187
187
  selects: "selects";
188
188
  requires: "requires";
189
189
  disables: "disables";
190
+ influence: "influence";
190
191
  }> & {
191
- 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";
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";
192
193
  };
193
194
  description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
194
195
  is(value: unknown): value is string | string[];
195
196
  }>;
197
+ polarity: z.ZodOptional<z.ZodEnum<{
198
+ positive: "positive";
199
+ negative: "negative";
200
+ neutral: "neutral";
201
+ uncertain: "uncertain";
202
+ }> & {
203
+ is(value: unknown): value is "positive" | "negative" | "neutral" | "uncertain";
204
+ }>;
205
+ strength: z.ZodOptional<z.ZodNumber>;
196
206
  }, z.core.$loose> & {
197
207
  is(value: unknown): value is {
198
208
  [x: string]: unknown;
199
209
  from: string;
200
210
  to: string;
201
- 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";
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";
202
212
  description?: string | string[] | undefined;
213
+ polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
214
+ strength?: number | undefined;
203
215
  };
204
216
  }>>;
205
217
  external_references: z.ZodOptional<z.ZodArray<z.ZodObject<{
@@ -287,8 +299,10 @@ export declare const addPlanTaskOp: import("./define-operation.js").DefinedOpera
287
299
  [x: string]: unknown;
288
300
  from: string;
289
301
  to: string;
290
- 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";
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";
291
303
  description?: string | string[] | undefined;
304
+ polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
305
+ strength?: number | undefined;
292
306
  }[] | undefined;
293
307
  external_references?: {
294
308
  role: "output" | "input" | "context" | "evidence" | "source" | "standard" | "prior_art";
@@ -484,19 +498,31 @@ export declare const addPlanTaskOp: import("./define-operation.js").DefinedOpera
484
498
  selects: "selects";
485
499
  requires: "requires";
486
500
  disables: "disables";
501
+ influence: "influence";
487
502
  }> & {
488
- 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";
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";
489
504
  };
490
505
  description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
491
506
  is(value: unknown): value is string | string[];
492
507
  }>;
508
+ polarity: z.ZodOptional<z.ZodEnum<{
509
+ positive: "positive";
510
+ negative: "negative";
511
+ neutral: "neutral";
512
+ uncertain: "uncertain";
513
+ }> & {
514
+ is(value: unknown): value is "positive" | "negative" | "neutral" | "uncertain";
515
+ }>;
516
+ strength: z.ZodOptional<z.ZodNumber>;
493
517
  }, z.core.$loose> & {
494
518
  is(value: unknown): value is {
495
519
  [x: string]: unknown;
496
520
  from: string;
497
521
  to: string;
498
- 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";
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";
499
523
  description?: string | string[] | undefined;
524
+ polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
525
+ strength?: number | undefined;
500
526
  };
501
527
  }>>;
502
528
  external_references: z.ZodOptional<z.ZodArray<z.ZodObject<{
@@ -584,8 +610,10 @@ export declare const addPlanTaskOp: import("./define-operation.js").DefinedOpera
584
610
  [x: string]: unknown;
585
611
  from: string;
586
612
  to: string;
587
- 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";
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";
588
614
  description?: string | string[] | undefined;
615
+ polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
616
+ strength?: number | undefined;
589
617
  }[] | undefined;
590
618
  external_references?: {
591
619
  role: "output" | "input" | "context" | "evidence" | "source" | "standard" | "prior_art";
package/dist/src/operations/add-relationship.d.ts CHANGED
@@ -187,19 +187,31 @@ export declare const addRelationshipOp: import("./define-operation.js").DefinedO
187
187
  selects: "selects";
188
188
  requires: "requires";
189
189
  disables: "disables";
190
+ influence: "influence";
190
191
  }> & {
191
- 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";
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";
192
193
  };
193
194
  description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
194
195
  is(value: unknown): value is string | string[];
195
196
  }>;
197
+ polarity: z.ZodOptional<z.ZodEnum<{
198
+ positive: "positive";
199
+ negative: "negative";
200
+ neutral: "neutral";
201
+ uncertain: "uncertain";
202
+ }> & {
203
+ is(value: unknown): value is "positive" | "negative" | "neutral" | "uncertain";
204
+ }>;
205
+ strength: z.ZodOptional<z.ZodNumber>;
196
206
  }, z.core.$loose> & {
197
207
  is(value: unknown): value is {
198
208
  [x: string]: unknown;
199
209
  from: string;
200
210
  to: string;
201
- 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";
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";
202
212
  description?: string | string[] | undefined;
213
+ polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
214
+ strength?: number | undefined;
203
215
  };
204
216
  }>>;
205
217
  external_references: z.ZodOptional<z.ZodArray<z.ZodObject<{
@@ -287,8 +299,10 @@ export declare const addRelationshipOp: import("./define-operation.js").DefinedO
287
299
  [x: string]: unknown;
288
300
  from: string;
289
301
  to: string;
290
- 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";
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";
291
303
  description?: string | string[] | undefined;
304
+ polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
305
+ strength?: number | undefined;
292
306
  }[] | undefined;
293
307
  external_references?: {
294
308
  role: "output" | "input" | "context" | "evidence" | "source" | "standard" | "prior_art";
@@ -327,19 +341,31 @@ export declare const addRelationshipOp: import("./define-operation.js").DefinedO
327
341
  selects: "selects";
328
342
  requires: "requires";
329
343
  disables: "disables";
344
+ influence: "influence";
330
345
  }> & {
331
- 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";
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";
332
347
  };
333
348
  description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
334
349
  is(value: unknown): value is string | string[];
335
350
  }>;
351
+ polarity: z.ZodOptional<z.ZodEnum<{
352
+ positive: "positive";
353
+ negative: "negative";
354
+ neutral: "neutral";
355
+ uncertain: "uncertain";
356
+ }> & {
357
+ is(value: unknown): value is "positive" | "negative" | "neutral" | "uncertain";
358
+ }>;
359
+ strength: z.ZodOptional<z.ZodNumber>;
336
360
  }, z.core.$loose> & {
337
361
  is(value: unknown): value is {
338
362
  [x: string]: unknown;
339
363
  from: string;
340
364
  to: string;
341
- 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";
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";
342
366
  description?: string | string[] | undefined;
367
+ polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
368
+ strength?: number | undefined;
343
369
  };
344
370
  };
345
371
  }, z.core.$strip>, z.ZodObject<{
@@ -525,19 +551,31 @@ export declare const addRelationshipOp: import("./define-operation.js").DefinedO
525
551
  selects: "selects";
526
552
  requires: "requires";
527
553
  disables: "disables";
554
+ influence: "influence";
528
555
  }> & {
529
- 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";
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";
530
557
  };
531
558
  description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
532
559
  is(value: unknown): value is string | string[];
533
560
  }>;
561
+ polarity: z.ZodOptional<z.ZodEnum<{
562
+ positive: "positive";
563
+ negative: "negative";
564
+ neutral: "neutral";
565
+ uncertain: "uncertain";
566
+ }> & {
567
+ is(value: unknown): value is "positive" | "negative" | "neutral" | "uncertain";
568
+ }>;
569
+ strength: z.ZodOptional<z.ZodNumber>;
534
570
  }, z.core.$loose> & {
535
571
  is(value: unknown): value is {
536
572
  [x: string]: unknown;
537
573
  from: string;
538
574
  to: string;
539
- 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";
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";
540
576
  description?: string | string[] | undefined;
577
+ polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
578
+ strength?: number | undefined;
541
579
  };
542
580
  }>>;
543
581
  external_references: z.ZodOptional<z.ZodArray<z.ZodObject<{
@@ -625,8 +663,10 @@ export declare const addRelationshipOp: import("./define-operation.js").DefinedO
625
663
  [x: string]: unknown;
626
664
  from: string;
627
665
  to: string;
628
- 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";
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";
629
667
  description?: string | string[] | undefined;
668
+ polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
669
+ strength?: number | undefined;
630
670
  }[] | undefined;
631
671
  external_references?: {
632
672
  role: "output" | "input" | "context" | "evidence" | "source" | "standard" | "prior_art";
package/dist/src/operations/check.d.ts CHANGED
@@ -188,19 +188,31 @@ export declare const checkOp: import("./define-operation.js").DefinedOperation<z
188
188
  selects: "selects";
189
189
  requires: "requires";
190
190
  disables: "disables";
191
+ influence: "influence";
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";
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";
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[];
196
197
  }>;
198
+ polarity: z.ZodOptional<z.ZodEnum<{
199
+ positive: "positive";
200
+ negative: "negative";
201
+ neutral: "neutral";
202
+ uncertain: "uncertain";
203
+ }> & {
204
+ is(value: unknown): value is "positive" | "negative" | "neutral" | "uncertain";
205
+ }>;
206
+ strength: z.ZodOptional<z.ZodNumber>;
197
207
  }, z.core.$loose> & {
198
208
  is(value: unknown): value is {
199
209
  [x: string]: unknown;
200
210
  from: string;
201
211
  to: string;
202
- 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";
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";
203
213
  description?: string | string[] | undefined;
214
+ polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
215
+ strength?: number | undefined;
204
216
  };
205
217
  }>>;
206
218
  external_references: z.ZodOptional<z.ZodArray<z.ZodObject<{
@@ -288,8 +300,10 @@ export declare const checkOp: import("./define-operation.js").DefinedOperation<z
288
300
  [x: string]: unknown;
289
301
  from: string;
290
302
  to: string;
291
- 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";
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";
292
304
  description?: string | string[] | undefined;
305
+ polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
306
+ strength?: number | undefined;
293
307
  }[] | undefined;
294
308
  external_references?: {
295
309
  role: "output" | "input" | "context" | "evidence" | "source" | "standard" | "prior_art";
package/dist/src/operations/graph.d.ts CHANGED
@@ -184,19 +184,31 @@ export declare const graphOp: import("./define-operation.js").DefinedOperation<z
184
184
  selects: "selects";
185
185
  requires: "requires";
186
186
  disables: "disables";
187
+ influence: "influence";
187
188
  }> & {
188
- 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";
189
+ 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";
189
190
  };
190
191
  description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
191
192
  is(value: unknown): value is string | string[];
192
193
  }>;
194
+ polarity: z.ZodOptional<z.ZodEnum<{
195
+ positive: "positive";
196
+ negative: "negative";
197
+ neutral: "neutral";
198
+ uncertain: "uncertain";
199
+ }> & {
200
+ is(value: unknown): value is "positive" | "negative" | "neutral" | "uncertain";
201
+ }>;
202
+ strength: z.ZodOptional<z.ZodNumber>;
193
203
  }, z.core.$loose> & {
194
204
  is(value: unknown): value is {
195
205
  [x: string]: unknown;
196
206
  from: string;
197
207
  to: string;
198
- 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";
208
+ 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";
199
209
  description?: string | string[] | undefined;
210
+ polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
211
+ strength?: number | undefined;
200
212
  };
201
213
  }>>;
202
214
  external_references: z.ZodOptional<z.ZodArray<z.ZodObject<{
@@ -284,8 +296,10 @@ export declare const graphOp: import("./define-operation.js").DefinedOperation<z
284
296
  [x: string]: unknown;
285
297
  from: string;
286
298
  to: string;
287
- 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";
299
+ 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";
288
300
  description?: string | string[] | undefined;
301
+ polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
302
+ strength?: number | undefined;
289
303
  }[] | undefined;
290
304
  external_references?: {
291
305
  role: "output" | "input" | "context" | "evidence" | "source" | "standard" | "prior_art";
package/dist/src/operations/index.d.ts CHANGED
@@ -37,3 +37,7 @@ export { speckitImportOp } from "./speckit-import.js";
37
37
  export { speckitExportOp } from "./speckit-export.js";
38
38
  export { speckitSyncOp, type SyncResult } from "./speckit-sync.js";
39
39
  export { speckitDiffOp, type DiffResult } from "./speckit-diff.js";
40
+ export { inferCompletenessOp, type CompletenessResult, type CompletenessOutput, } from "./infer-completeness.js";
41
+ export { inferLifecycleOp, type LifecycleResult, type LifecycleOutput, } from "./infer-lifecycle.js";
42
+ export { inferImpactOp, impactSummaryOp, type ImpactNode, type ImpactOutput, type ImpactSummaryOutput, } from "./infer-impact.js";
43
+ export { inferDerivedOp, type DerivedRelationship, type DerivedOutput, } from "./infer-derived.js";
package/dist/src/operations/index.js CHANGED
@@ -45,3 +45,8 @@ export { speckitImportOp } from "./speckit-import.js";
45
45
  export { speckitExportOp } from "./speckit-export.js";
46
46
  export { speckitSyncOp } from "./speckit-sync.js";
47
47
  export { speckitDiffOp } from "./speckit-diff.js";
48
+ // Inference operations
49
+ export { inferCompletenessOp, } from "./infer-completeness.js";
50
+ export { inferLifecycleOp, } from "./infer-lifecycle.js";
51
+ export { inferImpactOp, impactSummaryOp, } from "./infer-impact.js";
52
+ export { inferDerivedOp, } from "./infer-derived.js";