soloforge 1.1.45 → 1.1.46

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 (269) hide show
  1. package/README.md +3 -3
  2. package/dist/context/contracts/lifecycle_knowledge_contract.d.ts.map +1 -1
  3. package/dist/context/contracts/lifecycle_knowledge_contract.js +2 -2
  4. package/dist/context/contracts/lifecycle_knowledge_contract.js.map +1 -1
  5. package/dist/core/task_context/manager.d.ts +0 -8
  6. package/dist/core/task_context/manager.d.ts.map +1 -1
  7. package/dist/core/task_context/manager.js +1 -19
  8. package/dist/core/task_context/manager.js.map +1 -1
  9. package/dist/core/task_context/state_fact_classifier.d.ts +0 -8
  10. package/dist/core/task_context/state_fact_classifier.d.ts.map +1 -1
  11. package/dist/core/task_context/state_fact_classifier.js +0 -36
  12. package/dist/core/task_context/state_fact_classifier.js.map +1 -1
  13. package/dist/domain/contracts/design_artifact_pack.d.ts +0 -1
  14. package/dist/domain/contracts/design_artifact_pack.d.ts.map +1 -1
  15. package/dist/domain/contracts/design_artifact_pack.js +1 -4
  16. package/dist/domain/contracts/design_artifact_pack.js.map +1 -1
  17. package/dist/domain/index.d.ts +1 -1
  18. package/dist/domain/index.d.ts.map +1 -1
  19. package/dist/domain/registry.d.ts +2 -2
  20. package/dist/domain/registry.d.ts.map +1 -1
  21. package/dist/domain/types.d.ts +1 -12
  22. package/dist/domain/types.d.ts.map +1 -1
  23. package/dist/domain/types.js +3 -0
  24. package/dist/domain/types.js.map +1 -1
  25. package/dist/gate/contracts/capability_registry.d.ts.map +1 -1
  26. package/dist/gate/contracts/capability_registry.js +0 -26
  27. package/dist/gate/contracts/capability_registry.js.map +1 -1
  28. package/dist/gate/contracts/control_plane_contract.d.ts +1 -1
  29. package/dist/gate/contracts/control_plane_contract.d.ts.map +1 -1
  30. package/dist/gate/contracts/control_plane_contract.js +1 -10
  31. package/dist/gate/contracts/control_plane_contract.js.map +1 -1
  32. package/dist/gate/contracts/tool_invocation_contract_registry.d.ts +1 -0
  33. package/dist/gate/contracts/tool_invocation_contract_registry.d.ts.map +1 -1
  34. package/dist/gate/contracts/tool_invocation_contract_registry.js +1 -1
  35. package/dist/gate/contracts/tool_invocation_contract_registry.js.map +1 -1
  36. package/dist/gate/index.d.ts +0 -2
  37. package/dist/gate/index.d.ts.map +1 -1
  38. package/dist/gate/index.js +0 -1
  39. package/dist/gate/index.js.map +1 -1
  40. package/dist/server/tools/index.d.ts.map +1 -1
  41. package/dist/server/tools/index.js +1 -3
  42. package/dist/server/tools/index.js.map +1 -1
  43. package/dist/server/tools/lazy_loaders.d.ts +0 -23
  44. package/dist/server/tools/lazy_loaders.d.ts.map +1 -1
  45. package/dist/server/tools/lazy_loaders.js +2 -33
  46. package/dist/server/tools/lazy_loaders.js.map +1 -1
  47. package/dist/server/tools/middleware.d.ts +2 -5
  48. package/dist/server/tools/middleware.d.ts.map +1 -1
  49. package/dist/server/tools/middleware.js +3 -33
  50. package/dist/server/tools/middleware.js.map +1 -1
  51. package/dist/server/tools/sf_task.js +2 -7
  52. package/dist/server/tools/sf_task.js.map +1 -1
  53. package/dist/server/tools/types.d.ts +0 -2
  54. package/dist/server/tools/types.d.ts.map +1 -1
  55. package/dist/types/pipeline_types.d.ts +1 -9
  56. package/dist/types/pipeline_types.d.ts.map +1 -1
  57. package/dist/verify/audit/verifier.d.ts.map +1 -1
  58. package/dist/verify/audit/verifier.js +0 -33
  59. package/dist/verify/audit/verifier.js.map +1 -1
  60. package/dist/verify/index.d.ts +1 -4
  61. package/dist/verify/index.d.ts.map +1 -1
  62. package/dist/verify/index.js +0 -3
  63. package/dist/verify/index.js.map +1 -1
  64. package/dist/verify/types.d.ts +0 -21
  65. package/dist/verify/types.d.ts.map +1 -1
  66. package/package.json +1 -1
  67. package/templates/shared//345/206/263/347/255/226/347/275/221/345/205/263.md +7 -21
  68. package/dist/context/engine/dependency_scanner.d.ts +0 -23
  69. package/dist/context/engine/dependency_scanner.d.ts.map +0 -1
  70. package/dist/context/engine/dependency_scanner.js +0 -309
  71. package/dist/context/engine/dependency_scanner.js.map +0 -1
  72. package/dist/context/engine/exploration.d.ts +0 -194
  73. package/dist/context/engine/exploration.d.ts.map +0 -1
  74. package/dist/context/engine/exploration.js +0 -712
  75. package/dist/context/engine/exploration.js.map +0 -1
  76. package/dist/context/knowledge/knowledge_acceptance_registry.d.ts +0 -42
  77. package/dist/context/knowledge/knowledge_acceptance_registry.d.ts.map +0 -1
  78. package/dist/context/knowledge/knowledge_acceptance_registry.js +0 -249
  79. package/dist/context/knowledge/knowledge_acceptance_registry.js.map +0 -1
  80. package/dist/context/knowledge/knowledge_scenario_registry.d.ts +0 -26
  81. package/dist/context/knowledge/knowledge_scenario_registry.d.ts.map +0 -1
  82. package/dist/context/knowledge/knowledge_scenario_registry.js +0 -267
  83. package/dist/context/knowledge/knowledge_scenario_registry.js.map +0 -1
  84. package/dist/context/knowledge/knowledge_sovereignty.d.ts +0 -65
  85. package/dist/context/knowledge/knowledge_sovereignty.d.ts.map +0 -1
  86. package/dist/context/knowledge/knowledge_sovereignty.js +0 -199
  87. package/dist/context/knowledge/knowledge_sovereignty.js.map +0 -1
  88. package/dist/context/team_awareness.d.ts +0 -42
  89. package/dist/context/team_awareness.d.ts.map +0 -1
  90. package/dist/context/team_awareness.js +0 -154
  91. package/dist/context/team_awareness.js.map +0 -1
  92. package/dist/context/templates/template_asset_visibility.d.ts +0 -116
  93. package/dist/context/templates/template_asset_visibility.d.ts.map +0 -1
  94. package/dist/context/templates/template_asset_visibility.js +0 -310
  95. package/dist/context/templates/template_asset_visibility.js.map +0 -1
  96. package/dist/gate/conflict_gate.d.ts +0 -53
  97. package/dist/gate/conflict_gate.d.ts.map +0 -1
  98. package/dist/gate/conflict_gate.js +0 -96
  99. package/dist/gate/conflict_gate.js.map +0 -1
  100. package/dist/gate/contracts/capability_action_advisor.d.ts +0 -34
  101. package/dist/gate/contracts/capability_action_advisor.d.ts.map +0 -1
  102. package/dist/gate/contracts/capability_action_advisor.js +0 -165
  103. package/dist/gate/contracts/capability_action_advisor.js.map +0 -1
  104. package/dist/gate/contracts/capability_state_store.d.ts +0 -121
  105. package/dist/gate/contracts/capability_state_store.d.ts.map +0 -1
  106. package/dist/gate/contracts/capability_state_store.js +0 -188
  107. package/dist/gate/contracts/capability_state_store.js.map +0 -1
  108. package/dist/gate/contracts/contract_guard.d.ts +0 -50
  109. package/dist/gate/contracts/contract_guard.d.ts.map +0 -1
  110. package/dist/gate/contracts/contract_guard.js +0 -611
  111. package/dist/gate/contracts/contract_guard.js.map +0 -1
  112. package/dist/gate/contracts/escape_report.d.ts +0 -103
  113. package/dist/gate/contracts/escape_report.d.ts.map +0 -1
  114. package/dist/gate/contracts/escape_report.js +0 -145
  115. package/dist/gate/contracts/escape_report.js.map +0 -1
  116. package/dist/gate/feasibility_checker.d.ts +0 -27
  117. package/dist/gate/feasibility_checker.d.ts.map +0 -1
  118. package/dist/gate/feasibility_checker.js +0 -114
  119. package/dist/gate/feasibility_checker.js.map +0 -1
  120. package/dist/gate/migration_guard.d.ts +0 -22
  121. package/dist/gate/migration_guard.d.ts.map +0 -1
  122. package/dist/gate/migration_guard.js +0 -277
  123. package/dist/gate/migration_guard.js.map +0 -1
  124. package/dist/gate/scope_lease.d.ts +0 -94
  125. package/dist/gate/scope_lease.d.ts.map +0 -1
  126. package/dist/gate/scope_lease.js +0 -180
  127. package/dist/gate/scope_lease.js.map +0 -1
  128. package/dist/git/git_deps.d.ts +0 -85
  129. package/dist/git/git_deps.d.ts.map +0 -1
  130. package/dist/git/git_deps.js +0 -22
  131. package/dist/git/git_deps.js.map +0 -1
  132. package/dist/git/operations.d.ts +0 -173
  133. package/dist/git/operations.d.ts.map +0 -1
  134. package/dist/git/operations.js +0 -350
  135. package/dist/git/operations.js.map +0 -1
  136. package/dist/server/tools/gate_engine.d.ts +0 -17
  137. package/dist/server/tools/gate_engine.d.ts.map +0 -1
  138. package/dist/server/tools/gate_engine.js +0 -17
  139. package/dist/server/tools/gate_engine.js.map +0 -1
  140. package/dist/server/tools/middleware/budget_check.d.ts +0 -35
  141. package/dist/server/tools/middleware/budget_check.d.ts.map +0 -1
  142. package/dist/server/tools/middleware/budget_check.js +0 -69
  143. package/dist/server/tools/middleware/budget_check.js.map +0 -1
  144. package/dist/shared/contracts/contract_registry/builtin_contracts_core.d.ts +0 -16
  145. package/dist/shared/contracts/contract_registry/builtin_contracts_core.d.ts.map +0 -1
  146. package/dist/shared/contracts/contract_registry/builtin_contracts_core.js +0 -306
  147. package/dist/shared/contracts/contract_registry/builtin_contracts_core.js.map +0 -1
  148. package/dist/shared/contracts/contract_registry/builtin_contracts_core_2.d.ts +0 -16
  149. package/dist/shared/contracts/contract_registry/builtin_contracts_core_2.d.ts.map +0 -1
  150. package/dist/shared/contracts/contract_registry/builtin_contracts_core_2.js +0 -304
  151. package/dist/shared/contracts/contract_registry/builtin_contracts_core_2.js.map +0 -1
  152. package/dist/shared/contracts/contract_registry/builtin_contracts_extended.d.ts +0 -16
  153. package/dist/shared/contracts/contract_registry/builtin_contracts_extended.d.ts.map +0 -1
  154. package/dist/shared/contracts/contract_registry/builtin_contracts_extended.js +0 -434
  155. package/dist/shared/contracts/contract_registry/builtin_contracts_extended.js.map +0 -1
  156. package/dist/shared/contracts/contract_registry/index.d.ts +0 -8
  157. package/dist/shared/contracts/contract_registry/index.d.ts.map +0 -1
  158. package/dist/shared/contracts/contract_registry/index.js +0 -7
  159. package/dist/shared/contracts/contract_registry/index.js.map +0 -1
  160. package/dist/shared/contracts/contract_registry/registry.d.ts +0 -62
  161. package/dist/shared/contracts/contract_registry/registry.d.ts.map +0 -1
  162. package/dist/shared/contracts/contract_registry/registry.js +0 -191
  163. package/dist/shared/contracts/contract_registry/registry.js.map +0 -1
  164. package/dist/shared/contracts/contract_registry/registry_internal.d.ts +0 -19
  165. package/dist/shared/contracts/contract_registry/registry_internal.d.ts.map +0 -1
  166. package/dist/shared/contracts/contract_registry/registry_internal.js +0 -54
  167. package/dist/shared/contracts/contract_registry/registry_internal.js.map +0 -1
  168. package/dist/shared/contracts/contract_registry/types.d.ts +0 -47
  169. package/dist/shared/contracts/contract_registry/types.d.ts.map +0 -1
  170. package/dist/shared/contracts/contract_registry/types.js +0 -5
  171. package/dist/shared/contracts/contract_registry/types.js.map +0 -1
  172. package/dist/shared/contracts/contract_registry/validation.d.ts +0 -25
  173. package/dist/shared/contracts/contract_registry/validation.d.ts.map +0 -1
  174. package/dist/shared/contracts/contract_registry/validation.js +0 -363
  175. package/dist/shared/contracts/contract_registry/validation.js.map +0 -1
  176. package/dist/shared/llm_gateway.d.ts +0 -186
  177. package/dist/shared/llm_gateway.d.ts.map +0 -1
  178. package/dist/shared/llm_gateway.js +0 -393
  179. package/dist/shared/llm_gateway.js.map +0 -1
  180. package/dist/verify/audit/audit_sampler.d.ts +0 -29
  181. package/dist/verify/audit/audit_sampler.d.ts.map +0 -1
  182. package/dist/verify/audit/audit_sampler.js +0 -42
  183. package/dist/verify/audit/audit_sampler.js.map +0 -1
  184. package/dist/verify/audit/debt_reporter.d.ts +0 -22
  185. package/dist/verify/audit/debt_reporter.d.ts.map +0 -1
  186. package/dist/verify/audit/debt_reporter.js +0 -107
  187. package/dist/verify/audit/debt_reporter.js.map +0 -1
  188. package/dist/verify/audit/debugger.d.ts +0 -25
  189. package/dist/verify/audit/debugger.d.ts.map +0 -1
  190. package/dist/verify/audit/debugger.js +0 -429
  191. package/dist/verify/audit/debugger.js.map +0 -1
  192. package/dist/verify/audit/degradation.d.ts +0 -62
  193. package/dist/verify/audit/degradation.d.ts.map +0 -1
  194. package/dist/verify/audit/degradation.js +0 -78
  195. package/dist/verify/audit/degradation.js.map +0 -1
  196. package/dist/verify/audit/developer_sovereignty.d.ts +0 -29
  197. package/dist/verify/audit/developer_sovereignty.d.ts.map +0 -1
  198. package/dist/verify/audit/developer_sovereignty.js +0 -137
  199. package/dist/verify/audit/developer_sovereignty.js.map +0 -1
  200. package/dist/verify/audit/failure_report.d.ts +0 -76
  201. package/dist/verify/audit/failure_report.d.ts.map +0 -1
  202. package/dist/verify/audit/failure_report.js +0 -145
  203. package/dist/verify/audit/failure_report.js.map +0 -1
  204. package/dist/verify/audit/governance_report.d.ts +0 -110
  205. package/dist/verify/audit/governance_report.d.ts.map +0 -1
  206. package/dist/verify/audit/governance_report.js +0 -194
  207. package/dist/verify/audit/governance_report.js.map +0 -1
  208. package/dist/verify/audit/mutation_audit.d.ts +0 -40
  209. package/dist/verify/audit/mutation_audit.d.ts.map +0 -1
  210. package/dist/verify/audit/mutation_audit.js +0 -154
  211. package/dist/verify/audit/mutation_audit.js.map +0 -1
  212. package/dist/verify/audit/risk_sampler.d.ts +0 -44
  213. package/dist/verify/audit/risk_sampler.d.ts.map +0 -1
  214. package/dist/verify/audit/risk_sampler.js +0 -80
  215. package/dist/verify/audit/risk_sampler.js.map +0 -1
  216. package/dist/verify/audit/runtime_safety.d.ts +0 -89
  217. package/dist/verify/audit/runtime_safety.d.ts.map +0 -1
  218. package/dist/verify/audit/runtime_safety.js +0 -209
  219. package/dist/verify/audit/runtime_safety.js.map +0 -1
  220. package/dist/verify/audit/semantic_evidence.d.ts +0 -36
  221. package/dist/verify/audit/semantic_evidence.d.ts.map +0 -1
  222. package/dist/verify/audit/semantic_evidence.js +0 -90
  223. package/dist/verify/audit/semantic_evidence.js.map +0 -1
  224. package/dist/verify/audit/test_generator.d.ts +0 -23
  225. package/dist/verify/audit/test_generator.d.ts.map +0 -1
  226. package/dist/verify/audit/test_generator.js +0 -278
  227. package/dist/verify/audit/test_generator.js.map +0 -1
  228. package/dist/verify/audit/test_quality.d.ts +0 -49
  229. package/dist/verify/audit/test_quality.d.ts.map +0 -1
  230. package/dist/verify/audit/test_quality.js +0 -684
  231. package/dist/verify/audit/test_quality.js.map +0 -1
  232. package/dist/verify/change_coordinator.d.ts +0 -45
  233. package/dist/verify/change_coordinator.d.ts.map +0 -1
  234. package/dist/verify/change_coordinator.js +0 -168
  235. package/dist/verify/change_coordinator.js.map +0 -1
  236. package/dist/verify/contracts/decision_contract.d.ts +0 -51
  237. package/dist/verify/contracts/decision_contract.d.ts.map +0 -1
  238. package/dist/verify/contracts/decision_contract.js +0 -70
  239. package/dist/verify/contracts/decision_contract.js.map +0 -1
  240. package/dist/verify/contracts/mechanism_contract_registry/contracts-audit.d.ts +0 -17
  241. package/dist/verify/contracts/mechanism_contract_registry/contracts-audit.d.ts.map +0 -1
  242. package/dist/verify/contracts/mechanism_contract_registry/contracts-audit.js +0 -428
  243. package/dist/verify/contracts/mechanism_contract_registry/contracts-audit.js.map +0 -1
  244. package/dist/verify/contracts/mechanism_contract_registry/contracts-governance.d.ts +0 -17
  245. package/dist/verify/contracts/mechanism_contract_registry/contracts-governance.d.ts.map +0 -1
  246. package/dist/verify/contracts/mechanism_contract_registry/contracts-governance.js +0 -429
  247. package/dist/verify/contracts/mechanism_contract_registry/contracts-governance.js.map +0 -1
  248. package/dist/verify/contracts/mechanism_contract_registry/contracts-pipeline.d.ts +0 -17
  249. package/dist/verify/contracts/mechanism_contract_registry/contracts-pipeline.d.ts.map +0 -1
  250. package/dist/verify/contracts/mechanism_contract_registry/contracts-pipeline.js +0 -194
  251. package/dist/verify/contracts/mechanism_contract_registry/contracts-pipeline.js.map +0 -1
  252. package/dist/verify/contracts/mechanism_contract_registry/contracts-platform.d.ts +0 -17
  253. package/dist/verify/contracts/mechanism_contract_registry/contracts-platform.d.ts.map +0 -1
  254. package/dist/verify/contracts/mechanism_contract_registry/contracts-platform.js +0 -365
  255. package/dist/verify/contracts/mechanism_contract_registry/contracts-platform.js.map +0 -1
  256. package/dist/verify/contracts/mechanism_contract_registry/index.d.ts +0 -19
  257. package/dist/verify/contracts/mechanism_contract_registry/index.d.ts.map +0 -1
  258. package/dist/verify/contracts/mechanism_contract_registry/index.js +0 -21
  259. package/dist/verify/contracts/mechanism_contract_registry/index.js.map +0 -1
  260. package/dist/verify/contracts/mechanism_contract_registry/types.d.ts +0 -33
  261. package/dist/verify/contracts/mechanism_contract_registry/types.d.ts.map +0 -1
  262. package/dist/verify/contracts/mechanism_contract_registry/types.js +0 -5
  263. package/dist/verify/contracts/mechanism_contract_registry/types.js.map +0 -1
  264. package/dist/verify/contracts/mechanism_contract_registry/validation.d.ts +0 -38
  265. package/dist/verify/contracts/mechanism_contract_registry/validation.d.ts.map +0 -1
  266. package/dist/verify/contracts/mechanism_contract_registry/validation.js +0 -136
  267. package/dist/verify/contracts/mechanism_contract_registry/validation.js.map +0 -1
  268. package/templates/shared/LLM/351/242/204/347/256/227/347/275/221/345/205/263.md +0 -54
  269. package/templates/shared//346/265/201/345/274/217/345/277/203/350/267/263.md +0 -64
