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.
- package/README.md +3 -3
- package/dist/context/contracts/lifecycle_knowledge_contract.d.ts.map +1 -1
- package/dist/context/contracts/lifecycle_knowledge_contract.js +2 -2
- package/dist/context/contracts/lifecycle_knowledge_contract.js.map +1 -1
- package/dist/core/task_context/manager.d.ts +0 -8
- package/dist/core/task_context/manager.d.ts.map +1 -1
- package/dist/core/task_context/manager.js +1 -19
- package/dist/core/task_context/manager.js.map +1 -1
- package/dist/core/task_context/state_fact_classifier.d.ts +0 -8
- package/dist/core/task_context/state_fact_classifier.d.ts.map +1 -1
- package/dist/core/task_context/state_fact_classifier.js +0 -36
- package/dist/core/task_context/state_fact_classifier.js.map +1 -1
- package/dist/domain/contracts/design_artifact_pack.d.ts +0 -1
- package/dist/domain/contracts/design_artifact_pack.d.ts.map +1 -1
- package/dist/domain/contracts/design_artifact_pack.js +1 -4
- package/dist/domain/contracts/design_artifact_pack.js.map +1 -1
- package/dist/domain/index.d.ts +1 -1
- package/dist/domain/index.d.ts.map +1 -1
- package/dist/domain/registry.d.ts +2 -2
- package/dist/domain/registry.d.ts.map +1 -1
- package/dist/domain/types.d.ts +1 -12
- package/dist/domain/types.d.ts.map +1 -1
- package/dist/domain/types.js +3 -0
- package/dist/domain/types.js.map +1 -1
- package/dist/gate/contracts/capability_registry.d.ts.map +1 -1
- package/dist/gate/contracts/capability_registry.js +0 -26
- package/dist/gate/contracts/capability_registry.js.map +1 -1
- package/dist/gate/contracts/control_plane_contract.d.ts +1 -1
- package/dist/gate/contracts/control_plane_contract.d.ts.map +1 -1
- package/dist/gate/contracts/control_plane_contract.js +1 -10
- package/dist/gate/contracts/control_plane_contract.js.map +1 -1
- package/dist/gate/contracts/tool_invocation_contract_registry.d.ts +1 -0
- package/dist/gate/contracts/tool_invocation_contract_registry.d.ts.map +1 -1
- package/dist/gate/contracts/tool_invocation_contract_registry.js +1 -1
- package/dist/gate/contracts/tool_invocation_contract_registry.js.map +1 -1
- package/dist/gate/index.d.ts +0 -2
- package/dist/gate/index.d.ts.map +1 -1
- package/dist/gate/index.js +0 -1
- package/dist/gate/index.js.map +1 -1
- package/dist/server/tools/index.d.ts.map +1 -1
- package/dist/server/tools/index.js +1 -3
- package/dist/server/tools/index.js.map +1 -1
- package/dist/server/tools/lazy_loaders.d.ts +0 -23
- package/dist/server/tools/lazy_loaders.d.ts.map +1 -1
- package/dist/server/tools/lazy_loaders.js +2 -33
- package/dist/server/tools/lazy_loaders.js.map +1 -1
- package/dist/server/tools/middleware.d.ts +2 -5
- package/dist/server/tools/middleware.d.ts.map +1 -1
- package/dist/server/tools/middleware.js +3 -33
- package/dist/server/tools/middleware.js.map +1 -1
- package/dist/server/tools/sf_task.js +2 -7
- package/dist/server/tools/sf_task.js.map +1 -1
- package/dist/server/tools/types.d.ts +0 -2
- package/dist/server/tools/types.d.ts.map +1 -1
- package/dist/types/pipeline_types.d.ts +1 -9
- package/dist/types/pipeline_types.d.ts.map +1 -1
- package/dist/verify/audit/verifier.d.ts.map +1 -1
- package/dist/verify/audit/verifier.js +0 -33
- package/dist/verify/audit/verifier.js.map +1 -1
- package/dist/verify/index.d.ts +1 -4
- package/dist/verify/index.d.ts.map +1 -1
- package/dist/verify/index.js +0 -3
- package/dist/verify/index.js.map +1 -1
- package/dist/verify/types.d.ts +0 -21
- package/dist/verify/types.d.ts.map +1 -1
- package/package.json +1 -1
- package/templates/shared//345/206/263/347/255/226/347/275/221/345/205/263.md +7 -21
- package/dist/context/engine/dependency_scanner.d.ts +0 -23
- package/dist/context/engine/dependency_scanner.d.ts.map +0 -1
- package/dist/context/engine/dependency_scanner.js +0 -309
- package/dist/context/engine/dependency_scanner.js.map +0 -1
- package/dist/context/engine/exploration.d.ts +0 -194
- package/dist/context/engine/exploration.d.ts.map +0 -1
- package/dist/context/engine/exploration.js +0 -712
- package/dist/context/engine/exploration.js.map +0 -1
- package/dist/context/knowledge/knowledge_acceptance_registry.d.ts +0 -42
- package/dist/context/knowledge/knowledge_acceptance_registry.d.ts.map +0 -1
- package/dist/context/knowledge/knowledge_acceptance_registry.js +0 -249
- package/dist/context/knowledge/knowledge_acceptance_registry.js.map +0 -1
- package/dist/context/knowledge/knowledge_scenario_registry.d.ts +0 -26
- package/dist/context/knowledge/knowledge_scenario_registry.d.ts.map +0 -1
- package/dist/context/knowledge/knowledge_scenario_registry.js +0 -267
- package/dist/context/knowledge/knowledge_scenario_registry.js.map +0 -1
- package/dist/context/knowledge/knowledge_sovereignty.d.ts +0 -65
- package/dist/context/knowledge/knowledge_sovereignty.d.ts.map +0 -1
- package/dist/context/knowledge/knowledge_sovereignty.js +0 -199
- package/dist/context/knowledge/knowledge_sovereignty.js.map +0 -1
- package/dist/context/team_awareness.d.ts +0 -42
- package/dist/context/team_awareness.d.ts.map +0 -1
- package/dist/context/team_awareness.js +0 -154
- package/dist/context/team_awareness.js.map +0 -1
- package/dist/context/templates/template_asset_visibility.d.ts +0 -116
- package/dist/context/templates/template_asset_visibility.d.ts.map +0 -1
- package/dist/context/templates/template_asset_visibility.js +0 -310
- package/dist/context/templates/template_asset_visibility.js.map +0 -1
- package/dist/gate/conflict_gate.d.ts +0 -53
- package/dist/gate/conflict_gate.d.ts.map +0 -1
- package/dist/gate/conflict_gate.js +0 -96
- package/dist/gate/conflict_gate.js.map +0 -1
- package/dist/gate/contracts/capability_action_advisor.d.ts +0 -34
- package/dist/gate/contracts/capability_action_advisor.d.ts.map +0 -1
- package/dist/gate/contracts/capability_action_advisor.js +0 -165
- package/dist/gate/contracts/capability_action_advisor.js.map +0 -1
- package/dist/gate/contracts/capability_state_store.d.ts +0 -121
- package/dist/gate/contracts/capability_state_store.d.ts.map +0 -1
- package/dist/gate/contracts/capability_state_store.js +0 -188
- package/dist/gate/contracts/capability_state_store.js.map +0 -1
- package/dist/gate/contracts/contract_guard.d.ts +0 -50
- package/dist/gate/contracts/contract_guard.d.ts.map +0 -1
- package/dist/gate/contracts/contract_guard.js +0 -611
- package/dist/gate/contracts/contract_guard.js.map +0 -1
- package/dist/gate/contracts/escape_report.d.ts +0 -103
- package/dist/gate/contracts/escape_report.d.ts.map +0 -1
- package/dist/gate/contracts/escape_report.js +0 -145
- package/dist/gate/contracts/escape_report.js.map +0 -1
- package/dist/gate/feasibility_checker.d.ts +0 -27
- package/dist/gate/feasibility_checker.d.ts.map +0 -1
- package/dist/gate/feasibility_checker.js +0 -114
- package/dist/gate/feasibility_checker.js.map +0 -1
- package/dist/gate/migration_guard.d.ts +0 -22
- package/dist/gate/migration_guard.d.ts.map +0 -1
- package/dist/gate/migration_guard.js +0 -277
- package/dist/gate/migration_guard.js.map +0 -1
- package/dist/gate/scope_lease.d.ts +0 -94
- package/dist/gate/scope_lease.d.ts.map +0 -1
- package/dist/gate/scope_lease.js +0 -180
- package/dist/gate/scope_lease.js.map +0 -1
- package/dist/git/git_deps.d.ts +0 -85
- package/dist/git/git_deps.d.ts.map +0 -1
- package/dist/git/git_deps.js +0 -22
- package/dist/git/git_deps.js.map +0 -1
- package/dist/git/operations.d.ts +0 -173
- package/dist/git/operations.d.ts.map +0 -1
- package/dist/git/operations.js +0 -350
- package/dist/git/operations.js.map +0 -1
- package/dist/server/tools/gate_engine.d.ts +0 -17
- package/dist/server/tools/gate_engine.d.ts.map +0 -1
- package/dist/server/tools/gate_engine.js +0 -17
- package/dist/server/tools/gate_engine.js.map +0 -1
- package/dist/server/tools/middleware/budget_check.d.ts +0 -35
- package/dist/server/tools/middleware/budget_check.d.ts.map +0 -1
- package/dist/server/tools/middleware/budget_check.js +0 -69
- package/dist/server/tools/middleware/budget_check.js.map +0 -1
- package/dist/shared/contracts/contract_registry/builtin_contracts_core.d.ts +0 -16
- package/dist/shared/contracts/contract_registry/builtin_contracts_core.d.ts.map +0 -1
- package/dist/shared/contracts/contract_registry/builtin_contracts_core.js +0 -306
- package/dist/shared/contracts/contract_registry/builtin_contracts_core.js.map +0 -1
- package/dist/shared/contracts/contract_registry/builtin_contracts_core_2.d.ts +0 -16
- package/dist/shared/contracts/contract_registry/builtin_contracts_core_2.d.ts.map +0 -1
- package/dist/shared/contracts/contract_registry/builtin_contracts_core_2.js +0 -304
- package/dist/shared/contracts/contract_registry/builtin_contracts_core_2.js.map +0 -1
- package/dist/shared/contracts/contract_registry/builtin_contracts_extended.d.ts +0 -16
- package/dist/shared/contracts/contract_registry/builtin_contracts_extended.d.ts.map +0 -1
- package/dist/shared/contracts/contract_registry/builtin_contracts_extended.js +0 -434
- package/dist/shared/contracts/contract_registry/builtin_contracts_extended.js.map +0 -1
- package/dist/shared/contracts/contract_registry/index.d.ts +0 -8
- package/dist/shared/contracts/contract_registry/index.d.ts.map +0 -1
- package/dist/shared/contracts/contract_registry/index.js +0 -7
- package/dist/shared/contracts/contract_registry/index.js.map +0 -1
- package/dist/shared/contracts/contract_registry/registry.d.ts +0 -62
- package/dist/shared/contracts/contract_registry/registry.d.ts.map +0 -1
- package/dist/shared/contracts/contract_registry/registry.js +0 -191
- package/dist/shared/contracts/contract_registry/registry.js.map +0 -1
- package/dist/shared/contracts/contract_registry/registry_internal.d.ts +0 -19
- package/dist/shared/contracts/contract_registry/registry_internal.d.ts.map +0 -1
- package/dist/shared/contracts/contract_registry/registry_internal.js +0 -54
- package/dist/shared/contracts/contract_registry/registry_internal.js.map +0 -1
- package/dist/shared/contracts/contract_registry/types.d.ts +0 -47
- package/dist/shared/contracts/contract_registry/types.d.ts.map +0 -1
- package/dist/shared/contracts/contract_registry/types.js +0 -5
- package/dist/shared/contracts/contract_registry/types.js.map +0 -1
- package/dist/shared/contracts/contract_registry/validation.d.ts +0 -25
- package/dist/shared/contracts/contract_registry/validation.d.ts.map +0 -1
- package/dist/shared/contracts/contract_registry/validation.js +0 -363
- package/dist/shared/contracts/contract_registry/validation.js.map +0 -1
- package/dist/shared/llm_gateway.d.ts +0 -186
- package/dist/shared/llm_gateway.d.ts.map +0 -1
- package/dist/shared/llm_gateway.js +0 -393
- package/dist/shared/llm_gateway.js.map +0 -1
- package/dist/verify/audit/audit_sampler.d.ts +0 -29
- package/dist/verify/audit/audit_sampler.d.ts.map +0 -1
- package/dist/verify/audit/audit_sampler.js +0 -42
- package/dist/verify/audit/audit_sampler.js.map +0 -1
- package/dist/verify/audit/debt_reporter.d.ts +0 -22
- package/dist/verify/audit/debt_reporter.d.ts.map +0 -1
- package/dist/verify/audit/debt_reporter.js +0 -107
- package/dist/verify/audit/debt_reporter.js.map +0 -1
- package/dist/verify/audit/debugger.d.ts +0 -25
- package/dist/verify/audit/debugger.d.ts.map +0 -1
- package/dist/verify/audit/debugger.js +0 -429
- package/dist/verify/audit/debugger.js.map +0 -1
- package/dist/verify/audit/degradation.d.ts +0 -62
- package/dist/verify/audit/degradation.d.ts.map +0 -1
- package/dist/verify/audit/degradation.js +0 -78
- package/dist/verify/audit/degradation.js.map +0 -1
- package/dist/verify/audit/developer_sovereignty.d.ts +0 -29
- package/dist/verify/audit/developer_sovereignty.d.ts.map +0 -1
- package/dist/verify/audit/developer_sovereignty.js +0 -137
- package/dist/verify/audit/developer_sovereignty.js.map +0 -1
- package/dist/verify/audit/failure_report.d.ts +0 -76
- package/dist/verify/audit/failure_report.d.ts.map +0 -1
- package/dist/verify/audit/failure_report.js +0 -145
- package/dist/verify/audit/failure_report.js.map +0 -1
- package/dist/verify/audit/governance_report.d.ts +0 -110
- package/dist/verify/audit/governance_report.d.ts.map +0 -1
- package/dist/verify/audit/governance_report.js +0 -194
- package/dist/verify/audit/governance_report.js.map +0 -1
- package/dist/verify/audit/mutation_audit.d.ts +0 -40
- package/dist/verify/audit/mutation_audit.d.ts.map +0 -1
- package/dist/verify/audit/mutation_audit.js +0 -154
- package/dist/verify/audit/mutation_audit.js.map +0 -1
- package/dist/verify/audit/risk_sampler.d.ts +0 -44
- package/dist/verify/audit/risk_sampler.d.ts.map +0 -1
- package/dist/verify/audit/risk_sampler.js +0 -80
- package/dist/verify/audit/risk_sampler.js.map +0 -1
- package/dist/verify/audit/runtime_safety.d.ts +0 -89
- package/dist/verify/audit/runtime_safety.d.ts.map +0 -1
- package/dist/verify/audit/runtime_safety.js +0 -209
- package/dist/verify/audit/runtime_safety.js.map +0 -1
- package/dist/verify/audit/semantic_evidence.d.ts +0 -36
- package/dist/verify/audit/semantic_evidence.d.ts.map +0 -1
- package/dist/verify/audit/semantic_evidence.js +0 -90
- package/dist/verify/audit/semantic_evidence.js.map +0 -1
- package/dist/verify/audit/test_generator.d.ts +0 -23
- package/dist/verify/audit/test_generator.d.ts.map +0 -1
- package/dist/verify/audit/test_generator.js +0 -278
- package/dist/verify/audit/test_generator.js.map +0 -1
- package/dist/verify/audit/test_quality.d.ts +0 -49
- package/dist/verify/audit/test_quality.d.ts.map +0 -1
- package/dist/verify/audit/test_quality.js +0 -684
- package/dist/verify/audit/test_quality.js.map +0 -1
- package/dist/verify/change_coordinator.d.ts +0 -45
- package/dist/verify/change_coordinator.d.ts.map +0 -1
- package/dist/verify/change_coordinator.js +0 -168
- package/dist/verify/change_coordinator.js.map +0 -1
- package/dist/verify/contracts/decision_contract.d.ts +0 -51
- package/dist/verify/contracts/decision_contract.d.ts.map +0 -1
- package/dist/verify/contracts/decision_contract.js +0 -70
- package/dist/verify/contracts/decision_contract.js.map +0 -1
- package/dist/verify/contracts/mechanism_contract_registry/contracts-audit.d.ts +0 -17
- package/dist/verify/contracts/mechanism_contract_registry/contracts-audit.d.ts.map +0 -1
- package/dist/verify/contracts/mechanism_contract_registry/contracts-audit.js +0 -428
- package/dist/verify/contracts/mechanism_contract_registry/contracts-audit.js.map +0 -1
- package/dist/verify/contracts/mechanism_contract_registry/contracts-governance.d.ts +0 -17
- package/dist/verify/contracts/mechanism_contract_registry/contracts-governance.d.ts.map +0 -1
- package/dist/verify/contracts/mechanism_contract_registry/contracts-governance.js +0 -429
- package/dist/verify/contracts/mechanism_contract_registry/contracts-governance.js.map +0 -1
- package/dist/verify/contracts/mechanism_contract_registry/contracts-pipeline.d.ts +0 -17
- package/dist/verify/contracts/mechanism_contract_registry/contracts-pipeline.d.ts.map +0 -1
- package/dist/verify/contracts/mechanism_contract_registry/contracts-pipeline.js +0 -194
- package/dist/verify/contracts/mechanism_contract_registry/contracts-pipeline.js.map +0 -1
- package/dist/verify/contracts/mechanism_contract_registry/contracts-platform.d.ts +0 -17
- package/dist/verify/contracts/mechanism_contract_registry/contracts-platform.d.ts.map +0 -1
- package/dist/verify/contracts/mechanism_contract_registry/contracts-platform.js +0 -365
- package/dist/verify/contracts/mechanism_contract_registry/contracts-platform.js.map +0 -1
- package/dist/verify/contracts/mechanism_contract_registry/index.d.ts +0 -19
- package/dist/verify/contracts/mechanism_contract_registry/index.d.ts.map +0 -1
- package/dist/verify/contracts/mechanism_contract_registry/index.js +0 -21
- package/dist/verify/contracts/mechanism_contract_registry/index.js.map +0 -1
- package/dist/verify/contracts/mechanism_contract_registry/types.d.ts +0 -33
- package/dist/verify/contracts/mechanism_contract_registry/types.d.ts.map +0 -1
- package/dist/verify/contracts/mechanism_contract_registry/types.js +0 -5
- package/dist/verify/contracts/mechanism_contract_registry/types.js.map +0 -1
- package/dist/verify/contracts/mechanism_contract_registry/validation.d.ts +0 -38
- package/dist/verify/contracts/mechanism_contract_registry/validation.d.ts.map +0 -1
- package/dist/verify/contracts/mechanism_contract_registry/validation.js +0 -136
- package/dist/verify/contracts/mechanism_contract_registry/validation.js.map +0 -1
- package/templates/shared/LLM/351/242/204/347/256/227/347/275/221/345/205/263.md +0 -54
- 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"}
|