@devflow-tools/retrieval-engine 0.18.0

package/dist/__tests__/support.js

@@ -0,0 +1,106 @@
+import { createSemanticFacts, stableRuntimeHash, } from '@devflow-tools/sdk';
+export function executionContext() {
+    const identity = {
+        projectRoot: '/project', projectId: 'project:1', hostId: 'test', sessionId: 'session:1',
+        turnId: 'turn:1', requestId: 'request:1', executionId: 'execution:1',
+    };
+    const sourceHash = 'a'.repeat(64);
+    const facts = createSemanticFacts({
+        sourceHash, intents: ['understand'], actions: ['analyze'], entities: [], targets: [],
+        constraints: [], prohibitions: [], conditions: [], memoryDirective: 'none', knowledgeNeeds: [],
+        confidence: { overall: 1 }, evidence: [], conflicts: [],
+    });
+    const original = (query) => ({
+        kind: 'original', query, queryHash: stableRuntimeHash({ query, sourceHash }), sourceHash,
+        producerId: 'task-source-query', producerVersion: '1', sourceClaimIds: [],
+    });
+    const dispositions = [
+        { channel: 'code', requirement: 'required', reasonCode: 'test', evidenceIds: [] },
+        { channel: 'memory', requirement: 'optional', reasonCode: 'test', evidenceIds: [] },
+        { channel: 'knowledge', requirement: 'optional', reasonCode: 'test', evidenceIds: [] },
+    ];
+    const authorityBody = {
+        mutation: 'not_requested', targetAnchors: [], conditionEvidenceIds: [],
+        authorityEvidenceIds: [], reasonCode: 'mutation_not_requested',
+    };
+    return {
+        schemaVersion: 'semantic-execution-context', identity, facts, dispositions,
+        actionAuthority: { ...authorityBody, authorityHash: stableRuntimeHash(authorityBody) },
+        plan: {
+            identity, sourceFactsHash: facts.factsHash,
+            code: {
+                ...dispositions[0], original: original('code'), additions: [],
+                typedQuery: { query: 'code', targetAnchors: [], symbols: [], relationKinds: ['dependency'], maxDepth: 1 },
+            },
+            memory: {
+                ...dispositions[1], original: original('code'), additions: [],
+                typedQuery: { query: 'code', scopes: ['project', 'session'], entities: [], facets: [], requireVerifiedEvidence: true },
+            },
+            knowledge: {
+                ...dispositions[2], original: original('code'), additions: [],
+                typedQuery: { query: 'code', kind: 'overview' },
+            },
+            queryProposalIds: [], generatedBy: 'deterministic', planHash: 'plan:1', createdAt: 1,
+        },
+        taskDefinitionHash: 'definition:1', activationSnapshotHash: 'activation:1',
+        embeddingProfiles: { code_retrieval: 'profile:code' },
+        scopeBindings: {
+            project: { kind: 'project', id: 'project:1' },
+            session: { kind: 'session', id: 'session:1' },
+        },
+        mode: 'authoritative', contextHash: 'context:1', createdAt: 1,
+    };
+}
+export function candidate(ref, overrides = {}) {
+    return {
+        stableRef: ref, channel: 'code', strength: 'supporting', rank: 1,
+        evidence: { ref, sourceId: ref, producer: 'test', producerVersion: '1', parentRefs: [] },
+        payload: {}, contributingLegs: [{ leg: 'code:bm25', rank: 1 }],
+        eligibility: {
+            scope: { kind: 'project', id: 'project:1' }, permission: 'allowed', sourceReady: true,
+        }, estimatedTokens: 1, ...overrides,
+    };
+}
+export function producerResult(input) {
+    const context = input.context ?? executionContext();
+    const availability = input.availability ?? 'available';
+    const channel = input.channel ?? 'code';
+    const gaps = input.gaps ?? [];
+    const rawCandidateCount = input.rawCandidateCount ?? input.candidates?.length ?? 0;
+    const successfulStatus = rawCandidateCount > 0 ? 'ready' : 'empty_valid';
+    const failedStatus = availability === 'unavailable' ? 'unavailable' : successfulStatus;
+    const vectorRequired = Boolean(input.request.filters.embeddingProfileHash);
+    const producerLegs = [
+        {
+            schemaVersion: 'evidence-producer-leg-receipt.v1',
+            legId: `${input.request.signatureHash}:lexical`, parentReceiptIds: [input.request.receiptId],
+            kind: 'lexical', required: true,
+            status: failedStatus, candidateCount: rawCandidateCount,
+            ...(availability === 'unavailable' ? { reasonCode: gaps[0]?.reason ?? 'unavailable' } : {}),
+        },
+        {
+            schemaVersion: 'evidence-producer-leg-receipt.v1',
+            legId: `${input.request.signatureHash}:vector`, parentReceiptIds: [input.request.receiptId],
+            kind: 'vector', required: vectorRequired,
+            status: vectorRequired ? failedStatus : 'unavailable',
+            candidateCount: 0,
+            ...(!vectorRequired || availability === 'unavailable'
+                ? { reasonCode: availability === 'unavailable' ? gaps[0]?.reason ?? 'unavailable' : 'profile_not_bound' }
+                : {}),
+        },
+    ];
+    const body = {
+        schemaVersion: 'evidence-receipt.v1',
+        receiptId: `${channel}:receipt`, taskContextHash: context.contextHash, channel, availability,
+        parentReceiptIds: [input.request.receiptId],
+        factsHash: context.facts.factsHash, planHash: context.plan.planHash,
+        activationSnapshotHash: context.activationSnapshotHash,
+        selectedRefs: [], rejectedRefs: [], gaps, legId: input.request.signatureHash,
+        producerLegs, createdAt: 2,
+    };
+    return {
+        availability, candidates: input.candidates ?? [], gaps,
+        receipt: { ...body, receiptHash: stableRuntimeHash(body) },
+    };
+}
+//# sourceMappingURL=support.js.map

