@zhin.js/agent 1.1.13 → 1.1.14

package/lib/workroom/effect-blocker-repository.js

@@ -0,0 +1,174 @@
+import { createHash } from 'node:crypto';
+import { readFile, readdir } from 'node:fs/promises';
+import { join } from 'node:path';
+import { canonicalWorkroomJson, deepFreezeWorkroomValue as deepFreeze, digestCanonicalWorkroomValue as digest, } from './canonical-value.js';
+import { DurableFileStore } from './durable-file-store.js';
+export class FileWorkroomEffectBlockerRepository {
+    directory;
+    #store;
+    constructor(directory) {
+        this.directory = directory;
+        this.#store = new DurableFileStore(directory);
+    }
+    async read(projectId, effectId) {
+        const prefix = filePrefix(projectId, effectId);
+        let names;
+        try {
+            names = (await readdir(this.directory)).filter(name => name.startsWith(prefix)).sort();
+        }
+        catch (error) {
+            if (hasCode(error, 'ENOENT'))
+                return undefined;
+            throw error;
+        }
+        let prior;
+        for (const [index, name] of names.entries()) {
+            if (name !== fileName(projectId, effectId, index + 1)) {
+                throw new Error('Effect blocker repository sequence gap');
+            }
+            const current = parseRecord(await readFile(join(this.directory, name), 'utf8'));
+            if (current.projectId !== projectId || current.effectId !== effectId
+                || current.revision !== index + 1 || current.previousDigest !== prior?.digest) {
+                throw new Error('Effect blocker repository chain drift');
+            }
+            prior = current;
+        }
+        if (prior)
+            await this.#store.syncLeaf();
+        return prior;
+    }
+    async append(input, expectedDigest) {
+        const current = await this.read(input.projectId, input.effectId);
+        if (current?.digest !== expectedDigest)
+            throw new Error('Effect blocker repository CAS conflict');
+        const body = deepFreeze({
+            version: 1,
+            projectId: required(input.projectId, 'projectId'),
+            effectId: required(input.effectId, 'effectId'),
+            revision: (current?.revision ?? 0) + 1,
+            ...(current ? { previousDigest: current.digest } : {}),
+            status: input.status,
+            owner: input.owner,
+            policy: deepFreeze(input.policy),
+            reason: required(input.reason, 'reason'),
+            deadline: positive(input.deadline, 'deadline'),
+            allowedSuccessors: Object.freeze([...input.allowedSuccessors]),
+            ...(input.resolvedAt === undefined ? {} : { resolvedAt: positive(input.resolvedAt, 'resolvedAt') }),
+        });
+        const record = deepFreeze({ ...body, digest: digest(body) });
+        validateRecord(record);
+        await this.#store.ensureDurableLeaf('Effect blocker repository');
+        const target = join(this.directory, fileName(input.projectId, input.effectId, record.revision));
+        const result = await this.#store.publishCreateOnly({
+            target,
+            content: canonicalWorkroomJson(record),
+            createdValue: record,
+            onConflict: async () => {
+                const existing = parseRecord(await readFile(target, 'utf8'));
+                if (canonicalWorkroomJson(existing) !== canonicalWorkroomJson(record)) {
+                    throw new Error('Effect blocker repository CAS conflict');
+                }
+                return existing;
+            },
+        });
+        return result.value;
+    }
+}
+export class DurableWorkroomEffectBlockerControl {
+    repository;
+    now;
+    constructor(repository, now = Date.now) {
+        this.repository = repository;
+        this.now = now;
+    }
+    async block(input) {
+        const current = await this.repository.read(input.projectId, input.effectId);
+        if (current?.status === 'blocked' && current.deadline > this.now()
+            && current.owner === input.owner && current.reason === input.reason
+            && canonicalWorkroomJson(current.policy) === canonicalWorkroomJson(input.policy)
+            && canonicalWorkroomJson(current.allowedSuccessors) === canonicalWorkroomJson(input.allowedSuccessors))
+            return;
+        await this.repository.append({
+            ...input,
+            status: 'blocked',
+        }, current?.digest);
+    }
+    async recover(projectId, effectId) {
+        const current = await this.repository.read(projectId, effectId);
+        if (!current || current.status === 'resolved')
+            return;
+        await this.repository.append({
+            projectId,
+            effectId,
+            status: 'resolved',
+            owner: current.owner,
+            policy: current.policy,
+            reason: current.reason,
+            deadline: current.deadline,
+            allowedSuccessors: current.allowedSuccessors,
+            resolvedAt: this.now(),
+        }, current.digest);
+    }
+}
+function parseRecord(serialized) {
+    const value = JSON.parse(serialized);
+    validateRecord(value);
+    const { digest: ignored, ...body } = value;
+    void ignored;
+    if (value.digest !== digest(body) || canonicalWorkroomJson(value) !== canonicalWorkroomJson({ ...body, digest: digest(body) })) {
+        throw new Error('Effect blocker record digest drift');
+    }
+    return deepFreeze(value);
+}
+function validateRecord(value) {
+    if (value.version !== 1 || !['blocked', 'resolved'].includes(value.status)) {
+        throw new Error('Effect blocker record is invalid');
+    }
+    required(value.projectId, 'projectId');
+    required(value.effectId, 'effectId');
+    positive(value.revision, 'revision');
+    if (value.previousDigest !== undefined)
+        requiredDigest(value.previousDigest, 'previousDigest');
+    required(value.owner, 'owner');
+    if (!['pinned_profile', 'root_emergency_fallback'].includes(value.policy?.kind)) {
+        throw new Error('Effect blocker policy kind is invalid');
+    }
+    required(value.policy?.ref, 'blocker policy ref');
+    requiredDigest(value.policy?.digest, 'blocker policy digest');
+    required(value.reason, 'reason');
+    positive(value.deadline, 'deadline');
+    if (!Array.isArray(value.allowedSuccessors) || value.allowedSuccessors.length === 0
+        || value.allowedSuccessors.some(item => !['retry', 'reconcile', 'cancel'].includes(item))) {
+        throw new Error('Effect blocker allowed successors are invalid');
+    }
+    if (value.status === 'resolved' && value.resolvedAt === undefined) {
+        throw new Error('Resolved Effect blocker requires resolvedAt');
+    }
+    requiredDigest(value.digest, 'digest');
+}
+function filePrefix(projectId, effectId) {
+    return `effect-blocker-${createHash('sha256').update(`${projectId}\0${effectId}`).digest('hex')}-`;
+}
+function fileName(projectId, effectId, revision) {
+    return `${filePrefix(projectId, effectId)}${String(revision).padStart(12, '0')}.json`;
+}
+function required(value, label) {
+    if (typeof value !== 'string' || !value.trim() || value !== value.trim())
+        throw new Error(`${label} is invalid`);
+    return value;
+}
+function requiredDigest(value, label) {
+    if (typeof value !== 'string' || !/^sha256:[a-f0-9]{64}$/u.test(value))
+        throw new Error(`${label} is invalid`);
+    return value;
+}
+function positive(value, label) {
+    if (!Number.isSafeInteger(value) || Number(value) < 1)
+        throw new Error(`${label} is invalid`);
+    return Number(value);
+}
+function hasCode(error, code) {
+    return Boolean(error && typeof error === 'object' && 'code' in error
+        && error.code === code);
+}
+//# sourceMappingURL=effect-blocker-repository.js.map

