@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.
- package/LICENSE +21 -21
- package/README.md +47 -47
- package/dist/__tests__/edge-path.test.js +8 -0
- package/dist/activity-card/__tests__/example.test.js +20 -1
- package/dist/activity-card/__tests__/layout.test.js +102 -11
- package/dist/activity-card/__tests__/resolver.test.js +139 -6
- package/dist/activity-card/index.d.ts +1 -1
- package/dist/activity-card/layout.d.ts +1 -1
- package/dist/activity-card/layout.js +220 -103
- package/dist/activity-card/resolver.js +107 -26
- package/dist/activity-card/types.d.ts +150 -27
- package/dist/activity-card/validate.js +3 -0
- package/dist/actor/__tests__/validate.test.js +63 -31
- package/dist/actor/index.d.ts +1 -1
- package/dist/actor/index.js +1 -1
- package/dist/actor/types.d.ts +7 -3
- package/dist/actor/types.js +17 -3
- package/dist/actor/validate.js +55 -26
- package/dist/assertion/types.d.ts +3 -1
- package/dist/assertion/types.js +1 -1
- package/dist/change/__tests__/validate.test.js +40 -34
- package/dist/change/index.d.ts +1 -0
- package/dist/change/types.d.ts +1 -1
- package/dist/change/types.js +2 -2
- package/dist/change/validate.d.ts +6 -1
- package/dist/change/validate.js +68 -41
- package/dist/compliance/__tests__/classify.test.js +34 -0
- package/dist/compliance/__tests__/coverage-metric.test.js +146 -46
- package/dist/compliance/__tests__/html.test.js +2 -2
- package/dist/compliance/__tests__/impact.test.js +311 -6
- package/dist/compliance/classify.d.ts +6 -0
- package/dist/compliance/classify.js +9 -1
- package/dist/compliance/coverage-metric.d.ts +31 -11
- package/dist/compliance/coverage-metric.js +149 -39
- package/dist/compliance/html.js +77 -74
- package/dist/compliance/impact.d.ts +77 -16
- package/dist/compliance/impact.js +193 -25
- package/dist/compliance/index.d.ts +2 -2
- package/dist/compliance/index.js +1 -1
- package/dist/compliance/markdown.js +1 -0
- package/dist/compliance/types.d.ts +25 -6
- package/dist/edge-path.d.ts +8 -4
- package/dist/edge-path.js +11 -6
- package/dist/factor/__tests__/validate.test.js +74 -45
- package/dist/factor/index.d.ts +3 -2
- package/dist/factor/index.js +1 -1
- package/dist/factor/types.d.ts +4 -7
- package/dist/factor/types.js +10 -5
- package/dist/factor/validate.d.ts +6 -1
- package/dist/factor/validate.js +68 -50
- package/dist/fgca/__tests__/resolver.test.js +185 -0
- package/dist/fgca/index.d.ts +2 -0
- package/dist/fgca/index.js +1 -0
- package/dist/fgca/resolver.d.ts +49 -0
- package/dist/fgca/resolver.js +124 -0
- package/dist/goals/index.d.ts +1 -1
- package/dist/index.d.ts +5 -0
- package/dist/index.js +5 -0
- package/dist/process-blueprint/__tests__/layout.test.js +37 -0
- package/dist/process-blueprint/layout.js +5 -1
- package/dist/process-blueprint/types.d.ts +22 -1
- package/dist/stakeholder/__tests__/validate.test.js +49 -47
- package/dist/stakeholder/index.d.ts +1 -0
- package/dist/stakeholder/types.d.ts +3 -4
- package/dist/stakeholder/types.js +2 -3
- package/dist/stakeholder/validate.d.ts +6 -1
- package/dist/stakeholder/validate.js +71 -50
- package/dist/target-state/__tests__/validate.test.js +43 -27
- package/dist/target-state/index.d.ts +2 -0
- package/dist/target-state/index.js +1 -0
- package/dist/target-state/types.d.ts +6 -1
- package/dist/target-state/types.js +8 -7
- package/dist/target-state/validate.d.ts +6 -1
- package/dist/target-state/validate.js +69 -45
- package/dist/theme/themes.js +69 -69
- package/dist/webview/__tests__/entry.test.js +11 -11
- package/dist/webview/render-activities.d.ts +3 -1
- package/dist/webview/render-activities.js +2 -2
- package/dist/webview/render-activity-card.js +104 -77
- package/dist/webview/render-fgca.d.ts +4 -0
- package/dist/webview/render-fgca.js +2 -5
- package/dist/webview/render-goals.d.ts +1 -0
- package/dist/webview/render-goals.js +15 -15
- package/dist/webview/render-process-blueprint.js +10 -10
- package/package.json +40 -40
- package/src/__tests__/edge-path.test.ts +58 -46
- package/src/__tests__/scope.test.ts +27 -27
- package/src/__tests__/yaml-normalize.test.ts +158 -158
- package/src/activities/__tests__/cpm.test.ts +164 -164
- package/src/activities/__tests__/gantt.test.ts +245 -245
- package/src/activities/__tests__/layout.test.ts +112 -112
- package/src/activities/__tests__/validate.test.ts +409 -409
- package/src/activities/cpm.ts +95 -95
- package/src/activities/gantt.ts +276 -276
- package/src/activities/index.ts +28 -28
- package/src/activities/layout.ts +112 -112
- package/src/activities/types.ts +148 -148
- package/src/activities/validate.ts +357 -357
- package/src/activity-card/__tests__/example.test.ts +85 -66
- package/src/activity-card/__tests__/layout.test.ts +169 -63
- package/src/activity-card/__tests__/resolver.test.ts +307 -161
- package/src/activity-card/__tests__/validate.test.ts +131 -131
- package/src/activity-card/index.ts +38 -32
- package/src/activity-card/layout.ts +324 -194
- package/src/activity-card/resolver.ts +415 -337
- package/src/activity-card/types.ts +376 -237
- package/src/activity-card/validate.ts +162 -158
- package/src/actor/__tests__/validate.test.ts +70 -31
- package/src/actor/index.ts +1 -1
- package/src/actor/types.ts +21 -7
- package/src/actor/validate.ts +59 -27
- package/src/applications/__tests__/validate.test.ts +256 -256
- package/src/applications/index.ts +11 -11
- package/src/applications/types.ts +43 -43
- package/src/applications/validate.ts +131 -131
- package/src/assertion/__tests__/example.test.ts +37 -37
- package/src/assertion/__tests__/validate.test.ts +142 -142
- package/src/assertion/index.ts +12 -12
- package/src/assertion/types.ts +60 -58
- package/src/assertion/validate.ts +145 -145
- package/src/blocks/__tests__/layout.test.ts +169 -169
- package/src/blocks/__tests__/validate.test.ts +260 -260
- package/src/blocks/index.ts +17 -17
- package/src/blocks/layout.ts +186 -186
- package/src/blocks/types.ts +62 -62
- package/src/blocks/validate.ts +206 -206
- package/src/capability-map/__tests__/validate.test.ts +238 -238
- package/src/capability-map/index.ts +8 -8
- package/src/capability-map/types.ts +29 -29
- package/src/capability-map/validate.ts +127 -127
- package/src/change/__tests__/validate.test.ts +43 -34
- package/src/change/index.ts +1 -0
- package/src/change/types.ts +5 -3
- package/src/change/validate.ts +75 -43
- package/src/compliance/__tests__/classify.test.ts +64 -27
- package/src/compliance/__tests__/confidence.test.ts +98 -98
- package/src/compliance/__tests__/coverage-metric.test.ts +300 -188
- package/src/compliance/__tests__/demo-scenario.test.ts +273 -273
- package/src/compliance/__tests__/example.test.ts +57 -57
- package/src/compliance/__tests__/gap-report.test.ts +128 -128
- package/src/compliance/__tests__/html.test.ts +141 -141
- package/src/compliance/__tests__/impact.test.ts +840 -481
- package/src/compliance/__tests__/markdown.test.ts +94 -94
- package/src/compliance/__tests__/views.test.ts +64 -64
- package/src/compliance/classify.ts +100 -84
- package/src/compliance/confidence.ts +69 -69
- package/src/compliance/coverage-metric.ts +404 -263
- package/src/compliance/gap-report.ts +94 -94
- package/src/compliance/html.ts +298 -295
- package/src/compliance/impact.ts +861 -677
- package/src/compliance/index.ts +57 -56
- package/src/compliance/markdown.ts +136 -135
- package/src/compliance/reverse-index.ts +33 -33
- package/src/compliance/types.ts +136 -120
- package/src/compliance/views.ts +46 -46
- package/src/compliance-matrix/__tests__/build.test.ts +200 -200
- package/src/compliance-matrix/__tests__/example.test.ts +57 -57
- package/src/compliance-matrix/index.ts +11 -11
- package/src/compliance-matrix/types.ts +102 -102
- package/src/edge-path.ts +50 -44
- package/src/factor/__tests__/validate.test.ts +80 -45
- package/src/factor/index.ts +3 -7
- package/src/factor/types.ts +14 -18
- package/src/factor/validate.ts +77 -51
- package/src/fgca/__tests__/chain-table.test.ts +172 -172
- package/src/fgca/__tests__/layout.test.ts +179 -179
- package/src/fgca/__tests__/parse-canonical.test.ts +248 -248
- package/src/fgca/__tests__/preview-layout.test.ts +124 -124
- package/src/fgca/__tests__/resolver.test.ts +209 -0
- package/src/fgca/__tests__/validate.test.ts +142 -142
- package/src/fgca/chain-table.ts +225 -225
- package/src/fgca/index.ts +47 -45
- package/src/fgca/layout.ts +204 -204
- package/src/fgca/nodeTypes.ts +11 -11
- package/src/fgca/nodes/FGCAActivityNode.tsx +65 -65
- package/src/fgca/nodes/FGCAChangeNode.tsx +64 -64
- package/src/fgca/nodes/FGCAFactorNode.tsx +64 -64
- package/src/fgca/nodes/FGCAGoalNode.tsx +72 -72
- package/src/fgca/parse-canonical.ts +400 -400
- package/src/fgca/preview-layout.ts +217 -217
- package/src/fgca/resolver.ts +157 -0
- package/src/fgca/types.ts +50 -50
- package/src/fgca/validate.ts +126 -126
- package/src/geometry.ts +9 -9
- package/src/goals/__tests__/layout.test.ts +175 -175
- package/src/goals/__tests__/mutations.test.ts +111 -111
- package/src/goals/__tests__/parse-canonical.test.ts +145 -145
- package/src/goals/__tests__/validate.test.ts +202 -202
- package/src/goals/index.ts +20 -21
- package/src/goals/layout.ts +172 -172
- package/src/goals/mutations.ts +123 -123
- package/src/goals/parse-canonical.ts +286 -286
- package/src/goals/types.ts +85 -85
- package/src/goals/validate.ts +136 -136
- package/src/index.ts +28 -23
- package/src/process-blueprint/__tests__/compliance-lane.test.ts +320 -320
- package/src/process-blueprint/__tests__/layout.test.ts +240 -195
- package/src/process-blueprint/__tests__/validate.test.ts +310 -310
- package/src/process-blueprint/index.ts +31 -31
- package/src/process-blueprint/layout.ts +535 -531
- package/src/process-blueprint/types.ts +263 -242
- package/src/process-blueprint/validate.ts +181 -181
- package/src/process-map/__tests__/validate.test.ts +223 -223
- package/src/process-map/index.ts +10 -10
- package/src/process-map/types.ts +36 -36
- package/src/process-map/validate.ts +135 -135
- package/src/products/__tests__/validate.test.ts +239 -239
- package/src/products/index.ts +9 -9
- package/src/products/types.ts +31 -31
- package/src/products/validate.ts +112 -112
- package/src/repo-validate/__tests__/validate-repo.test.ts +149 -149
- package/src/repo-validate/index.ts +2 -2
- package/src/repo-validate/types.ts +50 -50
- package/src/repo-validate/validate-repo.ts +196 -196
- package/src/requirement/__tests__/example.test.ts +24 -24
- package/src/requirement/__tests__/validate.test.ts +96 -96
- package/src/requirement/index.ts +4 -4
- package/src/requirement/types.ts +35 -35
- package/src/requirement/validate.ts +92 -92
- package/src/scenarios/__tests__/validate.test.ts +209 -209
- package/src/scenarios/index.ts +15 -15
- package/src/scenarios/types.ts +37 -37
- package/src/scenarios/validate.ts +122 -122
- package/src/schema-version.ts +16 -16
- package/src/scope.ts +46 -46
- package/src/stakeholder/__tests__/validate.test.ts +51 -47
- package/src/stakeholder/index.ts +1 -0
- package/src/stakeholder/types.ts +7 -7
- package/src/stakeholder/validate.ts +79 -52
- package/src/target-state/__tests__/validate.test.ts +48 -27
- package/src/target-state/index.ts +2 -0
- package/src/target-state/types.ts +11 -7
- package/src/target-state/validate.ts +76 -46
- package/src/theme/index.ts +4 -4
- package/src/theme/themes.ts +237 -237
- package/src/theme/tokens.ts +133 -133
- package/src/typed-id.ts +56 -56
- package/src/validation-types.ts +36 -36
- package/src/webview/__tests__/entry-notations.test.ts +77 -77
- package/src/webview/__tests__/entry.test.ts +64 -64
- package/src/webview/__tests__/render-goals.test.ts +72 -72
- package/src/webview/entry.ts +292 -292
- package/src/webview/render-activities.ts +5 -3
- package/src/webview/render-activity-card.ts +266 -234
- package/src/webview/render-fgca.ts +6 -5
- package/src/webview/render-goals.ts +111 -110
- package/src/webview/render-process-blueprint.ts +207 -207
- package/src/webview/styles.css +322 -323
- package/src/yaml-normalize.ts +56 -56
- package/dist/element-envelope.d.ts +0 -15
- package/dist/element-envelope.js +0 -55
- package/dist/issues/__tests__/layout.test.js +0 -62
- package/dist/issues/__tests__/validate.test.d.ts +0 -1
- package/dist/issues/__tests__/validate.test.js +0 -82
- package/dist/issues/index.d.ts +0 -4
- package/dist/issues/index.js +0 -2
- package/dist/issues/layout.d.ts +0 -10
- package/dist/issues/layout.js +0 -82
- package/dist/issues/types.d.ts +0 -61
- package/dist/issues/types.js +0 -6
- package/dist/issues/validate.d.ts +0 -3
- package/dist/issues/validate.js +0 -143
- package/dist/webview/transitrix-render.css +0 -323
- package/dist/webview/transitrix-render.js +0 -6452
- package/dist/webview/transitrix-render.js.map +0 -7
- package/src/element-envelope.ts +0 -76
- /package/dist/{issues/__tests__/layout.test.d.ts → fgca/__tests__/resolver.test.d.ts} +0 -0
package/src/goals/types.ts
CHANGED
|
@@ -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
|
+
}
|
package/src/goals/validate.ts
CHANGED
|
@@ -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 "./
|
|
4
|
-
export * from "./
|
|
5
|
-
export * from "./
|
|
6
|
-
export * from "./
|
|
7
|
-
export * from "./
|
|
8
|
-
export * from "./
|
|
9
|
-
export * from "./
|
|
10
|
-
export * from "./
|
|
11
|
-
export * from "./
|
|
12
|
-
export * from "./
|
|
13
|
-
export * from "./
|
|
14
|
-
export * from "./
|
|
15
|
-
export * from "./
|
|
16
|
-
export * from "./
|
|
17
|
-
export * from "./
|
|
18
|
-
export * from "./
|
|
19
|
-
export
|
|
20
|
-
export * from "./
|
|
21
|
-
export * from "./
|
|
22
|
-
export * from "./
|
|
23
|
-
export
|
|
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";
|