sysprom 1.15.0 → 1.16.1

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 (55) hide show
  1. package/dist/schema.json +18 -1
  2. package/dist/src/cli/commands/infer.js +31 -2
  3. package/dist/src/endpoint-types.js +23 -0
  4. package/dist/src/index.d.ts +2 -2
  5. package/dist/src/index.js +2 -2
  6. package/dist/src/mcp/server.js +42 -4
  7. package/dist/src/operations/add-node.d.ts +51 -9
  8. package/dist/src/operations/add-plan-task.d.ts +34 -6
  9. package/dist/src/operations/add-relationship.d.ts +48 -8
  10. package/dist/src/operations/check.d.ts +17 -3
  11. package/dist/src/operations/graph.d.ts +17 -3
  12. package/dist/src/operations/index.d.ts +1 -1
  13. package/dist/src/operations/index.js +1 -1
  14. package/dist/src/operations/infer-completeness.d.ts +17 -3
  15. package/dist/src/operations/infer-derived.d.ts +17 -3
  16. package/dist/src/operations/infer-impact.d.ts +1066 -13
  17. package/dist/src/operations/infer-impact.js +157 -39
  18. package/dist/src/operations/infer-lifecycle.d.ts +17 -3
  19. package/dist/src/operations/init-document.d.ts +17 -3
  20. package/dist/src/operations/json-to-markdown.d.ts +17 -3
  21. package/dist/src/operations/mark-task-done.d.ts +34 -6
  22. package/dist/src/operations/mark-task-undone.d.ts +34 -6
  23. package/dist/src/operations/markdown-to-json.d.ts +17 -3
  24. package/dist/src/operations/next-id.d.ts +17 -3
  25. package/dist/src/operations/node-history.d.ts +17 -3
  26. package/dist/src/operations/plan-add-task.d.ts +34 -6
  27. package/dist/src/operations/plan-gate.d.ts +17 -3
  28. package/dist/src/operations/plan-init.d.ts +17 -3
  29. package/dist/src/operations/plan-progress.d.ts +17 -3
  30. package/dist/src/operations/plan-status.d.ts +17 -3
  31. package/dist/src/operations/query-node.d.ts +107 -17
  32. package/dist/src/operations/query-nodes.d.ts +34 -6
  33. package/dist/src/operations/query-relationships.d.ts +31 -5
  34. package/dist/src/operations/remove-node.d.ts +51 -9
  35. package/dist/src/operations/remove-relationship.d.ts +36 -7
  36. package/dist/src/operations/rename.d.ts +34 -6
  37. package/dist/src/operations/search.d.ts +34 -6
  38. package/dist/src/operations/speckit-diff.d.ts +17 -3
  39. package/dist/src/operations/speckit-export.d.ts +17 -3
  40. package/dist/src/operations/speckit-import.d.ts +17 -3
  41. package/dist/src/operations/speckit-sync.d.ts +51 -9
  42. package/dist/src/operations/state-at.d.ts +17 -3
  43. package/dist/src/operations/stats.d.ts +17 -3
  44. package/dist/src/operations/sync.d.ts +51 -9
  45. package/dist/src/operations/task-list.d.ts +17 -3
  46. package/dist/src/operations/timeline.d.ts +17 -3
  47. package/dist/src/operations/trace-from-node.d.ts +51 -9
  48. package/dist/src/operations/update-metadata.d.ts +34 -6
  49. package/dist/src/operations/update-node.d.ts +48 -8
  50. package/dist/src/operations/update-plan-task.d.ts +34 -6
  51. package/dist/src/operations/validate.d.ts +17 -3
  52. package/dist/src/schema.d.ts +70 -10
  53. package/dist/src/schema.js +21 -0
  54. package/package.json +1 -1
  55. package/schema.json +18 -1
package/dist/src/operations/infer-impact.d.ts CHANGED
@@ -186,19 +186,31 @@ declare const ImpactNode: z.ZodObject<{
186
186
  selects: "selects";
187
187
  requires: "requires";
188
188
  disables: "disables";
189
+ influence: "influence";
189
190
  }> & {
190
- 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";
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" | "influence";
191
192
  };
192
193
  description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
193
194
  is(value: unknown): value is string | string[];
194
195
  }>;
196
+ polarity: z.ZodOptional<z.ZodEnum<{
197
+ positive: "positive";
198
+ negative: "negative";
199
+ neutral: "neutral";
200
+ uncertain: "uncertain";
201
+ }> & {
202
+ is(value: unknown): value is "positive" | "negative" | "neutral" | "uncertain";
203
+ }>;
204
+ strength: z.ZodOptional<z.ZodNumber>;
195
205
  }, z.core.$loose> & {
196
206
  is(value: unknown): value is {
197
207
  [x: string]: unknown;
198
208
  from: string;
199
209
  to: string;
200
- 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";
210
+ 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";
201
211
  description?: string | string[] | undefined;
212
+ polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
213
+ strength?: number | undefined;
202
214
  };
203
215
  }>>;
204
216
  external_references: z.ZodOptional<z.ZodArray<z.ZodObject<{
@@ -286,8 +298,10 @@ declare const ImpactNode: z.ZodObject<{
286
298
  [x: string]: unknown;
287
299
  from: string;
288
300
  to: string;
289
- 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";
301
+ 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";
290
302
  description?: string | string[] | undefined;
303
+ polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
304
+ strength?: number | undefined;
291
305
  }[] | undefined;
292
306
  external_references?: {
293
307
  role: "output" | "input" | "context" | "evidence" | "source" | "standard" | "prior_art";
@@ -305,6 +319,14 @@ declare const ImpactNode: z.ZodObject<{
305
319
  potential: "potential";
306
320
  }>;
307
321
  distance: z.ZodNumber;
322
+ polarity: z.ZodOptional<z.ZodEnum<{
323
+ positive: "positive";
324
+ negative: "negative";
325
+ neutral: "neutral";
326
+ uncertain: "uncertain";
327
+ }> & {
328
+ is(value: unknown): value is "positive" | "negative" | "neutral" | "uncertain";
329
+ }>;
308
330
  }, z.core.$strip>;
309
331
  /** Impact node in the impact trace. */
310
332
  export type ImpactNode = z.infer<typeof ImpactNode>;
@@ -497,19 +519,31 @@ declare const ImpactOutput: z.ZodObject<{
497
519
  selects: "selects";
498
520
  requires: "requires";
499
521
  disables: "disables";
522
+ influence: "influence";
500
523
  }> & {
501
- 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";
524
+ 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";
502
525
  };
503
526
  description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
504
527
  is(value: unknown): value is string | string[];
505
528
  }>;
529
+ polarity: z.ZodOptional<z.ZodEnum<{
530
+ positive: "positive";
531
+ negative: "negative";
532
+ neutral: "neutral";
533
+ uncertain: "uncertain";
534
+ }> & {
535
+ is(value: unknown): value is "positive" | "negative" | "neutral" | "uncertain";
536
+ }>;
537
+ strength: z.ZodOptional<z.ZodNumber>;
506
538
  }, z.core.$loose> & {
507
539
  is(value: unknown): value is {
508
540
  [x: string]: unknown;
509
541
  from: string;
510
542
  to: string;
511
- 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";
543
+ 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";
512
544
  description?: string | string[] | undefined;
545
+ polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
546
+ strength?: number | undefined;
513
547
  };
514
548
  }>>;
