soloforge 1.1.45 → 1.1.47

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 (608) hide show
  1. package/README.md +15 -3
  2. package/dist/context/adapters/shared/integration_guide.js +3 -1
  3. package/dist/context/adapters/shared/integration_guide.js.map +1 -1
  4. package/dist/context/contracts/lifecycle_knowledge_contract.d.ts.map +1 -1
  5. package/dist/context/contracts/lifecycle_knowledge_contract.js +2 -2
  6. package/dist/context/contracts/lifecycle_knowledge_contract.js.map +1 -1
  7. package/dist/core/gate_record_store.d.ts +11 -7
  8. package/dist/core/gate_record_store.d.ts.map +1 -1
  9. package/dist/core/gate_record_store.js +31 -17
  10. package/dist/core/gate_record_store.js.map +1 -1
  11. package/dist/core/observer.d.ts.map +1 -1
  12. package/dist/core/observer.js +7 -4
  13. package/dist/core/observer.js.map +1 -1
  14. package/dist/core/task_context/manager.d.ts +0 -8
  15. package/dist/core/task_context/manager.d.ts.map +1 -1
  16. package/dist/core/task_context/manager.js +1 -19
  17. package/dist/core/task_context/manager.js.map +1 -1
  18. package/dist/core/task_context/state_fact_classifier.d.ts +0 -8
  19. package/dist/core/task_context/state_fact_classifier.d.ts.map +1 -1
  20. package/dist/core/task_context/state_fact_classifier.js +0 -36
  21. package/dist/core/task_context/state_fact_classifier.js.map +1 -1
  22. package/dist/domain/asset_registry/derived_registry.d.ts.map +1 -1
  23. package/dist/domain/asset_registry/derived_registry.js +20 -5
  24. package/dist/domain/asset_registry/derived_registry.js.map +1 -1
  25. package/dist/domain/asset_registry/derived_types.d.ts +5 -1
  26. package/dist/domain/asset_registry/derived_types.d.ts.map +1 -1
  27. package/dist/domain/build/contract.d.ts.map +1 -1
  28. package/dist/domain/build/contract.js +3 -8
  29. package/dist/domain/build/contract.js.map +1 -1
  30. package/dist/domain/build/engine.d.ts +3 -2
  31. package/dist/domain/build/engine.d.ts.map +1 -1
  32. package/dist/domain/build/engine.js +5 -2
  33. package/dist/domain/build/engine.js.map +1 -1
  34. package/dist/domain/contracts/design_artifact_pack.d.ts +0 -1
  35. package/dist/domain/contracts/design_artifact_pack.d.ts.map +1 -1
  36. package/dist/domain/contracts/design_artifact_pack.js +1 -4
  37. package/dist/domain/contracts/design_artifact_pack.js.map +1 -1
  38. package/dist/domain/design/contract.d.ts.map +1 -1
  39. package/dist/domain/design/contract.js +2 -31
  40. package/dist/domain/design/contract.js.map +1 -1
  41. package/dist/domain/design/engine.d.ts +3 -2
  42. package/dist/domain/design/engine.d.ts.map +1 -1
  43. package/dist/domain/design/engine.js +5 -2
  44. package/dist/domain/design/engine.js.map +1 -1
  45. package/dist/domain/engine_helpers.d.ts +18 -2
  46. package/dist/domain/engine_helpers.d.ts.map +1 -1
  47. package/dist/domain/engine_helpers.js +87 -8
  48. package/dist/domain/engine_helpers.js.map +1 -1
  49. package/dist/domain/index.d.ts +1 -1
  50. package/dist/domain/index.d.ts.map +1 -1
  51. package/dist/domain/operate/contract.js +1 -1
  52. package/dist/domain/operate/contract.js.map +1 -1
  53. package/dist/domain/operate/engine.d.ts +3 -2
  54. package/dist/domain/operate/engine.d.ts.map +1 -1
  55. package/dist/domain/operate/engine.js +5 -2
  56. package/dist/domain/operate/engine.js.map +1 -1
  57. package/dist/domain/registry.d.ts +2 -2
  58. package/dist/domain/registry.d.ts.map +1 -1
  59. package/dist/domain/types.d.ts +1 -12
  60. package/dist/domain/types.d.ts.map +1 -1
  61. package/dist/domain/types.js +3 -0
  62. package/dist/domain/types.js.map +1 -1
  63. package/dist/domain/verify/engine.d.ts +3 -2
  64. package/dist/domain/verify/engine.d.ts.map +1 -1
  65. package/dist/domain/verify/engine.js +5 -2
  66. package/dist/domain/verify/engine.js.map +1 -1
  67. package/dist/gate/contracts/capability_registry.d.ts.map +1 -1
  68. package/dist/gate/contracts/capability_registry.js +0 -26
  69. package/dist/gate/contracts/capability_registry.js.map +1 -1
  70. package/dist/gate/contracts/control_plane_contract.d.ts +1 -1
  71. package/dist/gate/contracts/control_plane_contract.d.ts.map +1 -1
  72. package/dist/gate/contracts/control_plane_contract.js +1 -10
  73. package/dist/gate/contracts/control_plane_contract.js.map +1 -1
  74. package/dist/gate/contracts/tool_invocation_contract_registry.d.ts +1 -0
  75. package/dist/gate/contracts/tool_invocation_contract_registry.d.ts.map +1 -1
  76. package/dist/gate/contracts/tool_invocation_contract_registry.js +1 -1
  77. package/dist/gate/contracts/tool_invocation_contract_registry.js.map +1 -1
  78. package/dist/gate/executors/executors_artifact.d.ts.map +1 -1
  79. package/dist/gate/executors/executors_artifact.js +8 -5
  80. package/dist/gate/executors/executors_artifact.js.map +1 -1
  81. package/dist/gate/executors/executors_prerequisite.d.ts.map +1 -1
  82. package/dist/gate/executors/executors_prerequisite.js +26 -6
  83. package/dist/gate/executors/executors_prerequisite.js.map +1 -1
  84. package/dist/gate/executors/executors_regex_scan.js +2 -2
  85. package/dist/gate/executors/executors_regex_scan.js.map +1 -1
  86. package/dist/gate/executors/executors_trace.d.ts.map +1 -1
  87. package/dist/gate/executors/executors_trace.js +2 -0
  88. package/dist/gate/executors/executors_trace.js.map +1 -1
  89. package/dist/gate/gate_registry_bridge.d.ts +7 -6
  90. package/dist/gate/gate_registry_bridge.d.ts.map +1 -1
  91. package/dist/gate/gate_registry_bridge.js +51 -13
  92. package/dist/gate/gate_registry_bridge.js.map +1 -1
  93. package/dist/gate/index.d.ts +0 -2
  94. package/dist/gate/index.d.ts.map +1 -1
  95. package/dist/gate/index.js +0 -1
  96. package/dist/gate/index.js.map +1 -1
  97. package/dist/server/tools/index.d.ts.map +1 -1
  98. package/dist/server/tools/index.js +1 -3
  99. package/dist/server/tools/index.js.map +1 -1
  100. package/dist/server/tools/lazy_loaders.d.ts +0 -23
  101. package/dist/server/tools/lazy_loaders.d.ts.map +1 -1
  102. package/dist/server/tools/lazy_loaders.js +2 -33
  103. package/dist/server/tools/lazy_loaders.js.map +1 -1
  104. package/dist/server/tools/middleware.d.ts +2 -5
  105. package/dist/server/tools/middleware.d.ts.map +1 -1
  106. package/dist/server/tools/middleware.js +3 -33
  107. package/dist/server/tools/middleware.js.map +1 -1
  108. package/dist/server/tools/sf_doctor.d.ts +1 -0
  109. package/dist/server/tools/sf_doctor.d.ts.map +1 -1
  110. package/dist/server/tools/sf_doctor.js +15 -1
  111. package/dist/server/tools/sf_doctor.js.map +1 -1
  112. package/dist/server/tools/sf_gate.d.ts +1 -1
  113. package/dist/server/tools/sf_gate.js +2 -2
  114. package/dist/server/tools/sf_gate.js.map +1 -1
  115. package/dist/server/tools/sf_task.js +2 -7
  116. package/dist/server/tools/sf_task.js.map +1 -1
  117. package/dist/server/tools/sf_work.d.ts.map +1 -1
  118. package/dist/server/tools/sf_work.js +18 -6
  119. package/dist/server/tools/sf_work.js.map +1 -1
  120. package/dist/server/tools/types.d.ts +0 -2
  121. package/dist/server/tools/types.d.ts.map +1 -1
  122. package/dist/types/pipeline_types.d.ts +1 -9
  123. package/dist/types/pipeline_types.d.ts.map +1 -1
  124. package/dist/verify/audit/verifier.d.ts.map +1 -1
  125. package/dist/verify/audit/verifier.js +0 -33
  126. package/dist/verify/audit/verifier.js.map +1 -1
  127. package/dist/verify/index.d.ts +1 -4
  128. package/dist/verify/index.d.ts.map +1 -1
  129. package/dist/verify/index.js +0 -3
  130. package/dist/verify/index.js.map +1 -1
  131. package/dist/verify/types.d.ts +0 -21
  132. package/dist/verify/types.d.ts.map +1 -1
  133. package/package.json +2 -1
  134. package/templates/build/enforced.md +73 -0
  135. package/templates/build//344/270/223/351/241/271/345/256/236/347/216/260.md +75 -0
  136. package/templates/build//345/256/211/345/205/250/345/212/240/345/233/272.md +75 -0
  137. package/templates/build//346/265/213/350/257/225/344/274/230/345/205/210/347/274/226/347/240/201.md +50 -79
  138. package/templates/build//346/265/213/350/257/225/350/256/241/345/210/222.md +26 -24
  139. package/templates/build//347/274/226/347/240/201/347/272/252/345/276/213.md +75 -0
  140. package/templates/build//350/260/203/350/257/225/346/216/222/346/237/245.md +44 -75
  141. package/templates/build//351/207/215/346/236/204/346/226/271/346/263/225.md +68 -0
  142. package/templates/design/API/346/216/245/345/217/243/350/247/204/346/240/274/346/226/207/346/241/243.md +31 -28
  143. package/templates/design/enforced.md +47 -77
  144. package/templates/design//345/205/250/347/224/237/345/221/275/345/221/250/346/234/237/345/267/245/344/275/234/346/265/201/345/257/274/350/210/252.md +1 -0
  145. package/templates/design//345/205/274/345/256/271/346/200/247/344/270/216/350/277/201/347/247/273/350/257/204/344/274/260.md +71 -0
  146. package/templates/design//345/206/263/347/255/226/344/270/216/351/200/211/345/236/213.md +70 -0
  147. package/templates/design//345/210/207/347/211/207/350/247/204/345/210/222.md +49 -55
  148. package/templates/design//346/225/260/346/215/256/345/272/223/350/256/276/350/256/241/346/226/207/346/241/243.md +33 -47
  149. package/templates/design//346/236/266/346/236/204/350/256/276/350/256/241.md +41 -83
  150. package/templates/design//351/234/200/346/261/202/345/210/206/346/236/220.md +31 -59
  151. package/templates/operate/enforced.md +11 -0
  152. package/templates/operate//344/270/212/347/272/277/350/247/202/345/257/237.md +53 -32
  153. package/templates/operate//345/217/221/345/270/203/350/257/264/346/230/216.md +3 -0
  154. package/templates/operate//351/203/250/347/275/262/351/205/215/347/275/256.md +83 -0
  155. package/templates/shared/enforced.md +46 -5
  156. package/templates/shared//345/217/215/351/246/210/344/277/256/345/244/215/351/227/255/347/216/257.md +86 -0
  157. package/templates/shared//345/267/245/347/250/213/346/211/247/350/241/214/346/200/273/347/272/262.md +148 -0
  158. package/templates/shared//345/267/245/347/250/213/347/272/252/345/276/213.md +71 -0
  159. package/templates/shared//345/274/200/345/217/221/350/200/205/345/256/252/346/263/225.md +48 -43
  160. package/templates/shared//346/234/272/345/210/266/350/257/264/346/230/216.md +67 -0
  161. package/templates/shared//350/257/201/346/215/256/351/251/261/345/212/250/344/270/216/345/217/215/345/271/273/350/247/211.md +27 -17
  162. package/templates/shared//350/264/241/347/214/256/350/247/204/350/214/203.md +78 -0
  163. package/templates/verify/enforced.md +3 -0
  164. package/templates/verify//344/272/244/344/273/230/345/256/214/345/244/207/346/200/247/345/256/241/346/237/245.md +45 -87
  165. package/templates/verify//344/273/243/347/240/201/345/256/241/346/237/245/346/212/245/345/221/212.md +7 -0
  166. package/templates/verify//345/256/241/346/237/245/346/270/205/345/215/225.md +79 -0
  167. package/templates/verify//351/252/214/350/257/201/346/226/271/346/263/225.md +72 -0
  168. package/dist/context/engine/dependency_scanner.d.ts +0 -23
  169. package/dist/context/engine/dependency_scanner.d.ts.map +0 -1
  170. package/dist/context/engine/dependency_scanner.js +0 -309
  171. package/dist/context/engine/dependency_scanner.js.map +0 -1
  172. package/dist/context/engine/exploration.d.ts +0 -194
  173. package/dist/context/engine/exploration.d.ts.map +0 -1
  174. package/dist/context/engine/exploration.js +0 -712
  175. package/dist/context/engine/exploration.js.map +0 -1
  176. package/dist/context/knowledge/knowledge_acceptance_registry.d.ts +0 -42
  177. package/dist/context/knowledge/knowledge_acceptance_registry.d.ts.map +0 -1
  178. package/dist/context/knowledge/knowledge_acceptance_registry.js +0 -249
  179. package/dist/context/knowledge/knowledge_acceptance_registry.js.map +0 -1
  180. package/dist/context/knowledge/knowledge_scenario_registry.d.ts +0 -26
  181. package/dist/context/knowledge/knowledge_scenario_registry.d.ts.map +0 -1
  182. package/dist/context/knowledge/knowledge_scenario_registry.js +0 -267
  183. package/dist/context/knowledge/knowledge_scenario_registry.js.map +0 -1
  184. package/dist/context/knowledge/knowledge_sovereignty.d.ts +0 -65
  185. package/dist/context/knowledge/knowledge_sovereignty.d.ts.map +0 -1
  186. package/dist/context/knowledge/knowledge_sovereignty.js +0 -199
  187. package/dist/context/knowledge/knowledge_sovereignty.js.map +0 -1
  188. package/dist/context/team_awareness.d.ts +0 -42
  189. package/dist/context/team_awareness.d.ts.map +0 -1
  190. package/dist/context/team_awareness.js +0 -154
  191. package/dist/context/team_awareness.js.map +0 -1
  192. package/dist/context/templates/template_asset_visibility.d.ts +0 -116
  193. package/dist/context/templates/template_asset_visibility.d.ts.map +0 -1
  194. package/dist/context/templates/template_asset_visibility.js +0 -310
  195. package/dist/context/templates/template_asset_visibility.js.map +0 -1
  196. package/dist/gate/conflict_gate.d.ts +0 -53
  197. package/dist/gate/conflict_gate.d.ts.map +0 -1
  198. package/dist/gate/conflict_gate.js +0 -96
  199. package/dist/gate/conflict_gate.js.map +0 -1
  200. package/dist/gate/contracts/capability_action_advisor.d.ts +0 -34
  201. package/dist/gate/contracts/capability_action_advisor.d.ts.map +0 -1
  202. package/dist/gate/contracts/capability_action_advisor.js +0 -165
  203. package/dist/gate/contracts/capability_action_advisor.js.map +0 -1
  204. package/dist/gate/contracts/capability_state_store.d.ts +0 -121
  205. package/dist/gate/contracts/capability_state_store.d.ts.map +0 -1
  206. package/dist/gate/contracts/capability_state_store.js +0 -188
  207. package/dist/gate/contracts/capability_state_store.js.map +0 -1
  208. package/dist/gate/contracts/contract_guard.d.ts +0 -50
  209. package/dist/gate/contracts/contract_guard.d.ts.map +0 -1
  210. package/dist/gate/contracts/contract_guard.js +0 -611
  211. package/dist/gate/contracts/contract_guard.js.map +0 -1
  212. package/dist/gate/contracts/escape_report.d.ts +0 -103
  213. package/dist/gate/contracts/escape_report.d.ts.map +0 -1
  214. package/dist/gate/contracts/escape_report.js +0 -145
  215. package/dist/gate/contracts/escape_report.js.map +0 -1
  216. package/dist/gate/feasibility_checker.d.ts +0 -27
  217. package/dist/gate/feasibility_checker.d.ts.map +0 -1
  218. package/dist/gate/feasibility_checker.js +0 -114
  219. package/dist/gate/feasibility_checker.js.map +0 -1
  220. package/dist/gate/migration_guard.d.ts +0 -22
  221. package/dist/gate/migration_guard.d.ts.map +0 -1
  222. package/dist/gate/migration_guard.js +0 -277
  223. package/dist/gate/migration_guard.js.map +0 -1
  224. package/dist/gate/scope_lease.d.ts +0 -94
  225. package/dist/gate/scope_lease.d.ts.map +0 -1
  226. package/dist/gate/scope_lease.js +0 -180
  227. package/dist/gate/scope_lease.js.map +0 -1
  228. package/dist/git/git_deps.d.ts +0 -85
  229. package/dist/git/git_deps.d.ts.map +0 -1
  230. package/dist/git/git_deps.js +0 -22
  231. package/dist/git/git_deps.js.map +0 -1
  232. package/dist/git/operations.d.ts +0 -173
  233. package/dist/git/operations.d.ts.map +0 -1
  234. package/dist/git/operations.js +0 -350
  235. package/dist/git/operations.js.map +0 -1
  236. package/dist/server/tools/gate_engine.d.ts +0 -17
  237. package/dist/server/tools/gate_engine.d.ts.map +0 -1
  238. package/dist/server/tools/gate_engine.js +0 -17
  239. package/dist/server/tools/gate_engine.js.map +0 -1
  240. package/dist/server/tools/middleware/budget_check.d.ts +0 -35
  241. package/dist/server/tools/middleware/budget_check.d.ts.map +0 -1
  242. package/dist/server/tools/middleware/budget_check.js +0 -69
  243. package/dist/server/tools/middleware/budget_check.js.map +0 -1
  244. package/dist/shared/contracts/contract_registry/builtin_contracts_core.d.ts +0 -16
  245. package/dist/shared/contracts/contract_registry/builtin_contracts_core.d.ts.map +0 -1
  246. package/dist/shared/contracts/contract_registry/builtin_contracts_core.js +0 -306
  247. package/dist/shared/contracts/contract_registry/builtin_contracts_core.js.map +0 -1
  248. package/dist/shared/contracts/contract_registry/builtin_contracts_core_2.d.ts +0 -16
  249. package/dist/shared/contracts/contract_registry/builtin_contracts_core_2.d.ts.map +0 -1
  250. package/dist/shared/contracts/contract_registry/builtin_contracts_core_2.js +0 -304
  251. package/dist/shared/contracts/contract_registry/builtin_contracts_core_2.js.map +0 -1
  252. package/dist/shared/contracts/contract_registry/builtin_contracts_extended.d.ts +0 -16
  253. package/dist/shared/contracts/contract_registry/builtin_contracts_extended.d.ts.map +0 -1
  254. package/dist/shared/contracts/contract_registry/builtin_contracts_extended.js +0 -434
  255. package/dist/shared/contracts/contract_registry/builtin_contracts_extended.js.map +0 -1
  256. package/dist/shared/contracts/contract_registry/index.d.ts +0 -8
  257. package/dist/shared/contracts/contract_registry/index.d.ts.map +0 -1
  258. package/dist/shared/contracts/contract_registry/index.js +0 -7
  259. package/dist/shared/contracts/contract_registry/index.js.map +0 -1
  260. package/dist/shared/contracts/contract_registry/registry.d.ts +0 -62
  261. package/dist/shared/contracts/contract_registry/registry.d.ts.map +0 -1
  262. package/dist/shared/contracts/contract_registry/registry.js +0 -191
  263. package/dist/shared/contracts/contract_registry/registry.js.map +0 -1
  264. package/dist/shared/contracts/contract_registry/registry_internal.d.ts +0 -19
  265. package/dist/shared/contracts/contract_registry/registry_internal.d.ts.map +0 -1
  266. package/dist/shared/contracts/contract_registry/registry_internal.js +0 -54
  267. package/dist/shared/contracts/contract_registry/registry_internal.js.map +0 -1
  268. package/dist/shared/contracts/contract_registry/types.d.ts +0 -47
  269. package/dist/shared/contracts/contract_registry/types.d.ts.map +0 -1
  270. package/dist/shared/contracts/contract_registry/types.js +0 -5
  271. package/dist/shared/contracts/contract_registry/types.js.map +0 -1
  272. package/dist/shared/contracts/contract_registry/validation.d.ts +0 -25
  273. package/dist/shared/contracts/contract_registry/validation.d.ts.map +0 -1
  274. package/dist/shared/contracts/contract_registry/validation.js +0 -363
  275. package/dist/shared/contracts/contract_registry/validation.js.map +0 -1
  276. package/dist/shared/llm_gateway.d.ts +0 -186
  277. package/dist/shared/llm_gateway.d.ts.map +0 -1
  278. package/dist/shared/llm_gateway.js +0 -393
  279. package/dist/shared/llm_gateway.js.map +0 -1
  280. package/dist/verify/audit/audit_sampler.d.ts +0 -29
  281. package/dist/verify/audit/audit_sampler.d.ts.map +0 -1
  282. package/dist/verify/audit/audit_sampler.js +0 -42
  283. package/dist/verify/audit/audit_sampler.js.map +0 -1
  284. package/dist/verify/audit/debt_reporter.d.ts +0 -22
  285. package/dist/verify/audit/debt_reporter.d.ts.map +0 -1
  286. package/dist/verify/audit/debt_reporter.js +0 -107
  287. package/dist/verify/audit/debt_reporter.js.map +0 -1
  288. package/dist/verify/audit/debugger.d.ts +0 -25
  289. package/dist/verify/audit/debugger.d.ts.map +0 -1
  290. package/dist/verify/audit/debugger.js +0 -429
  291. package/dist/verify/audit/debugger.js.map +0 -1
  292. package/dist/verify/audit/degradation.d.ts +0 -62
  293. package/dist/verify/audit/degradation.d.ts.map +0 -1
  294. package/dist/verify/audit/degradation.js +0 -78
  295. package/dist/verify/audit/degradation.js.map +0 -1
  296. package/dist/verify/audit/developer_sovereignty.d.ts +0 -29
  297. package/dist/verify/audit/developer_sovereignty.d.ts.map +0 -1
  298. package/dist/verify/audit/developer_sovereignty.js +0 -137
  299. package/dist/verify/audit/developer_sovereignty.js.map +0 -1
  300. package/dist/verify/audit/failure_report.d.ts +0 -76
  301. package/dist/verify/audit/failure_report.d.ts.map +0 -1
  302. package/dist/verify/audit/failure_report.js +0 -145
  303. package/dist/verify/audit/failure_report.js.map +0 -1
  304. package/dist/verify/audit/governance_report.d.ts +0 -110
  305. package/dist/verify/audit/governance_report.d.ts.map +0 -1
  306. package/dist/verify/audit/governance_report.js +0 -194
  307. package/dist/verify/audit/governance_report.js.map +0 -1
  308. package/dist/verify/audit/mutation_audit.d.ts +0 -40
  309. package/dist/verify/audit/mutation_audit.d.ts.map +0 -1
  310. package/dist/verify/audit/mutation_audit.js +0 -154
  311. package/dist/verify/audit/mutation_audit.js.map +0 -1
  312. package/dist/verify/audit/risk_sampler.d.ts +0 -44
  313. package/dist/verify/audit/risk_sampler.d.ts.map +0 -1
  314. package/dist/verify/audit/risk_sampler.js +0 -80
  315. package/dist/verify/audit/risk_sampler.js.map +0 -1
  316. package/dist/verify/audit/runtime_safety.d.ts +0 -89
  317. package/dist/verify/audit/runtime_safety.d.ts.map +0 -1
  318. package/dist/verify/audit/runtime_safety.js +0 -209
  319. package/dist/verify/audit/runtime_safety.js.map +0 -1
  320. package/dist/verify/audit/semantic_evidence.d.ts +0 -36
  321. package/dist/verify/audit/semantic_evidence.d.ts.map +0 -1
  322. package/dist/verify/audit/semantic_evidence.js +0 -90
  323. package/dist/verify/audit/semantic_evidence.js.map +0 -1
  324. package/dist/verify/audit/test_generator.d.ts +0 -23
  325. package/dist/verify/audit/test_generator.d.ts.map +0 -1
  326. package/dist/verify/audit/test_generator.js +0 -278
  327. package/dist/verify/audit/test_generator.js.map +0 -1
  328. package/dist/verify/audit/test_quality.d.ts +0 -49
  329. package/dist/verify/audit/test_quality.d.ts.map +0 -1
  330. package/dist/verify/audit/test_quality.js +0 -684
  331. package/dist/verify/audit/test_quality.js.map +0 -1
  332. package/dist/verify/change_coordinator.d.ts +0 -45
  333. package/dist/verify/change_coordinator.d.ts.map +0 -1
  334. package/dist/verify/change_coordinator.js +0 -168
  335. package/dist/verify/change_coordinator.js.map +0 -1
  336. package/dist/verify/contracts/decision_contract.d.ts +0 -51
  337. package/dist/verify/contracts/decision_contract.d.ts.map +0 -1
  338. package/dist/verify/contracts/decision_contract.js +0 -70
  339. package/dist/verify/contracts/decision_contract.js.map +0 -1
  340. package/dist/verify/contracts/mechanism_contract_registry/contracts-audit.d.ts +0 -17
  341. package/dist/verify/contracts/mechanism_contract_registry/contracts-audit.d.ts.map +0 -1
  342. package/dist/verify/contracts/mechanism_contract_registry/contracts-audit.js +0 -428
  343. package/dist/verify/contracts/mechanism_contract_registry/contracts-audit.js.map +0 -1
  344. package/dist/verify/contracts/mechanism_contract_registry/contracts-governance.d.ts +0 -17
  345. package/dist/verify/contracts/mechanism_contract_registry/contracts-governance.d.ts.map +0 -1
  346. package/dist/verify/contracts/mechanism_contract_registry/contracts-governance.js +0 -429
  347. package/dist/verify/contracts/mechanism_contract_registry/contracts-governance.js.map +0 -1
  348. package/dist/verify/contracts/mechanism_contract_registry/contracts-pipeline.d.ts +0 -17
  349. package/dist/verify/contracts/mechanism_contract_registry/contracts-pipeline.d.ts.map +0 -1
  350. package/dist/verify/contracts/mechanism_contract_registry/contracts-pipeline.js +0 -194
  351. package/dist/verify/contracts/mechanism_contract_registry/contracts-pipeline.js.map +0 -1
  352. package/dist/verify/contracts/mechanism_contract_registry/contracts-platform.d.ts +0 -17
  353. package/dist/verify/contracts/mechanism_contract_registry/contracts-platform.d.ts.map +0 -1
  354. package/dist/verify/contracts/mechanism_contract_registry/contracts-platform.js +0 -365
  355. package/dist/verify/contracts/mechanism_contract_registry/contracts-platform.js.map +0 -1
  356. package/dist/verify/contracts/mechanism_contract_registry/index.d.ts +0 -19
  357. package/dist/verify/contracts/mechanism_contract_registry/index.d.ts.map +0 -1
  358. package/dist/verify/contracts/mechanism_contract_registry/index.js +0 -21
  359. package/dist/verify/contracts/mechanism_contract_registry/index.js.map +0 -1
  360. package/dist/verify/contracts/mechanism_contract_registry/types.d.ts +0 -33
  361. package/dist/verify/contracts/mechanism_contract_registry/types.d.ts.map +0 -1
  362. package/dist/verify/contracts/mechanism_contract_registry/types.js +0 -5
  363. package/dist/verify/contracts/mechanism_contract_registry/types.js.map +0 -1
  364. package/dist/verify/contracts/mechanism_contract_registry/validation.d.ts +0 -38
  365. package/dist/verify/contracts/mechanism_contract_registry/validation.d.ts.map +0 -1
  366. package/dist/verify/contracts/mechanism_contract_registry/validation.js +0 -136
  367. package/dist/verify/contracts/mechanism_contract_registry/validation.js.map +0 -1
  368. package/templates/build/Bug/345/210/206/346/236/220.md +0 -59
  369. package/templates/build/Git/346/223/215/344/275/234.md +0 -48
  370. package/templates/build/OOD/350/256/276/350/256/241/346/221/230/350/246/201.md +0 -46
  371. package/templates/build/React/346/216/245/345/217/243/351/233/206/346/210/220.md +0 -42
  372. package/templates/build/Schema/345/217/230/346/233/264/346/265/201/346/260/264/347/272/277.md +0 -52
  373. package/templates/build/TS/350/264/250/351/207/217/345/256/241/346/237/245.md +0 -78
  374. package/templates/build//344/270/212/346/270/270/344/272/244/345/217/211/351/252/214/350/257/201.md +0 -68
  375. package/templates/build//344/270/273/351/223/276/350/267/257/346/216/245/345/205/245/351/252/214/350/257/201.md +0 -56
  376. package/templates/build//344/273/243/347/240/201/351/227/250/347/246/201.md +0 -58
  377. package/templates/build//345/205/250/346/240/210/346/265/201/347/250/213/344/277/256/345/244/215.md +0 -48
  378. package/templates/build//345/210/207/347/211/207/346/211/247/350/241/214/347/272/252/345/276/213.md +0 -108
  379. package/templates/build//345/210/207/347/211/207/347/253/257/345/210/260/347/253/257/351/252/214/350/257/201.md +0 -221
  380. package/templates/build//345/212/237/350/203/275/345/274/200/345/217/221.md +0 -66
  381. package/templates/build//345/220/216/347/253/257/345/256/236/347/216/260.md +0 -39
  382. package/templates/build//345/220/216/347/253/257/345/256/236/347/216/260/345/267/245/347/250/213.md +0 -33
  383. package/templates/build//345/220/216/347/253/257/345/256/236/347/216/260/345/267/245/347/250/213/345/256/241/346/237/245.md +0 -70
  384. package/templates/build//345/220/216/347/253/257/346/216/245/345/217/243/345/256/236/347/216/260.md +0 -43
  385. package/templates/build//345/233/275/351/231/205/345/214/226.md +0 -45
  386. package/templates/build//345/256/211/345/205/250/345/212/240/345/233/272/346/265/201/346/260/264/347/272/277.md +0 -68
  387. package/templates/build//345/256/211/345/205/250/345/256/241/346/237/245.md +0 -154
  388. package/templates/build//345/256/211/345/205/250/345/256/241/350/256/241.md +0 -47
  389. package/templates/build//345/267/245/347/250/213/347/272/252/345/276/213.md +0 -56
  390. package/templates/build//346/200/247/350/203/275/345/210/206/346/236/220.md +0 -59
  391. package/templates/build//346/200/247/350/203/275/346/265/201/346/260/264/347/272/277.md +0 -53
  392. package/templates/build//346/216/245/345/217/243/351/233/206/346/210/220/346/265/201/346/260/264/347/272/277.md +0 -76
  393. package/templates/build//346/225/260/346/215/256/345/272/223/350/277/201/347/247/273.md +0 -63
  394. package/templates/build//346/226/260/350/200/201/351/200/273/350/276/221/346/257/224/345/257/271/346/227/245/345/277/227.md +0 -39
  395. package/templates/build//346/235/203/351/231/220/350/256/244/350/257/201.md +0 -49
  396. package/templates/build//346/265/213/350/257/225/350/264/250/351/207/217.md +0 -45
  397. package/templates/build//347/206/224/346/226/255/351/231/215/347/272/247.md +0 -49
  398. package/templates/build//347/212/266/346/200/201/346/265/201/350/275/254.md +0 -43
  399. package/templates/build//347/213/254/347/253/213/345/256/241/346/237/245.md +0 -45
  400. package/templates/build//347/272/246/346/235/237/345/256/236/347/216/260.md +0 -47
  401. package/templates/build//347/274/226/347/240/201/345/260/261/347/273/252/345/256/241/346/237/245.md +0 -60
  402. package/templates/build//347/274/226/347/240/201/350/201/232/345/220/210/346/243/200/346/237/245.md +0 -22
  403. package/templates/build//347/274/226/347/240/201/350/264/250/351/207/217.md +0 -46
  404. package/templates/build//347/274/226/347/240/201/351/230/266/346/256/265/346/211/247/350/241/214.md +0 -105
  405. package/templates/build//347/274/272/351/231/267/347/256/241/347/220/206.md +0 -47
  406. package/templates/build//350/200/246/345/220/210/346/243/200/346/265/213.md +0 -86
  407. package/templates/build//350/246/206/347/233/226/347/216/207/346/240/207/345/207/206.md +0 -40
  408. package/templates/build//350/264/250/351/207/217/345/256/241/346/237/245.md +0 -111
  409. package/templates/build//350/277/201/347/247/273/346/265/201/346/260/264/347/272/277.md +0 -52
  410. package/templates/build//351/200/232/347/224/250/350/264/250/351/207/217.md +0 -176
  411. package/templates/build//351/207/215/346/236/204/346/226/271/346/241/210.md +0 -61
  412. package/templates/build//351/207/215/346/236/204/346/265/201/346/260/264/347/272/277.md +0 -53
  413. package/templates/build//351/230/262/345/276/241/346/200/247/347/274/226/347/240/201.md +0 -94
  414. package/templates/build//351/233/206/346/210/220/351/252/214/350/257/201.md +0 -67
  415. package/templates/build//351/233/267/345/214/272/345/217/215/346/250/241/345/274/217.md +0 -135
  416. package/templates/build//351/252/214/346/224/266/346/240/207/345/207/206/345/256/241/346/237/245.md +0 -64
  417. package/templates/build//351/252/214/346/224/266/346/265/213/350/257/225/350/247/204/345/210/222.md +0 -75
  418. package/templates/design/API/350/256/276/350/256/241.md +0 -47
  419. package/templates/design/N/345/212/2401/346/237/245/350/257/242.md +0 -48
  420. package/templates/design/OOD/350/256/276/350/256/241.md +0 -72
  421. package/templates/design//344/270/200/350/207/264/346/200/247/346/240/241/351/252/214.md +0 -109
  422. package/templates/design//344/270/215/347/241/256/345/256/232/346/227/266/345/244/264/350/204/221/351/243/216/346/232/264.md +0 -105
  423. package/templates/design//344/273/273/345/212/241/346/213/206/350/247/243.md +0 -61
  424. package/templates/design//344/273/273/345/212/241/350/247/204/345/210/222.md +0 -84
  425. package/templates/design//344/274/232/350/257/235/346/201/242/345/244/215-procedures.md +0 -78
  426. package/templates/design//345/205/274/345/256/271/346/200/247/346/243/200/346/237/245.md +0 -89
  427. package/templates/design//345/210/207/347/211/207/350/256/241/345/210/222.md +0 -149
  428. package/templates/design//345/211/215/347/253/257/346/200/247/350/203/275.md +0 -49
  429. package/templates/design//345/216/206/345/217/262/351/201/227/347/225/231/351/233/267/345/214/272/346/270/205/345/215/225.md +0 -50
  430. package/templates/design//345/216/237/345/236/213/346/272/220/347/240/201/346/217/220/345/217/226.md +0 -78
  431. package/templates/design//345/216/237/345/236/213/350/257/264/346/230/216.md +0 -200
  432. package/templates/design//345/216/237/345/236/213/350/257/264/346/230/216/345/256/241/346/237/245.md +0 -81
  433. package/templates/design//345/220/221/345/220/216/345/205/274/345/256/271/346/200/247/345/220/210/350/247/204/346/212/245/345/221/212.md +0 -52
  434. package/templates/design//345/221/275/344/273/244/346/211/247/350/241/214-procedures.md +0 -45
  435. package/templates/design//345/221/275/344/273/244/350/267/257/347/224/261-procedures.md +0 -46
  436. package/templates/design//345/221/275/345/220/215.md +0 -49
  437. package/templates/design//345/242/236/351/207/217/350/276/271/347/225/214/347/225/214/345/256/232/346/226/207/346/241/243.md +0 -48
  438. package/templates/design//345/267/245/345/205/267/350/260/203/347/224/250-procedures.md +0 -41
  439. package/templates/design//345/271/266/345/217/221/346/216/247/345/210/266.md +0 -50
  440. package/templates/design//346/212/200/346/234/257/351/200/211/345/236/213.md +0 -33
  441. package/templates/design//346/216/245/345/217/243/345/257/271/346/216/245/346/226/271/346/241/210.md +0 -97
  442. package/templates/design//346/224/271/351/200/240/345/275/261/345/223/215/350/214/203/345/233/264/350/257/204/344/274/260.md +0 -56
  443. package/templates/design//346/225/260/346/215/256/345/272/223/345/217/230/346/233/264/346/226/271/346/241/210.md +0 -75
  444. package/templates/design//346/225/260/346/215/256/350/241/200/347/274/230/345/233/276.md +0 -49
  445. package/templates/design//346/227/240/351/232/234/347/242/215.md +0 -49
  446. package/templates/design//346/236/266/346/236/204/345/206/263/347/255/226/350/256/260/345/275/225.md +0 -53
  447. package/templates/design//346/236/266/346/236/204/345/256/241/346/237/245.md +0 -256
  448. package/templates/design//346/236/266/346/236/204/350/256/276/350/256/241-constraints.md +0 -177
  449. package/templates/design//346/236/266/346/236/204/350/256/276/350/256/241-procedures.md +0 -130
  450. package/templates/design//346/246/202/345/277/265/351/252/214/350/257/201/346/265/201/346/260/264/347/272/277.md +0 -47
  451. package/templates/design//346/272/220/347/240/201/345/216/237/345/236/213/344/272/244/344/273/230.md +0 -58
  452. package/templates/design//347/216/260/346/234/211/347/263/273/347/273/237/345/267/256/350/267/235/345/210/206/346/236/220.md +0 -114
  453. package/templates/design//347/237/245/350/257/206/347/273/264/346/212/244/346/265/201/346/260/264/347/272/277.md +0 -64
  454. package/templates/design//347/254/254/344/270/200/346/200/247/345/216/237/347/220/206/346/216/250/347/220/206.md +0 -182
  455. package/templates/design//347/264/247/346/200/245/345/233/236/346/273/232/346/211/213/345/206/214.md +0 -77
  456. package/templates/design//347/274/226/347/240/201/345/211/215/346/276/204/346/270/205.md +0 -85
  457. package/templates/design//350/200/201/347/263/273/347/273/237/345/210/207/347/211/207/350/247/204/345/210/222.md +0 -48
  458. package/templates/design//350/207/252/344/270/273/351/200/211/345/236/213.md +0 -57
  459. package/templates/design//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.md +0 -34
  460. package/templates/design//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.md +0 -60
  461. package/templates/design//350/256/276/350/256/241/350/201/232/345/220/210/346/243/200/346/237/245.md +0 -21
  462. package/templates/design//350/257/246/347/273/206/350/256/276/350/256/241-procedures.md +0 -123
  463. package/templates/design//350/257/246/347/273/206/350/256/276/350/256/241.md +0 -109
  464. package/templates/design//350/257/246/347/273/206/350/256/276/350/256/241/345/256/241/346/237/245.md +0 -88
  465. package/templates/design//350/260/203/350/257/225/346/226/271/346/263/225/350/256/272.md +0 -43
  466. package/templates/design//350/277/201/347/247/273/350/257/204/344/274/260.md +0 -67
  467. package/templates/design//351/232/224/347/246/273/351/200/202/351/205/215/345/231/250/346/226/271/346/241/210.md +0 -44
  468. package/templates/design//351/234/200/346/261/202/346/276/204/346/270/205.md +0 -65
  469. package/templates/design//351/234/200/346/261/202/350/264/250/351/207/217/345/256/241/346/237/245.md +0 -88
  470. package/templates/design//351/242/206/345/237/237/351/251/261/345/212/250/350/256/276/350/256/241.md +0 -43
  471. package/templates/operate//345/217/221/345/270/203/350/257/264/346/230/216/345/256/241/346/237/245.md +0 -60
  472. package/templates/operate//350/277/220/347/273/264/350/201/232/345/220/210/346/243/200/346/237/245.md +0 -22
  473. package/templates/operate//351/203/250/347/275/262/351/205/215/347/275/256/345/256/241/346/237/245.md +0 -59
  474. package/templates/shared/Diff/345/275/222/345/261/236/350/277/275/350/270/252.md +0 -55
  475. package/templates/shared/Java/350/264/250/351/207/217/351/227/250/347/246/201.md +0 -54
  476. package/templates/shared/LLM/351/242/204/347/256/227/347/275/221/345/205/263.md +0 -54
  477. package/templates/shared/OOD/344/270/216SOLID/350/256/276/350/256/241.md +0 -48
  478. package/templates/shared//344/272/247/347/211/251Schema/346/263/250/345/206/214/344/270/255/345/277/203.md +0 -57
  479. package/templates/shared//344/272/247/347/211/251/345/245/221/347/272/246.md +0 -44
  480. package/templates/shared//344/273/243/347/240/201/346/263/250/351/207/212/344/270/216/346/227/245/345/277/227/345/245/221/347/272/246.md +0 -116
  481. package/templates/shared//344/273/273/345/212/241/344/270/212/344/270/213/346/226/207/347/224/237/345/221/275/345/221/250/346/234/237.md +0 -45
  482. package/templates/shared//344/273/273/345/212/241/347/212/266/346/200/201/346/234/272.md +0 -55
  483. package/templates/shared//344/273/273/345/212/241/347/256/241/347/220/206/345/231/250.md +0 -55
  484. package/templates/shared//344/274/230/351/233/205/345/201/234/346/234/272.md +0 -43
  485. package/templates/shared//344/275/234/347/224/250/345/237/237/344/270/216/345/257/206/351/222/245/346/213/246/346/210/252.md +0 -54
  486. package/templates/shared//344/275/234/347/224/250/345/237/237/347/247/237/347/272/246.md +0 -55
  487. package/templates/shared//345/206/262/347/252/201/351/227/250/347/246/201.md +0 -55
  488. package/templates/shared//345/206/263/347/255/226/347/275/221/345/205/263.md +0 -61
  489. package/templates/shared//345/210/207/347/211/207/350/201/232/345/220/210/346/243/200/346/237/245.md +0 -72
  490. package/templates/shared//345/217/230/345/274/202/345/256/241/350/256/241.md +0 -58
  491. package/templates/shared//345/220/216/347/253/257/345/256/236/347/216/260/345/267/245/347/250/213/345/245/221/347/272/246.md +0 -40
  492. package/templates/shared//345/221/275/344/273/244/346/211/247/350/241/214.md +0 -48
  493. package/templates/shared//345/221/275/344/273/244/350/267/257/347/224/261.md +0 -45
  494. package/templates/shared//345/233/236/345/275/222/347/237/251/351/230/265.md +0 -54
  495. package/templates/shared//345/244/232/347/247/237/346/210/267.md +0 -49
  496. package/templates/shared//345/256/241/350/256/241/346/227/245/345/277/227.md +0 -46
  497. package/templates/shared//345/257/274/345/205/245/345/257/274/345/207/272.md +0 -51
  498. package/templates/shared//345/267/245/344/275/234/345/214/272/344/272/222/346/226/245/351/224/201.md +0 -52
  499. package/templates/shared//345/267/245/344/275/234/345/214/272/345/224/244/351/206/222.md +0 -54
  500. package/templates/shared//345/267/245/344/275/234/346/265/201/345/245/221/347/272/246.md +0 -42
  501. package/templates/shared//345/267/245/344/275/234/346/265/201/345/274/225/346/223/216.md +0 -50
  502. package/templates/shared//345/267/245/344/275/234/346/265/201/346/250/241/347/211/210/345/214/205.md +0 -34
  503. package/templates/shared//345/267/245/345/205/267/350/260/203/347/224/250.md +0 -48
  504. package/templates/shared//345/271/266/345/217/221/351/224/201.md +0 -57
  505. package/templates/shared//346/211/247/350/241/214/345/256/210/345/215/253/350/257/204/344/274/260.md +0 -47
  506. package/templates/shared//346/211/251/345/261/225/347/224/237/345/221/275/345/221/250/346/234/237.md +0 -34
  507. package/templates/shared//346/212/200/346/234/257/345/206/263/347/255/226/344/270/273/346/235/203.md +0 -50
  508. package/templates/shared//346/212/245/350/241/250/347/273/237/350/256/241.md +0 -50
  509. package/templates/shared//346/224/257/344/273/230.md +0 -51
  510. package/templates/shared//346/225/217/346/204/237/344/277/241/346/201/257/345/244/204/347/220/206.md +0 -77
  511. package/templates/shared//346/225/217/346/204/237/344/277/241/346/201/257/346/211/253/346/217/217.md +0 -53
  512. package/templates/shared//346/225/260/346/215/256/346/235/203/351/231/220.md +0 -47
  513. package/templates/shared//346/226/275/345/267/245/346/214/207/344/273/244/345/245/221/347/272/246.md +0 -69
  514. package/templates/shared//346/227/245/345/277/227/346/262/273/347/220/206.md +0 -31
  515. package/templates/shared//346/234/272/345/210/266/350/207/252/346/262/273/347/220/206.md +0 -31
  516. package/templates/shared//346/240/207/345/207/206/350/265/204/344/272/247/350/246/206/347/233/226.md +0 -50
  517. package/templates/shared//346/240/270/345/277/203/344/275/223/351/252/214/345/216/237/345/210/231.md +0 -38
  518. package/templates/shared//346/240/270/345/277/203/345/267/245/347/250/213/346/211/247/350/241/214/345/216/237/345/210/231.md +0 -154
  519. package/templates/shared//346/250/241/347/211/210Frontmatter.md +0 -125
  520. package/templates/shared//346/250/241/347/211/210/350/264/241/347/214/256/346/214/207/345/215/227.md +0 -282
  521. package/templates/shared//346/250/241/347/211/210/350/265/204/344/272/247/345/217/257/350/247/201/346/200/247.md +0 -48
  522. package/templates/shared//346/262/273/347/220/206/350/277/220/350/241/214/346/227/266/345/276/252/347/216/257.md +0 -56
  523. package/templates/shared//346/263/250/345/206/214/350/241/250/345/237/272/347/241/200/350/256/276/346/226/275.md +0 -49
  524. package/templates/shared//346/265/201/345/274/217/345/277/203/350/267/263.md +0 -64
  525. package/templates/shared//346/274/224/350/277/233/345/233/236/345/275/222/351/227/250/346/216/247.md +0 -50
  526. package/templates/shared//347/224/250/346/210/267/345/217/215/351/246/210/345/245/221/347/272/246.md +0 -86
  527. package/templates/shared//347/237/245/350/257/206/344/270/273/346/235/203.md +0 -66
  528. package/templates/shared//347/237/245/350/257/206/346/262/273/347/220/206.md +0 -31
  529. package/templates/shared//347/237/245/350/257/206/346/263/250/345/205/245/350/276/271/347/225/214.md +0 -47
  530. package/templates/shared//347/273/206/350/212/202/347/272/252/345/276/213.md +0 -54
  531. package/templates/shared//350/204/221/346/232/264/344/270/216/346/226/271/346/241/210/346/216/242/347/264/242.md +0 -51
  532. package/templates/shared//350/256/241/345/210/222/345/211/215/347/275/256/351/227/250.md +0 -47
  533. package/templates/shared//350/256/276/350/256/241/344/272/247/347/211/251/345/214/205.md +0 -58
  534. package/templates/shared//350/257/255/344/271/211/350/257/201/346/215/256.md +0 -55
  535. package/templates/shared//350/267/250/345/271/263/345/217/260/350/267/257/345/276/204/345/256/211/345/205/250.md +0 -41
  536. package/templates/shared//350/276/223/345/205/245/346/235/220/346/226/231/345/245/221/347/272/246.md +0 -50
  537. package/templates/shared//350/277/220/350/241/214/345/256/211/345/205/250/345/214/205.md +0 -58
  538. package/templates/shared//351/200/232/347/224/250/345/206/263/347/255/226/347/240/224/350/256/250.md +0 -62
  539. package/templates/shared//351/200/232/347/224/250/346/234/272/346/242/260/346/235/241/346/254/276.md +0 -47
  540. package/templates/shared//351/200/232/347/237/245.md +0 -50
  541. package/templates/shared//351/203/250/347/275/262/351/205/215/347/275/256.md +0 -14
  542. package/templates/shared//351/205/215/347/275/256/344/274/230/345/205/210/347/272/247.md +0 -67
  543. package/templates/shared//351/205/215/347/275/256/350/220/275/347/233/230/350/276/271/347/225/214.md +0 -32
  544. package/templates/shared//351/230/262/345/255/244/345/262/233/345/256/236/347/216/260.md +0 -51
  545. package/templates/shared//351/233/266/351/205/215/347/275/256/345/210/235/345/247/213/345/214/226.md +0 -57
  546. package/templates/shared//351/252/214/346/224/266/346/250/241/347/211/210/350/276/223/345/207/272/345/245/221/347/272/246.md +0 -71
  547. package/templates/shared//351/252/214/350/257/201/345/221/275/344/273/244/347/224/237/346/210/220.md +0 -55
  548. package/templates/shared//351/252/214/350/257/201/345/245/221/347/272/246.md +0 -48
  549. package/templates/verify/Docker/351/203/250/347/275/262.md +0 -46
  550. package/templates/verify/POC/347/273/223/350/256/272.md +0 -53
  551. package/templates/verify/React/345/210/227/350/241/250/350/241/250/346/240/274.md +0 -43
  552. package/templates/verify/React/347/212/266/346/200/201/347/256/241/347/220/206.md +0 -42
  553. package/templates/verify/React/347/273/204/344/273/266.md +0 -42
  554. package/templates/verify/React/350/241/250/345/215/225.md +0 -43
  555. package/templates/verify/React/350/267/257/347/224/261.md +0 -43
  556. package/templates/verify/SOLID/344/273/243/347/240/201/345/256/241/346/237/245.md +0 -74
  557. package/templates/verify/SOLID/350/256/276/350/256/241.md +0 -31
  558. package/templates/verify/Schema/345/205/274/345/256/271.md +0 -42
  559. package/templates/verify/Vue/347/212/266/346/200/201/347/256/241/347/220/206.md +0 -42
  560. package/templates/verify/Vue/347/273/204/344/273/266.md +0 -42
  561. package/templates/verify/Vue/350/267/257/347/224/261.md +0 -43
  562. package/templates/verify//344/270/212/346/270/270/350/256/276/350/256/241/344/272/244/345/217/211/351/252/214/350/257/201/345/256/241/346/237/245.md +0 -76
  563. package/templates/verify//344/270/273/351/223/276/350/267/257/346/216/245/345/205/245.md +0 -38
  564. package/templates/verify//344/272/213/344/273/266/351/251/261/345/212/250.md +0 -46
  565. package/templates/verify//344/272/213/345/212/241/346/250/241/345/274/217.md +0 -42
  566. package/templates/verify//344/273/243/347/240/201/345/217/257/347/273/264/346/212/244/346/200/247/344/270/216/345/217/257/350/247/202/346/265/213/346/200/247/345/256/241/346/237/245.md +0 -92
  567. package/templates/verify//344/273/243/347/240/201/346/263/250/351/207/212/344/270/216/346/227/245/345/277/227/351/252/214/346/224/266.md +0 -64
  568. package/templates/verify//344/274/232/350/257/235/346/201/242/345/244/215.md +0 -46
  569. package/templates/verify//345/206/263/347/255/226/345/256/214/346/225/264/346/200/247/345/256/241/346/237/245.md +0 -71
  570. package/templates/verify//345/210/206/351/241/265/346/237/245/350/257/242.md +0 -41
  571. package/templates/verify//345/211/215/347/253/257/351/241/265/351/235/242.md +0 -40
  572. package/templates/verify//345/216/206/345/217/262/346/225/260/346/215/256/346/270/205/346/264/227/350/204/232/346/234/254.md +0 -55
  573. package/templates/verify//345/217/221/345/270/203/345/220/216/345/256/241/346/237/245.md +0 -73
  574. package/templates/verify//345/220/216/347/253/257API.md +0 -39
  575. package/templates/verify//345/242/236/345/210/240/346/224/271/346/237/245.md +0 -45
  576. package/templates/verify//345/244/226/351/203/250/344/276/235/350/265/226.md +0 -43
  577. package/templates/verify//345/245/221/347/272/246/345/205/274/345/256/271.md +0 -42
  578. package/templates/verify//345/256/232/346/227/266/344/273/273/345/212/241.md +0 -39
  579. package/templates/verify//345/256/236/346/227/266/346/216/250/351/200/201.md +0 -48
  580. package/templates/verify//345/256/241/346/237/245/346/221/230/350/246/201.md +0 -58
  581. package/templates/verify//345/267/245/344/275/234/346/265/201.md +0 -38
  582. package/templates/verify//345/271/266/345/217/221/345/256/241/346/237/245.md +0 -132
  583. package/templates/verify//345/274/202/346/255/245/345/257/274/345/207/272.md +0 -41
  584. package/templates/verify//346/200/247/350/203/275/345/256/241/346/237/245.md +0 -110
  585. package/templates/verify//346/216/245/345/217/243/345/245/221/347/272/246.md +0 -44
  586. package/templates/verify//346/216/245/345/217/243/345/245/221/347/272/246/345/256/241/346/237/245.md +0 -131
  587. package/templates/verify//346/220/234/347/264/242/346/250/241/345/274/217.md +0 -47
  588. package/templates/verify//346/225/205/351/232/234/345/244/215/347/233/230.md +0 -67
  589. package/templates/verify//346/225/260/346/215/256/345/272/223/345/217/230/346/233/264.md +0 -37
  590. package/templates/verify//346/225/260/346/215/256/351/232/220/347/247/201.md +0 -46
  591. package/templates/verify//346/226/207/344/273/266/344/270/212/344/274/240.md +0 -45
  592. package/templates/verify//346/227/245/345/277/227.md +0 -45
  593. package/templates/verify//346/234/254/345/234/260/346/265/217/350/247/210/345/231/250/351/252/214/346/224/266.md +0 -94
  594. package/templates/verify//346/240/270/345/277/203/345/267/245/347/250/213/346/211/247/350/241/214.md +0 -65
  595. package/templates/verify//347/237/245/350/257/206/346/263/250/345/205/245.md +0 -38
  596. package/templates/verify//347/264/247/346/200/245/344/277/256/345/244/215/346/265/201/346/260/264/347/272/277.md +0 -76
  597. package/templates/verify//347/274/223/345/255/230/347/255/226/347/225/245.md +0 -45
  598. package/templates/verify//350/201/224/350/260/203/350/256/276/350/256/241/347/274/272/351/231/267/345/210/244/345/256/232.md +0 -67
  599. package/templates/verify//350/201/224/350/260/203/351/252/214/350/257/201.md +0 -87
  600. package/templates/verify//350/256/276/350/256/241/345/256/241/350/256/241.md +0 -184
  601. package/templates/verify//350/257/225/350/277/220/350/241/214/347/206/224/346/226/255.md +0 -74
  602. package/templates/verify//350/276/223/345/205/245/346/240/241/351/252/214.md +0 -44
  603. package/templates/verify//351/203/250/347/275/262/345/217/221/345/270/203.md +0 -101
  604. package/templates/verify//351/224/231/350/257/257/345/244/204/347/220/206.md +0 -46
  605. package/templates/verify//351/224/231/350/257/257/350/276/271/347/225/214.md +0 -38
  606. package/templates/verify//351/232/220/347/247/201/345/256/241/346/237/245.md +0 -37
  607. package/templates/verify//351/252/214/350/257/201.md +0 -38
  608. package/templates/verify//351/252/214/350/257/201/350/201/232/345/220/210/346/243/200/346/237/245.md +0 -22
@@ -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"}