soloforge 1.3.0 → 1.3.1
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +10 -0
- package/dist/adapters/claude_code/tools.d.ts +27 -0
- package/dist/adapters/claude_code/tools.d.ts.map +1 -1
- package/dist/adapters/claude_code/tools.js +513 -3
- package/dist/adapters/claude_code/tools.js.map +1 -1
- package/dist/adapters/shared/workflow_template.d.ts.map +1 -1
- package/dist/adapters/shared/workflow_template.js +6 -0
- package/dist/adapters/shared/workflow_template.js.map +1 -1
- package/dist/bin/soloforge.d.ts.map +1 -1
- package/dist/bin/soloforge.js +147 -4
- package/dist/bin/soloforge.js.map +1 -1
- package/dist/engine/architecture_decision_workshop.d.ts +58 -0
- package/dist/engine/architecture_decision_workshop.d.ts.map +1 -0
- package/dist/engine/architecture_decision_workshop.js +118 -0
- package/dist/engine/architecture_decision_workshop.js.map +1 -0
- package/dist/engine/asset_manifest.d.ts.map +1 -1
- package/dist/engine/asset_manifest.js +11 -0
- package/dist/engine/asset_manifest.js.map +1 -1
- package/dist/engine/consumable_asset_registry.d.ts.map +1 -1
- package/dist/engine/consumable_asset_registry.js +64 -1
- package/dist/engine/consumable_asset_registry.js.map +1 -1
- package/dist/engine/design_artifact_pack.d.ts +44 -0
- package/dist/engine/design_artifact_pack.d.ts.map +1 -0
- package/dist/engine/design_artifact_pack.js +167 -0
- package/dist/engine/design_artifact_pack.js.map +1 -0
- package/dist/engine/dual_layer_mechanism_registry.d.ts.map +1 -1
- package/dist/engine/dual_layer_mechanism_registry.js +120 -0
- package/dist/engine/dual_layer_mechanism_registry.js.map +1 -1
- package/dist/engine/evidence_grounding_contract.d.ts +137 -0
- package/dist/engine/evidence_grounding_contract.d.ts.map +1 -0
- package/dist/engine/evidence_grounding_contract.js +410 -0
- package/dist/engine/evidence_grounding_contract.js.map +1 -0
- package/dist/engine/implementation_roadmap_registry.d.ts +1 -1
- package/dist/engine/implementation_roadmap_registry.d.ts.map +1 -1
- package/dist/engine/implementation_roadmap_registry.js +134 -5
- package/dist/engine/implementation_roadmap_registry.js.map +1 -1
- package/dist/engine/instruction_contract.d.ts +8 -1
- package/dist/engine/instruction_contract.d.ts.map +1 -1
- package/dist/engine/instruction_contract.js +63 -1
- package/dist/engine/instruction_contract.js.map +1 -1
- package/dist/engine/intent_expander.d.ts.map +1 -1
- package/dist/engine/intent_expander.js +14 -0
- package/dist/engine/intent_expander.js.map +1 -1
- package/dist/engine/mechanism_contract_registry.d.ts.map +1 -1
- package/dist/engine/mechanism_contract_registry.js +66 -0
- package/dist/engine/mechanism_contract_registry.js.map +1 -1
- package/dist/engine/platform_context.d.ts.map +1 -1
- package/dist/engine/platform_context.js +6 -2
- package/dist/engine/platform_context.js.map +1 -1
- package/dist/engine/release_gate_scenario_registry.d.ts +16 -1
- package/dist/engine/release_gate_scenario_registry.d.ts.map +1 -1
- package/dist/engine/release_gate_scenario_registry.js +205 -2
- package/dist/engine/release_gate_scenario_registry.js.map +1 -1
- package/dist/engine/release_readiness_gate.d.ts +8 -0
- package/dist/engine/release_readiness_gate.d.ts.map +1 -1
- package/dist/engine/release_readiness_gate.js +616 -6
- package/dist/engine/release_readiness_gate.js.map +1 -1
- package/dist/engine/task_context.d.ts +9 -2
- package/dist/engine/task_context.d.ts.map +1 -1
- package/dist/engine/task_context.js +49 -12
- package/dist/engine/task_context.js.map +1 -1
- package/dist/engine/verifier.d.ts.map +1 -1
- package/dist/engine/verifier.js +3 -40
- package/dist/engine/verifier.js.map +1 -1
- package/dist/engine/workflow_contract_registry.d.ts.map +1 -1
- package/dist/engine/workflow_contract_registry.js +4 -3
- package/dist/engine/workflow_contract_registry.js.map +1 -1
- package/dist/types.d.ts +12 -0
- package/dist/types.d.ts.map +1 -1
- package/package.json +4 -3
- package/templates/knowledge/acceptance_templates/API/346/216/245/345/217/243/350/247/204/346/240/274/346/226/207/346/241/243/346/250/241/347/211/210.md +74 -0
- package/templates/knowledge/acceptance_templates//346/225/260/346/215/256/345/272/223/350/256/276/350/256/241/346/226/207/346/241/243/346/250/241/347/211/210.md +59 -0
- package/templates/knowledge/acceptance_templates//346/236/266/346/236/204/350/256/276/350/256/241/346/250/241/347/211/210.md +27 -7
- package/templates/knowledge/acceptance_templates//350/256/276/350/256/241/344/270/200/350/207/264/346/200/247/351/252/214/346/224/266/346/212/245/345/221/212/346/250/241/347/211/210.md +47 -0
- package/templates/knowledge/procedures//346/236/266/346/236/204/345/206/263/347/255/226/347/240/224/350/256/250/345/267/245/344/275/234/346/265/201.md +51 -0
- package/templates/knowledge/procedures//346/236/266/346/236/204/350/256/276/350/256/241/345/267/245/344/275/234/346/265/201.md +16 -7
- package/templates/knowledge/procedures//350/256/276/350/256/241/344/272/247/347/211/251/347/224/237/346/210/220/344/270/216/345/244/215/351/252/214/345/267/245/344/275/234/346/265/201.md +45 -0
- package/templates/knowledge/rules//345/267/245/344/275/234/346/265/201/346/250/241/346/235/277/345/214/205/350/247/204/345/210/231.md +10 -0
- package/templates/knowledge/rules//346/211/251/345/261/225/347/224/237/345/221/275/345/221/250/346/234/237/350/247/204/345/210/231.md +10 -0
- package/templates/knowledge/rules//346/226/275/345/267/245/346/214/207/344/273/244/345/245/221/347/272/246/350/247/204/345/210/231.md +33 -4
- package/templates/knowledge/rules//346/236/266/346/236/204/345/206/263/347/255/226/347/240/224/350/256/250/350/247/204/345/210/231.md +49 -0
- package/templates/knowledge/rules//350/256/276/350/256/241/344/272/247/347/211/251/345/214/205/350/247/204/345/210/231.md +55 -0
- package/templates/knowledge/rules//350/257/201/346/215/256/351/251/261/345/212/250/344/270/216/345/217/215/345/271/273/350/247/211/350/247/204/345/210/231.md +75 -0
- package/templates/knowledge/rules//350/267/250/345/271/263/345/217/260/350/267/257/345/276/204/345/256/211/345/205/250/350/247/204/345/210/231.md +10 -0
|
@@ -0,0 +1,137 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* 证据驱动与反幻觉契约 (Evidence-Grounded / Anti-Hallucination Contract)
|
|
3
|
+
*
|
|
4
|
+
* 问题六十:约束任务理解、知识注入、方案生成、代码实现、验证交付必须基于证据。
|
|
5
|
+
* AI 不得无证据声称项目事实、把推测当事实、把验证计划当结果。
|
|
6
|
+
*/
|
|
7
|
+
export type EvidenceSourceType = "project_file" | "task_context" | "knowledge_asset" | "command_output" | "validation_result" | "user_confirmation" | "generated_inference";
|
|
8
|
+
export type EvidenceAuthority = "authoritative" | "trusted" | "supporting" | "weak" | "forbidden";
|
|
9
|
+
export type EvidenceFreshness = "current" | "recent" | "stale" | "unknown" | "deprecated";
|
|
10
|
+
export type EvidencePermission = "allowed" | "scope_exceeded" | "forbidden";
|
|
11
|
+
/** 证据角色:区分模板引导与真实项目证据 */
|
|
12
|
+
export type EvidenceRole = "classification" | "template_guidance" | "project_source_file" | "existing_system_analysis" | "user_confirmation" | "command_result" | "validation_result" | "generated_inference";
|
|
13
|
+
export type ClaimCategory = "project_fact" | "tech_stack" | "file_change" | "test_execution" | "performance" | "security" | "business_rule" | "user_confirmation" | "release_status" | "validation_result" | "architecture" | "code_implementation";
|
|
14
|
+
export type HallucinationRiskLevel = "low" | "medium" | "high" | "critical";
|
|
15
|
+
export type ConflictResolutionStatus = "unresolved" | "resolved" | "deferred" | "blocked";
|
|
16
|
+
export interface EvidenceItem {
|
|
17
|
+
id: string;
|
|
18
|
+
source_type: EvidenceSourceType;
|
|
19
|
+
evidence_role?: EvidenceRole;
|
|
20
|
+
authority: EvidenceAuthority;
|
|
21
|
+
freshness: EvidenceFreshness;
|
|
22
|
+
permission: EvidencePermission;
|
|
23
|
+
scope: string;
|
|
24
|
+
hash?: string;
|
|
25
|
+
description: string;
|
|
26
|
+
source_ref?: string;
|
|
27
|
+
timestamp: string;
|
|
28
|
+
}
|
|
29
|
+
export interface FactClaim {
|
|
30
|
+
id: string;
|
|
31
|
+
category: ClaimCategory;
|
|
32
|
+
claim_text: string;
|
|
33
|
+
evidence_ids: string[];
|
|
34
|
+
is_uncertain: boolean;
|
|
35
|
+
risk_level: HallucinationRiskLevel;
|
|
36
|
+
/** 声明允许的证据源类型;未声明时使用声明类别默认规则 */
|
|
37
|
+
required_source_types?: EvidenceSourceType[];
|
|
38
|
+
}
|
|
39
|
+
/**
|
|
40
|
+
* 声明类别对应的允许证据源类型(source_type 级别)。
|
|
41
|
+
* task_context/classification 只能支撑分类/路由/意图识别,不能支撑项目事实。
|
|
42
|
+
* 未列入的类别无源类型限制。
|
|
43
|
+
*/
|
|
44
|
+
export declare const CATEGORY_REQUIRED_SOURCES: Partial<Record<ClaimCategory, EvidenceSourceType[]>>;
|
|
45
|
+
/**
|
|
46
|
+
* 声明类别对应的允许证据角色(evidence_role 级别)。
|
|
47
|
+
* template_guidance(默认模板/规则/流程)不得支撑 project_fact/architecture/tech_stack 等事实声明。
|
|
48
|
+
* 只有真实项目证据(project_source_file/existing_system_analysis/user_confirmation/command_result)才能支撑。
|
|
49
|
+
*/
|
|
50
|
+
export declare const CATEGORY_REQUIRED_ROLES: Partial<Record<ClaimCategory, EvidenceRole[]>>;
|
|
51
|
+
export interface EvidenceConflict {
|
|
52
|
+
claim_id: string;
|
|
53
|
+
conflicting_evidence_ids: string[];
|
|
54
|
+
description: string;
|
|
55
|
+
resolution_status: ConflictResolutionStatus;
|
|
56
|
+
recommended_action?: string;
|
|
57
|
+
}
|
|
58
|
+
export interface EvidenceMatrix {
|
|
59
|
+
task_id: string;
|
|
60
|
+
claims: FactClaim[];
|
|
61
|
+
evidence: EvidenceItem[];
|
|
62
|
+
conflicts: EvidenceConflict[];
|
|
63
|
+
unsupported_claims: string[];
|
|
64
|
+
risk_summary: Record<HallucinationRiskLevel, number>;
|
|
65
|
+
created_at: string;
|
|
66
|
+
}
|
|
67
|
+
export interface RetrievalPlan {
|
|
68
|
+
target_claims: string[];
|
|
69
|
+
source_types: EvidenceSourceType[];
|
|
70
|
+
keywords: string[];
|
|
71
|
+
max_results: number;
|
|
72
|
+
}
|
|
73
|
+
export interface EvidenceGateResult {
|
|
74
|
+
allowed: boolean;
|
|
75
|
+
reason_zh: string;
|
|
76
|
+
diagnostic_code: string;
|
|
77
|
+
unsupported_claims: string[];
|
|
78
|
+
unresolved_conflicts: string[];
|
|
79
|
+
missing_evidence: string[];
|
|
80
|
+
risk_level: HallucinationRiskLevel;
|
|
81
|
+
requires_user_confirmation: string[];
|
|
82
|
+
}
|
|
83
|
+
export declare class EvidenceSourceRegistry {
|
|
84
|
+
private sources;
|
|
85
|
+
register(item: Omit<EvidenceItem, "id" | "timestamp">): EvidenceItem;
|
|
86
|
+
get(id: string): EvidenceItem | undefined;
|
|
87
|
+
query(filter: Partial<Pick<EvidenceItem, "source_type" | "authority" | "freshness" | "permission" | "evidence_role">>): EvidenceItem[];
|
|
88
|
+
clear(): void;
|
|
89
|
+
size(): number;
|
|
90
|
+
}
|
|
91
|
+
export declare class RetrievalContract {
|
|
92
|
+
private registry;
|
|
93
|
+
constructor(registry: EvidenceSourceRegistry);
|
|
94
|
+
retrieve(plan: RetrievalPlan): EvidenceItem[];
|
|
95
|
+
}
|
|
96
|
+
export declare class EvidenceConflictDetector {
|
|
97
|
+
detect(evidence: EvidenceItem[], claims: FactClaim[]): EvidenceConflict[];
|
|
98
|
+
}
|
|
99
|
+
export declare class HallucinationRiskClassifier {
|
|
100
|
+
classify(claim: FactClaim, evidence: EvidenceItem[], taskRisk: "low" | "medium" | "high" | "critical"): HallucinationRiskLevel;
|
|
101
|
+
}
|
|
102
|
+
export declare class FactClaimVerifier {
|
|
103
|
+
private registry;
|
|
104
|
+
private classifier;
|
|
105
|
+
constructor(registry: EvidenceSourceRegistry, classifier: HallucinationRiskClassifier);
|
|
106
|
+
verify(claims: FactClaim[], taskRisk: "low" | "medium" | "high" | "critical"): {
|
|
107
|
+
verified: FactClaim[];
|
|
108
|
+
unsupported: FactClaim[];
|
|
109
|
+
risk_summary: Record<HallucinationRiskLevel, number>;
|
|
110
|
+
};
|
|
111
|
+
/** 检测自证模式:只用 tests/scenario/gate 调用证明主链路消费 */
|
|
112
|
+
private isSelfAttestation;
|
|
113
|
+
}
|
|
114
|
+
export declare class UnsupportedClaimGate {
|
|
115
|
+
private conflictDetector;
|
|
116
|
+
constructor(conflictDetector: EvidenceConflictDetector);
|
|
117
|
+
evaluate(matrix: EvidenceMatrix, taskRisk: "low" | "medium" | "high" | "critical"): EvidenceGateResult;
|
|
118
|
+
}
|
|
119
|
+
export declare class GroundedContextBuilder {
|
|
120
|
+
private registry;
|
|
121
|
+
private retrieval;
|
|
122
|
+
constructor(registry: EvidenceSourceRegistry, retrieval: RetrievalContract);
|
|
123
|
+
buildContext(claims: FactClaim[], plan: RetrievalPlan): EvidenceMatrix;
|
|
124
|
+
}
|
|
125
|
+
export declare function createEvidenceGroundingSystem(): {
|
|
126
|
+
registry: EvidenceSourceRegistry;
|
|
127
|
+
retrieval: RetrievalContract;
|
|
128
|
+
classifier: HallucinationRiskClassifier;
|
|
129
|
+
conflictDetector: EvidenceConflictDetector;
|
|
130
|
+
verifier: FactClaimVerifier;
|
|
131
|
+
gate: UnsupportedClaimGate;
|
|
132
|
+
builder: GroundedContextBuilder;
|
|
133
|
+
};
|
|
134
|
+
export declare function isHighRiskClaimCategory(category: ClaimCategory): boolean;
|
|
135
|
+
/** 判断任务风险等级 */
|
|
136
|
+
export declare function assessTaskRisk(taskType?: string, routeDecision?: string, intentKeywords?: string): "low" | "medium" | "high" | "critical";
|
|
137
|
+
//# sourceMappingURL=evidence_grounding_contract.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"evidence_grounding_contract.d.ts","sourceRoot":"","sources":["../../src/engine/evidence_grounding_contract.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAMH,MAAM,MAAM,kBAAkB,GAC1B,cAAc,GACd,cAAc,GACd,iBAAiB,GACjB,gBAAgB,GAChB,mBAAmB,GACnB,mBAAmB,GACnB,qBAAqB,CAAC;AAE1B,MAAM,MAAM,iBAAiB,GACzB,eAAe,GACf,SAAS,GACT,YAAY,GACZ,MAAM,GACN,WAAW,CAAC;AAEhB,MAAM,MAAM,iBAAiB,GACzB,SAAS,GACT,QAAQ,GACR,OAAO,GACP,SAAS,GACT,YAAY,CAAC;AAEjB,MAAM,MAAM,kBAAkB,GAAG,SAAS,GAAG,gBAAgB,GAAG,WAAW,CAAC;AAE5E,yBAAyB;AACzB,MAAM,MAAM,YAAY,GACpB,gBAAgB,GAChB,mBAAmB,GACnB,qBAAqB,GACrB,0BAA0B,GAC1B,mBAAmB,GACnB,gBAAgB,GAChB,mBAAmB,GACnB,qBAAqB,CAAC;AAE1B,MAAM,MAAM,aAAa,GACrB,cAAc,GACd,YAAY,GACZ,aAAa,GACb,gBAAgB,GAChB,aAAa,GACb,UAAU,GACV,eAAe,GACf,mBAAmB,GACnB,gBAAgB,GAChB,mBAAmB,GACnB,cAAc,GACd,qBAAqB,CAAC;AAE1B,MAAM,MAAM,sBAAsB,GAAG,KAAK,GAAG,QAAQ,GAAG,MAAM,GAAG,UAAU,CAAC;AAE5E,MAAM,MAAM,wBAAwB,GAAG,YAAY,GAAG,UAAU,GAAG,UAAU,GAAG,SAAS,CAAC;AAI1F,MAAM,WAAW,YAAY;IAC3B,EAAE,EAAE,MAAM,CAAC;IACX,WAAW,EAAE,kBAAkB,CAAC;IAChC,aAAa,CAAC,EAAE,YAAY,CAAC;IAC7B,SAAS,EAAE,iBAAiB,CAAC;IAC7B,SAAS,EAAE,iBAAiB,CAAC;IAC7B,UAAU,EAAE,kBAAkB,CAAC;IAC/B,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;CACnB;AAID,MAAM,WAAW,SAAS;IACxB,EAAE,EAAE,MAAM,CAAC;IACX,QAAQ,EAAE,aAAa,CAAC;IACxB,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,YAAY,EAAE,OAAO,CAAC;IACtB,UAAU,EAAE,sBAAsB,CAAC;IACnC,gCAAgC;IAChC,qBAAqB,CAAC,EAAE,kBAAkB,EAAE,CAAC;CAC9C;AAID;;;;GAIG;AACH,eAAO,MAAM,yBAAyB,EAAE,OAAO,CAAC,MAAM,CAAC,aAAa,EAAE,kBAAkB,EAAE,CAAC,CAM1F,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,uBAAuB,EAAE,OAAO,CAAC,MAAM,CAAC,aAAa,EAAE,YAAY,EAAE,CAAC,CAMlF,CAAC;AAIF,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,EAAE,MAAM,CAAC;IACjB,wBAAwB,EAAE,MAAM,EAAE,CAAC;IACnC,WAAW,EAAE,MAAM,CAAC;IACpB,iBAAiB,EAAE,wBAAwB,CAAC;IAC5C,kBAAkB,CAAC,EAAE,MAAM,CAAC;CAC7B;AAID,MAAM,WAAW,cAAc;IAC7B,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,SAAS,EAAE,CAAC;IACpB,QAAQ,EAAE,YAAY,EAAE,CAAC;IACzB,SAAS,EAAE,gBAAgB,EAAE,CAAC;IAC9B,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAC7B,YAAY,EAAE,MAAM,CAAC,sBAAsB,EAAE,MAAM,CAAC,CAAC;IACrD,UAAU,EAAE,MAAM,CAAC;CACpB;AAID,MAAM,WAAW,aAAa;IAC5B,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,YAAY,EAAE,kBAAkB,EAAE,CAAC;IACnC,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;CACrB;AAID,MAAM,WAAW,kBAAkB;IACjC,OAAO,EAAE,OAAO,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,eAAe,EAAE,MAAM,CAAC;IACxB,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAC7B,oBAAoB,EAAE,MAAM,EAAE,CAAC;IAC/B,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B,UAAU,EAAE,sBAAsB,CAAC;IACnC,0BAA0B,EAAE,MAAM,EAAE,CAAC;CACtC;AAID,qBAAa,sBAAsB;IACjC,OAAO,CAAC,OAAO,CAAmC;IAElD,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,YAAY,EAAE,IAAI,GAAG,WAAW,CAAC,GAAG,YAAY;IAWpE,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,YAAY,GAAG,SAAS;IAIzC,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,YAAY,EAAE,aAAa,GAAG,WAAW,GAAG,WAAW,GAAG,YAAY,GAAG,eAAe,CAAC,CAAC,GAAG,YAAY,EAAE;IAWtI,KAAK,IAAI,IAAI;IAIb,IAAI,IAAI,MAAM;CAGf;AAID,qBAAa,iBAAiB;IAChB,OAAO,CAAC,QAAQ;gBAAR,QAAQ,EAAE,sBAAsB;IAEpD,QAAQ,CAAC,IAAI,EAAE,aAAa,GAAG,YAAY,EAAE;CAyB9C;AAID,qBAAa,wBAAwB;IACnC,MAAM,CAAC,QAAQ,EAAE,YAAY,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,gBAAgB,EAAE;CA+C1E;AAID,qBAAa,2BAA2B;IACtC,QAAQ,CACN,KAAK,EAAE,SAAS,EAChB,QAAQ,EAAE,YAAY,EAAE,EACxB,QAAQ,EAAE,KAAK,GAAG,QAAQ,GAAG,MAAM,GAAG,UAAU,GAC/C,sBAAsB;CAsC1B;AAID,qBAAa,iBAAiB;IAE1B,OAAO,CAAC,QAAQ;IAChB,OAAO,CAAC,UAAU;gBADV,QAAQ,EAAE,sBAAsB,EAChC,UAAU,EAAE,2BAA2B;IAGjD,MAAM,CAAC,MAAM,EAAE,SAAS,EAAE,EAAE,QAAQ,EAAE,KAAK,GAAG,QAAQ,GAAG,MAAM,GAAG,UAAU,GAAG;QAC7E,QAAQ,EAAE,SAAS,EAAE,CAAC;QACtB,WAAW,EAAE,SAAS,EAAE,CAAC;QACzB,YAAY,EAAE,MAAM,CAAC,sBAAsB,EAAE,MAAM,CAAC,CAAC;KACtD;IA2ED,8CAA8C;IAC9C,OAAO,CAAC,iBAAiB;CAyB1B;AAID,qBAAa,oBAAoB;IAE7B,OAAO,CAAC,gBAAgB;gBAAhB,gBAAgB,EAAE,wBAAwB;IAGpD,QAAQ,CACN,MAAM,EAAE,cAAc,EACtB,QAAQ,EAAE,KAAK,GAAG,QAAQ,GAAG,MAAM,GAAG,UAAU,GAC/C,kBAAkB;CAgFtB;AAID,qBAAa,sBAAsB;IAE/B,OAAO,CAAC,QAAQ;IAChB,OAAO,CAAC,SAAS;gBADT,QAAQ,EAAE,sBAAsB,EAChC,SAAS,EAAE,iBAAiB;IAGtC,YAAY,CACV,MAAM,EAAE,SAAS,EAAE,EACnB,IAAI,EAAE,aAAa,GAClB,cAAc;CA2BlB;AAID,wBAAgB,6BAA6B;;;;;;;;EAU5C;AAQD,wBAAgB,uBAAuB,CAAC,QAAQ,EAAE,aAAa,GAAG,OAAO,CAExE;AAED,eAAe;AACf,wBAAgB,cAAc,CAC5B,QAAQ,CAAC,EAAE,MAAM,EACjB,aAAa,CAAC,EAAE,MAAM,EACtB,cAAc,CAAC,EAAE,MAAM,GACtB,KAAK,GAAG,QAAQ,GAAG,MAAM,GAAG,UAAU,CAYxC"}
|
|
@@ -0,0 +1,410 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* 证据驱动与反幻觉契约 (Evidence-Grounded / Anti-Hallucination Contract)
|
|
3
|
+
*
|
|
4
|
+
* 问题六十:约束任务理解、知识注入、方案生成、代码实现、验证交付必须基于证据。
|
|
5
|
+
* AI 不得无证据声称项目事实、把推测当事实、把验证计划当结果。
|
|
6
|
+
*/
|
|
7
|
+
import crypto from "node:crypto";
|
|
8
|
+
// ── 声明类别→允许证据源映射 ──
|
|
9
|
+
/**
|
|
10
|
+
* 声明类别对应的允许证据源类型(source_type 级别)。
|
|
11
|
+
* task_context/classification 只能支撑分类/路由/意图识别,不能支撑项目事实。
|
|
12
|
+
* 未列入的类别无源类型限制。
|
|
13
|
+
*/
|
|
14
|
+
export const CATEGORY_REQUIRED_SOURCES = {
|
|
15
|
+
project_fact: ["project_file", "knowledge_asset", "command_output", "user_confirmation"],
|
|
16
|
+
tech_stack: ["project_file", "knowledge_asset", "command_output", "user_confirmation"],
|
|
17
|
+
architecture: ["project_file", "knowledge_asset", "command_output", "user_confirmation"],
|
|
18
|
+
validation_result: ["validation_result", "command_output"],
|
|
19
|
+
release_status: ["validation_result", "command_output", "project_file", "knowledge_asset"],
|
|
20
|
+
};
|
|
21
|
+
/**
|
|
22
|
+
* 声明类别对应的允许证据角色(evidence_role 级别)。
|
|
23
|
+
* template_guidance(默认模板/规则/流程)不得支撑 project_fact/architecture/tech_stack 等事实声明。
|
|
24
|
+
* 只有真实项目证据(project_source_file/existing_system_analysis/user_confirmation/command_result)才能支撑。
|
|
25
|
+
*/
|
|
26
|
+
export const CATEGORY_REQUIRED_ROLES = {
|
|
27
|
+
project_fact: ["project_source_file", "existing_system_analysis", "user_confirmation", "command_result"],
|
|
28
|
+
tech_stack: ["project_source_file", "existing_system_analysis", "user_confirmation", "command_result"],
|
|
29
|
+
architecture: ["project_source_file", "existing_system_analysis", "user_confirmation", "command_result"],
|
|
30
|
+
validation_result: ["validation_result", "command_result"],
|
|
31
|
+
release_status: ["validation_result", "command_result", "project_source_file", "existing_system_analysis"],
|
|
32
|
+
};
|
|
33
|
+
// ── 证据源注册表 ──
|
|
34
|
+
export class EvidenceSourceRegistry {
|
|
35
|
+
sources = new Map();
|
|
36
|
+
register(item) {
|
|
37
|
+
const id = `ev-${crypto.randomUUID().slice(0, 8)}`;
|
|
38
|
+
const entry = {
|
|
39
|
+
...item,
|
|
40
|
+
id,
|
|
41
|
+
timestamp: new Date().toISOString(),
|
|
42
|
+
};
|
|
43
|
+
this.sources.set(id, entry);
|
|
44
|
+
return entry;
|
|
45
|
+
}
|
|
46
|
+
get(id) {
|
|
47
|
+
return this.sources.get(id);
|
|
48
|
+
}
|
|
49
|
+
query(filter) {
|
|
50
|
+
return [...this.sources.values()].filter((e) => {
|
|
51
|
+
if (filter.source_type && e.source_type !== filter.source_type)
|
|
52
|
+
return false;
|
|
53
|
+
if (filter.authority && e.authority !== filter.authority)
|
|
54
|
+
return false;
|
|
55
|
+
if (filter.freshness && e.freshness !== filter.freshness)
|
|
56
|
+
return false;
|
|
57
|
+
if (filter.permission && e.permission !== filter.permission)
|
|
58
|
+
return false;
|
|
59
|
+
if (filter.evidence_role && e.evidence_role !== filter.evidence_role)
|
|
60
|
+
return false;
|
|
61
|
+
return true;
|
|
62
|
+
});
|
|
63
|
+
}
|
|
64
|
+
clear() {
|
|
65
|
+
this.sources.clear();
|
|
66
|
+
}
|
|
67
|
+
size() {
|
|
68
|
+
return this.sources.size;
|
|
69
|
+
}
|
|
70
|
+
}
|
|
71
|
+
// ── 检索契约 ──
|
|
72
|
+
export class RetrievalContract {
|
|
73
|
+
registry;
|
|
74
|
+
constructor(registry) {
|
|
75
|
+
this.registry = registry;
|
|
76
|
+
}
|
|
77
|
+
retrieve(plan) {
|
|
78
|
+
let results = [...this.registry.query({})];
|
|
79
|
+
if (plan.source_types.length > 0) {
|
|
80
|
+
results = results.filter((e) => plan.source_types.includes(e.source_type));
|
|
81
|
+
}
|
|
82
|
+
if (plan.keywords.length > 0) {
|
|
83
|
+
const kw = plan.keywords.map((k) => k.toLowerCase());
|
|
84
|
+
results = results.filter((e) => kw.some((k) => e.description.toLowerCase().includes(k) || (e.source_ref ?? "").toLowerCase().includes(k)));
|
|
85
|
+
}
|
|
86
|
+
// 过滤禁止源
|
|
87
|
+
results = results.filter((e) => e.permission !== "forbidden");
|
|
88
|
+
// 按 authority 排序
|
|
89
|
+
const authorityOrder = {
|
|
90
|
+
authoritative: 0, trusted: 1, supporting: 2, weak: 3, forbidden: 99,
|
|
91
|
+
};
|
|
92
|
+
results.sort((a, b) => authorityOrder[a.authority] - authorityOrder[b.authority]);
|
|
93
|
+
return results.slice(0, plan.max_results);
|
|
94
|
+
}
|
|
95
|
+
}
|
|
96
|
+
// ── 证据冲突检测器 ──
|
|
97
|
+
export class EvidenceConflictDetector {
|
|
98
|
+
detect(evidence, claims) {
|
|
99
|
+
const conflicts = [];
|
|
100
|
+
for (const claim of claims) {
|
|
101
|
+
const claimEvidence = evidence.filter((e) => claim.evidence_ids.includes(e.id));
|
|
102
|
+
// deprecated 证据仍在使用(不要求 >= 2 条证据)
|
|
103
|
+
const deprecatedEv = claimEvidence.filter((e) => e.freshness === "deprecated");
|
|
104
|
+
if (deprecatedEv.length > 0) {
|
|
105
|
+
conflicts.push({
|
|
106
|
+
claim_id: claim.id,
|
|
107
|
+
conflicting_evidence_ids: deprecatedEv.map((e) => e.id),
|
|
108
|
+
description: `声明「${claim.claim_text}」引用了过期证据`,
|
|
109
|
+
resolution_status: "unresolved",
|
|
110
|
+
recommended_action: "替换为当前证据或标注不确定性",
|
|
111
|
+
});
|
|
112
|
+
}
|
|
113
|
+
if (claimEvidence.length < 2)
|
|
114
|
+
continue;
|
|
115
|
+
// 检测冲突:同一 claim 有相互矛盾的证据(不同 authority 下的不同描述)
|
|
116
|
+
const descriptions = new Map();
|
|
117
|
+
for (const ev of claimEvidence) {
|
|
118
|
+
const key = `${ev.source_type}:${ev.source_ref ?? "unknown"}`;
|
|
119
|
+
if (!descriptions.has(key))
|
|
120
|
+
descriptions.set(key, []);
|
|
121
|
+
descriptions.get(key).push(ev);
|
|
122
|
+
}
|
|
123
|
+
// 同一 claim 来自不同 source_type 的 authoritative 证据存在矛盾
|
|
124
|
+
const authSources = claimEvidence.filter((e) => e.authority === "authoritative");
|
|
125
|
+
if (authSources.length >= 2) {
|
|
126
|
+
const refs = new Set(authSources.map((e) => e.source_ref ?? ""));
|
|
127
|
+
if (refs.size >= 2) {
|
|
128
|
+
conflicts.push({
|
|
129
|
+
claim_id: claim.id,
|
|
130
|
+
conflicting_evidence_ids: authSources.map((e) => e.id),
|
|
131
|
+
description: `声明「${claim.claim_text}」有多个权威证据来源互相矛盾`,
|
|
132
|
+
resolution_status: "unresolved",
|
|
133
|
+
recommended_action: "需要用户确认选择哪个证据源",
|
|
134
|
+
});
|
|
135
|
+
}
|
|
136
|
+
}
|
|
137
|
+
}
|
|
138
|
+
return conflicts;
|
|
139
|
+
}
|
|
140
|
+
}
|
|
141
|
+
// ── 幻觉风险分类器 ──
|
|
142
|
+
export class HallucinationRiskClassifier {
|
|
143
|
+
classify(claim, evidence, taskRisk) {
|
|
144
|
+
const claimEvidence = evidence.filter((e) => claim.evidence_ids.includes(e.id));
|
|
145
|
+
// 无任何证据
|
|
146
|
+
if (claimEvidence.length === 0) {
|
|
147
|
+
return taskRisk === "low" ? "medium" : "critical";
|
|
148
|
+
}
|
|
149
|
+
// 只有 generated_inference 且非低风险
|
|
150
|
+
const onlyInference = claimEvidence.every((e) => e.source_type === "generated_inference");
|
|
151
|
+
if (onlyInference && taskRisk !== "low") {
|
|
152
|
+
return "high";
|
|
153
|
+
}
|
|
154
|
+
// 有 forbidden 证据
|
|
155
|
+
if (claimEvidence.some((e) => e.permission === "forbidden")) {
|
|
156
|
+
return "critical";
|
|
157
|
+
}
|
|
158
|
+
// 有 stale/unknown 且高风险
|
|
159
|
+
const hasWeak = claimEvidence.some((e) => e.freshness === "stale" || e.freshness === "unknown");
|
|
160
|
+
if (hasWeak && (taskRisk === "high" || taskRisk === "critical")) {
|
|
161
|
+
return "high";
|
|
162
|
+
}
|
|
163
|
+
// 有 deprecated
|
|
164
|
+
if (claimEvidence.some((e) => e.freshness === "deprecated")) {
|
|
165
|
+
return "high";
|
|
166
|
+
}
|
|
167
|
+
// 有权威证据且 current
|
|
168
|
+
const hasAuthoritative = claimEvidence.some((e) => e.authority === "authoritative" && e.freshness === "current");
|
|
169
|
+
if (hasAuthoritative)
|
|
170
|
+
return "low";
|
|
171
|
+
return "medium";
|
|
172
|
+
}
|
|
173
|
+
}
|
|
174
|
+
// ── 事实声明校验器 ──
|
|
175
|
+
export class FactClaimVerifier {
|
|
176
|
+
registry;
|
|
177
|
+
classifier;
|
|
178
|
+
constructor(registry, classifier) {
|
|
179
|
+
this.registry = registry;
|
|
180
|
+
this.classifier = classifier;
|
|
181
|
+
}
|
|
182
|
+
verify(claims, taskRisk) {
|
|
183
|
+
const evidence = [...this.registry.query({})];
|
|
184
|
+
const verified = [];
|
|
185
|
+
const unsupported = [];
|
|
186
|
+
const risk_summary = { low: 0, medium: 0, high: 0, critical: 0 };
|
|
187
|
+
for (const claim of claims) {
|
|
188
|
+
const risk = this.classifier.classify(claim, evidence, taskRisk);
|
|
189
|
+
risk_summary[risk]++;
|
|
190
|
+
// 检测 generated_inference 单独支撑项目事实
|
|
191
|
+
const claimEvidence = evidence.filter((e) => claim.evidence_ids.includes(e.id));
|
|
192
|
+
const onlyInference = claimEvidence.length > 0 && claimEvidence.every((e) => e.source_type === "generated_inference");
|
|
193
|
+
const isFactClaim = ["project_fact", "tech_stack", "file_change", "test_execution", "release_status", "validation_result"].includes(claim.category);
|
|
194
|
+
if (onlyInference && isFactClaim) {
|
|
195
|
+
claim.is_uncertain = true;
|
|
196
|
+
unsupported.push(claim);
|
|
197
|
+
continue;
|
|
198
|
+
}
|
|
199
|
+
// 检测证据源类型与声明类别的适配性
|
|
200
|
+
const allowedSources = claim.required_source_types ?? CATEGORY_REQUIRED_SOURCES[claim.category];
|
|
201
|
+
if (allowedSources) {
|
|
202
|
+
const compatibleEvidence = claimEvidence.filter((e) => allowedSources.includes(e.source_type));
|
|
203
|
+
if (compatibleEvidence.length === 0) {
|
|
204
|
+
claim.is_uncertain = true;
|
|
205
|
+
unsupported.push(claim);
|
|
206
|
+
continue;
|
|
207
|
+
}
|
|
208
|
+
}
|
|
209
|
+
// 检测证据角色与声明类别的适配性(template_guidance 不得支撑事实声明)
|
|
210
|
+
const requiredRoles = CATEGORY_REQUIRED_ROLES[claim.category];
|
|
211
|
+
if (requiredRoles) {
|
|
212
|
+
const roleCompatible = claimEvidence.filter((e) => e.evidence_role && requiredRoles.includes(e.evidence_role));
|
|
213
|
+
if (roleCompatible.length === 0) {
|
|
214
|
+
claim.is_uncertain = true;
|
|
215
|
+
unsupported.push(claim);
|
|
216
|
+
continue;
|
|
217
|
+
}
|
|
218
|
+
}
|
|
219
|
+
// 检测 validation_plan 冒充 validation_result
|
|
220
|
+
if (claim.category === "validation_result") {
|
|
221
|
+
const hasRealResult = claimEvidence.some((e) => e.source_type === "validation_result" || e.source_type === "command_output");
|
|
222
|
+
if (!hasRealResult) {
|
|
223
|
+
claim.is_uncertain = true;
|
|
224
|
+
unsupported.push(claim);
|
|
225
|
+
continue;
|
|
226
|
+
}
|
|
227
|
+
}
|
|
228
|
+
// 检测 fake validation / tests-only / gate-only / scenario-only 自证
|
|
229
|
+
if (this.isSelfAttestation(claim, claimEvidence)) {
|
|
230
|
+
claim.is_uncertain = true;
|
|
231
|
+
unsupported.push(claim);
|
|
232
|
+
continue;
|
|
233
|
+
}
|
|
234
|
+
if (risk === "critical" || (risk === "high" && (taskRisk === "high" || taskRisk === "critical"))) {
|
|
235
|
+
claim.is_uncertain = true;
|
|
236
|
+
unsupported.push(claim);
|
|
237
|
+
}
|
|
238
|
+
else {
|
|
239
|
+
verified.push(claim);
|
|
240
|
+
}
|
|
241
|
+
}
|
|
242
|
+
return { verified, unsupported, risk_summary };
|
|
243
|
+
}
|
|
244
|
+
/** 检测自证模式:只用 tests/scenario/gate 调用证明主链路消费 */
|
|
245
|
+
isSelfAttestation(claim, evidence) {
|
|
246
|
+
const selfAttestPatterns = [
|
|
247
|
+
/only.*test/i, /tests[-_]only/i,
|
|
248
|
+
/only.*scenario/i, /scenario[-_]only/i,
|
|
249
|
+
/only.*gate/i, /gate[-_]only/i,
|
|
250
|
+
/fake.*validation/i, /fake.*metric/i,
|
|
251
|
+
];
|
|
252
|
+
for (const ev of evidence) {
|
|
253
|
+
for (const pattern of selfAttestPatterns) {
|
|
254
|
+
if (pattern.test(ev.description) || pattern.test(ev.source_ref ?? "")) {
|
|
255
|
+
return true;
|
|
256
|
+
}
|
|
257
|
+
}
|
|
258
|
+
}
|
|
259
|
+
// 所有证据都是测试文件
|
|
260
|
+
if (evidence.length > 0 && evidence.every((e) => (e.source_ref ?? "").includes("test") || (e.source_ref ?? "").includes(".test."))) {
|
|
261
|
+
return true;
|
|
262
|
+
}
|
|
263
|
+
return false;
|
|
264
|
+
}
|
|
265
|
+
}
|
|
266
|
+
// ── 无证据声明门禁 ──
|
|
267
|
+
export class UnsupportedClaimGate {
|
|
268
|
+
conflictDetector;
|
|
269
|
+
constructor(conflictDetector) {
|
|
270
|
+
this.conflictDetector = conflictDetector;
|
|
271
|
+
}
|
|
272
|
+
evaluate(matrix, taskRisk) {
|
|
273
|
+
const unsupported_claims = [];
|
|
274
|
+
const unresolved_conflicts = [];
|
|
275
|
+
const missing_evidence = [];
|
|
276
|
+
const requires_user_confirmation = [];
|
|
277
|
+
// 1. 无证据声明
|
|
278
|
+
for (const claim of matrix.unsupported_claims) {
|
|
279
|
+
unsupported_claims.push(claim);
|
|
280
|
+
}
|
|
281
|
+
// 2. 未裁决冲突
|
|
282
|
+
for (const conflict of matrix.conflicts) {
|
|
283
|
+
if (conflict.resolution_status === "unresolved" || conflict.resolution_status === "blocked") {
|
|
284
|
+
unresolved_conflicts.push(conflict.claim_id);
|
|
285
|
+
}
|
|
286
|
+
}
|
|
287
|
+
// 3. 检查高风险 claim 证据缺失
|
|
288
|
+
for (const claim of matrix.claims) {
|
|
289
|
+
if (claim.evidence_ids.length === 0 && claim.risk_level !== "low") {
|
|
290
|
+
missing_evidence.push(claim.id);
|
|
291
|
+
}
|
|
292
|
+
}
|
|
293
|
+
// 计算综合风险
|
|
294
|
+
const riskSummary = matrix.risk_summary;
|
|
295
|
+
const overallRisk = (riskSummary.critical ?? 0) > 0 ? "critical"
|
|
296
|
+
: (riskSummary.high ?? 0) > 0 ? "high"
|
|
297
|
+
: (riskSummary.medium ?? 0) > 0 ? "medium"
|
|
298
|
+
: "low";
|
|
299
|
+
// 判断是否允许通过
|
|
300
|
+
let allowed = true;
|
|
301
|
+
let reason_zh = "证据驱动门禁通过";
|
|
302
|
+
const diagnostic_code = "SF-EVIDENCE-6000";
|
|
303
|
+
// 高风险任务不允许无证据声明或未裁决冲突
|
|
304
|
+
if (taskRisk === "high" || taskRisk === "critical") {
|
|
305
|
+
if (unsupported_claims.length > 0) {
|
|
306
|
+
allowed = false;
|
|
307
|
+
reason_zh = `高风险任务存在 ${unsupported_claims.length} 条无证据声明,不得继续`;
|
|
308
|
+
}
|
|
309
|
+
if (unresolved_conflicts.length > 0) {
|
|
310
|
+
allowed = false;
|
|
311
|
+
reason_zh += `;存在 ${unresolved_conflicts.length} 条未裁决证据冲突`;
|
|
312
|
+
}
|
|
313
|
+
if (missing_evidence.length > 0) {
|
|
314
|
+
allowed = false;
|
|
315
|
+
reason_zh += `;${missing_evidence.length} 条高风险声明缺少证据`;
|
|
316
|
+
}
|
|
317
|
+
}
|
|
318
|
+
// 任何风险等级都不允许 forbidden 证据
|
|
319
|
+
const forbiddenEvidence = matrix.evidence.filter((e) => e.permission === "forbidden");
|
|
320
|
+
if (forbiddenEvidence.length > 0) {
|
|
321
|
+
allowed = false;
|
|
322
|
+
reason_zh += `;发现 ${forbiddenEvidence.length} 条禁止源证据`;
|
|
323
|
+
}
|
|
324
|
+
// 不确定项需要用户确认
|
|
325
|
+
const uncertainClaims = matrix.claims.filter((c) => c.is_uncertain);
|
|
326
|
+
if (uncertainClaims.length > 0) {
|
|
327
|
+
for (const c of uncertainClaims) {
|
|
328
|
+
requires_user_confirmation.push(`声明「${c.claim_text}」证据不足,需要确认`);
|
|
329
|
+
}
|
|
330
|
+
}
|
|
331
|
+
return {
|
|
332
|
+
allowed,
|
|
333
|
+
reason_zh,
|
|
334
|
+
diagnostic_code: allowed ? "SF-EVIDENCE-6000" : "SF-EVIDENCE-6001",
|
|
335
|
+
unsupported_claims,
|
|
336
|
+
unresolved_conflicts,
|
|
337
|
+
missing_evidence,
|
|
338
|
+
risk_level: overallRisk,
|
|
339
|
+
requires_user_confirmation,
|
|
340
|
+
};
|
|
341
|
+
}
|
|
342
|
+
}
|
|
343
|
+
// ── 接地上下文构建器 ──
|
|
344
|
+
export class GroundedContextBuilder {
|
|
345
|
+
registry;
|
|
346
|
+
retrieval;
|
|
347
|
+
constructor(registry, retrieval) {
|
|
348
|
+
this.registry = registry;
|
|
349
|
+
this.retrieval = retrieval;
|
|
350
|
+
}
|
|
351
|
+
buildContext(claims, plan) {
|
|
352
|
+
const evidence = this.retrieval.retrieve(plan);
|
|
353
|
+
const conflictDetector = new EvidenceConflictDetector();
|
|
354
|
+
const conflicts = conflictDetector.detect(evidence, claims);
|
|
355
|
+
const unsupported_claims = [];
|
|
356
|
+
for (const claim of claims) {
|
|
357
|
+
if (claim.evidence_ids.length === 0 || claim.is_uncertain) {
|
|
358
|
+
unsupported_claims.push(claim.id);
|
|
359
|
+
}
|
|
360
|
+
}
|
|
361
|
+
const risk_summary = { low: 0, medium: 0, high: 0, critical: 0 };
|
|
362
|
+
for (const claim of claims) {
|
|
363
|
+
risk_summary[claim.risk_level]++;
|
|
364
|
+
}
|
|
365
|
+
return {
|
|
366
|
+
task_id: "",
|
|
367
|
+
claims,
|
|
368
|
+
evidence,
|
|
369
|
+
conflicts,
|
|
370
|
+
unsupported_claims,
|
|
371
|
+
risk_summary,
|
|
372
|
+
created_at: new Date().toISOString(),
|
|
373
|
+
};
|
|
374
|
+
}
|
|
375
|
+
}
|
|
376
|
+
// ── 便捷工厂 ──
|
|
377
|
+
export function createEvidenceGroundingSystem() {
|
|
378
|
+
const registry = new EvidenceSourceRegistry();
|
|
379
|
+
const retrieval = new RetrievalContract(registry);
|
|
380
|
+
const classifier = new HallucinationRiskClassifier();
|
|
381
|
+
const conflictDetector = new EvidenceConflictDetector();
|
|
382
|
+
const verifier = new FactClaimVerifier(registry, classifier);
|
|
383
|
+
const gate = new UnsupportedClaimGate(conflictDetector);
|
|
384
|
+
const builder = new GroundedContextBuilder(registry, retrieval);
|
|
385
|
+
return { registry, retrieval, classifier, conflictDetector, verifier, gate, builder };
|
|
386
|
+
}
|
|
387
|
+
// ── 高风险任务类型判定 ──
|
|
388
|
+
const HIGH_RISK_CATEGORIES = [
|
|
389
|
+
"release_status", "architecture", "security", "performance",
|
|
390
|
+
];
|
|
391
|
+
export function isHighRiskClaimCategory(category) {
|
|
392
|
+
return HIGH_RISK_CATEGORIES.includes(category);
|
|
393
|
+
}
|
|
394
|
+
/** 判断任务风险等级 */
|
|
395
|
+
export function assessTaskRisk(taskType, routeDecision, intentKeywords) {
|
|
396
|
+
if (!taskType && !routeDecision && !intentKeywords)
|
|
397
|
+
return "medium";
|
|
398
|
+
const highRiskKeywords = /发布|release|架构|architecture|安全|security|迁移|migration/i;
|
|
399
|
+
const criticalKeywords = /发布门禁|validate.release|production|生产/i;
|
|
400
|
+
if (intentKeywords && criticalKeywords.test(intentKeywords))
|
|
401
|
+
return "critical";
|
|
402
|
+
if (intentKeywords && highRiskKeywords.test(intentKeywords))
|
|
403
|
+
return "high";
|
|
404
|
+
if (routeDecision === "code_change" || routeDecision === "artifact_generation")
|
|
405
|
+
return "high";
|
|
406
|
+
if (taskType === "feature" || taskType === "bugfix")
|
|
407
|
+
return "medium";
|
|
408
|
+
return "low";
|
|
409
|
+
}
|
|
410
|
+
//# sourceMappingURL=evidence_grounding_contract.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"evidence_grounding_contract.js","sourceRoot":"","sources":["../../src/engine/evidence_grounding_contract.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,MAAM,MAAM,aAAa,CAAC;AAuFjC,qBAAqB;AAErB;;;;GAIG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAyD;IAC7F,YAAY,EAAE,CAAC,cAAc,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,mBAAmB,CAAC;IACxF,UAAU,EAAE,CAAC,cAAc,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,mBAAmB,CAAC;IACtF,YAAY,EAAE,CAAC,cAAc,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,mBAAmB,CAAC;IACxF,iBAAiB,EAAE,CAAC,mBAAmB,EAAE,gBAAgB,CAAC;IAC1D,cAAc,EAAE,CAAC,mBAAmB,EAAE,gBAAgB,EAAE,cAAc,EAAE,iBAAiB,CAAC;CAC3F,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAmD;IACrF,YAAY,EAAE,CAAC,qBAAqB,EAAE,0BAA0B,EAAE,mBAAmB,EAAE,gBAAgB,CAAC;IACxG,UAAU,EAAE,CAAC,qBAAqB,EAAE,0BAA0B,EAAE,mBAAmB,EAAE,gBAAgB,CAAC;IACtG,YAAY,EAAE,CAAC,qBAAqB,EAAE,0BAA0B,EAAE,mBAAmB,EAAE,gBAAgB,CAAC;IACxG,iBAAiB,EAAE,CAAC,mBAAmB,EAAE,gBAAgB,CAAC;IAC1D,cAAc,EAAE,CAAC,mBAAmB,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,0BAA0B,CAAC;CAC3G,CAAC;AA8CF,eAAe;AAEf,MAAM,OAAO,sBAAsB;IACzB,OAAO,GAAG,IAAI,GAAG,EAAwB,CAAC;IAElD,QAAQ,CAAC,IAA4C;QACnD,MAAM,EAAE,GAAG,MAAM,MAAM,CAAC,UAAU,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QACnD,MAAM,KAAK,GAAiB;YAC1B,GAAG,IAAI;YACP,EAAE;YACF,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;SACpC,CAAC;QACF,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QAC5B,OAAO,KAAK,CAAC;IACf,CAAC;IAED,GAAG,CAAC,EAAU;QACZ,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC9B,CAAC;IAED,KAAK,CAAC,MAA+G;QACnH,OAAO,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;YAC7C,IAAI,MAAM,CAAC,WAAW,IAAI,CAAC,CAAC,WAAW,KAAK,MAAM,CAAC,WAAW;gBAAE,OAAO,KAAK,CAAC;YAC7E,IAAI,MAAM,CAAC,SAAS,IAAI,CAAC,CAAC,SAAS,KAAK,MAAM,CAAC,SAAS;gBAAE,OAAO,KAAK,CAAC;YACvE,IAAI,MAAM,CAAC,SAAS,IAAI,CAAC,CAAC,SAAS,KAAK,MAAM,CAAC,SAAS;gBAAE,OAAO,KAAK,CAAC;YACvE,IAAI,MAAM,CAAC,UAAU,IAAI,CAAC,CAAC,UAAU,KAAK,MAAM,CAAC,UAAU;gBAAE,OAAO,KAAK,CAAC;YAC1E,IAAI,MAAM,CAAC,aAAa,IAAI,CAAC,CAAC,aAAa,KAAK,MAAM,CAAC,aAAa;gBAAE,OAAO,KAAK,CAAC;YACnF,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,CAAC;IACL,CAAC;IAED,KAAK;QACH,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;IACvB,CAAC;IAED,IAAI;QACF,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC;IAC3B,CAAC;CACF;AAED,aAAa;AAEb,MAAM,OAAO,iBAAiB;IACR;IAApB,YAAoB,QAAgC;QAAhC,aAAQ,GAAR,QAAQ,CAAwB;IAAG,CAAC;IAExD,QAAQ,CAAC,IAAmB;QAC1B,IAAI,OAAO,GAAG,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;QAE3C,IAAI,IAAI,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACjC,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;QAC7E,CAAC;QAED,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC7B,MAAM,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;YACrD,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAC7B,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAC1G,CAAC;QACJ,CAAC;QAED,QAAQ;QACR,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,WAAW,CAAC,CAAC;QAE9D,iBAAiB;QACjB,MAAM,cAAc,GAAsC;YACxD,aAAa,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE;SACpE,CAAC;QACF,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;QAElF,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;IAC5C,CAAC;CACF;AAED,gBAAgB;AAEhB,MAAM,OAAO,wBAAwB;IACnC,MAAM,CAAC,QAAwB,EAAE,MAAmB;QAClD,MAAM,SAAS,GAAuB,EAAE,CAAC;QAEzC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,MAAM,aAAa,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAEhF,kCAAkC;YAClC,MAAM,YAAY,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,YAAY,CAAC,CAAC;YAC/E,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC5B,SAAS,CAAC,IAAI,CAAC;oBACb,QAAQ,EAAE,KAAK,CAAC,EAAE;oBAClB,wBAAwB,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBACvD,WAAW,EAAE,MAAM,KAAK,CAAC,UAAU,UAAU;oBAC7C,iBAAiB,EAAE,YAAY;oBAC/B,kBAAkB,EAAE,gBAAgB;iBACrC,CAAC,CAAC;YACL,CAAC;YAED,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC;gBAAE,SAAS;YAEvC,8CAA8C;YAC9C,MAAM,YAAY,GAAG,IAAI,GAAG,EAA0B,CAAC;YACvD,KAAK,MAAM,EAAE,IAAI,aAAa,EAAE,CAAC;gBAC/B,MAAM,GAAG,GAAG,GAAG,EAAE,CAAC,WAAW,IAAI,EAAE,CAAC,UAAU,IAAI,SAAS,EAAE,CAAC;gBAC9D,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBACtD,YAAY,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAClC,CAAC;YAED,mDAAmD;YACnD,MAAM,WAAW,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,eAAe,CAAC,CAAC;YACjF,IAAI,WAAW,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;gBAC5B,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,CAAC;gBACjE,IAAI,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC;oBACnB,SAAS,CAAC,IAAI,CAAC;wBACb,QAAQ,EAAE,KAAK,CAAC,EAAE;wBAClB,wBAAwB,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;wBACtD,WAAW,EAAE,MAAM,KAAK,CAAC,UAAU,gBAAgB;wBACnD,iBAAiB,EAAE,YAAY;wBAC/B,kBAAkB,EAAE,eAAe;qBACpC,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QAEH,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC;CACF;AAED,gBAAgB;AAEhB,MAAM,OAAO,2BAA2B;IACtC,QAAQ,CACN,KAAgB,EAChB,QAAwB,EACxB,QAAgD;QAEhD,MAAM,aAAa,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAEhF,QAAQ;QACR,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC/B,OAAO,QAAQ,KAAK,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC;QACpD,CAAC;QAED,+BAA+B;QAC/B,MAAM,aAAa,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,qBAAqB,CAAC,CAAC;QAC1F,IAAI,aAAa,IAAI,QAAQ,KAAK,KAAK,EAAE,CAAC;YACxC,OAAO,MAAM,CAAC;QAChB,CAAC;QAED,iBAAiB;QACjB,IAAI,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,WAAW,CAAC,EAAE,CAAC;YAC5D,OAAO,UAAU,CAAC;QACpB,CAAC;QAED,uBAAuB;QACvB,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,OAAO,IAAI,CAAC,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC;QAChG,IAAI,OAAO,IAAI,CAAC,QAAQ,KAAK,MAAM,IAAI,QAAQ,KAAK,UAAU,CAAC,EAAE,CAAC;YAChE,OAAO,MAAM,CAAC;QAChB,CAAC;QAED,eAAe;QACf,IAAI,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,YAAY,CAAC,EAAE,CAAC;YAC5D,OAAO,MAAM,CAAC;QAChB,CAAC;QAED,iBAAiB;QACjB,MAAM,gBAAgB,GAAG,aAAa,CAAC,IAAI,CACzC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,eAAe,IAAI,CAAC,CAAC,SAAS,KAAK,SAAS,CACpE,CAAC;QACF,IAAI,gBAAgB;YAAE,OAAO,KAAK,CAAC;QAEnC,OAAO,QAAQ,CAAC;IAClB,CAAC;CACF;AAED,gBAAgB;AAEhB,MAAM,OAAO,iBAAiB;IAElB;IACA;IAFV,YACU,QAAgC,EAChC,UAAuC;QADvC,aAAQ,GAAR,QAAQ,CAAwB;QAChC,eAAU,GAAV,UAAU,CAA6B;IAC9C,CAAC;IAEJ,MAAM,CAAC,MAAmB,EAAE,QAAgD;QAK1E,MAAM,QAAQ,GAAG,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;QAC9C,MAAM,QAAQ,GAAgB,EAAE,CAAC;QACjC,MAAM,WAAW,GAAgB,EAAE,CAAC;QACpC,MAAM,YAAY,GAA2C,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;QAEzG,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;YACjE,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;YAErB,kCAAkC;YAClC,MAAM,aAAa,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAChF,MAAM,aAAa,GAAG,aAAa,CAAC,MAAM,GAAG,CAAC,IAAI,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,qBAAqB,CAAC,CAAC;YACtH,MAAM,WAAW,GAAG,CAAC,cAAc,EAAE,YAAY,EAAE,aAAa,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,mBAAmB,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;YAEpJ,IAAI,aAAa,IAAI,WAAW,EAAE,CAAC;gBACjC,KAAK,CAAC,YAAY,GAAG,IAAI,CAAC;gBAC1B,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACxB,SAAS;YACX,CAAC;YAED,mBAAmB;YACnB,MAAM,cAAc,GAAG,KAAK,CAAC,qBAAqB,IAAI,yBAAyB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;YAChG,IAAI,cAAc,EAAE,CAAC;gBACnB,MAAM,kBAAkB,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;gBAC/F,IAAI,kBAAkB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBACpC,KAAK,CAAC,YAAY,GAAG,IAAI,CAAC;oBAC1B,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;oBACxB,SAAS;gBACX,CAAC;YACH,CAAC;YAED,8CAA8C;YAC9C,MAAM,aAAa,GAAG,uBAAuB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;YAC9D,IAAI,aAAa,EAAE,CAAC;gBAClB,MAAM,cAAc,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAChD,CAAC,CAAC,aAAa,IAAI,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC,aAAa,CAAC,CAC3D,CAAC;gBACF,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBAChC,KAAK,CAAC,YAAY,GAAG,IAAI,CAAC;oBAC1B,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;oBACxB,SAAS;gBACX,CAAC;YACH,CAAC;YAED,0CAA0C;YAC1C,IAAI,KAAK,CAAC,QAAQ,KAAK,mBAAmB,EAAE,CAAC;gBAC3C,MAAM,aAAa,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAC7C,CAAC,CAAC,WAAW,KAAK,mBAAmB,IAAI,CAAC,CAAC,WAAW,KAAK,gBAAgB,CAC5E,CAAC;gBACF,IAAI,CAAC,aAAa,EAAE,CAAC;oBACnB,KAAK,CAAC,YAAY,GAAG,IAAI,CAAC;oBAC1B,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;oBACxB,SAAS;gBACX,CAAC;YACH,CAAC;YAED,iEAAiE;YACjE,IAAI,IAAI,CAAC,iBAAiB,CAAC,KAAK,EAAE,aAAa,CAAC,EAAE,CAAC;gBACjD,KAAK,CAAC,YAAY,GAAG,IAAI,CAAC;gBAC1B,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACxB,SAAS;YACX,CAAC;YAED,IAAI,IAAI,KAAK,UAAU,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,QAAQ,KAAK,MAAM,IAAI,QAAQ,KAAK,UAAU,CAAC,CAAC,EAAE,CAAC;gBACjG,KAAK,CAAC,YAAY,GAAG,IAAI,CAAC;gBAC1B,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC1B,CAAC;iBAAM,CAAC;gBACN,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACvB,CAAC;QACH,CAAC;QAED,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,YAAY,EAAE,CAAC;IACjD,CAAC;IAED,8CAA8C;IACtC,iBAAiB,CAAC,KAAgB,EAAE,QAAwB;QAClE,MAAM,kBAAkB,GAAG;YACzB,aAAa,EAAE,gBAAgB;YAC/B,iBAAiB,EAAE,mBAAmB;YACtC,aAAa,EAAE,eAAe;YAC9B,mBAAmB,EAAE,eAAe;SACrC,CAAC;QAEF,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;YAC1B,KAAK,MAAM,OAAO,IAAI,kBAAkB,EAAE,CAAC;gBACzC,IAAI,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC,EAAE,CAAC;oBACtE,OAAO,IAAI,CAAC;gBACd,CAAC;YACH,CAAC;QACH,CAAC;QAED,aAAa;QACb,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAC9C,CAAC,CAAC,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CACjF,EAAE,CAAC;YACF,OAAO,IAAI,CAAC;QACd,CAAC;QAED,OAAO,KAAK,CAAC;IACf,CAAC;CACF;AAED,gBAAgB;AAEhB,MAAM,OAAO,oBAAoB;IAErB;IADV,YACU,gBAA0C;QAA1C,qBAAgB,GAAhB,gBAAgB,CAA0B;IACjD,CAAC;IAEJ,QAAQ,CACN,MAAsB,EACtB,QAAgD;QAEhD,MAAM,kBAAkB,GAAa,EAAE,CAAC;QACxC,MAAM,oBAAoB,GAAa,EAAE,CAAC;QAC1C,MAAM,gBAAgB,GAAa,EAAE,CAAC;QACtC,MAAM,0BAA0B,GAAa,EAAE,CAAC;QAEhD,WAAW;QACX,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,kBAAkB,EAAE,CAAC;YAC9C,kBAAkB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,CAAC;QAED,WAAW;QACX,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;YACxC,IAAI,QAAQ,CAAC,iBAAiB,KAAK,YAAY,IAAI,QAAQ,CAAC,iBAAiB,KAAK,SAAS,EAAE,CAAC;gBAC5F,oBAAoB,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;YAC/C,CAAC;QACH,CAAC;QAED,sBAAsB;QACtB,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;YAClC,IAAI,KAAK,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,UAAU,KAAK,KAAK,EAAE,CAAC;gBAClE,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YAClC,CAAC;QACH,CAAC;QAED,SAAS;QACT,MAAM,WAAW,GAAG,MAAM,CAAC,YAAY,CAAC;QACxC,MAAM,WAAW,GACf,CAAC,WAAW,CAAC,QAAQ,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU;YAC5C,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM;gBACtC,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ;oBAC1C,CAAC,CAAC,KAAK,CAAC;QAEV,WAAW;QACX,IAAI,OAAO,GAAG,IAAI,CAAC;QACnB,IAAI,SAAS,GAAG,UAAU,CAAC;QAC3B,MAAM,eAAe,GAAG,kBAAkB,CAAC;QAE3C,sBAAsB;QACtB,IAAI,QAAQ,KAAK,MAAM,IAAI,QAAQ,KAAK,UAAU,EAAE,CAAC;YACnD,IAAI,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAClC,OAAO,GAAG,KAAK,CAAC;gBAChB,SAAS,GAAG,WAAW,kBAAkB,CAAC,MAAM,cAAc,CAAC;YACjE,CAAC;YACD,IAAI,oBAAoB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACpC,OAAO,GAAG,KAAK,CAAC;gBAChB,SAAS,IAAI,OAAO,oBAAoB,CAAC,MAAM,WAAW,CAAC;YAC7D,CAAC;YACD,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAChC,OAAO,GAAG,KAAK,CAAC;gBAChB,SAAS,IAAI,IAAI,gBAAgB,CAAC,MAAM,aAAa,CAAC;YACxD,CAAC;QACH,CAAC;QAED,0BAA0B;QAC1B,MAAM,iBAAiB,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,WAAW,CAAC,CAAC;QACtF,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACjC,OAAO,GAAG,KAAK,CAAC;YAChB,SAAS,IAAI,OAAO,iBAAiB,CAAC,MAAM,SAAS,CAAC;QACxD,CAAC;QAED,aAAa;QACb,MAAM,eAAe,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;QACpE,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC/B,KAAK,MAAM,CAAC,IAAI,eAAe,EAAE,CAAC;gBAChC,0BAA0B,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,UAAU,YAAY,CAAC,CAAC;YAClE,CAAC;QACH,CAAC;QAED,OAAO;YACL,OAAO;YACP,SAAS;YACT,eAAe,EAAE,OAAO,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,kBAAkB;YAClE,kBAAkB;YAClB,oBAAoB;YACpB,gBAAgB;YAChB,UAAU,EAAE,WAAW;YACvB,0BAA0B;SAC3B,CAAC;IACJ,CAAC;CACF;AAED,iBAAiB;AAEjB,MAAM,OAAO,sBAAsB;IAEvB;IACA;IAFV,YACU,QAAgC,EAChC,SAA4B;QAD5B,aAAQ,GAAR,QAAQ,CAAwB;QAChC,cAAS,GAAT,SAAS,CAAmB;IACnC,CAAC;IAEJ,YAAY,CACV,MAAmB,EACnB,IAAmB;QAEnB,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC/C,MAAM,gBAAgB,GAAG,IAAI,wBAAwB,EAAE,CAAC;QACxD,MAAM,SAAS,GAAG,gBAAgB,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QAE5D,MAAM,kBAAkB,GAAa,EAAE,CAAC;QACxC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,IAAI,KAAK,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;gBAC1D,kBAAkB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YACpC,CAAC;QACH,CAAC;QAED,MAAM,YAAY,GAA2C,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;QACzG,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,YAAY,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC;QACnC,CAAC;QAED,OAAO;YACL,OAAO,EAAE,EAAE;YACX,MAAM;YACN,QAAQ;YACR,SAAS;YACT,kBAAkB;YAClB,YAAY;YACZ,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;SACrC,CAAC;IACJ,CAAC;CACF;AAED,aAAa;AAEb,MAAM,UAAU,6BAA6B;IAC3C,MAAM,QAAQ,GAAG,IAAI,sBAAsB,EAAE,CAAC;IAC9C,MAAM,SAAS,GAAG,IAAI,iBAAiB,CAAC,QAAQ,CAAC,CAAC;IAClD,MAAM,UAAU,GAAG,IAAI,2BAA2B,EAAE,CAAC;IACrD,MAAM,gBAAgB,GAAG,IAAI,wBAAwB,EAAE,CAAC;IACxD,MAAM,QAAQ,GAAG,IAAI,iBAAiB,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IAC7D,MAAM,IAAI,GAAG,IAAI,oBAAoB,CAAC,gBAAgB,CAAC,CAAC;IACxD,MAAM,OAAO,GAAG,IAAI,sBAAsB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IAEhE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,UAAU,EAAE,gBAAgB,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AACxF,CAAC;AAED,kBAAkB;AAElB,MAAM,oBAAoB,GAAoB;IAC5C,gBAAgB,EAAE,cAAc,EAAE,UAAU,EAAE,aAAa;CAC5D,CAAC;AAEF,MAAM,UAAU,uBAAuB,CAAC,QAAuB;IAC7D,OAAO,oBAAoB,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;AACjD,CAAC;AAED,eAAe;AACf,MAAM,UAAU,cAAc,CAC5B,QAAiB,EACjB,aAAsB,EACtB,cAAuB;IAEvB,IAAI,CAAC,QAAQ,IAAI,CAAC,aAAa,IAAI,CAAC,cAAc;QAAE,OAAO,QAAQ,CAAC;IAEpE,MAAM,gBAAgB,GAAG,sDAAsD,CAAC;IAChF,MAAM,gBAAgB,GAAG,sCAAsC,CAAC;IAEhE,IAAI,cAAc,IAAI,gBAAgB,CAAC,IAAI,CAAC,cAAc,CAAC;QAAE,OAAO,UAAU,CAAC;IAC/E,IAAI,cAAc,IAAI,gBAAgB,CAAC,IAAI,CAAC,cAAc,CAAC;QAAE,OAAO,MAAM,CAAC;IAC3E,IAAI,aAAa,KAAK,aAAa,IAAI,aAAa,KAAK,qBAAqB;QAAE,OAAO,MAAM,CAAC;IAC9F,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAErE,OAAO,KAAK,CAAC;AACf,CAAC"}
|
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
/**
|
|
2
2
|
* Implementation Roadmap Contract 的落地注册表。
|
|
3
3
|
*
|
|
4
|
-
*
|
|
4
|
+
* 将追踪问题映射到 5 个实施批次(P0-P3),
|
|
5
5
|
* 提供查询、校验和跨注册表一致性检查能力。
|
|
6
6
|
*/
|
|
7
7
|
export type ProblemStatus = "completed" | "implemented_verified" | "implemented" | "in_progress" | "planned" | "not_started";
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"implementation_roadmap_registry.d.ts","sourceRoot":"","sources":["../../src/engine/implementation_roadmap_registry.ts"],"names":[],"mappings":"AACA;;;;;GAKG;AAIH,MAAM,MAAM,aAAa,GACrB,WAAW,GACX,sBAAsB,GACtB,aAAa,GACb,aAAa,GACb,SAAS,GACT,aAAa,CAAC;AAElB,MAAM,MAAM,eAAe,GAAG,eAAe,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,CAAC;AAE1E,MAAM,WAAW,YAAY;IAC3B,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,aAAa,CAAC;IACtB,QAAQ,EAAE,eAAe,CAAC;IAC1B,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,qBAAqB,EAAE,MAAM,EAAE,CAAC;IAChC,sBAAsB,EAAE,MAAM,EAAE,CAAC;IACjC,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,YAAY,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,mBAAmB;IAClC,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,CAAC;IACpC,IAAI,EAAE,MAAM,CAAC;IACb,oBAAoB,EAAE,MAAM,EAAE,CAAC;IAC/B,oBAAoB,EAAE,MAAM,EAAE,CAAC;IAC/B,wBAAwB,EAAE,MAAM,EAAE,CAAC;IACnC,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,mBAAmB,EAAE,MAAM,EAAE,CAAC;IAC9B,YAAY,EAAE,MAAM,EAAE,CAAC;CACxB;AAED,MAAM,WAAW,wBAAwB;IACvC,QAAQ,EAAE,WAAW,GAAG,UAAU,CAAC;IACnC,UAAU,EAAE,MAAM,CAAC;IACnB,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;CACjB;
|
|
1
|
+
{"version":3,"file":"implementation_roadmap_registry.d.ts","sourceRoot":"","sources":["../../src/engine/implementation_roadmap_registry.ts"],"names":[],"mappings":"AACA;;;;;GAKG;AAIH,MAAM,MAAM,aAAa,GACrB,WAAW,GACX,sBAAsB,GACtB,aAAa,GACb,aAAa,GACb,SAAS,GACT,aAAa,CAAC;AAElB,MAAM,MAAM,eAAe,GAAG,eAAe,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,CAAC;AAE1E,MAAM,WAAW,YAAY;IAC3B,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,aAAa,CAAC;IACtB,QAAQ,EAAE,eAAe,CAAC;IAC1B,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,qBAAqB,EAAE,MAAM,EAAE,CAAC;IAChC,sBAAsB,EAAE,MAAM,EAAE,CAAC;IACjC,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,YAAY,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,mBAAmB;IAClC,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,CAAC;IACpC,IAAI,EAAE,MAAM,CAAC;IACb,oBAAoB,EAAE,MAAM,EAAE,CAAC;IAC/B,oBAAoB,EAAE,MAAM,EAAE,CAAC;IAC/B,wBAAwB,EAAE,MAAM,EAAE,CAAC;IACnC,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,mBAAmB,EAAE,MAAM,EAAE,CAAC;IAC9B,YAAY,EAAE,MAAM,EAAE,CAAC;CACxB;AAED,MAAM,WAAW,wBAAwB;IACvC,QAAQ,EAAE,WAAW,GAAG,UAAU,CAAC;IACnC,UAAU,EAAE,MAAM,CAAC;IACnB,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;CACjB;AAq0BD;;;GAGG;AACH,wBAAgB,eAAe,IAAI,YAAY,EAAE,CAGhD;AAED;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,EAAE,EAAE,MAAM,GAAG,YAAY,GAAG,SAAS,CAIpE;AAED;;;;GAIG;AACH,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,aAAa,GAAG,YAAY,EAAE,CAG1E;AAED;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,MAAM,GAAG,YAAY,EAAE,CAGnE;AAID;;;GAGG;AACH,wBAAgB,WAAW,IAAI,mBAAmB,EAAE,CAGnD;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,EAAE,EAAE,MAAM,GAAG,mBAAmB,GAAG,SAAS,CAIzE;AAED;;;;GAIG;AACH,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,EAAE,CAc9D;AAED;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAQxD;AAID;;;GAGG;AACH,wBAAgB,uBAAuB,IAAI,MAAM,CAAC,aAAa,EAAE,MAAM,CAAC,CAKvE;AAED;;;GAGG;AACH,wBAAgB,yBAAyB,IAAI,MAAM,CAAC,eAAe,EAAE,MAAM,CAAC,CAK3E;AAID;;;;;;;GAOG;AACH,wBAAgB,6BAA6B,CAC3C,QAAQ,GAAE,SAAS,YAAY,EAAoB,EACnD,OAAO,GAAE,SAAS,mBAAmB,EAA2B,GAC/D,wBAAwB,EAAE,CA+I5B"}
|