515
549
  external_references: z.ZodOptional<z.ZodArray<z.ZodObject<{
@@ -597,8 +631,10 @@ declare const ImpactOutput: z.ZodObject<{
597
631
  [x: string]: unknown;
598
632
  from: string;
599
633
  to: string;
600
- 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";
634
+ 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";
601
635
  description?: string | string[] | undefined;
636
+ polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
637
+ strength?: number | undefined;
602
638
  }[] | undefined;
603
639
  external_references?: {
604
640
  role: "output" | "input" | "context" | "evidence" | "source" | "standard" | "prior_art";
@@ -616,6 +652,14 @@ declare const ImpactOutput: z.ZodObject<{
616
652
  potential: "potential";
617
653
  }>;
618
654
  distance: z.ZodNumber;
655
+ polarity: z.ZodOptional<z.ZodEnum<{
656
+ positive: "positive";
657
+ negative: "negative";
658
+ neutral: "neutral";
659
+ uncertain: "uncertain";
660
+ }> & {
661
+ is(value: unknown): value is "positive" | "negative" | "neutral" | "uncertain";
662
+ }>;
619
663
  }, z.core.$strip>>;
620
664
  summary: z.ZodObject<{
621
665
  direct: z.ZodNumber;
@@ -631,7 +675,8 @@ export type ImpactOutput = z.infer<typeof ImpactOutput>;
631
675
  *
632
676
  * Traces impact propagation through affect, dependency, and modification
633
677
  * relationships, categorising nodes as directly impacted, transitively
634
- * impacted, or potentially impacted.
678
+ * impacted, or potentially impacted. Supports bidirectional traversal
679
+ * (CHG40) with optional polarity annotations.
635
680
  */
636
681
  export declare const inferImpactOp: import("./define-operation.js").DefinedOperation<z.ZodObject<{
637
682
  doc: z.ZodObject<{
@@ -817,19 +862,31 @@ export declare const inferImpactOp: import("./define-operation.js").DefinedOpera
817
862
  selects: "selects";
818
863
  requires: "requires";
819
864
  disables: "disables";
865
+ influence: "influence";
820
866
  }> & {
821
- 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";
867
+ 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
868
  };
823
869
  description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
824
870
  is(value: unknown): value is string | string[];
825
871
  }>;
872
+ polarity: z.ZodOptional<z.ZodEnum<{
873
+ positive: "positive";
874
+ negative: "negative";
875
+ neutral: "neutral";
876
+ uncertain: "uncertain";
877
+ }> & {
878
+ is(value: unknown): value is "positive" | "negative" | "neutral" | "uncertain";
879
+ }>;
880
+ strength: z.ZodOptional<z.ZodNumber>;
826
881
  }, z.core.$loose> & {
827
882
  is(value: unknown): value is {
828
883
  [x: string]: unknown;
829
884
  from: string;
830
885
  to: string;
831
- 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";
886
+ 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";
832
887
  description?: string | string[] | undefined;
888
+ polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
889
+ strength?: number | undefined;
833
890
  };
834
891
  }>>;
835
892
  external_references: z.ZodOptional<z.ZodArray<z.ZodObject<{
@@ -917,8 +974,10 @@ export declare const inferImpactOp: import("./define-operation.js").DefinedOpera
917
974
  [x: string]: unknown;
918
975
  from: string;
919
976
  to: string;
920
- 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";
977
+ 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";
921
978
  description?: string | string[] | undefined;
979
+ polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
980
+ strength?: number | undefined;
922
981
  }[] | undefined;
923
982
  external_references?: {
924
983
  role: "output" | "input" | "context" | "evidence" | "source" | "standard" | "prior_art";
@@ -930,6 +989,13 @@ export declare const inferImpactOp: import("./define-operation.js").DefinedOpera
930
989
  };
931
990
  };
932
991
  startId: z.ZodString;
992
+ direction: z.ZodOptional<z.ZodEnum<{
993
+ outgoing: "outgoing";
994
+ incoming: "incoming";
995
+ bidirectional: "bidirectional";
996
+ }>>;
997
+ maxDepth: z.ZodOptional<z.ZodNumber>;
998
+ relationshipFilter: z.ZodOptional<z.ZodArray<z.ZodString>>;
933
999
  }, z.core.$strip>, z.ZodObject<{
934
1000
  sourceId: z.ZodString;
935
1001
  impactedNodes: z.ZodArray<z.ZodObject<{
@@ -1116,19 +1182,31 @@ export declare const inferImpactOp: import("./define-operation.js").DefinedOpera
1116
1182
  selects: "selects";
1117
1183
  requires: "requires";
1118
1184
  disables: "disables";
1185
+ influence: "influence";
1119
1186
  }> & {
1120
- 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";
1187
+ 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";
1121
1188
  };
1122
1189
  description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
1123
1190
  is(value: unknown): value is string | string[];
1124
1191
  }>;
1192
+ polarity: z.ZodOptional<z.ZodEnum<{
1193
+ positive: "positive";
1194
+ negative: "negative";
1195
+ neutral: "neutral";
1196
+ uncertain: "uncertain";
1197
+ }> & {
1198
+ is(value: unknown): value is "positive" | "negative" | "neutral" | "uncertain";
1199
+ }>;
1200
+ strength: z.ZodOptional<z.ZodNumber>;
1125
1201
  }, z.core.$loose> & {
1126
1202
  is(value: unknown): value is {
1127
1203
  [x: string]: unknown;
1128
1204
  from: string;
1129
1205
  to: string;
1130
- 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";
1206
+ 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";
1131
1207
  description?: string | string[] | undefined;
1208
+ polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
1209
+ strength?: number | undefined;
1132
1210
  };
1133
1211
  }>>;
1134
1212
  external_references: z.ZodOptional<z.ZodArray<z.ZodObject<{
@@ -1216,8 +1294,10 @@ export declare const inferImpactOp: import("./define-operation.js").DefinedOpera
1216
1294
  [x: string]: unknown;
1217
1295
  from: string;
1218
1296
  to: string;
1219
- 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";
1297
+ 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";
1220
1298
  description?: string | string[] | undefined;
1299
+ polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
1300
+ strength?: number | undefined;
1221
1301
  }[] | undefined;
1222
1302
  external_references?: {
1223
1303
  role: "output" | "input" | "context" | "evidence" | "source" | "standard" | "prior_art";
@@ -1235,6 +1315,14 @@ export declare const inferImpactOp: import("./define-operation.js").DefinedOpera
1235
1315
  potential: "potential";
1236
1316
  }>;
1237
1317
  distance: z.ZodNumber;
1318
+ polarity: z.ZodOptional<z.ZodEnum<{
1319
+ positive: "positive";
1320
+ negative: "negative";
1321
+ neutral: "neutral";
1322
+ uncertain: "uncertain";
1323
+ }> & {
1324
+ is(value: unknown): value is "positive" | "negative" | "neutral" | "uncertain";
1325
+ }>;
1238
1326
  }, z.core.$strip>>;
