@petepetrash/circuit 0.1.0

package/dist/shared/status-block-renderer.js

@@ -0,0 +1,67 @@
+export function statusBlockLineFromProgressEvent(event) {
+    const presentation = event.presentation;
+    if (presentation === undefined || presentation.line_mode === 'suppress')
+        return undefined;
+    if (presentation.status_text === undefined)
+        return undefined;
+    if (presentation.line_mode === 'replace_slot' && presentation.slot_id === undefined) {
+        return undefined;
+    }
+    return {
+        blockId: presentation.block_id,
+        lineMode: presentation.line_mode,
+        ...(presentation.slot_id === undefined ? {} : { slotId: presentation.slot_id }),
+        statusText: presentation.status_text,
+        depth: presentation.depth ?? 0,
+    };
+}
+export function renderStatusLine(line) {
+    const indent = line.depth > 0 ? '  '.repeat(line.depth) : '';
+    return `${indent}⎿ ${line.statusText}`;
+}
+function lineKey(line, index) {
+    if (line.lineMode !== 'replace_slot')
+        return `append:${index}`;
+    return `slot:${line.slotId}`;
+}
+function liveSnapshotLines(lines) {
+    const ordered = [];
+    const indexesByKey = new Map();
+    for (const [index, line] of lines.entries()) {
+        const key = lineKey(line, index);
+        const existingIndex = indexesByKey.get(key);
+        if (existingIndex === undefined) {
+            indexesByKey.set(key, ordered.length);
+            ordered.push(line);
+            continue;
+        }
+        ordered[existingIndex] = line;
+    }
+    return ordered;
+}
+export function renderStatusBlocks(lines, input) {
+    const title = input.title ?? 'CIRCUIT';
+    const blockOrder = [];
+    const linesByBlock = new Map();
+    for (const line of lines) {
+        if (!linesByBlock.has(line.blockId)) {
+            blockOrder.push(line.blockId);
+            linesByBlock.set(line.blockId, []);
+        }
+        linesByBlock.get(line.blockId)?.push(line);
+    }
+    const output = [];
+    for (const blockId of blockOrder) {
+        const blockLines = linesByBlock.get(blockId) ?? [];
+        if (blockLines.length === 0)
+            continue;
+        if (output.length > 0)
+            output.push('');
+        output.push(title);
+        const visibleLines = input.mode === 'live-snapshot' ? liveSnapshotLines(blockLines) : blockLines;
+        for (const line of visibleLines)
+            output.push(renderStatusLine(line));
+    }
+    return output.length === 0 ? '' : `${output.join('\n')}\n`;
+}
+//# sourceMappingURL=status-block-renderer.js.map

package/dist/shared/status-block-renderer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"status-block-renderer.js","sourceRoot":"","sources":["../../src/shared/status-block-renderer.ts"],"names":[],"mappings":"AAYA,MAAM,UAAU,gCAAgC,CAC9C,KAA0C;IAE1C,MAAM,YAAY,GAAG,KAAK,CAAC,YAAY,CAAC;IACxC,IAAI,YAAY,KAAK,SAAS,IAAI,YAAY,CAAC,SAAS,KAAK,UAAU;QAAE,OAAO,SAAS,CAAC;IAC1F,IAAI,YAAY,CAAC,WAAW,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC7D,IAAI,YAAY,CAAC,SAAS,KAAK,cAAc,IAAI,YAAY,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QACpF,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO;QACL,OAAO,EAAE,YAAY,CAAC,QAAQ;QAC9B,QAAQ,EAAE,YAAY,CAAC,SAAS;QAChC,GAAG,CAAC,YAAY,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,YAAY,CAAC,OAAO,EAAE,CAAC;QAC/E,UAAU,EAAE,YAAY,CAAC,WAAW;QACpC,KAAK,EAAE,YAAY,CAAC,KAAK,IAAI,CAAC;KAC/B,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,IAAqB;IACpD,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC7D,OAAO,GAAG,MAAM,KAAK,IAAI,CAAC,UAAU,EAAE,CAAC;AACzC,CAAC;AAED,SAAS,OAAO,CAAC,IAAqB,EAAE,KAAa;IACnD,IAAI,IAAI,CAAC,QAAQ,KAAK,cAAc;QAAE,OAAO,UAAU,KAAK,EAAE,CAAC;IAC/D,OAAO,QAAQ,IAAI,CAAC,MAAM,EAAE,CAAC;AAC/B,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAiC;IAC1D,MAAM,OAAO,GAAsB,EAAE,CAAC;IACtC,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;IAE/C,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;QAC5C,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACjC,MAAM,aAAa,GAAG,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC5C,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;YAChC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;YACtC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnB,SAAS;QACX,CAAC;QACD,OAAO,CAAC,aAAa,CAAC,GAAG,IAAI,CAAC;IAChC,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,MAAM,UAAU,kBAAkB,CAChC,KAAiC,EACjC,KAGC;IAED,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,IAAI,SAAS,CAAC;IACvC,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,MAAM,YAAY,GAAG,IAAI,GAAG,EAA6B,CAAC;IAE1D,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YACpC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAC9B,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QACrC,CAAC;QACD,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7C,CAAC;IAED,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,KAAK,MAAM,OAAO,IAAI,UAAU,EAAE,CAAC;QACjC,MAAM,UAAU,GAAG,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;QACnD,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACtC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACvC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnB,MAAM,YAAY,GAChB,KAAK,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC;QAC9E,KAAK,MAAM,IAAI,IAAI,YAAY;YAAE,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC;IACvE,CAAC;IAED,OAAO,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;AAC7D,CAAC"}