package/dist/__tests__/support.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"support.js","sourceRoot":"","sources":["../../src/__tests__/support.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,mBAAmB,EACnB,iBAAiB,GAQlB,MAAM,oBAAoB,CAAC;AAE5B,MAAM,UAAU,gBAAgB;IAC9B,MAAM,QAAQ,GAAG;QACf,WAAW,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,WAAW;QACvF,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,WAAW,EAAE,WAAW,EAAE,aAAa;KACrE,CAAC;IACF,MAAM,UAAU,GAAG,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAClC,MAAM,KAAK,GAAG,mBAAmB,CAAC;QAChC,UAAU,EAAE,OAAO,EAAE,CAAC,YAAY,CAAC,EAAE,OAAO,EAAE,CAAC,SAAS,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE;QACpF,WAAW,EAAE,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,eAAe,EAAE,MAAM,EAAE,cAAc,EAAE,EAAE;QAC9F,UAAU,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE;KACxD,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,CAAC,KAAa,EAAyB,EAAE,CAAC,CAAC;QAC1D,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,SAAS,EAAE,iBAAiB,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,EAAE,UAAU;QACxF,UAAU,EAAE,mBAAmB,EAAE,eAAe,EAAE,GAAG,EAAE,cAAc,EAAE,EAAE;KAC1E,CAAC,CAAC;IACH,MAAM,YAAY,GAAG;QACnB,EAAE,OAAO,EAAE,MAAe,EAAE,WAAW,EAAE,UAAmB,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,EAAE,EAAE;QACnG,EAAE,OAAO,EAAE,QAAiB,EAAE,WAAW,EAAE,UAAmB,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,EAAE,EAAE;QACrG,EAAE,OAAO,EAAE,WAAoB,EAAE,WAAW,EAAE,UAAmB,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,EAAE,EAAE;KACzG,CAAC;IACF,MAAM,aAAa,GAAG;QACpB,QAAQ,EAAE,eAAwB,EAAE,aAAa,EAAE,EAAE,EAAE,oBAAoB,EAAE,EAAE;QAC/E,oBAAoB,EAAE,EAAE,EAAE,UAAU,EAAE,wBAAwB;KAC/D,CAAC;IACF,OAAO;QACL,aAAa,EAAE,4BAA4B,EAAE,QAAQ,EAAE,KAAK,EAAE,YAAY;QAC1E,eAAe,EAAE,EAAE,GAAG,aAAa,EAAE,aAAa,EAAE,iBAAiB,CAAC,aAAa,CAAC,EAAE;QACtF,IAAI,EAAE;YACJ,QAAQ,EAAE,eAAe,EAAE,KAAK,CAAC,SAAS;YAC1C,IAAI,EAAE;gBACJ,GAAG,YAAY,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,EAAE;gBAC7D,UAAU,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,aAAa,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,aAAa,EAAE,CAAC,YAAY,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE;aAC1G;YACD,MAAM,EAAE;gBACN,GAAG,YAAY,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,EAAE;gBAC7D,UAAU,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,uBAAuB,EAAE,IAAI,EAAE;aACvH;YACD,SAAS,EAAE;gBACT,GAAG,YAAY,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,EAAE;gBAC7D,UAAU,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE;aAChD;YACD,gBAAgB,EAAE,EAAE,EAAE,WAAW,EAAE,eAAe,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC;SACrF;QACD,kBAAkB,EAAE,cAAc,EAAE,sBAAsB,EAAE,cAAc;QAC1E,iBAAiB,EAAE,EAAE,cAAc,EAAE,cAAc,EAAE;QACrD,aAAa,EAAE;YACb,OAAO,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,WAAW,EAAE;YAC7C,OAAO,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,WAAW,EAAE;SAC9C;QACD,IAAI,EAAE,eAAe,EAAE,WAAW,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC;KAC9D,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,GAAW,EAAE,YAA0C,EAAE;IACjF,OAAO;QACL,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC;QAChE,QAAQ,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE,QAAQ,EAAE,MAAM,EAAE,eAAe,EAAE,GAAG,EAAE,UAAU,EAAE,EAAE,EAAE;QACxF,OAAO,EAAE,EAAE,EAAE,gBAAgB,EAAE,CAAC,EAAE,GAAG,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;QAC9D,WAAW,EAAE;YACX,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,IAAI;SACtF,EAAE,eAAe,EAAE,CAAC,EAAE,GAAG,SAAS;KACpC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,KAQ9B;IACC,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,IAAI,gBAAgB,EAAE,CAAC;IACpD,MAAM,YAAY,GAAG,KAAK,CAAC,YAAY,IAAI,WAAW,CAAC;IACvD,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,IAAI,MAAM,CAAC;IACxC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,IAAI,EAAE,CAAC;IAC9B,MAAM,iBAAiB,GAAG,KAAK,CAAC,iBAAiB,IAAI,KAAK,CAAC,UAAU,EAAE,MAAM,IAAI,CAAC,CAAC;IACnF,MAAM,gBAAgB,GAAG,iBAAiB,GAAG,CAAC,CAAC,CAAC,CAAC,OAAgB,CAAC,CAAC,CAAC,aAAsB,CAAC;IAC3F,MAAM,YAAY,GAAG,YAAY,KAAK,aAAa,CAAC,CAAC,CAAC,aAAsB,CAAC,CAAC,CAAC,gBAAgB,CAAC;IAChG,MAAM,cAAc,GAAG,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC;IAC3E,MAAM,YAAY,GAAG;QACnB;YACE,aAAa,EAAE,kCAA2C;YAC1D,KAAK,EAAE,GAAG,KAAK,CAAC,OAAO,CAAC,aAAa,UAAU,EAAE,gBAAgB,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC;YAC5F,IAAI,EAAE,SAAkB,EAAE,QAAQ,EAAE,IAAI;YACxC,MAAM,EAAE,YAAY,EAAE,cAAc,EAAE,iBAAiB;YACvD,GAAG,CAAC,YAAY,KAAK,aAAa,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,IAAI,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC5F;QACD;YACE,aAAa,EAAE,kCAA2C;YAC1D,KAAK,EAAE,GAAG,KAAK,CAAC,OAAO,CAAC,aAAa,SAAS,EAAE,gBAAgB,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC;YAC3F,IAAI,EAAE,QAAiB,EAAE,QAAQ,EAAE,cAAc;YACjD,MAAM,EAAE,cAAc,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,aAAsB;YAC9D,cAAc,EAAE,CAAC;YACjB,GAAG,CAAC,CAAC,cAAc,IAAI,YAAY,KAAK,aAAa;gBACnD,CAAC,CAAC,EAAE,UAAU,EAAE,YAAY,KAAK,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,IAAI,aAAa,CAAC,CAAC,CAAC,mBAAmB,EAAE;gBACzG,CAAC,CAAC,EAAE,CAAC;SACR;KACF,CAAC;IACF,MAAM,IAAI,GAAG;QACX,aAAa,EAAE,qBAA8B;QAC7C,SAAS,EAAE,GAAG,OAAO,UAAU,EAAE,eAAe,EAAE,OAAO,CAAC,WAAW,EAAE,OAAO,EAAE,YAAY;QAC5F,gBAAgB,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC;QAC3C,SAAS,EAAE,OAAO,CAAC,KAAK,CAAC,SAAS,EAAE,QAAQ,EAAE,OAAO,CAAC,IAAI,CAAC,QAAQ;QACnE,sBAAsB,EAAE,OAAO,CAAC,sBAAsB;QACtD,YAAY,EAAE,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,aAAa;QAC5E,YAAY,EAAE,SAAS,EAAE,CAAC;KAC3B,CAAC;IACF,OAAO;QACL,YAAY,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,IAAI,EAAE,EAAE,IAAI;QACtD,OAAO,EAAE,EAAE,GAAG,IAAI,EAAE,WAAW,EAAE,iBAAiB,CAAC,IAAI,CAAC,EAAE;KAC3D,CAAC;AACJ,CAAC"}