1239
1327
  summary: z.ZodObject<{
1240
1328
  direct: z.ZodNumber;
@@ -1243,4 +1331,969 @@ export declare const inferImpactOp: import("./define-operation.js").DefinedOpera
1243
1331
  total: z.ZodNumber;
1244
1332
  }, z.core.$strip>;
1245
1333
  }, z.core.$strip>>;
1334
+ /**
1335
+ * Output schema for impactSummaryOp.
1336
+ */
1337
+ declare const ImpactSummaryOutput: z.ZodObject<{
1338
+ hotspots: z.ZodArray<z.ZodObject<{
1339
+ nodeId: z.ZodString;
1340
+ node: z.ZodOptional<z.ZodObject<{
1341
+ id: z.ZodString;
1342
+ type: z.ZodEnum<{
1343
+ intent: "intent";
1344
+ concept: "concept";
1345
+ capability: "capability";
1346
+ element: "element";
1347
+ realisation: "realisation";
1348
+ invariant: "invariant";
1349
+ principle: "principle";
1350
+ policy: "policy";
1351
+ protocol: "protocol";
1352
+ stage: "stage";
1353
+ role: "role";
1354
+ gate: "gate";
1355
+ mode: "mode";
1356
+ artefact: "artefact";
1357
+ artefact_flow: "artefact_flow";
1358
+ decision: "decision";
1359
+ change: "change";
1360
+ view: "view";
1361
+ milestone: "milestone";
1362
+ version: "version";
1363
+ }> & {
1364
+ is(value: unknown): value is "intent" | "concept" | "capability" | "element" | "realisation" | "invariant" | "principle" | "policy" | "protocol" | "stage" | "role" | "gate" | "mode" | "artefact" | "artefact_flow" | "decision" | "change" | "view" | "milestone" | "version";
1365
+ };
1366
+ name: z.ZodString;
1367
+ description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
1368
+ is(value: unknown): value is string | string[];
1369
+ }>;
1370
+ status: z.ZodOptional<z.ZodEnum<{
1371
+ deprecated: "deprecated";
1372
+ proposed: "proposed";
1373
+ accepted: "accepted";
1374
+ active: "active";
1375
+ implemented: "implemented";
1376
+ adopted: "adopted";
1377
+ defined: "defined";
1378
+ introduced: "introduced";
1379
+ in_progress: "in_progress";
1380
+ complete: "complete";
1381
+ consolidated: "consolidated";
1382
+ experimental: "experimental";
1383
+ retired: "retired";
1384
+ superseded: "superseded";
1385
+ abandoned: "abandoned";
1386
+ deferred: "deferred";
1387
+ }> & {
1388
+ is(value: unknown): value is "deprecated" | "proposed" | "accepted" | "active" | "implemented" | "adopted" | "defined" | "introduced" | "in_progress" | "complete" | "consolidated" | "experimental" | "retired" | "superseded" | "abandoned" | "deferred";
1389
+ }>;
1390
+ lifecycle: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodBoolean, z.ZodString]>>>;
1391
+ context: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
1392
+ is(value: unknown): value is string | string[];
1393
+ }>;
1394
+ options: z.ZodOptional<z.ZodArray<z.ZodObject<{
1395
+ id: z.ZodString;
1396
+ description: z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
1397
+ is(value: unknown): value is string | string[];
1398
+ };
1399
+ }, z.core.$loose> & {
1400
+ is(value: unknown): value is {
1401
+ [x: string]: unknown;
1402
+ id: string;
1403
+ description: string | string[];
1404
+ };
1405
+ }>>;
1406
+ selected: z.ZodOptional<z.ZodString>;
1407
+ rationale: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
1408
+ is(value: unknown): value is string | string[];
1409
+ }>;
1410
+ scope: z.ZodOptional<z.ZodArray<z.ZodString>>;
1411
+ operations: z.ZodOptional<z.ZodArray<z.ZodObject<{
1412
+ type: z.ZodEnum<{
1413
+ link: "link";
1414
+ add: "add";
1415
+ update: "update";
1416
+ remove: "remove";
1417
+ }>;
1418
+ target: z.ZodOptional<z.ZodString>;
1419
+ description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
1420
+ is(value: unknown): value is string | string[];
1421
+ }>;
1422
+ }, z.core.$loose> & {
1423
+ is(value: unknown): value is {
1424
+ [x: string]: unknown;
1425
+ type: "link" | "add" | "update" | "remove";
1426
+ target?: string | undefined;
1427
+ description?: string | string[] | undefined;
1428
+ };
1429
+ }>>;
1430
+ plan: z.ZodOptional<z.ZodArray<z.ZodObject<{
1431
+ description: z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
1432
+ is(value: unknown): value is string | string[];
1433
+ };
1434
+ done: z.ZodOptional<z.ZodDefault<z.ZodBoolean>>;
1435
+ }, z.core.$loose> & {
1436
+ is(value: unknown): value is {
1437
+ [x: string]: unknown;
1438
+ description: string | string[];
1439
+ done?: boolean | undefined;
1440
+ };
1441
+ }>>;
1442
+ propagation: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodBoolean>>;
1443
+ includes: z.ZodOptional<z.ZodArray<z.ZodString>>;
1444
+ input: z.ZodOptional<z.ZodString>;
1445
+ output: z.ZodOptional<z.ZodString>;
1446
+ external_references: z.ZodOptional<z.ZodArray<z.ZodObject<{
1447
+ role: z.ZodEnum<{
1448
+ output: "output";
1449
+ input: "input";
1450
+ context: "context";
1451
+ evidence: "evidence";
1452
+ source: "source";
1453
+ standard: "standard";
1454
+ prior_art: "prior_art";
1455
+ }> & {
1456
+ is(value: unknown): value is "output" | "input" | "context" | "evidence" | "source" | "standard" | "prior_art";
1457
+ };
1458
+ identifier: z.ZodString;
1459
+ description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
1460
+ is(value: unknown): value is string | string[];
1461
+ }>;
1462
+ node_id: z.ZodOptional<z.ZodString>;
1463
+ internalised: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
1464
+ is(value: unknown): value is string | string[];
1465
+ }>;
1466
+ }, z.core.$strip> & {
1467
+ is(value: unknown): value is {
1468
+ role: "output" | "input" | "context" | "evidence" | "source" | "standard" | "prior_art";
1469
+ identifier: string;
1470
+ description?: string | string[] | undefined;
1471
+ node_id?: string | undefined;
1472
+ internalised?: string | string[] | undefined;
1473
+ };
1474
+ }>>;
1475
+ readonly subsystem: z.ZodOptional<z.ZodObject<{
1476
+ $schema: z.ZodOptional<z.ZodString>;
1477
+ metadata: z.ZodOptional<z.ZodObject<{
1478
+ title: z.ZodOptional<z.ZodString>;
1479
+ doc_type: z.ZodOptional<z.ZodString>;
1480
+ scope: z.ZodOptional<z.ZodString>;
1481
+ status: z.ZodOptional<z.ZodString>;
1482
+ version: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodInt]>>;
1483
+ }, z.core.$loose> & {
1484
+ is(value: unknown): value is {
1485
+ [x: string]: unknown;
1486
+ title?: string | undefined;
1487
+ doc_type?: string | undefined;
1488
+ scope?: string | undefined;
1489
+ status?: string | undefined;
1490
+ version?: string | number | undefined;
1491
+ };
1492
+ }>;
1493
+ nodes: z.ZodArray<z.ZodObject</*elided*/ any, z.core.$loose>>;
1494
+ relationships: z.ZodOptional<z.ZodArray<z.ZodObject<{
1495
+ from: z.ZodString;
1496
+ to: z.ZodString;
1497
+ type: z.ZodEnum<{
1498
+ refines: "refines";
1499
+ realises: "realises";
1500
+ implements: "implements";
1501
+ depends_on: "depends_on";
1502
+ constrained_by: "constrained_by";
1503
+ affects: "affects";
1504
+ supersedes: "supersedes";
1505
+ must_preserve: "must_preserve";
1506
+ performs: "performs";
1507
+ part_of: "part_of";
1508
+ precedes: "precedes";
1509
+ must_follow: "must_follow";
1510
+ blocks: "blocks";
1511
+ routes_to: "routes_to";
1512
+ governed_by: "governed_by";
1513
+ modifies: "modifies";
1514
+ triggered_by: "triggered_by";
1515
+ applies_to: "applies_to";
1516
+ produces: "produces";
1517
+ consumes: "consumes";
1518
+ transforms_into: "transforms_into";
1519
+ selects: "selects";
1520
+ requires: "requires";
1521
+ disables: "disables";
1522
+ influence: "influence";
1523
+ }> & {
1524
+ 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";
1525
+ };
1526
+ description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
1527
+ is(value: unknown): value is string | string[];
1528
+ }>;
1529
+ polarity: z.ZodOptional<z.ZodEnum<{
1530
+ positive: "positive";
1531
+ negative: "negative";
1532
+ neutral: "neutral";
1533
+ uncertain: "uncertain";
1534
+ }> & {
1535
+ is(value: unknown): value is "positive" | "negative" | "neutral" | "uncertain";
1536
+ }>;
1537
+ strength: z.ZodOptional<z.ZodNumber>;
1538
+ }, z.core.$loose> & {
1539
+ is(value: unknown): value is {
1540
+ [x: string]: unknown;
1541
+ from: string;
1542
+ to: string;
1543
+ 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";
1544
+ description?: string | string[] | undefined;
1545
+ polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
1546
+ strength?: number | undefined;
1547
+ };
1548
+ }>>;
1549
+ external_references: z.ZodOptional<z.ZodArray<z.ZodObject<{
1550
+ role: z.ZodEnum<{
1551
+ output: "output";
1552
+ input: "input";
1553
+ context: "context";
1554
+ evidence: "evidence";
1555
+ source: "source";
1556
+ standard: "standard";
1557
+ prior_art: "prior_art";
1558
+ }> & {
1559
+ is(value: unknown): value is "output" | "input" | "context" | "evidence" | "source" | "standard" | "prior_art";
1560
+ };
1561
+ identifier: z.ZodString;
1562
+ description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
1563
+ is(value: unknown): value is string | string[];
1564
+ }>;
1565
+ node_id: z.ZodOptional<z.ZodString>;
1566
+ internalised: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
1567
+ is(value: unknown): value is string | string[];
1568
+ }>;
1569
+ }, z.core.$strip> & {
1570
+ is(value: unknown): value is {
1571
+ role: "output" | "input" | "context" | "evidence" | "source" | "standard" | "prior_art";
1572
+ identifier: string;
1573
+ description?: string | string[] | undefined;
1574
+ node_id?: string | undefined;
1575
+ internalised?: string | string[] | undefined;
1576
+ };
1577
+ }>>;
1578
+ }, z.core.$strip>>;
1579
+ }, z.core.$loose> & {
1580
+ is(value: unknown): value is {
1581
+ [x: string]: unknown;
1582
+ id: string;
1583
+ type: "intent" | "concept" | "capability" | "element" | "realisation" | "invariant" | "principle" | "policy" | "protocol" | "stage" | "role" | "gate" | "mode" | "artefact" | "artefact_flow" | "decision" | "change" | "view" | "milestone" | "version";
1584
+ name: string;
1585
+ description?: string | string[] | undefined;
1586
+ status?: "deprecated" | "proposed" | "accepted" | "active" | "implemented" | "adopted" | "defined" | "introduced" | "in_progress" | "complete" | "consolidated" | "experimental" | "retired" | "superseded" | "abandoned" | "deferred" | undefined;
1587
+ lifecycle?: Record<string, string | boolean> | undefined;
1588
+ context?: string | string[] | undefined;
1589
+ options?: {
1590
+ [x: string]: unknown;
1591
+ id: string;
1592
+ description: string | string[];
1593
+ }[] | undefined;
1594
+ selected?: string | undefined;
1595
+ rationale?: string | string[] | undefined;
1596
+ scope?: string[] | undefined;
1597
+ operations?: {
1598
+ [x: string]: unknown;
1599
+ type: "link" | "add" | "update" | "remove";
1600
+ target?: string | undefined;
1601
+ description?: string | string[] | undefined;
1602
+ }[] | undefined;
1603
+ plan?: {
1604
+ [x: string]: unknown;
1605
+ description: string | string[];
1606
+ done?: boolean | undefined;
1607
+ }[] | undefined;
1608
+ propagation?: Record<string, boolean> | undefined;
1609
+ includes?: string[] | undefined;
1610
+ input?: string | undefined;
1611
+ output?: string | undefined;
1612
+ external_references?: {
1613
+ role: "output" | "input" | "context" | "evidence" | "source" | "standard" | "prior_art";
1614
+ identifier: string;
1615
+ description?: string | string[] | undefined;
1616
+ node_id?: string | undefined;
1617
+ internalised?: string | string[] | undefined;
1618
+ }[] | undefined;
1619
+ subsystem?: {
1620
+ nodes: /*elided*/ any[];
1621
+ $schema?: string | undefined;
1622
+ metadata?: {
1623
+ [x: string]: unknown;
1624
+ title?: string | undefined;
1625
+ doc_type?: string | undefined;
1626
+ scope?: string | undefined;
1627
+ status?: string | undefined;
1628
+ version?: string | number | undefined;
1629
+ } | undefined;
1630
+ relationships?: {
1631
+ [x: string]: unknown;
1632
+ from: string;
1633
+ to: string;
1634
+ 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";
1635
+ description?: string | string[] | undefined;
1636
+ polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
1637
+ strength?: number | undefined;
1638
+ }[] | undefined;
1639
+ external_references?: {
1640
+ role: "output" | "input" | "context" | "evidence" | "source" | "standard" | "prior_art";
1641
+ identifier: string;
1642
+ description?: string | string[] | undefined;
1643
+ node_id?: string | undefined;
1644
+ internalised?: string | string[] | undefined;
1645
+ }[] | undefined;
1646
+ } | undefined;
1647
+ };
1648
+ }>;
1649
+ incomingImpactCount: z.ZodNumber;
1650
+ outgoingImpactCount: z.ZodNumber;
1651
+ totalImpact: z.ZodNumber;
1652
+ }, z.core.$strip>>;
1653
+ summary: z.ZodObject<{
1654
+ totalNodes: z.ZodNumber;
1655
+ totalImpactedNodes: z.ZodNumber;
1656
+ averageDegree: z.ZodNumber;
1657
+ }, z.core.$strip>;
1658
+ }, z.core.$strip>;
1659
+ /** Output of impact summary inference operation. */
1660
+ export type ImpactSummaryOutput = z.infer<typeof ImpactSummaryOutput>;
1661
+ /**
1662
+ * Analyse the entire document for impact hotspots.
1663
+ *
1664
+ * Identifies nodes that are heavily impacted or that impact many other nodes.
1665
+ * Useful for identifying critical elements and dependencies.
1666
+ */
1667
+ export declare const impactSummaryOp: import("./define-operation.js").DefinedOperation<z.ZodObject<{
1668
+ doc: z.ZodObject<{
1669
+ $schema: z.ZodOptional<z.ZodString>;
1670
+ metadata: z.ZodOptional<z.ZodObject<{
1671
+ title: z.ZodOptional<z.ZodString>;
1672
+ doc_type: z.ZodOptional<z.ZodString>;
1673
+ scope: z.ZodOptional<z.ZodString>;
1674
+ status: z.ZodOptional<z.ZodString>;
1675
+ version: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodInt]>>;
1676
+ }, z.core.$loose> & {
1677
+ is(value: unknown): value is {
1678
+ [x: string]: unknown;
1679
+ title?: string | undefined;
1680
+ doc_type?: string | undefined;
1681
+ scope?: string | undefined;
1682
+ status?: string | undefined;
1683
+ version?: string | number | undefined;
1684
+ };
1685
+ }>;
1686
+ nodes: z.ZodArray<z.ZodObject<{
1687
+ id: z.ZodString;
1688
+ type: z.ZodEnum<{
1689
+ intent: "intent";
1690
+ concept: "concept";
1691
+ capability: "capability";
1692
+ element: "element";
1693
+ realisation: "realisation";
1694
+ invariant: "invariant";
1695
+ principle: "principle";
1696
+ policy: "policy";
1697
+ protocol: "protocol";
1698
+ stage: "stage";
1699
+ role: "role";
1700
+ gate: "gate";
1701
+ mode: "mode";
1702
+ artefact: "artefact";
1703
+ artefact_flow: "artefact_flow";
1704
+ decision: "decision";
1705
+ change: "change";
1706
+ view: "view";
1707
+ milestone: "milestone";
1708
+ version: "version";
1709
+ }> & {
1710
+ is(value: unknown): value is "intent" | "concept" | "capability" | "element" | "realisation" | "invariant" | "principle" | "policy" | "protocol" | "stage" | "role" | "gate" | "mode" | "artefact" | "artefact_flow" | "decision" | "change" | "view" | "milestone" | "version";
1711
+ };
1712
+ name: z.ZodString;
1713
+ description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
1714
+ is(value: unknown): value is string | string[];
1715
+ }>;
1716
+ status: z.ZodOptional<z.ZodEnum<{
1717
+ deprecated: "deprecated";
1718
+ proposed: "proposed";
1719
+ accepted: "accepted";
1720
+ active: "active";
1721
+ implemented: "implemented";
1722
+ adopted: "adopted";
1723
+ defined: "defined";
1724
+ introduced: "introduced";
1725
+ in_progress: "in_progress";
1726
+ complete: "complete";
1727
+ consolidated: "consolidated";
1728
+ experimental: "experimental";
1729
+ retired: "retired";
1730
+ superseded: "superseded";
1731
+ abandoned: "abandoned";
1732
+ deferred: "deferred";
1733
+ }> & {
1734
+ is(value: unknown): value is "deprecated" | "proposed" | "accepted" | "active" | "implemented" | "adopted" | "defined" | "introduced" | "in_progress" | "complete" | "consolidated" | "experimental" | "retired" | "superseded" | "abandoned" | "deferred";
1735
+ }>;
1736
+ lifecycle: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodBoolean, z.ZodString]>>>;
1737
+ context: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
1738
+ is(value: unknown): value is string | string[];
1739
+ }>;
1740
+ options: z.ZodOptional<z.ZodArray<z.ZodObject<{
1741
+ id: z.ZodString;
1742
+ description: z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
1743
+ is(value: unknown): value is string | string[];
1744
+ };
1745
+ }, z.core.$loose> & {
1746
+ is(value: unknown): value is {
1747
+ [x: string]: unknown;
1748
+ id: string;
1749
+ description: string | string[];
1750
+ };
1751
+ }>>;
1752
+ selected: z.ZodOptional<z.ZodString>;
1753
+ rationale: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
1754
+ is(value: unknown): value is string | string[];
1755
+ }>;
1756
+ scope: z.ZodOptional<z.ZodArray<z.ZodString>>;
1757
+ operations: z.ZodOptional<z.ZodArray<z.ZodObject<{
1758
+ type: z.ZodEnum<{
1759
+ link: "link";
1760
+ add: "add";
1761
+ update: "update";
1762
+ remove: "remove";
1763
+ }>;
1764
+ target: z.ZodOptional<z.ZodString>;
1765
+ description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
1766
+ is(value: unknown): value is string | string[];
1767
+ }>;
1768
+ }, z.core.$loose> & {
1769
+ is(value: unknown): value is {
1770
+ [x: string]: unknown;
1771
+ type: "link" | "add" | "update" | "remove";
1772
+ target?: string | undefined;
1773
+ description?: string | string[] | undefined;
1774
+ };
1775
+ }>>;
1776
+ plan: z.ZodOptional<z.ZodArray<z.ZodObject<{
1777
+ description: z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
1778
+ is(value: unknown): value is string | string[];
1779
+ };
1780
+ done: z.ZodOptional<z.ZodDefault<z.ZodBoolean>>;
1781
+ }, z.core.$loose> & {
1782
+ is(value: unknown): value is {
1783
+ [x: string]: unknown;
1784
+ description: string | string[];
1785
+ done?: boolean | undefined;
1786
+ };
1787
+ }>>;
1788
+ propagation: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodBoolean>>;
1789
+ includes: z.ZodOptional<z.ZodArray<z.ZodString>>;
1790
+ input: z.ZodOptional<z.ZodString>;
1791
+ output: z.ZodOptional<z.ZodString>;
1792
+ external_references: z.ZodOptional<z.ZodArray<z.ZodObject<{
1793
+ role: z.ZodEnum<{
1794
+ output: "output";
1795
+ input: "input";
1796
+ context: "context";
1797
+ evidence: "evidence";
1798
+ source: "source";
1799
+ standard: "standard";
1800
+ prior_art: "prior_art";
1801
+ }> & {
1802
+ is(value: unknown): value is "output" | "input" | "context" | "evidence" | "source" | "standard" | "prior_art";
1803
+ };
1804
+ identifier: z.ZodString;
1805
+ description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
1806
+ is(value: unknown): value is string | string[];
1807
+ }>;
1808
+ node_id: z.ZodOptional<z.ZodString>;
1809
+ internalised: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
1810
+ is(value: unknown): value is string | string[];
1811
+ }>;
1812
+ }, z.core.$strip> & {
1813
+ is(value: unknown): value is {
1814
+ role: "output" | "input" | "context" | "evidence" | "source" | "standard" | "prior_art";
1815
+ identifier: string;
1816
+ description?: string | string[] | undefined;
1817
+ node_id?: string | undefined;
1818
+ internalised?: string | string[] | undefined;
1819
+ };
1820
+ }>>;
1821
+ readonly subsystem: z.ZodOptional<z.ZodObject</*elided*/ any, z.core.$strip>>;
1822
+ }, z.core.$loose>>;
1823
+ relationships: z.ZodOptional<z.ZodArray<z.ZodObject<{
1824
+ from: z.ZodString;
1825
+ to: z.ZodString;
1826
+ type: z.ZodEnum<{
1827
+ refines: "refines";
1828
+ realises: "realises";
1829
+ implements: "implements";
1830
+ depends_on: "depends_on";
1831
+ constrained_by: "constrained_by";
1832
+ affects: "affects";
1833
+ supersedes: "supersedes";
1834
+ must_preserve: "must_preserve";
1835
+ performs: "performs";
1836
+ part_of: "part_of";
1837
+ precedes: "precedes";
1838
+ must_follow: "must_follow";
1839
+ blocks: "blocks";
1840
+ routes_to: "routes_to";
1841
+ governed_by: "governed_by";
1842
+ modifies: "modifies";
1843
+ triggered_by: "triggered_by";
1844
+ applies_to: "applies_to";
1845
+ produces: "produces";
1846
+ consumes: "consumes";
1847
+ transforms_into: "transforms_into";
1848
+ selects: "selects";
1849
+ requires: "requires";
1850
+ disables: "disables";
1851
+ influence: "influence";
1852
+ }> & {
1853
+ 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";
1854
+ };
1855
+ description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
1856
+ is(value: unknown): value is string | string[];
1857
+ }>;
1858
+ polarity: z.ZodOptional<z.ZodEnum<{
1859
+ positive: "positive";
1860
+ negative: "negative";
1861
+ neutral: "neutral";
1862
+ uncertain: "uncertain";
1863
+ }> & {
1864
+ is(value: unknown): value is "positive" | "negative" | "neutral" | "uncertain";
1865
+ }>;
1866
+ strength: z.ZodOptional<z.ZodNumber>;
1867
+ }, z.core.$loose> & {
1868
+ is(value: unknown): value is {
1869
+ [x: string]: unknown;
1870
+ from: string;
1871
+ to: string;
1872
+ 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";
1873
+ description?: string | string[] | undefined;
1874
+ polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
1875
+ strength?: number | undefined;
1876
+ };
1877
+ }>>;
1878
+ external_references: z.ZodOptional<z.ZodArray<z.ZodObject<{
1879
+ role: z.ZodEnum<{
1880
+ output: "output";
1881
+ input: "input";
1882
+ context: "context";
1883
+ evidence: "evidence";
1884
+ source: "source";
1885
+ standard: "standard";
1886
+ prior_art: "prior_art";
1887
+ }> & {
1888
+ is(value: unknown): value is "output" | "input" | "context" | "evidence" | "source" | "standard" | "prior_art";
1889
+ };
1890
+ identifier: z.ZodString;
1891
+ description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
1892
+ is(value: unknown): value is string | string[];
1893
+ }>;
1894
+ node_id: z.ZodOptional<z.ZodString>;
1895
+ internalised: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
1896
+ is(value: unknown): value is string | string[];
1897
+ }>;
1898
+ }, z.core.$strip> & {
1899
+ is(value: unknown): value is {
1900
+ role: "output" | "input" | "context" | "evidence" | "source" | "standard" | "prior_art";
1901
+ identifier: string;
1902
+ description?: string | string[] | undefined;
1903
+ node_id?: string | undefined;
1904
+ internalised?: string | string[] | undefined;
1905
+ };
1906
+ }>>;
1907
+ }, z.core.$strip> & {
1908
+ is(value: unknown): value is {
1909
+ nodes: {
1910
+ [x: string]: unknown;
1911
+ id: string;
1912
+ type: "intent" | "concept" | "capability" | "element" | "realisation" | "invariant" | "principle" | "policy" | "protocol" | "stage" | "role" | "gate" | "mode" | "artefact" | "artefact_flow" | "decision" | "change" | "view" | "milestone" | "version";
1913
+ name: string;
1914
+ description?: string | string[] | undefined;
1915
+ status?: "deprecated" | "proposed" | "accepted" | "active" | "implemented" | "adopted" | "defined" | "introduced" | "in_progress" | "complete" | "consolidated" | "experimental" | "retired" | "superseded" | "abandoned" | "deferred" | undefined;
1916
+ lifecycle?: Record<string, string | boolean> | undefined;
1917
+ context?: string | string[] | undefined;
1918
+ options?: {
1919
+ [x: string]: unknown;
1920
+ id: string;
1921
+ description: string | string[];
1922
+ }[] | undefined;
1923
+ selected?: string | undefined;
1924
+ rationale?: string | string[] | undefined;
1925
+ scope?: string[] | undefined;
1926
+ operations?: {
1927
+ [x: string]: unknown;
1928
+ type: "link" | "add" | "update" | "remove";
1929
+ target?: string | undefined;
1930
+ description?: string | string[] | undefined;
1931
+ }[] | undefined;
1932
+ plan?: {
1933
+ [x: string]: unknown;
1934
+ description: string | string[];
1935
+ done?: boolean | undefined;
1936
+ }[] | undefined;
1937
+ propagation?: Record<string, boolean> | undefined;
1938
+ includes?: string[] | undefined;
1939
+ input?: string | undefined;
1940
+ output?: string | undefined;
1941
+ external_references?: {
1942
+ role: "output" | "input" | "context" | "evidence" | "source" | "standard" | "prior_art";
1943
+ identifier: string;
1944
+ description?: string | string[] | undefined;
1945
+ node_id?: string | undefined;
1946
+ internalised?: string | string[] | undefined;
1947
+ }[] | undefined;
1948
+ subsystem?: /*elided*/ any | undefined;
1949
+ }[];
1950
+ $schema?: string | undefined;
1951
+ metadata?: {
1952
+ [x: string]: unknown;
1953
+ title?: string | undefined;
1954
+ doc_type?: string | undefined;
1955
+ scope?: string | undefined;
1956
+ status?: string | undefined;
1957
+ version?: string | number | undefined;
1958
+ } | undefined;
1959
+ relationships?: {
1960
+ [x: string]: unknown;
1961
+ from: string;
1962
+ to: string;
1963
+ 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";
1964
+ description?: string | string[] | undefined;
1965
+ polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
1966
+ strength?: number | undefined;
1967
+ }[] | undefined;
1968
+ external_references?: {
1969
+ role: "output" | "input" | "context" | "evidence" | "source" | "standard" | "prior_art";
1970
+ identifier: string;
1971
+ description?: string | string[] | undefined;
1972
+ node_id?: string | undefined;
1973
+ internalised?: string | string[] | undefined;
1974
+ }[] | undefined;
1975
+ };
1976
+ };
1977
+ }, z.core.$strip>, z.ZodObject<{
1978
+ hotspots: z.ZodArray<z.ZodObject<{
1979
+ nodeId: z.ZodString;
1980
+ node: z.ZodOptional<z.ZodObject<{
1981
+ id: z.ZodString;
1982
+ type: z.ZodEnum<{
1983
+ intent: "intent";
1984
+ concept: "concept";
1985
+ capability: "capability";
1986
+ element: "element";
1987
+ realisation: "realisation";
1988
+ invariant: "invariant";
1989
+ principle: "principle";
1990
+ policy: "policy";
1991
+ protocol: "protocol";
1992
+ stage: "stage";
1993
+ role: "role";
1994
+ gate: "gate";
1995
+ mode: "mode";
1996
+ artefact: "artefact";
1997
+ artefact_flow: "artefact_flow";
1998
+ decision: "decision";
1999
+ change: "change";
2000
+ view: "view";
2001
+ milestone: "milestone";
2002
+ version: "version";
2003
+ }> & {
2004
+ is(value: unknown): value is "intent" | "concept" | "capability" | "element" | "realisation" | "invariant" | "principle" | "policy" | "protocol" | "stage" | "role" | "gate" | "mode" | "artefact" | "artefact_flow" | "decision" | "change" | "view" | "milestone" | "version";
2005
+ };
2006
+ name: z.ZodString;
2007
+ description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
2008
+ is(value: unknown): value is string | string[];
2009
+ }>;
2010
+ status: z.ZodOptional<z.ZodEnum<{
2011
+ deprecated: "deprecated";
2012
+ proposed: "proposed";
2013
+ accepted: "accepted";
2014
+ active: "active";
2015
+ implemented: "implemented";
2016
+ adopted: "adopted";
2017
+ defined: "defined";
2018
+ introduced: "introduced";
2019
+ in_progress: "in_progress";
2020
+ complete: "complete";
2021
+ consolidated: "consolidated";
2022
+ experimental: "experimental";
2023
+ retired: "retired";
2024
+ superseded: "superseded";
2025
+ abandoned: "abandoned";
2026
+ deferred: "deferred";
2027
+ }> & {
2028
+ is(value: unknown): value is "deprecated" | "proposed" | "accepted" | "active" | "implemented" | "adopted" | "defined" | "introduced" | "in_progress" | "complete" | "consolidated" | "experimental" | "retired" | "superseded" | "abandoned" | "deferred";
2029
+ }>;
2030
+ lifecycle: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodBoolean, z.ZodString]>>>;
2031
+ context: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
2032
+ is(value: unknown): value is string | string[];
2033
+ }>;
2034
+ options: z.ZodOptional<z.ZodArray<z.ZodObject<{
2035
+ id: z.ZodString;
2036
+ description: z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
2037
+ is(value: unknown): value is string | string[];
2038
+ };
2039
+ }, z.core.$loose> & {
2040
+ is(value: unknown): value is {
2041
+ [x: string]: unknown;
2042
+ id: string;
2043
+ description: string | string[];
2044
+ };
2045
+ }>>;
2046
+ selected: z.ZodOptional<z.ZodString>;
2047
+ rationale: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
2048
+ is(value: unknown): value is string | string[];
2049
+ }>;
2050
+ scope: z.ZodOptional<z.ZodArray<z.ZodString>>;
2051
+ operations: z.ZodOptional<z.ZodArray<z.ZodObject<{
2052
+ type: z.ZodEnum<{
2053
+ link: "link";
2054
+ add: "add";
2055
+ update: "update";
2056
+ remove: "remove";
2057
+ }>;
2058
+ target: z.ZodOptional<z.ZodString>;
2059
+ description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
2060
+ is(value: unknown): value is string | string[];
2061
+ }>;
2062
+ }, z.core.$loose> & {
2063
+ is(value: unknown): value is {
2064
+ [x: string]: unknown;
2065
+ type: "link" | "add" | "update" | "remove";
2066
+ target?: string | undefined;
2067
+ description?: string | string[] | undefined;
2068
+ };
2069
+ }>>;
2070
+ plan: z.ZodOptional<z.ZodArray<z.ZodObject<{
2071
+ description: z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
2072
+ is(value: unknown): value is string | string[];
2073
+ };
2074
+ done: z.ZodOptional<z.ZodDefault<z.ZodBoolean>>;
2075
+ }, z.core.$loose> & {
2076
+ is(value: unknown): value is {
2077
+ [x: string]: unknown;
2078
+ description: string | string[];
2079
+ done?: boolean | undefined;
2080
+ };
2081
+ }>>;
2082
+ propagation: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodBoolean>>;
2083
+ includes: z.ZodOptional<z.ZodArray<z.ZodString>>;
2084
+ input: z.ZodOptional<z.ZodString>;
2085
+ output: z.ZodOptional<z.ZodString>;
2086
+ external_references: z.ZodOptional<z.ZodArray<z.ZodObject<{
2087
+ role: z.ZodEnum<{
2088
+ output: "output";
2089
+ input: "input";
2090
+ context: "context";
2091
+ evidence: "evidence";
2092
+ source: "source";
2093
+ standard: "standard";
2094
+ prior_art: "prior_art";
2095
+ }> & {
2096
+ is(value: unknown): value is "output" | "input" | "context" | "evidence" | "source" | "standard" | "prior_art";
2097
+ };
2098
+ identifier: z.ZodString;
2099
+ description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
2100
+ is(value: unknown): value is string | string[];
2101
+ }>;
2102
+ node_id: z.ZodOptional<z.ZodString>;
2103
+ internalised: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
2104
+ is(value: unknown): value is string | string[];
2105
+ }>;
2106
+ }, z.core.$strip> & {
2107
+ is(value: unknown): value is {
2108
+ role: "output" | "input" | "context" | "evidence" | "source" | "standard" | "prior_art";
2109
+ identifier: string;
2110
+ description?: string | string[] | undefined;
2111
+ node_id?: string | undefined;
2112
+ internalised?: string | string[] | undefined;
2113
+ };
2114
+ }>>;
2115
+ readonly subsystem: z.ZodOptional<z.ZodObject<{
2116
+ $schema: z.ZodOptional<z.ZodString>;
2117
+ metadata: z.ZodOptional<z.ZodObject<{
2118
+ title: z.ZodOptional<z.ZodString>;
2119
+ doc_type: z.ZodOptional<z.ZodString>;
2120
+ scope: z.ZodOptional<z.ZodString>;
2121
+ status: z.ZodOptional<z.ZodString>;
2122
+ version: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodInt]>>;
2123
+ }, z.core.$loose> & {
2124
+ is(value: unknown): value is {
2125
+ [x: string]: unknown;
2126
+ title?: string | undefined;
2127
+ doc_type?: string | undefined;
2128
+ scope?: string | undefined;
2129
+ status?: string | undefined;
2130
+ version?: string | number | undefined;
2131
+ };
2132
+ }>;
2133
+ nodes: z.ZodArray<z.ZodObject</*elided*/ any, z.core.$loose>>;
2134
+ relationships: z.ZodOptional<z.ZodArray<z.ZodObject<{
2135
+ from: z.ZodString;
2136
+ to: z.ZodString;
2137
+ type: z.ZodEnum<{
2138
+ refines: "refines";
2139
+ realises: "realises";
2140
+ implements: "implements";
2141
+ depends_on: "depends_on";
2142
+ constrained_by: "constrained_by";
2143
+ affects: "affects";
2144
+ supersedes: "supersedes";
2145
+ must_preserve: "must_preserve";
2146
+ performs: "performs";
2147
+ part_of: "part_of";
2148
+ precedes: "precedes";
2149
+ must_follow: "must_follow";
2150
+ blocks: "blocks";
2151
+ routes_to: "routes_to";
2152
+ governed_by: "governed_by";
2153
+ modifies: "modifies";
2154
+ triggered_by: "triggered_by";
2155
+ applies_to: "applies_to";
2156
+ produces: "produces";
2157
+ consumes: "consumes";
2158
+ transforms_into: "transforms_into";
2159
+ selects: "selects";
2160
+ requires: "requires";
2161
+ disables: "disables";
2162
+ influence: "influence";
2163
+ }> & {
2164
+ 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";
2165
+ };
2166
+ description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
2167
+ is(value: unknown): value is string | string[];
2168
+ }>;
2169
+ polarity: z.ZodOptional<z.ZodEnum<{
2170
+ positive: "positive";
2171
+ negative: "negative";
2172
+ neutral: "neutral";
2173
+ uncertain: "uncertain";
2174
+ }> & {
2175
+ is(value: unknown): value is "positive" | "negative" | "neutral" | "uncertain";
2176
+ }>;
2177
+ strength: z.ZodOptional<z.ZodNumber>;
2178
+ }, z.core.$loose> & {
2179
+ is(value: unknown): value is {
2180
+ [x: string]: unknown;
2181
+ from: string;
2182
+ to: string;
2183
+ 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";
2184
+ description?: string | string[] | undefined;
2185
+ polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
2186
+ strength?: number | undefined;
2187
+ };
2188
+ }>>;
2189
+ external_references: z.ZodOptional<z.ZodArray<z.ZodObject<{
2190
+ role: z.ZodEnum<{
2191
+ output: "output";
2192
+ input: "input";
2193
+ context: "context";
2194
+ evidence: "evidence";
2195
+ source: "source";
2196
+ standard: "standard";
2197
+ prior_art: "prior_art";
2198
+ }> & {
2199
+ is(value: unknown): value is "output" | "input" | "context" | "evidence" | "source" | "standard" | "prior_art";
2200
+ };
2201
+ identifier: z.ZodString;
2202
+ description: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
2203
+ is(value: unknown): value is string | string[];
2204
+ }>;
2205
+ node_id: z.ZodOptional<z.ZodString>;
2206
+ internalised: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodArray<z.ZodString>]> & {
2207
+ is(value: unknown): value is string | string[];
2208
+ }>;
2209
+ }, z.core.$strip> & {
2210
+ is(value: unknown): value is {
2211
+ role: "output" | "input" | "context" | "evidence" | "source" | "standard" | "prior_art";
2212
+ identifier: string;
2213
+ description?: string | string[] | undefined;
2214
+ node_id?: string | undefined;
2215
+ internalised?: string | string[] | undefined;
2216
+ };
2217
+ }>>;
2218
+ }, z.core.$strip>>;
2219
+ }, z.core.$loose> & {
2220
+ is(value: unknown): value is {
2221
+ [x: string]: unknown;
2222
+ id: string;
2223
+ type: "intent" | "concept" | "capability" | "element" | "realisation" | "invariant" | "principle" | "policy" | "protocol" | "stage" | "role" | "gate" | "mode" | "artefact" | "artefact_flow" | "decision" | "change" | "view" | "milestone" | "version";
2224
+ name: string;
2225
+ description?: string | string[] | undefined;
2226
+ status?: "deprecated" | "proposed" | "accepted" | "active" | "implemented" | "adopted" | "defined" | "introduced" | "in_progress" | "complete" | "consolidated" | "experimental" | "retired" | "superseded" | "abandoned" | "deferred" | undefined;
2227
+ lifecycle?: Record<string, string | boolean> | undefined;
2228
+ context?: string | string[] | undefined;
2229
+ options?: {
2230
+ [x: string]: unknown;
2231
+ id: string;
2232
+ description: string | string[];
2233
+ }[] | undefined;
2234
+ selected?: string | undefined;
2235
+ rationale?: string | string[] | undefined;
2236
+ scope?: string[] | undefined;
2237
+ operations?: {
2238
+ [x: string]: unknown;
2239
+ type: "link" | "add" | "update" | "remove";
2240
+ target?: string | undefined;
2241
+ description?: string | string[] | undefined;
2242
+ }[] | undefined;
2243
+ plan?: {
2244
+ [x: string]: unknown;
2245
+ description: string | string[];
2246
+ done?: boolean | undefined;
2247
+ }[] | undefined;
2248
+ propagation?: Record<string, boolean> | undefined;
2249
+ includes?: string[] | undefined;
2250
+ input?: string | undefined;
2251
+ output?: string | undefined;
2252
+ external_references?: {
2253
+ role: "output" | "input" | "context" | "evidence" | "source" | "standard" | "prior_art";
2254
+ identifier: string;
2255
+ description?: string | string[] | undefined;
2256
+ node_id?: string | undefined;
2257
+ internalised?: string | string[] | undefined;
2258
+ }[] | undefined;
2259
+ subsystem?: {
2260
+ nodes: /*elided*/ any[];
2261
+ $schema?: string | undefined;
2262
+ metadata?: {
2263
+ [x: string]: unknown;
2264
+ title?: string | undefined;
2265
+ doc_type?: string | undefined;
2266
+ scope?: string | undefined;
2267
+ status?: string | undefined;
2268
+ version?: string | number | undefined;
2269
+ } | undefined;
2270
+ relationships?: {
2271
+ [x: string]: unknown;
2272
+ from: string;
2273
+ to: string;
2274
+ 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";
2275
+ description?: string | string[] | undefined;
2276
+ polarity?: "positive" | "negative" | "neutral" | "uncertain" | undefined;
2277
+ strength?: number | undefined;
2278
+ }[] | undefined;
2279
+ external_references?: {
2280
+ role: "output" | "input" | "context" | "evidence" | "source" | "standard" | "prior_art";
2281
+ identifier: string;
2282
+ description?: string | string[] | undefined;
2283
+ node_id?: string | undefined;
2284
+ internalised?: string | string[] | undefined;
2285
+ }[] | undefined;
2286
+ } | undefined;
2287
+ };
2288
+ }>;
2289
+ incomingImpactCount: z.ZodNumber;
2290
+ outgoingImpactCount: z.ZodNumber;
2291
+ totalImpact: z.ZodNumber;
2292
+ }, z.core.$strip>>;
2293
+ summary: z.ZodObject<{
2294
+ totalNodes: z.ZodNumber;
2295
+ totalImpactedNodes: z.ZodNumber;
2296
+ averageDegree: z.ZodNumber;
2297
+ }, z.core.$strip>;
2298
+ }, z.core.$strip>>;
1246
2299
  export {};