package/lib/workroom/effect-blocker-repository.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-blocker-repository.js","sourceRoot":"","sources":["../../src/workroom/effect-blocker-repository.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EACL,qBAAqB,EACrB,uBAAuB,IAAI,UAAU,EACrC,4BAA4B,IAAI,MAAM,GACvC,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AA8B3D,MAAM,OAAO,mCAAmC;IAGzB;IAFZ,MAAM,CAAmB;IAElC,YAAqB,SAAiB;QAAjB,cAAS,GAAT,SAAS,CAAQ;QACpC,IAAI,CAAC,MAAM,GAAG,IAAI,gBAAgB,CAAC,SAAS,CAAC,CAAC;IAChD,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,SAAiB,EAAE,QAAgB;QAC5C,MAAM,MAAM,GAAG,UAAU,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;QAC/C,IAAI,KAAwB,CAAC;QAC7B,IAAI,CAAC;YACH,KAAK,GAAG,CAAC,MAAM,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACzF,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,OAAO,CAAC,KAAK,EAAE,QAAQ,CAAC;gBAAE,OAAO,SAAS,CAAC;YAC/C,MAAM,KAAK,CAAC;QACd,CAAC;QACD,IAAI,KAA8C,CAAC;QACnD,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;YAC5C,IAAI,IAAI,KAAK,QAAQ,CAAC,SAAS,EAAE,QAAQ,EAAE,KAAK,GAAG,CAAC,CAAC,EAAE,CAAC;gBACtD,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;YAC5D,CAAC;YACD,MAAM,OAAO,GAAG,WAAW,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;YAChF,IAAI,OAAO,CAAC,SAAS,KAAK,SAAS,IAAI,OAAO,CAAC,QAAQ,KAAK,QAAQ;mBAC/D,OAAO,CAAC,QAAQ,KAAK,KAAK,GAAG,CAAC,IAAI,OAAO,CAAC,cAAc,KAAK,KAAK,EAAE,MAAM,EAAE,CAAC;gBAChF,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;YAC3D,CAAC;YACD,KAAK,GAAG,OAAO,CAAC;QAClB,CAAC;QACD,IAAI,KAAK;YAAE,MAAM,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;QACxC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,KAAK,CAAC,MAAM,CACV,KAA8F,EAC9F,cAAuB;QAEvB,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;QACjE,IAAI,OAAO,EAAE,MAAM,KAAK,cAAc;YAAE,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;QAClG,MAAM,IAAI,GAAG,UAAU,CAAC;YACtB,OAAO,EAAE,CAAU;YACnB,SAAS,EAAE,QAAQ,CAAC,KAAK,CAAC,SAAS,EAAE,WAAW,CAAC;YACjD,QAAQ,EAAE,QAAQ,CAAC,KAAK,CAAC,QAAQ,EAAE,UAAU,CAAC;YAC9C,QAAQ,EAAE,CAAC,OAAO,EAAE,QAAQ,IAAI,CAAC,CAAC,GAAG,CAAC;YACtC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACtD,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,MAAM,EAAE,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC;YAChC,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,QAAQ,CAAC;YACxC,QAAQ,EAAE,QAAQ,CAAC,KAAK,CAAC,QAAQ,EAAE,UAAU,CAAC;YAC9C,iBAAiB,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,iBAAiB,CAAC,CAAC;YAC9D,GAAG,CAAC,KAAK,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,QAAQ,CAAC,KAAK,CAAC,UAAU,EAAE,YAAY,CAAC,EAAE,CAAC;SACpG,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,UAAU,CAA8B,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC1F,cAAc,CAAC,MAAM,CAAC,CAAC;QACvB,MAAM,IAAI,CAAC,MAAM,CAAC,iBAAiB,CAAC,2BAA2B,CAAC,CAAC;QACjE,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,QAAQ,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;QAChG,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,iBAAiB,CAAC;YACjD,MAAM;YACN,OAAO,EAAE,qBAAqB,CAAC,MAAM,CAAC;YACtC,YAAY,EAAE,MAAM;YACpB,UAAU,EAAE,KAAK,IAAI,EAAE;gBACrB,MAAM,QAAQ,GAAG,WAAW,CAAC,MAAM,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;gBAC7D,IAAI,qBAAqB,CAAC,QAAQ,CAAC,KAAK,qBAAqB,CAAC,MAAM,CAAC,EAAE,CAAC;oBACtE,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;gBAC5D,CAAC;gBACD,OAAO,QAAQ,CAAC;YAClB,CAAC;SACF,CAAC,CAAC;QACH,OAAO,MAAM,CAAC,KAAK,CAAC;IACtB,CAAC;CACF;AAED,MAAM,OAAO,mCAAmC;IAEnC;IACA;IAFX,YACW,UAA2C,EAC3C,MAAoB,IAAI,CAAC,GAAG;QAD5B,eAAU,GAAV,UAAU,CAAiC;QAC3C,QAAG,GAAH,GAAG,CAAyB;IACpC,CAAC;IAEJ,KAAK,CAAC,KAAK,CAAC,KAAiC;QAC3C,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC5E,IAAI,OAAO,EAAE,MAAM,KAAK,SAAS,IAAI,OAAO,CAAC,QAAQ,GAAG,IAAI,CAAC,GAAG,EAAE;eAC7D,OAAO,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,IAAI,OAAO,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;eAChE,qBAAqB,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,qBAAqB,CAAC,KAAK,CAAC,MAAM,CAAC;eAC7E,qBAAqB,CAAC,OAAO,CAAC,iBAAiB,CAAC,KAAK,qBAAqB,CAAC,KAAK,CAAC,iBAAiB,CAAC;YAAE,OAAO;QACjH,MAAM,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC;YAC3B,GAAG,KAAK;YACR,MAAM,EAAE,SAAS;SAClB,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IACtB,CAAC;IAED,KAAK,CAAC,OAAO,CAAC,SAAiB,EAAE,QAAgB;QAC/C,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;QAChE,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,MAAM,KAAK,UAAU;YAAE,OAAO;QACtD,MAAM,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC;YAC3B,SAAS;YACT,QAAQ;YACR,MAAM,EAAE,UAAU;YAClB,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,iBAAiB,EAAE,OAAO,CAAC,iBAAiB;YAC5C,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE;SACvB,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IACrB,CAAC;CACF;AAED,SAAS,WAAW,CAAC,UAAkB;IACrC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAgC,CAAC;IACpE,cAAc,CAAC,KAAK,CAAC,CAAC;IACtB,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,IAAI,EAAE,GAAG,KAAK,CAAC;IAC3C,KAAK,OAAO,CAAC;IACb,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,IAAI,CAAC,IAAI,qBAAqB,CAAC,KAAK,CAAC,KAAK,qBAAqB,CAAC,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;QAC/H,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;IACxD,CAAC;IACD,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC;AAC3B,CAAC;AAED,SAAS,cAAc,CAAC,KAAkC;IACxD,IAAI,KAAK,CAAC,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3E,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC;IACtD,CAAC;IACD,QAAQ,CAAC,KAAK,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;IACvC,QAAQ,CAAC,KAAK,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IACrC,QAAQ,CAAC,KAAK,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IACrC,IAAI,KAAK,CAAC,cAAc,KAAK,SAAS;QAAE,cAAc,CAAC,KAAK,CAAC,cAAc,EAAE,gBAAgB,CAAC,CAAC;IAC/F,QAAQ,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC/B,IAAI,CAAC,CAAC,gBAAgB,EAAE,yBAAyB,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;QAChF,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;IAC3D,CAAC;IACD,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,GAAG,EAAE,oBAAoB,CAAC,CAAC;IAClD,cAAc,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,uBAAuB,CAAC,CAAC;IAC9D,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IACjC,QAAQ,CAAC,KAAK,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IACrC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,iBAAiB,CAAC,IAAI,KAAK,CAAC,iBAAiB,CAAC,MAAM,KAAK,CAAC;WAC9E,KAAK,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,WAAW,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAC5F,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;IACnE,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,UAAU,IAAI,KAAK,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;QAClE,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;IACjE,CAAC;IACD,cAAc,CAAC,KAAK,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;AACzC,CAAC;AAED,SAAS,UAAU,CAAC,SAAiB,EAAE,QAAgB;IACrD,OAAO,kBAAkB,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,GAAG,SAAS,KAAK,QAAQ,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC;AACrG,CAAC;AACD,SAAS,QAAQ,CAAC,SAAiB,EAAE,QAAgB,EAAE,QAAgB;IACrE,OAAO,GAAG,UAAU,CAAC,SAAS,EAAE,QAAQ,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAE,GAAG,CAAC,OAAO,CAAC;AACxF,CAAC;AACD,SAAS,QAAQ,CAAC,KAAc,EAAE,KAAa;IAC7C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,KAAK,KAAK,KAAK,CAAC,IAAI,EAAE;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,aAAa,CAAC,CAAC;IACjH,OAAO,KAAK,CAAC;AACf,CAAC;AACD,SAAS,cAAc,CAAC,KAAc,EAAE,KAAa;IACnD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,aAAa,CAAC,CAAC;IAC/G,OAAO,KAAK,CAAC;AACf,CAAC;AACD,SAAS,QAAQ,CAAC,KAAc,EAAE,KAAa;IAC7C,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,aAAa,CAAC,CAAC;IAC9F,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;AACvB,CAAC;AACD,SAAS,OAAO,CAAC,KAAc,EAAE,IAAY;IAC3C,OAAO,OAAO,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,IAAI,KAAK;WAC9D,KAA4B,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;AACpD,CAAC"}

