@askdkc/kiokuko 0.1.32 → 0.2.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (168) hide show
  1. package/README.ja.md +59 -4
  2. package/README.ko.md +54 -4
  3. package/README.md +66 -4
  4. package/README.zh-CN.md +54 -4
  5. package/dist/agent-file/render.d.ts +1 -1
  6. package/dist/agent-file/render.d.ts.map +1 -1
  7. package/dist/agent-file/render.js +13 -6
  8. package/dist/agent-file/render.js.map +1 -1
  9. package/dist/akinator/agent-task.d.ts +2 -0
  10. package/dist/akinator/agent-task.d.ts.map +1 -1
  11. package/dist/akinator/agent-task.js +49 -13
  12. package/dist/akinator/agent-task.js.map +1 -1
  13. package/dist/akinator/capabilities.d.ts.map +1 -1
  14. package/dist/akinator/capabilities.js +21 -14
  15. package/dist/akinator/capabilities.js.map +1 -1
  16. package/dist/akinator/skill-discovery-attempt.d.ts +7 -1
  17. package/dist/akinator/skill-discovery-attempt.d.ts.map +1 -1
  18. package/dist/akinator/skill-discovery-attempt.js +104 -25
  19. package/dist/akinator/skill-discovery-attempt.js.map +1 -1
  20. package/dist/cli.d.ts.map +1 -1
  21. package/dist/cli.js +5 -1
  22. package/dist/cli.js.map +1 -1
  23. package/dist/commands/agent.d.ts.map +1 -1
  24. package/dist/commands/agent.js +18 -9
  25. package/dist/commands/agent.js.map +1 -1
  26. package/dist/commands/enno.d.ts +7 -0
  27. package/dist/commands/enno.d.ts.map +1 -0
  28. package/dist/commands/enno.js +76 -0
  29. package/dist/commands/enno.js.map +1 -0
  30. package/dist/commands/setup.d.ts +5 -1
  31. package/dist/commands/setup.d.ts.map +1 -1
  32. package/dist/commands/setup.js +83 -18
  33. package/dist/commands/setup.js.map +1 -1
  34. package/dist/config/paths.d.ts +6 -0
  35. package/dist/config/paths.d.ts.map +1 -1
  36. package/dist/config/paths.js +40 -0
  37. package/dist/config/paths.js.map +1 -1
  38. package/dist/enno-oduno/adapters.d.ts +18 -0
  39. package/dist/enno-oduno/adapters.d.ts.map +1 -0
  40. package/dist/enno-oduno/adapters.js +216 -0
  41. package/dist/enno-oduno/adapters.js.map +1 -0
  42. package/dist/enno-oduno/advisory-store.d.ts +25 -0
  43. package/dist/enno-oduno/advisory-store.d.ts.map +1 -0
  44. package/dist/enno-oduno/advisory-store.js +93 -0
  45. package/dist/enno-oduno/advisory-store.js.map +1 -0
  46. package/dist/enno-oduno/advisory.d.ts +16 -0
  47. package/dist/enno-oduno/advisory.d.ts.map +1 -0
  48. package/dist/enno-oduno/advisory.js +128 -0
  49. package/dist/enno-oduno/advisory.js.map +1 -0
  50. package/dist/enno-oduno/confirmation.d.ts +4 -0
  51. package/dist/enno-oduno/confirmation.d.ts.map +1 -0
  52. package/dist/enno-oduno/confirmation.js +124 -0
  53. package/dist/enno-oduno/confirmation.js.map +1 -0
  54. package/dist/enno-oduno/directives.d.ts +12 -0
  55. package/dist/enno-oduno/directives.d.ts.map +1 -0
  56. package/dist/enno-oduno/directives.js +241 -0
  57. package/dist/enno-oduno/directives.js.map +1 -0
  58. package/dist/enno-oduno/enno-oduno.d.mts +2 -0
  59. package/dist/enno-oduno/enno-oduno.d.mts.map +1 -0
  60. package/dist/enno-oduno/enno-oduno.mjs +3 -0
  61. package/dist/enno-oduno/enno-oduno.mjs.map +1 -0
  62. package/dist/enno-oduno/experts.d.ts +6 -0
  63. package/dist/enno-oduno/experts.d.ts.map +1 -0
  64. package/dist/enno-oduno/experts.js +18 -0
  65. package/dist/enno-oduno/experts.js.map +1 -0
  66. package/dist/enno-oduno/goki.d.mts +2 -0
  67. package/dist/enno-oduno/goki.d.mts.map +1 -0
  68. package/dist/enno-oduno/goki.mjs +3 -0
  69. package/dist/enno-oduno/goki.mjs.map +1 -0
  70. package/dist/enno-oduno/handoff.d.ts +4 -0
  71. package/dist/enno-oduno/handoff.d.ts.map +1 -0
  72. package/dist/enno-oduno/handoff.js +18 -0
  73. package/dist/enno-oduno/handoff.js.map +1 -0
  74. package/dist/enno-oduno/harness.d.ts +20 -0
  75. package/dist/enno-oduno/harness.d.ts.map +1 -0
  76. package/dist/enno-oduno/harness.js +65 -0
  77. package/dist/enno-oduno/harness.js.map +1 -0
  78. package/dist/enno-oduno/instructions.d.ts +5 -0
  79. package/dist/enno-oduno/instructions.d.ts.map +1 -0
  80. package/dist/enno-oduno/instructions.js +10 -0
  81. package/dist/enno-oduno/instructions.js.map +1 -0
  82. package/dist/enno-oduno/role-runner.d.ts +9 -0
  83. package/dist/enno-oduno/role-runner.d.ts.map +1 -0
  84. package/dist/enno-oduno/role-runner.js +171 -0
  85. package/dist/enno-oduno/role-runner.js.map +1 -0
  86. package/dist/enno-oduno/schemas.d.ts +668 -0
  87. package/dist/enno-oduno/schemas.d.ts.map +1 -0
  88. package/dist/enno-oduno/schemas.js +381 -0
  89. package/dist/enno-oduno/schemas.js.map +1 -0
  90. package/dist/enno-oduno/service.d.ts +49 -0
  91. package/dist/enno-oduno/service.d.ts.map +1 -0
  92. package/dist/enno-oduno/service.js +1005 -0
  93. package/dist/enno-oduno/service.js.map +1 -0
  94. package/dist/enno-oduno/skills.d.ts +22 -0
  95. package/dist/enno-oduno/skills.d.ts.map +1 -0
  96. package/dist/enno-oduno/skills.js +127 -0
  97. package/dist/enno-oduno/skills.js.map +1 -0
  98. package/dist/enno-oduno/store.d.ts +67 -0
  99. package/dist/enno-oduno/store.d.ts.map +1 -0
  100. package/dist/enno-oduno/store.js +380 -0
  101. package/dist/enno-oduno/store.js.map +1 -0
  102. package/dist/enno-oduno/types.d.ts +357 -0
  103. package/dist/enno-oduno/types.d.ts.map +1 -0
  104. package/dist/enno-oduno/types.js +64 -0
  105. package/dist/enno-oduno/types.js.map +1 -0
  106. package/dist/enno-oduno/verifier.d.ts +9 -0
  107. package/dist/enno-oduno/verifier.d.ts.map +1 -0
  108. package/dist/enno-oduno/verifier.js +101 -0
  109. package/dist/enno-oduno/verifier.js.map +1 -0
  110. package/dist/enno-oduno/zenki.d.mts +2 -0
  111. package/dist/enno-oduno/zenki.d.mts.map +1 -0
  112. package/dist/enno-oduno/zenki.mjs +3 -0
  113. package/dist/enno-oduno/zenki.mjs.map +1 -0
  114. package/dist/ledger/types.d.ts +1 -1
  115. package/dist/ledger/types.d.ts.map +1 -1
  116. package/dist/ledger/types.js +5 -0
  117. package/dist/ledger/types.js.map +1 -1
  118. package/dist/mcp/server.d.ts +1 -0
  119. package/dist/mcp/server.d.ts.map +1 -1
  120. package/dist/mcp/server.js +76 -26
  121. package/dist/mcp/server.js.map +1 -1
  122. package/dist/setup/claude-config.d.ts +2 -0
  123. package/dist/setup/claude-config.d.ts.map +1 -1
  124. package/dist/setup/claude-config.js +12 -0
  125. package/dist/setup/claude-config.js.map +1 -1
  126. package/dist/setup/enno-client-config.d.ts +9 -0
  127. package/dist/setup/enno-client-config.d.ts.map +1 -0
  128. package/dist/setup/enno-client-config.js +172 -0
  129. package/dist/setup/enno-client-config.js.map +1 -0
  130. package/dist/setup/opencode-config.d.ts +2 -0
  131. package/dist/setup/opencode-config.d.ts.map +1 -1
  132. package/dist/setup/opencode-config.js +12 -0
  133. package/dist/setup/opencode-config.js.map +1 -1
  134. package/dist/setup/render.d.ts +2 -0
  135. package/dist/setup/render.d.ts.map +1 -1
  136. package/dist/setup/render.js +23 -12
  137. package/dist/setup/render.js.map +1 -1
  138. package/dist/setup/standard-skills.d.ts +23 -4
  139. package/dist/setup/standard-skills.d.ts.map +1 -1
  140. package/dist/setup/standard-skills.js +51 -1
  141. package/dist/setup/standard-skills.js.map +1 -1
  142. package/dist/skills/discovery-service.d.ts.map +1 -1
  143. package/dist/skills/discovery-service.js +7 -3
  144. package/dist/skills/discovery-service.js.map +1 -1
  145. package/dist/skills/types.d.ts +1 -0
  146. package/dist/skills/types.d.ts.map +1 -1
  147. package/migrations/013_enno_oduno.sql +176 -0
  148. package/migrations/014_oduno_reflection_phases.sql +40 -0
  149. package/migrations/015_skill_discovery_attempt_digests.sql +90 -0
  150. package/migrations/016_enno_advisory_rounds.sql +67 -0
  151. package/package.json +7 -1
  152. package/skills/kiokuko-enno-oduno/SKILL.md +143 -0
  153. package/skills/kiokuko-enno-oduno/enno-oduno.png +0 -0
  154. package/skills/kiokuko-single-purpose-functions/SKILL.md +44 -258
  155. package/skills/kiokuko-single-purpose-functions/references/boundaries-and-ownership.md +50 -0
  156. package/skills/kiokuko-single-purpose-functions/references/domain-and-types.md +48 -0
  157. package/skills/kiokuko-single-purpose-functions/references/effects-and-data.md +43 -0
  158. package/skills/kiokuko-single-purpose-functions/references/protocols-and-idempotency.md +42 -0
  159. package/skills/kiokuko-single-purpose-functions/references/verification.md +41 -0
  160. package/skills/kiokuko-soul/SKILL.md +72 -0
  161. package/skills/kiokuko-ui-design-soul/SKILL.md +39 -1178
  162. package/skills/kiokuko-ui-design-soul/references/accessibility-and-navigation.md +31 -0
  163. package/skills/kiokuko-ui-design-soul/references/async-recovery.md +49 -0
  164. package/skills/kiokuko-ui-design-soul/references/forms-and-controls.md +35 -0
  165. package/skills/kiokuko-ui-design-soul/references/interaction-feedback.md +34 -0
  166. package/skills/kiokuko-ui-design-soul/references/responsive-and-platform.md +38 -0
  167. package/skills/kiokuko-ui-design-soul/references/safety-and-review.md +39 -0
  168. package/templates/AGENTS.md +11 -6