package/dist/__tests__/task-kernel-adapter.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=task-kernel-adapter.test.d.ts.map

package/dist/__tests__/task-kernel-adapter.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"task-kernel-adapter.test.d.ts","sourceRoot":"","sources":["../../src/__tests__/task-kernel-adapter.test.ts"],"names":[],"mappings":""}

package/dist/__tests__/task-kernel-adapter.test.js

@@ -0,0 +1,56 @@
+import { describe, expect, it, vi } from 'vitest';
+import { RetrievalTaskKernelAdapter } from '../task-kernel-adapter.js';
+const identity = {
+    projectRoot: '/project', projectId: 'project:1', hostId: 'test', sessionId: 'session:1',
+    turnId: 'turn:1', requestId: 'request:1', executionId: 'execution:1',
+};
+const definition = {
+    schemaVersion: 'task-definition.v1', identity, revision: 1, semanticContextHash: 'context:1',
+    policyHash: 'policy:1', requirements: {
+        code: 'required', memory: 'optional', knowledge: 'prohibited',
+        action: 'not_required', verification: 'not_required',
+    }, artifactIdentityIds: [], budgets: {
+        hookDeadlineMs: 1, contextTokens: 1, responseReserveTokens: 1, perChannelMs: {},
+    }, sourceEvidenceIds: [], definitionHash: 'definition:1',
+};
+describe('RetrievalTaskKernelAdapter', () => {
+    it('attaches cycle and terminal per-channel sufficiency receipts idempotently', () => {
+        const dispatch = vi.fn();
+        const adapter = new RetrievalTaskKernelAdapter({ dispatch }, definition);
+        const cycle = {
+            schemaVersion: 'retrieval-cycle-receipt.v1', sessionId: 'retrieval:1', cycle: 1,
+            requestSignatures: [], legs: [], selectedRefs: ['code:1'], rejectedRefs: [], gaps: [], tokenCost: 1,
+            stableRefGain: 1, noGainCount: 0, sufficiency: 'sufficient', evidenceHash: 'evidence:1',
+            executionStatus: 'executed',
+            compositeReceipt: {
+                schemaVersion: 'evidence-receipt.v1', parentReceiptIds: [],
+                receiptId: 'receipt:1', receiptHash: 'hash:1', taskContextHash: 'context:1',
+                channel: 'composite', availability: 'available', selectedRefs: ['code:1'], rejectedRefs: [],
+                gaps: [], createdAt: 1, channelAvailability: { code: 'available', memory: 'empty_valid' },
+                selectedRefsByChannel: { code: ['code:1'], memory: [], knowledge: [] },
+                selectedEvidence: [{
+                        stableRef: 'code:1', channel: 'code', strength: 'strong', rank: 1,
+                        evidence: { ref: 'code:1', sourceId: 'code:1', producer: 'test', producerVersion: '1', parentRefs: [] },
+                        payload: {}, contributingLegs: [{ leg: 'code:target', rank: 1 }],
+                        eligibility: { scope: { kind: 'project', id: 'project:1' }, permission: 'allowed', sourceReady: true },
+                    }],
+            },
+            createdAt: 1, receiptHash: 'cycle:hash',
+        };
+        adapter.cycleCompleted({ identity, taskRevision: 1, cycle, terminal: true });
+        expect(dispatch).toHaveBeenCalledTimes(2);
+        expect(dispatch.mock.calls[0][0]).toMatchObject({
+            kind: 'retrieval_cycle_completed', idempotencyKey: 'retrieval-cycle:retrieval:1:1',
+        });
+        expect(dispatch.mock.calls[1][0]).toMatchObject({
+            kind: 'retrieval_sufficiency_decided',
+            idempotencyKey: 'retrieval-sufficiency:retrieval:1:1',
+            payload: { channels: {
+                    code: { status: 'satisfied', receiptId: 'receipt:1' },
+                    memory: { status: 'empty_valid', receiptId: 'receipt:1', reasonCode: 'channel_empty_valid' },
+                    knowledge: { status: 'empty_valid', receiptId: 'receipt:1', reasonCode: 'channel_empty_valid' },
+                } },
+        });
+    });
+});
+//# sourceMappingURL=task-kernel-adapter.test.js.map

