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.
Files changed (84) hide show
  1. package/README.md +10 -0
  2. package/dist/adapters/claude_code/tools.d.ts +27 -0
  3. package/dist/adapters/claude_code/tools.d.ts.map +1 -1
  4. package/dist/adapters/claude_code/tools.js +513 -3
  5. package/dist/adapters/claude_code/tools.js.map +1 -1
  6. package/dist/adapters/shared/workflow_template.d.ts.map +1 -1
  7. package/dist/adapters/shared/workflow_template.js +6 -0
  8. package/dist/adapters/shared/workflow_template.js.map +1 -1
  9. package/dist/bin/soloforge.d.ts.map +1 -1
  10. package/dist/bin/soloforge.js +147 -4
  11. package/dist/bin/soloforge.js.map +1 -1
  12. package/dist/engine/architecture_decision_workshop.d.ts +58 -0
  13. package/dist/engine/architecture_decision_workshop.d.ts.map +1 -0
  14. package/dist/engine/architecture_decision_workshop.js +118 -0
  15. package/dist/engine/architecture_decision_workshop.js.map +1 -0
  16. package/dist/engine/asset_manifest.d.ts.map +1 -1
  17. package/dist/engine/asset_manifest.js +11 -0
  18. package/dist/engine/asset_manifest.js.map +1 -1
  19. package/dist/engine/consumable_asset_registry.d.ts.map +1 -1
  20. package/dist/engine/consumable_asset_registry.js +64 -1
  21. package/dist/engine/consumable_asset_registry.js.map +1 -1
  22. package/dist/engine/design_artifact_pack.d.ts +44 -0
  23. package/dist/engine/design_artifact_pack.d.ts.map +1 -0
  24. package/dist/engine/design_artifact_pack.js +167 -0
  25. package/dist/engine/design_artifact_pack.js.map +1 -0
  26. package/dist/engine/dual_layer_mechanism_registry.d.ts.map +1 -1
  27. package/dist/engine/dual_layer_mechanism_registry.js +120 -0
  28. package/dist/engine/dual_layer_mechanism_registry.js.map +1 -1
  29. package/dist/engine/evidence_grounding_contract.d.ts +137 -0
  30. package/dist/engine/evidence_grounding_contract.d.ts.map +1 -0
  31. package/dist/engine/evidence_grounding_contract.js +410 -0
  32. package/dist/engine/evidence_grounding_contract.js.map +1 -0
  33. package/dist/engine/implementation_roadmap_registry.d.ts +1 -1
  34. package/dist/engine/implementation_roadmap_registry.d.ts.map +1 -1
  35. package/dist/engine/implementation_roadmap_registry.js +134 -5
  36. package/dist/engine/implementation_roadmap_registry.js.map +1 -1
  37. package/dist/engine/instruction_contract.d.ts +8 -1
  38. package/dist/engine/instruction_contract.d.ts.map +1 -1
  39. package/dist/engine/instruction_contract.js +63 -1
  40. package/dist/engine/instruction_contract.js.map +1 -1
  41. package/dist/engine/intent_expander.d.ts.map +1 -1
  42. package/dist/engine/intent_expander.js +14 -0
  43. package/dist/engine/intent_expander.js.map +1 -1
  44. package/dist/engine/mechanism_contract_registry.d.ts.map +1 -1
  45. package/dist/engine/mechanism_contract_registry.js +66 -0
  46. package/dist/engine/mechanism_contract_registry.js.map +1 -1
  47. package/dist/engine/platform_context.d.ts.map +1 -1
  48. package/dist/engine/platform_context.js +6 -2
  49. package/dist/engine/platform_context.js.map +1 -1
  50. package/dist/engine/release_gate_scenario_registry.d.ts +16 -1
  51. package/dist/engine/release_gate_scenario_registry.d.ts.map +1 -1
  52. package/dist/engine/release_gate_scenario_registry.js +205 -2
  53. package/dist/engine/release_gate_scenario_registry.js.map +1 -1
  54. package/dist/engine/release_readiness_gate.d.ts +8 -0
  55. package/dist/engine/release_readiness_gate.d.ts.map +1 -1
  56. package/dist/engine/release_readiness_gate.js +616 -6
  57. package/dist/engine/release_readiness_gate.js.map +1 -1
  58. package/dist/engine/task_context.d.ts +9 -2
  59. package/dist/engine/task_context.d.ts.map +1 -1
  60. package/dist/engine/task_context.js +49 -12
  61. package/dist/engine/task_context.js.map +1 -1
  62. package/dist/engine/verifier.d.ts.map +1 -1
  63. package/dist/engine/verifier.js +3 -40
  64. package/dist/engine/verifier.js.map +1 -1
  65. package/dist/engine/workflow_contract_registry.d.ts.map +1 -1
  66. package/dist/engine/workflow_contract_registry.js +4 -3
  67. package/dist/engine/workflow_contract_registry.js.map +1 -1
  68. package/dist/types.d.ts +12 -0
  69. package/dist/types.d.ts.map +1 -1
  70. package/package.json +4 -3
  71. 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
  72. 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
  73. 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
  74. 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
  75. 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
  76. 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
  77. 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
  78. 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
  79. 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
  80. 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
  81. 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
  82. 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
  83. 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
  84. 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
- * 42 个追踪问题映射到 4 个实施批次(P0-P3),
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;AAosBD;;;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"}
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"}