@@ -0,0 +1,380 @@
1
+ import { randomUUID } from 'node:crypto';
2
+ import { withImmediateTransaction } from '../db/transaction.js';
3
+ import { KiokukoError } from '../errors.js';
4
+ import { LedgerStore } from '../ledger/store.js';
5
+ import { canonicalJson } from '../serialization/validate.js';
6
+ import { parseStrictJson } from '../setup/strict-json.js';
7
+ import { parseEnnoContract, parseEnnoRequestHandoff, parseOdunoIdeal, parseOdunoMeditation, parseVerifierSpec, parseWorkReportResult, parseWorkPlan, } from './schemas.js';
8
+ import { ENNO_DEFAULT_MAX_ATTEMPTS, ENNO_APPLICABLE_TASK_TYPES, ENNO_CLIENT_KINDS, ENNO_STATUSES, } from './types.js';
9
+ function integrity(message) {
10
+ throw new KiokukoError('INTEGRITY_ERROR', message);
11
+ }
12
+ function parseCanonicalJson(value, message) {
13
+ let parsed;
14
+ try {
15
+ parsed = parseStrictJson(value, { allowTrailingComma: false, disallowComments: true, allowEmptyContent: false }, message);
16
+ }
17
+ catch {
18
+ return integrity(message);
19
+ }
20
+ if (canonicalJson(parsed) !== value)
21
+ return integrity(message);
22
+ return parsed;
23
+ }
24
+ function contractRow(database, runId) {
25
+ return database.prepare('SELECT * FROM enno_contracts WHERE run_id = ?').get(runId);
26
+ }
27
+ function validateContractRow(row) {
28
+ if (!ENNO_STATUSES.includes(row.status)
29
+ || !ENNO_APPLICABLE_TASK_TYPES.includes(row.task_type)
30
+ || !Number.isSafeInteger(row.revision) || row.revision < 1
31
+ || !Number.isSafeInteger(row.attempts) || row.attempts < 0 || row.attempts > 20
32
+ || !Number.isSafeInteger(row.mutation_revision) || row.mutation_revision < 0) {
33
+ integrity('Stored Enno run state is invalid');
34
+ }
35
+ }
36
+ function exposedStatus(row) {
37
+ if (row.phase === null)
38
+ return row.status;
39
+ if (row.phase === 'oduno_ideal' && row.status === 'zenki_planning')
40
+ return row.phase;
41
+ if (row.phase === 'oduno_meditation' && row.status === 'enno_verifying')
42
+ return row.phase;
43
+ return integrity('Stored Oduno phase is inconsistent');
44
+ }
45
+ function persistedState(status) {
46
+ if (status === 'oduno_ideal')
47
+ return { status: 'zenki_planning', phase: status };
48
+ if (status === 'oduno_meditation')
49
+ return { status: 'enno_verifying', phase: status };
50
+ return { status, phase: null };
51
+ }
52
+ function workUnits(database, runId, revision) {
53
+ const rows = database.prepare(`
54
+ SELECT work_unit_json, status, attempt_count, result_json
55
+ FROM enno_work_units
56
+ WHERE run_id = ? AND contract_revision = ?
57
+ ORDER BY order_index
58
+ `).all(runId, revision);
59
+ if (rows.length === 0)
60
+ return [];
61
+ const parsed = parseWorkPlan({
62
+ objective: 'stored units',
63
+ units: rows.map((row) => parseCanonicalJson(row.work_unit_json, 'Stored Enno WorkUnit is invalid')),
64
+ });
65
+ return rows.map((row, index) => ({
66
+ workUnit: parsed.units[index],
67
+ status: row.status,
68
+ attemptCount: row.attempt_count,
69
+ result: row.result_json === null
70
+ ? null
71
+ : parseWorkReportResult(parseCanonicalJson(row.result_json, 'Stored Enno work result is invalid')),
72
+ }));
73
+ }
74
+ function assertLedgerIdentity(database, identity, repositoryRoot) {
75
+ const run = new LedgerStore(database).readRun(identity.runId, identity.workspace);
76
+ if (run === undefined)
77
+ throw new KiokukoError('NOT_FOUND', 'Enno run was not found');
78
+ const intake = database.prepare('SELECT session_id AS sessionId FROM run_intakes WHERE run_id = ?')
79
+ .get(identity.runId);
80
+ if (intake?.sessionId !== identity.orchestrationId) {
81
+ throw new KiokukoError('CONFLICT', 'Enno orchestration session does not own this run');
82
+ }
83
+ if (repositoryRoot !== undefined && contractRow(database, identity.runId)?.repository_root !== repositoryRoot) {
84
+ throw new KiokukoError('CONFLICT', 'Enno repository binding changed');
85
+ }
86
+ }
87
+ export function readEnnoSnapshot(database, identity) {
88
+ assertLedgerIdentity(database, identity);
89
+ const row = contractRow(database, identity.runId);
90
+ if (row === undefined)
91
+ throw new KiokukoError('NOT_FOUND', 'Enno contract was not found');
92
+ validateContractRow(row);
93
+ if (row.workspace !== identity.workspace || row.orchestration_session_id !== identity.orchestrationId) {
94
+ throw new KiokukoError('CONFLICT', 'Enno run identity changed');
95
+ }
96
+ if ((row.client_kind !== null && !ENNO_CLIENT_KINDS.includes(row.client_kind))
97
+ || ((row.client_version !== null || row.client_session_id !== null) && row.client_kind === null)) {
98
+ integrity('Stored Enno client binding is invalid');
99
+ }
100
+ const contract = parseEnnoContract(parseCanonicalJson(row.contract_json, 'Stored Enno contract is invalid'));
101
+ const handoff = parseEnnoRequestHandoff(parseCanonicalJson(row.handoff_json, 'Stored Enno request handoff is invalid'));
102
+ const ideal = row.ideal_json === null
103
+ ? null
104
+ : parseOdunoIdeal(parseCanonicalJson(row.ideal_json, 'Stored Oduno ideal is invalid'));
105
+ const meditation = row.meditation_json === null
106
+ ? null
107
+ : parseOdunoMeditation(parseCanonicalJson(row.meditation_json, 'Stored Oduno meditation is invalid'));
108
+ const status = exposedStatus(row);
109
+ if (contract.revision !== row.revision)
110
+ integrity('Stored Enno contract revision is inconsistent');
111
+ if (handoff.taskType !== row.task_type)
112
+ integrity('Stored Enno request handoff is inconsistent');
113
+ if (status === 'oduno_ideal' && ideal !== null)
114
+ integrity('Stored Oduno ideal phase is inconsistent');
115
+ if (status === 'oduno_meditation' && (ideal === null || meditation !== null)) {
116
+ integrity('Stored Oduno meditation phase is inconsistent');
117
+ }
118
+ if (meditation !== null && status !== 'completed')
119
+ integrity('Stored Oduno meditation result is inconsistent');
120
+ return {
121
+ runId: row.run_id,
122
+ workspace: row.workspace,
123
+ orchestrationId: row.orchestration_session_id,
124
+ clientKind: row.client_kind,
125
+ clientVersion: row.client_version,
126
+ clientSessionId: row.client_session_id,
127
+ repositoryRoot: row.repository_root,
128
+ taskType: row.task_type,
129
+ status,
130
+ revision: row.revision,
131
+ confirmationState: row.confirmation_state,
132
+ attempts: row.attempts,
133
+ mutationRevision: row.mutation_revision,
134
+ ideal,
135
+ meditation,
136
+ contract,
137
+ handoff,
138
+ workUnits: workUnits(database, identity.runId, row.revision),
139
+ blocker: row.blocker,
140
+ };
141
+ }
142
+ function emptyDiscovery(mode) {
143
+ return {
144
+ attempted: false,
145
+ mode,
146
+ requirements: [],
147
+ queries: [],
148
+ cacheHits: 0,
149
+ candidates: 0,
150
+ selected: [],
151
+ failures: [],
152
+ };
153
+ }
154
+ export function createEnnoDraft(database, input) {
155
+ return withImmediateTransaction(database, () => {
156
+ assertLedgerIdentity(database, input);
157
+ const existing = contractRow(database, input.runId);
158
+ if (existing !== undefined)
159
+ return readEnnoSnapshot(database, input);
160
+ const contract = {
161
+ revision: 1,
162
+ scope: input.taskTarget === null ? [] : [input.taskTarget],
163
+ exclusions: [],
164
+ acceptanceCriteria: input.taskExpected === null ? [] : [{ id: 'task-expected', description: input.taskExpected }],
165
+ workPlan: { objective: input.taskTarget ?? 'Plan the requested task', units: [] },
166
+ skillSet: {
167
+ entries: [],
168
+ intakeDiscovery: input.skillDiscovery,
169
+ zenkiDiscovery: emptyDiscovery(input.skillDiscovery.mode),
170
+ },
171
+ finalVerifiers: [],
172
+ maxAttempts: ENNO_DEFAULT_MAX_ATTEMPTS,
173
+ provenance: {
174
+ scope: 'inferred',
175
+ exclusions: 'inferred',
176
+ acceptanceCriteria: 'inferred',
177
+ workPlan: 'inferred',
178
+ skillSet: 'inferred',
179
+ finalVerifiers: 'inferred',
180
+ maxAttempts: 'inferred',
181
+ },
182
+ };
183
+ const recognizedClientKind = typeof input.initialClientKind === 'string'
184
+ && ENNO_CLIENT_KINDS.includes(input.initialClientKind)
185
+ ? input.initialClientKind
186
+ : null;
187
+ const clientVersion = recognizedClientKind === null ? null : input.initialClientVersion ?? null;
188
+ const clientSessionId = recognizedClientKind === null ? null : input.initialClientSessionId ?? null;
189
+ const now = new Date().toISOString();
190
+ database.prepare(`
191
+ INSERT INTO enno_contracts (
192
+ run_id, workspace, orchestration_session_id, client_kind, client_version, client_session_id,
193
+ repository_root, task_type, status, revision,
194
+ confirmation_state, attempts, mutation_revision, contract_json, handoff_json,
195
+ intake_discovery_json, plan_digest, blocker, created_at, updated_at
196
+ , phase, ideal_json, meditation_json
197
+ ) VALUES (?, ?, ?, ?, ?, ?, ?, ?, 'zenki_planning', 1, 'not_required', 0, 0, ?, ?, ?, NULL, NULL, ?, ?, 'oduno_ideal', NULL, NULL)
198
+ `).run(input.runId, input.workspace, input.orchestrationId, recognizedClientKind, clientVersion, clientSessionId, input.repositoryRoot, input.taskType, canonicalJson(contract), canonicalJson(input.handoff), canonicalJson(input.skillDiscovery), now, now);
199
+ appendEnnoEventInTransaction(database, input.runId, 'enno.started', 'enno-oduno', 'started', {
200
+ contractRevision: 1,
201
+ harnessKind: recognizedClientKind,
202
+ clientBinding: clientSessionId === null ? 'pending' : 'bound',
203
+ });
204
+ return readEnnoSnapshot(database, input);
205
+ });
206
+ }
207
+ export function appendEnnoEventInTransaction(database, runId, eventType, actor, outcome, payload) {
208
+ new LedgerStore(database).appendBatchInTransaction(runId, { events: [{
209
+ eventId: randomUUID(),
210
+ eventType,
211
+ actor,
212
+ outcome,
213
+ payload,
214
+ }] });
215
+ }
216
+ export function updateContractInTransaction(database, snapshot, input) {
217
+ const nextState = persistedState(input.status);
218
+ const currentState = persistedState(snapshot.status);
219
+ const updated = database.prepare(`
220
+ UPDATE enno_contracts
221
+ SET status = ?, phase = ?, revision = ?, confirmation_state = ?, attempts = ?, mutation_revision = ?,
222
+ contract_json = ?, ideal_json = ?, meditation_json = ?, plan_digest = ?, blocker = ?, updated_at = ?
223
+ WHERE run_id = ? AND workspace = ? AND orchestration_session_id = ? AND revision = ?
224
+ AND status = ? AND phase IS ?
225
+ RETURNING run_id AS runId
226
+ `).get(nextState.status, nextState.phase, input.contract.revision, input.confirmationState, input.attempts ?? snapshot.attempts, input.mutationRevision ?? snapshot.mutationRevision, canonicalJson(input.contract), input.ideal === undefined
227
+ ? snapshot.ideal === null ? null : canonicalJson(snapshot.ideal)
228
+ : input.ideal === null ? null : canonicalJson(input.ideal), input.meditation === undefined
229
+ ? snapshot.meditation === null ? null : canonicalJson(snapshot.meditation)
230
+ : input.meditation === null ? null : canonicalJson(input.meditation), input.planDigest ?? null, input.blocker ?? null, new Date().toISOString(), snapshot.runId, snapshot.workspace, snapshot.orchestrationId, snapshot.revision, currentState.status, currentState.phase);
231
+ if (updated?.runId !== snapshot.runId)
232
+ throw new KiokukoError('CONFLICT', 'Enno state changed concurrently');
233
+ }
234
+ export function replaceWorkUnitsInTransaction(database, runId, revision, workPlan) {
235
+ database.prepare('DELETE FROM enno_work_units WHERE run_id = ? AND contract_revision = ?').run(runId, revision);
236
+ const statement = database.prepare(`
237
+ INSERT INTO enno_work_units (
238
+ run_id, work_unit_id, contract_revision, order_index, work_unit_json,
239
+ status, attempt_count, result_json, created_at, updated_at
240
+ ) VALUES (?, ?, ?, ?, ?, 'pending', 0, NULL, ?, ?)
241
+ `);
242
+ const now = new Date().toISOString();
243
+ workPlan.units.forEach((unit, index) => {
244
+ statement.run(runId, unit.id, revision, index, canonicalJson(unit), now, now);
245
+ });
246
+ }
247
+ export function setWorkUnitStatusInTransaction(database, input) {
248
+ const from = Array.isArray(input.from) ? input.from : [input.from];
249
+ const placeholders = from.map(() => '?').join(', ');
250
+ const updated = database.prepare(`
251
+ UPDATE enno_work_units
252
+ SET status = ?,
253
+ attempt_count = COALESCE(?, attempt_count),
254
+ result_json = ?,
255
+ updated_at = ?
256
+ WHERE run_id = ? AND contract_revision = ? AND work_unit_id = ? AND status IN (${placeholders})
257
+ RETURNING work_unit_id AS workUnitId
258
+ `).get(input.to, input.attemptCount ?? null, input.result === undefined || input.result === null ? null : canonicalJson(input.result), new Date().toISOString(), input.runId, input.contractRevision, input.workUnitId, ...from);
259
+ if (updated?.workUnitId !== input.workUnitId)
260
+ throw new KiokukoError('CONFLICT', 'Enno WorkUnit changed concurrently');
261
+ }
262
+ export function startVerifierRunsInTransaction(database, input) {
263
+ const statement = database.prepare(`
264
+ INSERT INTO enno_verifier_runs (
265
+ verifier_run_id, run_id, work_unit_id, contract_revision, mutation_revision,
266
+ verifier_id, verifier_json, status, started_at
267
+ ) VALUES (?, ?, ?, ?, ?, ?, ?, 'started', ?)
268
+ `);
269
+ const now = new Date().toISOString();
270
+ return input.verifiers.map((verifier) => {
271
+ const verifierRunId = randomUUID();
272
+ statement.run(verifierRunId, input.runId, input.workUnitId, input.revision, input.mutationRevision, verifier.id, canonicalJson(verifier), now);
273
+ return verifierRunId;
274
+ });
275
+ }
276
+ export function finishVerifierRunsInTransaction(database, verifierRunIds, results) {
277
+ if (verifierRunIds.length !== results.length)
278
+ integrity('Enno verifier result count is inconsistent');
279
+ const finishedAt = new Date().toISOString();
280
+ results.forEach((result, index) => {
281
+ const verifierRunId = verifierRunIds[index];
282
+ if (verifierRunId === undefined)
283
+ integrity('Enno verifier result count is inconsistent');
284
+ const updated = database.prepare(`
285
+ UPDATE enno_verifier_runs
286
+ SET status = ?, exit_code = ?, signal = ?, duration_ms = ?,
287
+ stdout_preview = ?, stderr_preview = ?, stdout_digest = ?, stderr_digest = ?, finished_at = ?
288
+ WHERE verifier_run_id = ? AND status = 'started'
289
+ RETURNING verifier_run_id AS verifierRunId
290
+ `).get(result.status, result.exitCode, result.signal, result.durationMs, result.stdoutPreview, result.stderrPreview, result.stdoutDigest, result.stderrDigest, finishedAt, verifierRunId);
291
+ if (updated?.verifierRunId !== verifierRunId)
292
+ throw new KiokukoError('CONFLICT', 'Enno verifier state changed concurrently');
293
+ });
294
+ }
295
+ export function readFreshFinalVerifierResults(database, input) {
296
+ const rows = database.prepare(`
297
+ SELECT verifier_id, verifier_json, status, exit_code, signal, duration_ms,
298
+ stdout_preview, stderr_preview, stdout_digest, stderr_digest
299
+ FROM enno_verifier_runs
300
+ WHERE run_id = ? AND work_unit_id IS NULL
301
+ AND contract_revision = ? AND mutation_revision = ?
302
+ ORDER BY verifier_id
303
+ `).all(input.runId, input.revision, input.mutationRevision);
304
+ if (rows.length !== input.verifiers.length || rows.some((row) => row.status === 'started'))
305
+ return undefined;
306
+ const byId = new Map(rows.map((row) => [row.verifier_id, row]));
307
+ if (byId.size !== input.verifiers.length || input.verifiers.some((verifier) => !byId.has(verifier.id)))
308
+ return undefined;
309
+ for (const verifier of input.verifiers) {
310
+ const row = byId.get(verifier.id);
311
+ const storedVerifier = parseVerifierSpec(parseCanonicalJson(row.verifier_json, 'Stored Enno verifier is invalid'));
312
+ if (canonicalJson(storedVerifier) !== canonicalJson(verifier))
313
+ return undefined;
314
+ }
315
+ return input.verifiers.map((verifier) => {
316
+ const row = byId.get(verifier.id);
317
+ const storedVerifier = parseVerifierSpec(parseCanonicalJson(row.verifier_json, 'Stored Enno verifier is invalid'));
318
+ return {
319
+ verifier: { ...storedVerifier, args: [...storedVerifier.args] },
320
+ status: row.status,
321
+ exitCode: row.exit_code,
322
+ signal: row.signal,
323
+ durationMs: row.duration_ms,
324
+ stdoutPreview: row.stdout_preview,
325
+ stderrPreview: row.stderr_preview,
326
+ stdoutDigest: row.stdout_digest,
327
+ stderrDigest: row.stderr_digest,
328
+ };
329
+ });
330
+ }
331
+ export function readOperationReceipt(database, runId, operation) {
332
+ const row = database.prepare(`
333
+ SELECT request_digest, state, response_json
334
+ FROM enno_operation_receipts
335
+ WHERE run_id = ? AND operation = ? AND idempotency_key = ?
336
+ `).get(runId, operation.operation, operation.idempotencyKey);
337
+ if (row === undefined)
338
+ return undefined;
339
+ if (row.request_digest !== operation.requestDigest) {
340
+ throw new KiokukoError('CONFLICT', 'Enno idempotency key was reused with different input');
341
+ }
342
+ if (row.state === 'started')
343
+ throw new KiokukoError('CONFLICT', 'Enno operation is already in progress');
344
+ if (row.response_json === null)
345
+ integrity('Stored Enno operation receipt is invalid');
346
+ return parseCanonicalJson(row.response_json, 'Stored Enno operation receipt is invalid');
347
+ }
348
+ export function startOperationInTransaction(database, runId, operation) {
349
+ const replay = readOperationReceipt(database, runId, operation);
350
+ if (replay !== undefined)
351
+ throw new KiokukoError('CONFLICT', 'Completed Enno operation must be replayed before mutation');
352
+ const active = database.prepare(`
353
+ SELECT operation FROM enno_operation_receipts
354
+ WHERE run_id = ? AND state = 'started'
355
+ LIMIT 1
356
+ `).get(runId);
357
+ if (active !== undefined)
358
+ throw new KiokukoError('CONFLICT', 'Another Enno operation is already in progress');
359
+ database.prepare(`
360
+ INSERT INTO enno_operation_receipts (
361
+ run_id, operation, idempotency_key, request_digest, state, response_json, created_at, finished_at
362
+ ) VALUES (?, ?, ?, ?, 'started', NULL, ?, NULL)
363
+ `).run(runId, operation.operation, operation.idempotencyKey, operation.requestDigest, new Date().toISOString());
364
+ }
365
+ export function completeOperationInTransaction(database, runId, operation, response) {
366
+ const serialized = canonicalJson(response);
367
+ const updated = database.prepare(`
368
+ UPDATE enno_operation_receipts
369
+ SET state = 'completed', response_json = ?, finished_at = ?
370
+ WHERE run_id = ? AND operation = ? AND idempotency_key = ?
371
+ AND request_digest = ? AND state = 'started'
372
+ RETURNING run_id AS runId
373
+ `).get(serialized, new Date().toISOString(), runId, operation.operation, operation.idempotencyKey, operation.requestDigest);
374
+ if (updated?.runId !== runId)
375
+ throw new KiokukoError('CONFLICT', 'Enno operation receipt changed concurrently');
376
+ }
377
+ export function terminalizeLedgerRunInTransaction(database, runId, status) {
378
+ new LedgerStore(database).updateRunStatusInTransaction(runId, status);
379
+ }
380
+ //# sourceMappingURL=store.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"store.js","sourceRoot":"","sources":["../../src/enno-oduno/store.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC,OAAO,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAC;AAChE,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAEjD,OAAO,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAC;AAC7D,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC1D,OAAO,EACL,iBAAiB,EACjB,uBAAuB,EACvB,eAAe,EACf,oBAAoB,EACpB,iBAAiB,EACjB,qBAAqB,EACrB,aAAa,GACd,MAAM,cAAc,CAAC;AACtB,OAAO,EACL,yBAAyB,EACzB,0BAA0B,EAC1B,iBAAiB,EACjB,aAAa,GAed,MAAM,YAAY,CAAC;AA+DpB,SAAS,SAAS,CAAC,OAAe;IAChC,MAAM,IAAI,YAAY,CAAC,iBAAiB,EAAE,OAAO,CAAC,CAAC;AACrD,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAa,EAAE,OAAe;IACxD,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,GAAG,eAAe,CACtB,KAAK,EACL,EAAE,kBAAkB,EAAE,KAAK,EAAE,gBAAgB,EAAE,IAAI,EAAE,iBAAiB,EAAE,KAAK,EAAE,EAC/E,OAAO,CACR,CAAC;IACJ,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC,OAAO,CAAC,CAAC;IAC5B,CAAC;IACD,IAAI,aAAa,CAAC,MAAM,CAAC,KAAK,KAAK;QAAE,OAAO,SAAS,CAAC,OAAO,CAAC,CAAC;IAC/D,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,WAAW,CAAC,QAAwB,EAAE,KAAa;IAC1D,OAAO,QAAQ,CAAC,OAAO,CAAC,+CAA+C,CAAC,CAAC,GAAG,CAAc,KAAK,CAAC,CAAC;AACnG,CAAC;AAED,SAAS,mBAAmB,CAAC,GAAgB;IAC3C,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAoB,CAAC;WAChD,CAAC,0BAA0B,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC;WACnD,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,GAAG,CAAC,QAAQ,GAAG,CAAC;WACvD,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,GAAG,CAAC,QAAQ,GAAG,CAAC,IAAI,GAAG,CAAC,QAAQ,GAAG,EAAE;WAC5E,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,iBAAiB,CAAC,IAAI,GAAG,CAAC,iBAAiB,GAAG,CAAC,EAAE,CAAC;QAC/E,SAAS,CAAC,kCAAkC,CAAC,CAAC;IAChD,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CAAC,GAA0C;IAC/D,IAAI,GAAG,CAAC,KAAK,KAAK,IAAI;QAAE,OAAO,GAAG,CAAC,MAAoB,CAAC;IACxD,IAAI,GAAG,CAAC,KAAK,KAAK,aAAa,IAAI,GAAG,CAAC,MAAM,KAAK,gBAAgB;QAAE,OAAO,GAAG,CAAC,KAAK,CAAC;IACrF,IAAI,GAAG,CAAC,KAAK,KAAK,kBAAkB,IAAI,GAAG,CAAC,MAAM,KAAK,gBAAgB;QAAE,OAAO,GAAG,CAAC,KAAK,CAAC;IAC1F,OAAO,SAAS,CAAC,oCAAoC,CAAC,CAAC;AACzD,CAAC;AAED,SAAS,cAAc,CAAC,MAAkB;IACxC,IAAI,MAAM,KAAK,aAAa;QAAE,OAAO,EAAE,MAAM,EAAE,gBAAgB,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IACjF,IAAI,MAAM,KAAK,kBAAkB;QAAE,OAAO,EAAE,MAAM,EAAE,gBAAgB,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IACtF,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;AACjC,CAAC;AAED,SAAS,SAAS,CAAC,QAAwB,EAAE,KAAa,EAAE,QAAgB;IAC1E,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,CAAC;;;;;GAK7B,CAAC,CAAC,GAAG,CAAc,KAAK,EAAE,QAAQ,CAAC,CAAC;IACrC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACjC,MAAM,MAAM,GAAG,aAAa,CAAC;QAC3B,SAAS,EAAE,cAAc;QACzB,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,kBAAkB,CAAC,GAAG,CAAC,cAAc,EAAE,iCAAiC,CAAC,CAAC;KACpG,CAAC,CAAC;IACH,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;QAC/B,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAE;QAC9B,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,YAAY,EAAE,GAAG,CAAC,aAAa;QAC/B,MAAM,EAAE,GAAG,CAAC,WAAW,KAAK,IAAI;YAC9B,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,qBAAqB,CAAC,kBAAkB,CAAC,GAAG,CAAC,WAAW,EAAE,oCAAoC,CAAC,CAAC;KACrG,CAAC,CAAC,CAAC;AACN,CAAC;AAED,SAAS,oBAAoB,CAAC,QAAwB,EAAE,QAAsB,EAAE,cAAuB;IACrG,MAAM,GAAG,GAAG,IAAI,WAAW,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC;IAClF,IAAI,GAAG,KAAK,SAAS;QAAE,MAAM,IAAI,YAAY,CAAC,WAAW,EAAE,wBAAwB,CAAC,CAAC;IACrF,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,kEAAkE,CAAC;SAChG,GAAG,CAAwB,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC9C,IAAI,MAAM,EAAE,SAAS,KAAK,QAAQ,CAAC,eAAe,EAAE,CAAC;QACnD,MAAM,IAAI,YAAY,CAAC,UAAU,EAAE,kDAAkD,CAAC,CAAC;IACzF,CAAC;IACD,IAAI,cAAc,KAAK,SAAS,IAAI,WAAW,CAAC,QAAQ,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,eAAe,KAAK,cAAc,EAAE,CAAC;QAC9G,MAAM,IAAI,YAAY,CAAC,UAAU,EAAE,iCAAiC,CAAC,CAAC;IACxE,CAAC;AACH,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,QAAwB,EAAE,QAAsB;IAC/E,oBAAoB,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IACzC,MAAM,GAAG,GAAG,WAAW,CAAC,QAAQ,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;IAClD,IAAI,GAAG,KAAK,SAAS;QAAE,MAAM,IAAI,YAAY,CAAC,WAAW,EAAE,6BAA6B,CAAC,CAAC;IAC1F,mBAAmB,CAAC,GAAG,CAAC,CAAC;IACzB,IAAI,GAAG,CAAC,SAAS,KAAK,QAAQ,CAAC,SAAS,IAAI,GAAG,CAAC,wBAAwB,KAAK,QAAQ,CAAC,eAAe,EAAE,CAAC;QACtG,MAAM,IAAI,YAAY,CAAC,UAAU,EAAE,2BAA2B,CAAC,CAAC;IAClE,CAAC;IACD,IAAI,CAAC,GAAG,CAAC,WAAW,KAAK,IAAI,IAAI,CAAC,iBAAiB,CAAC,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;WACzE,CAAC,CAAC,GAAG,CAAC,cAAc,KAAK,IAAI,IAAI,GAAG,CAAC,iBAAiB,KAAK,IAAI,CAAC,IAAI,GAAG,CAAC,WAAW,KAAK,IAAI,CAAC,EAAE,CAAC;QACnG,SAAS,CAAC,uCAAuC,CAAC,CAAC;IACrD,CAAC;IACD,MAAM,QAAQ,GAAG,iBAAiB,CAAC,kBAAkB,CAAC,GAAG,CAAC,aAAa,EAAE,iCAAiC,CAAC,CAAC,CAAC;IAC7G,MAAM,OAAO,GAAG,uBAAuB,CAAC,kBAAkB,CAAC,GAAG,CAAC,YAAY,EAAE,wCAAwC,CAAC,CAAC,CAAC;IACxH,MAAM,KAAK,GAAG,GAAG,CAAC,UAAU,KAAK,IAAI;QACnC,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,eAAe,CAAC,kBAAkB,CAAC,GAAG,CAAC,UAAU,EAAE,+BAA+B,CAAC,CAAC,CAAC;IACzF,MAAM,UAAU,GAAG,GAAG,CAAC,eAAe,KAAK,IAAI;QAC7C,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,oBAAoB,CAAC,kBAAkB,CAAC,GAAG,CAAC,eAAe,EAAE,oCAAoC,CAAC,CAAC,CAAC;IACxG,MAAM,MAAM,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;IAClC,IAAI,QAAQ,CAAC,QAAQ,KAAK,GAAG,CAAC,QAAQ;QAAE,SAAS,CAAC,+CAA+C,CAAC,CAAC;IACnG,IAAI,OAAO,CAAC,QAAQ,KAAK,GAAG,CAAC,SAAS;QAAE,SAAS,CAAC,6CAA6C,CAAC,CAAC;IACjG,IAAI,MAAM,KAAK,aAAa,IAAI,KAAK,KAAK,IAAI;QAAE,SAAS,CAAC,0CAA0C,CAAC,CAAC;IACtG,IAAI,MAAM,KAAK,kBAAkB,IAAI,CAAC,KAAK,KAAK,IAAI,IAAI,UAAU,KAAK,IAAI,CAAC,EAAE,CAAC;QAC7E,SAAS,CAAC,+CAA+C,CAAC,CAAC;IAC7D,CAAC;IACD,IAAI,UAAU,KAAK,IAAI,IAAI,MAAM,KAAK,WAAW;QAAE,SAAS,CAAC,gDAAgD,CAAC,CAAC;IAC/G,OAAO;QACL,KAAK,EAAE,GAAG,CAAC,MAAM;QACjB,SAAS,EAAE,GAAG,CAAC,SAAS;QACxB,eAAe,EAAE,GAAG,CAAC,wBAAwB;QAC7C,UAAU,EAAE,GAAG,CAAC,WAAW;QAC3B,aAAa,EAAE,GAAG,CAAC,cAAc;QACjC,eAAe,EAAE,GAAG,CAAC,iBAAiB;QACtC,cAAc,EAAE,GAAG,CAAC,eAAe;QACnC,QAAQ,EAAE,GAAG,CAAC,SAAS;QACvB,MAAM;QACN,QAAQ,EAAE,GAAG,CAAC,QAAQ;QACtB,iBAAiB,EAAE,GAAG,CAAC,kBAAkB;QACzC,QAAQ,EAAE,GAAG,CAAC,QAAQ;QACtB,gBAAgB,EAAE,GAAG,CAAC,iBAAiB;QACvC,KAAK;QACL,UAAU;QACV,QAAQ;QACR,OAAO;QACP,SAAS,EAAE,SAAS,CAAC,QAAQ,EAAE,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC,QAAQ,CAAC;QAC5D,OAAO,EAAE,GAAG,CAAC,OAAO;KACrB,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,IAAwB;IAC9C,OAAO;QACL,SAAS,EAAE,KAAK;QAChB,IAAI;QACJ,YAAY,EAAE,EAAE;QAChB,OAAO,EAAE,EAAE;QACX,SAAS,EAAE,CAAC;QACZ,UAAU,EAAE,CAAC;QACb,QAAQ,EAAE,EAAE;QACZ,QAAQ,EAAE,EAAE;KACb,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,QAAwB,EAAE,KAUzD;IACC,OAAO,wBAAwB,CAAC,QAAQ,EAAE,GAAG,EAAE;QAC7C,oBAAoB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACtC,MAAM,QAAQ,GAAG,WAAW,CAAC,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QACpD,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO,gBAAgB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACrE,MAAM,QAAQ,GAAsB;YAClC,QAAQ,EAAE,CAAC;YACX,KAAK,EAAE,KAAK,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC;YAC1D,UAAU,EAAE,EAAE;YACd,kBAAkB,EAAE,KAAK,CAAC,YAAY,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,eAAe,EAAE,WAAW,EAAE,KAAK,CAAC,YAAY,EAAE,CAAC;YACjH,QAAQ,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,UAAU,IAAI,yBAAyB,EAAE,KAAK,EAAE,EAAE,EAAE;YACjF,QAAQ,EAAE;gBACR,OAAO,EAAE,EAAE;gBACX,eAAe,EAAE,KAAK,CAAC,cAAc;gBACrC,cAAc,EAAE,cAAc,CAAC,KAAK,CAAC,cAAc,CAAC,IAAI,CAAC;aAC1D;YACD,cAAc,EAAE,EAAE;YAClB,WAAW,EAAE,yBAAyB;YACtC,UAAU,EAAE;gBACV,KAAK,EAAE,UAAU;gBACjB,UAAU,EAAE,UAAU;gBACtB,kBAAkB,EAAE,UAAU;gBAC9B,QAAQ,EAAE,UAAU;gBACpB,QAAQ,EAAE,UAAU;gBACpB,cAAc,EAAE,UAAU;gBAC1B,WAAW,EAAE,UAAU;aACxB;SACF,CAAC;QACF,MAAM,oBAAoB,GAAG,OAAO,KAAK,CAAC,iBAAiB,KAAK,QAAQ;eACnE,iBAAiB,CAAC,QAAQ,CAAC,KAAK,CAAC,iBAAmC,CAAC;YACxE,CAAC,CAAC,KAAK,CAAC,iBAAmC;YAC3C,CAAC,CAAC,IAAI,CAAC;QACT,MAAM,aAAa,GAAG,oBAAoB,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,oBAAoB,IAAI,IAAI,CAAC;QAChG,MAAM,eAAe,GAAG,oBAAoB,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,sBAAsB,IAAI,IAAI,CAAC;QACpG,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QACrC,QAAQ,CAAC,OAAO,CAAC;;;;;;;;KAQhB,CAAC,CAAC,GAAG,CACJ,KAAK,CAAC,KAAK,EACX,KAAK,CAAC,SAAS,EACf,KAAK,CAAC,eAAe,EACrB,oBAAoB,EACpB,aAAa,EACb,eAAe,EACf,KAAK,CAAC,cAAc,EACpB,KAAK,CAAC,QAAQ,EACd,aAAa,CAAC,QAAQ,CAAC,EACvB,aAAa,CAAC,KAAK,CAAC,OAAO,CAAC,EAC5B,aAAa,CAAC,KAAK,CAAC,cAAc,CAAC,EACnC,GAAG,EACH,GAAG,CACJ,CAAC;QACF,4BAA4B,CAAC,QAAQ,EAAE,KAAK,CAAC,KAAK,EAAE,cAAc,EAAE,YAAY,EAAE,SAAS,EAAE;YAC3F,gBAAgB,EAAE,CAAC;YACnB,WAAW,EAAE,oBAAoB;YACjC,aAAa,EAAE,eAAe,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO;SAC9D,CAAC,CAAC;QACH,OAAO,gBAAgB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,4BAA4B,CAC1C,QAAwB,EACxB,KAAa,EACb,SAAwC,EACxC,KAAsC,EACtC,OAAe,EACf,OAAkB;IAElB,IAAI,WAAW,CAAC,QAAQ,CAAC,CAAC,wBAAwB,CAAC,KAAK,EAAE,EAAE,MAAM,EAAE,CAAC;gBACnE,OAAO,EAAE,UAAU,EAAE;gBACrB,SAAS;gBACT,KAAK;gBACL,OAAO;gBACP,OAAO;aACR,CAAC,EAAE,CAAC,CAAC;AACR,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,QAAwB,EAAE,QAAyB,EAAE,KAUhG;IACC,MAAM,SAAS,GAAG,cAAc,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAC/C,MAAM,YAAY,GAAG,cAAc,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IACrD,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC;;;;;;;GAOhC,CAAC,CAAC,GAAG,CACJ,SAAS,CAAC,MAAM,EAChB,SAAS,CAAC,KAAK,EACf,KAAK,CAAC,QAAQ,CAAC,QAAQ,EACvB,KAAK,CAAC,iBAAiB,EACvB,KAAK,CAAC,QAAQ,IAAI,QAAQ,CAAC,QAAQ,EACnC,KAAK,CAAC,gBAAgB,IAAI,QAAQ,CAAC,gBAAgB,EACnD,aAAa,CAAC,KAAK,CAAC,QAAQ,CAAC,EAC7B,KAAK,CAAC,KAAK,KAAK,SAAS;QACvB,CAAC,CAAC,QAAQ,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,QAAQ,CAAC,KAAK,CAAC;QAChE,CAAC,CAAC,KAAK,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,EAC5D,KAAK,CAAC,UAAU,KAAK,SAAS;QAC5B,CAAC,CAAC,QAAQ,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,QAAQ,CAAC,UAAU,CAAC;QAC1E,CAAC,CAAC,KAAK,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,UAAU,CAAC,EACtE,KAAK,CAAC,UAAU,IAAI,IAAI,EACxB,KAAK,CAAC,OAAO,IAAI,IAAI,EACrB,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EACxB,QAAQ,CAAC,KAAK,EACd,QAAQ,CAAC,SAAS,EAClB,QAAQ,CAAC,eAAe,EACxB,QAAQ,CAAC,QAAQ,EACjB,YAAY,CAAC,MAAM,EACnB,YAAY,CAAC,KAAK,CACnB,CAAC;IACF,IAAI,OAAO,EAAE,KAAK,KAAK,QAAQ,CAAC,KAAK;QAAE,MAAM,IAAI,YAAY,CAAC,UAAU,EAAE,iCAAiC,CAAC,CAAC;AAC/G,CAAC;AAED,MAAM,UAAU,6BAA6B,CAAC,QAAwB,EAAE,KAAa,EAAE,QAAgB,EAAE,QAAkB;IACzH,QAAQ,CAAC,OAAO,CAAC,wEAAwE,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAChH,MAAM,SAAS,GAAG,QAAQ,CAAC,OAAO,CAAC;;;;;GAKlC,CAAC,CAAC;IACH,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IACrC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QACrC,SAAS,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,aAAa,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IAChF,CAAC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,8BAA8B,CAAC,QAAwB,EAAE,KAQxE;IACC,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACnE,MAAM,YAAY,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpD,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC;;;;;;qFAMkD,YAAY;;GAE9F,CAAC,CAAC,GAAG,CACJ,KAAK,CAAC,EAAE,EACR,KAAK,CAAC,YAAY,IAAI,IAAI,EAC1B,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,EACxF,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EACxB,KAAK,CAAC,KAAK,EACX,KAAK,CAAC,gBAAgB,EACtB,KAAK,CAAC,UAAU,EAChB,GAAG,IAAI,CACR,CAAC;IACF,IAAI,OAAO,EAAE,UAAU,KAAK,KAAK,CAAC,UAAU;QAAE,MAAM,IAAI,YAAY,CAAC,UAAU,EAAE,oCAAoC,CAAC,CAAC;AACzH,CAAC;AAED,MAAM,UAAU,8BAA8B,CAAC,QAAwB,EAAE,KAMxE;IACC,MAAM,SAAS,GAAG,QAAQ,CAAC,OAAO,CAAC;;;;;GAKlC,CAAC,CAAC;IACH,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IACrC,OAAO,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE;QACtC,MAAM,aAAa,GAAG,UAAU,EAAE,CAAC;QACnC,SAAS,CAAC,GAAG,CACX,aAAa,EACb,KAAK,CAAC,KAAK,EACX,KAAK,CAAC,UAAU,EAChB,KAAK,CAAC,QAAQ,EACd,KAAK,CAAC,gBAAgB,EACtB,QAAQ,CAAC,EAAE,EACX,aAAa,CAAC,QAAQ,CAAC,EACvB,GAAG,CACJ,CAAC;QACF,OAAO,aAAa,CAAC;IACvB,CAAC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,+BAA+B,CAC7C,QAAwB,EACxB,cAAiC,EACjC,OAAqC;IAErC,IAAI,cAAc,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM;QAAE,SAAS,CAAC,4CAA4C,CAAC,CAAC;IACtG,MAAM,UAAU,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IAC5C,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE;QAChC,MAAM,aAAa,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;QAC5C,IAAI,aAAa,KAAK,SAAS;YAAE,SAAS,CAAC,4CAA4C,CAAC,CAAC;QACzF,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC;;;;;;KAMhC,CAAC,CAAC,GAAG,CACJ,MAAM,CAAC,MAAM,EACb,MAAM,CAAC,QAAQ,EACf,MAAM,CAAC,MAAM,EACb,MAAM,CAAC,UAAU,EACjB,MAAM,CAAC,aAAa,EACpB,MAAM,CAAC,aAAa,EACpB,MAAM,CAAC,YAAY,EACnB,MAAM,CAAC,YAAY,EACnB,UAAU,EACV,aAAa,CACd,CAAC;QACF,IAAI,OAAO,EAAE,aAAa,KAAK,aAAa;YAAE,MAAM,IAAI,YAAY,CAAC,UAAU,EAAE,0CAA0C,CAAC,CAAC;IAC/H,CAAC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,6BAA6B,CAAC,QAAwB,EAAE,KAKvE;IACC,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,CAAC;;;;;;;GAO7B,CAAC,CAAC,GAAG,CAAoB,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,gBAAgB,CAAC,CAAC;IAC/E,IAAI,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,SAAS,CAAC,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC;QAAE,OAAO,SAAS,CAAC;IAC7G,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IAChE,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,SAAS,CAAC,MAAM,IAAI,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IACzH,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;QACvC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAE,CAAC;QACnC,MAAM,cAAc,GAAG,iBAAiB,CAAC,kBAAkB,CAAC,GAAG,CAAC,aAAa,EAAE,iCAAiC,CAAC,CAAC,CAAC;QACnH,IAAI,aAAa,CAAC,cAAc,CAAC,KAAK,aAAa,CAAC,QAAQ,CAAC;YAAE,OAAO,SAAS,CAAC;IAClF,CAAC;IACD,OAAO,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE;QACtC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAE,CAAC;QACnC,MAAM,cAAc,GAAG,iBAAiB,CAAC,kBAAkB,CAAC,GAAG,CAAC,aAAa,EAAE,iCAAiC,CAAC,CAAC,CAAC;QACnH,OAAO;YACL,QAAQ,EAAE,EAAE,GAAG,cAAc,EAAE,IAAI,EAAE,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,EAAE;YAC/D,MAAM,EAAE,GAAG,CAAC,MAA+C;YAC3D,QAAQ,EAAE,GAAG,CAAC,SAAS;YACvB,MAAM,EAAE,GAAG,CAAC,MAAM;YAClB,UAAU,EAAE,GAAG,CAAC,WAAW;YAC3B,aAAa,EAAE,GAAG,CAAC,cAAc;YACjC,aAAa,EAAE,GAAG,CAAC,cAAc;YACjC,YAAY,EAAE,GAAG,CAAC,aAAa;YAC/B,YAAY,EAAE,GAAG,CAAC,aAAa;SAChC,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAI,QAAwB,EAAE,KAAa,EAAE,SAA4B;IAC3G,MAAM,GAAG,GAAG,QAAQ,CAAC,OAAO,CAAC;;;;GAI5B,CAAC,CAAC,GAAG,CAAa,KAAK,EAAE,SAAS,CAAC,SAAS,EAAE,SAAS,CAAC,cAAc,CAAC,CAAC;IACzE,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACxC,IAAI,GAAG,CAAC,cAAc,KAAK,SAAS,CAAC,aAAa,EAAE,CAAC;QACnD,MAAM,IAAI,YAAY,CAAC,UAAU,EAAE,sDAAsD,CAAC,CAAC;IAC7F,CAAC;IACD,IAAI,GAAG,CAAC,KAAK,KAAK,SAAS;QAAE,MAAM,IAAI,YAAY,CAAC,UAAU,EAAE,uCAAuC,CAAC,CAAC;IACzG,IAAI,GAAG,CAAC,aAAa,KAAK,IAAI;QAAE,SAAS,CAAC,0CAA0C,CAAC,CAAC;IACtF,OAAO,kBAAkB,CAAC,GAAG,CAAC,aAAa,EAAE,0CAA0C,CAAM,CAAC;AAChG,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,QAAwB,EAAE,KAAa,EAAE,SAA4B;IAC/G,MAAM,MAAM,GAAG,oBAAoB,CAAU,QAAQ,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;IACzE,IAAI,MAAM,KAAK,SAAS;QAAE,MAAM,IAAI,YAAY,CAAC,UAAU,EAAE,2DAA2D,CAAC,CAAC;IAC1H,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC;;;;GAI/B,CAAC,CAAC,GAAG,CAAwB,KAAK,CAAC,CAAC;IACrC,IAAI,MAAM,KAAK,SAAS;QAAE,MAAM,IAAI,YAAY,CAAC,UAAU,EAAE,+CAA+C,CAAC,CAAC;IAC9G,QAAQ,CAAC,OAAO,CAAC;;;;GAIhB,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC,SAAS,EAAE,SAAS,CAAC,cAAc,EAAE,SAAS,CAAC,aAAa,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC;AAClH,CAAC;AAED,MAAM,UAAU,8BAA8B,CAC5C,QAAwB,EACxB,KAAa,EACb,SAA4B,EAC5B,QAAiB;IAEjB,MAAM,UAAU,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;IAC3C,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC;;;;;;GAMhC,CAAC,CAAC,GAAG,CACJ,UAAU,EACV,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EACxB,KAAK,EACL,SAAS,CAAC,SAAS,EACnB,SAAS,CAAC,cAAc,EACxB,SAAS,CAAC,aAAa,CACxB,CAAC;IACF,IAAI,OAAO,EAAE,KAAK,KAAK,KAAK;QAAE,MAAM,IAAI,YAAY,CAAC,UAAU,EAAE,6CAA6C,CAAC,CAAC;AAClH,CAAC;AAED,MAAM,UAAU,iCAAiC,CAAC,QAAwB,EAAE,KAAa,EAAE,MAA4C;IACrI,IAAI,WAAW,CAAC,QAAQ,CAAC,CAAC,4BAA4B,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;AACxE,CAAC"}