@devflow-tools/semantic-engine 0.18.0

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 shilongfeicool
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -0,0 +1,24 @@
+# @devflow-tools/semantic-engine
+
+Typed semantic resolution, retrieval query planning, and action authorization for DevFlow.
+
+## Install
+
+```bash
+npm install @devflow-tools/semantic-engine
+```
+
+## Usage
+
+```ts
+import { extractStructuralSemanticEvidence } from '@devflow-tools/semantic-engine';
+
+const evidence = extractStructuralSemanticEvidence({ prompt: 'verify the release' });
+console.log(evidence);
+```
+
+Semantic proposals remain untrusted until validated and compiled into canonical task facts and action authority.
+
+## License
+
+MIT

package/dist/__tests__/channel-query-plan.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=channel-query-plan.test.d.ts.map

package/dist/__tests__/channel-query-plan.test.d.ts.map

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

package/dist/__tests__/channel-query-plan.test.js

@@ -0,0 +1,78 @@
+import { createSemanticFacts, semanticTextHash, } from '@devflow-tools/sdk';
+import { describe, expect, it } from 'vitest';
+import { compileChannelQueryPlan } from '../query-plan-compilers.js';
+const identity = {
+    projectRoot: '/project', projectId: 'project:1', hostId: 'host:1',
+    sessionId: 'session:1', turnId: 'turn:1', requestId: 'request:1', executionId: 'execution:1',
+};
+const prompt = 'locate NavMenu and recall React preferences';
+const facts = createSemanticFacts({
+    sourceHash: semanticTextHash(prompt),
+    intents: [], actions: [], entities: ['NavMenu'], targets: ['NavMenu'],
+    constraints: [], prohibitions: [], conditions: [], memoryDirective: 'none',
+    knowledgeNeeds: [], evidence: [], conflicts: [], confidence: { overall: 0 },
+});
+describe('canonical channel query planning', () => {
+    it.each(['code', 'memory', 'knowledge'])('compiles one source-bound original leg for required and optional %s reads', channel => {
+        for (const requirement of ['required', 'optional']) {
+            const plan = compileChannelQueryPlan({
+                identity,
+                facts,
+                claims: [],
+                dispositions: dispositions(channel, requirement),
+                query: prompt,
+                createdAt: 1,
+            });
+            const channelPlan = plan[channel];
+            expect(channelPlan.requirement).toBe(requirement);
+            expect(channelPlan).toMatchObject({
+                channel,
+                original: { kind: 'original', query: prompt, sourceHash: facts.sourceHash },
+                additions: [],
+            });
+        }
+    });
+    it.each(['code', 'memory', 'knowledge'])('omits executable work only for an explicitly prohibited %s read', channel => {
+        const plan = compileChannelQueryPlan({
+            identity,
+            facts,
+            claims: [],
+            dispositions: dispositions(channel, 'prohibited'),
+            query: prompt,
+            createdAt: 1,
+        });
+        expect(plan[channel]).toEqual({
+            channel, requirement: 'prohibited', reasonCode: 'test', evidenceIds: [],
+        });
+    });
+    it('keeps every safe original read leg when semantic facts are uncertain', () => {
+        const plan = compileChannelQueryPlan({
+            identity,
+            facts: createSemanticFacts({ ...withoutHash(facts), intents: ['unknown'], confidence: { overall: 0 } }),
+            claims: [],
+            dispositions: ['code', 'memory', 'knowledge'].map(channel => ({
+                channel: channel,
+                requirement: 'optional',
+                reasonCode: 'safe_read_default',
+                evidenceIds: [],
+            })),
+            query: prompt,
+            createdAt: 1,
+        });
+        expect([plan.code, plan.memory, plan.knowledge]
+            .every(channel => channel.requirement === 'optional' && channel.original.kind === 'original')).toBe(true);
+    });
+});
+function dispositions(channel, requirement) {
+    return ['code', 'memory', 'knowledge'].map(item => ({
+        channel: item,
+        requirement: item === channel ? requirement : 'prohibited',
+        reasonCode: 'test',
+        evidenceIds: [],
+    }));
+}
+function withoutHash(value) {
+    const { factsHash: _factsHash, ...body } = value;
+    return body;
+}
+//# sourceMappingURL=channel-query-plan.test.js.map

