@transitrix/diagrams 1.0.0 → 1.0.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 (267) hide show
  1. package/LICENSE +21 -21
  2. package/README.md +47 -47
  3. package/dist/__tests__/edge-path.test.js +8 -0
  4. package/dist/activity-card/__tests__/example.test.js +20 -1
  5. package/dist/activity-card/__tests__/layout.test.js +102 -11
  6. package/dist/activity-card/__tests__/resolver.test.js +139 -6
  7. package/dist/activity-card/index.d.ts +1 -1
  8. package/dist/activity-card/layout.d.ts +1 -1
  9. package/dist/activity-card/layout.js +220 -103
  10. package/dist/activity-card/resolver.js +107 -26
  11. package/dist/activity-card/types.d.ts +150 -27
  12. package/dist/activity-card/validate.js +3 -0
  13. package/dist/actor/__tests__/validate.test.js +63 -31
  14. package/dist/actor/index.d.ts +1 -1
  15. package/dist/actor/index.js +1 -1
  16. package/dist/actor/types.d.ts +7 -3
  17. package/dist/actor/types.js +17 -3
  18. package/dist/actor/validate.js +55 -26
  19. package/dist/assertion/types.d.ts +3 -1
  20. package/dist/assertion/types.js +1 -1
  21. package/dist/change/__tests__/validate.test.js +40 -34
  22. package/dist/change/index.d.ts +1 -0
  23. package/dist/change/types.d.ts +1 -1
  24. package/dist/change/types.js +2 -2
  25. package/dist/change/validate.d.ts +6 -1
  26. package/dist/change/validate.js +68 -41
  27. package/dist/compliance/__tests__/classify.test.js +34 -0
  28. package/dist/compliance/__tests__/coverage-metric.test.js +146 -46
  29. package/dist/compliance/__tests__/html.test.js +2 -2
  30. package/dist/compliance/__tests__/impact.test.js +311 -6
  31. package/dist/compliance/classify.d.ts +6 -0
  32. package/dist/compliance/classify.js +9 -1
  33. package/dist/compliance/coverage-metric.d.ts +31 -11
  34. package/dist/compliance/coverage-metric.js +149 -39
  35. package/dist/compliance/html.js +77 -74
  36. package/dist/compliance/impact.d.ts +77 -16
  37. package/dist/compliance/impact.js +193 -25
  38. package/dist/compliance/index.d.ts +2 -2
  39. package/dist/compliance/index.js +1 -1
  40. package/dist/compliance/markdown.js +1 -0
  41. package/dist/compliance/types.d.ts +25 -6
  42. package/dist/edge-path.d.ts +8 -4
  43. package/dist/edge-path.js +11 -6
  44. package/dist/factor/__tests__/validate.test.js +74 -45
  45. package/dist/factor/index.d.ts +3 -2
  46. package/dist/factor/index.js +1 -1
  47. package/dist/factor/types.d.ts +4 -7
  48. package/dist/factor/types.js +10 -5
  49. package/dist/factor/validate.d.ts +6 -1
  50. package/dist/factor/validate.js +68 -50
  51. package/dist/fgca/__tests__/resolver.test.js +185 -0
  52. package/dist/fgca/index.d.ts +2 -0
  53. package/dist/fgca/index.js +1 -0
  54. package/dist/fgca/resolver.d.ts +49 -0
  55. package/dist/fgca/resolver.js +124 -0
  56. package/dist/goals/index.d.ts +1 -1
  57. package/dist/index.d.ts +5 -0
  58. package/dist/index.js +5 -0
  59. package/dist/process-blueprint/__tests__/layout.test.js +37 -0
  60. package/dist/process-blueprint/layout.js +5 -1
  61. package/dist/process-blueprint/types.d.ts +22 -1
  62. package/dist/stakeholder/__tests__/validate.test.js +49 -47
  63. package/dist/stakeholder/index.d.ts +1 -0
  64. package/dist/stakeholder/types.d.ts +3 -4
  65. package/dist/stakeholder/types.js +2 -3
  66. package/dist/stakeholder/validate.d.ts +6 -1
  67. package/dist/stakeholder/validate.js +71 -50
  68. package/dist/target-state/__tests__/validate.test.js +43 -27
  69. package/dist/target-state/index.d.ts +2 -0
  70. package/dist/target-state/index.js +1 -0
  71. package/dist/target-state/types.d.ts +6 -1
  72. package/dist/target-state/types.js +8 -7
  73. package/dist/target-state/validate.d.ts +6 -1
  74. package/dist/target-state/validate.js +69 -45
  75. package/dist/theme/themes.js +69 -69
  76. package/dist/webview/__tests__/entry.test.js +11 -11
  77. package/dist/webview/render-activities.d.ts +3 -1
  78. package/dist/webview/render-activities.js +2 -2
  79. package/dist/webview/render-activity-card.js +104 -77
  80. package/dist/webview/render-fgca.d.ts +4 -0
  81. package/dist/webview/render-fgca.js +2 -5
  82. package/dist/webview/render-goals.d.ts +1 -0
  83. package/dist/webview/render-goals.js +15 -15
  84. package/dist/webview/render-process-blueprint.js +10 -10
  85. package/package.json +40 -40
  86. package/src/__tests__/edge-path.test.ts +58 -46
  87. package/src/__tests__/scope.test.ts +27 -27
  88. package/src/__tests__/yaml-normalize.test.ts +158 -158
  89. package/src/activities/__tests__/cpm.test.ts +164 -164
  90. package/src/activities/__tests__/gantt.test.ts +245 -245
  91. package/src/activities/__tests__/layout.test.ts +112 -112
  92. package/src/activities/__tests__/validate.test.ts +409 -409
  93. package/src/activities/cpm.ts +95 -95
  94. package/src/activities/gantt.ts +276 -276
  95. package/src/activities/index.ts +28 -28
  96. package/src/activities/layout.ts +112 -112
  97. package/src/activities/types.ts +148 -148
  98. package/src/activities/validate.ts +357 -357
  99. package/src/activity-card/__tests__/example.test.ts +85 -66
  100. package/src/activity-card/__tests__/layout.test.ts +169 -63
  101. package/src/activity-card/__tests__/resolver.test.ts +307 -161
  102. package/src/activity-card/__tests__/validate.test.ts +131 -131
  103. package/src/activity-card/index.ts +38 -32
  104. package/src/activity-card/layout.ts +324 -194
  105. package/src/activity-card/resolver.ts +415 -337
  106. package/src/activity-card/types.ts +376 -237
  107. package/src/activity-card/validate.ts +162 -158
  108. package/src/actor/__tests__/validate.test.ts +70 -31
  109. package/src/actor/index.ts +1 -1
  110. package/src/actor/types.ts +21 -7
  111. package/src/actor/validate.ts +59 -27
  112. package/src/applications/__tests__/validate.test.ts +256 -256
  113. package/src/applications/index.ts +11 -11
  114. package/src/applications/types.ts +43 -43
  115. package/src/applications/validate.ts +131 -131
  116. package/src/assertion/__tests__/example.test.ts +37 -37
  117. package/src/assertion/__tests__/validate.test.ts +142 -142
  118. package/src/assertion/index.ts +12 -12
  119. package/src/assertion/types.ts +60 -58
  120. package/src/assertion/validate.ts +145 -145
  121. package/src/blocks/__tests__/layout.test.ts +169 -169
  122. package/src/blocks/__tests__/validate.test.ts +260 -260
  123. package/src/blocks/index.ts +17 -17
  124. package/src/blocks/layout.ts +186 -186
  125. package/src/blocks/types.ts +62 -62
  126. package/src/blocks/validate.ts +206 -206
  127. package/src/capability-map/__tests__/validate.test.ts +238 -238
  128. package/src/capability-map/index.ts +8 -8
  129. package/src/capability-map/types.ts +29 -29
  130. package/src/capability-map/validate.ts +127 -127
  131. package/src/change/__tests__/validate.test.ts +43 -34
  132. package/src/change/index.ts +1 -0
  133. package/src/change/types.ts +5 -3
  134. package/src/change/validate.ts +75 -43
  135. package/src/compliance/__tests__/classify.test.ts +64 -27
  136. package/src/compliance/__tests__/confidence.test.ts +98 -98
  137. package/src/compliance/__tests__/coverage-metric.test.ts +300 -188
  138. package/src/compliance/__tests__/demo-scenario.test.ts +273 -273
  139. package/src/compliance/__tests__/example.test.ts +57 -57
  140. package/src/compliance/__tests__/gap-report.test.ts +128 -128
  141. package/src/compliance/__tests__/html.test.ts +141 -141
  142. package/src/compliance/__tests__/impact.test.ts +840 -481
  143. package/src/compliance/__tests__/markdown.test.ts +94 -94
  144. package/src/compliance/__tests__/views.test.ts +64 -64
  145. package/src/compliance/classify.ts +100 -84
  146. package/src/compliance/confidence.ts +69 -69
  147. package/src/compliance/coverage-metric.ts +404 -263
  148. package/src/compliance/gap-report.ts +94 -94
  149. package/src/compliance/html.ts +298 -295
  150. package/src/compliance/impact.ts +861 -677
  151. package/src/compliance/index.ts +57 -56
  152. package/src/compliance/markdown.ts +136 -135
  153. package/src/compliance/reverse-index.ts +33 -33
  154. package/src/compliance/types.ts +136 -120
  155. package/src/compliance/views.ts +46 -46
  156. package/src/compliance-matrix/__tests__/build.test.ts +200 -200
  157. package/src/compliance-matrix/__tests__/example.test.ts +57 -57
  158. package/src/compliance-matrix/index.ts +11 -11
  159. package/src/compliance-matrix/types.ts +102 -102
  160. package/src/edge-path.ts +50 -44
  161. package/src/factor/__tests__/validate.test.ts +80 -45
  162. package/src/factor/index.ts +3 -7
  163. package/src/factor/types.ts +14 -18
  164. package/src/factor/validate.ts +77 -51
  165. package/src/fgca/__tests__/chain-table.test.ts +172 -172
  166. package/src/fgca/__tests__/layout.test.ts +179 -179
  167. package/src/fgca/__tests__/parse-canonical.test.ts +248 -248
  168. package/src/fgca/__tests__/preview-layout.test.ts +124 -124
  169. package/src/fgca/__tests__/resolver.test.ts +209 -0
  170. package/src/fgca/__tests__/validate.test.ts +142 -142
  171. package/src/fgca/chain-table.ts +225 -225
  172. package/src/fgca/index.ts +47 -45
  173. package/src/fgca/layout.ts +204 -204
  174. package/src/fgca/nodeTypes.ts +11 -11
  175. package/src/fgca/nodes/FGCAActivityNode.tsx +65 -65
  176. package/src/fgca/nodes/FGCAChangeNode.tsx +64 -64
  177. package/src/fgca/nodes/FGCAFactorNode.tsx +64 -64
  178. package/src/fgca/nodes/FGCAGoalNode.tsx +72 -72
  179. package/src/fgca/parse-canonical.ts +400 -400
  180. package/src/fgca/preview-layout.ts +217 -217
  181. package/src/fgca/resolver.ts +157 -0
  182. package/src/fgca/types.ts +50 -50
  183. package/src/fgca/validate.ts +126 -126
  184. package/src/geometry.ts +9 -9
  185. package/src/goals/__tests__/layout.test.ts +175 -175
  186. package/src/goals/__tests__/mutations.test.ts +111 -111
  187. package/src/goals/__tests__/parse-canonical.test.ts +145 -145
  188. package/src/goals/__tests__/validate.test.ts +202 -202
  189. package/src/goals/index.ts +20 -21
  190. package/src/goals/layout.ts +172 -172
  191. package/src/goals/mutations.ts +123 -123
  192. package/src/goals/parse-canonical.ts +286 -286
  193. package/src/goals/types.ts +85 -85
  194. package/src/goals/validate.ts +136 -136
  195. package/src/index.ts +28 -23
  196. package/src/process-blueprint/__tests__/compliance-lane.test.ts +320 -320
  197. package/src/process-blueprint/__tests__/layout.test.ts +240 -195
  198. package/src/process-blueprint/__tests__/validate.test.ts +310 -310
  199. package/src/process-blueprint/index.ts +31 -31
  200. package/src/process-blueprint/layout.ts +535 -531
  201. package/src/process-blueprint/types.ts +263 -242
  202. package/src/process-blueprint/validate.ts +181 -181
  203. package/src/process-map/__tests__/validate.test.ts +223 -223
  204. package/src/process-map/index.ts +10 -10
  205. package/src/process-map/types.ts +36 -36
  206. package/src/process-map/validate.ts +135 -135
  207. package/src/products/__tests__/validate.test.ts +239 -239
  208. package/src/products/index.ts +9 -9
  209. package/src/products/types.ts +31 -31
  210. package/src/products/validate.ts +112 -112
  211. package/src/repo-validate/__tests__/validate-repo.test.ts +149 -149
  212. package/src/repo-validate/index.ts +2 -2
  213. package/src/repo-validate/types.ts +50 -50
  214. package/src/repo-validate/validate-repo.ts +196 -196
  215. package/src/requirement/__tests__/example.test.ts +24 -24
  216. package/src/requirement/__tests__/validate.test.ts +96 -96
  217. package/src/requirement/index.ts +4 -4
  218. package/src/requirement/types.ts +35 -35
  219. package/src/requirement/validate.ts +92 -92
  220. package/src/scenarios/__tests__/validate.test.ts +209 -209
  221. package/src/scenarios/index.ts +15 -15
  222. package/src/scenarios/types.ts +37 -37
  223. package/src/scenarios/validate.ts +122 -122
  224. package/src/schema-version.ts +16 -16
  225. package/src/scope.ts +46 -46
  226. package/src/stakeholder/__tests__/validate.test.ts +51 -47
  227. package/src/stakeholder/index.ts +1 -0
  228. package/src/stakeholder/types.ts +7 -7
  229. package/src/stakeholder/validate.ts +79 -52
  230. package/src/target-state/__tests__/validate.test.ts +48 -27
  231. package/src/target-state/index.ts +2 -0
  232. package/src/target-state/types.ts +11 -7
  233. package/src/target-state/validate.ts +76 -46
  234. package/src/theme/index.ts +4 -4
  235. package/src/theme/themes.ts +237 -237
  236. package/src/theme/tokens.ts +133 -133
  237. package/src/typed-id.ts +56 -56
  238. package/src/validation-types.ts +36 -36
  239. package/src/webview/__tests__/entry-notations.test.ts +77 -77
  240. package/src/webview/__tests__/entry.test.ts +64 -64
  241. package/src/webview/__tests__/render-goals.test.ts +72 -72
  242. package/src/webview/entry.ts +292 -292
  243. package/src/webview/render-activities.ts +5 -3
  244. package/src/webview/render-activity-card.ts +266 -234
  245. package/src/webview/render-fgca.ts +6 -5
  246. package/src/webview/render-goals.ts +111 -110
  247. package/src/webview/render-process-blueprint.ts +207 -207
  248. package/src/webview/styles.css +322 -323
  249. package/src/yaml-normalize.ts +56 -56
  250. package/dist/element-envelope.d.ts +0 -15
  251. package/dist/element-envelope.js +0 -55
  252. package/dist/issues/__tests__/layout.test.js +0 -62
  253. package/dist/issues/__tests__/validate.test.d.ts +0 -1
  254. package/dist/issues/__tests__/validate.test.js +0 -82
  255. package/dist/issues/index.d.ts +0 -4
  256. package/dist/issues/index.js +0 -2
  257. package/dist/issues/layout.d.ts +0 -10
  258. package/dist/issues/layout.js +0 -82
  259. package/dist/issues/types.d.ts +0 -61
  260. package/dist/issues/types.js +0 -6
  261. package/dist/issues/validate.d.ts +0 -3
  262. package/dist/issues/validate.js +0 -143
  263. package/dist/webview/transitrix-render.css +0 -323
  264. package/dist/webview/transitrix-render.js +0 -6452
  265. package/dist/webview/transitrix-render.js.map +0 -7
  266. package/src/element-envelope.ts +0 -76
  267. /package/dist/{issues/__tests__/layout.test.d.ts → fgca/__tests__/resolver.test.d.ts} +0 -0