package/dist/__tests__/task-kernel-adapter.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"task-kernel-adapter.test.js","sourceRoot":"","sources":["../../src/__tests__/task-kernel-adapter.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAGlD,OAAO,EAAE,0BAA0B,EAAE,MAAM,2BAA2B,CAAC;AAEvE,MAAM,QAAQ,GAAG;IACf,WAAW,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,WAAW;IACvF,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,WAAW,EAAE,WAAW,EAAE,aAAa;CACrE,CAAC;AACF,MAAM,UAAU,GAAG;IACjB,aAAa,EAAE,oBAAoB,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,EAAE,mBAAmB,EAAE,WAAW;IAC5F,UAAU,EAAE,UAAU,EAAE,YAAY,EAAE;QACpC,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY;QAC7D,MAAM,EAAE,cAAc,EAAE,YAAY,EAAE,cAAc;KACrD,EAAE,mBAAmB,EAAE,EAAE,EAAE,OAAO,EAAE;QACnC,cAAc,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,qBAAqB,EAAE,CAAC,EAAE,YAAY,EAAE,EAAE;KAChF,EAAE,iBAAiB,EAAE,EAAE,EAAE,cAAc,EAAE,cAAc;CAC9B,CAAC;AAE7B,QAAQ,CAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,EAAE,CAAC,2EAA2E,EAAE,GAAG,EAAE;QACnF,MAAM,QAAQ,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;QACzB,MAAM,OAAO,GAAG,IAAI,0BAA0B,CAAC,EAAE,QAAQ,EAA2B,EAAE,UAAU,CAAC,CAAC;QAClG,MAAM,KAAK,GAAG;YACZ,aAAa,EAAE,4BAA4B,EAAE,SAAS,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC;YAC/E,iBAAiB,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,YAAY,EAAE,CAAC,QAAQ,CAAC,EAAE,YAAY,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,SAAS,EAAE,CAAC;YACnG,aAAa,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,WAAW,EAAE,YAAY,EAAE,YAAY,EAAE,YAAY;YACvF,eAAe,EAAE,UAAU;YAC3B,gBAAgB,EAAE;gBAChB,aAAa,EAAE,qBAAqB,EAAE,gBAAgB,EAAE,EAAE;gBAC1D,SAAS,EAAE,WAAW,EAAE,WAAW,EAAE,QAAQ,EAAE,eAAe,EAAE,WAAW;gBAC3E,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,WAAW,EAAE,YAAY,EAAE,CAAC,QAAQ,CAAC,EAAE,YAAY,EAAE,EAAE;gBAC3F,IAAI,EAAE,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,mBAAmB,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,aAAa,EAAE;gBACzF,qBAAqB,EAAE,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE;gBACtE,gBAAgB,EAAE,CAAC;wBACjB,SAAS,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;wBACjE,QAAQ,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,eAAe,EAAE,GAAG,EAAE,UAAU,EAAE,EAAE,EAAE;wBACvG,OAAO,EAAE,EAAE,EAAE,gBAAgB,EAAE,CAAC,EAAE,GAAG,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;wBAChE,WAAW,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,IAAI,EAAE;qBACvG,CAAC;aACH;YACD,SAAS,EAAE,CAAC,EAAE,WAAW,EAAE,YAAY;SACN,CAAC;QAEpC,OAAO,CAAC,cAAc,CAAC,EAAE,QAAQ,EAAE,YAAY,EAAE,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;QAE7E,MAAM,CAAC,QAAQ,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC;QAC1C,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC;YAC/C,IAAI,EAAE,2BAA2B,EAAE,cAAc,EAAE,+BAA+B;SACnF,CAAC,CAAC;QACH,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC;YAC/C,IAAI,EAAE,+BAA+B;YACrC,cAAc,EAAE,qCAAqC;YACrD,OAAO,EAAE,EAAE,QAAQ,EAAE;oBACnB,IAAI,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE,SAAS,EAAE,WAAW,EAAE;oBACrD,MAAM,EAAE,EAAE,MAAM,EAAE,aAAa,EAAE,SAAS,EAAE,WAAW,EAAE,UAAU,EAAE,qBAAqB,EAAE;oBAC5F,SAAS,EAAE,EAAE,MAAM,EAAE,aAAa,EAAE,SAAS,EAAE,WAAW,EAAE,UAAU,EAAE,qBAAqB,EAAE;iBAChG,EAAE;SACJ,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,8 @@
+export * from './ports.js';
+export * from './rrf.js';
+export * from './retrieval-session.js';
+export * from './sufficiency.js';
+export * from './packing.js';
+export * from './retrieval-coordinator.js';
+export * from './task-kernel-adapter.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAC;AAC3B,cAAc,UAAU,CAAC;AACzB,cAAc,wBAAwB,CAAC;AACvC,cAAc,kBAAkB,CAAC;AACjC,cAAc,cAAc,CAAC;AAC7B,cAAc,4BAA4B,CAAC;AAC3C,cAAc,0BAA0B,CAAC"}

package/dist/index.js

@@ -0,0 +1,8 @@
+export * from './ports.js';
+export * from './rrf.js';
+export * from './retrieval-session.js';
+export * from './sufficiency.js';
+export * from './packing.js';
+export * from './retrieval-coordinator.js';
+export * from './task-kernel-adapter.js';
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAC;AAC3B,cAAc,UAAU,CAAC;AACzB,cAAc,wBAAwB,CAAC;AACvC,cAAc,kBAAkB,CAAC;AACjC,cAAc,cAAc,CAAC;AAC7B,cAAc,4BAA4B,CAAC;AAC3C,cAAc,0BAA0B,CAAC"}

package/dist/packing.d.ts

@@ -0,0 +1,20 @@
+import { type EvidenceCandidateV1, type EvidenceReceiptV1, type SemanticExecutionContext } from '@devflow-tools/sdk';
+import type { FusedEvidenceCandidate } from './rrf.js';
+export declare function packEvidence(input: {
+    context: SemanticExecutionContext;
+    fused: FusedEvidenceCandidate[];
+    rejected: Array<{
+        ref: string;
+        reason: string;
+    }>;
+    gaps: EvidenceReceiptV1['gaps'];
+    tokenBudget: number;
+    coordinatorVersion: string;
+    parentReceiptIds: string[];
+    createdAt: number;
+}): {
+    selected: EvidenceCandidateV1[];
+    tokenCost: number;
+    receipt: EvidenceReceiptV1;
+};
+//# sourceMappingURL=packing.d.ts.map

package/dist/packing.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"packing.d.ts","sourceRoot":"","sources":["../src/packing.ts"],"names":[],"mappings":"AAAA,OAAO,EAAqB,KAAK,mBAAmB,EAAE,KAAK,iBAAiB,EAAE,KAAK,wBAAwB,EAAE,MAAM,oBAAoB,CAAC;AACxI,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,UAAU,CAAC;AAEvD,wBAAgB,YAAY,CAAC,KAAK,EAAE;IAClC,OAAO,EAAE,wBAAwB,CAAC;IAClC,KAAK,EAAE,sBAAsB,EAAE,CAAC;IAChC,QAAQ,EAAE,KAAK,CAAC;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACjD,IAAI,EAAE,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAChC,WAAW,EAAE,MAAM,CAAC;IACpB,kBAAkB,EAAE,MAAM,CAAC;IAC3B,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B,SAAS,EAAE,MAAM,CAAC;CACnB,GAAG;IAAE,QAAQ,EAAE,mBAAmB,EAAE,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,iBAAiB,CAAA;CAAE,CA4CrF"}

