@devflow-tools/semantic-engine 0.18.0

package/dist/domain-action-planner.js

@@ -0,0 +1,163 @@
+import { isMutatingTaskAction, semanticEvidenceId, stableRuntimeHash, } from '@devflow-tools/sdk';
+export function planDomainAction(input) {
+    const phase = input.phase ?? 'proposal';
+    const operation = input.actionAuthority.action ?? input.facts.actions[0] ?? 'unknown';
+    const intent = input.facts.intents[0] ?? 'unknown';
+    const mutating = isMutatingTaskAction(operation);
+    if (input.facts.conflicts.length > 0) {
+        return dispositionPlan(input, 'abstained', 'semantic_facts_conflicted');
+    }
+    if (mutating && input.actionAuthority.mutation === 'conditional') {
+        return dispositionPlan(input, 'needs_condition_evidence', 'mutation_condition_unresolved');
+    }
+    if (mutating && input.actionAuthority.mutation !== 'authorized') {
+        return dispositionPlan(input, 'abstained', 'mutation_not_authorized');
+    }
+    const capabilities = input.capabilities ?? new Set();
+    const targetEvidence = new Map((input.targetStateEvidence ?? []).map(item => [item.targetAnchor, item]));
+    const candidates = input.registry.tools
+        .filter(tool => isSkillCompatible(tool, input.activeSkill))
+        .map(tool => evaluateCandidate(tool, input, operation, intent, capabilities, targetEvidence))
+        .filter((candidate) => candidate !== null)
+        .sort(compareCandidate);
+    const candidateRefs = candidates.map(candidate => candidate.publicCandidate);
+    const body = {
+        schemaVersion: 'domain-action-plan.v1',
+        taskRevisionHash: input.taskRevisionHash,
+        semanticContextHash: input.semanticContextHash,
+        ...(input.taskDefinitionHash ? { taskDefinitionHash: input.taskDefinitionHash } : {}),
+        registryHash: input.registry.registryHash,
+        actionAuthorityHash: input.actionAuthority.authorityHash,
+        mutation: input.actionAuthority.mutation,
+        phase,
+        ...(input.supersedesPlanHash ? { supersedesPlanHash: input.supersedesPlanHash } : {}),
+        ...(candidates.find(candidate => candidate.targetEvidenceHash)?.targetEvidenceHash
+            ? { targetStateEvidenceHash: candidates.find(candidate => candidate.targetEvidenceHash).targetEvidenceHash } : {}),
+        status: 'abstained',
+        candidates: candidateRefs,
+        reasonCode: 'no_applicable_domain_tool',
+    };
+    const selected = candidates[0];
+    const tied = selected && candidates[1]
+        && selected.specificity === candidates[1].specificity
+        && selected.tool.registryPriority === candidates[1].tool.registryPriority;
+    if (tied) {
+        body.status = 'conflicted';
+        body.reasonCode = 'typed_registry_tie';
+    }
+    else if (selected && selected.missingPreconditions.length === 0) {
+        body.status = 'selected';
+        body.selectedTool = selected.tool.tool;
+        body.reasonCode = 'typed_registry_preconditions_satisfied';
+    }
+    else if (selected && selected.onlyMissingTargetState) {
+        body.status = 'needs_target_evidence';
+        body.reasonCode = 'target_state_evidence_required';
+    }
+    else if (intent === 'unknown' || operation === 'unknown') {
+        body.status = 'unavailable';
+        body.reasonCode = 'semantic_fields_unknown';
+    }
+    return { ...body, planHash: stableRuntimeHash(body) };
+}
+function dispositionPlan(input, status, reasonCode) {
+    const body = {
+        schemaVersion: 'domain-action-plan.v1',
+        taskRevisionHash: input.taskRevisionHash,
+        semanticContextHash: input.semanticContextHash,
+        ...(input.taskDefinitionHash ? { taskDefinitionHash: input.taskDefinitionHash } : {}),
+        registryHash: input.registry.registryHash,
+        actionAuthorityHash: input.actionAuthority.authorityHash,
+        mutation: input.actionAuthority.mutation,
+        phase: input.phase ?? 'proposal',
+        ...(input.supersedesPlanHash ? { supersedesPlanHash: input.supersedesPlanHash } : {}),
+        status,
+        candidates: [],
+        reasonCode,
+    };
+    return { ...body, planHash: stableRuntimeHash(body) };
+}
+function evaluateCandidate(tool, input, operation, intent, capabilities, targetEvidence) {
+    if (!tool.operations.includes(operation))
+        return null;
+    if (tool.intents.length > 0 && !tool.intents.includes(intent))
+        return null;
+    const required = [`operation:${operation}`];
+    const satisfied = [`operation:${operation}`];
+    const missing = [];
+    if (tool.intents.length > 0) {
+        required.push(`intent:${intent}`);
+        satisfied.push(`intent:${intent}`);
+    }
+    if (input.objectKind && input.objectKind !== 'unknown') {
+        if (!tool.objectKinds.includes(input.objectKind))
+            return null;
+        required.push(`object:${input.objectKind}`);
+        satisfied.push(`object:${input.objectKind}`);
+    }
+    for (const capability of tool.requiredCapabilities) {
+        required.push(`capability:${capability}`);
+        if (capabilities.has(capability))
+            satisfied.push(`capability:${capability}`);
+        else
+            missing.push(`capability:${capability}`);
+    }
+    let targetEvidenceHash;
+    if (tool.targetState === 'existing') {
+        required.push('target:existing');
+        const evidence = input.facts.targets
+            .map(anchor => targetEvidence.get(anchor))
+            .find(item => item?.state === 'existing');
+        if (evidence) {
+            satisfied.push('target:existing');
+            targetEvidenceHash = evidence.evidenceHash;
+        }
+        else {
+            missing.push('target:existing');
+        }
+    }
+    for (const requiredInput of tool.requiredInputs) {
+        required.push(`input:${requiredInput}`);
+        if (hasInputEvidence(input, requiredInput))
+            satisfied.push(`input:${requiredInput}`);
+        else
+            missing.push(`input:${requiredInput}`);
+    }
+    const specificity = satisfied.length * 100 + tool.registryPriority;
+    const onlyMissingTargetState = missing.length === 1 && missing[0] === 'target:existing';
+    return {
+        tool,
+        specificity,
+        satisfiedPreconditions: satisfied,
+        missingPreconditions: missing,
+        onlyMissingTargetState,
+        ...(targetEvidenceHash ? { targetEvidenceHash } : {}),
+        publicCandidate: {
+            tool: tool.tool,
+            specificity,
+            registryPriority: tool.registryPriority,
+            requiredPreconditions: required,
+            satisfiedPreconditions: satisfied,
+            evidenceIds: input.facts.evidence
+                .filter(item => item.field === 'action' || item.field === 'target' || item.field === 'intent')
+                .map(semanticEvidenceId),
+        },
+    };
+}
+function compareCandidate(left, right) {
+    return right.specificity - left.specificity || right.tool.registryPriority - left.tool.registryPriority
+        || left.tool.tool.localeCompare(right.tool.tool);
+}
+function isSkillCompatible(tool, activeSkill) {
+    return tool.activeSkills.length === 0 || (activeSkill !== undefined && tool.activeSkills.includes(activeSkill));
+}
+function hasInputEvidence(input, name) {
+    if (name === 'filePath')
+        return input.facts.targets.length > 0;
+    if (name === 'componentName')
+        return input.facts.targets.length > 0 || input.facts.entities.length > 0;
+    if (name === 'projectRoot')
+        return input.identity.projectRoot.length > 0;
+    return true;
+}
+//# sourceMappingURL=domain-action-planner.js.map