package/lib/workroom/effect-ledger.d.ts

@@ -0,0 +1,191 @@
+export type WorkroomEffectOutcome = 'committed' | 'failed' | 'outcome_unknown';
+export type WorkroomEffectStatus = 'pending_authorization' | 'executing' | 'committed' | 'failed' | 'outcome_unknown' | 'cancelled';
+export interface WorkroomEffectIntentInput {
+    readonly projectId: string;
+    readonly runId: string;
+    readonly taskKey: string;
+    readonly taskRevision: number;
+    readonly candidateHash: string;
+    readonly capability: Readonly<{
+        ref: string;
+        digest: string;
+    }>;
+    readonly operation: Readonly<{
+        kind: 'git_push';
+        parameters: {
+            repositoryId: string;
+            ref: string;
+            headSha: string;
+            changedPaths: readonly string[];
+        };
+    }> | Readonly<{
+        kind: 'git_open_pr';
+        parameters: {
+            repositoryId: string;
+            headRef: string;
+            baseRef: string;
+            headSha: string;
+        };
+    }> | Readonly<{
+        kind: 'git_cancel_remote';
+        parameters: {
+            repositoryId: string;
+            remoteOperationId: string;
+        };
+    }> | Readonly<{
+        kind: 'processor_recall';
+        parameters: {
+            purgeId: string;
+            objectId: string;
+            locationId: string;
+            locationAuthorityDigest: string;
+            locationManifestDigest: string;
+            attempt: number;
+            fence: number;
+            requestDigest: string;
+        };
+    }> | Readonly<{
+        kind: 'compensation';
+        parameters: {
+            originalEffectId: string;
+            operation: string;
+            receiptRef: string;
+        };
+    }>;
+    readonly target: Readonly<{
+        ref: string;
+        digest: string;
+    }>;
+    readonly preconditions: readonly Readonly<{
+        ref: string;
+        digest: string;
+    }>[];
+    readonly risk: Readonly<{
+        assessmentRef: string;
+        assessmentDigest: string;
+        tier: 'low' | 'medium' | 'high' | 'critical';
+    }>;
+    readonly reversibility: Readonly<{
+        kind: 'discard_only' | 'irreversible';
+    }> | Readonly<{
+        kind: 'compensatable';
+        compensation: Readonly<{
+            operation: string;
+            requiresReceipt: true;
+        }>;
+    }>;
+    readonly idempotencyKey: string;
+    readonly createdAt: number;
+}
+export interface WorkroomEffectIntent extends WorkroomEffectIntentInput {
+    readonly version: 1;
+    readonly id: string;
+    readonly digest: string;
+}
+export interface WorkroomEffectAuthorization {
+    readonly version: 1;
+    readonly authorized: true;
+    readonly intentId: string;
+    readonly intentDigest: string;
+    readonly candidateHash: string;
+    readonly authorizationId: string;
+    readonly authorizationDigest: string;
+    readonly policy: Readonly<{
+        id: string;
+        revision: number;
+        digest: string;
+    }>;
+    readonly authorizedBy: string;
+    readonly expiresAt: number;
+}
+export interface WorkroomEffectAuthorizationPort {
+    authorize(input: Readonly<{
+        projectId: string;
+        expectedSequence: number;
+        now: number;
+        intent: WorkroomEffectIntent;
+    }>): Promise<WorkroomEffectAuthorization>;
+}
+export interface WorkroomEffectAttempt {
+    readonly id: string;
+    readonly operationId: string;
+    readonly workerId: string;
+    readonly fence: number;
+    readonly startedAt: number;
+    readonly idempotencyKey: string;
+    readonly intentDigest: string;
+    readonly authorizationDigest: string;
+}
+export interface WorkroomEffectGatewayReceipt {
+    readonly version: 1;
+    readonly receiptId: string;
+    readonly intentId: string;
+    readonly intentDigest: string;
+    readonly authorizationDigest: string;
+    readonly attemptId: string;
+    readonly fence: number;
+    readonly provider: Readonly<{
+        id: string;
+        digest: string;
+    }>;
+    readonly outcome: WorkroomEffectOutcome;
+    readonly remoteRef: string;
+    readonly remoteDigest: string;
+    readonly observedAt: number;
+    readonly authenticatedBy: string;
+}
+export interface WorkroomEffectState {
+    readonly projectId: string;
+    readonly sequence: number;
+    readonly status: WorkroomEffectStatus;
+    readonly intent: WorkroomEffectIntent;
+    readonly authorization?: WorkroomEffectAuthorization;
+    readonly attempt?: WorkroomEffectAttempt;
+    readonly receipt?: WorkroomEffectGatewayReceipt;
+    readonly cancelledAt?: number;
+}
+export type WorkroomEffectEventType = 'effect.intent_recorded' | 'effect.attempt_started' | 'effect.receipt_recorded' | 'effect.cancelled';
+export interface WorkroomEffectEventDraft {
+    readonly type: WorkroomEffectEventType;
+    readonly payload: Readonly<Record<string, unknown>>;
+}
+export interface WorkroomEffectEvent extends WorkroomEffectEventDraft {
+    readonly version: 1;
+    readonly projectId: string;
+    readonly sequence: number;
+    readonly digest: string;
+}
+export interface WorkroomEffectJournal {
+    read(projectId: string): Promise<readonly WorkroomEffectEvent[]>;
+    append(projectId: string, expectedSequence: number, drafts: readonly WorkroomEffectEventDraft[]): Promise<readonly WorkroomEffectEvent[]>;
+}
+export declare class WorkroomEffectSequenceConflictError extends Error {
+    readonly expected: number;
+    readonly actual: number;
+    constructor(expected: number, actual: number);
+}
+export declare class MemoryWorkroomEffectJournal implements WorkroomEffectJournal {
+    #private;
+    read(projectId: string): Promise<readonly WorkroomEffectEvent[]>;
+    append(projectId: string, expectedSequence: number, drafts: readonly WorkroomEffectEventDraft[]): Promise<readonly WorkroomEffectEvent[]>;
+}
+export declare function createWorkroomEffectIntent(input: WorkroomEffectIntentInput): WorkroomEffectIntent;
+export declare class WorkroomEffectLedger {
+    readonly journal: WorkroomEffectJournal;
+    readonly authorization?: WorkroomEffectAuthorizationPort | undefined;
+    constructor(journal: WorkroomEffectJournal, authorization?: WorkroomEffectAuthorizationPort | undefined);
+    recordIntent(projectId: string, intent: WorkroomEffectIntent): Promise<WorkroomEffectState>;
+    startAuthorizedAttempt(projectId: string, effectId: string, input: Readonly<{
+        operationId: string;
+        workerId: string;
+        fence: number;
+        startedAt: number;
+    }>): Promise<WorkroomEffectState>;
+    recordReceipt(projectId: string, effectId: string, receipt: WorkroomEffectGatewayReceipt): Promise<WorkroomEffectState>;
+    cancelPending(projectId: string, effectId: string, operationId: string, cancelledAt: number): Promise<WorkroomEffectState>;
+    read(projectId: string, effectId: string): Promise<WorkroomEffectState>;
+}
+export declare function replayWorkroomEffectLedger(projectId: string, events: readonly WorkroomEffectEvent[]): Readonly<Record<string, WorkroomEffectState>>;
+export declare function createWorkroomEffectEvent(projectId: string, sequence: number, draft: WorkroomEffectEventDraft): WorkroomEffectEvent;
+export declare function assertWorkroomEffectEvent(event: WorkroomEffectEvent, projectId: string, sequence: number): void;
+//# sourceMappingURL=effect-ledger.d.ts.map