@@ -1,85 +1,85 @@
1
- export type ImpactType = 'opportunity' | 'positive' | 'risk' | 'negative' | 'mixed';
2
-
3
- export interface Factor {
4
- id: number;
5
- name: string;
6
- description?: string;
7
- segment?: string;
8
- impact_type: ImpactType;
9
- }
10
-
11
- export interface Goal {
12
- id: number;
13
- name: string;
14
- type: string;
15
- level: number;
16
- parent_id: number;
17
- link?: string;
18
- tag?: string;
19
- description?: string;
20
- factors?: Factor[];
21
- created_at?: string;
22
- }
23
-
24
- export interface GoalType {
25
- name: string;
26
- level: number;
27
- }
28
-
29
- export interface GoalTree {
30
- goal_types: GoalType[];
31
- goals: Goal[];
32
- }
33
-
34
- // Validation result shape moved to the shared `validation-types.ts` module
35
- // (one canonical definition across every notation). The re-exports below
36
- // preserve the public type surface this module historically exposed.
37
- export type {
38
- ValidationError,
39
- ValidationWarning,
40
- ValidationResult,
41
- } from '../validation-types.js';
42
-
43
- import type { ValidationError } from '../validation-types.js';
44
-
45
- export interface MutationResult<T> {
46
- ok: boolean;
47
- result?: T;
48
- error?: ValidationError;
49
- }
50
-
51
- import type { Scope } from '../scope.js';
52
-
53
- export interface LayoutOptions {
54
- rankdir?: 'LR' | 'TB';
55
- nodeWidth?: number;
56
- nodeHeight?: number;
57
- rankSep?: number;
58
- nodeSep?: number;
59
- hideCollapsed?: number[];
60
- viewDepth?: number | null;
61
- /** Trim the tree to a level cap or a subtree root (vkgeorgia/strategy#77). Defaults to 'all'. */
62
- scope?: Scope;
63
- }
64
-
65
- export interface LaidOutNode {
66
- id: number;
67
- x: number;
68
- y: number;
69
- width: number;
70
- height: number;
71
- data: Goal;
72
- isCollapsedRoot: boolean;
73
- hasHiddenChildren: boolean;
74
- }
75
-
76
- export interface LaidOutEdge {
77
- source: number;
78
- target: number;
79
- }
80
-
81
- export interface GoalTreeLayout {
82
- nodes: LaidOutNode[];
83
- edges: LaidOutEdge[];
84
- bounds: { x: number; y: number; width: number; height: number };
85
- }
1
+ export type ImpactType = 'opportunity' | 'positive' | 'risk' | 'negative' | 'mixed';
2
+
3
+ export interface Factor {
4
+ id: number;
5
+ name: string;
6
+ description?: string;
7
+ segment?: string;
8
+ impact_type: ImpactType;
9
+ }
10
+
11
+ export interface Goal {
12
+ id: number;
13
+ name: string;
14
+ type: string;
15
+ level: number;
16
+ parent_id: number;
17
+ link?: string;
18
+ tag?: string;
19
+ description?: string;
20
+ factors?: Factor[];
21
+ created_at?: string;
22
+ }
23
+
24
+ export interface GoalType {
25
+ name: string;
26
+ level: number;
27
+ }
28
+
29
+ export interface GoalTree {
30
+ goal_types: GoalType[];
31
+ goals: Goal[];
32
+ }
33
+
34
+ // Validation result shape moved to the shared `validation-types.ts` module
35
+ // (one canonical definition across every notation). The re-exports below
36
+ // preserve the public type surface this module historically exposed.
37
+ export type {
38
+ ValidationError,
39
+ ValidationWarning,
40
+ ValidationResult,
41
+ } from '../validation-types.js';
42
+
43
+ import type { ValidationError } from '../validation-types.js';
44
+
45
+ export interface MutationResult<T> {
46
+ ok: boolean;
47
+ result?: T;
48
+ error?: ValidationError;
49
+ }
50
+
51
+ import type { Scope } from '../scope.js';
52
+
53
+ export interface LayoutOptions {
54
+ rankdir?: 'LR' | 'TB';
55
+ nodeWidth?: number;
56
+ nodeHeight?: number;
57
+ rankSep?: number;
58
+ nodeSep?: number;
59
+ hideCollapsed?: number[];
60
+ viewDepth?: number | null;
61
+ /** Trim the tree to a level cap or a subtree root (vkgeorgia/strategy#77). Defaults to 'all'. */
62
+ scope?: Scope;
63
+ }
64
+
65
+ export interface LaidOutNode {
66
+ id: number;
67
+ x: number;
68
+ y: number;
69
+ width: number;
70
+ height: number;
71
+ data: Goal;
72
+ isCollapsedRoot: boolean;
73
+ hasHiddenChildren: boolean;
74
+ }
75
+
76
+ export interface LaidOutEdge {
77
+ source: number;
78
+ target: number;
79
+ }
80
+
81
+ export interface GoalTreeLayout {
82
+ nodes: LaidOutNode[];
83
+ edges: LaidOutEdge[];
84
+ bounds: { x: number; y: number; width: number; height: number };
85
+ }
@@ -1,136 +1,136 @@
1
- import type { GoalTree, ValidationResult, ValidationError, ValidationWarning } from './types.js';
2
-
3
- export function validateGoalTree(input: unknown): ValidationResult {
4
- const errors: ValidationError[] = [];
5
- const warnings: ValidationWarning[] = [];
6
-
7
- if (!input || typeof input !== 'object') {
8
- return { valid: false, errors: [{ code: 'SCHEMA_INVALID', message: 'Input must be an object' }], warnings: [] };
9
- }
10
-
11
- const raw = input as Record<string, unknown>;
12
-
13
- if (!Array.isArray(raw.goals)) {
14
- errors.push({ code: 'SCHEMA_INVALID', message: 'goals must be an array', path: 'goals' });
15
- }
16
- if (!Array.isArray(raw.goal_types)) {
17
- errors.push({ code: 'SCHEMA_INVALID', message: 'goal_types must be an array', path: 'goal_types' });
18
- }
19
- if (errors.length > 0) return { valid: false, errors, warnings };
20
-
21
- const tree = raw as unknown as GoalTree;
22
-
23
- // GOALS-013 — goal_types[].level values must be contiguous starting from 0.
24
- // Per the N+1 rule (decision in vkgeorgia/strategy#66), the level set must
25
- // be exactly {0, 1, …, N}; a gap breaks the parent→child level invariant
26
- // and means GOALS-012 cannot be enforced consistently.
27
- const levels = tree.goal_types
28
- .map(gt => gt.level)
29
- .filter(l => typeof l === 'number' && Number.isFinite(l));
30
- if (levels.length > 0) {
31
- const unique = Array.from(new Set(levels)).sort((a, b) => a - b);
32
- const expected = Array.from({ length: unique.length }, (_, i) => i);
33
- const contiguous = unique.length === expected.length && unique.every((v, i) => v === expected[i]);
34
- if (!contiguous) {
35
- errors.push({
36
- code: 'GOALS-013',
37
- message: `goal_types[].level values must be contiguous starting from 0; got [${unique.join(', ')}]`,
38
- path: 'goal_types',
39
- });
40
- }
41
- }
42
-
43
- const maxLevel = Math.max(...tree.goal_types.map(gt => gt.level), 0);
44
- const typeMap = new Map(tree.goal_types.map(gt => [gt.name, gt.level]));
45
- const idSet = new Set<number>();
46
- const levelById = new Map<number, number>();
47
-
48
- for (let i = 0; i < tree.goals.length; i++) {
49
- const g = tree.goals[i] as unknown;
50
- const path = `goals[${i}]`;
51
-
52
- if (!g || typeof g !== 'object') {
53
- errors.push({ code: 'SCHEMA_INVALID', message: 'goal entry must be an object', path });
54
- continue;
55
- }
56
- const goal = g as { id?: unknown; name?: unknown; level?: unknown; type?: unknown };
57
-
58
- if (typeof goal.id !== 'number') {
59
- errors.push({ code: 'SCHEMA_INVALID', message: 'goal id must be a number', path });
60
- continue;
61
- }
62
- if (!goal.name || typeof goal.name !== 'string' || goal.name.trim() === '') {
63
- errors.push({ code: 'EMPTY_NAME', message: `Goal ${goal.id} has empty name`, path });
64
- }
65
-
66
- if (idSet.has(goal.id)) {
67
- errors.push({ code: 'DUPLICATE_ID', message: `Duplicate goal id: ${goal.id}`, path });
68
- } else {
69
- idSet.add(goal.id);
70
- }
71
-
72
- if (typeof goal.level !== 'number' || !Number.isFinite(goal.level)) {
73
- errors.push({ code: 'SCHEMA_INVALID', message: `Goal ${goal.id} level must be a finite number`, path });
74
- continue;
75
- }
76
- if (goal.level > maxLevel) {
77
- errors.push({ code: 'MAX_LEVEL_EXCEEDED', message: `Goal ${goal.id} level ${goal.level} exceeds max ${maxLevel}`, path });
78
- }
79
- levelById.set(goal.id, goal.level);
80
-
81
- const expectedLevel = typeof goal.type === 'string' ? typeMap.get(goal.type) : undefined;
82
- if (expectedLevel !== undefined && expectedLevel !== goal.level) {
83
- warnings.push({ code: 'TYPE_LEVEL_MISMATCH', message: `Goal ${goal.id} type "${String(goal.type)}" expects level ${expectedLevel}, got ${goal.level}`, path });
84
- }
85
- }
86
-
87
- if (errors.length > 0) return { valid: false, errors, warnings };
88
-
89
- // Check broken parent refs and cycles after all ids are collected
90
- for (let i = 0; i < tree.goals.length; i++) {
91
- const g = tree.goals[i];
92
- const path = `goals[${i}]`;
93
- if (!g || typeof g !== 'object') continue;
94
- if (g.parent_id !== 0 && !idSet.has(g.parent_id)) {
95
- warnings.push({ code: 'BROKEN_PARENT_REF', message: `Goal ${g.id} references missing parent ${g.parent_id} — moved to backlog`, path });
96
- continue;
97
- }
98
- // GOALS-012 — parent must be exactly one level above the child (N+1
99
- // hierarchy, decision in vkgeorgia/strategy#66). Only enforced when the
100
- // parent is resolvable; a missing parent is covered by BROKEN_PARENT_REF.
101
- if (g.parent_id !== 0) {
102
- const parentLevel = levelById.get(g.parent_id);
103
- if (parentLevel !== undefined && g.level !== parentLevel + 1) {
104
- errors.push({
105
- code: 'GOALS-012',
106
- message: `Goal ${g.id} (level ${g.level}) must have a parent at level ${g.level - 1}; parent ${g.parent_id} is at level ${parentLevel}`,
107
- path,
108
- });
109
- }
110
- }
111
- }
112
-
113
- const cycleError = detectCycle(tree.goals);
114
- if (cycleError) errors.push(cycleError);
115
-
116
- return { valid: errors.length === 0, errors, warnings };
117
- }
118
-
119
- function detectCycle(goals: GoalTree['goals']): ValidationError | null {
120
- const parentOf = new Map(goals.map(g => [g.id, g.parent_id]));
121
-
122
- for (const g of goals) {
123
- const visited = new Set<number>();
124
- let cur: number = g.id;
125
- while (cur !== 0) {
126
- if (visited.has(cur)) {
127
- return { code: 'CYCLE_DETECTED', message: `Cycle detected involving goal ${g.id}` };
128
- }
129
- visited.add(cur);
130
- const parent = parentOf.get(cur);
131
- if (parent === undefined) break;
132
- cur = parent;
133
- }
134
- }
135
- return null;
136
- }
1
+ import type { GoalTree, ValidationResult, ValidationError, ValidationWarning } from './types.js';
2
+
3
+ export function validateGoalTree(input: unknown): ValidationResult {
4
+ const errors: ValidationError[] = [];
5
+ const warnings: ValidationWarning[] = [];
6
+
7
+ if (!input || typeof input !== 'object') {
8
+ return { valid: false, errors: [{ code: 'SCHEMA_INVALID', message: 'Input must be an object' }], warnings: [] };
9
+ }
10
+
11
+ const raw = input as Record<string, unknown>;
12
+
13
+ if (!Array.isArray(raw.goals)) {
14
+ errors.push({ code: 'SCHEMA_INVALID', message: 'goals must be an array', path: 'goals' });
15
+ }
16
+ if (!Array.isArray(raw.goal_types)) {
17
+ errors.push({ code: 'SCHEMA_INVALID', message: 'goal_types must be an array', path: 'goal_types' });
18
+ }
19
+ if (errors.length > 0) return { valid: false, errors, warnings };
20
+
21
+ const tree = raw as unknown as GoalTree;
22
+
23
+ // GOALS-013 — goal_types[].level values must be contiguous starting from 0.
24
+ // Per the N+1 rule (decision in vkgeorgia/strategy#66), the level set must
25
+ // be exactly {0, 1, …, N}; a gap breaks the parent→child level invariant
26
+ // and means GOALS-012 cannot be enforced consistently.
27
+ const levels = tree.goal_types
28
+ .map(gt => gt.level)
29
+ .filter(l => typeof l === 'number' && Number.isFinite(l));
30
+ if (levels.length > 0) {
31
+ const unique = Array.from(new Set(levels)).sort((a, b) => a - b);
32
+ const expected = Array.from({ length: unique.length }, (_, i) => i);
33
+ const contiguous = unique.length === expected.length && unique.every((v, i) => v === expected[i]);
34
+ if (!contiguous) {
35
+ errors.push({
36
+ code: 'GOALS-013',
37
+ message: `goal_types[].level values must be contiguous starting from 0; got [${unique.join(', ')}]`,
38
+ path: 'goal_types',
39
+ });
40
+ }
41
+ }
42
+
43
+ const maxLevel = Math.max(...tree.goal_types.map(gt => gt.level), 0);
44
+ const typeMap = new Map(tree.goal_types.map(gt => [gt.name, gt.level]));
45
+ const idSet = new Set<number>();
46
+ const levelById = new Map<number, number>();
47
+
48
+ for (let i = 0; i < tree.goals.length; i++) {
49
+ const g = tree.goals[i] as unknown;
50
+ const path = `goals[${i}]`;
51
+
52
+ if (!g || typeof g !== 'object') {
53
+ errors.push({ code: 'SCHEMA_INVALID', message: 'goal entry must be an object', path });
54
+ continue;
55
+ }
56
+ const goal = g as { id?: unknown; name?: unknown; level?: unknown; type?: unknown };
57
+
58
+ if (typeof goal.id !== 'number') {
59
+ errors.push({ code: 'SCHEMA_INVALID', message: 'goal id must be a number', path });
60
+ continue;
61
+ }
62
+ if (!goal.name || typeof goal.name !== 'string' || goal.name.trim() === '') {
63
+ errors.push({ code: 'EMPTY_NAME', message: `Goal ${goal.id} has empty name`, path });
64
+ }
65
+
66
+ if (idSet.has(goal.id)) {
67
+ errors.push({ code: 'DUPLICATE_ID', message: `Duplicate goal id: ${goal.id}`, path });
68
+ } else {
69
+ idSet.add(goal.id);
70
+ }
71
+
72
+ if (typeof goal.level !== 'number' || !Number.isFinite(goal.level)) {
73
+ errors.push({ code: 'SCHEMA_INVALID', message: `Goal ${goal.id} level must be a finite number`, path });
74
+ continue;
75
+ }
76
+ if (goal.level > maxLevel) {
77
+ errors.push({ code: 'MAX_LEVEL_EXCEEDED', message: `Goal ${goal.id} level ${goal.level} exceeds max ${maxLevel}`, path });
78
+ }
79
+ levelById.set(goal.id, goal.level);
80
+
81
+ const expectedLevel = typeof goal.type === 'string' ? typeMap.get(goal.type) : undefined;
82
+ if (expectedLevel !== undefined && expectedLevel !== goal.level) {
83
+ warnings.push({ code: 'TYPE_LEVEL_MISMATCH', message: `Goal ${goal.id} type "${String(goal.type)}" expects level ${expectedLevel}, got ${goal.level}`, path });
84
+ }
85
+ }
86
+
87
+ if (errors.length > 0) return { valid: false, errors, warnings };
88
+
89
+ // Check broken parent refs and cycles after all ids are collected
90
+ for (let i = 0; i < tree.goals.length; i++) {
91
+ const g = tree.goals[i];
92
+ const path = `goals[${i}]`;
93
+ if (!g || typeof g !== 'object') continue;
94
+ if (g.parent_id !== 0 && !idSet.has(g.parent_id)) {
95
+ warnings.push({ code: 'BROKEN_PARENT_REF', message: `Goal ${g.id} references missing parent ${g.parent_id} — moved to backlog`, path });
96
+ continue;
97
+ }
98
+ // GOALS-012 — parent must be exactly one level above the child (N+1
99
+ // hierarchy, decision in vkgeorgia/strategy#66). Only enforced when the
100
+ // parent is resolvable; a missing parent is covered by BROKEN_PARENT_REF.
101
+ if (g.parent_id !== 0) {
102
+ const parentLevel = levelById.get(g.parent_id);
103
+ if (parentLevel !== undefined && g.level !== parentLevel + 1) {
104
+ errors.push({
105
+ code: 'GOALS-012',
106
+ message: `Goal ${g.id} (level ${g.level}) must have a parent at level ${g.level - 1}; parent ${g.parent_id} is at level ${parentLevel}`,
107
+ path,
108
+ });
109
+ }
110
+ }
111
+ }
112
+
113
+ const cycleError = detectCycle(tree.goals);
114
+ if (cycleError) errors.push(cycleError);
115
+
116
+ return { valid: errors.length === 0, errors, warnings };
117
+ }
118
+
119
+ function detectCycle(goals: GoalTree['goals']): ValidationError | null {
120
+ const parentOf = new Map(goals.map(g => [g.id, g.parent_id]));
121
+
122
+ for (const g of goals) {
123
+ const visited = new Set<number>();
124
+ let cur: number = g.id;
125
+ while (cur !== 0) {
126
+ if (visited.has(cur)) {
127
+ return { code: 'CYCLE_DETECTED', message: `Cycle detected involving goal ${g.id}` };
128
+ }
129
+ visited.add(cur);
130
+ const parent = parentOf.get(cur);
131
+ if (parent === undefined) break;
132
+ cur = parent;
133
+ }
134
+ }
135
+ return null;
136
+ }
package/src/index.ts CHANGED
@@ -1,23 +1,28 @@
1
- export * from "./activities/index";
2
- export * from "./activity-card/index";
3
- export * from "./geometry";
4
- export * from "./applications/index";
5
- export * from "./assertion/index";
6
- export * from "./blocks/index";
7
- export * from "./capability-map/index";
8
- export * from "./compliance/index";
9
- export * from "./compliance-matrix/index";
10
- export * from "./confidence/index";
11
- export * from "./fgca/index";
12
- export * from "./goals/index";
13
- export * from "./process-blueprint/index";
14
- export * from "./process-map/index";
15
- export * from "./products/index";
16
- export * from "./repo-validate/index";
17
- export * from "./requirement/index";
18
- export * from "./scenarios/index";
19
- export { SCHEMA_VERSION } from "./schema-version";
20
- export * from "./theme/index";
21
- export * from "./typed-id";
22
- export * from "./validation-types";
23
- export { coerceDatesToIsoStrings } from "./yaml-normalize";
1
+ export * from "./activities/index";
2
+ export * from "./activity-card/index";
3
+ export * from "./actor/index";
4
+ export * from "./geometry";
5
+ export * from "./applications/index";
6
+ export * from "./assertion/index";
7
+ export * from "./blocks/index";
8
+ export * from "./capability-map/index";
9
+ export * from "./change/index";
10
+ export * from "./compliance/index";
11
+ export * from "./compliance-matrix/index";
12
+ export * from "./confidence/index";
13
+ export * from "./factor/index";
14
+ export * from "./fgca/index";
15
+ export * from "./goals/index";
16
+ export * from "./process-blueprint/index";
17
+ export * from "./process-map/index";
18
+ export * from "./products/index";
19
+ export * from "./repo-validate/index";
20
+ export * from "./requirement/index";
21
+ export * from "./scenarios/index";
22
+ export * from "./stakeholder/index";
23
+ export * from "./target-state/index";
24
+ export { SCHEMA_VERSION } from "./schema-version";
25
+ export * from "./theme/index";
26
+ export * from "./typed-id";
27
+ export * from "./validation-types";
28
+ export { coerceDatesToIsoStrings } from "./yaml-normalize";