package/dist/packing.js

@@ -0,0 +1,48 @@
+import { stableRuntimeHash } from '@devflow-tools/sdk';
+export function packEvidence(input) {
+    const selected = [];
+    let tokenCost = 0;
+    for (const item of input.fused) {
+        const cost = Math.max(1, item.candidate.estimatedTokens ?? 128);
+        if (tokenCost + cost > input.tokenBudget) {
+            input.rejected.push({ ref: item.candidate.stableRef, reason: 'token_budget_exceeded' });
+            continue;
+        }
+        selected.push(item.candidate);
+        tokenCost += cost;
+    }
+    const legs = {};
+    for (const candidate of selected)
+        for (const leg of candidate.contributingLegs) {
+            (legs[leg.leg] ??= []).push({
+                ref: candidate.stableRef,
+                rank: leg.rank,
+                ...(leg.score !== undefined ? { score: leg.score } : {}),
+            });
+        }
+    const parentReceiptIds = [...new Set(input.parentReceiptIds)].sort();
+    const body = {
+        schemaVersion: 'evidence-receipt.v1',
+        receiptId: `evidence:${stableRuntimeHash({ context: input.context.contextHash, refs: selected.map(item => item.stableRef), parentReceiptIds, createdAt: input.createdAt }).slice(0, 32)}`,
+        parentReceiptIds,
+        taskContextHash: input.context.contextHash,
+        channel: 'composite',
+        availability: input.gaps.some(gap => gap.kind === 'unavailable_channel') ? 'unavailable' : 'available',
+        selectedRefs: selected.map(item => item.stableRef),
+        selectedEvidence: selected,
+        selectedRefsByChannel: Object.fromEntries(['code', 'memory', 'knowledge'].map(channel => [
+            channel,
+            selected.filter(item => item.channel === channel).map(item => item.stableRef),
+        ])),
+        rejectedRefs: input.rejected,
+        gaps: input.gaps,
+        contributingLegs: legs,
+        factsHash: input.context.facts.factsHash,
+        planHash: input.context.plan.planHash,
+        activationSnapshotHash: input.context.activationSnapshotHash,
+        coordinatorVersion: input.coordinatorVersion,
+        createdAt: input.createdAt,
+    };
+    return { selected, tokenCost, receipt: { ...body, receiptHash: stableRuntimeHash(body) } };
+}
+//# sourceMappingURL=packing.js.map