package/dist/domain-action-planner.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"domain-action-planner.js","sourceRoot":"","sources":["../src/domain-action-planner.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,oBAAoB,EACpB,kBAAkB,EAClB,iBAAiB,GAMlB,MAAM,oBAAoB,CAAC;AAE5B,MAAM,UAAU,gBAAgB,CAAC,KAAiC;IAChE,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,IAAI,UAAU,CAAC;IACxC,MAAM,SAAS,GAAG,KAAK,CAAC,eAAe,CAAC,MAAM,IAAI,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC;IACtF,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC;IACnD,MAAM,QAAQ,GAAG,oBAAoB,CAAC,SAAS,CAAC,CAAC;IACjD,IAAI,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrC,OAAO,eAAe,CAAC,KAAK,EAAE,WAAW,EAAE,2BAA2B,CAAC,CAAC;IAC1E,CAAC;IACD,IAAI,QAAQ,IAAI,KAAK,CAAC,eAAe,CAAC,QAAQ,KAAK,aAAa,EAAE,CAAC;QACjE,OAAO,eAAe,CAAC,KAAK,EAAE,0BAA0B,EAAE,+BAA+B,CAAC,CAAC;IAC7F,CAAC;IACD,IAAI,QAAQ,IAAI,KAAK,CAAC,eAAe,CAAC,QAAQ,KAAK,YAAY,EAAE,CAAC;QAChE,OAAO,eAAe,CAAC,KAAK,EAAE,WAAW,EAAE,yBAAyB,CAAC,CAAC;IACxE,CAAC;IACD,MAAM,YAAY,GAAG,KAAK,CAAC,YAAY,IAAI,IAAI,GAAG,EAAU,CAAC;IAC7D,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,mBAAmB,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IACzG,MAAM,UAAU,GAAG,KAAK,CAAC,QAAQ,CAAC,KAAK;SACpC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,iBAAiB,CAAC,IAAI,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC;SAC1D,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,iBAAiB,CAAC,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,YAAY,EAAE,cAAc,CAAC,CAAC;SAC5F,MAAM,CAAC,CAAC,SAAS,EAAmC,EAAE,CAAC,SAAS,KAAK,IAAI,CAAC;SAC1E,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAC1B,MAAM,aAAa,GAAG,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;IAC7E,MAAM,IAAI,GAAyC;QACjD,aAAa,EAAE,uBAAgC;QAC/C,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;QACxC,mBAAmB,EAAE,KAAK,CAAC,mBAAmB;QAC9C,GAAG,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,CAAC,EAAE,kBAAkB,EAAE,KAAK,CAAC,kBAAkB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACrF,YAAY,EAAE,KAAK,CAAC,QAAQ,CAAC,YAAY;QACzC,mBAAmB,EAAE,KAAK,CAAC,eAAe,CAAC,aAAa;QACxD,QAAQ,EAAE,KAAK,CAAC,eAAe,CAAC,QAAQ;QACxC,KAAK;QACL,GAAG,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,CAAC,EAAE,kBAAkB,EAAE,KAAK,CAAC,kBAAkB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACrF,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,kBAAkB,CAAC,EAAE,kBAAkB;YAChF,CAAC,CAAC,EAAE,uBAAuB,EAAE,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,kBAAkB,CAAE,CAAC,kBAAkB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACrH,MAAM,EAAE,WAA2C;QACnD,UAAU,EAAE,aAAa;QACzB,UAAU,EAAE,2BAA2B;KACxC,CAAC;IACF,MAAM,QAAQ,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;IAC/B,MAAM,IAAI,GAAG,QAAQ,IAAI,UAAU,CAAC,CAAC,CAAC;WACjC,QAAQ,CAAC,WAAW,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,WAAW;WAClD,QAAQ,CAAC,IAAI,CAAC,gBAAgB,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC;IAC5E,IAAI,IAAI,EAAE,CAAC;QACT,IAAI,CAAC,MAAM,GAAG,YAAY,CAAC;QAC3B,IAAI,CAAC,UAAU,GAAG,oBAAoB,CAAC;IACzC,CAAC;SAAM,IAAI,QAAQ,IAAI,QAAQ,CAAC,oBAAoB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClE,IAAI,CAAC,MAAM,GAAG,UAAU,CAAC;QACzB,IAAI,CAAC,YAAY,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;QACvC,IAAI,CAAC,UAAU,GAAG,wCAAwC,CAAC;IAC7D,CAAC;SAAM,IAAI,QAAQ,IAAI,QAAQ,CAAC,sBAAsB,EAAE,CAAC;QACvD,IAAI,CAAC,MAAM,GAAG,uBAAuB,CAAC;QACtC,IAAI,CAAC,UAAU,GAAG,gCAAgC,CAAC;IACrD,CAAC;SAAM,IAAI,MAAM,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC3D,IAAI,CAAC,MAAM,GAAG,aAAa,CAAC;QAC5B,IAAI,CAAC,UAAU,GAAG,yBAAyB,CAAC;IAC9C,CAAC;IACD,OAAO,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;AACxD,CAAC;AAED,SAAS,eAAe,CACtB,KAAiC,EACjC,MAAgD,EAChD,UAAkB;IAElB,MAAM,IAAI,GAAyC;QACjD,aAAa,EAAE,uBAAuB;QACtC,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;QACxC,mBAAmB,EAAE,KAAK,CAAC,mBAAmB;QAC9C,GAAG,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,CAAC,EAAE,kBAAkB,EAAE,KAAK,CAAC,kBAAkB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACrF,YAAY,EAAE,KAAK,CAAC,QAAQ,CAAC,YAAY;QACzC,mBAAmB,EAAE,KAAK,CAAC,eAAe,CAAC,aAAa;QACxD,QAAQ,EAAE,KAAK,CAAC,eAAe,CAAC,QAAQ;QACxC,KAAK,EAAE,KAAK,CAAC,KAAK,IAAI,UAAU;QAChC,GAAG,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,CAAC,EAAE,kBAAkB,EAAE,KAAK,CAAC,kBAAkB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACrF,MAAM;QACN,UAAU,EAAE,EAAE;QACd,UAAU;KACX,CAAC;IACF,OAAO,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;AACxD,CAAC;AAYD,SAAS,iBAAiB,CACxB,IAA4B,EAC5B,KAAiC,EACjC,SAA8B,EAC9B,MAA2B,EAC3B,YAAiC,EACjC,cAAmG;IAEnG,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,SAAS,CAAC;QAAE,OAAO,IAAI,CAAC;IACtD,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3E,MAAM,QAAQ,GAAa,CAAC,aAAa,SAAS,EAAE,CAAC,CAAC;IACtD,MAAM,SAAS,GAAa,CAAC,aAAa,SAAS,EAAE,CAAC,CAAC;IACvD,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,QAAQ,CAAC,IAAI,CAAC,UAAU,MAAM,EAAE,CAAC,CAAC;QAClC,SAAS,CAAC,IAAI,CAAC,UAAU,MAAM,EAAE,CAAC,CAAC;IACrC,CAAC;IACD,IAAI,KAAK,CAAC,UAAU,IAAI,KAAK,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;QACvD,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,KAAK,CAAC,UAAU,CAAC;YAAE,OAAO,IAAI,CAAC;QAC9D,QAAQ,CAAC,IAAI,CAAC,UAAU,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC;QAC5C,SAAS,CAAC,IAAI,CAAC,UAAU,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC;IAC/C,CAAC;IACD,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,oBAAoB,EAAE,CAAC;QACnD,QAAQ,CAAC,IAAI,CAAC,cAAc,UAAU,EAAE,CAAC,CAAC;QAC1C,IAAI,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC;YAAE,SAAS,CAAC,IAAI,CAAC,cAAc,UAAU,EAAE,CAAC,CAAC;;YACxE,OAAO,CAAC,IAAI,CAAC,cAAc,UAAU,EAAE,CAAC,CAAC;IAChD,CAAC;IACD,IAAI,kBAAsC,CAAC;IAC3C,IAAI,IAAI,CAAC,WAAW,KAAK,UAAU,EAAE,CAAC;QACpC,QAAQ,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QACjC,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,OAAO;aACjC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;aACzC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,KAAK,UAAU,CAAC,CAAC;QAC5C,IAAI,QAAQ,EAAE,CAAC;YACb,SAAS,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;YAClC,kBAAkB,GAAG,QAAQ,CAAC,YAAY,CAAC;QAC7C,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QAClC,CAAC;IACH,CAAC;IACD,KAAK,MAAM,aAAa,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC;QAChD,QAAQ,CAAC,IAAI,CAAC,SAAS,aAAa,EAAE,CAAC,CAAC;QACxC,IAAI,gBAAgB,CAAC,KAAK,EAAE,aAAa,CAAC;YAAE,SAAS,CAAC,IAAI,CAAC,SAAS,aAAa,EAAE,CAAC,CAAC;;YAChF,OAAO,CAAC,IAAI,CAAC,SAAS,aAAa,EAAE,CAAC,CAAC;IAC9C,CAAC;IACD,MAAM,WAAW,GAAG,SAAS,CAAC,MAAM,GAAG,GAAG,GAAG,IAAI,CAAC,gBAAgB,CAAC;IACnE,MAAM,sBAAsB,GAAG,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,iBAAiB,CAAC;IACxF,OAAO;QACL,IAAI;QACJ,WAAW;QACX,sBAAsB,EAAE,SAAS;QACjC,oBAAoB,EAAE,OAAO;QAC7B,sBAAsB;QACtB,GAAG,CAAC,kBAAkB,CAAC,CAAC,CAAC,EAAE,kBAAkB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACrD,eAAe,EAAE;YACf,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,WAAW;YACX,gBAAgB,EAAE,IAAI,CAAC,gBAAgB;YACvC,qBAAqB,EAAE,QAAQ;YAC/B,sBAAsB,EAAE,SAAS;YACjC,WAAW,EAAE,KAAK,CAAC,KAAK,CAAC,QAAQ;iBAC9B,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,KAAK,QAAQ,IAAI,IAAI,CAAC,KAAK,KAAK,QAAQ,IAAI,IAAI,CAAC,KAAK,KAAK,QAAQ,CAAC;iBAC7F,GAAG,CAAC,kBAAkB,CAAC;SAC3B;KACF,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAwB,EAAE,KAAyB;IAC3E,OAAO,KAAK,CAAC,WAAW,GAAG,IAAI,CAAC,WAAW,IAAI,KAAK,CAAC,IAAI,CAAC,gBAAgB,GAAG,IAAI,CAAC,IAAI,CAAC,gBAAgB;WAClG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACrD,CAAC;AAED,SAAS,iBAAiB,CAAC,IAA4B,EAAE,WAA+B;IACtF,OAAO,IAAI,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,WAAW,KAAK,SAAS,IAAI,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC;AAClH,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAiC,EAAE,IAAY;IACvE,IAAI,IAAI,KAAK,UAAU;QAAE,OAAO,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;IAC/D,IAAI,IAAI,KAAK,eAAe;QAAE,OAAO,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;IACvG,IAAI,IAAI,KAAK,aAAa;QAAE,OAAO,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC;IACzE,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,13 @@
+export * from './semantic-authority-merger.js';
+export * from './semantic-resolver.js';
+export * from './semantic-route-catalog.js';
+export * from './semantic-router.js';
+export * from './semantic-structural-evidence.js';
+export * from './semantic-context-resolver.js';
+export * from './domain-action-planner.js';
+export * from './semantic-claim-validator.js';
+export * from './task-claim-compiler.js';
+export * from './retrieval-query-proposal.js';
+export * from './retrieval-query-sampling-resolver.js';
+export * from './query-plan-compilers.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,gCAAgC,CAAC;AAC/C,cAAc,wBAAwB,CAAC;AACvC,cAAc,6BAA6B,CAAC;AAC5C,cAAc,sBAAsB,CAAC;AACrC,cAAc,mCAAmC,CAAC;AAClD,cAAc,gCAAgC,CAAC;AAC/C,cAAc,4BAA4B,CAAC;AAC3C,cAAc,+BAA+B,CAAC;AAC9C,cAAc,0BAA0B,CAAC;AACzC,cAAc,+BAA+B,CAAC;AAC9C,cAAc,wCAAwC,CAAC;AACvD,cAAc,2BAA2B,CAAC"}

package/dist/index.js

@@ -0,0 +1,13 @@
+export * from './semantic-authority-merger.js';
+export * from './semantic-resolver.js';
+export * from './semantic-route-catalog.js';
+export * from './semantic-router.js';
+export * from './semantic-structural-evidence.js';
+export * from './semantic-context-resolver.js';
+export * from './domain-action-planner.js';
+export * from './semantic-claim-validator.js';
+export * from './task-claim-compiler.js';
+export * from './retrieval-query-proposal.js';
+export * from './retrieval-query-sampling-resolver.js';
+export * from './query-plan-compilers.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,gCAAgC,CAAC;AAC/C,cAAc,wBAAwB,CAAC;AACvC,cAAc,6BAA6B,CAAC;AAC5C,cAAc,sBAAsB,CAAC;AACrC,cAAc,mCAAmC,CAAC;AAClD,cAAc,gCAAgC,CAAC;AAC/C,cAAc,4BAA4B,CAAC;AAC3C,cAAc,+BAA+B,CAAC;AAC9C,cAAc,0BAA0B,CAAC;AACzC,cAAc,+BAA+B,CAAC;AAC9C,cAAc,wCAAwC,CAAC;AACvD,cAAc,2BAA2B,CAAC"}

package/dist/query-plan-compilers.d.ts

@@ -0,0 +1,15 @@
+import { type CanonicalTaskIdentity, type ChannelDisposition, type ChannelQueryPlan, type ProviderExecutionReceiptV1, type RetrievalQueryProposalV1, type SemanticFacts, type ValidatedSemanticClaimV1 } from '@devflow-tools/sdk';
+export declare function compileChannelQueryPlan(input: {
+    identity: CanonicalTaskIdentity;
+    facts: SemanticFacts;
+    dispositions: ChannelDisposition[];
+    claims: ValidatedSemanticClaimV1[];
+    query: string;
+    activeSkill?: string;
+    createdAt: number;
+    queryProposals?: RetrievalQueryProposalV1[];
+    queryProposalReceipts?: ProviderExecutionReceiptV1[];
+    allowedEntityHandles?: ReadonlySet<string>;
+    allowedSourceIds?: ReadonlySet<string>;
+}): ChannelQueryPlan;
+//# sourceMappingURL=query-plan-compilers.d.ts.map

package/dist/query-plan-compilers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"query-plan-compilers.d.ts","sourceRoot":"","sources":["../src/query-plan-compilers.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,KAAK,qBAAqB,EAC1B,KAAK,kBAAkB,EAGvB,KAAK,gBAAgB,EAIrB,KAAK,0BAA0B,EAC/B,KAAK,wBAAwB,EAE7B,KAAK,aAAa,EAClB,KAAK,wBAAwB,EAC9B,MAAM,oBAAoB,CAAC;AAM5B,wBAAgB,uBAAuB,CAAC,KAAK,EAAE;IAC7C,QAAQ,EAAE,qBAAqB,CAAC;IAChC,KAAK,EAAE,aAAa,CAAC;IACrB,YAAY,EAAE,kBAAkB,EAAE,CAAC;IACnC,MAAM,EAAE,wBAAwB,EAAE,CAAC;IACnC,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,EAAE,MAAM,CAAC;IAClB,cAAc,CAAC,EAAE,wBAAwB,EAAE,CAAC;IAC5C,qBAAqB,CAAC,EAAE,0BAA0B,EAAE,CAAC;IACrD,oBAAoB,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC3C,gBAAgB,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACxC,GAAG,gBAAgB,CA2BnB"}

package/dist/query-plan-compilers.js

@@ -0,0 +1,178 @@
+import { assertChannelDisposition, stableRuntimeHash, } from '@devflow-tools/sdk';
+import { validateRetrievalQueryProposal, } from './retrieval-query-proposal.js';
+export function compileChannelQueryPlan(input) {
+    const query = normalizeOriginalQuery(input.query);
+    const dispositions = dispositionMap(input.dispositions);
+    const proposals = validatedProposals(input);
+    const code = compileChannel('code', dispositions.code, input, query, proposals, codeQuery(input.facts, query));
+    const memory = compileChannel('memory', dispositions.memory, input, query, proposals, memoryQuery(input.facts, query, input.activeSkill));
+    const knowledge = compileChannel('knowledge', dispositions.knowledge, input, query, proposals, knowledgeQuery(input.facts, query));
+    const sources = new Set(input.claims.map(claim => claim.source));
+    const generatedBy = sources.size === 0 || (sources.size === 1 && sources.has('structural'))
+        ? 'deterministic'
+        : sources.size === 1 && sources.has('host_sampling')
+            ? 'host_semantic' : 'hybrid';
+    const queryProposalIds = uniqueStrings([code, memory, knowledge].flatMap(channel => channel.requirement === 'prohibited' ? [] : channel.additions.flatMap(item => item.proposalId ?? [])));
+    const body = {
+        identity: input.identity,
+        sourceFactsHash: input.facts.factsHash,
+        code,
+        memory,
+        knowledge,
+        queryProposalIds,
+        generatedBy,
+        createdAt: input.createdAt,
+    };
+    return Object.freeze({ ...body, planHash: stableRuntimeHash(body) });
+}
+function compileChannel(channel, disposition, input, query, proposals, typedQuery) {
+    if (disposition.requirement === 'prohibited')
+        return {
+            channel,
+            requirement: 'prohibited',
+            reasonCode: disposition.reasonCode,
+            evidenceIds: disposition.evidenceIds,
+        };
+    const sourceClaimIds = claimIdsFor(channel, input.claims);
+    return {
+        channel,
+        requirement: disposition.requirement,
+        reasonCode: disposition.reasonCode,
+        evidenceIds: disposition.evidenceIds,
+        original: originalVariant(query, input.facts.sourceHash, sourceClaimIds),
+        additions: proposalVariants(channel, input.facts.sourceHash, proposals),
+        typedQuery,
+    };
+}
+function codeQuery(facts, query) {
+    const relationKinds = new Set(['dependency']);
+    if (facts.actions.some(action => ['analyze', 'debug', 'modify', 'verify'].includes(action))
+        || facts.intents.includes('performance'))
+        relationKinds.add('caller');
+    if (facts.actions.includes('create')) {
+        relationKinds.add('route');
+        relationKinds.add('config');
+    }
+    if (facts.actions.includes('test') || facts.intents.includes('verification'))
+        relationKinds.add('test');
+    return {
+        query,
+        targetAnchors: facts.targets,
+        symbols: facts.entities,
+        relationKinds: [...relationKinds],
+        maxDepth: facts.targets.length > 0 ? 1 : 2,
+    };
+}
+function memoryQuery(facts, query, activeSkill) {
+    return {
+        query,
+        scopes: activeSkill ? ['project', 'skill', 'session'] : ['project', 'session'],
+        entities: facts.entities,
+        facets: facts.constraints,
+        requireVerifiedEvidence: true,
+    };
+}
+function knowledgeQuery(facts, query) {
+    const need = facts.knowledgeNeeds[0];
+    return {
+        query,
+        kind: need?.kind ?? 'overview',
+        ...(need?.entity ? { entity: need.entity } : {}),
+        ...(need?.symbol ? { symbol: need.symbol } : {}),
+        ...(need?.version ? { version: need.version } : {}),
+    };
+}
+function originalVariant(query, sourceHash, sourceClaimIds) {
+    return {
+        kind: 'original',
+        query,
+        queryHash: stableRuntimeHash({ query, sourceHash }),
+        sourceHash,
+        producerId: 'task-source-query',
+        producerVersion: '1',
+        sourceClaimIds,
+    };
+}
+function proposalVariants(channel, sourceHash, proposals) {
+    const seen = new Set();
+    return proposals.filter(item => item.channel === channel).flatMap(proposal => {
+        const queryHash = stableRuntimeHash({ query: proposal.query, sourceHash });
+        const key = `${proposal.kind}:${queryHash}`;
+        if (seen.has(key))
+            return [];
+        seen.add(key);
+        return [{
+                kind: proposal.kind,
+                query: proposal.query,
+                queryHash,
+                sourceHash,
+                producerId: 'retrieval-query-proposal',
+                producerVersion: '1',
+                sourceClaimIds: [...proposal.sourceClaimIds].sort(),
+                proposalId: proposal.proposalId,
+                ...(proposal.boundedFilters ? { boundedFilters: canonicalFilters(proposal.boundedFilters) } : {}),
+            }];
+    });
+}
+function validatedProposals(input) {
+    const emittedCounts = new Map();
+    for (const proposal of input.queryProposals ?? []) {
+        emittedCounts.set(proposal.providerExecutionId, (emittedCounts.get(proposal.providerExecutionId) ?? 0) + 1);
+    }
+    const receiptMap = new Map((input.queryProposalReceipts ?? [])
+        .filter(receipt => receipt.acceptedCount === (emittedCounts.get(receipt.executionId) ?? 0)
+        && receipt.proposalCount === receipt.acceptedCount + receipt.rejectedCount)
+        .map(receipt => [receipt.executionId, receipt]));
+    return (input.queryProposals ?? []).flatMap(proposal => {
+        const result = validateRetrievalQueryProposal({
+            facts: input.facts,
+            claims: input.claims,
+            proposal,
+            providerReceipts: receiptMap,
+            ...(input.allowedEntityHandles ? { allowedEntityHandles: input.allowedEntityHandles } : {}),
+            ...(input.allowedSourceIds ? { allowedSourceIds: input.allowedSourceIds } : {}),
+        });
+        return result.valid ? [result.proposal] : [];
+    }).sort((left, right) => left.proposalId.localeCompare(right.proposalId));
+}
+function dispositionMap(values) {
+    if (values.length !== 3)
+        throw new Error('CHANNEL_DISPOSITION_SET_INVALID');
+    const map = new Map(values.map(value => {
+        assertChannelDisposition(value);
+        return [value.channel, value];
+    }));
+    if (map.size !== 3)
+        throw new Error('CHANNEL_DISPOSITION_SET_INVALID');
+    return {
+        code: map.get('code'),
+        memory: map.get('memory'),
+        knowledge: map.get('knowledge'),
+    };
+}
+function claimIdsFor(channel, claims) {
+    const kinds = channel === 'code'
+        ? ['intent', 'action', 'entity', 'target', 'constraint']
+        : channel === 'memory'
+            ? ['memory_directive', 'entity', 'constraint']
+            : ['knowledge_need', 'entity', 'constraint'];
+    return claims.filter(item => kinds.includes(item.claim.kind)).map(item => item.claimId).sort();
+}
+function canonicalFilters(filters) {
+    return {
+        ...(filters.entityHandles ? { entityHandles: [...filters.entityHandles].sort() } : {}),
+        ...(filters.sourceIds ? { sourceIds: [...filters.sourceIds].sort() } : {}),
+        ...(filters.version ? { version: filters.version } : {}),
+        ...(filters.temporalWindow ? { temporalWindow: { ...filters.temporalWindow } } : {}),
+    };
+}
+function normalizeOriginalQuery(query) {
+    const normalized = query.normalize('NFKC').trim().slice(0, 2_000);
+    if (!normalized)
+        throw new Error('CHANNEL_QUERY_SOURCE_EMPTY');
+    return normalized;
+}
+function uniqueStrings(values) {
+    return [...new Set(values)].sort();
+}
+//# sourceMappingURL=query-plan-compilers.js.map

package/dist/query-plan-compilers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"query-plan-compilers.js","sourceRoot":"","sources":["../src/query-plan-compilers.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,wBAAwB,EACxB,iBAAiB,GAclB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,8BAA8B,GAE/B,MAAM,+BAA+B,CAAC;AAEvC,MAAM,UAAU,uBAAuB,CAAC,KAYvC;IACC,MAAM,KAAK,GAAG,sBAAsB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAClD,MAAM,YAAY,GAAG,cAAc,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;IACxD,MAAM,SAAS,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;IAC5C,MAAM,IAAI,GAAG,cAAc,CAAC,MAAM,EAAE,YAAY,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;IAC/G,MAAM,MAAM,GAAG,cAAc,CAAC,QAAQ,EAAE,YAAY,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAClF,WAAW,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC;IACtD,MAAM,SAAS,GAAG,cAAc,CAAC,WAAW,EAAE,YAAY,CAAC,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAC3F,cAAc,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;IACtC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IACjE,MAAM,WAAW,GAAG,OAAO,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QACzF,CAAC,CAAC,eAAwB;QAC1B,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,eAAe,CAAC;YAClD,CAAC,CAAC,eAAwB,CAAC,CAAC,CAAC,QAAiB,CAAC;IACnD,MAAM,gBAAgB,GAAG,aAAa,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CACjF,OAAO,CAAC,WAAW,KAAK,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IACzG,MAAM,IAAI,GAAG;QACX,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,eAAe,EAAE,KAAK,CAAC,KAAK,CAAC,SAAS;QACtC,IAAI;QACJ,MAAM;QACN,SAAS;QACT,gBAAgB;QAChB,WAAW;QACX,SAAS,EAAE,KAAK,CAAC,SAAS;KAC3B,CAAC;IACF,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACvE,CAAC;AAED,SAAS,cAAc,CACrB,OAAoB,EACpB,WAA+B,EAC/B,KAAmE,EACnE,KAAa,EACb,SAA8C,EAC9C,UAAiB;IAEjB,IAAI,WAAW,CAAC,WAAW,KAAK,YAAY;QAAE,OAAO;YACnD,OAAO;YACP,WAAW,EAAE,YAAY;YACzB,UAAU,EAAE,WAAW,CAAC,UAAU;YAClC,WAAW,EAAE,WAAW,CAAC,WAAW;SACrC,CAAC;IACF,MAAM,cAAc,GAAG,WAAW,CAAC,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IAC1D,OAAO;QACL,OAAO;QACP,WAAW,EAAE,WAAW,CAAC,WAAW;QACpC,UAAU,EAAE,WAAW,CAAC,UAAU;QAClC,WAAW,EAAE,WAAW,CAAC,WAAW;QACpC,QAAQ,EAAE,eAAe,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,UAAU,EAAE,cAAc,CAAC;QACxE,SAAS,EAAE,gBAAgB,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,UAAU,EAAE,SAAS,CAAC;QACvE,UAAU;KACX,CAAC;AACJ,CAAC;AAED,SAAS,SAAS,CAAC,KAAoB,EAAE,KAAa;IACpD,MAAM,aAAa,GAAG,IAAI,GAAG,CAA4C,CAAC,YAAY,CAAC,CAAC,CAAC;IACzF,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;WACtF,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAC;QAAE,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACxE,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QAAC,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAAC,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAAC,CAAC;IAClG,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAC;QAAE,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACxG,OAAO;QACL,KAAK;QACL,aAAa,EAAE,KAAK,CAAC,OAAO;QAC5B,OAAO,EAAE,KAAK,CAAC,QAAQ;QACvB,aAAa,EAAE,CAAC,GAAG,aAAa,CAAC;QACjC,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;KAC3C,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,KAAoB,EAAE,KAAa,EAAE,WAAoB;IAC5E,OAAO;QACL,KAAK;QACL,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,SAAS,CAAC;QAC9E,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,MAAM,EAAE,KAAK,CAAC,WAAW;QACzB,uBAAuB,EAAE,IAAI;KAC9B,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,KAAoB,EAAE,KAAa;IACzD,MAAM,IAAI,GAAG,KAAK,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC;IACrC,OAAO;QACL,KAAK;QACL,IAAI,EAAE,IAAI,EAAE,IAAI,IAAI,UAAU;QAC9B,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAChD,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAChD,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACpD,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,KAAa,EAAE,UAAkB,EAAE,cAAwB;IAClF,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,KAAK;QACL,SAAS,EAAE,iBAAiB,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC;QACnD,UAAU;QACV,UAAU,EAAE,mBAAmB;QAC/B,eAAe,EAAE,GAAG;QACpB,cAAc;KACf,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CACvB,OAAoB,EACpB,UAAkB,EAClB,SAA8C;IAE9C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,OAAO,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,KAAK,OAAO,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE;QAC3E,MAAM,SAAS,GAAG,iBAAiB,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,UAAU,EAAE,CAAC,CAAC;QAC3E,MAAM,GAAG,GAAG,GAAG,QAAQ,CAAC,IAAI,IAAI,SAAS,EAAE,CAAC;QAC5C,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO,EAAE,CAAC;QAC7B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,OAAO,CAAC;gBACN,IAAI,EAAE,QAAQ,CAAC,IAAI;gBACnB,KAAK,EAAE,QAAQ,CAAC,KAAK;gBACrB,SAAS;gBACT,UAAU;gBACV,UAAU,EAAE,0BAA0B;gBACtC,eAAe,EAAE,GAAG;gBACpB,cAAc,EAAE,CAAC,GAAG,QAAQ,CAAC,cAAc,CAAC,CAAC,IAAI,EAAE;gBACnD,UAAU,EAAE,QAAQ,CAAC,UAAU;gBAC/B,GAAG,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,gBAAgB,CAAC,QAAQ,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAClG,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,kBAAkB,CAAC,KAO3B;IACC,MAAM,aAAa,GAAG,IAAI,GAAG,EAAkB,CAAC;IAChD,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,cAAc,IAAI,EAAE,EAAE,CAAC;QAClD,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,mBAAmB,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9G,CAAC;IACD,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,qBAAqB,IAAI,EAAE,CAAC;SAC3D,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,aAAa,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;WACrF,OAAO,CAAC,aAAa,KAAK,OAAO,CAAC,aAAa,GAAG,OAAO,CAAC,aAAa,CAAC;SAC5E,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;IACnD,OAAO,CAAC,KAAK,CAAC,cAAc,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE;QACrD,MAAM,MAAM,GAAG,8BAA8B,CAAC;YAC5C,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,QAAQ;YACR,gBAAgB,EAAE,UAAU;YAC5B,GAAG,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC,CAAC,EAAE,oBAAoB,EAAE,KAAK,CAAC,oBAAoB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3F,GAAG,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,KAAK,CAAC,gBAAgB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAChF,CAAC,CAAC;QACH,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/C,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC;AAC5E,CAAC;AAED,SAAS,cAAc,CAAC,MAA4B;IAClD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAC;IAC5E,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE;QACrC,wBAAwB,CAAC,KAAK,CAAC,CAAC;QAChC,OAAO,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAU,CAAC;IACzC,CAAC,CAAC,CAAC,CAAC;IACJ,IAAI,GAAG,CAAC,IAAI,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAC;IACvE,OAAO;QACL,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,MAAM,CAAE;QACtB,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAE;QAC1B,SAAS,EAAE,GAAG,CAAC,GAAG,CAAC,WAAW,CAAE;KACjC,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,OAAoB,EAAE,MAAkC;IAC3E,MAAM,KAAK,GAAG,OAAO,KAAK,MAAM;QAC9B,CAAC,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,YAAY,CAAC;QACxD,CAAC,CAAC,OAAO,KAAK,QAAQ;YACpB,CAAC,CAAC,CAAC,kBAAkB,EAAE,QAAQ,EAAE,YAAY,CAAC;YAC9C,CAAC,CAAC,CAAC,gBAAgB,EAAE,QAAQ,EAAE,YAAY,CAAC,CAAC;IACjD,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC;AACjG,CAAC;AAED,SAAS,gBAAgB,CAAC,OAAgE;IACxF,OAAO;QACL,GAAG,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACtF,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1E,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACxD,GAAG,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,EAAE,GAAG,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACrF,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAAC,KAAa;IAC3C,MAAM,UAAU,GAAG,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAClE,IAAI,CAAC,UAAU;QAAE,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;IAC/D,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,aAAa,CAAC,MAAgB;IACrC,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AACrC,CAAC"}

package/dist/retrieval-query-proposal.d.ts

@@ -0,0 +1,22 @@
+import { type ProviderExecutionReceiptV1, type RetrievalQueryProposalV1, type SemanticFacts, type ValidatedSemanticClaimV1 } from '@devflow-tools/sdk';
+declare const validatedProposal: unique symbol;
+export type ValidatedRetrievalQueryProposalV1 = Readonly<RetrievalQueryProposalV1> & {
+    readonly [validatedProposal]: true;
+};
+export type RetrievalQueryProposalValidationResult = {
+    valid: true;
+    proposal: ValidatedRetrievalQueryProposalV1;
+} | {
+    valid: false;
+    reasonCode: string;
+};
+export declare function validateRetrievalQueryProposal(input: {
+    facts: SemanticFacts;
+    claims: ValidatedSemanticClaimV1[];
+    proposal: RetrievalQueryProposalV1;
+    providerReceipts: ReadonlyMap<string, ProviderExecutionReceiptV1>;
+    allowedEntityHandles?: ReadonlySet<string>;
+    allowedSourceIds?: ReadonlySet<string>;
+}): RetrievalQueryProposalValidationResult;
+export {};
+//# sourceMappingURL=retrieval-query-proposal.d.ts.map

package/dist/retrieval-query-proposal.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"retrieval-query-proposal.d.ts","sourceRoot":"","sources":["../src/retrieval-query-proposal.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,KAAK,0BAA0B,EAC/B,KAAK,wBAAwB,EAC7B,KAAK,aAAa,EAClB,KAAK,wBAAwB,EAC9B,MAAM,oBAAoB,CAAC;AAE5B,OAAO,CAAC,MAAM,iBAAiB,EAAE,OAAO,MAAM,CAAC;AAE/C,MAAM,MAAM,iCAAiC,GAAG,QAAQ,CAAC,wBAAwB,CAAC,GAAG;IACnF,QAAQ,CAAC,CAAC,iBAAiB,CAAC,EAAE,IAAI,CAAC;CACpC,CAAC;AAEF,MAAM,MAAM,sCAAsC,GAC9C;IAAE,KAAK,EAAE,IAAI,CAAC;IAAC,QAAQ,EAAE,iCAAiC,CAAA;CAAE,GAC5D;IAAE,KAAK,EAAE,KAAK,CAAC;IAAC,UAAU,EAAE,MAAM,CAAA;CAAE,CAAC;AAEzC,wBAAgB,8BAA8B,CAAC,KAAK,EAAE;IACpD,KAAK,EAAE,aAAa,CAAC;IACrB,MAAM,EAAE,wBAAwB,EAAE,CAAC;IACnC,QAAQ,EAAE,wBAAwB,CAAC;IACnC,gBAAgB,EAAE,WAAW,CAAC,MAAM,EAAE,0BAA0B,CAAC,CAAC;IAClE,oBAAoB,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC3C,gBAAgB,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACxC,GAAG,sCAAsC,CAyFzC"}

package/dist/retrieval-query-proposal.js

@@ -0,0 +1,114 @@
+import { semanticEvidenceId, stableRuntimeHash, } from '@devflow-tools/sdk';
+export function validateRetrievalQueryProposal(input) {
+    const proposal = input.proposal;
+    if (proposal.schemaVersion !== 'retrieval-query-proposal.v1') {
+        return invalid('query_proposal_schema_unsupported');
+    }
+    const { proposalHash, ...proposalBody } = proposal;
+    if (stableRuntimeHash(proposalBody) !== proposalHash) {
+        return invalid('query_proposal_hash_mismatch');
+    }
+    if (proposal.sourceFactsHash !== input.facts.factsHash) {
+        return invalid('query_proposal_facts_mismatch');
+    }
+    if (!boundedId(proposal.proposalId) || !boundedId(proposal.providerExecutionId)) {
+        return invalid('query_proposal_identity_invalid');
+    }
+    if (!['code', 'memory', 'knowledge'].includes(proposal.channel)
+        || !['rewrite', 'expansion'].includes(proposal.kind)) {
+        return invalid('query_proposal_kind_invalid');
+    }
+    const normalizedQuery = proposal.query.normalize('NFKC').trim();
+    if (!normalizedQuery || normalizedQuery.length > 2_000 || normalizedQuery !== proposal.query) {
+        return invalid('query_proposal_query_invalid');
+    }
+    if (!Number.isFinite(proposal.confidence) || proposal.confidence < 0 || proposal.confidence > 1) {
+        return invalid('query_proposal_confidence_invalid');
+    }
+    const knownClaimIds = new Set(input.claims.map(claim => claim.claimId));
+    if (!boundedUniqueStrings(proposal.sourceClaimIds, 32)
+        || proposal.sourceClaimIds.length === 0
+        || proposal.sourceClaimIds.some(claimId => !knownClaimIds.has(claimId))) {
+        return invalid('query_proposal_claim_unknown');
+    }
+    const receipt = input.providerReceipts.get(proposal.providerExecutionId);
+    if (!receipt)
+        return invalid('query_proposal_provider_execution_unknown');
+    const { receiptHash, ...receiptBody } = receipt;
+    if (stableRuntimeHash(receiptBody) !== receiptHash
+        || receipt.executionId !== proposal.providerExecutionId
+        || receipt.requestHash !== input.facts.factsHash
+        || receipt.capability !== 'retrieval_query'
+        || receipt.status !== 'ready') {
+        return invalid('query_proposal_provider_receipt_invalid');
+    }
+    const knownEvidence = new Map(input.facts.evidence.map(evidence => [semanticEvidenceId(evidence), evidence]));
+    if (!Array.isArray(proposal.evidence) || proposal.evidence.length === 0 || proposal.evidence.length > 64) {
+        return invalid('query_proposal_evidence_missing');
+    }
+    const evidenceIds = proposal.evidence.map(semanticEvidenceId);
+    if (new Set(evidenceIds).size !== evidenceIds.length) {
+        return invalid('query_proposal_evidence_duplicate');
+    }
+    for (let index = 0; index < evidenceIds.length; index += 1) {
+        const known = knownEvidence.get(evidenceIds[index]);
+        if (!known || stableRuntimeHash(known) !== stableRuntimeHash(proposal.evidence[index])) {
+            return invalid('query_proposal_evidence_invalid');
+        }
+    }
+    const citedEvidenceIds = new Set(input.claims
+        .filter(claim => proposal.sourceClaimIds.includes(claim.claimId))
+        .flatMap(claim => claim.evidenceIds));
+    if (!evidenceIds.some(evidenceId => citedEvidenceIds.has(evidenceId))) {
+        return invalid('query_proposal_evidence_unbound');
+    }
+    const filters = proposal.boundedFilters;
+    if (filters) {
+        if (filters.entityHandles !== undefined
+            && (!boundedUniqueStrings(filters.entityHandles, 32)
+                || !input.allowedEntityHandles
+                || filters.entityHandles.some(handle => !input.allowedEntityHandles.has(handle)))) {
+            return invalid('query_proposal_entity_handle_unknown');
+        }
+        if (filters.sourceIds !== undefined
+            && (!boundedUniqueStrings(filters.sourceIds, 32)
+                || !input.allowedSourceIds
+                || filters.sourceIds.some(sourceId => !input.allowedSourceIds.has(sourceId)))) {
+            return invalid('query_proposal_source_id_unknown');
+        }
+        if (filters.version !== undefined && (!boundedValue(filters.version, 128) || !knownVersion(input.facts, filters.version))) {
+            return invalid('query_proposal_version_unknown');
+        }
+        if (filters.temporalWindow && !validTemporalWindow(filters.temporalWindow)) {
+            return invalid('query_proposal_temporal_window_invalid');
+        }
+    }
+    return { valid: true, proposal: proposal };
+}
+function knownVersion(facts, version) {
+    return facts.knowledgeNeeds.some(need => need.version === version);
+}
+function validTemporalWindow(window) {
+    if (window.from === undefined && window.to === undefined)
+        return false;
+    const from = window.from === undefined ? undefined : Date.parse(window.from);
+    const to = window.to === undefined ? undefined : Date.parse(window.to);
+    return (from === undefined || Number.isFinite(from))
+        && (to === undefined || Number.isFinite(to))
+        && (from === undefined || to === undefined || from <= to);
+}
+function boundedUniqueStrings(values, maximum) {
+    return Array.isArray(values) && values.length <= maximum
+        && values.every(value => boundedValue(value, 256))
+        && new Set(values).size === values.length;
+}
+function boundedId(value) {
+    return boundedValue(value, 512);
+}
+function boundedValue(value, maximum) {
+    return typeof value === 'string' && value.trim() === value && value.length > 0 && value.length <= maximum;
+}
+function invalid(reasonCode) {
+    return { valid: false, reasonCode };
+}
+//# sourceMappingURL=retrieval-query-proposal.js.map

package/dist/retrieval-query-proposal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"retrieval-query-proposal.js","sourceRoot":"","sources":["../src/retrieval-query-proposal.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,kBAAkB,EAClB,iBAAiB,GAKlB,MAAM,oBAAoB,CAAC;AAY5B,MAAM,UAAU,8BAA8B,CAAC,KAO9C;IACC,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;IAChC,IAAI,QAAQ,CAAC,aAAa,KAAK,6BAA6B,EAAE,CAAC;QAC7D,OAAO,OAAO,CAAC,mCAAmC,CAAC,CAAC;IACtD,CAAC;IACD,MAAM,EAAE,YAAY,EAAE,GAAG,YAAY,EAAE,GAAG,QAAQ,CAAC;IACnD,IAAI,iBAAiB,CAAC,YAAY,CAAC,KAAK,YAAY,EAAE,CAAC;QACrD,OAAO,OAAO,CAAC,8BAA8B,CAAC,CAAC;IACjD,CAAC;IACD,IAAI,QAAQ,CAAC,eAAe,KAAK,KAAK,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC;QACvD,OAAO,OAAO,CAAC,+BAA+B,CAAC,CAAC;IAClD,CAAC;IACD,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,CAAC;QAChF,OAAO,OAAO,CAAC,iCAAiC,CAAC,CAAC;IACpD,CAAC;IACD,IAAI,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC;WAC1D,CAAC,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACvD,OAAO,OAAO,CAAC,6BAA6B,CAAC,CAAC;IAChD,CAAC;IACD,MAAM,eAAe,GAAG,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;IAChE,IAAI,CAAC,eAAe,IAAI,eAAe,CAAC,MAAM,GAAG,KAAK,IAAI,eAAe,KAAK,QAAQ,CAAC,KAAK,EAAE,CAAC;QAC7F,OAAO,OAAO,CAAC,8BAA8B,CAAC,CAAC;IACjD,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,QAAQ,CAAC,UAAU,GAAG,CAAC,IAAI,QAAQ,CAAC,UAAU,GAAG,CAAC,EAAE,CAAC;QAChG,OAAO,OAAO,CAAC,mCAAmC,CAAC,CAAC;IACtD,CAAC;IAED,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;IACxE,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,cAAc,EAAE,EAAE,CAAC;WACjD,QAAQ,CAAC,cAAc,CAAC,MAAM,KAAK,CAAC;WACpC,QAAQ,CAAC,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;QAC1E,OAAO,OAAO,CAAC,8BAA8B,CAAC,CAAC;IACjD,CAAC;IAED,MAAM,OAAO,GAAG,KAAK,CAAC,gBAAgB,CAAC,GAAG,CAAC,QAAQ,CAAC,mBAAmB,CAAC,CAAC;IACzE,IAAI,CAAC,OAAO;QAAE,OAAO,OAAO,CAAC,2CAA2C,CAAC,CAAC;IAC1E,MAAM,EAAE,WAAW,EAAE,GAAG,WAAW,EAAE,GAAG,OAAO,CAAC;IAChD,IAAI,iBAAiB,CAAC,WAAW,CAAC,KAAK,WAAW;WAC7C,OAAO,CAAC,WAAW,KAAK,QAAQ,CAAC,mBAAmB;WACpD,OAAO,CAAC,WAAW,KAAK,KAAK,CAAC,KAAK,CAAC,SAAS;WAC7C,OAAO,CAAC,UAAU,KAAK,iBAAiB;WACxC,OAAO,CAAC,MAAM,KAAK,OAAO,EAAE,CAAC;QAChC,OAAO,OAAO,CAAC,yCAAyC,CAAC,CAAC;IAC5D,CAAC;IAED,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,kBAAkB,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC9G,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,EAAE,EAAE,CAAC;QACzG,OAAO,OAAO,CAAC,iCAAiC,CAAC,CAAC;IACpD,CAAC;IACD,MAAM,WAAW,GAAG,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC;IAC9D,IAAI,IAAI,GAAG,CAAC,WAAW,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,MAAM,EAAE,CAAC;QACrD,OAAO,OAAO,CAAC,mCAAmC,CAAC,CAAC;IACtD,CAAC;IACD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,WAAW,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC3D,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,CAAC,WAAW,CAAC,KAAK,CAAE,CAAC,CAAC;QACrD,IAAI,CAAC,KAAK,IAAI,iBAAiB,CAAC,KAAK,CAAC,KAAK,iBAAiB,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;YACvF,OAAO,OAAO,CAAC,iCAAiC,CAAC,CAAC;QACpD,CAAC;IACH,CAAC;IACD,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM;SAC1C,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,QAAQ,CAAC,cAAc,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;SAChE,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC;IACxC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC;QACtE,OAAO,OAAO,CAAC,iCAAiC,CAAC,CAAC;IACpD,CAAC;IAED,MAAM,OAAO,GAAG,QAAQ,CAAC,cAAc,CAAC;IACxC,IAAI,OAAO,EAAE,CAAC;QACZ,IAAI,OAAO,CAAC,aAAa,KAAK,SAAS;eAClC,CAAC,CAAC,oBAAoB,CAAC,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC;mBAC/C,CAAC,KAAK,CAAC,oBAAoB;mBAC3B,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,oBAAqB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;YACvF,OAAO,OAAO,CAAC,sCAAsC,CAAC,CAAC;QACzD,CAAC;QACD,IAAI,OAAO,CAAC,SAAS,KAAK,SAAS;eAC9B,CAAC,CAAC,oBAAoB,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC;mBAC3C,CAAC,KAAK,CAAC,gBAAgB;mBACvB,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,gBAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;YACnF,OAAO,OAAO,CAAC,kCAAkC,CAAC,CAAC;QACrD,CAAC;QACD,IAAI,OAAO,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,CAAC,YAAY,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;YAC1H,OAAO,OAAO,CAAC,gCAAgC,CAAC,CAAC;QACnD,CAAC;QACD,IAAI,OAAO,CAAC,cAAc,IAAI,CAAC,mBAAmB,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE,CAAC;YAC3E,OAAO,OAAO,CAAC,wCAAwC,CAAC,CAAC;QAC3D,CAAC;IACH,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,QAA6C,EAAE,CAAC;AAClF,CAAC;AAED,SAAS,YAAY,CAAC,KAAoB,EAAE,OAAe;IACzD,OAAO,KAAK,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,KAAK,OAAO,CAAC,CAAC;AACrE,CAAC;AAED,SAAS,mBAAmB,CAAC,MAAsC;IACjE,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,EAAE,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACvE,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC7E,MAAM,EAAE,GAAG,MAAM,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACvE,OAAO,CAAC,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;WAC/C,CAAC,EAAE,KAAK,SAAS,IAAI,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;WACzC,CAAC,IAAI,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS,IAAI,IAAI,IAAI,EAAE,CAAC,CAAC;AAC9D,CAAC;AAED,SAAS,oBAAoB,CAAC,MAAgB,EAAE,OAAe;IAC7D,OAAO,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,IAAI,OAAO;WACnD,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;WAC/C,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,MAAM,CAAC;AAC9C,CAAC;AAED,SAAS,SAAS,CAAC,KAAa;IAC9B,OAAO,YAAY,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;AAClC,CAAC;AAED,SAAS,YAAY,CAAC,KAAa,EAAE,OAAe;IAClD,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,KAAK,KAAK,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,MAAM,IAAI,OAAO,CAAC;AAC5G,CAAC;AAED,SAAS,OAAO,CAAC,UAAkB;IACjC,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC;AACtC,CAAC"}

package/dist/retrieval-query-sampling-resolver.d.ts

@@ -0,0 +1,41 @@
+import { ProviderExecutionEnvelope } from '@devflow-tools/provider-runtime';
+import { type ChannelDisposition, type ProviderExecutionReceiptV1, type ProviderExecutionStatus, type RetrievalQueryProposalV1, type SemanticFacts, type SemanticRouteDecision, type ValidatedSemanticClaimV1 } from '@devflow-tools/sdk';
+import type { StructuralSemanticEvidence } from './semantic-structural-evidence.js';
+export interface RetrievalQuerySamplingAdapter {
+    isSupported(): boolean;
+    createMessage(request: {
+        systemPrompt: string;
+        prompt: string;
+        maxTokens: number;
+        timeoutMs: number;
+        modelPreferences: {
+            costPriority: number;
+            speedPriority: number;
+            intelligencePriority: number;
+        };
+    }): Promise<{
+        text: string;
+        model?: string;
+    }>;
+}
+export interface RetrievalQuerySamplingInput {
+    normalizedPrompt: string;
+    sourceHash: string;
+    structural: StructuralSemanticEvidence;
+    route: SemanticRouteDecision;
+    facts: SemanticFacts;
+    claims: ValidatedSemanticClaimV1[];
+    dispositions: ChannelDisposition[];
+    timeoutMs: number;
+}
+export interface RetrievalQuerySamplingOutput {
+    status: ProviderExecutionStatus;
+    proposals: RetrievalQueryProposalV1[];
+    receipt: ProviderExecutionReceiptV1;
+    model?: string;
+    responseHash?: string;
+    latencyMs: number;
+}
+export type RetrievalQuerySamplingResolver = (input: RetrievalQuerySamplingInput) => Promise<RetrievalQuerySamplingOutput>;
+export declare function createRetrievalQuerySamplingResolver(adapter: RetrievalQuerySamplingAdapter, envelope?: ProviderExecutionEnvelope): RetrievalQuerySamplingResolver;
+//# sourceMappingURL=retrieval-query-sampling-resolver.d.ts.map

package/dist/retrieval-query-sampling-resolver.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"retrieval-query-sampling-resolver.d.ts","sourceRoot":"","sources":["../src/retrieval-query-sampling-resolver.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,yBAAyB,EAAE,MAAM,iCAAiC,CAAC;AAC5E,OAAO,EAIL,KAAK,kBAAkB,EACvB,KAAK,0BAA0B,EAC/B,KAAK,uBAAuB,EAC5B,KAAK,wBAAwB,EAC7B,KAAK,aAAa,EAClB,KAAK,qBAAqB,EAC1B,KAAK,wBAAwB,EAC9B,MAAM,oBAAoB,CAAC;AAC5B,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,mCAAmC,CAAC;AAEpF,MAAM,WAAW,6BAA6B;IAC5C,WAAW,IAAI,OAAO,CAAC;IACvB,aAAa,CAAC,OAAO,EAAE;QACrB,YAAY,EAAE,MAAM,CAAC;QACrB,MAAM,EAAE,MAAM,CAAC;QACf,SAAS,EAAE,MAAM,CAAC;QAClB,SAAS,EAAE,MAAM,CAAC;QAClB,gBAAgB,EAAE;YAChB,YAAY,EAAE,MAAM,CAAC;YACrB,aAAa,EAAE,MAAM,CAAC;YACtB,oBAAoB,EAAE,MAAM,CAAC;SAC9B,CAAC;KACH,GAAG,OAAO,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CAC/C;AAED,MAAM,WAAW,2BAA2B;IAC1C,gBAAgB,EAAE,MAAM,CAAC;IACzB,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,0BAA0B,CAAC;IACvC,KAAK,EAAE,qBAAqB,CAAC;IAC7B,KAAK,EAAE,aAAa,CAAC;IACrB,MAAM,EAAE,wBAAwB,EAAE,CAAC;IACnC,YAAY,EAAE,kBAAkB,EAAE,CAAC;IACnC,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,4BAA4B;IAC3C,MAAM,EAAE,uBAAuB,CAAC;IAChC,SAAS,EAAE,wBAAwB,EAAE,CAAC;IACtC,OAAO,EAAE,0BAA0B,CAAC;IACpC,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,MAAM,8BAA8B,GAAG,CAC3C,KAAK,EAAE,2BAA2B,KAC/B,OAAO,CAAC,4BAA4B,CAAC,CAAC;AAwB3C,wBAAgB,oCAAoC,CAClD,OAAO,EAAE,6BAA6B,EACtC,QAAQ,4BAAkC,GACzC,8BAA8B,CA+DhC"}