@danceiny/gotry 0.0.1-rc.21 → 0.0.1-rc.24

package/dist/scripts/booking-copilot-operation-ledger-concurrency-proof-tests.js

@@ -8,45 +8,11 @@ import { ensureLedger } from '../src/state-ledger.js';
 import { BookingCopilotTaskRuntime } from '../src/booking-surface/runtime.js';
 const taskId = 'task-operation-atomicity';
 const workspace = {
-    schemaVersion: 'booking.surface',
-    contextRef: 'ctx-operation-atomicity',
-    surface: 'tenant',
-    revision: 0,
-    locale: 'en-US',
-    currency: 'AED',
-    searchDraft: {},
-    results: {
-        status: 'idle'
-    },
-    visibleHotels: [],
-    loadedOffers: [],
-    shortlistedOfferRefs: [],
-    capabilities: {
-        surface: 'tenant',
-        allowedActions: [
-            'search.patch',
-            'search.run'
-        ]
-    }
-};
-const base = {
-    schemaVersion: 'booking.surface',
-    kind: 'search.patch',
-    actionId: 'action-operation-atomicity',
-    contextRef: workspace.contextRef,
-    expectedRevision: 0,
-    reason: 'raw-reason-marker',
-    factRefs: [
-        'fact:opaque'
-    ],
-    input: {
-        patch: {
-            destination: {
-                query: 'typed-input-marker'
-            }
-        }
-    }
+    schemaVersion: 'booking.surface', contextRef: 'ctx-operation-atomicity', surface: 'tenant', revision: 0,
+    locale: 'en-US', currency: 'AED', searchDraft: {}, results: { status: 'idle' }, visibleHotels: [], loadedOffers: [], shortlistedOfferRefs: [],
+    capabilities: { surface: 'tenant', allowedActions: ['search.patch', 'search.run'] },
 };
+const base = { schemaVersion: 'booking.surface', kind: 'search.patch', actionId: 'action-operation-atomicity', contextRef: workspace.contextRef, expectedRevision: 0, reason: 'raw-reason-marker', factRefs: ['fact:opaque'], input: { patch: { destination: { query: 'typed-input-marker' } } } };
 const child = process.argv.indexOf('--child') >= 0;
 const replayMode = process.argv.indexOf('--replay') >= 0;
 const root = child ? process.argv[process.argv.indexOf('--child') + 1] : '';
@@ -57,26 +23,15 @@ if (replayMode) {
     const replayLedger = ensureLedger(replayRoot);
     const replayAction = replayVariant === 'conflict' ? action('conflict') : replayVariant === 'different' ? action('different') : base;
     try {
-        console.log(JSON.stringify({
-            result: 'success',
-            event: new BookingCopilotTaskRuntime(replayLedger).issueOperation(taskId, replayAction)
-        }));
-    } catch (error) {
-        console.log(JSON.stringify({
-            result: 'error',
-            error: error instanceof Error ? error.message : String(error)
-        }));
+        console.log(JSON.stringify({ result: 'success', event: new BookingCopilotTaskRuntime(replayLedger).issueOperation(taskId, replayAction) }));
+    }
+    catch (error) {
+        console.log(JSON.stringify({ result: 'error', error: error instanceof Error ? error.message : String(error) }));
     }
     replayLedger.close();
     process.exit(0);
 }