package/dist/packing.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"packing.js","sourceRoot":"","sources":["../src/packing.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAmF,MAAM,oBAAoB,CAAC;AAGxI,MAAM,UAAU,YAAY,CAAC,KAS5B;IACC,MAAM,QAAQ,GAA0B,EAAE,CAAC;IAC3C,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,eAAe,IAAI,GAAG,CAAC,CAAC;QAChE,IAAI,SAAS,GAAG,IAAI,GAAG,KAAK,CAAC,WAAW,EAAE,CAAC;YACzC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,SAAS,CAAC,SAAS,EAAE,MAAM,EAAE,uBAAuB,EAAE,CAAC,CAAC;YACxF,SAAS;QACX,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC9B,SAAS,IAAI,IAAI,CAAC;IACpB,CAAC;IACD,MAAM,IAAI,GAAuD,EAAE,CAAC;IACpE,KAAK,MAAM,SAAS,IAAI,QAAQ;QAAE,KAAK,MAAM,GAAG,IAAI,SAAS,CAAC,gBAAgB,EAAE,CAAC;YAC/E,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC;gBAC1B,GAAG,EAAE,SAAS,CAAC,SAAS;gBACxB,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,GAAG,CAAC,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACzD,CAAC,CAAC;QACL,CAAC;IACD,MAAM,gBAAgB,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACrE,MAAM,IAAI,GAAG;QACX,aAAa,EAAE,qBAA8B;QAC7C,SAAS,EAAE,YAAY,iBAAiB,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,WAAW,EAAE,IAAI,EAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,gBAAgB,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE;QACzL,gBAAgB;QAChB,eAAe,EAAE,KAAK,CAAC,OAAO,CAAC,WAAW;QAC1C,OAAO,EAAE,WAAoB;QAC7B,YAAY,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,qBAAqB,CAAC,CAAC,CAAC,CAAC,aAAsB,CAAC,CAAC,CAAC,WAAoB;QACxH,YAAY,EAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC;QAClD,gBAAgB,EAAE,QAAQ;QAC1B,qBAAqB,EAAE,MAAM,CAAC,WAAW,CAAE,CAAC,MAAM,EAAE,QAAQ,EAAE,WAAW,CAAW,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YAClG,OAAO;YACP,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,KAAK,OAAO,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC;SAC9E,CAAC,CAAC;QACH,YAAY,EAAE,KAAK,CAAC,QAAQ;QAC5B,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,gBAAgB,EAAE,IAAI;QACtB,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS;QACxC,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ;QACrC,sBAAsB,EAAE,KAAK,CAAC,OAAO,CAAC,sBAAsB;QAC5D,kBAAkB,EAAE,KAAK,CAAC,kBAAkB;QAC5C,SAAS,EAAE,KAAK,CAAC,SAAS;KAC3B,CAAC;IACF,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,EAAE,GAAG,IAAI,EAAE,WAAW,EAAE,iBAAiB,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC;AAC7F,CAAC"}

