@dommaker/harness 1.1.1 → 1.2.1
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/CHANGELOG.md +17 -0
- package/README.md +2 -4
- package/bin/harness.js +12 -37
- package/dist/cli/commands/check.d.ts +2 -2
- package/dist/cli/commands/check.d.ts.map +1 -1
- package/dist/cli/commands/check.js +8 -33
- package/dist/cli/commands/check.js.map +1 -1
- package/dist/cli/commands/constraints-report.js +1 -1
- package/dist/cli/commands/constraints-report.js.map +1 -1
- package/dist/cli/commands/constraints-retire.d.ts +6 -3
- package/dist/cli/commands/constraints-retire.d.ts.map +1 -1
- package/dist/cli/commands/constraints-retire.js +34 -25
- package/dist/cli/commands/constraints-retire.js.map +1 -1
- package/dist/cli/commands/definitions.d.ts +2 -0
- package/dist/cli/commands/definitions.d.ts.map +1 -1
- package/dist/cli/commands/definitions.js.map +1 -1
- package/dist/cli/commands/init.d.ts +21 -1
- package/dist/cli/commands/init.d.ts.map +1 -1
- package/dist/cli/commands/init.js +118 -40
- package/dist/cli/commands/init.js.map +1 -1
- package/dist/cli/commands/knowledge.d.ts.map +1 -1
- package/dist/cli/commands/knowledge.js +1 -12
- package/dist/cli/commands/knowledge.js.map +1 -1
- package/dist/cli/commands/report.d.ts.map +1 -1
- package/dist/cli/commands/report.js +0 -2
- package/dist/cli/commands/report.js.map +1 -1
- package/dist/cli/commands/status.js +2 -2
- package/dist/cli/commands/status.js.map +1 -1
- package/dist/context/index.d.ts +9 -6
- package/dist/context/index.d.ts.map +1 -1
- package/dist/context/index.js +18 -20
- package/dist/context/index.js.map +1 -1
- package/dist/core/constraints/capabilities-parser.d.ts +3 -2
- package/dist/core/constraints/capabilities-parser.d.ts.map +1 -1
- package/dist/core/constraints/capabilities-parser.js +25 -47
- package/dist/core/constraints/capabilities-parser.js.map +1 -1
- package/dist/core/constraints/checker.d.ts +29 -32
- package/dist/core/constraints/checker.d.ts.map +1 -1
- package/dist/core/constraints/checker.js +34 -126
- package/dist/core/constraints/checker.js.map +1 -1
- package/dist/core/constraints/checkers/governance-presence.d.ts +20 -0
- package/dist/core/constraints/checkers/governance-presence.d.ts.map +1 -0
- package/dist/core/constraints/checkers/governance-presence.js +76 -0
- package/dist/core/constraints/checkers/governance-presence.js.map +1 -0
- package/dist/core/constraints/checkers/index.d.ts +2 -1
- package/dist/core/constraints/checkers/index.d.ts.map +1 -1
- package/dist/core/constraints/checkers/index.js +5 -0
- package/dist/core/constraints/checkers/index.js.map +1 -1
- package/dist/core/constraints/checkers/types.d.ts +25 -0
- package/dist/core/constraints/checkers/types.d.ts.map +1 -1
- package/dist/core/constraints/checkers/types.js +24 -0
- package/dist/core/constraints/checkers/types.js.map +1 -1
- package/dist/core/constraints/definitions/guidelines.d.ts.map +1 -1
- package/dist/core/constraints/definitions/guidelines.js +21 -2
- package/dist/core/constraints/definitions/guidelines.js.map +1 -1
- package/dist/core/constraints/definitions/prompts.d.ts.map +1 -1
- package/dist/core/constraints/definitions/prompts.js +0 -5
- package/dist/core/constraints/definitions/prompts.js.map +1 -1
- package/dist/core/constraints/index.d.ts +1 -2
- package/dist/core/constraints/index.d.ts.map +1 -1
- package/dist/core/constraints/index.js +1 -7
- package/dist/core/constraints/index.js.map +1 -1
- package/dist/core/constraints/injection-drift.d.ts +29 -4
- package/dist/core/constraints/injection-drift.d.ts.map +1 -1
- package/dist/core/constraints/injection-drift.js +52 -20
- package/dist/core/constraints/injection-drift.js.map +1 -1
- package/dist/core/constraints/usage-report.d.ts +1 -2
- package/dist/core/constraints/usage-report.d.ts.map +1 -1
- package/dist/core/constraints/usage-report.js +2 -5
- package/dist/core/constraints/usage-report.js.map +1 -1
- package/dist/core/effective-constraints.d.ts +24 -4
- package/dist/core/effective-constraints.d.ts.map +1 -1
- package/dist/core/effective-constraints.js +28 -7
- package/dist/core/effective-constraints.js.map +1 -1
- package/dist/core/effective-set.d.ts +30 -0
- package/dist/core/effective-set.d.ts.map +1 -0
- package/dist/core/effective-set.js +35 -0
- package/dist/core/effective-set.js.map +1 -0
- package/dist/core/index.d.ts +13 -6
- package/dist/core/index.d.ts.map +1 -1
- package/dist/core/index.js +44 -21
- package/dist/core/index.js.map +1 -1
- package/dist/core/project-config-loader.d.ts +3 -6
- package/dist/core/project-config-loader.d.ts.map +1 -1
- package/dist/core/project-config-loader.js +47 -61
- package/dist/core/project-config-loader.js.map +1 -1
- package/dist/failure/constraint-handler.d.ts +1 -1
- package/dist/failure/constraint-handler.js +1 -1
- package/dist/gates/checker-gate.d.ts +1 -4
- package/dist/gates/checker-gate.d.ts.map +1 -1
- package/dist/gates/checker-gate.js +3 -11
- package/dist/gates/checker-gate.js.map +1 -1
- package/dist/gates/definitions.d.ts +9 -38
- package/dist/gates/definitions.d.ts.map +1 -1
- package/dist/gates/definitions.js +24 -13
- package/dist/gates/definitions.js.map +1 -1
- package/dist/gates/effective-gates.d.ts.map +1 -1
- package/dist/gates/effective-gates.js +14 -18
- package/dist/gates/effective-gates.js.map +1 -1
- package/dist/gates/index.d.ts +1 -1
- package/dist/gates/index.d.ts.map +1 -1
- package/dist/gates/index.js.map +1 -1
- package/dist/hooks/bootstrap.d.ts.map +1 -1
- package/dist/hooks/bootstrap.js +0 -3
- package/dist/hooks/bootstrap.js.map +1 -1
- package/dist/index.d.ts +43 -60
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +180 -143
- package/dist/index.js.map +1 -1
- package/dist/knowledge/query.d.ts +15 -0
- package/dist/knowledge/query.d.ts.map +1 -1
- package/dist/knowledge/query.js +23 -0
- package/dist/knowledge/query.js.map +1 -1
- package/dist/monitoring/analyzer-base.d.ts +0 -4
- package/dist/monitoring/analyzer-base.d.ts.map +1 -1
- package/dist/monitoring/analyzer-base.js +0 -21
- package/dist/monitoring/analyzer-base.js.map +1 -1
- package/dist/monitoring/index.d.ts +6 -12
- package/dist/monitoring/index.d.ts.map +1 -1
- package/dist/monitoring/index.js +13 -29
- package/dist/monitoring/index.js.map +1 -1
- package/dist/monitoring/trace-analyzer.d.ts.map +1 -1
- package/dist/monitoring/trace-analyzer.js +2 -68
- package/dist/monitoring/trace-analyzer.js.map +1 -1
- package/dist/monitoring/traces.d.ts +0 -4
- package/dist/monitoring/traces.d.ts.map +1 -1
- package/dist/monitoring/traces.js +0 -14
- package/dist/monitoring/traces.js.map +1 -1
- package/dist/presets/index.d.ts +2 -2
- package/dist/presets/index.d.ts.map +1 -1
- package/dist/presets/index.js +3 -4
- package/dist/presets/index.js.map +1 -1
- package/dist/presets/standard.d.ts +10 -22
- package/dist/presets/standard.d.ts.map +1 -1
- package/dist/presets/standard.js +15 -75
- package/dist/presets/standard.js.map +1 -1
- package/dist/types/constraint.d.ts +1 -29
- package/dist/types/constraint.d.ts.map +1 -1
- package/dist/types/constraint.js +1 -1
- package/dist/types/constraint.js.map +1 -1
- package/dist/types/index.d.ts +0 -3
- package/dist/types/index.d.ts.map +1 -1
- package/dist/types/index.js +0 -4
- package/dist/types/index.js.map +1 -1
- package/dist/types/project-config.d.ts +4 -8
- package/dist/types/project-config.d.ts.map +1 -1
- package/dist/types/trace.d.ts +5 -18
- package/dist/types/trace.d.ts.map +1 -1
- package/package.json +2 -2
- package/src/CONTEXT.md +4 -5
- package/src/__tests__/checker-extra.test.ts +33 -139
- package/src/__tests__/checker.test.ts +0 -376
- package/src/__tests__/governance-presence.test.ts +129 -0
- package/src/__tests__/iron-laws.test.ts +7 -7
- package/src/__tests__/project-config-loader-extra.test.ts +42 -29
- package/src/__tests__/public-exports.test.ts +138 -0
- package/src/__tests__/trace-analyzer-extra.test.ts +6 -86
- package/src/__tests__/trace-analyzer.test.ts +4 -5
- package/src/__tests__/trace-collector.test.ts +0 -11
- package/src/__tests__/traces.test.ts +3 -22
- package/src/cli/commands/CONTEXT.md +6 -3
- package/src/cli/commands/__tests__/check-skip-output.test.ts +10 -7
- package/src/cli/commands/__tests__/check.test.ts +29 -69
- package/src/cli/commands/__tests__/constraints-report.test.ts +3 -3
- package/src/cli/commands/__tests__/constraints-retire.test.ts +45 -4
- package/src/cli/commands/__tests__/init-injection.test.ts +202 -0
- package/src/cli/commands/__tests__/knowledge.test.ts +90 -1
- package/src/cli/commands/__tests__/registry.test.ts +8 -6
- package/src/cli/commands/__tests__/status-extra.test.ts +6 -6
- package/src/cli/commands/__tests__/status.test.ts +6 -6
- package/src/cli/commands/__tests__/sync-docs-agents.test.ts +28 -0
- package/src/cli/commands/check.ts +9 -35
- package/src/cli/commands/constraints-report.ts +1 -1
- package/src/cli/commands/constraints-retire.ts +38 -27
- package/src/cli/commands/definitions.ts +2 -0
- package/src/cli/commands/init.ts +129 -40
- package/src/cli/commands/knowledge.ts +1 -16
- package/src/cli/commands/report.ts +0 -2
- package/src/cli/commands/status.ts +2 -2
- package/src/context/index.ts +29 -6
- package/src/core/CONTEXT.md +4 -3
- package/src/core/__tests__/effective-set.test.ts +80 -0
- package/src/core/constraints/__tests__/injection-drift.test.ts +90 -0
- package/src/core/constraints/capabilities-parser.ts +43 -49
- package/src/core/constraints/checker.ts +51 -145
- package/src/core/constraints/checkers/governance-presence.ts +74 -0
- package/src/core/constraints/checkers/index.ts +4 -1
- package/src/core/constraints/checkers/types.ts +42 -0
- package/src/core/constraints/definitions/guidelines.ts +22 -2
- package/src/core/constraints/definitions/prompts.ts +0 -5
- package/src/core/constraints/index.ts +2 -17
- package/src/core/constraints/injection-drift.ts +60 -21
- package/src/core/constraints/usage-report.ts +5 -8
- package/src/core/effective-constraints.ts +35 -7
- package/src/core/effective-set.ts +56 -0
- package/src/core/index.ts +80 -6
- package/src/core/project-config-loader.ts +53 -68
- package/src/failure/CONTEXT.md +1 -1
- package/src/failure/constraint-handler.ts +1 -1
- package/src/gates/CONTEXT.md +3 -3
- package/src/gates/checker-gate.ts +4 -12
- package/src/gates/definitions.ts +27 -50
- package/src/gates/effective-gates.ts +14 -21
- package/src/gates/index.ts +1 -1
- package/src/hooks/bootstrap.ts +0 -3
- package/src/index.ts +384 -148
- package/src/knowledge/CONTEXT.md +2 -2
- package/src/knowledge/__tests__/query.test.ts +64 -0
- package/src/knowledge/query.ts +28 -0
- package/src/monitoring/CONTEXT.md +7 -13
- package/src/monitoring/__tests__/traces.test.ts +0 -10
- package/src/monitoring/analyzer-base.ts +0 -22
- package/src/monitoring/index.ts +6 -12
- package/src/monitoring/trace-analyzer.ts +2 -73
- package/src/monitoring/traces.ts +0 -20
- package/src/presets/__tests__/standard.test.ts +48 -69
- package/src/presets/index.ts +3 -5
- package/src/presets/standard.ts +14 -79
- package/src/spec/CONTEXT.md +5 -13
- package/src/types/constraint.ts +1 -51
- package/src/types/index.ts +0 -12
- package/src/types/project-config.ts +4 -10
- package/src/types/trace.ts +5 -30
- package/dist/core/constraints/interceptor.d.ts +0 -39
- package/dist/core/constraints/interceptor.d.ts.map +0 -1
- package/dist/core/constraints/interceptor.js +0 -166
- package/dist/core/constraints/interceptor.js.map +0 -1
- package/dist/dashboard/data.d.ts +0 -31
- package/dist/dashboard/data.d.ts.map +0 -1
- package/dist/dashboard/data.js +0 -81
- package/dist/dashboard/data.js.map +0 -1
- package/dist/dashboard/index.d.ts +0 -4
- package/dist/dashboard/index.d.ts.map +0 -1
- package/dist/dashboard/index.js +0 -20
- package/dist/dashboard/index.js.map +0 -1
- package/dist/dashboard/stats.d.ts +0 -20
- package/dist/dashboard/stats.d.ts.map +0 -1
- package/dist/dashboard/stats.js +0 -115
- package/dist/dashboard/stats.js.map +0 -1
- package/dist/dashboard/types.d.ts +0 -110
- package/dist/dashboard/types.d.ts.map +0 -1
- package/dist/dashboard/types.js +0 -8
- package/dist/dashboard/types.js.map +0 -1
- package/dist/monitoring/constraint-doctor.d.ts +0 -76
- package/dist/monitoring/constraint-doctor.d.ts.map +0 -1
- package/dist/monitoring/constraint-doctor.js +0 -189
- package/dist/monitoring/constraint-doctor.js.map +0 -1
- package/dist/monitoring/diagnosis-rules.d.ts +0 -18
- package/dist/monitoring/diagnosis-rules.d.ts.map +0 -1
- package/dist/monitoring/diagnosis-rules.js +0 -119
- package/dist/monitoring/diagnosis-rules.js.map +0 -1
- package/dist/monitoring/knowledge-doctor.d.ts +0 -78
- package/dist/monitoring/knowledge-doctor.d.ts.map +0 -1
- package/dist/monitoring/knowledge-doctor.js +0 -266
- package/dist/monitoring/knowledge-doctor.js.map +0 -1
- package/dist/monitoring/knowledge-evolver.d.ts +0 -72
- package/dist/monitoring/knowledge-evolver.d.ts.map +0 -1
- package/dist/monitoring/knowledge-evolver.js +0 -205
- package/dist/monitoring/knowledge-evolver.js.map +0 -1
- package/dist/monitoring/performance-analyzer.d.ts +0 -92
- package/dist/monitoring/performance-analyzer.d.ts.map +0 -1
- package/dist/monitoring/performance-analyzer.js +0 -343
- package/dist/monitoring/performance-analyzer.js.map +0 -1
- package/dist/monitoring/performance-collector.d.ts +0 -103
- package/dist/monitoring/performance-collector.d.ts.map +0 -1
- package/dist/monitoring/performance-collector.js +0 -298
- package/dist/monitoring/performance-collector.js.map +0 -1
- package/dist/safety/index.d.ts +0 -6
- package/dist/safety/index.d.ts.map +0 -1
- package/dist/safety/index.js +0 -22
- package/dist/safety/index.js.map +0 -1
- package/dist/safety/input-guardrail.d.ts +0 -36
- package/dist/safety/input-guardrail.d.ts.map +0 -1
- package/dist/safety/input-guardrail.js +0 -118
- package/dist/safety/input-guardrail.js.map +0 -1
- package/dist/safety/output-guardrail.d.ts +0 -39
- package/dist/safety/output-guardrail.d.ts.map +0 -1
- package/dist/safety/output-guardrail.js +0 -147
- package/dist/safety/output-guardrail.js.map +0 -1
- package/dist/safety/sandbox.d.ts +0 -45
- package/dist/safety/sandbox.d.ts.map +0 -1
- package/dist/safety/sandbox.js +0 -134
- package/dist/safety/sandbox.js.map +0 -1
- package/dist/safety/tool-guardrail.d.ts +0 -51
- package/dist/safety/tool-guardrail.d.ts.map +0 -1
- package/dist/safety/tool-guardrail.js +0 -147
- package/dist/safety/tool-guardrail.js.map +0 -1
- package/dist/safety/types.d.ts +0 -104
- package/dist/safety/types.d.ts.map +0 -1
- package/dist/safety/types.js +0 -6
- package/dist/safety/types.js.map +0 -1
- package/dist/spec/annotation-checker.d.ts +0 -47
- package/dist/spec/annotation-checker.d.ts.map +0 -1
- package/dist/spec/annotation-checker.js +0 -279
- package/dist/spec/annotation-checker.js.map +0 -1
- package/dist/types/enforcement.d.ts +0 -42
- package/dist/types/enforcement.d.ts.map +0 -1
- package/dist/types/enforcement.js +0 -6
- package/dist/types/enforcement.js.map +0 -1
- package/dist/types/monitoring-types.d.ts +0 -53
- package/dist/types/monitoring-types.d.ts.map +0 -1
- package/dist/types/monitoring-types.js +0 -10
- package/dist/types/monitoring-types.js.map +0 -1
- package/dist/types/performance.d.ts +0 -204
- package/dist/types/performance.d.ts.map +0 -1
- package/dist/types/performance.js +0 -12
- package/dist/types/performance.js.map +0 -1
- package/dist/verification/index.d.ts +0 -4
- package/dist/verification/index.d.ts.map +0 -1
- package/dist/verification/index.js +0 -20
- package/dist/verification/index.js.map +0 -1
- package/dist/verification/loop.d.ts +0 -30
- package/dist/verification/loop.d.ts.map +0 -1
- package/dist/verification/loop.js +0 -114
- package/dist/verification/loop.js.map +0 -1
- package/dist/verification/rules-based.d.ts +0 -40
- package/dist/verification/rules-based.d.ts.map +0 -1
- package/dist/verification/rules-based.js +0 -130
- package/dist/verification/rules-based.js.map +0 -1
- package/dist/verification/types.d.ts +0 -69
- package/dist/verification/types.d.ts.map +0 -1
- package/dist/verification/types.js +0 -6
- package/dist/verification/types.js.map +0 -1
- package/src/__tests__/annotation-checker.test.ts +0 -183
- package/src/__tests__/constraint-doctor.test.ts +0 -271
- package/src/__tests__/doctor-extra.test.ts +0 -155
- package/src/__tests__/extend-exceptions.test.ts +0 -149
- package/src/__tests__/interceptor.test.ts +0 -89
- package/src/__tests__/performance-analyzer.test.ts +0 -499
- package/src/__tests__/performance-collector.test.ts +0 -276
- package/src/__tests__/presets.test.ts +0 -65
- package/src/core/constraints/__tests__/interceptor.test.ts +0 -267
- package/src/core/constraints/interceptor.ts +0 -217
- package/src/dashboard/CONTEXT.md +0 -21
- package/src/dashboard/__tests__/data.test.ts +0 -111
- package/src/dashboard/__tests__/stats.test.ts +0 -159
- package/src/dashboard/data.ts +0 -103
- package/src/dashboard/index.ts +0 -3
- package/src/dashboard/stats.ts +0 -127
- package/src/dashboard/types.ts +0 -130
- package/src/monitoring/__tests__/knowledge-doctor.test.ts +0 -278
- package/src/monitoring/__tests__/knowledge-evolver.test.ts +0 -368
- package/src/monitoring/__tests__/performance-analyzer.test.ts +0 -137
- package/src/monitoring/__tests__/performance-collector.test.ts +0 -331
- package/src/monitoring/constraint-doctor.ts +0 -228
- package/src/monitoring/diagnosis-rules.ts +0 -132
- package/src/monitoring/knowledge-doctor.ts +0 -322
- package/src/monitoring/knowledge-evolver.ts +0 -289
- package/src/monitoring/performance-analyzer.ts +0 -400
- package/src/monitoring/performance-collector.ts +0 -326
- package/src/safety/CONTEXT.md +0 -23
- package/src/safety/__tests__/input-guardrail.test.ts +0 -105
- package/src/safety/__tests__/output-guardrail.test.ts +0 -108
- package/src/safety/__tests__/sandbox.test.ts +0 -158
- package/src/safety/__tests__/tool-guardrail.test.ts +0 -127
- package/src/safety/index.ts +0 -5
- package/src/safety/input-guardrail.ts +0 -133
- package/src/safety/output-guardrail.ts +0 -170
- package/src/safety/sandbox.ts +0 -148
- package/src/safety/tool-guardrail.ts +0 -176
- package/src/safety/types.ts +0 -124
- package/src/spec/__tests__/annotation-checker.test.ts +0 -294
- package/src/spec/annotation-checker.ts +0 -320
- package/src/types/enforcement.ts +0 -48
- package/src/types/monitoring-types.ts +0 -68
- package/src/types/performance.ts +0 -295
- package/src/verification/CONTEXT.md +0 -23
- package/src/verification/__tests__/loop.test.ts +0 -303
- package/src/verification/__tests__/rules-based.test.ts +0 -240
- package/src/verification/index.ts +0 -3
- package/src/verification/loop.ts +0 -137
- package/src/verification/rules-based.ts +0 -152
- package/src/verification/types.ts +0 -81
|
@@ -75,7 +75,6 @@ exports.PROMPTS = {
|
|
|
75
75
|
- 用 fallback/兜底值掩盖上游数据异常而不追根因
|
|
76
76
|
- Read 定位后直接 Edit,不对照设计原型确认意图
|
|
77
77
|
- 从"数字异常"直接跳到根因结论,不验证假设的含义与量纲`,
|
|
78
|
-
exceptions: ['simple_typo', 'config_value_error', 'missing_config'],
|
|
79
78
|
promptInjection: '修复问题前必须先诊断根因——不止"哪里出错",而是"为什么设计成这样":用 Read/Grep 定位后禁止直接 Edit,先对照设计原型(CLAUDE.md、类型定义、commit message)确认原设计意图,呈现确认的根因+方案草案后才能动手。遇到空值/异常/不完整数据,禁止用 fallback/兜底/try-catch 掩盖——先追上游:数据谁产生的?为什么是空的?选择防御性兜底时必须在注释中说明根因;同一位置连续兜底 2+ 次是上游 bug 信号,停止修下游、追踪源头。从数据到结论必须先验证关键假设:数字的含义(累积/单次?量纲?)、正常范围、同类场景对比与反例,禁止"数字异常→直接定根因→直接改"的跳级推理。不绕过问题、不遮掩症状、不用临时方案代替根本修复。',
|
|
80
79
|
},
|
|
81
80
|
/**
|
|
@@ -105,7 +104,6 @@ exports.PROMPTS = {
|
|
|
105
104
|
- reliability_required: 需要持久化/高可用
|
|
106
105
|
|
|
107
106
|
YAGNI:不为"未来可能需要"添加抽象层、接口、配置项或插件系统;一个抽象只有一个实现者时删除该抽象。`,
|
|
108
|
-
exceptions: ['scalability_required', 'security_required', 'performance_required', 'reliability_required'],
|
|
109
107
|
promptInjection: '最简方案优先:用最少代码解决当前问题,不添加"以防万一"的冗余功能,不为仅用一次的代码强行设计抽象。创建新模块/文件/能力前,先查现有能力索引确认无可复用——优先级:直接复用 > 扩展现有 > 组合现有 > 新建。遵循 YAGNI:不为"未来可能需要"添加抽象层、接口、配置项或插件系统;一个 interface/abstract class 只有一个实现者时,删除这个抽象。自检:资深工程师是否会认为此实现过度复杂?若是,立即简化。',
|
|
110
108
|
injectPrompt: true,
|
|
111
109
|
},
|
|
@@ -134,7 +132,6 @@ YAGNI:不为"未来可能需要"添加抽象层、接口、配置项或插件
|
|
|
134
132
|
- 类型定义文件(.d.ts、interface)
|
|
135
133
|
- 简单 getter/setter
|
|
136
134
|
- 纯展示 UI 组件(无交互逻辑)`,
|
|
137
|
-
exceptions: ['config_file', 'type_definition', 'simple_accessor', 'pure_display_component'],
|
|
138
135
|
promptInjection: '新代码必须同时编写测试。实现功能前先写测试用例(RED),然后实现让测试通过(GREEN)。不得提交无测试覆盖的实现代码。',
|
|
139
136
|
},
|
|
140
137
|
/**
|
|
@@ -160,7 +157,6 @@ YAGNI:不为"未来可能需要"添加抽象层、接口、配置项或插件
|
|
|
160
157
|
- 发现冗余代码后的重构优化
|
|
161
158
|
- 用更简洁的实现达到相同效果
|
|
162
159
|
- 删除不再使用的遗留代码`,
|
|
163
|
-
exceptions: ['redundant_code_cleanup', 'same_effect_refactor', 'unused_code_removal'],
|
|
164
160
|
promptInjection: '不得擅自简化或删除测试、lint 规则、类型检查或约束。如需降低检查标准,必须先提案并获明确批准。',
|
|
165
161
|
},
|
|
166
162
|
/**
|
|
@@ -264,7 +260,6 @@ YAGNI:不为"未来可能需要"添加抽象层、接口、配置项或插件
|
|
|
264
260
|
- 用户明确说"直接做"、"不用问"
|
|
265
261
|
- 紧急修复
|
|
266
262
|
- 已有明确设计文档`,
|
|
267
|
-
exceptions: ['explicit_instruction', 'emergency_fix', 'existing_design'],
|
|
268
263
|
promptInjection: '涉及架构变更、新增依赖、API 设计等重大决策时,必须先提出讨论获得确认,再开始实现。不要凭单方面判断做架构决策。',
|
|
269
264
|
},
|
|
270
265
|
/**
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"prompts.js","sourceRoot":"","sources":["../../../../src/core/constraints/definitions/prompts.ts"],"names":[],"mappings":";AAAA;;;;;;;;GAQG;;;AAIU,QAAA,OAAO,GAA+B;IACjD;;;OAGG;IACH,yBAAyB,EAAE;QACzB,EAAE,EAAE,2BAA2B;QAC/B,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,0DAA0D;QAChE,OAAO,EAAE,oBAAoB;QAC7B,KAAK,EAAE,QAAQ;QACf,OAAO,EAAE,CAAC,qBAAqB,EAAE,gBAAgB,EAAE,uBAAuB,EAAE,eAAe,EAAE,qBAAqB,CAAC;QACnH,WAAW,EAAE,aAAa;QAC1B,WAAW,EAAE;;;;;;;;;;;;;;;;;;sCAkBqB;QAClC,eAAe,EAAE,kSAAkS;KACpT;IAED;;;OAGG;IACH,yBAAyB,EAAE;QACzB,EAAE,EAAE,2BAA2B;QAC/B,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,iDAAiD;QACvD,OAAO,EAAE,kBAAkB;QAC3B,KAAK,EAAE,QAAQ;QACf,OAAO,EAAE,CAAC,qBAAqB,EAAE,qBAAqB,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,WAAW,CAAC;QAC3G,WAAW,EAAE,kBAAkB;QAC/B,WAAW,EAAE;;;;;;;;;;;;;;;;;;8BAkBa;QAC1B,
|
|
1
|
+
{"version":3,"file":"prompts.js","sourceRoot":"","sources":["../../../../src/core/constraints/definitions/prompts.ts"],"names":[],"mappings":";AAAA;;;;;;;;GAQG;;;AAIU,QAAA,OAAO,GAA+B;IACjD;;;OAGG;IACH,yBAAyB,EAAE;QACzB,EAAE,EAAE,2BAA2B;QAC/B,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,0DAA0D;QAChE,OAAO,EAAE,oBAAoB;QAC7B,KAAK,EAAE,QAAQ;QACf,OAAO,EAAE,CAAC,qBAAqB,EAAE,gBAAgB,EAAE,uBAAuB,EAAE,eAAe,EAAE,qBAAqB,CAAC;QACnH,WAAW,EAAE,aAAa;QAC1B,WAAW,EAAE;;;;;;;;;;;;;;;;;;sCAkBqB;QAClC,eAAe,EAAE,kSAAkS;KACpT;IAED;;;OAGG;IACH,yBAAyB,EAAE;QACzB,EAAE,EAAE,2BAA2B;QAC/B,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,iDAAiD;QACvD,OAAO,EAAE,kBAAkB;QAC3B,KAAK,EAAE,QAAQ;QACf,OAAO,EAAE,CAAC,qBAAqB,EAAE,qBAAqB,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,WAAW,CAAC;QAC3G,WAAW,EAAE,kBAAkB;QAC/B,WAAW,EAAE;;;;;;;;;;;;;;;;;;8BAkBa;QAC1B,eAAe,EAAE,qVAAqV;KACvW;IAED;;;OAGG;IACH,uBAAuB,EAAE;QACvB,EAAE,EAAE,yBAAyB;QAC7B,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,kDAAkD;QACxD,OAAO,EAAE,YAAY;QACrB,KAAK,EAAE,QAAQ;QACf,OAAO,EAAE,CAAC,qBAAqB,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,gBAAgB,CAAC;QACzF,WAAW,EAAE,mBAAmB;QAChC,WAAW,EAAE;;;;;;;;;;;;;;qDAcoC;QACjD,eAAe,EAAE,2NAA2N;QAC5O,YAAY,EAAE,IAAI;KACnB;IAED;;;OAGG;IACH,oBAAoB,EAAE;QACpB,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,6CAA6C;QACnD,OAAO,EAAE,cAAc;QACvB,KAAK,EAAE,QAAQ;QACf,OAAO,EAAE,qBAAqB;QAC9B,WAAW,EAAE,WAAW;QACxB,WAAW,EAAE;;;;;;;;;;;;mBAYE;QACf,eAAe,EAAE,+DAA+D;KACjF;IAED;;;OAGG;IACH,kCAAkC,EAAE;QAClC,EAAE,EAAE,oCAAoC;QACxC,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,4CAA4C;QAClD,OAAO,EAAE,cAAc;QACvB,KAAK,EAAE,QAAQ;QACf,OAAO,EAAE,qBAAqB;QAC9B,WAAW,EAAE,qBAAqB;QAClC,WAAW,EAAE;;;;;;;;;;cAUH;QACV,eAAe,EAAE,mDAAmD;KACrE;IAED;;;OAGG;IACH,4BAA4B,EAAE;QAC5B,EAAE,EAAE,8BAA8B;QAClC,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,8DAA8D;QACpE,OAAO,EAAE,mBAAmB;QAC5B,KAAK,EAAE,QAAQ;QACf,OAAO,EAAE,CAAC,qBAAqB,EAAE,qBAAqB,EAAE,mBAAmB,CAAC;QAC5E,WAAW,EAAE,iBAAiB;QAC9B,WAAW,EAAE,2FAA2F;QACxG,eAAe,EAAE,kDAAkD;QACnE,YAAY,EAAE,IAAI;KACnB;IAED;;;OAGG;IACH,0BAA0B,EAAE;QAC1B,EAAE,EAAE,4BAA4B;QAChC,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,kDAAkD;QACxD,OAAO,EAAE,aAAa;QACtB,KAAK,EAAE,QAAQ;QACf,OAAO,EAAE,YAAY;QACrB,WAAW,EAAE,yBAAyB;QACtC,WAAW,EAAE;;;;;;;;;;;;;;;;;;mCAkBkB;QAC/B,eAAe,EAAE,qFAAqF;KACvG;IAED;;;OAGG;IACH,yBAAyB,EAAE;QACzB,EAAE,EAAE,2BAA2B;QAC/B,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,4CAA4C;QAClD,OAAO,EAAE,qBAAqB;QAC9B,KAAK,EAAE,QAAQ;QACf,OAAO,EAAE,CAAC,eAAe,EAAE,iBAAiB,CAAC;QAC7C,WAAW,EAAE,eAAe;QAC5B,WAAW,EAAE;;;;;sBAKK;QAClB,eAAe,EAAE,0FAA0F;KAC5G;IAED;;;OAGG;IACH,mCAAmC,EAAE;QACnC,EAAE,EAAE,qCAAqC;QACzC,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,0DAA0D;QAChE,OAAO,EAAE,kBAAkB;QAC3B,KAAK,EAAE,QAAQ;QACf,OAAO,EAAE,CAAC,gBAAgB,EAAE,qBAAqB,EAAE,qBAAqB,CAAC;QACzE,WAAW,EAAE,oBAAoB;QACjC,WAAW,EAAE;;;;;;;;;;;;;;;;;;;WAmBN;QACP,eAAe,EAAE,2DAA2D;KAC7E;IAED;;;OAGG;IACH,qBAAqB,EAAE;QACrB,EAAE,EAAE,uBAAuB;QAC3B,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,0CAA0C;QAChD,OAAO,EAAE,oBAAoB;QAC7B,KAAK,EAAE,QAAQ;QACf,OAAO,EAAE,CAAC,qBAAqB,EAAE,mBAAmB,CAAC;QACrD,WAAW,EAAE,gBAAgB;QAC7B,WAAW,EAAE,uDAAuD;QACpE,eAAe,EAAE,kDAAkD;QACnE,YAAY,EAAE,IAAI;KACnB;IAED;;;OAGG;IACH,kBAAkB,EAAE;QAClB,EAAE,EAAE,oBAAoB;QACxB,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,kDAAkD;QACxD,OAAO,EAAE,2BAA2B;QACpC,KAAK,EAAE,QAAQ;QACf,OAAO,EAAE,CAAC,qBAAqB,EAAE,kBAAkB,CAAC;QACpD,WAAW,EAAE,kBAAkB;QAC/B,WAAW,EAAE,oIAAoI;QACjJ,eAAe,EAAE,mEAAmE;QACpF,YAAY,EAAE,IAAI;KACnB;IAED;;;OAGG;IACH,sBAAsB,EAAE;QACtB,EAAE,EAAE,wBAAwB;QAC5B,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,uDAAuD;QAC7D,OAAO,EAAE,kCAAkC;QAC3C,KAAK,EAAE,QAAQ;QACf,OAAO,EAAE,CAAC,qBAAqB,EAAE,qBAAqB,EAAE,mBAAmB,CAAC;QAC5E,WAAW,EAAE,iBAAiB;QAC9B,WAAW,EAAE,yEAAyE;QACtF,eAAe,EAAE,oEAAoE;QACrF,YAAY,EAAE,IAAI;KACnB;IAED;;;OAGG;IACH,oBAAoB,EAAE;QACpB,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,sCAAsC;QAC5C,OAAO,EAAE,qBAAqB;QAC9B,KAAK,EAAE,QAAQ;QACf,OAAO,EAAE,CAAC,qBAAqB,EAAE,kBAAkB,CAAC;QACpD,WAAW,EAAE,gBAAgB;QAC7B,WAAW,EAAE,iFAAiF;QAC9F,eAAe,EAAE,gDAAgD;QACjE,YAAY,EAAE,IAAI;KACnB;IAED;;;;OAIG;IACH,yBAAyB,EAAE;QACzB,EAAE,EAAE,2BAA2B;QAC/B,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,4CAA4C;QAClD,OAAO,EAAE,kBAAkB;QAC3B,KAAK,EAAE,QAAQ;QACf,OAAO,EAAE,CAAC,gBAAgB,CAAC;QAC3B,WAAW,EAAE,oBAAoB;QACjC,WAAW,EAAE;;;;;;;;;;;cAWH;QACV,eAAe,EAAE,uFAAuF;KACzG;IAED;;;OAGG;IACH,qBAAqB,EAAE;QACrB,EAAE,EAAE,uBAAuB;QAC3B,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,uCAAuC;QAC7C,OAAO,EAAE,gBAAgB;QACzB,KAAK,EAAE,QAAQ;QACf,OAAO,EAAE,iBAAiB;QAC1B,WAAW,EAAE,qBAAqB;QAClC,SAAS,EAAE,CAAC,aAAa,CAAC;QAC1B,WAAW,EAAE;;;;;;;;;;OAUV;QACH,eAAe,EAAE,8CAA8C;KAChE;IAED;;;OAGG;IACH,0BAA0B,EAAE;QAC1B,EAAE,EAAE,4BAA4B;QAChC,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,4DAA4D;QAClE,OAAO,EAAE,2BAA2B;QACpC,KAAK,EAAE,QAAQ;QACf,OAAO,EAAE,CAAC,qBAAqB,CAAC;QAChC,WAAW,EAAE,qBAAqB;QAClC,SAAS,EAAE,CAAC,SAAS,CAAC;QACtB,WAAW,EAAE,qFAAqF;QAClG,eAAe,EAAE,sDAAsD;QACvE,YAAY,EAAE,IAAI;KACnB;CACF,CAAC"}
|
|
@@ -3,6 +3,7 @@
|
|
|
3
3
|
*/
|
|
4
4
|
export { IRON_LAWS, GUIDELINES, PROMPTS, getAllConstraints, findConstraintsByTrigger, getConstraint, } from './definitions';
|
|
5
5
|
export { ConstraintChecker, checkConstraint, checkConstraints, checkBeforeExecution, constraintChecker, } from './checker';
|
|
6
|
+
export type { CheckConstraintsOptions, TraceRecorder } from './checker';
|
|
6
7
|
export { CONSTRAINTS_START_MARKER, CONSTRAINTS_END_MARKER, renderConstraintsSection, } from './injection-renderer';
|
|
7
8
|
export { CheckCache } from './check-cache';
|
|
8
9
|
export type { CheckCacheConfig, CheckSamplingConfig } from './check-cache';
|
|
@@ -10,6 +11,4 @@ export { renderConstraintsByTrigger, } from './agent-prompt-renderer';
|
|
|
10
11
|
export type { RenderConstraintsByTriggerOptions } from './agent-prompt-renderer';
|
|
11
12
|
export type { ConstraintId, ConstraintKind, ConstraintLevel, ConstraintTrigger, Constraint, ConstraintResult, ConstraintContext, ConstraintCheckResult, IronLawContext, } from '../../types/constraint';
|
|
12
13
|
export { ConstraintViolationError } from '../../types/constraint';
|
|
13
|
-
export { ConstraintInterceptor, constraintInterceptor, interceptOperation, claimOperation, } from './interceptor';
|
|
14
|
-
export type { EnforcementId, EnforcementExecutor, EnforcementContext, EnforcementResult, InterceptionResult, } from '../../types/enforcement';
|
|
15
14
|
//# sourceMappingURL=index.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/core/constraints/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,EACL,SAAS,EACT,UAAU,EACV,OAAO,EACP,iBAAiB,EACjB,wBAAwB,EACxB,aAAa,GACd,MAAM,eAAe,CAAC;AAGvB,OAAO,EACL,iBAAiB,EACjB,eAAe,EACf,gBAAgB,EAChB,oBAAoB,EACpB,iBAAiB,GAClB,MAAM,WAAW,CAAC;
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/core/constraints/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,EACL,SAAS,EACT,UAAU,EACV,OAAO,EACP,iBAAiB,EACjB,wBAAwB,EACxB,aAAa,GACd,MAAM,eAAe,CAAC;AAGvB,OAAO,EACL,iBAAiB,EACjB,eAAe,EACf,gBAAgB,EAChB,oBAAoB,EACpB,iBAAiB,GAClB,MAAM,WAAW,CAAC;AACnB,YAAY,EAAE,uBAAuB,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAGxE,OAAO,EACL,wBAAwB,EACxB,sBAAsB,EACtB,wBAAwB,GACzB,MAAM,sBAAsB,CAAC;AAG9B,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAC3C,YAAY,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AAG3E,OAAO,EACL,0BAA0B,GAC3B,MAAM,yBAAyB,CAAC;AACjC,YAAY,EAAE,iCAAiC,EAAE,MAAM,yBAAyB,CAAC;AAGjF,YAAY,EACV,YAAY,EACZ,cAAc,EACd,eAAe,EACf,iBAAiB,EACjB,UAAU,EACV,gBAAgB,EAChB,iBAAiB,EACjB,qBAAqB,EACrB,cAAc,GACf,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC"}
|
|
@@ -3,7 +3,7 @@
|
|
|
3
3
|
* 约束模块入口
|
|
4
4
|
*/
|
|
5
5
|
Object.defineProperty(exports, "__esModule", { value: true });
|
|
6
|
-
exports.
|
|
6
|
+
exports.ConstraintViolationError = exports.renderConstraintsByTrigger = exports.CheckCache = exports.renderConstraintsSection = exports.CONSTRAINTS_END_MARKER = exports.CONSTRAINTS_START_MARKER = exports.constraintChecker = exports.checkBeforeExecution = exports.checkConstraints = exports.checkConstraint = exports.ConstraintChecker = exports.getConstraint = exports.findConstraintsByTrigger = exports.getAllConstraints = exports.PROMPTS = exports.GUIDELINES = exports.IRON_LAWS = void 0;
|
|
7
7
|
// 约束定义(kind 二元:check 层 + prompt 层)
|
|
8
8
|
var definitions_1 = require("./definitions");
|
|
9
9
|
Object.defineProperty(exports, "IRON_LAWS", { enumerable: true, get: function () { return definitions_1.IRON_LAWS; } });
|
|
@@ -32,10 +32,4 @@ var agent_prompt_renderer_1 = require("./agent-prompt-renderer");
|
|
|
32
32
|
Object.defineProperty(exports, "renderConstraintsByTrigger", { enumerable: true, get: function () { return agent_prompt_renderer_1.renderConstraintsByTrigger; } });
|
|
33
33
|
var constraint_1 = require("../../types/constraint");
|
|
34
34
|
Object.defineProperty(exports, "ConstraintViolationError", { enumerable: true, get: function () { return constraint_1.ConstraintViolationError; } });
|
|
35
|
-
// 约束拦截器
|
|
36
|
-
var interceptor_1 = require("./interceptor");
|
|
37
|
-
Object.defineProperty(exports, "ConstraintInterceptor", { enumerable: true, get: function () { return interceptor_1.ConstraintInterceptor; } });
|
|
38
|
-
Object.defineProperty(exports, "constraintInterceptor", { enumerable: true, get: function () { return interceptor_1.constraintInterceptor; } });
|
|
39
|
-
Object.defineProperty(exports, "interceptOperation", { enumerable: true, get: function () { return interceptor_1.interceptOperation; } });
|
|
40
|
-
Object.defineProperty(exports, "claimOperation", { enumerable: true, get: function () { return interceptor_1.claimOperation; } });
|
|
41
35
|
//# sourceMappingURL=index.js.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/core/constraints/index.ts"],"names":[],"mappings":";AAAA;;GAEG;;;AAEH,mCAAmC;AACnC,6CAOuB;AANrB,wGAAA,SAAS,OAAA;AACT,yGAAA,UAAU,OAAA;AACV,sGAAA,OAAO,OAAA;AACP,gHAAA,iBAAiB,OAAA;AACjB,uHAAA,wBAAwB,OAAA;AACxB,4GAAA,aAAa,OAAA;AAGf,QAAQ;AACR,qCAMmB;AALjB,4GAAA,iBAAiB,OAAA;AACjB,0GAAA,eAAe,OAAA;AACf,2GAAA,gBAAgB,OAAA;AAChB,+GAAA,oBAAoB,OAAA;AACpB,4GAAA,iBAAiB,OAAA;
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/core/constraints/index.ts"],"names":[],"mappings":";AAAA;;GAEG;;;AAEH,mCAAmC;AACnC,6CAOuB;AANrB,wGAAA,SAAS,OAAA;AACT,yGAAA,UAAU,OAAA;AACV,sGAAA,OAAO,OAAA;AACP,gHAAA,iBAAiB,OAAA;AACjB,uHAAA,wBAAwB,OAAA;AACxB,4GAAA,aAAa,OAAA;AAGf,QAAQ;AACR,qCAMmB;AALjB,4GAAA,iBAAiB,OAAA;AACjB,0GAAA,eAAe,OAAA;AACf,2GAAA,gBAAgB,OAAA;AAChB,+GAAA,oBAAoB,OAAA;AACpB,4GAAA,iBAAiB,OAAA;AAInB,wCAAwC;AACxC,2DAI8B;AAH5B,8HAAA,wBAAwB,OAAA;AACxB,4HAAA,sBAAsB,OAAA;AACtB,8HAAA,wBAAwB,OAAA;AAG1B,mCAAmC;AACnC,6CAA2C;AAAlC,yGAAA,UAAU,OAAA;AAGnB,4DAA4D;AAC5D,iEAEiC;AAD/B,mIAAA,0BAA0B,OAAA;AAiB5B,qDAAkE;AAAzD,sHAAA,wBAAwB,OAAA"}
|
|
@@ -1,5 +1,5 @@
|
|
|
1
1
|
/**
|
|
2
|
-
*
|
|
2
|
+
* 治理约束注入段漂移校验(ADR-0001 决策 7)
|
|
3
3
|
*
|
|
4
4
|
* 检测三类漂移:
|
|
5
5
|
* 1. 版本漂移:标记段内 `<!-- version: x -->` ≠ 当前 harness 包版本
|
|
@@ -9,15 +9,24 @@
|
|
|
9
9
|
* 3. 重复章节:标记段之外还存在另一个 `## Governance Rules` 标题
|
|
10
10
|
* (init 旧版本在无标记时追加第二个同名章节的历史问题)
|
|
11
11
|
*
|
|
12
|
+
* 落点路由(studio #307,ADR 2026-08-21 落点模型):注入段可能在
|
|
13
|
+
* CLAUDE.md(旧模型仓)或 AGENTS.md `PRESERVE:governance` 段内(新模型仓),
|
|
14
|
+
* 与 init 的 setupGovernanceConstraints 路由一致——CLAUDE.md 有标记优先。
|
|
15
|
+
*
|
|
12
16
|
* 纯检测、只读:不改任何文件。check 仅警告不阻断,详细差异进 report。
|
|
13
|
-
*
|
|
17
|
+
* 两处均无标记段 = 未注入,不算漂移(report 一句话提示,check 不警告)。
|
|
14
18
|
*/
|
|
19
|
+
/** 注入段落点文件名(检测顺序即路由优先级:旧模型仓 CLAUDE.md 豁免优先) */
|
|
20
|
+
declare const INJECTION_FILES: readonly ["CLAUDE.md", "AGENTS.md"];
|
|
21
|
+
export type InjectionFile = (typeof INJECTION_FILES)[number];
|
|
15
22
|
/** 注入漂移检测结果 */
|
|
16
23
|
export interface InjectionDrift {
|
|
17
24
|
/** 是否存在任一漂移(版本/内容/重复章节) */
|
|
18
25
|
hasDrift: boolean;
|
|
19
|
-
/** CLAUDE.md
|
|
26
|
+
/** CLAUDE.md / AGENTS.md 均无约束标记段(未注入,不算漂移) */
|
|
20
27
|
notInjected: boolean;
|
|
28
|
+
/** 注入段落点文件(未注入时 undefined) */
|
|
29
|
+
injectionFile?: InjectionFile;
|
|
21
30
|
/** 版本漂移:注入段版本 ≠ 当前 harness 版本 */
|
|
22
31
|
versionDrift?: {
|
|
23
32
|
expected: string;
|
|
@@ -39,10 +48,26 @@ export interface InjectionDrift {
|
|
|
39
48
|
/** 修复指引(重跑 init 幂等同步注入段) */
|
|
40
49
|
export declare const INJECTION_DRIFT_FIX_HINT = "\u91CD\u8DD1 `npx @dommaker/harness init` \u540C\u6B65\u6CE8\u5165\u6BB5\uFF08\u6F02\u79FB\u4EC5\u8B66\u544A\uFF0C\u4E0D\u963B\u65AD\uFF09";
|
|
41
50
|
/**
|
|
42
|
-
*
|
|
51
|
+
* 解析治理约束注入段落点(studio #307,ADR 2026-08-21 落点模型)
|
|
52
|
+
*
|
|
53
|
+
* 与 init 的 setupGovernanceConstraints 路由一致:CLAUDE.md 含标记段优先
|
|
54
|
+
* (旧模型仓豁免),否则看 AGENTS.md(新模型仓注入段在 PRESERVE:governance 内);
|
|
55
|
+
* 两处均无完整标记段 → null(未注入)。
|
|
56
|
+
*
|
|
57
|
+
* detectInjectionDrift 与 constraints retire 的注入段同步共用本路由。
|
|
58
|
+
*/
|
|
59
|
+
export declare function resolveInjectionTarget(projectRoot: string): {
|
|
60
|
+
file: InjectionFile;
|
|
61
|
+
content: string;
|
|
62
|
+
startIdx: number;
|
|
63
|
+
endIdx: number;
|
|
64
|
+
} | null;
|
|
65
|
+
/**
|
|
66
|
+
* 检测约束注入段漂移
|
|
43
67
|
*
|
|
44
68
|
* @param projectRoot 项目根路径
|
|
45
69
|
* @param currentVersion 当前 harness 版本(缺省读 package.json;测试可显式传入)
|
|
46
70
|
*/
|
|
47
71
|
export declare function detectInjectionDrift(projectRoot: string, currentVersion?: string): InjectionDrift;
|
|
72
|
+
export {};
|
|
48
73
|
//# sourceMappingURL=injection-drift.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"injection-drift.d.ts","sourceRoot":"","sources":["../../../src/core/constraints/injection-drift.ts"],"names":[],"mappings":"AAAA
|
|
1
|
+
{"version":3,"file":"injection-drift.d.ts","sourceRoot":"","sources":["../../../src/core/constraints/injection-drift.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAWH,+CAA+C;AAC/C,QAAA,MAAM,eAAe,qCAAsC,CAAC;AAC5D,MAAM,MAAM,aAAa,GAAG,CAAC,OAAO,eAAe,CAAC,CAAC,MAAM,CAAC,CAAC;AAE7D,eAAe;AACf,MAAM,WAAW,cAAc;IAC7B,2BAA2B;IAC3B,QAAQ,EAAE,OAAO,CAAC;IAClB,8CAA8C;IAC9C,WAAW,EAAE,OAAO,CAAC;IACrB,8BAA8B;IAC9B,aAAa,CAAC,EAAE,aAAa,CAAC;IAC9B,iCAAiC;IACjC,YAAY,CAAC,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IACpD;;;OAGG;IACH,YAAY,CAAC,EAAE;QAAE,OAAO,EAAE,MAAM,EAAE,CAAC;QAAC,KAAK,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;IACtD,2CAA2C;IAC3C,gBAAgB,EAAE,OAAO,CAAC;IAC1B,WAAW;IACX,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,4BAA4B;AAC5B,eAAO,MAAM,wBAAwB,+IAAqD,CAAC;AAwC3F;;;;;;;;GAQG;AACH,wBAAgB,sBAAsB,CACpC,WAAW,EAAE,MAAM,GAClB;IAAE,IAAI,EAAE,aAAa,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAAG,IAAI,CAWnF;AAED;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAClC,WAAW,EAAE,MAAM,EACnB,cAAc,GAAE,MAA4B,GAC3C,cAAc,CAkDhB"}
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
"use strict";
|
|
2
2
|
/**
|
|
3
|
-
*
|
|
3
|
+
* 治理约束注入段漂移校验(ADR-0001 决策 7)
|
|
4
4
|
*
|
|
5
5
|
* 检测三类漂移:
|
|
6
6
|
* 1. 版本漂移:标记段内 `<!-- version: x -->` ≠ 当前 harness 包版本
|
|
@@ -10,8 +10,12 @@
|
|
|
10
10
|
* 3. 重复章节:标记段之外还存在另一个 `## Governance Rules` 标题
|
|
11
11
|
* (init 旧版本在无标记时追加第二个同名章节的历史问题)
|
|
12
12
|
*
|
|
13
|
+
* 落点路由(studio #307,ADR 2026-08-21 落点模型):注入段可能在
|
|
14
|
+
* CLAUDE.md(旧模型仓)或 AGENTS.md `PRESERVE:governance` 段内(新模型仓),
|
|
15
|
+
* 与 init 的 setupGovernanceConstraints 路由一致——CLAUDE.md 有标记优先。
|
|
16
|
+
*
|
|
13
17
|
* 纯检测、只读:不改任何文件。check 仅警告不阻断,详细差异进 report。
|
|
14
|
-
*
|
|
18
|
+
* 两处均无标记段 = 未注入,不算漂移(report 一句话提示,check 不警告)。
|
|
15
19
|
*/
|
|
16
20
|
var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
|
|
17
21
|
if (k2 === undefined) k2 = k;
|
|
@@ -48,11 +52,14 @@ var __importStar = (this && this.__importStar) || (function () {
|
|
|
48
52
|
})();
|
|
49
53
|
Object.defineProperty(exports, "__esModule", { value: true });
|
|
50
54
|
exports.INJECTION_DRIFT_FIX_HINT = void 0;
|
|
55
|
+
exports.resolveInjectionTarget = resolveInjectionTarget;
|
|
51
56
|
exports.detectInjectionDrift = detectInjectionDrift;
|
|
52
57
|
const fs = __importStar(require("fs"));
|
|
53
58
|
const path = __importStar(require("path"));
|
|
54
59
|
const effective_constraints_1 = require("../effective-constraints");
|
|
55
60
|
const injection_renderer_1 = require("./injection-renderer");
|
|
61
|
+
/** 注入段落点文件名(检测顺序即路由优先级:旧模型仓 CLAUDE.md 豁免优先) */
|
|
62
|
+
const INJECTION_FILES = ['CLAUDE.md', 'AGENTS.md'];
|
|
56
63
|
/** 修复指引(重跑 init 幂等同步注入段) */
|
|
57
64
|
exports.INJECTION_DRIFT_FIX_HINT = '重跑 `npx @dommaker/harness init` 同步注入段(漂移仅警告,不阻断)';
|
|
58
65
|
const VERSION_LINE_RE = /<!-- version: ([^ ]+) -->/;
|
|
@@ -82,8 +89,39 @@ function significantLines(section) {
|
|
|
82
89
|
.map(l => l.trim())
|
|
83
90
|
.filter(l => ENTRY_LINE_RE.test(l) || GROUP_HEADING_RE.test(l));
|
|
84
91
|
}
|
|
92
|
+
function readIfExists(filePath) {
|
|
93
|
+
try {
|
|
94
|
+
const content = fs.readFileSync(filePath, 'utf-8');
|
|
95
|
+
return typeof content === 'string' ? content : null;
|
|
96
|
+
}
|
|
97
|
+
catch {
|
|
98
|
+
return null;
|
|
99
|
+
}
|
|
100
|
+
}
|
|
85
101
|
/**
|
|
86
|
-
*
|
|
102
|
+
* 解析治理约束注入段落点(studio #307,ADR 2026-08-21 落点模型)
|
|
103
|
+
*
|
|
104
|
+
* 与 init 的 setupGovernanceConstraints 路由一致:CLAUDE.md 含标记段优先
|
|
105
|
+
* (旧模型仓豁免),否则看 AGENTS.md(新模型仓注入段在 PRESERVE:governance 内);
|
|
106
|
+
* 两处均无完整标记段 → null(未注入)。
|
|
107
|
+
*
|
|
108
|
+
* detectInjectionDrift 与 constraints retire 的注入段同步共用本路由。
|
|
109
|
+
*/
|
|
110
|
+
function resolveInjectionTarget(projectRoot) {
|
|
111
|
+
for (const file of INJECTION_FILES) {
|
|
112
|
+
const content = readIfExists(path.join(projectRoot, file));
|
|
113
|
+
if (content === null)
|
|
114
|
+
continue;
|
|
115
|
+
const startIdx = content.indexOf(injection_renderer_1.CONSTRAINTS_START_MARKER);
|
|
116
|
+
const endIdx = content.indexOf(injection_renderer_1.CONSTRAINTS_END_MARKER);
|
|
117
|
+
if (startIdx !== -1 && endIdx !== -1 && endIdx > startIdx) {
|
|
118
|
+
return { file, content, startIdx, endIdx };
|
|
119
|
+
}
|
|
120
|
+
}
|
|
121
|
+
return null;
|
|
122
|
+
}
|
|
123
|
+
/**
|
|
124
|
+
* 检测约束注入段漂移
|
|
87
125
|
*
|
|
88
126
|
* @param projectRoot 项目根路径
|
|
89
127
|
* @param currentVersion 当前 harness 版本(缺省读 package.json;测试可显式传入)
|
|
@@ -95,29 +133,23 @@ function detectInjectionDrift(projectRoot, currentVersion = getPackageVersion())
|
|
|
95
133
|
duplicateHeading: false,
|
|
96
134
|
fixHint: exports.INJECTION_DRIFT_FIX_HINT,
|
|
97
135
|
};
|
|
98
|
-
const
|
|
99
|
-
|
|
100
|
-
|
|
101
|
-
|
|
102
|
-
|
|
103
|
-
|
|
104
|
-
|
|
105
|
-
|
|
106
|
-
|
|
107
|
-
if (typeof content !== 'string') {
|
|
136
|
+
const target = resolveInjectionTarget(projectRoot);
|
|
137
|
+
if (!target) {
|
|
138
|
+
// 两处均无标记段 = 未注入,不算漂移(check 不警告)。
|
|
139
|
+
// 重复章节仍如实记录供 report 提示:旧落点 CLAUDE.md 优先,其次 AGENTS.md。
|
|
140
|
+
const legacy = readIfExists(path.join(projectRoot, 'CLAUDE.md')) ??
|
|
141
|
+
readIfExists(path.join(projectRoot, 'AGENTS.md'));
|
|
142
|
+
if (legacy !== null) {
|
|
143
|
+
result.duplicateHeading = (legacy.match(GOVERNANCE_HEADING_RE) ?? []).length > 1;
|
|
144
|
+
}
|
|
108
145
|
result.notInjected = true;
|
|
109
146
|
return result;
|
|
110
147
|
}
|
|
148
|
+
result.injectionFile = target.file;
|
|
149
|
+
const { content, startIdx, endIdx } = target;
|
|
111
150
|
// 重复章节:全文统计 `## Governance Rules` 标题数(含标记段所属的合法标题)
|
|
112
151
|
const headingCount = (content.match(GOVERNANCE_HEADING_RE) ?? []).length;
|
|
113
152
|
result.duplicateHeading = headingCount > 1;
|
|
114
|
-
const startIdx = content.indexOf(injection_renderer_1.CONSTRAINTS_START_MARKER);
|
|
115
|
-
const endIdx = content.indexOf(injection_renderer_1.CONSTRAINTS_END_MARKER);
|
|
116
|
-
if (startIdx === -1 || endIdx === -1 || endIdx <= startIdx) {
|
|
117
|
-
// 无标记段 = 未注入,不算漂移(check 不警告;duplicateHeading 仍如实记录供 report 提示)
|
|
118
|
-
result.notInjected = true;
|
|
119
|
-
return result;
|
|
120
|
-
}
|
|
121
153
|
const actualSection = content.slice(startIdx, endIdx + injection_renderer_1.CONSTRAINTS_END_MARKER.length);
|
|
122
154
|
// 1. 版本漂移
|
|
123
155
|
const versionMatch = VERSION_LINE_RE.exec(actualSection);
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"injection-drift.js","sourceRoot":"","sources":["../../../src/core/constraints/injection-drift.ts"],"names":[],"mappings":";AAAA
|
|
1
|
+
{"version":3,"file":"injection-drift.js","sourceRoot":"","sources":["../../../src/core/constraints/injection-drift.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;GAiBG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAsFH,wDAaC;AAQD,oDAqDC;AA9JD,uCAAyB;AACzB,2CAA6B;AAC7B,oEAAmE;AACnE,6DAI8B;AAE9B,+CAA+C;AAC/C,MAAM,eAAe,GAAG,CAAC,WAAW,EAAE,WAAW,CAAU,CAAC;AAwB5D,4BAA4B;AACf,QAAA,wBAAwB,GAAG,kDAAkD,CAAC;AAE3F,MAAM,eAAe,GAAG,2BAA2B,CAAC;AACpD,MAAM,aAAa,GAAG,qBAAqB,CAAC;AAC5C,MAAM,gBAAgB,GAAG,UAAU,CAAC;AACpC,MAAM,qBAAqB,GAAG,+BAA+B,CAAC;AAE9D;;GAEG;AACH,SAAS,iBAAiB;IACxB,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC;QACvE,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;QAC1D,OAAO,GAAG,CAAC,OAAO,IAAI,SAAS,CAAC;IAClC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,SAAS,gBAAgB,CAAC,OAAe;IACvC,OAAO,OAAO;SACX,KAAK,CAAC,IAAI,CAAC;SACX,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;SAClB,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;AACpE,CAAC;AAED,SAAS,YAAY,CAAC,QAAgB;IACpC,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,EAAE,CAAC,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QACnD,OAAO,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;IACtD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,SAAgB,sBAAsB,CACpC,WAAmB;IAEnB,KAAK,MAAM,IAAI,IAAI,eAAe,EAAE,CAAC;QACnC,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC,CAAC;QAC3D,IAAI,OAAO,KAAK,IAAI;YAAE,SAAS;QAC/B,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,CAAC,6CAAwB,CAAC,CAAC;QAC3D,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,2CAAsB,CAAC,CAAC;QACvD,IAAI,QAAQ,KAAK,CAAC,CAAC,IAAI,MAAM,KAAK,CAAC,CAAC,IAAI,MAAM,GAAG,QAAQ,EAAE,CAAC;YAC1D,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;QAC7C,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,SAAgB,oBAAoB,CAClC,WAAmB,EACnB,iBAAyB,iBAAiB,EAAE;IAE5C,MAAM,MAAM,GAAmB;QAC7B,QAAQ,EAAE,KAAK;QACf,WAAW,EAAE,KAAK;QAClB,gBAAgB,EAAE,KAAK;QACvB,OAAO,EAAE,gCAAwB;KAClC,CAAC;IAEF,MAAM,MAAM,GAAG,sBAAsB,CAAC,WAAW,CAAC,CAAC;IACnD,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,iCAAiC;QACjC,sDAAsD;QACtD,MAAM,MAAM,GACV,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;YACjD,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC;QACpD,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;YACpB,MAAM,CAAC,gBAAgB,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,qBAAqB,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;QACnF,CAAC;QACD,MAAM,CAAC,WAAW,GAAG,IAAI,CAAC;QAC1B,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,MAAM,CAAC,aAAa,GAAG,MAAM,CAAC,IAAI,CAAC;IACnC,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC;IAE7C,mDAAmD;IACnD,MAAM,YAAY,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,qBAAqB,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;IACzE,MAAM,CAAC,gBAAgB,GAAG,YAAY,GAAG,CAAC,CAAC;IAE3C,MAAM,aAAa,GAAG,OAAO,CAAC,KAAK,CAAC,QAAQ,EAAE,MAAM,GAAG,2CAAsB,CAAC,MAAM,CAAC,CAAC;IAEtF,UAAU;IACV,MAAM,YAAY,GAAG,eAAe,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IACzD,MAAM,aAAa,GAAG,YAAY,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IAC9D,IAAI,aAAa,KAAK,cAAc,EAAE,CAAC;QACrC,MAAM,CAAC,YAAY,GAAG,EAAE,QAAQ,EAAE,cAAc,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;IAC5E,CAAC;IAED,2BAA2B;IAC3B,MAAM,eAAe,GAAG,IAAA,6CAAwB,EAAC,IAAA,+CAAuB,EAAC,WAAW,CAAC,EAAE,cAAc,CAAC,CAAC;IACvG,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,gBAAgB,CAAC,eAAe,CAAC,CAAC,CAAC;IACjE,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,gBAAgB,CAAC,aAAa,CAAC,CAAC,CAAC;IAC7D,MAAM,OAAO,GAAG,CAAC,GAAG,aAAa,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACpE,MAAM,KAAK,GAAG,CAAC,GAAG,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAClE,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3C,MAAM,CAAC,YAAY,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IAC3C,CAAC;IAED,MAAM,CAAC,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,YAAY,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,YAAY,CAAC,IAAI,MAAM,CAAC,gBAAgB,CAAC;IAC1G,OAAO,MAAM,CAAC;AAChB,CAAC"}
|
|
@@ -21,12 +21,11 @@ export declare const FLAG_EVIDENCE_CONSTRAINT_IDS: ReadonlySet<string>;
|
|
|
21
21
|
export interface ConstraintUsageStats {
|
|
22
22
|
id: string;
|
|
23
23
|
level: Constraint['level'];
|
|
24
|
-
/** trace 总行数(含 skip
|
|
24
|
+
/** trace 总行数(含 skip) */
|
|
25
25
|
total: number;
|
|
26
26
|
pass: number;
|
|
27
27
|
fail: number;
|
|
28
28
|
skip: number;
|
|
29
|
-
bypassed: number;
|
|
30
29
|
/** 实际评估次数(total - skip;skip 未评估不计入,与 TraceAnalyzer 一致) */
|
|
31
30
|
evaluated: number;
|
|
32
31
|
/** 失败率(fail / evaluated;evaluated=0 时为 0) */
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"usage-report.d.ts","sourceRoot":"","sources":["../../../src/core/constraints/usage-report.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAIH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAGxD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAEpE;;;GAGG;AACH,eAAO,MAAM,4BAA4B,EAAE,WAAW,CAAC,MAAM,CAI3D,CAAC;AAEH;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACnC,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC;IAE3B,
|
|
1
|
+
{"version":3,"file":"usage-report.d.ts","sourceRoot":"","sources":["../../../src/core/constraints/usage-report.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAIH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAGxD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAEpE;;;GAGG;AACH,eAAO,MAAM,4BAA4B,EAAE,WAAW,CAAC,MAAM,CAI3D,CAAC;AAEH;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACnC,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC;IAE3B,wBAAwB;IACxB,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IAEb,0DAA0D;IAC1D,SAAS,EAAE,MAAM,CAAC;IAElB,6CAA6C;IAC7C,QAAQ,EAAE,MAAM,CAAC;IAEjB,8CAA8C;IAC9C,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED;;GAEG;AACH,MAAM,MAAM,mBAAmB,GAC3B,cAAc,GACd,aAAa,GACb,YAAY,GACZ,gBAAgB,CAAC;AAErB,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,mBAAmB,CAAC;IAC1B,KAAK,EAAE,oBAAoB,CAAC;IAC5B,uBAAuB;IACvB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,0BAA0B;IAC1B,yBAAyB,EAAE,MAAM,CAAC;IAClC,kCAAkC;IAClC,iBAAiB,EAAE,MAAM,CAAC;IAC1B,yBAAyB;IACzB,qBAAqB,EAAE,MAAM,CAAC;CAC/B;AAED,eAAO,MAAM,2BAA2B,EAAE,kBAIzC,CAAC;AAEF;;GAEG;AACH,MAAM,WAAW,sBAAsB;IACrC,gDAAgD;IAChD,KAAK,EAAE,oBAAoB,EAAE,CAAC;IAC9B,4EAA4E;IAC5E,UAAU,EAAE,eAAe,EAAE,CAAC;IAC9B,+BAA+B;IAC/B,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,2BAA2B;IAC3B,IAAI,EAAE,mBAAmB,CAAC;IAC1B,mBAAmB;IACnB,eAAe,EAAE,OAAO,CAAC;CAC1B;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAAC,WAAW,EAAE,MAAM,GAAG,cAAc,EAAE,CAgBvE;AAED;;GAEG;AACH,wBAAgB,wBAAwB,CACtC,MAAM,EAAE,cAAc,EAAE,GACvB,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,oBAAoB,EAAE,IAAI,GAAG,OAAO,GAAG,WAAW,GAAG,UAAU,CAAC,CAAC,CAgBpF;AAmBD;;;;;GAKG;AACH,wBAAgB,wBAAwB,CACtC,KAAK,EAAE,oBAAoB,EAAE,EAC7B,UAAU,GAAE,OAAO,CAAC,kBAAkB,CAAM,GAC3C,eAAe,EAAE,CAiDnB;AAED;;GAEG;AACH,wBAAgB,2BAA2B,CACzC,WAAW,GAAE,MAAsB,EACnC,UAAU,GAAE,OAAO,CAAC,kBAAkB,CAAM,GAC3C,sBAAsB,CAoBxB"}
|
|
@@ -95,7 +95,7 @@ function collectUsageByConstraint(traces) {
|
|
|
95
95
|
for (const t of traces) {
|
|
96
96
|
let agg = map.get(t.constraintId);
|
|
97
97
|
if (!agg) {
|
|
98
|
-
agg = { total: 0, pass: 0, fail: 0, skip: 0
|
|
98
|
+
agg = { total: 0, pass: 0, fail: 0, skip: 0 };
|
|
99
99
|
map.set(t.constraintId, agg);
|
|
100
100
|
}
|
|
101
101
|
agg.total++;
|
|
@@ -105,8 +105,6 @@ function collectUsageByConstraint(traces) {
|
|
|
105
105
|
agg.fail++;
|
|
106
106
|
else if (t.result === 'skip')
|
|
107
107
|
agg.skip++;
|
|
108
|
-
else if (t.result === 'bypassed')
|
|
109
|
-
agg.bypassed++;
|
|
110
108
|
if (agg.firstAt === undefined || t.timestamp < agg.firstAt)
|
|
111
109
|
agg.firstAt = t.timestamp;
|
|
112
110
|
if (agg.lastAt === undefined || t.timestamp > agg.lastAt)
|
|
@@ -115,7 +113,7 @@ function collectUsageByConstraint(traces) {
|
|
|
115
113
|
return map;
|
|
116
114
|
}
|
|
117
115
|
function toStats(id, level, agg) {
|
|
118
|
-
const a = agg ?? { total: 0, pass: 0, fail: 0, skip: 0
|
|
116
|
+
const a = agg ?? { total: 0, pass: 0, fail: 0, skip: 0 };
|
|
119
117
|
const evaluated = a.total - a.skip;
|
|
120
118
|
return {
|
|
121
119
|
id,
|
|
@@ -124,7 +122,6 @@ function toStats(id, level, agg) {
|
|
|
124
122
|
pass: a.pass,
|
|
125
123
|
fail: a.fail,
|
|
126
124
|
skip: a.skip,
|
|
127
|
-
bypassed: a.bypassed,
|
|
128
125
|
evaluated,
|
|
129
126
|
failRate: evaluated > 0 ? a.fail / evaluated : 0,
|
|
130
127
|
firstAt: a.firstAt,
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"usage-report.js","sourceRoot":"","sources":["../../../src/core/constraints/usage-report.ts"],"names":[],"mappings":";AAAA;;;;;;;;GAQG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
|
|
1
|
+
{"version":3,"file":"usage-report.js","sourceRoot":"","sources":["../../../src/core/constraints/usage-report.ts"],"names":[],"mappings":";AAAA;;;;;;;;GAQG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAkGH,8CAgBC;AAKD,4DAkBC;AAyBD,4DAoDC;AAKD,kEAuBC;AAhPD,uCAAyB;AACzB,2CAA6B;AAG7B,6CAAuD;AACvD,oEAAwF;AAGxF;;;GAGG;AACU,QAAA,4BAA4B,GAAwB,IAAI,GAAG,CAAC;IACvE,oCAAoC;IACpC,sBAAsB;IACtB,uCAAuC;CACxC,CAAC,CAAC;AAuDU,QAAA,2BAA2B,GAAuB;IAC7D,yBAAyB,EAAE,EAAE;IAC7B,iBAAiB,EAAE,GAAG;IACtB,qBAAqB,EAAE,EAAE;CAC1B,CAAC;AAkBF;;GAEG;AACH,SAAgB,iBAAiB,CAAC,WAAmB;IACnD,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,0BAAkB,CAAC,CAAC;IAC7D,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC;QAAE,OAAO,EAAE,CAAC;IAEzC,MAAM,OAAO,GAAG,EAAE,CAAC,YAAY,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IACpD,MAAM,MAAM,GAAqB,EAAE,CAAC;IACpC,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACvC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QAC5B,IAAI,CAAC,OAAO;YAAE,SAAS;QACvB,IAAI,CAAC;YACH,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAmB,CAAC,CAAC;QACrD,CAAC;QAAC,MAAM,CAAC;YACP,2BAA2B;QAC7B,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;GAEG;AACH,SAAgB,wBAAwB,CACtC,MAAwB;IAExB,MAAM,GAAG,GAAG,IAAI,GAAG,EAA0G,CAAC;IAC9H,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,IAAI,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;QAClC,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,GAAG,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;YAC9C,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC;QAC/B,CAAC;QACD,GAAG,CAAC,KAAK,EAAE,CAAC;QACZ,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM;YAAE,GAAG,CAAC,IAAI,EAAE,CAAC;aAC/B,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM;YAAE,GAAG,CAAC,IAAI,EAAE,CAAC;aACpC,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM;YAAE,GAAG,CAAC,IAAI,EAAE,CAAC;QACzC,IAAI,GAAG,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,CAAC,SAAS,GAAG,GAAG,CAAC,OAAO;YAAE,GAAG,CAAC,OAAO,GAAG,CAAC,CAAC,SAAS,CAAC;QACtF,IAAI,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,CAAC,SAAS,GAAG,GAAG,CAAC,MAAM;YAAE,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,SAAS,CAAC;IACrF,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,OAAO,CAAC,EAAU,EAAE,KAA0B,EAAE,GAA+G;IACtK,MAAM,CAAC,GAAG,GAAG,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;IACzD,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC;IACnC,OAAO;QACL,EAAE;QACF,KAAK;QACL,KAAK,EAAE,CAAC,CAAC,KAAK;QACd,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,SAAS;QACT,QAAQ,EAAE,SAAS,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;QAChD,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,MAAM,EAAE,CAAC,CAAC,MAAM;KACjB,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,SAAgB,wBAAwB,CACtC,KAA6B,EAC7B,aAA0C,EAAE;IAE5C,MAAM,CAAC,GAAG,EAAE,GAAG,mCAA2B,EAAE,GAAG,UAAU,EAAE,CAAC;IAC5D,MAAM,UAAU,GAAsB,EAAE,CAAC;IAEzC,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,CAAC,KAAK,KAAK,CAAC,EAAE,CAAC;YAClB,UAAU,CAAC,IAAI,CAAC;gBACd,EAAE,EAAE,CAAC,CAAC,EAAE;gBACR,IAAI,EAAE,cAAc;gBACpB,KAAK,EAAE,CAAC;gBACR,MAAM,EAAE,qBAAqB;aAC9B,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC;YACvB,MAAM,MAAM,GAAG,oCAA4B,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;gBACnD,CAAC,CAAC,aAAa;gBACf,CAAC,CAAC,iBAAiB,CAAC;YACtB,UAAU,CAAC,IAAI,CAAC;gBACd,EAAE,EAAE,CAAC,CAAC,EAAE;gBACR,IAAI,EAAE,aAAa;gBACnB,KAAK,EAAE,CAAC;gBACR,MAAM,EAAE,WAAW,CAAC,CAAC,KAAK,aAAa,MAAM,GAAG;aACjD,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,IAAI,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,iBAAiB,IAAI,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,qBAAqB,EAAE,CAAC;YAC/E,UAAU,CAAC,IAAI,CAAC;gBACd,EAAE,EAAE,CAAC,CAAC,EAAE;gBACR,IAAI,EAAE,YAAY;gBAClB,KAAK,EAAE,CAAC;gBACR,MAAM,EAAE,aAAa,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,SAAS,SAAS;aACrF,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,yBAAyB,EAAE,CAAC;YAC/D,UAAU,CAAC,IAAI,CAAC;gBACd,EAAE,EAAE,CAAC,CAAC,EAAE;gBACR,IAAI,EAAE,gBAAgB;gBACtB,KAAK,EAAE,CAAC;gBACR,MAAM,EAAE,OAAO,CAAC,CAAC,SAAS,aAAa;aACxC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,UAAU,CAAC;AACpB,CAAC;AAED;;GAEG;AACH,SAAgB,2BAA2B,CACzC,cAAsB,OAAO,CAAC,GAAG,EAAE,EACnC,aAA0C,EAAE;IAE5C,MAAM,SAAS,GAAG,IAAA,+CAAuB,EAAC,WAAW,CAAC,CAAC;IACvD,MAAM,gBAAgB,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;IACnE,MAAM,eAAe,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAElF,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,0BAAkB,CAAC,CAAC;IAC7D,MAAM,MAAM,GAAG,iBAAiB,CAAC,WAAW,CAAC,CAAC;IAC9C,MAAM,KAAK,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;IAE/C,MAAM,KAAK,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACjF,MAAM,UAAU,GAAG,wBAAwB,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;IAC/D,MAAM,IAAI,GAAG,IAAA,2CAAmB,EAAC,WAAW,CAAC,CAAC;IAE9C,OAAO;QACL,KAAK;QACL,UAAU;QACV,eAAe;QACf,IAAI;QACJ,eAAe,EAAE,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC;KAC1C,CAAC;AACJ,CAAC"}
|
|
@@ -7,18 +7,38 @@
|
|
|
7
7
|
* 不再直接读 IRON_LAWS/GUIDELINES/PROMPTS 全集。
|
|
8
8
|
*/
|
|
9
9
|
import type { Constraint } from '../types/constraint';
|
|
10
|
+
import type { MergedConstraintsConfig } from '../types/project-config';
|
|
10
11
|
/**
|
|
11
12
|
* 获取项目当前生效的约束集(check + prompt,带 kind)
|
|
12
13
|
*
|
|
13
|
-
*
|
|
14
|
-
* 删除(内置与 custom 同效)→ custom-constraints
|
|
15
|
-
*
|
|
14
|
+
* 生效集链路同 getMergedConstraintsConfig:内置 → preset 裁剪 → config.yml
|
|
15
|
+
* `constraints.<id>.enabled:false` 删除(内置与 custom 同效)→ custom-constraints
|
|
16
|
+
* 追加(禁用/已退役的 custom 不追加)→ scenes 过滤
|
|
16
17
|
* (带 appliesTo 的 prompt 仅当 config.yml `scenes` 与其交集非空时保留,
|
|
17
18
|
* 缺省 scenes=[] 即场景专属 prompt 默认不进入生效集)。
|
|
18
19
|
*
|
|
19
20
|
* @param projectRoot 项目根路径(缺省 process.cwd())
|
|
21
|
+
* @param options.preset 覆盖 config.yml 的 preset;仅在项目无自定义配置时生效
|
|
22
|
+
* (与 getMergedConstraintsConfig 同一优先级规则),不传则尊重 config.yml
|
|
20
23
|
*/
|
|
21
|
-
export declare function getEffectiveConstraints(projectRoot?: string
|
|
24
|
+
export declare function getEffectiveConstraints(projectRoot?: string, options?: {
|
|
25
|
+
preset?: string;
|
|
26
|
+
}): Constraint[];
|
|
27
|
+
/**
|
|
28
|
+
* 获取项目当前生效的合并约束配置(ADR-0001 唯一来源的完整形状)
|
|
29
|
+
*
|
|
30
|
+
* 与 getEffectiveConstraints 同一生效集链路,返回完整 MergedConstraintsConfig
|
|
31
|
+
* (含 disabled/custom/unknownIds),供 check 等需要诊断信息的消费方使用。
|
|
32
|
+
*
|
|
33
|
+
* options.preset(CLI --preset)仅在项目无自定义配置时覆盖 config.yml 的
|
|
34
|
+
* preset(工单 23 语义:项目自定义配置优先于 CLI 预设);不传 preset 时
|
|
35
|
+
* 完全尊重 config.yml 的 preset 键。
|
|
36
|
+
*
|
|
37
|
+
* @param projectRoot 项目根路径(缺省 process.cwd())
|
|
38
|
+
*/
|
|
39
|
+
export declare function getMergedConstraintsConfig(projectRoot?: string, options?: {
|
|
40
|
+
preset?: string;
|
|
41
|
+
}): MergedConstraintsConfig;
|
|
22
42
|
/**
|
|
23
43
|
* 生效集配置诊断结果
|
|
24
44
|
*/
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"effective-constraints.d.ts","sourceRoot":"","sources":["../../src/core/effective-constraints.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;
|
|
1
|
+
{"version":3,"file":"effective-constraints.d.ts","sourceRoot":"","sources":["../../src/core/effective-constraints.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AACtD,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAIvE;;;;;;;;;;;;GAYG;AACH,wBAAgB,uBAAuB,CACrC,WAAW,GAAE,MAAsB,EACnC,OAAO,CAAC,EAAE;IAAE,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,GAC5B,UAAU,EAAE,CAOd;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,0BAA0B,CACxC,WAAW,GAAE,MAAsB,EACnC,OAAO,CAAC,EAAE;IAAE,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,GAC5B,uBAAuB,CAOzB;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC;;;;OAIG;IACH,UAAU,EAAE,MAAM,EAAE,CAAC;IAErB,2CAA2C;IAC3C,MAAM,EAAE,MAAM,EAAE,CAAC;IAEjB;;;OAGG;IACH,aAAa,EAAE,MAAM,EAAE,CAAC;CACzB;AAED;;;;;;GAMG;AACH,wBAAgB,mBAAmB,CAAC,WAAW,GAAE,MAAsB,GAAG,mBAAmB,CAqB5F"}
|
|
@@ -9,30 +9,51 @@
|
|
|
9
9
|
*/
|
|
10
10
|
Object.defineProperty(exports, "__esModule", { value: true });
|
|
11
11
|
exports.getEffectiveConstraints = getEffectiveConstraints;
|
|
12
|
+
exports.getMergedConstraintsConfig = getMergedConstraintsConfig;
|
|
12
13
|
exports.lintEffectiveConfig = lintEffectiveConfig;
|
|
13
14
|
const definitions_1 = require("./constraints/definitions");
|
|
14
15
|
const project_config_loader_1 = require("./project-config-loader");
|
|
15
16
|
/**
|
|
16
17
|
* 获取项目当前生效的约束集(check + prompt,带 kind)
|
|
17
18
|
*
|
|
18
|
-
*
|
|
19
|
-
* 删除(内置与 custom 同效)→ custom-constraints
|
|
20
|
-
*
|
|
19
|
+
* 生效集链路同 getMergedConstraintsConfig:内置 → preset 裁剪 → config.yml
|
|
20
|
+
* `constraints.<id>.enabled:false` 删除(内置与 custom 同效)→ custom-constraints
|
|
21
|
+
* 追加(禁用/已退役的 custom 不追加)→ scenes 过滤
|
|
21
22
|
* (带 appliesTo 的 prompt 仅当 config.yml `scenes` 与其交集非空时保留,
|
|
22
23
|
* 缺省 scenes=[] 即场景专属 prompt 默认不进入生效集)。
|
|
23
24
|
*
|
|
24
25
|
* @param projectRoot 项目根路径(缺省 process.cwd())
|
|
26
|
+
* @param options.preset 覆盖 config.yml 的 preset;仅在项目无自定义配置时生效
|
|
27
|
+
* (与 getMergedConstraintsConfig 同一优先级规则),不传则尊重 config.yml
|
|
25
28
|
*/
|
|
26
|
-
function getEffectiveConstraints(projectRoot = process.cwd()) {
|
|
27
|
-
const
|
|
28
|
-
loader.load();
|
|
29
|
-
const merged = loader.mergeConstraints();
|
|
29
|
+
function getEffectiveConstraints(projectRoot = process.cwd(), options) {
|
|
30
|
+
const merged = getMergedConstraintsConfig(projectRoot, options);
|
|
30
31
|
return [
|
|
31
32
|
...Object.values(merged.ironLaws),
|
|
32
33
|
...Object.values(merged.guidelines),
|
|
33
34
|
...Object.values(merged.prompts ?? {}),
|
|
34
35
|
];
|
|
35
36
|
}
|
|
37
|
+
/**
|
|
38
|
+
* 获取项目当前生效的合并约束配置(ADR-0001 唯一来源的完整形状)
|
|
39
|
+
*
|
|
40
|
+
* 与 getEffectiveConstraints 同一生效集链路,返回完整 MergedConstraintsConfig
|
|
41
|
+
* (含 disabled/custom/unknownIds),供 check 等需要诊断信息的消费方使用。
|
|
42
|
+
*
|
|
43
|
+
* options.preset(CLI --preset)仅在项目无自定义配置时覆盖 config.yml 的
|
|
44
|
+
* preset(工单 23 语义:项目自定义配置优先于 CLI 预设);不传 preset 时
|
|
45
|
+
* 完全尊重 config.yml 的 preset 键。
|
|
46
|
+
*
|
|
47
|
+
* @param projectRoot 项目根路径(缺省 process.cwd())
|
|
48
|
+
*/
|
|
49
|
+
function getMergedConstraintsConfig(projectRoot = process.cwd(), options) {
|
|
50
|
+
const loader = new project_config_loader_1.ProjectConfigLoader(projectRoot);
|
|
51
|
+
loader.load();
|
|
52
|
+
if (loader.hasCustomConfig() || !options?.preset) {
|
|
53
|
+
return loader.mergeConstraints();
|
|
54
|
+
}
|
|
55
|
+
return loader.mergeConstraints({ preset: options.preset });
|
|
56
|
+
}
|
|
36
57
|
/**
|
|
37
58
|
* 诊断项目约束配置:未知 id 残留、scenes 生效情况
|
|
38
59
|
*
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"effective-constraints.js","sourceRoot":"","sources":["../../src/core/effective-constraints.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;
|
|
1
|
+
{"version":3,"file":"effective-constraints.js","sourceRoot":"","sources":["../../src/core/effective-constraints.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;AAoBH,0DAUC;AAcD,gEAUC;AA8BD,kDAqBC;AArGD,2DAAoD;AACpD,mEAA8D;AAE9D;;;;;;;;;;;;GAYG;AACH,SAAgB,uBAAuB,CACrC,cAAsB,OAAO,CAAC,GAAG,EAAE,EACnC,OAA6B;IAE7B,MAAM,MAAM,GAAG,0BAA0B,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAChE,OAAO;QACL,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC;QACjC,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC;QACnC,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,IAAI,EAAE,CAAC;KACvC,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;GAWG;AACH,SAAgB,0BAA0B,CACxC,cAAsB,OAAO,CAAC,GAAG,EAAE,EACnC,OAA6B;IAE7B,MAAM,MAAM,GAAG,IAAI,2CAAmB,CAAC,WAAW,CAAC,CAAC;IACpD,MAAM,CAAC,IAAI,EAAE,CAAC;IACd,IAAI,MAAM,CAAC,eAAe,EAAE,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,CAAC;QACjD,OAAO,MAAM,CAAC,gBAAgB,EAAE,CAAC;IACnC,CAAC;IACD,OAAO,MAAM,CAAC,gBAAgB,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;AAC7D,CAAC;AAuBD;;;;;;GAMG;AACH,SAAgB,mBAAmB,CAAC,cAAsB,OAAO,CAAC,GAAG,EAAE;IACrE,MAAM,MAAM,GAAG,IAAI,2CAAmB,CAAC,WAAW,CAAC,CAAC;IACpD,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC;IAC7B,MAAM,MAAM,GAAG,MAAM,CAAC,gBAAgB,EAAE,CAAC;IACzC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC;IAEnC,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC,qBAAO,CAAC;SACzC,MAAM,CACL,CAAC,CAAC,EAAE,CACF,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC;QACtB,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAClD,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAClC;SACA,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAElB,OAAO;QACL,UAAU,EAAE,MAAM,CAAC,UAAU,IAAI,EAAE;QACnC,MAAM;QACN,aAAa;KACd,CAAC;AACJ,CAAC"}
|
|
@@ -0,0 +1,30 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* 生效集共享筛选器(ADR-0001 收口)
|
|
3
|
+
*
|
|
4
|
+
* 「config.yml 引用了哪些 id、哪些被禁用」的判定,约束侧与门禁侧共用一份:
|
|
5
|
+
* - 约束侧(ProjectConfigLoader.mergeConstraints):未知 id 静默忽略,
|
|
6
|
+
* 收集进结果 unknownIds 供诊断(历史配置可能存在已移除约束的禁用残留)
|
|
7
|
+
* - 门禁侧(getEffectiveGates):未知 id 抛错(闭环校验;gates 配置段为
|
|
8
|
+
* 新增面,不存在历史残留配置)
|
|
9
|
+
*
|
|
10
|
+
* 行为差异仅收敛为 onUnknownId 一个开关,筛选语义两侧一致。
|
|
11
|
+
*/
|
|
12
|
+
export interface FilterEnabledEntriesOptions {
|
|
13
|
+
/** 未知 id 处理:'collect' 收集进结果 unknownIds;'throw' 立即抛错 */
|
|
14
|
+
onUnknownId: 'collect' | 'throw';
|
|
15
|
+
/** onUnknownId='throw' 时的错误消息定制(如附带可用 id 清单) */
|
|
16
|
+
unknownIdError?: (id: string) => string;
|
|
17
|
+
}
|
|
18
|
+
export interface FilterEnabledEntriesResult {
|
|
19
|
+
/** enabled === false 的 id(未知 id 若带 enabled:false 同样计入,与历史行为一致) */
|
|
20
|
+
disabledIds: string[];
|
|
21
|
+
/** 未知 id(仅 onUnknownId='collect' 时非空) */
|
|
22
|
+
unknownIds: string[];
|
|
23
|
+
}
|
|
24
|
+
/**
|
|
25
|
+
* 按 config 条目筛选:未知 id 按 onUnknownId 处理,enabled:false 收进 disabledIds
|
|
26
|
+
*/
|
|
27
|
+
export declare function filterEnabledEntries(knownIds: ReadonlySet<string>, entries: Record<string, {
|
|
28
|
+
enabled?: boolean;
|
|
29
|
+
} | undefined>, options: FilterEnabledEntriesOptions): FilterEnabledEntriesResult;
|
|
30
|
+
//# sourceMappingURL=effective-set.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"effective-set.d.ts","sourceRoot":"","sources":["../../src/core/effective-set.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,MAAM,WAAW,2BAA2B;IAC1C,uDAAuD;IACvD,WAAW,EAAE,SAAS,GAAG,OAAO,CAAC;IAEjC,gDAAgD;IAChD,cAAc,CAAC,EAAE,CAAC,EAAE,EAAE,MAAM,KAAK,MAAM,CAAC;CACzC;AAED,MAAM,WAAW,0BAA0B;IACzC,kEAAkE;IAClE,WAAW,EAAE,MAAM,EAAE,CAAC;IAEtB,yCAAyC;IACzC,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB;AAED;;GAEG;AACH,wBAAgB,oBAAoB,CAClC,QAAQ,EAAE,WAAW,CAAC,MAAM,CAAC,EAC7B,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE;IAAE,OAAO,CAAC,EAAE,OAAO,CAAA;CAAE,GAAG,SAAS,CAAC,EAC1D,OAAO,EAAE,2BAA2B,GACnC,0BAA0B,CAoB5B"}
|
|
@@ -0,0 +1,35 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
/**
|
|
3
|
+
* 生效集共享筛选器(ADR-0001 收口)
|
|
4
|
+
*
|
|
5
|
+
* 「config.yml 引用了哪些 id、哪些被禁用」的判定,约束侧与门禁侧共用一份:
|
|
6
|
+
* - 约束侧(ProjectConfigLoader.mergeConstraints):未知 id 静默忽略,
|
|
7
|
+
* 收集进结果 unknownIds 供诊断(历史配置可能存在已移除约束的禁用残留)
|
|
8
|
+
* - 门禁侧(getEffectiveGates):未知 id 抛错(闭环校验;gates 配置段为
|
|
9
|
+
* 新增面,不存在历史残留配置)
|
|
10
|
+
*
|
|
11
|
+
* 行为差异仅收敛为 onUnknownId 一个开关,筛选语义两侧一致。
|
|
12
|
+
*/
|
|
13
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
14
|
+
exports.filterEnabledEntries = filterEnabledEntries;
|
|
15
|
+
/**
|
|
16
|
+
* 按 config 条目筛选:未知 id 按 onUnknownId 处理,enabled:false 收进 disabledIds
|
|
17
|
+
*/
|
|
18
|
+
function filterEnabledEntries(knownIds, entries, options) {
|
|
19
|
+
const disabledIds = [];
|
|
20
|
+
const unknownIds = [];
|
|
21
|
+
for (const [id, entry] of Object.entries(entries)) {
|
|
22
|
+
if (!knownIds.has(id)) {
|
|
23
|
+
if (options.onUnknownId === 'throw') {
|
|
24
|
+
throw new Error(options.unknownIdError?.(id) ??
|
|
25
|
+
`[harness] 配置引用了未注册的 id "${id}"。`);
|
|
26
|
+
}
|
|
27
|
+
unknownIds.push(id);
|
|
28
|
+
}
|
|
29
|
+
if (entry?.enabled === false) {
|
|
30
|
+
disabledIds.push(id);
|
|
31
|
+
}
|
|
32
|
+
}
|
|
33
|
+
return { disabledIds, unknownIds };
|
|
34
|
+
}
|
|
35
|
+
//# sourceMappingURL=effective-set.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"effective-set.js","sourceRoot":"","sources":["../../src/core/effective-set.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;GAUG;;AAqBH,oDAwBC;AA3BD;;GAEG;AACH,SAAgB,oBAAoB,CAClC,QAA6B,EAC7B,OAA0D,EAC1D,OAAoC;IAEpC,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,MAAM,UAAU,GAAa,EAAE,CAAC;IAEhC,KAAK,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QAClD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YACtB,IAAI,OAAO,CAAC,WAAW,KAAK,OAAO,EAAE,CAAC;gBACpC,MAAM,IAAI,KAAK,CACb,OAAO,CAAC,cAAc,EAAE,CAAC,EAAE,CAAC;oBAC1B,2BAA2B,EAAE,IAAI,CACpC,CAAC;YACJ,CAAC;YACD,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACtB,CAAC;QACD,IAAI,KAAK,EAAE,OAAO,KAAK,KAAK,EAAE,CAAC;YAC7B,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACvB,CAAC;IACH,CAAC;IAED,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC;AACrC,CAAC"}
|