soloforge 1.1.44 → 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/executors/executors_annotation.d.ts.map +1 -1
- package/dist/gate/executors/executors_annotation.js +8 -1
- package/dist/gate/executors/executors_annotation.js.map +1 -1
- package/dist/gate/executors/executors_artifact.d.ts +1 -1
- package/dist/gate/executors/executors_artifact.d.ts.map +1 -1
- package/dist/gate/executors/executors_artifact.js +18 -7
- package/dist/gate/executors/executors_artifact.js.map +1 -1
- package/dist/gate/executors/executors_deploy.d.ts.map +1 -1
- package/dist/gate/executors/executors_deploy.js +3 -2
- package/dist/gate/executors/executors_deploy.js.map +1 -1
- package/dist/gate/executors/executors_openapi_sync.d.ts.map +1 -1
- package/dist/gate/executors/executors_openapi_sync.js +15 -2
- package/dist/gate/executors/executors_openapi_sync.js.map +1 -1
- package/dist/gate/executors/executors_regex_scan.d.ts.map +1 -1
- package/dist/gate/executors/executors_regex_scan.js +9 -0
- package/dist/gate/executors/executors_regex_scan.js.map +1 -1
- package/dist/gate/executors/executors_trace.d.ts.map +1 -1
- package/dist/gate/executors/executors_trace.js +12 -2
- package/dist/gate/executors/executors_trace.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.d.ts.map +1 -1
- package/dist/server/tools/sf_task.js +9 -8
- 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,21 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* Mechanism Contract Registry — P0 自治理契约。
|
|
3
|
-
*
|
|
4
|
-
* 主管线上的每个 P0 机制都在此注册,包含精确的输入、输出、
|
|
5
|
-
* 失败模式和测试锚点,以便 validateMechanismContracts() 强制执行结构不变量。
|
|
6
|
-
*
|
|
7
|
-
* 模块拆分:
|
|
8
|
-
* - types.ts 类型定义
|
|
9
|
-
* - contracts-pipeline.ts 核心管线机制契约
|
|
10
|
-
* - contracts-platform.ts 平台与扩展机制契约
|
|
11
|
-
* - contracts-governance.ts 治理与安全机制契约
|
|
12
|
-
* - contracts-audit.ts 审计与管线架构机制契约
|
|
13
|
-
* - validation.ts 查询函数与治理验证
|
|
14
|
-
*/
|
|
15
|
-
// ── P0 契约列表 ──
|
|
16
|
-
export { P0_MECHANISM_CONTRACTS } from "./validation.js";
|
|
17
|
-
// ── 查询函数 ──
|
|
18
|
-
export { listMechanismContracts, findMechanismContractById, listMechanismContractsByStatus, } from "./validation.js";
|
|
19
|
-
// ── 治理验证 ──
|
|
20
|
-
export { validateMechanismContracts } from "./validation.js";
|
|
21
|
-
//# sourceMappingURL=index.js.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/verify/contracts/mechanism_contract_registry/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAUH,gBAAgB;AAChB,OAAO,EAAE,sBAAsB,EAAE,MAAM,iBAAiB,CAAC;AAEzD,aAAa;AACb,OAAO,EACL,sBAAsB,EACtB,yBAAyB,EACzB,8BAA8B,GAC/B,MAAM,iBAAiB,CAAC;AAEzB,aAAa;AACb,OAAO,EAAE,0BAA0B,EAAE,MAAM,iBAAiB,CAAC"}
|
|
@@ -1,33 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* Mechanism Contract Registry — 类型定义。
|
|
3
|
-
*/
|
|
4
|
-
export type MechanismType = "routing" | "classification" | "expansion" | "knowledge_matching" | "state_lifecycle" | "planning" | "verification" | "review" | "analysis" | "scaffolding" | "delivery" | "learning" | "governance" | "safety" | "observability" | "initialization" | "feedback" | "artifact_management" | "contract_enforcement" | "access_control";
|
|
5
|
-
export type MechanismStatus = "enforced" | "advisory" | "experimental" | "deprecated";
|
|
6
|
-
export interface MechanismContract {
|
|
7
|
-
id: string;
|
|
8
|
-
name: string;
|
|
9
|
-
owner_module: string;
|
|
10
|
-
owner_files?: string[];
|
|
11
|
-
owner_exports?: string[];
|
|
12
|
-
mechanism_type: MechanismType;
|
|
13
|
-
status: MechanismStatus;
|
|
14
|
-
trigger: string;
|
|
15
|
-
required_inputs: string[];
|
|
16
|
-
preconditions: string[];
|
|
17
|
-
outputs: string[];
|
|
18
|
-
downstream_consumers: string[];
|
|
19
|
-
state_transitions?: string[];
|
|
20
|
-
cleanup_hooks?: string[];
|
|
21
|
-
failure_modes: string[];
|
|
22
|
-
degradation_behavior: string;
|
|
23
|
-
tests: string[];
|
|
24
|
-
lifecycle_tests: string[];
|
|
25
|
-
notes?: string;
|
|
26
|
-
}
|
|
27
|
-
export interface MechanismGovernanceFinding {
|
|
28
|
-
severity: "hard_fail" | "advisory";
|
|
29
|
-
contract_id: string;
|
|
30
|
-
field: string;
|
|
31
|
-
message: string;
|
|
32
|
-
}
|
|
33
|
-
//# sourceMappingURL=types.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../../src/verify/contracts/mechanism_contract_registry/types.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,MAAM,MAAM,aAAa,GACrB,SAAS,GACT,gBAAgB,GAChB,WAAW,GACX,oBAAoB,GACpB,iBAAiB,GACjB,UAAU,GACV,cAAc,GACd,QAAQ,GACR,UAAU,GACV,aAAa,GACb,UAAU,GACV,UAAU,GACV,YAAY,GACZ,QAAQ,GACR,eAAe,GACf,gBAAgB,GAChB,UAAU,GACV,qBAAqB,GACrB,sBAAsB,GACtB,gBAAgB,CAAC;AAErB,MAAM,MAAM,eAAe,GACvB,UAAU,GACV,UAAU,GACV,cAAc,GACd,YAAY,CAAC;AAEjB,MAAM,WAAW,iBAAiB;IAChC,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IACvB,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;IACzB,cAAc,EAAE,aAAa,CAAC;IAC9B,MAAM,EAAE,eAAe,CAAC;IACxB,OAAO,EAAE,MAAM,CAAC;IAChB,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,oBAAoB,EAAE,MAAM,EAAE,CAAC;IAC/B,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC7B,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;IACzB,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,oBAAoB,EAAE,MAAM,CAAC;IAC7B,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,0BAA0B;IACzC,QAAQ,EAAE,WAAW,GAAG,UAAU,CAAC;IACnC,WAAW,EAAE,MAAM,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;CACjB"}
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../../src/verify/contracts/mechanism_contract_registry/types.ts"],"names":[],"mappings":"AAAA;;GAEG"}
|
|
@@ -1,38 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* Validation — 契约层模块。
|
|
3
|
-
*
|
|
4
|
-
* 职责边界:
|
|
5
|
-
* - 负责:P0_MECHANISM_CONTRACTS 等 契约层职责
|
|
6
|
-
* - 不负责:不属于本模块的职责由对应模块承担
|
|
7
|
-
*
|
|
8
|
-
* 被谁调用:契约验证、注册表查询
|
|
9
|
-
* 调用谁:node:fs、node:path、types、contracts-pipeline、contracts-platform、contracts-governance
|
|
10
|
-
*
|
|
11
|
-
* 数据流:契约定义 → 验证逻辑 → 通过/拒绝结果
|
|
12
|
-
* 持久化:读写本地文件(详见代码内路径)
|
|
13
|
-
*/
|
|
14
|
-
import type { MechanismContract, MechanismGovernanceFinding, MechanismStatus } from "./types.js";
|
|
15
|
-
/** P0 级机制契约列表 */
|
|
16
|
-
export declare const P0_MECHANISM_CONTRACTS: MechanismContract[];
|
|
17
|
-
/**
|
|
18
|
-
* 执行 listMechanismContracts 操作
|
|
19
|
-
*/
|
|
20
|
-
export declare function listMechanismContracts(): MechanismContract[];
|
|
21
|
-
/**
|
|
22
|
-
* 根据契约 ID 查找机制契约。
|
|
23
|
-
* @param id - 机制契约 ID
|
|
24
|
-
* @returns 匹配的机制契约,未找到时返回 undefined
|
|
25
|
-
*/
|
|
26
|
-
export declare function findMechanismContractById(id: string): MechanismContract | undefined;
|
|
27
|
-
/**
|
|
28
|
-
* 执行 listMechanismContractsByStatus 操作
|
|
29
|
-
*/
|
|
30
|
-
export declare function listMechanismContractsByStatus(status: MechanismStatus): MechanismContract[];
|
|
31
|
-
/**
|
|
32
|
-
* 校验机制契约的结构完整性和一致性。
|
|
33
|
-
* @param contracts - 待校验的契约列表,默认使用内置 P0 契约
|
|
34
|
-
* @param rootDir - 项目根目录,默认为当前工作目录
|
|
35
|
-
* @returns 治理发现列表(hard_fail 为硬性错误,advisory 为建议项)
|
|
36
|
-
*/
|
|
37
|
-
export declare function validateMechanismContracts(contracts?: MechanismContract[], rootDir?: string): MechanismGovernanceFinding[];
|
|
38
|
-
//# sourceMappingURL=validation.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"validation.d.ts","sourceRoot":"","sources":["../../../../src/verify/contracts/mechanism_contract_registry/validation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAKH,OAAO,KAAK,EAAE,iBAAiB,EAAE,0BAA0B,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAQjG,iBAAiB;AACjB,eAAO,MAAM,sBAAsB,EAAE,iBAAiB,EAKrD,CAAC;AAIF;;GAEG;AACH,wBAAgB,sBAAsB,IAAI,iBAAiB,EAAE,CAE5D;AAED;;;;GAIG;AACH,wBAAgB,yBAAyB,CAAC,EAAE,EAAE,MAAM,GAAG,iBAAiB,GAAG,SAAS,CAEnF;AAED;;GAEG;AACH,wBAAgB,8BAA8B,CAAC,MAAM,EAAE,eAAe,GAAG,iBAAiB,EAAE,CAE3F;AAID;;;;;GAKG;AACH,wBAAgB,0BAA0B,CACxC,SAAS,GAAE,iBAAiB,EAA2B,EACvD,OAAO,GAAE,MAAsB,GAC9B,0BAA0B,EAAE,CAgG9B"}
|
|
@@ -1,136 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* Validation — 契约层模块。
|
|
3
|
-
*
|
|
4
|
-
* 职责边界:
|
|
5
|
-
* - 负责:P0_MECHANISM_CONTRACTS 等 契约层职责
|
|
6
|
-
* - 不负责:不属于本模块的职责由对应模块承担
|
|
7
|
-
*
|
|
8
|
-
* 被谁调用:契约验证、注册表查询
|
|
9
|
-
* 调用谁:node:fs、node:path、types、contracts-pipeline、contracts-platform、contracts-governance
|
|
10
|
-
*
|
|
11
|
-
* 数据流:契约定义 → 验证逻辑 → 通过/拒绝结果
|
|
12
|
-
* 持久化:读写本地文件(详见代码内路径)
|
|
13
|
-
*/
|
|
14
|
-
import fs from "node:fs";
|
|
15
|
-
import path from "node:path";
|
|
16
|
-
import { PIPELINE_CONTRACTS } from "./contracts-pipeline.js";
|
|
17
|
-
import { PLATFORM_CONTRACTS } from "./contracts-platform.js";
|
|
18
|
-
import { GOVERNANCE_CONTRACTS } from "./contracts-governance.js";
|
|
19
|
-
import { AUDIT_CONTRACTS } from "./contracts-audit.js";
|
|
20
|
-
// ── 聚合 P0 契约 ──
|
|
21
|
-
/** P0 级机制契约列表 */
|
|
22
|
-
export const P0_MECHANISM_CONTRACTS = [
|
|
23
|
-
...PIPELINE_CONTRACTS,
|
|
24
|
-
...PLATFORM_CONTRACTS,
|
|
25
|
-
...GOVERNANCE_CONTRACTS,
|
|
26
|
-
...AUDIT_CONTRACTS,
|
|
27
|
-
];
|
|
28
|
-
// ── 查询函数 ──
|
|
29
|
-
/**
|
|
30
|
-
* 执行 listMechanismContracts 操作
|
|
31
|
-
*/
|
|
32
|
-
export function listMechanismContracts() {
|
|
33
|
-
return P0_MECHANISM_CONTRACTS;
|
|
34
|
-
}
|
|
35
|
-
/**
|
|
36
|
-
* 根据契约 ID 查找机制契约。
|
|
37
|
-
* @param id - 机制契约 ID
|
|
38
|
-
* @returns 匹配的机制契约,未找到时返回 undefined
|
|
39
|
-
*/
|
|
40
|
-
export function findMechanismContractById(id) {
|
|
41
|
-
return P0_MECHANISM_CONTRACTS.find((c) => c.id === id);
|
|
42
|
-
}
|
|
43
|
-
/**
|
|
44
|
-
* 执行 listMechanismContractsByStatus 操作
|
|
45
|
-
*/
|
|
46
|
-
export function listMechanismContractsByStatus(status) {
|
|
47
|
-
return P0_MECHANISM_CONTRACTS.filter((c) => c.status === status);
|
|
48
|
-
}
|
|
49
|
-
// ── 治理验证 ──
|
|
50
|
-
/**
|
|
51
|
-
* 校验机制契约的结构完整性和一致性。
|
|
52
|
-
* @param contracts - 待校验的契约列表,默认使用内置 P0 契约
|
|
53
|
-
* @param rootDir - 项目根目录,默认为当前工作目录
|
|
54
|
-
* @returns 治理发现列表(hard_fail 为硬性错误,advisory 为建议项)
|
|
55
|
-
*/
|
|
56
|
-
export function validateMechanismContracts(contracts = P0_MECHANISM_CONTRACTS, rootDir = process.cwd()) {
|
|
57
|
-
const findings = [];
|
|
58
|
-
const seenIds = new Set();
|
|
59
|
-
for (const c of contracts) {
|
|
60
|
-
// 重复 id
|
|
61
|
-
if (seenIds.has(c.id)) {
|
|
62
|
-
findings.push({ severity: "hard_fail", contract_id: c.id, field: "id", message: `Duplicate id: ${c.id}` });
|
|
63
|
-
}
|
|
64
|
-
seenIds.add(c.id);
|
|
65
|
-
// owner_module 文件存在性(deprecated 机制跳过)
|
|
66
|
-
if (c.status !== "deprecated" && !fs.existsSync(path.join(rootDir, c.owner_module))) {
|
|
67
|
-
findings.push({ severity: "hard_fail", contract_id: c.id, field: "owner_module", message: `Module not found: ${c.owner_module}` });
|
|
68
|
-
}
|
|
69
|
-
// owner_exports 验证:每个导出必须在模块文件中存在(deprecated 机制跳过)
|
|
70
|
-
if (c.status !== "deprecated" && c.owner_exports?.length && fs.existsSync(path.join(rootDir, c.owner_module))) {
|
|
71
|
-
const moduleContent = fs.readFileSync(path.join(rootDir, c.owner_module), "utf-8");
|
|
72
|
-
for (const exp of c.owner_exports) {
|
|
73
|
-
if (!moduleContent.includes(exp)) {
|
|
74
|
-
findings.push({ severity: "hard_fail", contract_id: c.id, field: "owner_exports", message: `Export not found in module: ${exp}` });
|
|
75
|
-
}
|
|
76
|
-
}
|
|
77
|
-
}
|
|
78
|
-
// enforced 状态必须有 lifecycle_tests
|
|
79
|
-
if (c.status === "enforced" && c.lifecycle_tests.length === 0) {
|
|
80
|
-
findings.push({ severity: "hard_fail", contract_id: c.id, field: "lifecycle_tests", message: "Enforced mechanism must have lifecycle_tests" });
|
|
81
|
-
}
|
|
82
|
-
// 测试文件存在性(deprecated 机制跳过)
|
|
83
|
-
if (c.status !== "deprecated") {
|
|
84
|
-
for (const t of c.tests) {
|
|
85
|
-
if (!fs.existsSync(path.join(rootDir, t))) {
|
|
86
|
-
findings.push({ severity: "hard_fail", contract_id: c.id, field: "tests", message: `Test file not found: ${t}` });
|
|
87
|
-
}
|
|
88
|
-
}
|
|
89
|
-
// lifecycle_tests 文件存在性
|
|
90
|
-
for (const t of c.lifecycle_tests) {
|
|
91
|
-
if (!fs.existsSync(path.join(rootDir, t))) {
|
|
92
|
-
findings.push({ severity: "hard_fail", contract_id: c.id, field: "lifecycle_tests", message: `Lifecycle test file not found: ${t}` });
|
|
93
|
-
}
|
|
94
|
-
}
|
|
95
|
-
}
|
|
96
|
-
// required_inputs 非空(deprecated 机制跳过,已删除模块字段可能为空)
|
|
97
|
-
if (c.status !== "deprecated" && c.required_inputs.length === 0) {
|
|
98
|
-
findings.push({ severity: "hard_fail", contract_id: c.id, field: "required_inputs", message: "required_inputs must not be empty" });
|
|
99
|
-
}
|
|
100
|
-
// outputs 非空(deprecated 机制跳过)
|
|
101
|
-
if (c.status !== "deprecated" && c.outputs.length === 0) {
|
|
102
|
-
findings.push({ severity: "hard_fail", contract_id: c.id, field: "outputs", message: "outputs must not be empty" });
|
|
103
|
-
}
|
|
104
|
-
// downstream_consumers 非空(deprecated 机制跳过)
|
|
105
|
-
if (c.status !== "deprecated" && c.downstream_consumers.length === 0) {
|
|
106
|
-
findings.push({ severity: "hard_fail", contract_id: c.id, field: "downstream_consumers", message: "downstream_consumers must not be empty" });
|
|
107
|
-
}
|
|
108
|
-
// state_lifecycle 必须有 state_transitions
|
|
109
|
-
if (c.mechanism_type === "state_lifecycle" && (!c.state_transitions || c.state_transitions.length === 0)) {
|
|
110
|
-
findings.push({ severity: "hard_fail", contract_id: c.id, field: "state_transitions", message: "state_lifecycle mechanism must have state_transitions" });
|
|
111
|
-
}
|
|
112
|
-
// 有 cleanup_hooks 但无 lifecycle_tests
|
|
113
|
-
if (c.cleanup_hooks && c.cleanup_hooks.length > 0 && c.lifecycle_tests.length === 0) {
|
|
114
|
-
findings.push({ severity: "hard_fail", contract_id: c.id, field: "lifecycle_tests", message: "Mechanism with cleanup_hooks must have lifecycle_tests" });
|
|
115
|
-
}
|
|
116
|
-
// ── 建议性检查 ──
|
|
117
|
-
// failure_modes 为空
|
|
118
|
-
if (c.failure_modes.length === 0) {
|
|
119
|
-
findings.push({ severity: "advisory", contract_id: c.id, field: "failure_modes", message: "failure_modes is empty" });
|
|
120
|
-
}
|
|
121
|
-
// degradation_behavior 为空或过短
|
|
122
|
-
if (!c.degradation_behavior || c.degradation_behavior.length < 10) {
|
|
123
|
-
findings.push({ severity: "advisory", contract_id: c.id, field: "degradation_behavior", message: "degradation_behavior is empty or too short" });
|
|
124
|
-
}
|
|
125
|
-
// 通用 downstream_consumers
|
|
126
|
-
if (c.downstream_consumers.includes("unknown")) {
|
|
127
|
-
findings.push({ severity: "advisory", contract_id: c.id, field: "downstream_consumers", message: "downstream_consumers contains generic 'unknown'" });
|
|
128
|
-
}
|
|
129
|
-
// 已废弃但无 notes
|
|
130
|
-
if (c.status === "deprecated" && !c.notes) {
|
|
131
|
-
findings.push({ severity: "advisory", contract_id: c.id, field: "notes", message: "Deprecated mechanism must have notes explaining removal" });
|
|
132
|
-
}
|
|
133
|
-
}
|
|
134
|
-
return findings;
|
|
135
|
-
}
|
|
136
|
-
//# sourceMappingURL=validation.js.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"validation.js","sourceRoot":"","sources":["../../../../src/verify/contracts/mechanism_contract_registry/validation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAG7B,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAC7D,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAC7D,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AACjE,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAEvD,iBAAiB;AAEjB,iBAAiB;AACjB,MAAM,CAAC,MAAM,sBAAsB,GAAwB;IACzD,GAAG,kBAAkB;IACrB,GAAG,kBAAkB;IACrB,GAAG,oBAAoB;IACvB,GAAG,eAAe;CACnB,CAAC;AAEF,aAAa;AAEb;;GAEG;AACH,MAAM,UAAU,sBAAsB;IACpC,OAAO,sBAAsB,CAAC;AAChC,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,yBAAyB,CAAC,EAAU;IAClD,OAAO,sBAAsB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;AACzD,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,8BAA8B,CAAC,MAAuB;IACpE,OAAO,sBAAsB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;AACnE,CAAC;AAED,aAAa;AAEb;;;;;GAKG;AACH,MAAM,UAAU,0BAA0B,CACxC,YAAiC,sBAAsB,EACvD,UAAkB,OAAO,CAAC,GAAG,EAAE;IAE/B,MAAM,QAAQ,GAAiC,EAAE,CAAC;IAClD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAElC,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,QAAQ;QACR,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;YACtB,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,iBAAiB,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QAC7G,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAElB,sCAAsC;QACtC,IAAI,CAAC,CAAC,MAAM,KAAK,YAAY,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC;YACpF,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE,OAAO,EAAE,qBAAqB,CAAC,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;QACrI,CAAC;QAED,mDAAmD;QACnD,IAAI,CAAC,CAAC,MAAM,KAAK,YAAY,IAAI,CAAC,CAAC,aAAa,EAAE,MAAM,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC;YAC9G,MAAM,aAAa,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC,CAAC;YACnF,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,aAAa,EAAE,CAAC;gBAClC,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;oBACjC,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE,OAAO,EAAE,+BAA+B,GAAG,EAAE,EAAE,CAAC,CAAC;gBACrI,CAAC;YACH,CAAC;QACH,CAAC;QAED,iCAAiC;QACjC,IAAI,CAAC,CAAC,MAAM,KAAK,UAAU,IAAI,CAAC,CAAC,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC9D,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,iBAAiB,EAAE,OAAO,EAAE,8CAA8C,EAAE,CAAC,CAAC;QACjJ,CAAC;QAED,2BAA2B;QAC3B,IAAI,CAAC,CAAC,MAAM,KAAK,YAAY,EAAE,CAAC;YAC9B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;gBACxB,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC1C,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,wBAAwB,CAAC,EAAE,EAAE,CAAC,CAAC;gBACpH,CAAC;YACH,CAAC;YAED,wBAAwB;YACxB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,eAAe,EAAE,CAAC;gBAClC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC1C,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,iBAAiB,EAAE,OAAO,EAAE,kCAAkC,CAAC,EAAE,EAAE,CAAC,CAAC;gBACxI,CAAC;YACH,CAAC;QACH,CAAC;QAED,kDAAkD;QAClD,IAAI,CAAC,CAAC,MAAM,KAAK,YAAY,IAAI,CAAC,CAAC,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAChE,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,iBAAiB,EAAE,OAAO,EAAE,mCAAmC,EAAE,CAAC,CAAC;QACtI,CAAC;QAED,8BAA8B;QAC9B,IAAI,CAAC,CAAC,MAAM,KAAK,YAAY,IAAI,CAAC,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxD,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,2BAA2B,EAAE,CAAC,CAAC;QACtH,CAAC;QAED,2CAA2C;QAC3C,IAAI,CAAC,CAAC,MAAM,KAAK,YAAY,IAAI,CAAC,CAAC,oBAAoB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACrE,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,sBAAsB,EAAE,OAAO,EAAE,wCAAwC,EAAE,CAAC,CAAC;QAChJ,CAAC;QAED,wCAAwC;QACxC,IAAI,CAAC,CAAC,cAAc,KAAK,iBAAiB,IAAI,CAAC,CAAC,CAAC,CAAC,iBAAiB,IAAI,CAAC,CAAC,iBAAiB,CAAC,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC;YACzG,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,mBAAmB,EAAE,OAAO,EAAE,uDAAuD,EAAE,CAAC,CAAC;QAC5J,CAAC;QAED,qCAAqC;QACrC,IAAI,CAAC,CAAC,aAAa,IAAI,CAAC,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACpF,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,iBAAiB,EAAE,OAAO,EAAE,wDAAwD,EAAE,CAAC,CAAC;QAC3J,CAAC;QAED,cAAc;QAEd,mBAAmB;QACnB,IAAI,CAAC,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACjC,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,UAAU,EAAE,WAAW,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE,OAAO,EAAE,wBAAwB,EAAE,CAAC,CAAC;QACxH,CAAC;QAED,6BAA6B;QAC7B,IAAI,CAAC,CAAC,CAAC,oBAAoB,IAAI,CAAC,CAAC,oBAAoB,CAAC,MAAM,GAAG,EAAE,EAAE,CAAC;YAClE,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,UAAU,EAAE,WAAW,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,sBAAsB,EAAE,OAAO,EAAE,4CAA4C,EAAE,CAAC,CAAC;QACnJ,CAAC;QAED,0BAA0B;QAC1B,IAAI,CAAC,CAAC,oBAAoB,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;YAC/C,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,UAAU,EAAE,WAAW,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,sBAAsB,EAAE,OAAO,EAAE,iDAAiD,EAAE,CAAC,CAAC;QACxJ,CAAC;QAED,cAAc;QACd,IAAI,CAAC,CAAC,MAAM,KAAK,YAAY,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC;YAC1C,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,UAAU,EAAE,WAAW,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,yDAAyD,EAAE,CAAC,CAAC;QACjJ,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC"}
|
|
@@ -1,54 +0,0 @@
|
|
|
1
|
-
---
|
|
2
|
-
id: ka-pattern-llm_gateway
|
|
3
|
-
kind: knowledge
|
|
4
|
-
title: LLM预算网关
|
|
5
|
-
sync_policy: internal
|
|
6
|
-
status: active
|
|
7
|
-
extra:
|
|
8
|
-
name: llm_gateway
|
|
9
|
-
scope:
|
|
10
|
-
- '*'
|
|
11
|
-
products:
|
|
12
|
-
- '*'
|
|
13
|
-
lifecycle_status: active
|
|
14
|
-
version: 1.1.0
|
|
15
|
-
last_reviewed: '2026-06-01'
|
|
16
|
-
type: knowledge
|
|
17
|
-
verification_layer: L2
|
|
18
|
-
stage: _global
|
|
19
|
-
owner_mechanism: mc-engine-runtime
|
|
20
|
-
---
|
|
21
|
-
|
|
22
|
-
## 决策规则
|
|
23
|
-
|
|
24
|
-
- H1 handler 返回 h1_advisory warning,任务仍继续进入 executing
|
|
25
|
-
- 预算耗尽是 warning 不是 hard fail,不应阻断任务
|
|
26
|
-
- heartbeat 机制定期检查预算使用率
|
|
27
|
-
- 预算耗尽时建议降级到更便宜的模型(advisory 报告)
|
|
28
|
-
|
|
29
|
-
## 验收项
|
|
30
|
-
|
|
31
|
-
- [AC-01] H1 handler 返回 advisory 不阻断
|
|
32
|
-
- [AC-02] heartbeat 正常触发
|
|
33
|
-
- [AC-03] 预算超限产生 warning
|
|
34
|
-
- [AC-04] 预算使用率可观测
|
|
35
|
-
|
|
36
|
-
## 何时使用
|
|
37
|
-
|
|
38
|
-
advisory: 预算耗尽是 warning 不是 hard fail,不应阻断任务
|
|
39
|
-
|
|
40
|
-
## 是否 hard block
|
|
41
|
-
|
|
42
|
-
否。此能力为 advisory 状态,违规仅产生 advisory 警告,不阻断流程。
|
|
43
|
-
|
|
44
|
-
## 证据要求
|
|
45
|
-
|
|
46
|
-
- H1/H4 handler 测试通过
|
|
47
|
-
- heartbeat 测试通过
|
|
48
|
-
-
|
|
49
|
-
|
|
50
|
-
## 人工确认/降级边界
|
|
51
|
-
|
|
52
|
-
- 此能力可被开发者决策覆盖
|
|
53
|
-
- 升级到 enforced 需满足 promotion_conditions 并通过 lifecycle_test_files 测试
|
|
54
|
-
- 降级/禁用需经 治理运行时 + 人工确认
|
|
@@ -1,64 +0,0 @@
|
|
|
1
|
-
---
|
|
2
|
-
id: ka-pattern-streaming_protocol
|
|
3
|
-
kind: knowledge
|
|
4
|
-
title: 流式心跳
|
|
5
|
-
sync_policy: internal
|
|
6
|
-
status: active
|
|
7
|
-
extra:
|
|
8
|
-
name: streaming_protocol
|
|
9
|
-
scope:
|
|
10
|
-
- '*'
|
|
11
|
-
products:
|
|
12
|
-
- '*'
|
|
13
|
-
lifecycle_status: active
|
|
14
|
-
version: 1.1.0
|
|
15
|
-
last_reviewed: '2026-06-01'
|
|
16
|
-
type: knowledge
|
|
17
|
-
verification_layer: L2
|
|
18
|
-
stage: _global
|
|
19
|
-
owner_mechanism: mc-engine-runtime
|
|
20
|
-
---
|
|
21
|
-
|
|
22
|
-
## 决策规则
|
|
23
|
-
|
|
24
|
-
- 重型 AI 操作(tier=heavy)执行期间必须启动流式心跳
|
|
25
|
-
- 心跳间隔 Heartbeat_Interval = 5000 毫秒
|
|
26
|
-
- 心跳通过 stdio 输出,格式: [SoloForge Heartbeat] {操作描述} 执行中... 已耗时 {N}s,当前任务已用 {M}/{T} Token
|
|
27
|
-
- 心跳包含字段: elapsed_ms, tokens_used, operation, message
|
|
28
|
-
- 轻量/中型操作(light/medium)不触发心跳
|
|
29
|
-
- 操作完成后调用 completeOperation() 停止心跳
|
|
30
|
-
- 重型操作定义: estimated_tokens > 3000(code_generation/solution_brainstorm/verification_reasoning/review_deep_analysis)
|
|
31
|
-
|
|
32
|
-
## 验收项
|
|
33
|
-
|
|
34
|
-
- [AC-01] 重型操作启动后 5 秒内首次心跳输出
|
|
35
|
-
- [AC-02] 心跳消息包含操作名称、耗时、Token 用量
|
|
36
|
-
- [AC-03] completeOperation() 调用后心跳立即停止
|
|
37
|
-
- [AC-04] 中型操作(test_generation/debug_analysis)不产生心跳
|
|
38
|
-
- [AC-05] 心跳回调通过 setHeartbeatCallback() 注册
|
|
39
|
-
|
|
40
|
-
## 格式规范
|
|
41
|
-
|
|
42
|
-
```text
|
|
43
|
-
[SoloForge Heartbeat] 代码生成 执行中... 已耗时 10s,当前任务已用 5000/30000 Token
|
|
44
|
-
```
|
|
45
|
-
|
|
46
|
-
## 何时使用
|
|
47
|
-
|
|
48
|
-
advisory: 预算耗尽是 warning 不是 hard fail,不应阻断任务
|
|
49
|
-
|
|
50
|
-
## 是否 hard block
|
|
51
|
-
|
|
52
|
-
否。此能力为 advisory 状态,违规仅产生 advisory 警告,不阻断流程。
|
|
53
|
-
|
|
54
|
-
## 证据要求
|
|
55
|
-
|
|
56
|
-
- H1/H4 handler 测试通过
|
|
57
|
-
- heartbeat 测试通过
|
|
58
|
-
-
|
|
59
|
-
|
|
60
|
-
## 人工确认/降级边界
|
|
61
|
-
|
|
62
|
-
- 此能力可被开发者决策覆盖
|
|
63
|
-
- 升级到 enforced 需满足 promotion_conditions 并通过 lifecycle_test_files 测试
|
|
64
|
-
- 降级/禁用需经 治理运行时 + 人工确认
|