@cleocode/core 2026.10.17 → 2026.10.18-rc.ci.688

package/dist/goal/close.js

@@ -0,0 +1,497 @@
+/**
+ * `cleo goal close` — record the evidence a goal run produced against the
+ * CLEO acceptance criteria its criteria `prove`.
+ *
+ * Honesty rules (epic T13791, agreed with OpenCode-Goal):
+ * 1. The outcome must match the contract bytes (sha256 lock), and its head
+ *    (and base) commit must exist, or nothing is recorded.
+ * 2. The outcome's `pass`, exit codes and verdicts are claims. Everything CLEO
+ *    can check it re-checks before recording:
+ *    - `file` / `contains` / `absent` re-run against the head commit's tree
+ *      → `implemented`: `commit:<head>;files:<files>`;
+ *    - a test report must hash to `reportSha256` → `testsPassed`: `test-run:`;
+ *    - the project's typecheck / lint command → `qaPassed`: `tool:typecheck` /
+ *      `tool:lint`, run by CLEO's own tool runner, never from the exit code;
+ *    - a drafted `cleo verify <id> --run --req <R>` check and a human sign-off
+ *      write nothing: the AC counts only when CLEO's own typed-gate or manual
+ *      record maps it (`cleo done --plan`);
+ *    - a verifier verdict (quotes re-read at head) and a diff guard never
+ *      satisfy a gate.
+ * 3. Evidence goes through `validateGateVerify` (the `cleo verify` / `cleo
+ *    done` write), with `satisfies:<task>#<the contract's own reference>`, and
+ *    never replaces a gate already recorded.
+ * 4. A task is `ready` only when `cleo done --plan` maps every one of its
+ *    criteria; the caller then completes it through the `cleo done` path.
+ *
+ * Re-running with the same outcome writes nothing new.
+ *
+ * @epic T13791
+ * @task T13794
+ */
+import { execFileSync } from 'node:child_process';
+import { createHash } from 'node:crypto';
+import { existsSync, readFileSync, realpathSync, statSync } from 'node:fs';
+import { join, posix, resolve } from 'node:path';
+import { AC_ALIAS_REGEX, AC_UUID_REGEX, SATISFIES_TASK_ID_REGEX, SATISFIES_VERSION_PIN_REGEX, } from '@cleocode/contracts/evidence-atom-schema.js';
+import { ExitCode } from '@cleocode/contracts/exit-codes.js';
+import { parse as parseYaml } from 'yaml';
+import { z } from 'zod';
+import { engineSuccess } from '../engine-result.js';
+import { CleoError } from '../errors.js';
+import { cleoErrorToEngineResult } from '../errors-to-engine.js';
+import { isWithin } from '../nexus/stored-roots.js';
+import { getProjectRoot } from '../paths.js';
+import { getTaskAccessor } from '../store/data-accessor.js';
+import { isLandedOnOriginDefault } from '../tasks/change-set.js';
+import { joinCommandLine } from '../tasks/command-line.js';
+import { resolveToolCommand } from '../tasks/tool-resolver.js';
+import { GOAL_ID } from './draft.js';
+const evidenceSchema = z.discriminatedUnion('kind', [
+    z.object({
+        kind: z.literal('command'),
+        command: z.string(),
+        exitCode: z.number(),
+        reportPath: z.string().optional(),
+        reportSha256: z.string().optional(),
+        testFiles: z.array(z.string()).optional(),
+    }),
+    z.object({ kind: z.enum(['file', 'contains', 'absent', 'diff']), paths: z.array(z.string()) }),
+    z.object({
+        kind: z.literal('verifier'),
+        verdict: z.enum(['proven', 'not_proven', 'contradicted']),
+        quotes: z.array(z.object({ path: z.string(), quote: z.string() })),
+        reason: z.string().optional(),
+    }),
+    z.object({ kind: z.literal('human'), by: z.string().optional(), note: z.string().optional() }),
+]);
+const outcomeSchema = z.object({
+    schema: z.literal('goal-outcome/v1'),
+    goal: z.string(),
+    runId: z.string().optional(),
+    lock: z.string().regex(/^[0-9a-f]{64}$/),
+    baseCommit: z
+        .string()
+        .regex(/^[0-9a-f]{7,64}$/)
+        .nullable(),
+    headCommit: z.string().regex(/^[0-9a-f]{7,64}$/),
+    results: z.array(z.object({
+        id: z.string(),
+        pass: z.boolean(),
+        by: z.enum(['host', 'verifier', 'verifier-fallback', 'human']),
+        detail: z.string().optional(),
+        evidence: evidenceSchema,
+    })),
+});
+/** Whether `target` (after `T…#`) is one of the three `satisfies:` target forms. */
+function isAcTarget(target) {
+    const [ac = '', pin, extra] = target.split('@');
+    if (extra !== undefined)
+        return false;
+    if (pin !== undefined)
+        return AC_ALIAS_REGEX.test(ac) && SATISFIES_VERSION_PIN_REGEX.test(pin);
+    return AC_ALIAS_REGEX.test(ac) || AC_UUID_REGEX.test(ac);
+}
+const acRefSchema = z.string().refine((ref) => {
+    const [task = '', target = '', extra] = ref.split('#');
+    return extra === undefined && SATISFIES_TASK_ID_REGEX.test(task) && isAcTarget(target);
+}, 'proves entries are T<id>#AC<n>, T<id>#<criterion uuid> or T<id>#AC<n>@<14-digit pin>');
+/** The contract fields a close reads; everything else is the runtime's. */
+const contractSchema = z.object({
+    schema: z.literal('goal/v1'),
+    id: z.string(),
+    workspace: z.string().optional(),
+    criteria: z.array(z.object({
+        id: z.string(),
+        check: z.object({
+            kind: z.string(),
+            run: z.string().optional(),
+            path: z.string().optional(),
+            exists: z.boolean().optional(),
+            text: z.string().optional(),
+            regex: z.string().optional(),
+            pattern: z.string().optional(),
+            paths: z.array(z.string()).optional(),
+        }),
+        proves: z.array(acRefSchema).optional(),
+    })),
+    cleo: z
+        .object({ tasks: z.array(z.union([z.string(), z.object({ id: z.string() })])) })
+        .optional(),
+});
+/** Refuse the close with a validation error. */
+function fail(message, fix) {
+    throw new CleoError(ExitCode.VALIDATION_ERROR, message, fix ? { fix } : undefined);
+}
+/** `git` in `root`, or null when it fails. */
+function git(root, args) {
+    try {
+        return execFileSync('git', ['-C', root, ...args], {
+            encoding: 'utf-8',
+            stdio: ['ignore', 'pipe', 'ignore'],
+            maxBuffer: 64 * 1024 * 1024,
+        });
+    }
+    catch {
+        return null;
+    }
+}
+/** Whether `ancestor` is `descendant` or an ancestor of it in `root`. */
+function isAncestor(root, ancestor, descendant) {
+    return git(root, ['merge-base', '--is-ancestor', ancestor, descendant]) !== null;
+}
+/** Whether `sha` names a commit in `root`. */
+function commitExists(root, sha) {
+    return git(root, ['cat-file', '-e', `${sha}^{commit}`]) !== null;
+}
+/** The tree of commit `ref`, or the working tree (what `files:` hashes) when `ref` is null. */
+function treeAt(root, ref, workspace) {
+    const repoPath = (p) => posix.normalize(posix.join(workspace ?? '.', p.replace(/^\.\//, '')));
+    return {
+        label: ref ? `head ${ref.slice(0, 12)}` : 'the working tree',
+        repoPath,
+        read: (p) => {
+            if (ref)
+                return git(root, ['show', `${ref}:${repoPath(p)}`]);
+            const abs = join(root, repoPath(p));
+            return existsSync(abs) && statSync(abs).isFile() ? readFileSync(abs, 'utf8') : null;
+        },
+        absent: (pattern, paths) => {
+            try {
+                execFileSync('git', [
+                    '-C',
+                    root,
+                    'grep',
+                    '-q',
+                    '-I',
+                    '-E',
+                    '-e',
+                    pattern,
+                    ...(ref ? [ref] : []),
+                    '--',
+                    ...(paths.length ? paths.map(repoPath) : [workspace ?? '.']),
+                    ':(exclude).opencode/goals',
+                ], { stdio: 'ignore' });
+                return false; // exit 0: a match remains
+            }
+            catch (err) {
+                return err.status === 1 ? true : null;
+            }
+        },
+    };
+}
+/** Re-run a path check against one tree; the files it proves, or why it fails. */
+function recheckPath(check, tree) {
+    const path = check.path ?? '';
+    switch (check.kind) {
+        case 'file': {
+            const exists = tree.read(path) !== null;
+            if (exists !== (check.exists !== false))
+                return { why: `${path} ${exists ? 'exists' : 'does not exist'} at ${tree.label}` };
+            return { files: exists ? [tree.repoPath(path)] : [] };
+        }
+        case 'contains': {
+            const content = tree.read(path);
+            if (content === null)
+                return { why: `${path} is not a file at ${tree.label}` };
+            const ok = check.text !== undefined
+                ? content.includes(check.text)
+                : new RegExp(check.regex ?? '', 'm').test(content); // OCG's flags
+            return ok
+                ? { files: [tree.repoPath(path)] }
+                : { why: `${path} does not contain it at ${tree.label}` };
+        }
+        case 'absent': {
+            const absent = tree.absent(check.pattern ?? '', check.paths ?? []);
+            if (absent === null)
+                return { why: `the search at ${tree.label} failed` };
+            if (!absent)
+                return { why: `the pattern still matches at ${tree.label}` };
+            return { files: (check.paths ?? []).filter((p) => tree.read(p) !== null).map(tree.repoPath) };
+        }
+        default:
+            return { why: `${check.kind} is not a path check` };
+    }
+}
+/** The evidence one criterion contributes, per the honesty rules. */
+function contribution(criterionId, check, result, ctx) {
+    if (check.kind === 'diff') {
+        return {
+            blocker: `${criterionId} is a diff guard: it proves the paths did not change, not that anything was built`,
+        };
+    }
+    if (check.kind === 'human') {
+        return {
+            deferred: `${criterionId} is an owner sign-off, which counts only with CLEO's own record: record the manual gate verdict`,
+        };
+    }
+    if (!result)
+        return { blocker: `${criterionId} has no verdict in the outcome` };
+    if (!result.pass)
+        return { blocker: `${criterionId} did not pass: ${result.detail ?? 'no detail'}` };
+    if (check.kind === 'verifier') {
+        const quotes = result.evidence.kind === 'verifier' ? result.evidence.quotes : [];
+        const found = quotes.filter((q) => ctx.tree.read(q.path)?.includes(q.quote) === true).length;
+        return {
+            blocker: `${criterionId} is proven only by a verifier verdict (a note; ${found}/${quotes.length} quotes found at head); a verifier verdict never satisfies a gate`,
+        };
+    }
+    if (check.kind === 'command') {
+        const run = (check.run ?? '').trim();
+        const typed = /^cleo verify (T\d+) --run --req (\S+) --field \/data\/passed$/.exec(run);
+        if (typed) {
+            return {
+                deferred: `${criterionId} runs typed gate ${typed[2]}, which counts only with its cached pass: cleo verify ${typed[1]} --run --req ${typed[2]}`,
+            };
+        }
+        const qa = ctx.qaCommands.get(run);
+        if (qa)
+            return { gate: 'qaPassed', atoms: [`tool:${qa}`] };
+        const ev = result.evidence;
+        if (ev.kind !== 'command' || !ev.reportPath) {
+            return {
+                blocker: `${criterionId} passed a command with no test report, which is no gate evidence; attach its report, or make it a typed gate`,
+            };
+        }
+        const report = resolve(ctx.root, ev.reportPath);
+        if (!existsSync(report))
+            return { blocker: `${criterionId}'s report ${ev.reportPath} is missing` };
+        if (!isWithin(realpathSync(ctx.root), realpathSync(report)))
+            return { blocker: `${criterionId}'s report ${ev.reportPath} is outside the project` };
+        const sha = createHash('sha256').update(readFileSync(report)).digest('hex');
+        if (!ev.reportSha256)
+            return { blocker: `${criterionId}'s report has no reportSha256 to bind it` };
+        if (sha !== ev.reportSha256)
+            return {
+                blocker: `${criterionId}'s report does not hash to its reportSha256 (it changed after the run)`,
+            };
+        return { gate: 'testsPassed', atoms: [`test-run:${report}`] };
+    }
+    // The claim must hold at the run's head AND in the tree whose bytes files: hashes.
+    for (const tree of [ctx.tree, ctx.live]) {
+        const rechecked = recheckPath(check, tree);
+        if ('why' in rechecked)
+            return { blocker: `${criterionId} does not hold: ${rechecked.why}` };
+    }
+    const rechecked = recheckPath(check, ctx.live);
+    if (!('files' in rechecked) || rechecked.files.length === 0)
+        return { blocker: `${criterionId} passed a ${check.kind} check on no file to record` };
+    return {
+        gate: 'implemented',
+        atoms: [`commit:${ctx.head}`, `files:${rechecked.files.join(',')}`],
+    };
+}
+/**
+ * Close a goal: verify the outcome, record per-AC evidence, report each task.
+ *
+ * @param slug - Goal slug; the contract is `.opencode/goals/<slug>/goal.yaml`.
+ * @param opts - Project root, outcome path and test seams.
+ * @returns Per-task results, or a refusal when the outcome does not match.
+ * @example
+ * ```ts
+ * const r = await closeGoal('t123', { outcomePath: 'outcome.json' });
+ * if (r.success) r.data.tasks.filter((t) => t.ready); // complete via cleo done
+ * ```
+ */
+export async function closeGoal(slug, opts) {
+    try {
+        const root = opts.projectRoot ?? getProjectRoot();
+        if (!GOAL_ID.test(slug))
+            fail(`Goal slug "${slug}" is not a goal id (a-z, 0-9, hyphens, at most 64)`);
+        const contractPath = join(root, '.opencode', 'goals', slug, 'goal.yaml');
+        if (!existsSync(contractPath))
+            fail(`No goal contract at ${contractPath}`, `cleo goal draft <taskId>`);
+        const bytes = readFileSync(contractPath);
+        const lock = createHash('sha256').update(bytes).digest('hex');
+        const outcomeParsed = outcomeSchema.safeParse(JSON.parse(readFileSync(resolve(opts.outcomePath), 'utf8')));
+        if (!outcomeParsed.success)
+            fail(`Not a goal-outcome/v1 file: ${outcomeParsed.error.message}`);
+        const outcome = outcomeParsed.data;
+        if (outcome.goal !== slug)
+            fail(`The outcome is for goal ${outcome.goal}, not ${slug}`);
+        if (outcome.lock !== lock) {
+            fail(`The outcome's contract lock ${outcome.lock.slice(0, 12)} does not match ${contractPath} (${lock.slice(0, 12)}); the contract changed after the run`, 'Close with the outcome of a run of the current contract');
+        }
+        for (const sha of [outcome.headCommit, outcome.baseCommit]) {
+            if (sha !== null && !commitExists(root, sha))
+                fail(`Commit ${sha} does not exist in ${root}`, 'git fetch, then close again');
+        }
+        // A stale head would judge claims on code HEAD no longer holds.
+        if (!isAncestor(root, outcome.headCommit, 'HEAD'))
+            fail(`Head commit ${outcome.headCommit.slice(0, 12)} is not HEAD or an ancestor of it in ${root}`, 'Close from the checkout the run produced (or one that contains its head)');
+        if (outcome.baseCommit !== null && !isAncestor(root, outcome.baseCommit, outcome.headCommit))
+            fail(`Base commit ${outcome.baseCommit.slice(0, 12)} is not an ancestor of the head commit`);
+        const contractParsed = contractSchema.safeParse(parseYaml(bytes.toString('utf8')));
+        if (!contractParsed.success)
+            fail(`${contractPath} is not a goal/v1 contract: ${contractParsed.error.message}`);
+        const contract = contractParsed.data;
+        const qaCommands = new Map();
+        for (const tool of ['lint', 'typecheck']) {
+            const r = resolveToolCommand(tool, root);
+            if (r.ok)
+                qaCommands.set(joinCommandLine([r.command.cmd, ...r.command.args]), tool);
+        }
+        const ctx = {
+            root,
+            head: outcome.headCommit,
+            tree: treeAt(root, outcome.headCommit, contract.workspace),
+            live: treeAt(root, null, contract.workspace),
+            qaCommands,
+        };
+        // Per task, per AC target (as the contract spells it): every contribution.
+        const byTask = new Map();
+        for (const t of contract.cleo?.tasks ?? [])
+            byTask.set(typeof t === 'string' ? t : t.id, new Map());
+        for (const c of contract.criteria) {
+            const result = outcome.results.find((r) => r.id === c.id);
+            for (const ref of c.proves ?? []) {
+                const [taskId = '', target = ''] = ref.split('#');
+                const acs = byTask.get(taskId) ?? new Map();
+                byTask.set(taskId, acs);
+                acs.set(target, [...(acs.get(target) ?? []), contribution(c.id, c.check, result, ctx)]);
+            }
+        }
+        const accessor = await getTaskAccessor(root);
+        const { planTaskDone } = await import('../tasks/done-plan.js');
+        const { validateGateVerify } = await import('../validation/engine-ops.js');
+        const { resolveBoundSessionId } = await import('../store/session-store.js');
+        const sessionId = (await resolveBoundSessionId(root).catch(() => null)) ?? undefined;
+        // Resolve every task before any write, so a refusal never follows a partial write.
+        const loaded = [];
+        for (const [taskId, acs] of byTask) {
+            const task = await accessor.loadSingleTask(taskId);
+            if (!task)
+                fail(`Task ${taskId} named by goal ${slug} not found`, `cleo find "${taskId}"`);
+            loaded.push({ taskId, acs, task, rows: await accessor.getAcRows(taskId) });
+        }
+        const tasks = [];
+        for (const { taskId, acs, task, rows } of loaded) {
+            if (task.status === 'done') {
+                tasks.push({
+                    taskId,
+                    alreadyDone: true,
+                    recordedGates: [],
+                    satisfied: [],
+                    open: [],
+                    ready: false,
+                });
+                continue;
+            }
+            // A target names its row by alias (optionally pinned) or by canonical uuid.
+            const rowOf = (target) => {
+                const ac = target.split('@')[0] ?? '';
+                return rows.find((r) => r.id === ac || `AC${r.ordinal}` === ac);
+            };
+            const linked = new Set(Object.values(task.verification?.evidence ?? {}).flatMap((e) => e?.scope?.criteria?.map((l) => l.criterionId) ?? []));
+            const blockers = new Map();
+            const perGate = new Map();
+            for (const [target, parts] of acs) {
+                const row = rowOf(target);
+                if (!row) {
+                    blockers.set(target, `${taskId} has no criterion ${target}`);
+                    continue;
+                }
+                const alias = `AC${row.ordinal}`;
+                const blocked = parts.flatMap((p) => ('blocker' in p ? [p.blocker] : []));
+                if (blocked.length) {
+                    blockers.set(alias, blocked.join('; '));
+                    continue;
+                }
+                const deferred = parts.flatMap((p) => ('deferred' in p ? [p.deferred] : []));
+                if (deferred.length)
+                    blockers.set(alias, deferred.join('; '));
+                for (const p of parts) {
+                    if (!('gate' in p))
+                        continue;
+                    const entry = perGate.get(p.gate) ?? {
+                        atoms: new Set(),
+                        targets: [],
+                        aliases: [],
+                    };
+                    for (const a of p.atoms)
+                        entry.atoms.add(a);
+                    if (!entry.targets.includes(target))
+                        entry.targets.push(target);
+                    if (!entry.aliases.includes(alias))
+                        entry.aliases.push(alias);
+                    perGate.set(p.gate, entry);
+                }
+            }
+            const gateEvidence = {};
+            for (const [gate, { atoms, targets, aliases }] of perGate) {
+                // Idempotent re-run: nothing new to link on this gate.
+                if (targets.every((t) => linked.has(rowOf(t)?.id ?? '')))
+                    continue;
+                const evidence = [...atoms, ...targets.map((t) => `satisfies:${taskId}#${t}`)].join(';');
+                if (task.verification?.gates?.[gate] === true) {
+                    for (const a of aliases)
+                        blockers.set(a, `${gate} is already recorded for ${taskId}; recording the goal's evidence would replace it. Re-record both: cleo verify ${taskId} --gate ${gate} --evidence "<existing atoms>;${evidence}"`);
+                    continue;
+                }
+                gateEvidence[gate] = evidence;
+            }
+            const recordedGates = Object.keys(gateEvidence);
+            if (recordedGates.length > 0) {
+                const written = await validateGateVerify(root, {
+                    taskId,
+                    gateEvidence,
+                    agent: 'cleo-goal-close',
+                    ...(sessionId ? { sessionId } : {}),
+                });
+                if (!written.success) {
+                    recordedGates.length = 0;
+                    for (const { aliases } of perGate.values())
+                        for (const a of aliases)
+                            blockers.set(a, `cleo verify refused (${written.error.code}): ${written.error.message}`);
+                }
+            }
+            const plan = await planTaskDone(taskId, {
+                projectRoot: root,
+                cwd: root,
+                ...(opts.deps ? { deps: opts.deps } : {}),
+            });
+            if (!plan.success) {
+                tasks.push({
+                    taskId,
+                    alreadyDone: false,
+                    recordedGates,
+                    satisfied: [],
+                    open: [
+                        {
+                            alias: '*',
+                            blocker: `cleo done --plan failed (${plan.error.code}): ${plan.error.message}`,
+                        },
+                    ],
+                    ready: false,
+                });
+                continue;
+            }
+            const open = plan.data.acMapping
+                .filter((m) => !m.mapped)
+                .map((m) => ({
+                alias: m.alias,
+                blocker: blockers.get(m.alias) ?? 'no passing goal criterion proves it',
+            }));
+            // Work that landed on main with no citing PR or branch completes from the run's head commit.
+            const viaCommit = open.length === 0 &&
+                plan.data.changeSet.source === 'none' &&
+                isLandedOnOriginDefault(root, outcome.headCommit);
+            tasks.push({
+                taskId,
+                alreadyDone: false,
+                recordedGates,
+                satisfied: plan.data.acMapping.filter((m) => m.mapped).map((m) => m.alias),
+                open,
+                ready: open.length === 0,
+                ...(viaCommit ? { completionCommit: outcome.headCommit } : {}),
+            });
+        }
+        return engineSuccess({ goal: slug, lock, headCommit: outcome.headCommit, tasks });
+    }
+    catch (err) {
+        if (err instanceof SyntaxError) {
+            return cleoErrorToEngineResult(new CleoError(ExitCode.VALIDATION_ERROR, `Outcome is not JSON: ${err.message}`));
+        }
+        return cleoErrorToEngineResult(err, 'E_GOAL_CLOSE_FAILED', 'cleo goal close failed');
+    }
+}
+//# sourceMappingURL=close.js.map

package/dist/goal/close.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"close.js","sourceRoot":"","sources":["../../src/goal/close.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAC3E,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAEjD,OAAO,EACL,cAAc,EACd,aAAa,EACb,uBAAuB,EACvB,2BAA2B,GAC5B,MAAM,6CAA6C,CAAC;AACrD,OAAO,EAAE,QAAQ,EAAE,MAAM,mCAAmC,CAAC;AAC7D,OAAO,EAAE,KAAK,IAAI,SAAS,EAAE,MAAM,MAAM,CAAC;AAC1C,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAqB,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACvE,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AACzC,OAAO,EAAE,uBAAuB,EAAE,MAAM,wBAAwB,CAAC;AACjE,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AACpD,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAC7C,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAC5D,OAAO,EAAsB,uBAAuB,EAAE,MAAM,wBAAwB,CAAC;AACrF,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAC/D,OAAO,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAsDrC,MAAM,cAAc,GAAG,CAAC,CAAC,kBAAkB,CAAC,MAAM,EAAE;IAClD,CAAC,CAAC,MAAM,CAAC;QACP,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC;QAC1B,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;QACnB,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;QACpB,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;QACjC,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;QACnC,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;KAC1C,CAAC;IACF,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC;IAC9F,CAAC,CAAC,MAAM,CAAC;QACP,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC;QAC3B,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,YAAY,EAAE,cAAc,CAAC,CAAC;QACzD,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QAClE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;KAC9B,CAAC;IACF,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC;CAC/F,CAAC,CAAC;AAEH,MAAM,aAAa,GAAG,CAAC,CAAC,MAAM,CAAC;IAC7B,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC;IACpC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAChB,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC5B,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAAC;IACxC,UAAU,EAAE,CAAC;SACV,MAAM,EAAE;SACR,KAAK,CAAC,kBAAkB,CAAC;SACzB,QAAQ,EAAE;IACb,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,kBAAkB,CAAC;IAChD,OAAO,EAAE,CAAC,CAAC,KAAK,CACd,CAAC,CAAC,MAAM,CAAC;QACP,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;QACd,IAAI,EAAE,CAAC,CAAC,OAAO,EAAE;QACjB,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,UAAU,EAAE,mBAAmB,EAAE,OAAO,CAAC,CAAC;QAC9D,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;QAC7B,QAAQ,EAAE,cAAc;KACzB,CAAC,CACH;CACF,CAAkC,CAAC;AAEpC,oFAAoF;AACpF,SAAS,UAAU,CAAC,MAAc;IAChC,MAAM,CAAC,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAChD,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACtC,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,2BAA2B,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC/F,OAAO,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AAC3D,CAAC;AAED,MAAM,WAAW,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE;IAC5C,MAAM,CAAC,IAAI,GAAG,EAAE,EAAE,MAAM,GAAG,EAAE,EAAE,KAAK,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACvD,OAAO,KAAK,KAAK,SAAS,IAAI,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,MAAM,CAAC,CAAC;AACzF,CAAC,EAAE,sFAAsF,CAAC,CAAC;AAE3F,2EAA2E;AAC3E,MAAM,cAAc,GAAG,CAAC,CAAC,MAAM,CAAC;IAC9B,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC;IAC5B,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;IACd,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAChC,QAAQ,EAAE,CAAC,CAAC,KAAK,CACf,CAAC,CAAC,MAAM,CAAC;QACP,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;QACd,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC;YACd,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;YAChB,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;YAC1B,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;YAC3B,MAAM,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;YAC9B,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;YAC3B,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;YAC5B,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;YAC9B,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;SACtC,CAAC;QACF,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,QAAQ,EAAE;KACxC,CAAC,CACH;IACD,IAAI,EAAE,CAAC;SACJ,MAAM,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;SAC/E,QAAQ,EAAE;CACd,CAAC,CAAC;AAaH,gDAAgD;AAChD,SAAS,IAAI,CAAC,OAAe,EAAE,GAAY;IACzC,MAAM,IAAI,SAAS,CAAC,QAAQ,CAAC,gBAAgB,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;AACrF,CAAC;AAED,8CAA8C;AAC9C,SAAS,GAAG,CAAC,IAAY,EAAE,IAAc;IACvC,IAAI,CAAC;QACH,OAAO,YAAY,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC,EAAE;YAChD,QAAQ,EAAE,OAAO;YACjB,KAAK,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,CAAC;YACnC,SAAS,EAAE,EAAE,GAAG,IAAI,GAAG,IAAI;SAC5B,CAAC,CAAC;IACL,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,yEAAyE;AACzE,SAAS,UAAU,CAAC,IAAY,EAAE,QAAgB,EAAE,UAAkB;IACpE,OAAO,GAAG,CAAC,IAAI,EAAE,CAAC,YAAY,EAAE,eAAe,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC,KAAK,IAAI,CAAC;AACnF,CAAC;AAED,8CAA8C;AAC9C,SAAS,YAAY,CAAC,IAAY,EAAE,GAAW;IAC7C,OAAO,GAAG,CAAC,IAAI,EAAE,CAAC,UAAU,EAAE,IAAI,EAAE,GAAG,GAAG,WAAW,CAAC,CAAC,KAAK,IAAI,CAAC;AACnE,CAAC;AAcD,+FAA+F;AAC/F,SAAS,MAAM,CAAC,IAAY,EAAE,GAAkB,EAAE,SAA6B;IAC7E,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAU,EAAE,CACrC,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,IAAI,GAAG,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IACxE,OAAO;QACL,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,kBAAkB;QAC5D,QAAQ;QACR,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;YACV,IAAI,GAAG;gBAAE,OAAO,GAAG,CAAC,IAAI,EAAE,CAAC,MAAM,EAAE,GAAG,GAAG,IAAI,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC7D,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;YACpC,OAAO,UAAU,CAAC,GAAG,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACtF,CAAC;QACD,MAAM,EAAE,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE;YACzB,IAAI,CAAC;gBACH,YAAY,CACV,KAAK,EACL;oBACE,IAAI;oBACJ,IAAI;oBACJ,MAAM;oBACN,IAAI;oBACJ,IAAI;oBACJ,IAAI;oBACJ,IAAI;oBACJ,OAAO;oBACP,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;oBACrB,IAAI;oBACJ,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,CAAC,CAAC;oBAC5D,2BAA2B;iBAC5B,EACD,EAAE,KAAK,EAAE,QAAQ,EAAE,CACpB,CAAC;gBACF,OAAO,KAAK,CAAC,CAAC,0BAA0B;YAC1C,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,OAAQ,GAA2B,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;YACjE,CAAC;QACH,CAAC;KACF,CAAC;AACJ,CAAC;AAED,kFAAkF;AAClF,SAAS,WAAW,CAAC,KAAoB,EAAE,IAAc;IACvD,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,IAAI,EAAE,CAAC;IAC9B,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC;YACxC,IAAI,MAAM,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC;gBACrC,OAAO,EAAE,GAAG,EAAE,GAAG,IAAI,IAAI,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,gBAAgB,OAAO,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC;YACrF,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;QACxD,CAAC;QACD,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChC,IAAI,OAAO,KAAK,IAAI;gBAAE,OAAO,EAAE,GAAG,EAAE,GAAG,IAAI,qBAAqB,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC;YAC/E,MAAM,EAAE,GACN,KAAK,CAAC,IAAI,KAAK,SAAS;gBACtB,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC;gBAC9B,CAAC,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,cAAc;YACtE,OAAO,EAAE;gBACP,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE;gBAClC,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,IAAI,2BAA2B,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC;QAC9D,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,EAAE,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;YACnE,IAAI,MAAM,KAAK,IAAI;gBAAE,OAAO,EAAE,GAAG,EAAE,iBAAiB,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;YAC1E,IAAI,CAAC,MAAM;gBAAE,OAAO,EAAE,GAAG,EAAE,gCAAgC,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC;YAC1E,OAAO,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QAChG,CAAC;QACD;YACE,OAAO,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC,IAAI,sBAAsB,EAAE,CAAC;IACxD,CAAC;AACH,CAAC;AAcD,qEAAqE;AACrE,SAAS,YAAY,CACnB,WAAmB,EACnB,KAAoB,EACpB,MAAkD,EAClD,GAAiB;IAEjB,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC1B,OAAO;YACL,OAAO,EAAE,GAAG,WAAW,mFAAmF;SAC3G,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC3B,OAAO;YACL,QAAQ,EAAE,GAAG,WAAW,iGAAiG;SAC1H,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,OAAO,EAAE,GAAG,WAAW,gCAAgC,EAAE,CAAC;IAChF,IAAI,CAAC,MAAM,CAAC,IAAI;QACd,OAAO,EAAE,OAAO,EAAE,GAAG,WAAW,kBAAkB,MAAM,CAAC,MAAM,IAAI,WAAW,EAAE,EAAE,CAAC;IACrF,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC9B,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;QACjF,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,CAAC,MAAM,CAAC;QAC7F,OAAO;YACL,OAAO,EAAE,GAAG,WAAW,kDAAkD,KAAK,IAAI,MAAM,CAAC,MAAM,mEAAmE;SACnK,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC7B,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QACrC,MAAM,KAAK,GAAG,+DAA+D,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACxF,IAAI,KAAK,EAAE,CAAC;YACV,OAAO;gBACL,QAAQ,EAAE,GAAG,WAAW,oBAAoB,KAAK,CAAC,CAAC,CAAC,yDAAyD,KAAK,CAAC,CAAC,CAAC,gBAAgB,KAAK,CAAC,CAAC,CAAC,EAAE;aAChJ,CAAC;QACJ,CAAC;QACD,MAAM,EAAE,GAAG,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACnC,IAAI,EAAE;YAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,EAAE,CAAC;QAC3D,MAAM,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAC;QAC3B,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,EAAE,CAAC,UAAU,EAAE,CAAC;YAC5C,OAAO;gBACL,OAAO,EAAE,GAAG,WAAW,8GAA8G;aACtI,CAAC;QACJ,CAAC;QACD,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC;QAChD,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC;YACrB,OAAO,EAAE,OAAO,EAAE,GAAG,WAAW,aAAa,EAAE,CAAC,UAAU,aAAa,EAAE,CAAC;QAC5E,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC;YACzD,OAAO,EAAE,OAAO,EAAE,GAAG,WAAW,aAAa,EAAE,CAAC,UAAU,yBAAyB,EAAE,CAAC;QACxF,MAAM,GAAG,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC5E,IAAI,CAAC,EAAE,CAAC,YAAY;YAClB,OAAO,EAAE,OAAO,EAAE,GAAG,WAAW,0CAA0C,EAAE,CAAC;QAC/E,IAAI,GAAG,KAAK,EAAE,CAAC,YAAY;YACzB,OAAO;gBACL,OAAO,EAAE,GAAG,WAAW,wEAAwE;aAChG,CAAC;QACJ,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,YAAY,MAAM,EAAE,CAAC,EAAE,CAAC;IAChE,CAAC;IACD,mFAAmF;IACnF,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,MAAM,SAAS,GAAG,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAC3C,IAAI,KAAK,IAAI,SAAS;YAAE,OAAO,EAAE,OAAO,EAAE,GAAG,WAAW,mBAAmB,SAAS,CAAC,GAAG,EAAE,EAAE,CAAC;IAC/F,CAAC;IACD,MAAM,SAAS,GAAG,WAAW,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IAC/C,IAAI,CAAC,CAAC,OAAO,IAAI,SAAS,CAAC,IAAI,SAAS,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;QACzD,OAAO,EAAE,OAAO,EAAE,GAAG,WAAW,aAAa,KAAK,CAAC,IAAI,6BAA6B,EAAE,CAAC;IACzF,OAAO;QACL,IAAI,EAAE,aAAa;QACnB,KAAK,EAAE,CAAC,UAAU,GAAG,CAAC,IAAI,EAAE,EAAE,SAAS,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;KACpE,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,KAAK,UAAU,SAAS,CAC7B,IAAY,EACZ,IAAsB;IAEtB,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,IAAI,cAAc,EAAE,CAAC;QAClD,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;YACrB,IAAI,CAAC,cAAc,IAAI,oDAAoD,CAAC,CAAC;QAC/E,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;QACzE,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC;YAC3B,IAAI,CAAC,uBAAuB,YAAY,EAAE,EAAE,0BAA0B,CAAC,CAAC;QAC1E,MAAM,KAAK,GAAG,YAAY,CAAC,YAAY,CAAC,CAAC;QACzC,MAAM,IAAI,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC9D,MAAM,aAAa,GAAG,aAAa,CAAC,SAAS,CAC3C,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC,CAAC,CAC5D,CAAC;QACF,IAAI,CAAC,aAAa,CAAC,OAAO;YAAE,IAAI,CAAC,+BAA+B,aAAa,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QAC/F,MAAM,OAAO,GAAgB,aAAa,CAAC,IAAI,CAAC;QAChD,IAAI,OAAO,CAAC,IAAI,KAAK,IAAI;YAAE,IAAI,CAAC,2BAA2B,OAAO,CAAC,IAAI,SAAS,IAAI,EAAE,CAAC,CAAC;QACxF,IAAI,OAAO,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YAC1B,IAAI,CACF,+BAA+B,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,YAAY,KAAK,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,uCAAuC,EACpJ,yDAAyD,CAC1D,CAAC;QACJ,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;YAC3D,IAAI,GAAG,KAAK,IAAI,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,GAAG,CAAC;gBAC1C,IAAI,CAAC,UAAU,GAAG,sBAAsB,IAAI,EAAE,EAAE,6BAA6B,CAAC,CAAC;QACnF,CAAC;QACD,gEAAgE;QAChE,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,UAAU,EAAE,MAAM,CAAC;YAC/C,IAAI,CACF,eAAe,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,wCAAwC,IAAI,EAAE,EAC5F,0EAA0E,CAC3E,CAAC;QACJ,IAAI,OAAO,CAAC,UAAU,KAAK,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,UAAU,CAAC;YAC1F,IAAI,CAAC,eAAe,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,wCAAwC,CAAC,CAAC;QAC/F,MAAM,cAAc,GAAG,cAAc,CAAC,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACnF,IAAI,CAAC,cAAc,CAAC,OAAO;YACzB,IAAI,CAAC,GAAG,YAAY,+BAA+B,cAAc,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QACrF,MAAM,QAAQ,GAAG,cAAc,CAAC,IAAI,CAAC;QAErC,MAAM,UAAU,GAAG,IAAI,GAAG,EAAgC,CAAC;QAC3D,KAAK,MAAM,IAAI,IAAI,CAAC,MAAM,EAAE,WAAW,CAAU,EAAE,CAAC;YAClD,MAAM,CAAC,GAAG,kBAAkB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACzC,IAAI,CAAC,CAAC,EAAE;gBAAE,UAAU,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QACtF,CAAC;QACD,MAAM,GAAG,GAAiB;YACxB,IAAI;YACJ,IAAI,EAAE,OAAO,CAAC,UAAU;YACxB,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,UAAU,EAAE,QAAQ,CAAC,SAAS,CAAC;YAC1D,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,CAAC,SAAS,CAAC;YAC5C,UAAU;SACX,CAAC;QAEF,2EAA2E;QAC3E,MAAM,MAAM,GAAG,IAAI,GAAG,EAAuC,CAAC;QAC9D,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,IAAI,EAAE,KAAK,IAAI,EAAE;YACxC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;QAC1D,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;YAClC,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;YAC1D,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;gBACjC,MAAM,CAAC,MAAM,GAAG,EAAE,EAAE,MAAM,GAAG,EAAE,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;gBAClD,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,GAAG,EAA0B,CAAC;gBACpE,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;gBACxB,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;YAC1F,CAAC;QACH,CAAC;QAED,MAAM,QAAQ,GAAG,MAAM,eAAe,CAAC,IAAI,CAAC,CAAC;QAC7C,MAAM,EAAE,YAAY,EAAE,GAAG,MAAM,MAAM,CAAC,uBAAuB,CAAC,CAAC;QAC/D,MAAM,EAAE,kBAAkB,EAAE,GAAG,MAAM,MAAM,CAAC,6BAA6B,CAAC,CAAC;QAC3E,MAAM,EAAE,qBAAqB,EAAE,GAAG,MAAM,MAAM,CAAC,2BAA2B,CAAC,CAAC;QAC5E,MAAM,SAAS,GAAG,CAAC,MAAM,qBAAqB,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,SAAS,CAAC;QACrF,mFAAmF;QACnF,MAAM,MAAM,GAAG,EAAE,CAAC;QAClB,KAAK,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,MAAM,EAAE,CAAC;YACnC,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;YACnD,IAAI,CAAC,IAAI;gBAAE,IAAI,CAAC,QAAQ,MAAM,kBAAkB,IAAI,YAAY,EAAE,cAAc,MAAM,GAAG,CAAC,CAAC;YAC3F,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAC7E,CAAC;QACD,MAAM,KAAK,GAAoB,EAAE,CAAC;QAClC,KAAK,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,MAAM,EAAE,CAAC;YACjD,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;gBAC3B,KAAK,CAAC,IAAI,CAAC;oBACT,MAAM;oBACN,WAAW,EAAE,IAAI;oBACjB,aAAa,EAAE,EAAE;oBACjB,SAAS,EAAE,EAAE;oBACb,IAAI,EAAE,EAAE;oBACR,KAAK,EAAE,KAAK;iBACb,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YACD,4EAA4E;YAC5E,MAAM,KAAK,GAAG,CAAC,MAAc,EAAE,EAAE;gBAC/B,MAAM,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;gBACtC,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;YAClE,CAAC,CAAC;YACF,MAAM,MAAM,GAAG,IAAI,GAAG,CACpB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,EAAE,QAAQ,IAAI,EAAE,CAAC,CAAC,OAAO,CACtD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,CAC3D,CACF,CAAC;YACF,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;YAC3C,MAAM,OAAO,GAAG,IAAI,GAAG,EAGpB,CAAC;YACJ,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,GAAG,EAAE,CAAC;gBAClC,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;gBAC1B,IAAI,CAAC,GAAG,EAAE,CAAC;oBACT,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,MAAM,qBAAqB,MAAM,EAAE,CAAC,CAAC;oBAC7D,SAAS;gBACX,CAAC;gBACD,MAAM,KAAK,GAAG,KAAK,GAAG,CAAC,OAAO,EAAE,CAAC;gBACjC,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBAC1E,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;oBACnB,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;oBACxC,SAAS;gBACX,CAAC;gBACD,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBAC7E,IAAI,QAAQ,CAAC,MAAM;oBAAE,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;gBAC9D,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;oBACtB,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC;wBAAE,SAAS;oBAC7B,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI;wBACnC,KAAK,EAAE,IAAI,GAAG,EAAU;wBACxB,OAAO,EAAE,EAAE;wBACX,OAAO,EAAE,EAAE;qBACZ,CAAC;oBACF,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK;wBAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;oBAC5C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC;wBAAE,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;oBAChE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC;wBAAE,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;oBAC9D,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBAC7B,CAAC;YACH,CAAC;YACD,MAAM,YAAY,GAA8C,EAAE,CAAC;YACnE,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,IAAI,OAAO,EAAE,CAAC;gBAC1D,uDAAuD;gBACvD,IAAI,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;oBAAE,SAAS;gBACnE,MAAM,QAAQ,GAAG,CAAC,GAAG,KAAK,EAAE,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,MAAM,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBACzF,IAAI,IAAI,CAAC,YAAY,EAAE,KAAK,EAAE,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;oBAC9C,KAAK,MAAM,CAAC,IAAI,OAAO;wBACrB,QAAQ,CAAC,GAAG,CACV,CAAC,EACD,GAAG,IAAI,4BAA4B,MAAM,iFAAiF,MAAM,WAAW,IAAI,iCAAiC,QAAQ,GAAG,CAC5L,CAAC;oBACJ,SAAS;gBACX,CAAC;gBACD,YAAY,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC;YAChC,CAAC;YACD,MAAM,aAAa,GAAG,MAAM,CAAC,IAAI,CAAC,YAAY,CAAuB,CAAC;YACtE,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC7B,MAAM,OAAO,GAAG,MAAM,kBAAkB,CAAC,IAAI,EAAE;oBAC7C,MAAM;oBACN,YAAY;oBACZ,KAAK,EAAE,iBAAiB;oBACxB,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;iBACpC,CAAC,CAAC;gBACH,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;oBACrB,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC;oBACzB,KAAK,MAAM,EAAE,OAAO,EAAE,IAAI,OAAO,CAAC,MAAM,EAAE;wBACxC,KAAK,MAAM,CAAC,IAAI,OAAO;4BACrB,QAAQ,CAAC,GAAG,CACV,CAAC,EACD,wBAAwB,OAAO,CAAC,KAAK,CAAC,IAAI,MAAM,OAAO,CAAC,KAAK,CAAC,OAAO,EAAE,CACxE,CAAC;gBACR,CAAC;YACH,CAAC;YACD,MAAM,IAAI,GAAG,MAAM,YAAY,CAAC,MAAM,EAAE;gBACtC,WAAW,EAAE,IAAI;gBACjB,GAAG,EAAE,IAAI;gBACT,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAC1C,CAAC,CAAC;YACH,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;gBAClB,KAAK,CAAC,IAAI,CAAC;oBACT,MAAM;oBACN,WAAW,EAAE,KAAK;oBAClB,aAAa;oBACb,SAAS,EAAE,EAAE;oBACb,IAAI,EAAE;wBACJ;4BACE,KAAK,EAAE,GAAG;4BACV,OAAO,EAAE,4BAA4B,IAAI,CAAC,KAAK,CAAC,IAAI,MAAM,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE;yBAC/E;qBACF;oBACD,KAAK,EAAE,KAAK;iBACb,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YACD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS;iBAC7B,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;iBACxB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBACX,KAAK,EAAE,CAAC,CAAC,KAAK;gBACd,OAAO,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,qCAAqC;aACxE,CAAC,CAAC,CAAC;YACN,6FAA6F;YAC7F,MAAM,SAAS,GACb,IAAI,CAAC,MAAM,KAAK,CAAC;gBACjB,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,MAAM;gBACrC,uBAAuB,CAAC,IAAI,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;YACpD,KAAK,CAAC,IAAI,CAAC;gBACT,MAAM;gBACN,WAAW,EAAE,KAAK;gBAClB,aAAa;gBACb,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;gBAC1E,IAAI;gBACJ,KAAK,EAAE,IAAI,CAAC,MAAM,KAAK,CAAC;gBACxB,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAC/D,CAAC,CAAC;QACL,CAAC;QACD,OAAO,aAAa,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC;IACpF,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,IAAI,GAAG,YAAY,WAAW,EAAE,CAAC;YAC/B,OAAO,uBAAuB,CAC5B,IAAI,SAAS,CAAC,QAAQ,CAAC,gBAAgB,EAAE,wBAAwB,GAAG,CAAC,OAAO,EAAE,CAAC,CAChF,CAAC;QACJ,CAAC;QACD,OAAO,uBAAuB,CAC5B,GAAG,EACH,qBAAqB,EACrB,wBAAwB,CACzB,CAAC;IACJ,CAAC;AACH,CAAC"}

package/dist/goal/draft.d.ts

@@ -0,0 +1,81 @@
+/**
+ * `cleo goal draft` — write a goal/v1 contract draft from tasks' acceptance
+ * criteria, for a goal runtime (OpenCode-Goal) to execute.
+ *
+ * Each criterion maps to goal criteria that `prove` it (by its canonical
+ * uuid), never weaker than the gate:
+ * - a typed gate goal/v1 expresses exactly → host checks (`command` with the
+ *   gate's own executable, cwd, env and deadline; `file` / `contains`);
+ * - any other typed gate → the gate itself, `cleo verify <id> --run --req`;
+ * - `manual` gates → `human` checks;
+ * - free text, and a gate with neither form → `verifier` checks;
+ * - `advisory: true` → `essential: false`.
+ *
+ * Invariants are the project's resolved lint and typecheck commands; the
+ * budget follows the task size; `.cleo/` is protected. Drafting never starts
+ * a run: it writes the one file and refuses to overwrite an existing one.
+ *
+ * @epic T13791
+ * @task T13793
+ */
+import type { AcRow, GoalContract, Task } from '@cleocode/contracts';
+import { type EngineResult } from '../engine-result.js';
+/** One task and its stored criterion rows, the input of {@link buildGoalDraft}. */
+export interface GoalDraftTask {
+    /** The task. */
+    task: Pick<Task, 'id' | 'title' | 'description' | 'size' | 'acceptance'>;
+    /** Its criterion rows (any order). */
+    rows: readonly Pick<AcRow, 'id' | 'ordinal' | 'text'>[];
+}
+/** Result of {@link draftGoal}. */
+export interface GoalDraftResult {
+    /** Goal slug (the contract id and directory name). */
+    slug: string;
+    /** Absolute path of the written `goal.yaml`. */
+    path: string;
+    /** The drafted contract. */
+    contract: GoalContract;
+}
+/** OCG goal ids: a kebab-case slug that equals the goal directory name. */
+export declare const GOAL_ID: RegExp;
+/**
+ * Build a goal/v1 contract from tasks' acceptance criteria. Pure.
+ *
+ * @param tasks - The tasks the goal serves, first is the primary.
+ * @param invariantCommands - Resolved lint/typecheck command lines.
+ * @param opts - Project root (gate cwd and commands resolve against it) and an explicit goal id.
+ * @returns The contract; every criterion `proves` the AC it came from.
+ * @example
+ * ```ts
+ * const contract = buildGoalDraft([{ task, rows }], ['pnpm biome check .'], { root });
+ * ```
+ */
+export declare function buildGoalDraft(tasks: readonly GoalDraftTask[], invariantCommands: readonly string[], opts: {
+    root: string;
+    id?: string;
+}): GoalContract;
+/**
+ * Render a contract as `goal.yaml` text in OCG's YAML spelling (budget
+ * `wall` as minutes, e.g. `"180m"`). Lines never fold, so a command stays one line.
+ *
+ * @param contract - The contract.
+ * @returns YAML text.
+ */
+export declare function renderGoalYaml(contract: GoalContract): string;
+/**
+ * Draft a goal for tasks and write it, refusing to overwrite an existing file.
+ *
+ * @param taskIds - Task ids; the first names the goal.
+ * @param opts - Project root and an explicit output path.
+ * @returns The written path and contract, or the refusal.
+ * @example
+ * ```ts
+ * const r = await draftGoal(['T123'], {});
+ * if (r.success) console.log(r.data.path); // .opencode/goals/t123/goal.yaml
+ * ```
+ */
+export declare function draftGoal(taskIds: readonly string[], opts?: {
+    projectRoot?: string;
+    out?: string;
+}): Promise<EngineResult<GoalDraftResult>>;
+//# sourceMappingURL=draft.d.ts.map

package/dist/goal/draft.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"draft.d.ts","sourceRoot":"","sources":["../../src/goal/draft.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAIH,OAAO,KAAK,EAEV,KAAK,EAGL,YAAY,EAEZ,IAAI,EAEL,MAAM,qBAAqB,CAAC;AAK7B,OAAO,EAAE,KAAK,YAAY,EAAiB,MAAM,qBAAqB,CAAC;AAcvE,mFAAmF;AACnF,MAAM,WAAW,aAAa;IAC5B,gBAAgB;IAChB,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO,GAAG,aAAa,GAAG,MAAM,GAAG,YAAY,CAAC,CAAC;IACzE,sCAAsC;IACtC,IAAI,EAAE,SAAS,IAAI,CAAC,KAAK,EAAE,IAAI,GAAG,SAAS,GAAG,MAAM,CAAC,EAAE,CAAC;CACzD;AAED,mCAAmC;AACnC,MAAM,WAAW,eAAe;IAC9B,sDAAsD;IACtD,IAAI,EAAE,MAAM,CAAC;IACb,gDAAgD;IAChD,IAAI,EAAE,MAAM,CAAC;IACb,4BAA4B;IAC5B,QAAQ,EAAE,YAAY,CAAC;CACxB;AASD,2EAA2E;AAC3E,eAAO,MAAM,OAAO,QAA8B,CAAC;AAmInD;;;;;;;;;;;GAWG;AACH,wBAAgB,cAAc,CAC5B,KAAK,EAAE,SAAS,aAAa,EAAE,EAC/B,iBAAiB,EAAE,SAAS,MAAM,EAAE,EACpC,IAAI,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,CAAC,EAAE,MAAM,CAAA;CAAE,GAClC,YAAY,CAoEd;AAED;;;;;;GAMG;AACH,wBAAgB,cAAc,CAAC,QAAQ,EAAE,YAAY,GAAG,MAAM,CAI7D;AAED;;;;;;;;;;;GAWG;AACH,wBAAsB,SAAS,CAC7B,OAAO,EAAE,SAAS,MAAM,EAAE,EAC1B,IAAI,GAAE;IAAE,WAAW,CAAC,EAAE,MAAM,CAAC;IAAC,GAAG,CAAC,EAAE,MAAM,CAAA;CAAO,GAChD,OAAO,CAAC,YAAY,CAAC,eAAe,CAAC,CAAC,CAqExC"}