@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 @@
|
|
|
1
|
+
{"version":3,"file":"completion-operation-contracts.test.d.ts","sourceRoot":"","sources":["../../src/__tests__/completion-operation-contracts.test.ts"],"names":[],"mappings":"AAAA;;;;;GAKG"}
|
|
@@ -0,0 +1,114 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Contract tests for completion.* and projection.repair dispatch shapes.
|
|
3
|
+
*
|
|
4
|
+
* @task T10607
|
|
5
|
+
* @saga T10538
|
|
6
|
+
*/
|
|
7
|
+
import { describe, expect, it } from 'vitest';
|
|
8
|
+
import { OPERATIONS } from '../dispatch/operations-registry.js';
|
|
9
|
+
import { completionEvaluateParamsSchema, completionEvaluationSchema, completionExplainParamsSchema, completionExplanationSchema, completionListParamsSchema, completionListResultSchema, completionProjectionRepairErrorSchema, completionProjectionRepairParamsSchema, completionProjectionRepairResultSchema, unsatisfiedCompletionCriterionSchema, } from '../tasks.js';
|
|
10
|
+
const requiredOperations = [
|
|
11
|
+
'completion.list',
|
|
12
|
+
'completion.evaluate',
|
|
13
|
+
'completion.explain',
|
|
14
|
+
'projection.repair',
|
|
15
|
+
];
|
|
16
|
+
function operation(name) {
|
|
17
|
+
const def = OPERATIONS.find((candidate) => candidate.domain === 'tasks' && candidate.operation === name);
|
|
18
|
+
if (def === undefined)
|
|
19
|
+
throw new Error(`missing tasks.${name}`);
|
|
20
|
+
return def;
|
|
21
|
+
}
|
|
22
|
+
const unsatisfiedCriterion = {
|
|
23
|
+
acId: 'ac-1',
|
|
24
|
+
alias: 'AC1',
|
|
25
|
+
text: 'typed AC result schemas added',
|
|
26
|
+
kind: 'evidence_bound',
|
|
27
|
+
status: 'unsatisfied',
|
|
28
|
+
reason: 'missing_evidence_binding',
|
|
29
|
+
evidenceBindings: 0,
|
|
30
|
+
};
|
|
31
|
+
const totals = { criteria: 1, satisfied: 0, unsatisfied: 1, waived: 0, replaced: 0 };
|
|
32
|
+
describe('Completion operation contract schemas', () => {
|
|
33
|
+
it('validates typed AC result, unsatisfied criterion, evaluate, and explain shapes', () => {
|
|
34
|
+
expect(unsatisfiedCompletionCriterionSchema.parse(unsatisfiedCriterion).reason).toBe('missing_evidence_binding');
|
|
35
|
+
expect(completionEvaluationSchema.parse({
|
|
36
|
+
taskId: 'T10607',
|
|
37
|
+
taskStatus: 'pending',
|
|
38
|
+
ready: false,
|
|
39
|
+
stale: false,
|
|
40
|
+
staleReasons: [],
|
|
41
|
+
satisfied: [],
|
|
42
|
+
unsatisfied: [unsatisfiedCriterion],
|
|
43
|
+
waived: [],
|
|
44
|
+
replaced: [],
|
|
45
|
+
totals,
|
|
46
|
+
}).unsatisfied).toHaveLength(1);
|
|
47
|
+
expect(completionExplanationSchema.parse({
|
|
48
|
+
taskId: 'T10607',
|
|
49
|
+
ready: false,
|
|
50
|
+
stale: true,
|
|
51
|
+
summary: 'Task has one unsatisfied completion criterion.',
|
|
52
|
+
blockers: [unsatisfiedCriterion],
|
|
53
|
+
}).blockers[0]?.status).toBe('unsatisfied');
|
|
54
|
+
});
|
|
55
|
+
it('validates params/results for completion.list/evaluate/explain/projection.repair', () => {
|
|
56
|
+
expect(completionListParamsSchema.parse({ taskId: 'T10607', status: 'unsatisfied' })).toEqual({
|
|
57
|
+
taskId: 'T10607',
|
|
58
|
+
status: 'unsatisfied',
|
|
59
|
+
});
|
|
60
|
+
expect(completionListResultSchema.parse({
|
|
61
|
+
taskId: 'T10607',
|
|
62
|
+
criteria: [unsatisfiedCriterion],
|
|
63
|
+
totals,
|
|
64
|
+
}).criteria[0]?.alias).toBe('AC1');
|
|
65
|
+
expect(completionEvaluateParamsSchema.parse({
|
|
66
|
+
taskId: 'T10607',
|
|
67
|
+
includeContext: true,
|
|
68
|
+
limit: 10,
|
|
69
|
+
relationDepth: 1,
|
|
70
|
+
})).toEqual({ taskId: 'T10607', includeContext: true, limit: 10, relationDepth: 1 });
|
|
71
|
+
expect(completionExplainParamsSchema.parse({ taskId: 'T10607', since: '2026-05-26' })).toEqual({
|
|
72
|
+
taskId: 'T10607',
|
|
73
|
+
since: '2026-05-26',
|
|
74
|
+
});
|
|
75
|
+
expect(completionProjectionRepairErrorSchema.parse({
|
|
76
|
+
code: 'criteria_missing',
|
|
77
|
+
message: 'Projected AC row no longer exists.',
|
|
78
|
+
taskId: 'T10607',
|
|
79
|
+
acId: 'ac-1',
|
|
80
|
+
}).code).toBe('criteria_missing');
|
|
81
|
+
expect(completionProjectionRepairParamsSchema.parse({ taskId: 'T10607', dryRun: true })).toEqual({
|
|
82
|
+
taskId: 'T10607',
|
|
83
|
+
dryRun: true,
|
|
84
|
+
});
|
|
85
|
+
expect(completionProjectionRepairResultSchema.parse({
|
|
86
|
+
taskId: 'T10607',
|
|
87
|
+
repaired: false,
|
|
88
|
+
dryRun: true,
|
|
89
|
+
staleBefore: true,
|
|
90
|
+
staleAfter: true,
|
|
91
|
+
errors: [
|
|
92
|
+
{
|
|
93
|
+
code: 'repair_conflict',
|
|
94
|
+
message: 'Concurrent projection change detected.',
|
|
95
|
+
taskId: 'T10607',
|
|
96
|
+
},
|
|
97
|
+
],
|
|
98
|
+
}).errors[0]?.code).toBe('repair_conflict');
|
|
99
|
+
});
|
|
100
|
+
it('publishes operation metadata with taskId requirements and correct gateways', () => {
|
|
101
|
+
for (const name of requiredOperations) {
|
|
102
|
+
const def = operation(name);
|
|
103
|
+
expect(def.domain).toBe('tasks');
|
|
104
|
+
expect(def.idempotent).toBe(true);
|
|
105
|
+
expect(def.requiredParams).toEqual(['taskId']);
|
|
106
|
+
expect(def.params?.map((param) => param.name)).toContain('taskId');
|
|
107
|
+
}
|
|
108
|
+
expect(operation('completion.list').gateway).toBe('query');
|
|
109
|
+
expect(operation('completion.evaluate').gateway).toBe('query');
|
|
110
|
+
expect(operation('completion.explain').gateway).toBe('query');
|
|
111
|
+
expect(operation('projection.repair').gateway).toBe('mutate');
|
|
112
|
+
});
|
|
113
|
+
});
|
|
114
|
+
//# sourceMappingURL=completion-operation-contracts.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"completion-operation-contracts.test.js","sourceRoot":"","sources":["../../src/__tests__/completion-operation-contracts.test.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,UAAU,EAAE,MAAM,oCAAoC,CAAC;AAChE,OAAO,EACL,8BAA8B,EAC9B,0BAA0B,EAC1B,6BAA6B,EAC7B,2BAA2B,EAC3B,0BAA0B,EAC1B,0BAA0B,EAC1B,qCAAqC,EACrC,sCAAsC,EACtC,sCAAsC,EACtC,oCAAoC,GACrC,MAAM,aAAa,CAAC;AAErB,MAAM,kBAAkB,GAAG;IACzB,iBAAiB;IACjB,qBAAqB;IACrB,oBAAoB;IACpB,mBAAmB;CACX,CAAC;AAEX,SAAS,SAAS,CAAC,IAAyC;IAC1D,MAAM,GAAG,GAAG,UAAU,CAAC,IAAI,CACzB,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,KAAK,OAAO,IAAI,SAAS,CAAC,SAAS,KAAK,IAAI,CAC5E,CAAC;IACF,IAAI,GAAG,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,iBAAiB,IAAI,EAAE,CAAC,CAAC;IAChE,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,oBAAoB,GAAG;IAC3B,IAAI,EAAE,MAAM;IACZ,KAAK,EAAE,KAAK;IACZ,IAAI,EAAE,+BAA+B;IACrC,IAAI,EAAE,gBAAgB;IACtB,MAAM,EAAE,aAAa;IACrB,MAAM,EAAE,0BAA0B;IAClC,gBAAgB,EAAE,CAAC;CACX,CAAC;AAEX,MAAM,MAAM,GAAG,EAAE,QAAQ,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;AAErF,QAAQ,CAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,EAAE,CAAC,gFAAgF,EAAE,GAAG,EAAE;QACxF,MAAM,CAAC,oCAAoC,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAClF,0BAA0B,CAC3B,CAAC;QAEF,MAAM,CACJ,0BAA0B,CAAC,KAAK,CAAC;YAC/B,MAAM,EAAE,QAAQ;YAChB,UAAU,EAAE,SAAS;YACrB,KAAK,EAAE,KAAK;YACZ,KAAK,EAAE,KAAK;YACZ,YAAY,EAAE,EAAE;YAChB,SAAS,EAAE,EAAE;YACb,WAAW,EAAE,CAAC,oBAAoB,CAAC;YACnC,MAAM,EAAE,EAAE;YACV,QAAQ,EAAE,EAAE;YACZ,MAAM;SACP,CAAC,CAAC,WAAW,CACf,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAElB,MAAM,CACJ,2BAA2B,CAAC,KAAK,CAAC;YAChC,MAAM,EAAE,QAAQ;YAChB,KAAK,EAAE,KAAK;YACZ,KAAK,EAAE,IAAI;YACX,OAAO,EAAE,gDAAgD;YACzD,QAAQ,EAAE,CAAC,oBAAoB,CAAC;SACjC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,CACvB,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IACxB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iFAAiF,EAAE,GAAG,EAAE;QACzF,MAAM,CAAC,0BAA0B,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;YAC5F,MAAM,EAAE,QAAQ;YAChB,MAAM,EAAE,aAAa;SACtB,CAAC,CAAC;QACH,MAAM,CACJ,0BAA0B,CAAC,KAAK,CAAC;YAC/B,MAAM,EAAE,QAAQ;YAChB,QAAQ,EAAE,CAAC,oBAAoB,CAAC;YAChC,MAAM;SACP,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,CACtB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAEd,MAAM,CACJ,8BAA8B,CAAC,KAAK,CAAC;YACnC,MAAM,EAAE,QAAQ;YAChB,cAAc,EAAE,IAAI;YACpB,KAAK,EAAE,EAAE;YACT,aAAa,EAAE,CAAC;SACjB,CAAC,CACH,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,cAAc,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,aAAa,EAAE,CAAC,EAAE,CAAC,CAAC;QACnF,MAAM,CAAC,6BAA6B,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;YAC7F,MAAM,EAAE,QAAQ;YAChB,KAAK,EAAE,YAAY;SACpB,CAAC,CAAC;QAEH,MAAM,CACJ,qCAAqC,CAAC,KAAK,CAAC;YAC1C,IAAI,EAAE,kBAAkB;YACxB,OAAO,EAAE,oCAAoC;YAC7C,MAAM,EAAE,QAAQ;YAChB,IAAI,EAAE,MAAM;SACb,CAAC,CAAC,IAAI,CACR,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QAC3B,MAAM,CACJ,sCAAsC,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CACjF,CAAC,OAAO,CAAC;YACR,MAAM,EAAE,QAAQ;YAChB,MAAM,EAAE,IAAI;SACb,CAAC,CAAC;QACH,MAAM,CACJ,sCAAsC,CAAC,KAAK,CAAC;YAC3C,MAAM,EAAE,QAAQ;YAChB,QAAQ,EAAE,KAAK;YACf,MAAM,EAAE,IAAI;YACZ,WAAW,EAAE,IAAI;YACjB,UAAU,EAAE,IAAI;YAChB,MAAM,EAAE;gBACN;oBACE,IAAI,EAAE,iBAAiB;oBACvB,OAAO,EAAE,wCAAwC;oBACjD,MAAM,EAAE,QAAQ;iBACjB;aACF;SACF,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CACnB,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4EAA4E,EAAE,GAAG,EAAE;QACpF,KAAK,MAAM,IAAI,IAAI,kBAAkB,EAAE,CAAC;YACtC,MAAM,GAAG,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;YAC5B,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACjC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClC,MAAM,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;YAC/C,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QACrE,CAAC;QAED,MAAM,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC3D,MAAM,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC/D,MAAM,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC9D,MAAM,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"operation-envelope-validation.test.d.ts","sourceRoot":"","sources":["../../src/__tests__/operation-envelope-validation.test.ts"],"names":[],"mappings":"AAAA;;;;;GAKG"}
|
|
@@ -0,0 +1,105 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Contract tests for operation-aware LAFS envelope validation.
|
|
3
|
+
*
|
|
4
|
+
* @task T10610
|
|
5
|
+
* @saga T10538
|
|
6
|
+
*/
|
|
7
|
+
import { describe, expect, it } from 'vitest';
|
|
8
|
+
import { E_LAFS_OPERATION_ERROR_SHAPE, E_LAFS_OPERATION_RESULT_SCHEMA, E_LAFS_OPERATION_UNREGISTERED, validateOperationEnvelope, } from '../operation-envelope-validation.js';
|
|
9
|
+
import { tasksTreeResultSchema } from '../workgraph.js';
|
|
10
|
+
const baseMeta = {
|
|
11
|
+
specVersion: '1.0.0',
|
|
12
|
+
schemaVersion: '1.0.0',
|
|
13
|
+
timestamp: '2026-05-26T10:00:00.000Z',
|
|
14
|
+
operation: 'tasks.frontier',
|
|
15
|
+
requestId: 'req-T10610',
|
|
16
|
+
transport: 'cli',
|
|
17
|
+
strict: true,
|
|
18
|
+
mvi: 'standard',
|
|
19
|
+
contextVersion: 1,
|
|
20
|
+
};
|
|
21
|
+
function successEnvelope(operation, result) {
|
|
22
|
+
return {
|
|
23
|
+
$schema: 'https://lafs.dev/schemas/v1/envelope.schema.json',
|
|
24
|
+
_meta: { ...baseMeta, operation },
|
|
25
|
+
success: true,
|
|
26
|
+
result,
|
|
27
|
+
error: null,
|
|
28
|
+
};
|
|
29
|
+
}
|
|
30
|
+
function failureEnvelope(operation = 'tasks.frontier') {
|
|
31
|
+
return {
|
|
32
|
+
$schema: 'https://lafs.dev/schemas/v1/envelope.schema.json',
|
|
33
|
+
_meta: { ...baseMeta, operation },
|
|
34
|
+
success: false,
|
|
35
|
+
result: null,
|
|
36
|
+
error: {
|
|
37
|
+
code: 'E_CONTRACT',
|
|
38
|
+
message: 'contract failed',
|
|
39
|
+
category: 'CONTRACT',
|
|
40
|
+
retryable: false,
|
|
41
|
+
retryAfterMs: null,
|
|
42
|
+
details: { taskId: 'T10610' },
|
|
43
|
+
agentAction: 'stop',
|
|
44
|
+
},
|
|
45
|
+
};
|
|
46
|
+
}
|
|
47
|
+
const frontierResult = {
|
|
48
|
+
rootId: 'T10538',
|
|
49
|
+
groups: { ready: [], blocked: [], blockedBy: [] },
|
|
50
|
+
};
|
|
51
|
+
describe('operation-aware LAFS envelope validation', () => {
|
|
52
|
+
it('checks _meta.operation against the canonical operations registry', () => {
|
|
53
|
+
const valid = validateOperationEnvelope(successEnvelope('tasks.frontier', frontierResult));
|
|
54
|
+
expect(valid.valid).toBe(true);
|
|
55
|
+
expect(valid.operation?.domain).toBe('tasks');
|
|
56
|
+
expect(valid.operation?.operation).toBe('frontier');
|
|
57
|
+
const invalid = validateOperationEnvelope(successEnvelope('tasks.not-a-real-operation', frontierResult));
|
|
58
|
+
expect(invalid.valid).toBe(false);
|
|
59
|
+
expect(invalid.issues).toContainEqual(expect.objectContaining({
|
|
60
|
+
path: '/_meta/operation',
|
|
61
|
+
code: E_LAFS_OPERATION_UNREGISTERED,
|
|
62
|
+
}));
|
|
63
|
+
});
|
|
64
|
+
it('validates successful payloads against the operation result schema', () => {
|
|
65
|
+
const invalid = validateOperationEnvelope(successEnvelope('tasks.frontier', { rootId: 'T10538', groups: { ready: [] } }));
|
|
66
|
+
expect(invalid.valid).toBe(false);
|
|
67
|
+
expect(invalid.resultSchemaOperation).toBe('tasks.frontier');
|
|
68
|
+
expect(invalid.issues.some((issue) => issue.code === E_LAFS_OPERATION_RESULT_SCHEMA)).toBe(true);
|
|
69
|
+
const valid = validateOperationEnvelope(successEnvelope('tasks.frontier', frontierResult));
|
|
70
|
+
expect(valid.valid).toBe(true);
|
|
71
|
+
expect(valid.resultSchemaOperation).toBe('tasks.frontier');
|
|
72
|
+
});
|
|
73
|
+
it('enforces canonical error-envelope shape before result schemas', () => {
|
|
74
|
+
const validFailure = validateOperationEnvelope(failureEnvelope());
|
|
75
|
+
expect(validFailure.valid).toBe(true);
|
|
76
|
+
expect(validFailure.resultSchemaOperation).toBe('tasks.frontier');
|
|
77
|
+
const invalidFailure = validateOperationEnvelope({
|
|
78
|
+
...failureEnvelope(),
|
|
79
|
+
result: frontierResult,
|
|
80
|
+
});
|
|
81
|
+
expect(invalidFailure.valid).toBe(false);
|
|
82
|
+
expect(invalidFailure.issues).toContainEqual(expect.objectContaining({
|
|
83
|
+
path: '/result',
|
|
84
|
+
code: E_LAFS_OPERATION_ERROR_SHAPE,
|
|
85
|
+
}));
|
|
86
|
+
});
|
|
87
|
+
it('rejects relation groups edges in hierarchy tree result contracts', () => {
|
|
88
|
+
const result = tasksTreeResultSchema.safeParse({
|
|
89
|
+
rootId: 'T10538',
|
|
90
|
+
nodes: [],
|
|
91
|
+
edges: [{ fromId: 'T10538', toId: 'T10545', kind: 'groups', source: 'relation' }],
|
|
92
|
+
pageInfo: { hasMore: false },
|
|
93
|
+
});
|
|
94
|
+
expect(result.success).toBe(false);
|
|
95
|
+
const envelope = validateOperationEnvelope(successEnvelope('tasks.tree', {
|
|
96
|
+
rootId: 'T10538',
|
|
97
|
+
nodes: [],
|
|
98
|
+
edges: [{ fromId: 'T10538', toId: 'T10545', kind: 'groups', source: 'relation' }],
|
|
99
|
+
pageInfo: { hasMore: false },
|
|
100
|
+
}));
|
|
101
|
+
expect(envelope.valid).toBe(false);
|
|
102
|
+
expect(envelope.issues.some((issue) => issue.code === E_LAFS_OPERATION_RESULT_SCHEMA)).toBe(true);
|
|
103
|
+
});
|
|
104
|
+
});
|
|
105
|
+
//# sourceMappingURL=operation-envelope-validation.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"operation-envelope-validation.test.js","sourceRoot":"","sources":["../../src/__tests__/operation-envelope-validation.test.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAE9C,OAAO,EACL,4BAA4B,EAC5B,8BAA8B,EAC9B,6BAA6B,EAC7B,yBAAyB,GAC1B,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AAExD,MAAM,QAAQ,GAA0B;IACtC,WAAW,EAAE,OAAO;IACpB,aAAa,EAAE,OAAO;IACtB,SAAS,EAAE,0BAA0B;IACrC,SAAS,EAAE,gBAAgB;IAC3B,SAAS,EAAE,YAAY;IACvB,SAAS,EAAE,KAAK;IAChB,MAAM,EAAE,IAAI;IACZ,GAAG,EAAE,UAAU;IACf,cAAc,EAAE,CAAC;CAClB,CAAC;AAEF,SAAS,eAAe,CACtB,SAAiB,EACjB,MAA2C;IAE3C,OAAO;QACL,OAAO,EAAE,kDAAkD;QAC3D,KAAK,EAAE,EAAE,GAAG,QAAQ,EAAE,SAAS,EAAE;QACjC,OAAO,EAAE,IAAI;QACb,MAAM;QACN,KAAK,EAAE,IAAI;KACZ,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,SAAS,GAAG,gBAAgB;IACnD,OAAO;QACL,OAAO,EAAE,kDAAkD;QAC3D,KAAK,EAAE,EAAE,GAAG,QAAQ,EAAE,SAAS,EAAE;QACjC,OAAO,EAAE,KAAK;QACd,MAAM,EAAE,IAAI;QACZ,KAAK,EAAE;YACL,IAAI,EAAE,YAAY;YAClB,OAAO,EAAE,iBAAiB;YAC1B,QAAQ,EAAE,UAAU;YACpB,SAAS,EAAE,KAAK;YAChB,YAAY,EAAE,IAAI;YAClB,OAAO,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE;YAC7B,WAAW,EAAE,MAAM;SACpB;KACF,CAAC;AACJ,CAAC;AAED,MAAM,cAAc,GAAG;IACrB,MAAM,EAAE,QAAQ;IAChB,MAAM,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE;CAClD,CAAC;AAEF,QAAQ,CAAC,0CAA0C,EAAE,GAAG,EAAE;IACxD,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,KAAK,GAAG,yBAAyB,CAAC,eAAe,CAAC,gBAAgB,EAAE,cAAc,CAAC,CAAC,CAAC;QAC3F,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/B,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC9C,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAEpD,MAAM,OAAO,GAAG,yBAAyB,CACvC,eAAe,CAAC,4BAA4B,EAAE,cAAc,CAAC,CAC9D,CAAC;QACF,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,cAAc,CACnC,MAAM,CAAC,gBAAgB,CAAC;YACtB,IAAI,EAAE,kBAAkB;YACxB,IAAI,EAAE,6BAA6B;SACpC,CAAC,CACH,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,OAAO,GAAG,yBAAyB,CACvC,eAAe,CAAC,gBAAgB,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,CAAC,CAC/E,CAAC;QACF,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClC,MAAM,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAC7D,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,8BAA8B,CAAC,CAAC,CAAC,IAAI,CACxF,IAAI,CACL,CAAC;QAEF,MAAM,KAAK,GAAG,yBAAyB,CAAC,eAAe,CAAC,gBAAgB,EAAE,cAAc,CAAC,CAAC,CAAC;QAC3F,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/B,MAAM,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,YAAY,GAAG,yBAAyB,CAAC,eAAe,EAAE,CAAC,CAAC;QAClE,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtC,MAAM,CAAC,YAAY,CAAC,qBAAqB,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAElE,MAAM,cAAc,GAAG,yBAAyB,CAAC;YAC/C,GAAG,eAAe,EAAE;YACpB,MAAM,EAAE,cAAc;SACvB,CAAC,CAAC;QACH,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzC,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,cAAc,CAC1C,MAAM,CAAC,gBAAgB,CAAC;YACtB,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,4BAA4B;SACnC,CAAC,CACH,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,MAAM,GAAG,qBAAqB,CAAC,SAAS,CAAC;YAC7C,MAAM,EAAE,QAAQ;YAChB,KAAK,EAAE,EAAE;YACT,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;YACjF,QAAQ,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE;SAC7B,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAEnC,MAAM,QAAQ,GAAG,yBAAyB,CACxC,eAAe,CAAC,YAAY,EAAE;YAC5B,MAAM,EAAE,QAAQ;YAChB,KAAK,EAAE,EAAE;YACT,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;YACjF,QAAQ,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE;SAC7B,CAAC,CACH,CAAC;QACF,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,8BAA8B,CAAC,CAAC,CAAC,IAAI,CACzF,IAAI,CACL,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -0,0 +1,24 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Tests for the ADR-079-r2 `satisfies:<task-id>#<ac-id>` evidence atom
|
|
3
|
+
* grammar (T10506).
|
|
4
|
+
*
|
|
5
|
+
* Coverage:
|
|
6
|
+
* - Schema-level: per-field regex validation (task-id, ac-uuid, ac-alias,
|
|
7
|
+
* version-pin) and discriminated-union acceptance.
|
|
8
|
+
* - Parser-level: full {@link parseEvidenceString} round-trips for both
|
|
9
|
+
* UUID and alias forms, mixed evidence strings, and the optional
|
|
10
|
+
* `@<version-pin>` suffix.
|
|
11
|
+
* - Malformed inputs: missing colon, missing hash, missing T-prefix,
|
|
12
|
+
* mixed-case UUID, non-UUID non-alias ac-id, malformed version-pin.
|
|
13
|
+
*
|
|
14
|
+
* This file covers PARSING ONLY per T10506 acceptance criteria. The 5-check
|
|
15
|
+
* validator semantics (target exists, target not terminal, AC exists, same-
|
|
16
|
+
* saga scope rule, alias drift detection) ship in T10507 and are tested
|
|
17
|
+
* separately in `packages/core/src/tasks/__tests__/satisfies-validator.test.ts`.
|
|
18
|
+
*
|
|
19
|
+
* @task T10506
|
|
20
|
+
* @saga T10377
|
|
21
|
+
* @adr ADR-079-r2
|
|
22
|
+
*/
|
|
23
|
+
export {};
|
|
24
|
+
//# sourceMappingURL=satisfies-atom.test.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"satisfies-atom.test.d.ts","sourceRoot":"","sources":["../../src/__tests__/satisfies-atom.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG"}
|
|
@@ -0,0 +1,320 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Tests for the ADR-079-r2 `satisfies:<task-id>#<ac-id>` evidence atom
|
|
3
|
+
* grammar (T10506).
|
|
4
|
+
*
|
|
5
|
+
* Coverage:
|
|
6
|
+
* - Schema-level: per-field regex validation (task-id, ac-uuid, ac-alias,
|
|
7
|
+
* version-pin) and discriminated-union acceptance.
|
|
8
|
+
* - Parser-level: full {@link parseEvidenceString} round-trips for both
|
|
9
|
+
* UUID and alias forms, mixed evidence strings, and the optional
|
|
10
|
+
* `@<version-pin>` suffix.
|
|
11
|
+
* - Malformed inputs: missing colon, missing hash, missing T-prefix,
|
|
12
|
+
* mixed-case UUID, non-UUID non-alias ac-id, malformed version-pin.
|
|
13
|
+
*
|
|
14
|
+
* This file covers PARSING ONLY per T10506 acceptance criteria. The 5-check
|
|
15
|
+
* validator semantics (target exists, target not terminal, AC exists, same-
|
|
16
|
+
* saga scope rule, alias drift detection) ship in T10507 and are tested
|
|
17
|
+
* separately in `packages/core/src/tasks/__tests__/satisfies-validator.test.ts`.
|
|
18
|
+
*
|
|
19
|
+
* @task T10506
|
|
20
|
+
* @saga T10377
|
|
21
|
+
* @adr ADR-079-r2
|
|
22
|
+
*/
|
|
23
|
+
import { describe, expect, it } from 'vitest';
|
|
24
|
+
import { AC_ALIAS_REGEX, AC_UUID_REGEX, EvidenceAtomSchema, EvidenceParseError, parseEvidenceString, SATISFIES_TASK_ID_REGEX, SATISFIES_VERSION_PIN_REGEX, satisfiesAtomSchema, } from '../index.js';
|
|
25
|
+
// ─── Per-field regex parity (ADR-079-r2 §2.1 ABNF) ────────────────────────
|
|
26
|
+
describe('satisfies atom regexes (ADR-079-r2 §2.1)', () => {
|
|
27
|
+
describe('SATISFIES_TASK_ID_REGEX', () => {
|
|
28
|
+
it('accepts T<1-7 digits>', () => {
|
|
29
|
+
expect(SATISFIES_TASK_ID_REGEX.test('T1')).toBe(true);
|
|
30
|
+
expect(SATISFIES_TASK_ID_REGEX.test('T1234')).toBe(true);
|
|
31
|
+
expect(SATISFIES_TASK_ID_REGEX.test('T1234567')).toBe(true);
|
|
32
|
+
});
|
|
33
|
+
it('rejects T<8+ digits>', () => {
|
|
34
|
+
expect(SATISFIES_TASK_ID_REGEX.test('T12345678')).toBe(false);
|
|
35
|
+
});
|
|
36
|
+
it('rejects missing T prefix', () => {
|
|
37
|
+
expect(SATISFIES_TASK_ID_REGEX.test('1234')).toBe(false);
|
|
38
|
+
});
|
|
39
|
+
it('rejects lowercase t', () => {
|
|
40
|
+
expect(SATISFIES_TASK_ID_REGEX.test('t1234')).toBe(false);
|
|
41
|
+
});
|
|
42
|
+
it('rejects non-digit suffix', () => {
|
|
43
|
+
expect(SATISFIES_TASK_ID_REGEX.test('T12a')).toBe(false);
|
|
44
|
+
});
|
|
45
|
+
});
|
|
46
|
+
describe('AC_UUID_REGEX', () => {
|
|
47
|
+
it('accepts strict lowercase UUIDv4 and deterministic UUIDv5-shaped AC ids', () => {
|
|
48
|
+
expect(AC_UUID_REGEX.test('a1b2c3d4-5e6f-4890-abcd-ef1234567890')).toBe(true);
|
|
49
|
+
expect(AC_UUID_REGEX.test('00000000-0000-4000-8000-000000000000')).toBe(true);
|
|
50
|
+
expect(AC_UUID_REGEX.test('a1b2c3d4-5e6f-5890-abcd-ef1234567890')).toBe(true);
|
|
51
|
+
});
|
|
52
|
+
it('rejects mixed-case', () => {
|
|
53
|
+
// Council-mandated strictness (ADR-079-r2 §2.2): "Validators MUST
|
|
54
|
+
// reject mixed-case to prevent silent dedupe failures."
|
|
55
|
+
expect(AC_UUID_REGEX.test('A1B2C3D4-5E6F-4890-ABCD-EF1234567890')).toBe(false);
|
|
56
|
+
});
|
|
57
|
+
it('rejects wrong version nibble (not 4/5)', () => {
|
|
58
|
+
expect(AC_UUID_REGEX.test('a1b2c3d4-5e6f-6890-abcd-ef1234567890')).toBe(false);
|
|
59
|
+
});
|
|
60
|
+
it('rejects wrong variant nibble (not 8/9/a/b)', () => {
|
|
61
|
+
expect(AC_UUID_REGEX.test('a1b2c3d4-5e6f-4890-cbcd-ef1234567890')).toBe(false);
|
|
62
|
+
});
|
|
63
|
+
it('rejects non-UUID strings', () => {
|
|
64
|
+
expect(AC_UUID_REGEX.test('not-a-uuid')).toBe(false);
|
|
65
|
+
expect(AC_UUID_REGEX.test('a1b2c3d45e6f4890abcdef1234567890')).toBe(false);
|
|
66
|
+
});
|
|
67
|
+
});
|
|
68
|
+
describe('AC_ALIAS_REGEX', () => {
|
|
69
|
+
it('accepts AC<1-4 digits>', () => {
|
|
70
|
+
expect(AC_ALIAS_REGEX.test('AC1')).toBe(true);
|
|
71
|
+
expect(AC_ALIAS_REGEX.test('AC9999')).toBe(true);
|
|
72
|
+
});
|
|
73
|
+
it('rejects AC<5+ digits>', () => {
|
|
74
|
+
expect(AC_ALIAS_REGEX.test('AC10000')).toBe(false);
|
|
75
|
+
});
|
|
76
|
+
it('rejects lowercase ac', () => {
|
|
77
|
+
expect(AC_ALIAS_REGEX.test('ac1')).toBe(false);
|
|
78
|
+
});
|
|
79
|
+
it('rejects bare integer', () => {
|
|
80
|
+
expect(AC_ALIAS_REGEX.test('1')).toBe(false);
|
|
81
|
+
});
|
|
82
|
+
});
|
|
83
|
+
describe('SATISFIES_VERSION_PIN_REGEX', () => {
|
|
84
|
+
it('accepts exactly 14 digits', () => {
|
|
85
|
+
expect(SATISFIES_VERSION_PIN_REGEX.test('20260524223045')).toBe(true);
|
|
86
|
+
});
|
|
87
|
+
it('rejects fewer than 14 digits', () => {
|
|
88
|
+
expect(SATISFIES_VERSION_PIN_REGEX.test('2026052422304')).toBe(false);
|
|
89
|
+
});
|
|
90
|
+
it('rejects more than 14 digits', () => {
|
|
91
|
+
expect(SATISFIES_VERSION_PIN_REGEX.test('202605242230451')).toBe(false);
|
|
92
|
+
});
|
|
93
|
+
it('rejects non-digit characters', () => {
|
|
94
|
+
expect(SATISFIES_VERSION_PIN_REGEX.test('2026-05-24T22:30')).toBe(false);
|
|
95
|
+
});
|
|
96
|
+
});
|
|
97
|
+
});
|
|
98
|
+
// ─── Zod schema (post-parse client-side validation) ────────────────────────
|
|
99
|
+
describe('satisfiesAtomSchema (ADR-079-r2 §5.2)', () => {
|
|
100
|
+
it('accepts UUID form without version-pin', () => {
|
|
101
|
+
const a = satisfiesAtomSchema.parse({
|
|
102
|
+
kind: 'satisfies',
|
|
103
|
+
targetTaskId: 'T10495',
|
|
104
|
+
targetAcId: '8f4a2c1e-b09d-4f6a-9c3e-7a1d4f8c0b2e',
|
|
105
|
+
});
|
|
106
|
+
expect(a.targetTaskId).toBe('T10495');
|
|
107
|
+
expect(a.targetAcId).toBe('8f4a2c1e-b09d-4f6a-9c3e-7a1d4f8c0b2e');
|
|
108
|
+
expect(a.targetAcAlias).toBeUndefined();
|
|
109
|
+
expect(a.versionPin).toBeUndefined();
|
|
110
|
+
});
|
|
111
|
+
it('accepts deterministic UUIDv5-shaped AC id form without version-pin', () => {
|
|
112
|
+
const a = satisfiesAtomSchema.parse({
|
|
113
|
+
kind: 'satisfies',
|
|
114
|
+
targetTaskId: 'T10495',
|
|
115
|
+
targetAcId: '8f4a2c1e-b09d-5f6a-9c3e-7a1d4f8c0b2e',
|
|
116
|
+
});
|
|
117
|
+
expect(a.targetAcId).toBe('8f4a2c1e-b09d-5f6a-9c3e-7a1d4f8c0b2e');
|
|
118
|
+
});
|
|
119
|
+
it('accepts alias form without version-pin', () => {
|
|
120
|
+
const a = satisfiesAtomSchema.parse({
|
|
121
|
+
kind: 'satisfies',
|
|
122
|
+
targetTaskId: 'T10495',
|
|
123
|
+
targetAcAlias: 'AC2',
|
|
124
|
+
});
|
|
125
|
+
expect(a.targetAcAlias).toBe('AC2');
|
|
126
|
+
expect(a.targetAcId).toBeUndefined();
|
|
127
|
+
});
|
|
128
|
+
it('accepts alias form with version-pin', () => {
|
|
129
|
+
const a = satisfiesAtomSchema.parse({
|
|
130
|
+
kind: 'satisfies',
|
|
131
|
+
targetTaskId: 'T10495',
|
|
132
|
+
targetAcAlias: 'AC2',
|
|
133
|
+
versionPin: '20260524223045',
|
|
134
|
+
});
|
|
135
|
+
expect(a.versionPin).toBe('20260524223045');
|
|
136
|
+
});
|
|
137
|
+
it('accepts UUID form with version-pin (highest-trust)', () => {
|
|
138
|
+
const a = satisfiesAtomSchema.parse({
|
|
139
|
+
kind: 'satisfies',
|
|
140
|
+
targetTaskId: 'T10495',
|
|
141
|
+
targetAcId: '8f4a2c1e-b09d-4f6a-9c3e-7a1d4f8c0b2e',
|
|
142
|
+
versionPin: '20260524223045',
|
|
143
|
+
});
|
|
144
|
+
expect(a.targetAcId).toBeDefined();
|
|
145
|
+
expect(a.versionPin).toBe('20260524223045');
|
|
146
|
+
});
|
|
147
|
+
it('rejects malformed targetTaskId via schema', () => {
|
|
148
|
+
const r = satisfiesAtomSchema.safeParse({
|
|
149
|
+
kind: 'satisfies',
|
|
150
|
+
targetTaskId: 'task-1234',
|
|
151
|
+
targetAcAlias: 'AC2',
|
|
152
|
+
});
|
|
153
|
+
expect(r.success).toBe(false);
|
|
154
|
+
});
|
|
155
|
+
it('rejects mixed-case UUID via schema', () => {
|
|
156
|
+
const r = satisfiesAtomSchema.safeParse({
|
|
157
|
+
kind: 'satisfies',
|
|
158
|
+
targetTaskId: 'T10495',
|
|
159
|
+
targetAcId: '8F4A2C1E-B09D-4F6A-9C3E-7A1D4F8C0B2E',
|
|
160
|
+
});
|
|
161
|
+
expect(r.success).toBe(false);
|
|
162
|
+
});
|
|
163
|
+
it('rejects malformed version-pin via schema', () => {
|
|
164
|
+
const r = satisfiesAtomSchema.safeParse({
|
|
165
|
+
kind: 'satisfies',
|
|
166
|
+
targetTaskId: 'T10495',
|
|
167
|
+
targetAcAlias: 'AC2',
|
|
168
|
+
versionPin: '2026-05-24T22:30',
|
|
169
|
+
});
|
|
170
|
+
expect(r.success).toBe(false);
|
|
171
|
+
});
|
|
172
|
+
it('round-trips through the EvidenceAtomSchema discriminated union', () => {
|
|
173
|
+
const a = EvidenceAtomSchema.parse({
|
|
174
|
+
kind: 'satisfies',
|
|
175
|
+
targetTaskId: 'T10495',
|
|
176
|
+
targetAcAlias: 'AC2',
|
|
177
|
+
});
|
|
178
|
+
expect(a.kind).toBe('satisfies');
|
|
179
|
+
});
|
|
180
|
+
});
|
|
181
|
+
// ─── parseEvidenceString (CLI parser) ──────────────────────────────────────
|
|
182
|
+
describe('parseEvidenceString — satisfies atom (T10506)', () => {
|
|
183
|
+
// ─── Valid forms ─────────────────────────────────────────────────────────
|
|
184
|
+
it('parses UUID form', () => {
|
|
185
|
+
const atoms = parseEvidenceString('satisfies:T10495#8f4a2c1e-b09d-4f6a-9c3e-7a1d4f8c0b2e');
|
|
186
|
+
expect(atoms).toHaveLength(1);
|
|
187
|
+
expect(atoms[0]).toEqual({
|
|
188
|
+
kind: 'satisfies',
|
|
189
|
+
targetTaskId: 'T10495',
|
|
190
|
+
targetAcId: '8f4a2c1e-b09d-4f6a-9c3e-7a1d4f8c0b2e',
|
|
191
|
+
});
|
|
192
|
+
});
|
|
193
|
+
it('parses deterministic UUIDv5-shaped AC id form', () => {
|
|
194
|
+
const atoms = parseEvidenceString('satisfies:T10495#8f4a2c1e-b09d-5f6a-9c3e-7a1d4f8c0b2e');
|
|
195
|
+
expect(atoms).toHaveLength(1);
|
|
196
|
+
expect(atoms[0]).toEqual({
|
|
197
|
+
kind: 'satisfies',
|
|
198
|
+
targetTaskId: 'T10495',
|
|
199
|
+
targetAcId: '8f4a2c1e-b09d-5f6a-9c3e-7a1d4f8c0b2e',
|
|
200
|
+
});
|
|
201
|
+
});
|
|
202
|
+
it('parses alias form', () => {
|
|
203
|
+
const atoms = parseEvidenceString('satisfies:T10495#AC2');
|
|
204
|
+
expect(atoms).toHaveLength(1);
|
|
205
|
+
expect(atoms[0]).toEqual({
|
|
206
|
+
kind: 'satisfies',
|
|
207
|
+
targetTaskId: 'T10495',
|
|
208
|
+
targetAcAlias: 'AC2',
|
|
209
|
+
});
|
|
210
|
+
});
|
|
211
|
+
it('parses alias form with version-pin', () => {
|
|
212
|
+
const atoms = parseEvidenceString('satisfies:T10495#AC2@20260524223045');
|
|
213
|
+
expect(atoms).toHaveLength(1);
|
|
214
|
+
expect(atoms[0]).toEqual({
|
|
215
|
+
kind: 'satisfies',
|
|
216
|
+
targetTaskId: 'T10495',
|
|
217
|
+
targetAcAlias: 'AC2',
|
|
218
|
+
versionPin: '20260524223045',
|
|
219
|
+
});
|
|
220
|
+
});
|
|
221
|
+
it('parses UUID form with version-pin (canonical highest-trust)', () => {
|
|
222
|
+
const atoms = parseEvidenceString('satisfies:T10495#8f4a2c1e-b09d-4f6a-9c3e-7a1d4f8c0b2e@20260524223045');
|
|
223
|
+
expect(atoms).toHaveLength(1);
|
|
224
|
+
expect(atoms[0]).toEqual({
|
|
225
|
+
kind: 'satisfies',
|
|
226
|
+
targetTaskId: 'T10495',
|
|
227
|
+
targetAcId: '8f4a2c1e-b09d-4f6a-9c3e-7a1d4f8c0b2e',
|
|
228
|
+
versionPin: '20260524223045',
|
|
229
|
+
});
|
|
230
|
+
});
|
|
231
|
+
it('parses multiple satisfies atoms in one evidence string', () => {
|
|
232
|
+
const atoms = parseEvidenceString('satisfies:T10495#AC2;satisfies:T10493#AC1');
|
|
233
|
+
expect(atoms).toHaveLength(2);
|
|
234
|
+
expect(atoms[0]).toMatchObject({
|
|
235
|
+
kind: 'satisfies',
|
|
236
|
+
targetTaskId: 'T10495',
|
|
237
|
+
targetAcAlias: 'AC2',
|
|
238
|
+
});
|
|
239
|
+
expect(atoms[1]).toMatchObject({
|
|
240
|
+
kind: 'satisfies',
|
|
241
|
+
targetTaskId: 'T10493',
|
|
242
|
+
targetAcAlias: 'AC1',
|
|
243
|
+
});
|
|
244
|
+
});
|
|
245
|
+
it('parses mixed evidence: commit + files + satisfies', () => {
|
|
246
|
+
const atoms = parseEvidenceString('commit:abc1234;files:src/foo.ts,src/bar.ts;satisfies:T10495#AC2');
|
|
247
|
+
expect(atoms).toHaveLength(3);
|
|
248
|
+
expect(atoms[0]).toEqual({ kind: 'commit', sha: 'abc1234' });
|
|
249
|
+
expect(atoms[1]).toEqual({ kind: 'files', paths: ['src/foo.ts', 'src/bar.ts'] });
|
|
250
|
+
expect(atoms[2]).toEqual({
|
|
251
|
+
kind: 'satisfies',
|
|
252
|
+
targetTaskId: 'T10495',
|
|
253
|
+
targetAcAlias: 'AC2',
|
|
254
|
+
});
|
|
255
|
+
});
|
|
256
|
+
it('parses mixed evidence: satisfies + pr (single PR landing multiple ACs)', () => {
|
|
257
|
+
const atoms = parseEvidenceString('satisfies:T10506#AC1;satisfies:T10506#AC2;pr:773');
|
|
258
|
+
expect(atoms).toHaveLength(3);
|
|
259
|
+
expect(atoms[2]).toEqual({ kind: 'pr', prNumber: 773 });
|
|
260
|
+
});
|
|
261
|
+
// ─── Malformed: missing colon ────────────────────────────────────────────
|
|
262
|
+
it('rejects atom missing the kind-payload colon', () => {
|
|
263
|
+
// "satisfiesT10495#AC2" — no `:` separator at all
|
|
264
|
+
expect(() => parseEvidenceString('satisfiesT10495#AC2')).toThrow(EvidenceParseError);
|
|
265
|
+
});
|
|
266
|
+
// ─── Malformed: missing hash ─────────────────────────────────────────────
|
|
267
|
+
it('rejects atom missing the # separator between task-id and ac-id', () => {
|
|
268
|
+
expect(() => parseEvidenceString('satisfies:T10495-AC2')).toThrow(EvidenceParseError);
|
|
269
|
+
expect(() => parseEvidenceString('satisfies:T10495AC2')).toThrow(EvidenceParseError);
|
|
270
|
+
});
|
|
271
|
+
it('rejects atom with # at start of payload (empty task-id)', () => {
|
|
272
|
+
expect(() => parseEvidenceString('satisfies:#AC2')).toThrow(EvidenceParseError);
|
|
273
|
+
});
|
|
274
|
+
it('rejects atom with # at end of payload (empty ac-id)', () => {
|
|
275
|
+
expect(() => parseEvidenceString('satisfies:T10495#')).toThrow(EvidenceParseError);
|
|
276
|
+
});
|
|
277
|
+
// ─── Malformed: missing T-prefix on task-id ──────────────────────────────
|
|
278
|
+
it('rejects atom with non-T-prefixed task-id', () => {
|
|
279
|
+
expect(() => parseEvidenceString('satisfies:10495#AC2')).toThrow(EvidenceParseError);
|
|
280
|
+
expect(() => parseEvidenceString('satisfies:task-10495#AC2')).toThrow(EvidenceParseError);
|
|
281
|
+
});
|
|
282
|
+
it('rejects atom with lowercase t prefix', () => {
|
|
283
|
+
expect(() => parseEvidenceString('satisfies:t10495#AC2')).toThrow(EvidenceParseError);
|
|
284
|
+
});
|
|
285
|
+
it('rejects atom with task-id exceeding 7 digits', () => {
|
|
286
|
+
expect(() => parseEvidenceString('satisfies:T12345678#AC2')).toThrow(EvidenceParseError);
|
|
287
|
+
});
|
|
288
|
+
// ─── Malformed: ac-id ────────────────────────────────────────────────────
|
|
289
|
+
it('rejects atom with mixed-case UUID', () => {
|
|
290
|
+
// Council §2.2 strictness — silent dedupe prevention
|
|
291
|
+
expect(() => parseEvidenceString('satisfies:T10495#8F4A2C1E-B09D-4F6A-9C3E-7A1D4F8C0B2E')).toThrow(EvidenceParseError);
|
|
292
|
+
});
|
|
293
|
+
it('rejects atom with ac-id that is neither UUID nor AC<digits> alias', () => {
|
|
294
|
+
expect(() => parseEvidenceString('satisfies:T10495#hello')).toThrow(EvidenceParseError);
|
|
295
|
+
expect(() => parseEvidenceString('satisfies:T10495#2')).toThrow(EvidenceParseError);
|
|
296
|
+
});
|
|
297
|
+
it('rejects atom with alias exceeding 4 digits', () => {
|
|
298
|
+
expect(() => parseEvidenceString('satisfies:T10495#AC10000')).toThrow(EvidenceParseError);
|
|
299
|
+
});
|
|
300
|
+
// ─── Malformed: version-pin ──────────────────────────────────────────────
|
|
301
|
+
it('rejects atom with malformed version-pin (not 14 digits)', () => {
|
|
302
|
+
expect(() => parseEvidenceString('satisfies:T10495#AC2@2026-05-24')).toThrow(EvidenceParseError);
|
|
303
|
+
expect(() => parseEvidenceString('satisfies:T10495#AC2@2026052422304')).toThrow(EvidenceParseError);
|
|
304
|
+
});
|
|
305
|
+
it('rejects atom with @ but empty version-pin payload', () => {
|
|
306
|
+
expect(() => parseEvidenceString('satisfies:T10495#AC2@')).toThrow(EvidenceParseError);
|
|
307
|
+
});
|
|
308
|
+
// ─── Error message smoke: ensures kind name appears in default-case ──────
|
|
309
|
+
it('includes "satisfies" in the unknown-kind error suggestion list', () => {
|
|
310
|
+
try {
|
|
311
|
+
parseEvidenceString('unknownkind:foo');
|
|
312
|
+
throw new Error('expected EvidenceParseError');
|
|
313
|
+
}
|
|
314
|
+
catch (err) {
|
|
315
|
+
expect(err).toBeInstanceOf(EvidenceParseError);
|
|
316
|
+
expect(err.fix).toContain('satisfies');
|
|
317
|
+
}
|
|
318
|
+
});
|
|
319
|
+
});
|
|
320
|
+
//# sourceMappingURL=satisfies-atom.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"satisfies-atom.test.js","sourceRoot":"","sources":["../../src/__tests__/satisfies-atom.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAE9C,OAAO,EACL,cAAc,EACd,aAAa,EACb,kBAAkB,EAClB,kBAAkB,EAClB,mBAAmB,EACnB,uBAAuB,EACvB,2BAA2B,EAC3B,mBAAmB,GACpB,MAAM,aAAa,CAAC;AAErB,6EAA6E;AAE7E,QAAQ,CAAC,0CAA0C,EAAE,GAAG,EAAE;IACxD,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACvC,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;YAC/B,MAAM,CAAC,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtD,MAAM,CAAC,uBAAuB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACzD,MAAM,CAAC,uBAAuB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9D,CAAC,CAAC,CAAC;QACH,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE;YAC9B,MAAM,CAAC,uBAAuB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChE,CAAC,CAAC,CAAC;QACH,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;YAClC,MAAM,CAAC,uBAAuB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;QACH,EAAE,CAAC,qBAAqB,EAAE,GAAG,EAAE;YAC7B,MAAM,CAAC,uBAAuB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5D,CAAC,CAAC,CAAC;QACH,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;YAClC,MAAM,CAAC,uBAAuB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,eAAe,EAAE,GAAG,EAAE;QAC7B,EAAE,CAAC,wEAAwE,EAAE,GAAG,EAAE;YAChF,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,sCAAsC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC9E,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,sCAAsC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC9E,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,sCAAsC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChF,CAAC,CAAC,CAAC;QACH,EAAE,CAAC,oBAAoB,EAAE,GAAG,EAAE;YAC5B,kEAAkE;YAClE,wDAAwD;YACxD,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,sCAAsC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjF,CAAC,CAAC,CAAC;QACH,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;YAChD,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,sCAAsC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjF,CAAC,CAAC,CAAC;QACH,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;YACpD,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,sCAAsC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjF,CAAC,CAAC,CAAC;QACH,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;YAClC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACrD,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,kCAAkC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC7E,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,gBAAgB,EAAE,GAAG,EAAE;QAC9B,EAAE,CAAC,wBAAwB,EAAE,GAAG,EAAE;YAChC,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC9C,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnD,CAAC,CAAC,CAAC;QACH,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;YAC/B,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrD,CAAC,CAAC,CAAC;QACH,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE;YAC9B,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjD,CAAC,CAAC,CAAC;QACH,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE;YAC9B,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/C,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,6BAA6B,EAAE,GAAG,EAAE;QAC3C,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;YACnC,MAAM,CAAC,2BAA2B,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxE,CAAC,CAAC,CAAC;QACH,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;YACtC,MAAM,CAAC,2BAA2B,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxE,CAAC,CAAC,CAAC;QACH,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;YACrC,MAAM,CAAC,2BAA2B,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1E,CAAC,CAAC,CAAC;QACH,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;YACtC,MAAM,CAAC,2BAA2B,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3E,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8EAA8E;AAE9E,QAAQ,CAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,GAAG,mBAAmB,CAAC,KAAK,CAAC;YAClC,IAAI,EAAE,WAAW;YACjB,YAAY,EAAE,QAAQ;YACtB,UAAU,EAAE,sCAAsC;SACnD,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACtC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,sCAAsC,CAAC,CAAC;QAClE,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,aAAa,EAAE,CAAC;QACxC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,aAAa,EAAE,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,MAAM,CAAC,GAAG,mBAAmB,CAAC,KAAK,CAAC;YAClC,IAAI,EAAE,WAAW;YACjB,YAAY,EAAE,QAAQ;YACtB,UAAU,EAAE,sCAAsC;SACnD,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,sCAAsC,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,CAAC,GAAG,mBAAmB,CAAC,KAAK,CAAC;YAClC,IAAI,EAAE,WAAW;YACjB,YAAY,EAAE,QAAQ;YACtB,aAAa,EAAE,KAAK;SACrB,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,aAAa,EAAE,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,CAAC,GAAG,mBAAmB,CAAC,KAAK,CAAC;YAClC,IAAI,EAAE,WAAW;YACjB,YAAY,EAAE,QAAQ;YACtB,aAAa,EAAE,KAAK;YACpB,UAAU,EAAE,gBAAgB;SAC7B,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,CAAC,GAAG,mBAAmB,CAAC,KAAK,CAAC;YAClC,IAAI,EAAE,WAAW;YACjB,YAAY,EAAE,QAAQ;YACtB,UAAU,EAAE,sCAAsC;YAClD,UAAU,EAAE,gBAAgB;SAC7B,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,WAAW,EAAE,CAAC;QACnC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,GAAG,mBAAmB,CAAC,SAAS,CAAC;YACtC,IAAI,EAAE,WAAW;YACjB,YAAY,EAAE,WAAW;YACzB,aAAa,EAAE,KAAK;SACrB,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,CAAC,GAAG,mBAAmB,CAAC,SAAS,CAAC;YACtC,IAAI,EAAE,WAAW;YACjB,YAAY,EAAE,QAAQ;YACtB,UAAU,EAAE,sCAAsC;SACnD,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,CAAC,GAAG,mBAAmB,CAAC,SAAS,CAAC;YACtC,IAAI,EAAE,WAAW;YACjB,YAAY,EAAE,QAAQ;YACtB,aAAa,EAAE,KAAK;YACpB,UAAU,EAAE,kBAAkB;SAC/B,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,CAAC,GAAG,kBAAkB,CAAC,KAAK,CAAC;YACjC,IAAI,EAAE,WAAW;YACjB,YAAY,EAAE,QAAQ;YACtB,aAAa,EAAE,KAAK;SACrB,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8EAA8E;AAE9E,QAAQ,CAAC,+CAA+C,EAAE,GAAG,EAAE;IAC7D,4EAA4E;IAE5E,EAAE,CAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,MAAM,KAAK,GAAG,mBAAmB,CAAC,uDAAuD,CAAC,CAAC;QAC3F,MAAM,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;YACvB,IAAI,EAAE,WAAW;YACjB,YAAY,EAAE,QAAQ;YACtB,UAAU,EAAE,sCAAsC;SACnD,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,KAAK,GAAG,mBAAmB,CAAC,uDAAuD,CAAC,CAAC;QAC3F,MAAM,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;YACvB,IAAI,EAAE,WAAW;YACjB,YAAY,EAAE,QAAQ;YACtB,UAAU,EAAE,sCAAsC;SACnD,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,MAAM,KAAK,GAAG,mBAAmB,CAAC,sBAAsB,CAAC,CAAC;QAC1D,MAAM,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;YACvB,IAAI,EAAE,WAAW;YACjB,YAAY,EAAE,QAAQ;YACtB,aAAa,EAAE,KAAK;SACrB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,KAAK,GAAG,mBAAmB,CAAC,qCAAqC,CAAC,CAAC;QACzE,MAAM,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;YACvB,IAAI,EAAE,WAAW;YACjB,YAAY,EAAE,QAAQ;YACtB,aAAa,EAAE,KAAK;YACpB,UAAU,EAAE,gBAAgB;SAC7B,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,KAAK,GAAG,mBAAmB,CAC/B,sEAAsE,CACvE,CAAC;QACF,MAAM,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;YACvB,IAAI,EAAE,WAAW;YACjB,YAAY,EAAE,QAAQ;YACtB,UAAU,EAAE,sCAAsC;YAClD,UAAU,EAAE,gBAAgB;SAC7B,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,KAAK,GAAG,mBAAmB,CAAC,2CAA2C,CAAC,CAAC;QAC/E,MAAM,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC;YAC7B,IAAI,EAAE,WAAW;YACjB,YAAY,EAAE,QAAQ;YACtB,aAAa,EAAE,KAAK;SACrB,CAAC,CAAC;QACH,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC;YAC7B,IAAI,EAAE,WAAW;YACjB,YAAY,EAAE,QAAQ;YACtB,aAAa,EAAE,KAAK;SACrB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,KAAK,GAAG,mBAAmB,CAC/B,iEAAiE,CAClE,CAAC;QACF,MAAM,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC,CAAC;QAC7D,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,YAAY,EAAE,YAAY,CAAC,EAAE,CAAC,CAAC;QACjF,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;YACvB,IAAI,EAAE,WAAW;YACjB,YAAY,EAAE,QAAQ;YACtB,aAAa,EAAE,KAAK;SACrB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,KAAK,GAAG,mBAAmB,CAAC,kDAAkD,CAAC,CAAC;QACtF,MAAM,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,4EAA4E;IAE5E,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,kDAAkD;QAClD,MAAM,CAAC,GAAG,EAAE,CAAC,mBAAmB,CAAC,qBAAqB,CAAC,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;IACvF,CAAC,CAAC,CAAC;IAEH,4EAA4E;IAE5E,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,CAAC,GAAG,EAAE,CAAC,mBAAmB,CAAC,sBAAsB,CAAC,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;QACtF,MAAM,CAAC,GAAG,EAAE,CAAC,mBAAmB,CAAC,qBAAqB,CAAC,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;IACvF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,CAAC,GAAG,EAAE,CAAC,mBAAmB,CAAC,gBAAgB,CAAC,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;IAClF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,GAAG,EAAE,CAAC,mBAAmB,CAAC,mBAAmB,CAAC,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;IACrF,CAAC,CAAC,CAAC;IAEH,4EAA4E;IAE5E,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,CAAC,GAAG,EAAE,CAAC,mBAAmB,CAAC,qBAAqB,CAAC,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;QACrF,MAAM,CAAC,GAAG,EAAE,CAAC,mBAAmB,CAAC,0BAA0B,CAAC,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;IAC5F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,EAAE,CAAC,mBAAmB,CAAC,sBAAsB,CAAC,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;IACxF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,CAAC,GAAG,EAAE,CAAC,mBAAmB,CAAC,yBAAyB,CAAC,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;IAC3F,CAAC,CAAC,CAAC;IAEH,4EAA4E;IAE5E,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,qDAAqD;QACrD,MAAM,CAAC,GAAG,EAAE,CACV,mBAAmB,CAAC,uDAAuD,CAAC,CAC7E,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,CAAC,GAAG,EAAE,CAAC,mBAAmB,CAAC,wBAAwB,CAAC,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;QACxF,MAAM,CAAC,GAAG,EAAE,CAAC,mBAAmB,CAAC,oBAAoB,CAAC,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;IACtF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,GAAG,EAAE,CAAC,mBAAmB,CAAC,0BAA0B,CAAC,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;IAC5F,CAAC,CAAC,CAAC;IAEH,4EAA4E;IAE5E,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,CAAC,GAAG,EAAE,CAAC,mBAAmB,CAAC,iCAAiC,CAAC,CAAC,CAAC,OAAO,CAC1E,kBAAkB,CACnB,CAAC;QACF,MAAM,CAAC,GAAG,EAAE,CAAC,mBAAmB,CAAC,oCAAoC,CAAC,CAAC,CAAC,OAAO,CAC7E,kBAAkB,CACnB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,CAAC,GAAG,EAAE,CAAC,mBAAmB,CAAC,uBAAuB,CAAC,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;IACzF,CAAC,CAAC,CAAC;IAEH,4EAA4E;IAE5E,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,IAAI,CAAC;YACH,mBAAmB,CAAC,iBAAiB,CAAC,CAAC;YACvC,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;QACjD,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,MAAM,CAAC,GAAG,CAAC,CAAC,cAAc,CAAC,kBAAkB,CAAC,CAAC;YAC/C,MAAM,CAAE,GAA0B,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QACjE,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|