package/dist/ports.d.ts

@@ -0,0 +1,2 @@
+export type { CodeEvidenceProducerPort, EvidenceProducerResult, EvidenceRerankerPort, KnowledgeEvidenceProducerPort, MemoryEvidenceProducerPort, RetrievalTaskRuntimePort, } from '@devflow-tools/sdk';
+//# sourceMappingURL=ports.d.ts.map

package/dist/ports.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ports.d.ts","sourceRoot":"","sources":["../src/ports.ts"],"names":[],"mappings":"AAAA,YAAY,EACV,wBAAwB,EACxB,sBAAsB,EACtB,oBAAoB,EACpB,6BAA6B,EAC7B,0BAA0B,EAC1B,wBAAwB,GACzB,MAAM,oBAAoB,CAAC"}

package/dist/ports.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=ports.js.map

package/dist/ports.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ports.js","sourceRoot":"","sources":["../src/ports.ts"],"names":[],"mappings":""}

package/dist/retrieval-coordinator.d.ts

@@ -0,0 +1,33 @@
+import { type CodeEvidenceProducerPort, type EvidenceRerankerPort, type KnowledgeEvidenceProducerPort, type MemoryEvidenceProducerPort, type RetrievalCoordinatorResultV1, type RetrievalTaskRuntimePort, type SemanticExecutionContext } from '@devflow-tools/sdk';
+import { RetrievalSessionRepository } from './retrieval-session.js';
+export interface RetrievalCoordinatorOptions {
+    code: CodeEvidenceProducerPort;
+    memory: MemoryEvidenceProducerPort;
+    knowledge: KnowledgeEvidenceProducerPort;
+    sessions: RetrievalSessionRepository;
+    reranker?: EvidenceRerankerPort;
+    observer?: RetrievalCoordinatorObserver;
+    taskRuntime: RetrievalTaskRuntimePort;
+    coordinatorVersion?: string;
+}
+export interface RetrievalCoordinatorObserver {
+    record(event: {
+        name: 'retrieval.session.opened' | 'retrieval.fusion.completed' | 'retrieval.candidate.rejected' | 'retrieval.selection.completed' | 'retrieval.cycle.completed' | 'retrieval.cycle.stopped' | 'provider.execution.completed' | 'provider.execution.rejected';
+        identity: SemanticExecutionContext['identity'];
+        data: Record<string, unknown>;
+        timestamp: number;
+    }): void;
+}
+export declare class RetrievalCoordinator {
+    private readonly options;
+    private readonly version;
+    constructor(options: RetrievalCoordinatorOptions);
+    retrieve(input: {
+        context: SemanticExecutionContext;
+        taskRevision: number;
+        tokenBudget?: number;
+        now?: number;
+    }): Promise<RetrievalCoordinatorResultV1>;
+    private observe;
+}
+//# sourceMappingURL=retrieval-coordinator.d.ts.map