-function waitFile(path, timeout = 30_000) {
-    return new Promise((resolve, reject)=>{
-        const end = Date.now() + timeout;
-        const tick = ()=>existsSync(path) ? resolve() : Date.now() > end ? reject(new Error(`timeout:${path}`)) : setTimeout(tick, 5);
-        tick();
-    });
-}
+function waitFile(path, timeout = 30_000) { return new Promise((resolve, reject) => { const end = Date.now() + timeout; const tick = () => existsSync(path) ? resolve() : Date.now() > end ? reject(new Error(`timeout:${path}`)) : setTimeout(tick, 5); tick(); }); }
 function action(which) {
     return {
         ...base,
@@ -84,18 +39,9 @@ function action(which) {
         reason: which === 'conflict' ? 'different reason' : base.reason,
         contextRef: which === 'context' ? 'ctx-other' : base.contextRef,
         expectedRevision: which === 'revision' ? 1 : base.expectedRevision,
-        factRefs: which === 'fact-order' ? [
-            'fact:other',
-            'fact:opaque'
-        ] : base.factRefs,
-        input: which === 'kind' ? {} : which === 'input' ? {
-            patch: {
-                destination: {
-                    query: 'other'
-                }
-            }
-        } : base.input,
-        actionId: which === 'different' ? 'action-different' : base.actionId
+        factRefs: which === 'fact-order' ? ['fact:other', 'fact:opaque'] : base.factRefs,
+        input: which === 'kind' ? {} : which === 'input' ? { patch: { destination: { query: 'other' } } } : base.input,
+        actionId: which === 'different' ? 'action-different' : base.actionId,
     };
 }
 if (child) {
@@ -105,35 +51,29 @@ if (child) {
     let first = true;
     writeFileSync(join(root, `started-${variant}`), 'started');
     const gateEnd = Date.now() + 10_000;
-    while(!existsSync(join(root, 'start'))){
-        if (Date.now() > gateEnd) throw new Error('start_gate_timeout');
+    while (!existsSync(join(root, 'start'))) {
+        if (Date.now() > gateEnd)
+            throw new Error('start_gate_timeout');
         Atomics.wait(new Int32Array(new SharedArrayBuffer(4)), 0, 0, 5);
     }
-    if (variant !== 'left') Atomics.wait(new Int32Array(new SharedArrayBuffer(4)), 0, 0, 100);
-    runtime.resumeTask = (id)=>{
-        const state = original(id);
-        if (first && !state?.pendingAction) {
-            first = false;
-            writeFileSync(join(root, `ready-${variant}`), 'ready');
-            const end = Date.now() + 10_000;
-            while(!existsSync(join(root, 'release'))){
-                if (Date.now() > end) throw new Error('barrier_timeout');
-                Atomics.wait(new Int32Array(new SharedArrayBuffer(4)), 0, 0, 5);
-            }
+    if (variant !== 'left')
+        Atomics.wait(new Int32Array(new SharedArrayBuffer(4)), 0, 0, 100);
+    runtime.resumeTask = (id) => { const state = original(id); if (first && !state?.pendingAction) {
+        first = false;
+        writeFileSync(join(root, `ready-${variant}`), 'ready');
+        const end = Date.now() + 10_000;
+        while (!existsSync(join(root, 'release'))) {
+            if (Date.now() > end)
+                throw new Error('barrier_timeout');
+            Atomics.wait(new Int32Array(new SharedArrayBuffer(4)), 0, 0, 5);
         }
-        return state;
-    };
+    } return state; };
     try {
         const event = runtime.issueOperation(taskId, action(variant));
-        console.log(JSON.stringify({
-            result: 'success',
-            event
-        }));
-    } catch (error) {
-        console.log(JSON.stringify({
-            result: 'error',
-            error: error instanceof Error ? error.message : String(error)
-        }));
+        console.log(JSON.stringify({ result: 'success', event }));
+    }
+    catch (error) {
+        console.log(JSON.stringify({ result: 'error', error: error instanceof Error ? error.message : String(error) }));
     }
     ledger.close();
     process.exit(0);
@@ -141,88 +81,46 @@ if (child) {
 async function pair(root, left, right) {
     const tsx = fileURLToPath(new URL('../node_modules/tsx/dist/cli.mjs', import.meta.url));
     const script = fileURLToPath(import.meta.url);
-    const ps = [
-        left,
-        right
-    ].map((v)=>spawn(process.execPath, [
-            tsx,
-            script,
-            '--child',
-            root,
-            v
-        ], {
-            cwd: process.cwd(),
-            stdio: [
-                'ignore',
-                'pipe',
-                'pipe'
-            ]
-        }));
-    const out = ps.map(()=>'');
-    ps.forEach((p, i)=>{
-        p.stdout.on('data', (b)=>{
-            out[i] += b;
-        });
-        p.stderr.on('data', (b)=>{
-            out[i] += b;
-        });
-    });
-    await Promise.all([
-        waitFile(join(root, `started-${left}`)),
-        waitFile(join(root, `started-${right}`))
-    ]);
+    const ps = [left, right].map((v) => spawn(process.execPath, [tsx, script, '--child', root, v], { cwd: process.cwd(), stdio: ['ignore', 'pipe', 'pipe'] }));
+    const out = ps.map(() => '');
+    ps.forEach((p, i) => { p.stdout.on('data', (b) => { out[i] += b; }); p.stderr.on('data', (b) => { out[i] += b; }); });
+    await Promise.all([waitFile(join(root, `started-${left}`)), waitFile(join(root, `started-${right}`))]);
     writeFileSync(join(root, 'start'), 'start');
     try {
-        await Promise.race([
-            waitFile(join(root, `ready-${left}`)),
-            waitFile(join(root, `ready-${right}`))
-        ]);
-    } catch (error) {
-        ps.forEach((p)=>p.kill('SIGKILL'));
+        await Promise.race([waitFile(join(root, `ready-${left}`)), waitFile(join(root, `ready-${right}`))]);
+    }
+    catch (error) {
+        ps.forEach((p) => p.kill('SIGKILL'));
         throw new Error(`workers_did_not_reach_callsite:${out.join('|')}:${error}`);
     }
-    await new Promise((resolve)=>setTimeout(resolve, 250));
+    await new Promise((resolve) => setTimeout(resolve, 250));
     assert.equal(existsSync(join(root, `ready-${left}`)) && existsSync(join(root, `ready-${right}`)), false, 'both workers entered transaction before release');
     writeFileSync(join(root, 'release'), 'release');
     try {
-        await Promise.all(ps.map((p)=>new Promise((resolve, reject)=>{
-                const timer = setTimeout(()=>reject(new Error('worker_timeout')), 10_000);
-                p.on('exit', (code)=>{
-                    clearTimeout(timer);
-                    code === 0 ? resolve() : reject(new Error(`worker_exit:${code}:${out.join('|')}`));
-                });
-            })));
-    } finally{
-        ps.forEach((p)=>{
-            if (p.exitCode === null) p.kill('SIGKILL');
-        });
+        await Promise.all(ps.map((p) => new Promise((resolve, reject) => { const timer = setTimeout(() => reject(new Error('worker_timeout')), 10_000); p.on('exit', (code) => { clearTimeout(timer); code === 0 ? resolve() : reject(new Error(`worker_exit:${code}:${out.join('|')}`)); }); })));
+    }
+    finally {
+        ps.forEach((p) => { if (p.exitCode === null)
+            p.kill('SIGKILL'); });
     }
-    return out.map((s)=>JSON.parse(s.trim().split('\n').at(-1)));
+    return out.map((s) => JSON.parse(s.trim().split('\n').at(-1)));
 }
 async function run(kind, conflictVariant = 'conflict') {
     const root = mkdtempSync(join(tmpdir(), `gotry-operation-${kind}-`));
-    mkdirSync(root, {
-        recursive: true
-    });
+    mkdirSync(root, { recursive: true });
     const ledger = ensureLedger(root);
     const runtime = new BookingCopilotTaskRuntime(ledger);
-    const turn = {
-        schemaVersion: 'booking.surface',
-        kind: 'user.turn',
-        taskId,
-        turnId: 'operation-anchor-turn',
-        workspace,
-        request: {
-            text: 'opaque'
-        }
-    };
+    const turn = { schemaVersion: 'booking.surface', kind: 'user.turn', taskId, turnId: 'operation-anchor-turn', workspace, request: { text: 'opaque' } };
     runtime.startTask(turn);
     const result = await pair(root, kind === 'different' ? 'different' : 'left', kind === 'conflict' ? conflictVariant : 'right');
-    const success = result.filter((r)=>r.result === 'success');
+    const success = result.filter((r) => r.result === 'success');
     assert.equal(success.length, kind === 'same' ? 2 : 1);
-    if (kind === 'conflict') assert.equal(result.filter((r)=>r.error === 'action_conflict').length, 1, JSON.stringify(result));
-    if (kind === 'different') assert.equal(result.filter((r)=>r.error === 'receipt_required').length, 1);
-    if (kind === 'same') assert.deepEqual(success[0].event, success[1].event);
+    if (kind === 'conflict')
+        assert.equal(result.filter((r) => r.error === 'action_conflict').length, 1, JSON.stringify(result));
+    if (kind === 'different')
+        assert.equal(result.filter((r) => r.error === 'receipt_required').length, 1);
+    if (kind === 'same')
+        assert.deepEqual(success[0].event, success[1].event);
     assert.equal(ledger.db.prepare("SELECT COUNT(*) AS n FROM events WHERE kind = 'booking.copilot.action.issued'").get().n, 1);
     const durable = ledger.db.prepare("SELECT payload FROM events WHERE kind = 'booking.copilot.action.issued'").get();
     assert.ok(!/raw-reason-marker|@example|secret/i.test(durable.payload), 'action reason prose is never durable');
@@ -231,40 +129,7 @@ async function run(kind, conflictVariant = 'conflict') {
         const event = success[0].event;
         ledger.close();
         const tsx = fileURLToPath(new URL('../node_modules/tsx/dist/cli.mjs', import.meta.url));
-        async function replayVariant(v) {
-            const replayChild = spawn(process.execPath, [
-                tsx,
-                fileURLToPath(import.meta.url),
-                '--replay',
-                root,
-                v
-            ], {
-                cwd: process.cwd(),
-                stdio: [
-                    'ignore',
-                    'pipe',
-                    'pipe'
-                ]
-            });
-            let replayOutput = '';
-            replayChild.stdout.on('data', (b)=>{
-                replayOutput += b;
-            });
-            replayChild.stderr.on('data', (b)=>{
-                replayOutput += b;
-            });
-            await new Promise((resolve, reject)=>{
-                const timer = setTimeout(()=>{
-                    replayChild.kill('SIGKILL');
-                    reject(new Error('replay_timeout'));
-                }, 10_000);
-                replayChild.on('exit', (code)=>{
-                    clearTimeout(timer);
-                    code === 0 ? resolve() : reject(new Error(`replay_exit:${code}:${replayOutput}`));
-                });
-            });
-            return JSON.parse(replayOutput.trim().split('\n').at(-1));
-        }
+        async function replayVariant(v) { const replayChild = spawn(process.execPath, [tsx, fileURLToPath(import.meta.url), '--replay', root, v], { cwd: process.cwd(), stdio: ['ignore', 'pipe', 'pipe'] }); let replayOutput = ''; replayChild.stdout.on('data', (b) => { replayOutput += b; }); replayChild.stderr.on('data', (b) => { replayOutput += b; }); await new Promise((resolve, reject) => { const timer = setTimeout(() => { replayChild.kill('SIGKILL'); reject(new Error('replay_timeout')); }, 10_000); replayChild.on('exit', (code) => { clearTimeout(timer); code === 0 ? resolve() : reject(new Error(`replay_exit:${code}:${replayOutput}`)); }); }); return JSON.parse(replayOutput.trim().split('\n').at(-1)); }
         const replayResult = await replayVariant('base');
         assert.deepEqual(replayResult.event, event);
         const conflictResult = await replayVariant('conflict');
@@ -275,108 +140,44 @@ async function run(kind, conflictVariant = 'conflict') {
         assert.equal(restarted.db.prepare("SELECT COUNT(*) AS n FROM events WHERE kind = 'booking.copilot.action.issued'").get().n, 1);
         const replay = replayResult.event;
         const pending = new BookingCopilotTaskRuntime(restarted).resumeTask(taskId)?.pendingAction;
-        assert.deepEqual(pending && {
-            eventId: pending.eventId,
-            sequence: pending.sequence,
-            emittedAt: pending.emittedAt
-        }, {
-            eventId: replay.eventId,
-            sequence: replay.sequence,
-            emittedAt: replay.emittedAt
-        });
+        assert.deepEqual(pending && { eventId: pending.eventId, sequence: pending.sequence, emittedAt: pending.emittedAt }, { eventId: replay.eventId, sequence: replay.sequence, emittedAt: replay.emittedAt });
         restarted.close();
-    } else {
+    }
+    else {
         ledger.close();
     }
-    rmSync(root, {
-        recursive: true,
-        force: true
-    });
+    rmSync(root, { recursive: true, force: true });
 }
 if (!child) {
-    for(let round = 0; round < 20; round++){
+    for (let round = 0; round < 20; round++) {
         await run('same');
-        await run('conflict', [
-            'conflict',
-            'kind',
-            'context',
-            'revision',
-            'fact-order',
-            'input'
-        ][round % 6]);
+        await run('conflict', ['conflict', 'kind', 'context', 'revision', 'fact-order', 'input'][round % 6]);
         await run('different');
     }
     const unsafeRoot = mkdtempSync(join(tmpdir(), 'gotry-operation-unsafe-'));
     const unsafeLedger = ensureLedger(unsafeRoot);
     const unsafeRuntime = new BookingCopilotTaskRuntime(unsafeLedger);
-    unsafeRuntime.startTask({
-        schemaVersion: 'booking.surface',
-        kind: 'user.turn',
-        taskId,
-        turnId: 'unsafe-anchor-turn',
-        workspace,
-        request: {
-            text: 'opaque'
-        }
-    });
-    assert.throws(()=>unsafeRuntime.issueOperation(taskId, {
-            ...base,
-            reason: 'raw prose marker@example.invalid'
-        }), /invalid_action|unsafe/, 'email prose is rejected before an operation is issued');
-    assert.throws(()=>unsafeRuntime.issueOperation(taskId, {
-            ...base,
-            factRefs: [
-                'attacker@example.invalid'
-            ]
-        }), /invalid_action|unsafe_fact_ref/);
-    assert.throws(()=>unsafeRuntime.issueOperation(taskId, {
-            ...base,
-            actionId: 'attacker@example.invalid'
-        }), /invalid_action|unsafe_action_id/);
-    assert.throws(()=>unsafeRuntime.issueOperation(taskId, {
-            ...base,
-            actionId: 'eyJhbGciOiJIUzI1NiJ9.eyJzdWIiOiIxIn0.signature'
-        }), /invalid_action|unsafe_action_id/);
+    unsafeRuntime.startTask({ schemaVersion: 'booking.surface', kind: 'user.turn', taskId, turnId: 'unsafe-anchor-turn', workspace, request: { text: 'opaque' } });
+    assert.throws(() => unsafeRuntime.issueOperation(taskId, { ...base, reason: 'raw prose marker@example.invalid' }), /invalid_action|unsafe/, 'email prose is rejected before an operation is issued');
+    assert.throws(() => unsafeRuntime.issueOperation(taskId, { ...base, factRefs: ['attacker@example.invalid'] }), /invalid_action|unsafe_fact_ref/);
+    assert.throws(() => unsafeRuntime.issueOperation(taskId, { ...base, actionId: 'attacker@example.invalid' }), /invalid_action|unsafe_action_id/);
+    assert.throws(() => unsafeRuntime.issueOperation(taskId, { ...base, actionId: 'eyJhbGciOiJIUzI1NiJ9.eyJzdWIiOiIxIn0.signature' }), /invalid_action|unsafe_action_id/);
     assert.equal(unsafeLedger.countEvents(), 2);
     unsafeLedger.close();
-    rmSync(unsafeRoot, {
-        recursive: true,
-        force: true
-    });
-    for (const field of [
-        'actionId',
-        'factRefs',
-        'expectedRevision'
-    ]){
+    rmSync(unsafeRoot, { recursive: true, force: true });
+    for (const field of ['actionId', 'factRefs', 'expectedRevision']) {
         const tamperRoot = mkdtempSync(join(tmpdir(), `gotry-operation-tamper-${field}-`));
         const tamperLedger = ensureLedger(tamperRoot);
         const tamperRuntime = new BookingCopilotTaskRuntime(tamperLedger);
-        tamperRuntime.startTask({
-            schemaVersion: 'booking.surface',
-            kind: 'user.turn',
-            taskId,
-            turnId: 'tamper-anchor-turn',
-            workspace,
-            request: {
-                text: 'opaque'
-            }
-        });
+        tamperRuntime.startTask({ schemaVersion: 'booking.surface', kind: 'user.turn', taskId, turnId: 'tamper-anchor-turn', workspace, request: { text: 'opaque' } });
         tamperRuntime.issueOperation(taskId, base);
         const row = tamperLedger.db.prepare("SELECT seq, payload FROM events WHERE kind = 'booking.copilot.action.issued'").get();
         const payload = JSON.parse(row.payload);
-        payload.action[field] = field === 'factRefs' ? [
-            'tampered'
-        ] : field === 'expectedRevision' ? 99 : 'tampered-action';
+        payload.action[field] = field === 'factRefs' ? ['tampered'] : field === 'expectedRevision' ? 99 : 'tampered-action';
         tamperLedger.db.prepare('UPDATE events SET payload = ? WHERE seq = ?').run(JSON.stringify(payload), row.seq);
-        assert.throws(()=>new BookingCopilotTaskRuntime(tamperLedger).resumeTask(taskId), /ledger_corrupt/);
+        assert.throws(() => new BookingCopilotTaskRuntime(tamperLedger).resumeTask(taskId), /ledger_corrupt/);
         tamperLedger.close();
-        rmSync(tamperRoot, {
-            recursive: true,
-            force: true
-        });
+        rmSync(tamperRoot, { recursive: true, force: true });
     }
     console.log('BOOKING COPILOT OPERATION LEDGER CONCURRENCY PROOF: 20 rounds atomic');
 }
-
-
-//# sourceURL=ts/scripts/booking-copilot-operation-ledger-concurrency-proof-tests.ts