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

package/dist/scripts/booking-copilot-availability-ledger-binding-tests.js

@@ -4,181 +4,38 @@ import { tmpdir } from 'node:os';
 import { join } from 'node:path';
 import { ensureLedger } from '../src/state-ledger.js';
 import { BookingCopilotTaskRuntime, bookingDigest } from '../src/booking-surface/runtime.js';
-const workspace = (revision)=>({
-        schemaVersion: 'booking.surface',
-        contextRef: 'ctx-ledger-binding',
-        surface: 'tenant',
-        revision,
-        locale: 'en-US',
-        currency: 'AED',
-        searchDraft: {},
-        results: {
-            status: 'idle'
-        },
-        visibleHotels: [
-            {
-                hotelRef: 'h1',
-                name: 'H1',
-                factRefs: []
-            },
-            {
-                hotelRef: 'h2',
-                name: 'H2',
-                factRefs: []
-            }
-        ],
-        loadedOffers: [
-            {
-                offerRef: 'o1',
-                offerVersionRef: 'o1:v1',
-                hotelRef: 'h1',
-                evidenceLevel: 'rate_loaded',
-                factRefs: []
-            },
-            {
-                offerRef: 'o2',
-                offerVersionRef: 'o2:v1',
-                hotelRef: 'h2',
-                evidenceLevel: 'rate_loaded',
-                factRefs: []
-            }
-        ],
-        shortlistedOfferRefs: [
-            'o1',
-            'o2'
-        ],
-        capabilities: {
-            surface: 'tenant',
-            allowedActions: [
-                'offers.query',
-                'offer.check'
-            ]
-        }
-    });
-const offersReceipt = (actionId, revision)=>({
-        schemaVersion: 'booking.surface',
-        kind: 'action.receipt',
-        actionId,
-        contextRef: 'ctx-ledger-binding',
-        status: 'applied',
-        revision,
-        observation: {
-            kind: 'offers.state',
-            hotelRefs: [
-                'h1'
-            ],
-            offerRefs: [
-                'o1'
-            ],
-            loadedHotelCount: 1
-        },
-        resultContract: {
-            outcome: 'complete',
-            hardCriteriaMet: true,
-            factRefs: [],
-            gapCodes: [],
-            blockers: [],
-            relaxationsApplied: []
-        }
-    });
-const checkReceipt = (actionId, revision)=>({
-        schemaVersion: 'booking.surface',
-        kind: 'action.receipt',
-        actionId,
-        contextRef: 'ctx-ledger-binding',
-        status: 'unavailable',
-        revision,
-        observation: {
-            kind: 'offer.availability',
-            offerRef: 'o1',
-            checkedOfferVersionRef: 'o1:v1',
-            available: false,
-            changedFactRefs: [],
-            gapCodes: []
-        },
-        resultContract: {
-            outcome: 'empty',
-            hardCriteriaMet: false,
-            factRefs: [],
-            gapCodes: [],
-            blockers: [],
-            relaxationsApplied: []
-        }
-    });
+const workspace = (revision) => ({
+    schemaVersion: 'booking.surface', contextRef: 'ctx-ledger-binding', surface: 'tenant', revision,
+    locale: 'en-US', currency: 'AED', searchDraft: {}, results: { status: 'idle' },
+    visibleHotels: [{ hotelRef: 'h1', name: 'H1', factRefs: [] }, { hotelRef: 'h2', name: 'H2', factRefs: [] }],
+    loadedOffers: [{ offerRef: 'o1', offerVersionRef: 'o1:v1', hotelRef: 'h1', evidenceLevel: 'rate_loaded', factRefs: [] }, { offerRef: 'o2', offerVersionRef: 'o2:v1', hotelRef: 'h2', evidenceLevel: 'rate_loaded', factRefs: [] }],
+    shortlistedOfferRefs: ['o1', 'o2'], capabilities: { surface: 'tenant', allowedActions: ['offers.query', 'offer.check'] },
+});
+const offersReceipt = (actionId, revision) => ({
+    schemaVersion: 'booking.surface', kind: 'action.receipt', actionId, contextRef: 'ctx-ledger-binding', status: 'applied', revision,
+    observation: { kind: 'offers.state', hotelRefs: ['h1'], offerRefs: ['o1'], loadedHotelCount: 1 },
+    resultContract: { outcome: 'complete', hardCriteriaMet: true, factRefs: [], gapCodes: [], blockers: [], relaxationsApplied: [] },
+});
+const checkReceipt = (actionId, revision) => ({
+    schemaVersion: 'booking.surface', kind: 'action.receipt', actionId, contextRef: 'ctx-ledger-binding', status: 'unavailable', revision,
+    observation: { kind: 'offer.availability', offerRef: 'o1', checkedOfferVersionRef: 'o1:v1', available: false, changedFactRefs: [], gapCodes: [] },
+    resultContract: { outcome: 'empty', hardCriteriaMet: false, factRefs: [], gapCodes: [], blockers: [], relaxationsApplied: [] },
+});
 function fixture(stage) {
     const root = mkdtempSync(join(tmpdir(), 'gotry-availability-ledger-binding-'));
     const ledger = ensureLedger(root);
-    const runtime = new BookingCopilotTaskRuntime(ledger, {
-        contextRefFactory: ()=>'ctx-ledger-binding'
-    });
+    const runtime = new BookingCopilotTaskRuntime(ledger, { contextRefFactory: () => 'ctx-ledger-binding' });
     const task = 'ledger-binding-task';
-    runtime.startTask({
-        schemaVersion: 'booking.surface',
-        kind: 'user.turn',
-        taskId: task,
-        turnId: 'turn-1',
-        workspace: workspace(0),
-        request: {
-            text: 'find rates'
-        }
-    });
-    const query = {
-        schemaVersion: 'booking.surface',
-        kind: 'offers.query',
-        actionId: 'query-1',
-        contextRef: 'ctx-ledger-binding',
-        expectedRevision: 0,
-        reason: 'load offers',
-        factRefs: [],
-        input: {
-            hotelRefs: [
-                'h1'
-            ],
-            criteria: {}
-        }
-    };
+    runtime.startTask({ schemaVersion: 'booking.surface', kind: 'user.turn', taskId: task, turnId: 'turn-1', workspace: workspace(0), request: { text: 'find rates' } });
+    const query = { schemaVersion: 'booking.surface', kind: 'offers.query', actionId: 'query-1', contextRef: 'ctx-ledger-binding', expectedRevision: 0, reason: 'load offers', factRefs: [], input: { hotelRefs: ['h1'], criteria: {} } };
     runtime.issueOperation(task, query);
-    runtime.continueWithReceipt({
-        schemaVersion: 'booking.surface',
-        kind: 'action.receipt.continuation',
-        taskId: task,
-        workspace: workspace(1),
-        receipt: offersReceipt('query-1', 1)
-    });
-    const check = {
-        schemaVersion: 'booking.surface',
-        kind: 'offer.check',
-        actionId: 'check-1',
-        contextRef: 'ctx-ledger-binding',
-        expectedRevision: 1,
-        reason: 'check',
-        factRefs: [],
-        input: {
-            offerRef: 'o1',
-            offerVersionRef: 'o1:v1'
-        }
-    };
+    runtime.continueWithReceipt({ schemaVersion: 'booking.surface', kind: 'action.receipt.continuation', taskId: task, workspace: workspace(1), receipt: offersReceipt('query-1', 1) });
+    const check = { schemaVersion: 'booking.surface', kind: 'offer.check', actionId: 'check-1', contextRef: 'ctx-ledger-binding', expectedRevision: 1, reason: 'check', factRefs: [], input: { offerRef: 'o1', offerVersionRef: 'o1:v1' } };
     runtime.issueOperation(task, check);
-    if (stage === 'receipt') runtime.continueWithReceipt({
-        schemaVersion: 'booking.surface',
-        kind: 'action.receipt.continuation',
-        taskId: task,
-        workspace: {
-            ...workspace(2),
-            shortlistedOfferRefs: [
-                'o2'
-            ],
-            selectedOfferRef: undefined,
-            verifiedOffer: undefined
-        },
-        receipt: checkReceipt('check-1', 2)
-    });
+    if (stage === 'receipt')
+        runtime.continueWithReceipt({ schemaVersion: 'booking.surface', kind: 'action.receipt.continuation', taskId: task, workspace: { ...workspace(2), shortlistedOfferRefs: ['o2'], selectedOfferRef: undefined, verifiedOffer: undefined }, receipt: checkReceipt('check-1', 2) });
     ledger.close();
-    return {
-        root,
-        ledger,
-        task
-    };
+    return { root, ledger, task };
 }
 function rewrite(root, kind, mutate) {
     const ledger = ensureLedger(root);
@@ -191,145 +48,75 @@ function rewrite(root, kind, mutate) {
 }
 function assertCorrupt(root, label) {
     const ledger = ensureLedger(root);
-    const runtime = new BookingCopilotTaskRuntime(ledger, {
-        contextRefFactory: ()=>'ctx-ledger-binding'
-    });
-    assert.throws(()=>runtime.resumeTask('ledger-binding-task'), /ledger_corrupt:ledger-binding-task/, label);
+    const runtime = new BookingCopilotTaskRuntime(ledger, { contextRefFactory: () => 'ctx-ledger-binding' });
+    assert.throws(() => runtime.resumeTask('ledger-binding-task'), /ledger_corrupt:ledger-binding-task/, label);
     ledger.close();
 }
+// The untouched durable sequence is replayable after reopening the ledger.
 {
     const fixtureState = fixture('action');
     const ledger = ensureLedger(fixtureState.root);
-    assert.doesNotThrow(()=>new BookingCopilotTaskRuntime(ledger).resumeTask(fixtureState.task));
+    assert.doesNotThrow(() => new BookingCopilotTaskRuntime(ledger).resumeTask(fixtureState.task));
     ledger.close();
-    rmSync(fixtureState.root, {
-        recursive: true,
-        force: true
-    });
-}for (const [label, mutate] of [
-    [
-        'candidate digest',
-        (payload)=>{
-            payload.availability.candidateSetDigest = 'f'.repeat(64);
-            payload.availabilityDigest = bookingDigest(payload.availability);
-        }
-    ],
-    [
-        'offer set digest',
-        (payload)=>{
-            payload.availability.hotels.h1.currentGeneration.offerSetDigest = 'e'.repeat(64);
-            payload.availabilityDigest = bookingDigest(payload.availability);
-        }
-    ],
-    [
-        'source receipt digest',
-        (payload)=>{
-            payload.availability.hotels.h1.currentGeneration.source.receiptDigest = 'd'.repeat(64);
-            payload.availabilityDigest = bookingDigest(payload.availability);
-        }
-    ],
-    [
-        'active ordinal',
-        (payload)=>{
-            payload.availability.activeHotelOrdinal = 1;
-            payload.availabilityDigest = bookingDigest(payload.availability);
-        }
-    ],
-    [
-        'fake terminal',
-        (payload)=>{
-            payload.availability.terminal = {
-                code: 'availability_confirmed',
-                hotelRefs: [
-                    'h1',
-                    'h2'
-                ],
-                reason: 'confirmed',
-                evidence: 'conclusive'
-            };
-            payload.availability.availabilityPhase = 'terminal';
-            payload.availabilityDigest = bookingDigest(payload.availability);
-        }
-    ]
-]){
+    rmSync(fixtureState.root, { recursive: true, force: true });
+}
+for (const [label, mutate] of [
+    ['candidate digest', (payload) => { payload.availability.candidateSetDigest = 'f'.repeat(64); payload.availabilityDigest = bookingDigest(payload.availability); }],
+    ['offer set digest', (payload) => { payload.availability.hotels.h1.currentGeneration.offerSetDigest = 'e'.repeat(64); payload.availabilityDigest = bookingDigest(payload.availability); }],
+    ['source receipt digest', (payload) => { payload.availability.hotels.h1.currentGeneration.source.receiptDigest = 'd'.repeat(64); payload.availabilityDigest = bookingDigest(payload.availability); }],
+    ['active ordinal', (payload) => { payload.availability.activeHotelOrdinal = 1; payload.availabilityDigest = bookingDigest(payload.availability); }],
+    ['fake terminal', (payload) => { payload.availability.terminal = { code: 'availability_confirmed', hotelRefs: ['h1', 'h2'], reason: 'confirmed', evidence: 'conclusive' }; payload.availability.availabilityPhase = 'terminal'; payload.availabilityDigest = bookingDigest(payload.availability); }],
+]) {
     const fixtureState = fixture('action');
     rewrite(fixtureState.root, 'booking.copilot.action.issued', mutate);
     assertCorrupt(fixtureState.root, label);
-    rmSync(fixtureState.root, {
-        recursive: true,
-        force: true
-    });
+    rmSync(fixtureState.root, { recursive: true, force: true });
 }
+// A digest mismatch must be rejected before any legacy/normalized availability
+// migration can make the payload appear coherent.
 {
     const fixtureState = fixture('action');
-    rewrite(fixtureState.root, 'booking.copilot.action.issued', (payload)=>{
-        payload.availability.activeHotelOrdinal = 1;
-    });
+    rewrite(fixtureState.root, 'booking.copilot.action.issued', (payload) => { payload.availability.activeHotelOrdinal = 1; });
     assertCorrupt(fixtureState.root, 'raw ACTION availability digest mismatch');
-    rmSync(fixtureState.root, {
-        recursive: true,
-        force: true
-    });
-}{
+    rmSync(fixtureState.root, { recursive: true, force: true });
+}
+{
     const fixtureState = fixture('receipt');
-    rewrite(fixtureState.root, 'booking.copilot.receipt.observed', (payload)=>{
-        payload.availability.activeHotelOrdinal = 1;
-    });
+    rewrite(fixtureState.root, 'booking.copilot.receipt.observed', (payload) => { payload.availability.activeHotelOrdinal = 1; });
     assertCorrupt(fixtureState.root, 'raw RECEIPT availability digest mismatch');
-    rmSync(fixtureState.root, {
-        recursive: true,
-        force: true
-    });
-}{
+    rmSync(fixtureState.root, { recursive: true, force: true });
+}
+// A forged action can be structurally valid and re-digested, but cannot change
+// the transition that the prior state and workspace authorize.
+{
     const fixtureState = fixture('action');
-    rewrite(fixtureState.root, 'booking.copilot.action.issued', (payload)=>{
+    rewrite(fixtureState.root, 'booking.copilot.action.issued', (payload) => {
         payload.action.input.offerRef = 'o2';
         const { actionDigest: _ignored, ...base } = payload.action;
         payload.action.actionDigest = bookingDigest(base);
     });
     assertCorrupt(fixtureState.root, 'wrong action transition');
-    rmSync(fixtureState.root, {
-        recursive: true,
-        force: true
-    });
-}{
+    rmSync(fixtureState.root, { recursive: true, force: true });
+}
+// The receipt shape and canonical receipt digest can both be valid while the
+// availability transition is forged; replay must still derive the mismatch.
+{
     const fixtureState = fixture('receipt');
     const runtimeLedger = ensureLedger(fixtureState.root);
     const runtime = new BookingCopilotTaskRuntime(runtimeLedger);
     assert.deepEqual(runtime.resumeTask(fixtureState.task)?.availability.criteria, {}, 'recovery retains the canonical offer criteria after restart');
-    const wrongDetour = {
-        schemaVersion: 'booking.surface',
-        kind: 'search.run',
-        actionId: 'detour',
-        contextRef: 'ctx-ledger-binding',
-        expectedRevision: 2,
-        reason: 'detour',
-        factRefs: [],
-        input: {}
-    };
-    assert.throws(()=>runtime.applyDecisionBatch(fixtureState.task, 'detour-batch', [
-            {
-                kind: 'operation',
-                action: wrongDetour
-            }
-        ]), /availability_operation_incompatible/);
+    const wrongDetour = { schemaVersion: 'booking.surface', kind: 'search.run', actionId: 'detour', contextRef: 'ctx-ledger-binding', expectedRevision: 2, reason: 'detour', factRefs: [], input: {} };
+    assert.throws(() => runtime.applyDecisionBatch(fixtureState.task, 'detour-batch', [{ kind: 'operation', action: wrongDetour }]), /availability_operation_incompatible/);
     runtimeLedger.close();
-    rmSync(fixtureState.root, {
-        recursive: true,
-        force: true
-    });
-}{
+    rmSync(fixtureState.root, { recursive: true, force: true });
+}
+{
     const fixtureState = fixture('receipt');
-    rewrite(fixtureState.root, 'booking.copilot.receipt.observed', (payload)=>{
+    rewrite(fixtureState.root, 'booking.copilot.receipt.observed', (payload) => {
         payload.receipt.status = 'applied';
         payload.receiptDigest = bookingDigest(payload.receipt);
     });
     assertCorrupt(fixtureState.root, 'wrong receipt transition');
-    rmSync(fixtureState.root, {
-        recursive: true,
-        force: true
-    });
-}console.log('BOOKING COPILOT AVAILABILITY LEDGER BINDING: exact replay and candidate/generation/source/ordinal/terminal/action/receipt tamper rejection OK');
-
-
-//# sourceURL=ts/scripts/booking-copilot-availability-ledger-binding-tests.ts
+    rmSync(fixtureState.root, { recursive: true, force: true });
+}
+console.log('BOOKING COPILOT AVAILABILITY LEDGER BINDING: exact replay and candidate/generation/source/ordinal/terminal/action/receipt tamper rejection OK');