package/dist/retrieval-coordinator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"retrieval-coordinator.d.ts","sourceRoot":"","sources":["../src/retrieval-coordinator.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,wBAAwB,EAI7B,KAAK,oBAAoB,EAIzB,KAAK,6BAA6B,EAClC,KAAK,0BAA0B,EAE/B,KAAK,4BAA4B,EAKjC,KAAK,wBAAwB,EAC7B,KAAK,wBAAwB,EAC9B,MAAM,oBAAoB,CAAC;AAI5B,OAAO,EAAiC,0BAA0B,EAAE,MAAM,wBAAwB,CAAC;AAInG,MAAM,WAAW,2BAA2B;IAC1C,IAAI,EAAE,wBAAwB,CAAC;IAC/B,MAAM,EAAE,0BAA0B,CAAC;IACnC,SAAS,EAAE,6BAA6B,CAAC;IACzC,QAAQ,EAAE,0BAA0B,CAAC;IACrC,QAAQ,CAAC,EAAE,oBAAoB,CAAC;IAChC,QAAQ,CAAC,EAAE,4BAA4B,CAAC;IACxC,WAAW,EAAE,wBAAwB,CAAC;IACtC,kBAAkB,CAAC,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,4BAA4B;IAC3C,MAAM,CAAC,KAAK,EAAE;QACZ,IAAI,EAAE,0BAA0B,GAAG,4BAA4B,GAC3D,8BAA8B,GAAG,+BAA+B,GAChE,2BAA2B,GAAG,yBAAyB,GACvD,8BAA8B,GAAG,6BAA6B,CAAC;QACnE,QAAQ,EAAE,wBAAwB,CAAC,UAAU,CAAC,CAAC;QAC/C,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QAC9B,SAAS,EAAE,MAAM,CAAC;KACnB,GAAG,IAAI,CAAC;CACV;AAED,qBAAa,oBAAoB;IAEnB,OAAO,CAAC,QAAQ,CAAC,OAAO;IADpC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAS;gBACJ,OAAO,EAAE,2BAA2B;IAI3D,QAAQ,CAAC,KAAK,EAAE;QACpB,OAAO,EAAE,wBAAwB,CAAC;QAClC,YAAY,EAAE,MAAM,CAAC;QACrB,WAAW,CAAC,EAAE,MAAM,CAAC;QACrB,GAAG,CAAC,EAAE,MAAM,CAAC;KACd,GAAG,OAAO,CAAC,4BAA4B,CAAC;IAgZzC,OAAO,CAAC,OAAO;CAQhB"}