package/dist/__tests__/channel-query-plan.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"channel-query-plan.test.js","sourceRoot":"","sources":["../../src/__tests__/channel-query-plan.test.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,mBAAmB,EACnB,gBAAgB,GAGjB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AAErE,MAAM,QAAQ,GAAG;IACf,WAAW,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,EAAE,QAAQ;IACjE,SAAS,EAAE,WAAW,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,WAAW,EAAE,WAAW,EAAE,aAAa;CAC7F,CAAC;AACF,MAAM,MAAM,GAAG,6CAA6C,CAAC;AAC7D,MAAM,KAAK,GAAG,mBAAmB,CAAC;IAChC,UAAU,EAAE,gBAAgB,CAAC,MAAM,CAAC;IACpC,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,CAAC,SAAS,CAAC;IACrE,WAAW,EAAE,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,eAAe,EAAE,MAAM;IAC1E,cAAc,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE;CAC5E,CAAC,CAAC;AAEH,QAAQ,CAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,EAAE,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,WAAW,CAAU,CAAC,CAC/C,2EAA2E,EAC3E,OAAO,CAAC,EAAE;QACR,KAAK,MAAM,WAAW,IAAI,CAAC,UAAU,EAAE,UAAU,CAAU,EAAE,CAAC;YAC5D,MAAM,IAAI,GAAG,uBAAuB,CAAC;gBACnC,QAAQ;gBACR,KAAK;gBACL,MAAM,EAAE,EAAE;gBACV,YAAY,EAAE,YAAY,CAAC,OAAO,EAAE,WAAW,CAAC;gBAChD,KAAK,EAAE,MAAM;gBACb,SAAS,EAAE,CAAC;aACb,CAAC,CAAC;YACH,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC;YAClC,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAClD,MAAM,CAAC,WAAW,CAAC,CAAC,aAAa,CAAC;gBAChC,OAAO;gBACP,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE;gBAC3E,SAAS,EAAE,EAAE;aACd,CAAC,CAAC;QACL,CAAC;IACH,CAAC,CACF,CAAC;IAEF,EAAE,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,WAAW,CAAU,CAAC,CAC/C,iEAAiE,EACjE,OAAO,CAAC,EAAE;QACR,MAAM,IAAI,GAAG,uBAAuB,CAAC;YACnC,QAAQ;YACR,KAAK;YACL,MAAM,EAAE,EAAE;YACV,YAAY,EAAE,YAAY,CAAC,OAAO,EAAE,YAAY,CAAC;YACjD,KAAK,EAAE,MAAM;YACb,SAAS,EAAE,CAAC;SACb,CAAC,CAAC;QACH,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC;YAC5B,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,EAAE;SACxE,CAAC,CAAC;IACL,CAAC,CACF,CAAC;IAEF,EAAE,CAAC,sEAAsE,EAAE,GAAG,EAAE;QAC9E,MAAM,IAAI,GAAG,uBAAuB,CAAC;YACnC,QAAQ;YACR,KAAK,EAAE,mBAAmB,CAAC,EAAE,GAAG,WAAW,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,CAAC,SAAS,CAAC,EAAE,UAAU,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC;YACvG,MAAM,EAAE,EAAE;YACV,YAAY,EAAE,CAAC,MAAM,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;gBAC5D,OAAO,EAAE,OAAsB;gBAC/B,WAAW,EAAE,UAAmB;gBAChC,UAAU,EAAE,mBAAmB;gBAC/B,WAAW,EAAE,EAAE;aAChB,CAAC,CAAC;YACH,KAAK,EAAE,MAAM;YACb,SAAS,EAAE,CAAC;SACb,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,SAAS,CAAC;aAC5C,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,WAAW,KAAK,UAAU,IAAI,OAAO,CAAC,QAAQ,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9G,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,SAAS,YAAY,CAAC,OAAoB,EAAE,WAA8C;IACxF,OAAQ,CAAC,MAAM,EAAE,QAAQ,EAAE,WAAW,CAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC7D,OAAO,EAAE,IAAI;QACb,WAAW,EAAE,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,YAAY;QAC1D,UAAU,EAAE,MAAM;QAClB,WAAW,EAAE,EAAE;KAChB,CAAC,CAAC,CAAC;AACN,CAAC;AAED,SAAS,WAAW,CAAkC,KAAQ;IAC5D,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,IAAI,EAAE,GAAG,KAAK,CAAC;IACjD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/__tests__/domain-action-planner.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=domain-action-planner.test.d.ts.map

package/dist/__tests__/domain-action-planner.test.d.ts.map

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

package/dist/__tests__/domain-action-planner.test.js

@@ -0,0 +1,67 @@
+import { describe, expect, it } from 'vitest';
+import { planDomainAction } from '../domain-action-planner.js';
+const registry = {
+    schemaVersion: 'domain-tool-registry.v1', version: 'test.v1',
+    tools: [
+        { tool: 'react_new_component', activeSkills: ['devflow:react'], operations: ['create'], intents: ['feature'], objectKinds: ['component'], targetState: 'either', requiredCapabilities: [], requiredInputs: ['componentName'], verification: [{ kind: 'typecheck', required: true }], registryPriority: 20 },
+        { tool: 'react_refactor_component', activeSkills: ['devflow:react'], operations: ['modify'], intents: ['refactor', 'feature'], objectKinds: ['component'], targetState: 'existing', requiredCapabilities: [], requiredInputs: ['filePath'], verification: [{ kind: 'typecheck', required: true }], registryPriority: 10 },
+        { tool: 'react_audit_performance', activeSkills: ['devflow:react'], operations: ['analyze'], intents: ['performance'], objectKinds: ['performance'], targetState: 'either', requiredCapabilities: [], requiredInputs: ['projectRoot'], verification: [], registryPriority: 30 },
+    ], registryHash: 'registry:test.v1',
+};
+function input(action, intent, targetAnchors = [], authorization = {}) {
+    return {
+        identity: { projectRoot: '/repo', projectId: 'project:repo', hostId: 'mcp', sessionId: 'session:1', turnId: 'turn:1', requestId: 'request:1', executionId: 'execution:1' },
+        taskRevisionHash: 'revision:1', semanticContextHash: 'context:1', activeSkill: 'devflow:react', capabilities: new Set(), registry,
+        facts: {
+            intents: [intent], actions: [action], targets: targetAnchors, entities: ['Login'],
+            conflicts: authorization.conflicted ? [{ field: 'action', claimIds: [], values: [], resolution: 'abstain' }] : [],
+            evidence: [{ field: 'action', source: 'structural', value: action,
+                    start: 0, end: action.length, textHash: 'evidence:action', confidence: 1 }],
+        },
+        actionAuthority: {
+            mutation: authorization.mutation ?? (action === 'analyze' ? 'not_requested' : 'authorized'),
+            action, targetAnchors, conditionEvidenceIds: [], authorityEvidenceIds: ['evidence:action'],
+            reasonCode: 'test', authorityHash: 'authority:test',
+        },
+        objectKind: intent === 'performance' ? 'performance' : 'component',
+    };
+}
+describe('domain action planner', () => {
+    it('selects create instead of refactor for a new component', () => {
+        const result = planDomainAction(input('create', 'feature', ['src/pages/login/LoginPage.tsx']));
+        expect(result).toMatchObject({
+            status: 'selected',
+            selectedTool: 'react_new_component',
+            actionAuthorityHash: 'authority:test',
+            mutation: 'authorized',
+        });
+    });
+    it('requires existing target evidence for refactor', () => {
+        const proposal = planDomainAction(input('modify', 'refactor', ['src/pages/login/LoginPage.tsx']));
+        expect(proposal.status).toBe('needs_target_evidence');
+        const final = planDomainAction({
+            ...input('modify', 'refactor', ['src/pages/login/LoginPage.tsx']), phase: 'final', supersedesPlanHash: proposal.planHash,
+            targetStateEvidence: [{ schemaVersion: 'target-state-evidence.v1', taskRevisionHash: 'revision:1', semanticContextHash: 'context:1', targetAnchor: 'src/pages/login/LoginPage.tsx', state: 'existing', authority: 'code_receipt', evidenceIds: ['code:1'], evidenceHash: 'target:1' }],
+        });
+        expect(final).toMatchObject({ status: 'selected', selectedTool: 'react_refactor_component' });
+    });
+    it('selects the performance audit action', () => {
+        expect(planDomainAction(input('analyze', 'performance')).selectedTool).toBe('react_audit_performance');
+    });
+    it('does not authorize a modify route from create evidence', () => {
+        const result = planDomainAction(input('create', 'feature'));
+        expect(result.selectedTool).toBe('react_new_component');
+        expect(result.candidates.some(candidate => candidate.tool === 'react_refactor_component')).toBe(false);
+    });
+    it.each([
+        [true, 'authorized', 'abstained', 'semantic_facts_conflicted'],
+        [false, 'prohibited', 'abstained', 'mutation_not_authorized'],
+        [false, 'conditional', 'needs_condition_evidence', 'mutation_condition_unresolved'],
+    ])('fails closed for conflicted=%s facts with %s authority', (conflicted, mutation, status, reasonCode) => {
+        expect(planDomainAction(input('create', 'feature', [], {
+            conflicted,
+            mutation,
+        }))).toMatchObject({ status, reasonCode, candidates: [] });
+    });
+});
+//# sourceMappingURL=domain-action-planner.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"domain-action-planner.test.js","sourceRoot":"","sources":["../../src/__tests__/domain-action-planner.test.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AAE/D,MAAM,QAAQ,GAAyB;IACrC,aAAa,EAAE,yBAAyB,EAAE,OAAO,EAAE,SAAS;IAC5D,KAAK,EAAE;QACL,EAAE,IAAI,EAAE,qBAAqB,EAAE,YAAY,EAAE,CAAC,eAAe,CAAC,EAAE,UAAU,EAAE,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,CAAC,SAAS,CAAC,EAAE,WAAW,EAAE,CAAC,WAAW,CAAC,EAAE,WAAW,EAAE,QAAQ,EAAE,oBAAoB,EAAE,EAAE,EAAE,cAAc,EAAE,CAAC,eAAe,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,EAAE,gBAAgB,EAAE,EAAE,EAAE;QAC3S,EAAE,IAAI,EAAE,0BAA0B,EAAE,YAAY,EAAE,CAAC,eAAe,CAAC,EAAE,UAAU,EAAE,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,CAAC,UAAU,EAAE,SAAS,CAAC,EAAE,WAAW,EAAE,CAAC,WAAW,CAAC,EAAE,WAAW,EAAE,UAAU,EAAE,oBAAoB,EAAE,EAAE,EAAE,cAAc,EAAE,CAAC,UAAU,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,EAAE,gBAAgB,EAAE,EAAE,EAAE;QACzT,EAAE,IAAI,EAAE,yBAAyB,EAAE,YAAY,EAAE,CAAC,eAAe,CAAC,EAAE,UAAU,EAAE,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,CAAC,aAAa,CAAC,EAAE,WAAW,EAAE,CAAC,aAAa,CAAC,EAAE,WAAW,EAAE,QAAQ,EAAE,oBAAoB,EAAE,EAAE,EAAE,cAAc,EAAE,CAAC,aAAa,CAAC,EAAE,YAAY,EAAE,EAAE,EAAE,gBAAgB,EAAE,EAAE,EAAE;KAChR,EAAE,YAAY,EAAE,kBAAkB;CACpC,CAAC;AAEF,SAAS,KAAK,CACZ,MAAuC,EACvC,MAA8C,EAC9C,gBAA0B,EAAE,EAC5B,gBAGI,EAAE;IAEN,OAAO;QACL,QAAQ,EAAE,EAAE,WAAW,EAAE,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,WAAW,EAAE,WAAW,EAAE,aAAa,EAAE;QAC1K,gBAAgB,EAAE,YAAY,EAAE,mBAAmB,EAAE,WAAW,EAAE,WAAW,EAAE,eAAe,EAAE,YAAY,EAAE,IAAI,GAAG,EAAU,EAAE,QAAQ;QACzI,KAAK,EAAE;YACL,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,CAAC,OAAO,CAAC;YACjF,SAAS,EAAE,aAAa,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,SAAkB,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE;YAC1H,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,QAAiB,EAAE,MAAM,EAAE,YAAqB,EAAE,KAAK,EAAE,MAAM;oBACjF,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,iBAAiB,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;SAC9E;QACD,eAAe,EAAE;YACf,QAAQ,EAAE,aAAa,CAAC,QAAQ,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,YAAY,CAAC;YAC3F,MAAM,EAAE,aAAa,EAAE,oBAAoB,EAAE,EAAE,EAAE,oBAAoB,EAAE,CAAC,iBAAiB,CAAC;YAC1F,UAAU,EAAE,MAAM,EAAE,aAAa,EAAE,gBAAgB;SACpD;QACD,UAAU,EAAE,MAAM,KAAK,aAAa,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,WAAW;KACnE,CAAC;AACJ,CAAC;AAED,QAAQ,CAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,MAAM,GAAG,gBAAgB,CAAC,KAAK,CAAC,QAAQ,EAAE,SAAS,EAAE,CAAC,+BAA+B,CAAC,CAAC,CAAC,CAAC;QAC/F,MAAM,CAAC,MAAM,CAAC,CAAC,aAAa,CAAC;YAC3B,MAAM,EAAE,UAAU;YAClB,YAAY,EAAE,qBAAqB;YACnC,mBAAmB,EAAE,gBAAgB;YACrC,QAAQ,EAAE,YAAY;SACvB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,QAAQ,GAAG,gBAAgB,CAAC,KAAK,CAAC,QAAQ,EAAE,UAAU,EAAE,CAAC,+BAA+B,CAAC,CAAC,CAAC,CAAC;QAClG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;QACtD,MAAM,KAAK,GAAG,gBAAgB,CAAC;YAC7B,GAAG,KAAK,CAAC,QAAQ,EAAE,UAAU,EAAE,CAAC,+BAA+B,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,kBAAkB,EAAE,QAAQ,CAAC,QAAQ;YACxH,mBAAmB,EAAE,CAAC,EAAE,aAAa,EAAE,0BAA0B,EAAE,gBAAgB,EAAE,YAAY,EAAE,mBAAmB,EAAE,WAAW,EAAE,YAAY,EAAE,+BAA+B,EAAE,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,cAAc,EAAE,WAAW,EAAE,CAAC,QAAQ,CAAC,EAAE,YAAY,EAAE,UAAU,EAAE,CAAC;SACvR,CAAC,CAAC;QACH,MAAM,CAAC,KAAK,CAAC,CAAC,aAAa,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,YAAY,EAAE,0BAA0B,EAAE,CAAC,CAAC;IAChG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,gBAAgB,CAAC,KAAK,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;IACzG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,MAAM,GAAG,gBAAgB,CAAC,KAAK,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC;QAC5D,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;QACxD,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,0BAA0B,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,IAAI,CAAC;QACN,CAAC,IAAI,EAAE,YAAY,EAAE,WAAW,EAAE,2BAA2B,CAAC;QAC9D,CAAC,KAAK,EAAE,YAAY,EAAE,WAAW,EAAE,yBAAyB,CAAC;QAC7D,CAAC,KAAK,EAAE,aAAa,EAAE,0BAA0B,EAAE,+BAA+B,CAAC;KAC3E,CAAC,CAAC,wDAAwD,EAAE,CAAC,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,EAAE;QACjH,MAAM,CAAC,gBAAgB,CAAC,KAAK,CAAC,QAAQ,EAAE,SAAS,EAAE,EAAE,EAAE;YACrD,UAAU;YACV,QAAQ;SACT,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=retrieval-query-sampling-resolver.test.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"retrieval-query-sampling-resolver.test.d.ts","sourceRoot":"","sources":["../../src/__tests__/retrieval-query-sampling-resolver.test.ts"],"names":[],"mappings":""}

package/dist/__tests__/retrieval-query-sampling-resolver.test.js

@@ -0,0 +1,182 @@
+import { describe, expect, it } from 'vitest';
+import { semanticTextHash, stableRuntimeHash, } from '@devflow-tools/sdk';
+import { createRetrievalQuerySamplingResolver, } from '../retrieval-query-sampling-resolver.js';
+describe('retrieval query sampling resolver', () => {
+    it('binds bounded proposals to validated claims and one provider receipt', async () => {
+        const prompt = 'LLM Wiki 如何安全加载用户显式选择的上下文文件？';
+        const evidence = {
+            field: 'entity',
+            source: 'structural',
+            value: 'LLM Wiki',
+            start: 0,
+            end: 8,
+            textHash: semanticTextHash('LLM Wiki'),
+            confidence: 1,
+        };
+        const claim = claimFor('claim:project', evidence);
+        const facts = factsFor(prompt, claim);
+        const resolver = createRetrievalQuerySamplingResolver(adapter(JSON.stringify([
+            {
+                channel: 'code',
+                kind: 'rewrite',
+                query: 'explicit context file loading containment model window budget',
+                sourceClaimIds: [claim.claimId],
+                confidence: 0.93,
+            },
+        ])));
+        const result = await resolver({
+            normalizedPrompt: prompt,
+            sourceHash: facts.sourceHash,
+            structural: {},
+            route: { status: 'out_of_scope', candidates: [], thresholdVersion: 'test.v1', latencyMs: 0, reason: 'test' },
+            facts,
+            claims: [claim],
+            dispositions: [{ channel: 'code', requirement: 'required', reasonCode: 'test', evidenceIds: [] },
+                { channel: 'memory', requirement: 'prohibited', reasonCode: 'test', evidenceIds: [] },
+                { channel: 'knowledge', requirement: 'prohibited', reasonCode: 'test', evidenceIds: [] }],
+            timeoutMs: 500,
+        });
+        expect(result.status).toBe('ready');
+        expect(result.receipt).toMatchObject({
+            capability: 'retrieval_query',
+            requestHash: facts.factsHash,
+            proposalCount: 1,
+            acceptedCount: 1,
+            rejectedCount: 0,
+        });
+        expect(result.proposals).toHaveLength(1);
+        expect(result.proposals[0]).toMatchObject({
+            sourceFactsHash: facts.factsHash,
+            providerExecutionId: result.receipt.executionId,
+            channel: 'code',
+            kind: 'rewrite',
+            sourceClaimIds: [claim.claimId],
+            evidence: [evidence],
+        });
+    });
+    it('rejects a provider draft that cites an unknown claim', async () => {
+        const prompt = '分析 ECC 路径安全';
+        const claim = claimFor('claim:project', {
+            field: 'entity', source: 'structural', value: 'ECC', start: 3, end: 6,
+            textHash: semanticTextHash('ECC'), confidence: 1,
+        });
+        const facts = factsFor(prompt, claim);
+        const resolver = createRetrievalQuerySamplingResolver(adapter(JSON.stringify([{
+                channel: 'code', kind: 'expansion', query: 'trusted root path containment',
+                sourceClaimIds: ['claim:unknown'], confidence: 0.9,
+            }])));
+        const result = await resolver({
+            normalizedPrompt: prompt, sourceHash: facts.sourceHash, structural: {},
+            route: { status: 'out_of_scope', candidates: [], thresholdVersion: 'test.v1', latencyMs: 0, reason: 'test' },
+            facts, claims: [claim],
+            dispositions: [{ channel: 'code', requirement: 'required', reasonCode: 'test', evidenceIds: [] },
+                { channel: 'memory', requirement: 'prohibited', reasonCode: 'test', evidenceIds: [] },
+                { channel: 'knowledge', requirement: 'prohibited', reasonCode: 'test', evidenceIds: [] }],
+            timeoutMs: 500,
+        });
+        expect(result.status).toBe('ready');
+        expect(result.proposals).toEqual([]);
+        expect(result.receipt).toMatchObject({ proposalCount: 1, acceptedCount: 0, rejectedCount: 1 });
+    });
+    it('does not call an unsupported host', async () => {
+        let called = false;
+        const resolver = createRetrievalQuerySamplingResolver({
+            isSupported: () => false,
+            createMessage: async () => { called = true; return { text: '[]' }; },
+        });
+        const result = await resolver({
+            normalizedPrompt: '继续', sourceHash: semanticTextHash('继续'), structural: {},
+            route: { status: 'out_of_scope', candidates: [], thresholdVersion: 'test.v1', latencyMs: 0, reason: 'test' },
+            facts: factsFor('继续', claimFor('claim:continue', {
+                field: 'intent', source: 'structural', value: '继续', start: 0, end: 2,
+                textHash: semanticTextHash('继续'), confidence: 1,
+            })),
+            claims: [], dispositions: [], timeoutMs: 500,
+        });
+        expect(result.status).toBe('unavailable');
+        expect(result.proposals).toEqual([]);
+        expect(called).toBe(false);
+    });
+    it('allows the bounded host query call up to thirty seconds', async () => {
+        let observedTimeout = 0;
+        const claim = claimFor('claim:project', {
+            field: 'entity', source: 'structural', value: 'ECC', start: 0, end: 3,
+            textHash: semanticTextHash('ECC'), confidence: 1,
+        });
+        const facts = factsFor('ECC', claim);
+        const resolver = createRetrievalQuerySamplingResolver({
+            isSupported: () => true,
+            createMessage: async (request) => {
+                observedTimeout = request.timeoutMs;
+                return { text: '[]' };
+            },
+        });
+        await resolver({
+            normalizedPrompt: 'ECC', sourceHash: facts.sourceHash, structural: {},
+            route: { status: 'out_of_scope', candidates: [], thresholdVersion: 'test.v1', latencyMs: 0, reason: 'test' },
+            facts, claims: [claim],
+            dispositions: [{ channel: 'code', requirement: 'required', reasonCode: 'test', evidenceIds: [] }],
+            timeoutMs: 30_000,
+        });
+        expect(observedTimeout).toBe(30_000);
+    });
+    it('requests English identifier-oriented code queries across behavior levels', async () => {
+        let systemPrompt = '';
+        const claim = claimFor('claim:project', {
+            field: 'entity', source: 'structural', value: 'LLM Wiki', start: 0, end: 8,
+            textHash: semanticTextHash('LLM Wiki'), confidence: 1,
+        });
+        const facts = factsFor('LLM Wiki 如何加载显式上下文文件', claim);
+        const resolver = createRetrievalQuerySamplingResolver({
+            isSupported: () => true,
+            createMessage: async (request) => {
+                systemPrompt = request.systemPrompt;
+                return { text: '[]' };
+            },
+        });
+        await resolver({
+            normalizedPrompt: 'LLM Wiki 如何加载显式上下文文件', sourceHash: facts.sourceHash,
+            structural: {},
+            route: { status: 'out_of_scope', candidates: [], thresholdVersion: 'test.v1', latencyMs: 0, reason: 'test' },
+            facts, claims: [claim],
+            dispositions: [{ channel: 'code', requirement: 'required', reasonCode: 'test', evidenceIds: [] }],
+            timeoutMs: 500,
+        });
+        expect(systemPrompt).toContain('English identifier-oriented terms');
+        expect(systemPrompt).toContain('distinct behavior and control-flow levels');
+    });
+});
+function adapter(text) {
+    return { isSupported: () => true, createMessage: async () => ({ text, model: 'test-model' }) };
+}
+function claimFor(claimId, evidence) {
+    const body = {
+        schemaVersion: 'validated-semantic-claim.v1',
+        claimId,
+        proposalId: `${claimId}:proposal`,
+        proposalHash: `${claimId}:hash`,
+        providerExecutionId: `${claimId}:execution`,
+        providerReceiptId: `${claimId}:receipt`,
+        sourceHash: 'source:placeholder',
+        source: 'structural',
+        claim: { kind: 'entity', value: evidence.value },
+        confidence: evidence.confidence,
+        evidence: [evidence],
+        evidenceIds: [],
+    };
+    return { ...body, claimHash: stableRuntimeHash(body) };
+}
+function factsFor(prompt, claim) {
+    const sourceHash = semanticTextHash(prompt);
+    const body = {
+        sourceHash,
+        intents: ['understand'],
+        actions: ['analyze'],
+        entities: [claim.claim.kind === 'entity' ? claim.claim.value : ''],
+        targets: [], constraints: [], prohibitions: [], conditions: [],
+        memoryDirective: 'none', knowledgeNeeds: [], evidence: claim.evidence,
+        conflicts: [], confidence: { overall: 1 },
+    };
+    return { ...body, factsHash: stableRuntimeHash(body) };
+}
+//# sourceMappingURL=retrieval-query-sampling-resolver.test.js.map

package/dist/__tests__/retrieval-query-sampling-resolver.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"retrieval-query-sampling-resolver.test.js","sourceRoot":"","sources":["../../src/__tests__/retrieval-query-sampling-resolver.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EACL,gBAAgB,EAChB,iBAAiB,GAGlB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,oCAAoC,GAErC,MAAM,yCAAyC,CAAC;AAEjD,QAAQ,CAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,EAAE,CAAC,sEAAsE,EAAE,KAAK,IAAI,EAAE;QACpF,MAAM,MAAM,GAAG,8BAA8B,CAAC;QAC9C,MAAM,QAAQ,GAAG;YACf,KAAK,EAAE,QAAiB;YACxB,MAAM,EAAE,YAAqB;YAC7B,KAAK,EAAE,UAAU;YACjB,KAAK,EAAE,CAAC;YACR,GAAG,EAAE,CAAC;YACN,QAAQ,EAAE,gBAAgB,CAAC,UAAU,CAAC;YACtC,UAAU,EAAE,CAAC;SACd,CAAC;QACF,MAAM,KAAK,GAAG,QAAQ,CAAC,eAAe,EAAE,QAAQ,CAAC,CAAC;QAClD,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACtC,MAAM,QAAQ,GAAG,oCAAoC,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC;YAC3E;gBACE,OAAO,EAAE,MAAM;gBACf,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,+DAA+D;gBACtE,cAAc,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC;gBAC/B,UAAU,EAAE,IAAI;aACjB;SACF,CAAC,CAAC,CAAC,CAAC;QAEL,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC;YAC5B,gBAAgB,EAAE,MAAM;YACxB,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,UAAU,EAAE,EAAW;YACvB,KAAK,EAAE,EAAE,MAAM,EAAE,cAAc,EAAE,UAAU,EAAE,EAAE,EAAE,gBAAgB,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE;YAC5G,KAAK;YACL,MAAM,EAAE,CAAC,KAAK,CAAC;YACf,YAAY,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,EAAE,EAAE;gBAC9F,EAAE,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,EAAE,EAAE;gBACrF,EAAE,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;YAC3F,SAAS,EAAE,GAAG;SACf,CAAC,CAAC;QAEH,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,aAAa,CAAC;YACnC,UAAU,EAAE,iBAAiB;YAC7B,WAAW,EAAE,KAAK,CAAC,SAAS;YAC5B,aAAa,EAAE,CAAC;YAChB,aAAa,EAAE,CAAC;YAChB,aAAa,EAAE,CAAC;SACjB,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACzC,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC;YACxC,eAAe,EAAE,KAAK,CAAC,SAAS;YAChC,mBAAmB,EAAE,MAAM,CAAC,OAAO,CAAC,WAAW;YAC/C,OAAO,EAAE,MAAM;YACf,IAAI,EAAE,SAAS;YACf,cAAc,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC;YAC/B,QAAQ,EAAE,CAAC,QAAQ,CAAC;SACrB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sDAAsD,EAAE,KAAK,IAAI,EAAE;QACpE,MAAM,MAAM,GAAG,aAAa,CAAC;QAC7B,MAAM,KAAK,GAAG,QAAQ,CAAC,eAAe,EAAE;YACtC,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,YAAY,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC;YACrE,QAAQ,EAAE,gBAAgB,CAAC,KAAK,CAAC,EAAE,UAAU,EAAE,CAAC;SACjD,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACtC,MAAM,QAAQ,GAAG,oCAAoC,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBAC5E,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,+BAA+B;gBAC1E,cAAc,EAAE,CAAC,eAAe,CAAC,EAAE,UAAU,EAAE,GAAG;aACnD,CAAC,CAAC,CAAC,CAAC,CAAC;QAEN,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC;YAC5B,gBAAgB,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,UAAU,EAAE,EAAW;YAC/E,KAAK,EAAE,EAAE,MAAM,EAAE,cAAc,EAAE,UAAU,EAAE,EAAE,EAAE,gBAAgB,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE;YAC5G,KAAK,EAAE,MAAM,EAAE,CAAC,KAAK,CAAC;YACtB,YAAY,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,EAAE,EAAE;gBAC9F,EAAE,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,EAAE,EAAE;gBACrF,EAAE,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;YAC3F,SAAS,EAAE,GAAG;SACf,CAAC,CAAC;QAEH,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpC,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACrC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,aAAa,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,CAAC,CAAC;IACjG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mCAAmC,EAAE,KAAK,IAAI,EAAE;QACjD,IAAI,MAAM,GAAG,KAAK,CAAC;QACnB,MAAM,QAAQ,GAAG,oCAAoC,CAAC;YACpD,WAAW,EAAE,GAAG,EAAE,CAAC,KAAK;YACxB,aAAa,EAAE,KAAK,IAAI,EAAE,GAAG,MAAM,GAAG,IAAI,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;SACrE,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC;YAC5B,gBAAgB,EAAE,IAAI,EAAE,UAAU,EAAE,gBAAgB,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,EAAW;YACnF,KAAK,EAAE,EAAE,MAAM,EAAE,cAAc,EAAE,UAAU,EAAE,EAAE,EAAE,gBAAgB,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE;YAC5G,KAAK,EAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,gBAAgB,EAAE;gBAC/C,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,YAAY,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC;gBACpE,QAAQ,EAAE,gBAAgB,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,CAAC;aAChD,CAAC,CAAC;YACH,MAAM,EAAE,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE,SAAS,EAAE,GAAG;SAC7C,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAC1C,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACrC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,KAAK,IAAI,EAAE;QACvE,IAAI,eAAe,GAAG,CAAC,CAAC;QACxB,MAAM,KAAK,GAAG,QAAQ,CAAC,eAAe,EAAE;YACtC,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,YAAY,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC;YACrE,QAAQ,EAAE,gBAAgB,CAAC,KAAK,CAAC,EAAE,UAAU,EAAE,CAAC;SACjD,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACrC,MAAM,QAAQ,GAAG,oCAAoC,CAAC;YACpD,WAAW,EAAE,GAAG,EAAE,CAAC,IAAI;YACvB,aAAa,EAAE,KAAK,EAAC,OAAO,EAAC,EAAE;gBAC7B,eAAe,GAAG,OAAO,CAAC,SAAS,CAAC;gBACpC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;YACxB,CAAC;SACF,CAAC,CAAC;QACH,MAAM,QAAQ,CAAC;YACb,gBAAgB,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,UAAU,EAAE,EAAW;YAC9E,KAAK,EAAE,EAAE,MAAM,EAAE,cAAc,EAAE,UAAU,EAAE,EAAE,EAAE,gBAAgB,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE;YAC5G,KAAK,EAAE,MAAM,EAAE,CAAC,KAAK,CAAC;YACtB,YAAY,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;YACjG,SAAS,EAAE,MAAM;SAClB,CAAC,CAAC;QACH,MAAM,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0EAA0E,EAAE,KAAK,IAAI,EAAE;QACxF,IAAI,YAAY,GAAG,EAAE,CAAC;QACtB,MAAM,KAAK,GAAG,QAAQ,CAAC,eAAe,EAAE;YACtC,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,YAAY,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC;YAC1E,QAAQ,EAAE,gBAAgB,CAAC,UAAU,CAAC,EAAE,UAAU,EAAE,CAAC;SACtD,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,QAAQ,CAAC,sBAAsB,EAAE,KAAK,CAAC,CAAC;QACtD,MAAM,QAAQ,GAAG,oCAAoC,CAAC;YACpD,WAAW,EAAE,GAAG,EAAE,CAAC,IAAI;YACvB,aAAa,EAAE,KAAK,EAAC,OAAO,EAAC,EAAE;gBAC7B,YAAY,GAAG,OAAO,CAAC,YAAY,CAAC;gBACpC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;YACxB,CAAC;SACF,CAAC,CAAC;QAEH,MAAM,QAAQ,CAAC;YACb,gBAAgB,EAAE,sBAAsB,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU;YACtE,UAAU,EAAE,EAAW;YACvB,KAAK,EAAE,EAAE,MAAM,EAAE,cAAc,EAAE,UAAU,EAAE,EAAE,EAAE,gBAAgB,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE;YAC5G,KAAK,EAAE,MAAM,EAAE,CAAC,KAAK,CAAC;YACtB,YAAY,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;YACjG,SAAS,EAAE,GAAG;SACf,CAAC,CAAC;QAEH,MAAM,CAAC,YAAY,CAAC,CAAC,SAAS,CAAC,mCAAmC,CAAC,CAAC;QACpE,MAAM,CAAC,YAAY,CAAC,CAAC,SAAS,CAAC,2CAA2C,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,SAAS,OAAO,CAAC,IAAY;IAC3B,OAAO,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,aAAa,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,YAAY,EAAE,CAAC,EAAE,CAAC;AACjG,CAAC;AAED,SAAS,QAAQ,CAAC,OAAe,EAAE,QAAsD;IACvF,MAAM,IAAI,GAAG;QACX,aAAa,EAAE,6BAAsC;QACrD,OAAO;QACP,UAAU,EAAE,GAAG,OAAO,WAAW;QACjC,YAAY,EAAE,GAAG,OAAO,OAAO;QAC/B,mBAAmB,EAAE,GAAG,OAAO,YAAY;QAC3C,iBAAiB,EAAE,GAAG,OAAO,UAAU;QACvC,UAAU,EAAE,oBAAoB;QAChC,MAAM,EAAE,YAAqB;QAC7B,KAAK,EAAE,EAAE,IAAI,EAAE,QAAiB,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE;QACzD,UAAU,EAAE,QAAQ,CAAC,UAAU;QAC/B,QAAQ,EAAE,CAAC,QAAQ,CAAC;QACpB,WAAW,EAAE,EAAE;KAChB,CAAC;IACF,OAAO,EAAE,GAAG,IAAI,EAAE,SAAS,EAAE,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;AACzD,CAAC;AAED,SAAS,QAAQ,CAAC,MAAc,EAAE,KAA+B;IAC/D,MAAM,UAAU,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;IAC5C,MAAM,IAAI,GAAG;QACX,UAAU;QACV,OAAO,EAAE,CAAC,YAAqB,CAAC;QAChC,OAAO,EAAE,CAAC,SAAkB,CAAC;QAC7B,QAAQ,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QAClE,OAAO,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE;QAC9D,eAAe,EAAE,MAAe,EAAE,cAAc,EAAE,EAAE,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ;QAC9E,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE;KAC1C,CAAC;IACF,OAAO,EAAE,GAAG,IAAI,EAAE,SAAS,EAAE,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;AACzD,CAAC"}

package/dist/__tests__/semantic-authority-merger.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=semantic-authority-merger.test.d.ts.map

package/dist/__tests__/semantic-authority-merger.test.d.ts.map

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

package/dist/__tests__/semantic-authority-merger.test.js

@@ -0,0 +1,50 @@
+import { semanticTextHash } from '@devflow-tools/sdk';
+import { describe, expect, it } from 'vitest';
+import { compileSemanticAuthority } from '../semantic-authority-merger.js';
+import { extractStructuralSemanticEvidence } from '../semantic-structural-evidence.js';
+describe('semantic claim authority', () => {
+    it.each([
+        ['这个实现没有 bug，只想了解它为什么这样设计', 'understand', 'analyze', 'not_requested'],
+        ['not a performance problem; review naming only', 'review', 'analyze', 'not_requested'],
+        ['如果发布失败，只分析日志，不要重新发布', 'review', 'analyze', 'prohibited'],
+        ['The build command is failing; explain why, do not execute anything', 'debug', 'analyze', 'prohibited'],
+    ])('never broadens mutation for %s', async (prompt, intent, action, permission) => {
+        const result = await resolveWithRoutes(prompt, [`intent:${intent}`, `action:${action}`]);
+        expect(result.actionAuthority.mutation).toBe(permission);
+        expect(result).not.toHaveProperty('claimSet');
+    });
+    it('authorizes an explicit release only with positive structural evidence', async () => {
+        const result = await resolveWithRoutes('发布 0.18.0', ['intent:feature', 'action:release']);
+        expect(result.facts).toMatchObject({
+            intents: ['feature'], actions: ['release'],
+        });
+        expect(result.actionAuthority).toMatchObject({ action: 'release', mutation: 'authorized' });
+    });
+    it('preserves every accepted knowledge route as a typed knowledge need', async () => {
+        const result = await resolveWithRoutes('查询 React API', ['intent:knowledge', 'knowledge:api']);
+        expect(result.facts.knowledgeNeeds).toEqual([{ kind: 'api', entity: 'React' }]);
+        expect(result.dispositions).toEqual([
+            expect.objectContaining({ channel: 'code', requirement: 'optional' }),
+            expect.objectContaining({ channel: 'memory', requirement: 'optional' }),
+            expect.objectContaining({ channel: 'knowledge', requirement: 'required' }),
+        ]);
+    });
+    it('keeps confirm-then-fix conditional without projecting to another contract', async () => {
+        const prompt = '先分析登录崩溃，确认根因后再修复';
+        const result = await resolveWithRoutes(prompt, ['intent:debug', 'action:debug']);
+        expect(result.actionAuthority).toMatchObject({ action: 'debug', mutation: 'conditional' });
+        expect(result.actionAuthority.conditionEvidenceIds).not.toHaveLength(0);
+    });
+});
+async function resolveWithRoutes(prompt, routes) {
+    const structural = extractStructuralSemanticEvidence({ prompt });
+    const route = {
+        status: 'accepted', acceptedRoutes: routes,
+        candidates: routes.map((value, index) => ({ route: value, score: 0.95 - index * 0.01, prototypeIds: [`test:${index}`] })),
+        margin: 0.2, thresholdVersion: 'test-threshold.v1', modelId: 'fake', modelRevision: '1', latencyMs: 1, reason: 'test',
+    };
+    return compileSemanticAuthority({
+        sourceHash: semanticTextHash(prompt), structural, route, scopeKey: `test:${semanticTextHash(prompt)}`, now: 2,
+    });
+}
+//# sourceMappingURL=semantic-authority-merger.test.js.map

package/dist/__tests__/semantic-authority-merger.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"semantic-authority-merger.test.js","sourceRoot":"","sources":["../../src/__tests__/semantic-authority-merger.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAA8B,MAAM,oBAAoB,CAAC;AAClF,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,wBAAwB,EAAE,MAAM,iCAAiC,CAAC;AAC3E,OAAO,EAAE,iCAAiC,EAAE,MAAM,oCAAoC,CAAC;AAEvF,QAAQ,CAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,EAAE,CAAC,IAAI,CAAC;QACN,CAAC,yBAAyB,EAAE,YAAY,EAAE,SAAS,EAAE,eAAe,CAAC;QACrE,CAAC,+CAA+C,EAAE,QAAQ,EAAE,SAAS,EAAE,eAAe,CAAC;QACvF,CAAC,qBAAqB,EAAE,QAAQ,EAAE,SAAS,EAAE,YAAY,CAAC;QAC1D,CAAC,oEAAoE,EAAE,OAAO,EAAE,SAAS,EAAE,YAAY,CAAC;KAChG,CAAC,CAAC,gCAAgC,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,EAAE;QACzF,MAAM,MAAM,GAAG,MAAM,iBAAiB,CAAC,MAAM,EAAE,CAAC,UAAU,MAAM,EAAE,EAAE,UAAU,MAAM,EAAE,CAAC,CAAC,CAAC;QACzF,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACzD,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uEAAuE,EAAE,KAAK,IAAI,EAAE;QACrF,MAAM,MAAM,GAAG,MAAM,iBAAiB,CAAC,WAAW,EAAE,CAAC,gBAAgB,EAAE,gBAAgB,CAAC,CAAC,CAAC;QAC1F,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,aAAa,CAAC;YACjC,OAAO,EAAE,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,CAAC,SAAS,CAAC;SAC3C,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,aAAa,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,YAAY,EAAE,CAAC,CAAC;IAC9F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oEAAoE,EAAE,KAAK,IAAI,EAAE;QAClF,MAAM,MAAM,GAAG,MAAM,iBAAiB,CAAC,cAAc,EAAE,CAAC,kBAAkB,EAAE,eAAe,CAAC,CAAC,CAAC;QAC9F,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;QAChF,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC;YAClC,MAAM,CAAC,gBAAgB,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC;YACrE,MAAM,CAAC,gBAAgB,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC;YACvE,MAAM,CAAC,gBAAgB,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC;SAC3E,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2EAA2E,EAAE,KAAK,IAAI,EAAE;QACzF,MAAM,MAAM,GAAG,kBAAkB,CAAC;QAClC,MAAM,MAAM,GAAG,MAAM,iBAAiB,CAAC,MAAM,EAAE,CAAC,cAAc,EAAE,cAAc,CAAC,CAAC,CAAC;QACjF,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,aAAa,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,aAAa,EAAE,CAAC,CAAC;QAC3F,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,oBAAoB,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,KAAK,UAAU,iBAAiB,CAAC,MAAc,EAAE,MAAgB;IAC/D,MAAM,UAAU,GAAG,iCAAiC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;IACjE,MAAM,KAAK,GAA0B;QACnC,MAAM,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM;QAC1C,UAAU,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,GAAG,KAAK,GAAG,IAAI,EAAE,YAAY,EAAE,CAAC,QAAQ,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;QACzH,MAAM,EAAE,GAAG,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM;KACtH,CAAC;IACF,OAAO,wBAAwB,CAAC;QAC9B,UAAU,EAAE,gBAAgB,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,gBAAgB,CAAC,MAAM,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC;KAC9G,CAAC,CAAC;AACL,CAAC"}

package/dist/__tests__/semantic-context-resolver.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=semantic-context-resolver.test.d.ts.map

package/dist/__tests__/semantic-context-resolver.test.d.ts.map

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