package/dist/shared/user-skill-registry.d.ts

@@ -0,0 +1,18 @@
+import { type SkillId as SkillIdValue } from '../schemas/ids.js';
+import { type UserSkillEntry as UserSkillEntryValue } from '../schemas/skill.js';
+export interface UserSkillRegistryOptions {
+    readonly homeDir?: string;
+    readonly roots?: readonly string[];
+}
+export interface LoadedUserSkill {
+    readonly entry: UserSkillEntryValue;
+    readonly body: string;
+}
+export interface UserSkillRegistry {
+    readonly roots: readonly string[];
+    list(): readonly UserSkillEntryValue[];
+    resolve(id: SkillIdValue): LoadedUserSkill;
+}
+export declare function defaultUserSkillRoots(homeDir?: string): readonly string[];
+export declare function createUserSkillRegistry(options?: UserSkillRegistryOptions): UserSkillRegistry;
+//# sourceMappingURL=user-skill-registry.d.ts.map

package/dist/shared/user-skill-registry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"user-skill-registry.d.ts","sourceRoot":"","sources":["../../src/shared/user-skill-registry.ts"],"names":[],"mappings":"AAKA,OAAO,EAAW,KAAK,OAAO,IAAI,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAC1E,OAAO,EAAkB,KAAK,cAAc,IAAI,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAEjG,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACpC;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,KAAK,EAAE,mBAAmB,CAAC;IACpC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,IAAI,IAAI,SAAS,mBAAmB,EAAE,CAAC;IACvC,OAAO,CAAC,EAAE,EAAE,YAAY,GAAG,eAAe,CAAC;CAC5C;AAUD,wBAAgB,qBAAqB,CAAC,OAAO,SAAY,GAAG,SAAS,MAAM,EAAE,CAE5E;AA4FD,wBAAgB,uBAAuB,CAAC,OAAO,GAAE,wBAA6B,GAAG,iBAAiB,CAyCjG"}

package/dist/shared/user-skill-registry.js

