@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.
- package/README.ja.md +59 -4
- package/README.ko.md +54 -4
- package/README.md +66 -4
- package/README.zh-CN.md +54 -4
- package/dist/agent-file/render.d.ts +1 -1
- package/dist/agent-file/render.d.ts.map +1 -1
- package/dist/agent-file/render.js +13 -6
- package/dist/agent-file/render.js.map +1 -1
- package/dist/akinator/agent-task.d.ts +2 -0
- package/dist/akinator/agent-task.d.ts.map +1 -1
- package/dist/akinator/agent-task.js +49 -13
- package/dist/akinator/agent-task.js.map +1 -1
- package/dist/akinator/capabilities.d.ts.map +1 -1
- package/dist/akinator/capabilities.js +21 -14
- package/dist/akinator/capabilities.js.map +1 -1
- package/dist/akinator/skill-discovery-attempt.d.ts +7 -1
- package/dist/akinator/skill-discovery-attempt.d.ts.map +1 -1
- package/dist/akinator/skill-discovery-attempt.js +104 -25
- package/dist/akinator/skill-discovery-attempt.js.map +1 -1
- package/dist/cli.d.ts.map +1 -1
- package/dist/cli.js +5 -1
- package/dist/cli.js.map +1 -1
- package/dist/commands/agent.d.ts.map +1 -1
- package/dist/commands/agent.js +18 -9
- package/dist/commands/agent.js.map +1 -1
- package/dist/commands/enno.d.ts +7 -0
- package/dist/commands/enno.d.ts.map +1 -0
- package/dist/commands/enno.js +76 -0
- package/dist/commands/enno.js.map +1 -0
- package/dist/commands/setup.d.ts +5 -1
- package/dist/commands/setup.d.ts.map +1 -1
- package/dist/commands/setup.js +83 -18
- package/dist/commands/setup.js.map +1 -1
- package/dist/config/paths.d.ts +6 -0
- package/dist/config/paths.d.ts.map +1 -1
- package/dist/config/paths.js +40 -0
- package/dist/config/paths.js.map +1 -1
- package/dist/enno-oduno/adapters.d.ts +18 -0
- package/dist/enno-oduno/adapters.d.ts.map +1 -0
- package/dist/enno-oduno/adapters.js +216 -0
- package/dist/enno-oduno/adapters.js.map +1 -0
- package/dist/enno-oduno/advisory-store.d.ts +25 -0
- package/dist/enno-oduno/advisory-store.d.ts.map +1 -0
- package/dist/enno-oduno/advisory-store.js +93 -0
- package/dist/enno-oduno/advisory-store.js.map +1 -0
- package/dist/enno-oduno/advisory.d.ts +16 -0
- package/dist/enno-oduno/advisory.d.ts.map +1 -0
- package/dist/enno-oduno/advisory.js +128 -0
- package/dist/enno-oduno/advisory.js.map +1 -0
- package/dist/enno-oduno/confirmation.d.ts +4 -0
- package/dist/enno-oduno/confirmation.d.ts.map +1 -0
- package/dist/enno-oduno/confirmation.js +124 -0
- package/dist/enno-oduno/confirmation.js.map +1 -0
- package/dist/enno-oduno/directives.d.ts +12 -0
- package/dist/enno-oduno/directives.d.ts.map +1 -0
- package/dist/enno-oduno/directives.js +241 -0
- package/dist/enno-oduno/directives.js.map +1 -0
- package/dist/enno-oduno/enno-oduno.d.mts +2 -0
- package/dist/enno-oduno/enno-oduno.d.mts.map +1 -0
- package/dist/enno-oduno/enno-oduno.mjs +3 -0
- package/dist/enno-oduno/enno-oduno.mjs.map +1 -0
- package/dist/enno-oduno/experts.d.ts +6 -0
- package/dist/enno-oduno/experts.d.ts.map +1 -0
- package/dist/enno-oduno/experts.js +18 -0
- package/dist/enno-oduno/experts.js.map +1 -0
- package/dist/enno-oduno/goki.d.mts +2 -0
- package/dist/enno-oduno/goki.d.mts.map +1 -0
- package/dist/enno-oduno/goki.mjs +3 -0
- package/dist/enno-oduno/goki.mjs.map +1 -0
- package/dist/enno-oduno/handoff.d.ts +4 -0
- package/dist/enno-oduno/handoff.d.ts.map +1 -0
- package/dist/enno-oduno/handoff.js +18 -0
- package/dist/enno-oduno/handoff.js.map +1 -0
- package/dist/enno-oduno/harness.d.ts +20 -0
- package/dist/enno-oduno/harness.d.ts.map +1 -0
- package/dist/enno-oduno/harness.js +65 -0
- package/dist/enno-oduno/harness.js.map +1 -0
- package/dist/enno-oduno/instructions.d.ts +5 -0
- package/dist/enno-oduno/instructions.d.ts.map +1 -0
- package/dist/enno-oduno/instructions.js +10 -0
- package/dist/enno-oduno/instructions.js.map +1 -0
- package/dist/enno-oduno/role-runner.d.ts +9 -0
- package/dist/enno-oduno/role-runner.d.ts.map +1 -0
- package/dist/enno-oduno/role-runner.js +171 -0
- package/dist/enno-oduno/role-runner.js.map +1 -0
- package/dist/enno-oduno/schemas.d.ts +668 -0
- package/dist/enno-oduno/schemas.d.ts.map +1 -0
- package/dist/enno-oduno/schemas.js +381 -0
- package/dist/enno-oduno/schemas.js.map +1 -0
- package/dist/enno-oduno/service.d.ts +49 -0
- package/dist/enno-oduno/service.d.ts.map +1 -0
- package/dist/enno-oduno/service.js +1005 -0
- package/dist/enno-oduno/service.js.map +1 -0
- package/dist/enno-oduno/skills.d.ts +22 -0
- package/dist/enno-oduno/skills.d.ts.map +1 -0
- package/dist/enno-oduno/skills.js +127 -0
- package/dist/enno-oduno/skills.js.map +1 -0
- package/dist/enno-oduno/store.d.ts +67 -0
- package/dist/enno-oduno/store.d.ts.map +1 -0
- package/dist/enno-oduno/store.js +380 -0
- package/dist/enno-oduno/store.js.map +1 -0
- package/dist/enno-oduno/types.d.ts +357 -0
- package/dist/enno-oduno/types.d.ts.map +1 -0
- package/dist/enno-oduno/types.js +64 -0
- package/dist/enno-oduno/types.js.map +1 -0
- package/dist/enno-oduno/verifier.d.ts +9 -0
- package/dist/enno-oduno/verifier.d.ts.map +1 -0
- package/dist/enno-oduno/verifier.js +101 -0
- package/dist/enno-oduno/verifier.js.map +1 -0
- package/dist/enno-oduno/zenki.d.mts +2 -0
- package/dist/enno-oduno/zenki.d.mts.map +1 -0
- package/dist/enno-oduno/zenki.mjs +3 -0
- package/dist/enno-oduno/zenki.mjs.map +1 -0
- package/dist/ledger/types.d.ts +1 -1
- package/dist/ledger/types.d.ts.map +1 -1
- package/dist/ledger/types.js +5 -0
- package/dist/ledger/types.js.map +1 -1
- package/dist/mcp/server.d.ts +1 -0
- package/dist/mcp/server.d.ts.map +1 -1
- package/dist/mcp/server.js +76 -26
- package/dist/mcp/server.js.map +1 -1
- package/dist/setup/claude-config.d.ts +2 -0
- package/dist/setup/claude-config.d.ts.map +1 -1
- package/dist/setup/claude-config.js +12 -0
- package/dist/setup/claude-config.js.map +1 -1
- package/dist/setup/enno-client-config.d.ts +9 -0
- package/dist/setup/enno-client-config.d.ts.map +1 -0
- package/dist/setup/enno-client-config.js +172 -0
- package/dist/setup/enno-client-config.js.map +1 -0
- package/dist/setup/opencode-config.d.ts +2 -0
- package/dist/setup/opencode-config.d.ts.map +1 -1
- package/dist/setup/opencode-config.js +12 -0
- package/dist/setup/opencode-config.js.map +1 -1
- package/dist/setup/render.d.ts +2 -0
- package/dist/setup/render.d.ts.map +1 -1
- package/dist/setup/render.js +23 -12
- package/dist/setup/render.js.map +1 -1
- package/dist/setup/standard-skills.d.ts +23 -4
- package/dist/setup/standard-skills.d.ts.map +1 -1
- package/dist/setup/standard-skills.js +51 -1
- package/dist/setup/standard-skills.js.map +1 -1
- package/dist/skills/discovery-service.d.ts.map +1 -1
- package/dist/skills/discovery-service.js +7 -3
- package/dist/skills/discovery-service.js.map +1 -1
- package/dist/skills/types.d.ts +1 -0
- package/dist/skills/types.d.ts.map +1 -1
- package/migrations/013_enno_oduno.sql +176 -0
- package/migrations/014_oduno_reflection_phases.sql +40 -0
- package/migrations/015_skill_discovery_attempt_digests.sql +90 -0
- package/migrations/016_enno_advisory_rounds.sql +67 -0
- package/package.json +7 -1
- package/skills/kiokuko-enno-oduno/SKILL.md +143 -0
- package/skills/kiokuko-enno-oduno/enno-oduno.png +0 -0
- package/skills/kiokuko-single-purpose-functions/SKILL.md +44 -258
- package/skills/kiokuko-single-purpose-functions/references/boundaries-and-ownership.md +50 -0
- package/skills/kiokuko-single-purpose-functions/references/domain-and-types.md +48 -0
- package/skills/kiokuko-single-purpose-functions/references/effects-and-data.md +43 -0
- package/skills/kiokuko-single-purpose-functions/references/protocols-and-idempotency.md +42 -0
- package/skills/kiokuko-single-purpose-functions/references/verification.md +41 -0
- package/skills/kiokuko-soul/SKILL.md +72 -0
- package/skills/kiokuko-ui-design-soul/SKILL.md +39 -1178
- package/skills/kiokuko-ui-design-soul/references/accessibility-and-navigation.md +31 -0
- package/skills/kiokuko-ui-design-soul/references/async-recovery.md +49 -0
- package/skills/kiokuko-ui-design-soul/references/forms-and-controls.md +35 -0
- package/skills/kiokuko-ui-design-soul/references/interaction-feedback.md +34 -0
- package/skills/kiokuko-ui-design-soul/references/responsive-and-platform.md +38 -0
- package/skills/kiokuko-ui-design-soul/references/safety-and-review.md +39 -0
- 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"}
|