@cleocode/contracts 2026.5.121 → 2026.5.123
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/dist/__tests__/completion-operation-contracts.test.d.ts +8 -0
- package/dist/__tests__/completion-operation-contracts.test.d.ts.map +1 -0
- package/dist/__tests__/completion-operation-contracts.test.js +114 -0
- package/dist/__tests__/completion-operation-contracts.test.js.map +1 -0
- package/dist/__tests__/operation-envelope-validation.test.d.ts +8 -0
- package/dist/__tests__/operation-envelope-validation.test.d.ts.map +1 -0
- package/dist/__tests__/operation-envelope-validation.test.js +105 -0
- package/dist/__tests__/operation-envelope-validation.test.js.map +1 -0
- package/dist/__tests__/satisfies-atom.test.d.ts +24 -0
- package/dist/__tests__/satisfies-atom.test.d.ts.map +1 -0
- package/dist/__tests__/satisfies-atom.test.js +320 -0
- package/dist/__tests__/satisfies-atom.test.js.map +1 -0
- package/dist/__tests__/validator-types.test.d.ts +13 -0
- package/dist/__tests__/validator-types.test.d.ts.map +1 -0
- package/dist/__tests__/validator-types.test.js +293 -0
- package/dist/__tests__/validator-types.test.js.map +1 -0
- package/dist/__tests__/workgraph-context-scaffold-contracts.test.d.ts +8 -0
- package/dist/__tests__/workgraph-context-scaffold-contracts.test.d.ts.map +1 -0
- package/dist/__tests__/workgraph-context-scaffold-contracts.test.js +188 -0
- package/dist/__tests__/workgraph-context-scaffold-contracts.test.js.map +1 -0
- package/dist/__tests__/workgraph-operation-contracts.test.d.ts +8 -0
- package/dist/__tests__/workgraph-operation-contracts.test.d.ts.map +1 -0
- package/dist/__tests__/workgraph-operation-contracts.test.js +115 -0
- package/dist/__tests__/workgraph-operation-contracts.test.js.map +1 -0
- package/dist/config.d.ts +56 -0
- package/dist/config.d.ts.map +1 -1
- package/dist/data-accessor.d.ts +194 -0
- package/dist/data-accessor.d.ts.map +1 -1
- package/dist/data-accessor.js.map +1 -1
- package/dist/dispatch/__tests__/docs-update-registry.test.d.ts +2 -0
- package/dist/dispatch/__tests__/docs-update-registry.test.d.ts.map +1 -0
- package/dist/dispatch/__tests__/docs-update-registry.test.js +27 -0
- package/dist/dispatch/__tests__/docs-update-registry.test.js.map +1 -0
- package/dist/dispatch/__tests__/operation-envelope-snapshots.test.d.ts +2 -0
- package/dist/dispatch/__tests__/operation-envelope-snapshots.test.d.ts.map +1 -0
- package/dist/dispatch/__tests__/operation-envelope-snapshots.test.js +265 -0
- package/dist/dispatch/__tests__/operation-envelope-snapshots.test.js.map +1 -0
- package/dist/dispatch/operations-registry.d.ts.map +1 -1
- package/dist/dispatch/operations-registry.js +487 -7
- package/dist/dispatch/operations-registry.js.map +1 -1
- package/dist/evidence-atom-schema.d.ts +91 -0
- package/dist/evidence-atom-schema.d.ts.map +1 -1
- package/dist/evidence-atom-schema.js +162 -1
- package/dist/evidence-atom-schema.js.map +1 -1
- package/dist/exit-codes.d.ts +41 -1
- package/dist/exit-codes.d.ts.map +1 -1
- package/dist/exit-codes.js +40 -0
- package/dist/exit-codes.js.map +1 -1
- package/dist/index.d.ts +17 -9
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +12 -1
- package/dist/index.js.map +1 -1
- package/dist/operation-envelope-validation.d.ts +79 -0
- package/dist/operation-envelope-validation.d.ts.map +1 -0
- package/dist/operation-envelope-validation.js +219 -0
- package/dist/operation-envelope-validation.js.map +1 -0
- package/dist/operations/__tests__/agent-operation-contract.test.d.ts +2 -0
- package/dist/operations/__tests__/agent-operation-contract.test.d.ts.map +1 -0
- package/dist/operations/__tests__/agent-operation-contract.test.js +128 -0
- package/dist/operations/__tests__/agent-operation-contract.test.js.map +1 -0
- package/dist/operations/__tests__/tasks-input-contracts.test.js +15 -0
- package/dist/operations/__tests__/tasks-input-contracts.test.js.map +1 -1
- package/dist/operations/agent-operation-contract.d.ts +227 -0
- package/dist/operations/agent-operation-contract.d.ts.map +1 -0
- package/dist/operations/agent-operation-contract.js +38 -0
- package/dist/operations/agent-operation-contract.js.map +1 -0
- package/dist/operations/docs.d.ts +19 -1
- package/dist/operations/docs.d.ts.map +1 -1
- package/dist/operations/docs.js +20 -0
- package/dist/operations/docs.js.map +1 -1
- package/dist/operations/focus.d.ts +1 -1
- package/dist/operations/index.d.ts +1 -0
- package/dist/operations/index.d.ts.map +1 -1
- package/dist/operations/index.js +1 -0
- package/dist/operations/index.js.map +1 -1
- package/dist/operations/orchestrate.d.ts +66 -0
- package/dist/operations/orchestrate.d.ts.map +1 -1
- package/dist/operations/tasks.d.ts +617 -11
- package/dist/operations/tasks.d.ts.map +1 -1
- package/dist/operations/tasks.js +22 -3
- package/dist/operations/tasks.js.map +1 -1
- package/dist/task-record.d.ts +15 -0
- package/dist/task-record.d.ts.map +1 -1
- package/dist/task.d.ts +52 -5
- package/dist/task.d.ts.map +1 -1
- package/dist/task.js.map +1 -1
- package/dist/tasks.d.ts +944 -0
- package/dist/tasks.d.ts.map +1 -1
- package/dist/tasks.js +198 -1
- package/dist/tasks.js.map +1 -1
- package/dist/validator/index.d.ts +375 -0
- package/dist/validator/index.d.ts.map +1 -0
- package/dist/validator/index.js +162 -0
- package/dist/validator/index.js.map +1 -0
- package/dist/workgraph.d.ts +1950 -0
- package/dist/workgraph.d.ts.map +1 -0
- package/dist/workgraph.js +449 -0
- package/dist/workgraph.js.map +1 -0
- package/package.json +10 -2
- package/src/__tests__/__snapshots__/operations-registry.test.ts.snap +1 -1
- package/src/__tests__/completion-operation-contracts.test.ts +154 -0
- package/src/__tests__/operation-envelope-validation.test.ts +140 -0
- package/src/__tests__/satisfies-atom.test.ts +383 -0
- package/src/__tests__/validator-types.test.ts +359 -0
- package/src/__tests__/workgraph-context-scaffold-contracts.test.ts +232 -0
- package/src/__tests__/workgraph-operation-contracts.test.ts +151 -0
- package/src/config.ts +58 -0
- package/src/data-accessor.ts +213 -0
- package/src/dispatch/__tests__/docs-update-registry.test.ts +35 -0
- package/src/dispatch/__tests__/operation-envelope-snapshots.test.ts +283 -0
- package/src/dispatch/operations-registry.ts +502 -7
- package/src/evidence-atom-schema.ts +188 -1
- package/src/exit-codes.ts +42 -0
- package/src/index.ts +230 -2
- package/src/operation-envelope-validation.ts +319 -0
- package/src/operations/__tests__/agent-operation-contract.test.ts +161 -0
- package/src/operations/__tests__/tasks-input-contracts.test.ts +30 -0
- package/src/operations/agent-operation-contract.ts +253 -0
- package/src/operations/docs.ts +27 -7
- package/src/operations/focus.ts +1 -1
- package/src/operations/index.ts +1 -0
- package/src/operations/orchestrate.ts +71 -0
- package/src/operations/tasks.ts +662 -15
- package/src/task-record.ts +16 -0
- package/src/task.ts +54 -5
- package/src/tasks.ts +558 -0
- package/src/validator/index.ts +385 -0
- package/src/workgraph.ts +1153 -0
|
@@ -0,0 +1,13 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Type-level and runtime shape tests for T10510 Validator role contracts.
|
|
3
|
+
*
|
|
4
|
+
* Covers the AgentRole enum extension and the four envelope types
|
|
5
|
+
* (`ValidatorFinding`, `ValidatorAttestation`, `ValidatorRejection`,
|
|
6
|
+
* `ValidatorVerdict`) plus their Zod schemas and type guards.
|
|
7
|
+
*
|
|
8
|
+
* @task T10510
|
|
9
|
+
* @epic T10383 (E-VALIDATOR-ROLE)
|
|
10
|
+
* @saga T10377 (SG-IVTR-AC-BINDING)
|
|
11
|
+
*/
|
|
12
|
+
export {};
|
|
13
|
+
//# sourceMappingURL=validator-types.test.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"validator-types.test.d.ts","sourceRoot":"","sources":["../../src/__tests__/validator-types.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG"}
|
|
@@ -0,0 +1,293 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Type-level and runtime shape tests for T10510 Validator role contracts.
|
|
3
|
+
*
|
|
4
|
+
* Covers the AgentRole enum extension and the four envelope types
|
|
5
|
+
* (`ValidatorFinding`, `ValidatorAttestation`, `ValidatorRejection`,
|
|
6
|
+
* `ValidatorVerdict`) plus their Zod schemas and type guards.
|
|
7
|
+
*
|
|
8
|
+
* @task T10510
|
|
9
|
+
* @epic T10383 (E-VALIDATOR-ROLE)
|
|
10
|
+
* @saga T10377 (SG-IVTR-AC-BINDING)
|
|
11
|
+
*/
|
|
12
|
+
import { describe, expect, it } from 'vitest';
|
|
13
|
+
import { AGENT_ROLES, isAgentRole, isValidatorAttestation, isValidatorRejection, isValidatorVerdict, VALIDATOR_ID_REGEX, validatorAttestationSchema, validatorFindingSchema, validatorRejectionSchema, validatorVerdictSchema, } from '../validator/index.js';
|
|
14
|
+
// ============================================================================
|
|
15
|
+
// Test fixtures
|
|
16
|
+
// ============================================================================
|
|
17
|
+
const NOW = '2026-05-24T12:00:00Z';
|
|
18
|
+
const passFinding = {
|
|
19
|
+
acId: '11111111-1111-4111-8111-111111111111',
|
|
20
|
+
status: 'pass',
|
|
21
|
+
reasoning: 'AC satisfied — implementation matches spec',
|
|
22
|
+
checkedAt: NOW,
|
|
23
|
+
};
|
|
24
|
+
const failFinding = {
|
|
25
|
+
acId: '22222222-2222-4222-8222-222222222222',
|
|
26
|
+
status: 'fail',
|
|
27
|
+
reasoning: 'Missing error handling for the null branch',
|
|
28
|
+
evidenceRefs: ['src/foo.ts:42', 'tests/foo.test.ts:17'],
|
|
29
|
+
checkedAt: NOW,
|
|
30
|
+
};
|
|
31
|
+
const inconclusiveFinding = {
|
|
32
|
+
acId: '33333333-3333-4333-8333-333333333333',
|
|
33
|
+
status: 'inconclusive',
|
|
34
|
+
reasoning: 'Cannot reproduce the claimed test — file not present',
|
|
35
|
+
checkedAt: NOW,
|
|
36
|
+
};
|
|
37
|
+
// ============================================================================
|
|
38
|
+
// AgentRole enum
|
|
39
|
+
// ============================================================================
|
|
40
|
+
describe('AgentRole enum (T10510)', () => {
|
|
41
|
+
it('contains the four canonical roles', () => {
|
|
42
|
+
expect(AGENT_ROLES).toEqual(['orchestrator', 'lead', 'worker', 'validator']);
|
|
43
|
+
});
|
|
44
|
+
it('AGENT_ROLES is a readonly tuple of length 4', () => {
|
|
45
|
+
// `as const` is a compile-time readonly marker — there is no runtime
|
|
46
|
+
// freeze. The TS type guard below ensures mutation attempts are rejected
|
|
47
|
+
// by the compiler; runtime length is the structural invariant.
|
|
48
|
+
expect(AGENT_ROLES.length).toBe(4);
|
|
49
|
+
// @ts-expect-error — readonly tuple disallows .push at the type level.
|
|
50
|
+
AGENT_ROLES.push;
|
|
51
|
+
});
|
|
52
|
+
it('AgentRole type compiles for all four values', () => {
|
|
53
|
+
const roles = ['orchestrator', 'lead', 'worker', 'validator'];
|
|
54
|
+
expect(roles).toHaveLength(4);
|
|
55
|
+
});
|
|
56
|
+
it('isAgentRole accepts canonical values', () => {
|
|
57
|
+
for (const r of AGENT_ROLES) {
|
|
58
|
+
expect(isAgentRole(r)).toBe(true);
|
|
59
|
+
}
|
|
60
|
+
});
|
|
61
|
+
it('isAgentRole rejects unknown strings and non-strings', () => {
|
|
62
|
+
expect(isAgentRole('subagent')).toBe(false);
|
|
63
|
+
expect(isAgentRole('Validator')).toBe(false);
|
|
64
|
+
expect(isAgentRole('')).toBe(false);
|
|
65
|
+
expect(isAgentRole(undefined)).toBe(false);
|
|
66
|
+
expect(isAgentRole(null)).toBe(false);
|
|
67
|
+
expect(isAgentRole(42)).toBe(false);
|
|
68
|
+
expect(isAgentRole({})).toBe(false);
|
|
69
|
+
});
|
|
70
|
+
});
|
|
71
|
+
// ============================================================================
|
|
72
|
+
// VALIDATOR_ID_REGEX
|
|
73
|
+
// ============================================================================
|
|
74
|
+
describe('VALIDATOR_ID_REGEX (T10510)', () => {
|
|
75
|
+
it('accepts canonical validator agentIds', () => {
|
|
76
|
+
expect(VALIDATOR_ID_REGEX.test('validator-prime')).toBe(true);
|
|
77
|
+
expect(VALIDATOR_ID_REGEX.test('validator-sec-001')).toBe(true);
|
|
78
|
+
expect(VALIDATOR_ID_REGEX.test('validator-a')).toBe(true);
|
|
79
|
+
expect(VALIDATOR_ID_REGEX.test('validator-9-test')).toBe(true);
|
|
80
|
+
});
|
|
81
|
+
it('rejects malformed validator agentIds', () => {
|
|
82
|
+
expect(VALIDATOR_ID_REGEX.test('validator-')).toBe(false);
|
|
83
|
+
expect(VALIDATOR_ID_REGEX.test('Validator-prime')).toBe(false);
|
|
84
|
+
expect(VALIDATOR_ID_REGEX.test('validator-Prime')).toBe(false);
|
|
85
|
+
expect(VALIDATOR_ID_REGEX.test('worker-prime')).toBe(false);
|
|
86
|
+
expect(VALIDATOR_ID_REGEX.test('validator-_x')).toBe(false);
|
|
87
|
+
});
|
|
88
|
+
});
|
|
89
|
+
// ============================================================================
|
|
90
|
+
// ValidatorFinding
|
|
91
|
+
// ============================================================================
|
|
92
|
+
describe('ValidatorFinding (T10510)', () => {
|
|
93
|
+
it('accepts pass / fail / inconclusive', () => {
|
|
94
|
+
expect(validatorFindingSchema.safeParse(passFinding).success).toBe(true);
|
|
95
|
+
expect(validatorFindingSchema.safeParse(failFinding).success).toBe(true);
|
|
96
|
+
expect(validatorFindingSchema.safeParse(inconclusiveFinding).success).toBe(true);
|
|
97
|
+
});
|
|
98
|
+
it('rejects empty acId', () => {
|
|
99
|
+
const bad = { ...passFinding, acId: '' };
|
|
100
|
+
expect(validatorFindingSchema.safeParse(bad).success).toBe(false);
|
|
101
|
+
});
|
|
102
|
+
it('rejects empty reasoning', () => {
|
|
103
|
+
const bad = { ...passFinding, reasoning: '' };
|
|
104
|
+
expect(validatorFindingSchema.safeParse(bad).success).toBe(false);
|
|
105
|
+
});
|
|
106
|
+
it('rejects unknown status value', () => {
|
|
107
|
+
const bad = { ...passFinding, status: 'warn' };
|
|
108
|
+
expect(validatorFindingSchema.safeParse(bad).success).toBe(false);
|
|
109
|
+
});
|
|
110
|
+
it('accepts optional evidenceRefs array', () => {
|
|
111
|
+
const withRefs = { ...passFinding, evidenceRefs: ['a', 'b'] };
|
|
112
|
+
expect(validatorFindingSchema.safeParse(withRefs).success).toBe(true);
|
|
113
|
+
});
|
|
114
|
+
});
|
|
115
|
+
// ============================================================================
|
|
116
|
+
// ValidatorAttestation
|
|
117
|
+
// ============================================================================
|
|
118
|
+
describe('ValidatorAttestation (T10510)', () => {
|
|
119
|
+
const baseAttestation = {
|
|
120
|
+
verdict: 'attest',
|
|
121
|
+
taskId: 'T10510',
|
|
122
|
+
validatorId: 'validator-prime',
|
|
123
|
+
findings: [passFinding],
|
|
124
|
+
attestedAt: NOW,
|
|
125
|
+
schemaVersion: '1',
|
|
126
|
+
};
|
|
127
|
+
it('accepts a well-formed attestation with all passes', () => {
|
|
128
|
+
expect(validatorAttestationSchema.safeParse(baseAttestation).success).toBe(true);
|
|
129
|
+
});
|
|
130
|
+
it('accepts optional summary', () => {
|
|
131
|
+
const withSummary = { ...baseAttestation, summary: 'All ACs verified' };
|
|
132
|
+
expect(validatorAttestationSchema.safeParse(withSummary).success).toBe(true);
|
|
133
|
+
});
|
|
134
|
+
it('accepts multiple pass findings', () => {
|
|
135
|
+
const multi = {
|
|
136
|
+
...baseAttestation,
|
|
137
|
+
findings: [passFinding, { ...passFinding, acId: '44444444-4444-4444-8444-444444444444' }],
|
|
138
|
+
};
|
|
139
|
+
expect(validatorAttestationSchema.safeParse(multi).success).toBe(true);
|
|
140
|
+
});
|
|
141
|
+
it('REJECTS attestation containing any fail finding', () => {
|
|
142
|
+
const mixed = { ...baseAttestation, findings: [passFinding, failFinding] };
|
|
143
|
+
const r = validatorAttestationSchema.safeParse(mixed);
|
|
144
|
+
expect(r.success).toBe(false);
|
|
145
|
+
});
|
|
146
|
+
it('REJECTS attestation containing inconclusive finding', () => {
|
|
147
|
+
const mixed = { ...baseAttestation, findings: [passFinding, inconclusiveFinding] };
|
|
148
|
+
expect(validatorAttestationSchema.safeParse(mixed).success).toBe(false);
|
|
149
|
+
});
|
|
150
|
+
it('REJECTS empty findings array', () => {
|
|
151
|
+
const empty = { ...baseAttestation, findings: [] };
|
|
152
|
+
expect(validatorAttestationSchema.safeParse(empty).success).toBe(false);
|
|
153
|
+
});
|
|
154
|
+
it('REJECTS malformed validatorId', () => {
|
|
155
|
+
const bad = { ...baseAttestation, validatorId: 'worker-prime' };
|
|
156
|
+
expect(validatorAttestationSchema.safeParse(bad).success).toBe(false);
|
|
157
|
+
});
|
|
158
|
+
it('REJECTS wrong verdict discriminant', () => {
|
|
159
|
+
const bad = { ...baseAttestation, verdict: 'reject' };
|
|
160
|
+
expect(validatorAttestationSchema.safeParse(bad).success).toBe(false);
|
|
161
|
+
});
|
|
162
|
+
it('REJECTS wrong schemaVersion', () => {
|
|
163
|
+
const bad = { ...baseAttestation, schemaVersion: '2' };
|
|
164
|
+
expect(validatorAttestationSchema.safeParse(bad).success).toBe(false);
|
|
165
|
+
});
|
|
166
|
+
});
|
|
167
|
+
// ============================================================================
|
|
168
|
+
// ValidatorRejection
|
|
169
|
+
// ============================================================================
|
|
170
|
+
describe('ValidatorRejection (T10510)', () => {
|
|
171
|
+
const baseRejection = {
|
|
172
|
+
verdict: 'reject',
|
|
173
|
+
taskId: 'T10510',
|
|
174
|
+
validatorId: 'validator-sec-001',
|
|
175
|
+
findings: [failFinding],
|
|
176
|
+
summary: 'AC#2 fails — null branch unhandled',
|
|
177
|
+
rejectedAt: NOW,
|
|
178
|
+
schemaVersion: '1',
|
|
179
|
+
};
|
|
180
|
+
it('accepts a well-formed rejection with a fail finding', () => {
|
|
181
|
+
expect(validatorRejectionSchema.safeParse(baseRejection).success).toBe(true);
|
|
182
|
+
});
|
|
183
|
+
it('accepts a rejection with only an inconclusive finding', () => {
|
|
184
|
+
const inc = { ...baseRejection, findings: [inconclusiveFinding] };
|
|
185
|
+
expect(validatorRejectionSchema.safeParse(inc).success).toBe(true);
|
|
186
|
+
});
|
|
187
|
+
it('accepts mixed pass + fail findings', () => {
|
|
188
|
+
const mixed = { ...baseRejection, findings: [passFinding, failFinding] };
|
|
189
|
+
expect(validatorRejectionSchema.safeParse(mixed).success).toBe(true);
|
|
190
|
+
});
|
|
191
|
+
it('REJECTS rejection where every finding is pass', () => {
|
|
192
|
+
const allPass = { ...baseRejection, findings: [passFinding, passFinding] };
|
|
193
|
+
const r = validatorRejectionSchema.safeParse(allPass);
|
|
194
|
+
expect(r.success).toBe(false);
|
|
195
|
+
});
|
|
196
|
+
it('REJECTS empty findings array', () => {
|
|
197
|
+
const empty = { ...baseRejection, findings: [] };
|
|
198
|
+
expect(validatorRejectionSchema.safeParse(empty).success).toBe(false);
|
|
199
|
+
});
|
|
200
|
+
it('REJECTS empty summary', () => {
|
|
201
|
+
const bad = { ...baseRejection, summary: '' };
|
|
202
|
+
expect(validatorRejectionSchema.safeParse(bad).success).toBe(false);
|
|
203
|
+
});
|
|
204
|
+
it('accepts optional remediationHints', () => {
|
|
205
|
+
const withHints = {
|
|
206
|
+
...baseRejection,
|
|
207
|
+
remediationHints: ['Add null guard to foo()', 'Add regression test'],
|
|
208
|
+
};
|
|
209
|
+
expect(validatorRejectionSchema.safeParse(withHints).success).toBe(true);
|
|
210
|
+
});
|
|
211
|
+
});
|
|
212
|
+
// ============================================================================
|
|
213
|
+
// ValidatorVerdict discriminated union
|
|
214
|
+
// ============================================================================
|
|
215
|
+
describe('ValidatorVerdict (T10510)', () => {
|
|
216
|
+
const attestation = {
|
|
217
|
+
verdict: 'attest',
|
|
218
|
+
taskId: 'T10510',
|
|
219
|
+
validatorId: 'validator-prime',
|
|
220
|
+
findings: [passFinding],
|
|
221
|
+
attestedAt: NOW,
|
|
222
|
+
schemaVersion: '1',
|
|
223
|
+
};
|
|
224
|
+
const rejection = {
|
|
225
|
+
verdict: 'reject',
|
|
226
|
+
taskId: 'T10510',
|
|
227
|
+
validatorId: 'validator-prime',
|
|
228
|
+
findings: [failFinding],
|
|
229
|
+
summary: 'fail',
|
|
230
|
+
rejectedAt: NOW,
|
|
231
|
+
schemaVersion: '1',
|
|
232
|
+
};
|
|
233
|
+
it('schema accepts both attest and reject envelopes', () => {
|
|
234
|
+
expect(validatorVerdictSchema.safeParse(attestation).success).toBe(true);
|
|
235
|
+
expect(validatorVerdictSchema.safeParse(rejection).success).toBe(true);
|
|
236
|
+
});
|
|
237
|
+
it('schema rejects envelope with unknown verdict', () => {
|
|
238
|
+
const bad = { ...attestation, verdict: 'maybe' };
|
|
239
|
+
expect(validatorVerdictSchema.safeParse(bad).success).toBe(false);
|
|
240
|
+
});
|
|
241
|
+
it('discriminant narrows in TypeScript at compile time', () => {
|
|
242
|
+
const handle = (v) => {
|
|
243
|
+
if (v.verdict === 'attest') {
|
|
244
|
+
// TS narrows to ValidatorAttestation here
|
|
245
|
+
return `attested ${v.attestedAt}`;
|
|
246
|
+
}
|
|
247
|
+
// TS narrows to ValidatorRejection here
|
|
248
|
+
return `rejected ${v.rejectedAt} — ${v.summary}`;
|
|
249
|
+
};
|
|
250
|
+
expect(handle(attestation)).toContain('attested');
|
|
251
|
+
expect(handle(rejection)).toContain('rejected');
|
|
252
|
+
});
|
|
253
|
+
});
|
|
254
|
+
// ============================================================================
|
|
255
|
+
// Type guards
|
|
256
|
+
// ============================================================================
|
|
257
|
+
describe('Validator type guards (T10510)', () => {
|
|
258
|
+
const attestation = {
|
|
259
|
+
verdict: 'attest',
|
|
260
|
+
taskId: 'T10510',
|
|
261
|
+
validatorId: 'validator-prime',
|
|
262
|
+
findings: [passFinding],
|
|
263
|
+
attestedAt: NOW,
|
|
264
|
+
schemaVersion: '1',
|
|
265
|
+
};
|
|
266
|
+
const rejection = {
|
|
267
|
+
verdict: 'reject',
|
|
268
|
+
taskId: 'T10510',
|
|
269
|
+
validatorId: 'validator-prime',
|
|
270
|
+
findings: [failFinding],
|
|
271
|
+
summary: 'fail',
|
|
272
|
+
rejectedAt: NOW,
|
|
273
|
+
schemaVersion: '1',
|
|
274
|
+
};
|
|
275
|
+
it('isValidatorAttestation returns true only for attestations', () => {
|
|
276
|
+
expect(isValidatorAttestation(attestation)).toBe(true);
|
|
277
|
+
expect(isValidatorAttestation(rejection)).toBe(false);
|
|
278
|
+
expect(isValidatorAttestation(null)).toBe(false);
|
|
279
|
+
expect(isValidatorAttestation({})).toBe(false);
|
|
280
|
+
});
|
|
281
|
+
it('isValidatorRejection returns true only for rejections', () => {
|
|
282
|
+
expect(isValidatorRejection(rejection)).toBe(true);
|
|
283
|
+
expect(isValidatorRejection(attestation)).toBe(false);
|
|
284
|
+
expect(isValidatorRejection(null)).toBe(false);
|
|
285
|
+
});
|
|
286
|
+
it('isValidatorVerdict returns true for both shapes', () => {
|
|
287
|
+
expect(isValidatorVerdict(attestation)).toBe(true);
|
|
288
|
+
expect(isValidatorVerdict(rejection)).toBe(true);
|
|
289
|
+
expect(isValidatorVerdict({ verdict: 'attest' })).toBe(false);
|
|
290
|
+
expect(isValidatorVerdict(null)).toBe(false);
|
|
291
|
+
});
|
|
292
|
+
});
|
|
293
|
+
//# sourceMappingURL=validator-types.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"validator-types.test.js","sourceRoot":"","sources":["../../src/__tests__/validator-types.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EACL,WAAW,EAEX,WAAW,EACX,sBAAsB,EACtB,oBAAoB,EACpB,kBAAkB,EAClB,kBAAkB,EAKlB,0BAA0B,EAC1B,sBAAsB,EACtB,wBAAwB,EACxB,sBAAsB,GACvB,MAAM,uBAAuB,CAAC;AAE/B,+EAA+E;AAC/E,gBAAgB;AAChB,+EAA+E;AAE/E,MAAM,GAAG,GAAG,sBAAsB,CAAC;AAEnC,MAAM,WAAW,GAAqB;IACpC,IAAI,EAAE,sCAAsC;IAC5C,MAAM,EAAE,MAAM;IACd,SAAS,EAAE,4CAA4C;IACvD,SAAS,EAAE,GAAG;CACf,CAAC;AAEF,MAAM,WAAW,GAAqB;IACpC,IAAI,EAAE,sCAAsC;IAC5C,MAAM,EAAE,MAAM;IACd,SAAS,EAAE,4CAA4C;IACvD,YAAY,EAAE,CAAC,eAAe,EAAE,sBAAsB,CAAC;IACvD,SAAS,EAAE,GAAG;CACf,CAAC;AAEF,MAAM,mBAAmB,GAAqB;IAC5C,IAAI,EAAE,sCAAsC;IAC5C,MAAM,EAAE,cAAc;IACtB,SAAS,EAAE,sDAAsD;IACjE,SAAS,EAAE,GAAG;CACf,CAAC;AAEF,+EAA+E;AAC/E,iBAAiB;AACjB,+EAA+E;AAE/E,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,WAAW,CAAC,CAAC,OAAO,CAAC,CAAC,cAAc,EAAE,MAAM,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC,CAAC;IAC/E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,qEAAqE;QACrE,yEAAyE;QACzE,+DAA+D;QAC/D,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnC,uEAAuE;QACvE,WAAW,CAAC,IAAI,CAAC;IACnB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,KAAK,GAAgB,CAAC,cAAc,EAAE,MAAM,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC;QAC3E,MAAM,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;YAC5B,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5C,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC7C,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpC,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3C,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACtC,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpC,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+EAA+E;AAC/E,qBAAqB;AACrB,+EAA+E;AAE/E,QAAQ,CAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,kBAAkB,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9D,MAAM,CAAC,kBAAkB,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChE,MAAM,CAAC,kBAAkB,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1D,MAAM,CAAC,kBAAkB,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,kBAAkB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1D,MAAM,CAAC,kBAAkB,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/D,MAAM,CAAC,kBAAkB,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/D,MAAM,CAAC,kBAAkB,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5D,MAAM,CAAC,kBAAkB,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+EAA+E;AAC/E,mBAAmB;AACnB,+EAA+E;AAE/E,QAAQ,CAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,CAAC,sBAAsB,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzE,MAAM,CAAC,sBAAsB,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzE,MAAM,CAAC,sBAAsB,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,GAAG,GAAG,EAAE,GAAG,WAAW,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;QACzC,MAAM,CAAC,sBAAsB,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,GAAG,GAAG,EAAE,GAAG,WAAW,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;QAC9C,MAAM,CAAC,sBAAsB,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,GAAG,GAAG,EAAE,GAAG,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;QAC/C,MAAM,CAAC,sBAAsB,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,QAAQ,GAAG,EAAE,GAAG,WAAW,EAAE,YAAY,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;QAC9D,MAAM,CAAC,sBAAsB,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+EAA+E;AAC/E,uBAAuB;AACvB,+EAA+E;AAE/E,QAAQ,CAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,MAAM,eAAe,GAAyB;QAC5C,OAAO,EAAE,QAAQ;QACjB,MAAM,EAAE,QAAQ;QAChB,WAAW,EAAE,iBAAiB;QAC9B,QAAQ,EAAE,CAAC,WAAW,CAAC;QACvB,UAAU,EAAE,GAAG;QACf,aAAa,EAAE,GAAG;KACnB,CAAC;IAEF,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,CAAC,0BAA0B,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,WAAW,GAAG,EAAE,GAAG,eAAe,EAAE,OAAO,EAAE,kBAAkB,EAAE,CAAC;QACxE,MAAM,CAAC,0BAA0B,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,KAAK,GAAG;YACZ,GAAG,eAAe;YAClB,QAAQ,EAAE,CAAC,WAAW,EAAE,EAAE,GAAG,WAAW,EAAE,IAAI,EAAE,sCAAsC,EAAE,CAAC;SAC1F,CAAC;QACF,MAAM,CAAC,0BAA0B,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,KAAK,GAAG,EAAE,GAAG,eAAe,EAAE,QAAQ,EAAE,CAAC,WAAW,EAAE,WAAW,CAAC,EAAE,CAAC;QAC3E,MAAM,CAAC,GAAG,0BAA0B,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QACtD,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,KAAK,GAAG,EAAE,GAAG,eAAe,EAAE,QAAQ,EAAE,CAAC,WAAW,EAAE,mBAAmB,CAAC,EAAE,CAAC;QACnF,MAAM,CAAC,0BAA0B,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,KAAK,GAAG,EAAE,GAAG,eAAe,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;QACnD,MAAM,CAAC,0BAA0B,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,GAAG,GAAG,EAAE,GAAG,eAAe,EAAE,WAAW,EAAE,cAAc,EAAE,CAAC;QAChE,MAAM,CAAC,0BAA0B,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,GAAG,GAAG,EAAE,GAAG,eAAe,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;QACtD,MAAM,CAAC,0BAA0B,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,GAAG,GAAG,EAAE,GAAG,eAAe,EAAE,aAAa,EAAE,GAAG,EAAE,CAAC;QACvD,MAAM,CAAC,0BAA0B,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+EAA+E;AAC/E,qBAAqB;AACrB,+EAA+E;AAE/E,QAAQ,CAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,MAAM,aAAa,GAAuB;QACxC,OAAO,EAAE,QAAQ;QACjB,MAAM,EAAE,QAAQ;QAChB,WAAW,EAAE,mBAAmB;QAChC,QAAQ,EAAE,CAAC,WAAW,CAAC;QACvB,OAAO,EAAE,oCAAoC;QAC7C,UAAU,EAAE,GAAG;QACf,aAAa,EAAE,GAAG;KACnB,CAAC;IAEF,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,wBAAwB,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,GAAG,GAAG,EAAE,GAAG,aAAa,EAAE,QAAQ,EAAE,CAAC,mBAAmB,CAAC,EAAE,CAAC;QAClE,MAAM,CAAC,wBAAwB,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,KAAK,GAAG,EAAE,GAAG,aAAa,EAAE,QAAQ,EAAE,CAAC,WAAW,EAAE,WAAW,CAAC,EAAE,CAAC;QACzE,MAAM,CAAC,wBAAwB,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,OAAO,GAAG,EAAE,GAAG,aAAa,EAAE,QAAQ,EAAE,CAAC,WAAW,EAAE,WAAW,CAAC,EAAE,CAAC;QAC3E,MAAM,CAAC,GAAG,wBAAwB,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;QACtD,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,KAAK,GAAG,EAAE,GAAG,aAAa,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;QACjD,MAAM,CAAC,wBAAwB,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,GAAG,GAAG,EAAE,GAAG,aAAa,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;QAC9C,MAAM,CAAC,wBAAwB,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,SAAS,GAAG;YAChB,GAAG,aAAa;YAChB,gBAAgB,EAAE,CAAC,yBAAyB,EAAE,qBAAqB,CAAC;SACrE,CAAC;QACF,MAAM,CAAC,wBAAwB,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+EAA+E;AAC/E,uCAAuC;AACvC,+EAA+E;AAE/E,QAAQ,CAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,MAAM,WAAW,GAAyB;QACxC,OAAO,EAAE,QAAQ;QACjB,MAAM,EAAE,QAAQ;QAChB,WAAW,EAAE,iBAAiB;QAC9B,QAAQ,EAAE,CAAC,WAAW,CAAC;QACvB,UAAU,EAAE,GAAG;QACf,aAAa,EAAE,GAAG;KACnB,CAAC;IACF,MAAM,SAAS,GAAuB;QACpC,OAAO,EAAE,QAAQ;QACjB,MAAM,EAAE,QAAQ;QAChB,WAAW,EAAE,iBAAiB;QAC9B,QAAQ,EAAE,CAAC,WAAW,CAAC;QACvB,OAAO,EAAE,MAAM;QACf,UAAU,EAAE,GAAG;QACf,aAAa,EAAE,GAAG;KACnB,CAAC;IAEF,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,CAAC,sBAAsB,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzE,MAAM,CAAC,sBAAsB,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,GAAG,GAAG,EAAE,GAAG,WAAW,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;QACjD,MAAM,CAAC,sBAAsB,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,MAAM,GAAG,CAAC,CAAmB,EAAU,EAAE;YAC7C,IAAI,CAAC,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;gBAC3B,0CAA0C;gBAC1C,OAAO,YAAY,CAAC,CAAC,UAAU,EAAE,CAAC;YACpC,CAAC;YACD,wCAAwC;YACxC,OAAO,YAAY,CAAC,CAAC,UAAU,MAAM,CAAC,CAAC,OAAO,EAAE,CAAC;QACnD,CAAC,CAAC;QACF,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QAClD,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+EAA+E;AAC/E,cAAc;AACd,+EAA+E;AAE/E,QAAQ,CAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,MAAM,WAAW,GAAyB;QACxC,OAAO,EAAE,QAAQ;QACjB,MAAM,EAAE,QAAQ;QAChB,WAAW,EAAE,iBAAiB;QAC9B,QAAQ,EAAE,CAAC,WAAW,CAAC;QACvB,UAAU,EAAE,GAAG;QACf,aAAa,EAAE,GAAG;KACnB,CAAC;IACF,MAAM,SAAS,GAAuB;QACpC,OAAO,EAAE,QAAQ;QACjB,MAAM,EAAE,QAAQ;QAChB,WAAW,EAAE,iBAAiB;QAC9B,QAAQ,EAAE,CAAC,WAAW,CAAC;QACvB,OAAO,EAAE,MAAM;QACf,UAAU,EAAE,GAAG;QACf,aAAa,EAAE,GAAG;KACnB,CAAC;IAEF,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,CAAC,sBAAsB,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvD,MAAM,CAAC,sBAAsB,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACtD,MAAM,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjD,MAAM,CAAC,sBAAsB,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,CAAC,oBAAoB,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnD,MAAM,CAAC,oBAAoB,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACtD,MAAM,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,CAAC,kBAAkB,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnD,MAAM,CAAC,kBAAkB,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjD,MAAM,CAAC,kBAAkB,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9D,MAAM,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"workgraph-context-scaffold-contracts.test.d.ts","sourceRoot":"","sources":["../../src/__tests__/workgraph-context-scaffold-contracts.test.ts"],"names":[],"mappings":"AAAA;;;;;GAKG"}
|
|
@@ -0,0 +1,188 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Contract tests for bounded WorkGraph context packs, readiness, and scaffold envelopes.
|
|
3
|
+
*
|
|
4
|
+
* @task T10609
|
|
5
|
+
* @saga T10538
|
|
6
|
+
*/
|
|
7
|
+
import { describe, expect, it } from 'vitest';
|
|
8
|
+
import { workGraphContextPackParamsSchema, workGraphContextPackSchema, workGraphReadinessParamsSchema, workGraphReadinessResultSchema, workGraphScaffoldApplyParamsSchema, workGraphScaffoldApplyResultSchema, workGraphScaffoldValidateParamsSchema, workGraphScaffoldValidateResultSchema, workGraphSliceParamsSchema, workGraphSliceSchema, } from '../workgraph.js';
|
|
9
|
+
const taskNode = {
|
|
10
|
+
id: 'T10609',
|
|
11
|
+
type: 'task',
|
|
12
|
+
title: 'Add contracts',
|
|
13
|
+
status: 'pending',
|
|
14
|
+
priority: 'high',
|
|
15
|
+
parentId: 'T10545',
|
|
16
|
+
};
|
|
17
|
+
const emptyPageInfo = { hasMore: false };
|
|
18
|
+
const readyGroups = {
|
|
19
|
+
ready: [
|
|
20
|
+
{
|
|
21
|
+
...taskNode,
|
|
22
|
+
role: 'worker',
|
|
23
|
+
dependencyBlockers: [],
|
|
24
|
+
gateBlockers: [],
|
|
25
|
+
},
|
|
26
|
+
],
|
|
27
|
+
blocked: [],
|
|
28
|
+
blockedBy: [],
|
|
29
|
+
};
|
|
30
|
+
describe('WorkGraph bounded context and scaffold contracts', () => {
|
|
31
|
+
it('validates bounded context packs with graph slices, relation edges, readiness, budget, and omissions', () => {
|
|
32
|
+
expect(workGraphContextPackParamsSchema.parse({
|
|
33
|
+
rootId: 'T10545',
|
|
34
|
+
tokenBudget: 1500,
|
|
35
|
+
includeRelations: true,
|
|
36
|
+
includeReadiness: true,
|
|
37
|
+
includeRollup: true,
|
|
38
|
+
limit: 25,
|
|
39
|
+
})).toEqual({
|
|
40
|
+
rootId: 'T10545',
|
|
41
|
+
tokenBudget: 1500,
|
|
42
|
+
includeRelations: true,
|
|
43
|
+
includeReadiness: true,
|
|
44
|
+
includeRollup: true,
|
|
45
|
+
limit: 25,
|
|
46
|
+
});
|
|
47
|
+
const parsed = workGraphContextPackSchema.parse({
|
|
48
|
+
rootId: 'T10545',
|
|
49
|
+
generatedAt: '2026-05-26T10:00:00.000Z',
|
|
50
|
+
budget: {
|
|
51
|
+
tokenBudget: 1500,
|
|
52
|
+
estimatedTokens: 1200,
|
|
53
|
+
remainingTokens: 300,
|
|
54
|
+
truncated: true,
|
|
55
|
+
},
|
|
56
|
+
slice: {
|
|
57
|
+
rootId: 'T10545',
|
|
58
|
+
direction: 'descendants',
|
|
59
|
+
nodes: [taskNode],
|
|
60
|
+
edges: [{ fromId: 'T10545', toId: 'T10609', kind: 'contains' }],
|
|
61
|
+
pageInfo: { nextCursor: '0002:T10610', hasMore: true },
|
|
62
|
+
omissions: [
|
|
63
|
+
{
|
|
64
|
+
path: 'slice.nodes[25:]',
|
|
65
|
+
reason: 'budget_exceeded',
|
|
66
|
+
message: 'Additional nodes omitted to stay under token budget',
|
|
67
|
+
estimatedTokens: 400,
|
|
68
|
+
},
|
|
69
|
+
],
|
|
70
|
+
},
|
|
71
|
+
relationEdges: {
|
|
72
|
+
rootId: 'T10609',
|
|
73
|
+
direction: 'both',
|
|
74
|
+
edges: [
|
|
75
|
+
{
|
|
76
|
+
source: 'dependency',
|
|
77
|
+
fromId: 'T10609',
|
|
78
|
+
toId: 'T10608',
|
|
79
|
+
kind: 'depends_on',
|
|
80
|
+
},
|
|
81
|
+
{
|
|
82
|
+
source: 'relation',
|
|
83
|
+
fromId: 'T10538',
|
|
84
|
+
toId: 'T10545',
|
|
85
|
+
kind: 'groups',
|
|
86
|
+
relationType: 'groups',
|
|
87
|
+
reason: 'Saga membership',
|
|
88
|
+
},
|
|
89
|
+
],
|
|
90
|
+
},
|
|
91
|
+
readiness: {
|
|
92
|
+
rootId: 'T10545',
|
|
93
|
+
role: 'worker',
|
|
94
|
+
ready: true,
|
|
95
|
+
warnings: [],
|
|
96
|
+
groups: readyGroups,
|
|
97
|
+
},
|
|
98
|
+
rollup: {
|
|
99
|
+
rootId: 'T10545',
|
|
100
|
+
direct: { total: 1, byStatus: { pending: 1 }, byType: { task: 1 } },
|
|
101
|
+
subtree: { total: 1, byStatus: { pending: 1 }, byType: { task: 1 } },
|
|
102
|
+
percentDenominator: { basis: 'subtree-total', total: 1, description: 'subtree total' },
|
|
103
|
+
percentages: { done: 0, active: 0, blocked: 0, pending: 100, cancelled: 0 },
|
|
104
|
+
staleProjection: false,
|
|
105
|
+
projectionMismatches: [],
|
|
106
|
+
},
|
|
107
|
+
omissions: [
|
|
108
|
+
{ path: 'rollup.history', reason: 'not_requested', message: 'History not requested' },
|
|
109
|
+
],
|
|
110
|
+
});
|
|
111
|
+
expect(parsed.budget.truncated).toBe(true);
|
|
112
|
+
expect(parsed.relationEdges?.edges.map((edge) => edge.source)).toEqual([
|
|
113
|
+
'dependency',
|
|
114
|
+
'relation',
|
|
115
|
+
]);
|
|
116
|
+
expect(parsed.readiness?.groups.ready[0]?.id).toBe('T10609');
|
|
117
|
+
});
|
|
118
|
+
it('validates graph slice and readiness envelopes independently', () => {
|
|
119
|
+
expect(workGraphSliceParamsSchema.parse({
|
|
120
|
+
rootId: 'T10545',
|
|
121
|
+
direction: 'descendants',
|
|
122
|
+
maxDepth: 2,
|
|
123
|
+
includeRelations: true,
|
|
124
|
+
cursor: '0001:T10609',
|
|
125
|
+
limit: 50,
|
|
126
|
+
})).toEqual({
|
|
127
|
+
rootId: 'T10545',
|
|
128
|
+
direction: 'descendants',
|
|
129
|
+
maxDepth: 2,
|
|
130
|
+
includeRelations: true,
|
|
131
|
+
cursor: '0001:T10609',
|
|
132
|
+
limit: 50,
|
|
133
|
+
});
|
|
134
|
+
expect(workGraphSliceSchema.parse({
|
|
135
|
+
rootId: 'T10545',
|
|
136
|
+
direction: 'descendants',
|
|
137
|
+
nodes: [taskNode],
|
|
138
|
+
edges: [{ fromId: 'T10545', toId: 'T10609', kind: 'contains' }],
|
|
139
|
+
pageInfo: emptyPageInfo,
|
|
140
|
+
}).nodes).toHaveLength(1);
|
|
141
|
+
expect(workGraphReadinessParamsSchema.parse({
|
|
142
|
+
rootId: 'T10545',
|
|
143
|
+
role: 'worker',
|
|
144
|
+
includeGateBlockers: true,
|
|
145
|
+
})).toEqual({ rootId: 'T10545', role: 'worker', includeGateBlockers: true });
|
|
146
|
+
expect(workGraphReadinessResultSchema.parse({
|
|
147
|
+
rootId: 'T10545',
|
|
148
|
+
role: 'worker',
|
|
149
|
+
ready: true,
|
|
150
|
+
warnings: [],
|
|
151
|
+
groups: readyGroups,
|
|
152
|
+
}).ready).toBe(true);
|
|
153
|
+
});
|
|
154
|
+
it('validates scaffold validate/apply contracts and hierarchy diagnostics', () => {
|
|
155
|
+
const nodes = [
|
|
156
|
+
{ id: 'T10545', type: 'epic' },
|
|
157
|
+
{ id: 'T10609', type: 'task', parentId: 'T10545' },
|
|
158
|
+
];
|
|
159
|
+
const edges = [
|
|
160
|
+
{
|
|
161
|
+
source: 'dependency',
|
|
162
|
+
fromId: 'T10609',
|
|
163
|
+
toId: 'T10608',
|
|
164
|
+
kind: 'depends_on',
|
|
165
|
+
},
|
|
166
|
+
];
|
|
167
|
+
expect(workGraphScaffoldValidateParamsSchema.parse({ rootId: 'T10545', nodes, edges, dryRun: true })).toEqual({ rootId: 'T10545', nodes, edges, dryRun: true });
|
|
168
|
+
expect(workGraphScaffoldValidateResultSchema.parse({
|
|
169
|
+
rootId: 'T10545',
|
|
170
|
+
valid: true,
|
|
171
|
+
dryRun: true,
|
|
172
|
+
issues: [{ code: 'W_EXISTING_NODE', message: 'Node already exists', severity: 'warning' }],
|
|
173
|
+
hierarchy: { valid: true, violations: [] },
|
|
174
|
+
}).valid).toBe(true);
|
|
175
|
+
expect(workGraphScaffoldApplyParamsSchema.parse({ rootId: 'T10545', nodes, edges, apply: true })).toEqual({ rootId: 'T10545', nodes, edges, apply: true });
|
|
176
|
+
expect(workGraphScaffoldApplyResultSchema.parse({
|
|
177
|
+
rootId: 'T10545',
|
|
178
|
+
valid: true,
|
|
179
|
+
dryRun: false,
|
|
180
|
+
applied: true,
|
|
181
|
+
nodesChanged: 2,
|
|
182
|
+
edgesChanged: 1,
|
|
183
|
+
issues: [],
|
|
184
|
+
hierarchy: { valid: true, violations: [] },
|
|
185
|
+
}).edgesChanged).toBe(1);
|
|
186
|
+
});
|
|
187
|
+
});
|
|
188
|
+
//# sourceMappingURL=workgraph-context-scaffold-contracts.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"workgraph-context-scaffold-contracts.test.js","sourceRoot":"","sources":["../../src/__tests__/workgraph-context-scaffold-contracts.test.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EACL,gCAAgC,EAChC,0BAA0B,EAC1B,8BAA8B,EAC9B,8BAA8B,EAC9B,kCAAkC,EAClC,kCAAkC,EAClC,qCAAqC,EACrC,qCAAqC,EACrC,0BAA0B,EAC1B,oBAAoB,GACrB,MAAM,iBAAiB,CAAC;AAEzB,MAAM,QAAQ,GAAG;IACf,EAAE,EAAE,QAAQ;IACZ,IAAI,EAAE,MAAM;IACZ,KAAK,EAAE,eAAe;IACtB,MAAM,EAAE,SAAS;IACjB,QAAQ,EAAE,MAAM;IAChB,QAAQ,EAAE,QAAQ;CACV,CAAC;AAEX,MAAM,aAAa,GAAG,EAAE,OAAO,EAAE,KAAK,EAAW,CAAC;AAElD,MAAM,WAAW,GAAG;IAClB,KAAK,EAAE;QACL;YACE,GAAG,QAAQ;YACX,IAAI,EAAE,QAAQ;YACd,kBAAkB,EAAE,EAAE;YACtB,YAAY,EAAE,EAAE;SACjB;KACF;IACD,OAAO,EAAE,EAAE;IACX,SAAS,EAAE,EAAE;CACL,CAAC;AAEX,QAAQ,CAAC,kDAAkD,EAAE,GAAG,EAAE;IAChE,EAAE,CAAC,qGAAqG,EAAE,GAAG,EAAE;QAC7G,MAAM,CACJ,gCAAgC,CAAC,KAAK,CAAC;YACrC,MAAM,EAAE,QAAQ;YAChB,WAAW,EAAE,IAAI;YACjB,gBAAgB,EAAE,IAAI;YACtB,gBAAgB,EAAE,IAAI;YACtB,aAAa,EAAE,IAAI;YACnB,KAAK,EAAE,EAAE;SACV,CAAC,CACH,CAAC,OAAO,CAAC;YACR,MAAM,EAAE,QAAQ;YAChB,WAAW,EAAE,IAAI;YACjB,gBAAgB,EAAE,IAAI;YACtB,gBAAgB,EAAE,IAAI;YACtB,aAAa,EAAE,IAAI;YACnB,KAAK,EAAE,EAAE;SACV,CAAC,CAAC;QAEH,MAAM,MAAM,GAAG,0BAA0B,CAAC,KAAK,CAAC;YAC9C,MAAM,EAAE,QAAQ;YAChB,WAAW,EAAE,0BAA0B;YACvC,MAAM,EAAE;gBACN,WAAW,EAAE,IAAI;gBACjB,eAAe,EAAE,IAAI;gBACrB,eAAe,EAAE,GAAG;gBACpB,SAAS,EAAE,IAAI;aAChB;YACD,KAAK,EAAE;gBACL,MAAM,EAAE,QAAQ;gBAChB,SAAS,EAAE,aAAa;gBACxB,KAAK,EAAE,CAAC,QAAQ,CAAC;gBACjB,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;gBAC/D,QAAQ,EAAE,EAAE,UAAU,EAAE,aAAa,EAAE,OAAO,EAAE,IAAI,EAAE;gBACtD,SAAS,EAAE;oBACT;wBACE,IAAI,EAAE,kBAAkB;wBACxB,MAAM,EAAE,iBAAiB;wBACzB,OAAO,EAAE,qDAAqD;wBAC9D,eAAe,EAAE,GAAG;qBACrB;iBACF;aACF;YACD,aAAa,EAAE;gBACb,MAAM,EAAE,QAAQ;gBAChB,SAAS,EAAE,MAAM;gBACjB,KAAK,EAAE;oBACL;wBACE,MAAM,EAAE,YAAY;wBACpB,MAAM,EAAE,QAAQ;wBAChB,IAAI,EAAE,QAAQ;wBACd,IAAI,EAAE,YAAY;qBACnB;oBACD;wBACE,MAAM,EAAE,UAAU;wBAClB,MAAM,EAAE,QAAQ;wBAChB,IAAI,EAAE,QAAQ;wBACd,IAAI,EAAE,QAAQ;wBACd,YAAY,EAAE,QAAQ;wBACtB,MAAM,EAAE,iBAAiB;qBAC1B;iBACF;aACF;YACD,SAAS,EAAE;gBACT,MAAM,EAAE,QAAQ;gBAChB,IAAI,EAAE,QAAQ;gBACd,KAAK,EAAE,IAAI;gBACX,QAAQ,EAAE,EAAE;gBACZ,MAAM,EAAE,WAAW;aACpB;YACD,MAAM,EAAE;gBACN,MAAM,EAAE,QAAQ;gBAChB,MAAM,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE;gBACnE,OAAO,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE;gBACpE,kBAAkB,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC,EAAE,WAAW,EAAE,eAAe,EAAE;gBACtF,WAAW,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC,EAAE;gBAC3E,eAAe,EAAE,KAAK;gBACtB,oBAAoB,EAAE,EAAE;aACzB;YACD,SAAS,EAAE;gBACT,EAAE,IAAI,EAAE,gBAAgB,EAAE,MAAM,EAAE,eAAe,EAAE,OAAO,EAAE,uBAAuB,EAAE;aACtF;SACF,CAAC,CAAC;QAEH,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3C,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;YACrE,YAAY;YACZ,UAAU;SACX,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,CACJ,0BAA0B,CAAC,KAAK,CAAC;YAC/B,MAAM,EAAE,QAAQ;YAChB,SAAS,EAAE,aAAa;YACxB,QAAQ,EAAE,CAAC;YACX,gBAAgB,EAAE,IAAI;YACtB,MAAM,EAAE,aAAa;YACrB,KAAK,EAAE,EAAE;SACV,CAAC,CACH,CAAC,OAAO,CAAC;YACR,MAAM,EAAE,QAAQ;YAChB,SAAS,EAAE,aAAa;YACxB,QAAQ,EAAE,CAAC;YACX,gBAAgB,EAAE,IAAI;YACtB,MAAM,EAAE,aAAa;YACrB,KAAK,EAAE,EAAE;SACV,CAAC,CAAC;QAEH,MAAM,CACJ,oBAAoB,CAAC,KAAK,CAAC;YACzB,MAAM,EAAE,QAAQ;YAChB,SAAS,EAAE,aAAa;YACxB,KAAK,EAAE,CAAC,QAAQ,CAAC;YACjB,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;YAC/D,QAAQ,EAAE,aAAa;SACxB,CAAC,CAAC,KAAK,CACT,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAElB,MAAM,CACJ,8BAA8B,CAAC,KAAK,CAAC;YACnC,MAAM,EAAE,QAAQ;YAChB,IAAI,EAAE,QAAQ;YACd,mBAAmB,EAAE,IAAI;SAC1B,CAAC,CACH,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,mBAAmB,EAAE,IAAI,EAAE,CAAC,CAAC;QAE3E,MAAM,CACJ,8BAA8B,CAAC,KAAK,CAAC;YACnC,MAAM,EAAE,QAAQ;YAChB,IAAI,EAAE,QAAQ;YACd,KAAK,EAAE,IAAI;YACX,QAAQ,EAAE,EAAE;YACZ,MAAM,EAAE,WAAW;SACpB,CAAC,CAAC,KAAK,CACT,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACf,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,MAAM,KAAK,GAAG;YACZ,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE;YAC9B,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE;SAC1C,CAAC;QACX,MAAM,KAAK,GAAG;YACZ;gBACE,MAAM,EAAE,YAAY;gBACpB,MAAM,EAAE,QAAQ;gBAChB,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,YAAY;aACnB;SACO,CAAC;QAEX,MAAM,CACJ,qCAAqC,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAC9F,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;QAE5D,MAAM,CACJ,qCAAqC,CAAC,KAAK,CAAC;YAC1C,MAAM,EAAE,QAAQ;YAChB,KAAK,EAAE,IAAI;YACX,MAAM,EAAE,IAAI;YACZ,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,OAAO,EAAE,qBAAqB,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC;YAC1F,SAAS,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE;SAC3C,CAAC,CAAC,KAAK,CACT,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAEb,MAAM,CACJ,kCAAkC,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAC1F,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAE3D,MAAM,CACJ,kCAAkC,CAAC,KAAK,CAAC;YACvC,MAAM,EAAE,QAAQ;YAChB,KAAK,EAAE,IAAI;YACX,MAAM,EAAE,KAAK;YACb,OAAO,EAAE,IAAI;YACb,YAAY,EAAE,CAAC;YACf,YAAY,EAAE,CAAC;YACf,MAAM,EAAE,EAAE;YACV,SAAS,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE;SAC3C,CAAC,CAAC,YAAY,CAChB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACZ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"workgraph-operation-contracts.test.d.ts","sourceRoot":"","sources":["../../src/__tests__/workgraph-operation-contracts.test.ts"],"names":[],"mappings":"AAAA;;;;;GAKG"}
|