@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.
Files changed (128) hide show
  1. package/dist/__tests__/completion-operation-contracts.test.d.ts +8 -0
  2. package/dist/__tests__/completion-operation-contracts.test.d.ts.map +1 -0
  3. package/dist/__tests__/completion-operation-contracts.test.js +114 -0
  4. package/dist/__tests__/completion-operation-contracts.test.js.map +1 -0
  5. package/dist/__tests__/operation-envelope-validation.test.d.ts +8 -0
  6. package/dist/__tests__/operation-envelope-validation.test.d.ts.map +1 -0
  7. package/dist/__tests__/operation-envelope-validation.test.js +105 -0
  8. package/dist/__tests__/operation-envelope-validation.test.js.map +1 -0
  9. package/dist/__tests__/satisfies-atom.test.d.ts +24 -0
  10. package/dist/__tests__/satisfies-atom.test.d.ts.map +1 -0
  11. package/dist/__tests__/satisfies-atom.test.js +320 -0
  12. package/dist/__tests__/satisfies-atom.test.js.map +1 -0
  13. package/dist/__tests__/validator-types.test.d.ts +13 -0
  14. package/dist/__tests__/validator-types.test.d.ts.map +1 -0
  15. package/dist/__tests__/validator-types.test.js +293 -0
  16. package/dist/__tests__/validator-types.test.js.map +1 -0
  17. package/dist/__tests__/workgraph-context-scaffold-contracts.test.d.ts +8 -0
  18. package/dist/__tests__/workgraph-context-scaffold-contracts.test.d.ts.map +1 -0
  19. package/dist/__tests__/workgraph-context-scaffold-contracts.test.js +188 -0
  20. package/dist/__tests__/workgraph-context-scaffold-contracts.test.js.map +1 -0
  21. package/dist/__tests__/workgraph-operation-contracts.test.d.ts +8 -0
  22. package/dist/__tests__/workgraph-operation-contracts.test.d.ts.map +1 -0
  23. package/dist/__tests__/workgraph-operation-contracts.test.js +115 -0
  24. package/dist/__tests__/workgraph-operation-contracts.test.js.map +1 -0
  25. package/dist/config.d.ts +56 -0
  26. package/dist/config.d.ts.map +1 -1
  27. package/dist/data-accessor.d.ts +194 -0
  28. package/dist/data-accessor.d.ts.map +1 -1
  29. package/dist/data-accessor.js.map +1 -1
  30. package/dist/dispatch/__tests__/docs-update-registry.test.d.ts +2 -0
  31. package/dist/dispatch/__tests__/docs-update-registry.test.d.ts.map +1 -0
  32. package/dist/dispatch/__tests__/docs-update-registry.test.js +27 -0
  33. package/dist/dispatch/__tests__/docs-update-registry.test.js.map +1 -0
  34. package/dist/dispatch/__tests__/operation-envelope-snapshots.test.d.ts +2 -0
  35. package/dist/dispatch/__tests__/operation-envelope-snapshots.test.d.ts.map +1 -0
  36. package/dist/dispatch/__tests__/operation-envelope-snapshots.test.js +265 -0
  37. package/dist/dispatch/__tests__/operation-envelope-snapshots.test.js.map +1 -0
  38. package/dist/dispatch/operations-registry.d.ts.map +1 -1
  39. package/dist/dispatch/operations-registry.js +487 -7
  40. package/dist/dispatch/operations-registry.js.map +1 -1
  41. package/dist/evidence-atom-schema.d.ts +91 -0
  42. package/dist/evidence-atom-schema.d.ts.map +1 -1
  43. package/dist/evidence-atom-schema.js +162 -1
  44. package/dist/evidence-atom-schema.js.map +1 -1
  45. package/dist/exit-codes.d.ts +41 -1
  46. package/dist/exit-codes.d.ts.map +1 -1
  47. package/dist/exit-codes.js +40 -0
  48. package/dist/exit-codes.js.map +1 -1
  49. package/dist/index.d.ts +17 -9
  50. package/dist/index.d.ts.map +1 -1
  51. package/dist/index.js +12 -1
  52. package/dist/index.js.map +1 -1
  53. package/dist/operation-envelope-validation.d.ts +79 -0
  54. package/dist/operation-envelope-validation.d.ts.map +1 -0
  55. package/dist/operation-envelope-validation.js +219 -0
  56. package/dist/operation-envelope-validation.js.map +1 -0
  57. package/dist/operations/__tests__/agent-operation-contract.test.d.ts +2 -0
  58. package/dist/operations/__tests__/agent-operation-contract.test.d.ts.map +1 -0
  59. package/dist/operations/__tests__/agent-operation-contract.test.js +128 -0
  60. package/dist/operations/__tests__/agent-operation-contract.test.js.map +1 -0
  61. package/dist/operations/__tests__/tasks-input-contracts.test.js +15 -0
  62. package/dist/operations/__tests__/tasks-input-contracts.test.js.map +1 -1
  63. package/dist/operations/agent-operation-contract.d.ts +227 -0
  64. package/dist/operations/agent-operation-contract.d.ts.map +1 -0
  65. package/dist/operations/agent-operation-contract.js +38 -0
  66. package/dist/operations/agent-operation-contract.js.map +1 -0
  67. package/dist/operations/docs.d.ts +19 -1
  68. package/dist/operations/docs.d.ts.map +1 -1
  69. package/dist/operations/docs.js +20 -0
  70. package/dist/operations/docs.js.map +1 -1
  71. package/dist/operations/focus.d.ts +1 -1
  72. package/dist/operations/index.d.ts +1 -0
  73. package/dist/operations/index.d.ts.map +1 -1
  74. package/dist/operations/index.js +1 -0
  75. package/dist/operations/index.js.map +1 -1
  76. package/dist/operations/orchestrate.d.ts +66 -0
  77. package/dist/operations/orchestrate.d.ts.map +1 -1
  78. package/dist/operations/tasks.d.ts +617 -11
  79. package/dist/operations/tasks.d.ts.map +1 -1
  80. package/dist/operations/tasks.js +22 -3
  81. package/dist/operations/tasks.js.map +1 -1
  82. package/dist/task-record.d.ts +15 -0
  83. package/dist/task-record.d.ts.map +1 -1
  84. package/dist/task.d.ts +52 -5
  85. package/dist/task.d.ts.map +1 -1
  86. package/dist/task.js.map +1 -1
  87. package/dist/tasks.d.ts +944 -0
  88. package/dist/tasks.d.ts.map +1 -1
  89. package/dist/tasks.js +198 -1
  90. package/dist/tasks.js.map +1 -1
  91. package/dist/validator/index.d.ts +375 -0
  92. package/dist/validator/index.d.ts.map +1 -0
  93. package/dist/validator/index.js +162 -0
  94. package/dist/validator/index.js.map +1 -0
  95. package/dist/workgraph.d.ts +1950 -0
  96. package/dist/workgraph.d.ts.map +1 -0
  97. package/dist/workgraph.js +449 -0
  98. package/dist/workgraph.js.map +1 -0
  99. package/package.json +10 -2
  100. package/src/__tests__/__snapshots__/operations-registry.test.ts.snap +1 -1
  101. package/src/__tests__/completion-operation-contracts.test.ts +154 -0
  102. package/src/__tests__/operation-envelope-validation.test.ts +140 -0
  103. package/src/__tests__/satisfies-atom.test.ts +383 -0
  104. package/src/__tests__/validator-types.test.ts +359 -0
  105. package/src/__tests__/workgraph-context-scaffold-contracts.test.ts +232 -0
  106. package/src/__tests__/workgraph-operation-contracts.test.ts +151 -0
  107. package/src/config.ts +58 -0
  108. package/src/data-accessor.ts +213 -0
  109. package/src/dispatch/__tests__/docs-update-registry.test.ts +35 -0
  110. package/src/dispatch/__tests__/operation-envelope-snapshots.test.ts +283 -0
  111. package/src/dispatch/operations-registry.ts +502 -7
  112. package/src/evidence-atom-schema.ts +188 -1
  113. package/src/exit-codes.ts +42 -0
  114. package/src/index.ts +230 -2
  115. package/src/operation-envelope-validation.ts +319 -0
  116. package/src/operations/__tests__/agent-operation-contract.test.ts +161 -0
  117. package/src/operations/__tests__/tasks-input-contracts.test.ts +30 -0
  118. package/src/operations/agent-operation-contract.ts +253 -0
  119. package/src/operations/docs.ts +27 -7
  120. package/src/operations/focus.ts +1 -1
  121. package/src/operations/index.ts +1 -0
  122. package/src/operations/orchestrate.ts +71 -0
  123. package/src/operations/tasks.ts +662 -15
  124. package/src/task-record.ts +16 -0
  125. package/src/task.ts +54 -5
  126. package/src/tasks.ts +558 -0
  127. package/src/validator/index.ts +385 -0
  128. package/src/workgraph.ts +1153 -0
@@ -0,0 +1,8 @@
1
+ /**
2
+ * Contract tests for completion.* and projection.repair dispatch shapes.
3
+ *
4
+ * @task T10607
5
+ * @saga T10538
6
+ */
7
+ export {};
8
+ //# sourceMappingURL=completion-operation-contracts.test.d.ts.map
@@ -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,8 @@
1
+ /**
2
+ * Contract tests for operation-aware LAFS envelope validation.
3
+ *
4
+ * @task T10610
5
+ * @saga T10538
6
+ */
7
+ export {};
8
+ //# sourceMappingURL=operation-envelope-validation.test.d.ts.map
@@ -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"}