@@ -0,0 +1,130 @@
+import { existsSync, readFileSync, readdirSync } from 'node:fs';
+import { homedir } from 'node:os';
+import { join, resolve } from 'node:path';
+import { parse as parseYaml } from 'yaml';
+import { sha256OfString } from '../schemas/hashing.js';
+import { SkillId } from '../schemas/ids.js';
+import { UserSkillEntry } from '../schemas/skill.js';
+const FRONTMATTER_RE = /^---\r?\n([\s\S]*?)\r?\n---(?:\r?\n|$)([\s\S]*)$/;
+const UserSkillFrontmatter = UserSkillEntry.pick({
+    name: true,
+    description: true,
+    trigger: true,
+}).loose();
+export function defaultUserSkillRoots(homeDir = homedir()) {
+    return [join(homeDir, '.agents', 'skills'), join(homeDir, '.claude', 'skills')];
+}
+function parseSkillMarkdown(text, skillPath) {
+    if (!text.startsWith('---'))
+        return { metadata: {}, body: text };
+    const match = FRONTMATTER_RE.exec(text);
+    if (match === null) {
+        throw new Error(`skill frontmatter parse failed at ${skillPath}: missing closing ---`);
+    }
+    let rawFrontmatter;
+    try {
+        rawFrontmatter = parseYaml(match[1] ?? '');
+    }
+    catch (err) {
+        throw new Error(`skill frontmatter parse failed at ${skillPath}: ${err.message}`);
+    }
+    const parsed = UserSkillFrontmatter.safeParse(rawFrontmatter ?? {});
+    if (!parsed.success) {
+        throw new Error(`skill frontmatter validation failed at ${skillPath}: ${parsed.error.message}`);
+    }
+    return {
+        metadata: {
+            ...(parsed.data.name === undefined ? {} : { name: parsed.data.name }),
+            ...(parsed.data.description === undefined ? {} : { description: parsed.data.description }),
+            ...(parsed.data.trigger === undefined ? {} : { trigger: parsed.data.trigger }),
+        },
+        body: match[2] ?? '',
+    };
+}
+function discoverCandidates(roots) {
+    const candidates = new Map();
+    for (const root of roots) {
+        const rootAbs = resolve(root);
+        if (!existsSync(rootAbs))
+            continue;
+        for (const entry of readdirSync(rootAbs, { withFileTypes: true })) {
+            if (!entry.isDirectory())
+                continue;
+            const id = SkillId.safeParse(entry.name);
+            if (!id.success)
+                continue;
+            const key = id.data;
+            if (candidates.has(key))
+                continue;
+            const skillPath = join(rootAbs, entry.name, 'SKILL.md');
+            if (!existsSync(skillPath))
+                continue;
+            candidates.set(key, {
+                id: id.data,
+                root: rootAbs,
+                path: skillPath,
+            });
+        }
+    }
+    return candidates;
+}
+function loadCandidate(candidate) {
+    let text;
+    try {
+        text = readFileSync(candidate.path, 'utf8');
+    }
+    catch (err) {
+        throw new Error(`selected skill '${candidate.id}' could not be read at ${candidate.path}: ${err.message}`);
+    }
+    const parsed = parseSkillMarkdown(text, candidate.path);
+    const entry = UserSkillEntry.parse({
+        id: candidate.id,
+        ...parsed.metadata,
+        root: candidate.root,
+        path: candidate.path,
+        sha256: sha256OfString(text),
+        bytes: Buffer.byteLength(text, 'utf8'),
+    });
+    return { entry, body: parsed.body };
+}
+export function createUserSkillRegistry(options = {}) {
+    const roots = options.roots ?? defaultUserSkillRoots(options.homeDir);
+    const candidates = discoverCandidates(roots);
+    const searchedRoots = roots.map((root) => resolve(root));
+    // Per-instance body cache shared by resolve() and list(): a skill file is read
+    // at most once and the same LoadedUserSkill is returned for every later call on
+    // either method. Combined with one shared registry per run
+    // (RunContext.skillRegistry), this gives a true single filesystem snapshot — the
+    // skill-hook dispatcher resolves a skill, caches its body, and a later relay
+    // step gets that exact body, so the recorded triggered/unavailable split cannot
+    // diverge from what the relay loads even if the file is changed or removed
+    // mid-run.
+    const cache = new Map();
+    const loadCached = (key, candidate) => {
+        const cached = cache.get(key);
+        if (cached !== undefined)
+            return cached;
+        const loaded = loadCandidate(candidate);
+        cache.set(key, loaded);
+        return loaded;
+    };
+    return {
+        roots: searchedRoots,
+        list() {
+            return [...candidates.entries()].map(([key, candidate]) => loadCached(key, candidate).entry);
+        },
+        resolve(id) {
+            const key = id;
+            const candidate = candidates.get(key);
+            if (candidate === undefined) {
+                throw new Error([
+                    `Circuit could not find skill '${key}'.`,
+                    'Searched:',
+                    ...searchedRoots.map((root) => `- ${join(root, key, 'SKILL.md')}`),
+                ].join('\n'));
+            }
+            return loadCached(key, candidate);
+        },
+    };
+}
+//# sourceMappingURL=user-skill-registry.js.map

