@dommaker/harness 0.13.0 → 0.13.2
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 +169 -0
- package/bin/harness-knowledge-capture.js +99 -0
- package/bin/harness-knowledge-check.js +149 -0
- package/bin/harness-knowledge-track.js +92 -0
- package/bin/harness-knowledge-track.sh +47 -0
- package/bin/harness-sensitive-check.sh +67 -0
- package/dist/cli/commands/init.js +34 -2
- package/dist/cli/commands/init.js.map +1 -1
- package/package.json +6 -3
- package/src/CONTEXT.md +34 -0
- package/src/__tests__/acceptance-gate.test.ts +364 -0
- package/src/__tests__/annotation-checker.test.ts +183 -0
- package/src/__tests__/architecture-engine.test.ts +619 -0
- package/src/__tests__/checker-extra.test.ts +1627 -0
- package/src/__tests__/checker.test.ts +1268 -0
- package/src/__tests__/checkpoint.test.ts +697 -0
- package/src/__tests__/clean-state-extra.test.ts +301 -0
- package/src/__tests__/clean-state.test.ts +169 -0
- package/src/__tests__/constraint-doctor.test.ts +410 -0
- package/src/__tests__/constraint-evolver.test.ts +404 -0
- package/src/__tests__/constraint-handler.test.ts +136 -0
- package/src/__tests__/context/progressive-loader.test.ts +131 -0
- package/src/__tests__/contract-gate.test.ts +321 -0
- package/src/__tests__/cross-project-checker.test.ts +318 -0
- package/src/__tests__/cso-validator.test.ts +205 -0
- package/src/__tests__/detect-source-roots.test.ts +98 -0
- package/src/__tests__/doctor-evolver.test.ts +381 -0
- package/src/__tests__/error-classifier.test.ts +304 -0
- package/src/__tests__/exec.test.ts +83 -0
- package/src/__tests__/extend-exceptions.test.ts +149 -0
- package/src/__tests__/failure-recorder.test.ts +335 -0
- package/src/__tests__/hooks-pipeline.test.ts +214 -0
- package/src/__tests__/interceptor.test.ts +89 -0
- package/src/__tests__/iron-laws.test.ts +246 -0
- package/src/__tests__/long-running.test.ts +17 -0
- package/src/__tests__/passes-gate-check.test.ts +138 -0
- package/src/__tests__/passes-gate-extension.test.ts +151 -0
- package/src/__tests__/passes-gate-extra.test.ts +238 -0
- package/src/__tests__/passes-gate.test.ts +231 -0
- package/src/__tests__/performance-analyzer.test.ts +501 -0
- package/src/__tests__/performance-collector.test.ts +276 -0
- package/src/__tests__/performance-gate.test.ts +74 -0
- package/src/__tests__/presets.test.ts +104 -0
- package/src/__tests__/project-config-loader-extra.test.ts +269 -0
- package/src/__tests__/project-config-loader.test.ts +127 -0
- package/src/__tests__/review-gate.test.ts +92 -0
- package/src/__tests__/security-gate.test.ts +100 -0
- package/src/__tests__/session-startup.test.ts +334 -0
- package/src/__tests__/spec-validator.test.ts +57 -0
- package/src/__tests__/token-budget.test.ts +252 -0
- package/src/__tests__/trace-analyzer-extra.test.ts +307 -0
- package/src/__tests__/trace-analyzer.test.ts +131 -0
- package/src/__tests__/trace-collector.test.ts +258 -0
- package/src/__tests__/traces.test.ts +347 -0
- package/src/agents/CONTEXT.md +21 -0
- package/src/agents/__tests__/lifecycle.test.ts +248 -0
- package/src/agents/index.ts +2 -0
- package/src/agents/lifecycle.ts +201 -0
- package/src/agents/types.ts +46 -0
- package/src/architecture/CONTEXT.md +22 -0
- package/src/architecture/constraint-engine.ts +356 -0
- package/src/architecture/cross-project-checker.ts +563 -0
- package/src/cli/commands/CONTEXT.md +24 -0
- package/src/cli/commands/__tests__/acceptance.test.ts +180 -0
- package/src/cli/commands/__tests__/check.test.ts +598 -0
- package/src/cli/commands/__tests__/command.test.ts +149 -0
- package/src/cli/commands/__tests__/contract.test.ts +151 -0
- package/src/cli/commands/__tests__/failure.test.ts +199 -0
- package/src/cli/commands/__tests__/flow.test.ts +343 -0
- package/src/cli/commands/__tests__/init.test.ts +306 -0
- package/src/cli/commands/__tests__/passes-gate.test.ts +256 -0
- package/src/cli/commands/__tests__/performance.test.ts +116 -0
- package/src/cli/commands/__tests__/posteval-plan.test.ts +201 -0
- package/src/cli/commands/__tests__/report-extra.test.ts +98 -0
- package/src/cli/commands/__tests__/report.test.ts +109 -0
- package/src/cli/commands/__tests__/review.test.ts +153 -0
- package/src/cli/commands/__tests__/security.test.ts +147 -0
- package/src/cli/commands/__tests__/spec.test.ts +193 -0
- package/src/cli/commands/__tests__/status-extra.test.ts +223 -0
- package/src/cli/commands/__tests__/status.test.ts +306 -0
- package/src/cli/commands/__tests__/sync-docs.test.ts +335 -0
- package/src/cli/commands/__tests__/validate.test.ts +139 -0
- package/src/cli/commands/acceptance.ts +111 -0
- package/src/cli/commands/analyze-sessions.ts +488 -0
- package/src/cli/commands/check.ts +441 -0
- package/src/cli/commands/command.ts +90 -0
- package/src/cli/commands/constraints.ts +86 -0
- package/src/cli/commands/contract.ts +168 -0
- package/src/cli/commands/failure.ts +117 -0
- package/src/cli/commands/flow.ts +275 -0
- package/src/cli/commands/index.ts +26 -0
- package/src/cli/commands/init.ts +832 -0
- package/src/cli/commands/knowledge.ts +391 -0
- package/src/cli/commands/passes-gate.ts +158 -0
- package/src/cli/commands/performance.ts +108 -0
- package/src/cli/commands/posteval-plan.ts +85 -0
- package/src/cli/commands/release.ts +159 -0
- package/src/cli/commands/report.ts +198 -0
- package/src/cli/commands/review.ts +118 -0
- package/src/cli/commands/security.ts +122 -0
- package/src/cli/commands/spec.ts +158 -0
- package/src/cli/commands/status.ts +169 -0
- package/src/cli/commands/sync-docs.ts +743 -0
- package/src/cli/commands/update-user-model.ts +527 -0
- package/src/cli/commands/validate.ts +222 -0
- package/src/constraints/__tests__/lifecycle-runner.test.ts +246 -0
- package/src/constraints/__tests__/registry.test.ts +196 -0
- package/src/constraints/index.ts +3 -0
- package/src/constraints/lifecycle-runner.ts +184 -0
- package/src/constraints/registry.ts +134 -0
- package/src/constraints/types.ts +59 -0
- package/src/context/CONTEXT.md +28 -0
- package/src/context/__tests__/compaction.test.ts +169 -0
- package/src/context/__tests__/file-budget.test.ts +142 -0
- package/src/context/__tests__/knowledge-injector.test.ts +148 -0
- package/src/context/__tests__/progressive-loader.test.ts +264 -0
- package/src/context/__tests__/session-manager.test.ts +300 -0
- package/src/context/__tests__/token-budget.test.ts +338 -0
- package/src/context/__tests__/token-pipeline.test.ts +178 -0
- package/src/context/__tests__/tool-output-budget.test.ts +95 -0
- package/src/context/compaction.ts +202 -0
- package/src/context/file-budget.ts +142 -0
- package/src/context/index.ts +15 -0
- package/src/context/knowledge-injector.ts +168 -0
- package/src/context/progressive-loader.ts +260 -0
- package/src/context/session-manager.ts +343 -0
- package/src/context/token-budget.ts +295 -0
- package/src/context/token-pipeline.ts +265 -0
- package/src/context/tool-output-budget.ts +178 -0
- package/src/context/types.ts +160 -0
- package/src/core/CONTEXT.md +26 -0
- package/src/core/constraints/__tests__/default-executors.test.ts +57 -0
- package/src/core/constraints/__tests__/interceptor.test.ts +251 -0
- package/src/core/constraints/__tests__/prompt-injection.test.ts +89 -0
- package/src/core/constraints/check-cache.ts +96 -0
- package/src/core/constraints/checker.ts +1169 -0
- package/src/core/constraints/default-executors.ts +92 -0
- package/src/core/constraints/definitions.ts +1119 -0
- package/src/core/constraints/doc-freshness/__tests__/runner.test.ts +551 -0
- package/src/core/constraints/doc-freshness/auto-fix.ts +69 -0
- package/src/core/constraints/doc-freshness/runner.ts +486 -0
- package/src/core/constraints/index.ts +78 -0
- package/src/core/constraints/interceptor.ts +220 -0
- package/src/core/constraints/prompt-injection.ts +73 -0
- package/src/core/index.ts +23 -0
- package/src/core/project-config-loader.ts +252 -0
- package/src/core/session/__tests__/startup.test.ts +281 -0
- package/src/core/session/clean-state.ts +178 -0
- package/src/core/session/index.ts +15 -0
- package/src/core/session/startup.ts +253 -0
- package/src/core/spec/__tests__/validator.test.ts +379 -0
- package/src/core/spec/index.ts +7 -0
- package/src/core/spec/validator.ts +383 -0
- package/src/core/validators/__tests__/passes-gate.test.ts +131 -0
- package/src/core/validators/checkpoint.ts +547 -0
- package/src/core/validators/cso.ts +124 -0
- package/src/core/validators/index.ts +25 -0
- package/src/core/validators/passes-gate.ts +613 -0
- package/src/dashboard/CONTEXT.md +21 -0
- package/src/dashboard/__tests__/data.test.ts +115 -0
- package/src/dashboard/__tests__/stats.test.ts +156 -0
- package/src/dashboard/data.ts +113 -0
- package/src/dashboard/index.ts +3 -0
- package/src/dashboard/stats.ts +127 -0
- package/src/dashboard/types.ts +113 -0
- package/src/evolution/CONTEXT.md +22 -0
- package/src/evolution/__tests__/auto-evolve.test.ts +320 -0
- package/src/evolution/auto-evolve.ts +98 -0
- package/src/evolution/index.ts +1 -0
- package/src/failure/CONTEXT.md +24 -0
- package/src/failure/classifier.ts +156 -0
- package/src/failure/constraint-handler.ts +173 -0
- package/src/failure/index.ts +35 -0
- package/src/failure/recorder.ts +201 -0
- package/src/failure/types.ts +165 -0
- package/src/gates/CONTEXT.md +27 -0
- package/src/gates/__tests__/acceptance.test.ts +608 -0
- package/src/gates/__tests__/command.test.ts +206 -0
- package/src/gates/__tests__/performance.test.ts +381 -0
- package/src/gates/__tests__/review.test.ts +302 -0
- package/src/gates/__tests__/security.test.ts +332 -0
- package/src/gates/acceptance.ts +493 -0
- package/src/gates/command.ts +444 -0
- package/src/gates/contract.ts +260 -0
- package/src/gates/index.ts +67 -0
- package/src/gates/performance.ts +359 -0
- package/src/gates/review.ts +169 -0
- package/src/gates/security.ts +244 -0
- package/src/gates/types.ts +159 -0
- package/src/governance/CONTEXT.md +22 -0
- package/src/governance/__tests__/executor.test.ts +249 -0
- package/src/governance/executor.ts +229 -0
- package/src/governance/index.ts +13 -0
- package/src/governance/types.ts +53 -0
- package/src/hooks/CONTEXT.md +23 -0
- package/src/hooks/__tests__/bootstrap.test.ts +184 -0
- package/src/hooks/bootstrap.ts +144 -0
- package/src/hooks/index.ts +15 -0
- package/src/hooks/pipeline.ts +157 -0
- package/src/hooks/registry.ts +88 -0
- package/src/hooks/types.ts +80 -0
- package/src/index.ts +198 -0
- package/src/knowledge/CONTEXT.md +29 -0
- package/src/knowledge/__tests__/doctor.test.ts +272 -0
- package/src/knowledge/__tests__/import.test.ts +376 -0
- package/src/knowledge/__tests__/ingest.test.ts +125 -0
- package/src/knowledge/__tests__/lifecycle-hooks.test.ts +137 -0
- package/src/knowledge/__tests__/lifecycle.test.ts +248 -0
- package/src/knowledge/__tests__/lint.test.ts +401 -0
- package/src/knowledge/__tests__/query.test.ts +185 -0
- package/src/knowledge/__tests__/reference-tracker.test.ts +129 -0
- package/src/knowledge/__tests__/store.test.ts +238 -0
- package/src/knowledge/doctor.ts +104 -0
- package/src/knowledge/import.ts +505 -0
- package/src/knowledge/index.ts +16 -0
- package/src/knowledge/ingest.ts +126 -0
- package/src/knowledge/lifecycle-hooks.ts +199 -0
- package/src/knowledge/lifecycle.ts +175 -0
- package/src/knowledge/lint.ts +360 -0
- package/src/knowledge/query.ts +150 -0
- package/src/knowledge/reference-tracker.ts +99 -0
- package/src/knowledge/store.ts +264 -0
- package/src/knowledge/types.ts +139 -0
- package/src/llm/CONTEXT.md +21 -0
- package/src/llm/__tests__/adapter.test.ts +172 -0
- package/src/llm/adapter.ts +149 -0
- package/src/llm/index.ts +2 -0
- package/src/llm/types.ts +81 -0
- package/src/monitoring/CONTEXT.md +29 -0
- package/src/monitoring/__tests__/context-tracker.test.ts +172 -0
- package/src/monitoring/__tests__/knowledge-doctor.test.ts +276 -0
- package/src/monitoring/__tests__/knowledge-evolver.test.ts +365 -0
- package/src/monitoring/__tests__/performance-analyzer.test.ts +137 -0
- package/src/monitoring/__tests__/performance-collector.test.ts +332 -0
- package/src/monitoring/__tests__/traces.test.ts +190 -0
- package/src/monitoring/constraint-doctor.ts +499 -0
- package/src/monitoring/constraint-evolver.ts +573 -0
- package/src/monitoring/context-tracker.ts +148 -0
- package/src/monitoring/index.ts +23 -0
- package/src/monitoring/knowledge-doctor.ts +323 -0
- package/src/monitoring/knowledge-evolver.ts +289 -0
- package/src/monitoring/performance-analyzer.ts +450 -0
- package/src/monitoring/performance-collector.ts +348 -0
- package/src/monitoring/trace-analyzer.ts +470 -0
- package/src/monitoring/traces.ts +339 -0
- package/src/presets/__tests__/standard.test.ts +104 -0
- package/src/presets/index.ts +16 -0
- package/src/presets/standard.ts +163 -0
- package/src/safety/CONTEXT.md +23 -0
- package/src/safety/__tests__/input-guardrail.test.ts +105 -0
- package/src/safety/__tests__/output-guardrail.test.ts +108 -0
- package/src/safety/__tests__/sandbox.test.ts +158 -0
- package/src/safety/__tests__/tool-guardrail.test.ts +127 -0
- package/src/safety/index.ts +5 -0
- package/src/safety/input-guardrail.ts +133 -0
- package/src/safety/output-guardrail.ts +174 -0
- package/src/safety/sandbox.ts +148 -0
- package/src/safety/tool-guardrail.ts +176 -0
- package/src/safety/types.ts +124 -0
- package/src/spec/CONTEXT.md +19 -0
- package/src/spec/__tests__/annotation-checker.test.ts +289 -0
- package/src/spec/annotation-checker.ts +342 -0
- package/src/tools/CONTEXT.md +25 -0
- package/src/tools/__tests__/loader.test.ts +252 -0
- package/src/tools/__tests__/registry.test.ts +157 -0
- package/src/tools/core/__tests__/core.test.ts +122 -0
- package/src/tools/core/index.ts +201 -0
- package/src/tools/core/package.json +7 -0
- package/src/tools/core/pnpm-lock.yaml +232 -0
- package/src/tools/definitions/core/code/fingerprint.sh +273 -0
- package/src/tools/definitions/core/code/fingerprint.yml +72 -0
- package/src/tools/definitions/core/code/parse.yml +68 -0
- package/src/tools/definitions/core/code/register-language.sh +475 -0
- package/src/tools/definitions/core/code/register-language.yml +74 -0
- package/src/tools/definitions/core/docker/build.yml +73 -0
- package/src/tools/definitions/core/docker/run.yml +81 -0
- package/src/tools/definitions/core/file/copy.yml +88 -0
- package/src/tools/definitions/core/file/read.yml +69 -0
- package/src/tools/definitions/core/file/write.yml +75 -0
- package/src/tools/definitions/core/git/branch.yml +61 -0
- package/src/tools/definitions/core/git/cleanup-worktree.yml +50 -0
- package/src/tools/definitions/core/git/clone.yml +69 -0
- package/src/tools/definitions/core/git/commit.yml +65 -0
- package/src/tools/definitions/core/git/push.yml +79 -0
- package/src/tools/definitions/core/git/worktree.yml +96 -0
- package/src/tools/definitions/core/notification/notify.sh +152 -0
- package/src/tools/definitions/core/notification/notify.yml +60 -0
- package/src/tools/definitions/core/npm/build.yml +75 -0
- package/src/tools/definitions/core/npm/install.yml +58 -0
- package/src/tools/definitions/core/npm/test.yml +75 -0
- package/src/tools/definitions/core/validation/check-reuse.yml +170 -0
- package/src/tools/definitions/core/validation/validate-handlers.yml +118 -0
- package/src/tools/definitions/core/validation/validate-readme-stats.yml +155 -0
- package/src/tools/definitions/core/validation/validate-yaml-syntax.yml +134 -0
- package/src/tools/definitions/ext/browser/browser-automate.sh +255 -0
- package/src/tools/definitions/ext/browser/browser-automate.yml +166 -0
- package/src/tools/definitions/ext/browser/browser-close.sh +104 -0
- package/src/tools/definitions/ext/browser/browser-close.yml +55 -0
- package/src/tools/definitions/ext/browser/browser-mcp-debug.sh +682 -0
- package/src/tools/definitions/ext/browser/browser-mcp-debug.yml +167 -0
- package/src/tools/definitions/ext/browser/browser-start.sh +101 -0
- package/src/tools/definitions/ext/browser/browser-start.yml +62 -0
- package/src/tools/definitions/registry.json +795 -0
- package/src/tools/definitions/std/README.md +350 -0
- package/src/tools/definitions/std/analysis/analyze-codebase.yml +72 -0
- package/src/tools/definitions/std/analysis/analyze-diff.yml +182 -0
- package/src/tools/definitions/std/analysis/analyze-git-diff.yml +70 -0
- package/src/tools/definitions/std/analysis/analyze-impact.yml +78 -0
- package/src/tools/definitions/std/analysis/analyze-requirements.yml +105 -0
- package/src/tools/definitions/std/analysis/brainstorm-options.yml +106 -0
- package/src/tools/definitions/std/analysis/build-graph.yml +154 -0
- package/src/tools/definitions/std/analysis/clarify-requirements.yml +90 -0
- package/src/tools/definitions/std/analysis/detect-context.yml +109 -0
- package/src/tools/definitions/std/analysis/detect-layers.yml +125 -0
- package/src/tools/definitions/std/analysis/generate-tour.yml +102 -0
- package/src/tools/definitions/std/analysis/search-enhance.yml +105 -0
- package/src/tools/definitions/std/backlog/add.yml +51 -0
- package/src/tools/definitions/std/backlog/decide.yml +39 -0
- package/src/tools/definitions/std/backlog/github-sync.yml +161 -0
- package/src/tools/definitions/std/backlog/list.yml +53 -0
- package/src/tools/definitions/std/backlog/load.yml +46 -0
- package/src/tools/definitions/std/backlog/resolve.yml +37 -0
- package/src/tools/definitions/std/backlog/update.yml +42 -0
- package/src/tools/definitions/std/bugfix/diagnose.yml +68 -0
- package/src/tools/definitions/std/bugfix/fix.yml +66 -0
- package/src/tools/definitions/std/bugfix/verify.yml +69 -0
- package/src/tools/definitions/std/constraint/check-decomposition.yml +103 -0
- package/src/tools/definitions/std/constraint/check-feature-list.yml +77 -0
- package/src/tools/definitions/std/constraint/check-progress.yml +97 -0
- package/src/tools/definitions/std/constraint/generate-report.yml +147 -0
- package/src/tools/definitions/std/deploy/commit-push.yml +33 -0
- package/src/tools/definitions/std/deploy/deploy-backend.yml +37 -0
- package/src/tools/definitions/std/deploy/deploy-frontend.yml +37 -0
- package/src/tools/definitions/std/deploy/rollback.yml +148 -0
- package/src/tools/definitions/std/design/analyze-architecture-impact.yml +113 -0
- package/src/tools/definitions/std/design/design-api.yml +55 -0
- package/src/tools/definitions/std/design/design-architecture.yml +97 -0
- package/src/tools/definitions/std/design/design-db.yml +81 -0
- package/src/tools/definitions/std/design/generate-spec.yml +182 -0
- package/src/tools/definitions/std/development/develop-api.yml +85 -0
- package/src/tools/definitions/std/development/develop-backend.yml +88 -0
- package/src/tools/definitions/std/development/develop-frontend.yml +87 -0
- package/src/tools/definitions/std/development/develop-shared-types.yml +74 -0
- package/src/tools/definitions/std/development/develop-task.yml +122 -0
- package/src/tools/definitions/std/development/develop-tests.yml +76 -0
- package/src/tools/definitions/std/development/execute-batch.yml +152 -0
- package/src/tools/definitions/std/development/fix-issues.yml +100 -0
- package/src/tools/definitions/std/development/implement-task.yml +124 -0
- package/src/tools/definitions/std/development/review-fix-cycle.yml +232 -0
- package/src/tools/definitions/std/evolution/implement.yml +125 -0
- package/src/tools/definitions/std/evolution/prioritize.yml +112 -0
- package/src/tools/definitions/std/evolution/report-gap.yml +166 -0
- package/src/tools/definitions/std/file/read.yml +21 -0
- package/src/tools/definitions/std/governance/aggregate-opinions.sh +201 -0
- package/src/tools/definitions/std/governance/aggregate-opinions.yml +79 -0
- package/src/tools/definitions/std/governance/audit-task.yml +178 -0
- package/src/tools/definitions/std/governance/cast-vote.yml +129 -0
- package/src/tools/definitions/std/governance/collect-issues.yml +16 -0
- package/src/tools/definitions/std/governance/create-signed-document.yml +23 -0
- package/src/tools/definitions/std/governance/create-voting-session.yml +101 -0
- package/src/tools/definitions/std/governance/define-stance.sh +243 -0
- package/src/tools/definitions/std/governance/define-stance.yml +82 -0
- package/src/tools/definitions/std/governance/generate-review-report.yml +23 -0
- package/src/tools/definitions/std/governance/impeach.yml +179 -0
- package/src/tools/definitions/std/governance/multi-stance-review.yml +154 -0
- package/src/tools/definitions/std/governance/prepare-artifact.yml +20 -0
- package/src/tools/definitions/std/governance/review-spec-approval.yml +262 -0
- package/src/tools/definitions/std/governance/rollback.yml +186 -0
- package/src/tools/definitions/std/governance/stance-review.yml +149 -0
- package/src/tools/definitions/std/governance/track-effect.yml +199 -0
- package/src/tools/definitions/std/governance/vote-tally.yml +144 -0
- package/src/tools/definitions/std/patch/execute.yml +51 -0
- package/src/tools/definitions/std/planning/generate-tasks.yml +36 -0
- package/src/tools/definitions/std/planning/load-tasks.yml +44 -0
- package/src/tools/definitions/std/planning/split-batch.yml +481 -0
- package/src/tools/definitions/std/planning/split-tasks.yml +359 -0
- package/src/tools/definitions/std/planning/update-tasks.yml +51 -0
- package/src/tools/definitions/std/planning/validate-tasks.yml +46 -0
- package/src/tools/definitions/std/project/decide-next-workflow.yml +38 -0
- package/src/tools/definitions/std/project/load-state.yml +31 -0
- package/src/tools/definitions/std/project/save-state.yml +32 -0
- package/src/tools/definitions/std/quality/check-quality.yml +241 -0
- package/src/tools/definitions/std/quality/debug-systematic.yml +163 -0
- package/src/tools/definitions/std/quality/handle-feedback.yml +108 -0
- package/src/tools/definitions/std/quality/review-code.yml +128 -0
- package/src/tools/definitions/std/quality/review-spec.yml +140 -0
- package/src/tools/definitions/std/quality/review-task.yml +190 -0
- package/src/tools/definitions/std/quality/run-tests.yml +80 -0
- package/src/tools/definitions/std/quick/analyze.yml +56 -0
- package/src/tools/definitions/std/quick/implement.yml +67 -0
- package/src/tools/definitions/std/quick/verify.yml +71 -0
- package/src/tools/definitions/std/verification/verify_completion.yml +113 -0
- package/src/tools/definitions/std/verification/wait-condition.yml +107 -0
- package/src/tools/index.ts +5 -0
- package/src/tools/loader.ts +216 -0
- package/src/tools/paths.ts +15 -0
- package/src/tools/registry.ts +128 -0
- package/src/tools/types.ts +46 -0
- package/src/types/__tests__/types.test.ts +86 -0
- package/src/types/checkpoint.ts +174 -0
- package/src/types/constraint.ts +335 -0
- package/src/types/cso.ts +37 -0
- package/src/types/enforcement.ts +48 -0
- package/src/types/index.ts +59 -0
- package/src/types/iron-law.ts +50 -0
- package/src/types/passes-gate.ts +185 -0
- package/src/types/performance.ts +295 -0
- package/src/types/project-config.ts +251 -0
- package/src/types/session.ts +132 -0
- package/src/types/spec.ts +91 -0
- package/src/types/trace.ts +228 -0
- package/src/utils/detect-source-roots.ts +114 -0
- package/src/utils/exec.ts +61 -0
- package/src/verification/CONTEXT.md +23 -0
- package/src/verification/__tests__/loop.test.ts +303 -0
- package/src/verification/__tests__/rules-based.test.ts +240 -0
- package/src/verification/index.ts +3 -0
- package/src/verification/loop.ts +137 -0
- package/src/verification/rules-based.ts +153 -0
- package/src/verification/types.ts +81 -0
|
@@ -0,0 +1,410 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* ConstraintDoctor 测试
|
|
3
|
+
*/
|
|
4
|
+
|
|
5
|
+
import { describe, it, expect, beforeAll, afterAll, jest } from '@jest/globals';
|
|
6
|
+
import { ConstraintDoctor } from '../monitoring/constraint-doctor';
|
|
7
|
+
import type { TraceAnomaly } from '../types/trace';
|
|
8
|
+
import type { LLMAdapter, Message, LLMOptions, SummarizeConfig } from '../llm/types';
|
|
9
|
+
import * as fs from 'fs';
|
|
10
|
+
import * as path from 'path';
|
|
11
|
+
|
|
12
|
+
function createMockLLM(response: string): LLMAdapter & { complete: jest.Mock } {
|
|
13
|
+
const mock = {
|
|
14
|
+
complete: jest.fn<(prompt: string, options?: LLMOptions) => Promise<string>>().mockResolvedValue(response),
|
|
15
|
+
chat: jest.fn<(messages: Message[], options?: LLMOptions) => Promise<string>>().mockResolvedValue(''),
|
|
16
|
+
streamChat: jest.fn(),
|
|
17
|
+
summarize: jest.fn(),
|
|
18
|
+
extract: jest.fn(),
|
|
19
|
+
};
|
|
20
|
+
return mock as unknown as LLMAdapter & { complete: jest.Mock };
|
|
21
|
+
}
|
|
22
|
+
|
|
23
|
+
describe('ConstraintDoctor', () => {
|
|
24
|
+
const tempDir = path.join(process.cwd(), 'temp-test-doctor');
|
|
25
|
+
let doctor: ConstraintDoctor;
|
|
26
|
+
|
|
27
|
+
beforeAll(() => {
|
|
28
|
+
fs.mkdirSync(tempDir, { recursive: true });
|
|
29
|
+
doctor = new ConstraintDoctor();
|
|
30
|
+
});
|
|
31
|
+
|
|
32
|
+
afterAll(() => {
|
|
33
|
+
try {
|
|
34
|
+
fs.rmSync(tempDir, { recursive: true, force: true });
|
|
35
|
+
} catch {
|
|
36
|
+
// ignore
|
|
37
|
+
}
|
|
38
|
+
});
|
|
39
|
+
|
|
40
|
+
describe('constructor', () => {
|
|
41
|
+
it('应该创建实例', () => {
|
|
42
|
+
expect(doctor).toBeDefined();
|
|
43
|
+
});
|
|
44
|
+
});
|
|
45
|
+
|
|
46
|
+
describe('setData', () => {
|
|
47
|
+
it('应该设置数据', () => {
|
|
48
|
+
doctor.setData([], undefined);
|
|
49
|
+
|
|
50
|
+
expect(doctor).toBeDefined();
|
|
51
|
+
});
|
|
52
|
+
});
|
|
53
|
+
|
|
54
|
+
describe('diagnose', () => {
|
|
55
|
+
it('应该诊断异常', async () => {
|
|
56
|
+
const anomaly: TraceAnomaly = {
|
|
57
|
+
type: 'high_bypass_rate',
|
|
58
|
+
constraintId: 'no_fix_without_root_cause',
|
|
59
|
+
level: 'guideline',
|
|
60
|
+
message: '绕过率过高',
|
|
61
|
+
data: {
|
|
62
|
+
currentRate: 0.5,
|
|
63
|
+
threshold: 0.3,
|
|
64
|
+
},
|
|
65
|
+
detectedAt: Date.now(),
|
|
66
|
+
};
|
|
67
|
+
|
|
68
|
+
const diagnosis = await doctor.diagnose(anomaly);
|
|
69
|
+
|
|
70
|
+
expect(diagnosis).toBeDefined();
|
|
71
|
+
expect(diagnosis.constraintId).toBe('no_fix_without_root_cause');
|
|
72
|
+
});
|
|
73
|
+
|
|
74
|
+
it('应该返回诊断结果', async () => {
|
|
75
|
+
const anomaly: TraceAnomaly = {
|
|
76
|
+
type: 'rising_fail_rate',
|
|
77
|
+
constraintId: 'no_self_approval',
|
|
78
|
+
level: 'iron_law',
|
|
79
|
+
message: '失败率上升',
|
|
80
|
+
data: {
|
|
81
|
+
currentRate: 0.6,
|
|
82
|
+
threshold: 0.5,
|
|
83
|
+
trend: 'rising',
|
|
84
|
+
},
|
|
85
|
+
detectedAt: Date.now(),
|
|
86
|
+
};
|
|
87
|
+
|
|
88
|
+
const diagnosis = await doctor.diagnose(anomaly);
|
|
89
|
+
|
|
90
|
+
expect(diagnosis.rootCause).toBeDefined();
|
|
91
|
+
expect(diagnosis.impact).toBeDefined();
|
|
92
|
+
expect(diagnosis.needsChange).toBeDefined();
|
|
93
|
+
});
|
|
94
|
+
});
|
|
95
|
+
|
|
96
|
+
describe('generateReport', () => {
|
|
97
|
+
it('应该生成报告', () => {
|
|
98
|
+
const diagnosis = {
|
|
99
|
+
anomalyId: 'test',
|
|
100
|
+
constraintId: 'test',
|
|
101
|
+
diagnosedAt: Date.now(),
|
|
102
|
+
rootCause: { primary: 'Test', evidence: [] },
|
|
103
|
+
impact: { severity: 'medium' as const, scope: 'single_project' as const, userImpact: 'Test' },
|
|
104
|
+
recommendations: [],
|
|
105
|
+
needsChange: true,
|
|
106
|
+
urgency: 'medium' as const,
|
|
107
|
+
};
|
|
108
|
+
|
|
109
|
+
const report = doctor.generateReport(diagnosis);
|
|
110
|
+
|
|
111
|
+
expect(typeof report).toBe('string');
|
|
112
|
+
expect(report.length).toBeGreaterThan(0);
|
|
113
|
+
});
|
|
114
|
+
});
|
|
115
|
+
|
|
116
|
+
describe('saveDiagnosis', () => {
|
|
117
|
+
it('应该保存诊断', () => {
|
|
118
|
+
const diagnosis = {
|
|
119
|
+
anomalyId: 'test',
|
|
120
|
+
constraintId: 'test',
|
|
121
|
+
diagnosedAt: Date.now(),
|
|
122
|
+
rootCause: { primary: 'Test', evidence: [] },
|
|
123
|
+
impact: { severity: 'medium' as const, scope: 'single_project' as const, userImpact: 'Test' },
|
|
124
|
+
recommendations: [],
|
|
125
|
+
needsChange: false,
|
|
126
|
+
urgency: 'low' as const,
|
|
127
|
+
};
|
|
128
|
+
|
|
129
|
+
const outputPath = path.join(tempDir, 'diagnosis.json');
|
|
130
|
+
|
|
131
|
+
doctor.saveDiagnosis(diagnosis, outputPath);
|
|
132
|
+
|
|
133
|
+
expect(fs.existsSync(outputPath)).toBe(true);
|
|
134
|
+
});
|
|
135
|
+
});
|
|
136
|
+
|
|
137
|
+
describe('loadDiagnosis', () => {
|
|
138
|
+
it('应该加载诊断', () => {
|
|
139
|
+
const diagnosis = {
|
|
140
|
+
anomalyId: 'test-load',
|
|
141
|
+
constraintId: 'test-load',
|
|
142
|
+
diagnosedAt: Date.now(),
|
|
143
|
+
rootCause: { primary: 'Test', evidence: [] },
|
|
144
|
+
impact: { severity: 'low' as const, scope: 'single_project' as const, userImpact: 'Test' },
|
|
145
|
+
recommendations: [],
|
|
146
|
+
needsChange: false,
|
|
147
|
+
urgency: 'low' as const,
|
|
148
|
+
};
|
|
149
|
+
|
|
150
|
+
const outputPath = path.join(tempDir, 'diagnosis-load.json');
|
|
151
|
+
doctor.saveDiagnosis(diagnosis, outputPath);
|
|
152
|
+
|
|
153
|
+
const loaded = doctor.loadDiagnosis(outputPath);
|
|
154
|
+
|
|
155
|
+
expect(loaded).toBeDefined();
|
|
156
|
+
expect(loaded.anomalyId).toBe('test-load');
|
|
157
|
+
});
|
|
158
|
+
});
|
|
159
|
+
|
|
160
|
+
describe('diagnose - 更多异常类型', () => {
|
|
161
|
+
it('应该诊断 rising_bypass_rate', async () => {
|
|
162
|
+
const anomaly: TraceAnomaly = {
|
|
163
|
+
type: 'rising_bypass_rate',
|
|
164
|
+
constraintId: 'no_fix_without_root_cause',
|
|
165
|
+
level: 'guideline',
|
|
166
|
+
message: '绕过率上升',
|
|
167
|
+
data: { currentRate: 0.4, threshold: 0.2, trend: 'rising' },
|
|
168
|
+
detectedAt: Date.now(),
|
|
169
|
+
};
|
|
170
|
+
|
|
171
|
+
const diagnosis = await doctor.diagnose(anomaly);
|
|
172
|
+
|
|
173
|
+
expect(diagnosis.rootCause.primary).toContain('绕过率');
|
|
174
|
+
expect(diagnosis.needsChange).toBe(true);
|
|
175
|
+
expect(diagnosis.urgency).toBe('high');
|
|
176
|
+
});
|
|
177
|
+
|
|
178
|
+
it('应该诊断 low_pass_rate', async () => {
|
|
179
|
+
const anomaly: TraceAnomaly = {
|
|
180
|
+
type: 'low_pass_rate',
|
|
181
|
+
constraintId: 'no_any_type',
|
|
182
|
+
level: 'guideline',
|
|
183
|
+
message: '通过率过低',
|
|
184
|
+
data: { currentRate: 0.1, threshold: 0.5 },
|
|
185
|
+
detectedAt: Date.now(),
|
|
186
|
+
};
|
|
187
|
+
|
|
188
|
+
const diagnosis = await doctor.diagnose(anomaly);
|
|
189
|
+
|
|
190
|
+
expect(diagnosis.rootCause.primary).toContain('通过率');
|
|
191
|
+
expect(diagnosis.needsChange).toBe(true);
|
|
192
|
+
expect(diagnosis.urgency).toBe('high');
|
|
193
|
+
});
|
|
194
|
+
|
|
195
|
+
it('应该诊断 exception_overuse', async () => {
|
|
196
|
+
const anomaly: TraceAnomaly = {
|
|
197
|
+
type: 'exception_overuse',
|
|
198
|
+
constraintId: 'no_fix_without_root_cause',
|
|
199
|
+
level: 'guideline',
|
|
200
|
+
message: '例外过度使用',
|
|
201
|
+
data: { currentRate: 0.6, threshold: 0.2 },
|
|
202
|
+
detectedAt: Date.now(),
|
|
203
|
+
};
|
|
204
|
+
|
|
205
|
+
const diagnosis = await doctor.diagnose(anomaly);
|
|
206
|
+
|
|
207
|
+
expect(diagnosis.rootCause.primary).toContain('例外');
|
|
208
|
+
expect(diagnosis.needsChange).toBe(true);
|
|
209
|
+
});
|
|
210
|
+
|
|
211
|
+
it('rising_fail_rate 应该设置 severity 为 high 当 iron_law', async () => {
|
|
212
|
+
const anomaly: TraceAnomaly = {
|
|
213
|
+
type: 'rising_fail_rate',
|
|
214
|
+
constraintId: 'no_self_approval',
|
|
215
|
+
level: 'iron_law',
|
|
216
|
+
message: '失败率上升',
|
|
217
|
+
data: { currentRate: 0.7, threshold: 0.3, trend: 'rising' },
|
|
218
|
+
detectedAt: Date.now(),
|
|
219
|
+
};
|
|
220
|
+
|
|
221
|
+
const diagnosis = await doctor.diagnose(anomaly);
|
|
222
|
+
|
|
223
|
+
expect(diagnosis.impact.severity).toBe('high');
|
|
224
|
+
});
|
|
225
|
+
});
|
|
226
|
+
|
|
227
|
+
describe('diagnoseBatch', () => {
|
|
228
|
+
it('应该批量诊断多个异常', async () => {
|
|
229
|
+
const anomalies: TraceAnomaly[] = [
|
|
230
|
+
{
|
|
231
|
+
type: 'high_bypass_rate',
|
|
232
|
+
constraintId: 'no_fix_without_root_cause',
|
|
233
|
+
level: 'guideline',
|
|
234
|
+
message: '绕过率过高',
|
|
235
|
+
data: { currentRate: 0.5, threshold: 0.3 },
|
|
236
|
+
detectedAt: Date.now(),
|
|
237
|
+
},
|
|
238
|
+
{
|
|
239
|
+
type: 'low_pass_rate',
|
|
240
|
+
constraintId: 'no_any_type',
|
|
241
|
+
level: 'guideline',
|
|
242
|
+
message: '通过率过低',
|
|
243
|
+
data: { currentRate: 0.1, threshold: 0.5 },
|
|
244
|
+
detectedAt: Date.now(),
|
|
245
|
+
},
|
|
246
|
+
];
|
|
247
|
+
|
|
248
|
+
const results = await doctor.diagnoseBatch(anomalies);
|
|
249
|
+
|
|
250
|
+
expect(results.length).toBe(2);
|
|
251
|
+
expect(results[0].constraintId).toBe('no_fix_without_root_cause');
|
|
252
|
+
expect(results[1].constraintId).toBe('no_any_type');
|
|
253
|
+
});
|
|
254
|
+
});
|
|
255
|
+
|
|
256
|
+
describe('saveDiagnosis - 目录不存在', () => {
|
|
257
|
+
it('应该自动创建目录', () => {
|
|
258
|
+
const nestedPath = path.join(tempDir, 'nested', 'deep', 'diagnosis.json');
|
|
259
|
+
const diagnosis = {
|
|
260
|
+
anomalyId: 'nested-test',
|
|
261
|
+
constraintId: 'test',
|
|
262
|
+
diagnosedAt: Date.now(),
|
|
263
|
+
rootCause: { primary: 'Test', evidence: [] },
|
|
264
|
+
impact: { severity: 'low' as const, scope: 'single_project' as const, userImpact: 'Test' },
|
|
265
|
+
recommendations: [],
|
|
266
|
+
needsChange: false,
|
|
267
|
+
urgency: 'low' as const,
|
|
268
|
+
};
|
|
269
|
+
|
|
270
|
+
doctor.saveDiagnosis(diagnosis, nestedPath);
|
|
271
|
+
|
|
272
|
+
expect(fs.existsSync(nestedPath)).toBe(true);
|
|
273
|
+
});
|
|
274
|
+
});
|
|
275
|
+
|
|
276
|
+
describe('createDoctor 工厂函数', () => {
|
|
277
|
+
it('应该创建实例', async () => {
|
|
278
|
+
const { createDoctor } = await import('../monitoring/constraint-doctor');
|
|
279
|
+
const d = createDoctor();
|
|
280
|
+
expect(d).toBeDefined();
|
|
281
|
+
});
|
|
282
|
+
});
|
|
283
|
+
|
|
284
|
+
describe('agentDiagnose - LLM 深度诊断', () => {
|
|
285
|
+
it('LLM 未启用时应该返回规则诊断', async () => {
|
|
286
|
+
const mockLLM = createMockLLM('{}');
|
|
287
|
+
const d = new ConstraintDoctor({ enabled: false }, mockLLM);
|
|
288
|
+
const anomaly: TraceAnomaly = {
|
|
289
|
+
type: 'high_bypass_rate',
|
|
290
|
+
constraintId: 'test',
|
|
291
|
+
level: 'guideline',
|
|
292
|
+
message: 'test',
|
|
293
|
+
data: { currentRate: 0.5, threshold: 0.3 },
|
|
294
|
+
detectedAt: Date.now(),
|
|
295
|
+
};
|
|
296
|
+
|
|
297
|
+
const diagnosis = await d.diagnose(anomaly);
|
|
298
|
+
|
|
299
|
+
expect(diagnosis.rootCause.primary).toContain('绕过');
|
|
300
|
+
expect(mockLLM.complete).not.toHaveBeenCalled();
|
|
301
|
+
});
|
|
302
|
+
|
|
303
|
+
it('LLM 启用时应该调用 LLM 并合并结果', async () => {
|
|
304
|
+
const llmResponse = JSON.stringify({
|
|
305
|
+
rootCause: { primary: 'LLM 发现的根因', secondary: ['原因A', '原因B'] },
|
|
306
|
+
impact: { severity: 'high', scope: 'team', userImpact: 'LLM 发现的影响' },
|
|
307
|
+
recommendations: [{ type: 'modify_constraint', content: 'LLM 建议', expectedOutcome: '改善', implementationCost: 'low' }],
|
|
308
|
+
needsChange: true,
|
|
309
|
+
urgency: 'high',
|
|
310
|
+
});
|
|
311
|
+
const mockLLM = createMockLLM(llmResponse);
|
|
312
|
+
const d = new ConstraintDoctor({ enabled: true }, mockLLM);
|
|
313
|
+
const anomaly: TraceAnomaly = {
|
|
314
|
+
type: 'high_bypass_rate',
|
|
315
|
+
constraintId: 'test-constraint',
|
|
316
|
+
level: 'guideline',
|
|
317
|
+
message: 'test',
|
|
318
|
+
data: { currentRate: 0.5, threshold: 0.3 },
|
|
319
|
+
detectedAt: Date.now(),
|
|
320
|
+
};
|
|
321
|
+
|
|
322
|
+
const diagnosis = await d.diagnose(anomaly);
|
|
323
|
+
|
|
324
|
+
expect(mockLLM.complete).toHaveBeenCalledTimes(1);
|
|
325
|
+
expect(diagnosis.rootCause.primary).toBe('LLM 发现的根因');
|
|
326
|
+
expect(diagnosis.impact.severity).toBe('high');
|
|
327
|
+
expect(diagnosis.recommendations[0].content).toBe('LLM 建议');
|
|
328
|
+
});
|
|
329
|
+
|
|
330
|
+
it('LLM 返回被代码块包裹的 JSON 应该正确解析', async () => {
|
|
331
|
+
const llmResponse = '```json\n{"rootCause":{"primary":"嵌套JSON根因"},"needsChange":true}\n```';
|
|
332
|
+
const mockLLM = createMockLLM(llmResponse);
|
|
333
|
+
const d = new ConstraintDoctor({ enabled: true }, mockLLM);
|
|
334
|
+
const anomaly: TraceAnomaly = {
|
|
335
|
+
type: 'rising_fail_rate',
|
|
336
|
+
constraintId: 'test',
|
|
337
|
+
level: 'guideline',
|
|
338
|
+
message: 'test',
|
|
339
|
+
data: { currentRate: 0.5, threshold: 0.3, trend: 'rising' },
|
|
340
|
+
detectedAt: Date.now(),
|
|
341
|
+
};
|
|
342
|
+
|
|
343
|
+
const diagnosis = await d.diagnose(anomaly);
|
|
344
|
+
|
|
345
|
+
expect(diagnosis.rootCause.primary).toBe('嵌套JSON根因');
|
|
346
|
+
});
|
|
347
|
+
|
|
348
|
+
it('LLM 调用失败应该降级到规则诊断', async () => {
|
|
349
|
+
const mockLLM = createMockLLM('');
|
|
350
|
+
(mockLLM.complete as any).mockRejectedValue(new Error('API error'));
|
|
351
|
+
const d = new ConstraintDoctor({ enabled: true }, mockLLM);
|
|
352
|
+
const anomaly: TraceAnomaly = {
|
|
353
|
+
type: 'low_pass_rate',
|
|
354
|
+
constraintId: 'test',
|
|
355
|
+
level: 'guideline',
|
|
356
|
+
message: 'test',
|
|
357
|
+
data: { currentRate: 0.1, threshold: 0.5 },
|
|
358
|
+
detectedAt: Date.now(),
|
|
359
|
+
};
|
|
360
|
+
|
|
361
|
+
const diagnosis = await d.diagnose(anomaly);
|
|
362
|
+
|
|
363
|
+
// 降级到规则诊断
|
|
364
|
+
expect(diagnosis.rootCause.primary).toContain('通过率');
|
|
365
|
+
expect(diagnosis.needsChange).toBe(true);
|
|
366
|
+
});
|
|
367
|
+
|
|
368
|
+
it('LLM 返回无效 JSON 庙该降级到规则诊断', async () => {
|
|
369
|
+
const mockLLM = createMockLLM('这不是 JSON');
|
|
370
|
+
const d = new ConstraintDoctor({ enabled: true }, mockLLM);
|
|
371
|
+
const anomaly: TraceAnomaly = {
|
|
372
|
+
type: 'exception_overuse',
|
|
373
|
+
constraintId: 'test',
|
|
374
|
+
level: 'guideline',
|
|
375
|
+
message: 'test',
|
|
376
|
+
data: { currentRate: 0.6, threshold: 0.2 },
|
|
377
|
+
detectedAt: Date.now(),
|
|
378
|
+
};
|
|
379
|
+
|
|
380
|
+
const diagnosis = await d.diagnose(anomaly);
|
|
381
|
+
|
|
382
|
+
// 降级到规则诊断
|
|
383
|
+
expect(diagnosis.rootCause.primary).toContain('例外');
|
|
384
|
+
});
|
|
385
|
+
|
|
386
|
+
it('应该将 traces 摘要传入 prompt', async () => {
|
|
387
|
+
const mockLLM = createMockLLM('{}');
|
|
388
|
+
const d = new ConstraintDoctor({ enabled: true, maxTracesInPrompt: 5 }, mockLLM);
|
|
389
|
+
d.setData([
|
|
390
|
+
{ constraintId: 'test', result: 'fail', timestamp: Date.now() } as any,
|
|
391
|
+
{ constraintId: 'test', result: 'bypassed', timestamp: Date.now() } as any,
|
|
392
|
+
]);
|
|
393
|
+
const anomaly: TraceAnomaly = {
|
|
394
|
+
type: 'high_bypass_rate',
|
|
395
|
+
constraintId: 'test',
|
|
396
|
+
level: 'guideline',
|
|
397
|
+
message: 'test',
|
|
398
|
+
data: { currentRate: 0.5, threshold: 0.3 },
|
|
399
|
+
detectedAt: Date.now(),
|
|
400
|
+
};
|
|
401
|
+
|
|
402
|
+
await d.diagnose(anomaly);
|
|
403
|
+
|
|
404
|
+
const prompt = (mockLLM.complete as jest.Mock).mock.calls[0][0] as string;
|
|
405
|
+
expect(prompt).toContain('test');
|
|
406
|
+
expect(prompt).toContain('fail');
|
|
407
|
+
expect(prompt).toContain('bypassed');
|
|
408
|
+
});
|
|
409
|
+
});
|
|
410
|
+
});
|