package/lib/workroom/effect-ledger.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-ledger.d.ts","sourceRoot":"","sources":["../../src/workroom/effect-ledger.ts"],"names":[],"mappings":"AAMA,MAAM,MAAM,qBAAqB,GAAG,WAAW,GAAG,QAAQ,GAAG,iBAAiB,CAAC;AAC/E,MAAM,MAAM,oBAAoB,GAC5B,uBAAuB,GACvB,WAAW,GACX,WAAW,GACX,QAAQ,GACR,iBAAiB,GACjB,WAAW,CAAC;AAEhB,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC/D,QAAQ,CAAC,SAAS,EACd,QAAQ,CAAC;QACP,IAAI,EAAE,UAAU,CAAC;QACjB,UAAU,EAAE;YAAE,YAAY,EAAE,MAAM,CAAC;YAAC,GAAG,EAAE,MAAM,CAAC;YAAC,OAAO,EAAE,MAAM,CAAC;YAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAA;SAAE,CAAC;KACrG,CAAC,GACF,QAAQ,CAAC;QAAE,IAAI,EAAE,aAAa,CAAC;QAAC,UAAU,EAAE;YAAE,YAAY,EAAE,MAAM,CAAC;YAAC,OAAO,EAAE,MAAM,CAAC;YAAC,OAAO,EAAE,MAAM,CAAC;YAAC,OAAO,EAAE,MAAM,CAAA;SAAE,CAAA;KAAE,CAAC,GAC1H,QAAQ,CAAC;QAAE,IAAI,EAAE,mBAAmB,CAAC;QAAC,UAAU,EAAE;YAAE,YAAY,EAAE,MAAM,CAAC;YAAC,iBAAiB,EAAE,MAAM,CAAA;SAAE,CAAA;KAAE,CAAC,GACxG,QAAQ,CAAC;QAAE,IAAI,EAAE,kBAAkB,CAAC;QAAC,UAAU,EAAE;YAC/C,OAAO,EAAE,MAAM,CAAC;YAChB,QAAQ,EAAE,MAAM,CAAC;YACjB,UAAU,EAAE,MAAM,CAAC;YACnB,uBAAuB,EAAE,MAAM,CAAC;YAChC,sBAAsB,EAAE,MAAM,CAAC;YAC/B,OAAO,EAAE,MAAM,CAAC;YAChB,KAAK,EAAE,MAAM,CAAC;YACd,aAAa,EAAE,MAAM,CAAC;SACvB,CAAA;KAAE,CAAC,GACJ,QAAQ,CAAC;QAAE,IAAI,EAAE,cAAc,CAAC;QAAC,UAAU,EAAE;YAAE,gBAAgB,EAAE,MAAM,CAAC;YAAC,SAAS,EAAE,MAAM,CAAC;YAAC,UAAU,EAAE,MAAM,CAAA;SAAE,CAAA;KAAE,CAAC,CAAC;IACxH,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC3D,QAAQ,CAAC,aAAa,EAAE,SAAS,QAAQ,CAAC;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,EAAE,CAAC;IAC7E,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;QACtB,aAAa,EAAE,MAAM,CAAC;QACtB,gBAAgB,EAAE,MAAM,CAAC;QACzB,IAAI,EAAE,KAAK,GAAG,QAAQ,GAAG,MAAM,GAAG,UAAU,CAAC;KAC9C,CAAC,CAAC;IACH,QAAQ,CAAC,aAAa,EAClB,QAAQ,CAAC;QAAE,IAAI,EAAE,cAAc,GAAG,cAAc,CAAA;KAAE,CAAC,GACnD,QAAQ,CAAC;QACP,IAAI,EAAE,eAAe,CAAC;QACtB,YAAY,EAAE,QAAQ,CAAC;YAAE,SAAS,EAAE,MAAM,CAAC;YAAC,eAAe,EAAE,IAAI,CAAA;SAAE,CAAC,CAAC;KACtE,CAAC,CAAC;IACP,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED,MAAM,WAAW,oBAAqB,SAAQ,yBAAyB;IACrE,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;IACpB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;IACpB,QAAQ,CAAC,UAAU,EAAE,IAAI,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC5E,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED,MAAM,WAAW,+BAA+B;IAC9C,SAAS,CAAC,KAAK,EAAE,QAAQ,CAAC;QACxB,SAAS,EAAE,MAAM,CAAC;QAClB,gBAAgB,EAAE,MAAM,CAAC;QACzB,GAAG,EAAE,MAAM,CAAC;QACZ,MAAM,EAAE,oBAAoB,CAAC;KAC9B,CAAC,GAAG,OAAO,CAAC,2BAA2B,CAAC,CAAC;CAC3C;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;CACtC;AAED,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;IACpB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC5D,QAAQ,CAAC,OAAO,EAAE,qBAAqB,CAAC;IACxC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;CAClC;AAED,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,oBAAoB,CAAC;IACtC,QAAQ,CAAC,MAAM,EAAE,oBAAoB,CAAC;IACtC,QAAQ,CAAC,aAAa,CAAC,EAAE,2BAA2B,CAAC;IACrD,QAAQ,CAAC,OAAO,CAAC,EAAE,qBAAqB,CAAC;IACzC,QAAQ,CAAC,OAAO,CAAC,EAAE,4BAA4B,CAAC;IAChD,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAC/B;AAED,MAAM,MAAM,uBAAuB,GAC/B,wBAAwB,GACxB,wBAAwB,GACxB,yBAAyB,GACzB,kBAAkB,CAAC;AAEvB,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,IAAI,EAAE,uBAAuB,CAAC;IACvC,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CACrD;AAED,MAAM,WAAW,mBAAoB,SAAQ,wBAAwB;IACnE,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;IACpB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,qBAAqB;IACpC,IAAI,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,SAAS,mBAAmB,EAAE,CAAC,CAAC;IACjE,MAAM,CACJ,SAAS,EAAE,MAAM,EACjB,gBAAgB,EAAE,MAAM,EACxB,MAAM,EAAE,SAAS,wBAAwB,EAAE,GAC1C,OAAO,CAAC,SAAS,mBAAmB,EAAE,CAAC,CAAC;CAC5C;AAED,qBAAa,mCAAoC,SAAQ,KAAK;IAChD,QAAQ,CAAC,QAAQ,EAAE,MAAM;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM;gBAAzC,QAAQ,EAAE,MAAM,EAAW,MAAM,EAAE,MAAM;CAI/D;AAED,qBAAa,2BAA4B,YAAW,qBAAqB;;IAGjE,IAAI,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,SAAS,mBAAmB,EAAE,CAAC;IAIhE,MAAM,CACV,SAAS,EAAE,MAAM,EACjB,gBAAgB,EAAE,MAAM,EACxB,MAAM,EAAE,SAAS,wBAAwB,EAAE,GAC1C,OAAO,CAAC,SAAS,mBAAmB,EAAE,CAAC;CAc3C;AAED,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,yBAAyB,GAAG,oBAAoB,CAQjG;AAED,qBAAa,oBAAoB;IAE7B,QAAQ,CAAC,OAAO,EAAE,qBAAqB;IACvC,QAAQ,CAAC,aAAa,CAAC,EAAE,+BAA+B;gBAD/C,OAAO,EAAE,qBAAqB,EAC9B,aAAa,CAAC,EAAE,+BAA+B,YAAA;IAGpD,YAAY,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,oBAAoB,GAAG,OAAO,CAAC,mBAAmB,CAAC;IAkB3F,sBAAsB,CAC1B,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,MAAM,EAChB,KAAK,EAAE,QAAQ,CAAC;QAAE,WAAW,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAA;KAAE,CAAC,GAC3F,OAAO,CAAC,mBAAmB,CAAC;IA4BzB,aAAa,CACjB,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,4BAA4B,GACpC,OAAO,CAAC,mBAAmB,CAAC;IAmBzB,aAAa,CACjB,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,MAAM,EAChB,WAAW,EAAE,MAAM,EACnB,WAAW,EAAE,MAAM,GAClB,OAAO,CAAC,mBAAmB,CAAC;IAezB,IAAI,CAAC,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC;CAM9E;AAED,wBAAgB,0BAA0B,CACxC,SAAS,EAAE,MAAM,EACjB,MAAM,EAAE,SAAS,mBAAmB,EAAE,GACrC,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC,CA8C/C;AA0MD,wBAAgB,yBAAyB,CACvC,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,MAAM,EAChB,KAAK,EAAE,wBAAwB,GAC9B,mBAAmB,CASrB;AAED,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,mBAAmB,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,IAAI,CAe/G"}