package/dist/shared/user-skill-registry.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"user-skill-registry.js","sourceRoot":"","sources":["../../src/shared/user-skill-registry.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,SAAS,CAAC;AAChE,OAAO,EAAE,OAAO,EAAE,MAAM,SAAS,CAAC;AAClC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,KAAK,IAAI,SAAS,EAAE,MAAM,MAAM,CAAC;AAC1C,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAE,OAAO,EAAgC,MAAM,mBAAmB,CAAC;AAC1E,OAAO,EAAE,cAAc,EAA8C,MAAM,qBAAqB,CAAC;AAkBjG,MAAM,cAAc,GAAG,kDAAkD,CAAC;AAE1E,MAAM,oBAAoB,GAAG,cAAc,CAAC,IAAI,CAAC;IAC/C,IAAI,EAAE,IAAI;IACV,WAAW,EAAE,IAAI;IACjB,OAAO,EAAE,IAAI;CACd,CAAC,CAAC,KAAK,EAAE,CAAC;AAEX,MAAM,UAAU,qBAAqB,CAAC,OAAO,GAAG,OAAO,EAAE;IACvD,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,SAAS,EAAE,QAAQ,CAAC,EAAE,IAAI,CAAC,OAAO,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC,CAAC;AAClF,CAAC;AAED,SAAS,kBAAkB,CACzB,IAAY,EACZ,SAAiB;IAKjB,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IAEjE,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxC,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACnB,MAAM,IAAI,KAAK,CAAC,qCAAqC,SAAS,uBAAuB,CAAC,CAAC;IACzF,CAAC;IAED,IAAI,cAAuB,CAAC;IAC5B,IAAI,CAAC;QACH,cAAc,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IAC7C,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,IAAI,KAAK,CAAC,qCAAqC,SAAS,KAAM,GAAa,CAAC,OAAO,EAAE,CAAC,CAAC;IAC/F,CAAC;IAED,MAAM,MAAM,GAAG,oBAAoB,CAAC,SAAS,CAAC,cAAc,IAAI,EAAE,CAAC,CAAC;IACpE,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QACpB,MAAM,IAAI,KAAK,CAAC,0CAA0C,SAAS,KAAK,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;IAClG,CAAC;IAED,OAAO;QACL,QAAQ,EAAE;YACR,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YACrE,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;YAC1F,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;SAC/E;QACD,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE;KACrB,CAAC;AACJ,CAAC;AAQD,SAAS,kBAAkB,CAAC,KAAwB;IAClD,MAAM,UAAU,GAAG,IAAI,GAAG,EAA0B,CAAC;IAErD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;QAC9B,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC;YAAE,SAAS;QACnC,KAAK,MAAM,KAAK,IAAI,WAAW,CAAC,OAAO,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;YAClE,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE;gBAAE,SAAS;YACnC,MAAM,EAAE,GAAG,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACzC,IAAI,CAAC,EAAE,CAAC,OAAO;gBAAE,SAAS;YAC1B,MAAM,GAAG,GAAG,EAAE,CAAC,IAAyB,CAAC;YACzC,IAAI,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,SAAS;YAClC,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;YACxD,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC;gBAAE,SAAS;YACrC,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE;gBAClB,EAAE,EAAE,EAAE,CAAC,IAAI;gBACX,IAAI,EAAE,OAAO;gBACb,IAAI,EAAE,SAAS;aAChB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,aAAa,CAAC,SAAyB;IAC9C,IAAI,IAAY,CAAC;IACjB,IAAI,CAAC;QACH,IAAI,GAAG,YAAY,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC9C,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,IAAI,KAAK,CACb,mBAAmB,SAAS,CAAC,EAAuB,0BAA0B,SAAS,CAAC,IAAI,KAAM,GAAa,CAAC,OAAO,EAAE,CAC1H,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAG,kBAAkB,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC;IACxD,MAAM,KAAK,GAAG,cAAc,CAAC,KAAK,CAAC;QACjC,EAAE,EAAE,SAAS,CAAC,EAAE;QAChB,GAAG,MAAM,CAAC,QAAQ;QAClB,IAAI,EAAE,SAAS,CAAC,IAAI;QACpB,IAAI,EAAE,SAAS,CAAC,IAAI;QACpB,MAAM,EAAE,cAAc,CAAC,IAAI,CAAC;QAC5B,KAAK,EAAE,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC;KACvC,CAAC,CAAC;IAEH,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC;AACtC,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,UAAoC,EAAE;IAC5E,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,qBAAqB,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACtE,MAAM,UAAU,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;IAC7C,MAAM,aAAa,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;IACzD,+EAA+E;IAC/E,gFAAgF;IAChF,2DAA2D;IAC3D,iFAAiF;IACjF,6EAA6E;IAC7E,gFAAgF;IAChF,2EAA2E;IAC3E,WAAW;IACX,MAAM,KAAK,GAAG,IAAI,GAAG,EAA2B,CAAC;IACjD,MAAM,UAAU,GAAG,CAAC,GAAW,EAAE,SAAyB,EAAmB,EAAE;QAC7E,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC9B,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC;QACxC,MAAM,MAAM,GAAG,aAAa,CAAC,SAAS,CAAC,CAAC;QACxC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QACvB,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC;IAEF,OAAO;QACL,KAAK,EAAE,aAAa;QACpB,IAAI;YACF,OAAO,CAAC,GAAG,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,SAAS,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC,KAAK,CAAC,CAAC;QAC/F,CAAC;QACD,OAAO,CAAC,EAAgB;YACtB,MAAM,GAAG,GAAG,EAAuB,CAAC;YACpC,MAAM,SAAS,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACtC,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;gBAC5B,MAAM,IAAI,KAAK,CACb;oBACE,iCAAiC,GAAG,IAAI;oBACxC,WAAW;oBACX,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,UAAU,CAAC,EAAE,CAAC;iBACnE,CAAC,IAAI,CAAC,IAAI,CAAC,CACb,CAAC;YACJ,CAAC;YACD,OAAO,UAAU,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;QACpC,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/shared/verification-resolver.d.ts

@@ -0,0 +1,23 @@
+import type { VerificationCommand } from '../schemas/verification.js';
+export type VerificationNeed = 'build' | 'lint' | 'general';
+export declare const DEFAULT_VERIFICATION_TIMEOUT_MS = 600000;
+export interface ResolveVerificationCommandsInput {
+    readonly projectRoot?: string;
+    readonly goal: string;
+    readonly requestedNeeds?: readonly VerificationNeed[];
+    readonly commandIdPrefix: string;
+    readonly timeoutMs?: number;
+    readonly maxOutputBytes?: number;
+    readonly env?: Readonly<Record<string, string>>;
+}
+export type VerificationResolverResult = {
+    readonly status: 'ready';
+    readonly commands: readonly VerificationCommand[];
+} | {
+    readonly status: 'blocked';
+    readonly reason: string;
+};
+export declare function resolveVerificationCommands(input: ResolveVerificationCommandsInput): VerificationResolverResult;
+export declare function requireResolvedVerificationCommands(input: ResolveVerificationCommandsInput): readonly VerificationCommand[];
+export declare function inferBuildVerificationNeeds(goal: string): readonly VerificationNeed[];
+//# sourceMappingURL=verification-resolver.d.ts.map

package/dist/shared/verification-resolver.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification-resolver.d.ts","sourceRoot":"","sources":["../../src/shared/verification-resolver.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AAGtE,MAAM,MAAM,gBAAgB,GAAG,OAAO,GAAG,MAAM,GAAG,SAAS,CAAC;AAK5D,eAAO,MAAM,+BAA+B,SAAU,CAAC;AAEvD,MAAM,WAAW,gCAAgC;IAC/C,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,cAAc,CAAC,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACtD,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;CACjD;AAED,MAAM,MAAM,0BAA0B,GAClC;IAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,SAAS,mBAAmB,EAAE,CAAA;CAAE,GAC/E;IAAE,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AA6F5D,wBAAgB,2BAA2B,CACzC,KAAK,EAAE,gCAAgC,GACtC,0BAA0B,CA+D5B;AAED,wBAAgB,mCAAmC,CACjD,KAAK,EAAE,gCAAgC,GACtC,SAAS,mBAAmB,EAAE,CAIhC;AAaD,wBAAgB,2BAA2B,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,gBAAgB,EAAE,CAKrF"}

package/dist/shared/verification-resolver.js

@@ -0,0 +1,162 @@
+import { existsSync, readFileSync } from 'node:fs';
+import { join } from 'node:path';
+import { ProofPlanBlockedError } from './proof-plan.js';
+// One shared verification budget across every caller. 600s aligns Build,
+// Fix, and Pursue with Fix's original allowance instead of the accidental
+// 120s split (docs/release/agent-friction-remediation.md, F1).
+export const DEFAULT_VERIFICATION_TIMEOUT_MS = 600_000;
+function readPackageInfo(projectRoot) {
+    const packageJsonPath = join(projectRoot, 'package.json');
+    if (!existsSync(packageJsonPath)) {
+        return `Cannot choose verification commands because ${packageJsonPath} does not exist.`;
+    }
+    let parsed;
+    try {
+        parsed = JSON.parse(readFileSync(packageJsonPath, 'utf8'));
+    }
+    catch (error) {
+        const message = error instanceof Error ? error.message : String(error);
+        return `Cannot choose verification commands because package.json could not be parsed: ${message}.`;
+    }
+    if (parsed === null || typeof parsed !== 'object' || Array.isArray(parsed)) {
+        return 'Cannot choose verification commands because package.json is not a JSON object.';
+    }
+    const scriptsRaw = parsed.scripts;
+    if (scriptsRaw === null || typeof scriptsRaw !== 'object' || Array.isArray(scriptsRaw)) {
+        return 'Cannot choose verification commands because package.json scripts must be an object.';
+    }
+    const scripts = {};
+    for (const [name, value] of Object.entries(scriptsRaw ?? {})) {
+        if (typeof value === 'string')
+            scripts[name] = value;
+    }
+    if (Object.keys(scripts).length === 0) {
+        return 'Cannot choose verification commands because package.json does not define any scripts.';
+    }
+    const packageManagerRaw = parsed.packageManager;
+    return {
+        scripts,
+        ...(typeof packageManagerRaw === 'string' ? { packageManager: packageManagerRaw } : {}),
+    };
+}
+function packageManagerFromPackageJson(value) {
+    if (value === 'npm' || value.startsWith('npm@'))
+        return 'npm';
+    if (value === 'pnpm' || value.startsWith('pnpm@'))
+        return 'pnpm';
+    if (value === 'yarn' || value.startsWith('yarn@'))
+        return 'yarn';
+    return `Cannot choose verification commands because packageManager ${JSON.stringify(value)} is not supported by the Node-script resolver.`;
+}
+function resolvePackageManager(projectRoot, info) {
+    if (info.packageManager !== undefined)
+        return packageManagerFromPackageJson(info.packageManager);
+    if (existsSync(join(projectRoot, 'pnpm-lock.yaml')))
+        return 'pnpm';
+    if (existsSync(join(projectRoot, 'yarn.lock')))
+        return 'yarn';
+    if (existsSync(join(projectRoot, 'package-lock.json')))
+        return 'npm';
+    return 'npm';
+}
+function uniqueNeeds(needs) {
+    const source = needs === undefined || needs.length === 0 ? ['general'] : needs;
+    return [...new Set(source)];
+}
+function firstGeneralScript(scripts) {
+    for (const name of ['verify', 'test', 'check']) {
+        if (typeof scripts[name] === 'string')
+            return name;
+    }
+    return undefined;
+}
+function commandForScript(input) {
+    return {
+        id: `${input.commandIdPrefix}-${input.script}`,
+        cwd: '.',
+        argv: [input.manager, 'run', input.script],
+        timeout_ms: input.timeoutMs,
+        max_output_bytes: input.maxOutputBytes,
+        env: { ...input.env },
+    };
+}
+export function resolveVerificationCommands(input) {
+    if (input.projectRoot === undefined) {
+        return {
+            status: 'blocked',
+            reason: 'Cannot choose verification commands because projectRoot was not provided.',
+        };
+    }
+    const packageInfo = readPackageInfo(input.projectRoot);
+    if (typeof packageInfo === 'string')
+        return { status: 'blocked', reason: packageInfo };
+    const manager = resolvePackageManager(input.projectRoot, packageInfo);
+    if (typeof manager === 'string' && !['npm', 'pnpm', 'yarn'].includes(manager)) {
+        return { status: 'blocked', reason: manager };
+    }
+    const needs = uniqueNeeds(input.requestedNeeds);
+    const missing = [];
+    const selectedScripts = [];
+    for (const need of needs) {
+        if (need === 'general') {
+            const generalScript = firstGeneralScript(packageInfo.scripts);
+            if (generalScript === undefined) {
+                missing.push('one of verify, test, or check');
+            }
+            else {
+                selectedScripts.push(generalScript);
+            }
+            continue;
+        }
+        if (typeof packageInfo.scripts[need] === 'string') {
+            selectedScripts.push(need);
+        }
+        else {
+            missing.push(need);
+        }
+    }
+    if (missing.length > 0) {
+        return {
+            status: 'blocked',
+            reason: `Cannot choose verification commands because package.json is missing required script ${missing.join(', ')}.`,
+        };
+    }
+    const commands = [...new Set(selectedScripts)].map((script) => commandForScript({
+        manager: manager,
+        script,
+        commandIdPrefix: input.commandIdPrefix,
+        timeoutMs: input.timeoutMs ?? DEFAULT_VERIFICATION_TIMEOUT_MS,
+        maxOutputBytes: input.maxOutputBytes ?? 200_000,
+        env: input.env ?? {},
+    }));
+    if (commands.length === 0) {
+        return {
+            status: 'blocked',
+            reason: 'Cannot choose verification commands because no verification scripts were selected.',
+        };
+    }
+    return { status: 'ready', commands };
+}
+export function requireResolvedVerificationCommands(input) {
+    const result = resolveVerificationCommands(input);
+    if (result.status === 'blocked')
+        throw new ProofPlanBlockedError(result.reason);
+    return result.commands;
+}
+function goalAsksForNeed(goal, need) {
+    const escaped = need.replace(/[.*+?^${}()|[\]\\]/g, '\\$&');
+    const proofWords = String.raw `(?:run|runs|pass|passes|passing|green|clean|keep|stays?|must|should|ensure|verify|verification|proof)`;
+    return (new RegExp(String.raw `\b${escaped}\b\s*(?:\+|&|and|,)\s*\b(?:build|lint)\b`, 'i').test(goal) ||
+        new RegExp(String.raw `\b(?:build|lint)\b\s*(?:\+|&|and|,)\s*\b${escaped}\b`, 'i').test(goal) ||
+        new RegExp(String.raw `\b${proofWords}\b[\s\S]{0,40}\b${escaped}\b`, 'i').test(goal) ||
+        new RegExp(String.raw `\b${escaped}\b[\s\S]{0,40}\b${proofWords}\b`, 'i').test(goal));
+}
+export function inferBuildVerificationNeeds(goal) {
+    const needs = [];
+    if (goalAsksForNeed(goal, 'build'))
+        needs.push('build');
+    if (goalAsksForNeed(goal, 'lint'))
+        needs.push('lint');
+    return needs.length > 0 ? needs : ['general'];
+}
+//# sourceMappingURL=verification-resolver.js.map

package/dist/shared/verification-resolver.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification-resolver.js","sourceRoot":"","sources":["../../src/shared/verification-resolver.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AAIxD,yEAAyE;AACzE,0EAA0E;AAC1E,+DAA+D;AAC/D,MAAM,CAAC,MAAM,+BAA+B,GAAG,OAAO,CAAC;AAuBvD,SAAS,eAAe,CAAC,WAAmB;IAC1C,MAAM,eAAe,GAAG,IAAI,CAAC,WAAW,EAAE,cAAc,CAAC,CAAC;IAC1D,IAAI,CAAC,UAAU,CAAC,eAAe,CAAC,EAAE,CAAC;QACjC,OAAO,+CAA+C,eAAe,kBAAkB,CAAC;IAC1F,CAAC;IAED,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,eAAe,EAAE,MAAM,CAAC,CAAC,CAAC;IAC7D,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,OAAO,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACvE,OAAO,iFAAiF,OAAO,GAAG,CAAC;IACrG,CAAC;IAED,IAAI,MAAM,KAAK,IAAI,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3E,OAAO,gFAAgF,CAAC;IAC1F,CAAC;IAED,MAAM,UAAU,GAAI,MAAgC,CAAC,OAAO,CAAC;IAC7D,IAAI,UAAU,KAAK,IAAI,IAAI,OAAO,UAAU,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;QACvF,OAAO,qFAAqF,CAAC;IAC/F,CAAC;IAED,MAAM,OAAO,GAA2B,EAAE,CAAC;IAC3C,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,IAAI,EAAE,CAAC,EAAE,CAAC;QAC7D,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,OAAO,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;IACvD,CAAC;IAED,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtC,OAAO,uFAAuF,CAAC;IACjG,CAAC;IAED,MAAM,iBAAiB,GAAI,MAAuC,CAAC,cAAc,CAAC;IAClF,OAAO;QACL,OAAO;QACP,GAAG,CAAC,OAAO,iBAAiB,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,iBAAiB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACxF,CAAC;AACJ,CAAC;AAED,SAAS,6BAA6B,CAAC,KAAa;IAClD,IAAI,KAAK,KAAK,KAAK,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC;QAAE,OAAO,KAAK,CAAC;IAC9D,IAAI,KAAK,KAAK,MAAM,IAAI,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC;QAAE,OAAO,MAAM,CAAC;IACjE,IAAI,KAAK,KAAK,MAAM,IAAI,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC;QAAE,OAAO,MAAM,CAAC;IACjE,OAAO,8DAA8D,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,gDAAgD,CAAC;AAC7I,CAAC;AAED,SAAS,qBAAqB,CAAC,WAAmB,EAAE,IAAiB;IACnE,IAAI,IAAI,CAAC,cAAc,KAAK,SAAS;QAAE,OAAO,6BAA6B,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IACjG,IAAI,UAAU,CAAC,IAAI,CAAC,WAAW,EAAE,gBAAgB,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC;IACnE,IAAI,UAAU,CAAC,IAAI,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC;IAC9D,IAAI,UAAU,CAAC,IAAI,CAAC,WAAW,EAAE,mBAAmB,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IACrE,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,WAAW,CAAC,KAA8C;IACjE,MAAM,MAAM,GAAG,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,SAAkB,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IACxF,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;AAC9B,CAAC;AAED,SAAS,kBAAkB,CAAC,OAAyC;IACnE,KAAK,MAAM,IAAI,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,CAAU,EAAE,CAAC;QACxD,IAAI,OAAO,OAAO,CAAC,IAAI,CAAC,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;IACrD,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,gBAAgB,CAAC,KAOzB;IACC,OAAO;QACL,EAAE,EAAE,GAAG,KAAK,CAAC,eAAe,IAAI,KAAK,CAAC,MAAM,EAAE;QAC9C,GAAG,EAAE,GAAG;QACR,IAAI,EAAE,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC;QAC1C,UAAU,EAAE,KAAK,CAAC,SAAS;QAC3B,gBAAgB,EAAE,KAAK,CAAC,cAAc;QACtC,GAAG,EAAE,EAAE,GAAG,KAAK,CAAC,GAAG,EAAE;KACtB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,2BAA2B,CACzC,KAAuC;IAEvC,IAAI,KAAK,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;QACpC,OAAO;YACL,MAAM,EAAE,SAAS;YACjB,MAAM,EAAE,2EAA2E;SACpF,CAAC;IACJ,CAAC;IAED,MAAM,WAAW,GAAG,eAAe,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IACvD,IAAI,OAAO,WAAW,KAAK,QAAQ;QAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC;IAEvF,MAAM,OAAO,GAAG,qBAAqB,CAAC,KAAK,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;IACtE,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QAC9E,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;IAChD,CAAC;IAED,MAAM,KAAK,GAAG,WAAW,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IAChD,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,eAAe,GAAa,EAAE,CAAC;IAErC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,MAAM,aAAa,GAAG,kBAAkB,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;YAC9D,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;gBAChC,OAAO,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;YAChD,CAAC;iBAAM,CAAC;gBACN,eAAe,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;YACtC,CAAC;YACD,SAAS;QACX,CAAC;QACD,IAAI,OAAO,WAAW,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,QAAQ,EAAE,CAAC;YAClD,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7B,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrB,CAAC;IACH,CAAC;IAED,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO;YACL,MAAM,EAAE,SAAS;YACjB,MAAM,EAAE,uFAAuF,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;SACrH,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAC5D,gBAAgB,CAAC;QACf,OAAO,EAAE,OAAyB;QAClC,MAAM;QACN,eAAe,EAAE,KAAK,CAAC,eAAe;QACtC,SAAS,EAAE,KAAK,CAAC,SAAS,IAAI,+BAA+B;QAC7D,cAAc,EAAE,KAAK,CAAC,cAAc,IAAI,OAAO;QAC/C,GAAG,EAAE,KAAK,CAAC,GAAG,IAAI,EAAE;KACrB,CAAC,CACH,CAAC;IAEF,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO;YACL,MAAM,EAAE,SAAS;YACjB,MAAM,EAAE,oFAAoF;SAC7F,CAAC;IACJ,CAAC;IAED,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;AACvC,CAAC;AAED,MAAM,UAAU,mCAAmC,CACjD,KAAuC;IAEvC,MAAM,MAAM,GAAG,2BAA2B,CAAC,KAAK,CAAC,CAAC;IAClD,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS;QAAE,MAAM,IAAI,qBAAqB,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAChF,OAAO,MAAM,CAAC,QAAQ,CAAC;AACzB,CAAC;AAED,SAAS,eAAe,CAAC,IAAY,EAAE,IAAsB;IAC3D,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;IAC5D,MAAM,UAAU,GAAG,MAAM,CAAC,GAAG,CAAA,uGAAuG,CAAC;IACrI,OAAO,CACL,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAA,KAAK,OAAO,0CAA0C,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QAC5F,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAA,2CAA2C,OAAO,IAAI,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QAC5F,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAA,KAAK,UAAU,mBAAmB,OAAO,IAAI,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QACnF,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAA,KAAK,OAAO,mBAAmB,UAAU,IAAI,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CACpF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,IAAY;IACtD,MAAM,KAAK,GAAuB,EAAE,CAAC;IACrC,IAAI,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACxD,IAAI,eAAe,CAAC,IAAI,EAAE,MAAM,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACtD,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;AAChD,CAAC"}

package/dist/shared/work-contract-projection.d.ts

@@ -0,0 +1,15 @@
+import type { CompiledFlow } from '../schemas/compiled-flow.js';
+import type { Ref } from '../schemas/ref.js';
+import { type WorkContractProjectionV0 as WorkContractProjectionValue } from '../schemas/work-contract-projection.js';
+export { WorkContractProjectionV0 } from '../schemas/work-contract-projection.js';
+export declare class WorkContractProjectionError extends Error {
+    constructor(message: string);
+}
+interface ProjectWorkContractProjectionInput {
+    readonly flow: CompiledFlow;
+    readonly contractRefPath?: string;
+}
+export declare function workContractProjectionPathForCompiledFlowPath(compiledFlowPath: string): string;
+export declare function runtimeWorkContractRefForProjectedRef(ref: Ref): Ref;
+export declare function projectWorkContractProjectionV0(input: ProjectWorkContractProjectionInput): WorkContractProjectionValue;
+//# sourceMappingURL=work-contract-projection.d.ts.map

package/dist/shared/work-contract-projection.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"work-contract-projection.d.ts","sourceRoot":"","sources":["../../src/shared/work-contract-projection.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAGhE,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,mBAAmB,CAAC;AAU7C,OAAO,EAEL,KAAK,wBAAwB,IAAI,2BAA2B,EAC7D,MAAM,wCAAwC,CAAC;AAEhD,OAAO,EAAE,wBAAwB,EAAE,MAAM,wCAAwC,CAAC;AAElF,qBAAa,2BAA4B,SAAQ,KAAK;gBACxC,OAAO,EAAE,MAAM;CAI5B;AAED,UAAU,kCAAkC;IAC1C,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC;CACnC;AA6JD,wBAAgB,6CAA6C,CAAC,gBAAgB,EAAE,MAAM,GAAG,MAAM,CAO9F;AAED,wBAAgB,qCAAqC,CAAC,GAAG,EAAE,GAAG,GAAG,GAAG,CAQnE;AAsHD,wBAAgB,+BAA+B,CAC7C,KAAK,EAAE,kCAAkC,GACxC,2BAA2B,CAiR7B"}