@@ -1,429 +0,0 @@
1
- /**
2
- * Contracts-Governance — 契约层模块。
3
- *
4
- * 职责边界:
5
- * - 负责:GOVERNANCE_CONTRACTS 等 契约层职责
6
- * - 不负责:不属于本模块的职责由对应模块承担
7
- *
8
- * 被谁调用:契约验证、注册表查询
9
- * 调用谁:types
10
- *
11
- * 数据流:契约定义 → 验证逻辑 → 通过/拒绝结果
12
- * 持久化:无持久化(纯计算/内存态)
13
- */
14
- /** 治理与安全 P0 机制契约 */
15
- export const GOVERNANCE_CONTRACTS = [
16
- // ── 29. plan_proposal_gate (problem-55) ──
17
- {
18
- id: "mc-plan-proposal-gate",
19
- name: "Plan / Proposal First Gate",
20
- owner_module: "src/gate/plan_proposal_gate.ts",
21
- owner_exports: ["evaluatePlanProposalGate", "requirePlanBeforeAction", "validateActionWithinPlan", "createPlanProposalEvidence", "inferPlanGateTaskType"],
22
- mechanism_type: "planning",
23
- status: "enforced",
24
- trigger: "classify/route 后、expand/executing 前",
25
- required_inputs: ["task_id", "task_type", "user_intent"],
26
- preconditions: ["sf_task 已完成"],
27
- outputs: ["PlanProposalGateResult", "PlanProposalEvidence", "UserConfirmationRef", "VerificationPlanRef"],
28
- downstream_consumers: ["sf_work", "build", "sf_gate", "ToolInvocation", "CommandContract"],
29
- failure_modes: ["缺计划执行写入", "高风险无确认", "计划外动作", "review 被升级为执行"],
30
- degradation_behavior: "Plan Gate 未通过时阻断写入/编码/构建/Docker/迁移/发布/交付",
31
- tests: ["tests/engine/release_gate_scenario_matrix.test.ts"],
32
- lifecycle_tests: ["tests/engine/release_gate_scenario_matrix.test.ts"],
33
- },
34
- // ── 30. core_experience_principle (problem-56) ──
35
- {
36
- id: "mc-core-experience-principle",
37
- name: "Core Experience Principle",
38
- owner_module: "src/verify/audit/core_experience_principle.ts",
39
- owner_exports: ["evaluateCoreExperiencePrinciple", "evaluateNoFalseCompletion", "evaluateMechanismFriction", "evaluateUserVisibleOutput", "createCoreExperiencePrincipleContract"],
40
- mechanism_type: "governance",
41
- status: "enforced",
42
- trigger: "新增机制/模板/workflow/Batch 问题时",
43
- required_inputs: ["task_id", "workflow_id", "mechanism_evaluation_params"],
44
- preconditions: ["新增机制已注册"],
45
- outputs: ["CoreExperiencePrincipleEvaluation", "UserPathFrictionReport", "EvidenceSufficiencyReport", "RepairOrManualRequiredDecision"],
46
- downstream_consumers: ["sf_gate", "sf_work", "validate-mechanisms", "ReleaseGate"],
47
- failure_modes: ["机制未接主线", "用户路径过长", "硬规则降级", "假完成"],
48
- degradation_behavior: "体验原则违反时阻断交付/发布",
49
- tests: ["tests/engine/release_gate_scenario_matrix.test.ts"],
50
- lifecycle_tests: ["tests/engine/release_gate_scenario_matrix.test.ts"],
51
- },
52
- // ══ DL-only 机制补入 MC ══
53
- // ── 32. workflow_contract ──
54
- {
55
- id: "mc-workflow-contract",
56
- name: "工作流契约",
57
- owner_module: "src/verify/contracts/dual_layer_mechanism_registry/validation.ts",
58
- owner_exports: ["getAllWorkflowMechanismIds"],
59
- mechanism_type: "governance",
60
- status: "enforced",
61
- trigger: "sf_task/sf_work 路由后",
62
- required_inputs: ["domain", "workflow_id"],
63
- preconditions: ["domain 已由 routeIntent 确定"],
64
- outputs: ["ResolvedWorkflowInfo", "WorkflowTrace"],
65
- downstream_consumers: ["sf_work", "sf_gate", "sf_work"],
66
- failure_modes: ["workflow 缺失 required_mechanism", "workflow 与 domain 不匹配"],
67
- degradation_behavior: "workflow 未命中时降级为默认 workflow",
68
- tests: ["tests/engine/workflow_contract_registry.test.ts"],
69
- lifecycle_tests: ["tests/engine/workflow_contract_registry.test.ts"],
70
- },
71
- // ── 33. tool_invocation_contract ──
72
- {
73
- id: "mc-tool-invocation-contract",
74
- name: "工具调用契约",
75
- owner_module: "src/server/tools/index.ts",
76
- owner_exports: ["registerTools", "checkWriteToolPlanGate"],
77
- mechanism_type: "safety",
78
- status: "enforced",
79
- trigger: "MCP tool 调用时",
80
- required_inputs: ["tool_name", "tool_args"],
81
- preconditions: [],
82
- outputs: ["ToolResult"],
83
- downstream_consumers: ["sf_work", "sf_work", "sf_gate", "sf_work"],
84
- failure_modes: ["tool 参数缺失", "tool 返回结构不符合契约"],
85
- degradation_behavior: "tool 调用失败时返回错误信息",
86
- tests: ["tests/adapters/tools_lifecycle.test.ts"],
87
- lifecycle_tests: ["tests/adapters/tools_lifecycle.test.ts"],
88
- },
89
- // ── 34. main_path_integration ──
90
- {
91
- id: "mc-main-path-integration",
92
- name: "主链路集成",
93
- owner_module: "src/verify/audit/main_path_integration_contract.ts",
94
- owner_exports: ["orphanGate", "auditIntegration", "validateMainPathIntegration"],
95
- mechanism_type: "governance",
96
- status: "enforced",
97
- trigger: "sf_gate 验证阶段",
98
- required_inputs: ["changed_files", "stage_context"],
99
- preconditions: [],
100
- outputs: ["MainPathIntegrationReport"],
101
- downstream_consumers: ["sf_gate", "sf_work"],
102
- failure_modes: ["孤岛模块未接入主链路"],
103
- degradation_behavior: "孤岛模块不阻断但报告为 finding",
104
- tests: ["tests/engine/main_path_integration_contract.test.ts"],
105
- lifecycle_tests: ["tests/engine/main_path_integration_contract.test.ts"],
106
- },
107
- // ── 35. privacy_boundary ──
108
- {
109
- id: "mc-privacy-boundary",
110
- name: "隐私边界",
111
- owner_module: "src/gate/privacy/index.ts",
112
- owner_exports: ["scanTextSensitivity", "evaluatePrivacyGate", "redactSensitiveText"],
113
- mechanism_type: "safety",
114
- status: "enforced",
115
- trigger: "sf_work 扩展前",
116
- required_inputs: ["intent", "input_materials"],
117
- preconditions: [],
118
- outputs: ["PrivacyCheckResult"],
119
- downstream_consumers: ["sf_work", "sf_gate"],
120
- failure_modes: ["敏感数据泄漏到 prompt", "生产数据进入代码"],
121
- degradation_behavior: "隐私检查失败时阻断扩展",
122
- tests: ["tests/engine/privacy_secret_contract.test.ts"],
123
- lifecycle_tests: ["tests/engine/privacy_secret_contract.test.ts"],
124
- },
125
- // ── 36. command_execution ──
126
- {
127
- id: "mc-command-execution",
128
- name: "命令执行契约",
129
- owner_module: "src/gate/contracts/command_execution_contract.ts",
130
- owner_exports: ["validateCommand"],
131
- mechanism_type: "safety",
132
- status: "enforced",
133
- trigger: "命令执行前",
134
- required_inputs: ["command", "risk_level"],
135
- preconditions: [],
136
- outputs: ["CommandValidationResult"],
137
- downstream_consumers: ["sf_gate", "sf_work"],
138
- failure_modes: ["destructive 命令未确认", "命令注入"],
139
- degradation_behavior: "高风险命令需要人工确认",
140
- tests: ["tests/engine/command_execution_contract.test.ts"],
141
- lifecycle_tests: ["tests/engine/command_execution_contract.test.ts"],
142
- },
143
- // ── 37. guard_evaluation ──
144
- {
145
- id: "mc-guard-evaluation",
146
- name: "护栏评估",
147
- owner_module: "src/verify/contracts/enforcement_guard.ts",
148
- owner_exports: ["listAllGuards", "evaluateWriteGuard", "validateGuardContractIds"],
149
- mechanism_type: "governance",
150
- status: "enforced",
151
- trigger: "sf_work/sf_gate 阶段",
152
- required_inputs: ["route", "mechanism_status"],
153
- preconditions: [],
154
- outputs: ["GuardEvaluationResult"],
155
- downstream_consumers: ["sf_work", "sf_gate", "sf_work"],
156
- failure_modes: ["required 机制未 enforced", "guard 绕过"],
157
- degradation_behavior: "guard 失败时阻断流程",
158
- tests: ["tests/engine/verification_scenario_matrix.test.ts"],
159
- lifecycle_tests: ["tests/engine/verification_scenario_matrix.test.ts"],
160
- },
161
- // ── 38. registry_infrastructure ──
162
- {
163
- id: "mc-registry-infrastructure",
164
- name: "注册表基础设施",
165
- owner_module: "src/domain/asset_registry/derived_registry.ts",
166
- owner_exports: ["scanDerivedRegistry"],
167
- mechanism_type: "governance",
168
- status: "enforced",
169
- trigger: "初始化时",
170
- required_inputs: ["asset_path", "mechanism_id"],
171
- preconditions: [],
172
- outputs: ["DerivedAsset[]"],
173
- downstream_consumers: ["domain_engine", "stage_executor", "verifier", "claude_md"],
174
- failure_modes: ["资产注册不一致", "owner_mechanism_id 不存在"],
175
- degradation_behavior: "注册表不一致时报告为 finding",
176
- tests: ["tests/domain/derived_registry.test.ts"],
177
- lifecycle_tests: ["tests/domain/derived_registry.test.ts"],
178
- },
179
- // ── 39. instruction_contract ──
180
- {
181
- id: "mc-instruction-contract",
182
- name: "施工指令契约",
183
- owner_module: "src/verify/contracts/instruction_contract.ts",
184
- owner_exports: ["validateInstructionContract", "registerInstructionIssueCandidate", "checkInstructionCompleteness", "enforceInstructionBeforeImplementation"],
185
- mechanism_type: "governance",
186
- status: "enforced",
187
- trigger: "写操作/实现/编码前",
188
- required_inputs: ["task_id", "goal", "scope", "non_goals", "output_location", "acceptance_criteria", "bypass_prohibited"],
189
- preconditions: [],
190
- outputs: ["InstructionValidationResult", "InstructionEnforcementResult"],
191
- downstream_consumers: ["sf_work", "registerSafeTool middleware", "sf_gate", "sf_work"],
192
- failure_modes: ["施工指令缺失必填字段", "blocked 状态指令被放行", "空值假通过"],
193
- degradation_behavior: "指令不完整时阻断,不可降级",
194
- tests: ["tests/engine/instruction_contract.test.ts"],
195
- lifecycle_tests: ["tests/engine/instruction_contract.test.ts"],
196
- },
197
- // ── 40. evidence_grounding ──
198
- {
199
- id: "mc-evidence-grounding",
200
- name: "证据驱动与反幻觉契约",
201
- owner_module: "src/verify/contracts/evidence_grounding_contract.ts",
202
- owner_exports: [
203
- "createEvidenceGroundingSystem",
204
- "assessTaskRisk",
205
- "EvidenceSourceRegistry",
206
- "FactClaimVerifier",
207
- "UnsupportedClaimGate",
208
- "GroundedContextBuilder",
209
- "EvidenceConflictDetector",
210
- "HallucinationRiskClassifier",
211
- ],
212
- mechanism_type: "governance",
213
- status: "enforced",
214
- trigger: "高风险任务的事实声明、验证结论、交付结论必须经过证据校验",
215
- required_inputs: ["task_risk_level", "fact_claims", "evidence_sources"],
216
- preconditions: ["任务已分类", "施工指令存在"],
217
- outputs: ["EvidenceMatrix", "EvidenceGateResult"],
218
- downstream_consumers: ["sf_work", "sf_gate", "sf_work", "instruction_contract"],
219
- failure_modes: [
220
- "SF-EVIDENCE-6001: 高风险任务存在无证据声明 (hard_fail, 补充证据或标注不确定)",
221
- "SF-EVIDENCE-6002: 高风险任务缺少证据矩阵 (hard_fail, 构建证据矩阵)",
222
- ],
223
- degradation_behavior: "低风险任务降级为advisory,不阻断",
224
- tests: ["tests/engine/evidence_grounding_contract.test.ts"],
225
- lifecycle_tests: ["tests/engine/evidence_grounding_contract.test.ts"],
226
- },
227
- // ── 全生命周期工作流导航契约 ──
228
- {
229
- id: "mc-workflow-navigation-contract",
230
- name: "全生命周期工作流导航契约",
231
- owner_module: "src/domain/workflow/next_action_planner.ts",
232
- owner_files: ["src/domain/workflow/next_action_planner.ts", "src/core/observer.ts"],
233
- owner_exports: [
234
- "planNextAction",
235
- "computeDisallowedActions",
236
- ],
237
- mechanism_type: "contract_enforcement",
238
- status: "enforced",
239
- trigger: "sf_work, sf_task, 以及\"下一步\"\"继续\"\"现在能写代码吗\"等模糊推进意图",
240
- required_inputs: ["project_path"],
241
- preconditions: [],
242
- outputs: ["NextActionPlan", "ExecutableWorkPackage", "StaleCurrentTaskResult"],
243
- downstream_consumers: ["cli_next", "cli_stage", "cli_status", "sf_work", "release_readiness_gate"],
244
- state_transitions: [],
245
- cleanup_hooks: [],
246
- failure_modes: [
247
- "SF-NAV-6501: 设计审计失败仍尝试编码 (hard_fail, 完成设计审计)",
248
- "SF-NAV-6502: 配置未确认仍尝试任务 (hard_fail, 确认配置)",
249
- "SF-NAV-6503: 陈旧任务阻塞新任务 (hard_fail, 归档或恢复旧任务)",
250
- "SF-NAV-6504: repair directive 未清零仍交付 (hard_fail, 完成修复复验)",
251
- ],
252
- degradation_behavior: "导航失败时降级为 advisory,不阻断",
253
- tests: ["tests/engine/workflow_navigation_contract.test.ts", "tests/adapters/workflow_navigation_mainpath.test.ts"], // cli_next_action.test.ts 已随 Phase B CLI 命令移除而删除
254
- lifecycle_tests: ["tests/adapters/workflow_navigation_mainpath.test.ts"],
255
- },
256
- {
257
- id: "mc-ood-solid-contract",
258
- name: "OOD 与 SOLID 实现契约",
259
- owner_module: "src/verify/contracts/ood_solid_contract.ts",
260
- owner_exports: ["requiresOodSolidContract", "evaluateOodDesignGate", "reviewSolidCode", "hasBlockingSolidFindings"],
261
- mechanism_type: "contract_enforcement",
262
- status: "enforced",
263
- trigger: "复杂业务编码、对象边界设计、代码审查、验证和交付",
264
- required_inputs: ["task_id", "intent", "changed_files"],
265
- preconditions: ["任务已分类"],
266
- outputs: ["OodDesignSummary", "SolidReviewFinding", "OodSolidGateResult"],
267
- downstream_consumers: ["sf_work", "sf_gate", "sf_work"],
268
- failure_modes: [
269
- "SF-OOD-6601: 复杂编码缺少 OOD/SOLID 摘要",
270
- "SF-OOD-6602: SRP/LSP/ISP/DIP 硬失败仍尝试交付",
271
- ],
272
- degradation_behavior: "低风险文案或简单配置修改不触发重设计,仅对过度设计给出 warning",
273
- tests: ["tests/engine/ood_solid_contract.test.ts", "tests/adapters/implementation_contract_mainpath.test.ts"],
274
- lifecycle_tests: ["tests/adapters/implementation_contract_mainpath.test.ts"],
275
- },
276
- {
277
- id: "mc-backend-implementation-contract",
278
- name: "后端实现工程契约",
279
- owner_module: "src/verify/contracts/backend_implementation_contract.ts",
280
- owner_exports: ["requiresBackendImplementationContract", "evaluateBackendImplementationGate", "reviewBackendImplementationFiles", "hasBlockingBackendFindings"],
281
- mechanism_type: "contract_enforcement",
282
- status: "enforced",
283
- trigger: "后端接口、数据写入、安全或一致性实现的编码、审查、验证和交付",
284
- required_inputs: ["task_id", "intent", "changed_files"],
285
- preconditions: ["任务已分类"],
286
- outputs: ["BackendImplementationWorkPackage", "BackendImplementationFinding", "BackendImplementationGateResult"],
287
- downstream_consumers: ["sf_work", "sf_gate", "sf_work"],
288
- failure_modes: [
289
- "SF-BACKEND-6701: 后端实现缺少工程工作包",
290
- "SF-BACKEND-6702: DTO/事务/幂等/权限/审计硬失败仍尝试交付",
291
- ],
292
- degradation_behavior: "非后端和低风险文本任务不触发后端实现门禁",
293
- tests: ["tests/engine/backend_implementation_contract.test.ts", "tests/adapters/implementation_contract_mainpath.test.ts"],
294
- lifecycle_tests: ["tests/adapters/implementation_contract_mainpath.test.ts"],
295
- },
296
- {
297
- id: "mc-code-maintainability-observability-contract",
298
- name: "代码可维护性与可观测性契约",
299
- owner_module: "src/verify/contracts/code_maintainability_observability_contract.ts",
300
- owner_exports: [
301
- "requiresCodeObservabilityContract",
302
- "evaluateCodeObservabilityGate",
303
- "reviewCodeObservability",
304
- "detectSensitiveLogs",
305
- "reviewMissingLogs",
306
- "reviewCommentQuality",
307
- "reviewLoggerUsage",
308
- "detectProjectLogger",
309
- "isLowRiskChange",
310
- "hasBlockingObservabilityFindings",
311
- "verifyChangedFilesObservability",
312
- "evaluateDeliveryBlock",
313
- ],
314
- mechanism_type: "contract_enforcement",
315
- status: "enforced",
316
- trigger: "业务编码、接口实现、状态流转、支付、权限、迁移脚本、异常处理、外部调用的编码、审查、验证和交付",
317
- required_inputs: ["task_id", "intent", "changed_files"],
318
- preconditions: ["任务已分类"],
319
- outputs: ["CodeObservabilityWorkPackage", "CodeObservabilityFinding", "CodeObservabilityGateResult"],
320
- downstream_consumers: ["sf_work", "sf_gate", "sf_work"],
321
- failure_modes: [
322
- "SF-OBS-6801: 敏感信息泄漏日志",
323
- "SF-OBS-6802: catch 吞异常无日志",
324
- "SF-OBS-6803: 支付/金额/权限变更无日志",
325
- "SF-OBS-6804: 数据修复/迁移无审计日志",
326
- ],
327
- degradation_behavior: "纯样式、文案、简单 getter/setter、测试 fixture、低风险只读查询不触发可维护性与可观测性门禁",
328
- tests: ["tests/engine/code_maintainability_observability_contract.test.ts", "tests/adapters/implementation_contract_mainpath.test.ts"],
329
- lifecycle_tests: ["tests/adapters/implementation_contract_mainpath.test.ts"],
330
- },
331
- {
332
- id: "mc-code-quality-gate",
333
- name: "代码质量门禁(防 AI 偷懒)",
334
- owner_module: "src/verify/contracts/lazy_pattern_detector.ts",
335
- owner_exports: [
336
- "detectLazyPatterns",
337
- ],
338
- mechanism_type: "contract_enforcement",
339
- status: "enforced",
340
- trigger: "代码变更的写入(Hook 实时拦截)和验证阶段(sf_gate)",
341
- required_inputs: ["changed_files", "file_content"],
342
- preconditions: ["文件路径为 .ts 或 .md"],
343
- outputs: ["LazyPatternFinding", "ErrorPathFinding", "BehaviorCoverageFinding"],
344
- downstream_consumers: ["sf_gate", "sf_work"],
345
- failure_modes: [
346
- "SF-LAZY-001: 空函数体",
347
- "SF-LAZY-002: 未实现占位",
348
- "SF-LAZY-003: 空 catch 块",
349
- "SF-LAZY-004: 未实现注释",
350
- "SF-ERROR-PATH: 错误处理路径验证失败",
351
- ],
352
- degradation_behavior: ".d.ts / .test.ts / .spec.ts 豁免部分检测;纯样式文案不触发",
353
- tests: [
354
- "tests/engine/lazy_pattern_detector.test.ts",
355
- // Phase A: error_path_verifier.test.ts 和 behavior_coverage_verifier.test.ts 已删除
356
- ],
357
- lifecycle_tests: ["tests/architecture/architecture_boundary.test.ts"],
358
- },
359
- // Phase A: mechanism_health_check.ts 已删除,标记为 deprecated
360
- {
361
- id: "mc-mechanism-health",
362
- name: "机制运行时健康度",
363
- owner_module: "",
364
- owner_exports: [],
365
- mechanism_type: "contract_enforcement",
366
- status: "deprecated",
367
- trigger: "validate-mechanisms 与 validate-release 执行机制死代码、lazy import 和未消费机制检查",
368
- required_inputs: ["rootDir"],
369
- preconditions: ["源码可读"],
370
- outputs: ["MechanismHealthReport"],
371
- downstream_consumers: ["cmdValidateMechanisms", "validate-release"],
372
- failure_modes: ["lazy import 只声明未调用", "机制资产缺失", "机制身份未注册"],
373
- degradation_behavior: "离线治理机制,不影响用户项目运行时路径",
374
- tests: [],
375
- lifecycle_tests: [],
376
- },
377
- {
378
- id: "mc-config-write-boundary",
379
- name: "配置落盘边界",
380
- owner_module: "src/context/config/config_write_boundary.ts",
381
- owner_exports: ["classifyConfigContext", "isWriteAllowed", "validateWriteBoundary", "getWriteConfirmationPrompt"],
382
- mechanism_type: "contract_enforcement",
383
- status: "enforced",
384
- trigger: "init、sync-templates 等管理命令准备写入 SoloForge 管理文件",
385
- required_inputs: ["project_path", "target_path"],
386
- preconditions: ["项目路径可读"],
387
- outputs: ["ConfigWriteDecision", "WriteBoundaryViolation"],
388
- downstream_consumers: ["cmdSyncTemplates", "validate-release"],
389
- failure_modes: ["运行时推断自动落盘", "已有项目未确认写入管理文件"],
390
- degradation_behavior: "空项目初始化允许写入,已有项目需要确认",
391
- tests: ["tests/engine/config_write_boundary.test.ts"],
392
- lifecycle_tests: ["tests/engine/config_write_boundary.test.ts"],
393
- },
394
- {
395
- id: "mc-knowledge-governance",
396
- name: "知识治理统一入口",
397
- owner_module: "src/context/knowledge/knowledge_governance_gate.ts",
398
- owner_exports: ["runKnowledgeGovernanceCheck", "checkSemanticCompliance", "checkEvolutionEvidence", "checkDocumentationGovernance", "checkLanguagePolicyCompliance"],
399
- mechanism_type: "contract_enforcement",
400
- status: "enforced",
401
- trigger: "validate、sync-templates 与 validate-release 执行知识生命周期、语义、文档和语言策略检查",
402
- required_inputs: ["KnowledgeGovernanceContext"],
403
- preconditions: ["知识资产可读"],
404
- outputs: ["KnowledgeGovernanceReport"],
405
- downstream_consumers: ["cmdSyncTemplates", "validate-release"],
406
- failure_modes: ["知识晋级无证据", "用户可见语义污染", "设计文档承载未验证事实"],
407
- degradation_behavior: "默认作为治理报告输出,hard_fail 仅阻断发布或明确 apply",
408
- tests: ["tests/engine/knowledge_lifecycle.test.ts"],
409
- lifecycle_tests: ["tests/engine/knowledge_lifecycle.test.ts"],
410
- },
411
- {
412
- id: "mc-log-governance",
413
- name: "日志治理与用户输出纯净",
414
- owner_module: "src/shared/log_governance.ts",
415
- owner_exports: ["enforceLogGovernance", "classifyOutputVisibility", "validateLogFormat", "assessOutputNoise", "evaluateFeedbackOutputQuality"],
416
- mechanism_type: "contract_enforcement",
417
- status: "enforced",
418
- trigger: "用户反馈、交付输出和 validate-release 输出噪音检查",
419
- required_inputs: ["output"],
420
- preconditions: ["输出内容可检查"],
421
- outputs: ["LogGovernanceReport"],
422
- downstream_consumers: ["assessCepForUserFeedback", "validate-release"],
423
- failure_modes: ["内部噪音泄漏", "JSON stdout 污染", "直接 console 输出"],
424
- degradation_behavior: "默认不改变成功路径,只阻断输出污染和发布噪音",
425
- tests: ["tests/engine/log_governance.test.ts"],
426
- lifecycle_tests: ["tests/engine/log_governance.test.ts"],
427
- },
428
- ];
429
- //# sourceMappingURL=contracts-governance.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"contracts-governance.js","sourceRoot":"","sources":["../../../../src/verify/contracts/mechanism_contract_registry/contracts-governance.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH,oBAAoB;AACpB,MAAM,CAAC,MAAM,oBAAoB,GAAwB;IACvD,4CAA4C;IAC5C;QACE,EAAE,EAAE,uBAAuB;QAC3B,IAAI,EAAE,4BAA4B;QAClC,YAAY,EAAE,gCAAgC;QAC9C,aAAa,EAAE,CAAC,0BAA0B,EAAE,yBAAyB,EAAE,0BAA0B,EAAE,4BAA4B,EAAE,uBAAuB,CAAC;QACzJ,cAAc,EAAE,UAAU;QAC1B,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,qCAAqC;QAC9C,eAAe,EAAE,CAAC,SAAS,EAAE,WAAW,EAAE,aAAa,CAAC;QACxD,aAAa,EAAE,CAAC,aAAa,CAAC;QAC9B,OAAO,EAAE,CAAC,wBAAwB,EAAE,sBAAsB,EAAE,qBAAqB,EAAE,qBAAqB,CAAC;QACzG,oBAAoB,EAAE,CAAC,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,gBAAgB,EAAE,iBAAiB,CAAC;QAC1F,aAAa,EAAE,CAAC,SAAS,EAAE,QAAQ,EAAE,OAAO,EAAE,eAAe,CAAC;QAC9D,oBAAoB,EAAE,0CAA0C;QAChE,KAAK,EAAE,CAAC,mDAAmD,CAAC;QAC5D,eAAe,EAAE,CAAC,mDAAmD,CAAC;KACvE;IACD,mDAAmD;IACnD;QACE,EAAE,EAAE,8BAA8B;QAClC,IAAI,EAAE,2BAA2B;QACjC,YAAY,EAAE,+CAA+C;QAC7D,aAAa,EAAE,CAAC,iCAAiC,EAAE,2BAA2B,EAAE,2BAA2B,EAAE,2BAA2B,EAAE,uCAAuC,CAAC;QAClL,cAAc,EAAE,YAAY;QAC5B,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,4BAA4B;QACrC,eAAe,EAAE,CAAC,SAAS,EAAE,aAAa,EAAE,6BAA6B,CAAC;QAC1E,aAAa,EAAE,CAAC,SAAS,CAAC;QAC1B,OAAO,EAAE,CAAC,mCAAmC,EAAE,wBAAwB,EAAE,2BAA2B,EAAE,gCAAgC,CAAC;QACvI,oBAAoB,EAAE,CAAC,SAAS,EAAE,SAAS,EAAE,qBAAqB,EAAE,aAAa,CAAC;QAClF,aAAa,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC;QACnD,oBAAoB,EAAE,gBAAgB;QACtC,KAAK,EAAE,CAAC,mDAAmD,CAAC;QAC5D,eAAe,EAAE,CAAC,mDAAmD,CAAC;KACvE;IACD,wBAAwB;IAExB,8BAA8B;IAC9B;QACE,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,OAAO;QACb,YAAY,EAAE,kEAAkE;QAChF,aAAa,EAAE,CAAC,4BAA4B,CAAC;QAC7C,cAAc,EAAE,YAAY;QAC5B,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,qBAAqB;QAC9B,eAAe,EAAE,CAAC,QAAQ,EAAE,aAAa,CAAC;QAC1C,aAAa,EAAE,CAAC,0BAA0B,CAAC;QAC3C,OAAO,EAAE,CAAC,sBAAsB,EAAE,eAAe,CAAC;QAClD,oBAAoB,EAAE,CAAC,SAAS,EAAE,SAAS,EAAE,SAAS,CAAC;QACvD,aAAa,EAAE,CAAC,gCAAgC,EAAE,uBAAuB,CAAC;QAC1E,oBAAoB,EAAE,6BAA6B;QACnD,KAAK,EAAE,CAAC,iDAAiD,CAAC;QAC1D,eAAe,EAAE,CAAC,iDAAiD,CAAC;KACrE;IAED,qCAAqC;IACrC;QACE,EAAE,EAAE,6BAA6B;QACjC,IAAI,EAAE,QAAQ;QACd,YAAY,EAAE,2BAA2B;QACzC,aAAa,EAAE,CAAC,eAAe,EAAE,wBAAwB,CAAC;QAC1D,cAAc,EAAE,QAAQ;QACxB,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,cAAc;QACvB,eAAe,EAAE,CAAC,WAAW,EAAE,WAAW,CAAC;QAC3C,aAAa,EAAE,EAAE;QACjB,OAAO,EAAE,CAAC,YAAY,CAAC;QACvB,oBAAoB,EAAE,CAAC,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,CAAC;QAClE,aAAa,EAAE,CAAC,WAAW,EAAE,gBAAgB,CAAC;QAC9C,oBAAoB,EAAE,kBAAkB;QACxC,KAAK,EAAE,CAAC,wCAAwC,CAAC;QACjD,eAAe,EAAE,CAAC,wCAAwC,CAAC;KAC5D;IAED,kCAAkC;IAClC;QACE,EAAE,EAAE,0BAA0B;QAC9B,IAAI,EAAE,OAAO;QACb,YAAY,EAAE,oDAAoD;QAClE,aAAa,EAAE,CAAC,YAAY,EAAE,kBAAkB,EAAE,6BAA6B,CAAC;QAChF,cAAc,EAAE,YAAY;QAC5B,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,cAAc;QACvB,eAAe,EAAE,CAAC,eAAe,EAAE,eAAe,CAAC;QACnD,aAAa,EAAE,EAAE;QACjB,OAAO,EAAE,CAAC,2BAA2B,CAAC;QACtC,oBAAoB,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC;QAC5C,aAAa,EAAE,CAAC,YAAY,CAAC;QAC7B,oBAAoB,EAAE,qBAAqB;QAC3C,KAAK,EAAE,CAAC,qDAAqD,CAAC;QAC9D,eAAe,EAAE,CAAC,qDAAqD,CAAC;KACzE;IAED,6BAA6B;IAC7B;QACE,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,MAAM;QACZ,YAAY,EAAE,2BAA2B;QACzC,aAAa,EAAE,CAAC,qBAAqB,EAAE,qBAAqB,EAAE,qBAAqB,CAAC;QACpF,cAAc,EAAE,QAAQ;QACxB,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,aAAa;QACtB,eAAe,EAAE,CAAC,QAAQ,EAAE,iBAAiB,CAAC;QAC9C,aAAa,EAAE,EAAE;QACjB,OAAO,EAAE,CAAC,oBAAoB,CAAC;QAC/B,oBAAoB,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC;QAC5C,aAAa,EAAE,CAAC,gBAAgB,EAAE,UAAU,CAAC;QAC7C,oBAAoB,EAAE,aAAa;QACnC,KAAK,EAAE,CAAC,8CAA8C,CAAC;QACvD,eAAe,EAAE,CAAC,8CAA8C,CAAC;KAClE;IAED,8BAA8B;IAC9B;QACE,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,QAAQ;QACd,YAAY,EAAE,kDAAkD;QAChE,aAAa,EAAE,CAAC,iBAAiB,CAAC;QAClC,cAAc,EAAE,QAAQ;QACxB,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,OAAO;QAChB,eAAe,EAAE,CAAC,SAAS,EAAE,YAAY,CAAC;QAC1C,aAAa,EAAE,EAAE;QACjB,OAAO,EAAE,CAAC,yBAAyB,CAAC;QACpC,oBAAoB,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC;QAC5C,aAAa,EAAE,CAAC,mBAAmB,EAAE,MAAM,CAAC;QAC5C,oBAAoB,EAAE,aAAa;QACnC,KAAK,EAAE,CAAC,iDAAiD,CAAC;QAC1D,eAAe,EAAE,CAAC,iDAAiD,CAAC;KACrE;IAED,6BAA6B;IAC7B;QACE,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,MAAM;QACZ,YAAY,EAAE,2CAA2C;QACzD,aAAa,EAAE,CAAC,eAAe,EAAE,oBAAoB,EAAE,0BAA0B,CAAC;QAClF,cAAc,EAAE,YAAY;QAC5B,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,oBAAoB;QAC7B,eAAe,EAAE,CAAC,OAAO,EAAE,kBAAkB,CAAC;QAC9C,aAAa,EAAE,EAAE;QACjB,OAAO,EAAE,CAAC,uBAAuB,CAAC;QAClC,oBAAoB,EAAE,CAAC,SAAS,EAAE,SAAS,EAAE,SAAS,CAAC;QACvD,aAAa,EAAE,CAAC,uBAAuB,EAAE,UAAU,CAAC;QACpD,oBAAoB,EAAE,eAAe;QACrC,KAAK,EAAE,CAAC,mDAAmD,CAAC;QAC5D,eAAe,EAAE,CAAC,mDAAmD,CAAC;KACvE;IAED,oCAAoC;IACpC;QACE,EAAE,EAAE,4BAA4B;QAChC,IAAI,EAAE,SAAS;QACf,YAAY,EAAE,+CAA+C;QAC7D,aAAa,EAAE,CAAC,qBAAqB,CAAC;QACtC,cAAc,EAAE,YAAY;QAC5B,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,MAAM;QACf,eAAe,EAAE,CAAC,YAAY,EAAE,cAAc,CAAC;QAC/C,aAAa,EAAE,EAAE;QACjB,OAAO,EAAE,CAAC,gBAAgB,CAAC;QAC3B,oBAAoB,EAAE,CAAC,eAAe,EAAE,gBAAgB,EAAE,UAAU,EAAE,WAAW,CAAC;QAClF,aAAa,EAAE,CAAC,SAAS,EAAE,wBAAwB,CAAC;QACpD,oBAAoB,EAAE,oBAAoB;QAC1C,KAAK,EAAE,CAAC,uCAAuC,CAAC;QAChD,eAAe,EAAE,CAAC,uCAAuC,CAAC;KAC3D;IAED,iCAAiC;IACjC;QACE,EAAE,EAAE,yBAAyB;QAC7B,IAAI,EAAE,QAAQ;QACd,YAAY,EAAE,8CAA8C;QAC5D,aAAa,EAAE,CAAC,6BAA6B,EAAE,mCAAmC,EAAE,8BAA8B,EAAE,wCAAwC,CAAC;QAC7J,cAAc,EAAE,YAAY;QAC5B,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,YAAY;QACrB,eAAe,EAAE,CAAC,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,mBAAmB,CAAC;QACzH,aAAa,EAAE,EAAE;QACjB,OAAO,EAAE,CAAC,6BAA6B,EAAE,8BAA8B,CAAC;QACxE,oBAAoB,EAAE,CAAC,SAAS,EAAE,6BAA6B,EAAE,SAAS,EAAE,SAAS,CAAC;QACtF,aAAa,EAAE,CAAC,YAAY,EAAE,iBAAiB,EAAE,OAAO,CAAC;QACzD,oBAAoB,EAAE,eAAe;QACrC,KAAK,EAAE,CAAC,2CAA2C,CAAC;QACpD,eAAe,EAAE,CAAC,2CAA2C,CAAC;KAC/D;IAED,+BAA+B;IAC/B;QACE,EAAE,EAAE,uBAAuB;QAC3B,IAAI,EAAE,YAAY;QAClB,YAAY,EAAE,qDAAqD;QACnE,aAAa,EAAE;YACb,+BAA+B;YAC/B,gBAAgB;YAChB,wBAAwB;YACxB,mBAAmB;YACnB,sBAAsB;YACtB,wBAAwB;YACxB,0BAA0B;YAC1B,6BAA6B;SAC9B;QACD,cAAc,EAAE,YAAY;QAC5B,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,8BAA8B;QACvC,eAAe,EAAE,CAAC,iBAAiB,EAAE,aAAa,EAAE,kBAAkB,CAAC;QACvE,aAAa,EAAE,CAAC,OAAO,EAAE,QAAQ,CAAC;QAClC,OAAO,EAAE,CAAC,gBAAgB,EAAE,oBAAoB,CAAC;QACjD,oBAAoB,EAAE,CAAC,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,sBAAsB,CAAC;QAC/E,aAAa,EAAE;YACb,wDAAwD;YACxD,mDAAmD;SACpD;QACD,oBAAoB,EAAE,sBAAsB;QAC5C,KAAK,EAAE,CAAC,kDAAkD,CAAC;QAC3D,eAAe,EAAE,CAAC,kDAAkD,CAAC;KACtE;IAED,qBAAqB;IACrB;QACE,EAAE,EAAE,iCAAiC;QACrC,IAAI,EAAE,cAAc;QACpB,YAAY,EAAE,4CAA4C;QAC1D,WAAW,EAAE,CAAC,4CAA4C,EAAE,sBAAsB,CAAC;QACnF,aAAa,EAAE;YACb,gBAAgB;YAChB,0BAA0B;SAC3B;QACD,cAAc,EAAE,sBAAsB;QACtC,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,qDAAqD;QAC9D,eAAe,EAAE,CAAC,cAAc,CAAC;QACjC,aAAa,EAAE,EAAE;QACjB,OAAO,EAAE,CAAC,gBAAgB,EAAE,uBAAuB,EAAE,wBAAwB,CAAC;QAC9E,oBAAoB,EAAE,CAAC,UAAU,EAAE,WAAW,EAAE,YAAY,EAAE,SAAS,EAAE,wBAAwB,CAAC;QAClG,iBAAiB,EAAE,EAAE;QACrB,aAAa,EAAE,EAAE;QACjB,aAAa,EAAE;YACb,8CAA8C;YAC9C,2CAA2C;YAC3C,8CAA8C;YAC9C,0DAA0D;SAC3D;QACD,oBAAoB,EAAE,uBAAuB;QAC7C,KAAK,EAAE,CAAC,mDAAmD,EAAE,qDAAqD,CAAC,EAAE,iDAAiD;QACtK,eAAe,EAAE,CAAC,qDAAqD,CAAC;KACzE;IACD;QACE,EAAE,EAAE,uBAAuB;QAC3B,IAAI,EAAE,kBAAkB;QACxB,YAAY,EAAE,4CAA4C;QAC1D,aAAa,EAAE,CAAC,0BAA0B,EAAE,uBAAuB,EAAE,iBAAiB,EAAE,0BAA0B,CAAC;QACnH,cAAc,EAAE,sBAAsB;QACtC,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,0BAA0B;QACnC,eAAe,EAAE,CAAC,SAAS,EAAE,QAAQ,EAAE,eAAe,CAAC;QACvD,aAAa,EAAE,CAAC,OAAO,CAAC;QACxB,OAAO,EAAE,CAAC,kBAAkB,EAAE,oBAAoB,EAAE,oBAAoB,CAAC;QACzE,oBAAoB,EAAE,CAAC,SAAS,EAAE,SAAS,EAAE,SAAS,CAAC;QACvD,aAAa,EAAE;YACb,kCAAkC;YAClC,uCAAuC;SACxC;QACD,oBAAoB,EAAE,qCAAqC;QAC3D,KAAK,EAAE,CAAC,yCAAyC,EAAE,yDAAyD,CAAC;QAC7G,eAAe,EAAE,CAAC,yDAAyD,CAAC;KAC7E;IACD;QACE,EAAE,EAAE,oCAAoC;QACxC,IAAI,EAAE,UAAU;QAChB,YAAY,EAAE,yDAAyD;QACvE,aAAa,EAAE,CAAC,uCAAuC,EAAE,mCAAmC,EAAE,kCAAkC,EAAE,4BAA4B,CAAC;QAC/J,cAAc,EAAE,sBAAsB;QACtC,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,gCAAgC;QACzC,eAAe,EAAE,CAAC,SAAS,EAAE,QAAQ,EAAE,eAAe,CAAC;QACvD,aAAa,EAAE,CAAC,OAAO,CAAC;QACxB,OAAO,EAAE,CAAC,kCAAkC,EAAE,8BAA8B,EAAE,iCAAiC,CAAC;QAChH,oBAAoB,EAAE,CAAC,SAAS,EAAE,SAAS,EAAE,SAAS,CAAC;QACvD,aAAa,EAAE;YACb,8BAA8B;YAC9B,0CAA0C;SAC3C;QACD,oBAAoB,EAAE,sBAAsB;QAC5C,KAAK,EAAE,CAAC,sDAAsD,EAAE,yDAAyD,CAAC;QAC1H,eAAe,EAAE,CAAC,yDAAyD,CAAC;KAC7E;IACD;QACE,EAAE,EAAE,gDAAgD;QACpD,IAAI,EAAE,eAAe;QACrB,YAAY,EAAE,qEAAqE;QACnF,aAAa,EAAE;YACb,mCAAmC;YACnC,+BAA+B;YAC/B,yBAAyB;YACzB,qBAAqB;YACrB,mBAAmB;YACnB,sBAAsB;YACtB,mBAAmB;YACnB,qBAAqB;YACrB,iBAAiB;YACjB,kCAAkC;YAClC,iCAAiC;YACjC,uBAAuB;SACxB;QACD,cAAc,EAAE,sBAAsB;QACtC,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,iDAAiD;QAC1D,eAAe,EAAE,CAAC,SAAS,EAAE,QAAQ,EAAE,eAAe,CAAC;QACvD,aAAa,EAAE,CAAC,OAAO,CAAC;QACxB,OAAO,EAAE,CAAC,8BAA8B,EAAE,0BAA0B,EAAE,6BAA6B,CAAC;QACpG,oBAAoB,EAAE,CAAC,SAAS,EAAE,SAAS,EAAE,SAAS,CAAC;QACvD,aAAa,EAAE;YACb,uBAAuB;YACvB,2BAA2B;YAC3B,4BAA4B;YAC5B,2BAA2B;SAC5B;QACD,oBAAoB,EAAE,0DAA0D;QAChF,KAAK,EAAE,CAAC,kEAAkE,EAAE,yDAAyD,CAAC;QACtI,eAAe,EAAE,CAAC,yDAAyD,CAAC;KAC7E;IACD;QACE,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,iBAAiB;QACvB,YAAY,EAAE,+CAA+C;QAC7D,aAAa,EAAE;YACb,oBAAoB;SACrB;QACD,cAAc,EAAE,sBAAsB;QACtC,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,kCAAkC;QAC3C,eAAe,EAAE,CAAC,eAAe,EAAE,cAAc,CAAC;QAClD,aAAa,EAAE,CAAC,iBAAiB,CAAC;QAClC,OAAO,EAAE,CAAC,oBAAoB,EAAE,kBAAkB,EAAE,yBAAyB,CAAC;QAC9E,oBAAoB,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC;QAC5C,aAAa,EAAE;YACb,mBAAmB;YACnB,oBAAoB;YACpB,wBAAwB;YACxB,oBAAoB;YACpB,2BAA2B;SAC5B;QACD,oBAAoB,EAAE,6CAA6C;QACnE,KAAK,EAAE;YACL,4CAA4C;YAC5C,gFAAgF;SACjF;QACD,eAAe,EAAE,CAAC,kDAAkD,CAAC;KACtE;IACD,wDAAwD;IACxD;QACE,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,UAAU;QAChB,YAAY,EAAE,EAAE;QAChB,aAAa,EAAE,EAAE;QACjB,cAAc,EAAE,sBAAsB;QACtC,MAAM,EAAE,YAAY;QACpB,OAAO,EAAE,qEAAqE;QAC9E,eAAe,EAAE,CAAC,SAAS,CAAC;QAC5B,aAAa,EAAE,CAAC,MAAM,CAAC;QACvB,OAAO,EAAE,CAAC,uBAAuB,CAAC;QAClC,oBAAoB,EAAE,CAAC,uBAAuB,EAAE,kBAAkB,CAAC;QACnE,aAAa,EAAE,CAAC,oBAAoB,EAAE,QAAQ,EAAE,SAAS,CAAC;QAC1D,oBAAoB,EAAE,qBAAqB;QAC3C,KAAK,EAAE,EAAE;QACT,eAAe,EAAE,EAAE;KACpB;IACD;QACE,EAAE,EAAE,0BAA0B;QAC9B,IAAI,EAAE,QAAQ;QACd,YAAY,EAAE,6CAA6C;QAC3D,aAAa,EAAE,CAAC,uBAAuB,EAAE,gBAAgB,EAAE,uBAAuB,EAAE,4BAA4B,CAAC;QACjH,cAAc,EAAE,sBAAsB;QACtC,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,8CAA8C;QACvD,eAAe,EAAE,CAAC,cAAc,EAAE,aAAa,CAAC;QAChD,aAAa,EAAE,CAAC,QAAQ,CAAC;QACzB,OAAO,EAAE,CAAC,qBAAqB,EAAE,wBAAwB,CAAC;QAC1D,oBAAoB,EAAE,CAAC,kBAAkB,EAAE,kBAAkB,CAAC;QAC9D,aAAa,EAAE,CAAC,WAAW,EAAE,eAAe,CAAC;QAC7C,oBAAoB,EAAE,qBAAqB;QAC3C,KAAK,EAAE,CAAC,4CAA4C,CAAC;QACrD,eAAe,EAAE,CAAC,4CAA4C,CAAC;KAChE;IACD;QACE,EAAE,EAAE,yBAAyB;QAC7B,IAAI,EAAE,UAAU;QAChB,YAAY,EAAE,oDAAoD;QAClE,aAAa,EAAE,CAAC,6BAA6B,EAAE,yBAAyB,EAAE,wBAAwB,EAAE,8BAA8B,EAAE,+BAA+B,CAAC;QACpK,cAAc,EAAE,sBAAsB;QACtC,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,kEAAkE;QAC3E,eAAe,EAAE,CAAC,4BAA4B,CAAC;QAC/C,aAAa,EAAE,CAAC,QAAQ,CAAC;QACzB,OAAO,EAAE,CAAC,2BAA2B,CAAC;QACtC,oBAAoB,EAAE,CAAC,kBAAkB,EAAE,kBAAkB,CAAC;QAC9D,aAAa,EAAE,CAAC,SAAS,EAAE,UAAU,EAAE,aAAa,CAAC;QACrD,oBAAoB,EAAE,qCAAqC;QAC3D,KAAK,EAAE,CAAC,0CAA0C,CAAC;QACnD,eAAe,EAAE,CAAC,0CAA0C,CAAC;KAC9D;IACD;QACE,EAAE,EAAE,mBAAmB;QACvB,IAAI,EAAE,aAAa;QACnB,YAAY,EAAE,8BAA8B;QAC5C,aAAa,EAAE,CAAC,sBAAsB,EAAE,0BAA0B,EAAE,mBAAmB,EAAE,mBAAmB,EAAE,+BAA+B,CAAC;QAC9I,cAAc,EAAE,sBAAsB;QACtC,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,oCAAoC;QAC7C,eAAe,EAAE,CAAC,QAAQ,CAAC;QAC3B,aAAa,EAAE,CAAC,SAAS,CAAC;QAC1B,OAAO,EAAE,CAAC,qBAAqB,CAAC;QAChC,oBAAoB,EAAE,CAAC,0BAA0B,EAAE,kBAAkB,CAAC;QACtE,aAAa,EAAE,CAAC,QAAQ,EAAE,gBAAgB,EAAE,eAAe,CAAC;QAC5D,oBAAoB,EAAE,wBAAwB;QAC9C,KAAK,EAAE,CAAC,qCAAqC,CAAC;QAC9C,eAAe,EAAE,CAAC,qCAAqC,CAAC;KACzD;CACF,CAAC"}
@@ -1,17 +0,0 @@
1
- /**
2
- * Contracts-Pipeline — 契约层模块。
3
- *
4
- * 职责边界:
5
- * - 负责:PIPELINE_CONTRACTS 等 契约层职责
6
- * - 不负责:不属于本模块的职责由对应模块承担
7
- *
8
- * 被谁调用:契约验证、注册表查询
9
- * 调用谁:types
10
- *
11
- * 数据流:契约定义 → 验证逻辑 → 通过/拒绝结果
12
- * 持久化:无持久化(纯计算/内存态)
13
- */
14
- import type { MechanismContract } from "./types.js";
15
- /** 核心管线 P0 机制契约 */
16
- export declare const PIPELINE_CONTRACTS: MechanismContract[];
17
- //# sourceMappingURL=contracts-pipeline.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"contracts-pipeline.d.ts","sourceRoot":"","sources":["../../../../src/verify/contracts/mechanism_contract_registry/contracts-pipeline.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAEpD,mBAAmB;AACnB,eAAO,MAAM,kBAAkB,EAAE,iBAAiB,EAwLjD,CAAC"}