forgecraft-mcp 1.4.0 → 1.7.0
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/LICENSE +67 -0
- package/README.md +527 -525
- package/dist/analyzers/anchors/anchor-loader.d.ts +47 -0
- package/dist/analyzers/anchors/anchor-loader.d.ts.map +1 -0
- package/dist/analyzers/anchors/anchor-loader.js +113 -0
- package/dist/analyzers/anchors/anchor-loader.js.map +1 -0
- package/dist/analyzers/anti-pattern.d.ts.map +1 -1
- package/dist/analyzers/anti-pattern.js +38 -26
- package/dist/analyzers/anti-pattern.js.map +1 -1
- package/dist/analyzers/completeness-helpers.d.ts +5 -0
- package/dist/analyzers/completeness-helpers.d.ts.map +1 -1
- package/dist/analyzers/completeness-helpers.js +17 -0
- package/dist/analyzers/completeness-helpers.js.map +1 -1
- package/dist/analyzers/completeness.d.ts.map +1 -1
- package/dist/analyzers/completeness.js +4 -4
- package/dist/analyzers/completeness.js.map +1 -1
- package/dist/analyzers/gs-scorer.d.ts +3 -1
- package/dist/analyzers/gs-scorer.d.ts.map +1 -1
- package/dist/analyzers/gs-scorer.js +5 -2
- package/dist/analyzers/gs-scorer.js.map +1 -1
- package/dist/analyzers/package-json.d.ts.map +1 -1
- package/dist/analyzers/package-json.js +194 -34
- package/dist/analyzers/package-json.js.map +1 -1
- package/dist/analyzers/scorers/composable-scorer.d.ts +4 -2
- package/dist/analyzers/scorers/composable-scorer.d.ts.map +1 -1
- package/dist/analyzers/scorers/composable-scorer.js +50 -2
- package/dist/analyzers/scorers/composable-scorer.js.map +1 -1
- package/dist/analyzers/scorers/executable-scorer.d.ts +3 -2
- package/dist/analyzers/scorers/executable-scorer.d.ts.map +1 -1
- package/dist/analyzers/scorers/executable-scorer.js +64 -4
- package/dist/analyzers/scorers/executable-scorer.js.map +1 -1
- package/dist/analyzers/scorers/scorer-utils.d.ts +5 -3
- package/dist/analyzers/scorers/scorer-utils.d.ts.map +1 -1
- package/dist/analyzers/scorers/scorer-utils.js +34 -9
- package/dist/analyzers/scorers/scorer-utils.js.map +1 -1
- package/dist/analyzers/scorers/self-describing-scorer.d.ts +7 -4
- package/dist/analyzers/scorers/self-describing-scorer.d.ts.map +1 -1
- package/dist/analyzers/scorers/self-describing-scorer.js +17 -18
- package/dist/analyzers/scorers/self-describing-scorer.js.map +1 -1
- package/dist/cli/help.js +51 -51
- package/dist/disciplines/catalog.d.ts +16 -0
- package/dist/disciplines/catalog.d.ts.map +1 -0
- package/dist/disciplines/catalog.js +196 -0
- package/dist/disciplines/catalog.js.map +1 -0
- package/dist/disciplines/runner.d.ts +13 -0
- package/dist/disciplines/runner.d.ts.map +1 -0
- package/dist/disciplines/runner.js +35 -0
- package/dist/disciplines/runner.js.map +1 -0
- package/dist/registry/composer.d.ts.map +1 -1
- package/dist/registry/composer.js +9 -4
- package/dist/registry/composer.js.map +1 -1
- package/dist/registry/loader-tag.d.ts.map +1 -1
- package/dist/registry/loader-tag.js +1 -0
- package/dist/registry/loader-tag.js.map +1 -1
- package/dist/registry/remote-gates.js +1 -1
- package/dist/registry/remote-gates.js.map +1 -1
- package/dist/registry/renderer-skeletons.js +92 -92
- package/dist/registry/sentinel-renderer.js +299 -20
- package/dist/registry/sentinel-renderer.js.map +1 -1
- package/dist/sentinel/detect.d.ts +41 -0
- package/dist/sentinel/detect.d.ts.map +1 -0
- package/dist/sentinel/detect.js +122 -0
- package/dist/sentinel/detect.js.map +1 -0
- package/dist/sentinel/write.d.ts +54 -0
- package/dist/sentinel/write.d.ts.map +1 -0
- package/dist/sentinel/write.js +75 -0
- package/dist/sentinel/write.js.map +1 -0
- package/dist/shared/cnt-health.d.ts +16 -0
- package/dist/shared/cnt-health.d.ts.map +1 -1
- package/dist/shared/cnt-health.js +55 -8
- package/dist/shared/cnt-health.js.map +1 -1
- package/dist/shared/config.d.ts +14 -0
- package/dist/shared/config.d.ts.map +1 -1
- package/dist/shared/config.js +45 -0
- package/dist/shared/config.js.map +1 -1
- package/dist/shared/gs-score-logger.js +6 -6
- package/dist/shared/hook-installer.d.ts +58 -0
- package/dist/shared/hook-installer.d.ts.map +1 -0
- package/dist/shared/hook-installer.js +316 -0
- package/dist/shared/hook-installer.js.map +1 -0
- package/dist/shared/project-gates-helpers.d.ts +9 -0
- package/dist/shared/project-gates-helpers.d.ts.map +1 -1
- package/dist/shared/project-gates-helpers.js +35 -0
- package/dist/shared/project-gates-helpers.js.map +1 -1
- package/dist/shared/types/config.d.ts +7 -1
- package/dist/shared/types/config.d.ts.map +1 -1
- package/dist/shared/types/gates.d.ts +34 -0
- package/dist/shared/types/gates.d.ts.map +1 -1
- package/dist/shared/types/project.d.ts +68 -2
- package/dist/shared/types/project.d.ts.map +1 -1
- package/dist/shared/types/project.js +1 -0
- package/dist/shared/types/project.js.map +1 -1
- package/dist/shared/types/templates.d.ts +8 -1
- package/dist/shared/types/templates.d.ts.map +1 -1
- package/dist/shared/types/verify.d.ts +51 -1
- package/dist/shared/types/verify.d.ts.map +1 -1
- package/dist/shared/types/verify.js +37 -1
- package/dist/shared/types/verify.js.map +1 -1
- package/dist/tools/add-hook.d.ts.map +1 -1
- package/dist/tools/add-hook.js +8 -1
- package/dist/tools/add-hook.js.map +1 -1
- package/dist/tools/add-module.js +123 -123
- package/dist/tools/advice-registry.d.ts.map +1 -1
- package/dist/tools/advice-registry.js +108 -18
- package/dist/tools/advice-registry.js.map +1 -1
- package/dist/tools/advise-session-advisor.d.ts +16 -0
- package/dist/tools/advise-session-advisor.d.ts.map +1 -0
- package/dist/tools/advise-session-advisor.js +89 -0
- package/dist/tools/advise-session-advisor.js.map +1 -0
- package/dist/tools/advise-session-signals.d.ts +21 -0
- package/dist/tools/advise-session-signals.d.ts.map +1 -0
- package/dist/tools/advise-session-signals.js +113 -0
- package/dist/tools/advise-session-signals.js.map +1 -0
- package/dist/tools/advise-session.d.ts +22 -0
- package/dist/tools/advise-session.d.ts.map +1 -0
- package/dist/tools/advise-session.js +31 -0
- package/dist/tools/advise-session.js.map +1 -0
- package/dist/tools/analyze-harness.d.ts +18 -0
- package/dist/tools/analyze-harness.d.ts.map +1 -0
- package/dist/tools/analyze-harness.js +298 -0
- package/dist/tools/analyze-harness.js.map +1 -0
- package/dist/tools/audit.d.ts.map +1 -1
- package/dist/tools/audit.js +19 -0
- package/dist/tools/audit.js.map +1 -1
- package/dist/tools/change-request.d.ts +53 -0
- package/dist/tools/change-request.d.ts.map +1 -0
- package/dist/tools/change-request.js +395 -0
- package/dist/tools/change-request.js.map +1 -0
- package/dist/tools/check-cascade-contracts.d.ts +13 -0
- package/dist/tools/check-cascade-contracts.d.ts.map +1 -1
- package/dist/tools/check-cascade-contracts.js +73 -2
- package/dist/tools/check-cascade-contracts.js.map +1 -1
- package/dist/tools/check-cascade-report.js +64 -64
- package/dist/tools/check-cascade-steps.d.ts +3 -0
- package/dist/tools/check-cascade-steps.d.ts.map +1 -1
- package/dist/tools/check-cascade-steps.js +104 -15
- package/dist/tools/check-cascade-steps.js.map +1 -1
- package/dist/tools/check-cascade.d.ts +4 -3
- package/dist/tools/check-cascade.d.ts.map +1 -1
- package/dist/tools/check-cascade.js +30 -12
- package/dist/tools/check-cascade.js.map +1 -1
- package/dist/tools/check-derivation-chain.d.ts +37 -0
- package/dist/tools/check-derivation-chain.d.ts.map +1 -0
- package/dist/tools/check-derivation-chain.js +418 -0
- package/dist/tools/check-derivation-chain.js.map +1 -0
- package/dist/tools/check-spec-consistency.d.ts +25 -0
- package/dist/tools/check-spec-consistency.d.ts.map +1 -0
- package/dist/tools/check-spec-consistency.js +339 -0
- package/dist/tools/check-spec-consistency.js.map +1 -0
- package/dist/tools/check-t4.d.ts +54 -0
- package/dist/tools/check-t4.d.ts.map +1 -0
- package/dist/tools/check-t4.js +305 -0
- package/dist/tools/check-t4.js.map +1 -0
- package/dist/tools/close-cycle.d.ts +11 -0
- package/dist/tools/close-cycle.d.ts.map +1 -1
- package/dist/tools/close-cycle.js +364 -4
- package/dist/tools/close-cycle.js.map +1 -1
- package/dist/tools/cnt-add-routing.d.ts +31 -0
- package/dist/tools/cnt-add-routing.d.ts.map +1 -0
- package/dist/tools/cnt-add-routing.js +99 -0
- package/dist/tools/cnt-add-routing.js.map +1 -0
- package/dist/tools/configure-mcp.d.ts.map +1 -1
- package/dist/tools/configure-mcp.js +52 -2
- package/dist/tools/configure-mcp.js.map +1 -1
- package/dist/tools/consolidate-status.d.ts +31 -0
- package/dist/tools/consolidate-status.d.ts.map +1 -1
- package/dist/tools/consolidate-status.js +105 -0
- package/dist/tools/consolidate-status.js.map +1 -1
- package/dist/tools/executable-gates.d.ts +52 -0
- package/dist/tools/executable-gates.d.ts.map +1 -0
- package/dist/tools/executable-gates.js +333 -0
- package/dist/tools/executable-gates.js.map +1 -0
- package/dist/tools/extract-adrs-from-spec.d.ts +33 -0
- package/dist/tools/extract-adrs-from-spec.d.ts.map +1 -0
- package/dist/tools/extract-adrs-from-spec.js +410 -0
- package/dist/tools/extract-adrs-from-spec.js.map +1 -0
- package/dist/tools/extract-adrs-history.d.ts +47 -0
- package/dist/tools/extract-adrs-history.d.ts.map +1 -0
- package/dist/tools/extract-adrs-history.js +265 -0
- package/dist/tools/extract-adrs-history.js.map +1 -0
- package/dist/tools/forgecraft-dispatch-extended.d.ts.map +1 -1
- package/dist/tools/forgecraft-dispatch-extended.js +137 -0
- package/dist/tools/forgecraft-dispatch-extended.js.map +1 -1
- package/dist/tools/forgecraft-dispatch.d.ts.map +1 -1
- package/dist/tools/forgecraft-dispatch.js +16 -0
- package/dist/tools/forgecraft-dispatch.js.map +1 -1
- package/dist/tools/forgecraft-schema-params.d.ts +174 -2
- package/dist/tools/forgecraft-schema-params.d.ts.map +1 -1
- package/dist/tools/forgecraft-schema-params.js +197 -0
- package/dist/tools/forgecraft-schema-params.js.map +1 -1
- package/dist/tools/forgecraft-schema.d.ts +179 -7
- package/dist/tools/forgecraft-schema.d.ts.map +1 -1
- package/dist/tools/forgecraft-schema.js +37 -0
- package/dist/tools/forgecraft-schema.js.map +1 -1
- package/dist/tools/generate-adr.js +6 -6
- package/dist/tools/generate-adr.js.map +1 -1
- package/dist/tools/generate-decision.d.ts +77 -0
- package/dist/tools/generate-decision.d.ts.map +1 -0
- package/dist/tools/generate-decision.js +162 -0
- package/dist/tools/generate-decision.js.map +1 -0
- package/dist/tools/generate-env-probe.d.ts +49 -0
- package/dist/tools/generate-env-probe.d.ts.map +1 -0
- package/dist/tools/generate-env-probe.js +365 -0
- package/dist/tools/generate-env-probe.js.map +1 -0
- package/dist/tools/generate-harness.d.ts +53 -0
- package/dist/tools/generate-harness.d.ts.map +1 -0
- package/dist/tools/generate-harness.js +395 -0
- package/dist/tools/generate-harness.js.map +1 -0
- package/dist/tools/generate-roadmap.d.ts +1 -1
- package/dist/tools/generate-roadmap.d.ts.map +1 -1
- package/dist/tools/generate-roadmap.js +38 -4
- package/dist/tools/generate-roadmap.js.map +1 -1
- package/dist/tools/generate-session-prompt.d.ts +3 -3
- package/dist/tools/generate-session-prompt.d.ts.map +1 -1
- package/dist/tools/generate-session-prompt.js +9 -1
- package/dist/tools/generate-session-prompt.js.map +1 -1
- package/dist/tools/generate-slo-probe.d.ts +53 -0
- package/dist/tools/generate-slo-probe.d.ts.map +1 -0
- package/dist/tools/generate-slo-probe.js +366 -0
- package/dist/tools/generate-slo-probe.js.map +1 -0
- package/dist/tools/layer-status-gates.d.ts +24 -0
- package/dist/tools/layer-status-gates.d.ts.map +1 -0
- package/dist/tools/layer-status-gates.js +151 -0
- package/dist/tools/layer-status-gates.js.map +1 -0
- package/dist/tools/layer-status.d.ts +126 -0
- package/dist/tools/layer-status.d.ts.map +1 -0
- package/dist/tools/layer-status.js +647 -0
- package/dist/tools/layer-status.js.map +1 -0
- package/dist/tools/list.d.ts.map +1 -1
- package/dist/tools/list.js +9 -5
- package/dist/tools/list.js.map +1 -1
- package/dist/tools/postcondition-coverage.d.ts +57 -0
- package/dist/tools/postcondition-coverage.d.ts.map +1 -0
- package/dist/tools/postcondition-coverage.js +256 -0
- package/dist/tools/postcondition-coverage.js.map +1 -0
- package/dist/tools/probe-runners.d.ts +21 -0
- package/dist/tools/probe-runners.d.ts.map +1 -0
- package/dist/tools/probe-runners.js +246 -0
- package/dist/tools/probe-runners.js.map +1 -0
- package/dist/tools/probe-templates.d.ts +27 -0
- package/dist/tools/probe-templates.d.ts.map +1 -0
- package/dist/tools/probe-templates.js +279 -0
- package/dist/tools/probe-templates.js.map +1 -0
- package/dist/tools/propose-session.d.ts +28 -0
- package/dist/tools/propose-session.d.ts.map +1 -0
- package/dist/tools/propose-session.js +333 -0
- package/dist/tools/propose-session.js.map +1 -0
- package/dist/tools/refresh-output.js +14 -14
- package/dist/tools/review-stubs.d.ts +29 -0
- package/dist/tools/review-stubs.d.ts.map +1 -0
- package/dist/tools/review-stubs.js +173 -0
- package/dist/tools/review-stubs.js.map +1 -0
- package/dist/tools/roadmap-builder.d.ts +49 -1
- package/dist/tools/roadmap-builder.d.ts.map +1 -1
- package/dist/tools/roadmap-builder.js +210 -5
- package/dist/tools/roadmap-builder.js.map +1 -1
- package/dist/tools/run-env-probe.d.ts +57 -0
- package/dist/tools/run-env-probe.d.ts.map +1 -0
- package/dist/tools/run-env-probe.js +270 -0
- package/dist/tools/run-env-probe.js.map +1 -0
- package/dist/tools/run-harness.d.ts +52 -0
- package/dist/tools/run-harness.d.ts.map +1 -0
- package/dist/tools/run-harness.js +279 -0
- package/dist/tools/run-harness.js.map +1 -0
- package/dist/tools/run-slo-probe.d.ts +50 -0
- package/dist/tools/run-slo-probe.d.ts.map +1 -0
- package/dist/tools/run-slo-probe.js +281 -0
- package/dist/tools/run-slo-probe.js.map +1 -0
- package/dist/tools/scaffold-spec-stubs.js +115 -115
- package/dist/tools/scaffold-templates.js +62 -62
- package/dist/tools/scaffold-writer.d.ts.map +1 -1
- package/dist/tools/scaffold-writer.js +9 -0
- package/dist/tools/scaffold-writer.js.map +1 -1
- package/dist/tools/score-rubric.d.ts +19 -0
- package/dist/tools/score-rubric.d.ts.map +1 -0
- package/dist/tools/score-rubric.js +411 -0
- package/dist/tools/score-rubric.js.map +1 -0
- package/dist/tools/session-prompt-builders.d.ts +20 -0
- package/dist/tools/session-prompt-builders.d.ts.map +1 -1
- package/dist/tools/session-prompt-builders.js +78 -5
- package/dist/tools/session-prompt-builders.js.map +1 -1
- package/dist/tools/session-prompt-sections.d.ts +4 -2
- package/dist/tools/session-prompt-sections.d.ts.map +1 -1
- package/dist/tools/session-prompt-sections.js +22 -10
- package/dist/tools/session-prompt-sections.js.map +1 -1
- package/dist/tools/setup-artifact-writers.d.ts +69 -4
- package/dist/tools/setup-artifact-writers.d.ts.map +1 -1
- package/dist/tools/setup-artifact-writers.js +681 -5
- package/dist/tools/setup-artifact-writers.js.map +1 -1
- package/dist/tools/setup-cnt-builders.d.ts.map +1 -1
- package/dist/tools/setup-cnt-builders.js +162 -34
- package/dist/tools/setup-cnt-builders.js.map +1 -1
- package/dist/tools/setup-monitoring.d.ts +41 -0
- package/dist/tools/setup-monitoring.d.ts.map +1 -0
- package/dist/tools/setup-monitoring.js +364 -0
- package/dist/tools/setup-monitoring.js.map +1 -0
- package/dist/tools/setup-phase1.d.ts.map +1 -1
- package/dist/tools/setup-phase1.js +14 -1
- package/dist/tools/setup-phase1.js.map +1 -1
- package/dist/tools/setup-phase2.d.ts +14 -0
- package/dist/tools/setup-phase2.d.ts.map +1 -1
- package/dist/tools/setup-phase2.js +130 -3
- package/dist/tools/setup-phase2.js.map +1 -1
- package/dist/tools/setup-project.d.ts +8 -0
- package/dist/tools/setup-project.d.ts.map +1 -1
- package/dist/tools/setup-project.js +52 -2
- package/dist/tools/setup-project.js.map +1 -1
- package/dist/tools/spec-parser-tags.d.ts.map +1 -1
- package/dist/tools/spec-parser-tags.js +1 -0
- package/dist/tools/spec-parser-tags.js.map +1 -1
- package/dist/tools/verify-formatter.d.ts.map +1 -1
- package/dist/tools/verify-formatter.js +15 -1
- package/dist/tools/verify-formatter.js.map +1 -1
- package/dist/tools/verify.d.ts.map +1 -1
- package/dist/tools/verify.js +3 -0
- package/dist/tools/verify.js.map +1 -1
- package/package.json +98 -89
- package/templates/analytics/instructions.yaml +37 -37
- package/templates/analytics/mcp-servers.yaml +11 -11
- package/templates/analytics/structure.yaml +25 -25
- package/templates/api/harness/uc-template.hurl +20 -0
- package/templates/api/instructions.yaml +231 -231
- package/templates/api/mcp-servers.yaml +22 -22
- package/templates/api/nfr.yaml +23 -23
- package/templates/api/review.yaml +103 -103
- package/templates/api/structure.yaml +34 -34
- package/templates/api/verification.yaml +132 -132
- package/templates/cli/instructions.yaml +31 -31
- package/templates/cli/mcp-servers.yaml +11 -11
- package/templates/cli/review.yaml +53 -53
- package/templates/cli/structure.yaml +16 -16
- package/templates/data-lineage/instructions.yaml +28 -28
- package/templates/data-lineage/mcp-servers.yaml +22 -22
- package/templates/data-pipeline/instructions.yaml +84 -84
- package/templates/data-pipeline/mcp-servers.yaml +13 -13
- package/templates/data-pipeline/nfr.yaml +39 -39
- package/templates/data-pipeline/structure.yaml +23 -23
- package/templates/docs-manifest.yaml +227 -0
- package/templates/fintech/hooks.yaml +55 -55
- package/templates/fintech/instructions.yaml +112 -112
- package/templates/fintech/mcp-servers.yaml +13 -13
- package/templates/fintech/nfr.yaml +46 -46
- package/templates/fintech/playbook.yaml +210 -210
- package/templates/fintech/verification.yaml +239 -239
- package/templates/game/harness/uc-template.sim.ts +29 -0
- package/templates/game/instructions.yaml +289 -289
- package/templates/game/mcp-servers.yaml +38 -38
- package/templates/game/nfr.yaml +64 -64
- package/templates/game/playbook.yaml +214 -214
- package/templates/game/review.yaml +97 -97
- package/templates/game/structure.yaml +67 -67
- package/templates/game/verification.yaml +174 -174
- package/templates/healthcare/instructions.yaml +42 -42
- package/templates/healthcare/mcp-servers.yaml +13 -13
- package/templates/healthcare/nfr.yaml +47 -47
- package/templates/hipaa/instructions.yaml +41 -41
- package/templates/hipaa/mcp-servers.yaml +13 -13
- package/templates/infra/instructions.yaml +104 -104
- package/templates/infra/mcp-servers.yaml +20 -20
- package/templates/infra/nfr.yaml +46 -46
- package/templates/infra/review.yaml +65 -65
- package/templates/infra/structure.yaml +25 -25
- package/templates/library/instructions.yaml +36 -36
- package/templates/library/mcp-servers.yaml +20 -20
- package/templates/library/review.yaml +56 -56
- package/templates/library/structure.yaml +19 -19
- package/templates/medallion-architecture/instructions.yaml +41 -41
- package/templates/medallion-architecture/mcp-servers.yaml +22 -22
- package/templates/ml/instructions.yaml +85 -85
- package/templates/ml/mcp-servers.yaml +11 -11
- package/templates/ml/nfr.yaml +39 -39
- package/templates/ml/structure.yaml +25 -25
- package/templates/ml/verification.yaml +156 -156
- package/templates/mobile/instructions.yaml +44 -44
- package/templates/mobile/mcp-servers.yaml +11 -11
- package/templates/mobile/nfr.yaml +49 -49
- package/templates/mobile/structure.yaml +27 -27
- package/templates/mobile/verification.yaml +121 -121
- package/templates/observability-xray/instructions.yaml +40 -40
- package/templates/observability-xray/mcp-servers.yaml +15 -15
- package/templates/realtime/instructions.yaml +42 -42
- package/templates/realtime/mcp-servers.yaml +13 -13
- package/templates/soc2/instructions.yaml +41 -41
- package/templates/soc2/mcp-servers.yaml +24 -24
- package/templates/social/instructions.yaml +43 -43
- package/templates/social/mcp-servers.yaml +24 -24
- package/templates/state-machine/instructions.yaml +42 -42
- package/templates/state-machine/mcp-servers.yaml +11 -11
- package/templates/tools-registry.yaml +164 -164
- package/templates/universal/claude-md-blocks/layer-navigation.md +20 -0
- package/templates/universal/claude-md-blocks/nfr-contracts.md +22 -0
- package/templates/universal/hooks.yaml +879 -723
- package/templates/universal/instructions.yaml +1692 -1692
- package/templates/universal/mcp-servers.yaml +50 -50
- package/templates/universal/nfr.yaml +197 -197
- package/templates/universal/reference.yaml +326 -326
- package/templates/universal/review.yaml +204 -204
- package/templates/universal/skills.yaml +262 -262
- package/templates/universal/structure.yaml +67 -67
- package/templates/universal/verification.yaml +416 -416
- package/templates/web-next/hooks.yaml +114 -0
- package/templates/web-next/instructions.yaml +106 -0
- package/templates/web-react/harness/uc-template.spec.ts +35 -0
- package/templates/web-react/hooks.yaml +156 -44
- package/templates/web-react/instructions.yaml +296 -207
- package/templates/web-react/mcp-servers.yaml +20 -20
- package/templates/web-react/nfr.yaml +27 -27
- package/templates/web-react/review.yaml +94 -94
- package/templates/web-react/structure.yaml +46 -46
- package/templates/web-react/verification.yaml +126 -126
- package/templates/web-static/hooks.yaml +85 -0
- package/templates/web-static/instructions.yaml +204 -115
- package/templates/web-static/mcp-servers.yaml +20 -20
- package/templates/web3/instructions.yaml +44 -44
- package/templates/web3/mcp-servers.yaml +11 -11
- package/templates/web3/verification.yaml +159 -159
- package/templates/zero-trust/instructions.yaml +41 -41
- package/templates/zero-trust/mcp-servers.yaml +15 -15
|
@@ -0,0 +1,418 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* check_derivation_chain tool handler.
|
|
3
|
+
*
|
|
4
|
+
* Verifies that spec artifacts form a coherent derivation chain:
|
|
5
|
+
* PRD → Use Cases → ADRs → L2 Probes → L3/L4 Probes → Gates
|
|
6
|
+
*
|
|
7
|
+
* Checks:
|
|
8
|
+
* 1. PRD / spec artifact present
|
|
9
|
+
* 2. Use cases present and well-formed
|
|
10
|
+
* 3. Each UC has a corresponding L2 probe file
|
|
11
|
+
* 4. Each L2 probe file references its UC ID
|
|
12
|
+
* 5. ADRs exist with meaningful quality (Accepted vs Retroactive ratio)
|
|
13
|
+
* 6. Cross-references: UCs that mention ADR IDs, ADRs that mention UC IDs
|
|
14
|
+
* 7. Gates: at least some reference a UC or ADR ID
|
|
15
|
+
*
|
|
16
|
+
* Emits a chain score (0-100%) and a list of specific breaks.
|
|
17
|
+
* Read-only — no files written.
|
|
18
|
+
*/
|
|
19
|
+
import { existsSync, readFileSync, readdirSync } from "node:fs";
|
|
20
|
+
import { join } from "node:path";
|
|
21
|
+
import { getActiveProjectGates } from "../shared/project-gates.js";
|
|
22
|
+
// ── Helpers ───────────────────────────────────────────────────────────
|
|
23
|
+
function safeRead(path) {
|
|
24
|
+
try {
|
|
25
|
+
return readFileSync(path, "utf-8");
|
|
26
|
+
}
|
|
27
|
+
catch {
|
|
28
|
+
return "";
|
|
29
|
+
}
|
|
30
|
+
}
|
|
31
|
+
function listMdFiles(dir) {
|
|
32
|
+
if (!existsSync(dir))
|
|
33
|
+
return [];
|
|
34
|
+
try {
|
|
35
|
+
return readdirSync(dir).filter((f) => f.endsWith(".md"));
|
|
36
|
+
}
|
|
37
|
+
catch {
|
|
38
|
+
return [];
|
|
39
|
+
}
|
|
40
|
+
}
|
|
41
|
+
/** UC IDs from docs/use-cases/UC-NNN-*.md filenames. */
|
|
42
|
+
function readUcIds(projectDir) {
|
|
43
|
+
const dir = join(projectDir, "docs", "use-cases");
|
|
44
|
+
if (!existsSync(dir))
|
|
45
|
+
return [];
|
|
46
|
+
try {
|
|
47
|
+
return readdirSync(dir)
|
|
48
|
+
.filter((f) => /^UC-\d{3}/.test(f))
|
|
49
|
+
.map((f) => /^(UC-\d{3})/.exec(f)?.[1] ?? "")
|
|
50
|
+
.filter(Boolean);
|
|
51
|
+
}
|
|
52
|
+
catch {
|
|
53
|
+
return [];
|
|
54
|
+
}
|
|
55
|
+
}
|
|
56
|
+
/** L2 probe files from tests/harness/. */
|
|
57
|
+
function readProbeFiles(projectDir) {
|
|
58
|
+
const dirs = [
|
|
59
|
+
join(projectDir, "tests", "harness"),
|
|
60
|
+
join(projectDir, "test", "harness"),
|
|
61
|
+
];
|
|
62
|
+
for (const dir of dirs) {
|
|
63
|
+
if (existsSync(dir)) {
|
|
64
|
+
try {
|
|
65
|
+
return readdirSync(dir).filter((f) => f.endsWith(".hurl") || f.endsWith(".ts") || f.endsWith(".sh"));
|
|
66
|
+
}
|
|
67
|
+
catch {
|
|
68
|
+
return [];
|
|
69
|
+
}
|
|
70
|
+
}
|
|
71
|
+
}
|
|
72
|
+
return [];
|
|
73
|
+
}
|
|
74
|
+
/** ADR files with their status extracted. */
|
|
75
|
+
function readAdrStatuses(projectDir) {
|
|
76
|
+
const canonical = join(projectDir, "docs", "adrs", "active");
|
|
77
|
+
const legacy = join(projectDir, "docs", "adrs");
|
|
78
|
+
const dir = existsSync(canonical) ? canonical : legacy;
|
|
79
|
+
return listMdFiles(dir).map((f) => {
|
|
80
|
+
const content = safeRead(join(dir, f));
|
|
81
|
+
const match = /\*\*Status:\*\*\s*(\w+)/i.exec(content);
|
|
82
|
+
return { file: f, status: match?.[1]?.trim() ?? null };
|
|
83
|
+
});
|
|
84
|
+
}
|
|
85
|
+
// ── Chain link evaluators ─────────────────────────────────────────────
|
|
86
|
+
function checkPrd(projectDir) {
|
|
87
|
+
const candidates = [
|
|
88
|
+
join(projectDir, "docs", "PRD.md"),
|
|
89
|
+
join(projectDir, "docs", "prd.md"),
|
|
90
|
+
join(projectDir, "docs", "spec.md"),
|
|
91
|
+
join(projectDir, "docs", "SPEC.md"),
|
|
92
|
+
join(projectDir, "README.md"),
|
|
93
|
+
];
|
|
94
|
+
const found = candidates.find((p) => existsSync(p));
|
|
95
|
+
if (!found) {
|
|
96
|
+
return {
|
|
97
|
+
name: "PRD / Spec",
|
|
98
|
+
score: 0,
|
|
99
|
+
detail: "No PRD or spec artifact found",
|
|
100
|
+
breaks: ["Missing docs/PRD.md — root of the derivation chain"],
|
|
101
|
+
};
|
|
102
|
+
}
|
|
103
|
+
const content = safeRead(found);
|
|
104
|
+
const wordCount = content.split(/\s+/).filter(Boolean).length;
|
|
105
|
+
const relPath = found.replace(projectDir, "").replace(/^[\\/]/, "");
|
|
106
|
+
if (wordCount < 100) {
|
|
107
|
+
return {
|
|
108
|
+
name: "PRD / Spec",
|
|
109
|
+
score: 0.5,
|
|
110
|
+
detail: `${relPath} present but thin (${wordCount} words)`,
|
|
111
|
+
breaks: [
|
|
112
|
+
`${relPath} exists but has only ${wordCount} words — may not be a real spec`,
|
|
113
|
+
],
|
|
114
|
+
};
|
|
115
|
+
}
|
|
116
|
+
return {
|
|
117
|
+
name: "PRD / Spec",
|
|
118
|
+
score: 1,
|
|
119
|
+
detail: `${relPath} present (${wordCount} words)`,
|
|
120
|
+
breaks: [],
|
|
121
|
+
};
|
|
122
|
+
}
|
|
123
|
+
function checkUcs(projectDir) {
|
|
124
|
+
const ucIds = readUcIds(projectDir);
|
|
125
|
+
// Fall back to monolith use-cases.md
|
|
126
|
+
const monolithPath = join(projectDir, "docs", "use-cases.md");
|
|
127
|
+
if (ucIds.length === 0 && existsSync(monolithPath)) {
|
|
128
|
+
const content = safeRead(monolithPath);
|
|
129
|
+
const matches = content.match(/##\s+UC-\d{3}/g) ?? [];
|
|
130
|
+
if (matches.length > 0) {
|
|
131
|
+
return {
|
|
132
|
+
link: {
|
|
133
|
+
name: "Use Cases",
|
|
134
|
+
score: 0.5,
|
|
135
|
+
detail: `${matches.length} UCs in monolith docs/use-cases.md (split into UC-*.md for full credit)`,
|
|
136
|
+
breaks: [
|
|
137
|
+
"Use cases in monolith format — split into docs/use-cases/UC-*.md for derivation chain tracking",
|
|
138
|
+
],
|
|
139
|
+
},
|
|
140
|
+
ucIds: matches.map((m) => m.replace(/##\s+/, "").trim()),
|
|
141
|
+
};
|
|
142
|
+
}
|
|
143
|
+
}
|
|
144
|
+
if (ucIds.length === 0) {
|
|
145
|
+
return {
|
|
146
|
+
link: {
|
|
147
|
+
name: "Use Cases",
|
|
148
|
+
score: 0,
|
|
149
|
+
detail: "No use case files found",
|
|
150
|
+
breaks: ["No use cases — add docs/use-cases/UC-NNN-*.md files"],
|
|
151
|
+
},
|
|
152
|
+
ucIds: [],
|
|
153
|
+
};
|
|
154
|
+
}
|
|
155
|
+
return {
|
|
156
|
+
link: {
|
|
157
|
+
name: "Use Cases",
|
|
158
|
+
score: 1,
|
|
159
|
+
detail: `${ucIds.length} UC file(s) in docs/use-cases/`,
|
|
160
|
+
breaks: [],
|
|
161
|
+
},
|
|
162
|
+
ucIds,
|
|
163
|
+
};
|
|
164
|
+
}
|
|
165
|
+
function checkProbeBinding(projectDir, ucIds) {
|
|
166
|
+
const probeFiles = readProbeFiles(projectDir);
|
|
167
|
+
if (ucIds.length === 0) {
|
|
168
|
+
return {
|
|
169
|
+
name: "UC → Probe Binding",
|
|
170
|
+
score: probeFiles.length > 0 ? 0.5 : 0,
|
|
171
|
+
detail: probeFiles.length > 0
|
|
172
|
+
? `${probeFiles.length} probe file(s) exist but no UC IDs to match against`
|
|
173
|
+
: "No UCs and no probe files",
|
|
174
|
+
breaks: probeFiles.length > 0
|
|
175
|
+
? [
|
|
176
|
+
"Probes exist but UC catalog is empty — add UC files to complete the binding",
|
|
177
|
+
]
|
|
178
|
+
: ["No UC → probe binding — add use cases and harness probes"],
|
|
179
|
+
};
|
|
180
|
+
}
|
|
181
|
+
const boundUcs = ucIds.filter((id) => probeFiles.some((f) => f.toUpperCase().includes(id.toUpperCase())));
|
|
182
|
+
const unboundUcs = ucIds.filter((id) => !boundUcs.includes(id));
|
|
183
|
+
const ratio = boundUcs.length / ucIds.length;
|
|
184
|
+
const score = ratio === 1 ? 1 : ratio >= 0.5 ? 0.5 : 0;
|
|
185
|
+
return {
|
|
186
|
+
name: "UC → Probe Binding",
|
|
187
|
+
score,
|
|
188
|
+
detail: `${boundUcs.length}/${ucIds.length} UCs have probe files`,
|
|
189
|
+
breaks: unboundUcs.map((id) => `${id} has no L2 probe — run generate_harness`),
|
|
190
|
+
};
|
|
191
|
+
}
|
|
192
|
+
function checkProbeReferences(projectDir, ucIds) {
|
|
193
|
+
const probeFiles = readProbeFiles(projectDir);
|
|
194
|
+
if (probeFiles.length === 0) {
|
|
195
|
+
return {
|
|
196
|
+
name: "Probe → UC Back-Reference",
|
|
197
|
+
score: 0,
|
|
198
|
+
detail: "No probe files to check",
|
|
199
|
+
breaks: [],
|
|
200
|
+
};
|
|
201
|
+
}
|
|
202
|
+
const harnessDir = [
|
|
203
|
+
join(projectDir, "tests", "harness"),
|
|
204
|
+
join(projectDir, "test", "harness"),
|
|
205
|
+
].find(existsSync);
|
|
206
|
+
if (!harnessDir) {
|
|
207
|
+
return {
|
|
208
|
+
name: "Probe → UC Back-Reference",
|
|
209
|
+
score: 0.5,
|
|
210
|
+
detail: "Probe files found but harness directory not located",
|
|
211
|
+
breaks: [],
|
|
212
|
+
};
|
|
213
|
+
}
|
|
214
|
+
const probesWithRef = probeFiles.filter((f) => {
|
|
215
|
+
const content = safeRead(join(harnessDir, f));
|
|
216
|
+
return ucIds.some((id) => content.includes(id));
|
|
217
|
+
});
|
|
218
|
+
const ratio = probeFiles.length > 0 ? probesWithRef.length / probeFiles.length : 0;
|
|
219
|
+
const score = ratio >= 0.8 ? 1 : ratio >= 0.4 ? 0.5 : 0;
|
|
220
|
+
const unreferencedProbes = probeFiles.filter((f) => {
|
|
221
|
+
const content = safeRead(join(harnessDir, f));
|
|
222
|
+
return !ucIds.some((id) => content.includes(id));
|
|
223
|
+
});
|
|
224
|
+
return {
|
|
225
|
+
name: "Probe → UC Back-Reference",
|
|
226
|
+
score,
|
|
227
|
+
detail: `${probesWithRef.length}/${probeFiles.length} probes reference a UC ID`,
|
|
228
|
+
breaks: unreferencedProbes.map((f) => `${f} does not reference any UC ID — add a comment or header linking it back`),
|
|
229
|
+
};
|
|
230
|
+
}
|
|
231
|
+
function checkAdrs(projectDir) {
|
|
232
|
+
const adrs = readAdrStatuses(projectDir);
|
|
233
|
+
if (adrs.length === 0) {
|
|
234
|
+
return {
|
|
235
|
+
link: {
|
|
236
|
+
name: "ADRs",
|
|
237
|
+
score: 0,
|
|
238
|
+
detail: "No ADR files found",
|
|
239
|
+
breaks: [
|
|
240
|
+
"No ADRs — run extract_adrs_from_history for brownfield, or generate_adr for new decisions",
|
|
241
|
+
],
|
|
242
|
+
},
|
|
243
|
+
adrFiles: [],
|
|
244
|
+
};
|
|
245
|
+
}
|
|
246
|
+
const accepted = adrs.filter((a) => a.status?.toLowerCase() === "accepted").length;
|
|
247
|
+
const retroactive = adrs.filter((a) => a.status?.toLowerCase() === "retroactive").length;
|
|
248
|
+
const ratio = accepted / adrs.length;
|
|
249
|
+
const score = ratio >= 0.7 ? 1 : adrs.length > 0 ? 0.5 : 0;
|
|
250
|
+
const breaks = [];
|
|
251
|
+
if (retroactive > 0) {
|
|
252
|
+
breaks.push(`${retroactive} ADR(s) still Retroactive — run review_stubs to triage and fill them`);
|
|
253
|
+
}
|
|
254
|
+
return {
|
|
255
|
+
link: {
|
|
256
|
+
name: "ADRs",
|
|
257
|
+
score,
|
|
258
|
+
detail: `${adrs.length} ADR(s): ${accepted} Accepted, ${retroactive} Retroactive`,
|
|
259
|
+
breaks,
|
|
260
|
+
},
|
|
261
|
+
adrFiles: adrs.map((a) => a.file),
|
|
262
|
+
};
|
|
263
|
+
}
|
|
264
|
+
function checkCrossReferences(projectDir, ucIds, adrFiles) {
|
|
265
|
+
if (ucIds.length === 0 || adrFiles.length === 0) {
|
|
266
|
+
return {
|
|
267
|
+
name: "UC ↔ ADR Cross-References",
|
|
268
|
+
score: 0.5,
|
|
269
|
+
detail: "Skipped — no UCs or ADRs to cross-check",
|
|
270
|
+
breaks: [],
|
|
271
|
+
};
|
|
272
|
+
}
|
|
273
|
+
const adrDir = existsSync(join(projectDir, "docs", "adrs", "active"))
|
|
274
|
+
? join(projectDir, "docs", "adrs", "active")
|
|
275
|
+
: join(projectDir, "docs", "adrs");
|
|
276
|
+
const ucDir = join(projectDir, "docs", "use-cases");
|
|
277
|
+
// ADRs that mention a UC ID
|
|
278
|
+
const anchored = adrFiles.filter((f) => {
|
|
279
|
+
const content = safeRead(join(adrDir, f));
|
|
280
|
+
return ucIds.some((id) => content.includes(id));
|
|
281
|
+
});
|
|
282
|
+
// UCs that mention an ADR ID
|
|
283
|
+
const ucFiles = existsSync(ucDir) ? listMdFiles(ucDir) : [];
|
|
284
|
+
const ucsMentioningAdrs = ucFiles.filter((f) => {
|
|
285
|
+
const content = safeRead(join(ucDir, f));
|
|
286
|
+
return /ADR-\d{4}/i.test(content);
|
|
287
|
+
});
|
|
288
|
+
const anchorRatio = anchored.length / adrFiles.length;
|
|
289
|
+
const score = anchorRatio >= 0.5 || ucsMentioningAdrs.length > 0 ? 1 : 0.5;
|
|
290
|
+
const breaks = [];
|
|
291
|
+
if (anchored.length === 0 && ucsMentioningAdrs.length === 0) {
|
|
292
|
+
breaks.push("No cross-references between UCs and ADRs — consider adding ADR IDs to relevant UCs and UC IDs to relevant ADRs");
|
|
293
|
+
}
|
|
294
|
+
return {
|
|
295
|
+
name: "UC ↔ ADR Cross-References",
|
|
296
|
+
score,
|
|
297
|
+
detail: `${anchored.length}/${adrFiles.length} ADRs reference a UC · ${ucsMentioningAdrs.length}/${ucFiles.length} UCs reference an ADR`,
|
|
298
|
+
breaks,
|
|
299
|
+
};
|
|
300
|
+
}
|
|
301
|
+
function checkGateAnchoring(projectDir, ucIds, adrFiles) {
|
|
302
|
+
let gates = [];
|
|
303
|
+
try {
|
|
304
|
+
gates = getActiveProjectGates(projectDir).map((g) => ({
|
|
305
|
+
id: g.id,
|
|
306
|
+
description: g.description ?? "",
|
|
307
|
+
}));
|
|
308
|
+
}
|
|
309
|
+
catch {
|
|
310
|
+
return {
|
|
311
|
+
name: "Gates ↔ Spec Anchoring",
|
|
312
|
+
score: 0.5,
|
|
313
|
+
detail: "Could not read active gates",
|
|
314
|
+
breaks: [],
|
|
315
|
+
};
|
|
316
|
+
}
|
|
317
|
+
if (gates.length === 0) {
|
|
318
|
+
return {
|
|
319
|
+
name: "Gates ↔ Spec Anchoring",
|
|
320
|
+
score: 0,
|
|
321
|
+
detail: "No active project gates",
|
|
322
|
+
breaks: [
|
|
323
|
+
"No gates defined — run audit or generate a gate for each error-class spec violation",
|
|
324
|
+
],
|
|
325
|
+
};
|
|
326
|
+
}
|
|
327
|
+
const adrIds = adrFiles
|
|
328
|
+
.map((f) => /^(\d{4})-/.exec(f)?.[1] ?? "")
|
|
329
|
+
.filter(Boolean);
|
|
330
|
+
const anchored = gates.filter((g) => {
|
|
331
|
+
const searchable = `${g.id} ${g.description}`.toLowerCase();
|
|
332
|
+
return (ucIds.some((id) => searchable.includes(id.toLowerCase())) ||
|
|
333
|
+
adrIds.some((id) => searchable.includes(`adr-${id}`.toLowerCase())) ||
|
|
334
|
+
adrIds.some((id) => searchable.includes(id)));
|
|
335
|
+
});
|
|
336
|
+
const ratio = anchored.length / gates.length;
|
|
337
|
+
const score = ratio >= 0.5 ? 1 : gates.length > 0 ? 0.5 : 0;
|
|
338
|
+
return {
|
|
339
|
+
name: "Gates ↔ Spec Anchoring",
|
|
340
|
+
score,
|
|
341
|
+
detail: `${anchored.length}/${gates.length} gates explicitly reference a UC or ADR`,
|
|
342
|
+
breaks: anchored.length === 0
|
|
343
|
+
? [
|
|
344
|
+
"No gates reference a UC or ADR ID — consider adding UC/ADR references to gate descriptions for full chain traceability",
|
|
345
|
+
]
|
|
346
|
+
: [],
|
|
347
|
+
};
|
|
348
|
+
}
|
|
349
|
+
// ── Report builder ────────────────────────────────────────────────────
|
|
350
|
+
export function buildDerivationChainReport(projectDir) {
|
|
351
|
+
const prdLink = checkPrd(projectDir);
|
|
352
|
+
const { link: ucLink, ucIds } = checkUcs(projectDir);
|
|
353
|
+
const probeBindingLink = checkProbeBinding(projectDir, ucIds);
|
|
354
|
+
const probeRefLink = checkProbeReferences(projectDir, ucIds);
|
|
355
|
+
const { link: adrLink, adrFiles } = checkAdrs(projectDir);
|
|
356
|
+
const crossRefLink = checkCrossReferences(projectDir, ucIds, adrFiles);
|
|
357
|
+
const gateLink = checkGateAnchoring(projectDir, ucIds, adrFiles);
|
|
358
|
+
const links = [
|
|
359
|
+
prdLink,
|
|
360
|
+
ucLink,
|
|
361
|
+
probeBindingLink,
|
|
362
|
+
probeRefLink,
|
|
363
|
+
adrLink,
|
|
364
|
+
crossRefLink,
|
|
365
|
+
gateLink,
|
|
366
|
+
];
|
|
367
|
+
const totalScore = links.reduce((sum, l) => sum + l.score, 0);
|
|
368
|
+
const chainScore = Math.round((totalScore / links.length) * 100);
|
|
369
|
+
const breaks = links.flatMap((l) => l.breaks);
|
|
370
|
+
const strengths = links
|
|
371
|
+
.filter((l) => l.score === 1 && l.breaks.length === 0)
|
|
372
|
+
.map((l) => l.name);
|
|
373
|
+
return { chainScore, links, breaks, strengths };
|
|
374
|
+
}
|
|
375
|
+
// ── Handler ───────────────────────────────────────────────────────────
|
|
376
|
+
export async function checkDerivationChainHandler(args) {
|
|
377
|
+
const report = buildDerivationChainReport(args.project_dir);
|
|
378
|
+
const scoreLabel = report.chainScore >= 80
|
|
379
|
+
? "Strong"
|
|
380
|
+
: report.chainScore >= 50
|
|
381
|
+
? "Partial"
|
|
382
|
+
: "Weak";
|
|
383
|
+
const lines = [
|
|
384
|
+
"## Derivation Chain Report",
|
|
385
|
+
"",
|
|
386
|
+
`Chain: PRD → Use Cases → ADRs → L2 Probes → L3/L4 Probes → Gates`,
|
|
387
|
+
"",
|
|
388
|
+
`**Chain Score: ${report.chainScore}% — ${scoreLabel}**`,
|
|
389
|
+
"",
|
|
390
|
+
"### Link-by-Link",
|
|
391
|
+
"",
|
|
392
|
+
];
|
|
393
|
+
for (const link of report.links) {
|
|
394
|
+
const icon = link.score === 1 ? "✅" : link.score === 0.5 ? "⚠️" : "⛔";
|
|
395
|
+
lines.push(`${icon} **${link.name}** — ${link.detail}`);
|
|
396
|
+
for (const b of link.breaks) {
|
|
397
|
+
lines.push(` → ${b}`);
|
|
398
|
+
}
|
|
399
|
+
}
|
|
400
|
+
lines.push("");
|
|
401
|
+
if (report.strengths.length > 0) {
|
|
402
|
+
lines.push("### Strengths", "");
|
|
403
|
+
for (const s of report.strengths) {
|
|
404
|
+
lines.push(`- ${s}`);
|
|
405
|
+
}
|
|
406
|
+
lines.push("");
|
|
407
|
+
}
|
|
408
|
+
if (report.breaks.length > 0) {
|
|
409
|
+
lines.push("### Chain Breaks to Resolve", "");
|
|
410
|
+
for (const b of report.breaks) {
|
|
411
|
+
lines.push(`- ${b}`);
|
|
412
|
+
}
|
|
413
|
+
lines.push("");
|
|
414
|
+
}
|
|
415
|
+
lines.push("### What a complete chain looks like", "", "Each UC in docs/use-cases/ should:", "1. Trace to at least one `docs/adrs/active/*.md` (for significant design choices)", "2. Have a probe in `tests/harness/UC-NNN-*`", "3. Have the probe reference its UC ID as a comment or metadata header", "", "Each gate should mention the UC or ADR it defends against regression.", "", "Run `check_derivation_chain` again after resolving breaks to track progress.");
|
|
416
|
+
return { content: [{ type: "text", text: lines.join("\n") }] };
|
|
417
|
+
}
|
|
418
|
+
//# sourceMappingURL=check-derivation-chain.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"check-derivation-chain.js","sourceRoot":"","sources":["../../src/tools/check-derivation-chain.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,SAAS,CAAC;AAChE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,OAAO,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AAsBnE,yEAAyE;AAEzE,SAAS,QAAQ,CAAC,IAAY;IAC5B,IAAI,CAAC;QACH,OAAO,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACrC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;AACH,CAAC;AAED,SAAS,WAAW,CAAC,GAAW;IAC9B,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,CAAC;IAChC,IAAI,CAAC;QACH,OAAO,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;IAC3D,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;AACH,CAAC;AAED,wDAAwD;AACxD,SAAS,SAAS,CAAC,UAAkB;IACnC,MAAM,GAAG,GAAG,IAAI,CAAC,UAAU,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC;IAClD,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,CAAC;IAChC,IAAI,CAAC;QACH,OAAO,WAAW,CAAC,GAAG,CAAC;aACpB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;aAClC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;aAC5C,MAAM,CAAC,OAAO,CAAC,CAAC;IACrB,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;AACH,CAAC;AAED,0CAA0C;AAC1C,SAAS,cAAc,CAAC,UAAkB;IACxC,MAAM,IAAI,GAAG;QACX,IAAI,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC;QACpC,IAAI,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,CAAC;KACpC,CAAC;IACF,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YACpB,IAAI,CAAC;gBACH,OAAO,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,CAC5B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CACrE,CAAC;YACJ,CAAC;YAAC,MAAM,CAAC;gBACP,OAAO,EAAE,CAAC;YACZ,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,6CAA6C;AAC7C,SAAS,eAAe,CACtB,UAAkB;IAElB,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC7D,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;IAChD,MAAM,GAAG,GAAG,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC;IACvD,OAAO,WAAW,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAChC,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QACvC,MAAM,KAAK,GAAG,0BAA0B,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACvD,OAAO,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,IAAI,EAAE,CAAC;IACzD,CAAC,CAAC,CAAC;AACL,CAAC;AAED,yEAAyE;AAEzE,SAAS,QAAQ,CAAC,UAAkB;IAClC,MAAM,UAAU,GAAG;QACjB,IAAI,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,CAAC;QAClC,IAAI,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,CAAC;QAClC,IAAI,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,CAAC;QACnC,IAAI,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,CAAC;QACnC,IAAI,CAAC,UAAU,EAAE,WAAW,CAAC;KAC9B,CAAC;IACF,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;IACpD,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO;YACL,IAAI,EAAE,YAAY;YAClB,KAAK,EAAE,CAAC;YACR,MAAM,EAAE,+BAA+B;YACvC,MAAM,EAAE,CAAC,oDAAoD,CAAC;SAC/D,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;IAChC,MAAM,SAAS,GAAG,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC;IAC9D,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;IACpE,IAAI,SAAS,GAAG,GAAG,EAAE,CAAC;QACpB,OAAO;YACL,IAAI,EAAE,YAAY;YAClB,KAAK,EAAE,GAAG;YACV,MAAM,EAAE,GAAG,OAAO,sBAAsB,SAAS,SAAS;YAC1D,MAAM,EAAE;gBACN,GAAG,OAAO,wBAAwB,SAAS,iCAAiC;aAC7E;SACF,CAAC;IACJ,CAAC;IACD,OAAO;QACL,IAAI,EAAE,YAAY;QAClB,KAAK,EAAE,CAAC;QACR,MAAM,EAAE,GAAG,OAAO,aAAa,SAAS,SAAS;QACjD,MAAM,EAAE,EAAE;KACX,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ,CAAC,UAAkB;IAClC,MAAM,KAAK,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC;IAEpC,qCAAqC;IACrC,MAAM,YAAY,GAAG,IAAI,CAAC,UAAU,EAAE,MAAM,EAAE,cAAc,CAAC,CAAC;IAC9D,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;QACnD,MAAM,OAAO,GAAG,QAAQ,CAAC,YAAY,CAAC,CAAC;QACvC,MAAM,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,gBAAgB,CAAC,IAAI,EAAE,CAAC;QACtD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvB,OAAO;gBACL,IAAI,EAAE;oBACJ,IAAI,EAAE,WAAW;oBACjB,KAAK,EAAE,GAAG;oBACV,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,yEAAyE;oBAClG,MAAM,EAAE;wBACN,gGAAgG;qBACjG;iBACF;gBACD,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;aACzD,CAAC;QACJ,CAAC;IACH,CAAC;IAED,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO;YACL,IAAI,EAAE;gBACJ,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE,CAAC;gBACR,MAAM,EAAE,yBAAyB;gBACjC,MAAM,EAAE,CAAC,qDAAqD,CAAC;aAChE;YACD,KAAK,EAAE,EAAE;SACV,CAAC;IACJ,CAAC;IAED,OAAO;QACL,IAAI,EAAE;YACJ,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,CAAC;YACR,MAAM,EAAE,GAAG,KAAK,CAAC,MAAM,gCAAgC;YACvD,MAAM,EAAE,EAAE;SACX;QACD,KAAK;KACN,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CAAC,UAAkB,EAAE,KAAe;IAC5D,MAAM,UAAU,GAAG,cAAc,CAAC,UAAU,CAAC,CAAC;IAC9C,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO;YACL,IAAI,EAAE,oBAAoB;YAC1B,KAAK,EAAE,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACtC,MAAM,EACJ,UAAU,CAAC,MAAM,GAAG,CAAC;gBACnB,CAAC,CAAC,GAAG,UAAU,CAAC,MAAM,qDAAqD;gBAC3E,CAAC,CAAC,2BAA2B;YACjC,MAAM,EACJ,UAAU,CAAC,MAAM,GAAG,CAAC;gBACnB,CAAC,CAAC;oBACE,6EAA6E;iBAC9E;gBACH,CAAC,CAAC,CAAC,0DAA0D,CAAC;SACnE,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CACnC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC,CACnE,CAAC;IACF,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;IAEhE,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IAC7C,MAAM,KAAK,GAAgB,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAEpE,OAAO;QACL,IAAI,EAAE,oBAAoB;QAC1B,KAAK;QACL,MAAM,EAAE,GAAG,QAAQ,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM,uBAAuB;QACjE,MAAM,EAAE,UAAU,CAAC,GAAG,CACpB,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,yCAAyC,CACvD;KACF,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAAC,UAAkB,EAAE,KAAe;IAC/D,MAAM,UAAU,GAAG,cAAc,CAAC,UAAU,CAAC,CAAC;IAC9C,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO;YACL,IAAI,EAAE,2BAA2B;YACjC,KAAK,EAAE,CAAC;YACR,MAAM,EAAE,yBAAyB;YACjC,MAAM,EAAE,EAAE;SACX,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GAAG;QACjB,IAAI,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC;QACpC,IAAI,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,CAAC;KACpC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAEnB,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO;YACL,IAAI,EAAE,2BAA2B;YACjC,KAAK,EAAE,GAAG;YACV,MAAM,EAAE,qDAAqD;YAC7D,MAAM,EAAE,EAAE;SACX,CAAC;IACJ,CAAC;IAED,MAAM,aAAa,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;QAC5C,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9C,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,MAAM,KAAK,GACT,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IACvE,MAAM,KAAK,GAAgB,KAAK,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAErE,MAAM,kBAAkB,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;QACjD,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9C,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,OAAO;QACL,IAAI,EAAE,2BAA2B;QACjC,KAAK;QACL,MAAM,EAAE,GAAG,aAAa,CAAC,MAAM,IAAI,UAAU,CAAC,MAAM,2BAA2B;QAC/E,MAAM,EAAE,kBAAkB,CAAC,GAAG,CAC5B,CAAC,CAAC,EAAE,EAAE,CACJ,GAAG,CAAC,yEAAyE,CAChF;KACF,CAAC;AACJ,CAAC;AAED,SAAS,SAAS,CAAC,UAAkB;IAInC,MAAM,IAAI,GAAG,eAAe,CAAC,UAAU,CAAC,CAAC;IACzC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,OAAO;YACL,IAAI,EAAE;gBACJ,IAAI,EAAE,MAAM;gBACZ,KAAK,EAAE,CAAC;gBACR,MAAM,EAAE,oBAAoB;gBAC5B,MAAM,EAAE;oBACN,2FAA2F;iBAC5F;aACF;YACD,QAAQ,EAAE,EAAE;SACb,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAC1B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,EAAE,WAAW,EAAE,KAAK,UAAU,CAC9C,CAAC,MAAM,CAAC;IACT,MAAM,WAAW,GAAG,IAAI,CAAC,MAAM,CAC7B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,EAAE,WAAW,EAAE,KAAK,aAAa,CACjD,CAAC,MAAM,CAAC;IACT,MAAM,KAAK,GAAG,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC;IACrC,MAAM,KAAK,GAAgB,KAAK,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAExE,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,WAAW,GAAG,CAAC,EAAE,CAAC;QACpB,MAAM,CAAC,IAAI,CACT,GAAG,WAAW,sEAAsE,CACrF,CAAC;IACJ,CAAC;IAED,OAAO;QACL,IAAI,EAAE;YACJ,IAAI,EAAE,MAAM;YACZ,KAAK;YACL,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,YAAY,QAAQ,cAAc,WAAW,cAAc;YACjF,MAAM;SACP;QACD,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;KAClC,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAC3B,UAAkB,EAClB,KAAe,EACf,QAAkB;IAElB,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChD,OAAO;YACL,IAAI,EAAE,2BAA2B;YACjC,KAAK,EAAE,GAAG;YACV,MAAM,EAAE,yCAAyC;YACjD,MAAM,EAAE,EAAE;SACX,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;QACnE,CAAC,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC;QAC5C,CAAC,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;IAErC,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC;IAEpD,4BAA4B;IAC5B,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;QACrC,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;QAC1C,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,6BAA6B;IAC7B,MAAM,OAAO,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC5D,MAAM,iBAAiB,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;QAC7C,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;QACzC,OAAO,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,MAAM,WAAW,GAAG,QAAQ,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC;IACtD,MAAM,KAAK,GACT,WAAW,IAAI,GAAG,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;IAE/D,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,iBAAiB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5D,MAAM,CAAC,IAAI,CACT,gHAAgH,CACjH,CAAC;IACJ,CAAC;IAED,OAAO;QACL,IAAI,EAAE,2BAA2B;QACjC,KAAK;QACL,MAAM,EAAE,GAAG,QAAQ,CAAC,MAAM,IAAI,QAAQ,CAAC,MAAM,0BAA0B,iBAAiB,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM,uBAAuB;QACxI,MAAM;KACP,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CACzB,UAAkB,EAClB,KAAe,EACf,QAAkB;IAElB,IAAI,KAAK,GAA+C,EAAE,CAAC;IAC3D,IAAI,CAAC;QACH,KAAK,GAAG,qBAAqB,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACpD,EAAE,EAAE,CAAC,CAAC,EAAE;YACR,WAAW,EAAE,CAAC,CAAC,WAAW,IAAI,EAAE;SACjC,CAAC,CAAC,CAAC;IACN,CAAC;IAAC,MAAM,CAAC;QACP,OAAO;YACL,IAAI,EAAE,wBAAwB;YAC9B,KAAK,EAAE,GAAG;YACV,MAAM,EAAE,6BAA6B;YACrC,MAAM,EAAE,EAAE;SACX,CAAC;IACJ,CAAC;IAED,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO;YACL,IAAI,EAAE,wBAAwB;YAC9B,KAAK,EAAE,CAAC;YACR,MAAM,EAAE,yBAAyB;YACjC,MAAM,EAAE;gBACN,qFAAqF;aACtF;SACF,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAG,QAAQ;SACpB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;SAC1C,MAAM,CAAC,OAAO,CAAC,CAAC;IAEnB,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;QAClC,MAAM,UAAU,GAAG,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC,WAAW,EAAE,CAAC;QAC5D,OAAO,CACL,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC;YACzD,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC;YACnE,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAC7C,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IAC7C,MAAM,KAAK,GAAgB,KAAK,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAEzE,OAAO;QACL,IAAI,EAAE,wBAAwB;QAC9B,KAAK;QACL,MAAM,EAAE,GAAG,QAAQ,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM,yCAAyC;QACnF,MAAM,EACJ,QAAQ,CAAC,MAAM,KAAK,CAAC;YACnB,CAAC,CAAC;gBACE,wHAAwH;aACzH;YACH,CAAC,CAAC,EAAE;KACT,CAAC;AACJ,CAAC;AAED,yEAAyE;AAEzE,MAAM,UAAU,0BAA0B,CACxC,UAAkB;IAElB,MAAM,OAAO,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC;IACrC,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC;IACrD,MAAM,gBAAgB,GAAG,iBAAiB,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IAC9D,MAAM,YAAY,GAAG,oBAAoB,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IAC7D,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC;IAC1D,MAAM,YAAY,GAAG,oBAAoB,CAAC,UAAU,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;IACvE,MAAM,QAAQ,GAAG,kBAAkB,CAAC,UAAU,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;IAEjE,MAAM,KAAK,GAAG;QACZ,OAAO;QACP,MAAM;QACN,gBAAgB;QAChB,YAAY;QACZ,OAAO;QACP,YAAY;QACZ,QAAQ;KACT,CAAC;IAEF,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAC9D,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC;IAEjE,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IAC9C,MAAM,SAAS,GAAG,KAAK;SACpB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC;SACrD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAEtB,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;AAClD,CAAC;AAED,yEAAyE;AAEzE,MAAM,CAAC,KAAK,UAAU,2BAA2B,CAC/C,IAA+B;IAE/B,MAAM,MAAM,GAAG,0BAA0B,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAE5D,MAAM,UAAU,GACd,MAAM,CAAC,UAAU,IAAI,EAAE;QACrB,CAAC,CAAC,QAAQ;QACV,CAAC,CAAC,MAAM,CAAC,UAAU,IAAI,EAAE;YACvB,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,MAAM,CAAC;IAEf,MAAM,KAAK,GAAa;QACtB,4BAA4B;QAC5B,EAAE;QACF,kEAAkE;QAClE,EAAE;QACF,kBAAkB,MAAM,CAAC,UAAU,OAAO,UAAU,IAAI;QACxD,EAAE;QACF,kBAAkB;QAClB,EAAE;KACH,CAAC;IAEF,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAChC,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC;QACtE,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,MAAM,IAAI,CAAC,IAAI,QAAQ,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;QACxD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAC5B,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC,eAAe,EAAE,EAAE,CAAC,CAAC;QAChC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;YACjC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACvB,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7B,KAAK,CAAC,IAAI,CAAC,6BAA6B,EAAE,EAAE,CAAC,CAAC;QAC9C,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;YAC9B,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACvB,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,KAAK,CAAC,IAAI,CACR,sCAAsC,EACtC,EAAE,EACF,oCAAoC,EACpC,mFAAmF,EACnF,6CAA6C,EAC7C,uEAAuE,EACvE,EAAE,EACF,uEAAuE,EACvE,EAAE,EACF,8EAA8E,CAC/E,CAAC;IAEF,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;AACjE,CAAC"}
|
|
@@ -0,0 +1,25 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* check_spec_consistency tool handler.
|
|
3
|
+
*
|
|
4
|
+
* Scans all spec artifacts for structural gaps, semantic ambiguities,
|
|
5
|
+
* and derivation chain breaks across the L1-L4 stack.
|
|
6
|
+
*
|
|
7
|
+
* Unlike gate evaluation (which checks file existence) and probe execution
|
|
8
|
+
* (which checks runtime behavior), this checks whether the SPEC ITSELF is
|
|
9
|
+
* internally consistent and complete enough to be acted upon.
|
|
10
|
+
*/
|
|
11
|
+
import { z } from "zod";
|
|
12
|
+
import type { ToolResult } from "../shared/types.js";
|
|
13
|
+
export declare const checkSpecConsistencySchema: z.ZodObject<{
|
|
14
|
+
project_dir: z.ZodString;
|
|
15
|
+
strict: z.ZodOptional<z.ZodBoolean>;
|
|
16
|
+
}, "strip", z.ZodTypeAny, {
|
|
17
|
+
project_dir: string;
|
|
18
|
+
strict?: boolean | undefined;
|
|
19
|
+
}, {
|
|
20
|
+
project_dir: string;
|
|
21
|
+
strict?: boolean | undefined;
|
|
22
|
+
}>;
|
|
23
|
+
export type CheckSpecConsistencyInput = z.infer<typeof checkSpecConsistencySchema>;
|
|
24
|
+
export declare function checkSpecConsistencyHandler(args: CheckSpecConsistencyInput): Promise<ToolResult>;
|
|
25
|
+
//# sourceMappingURL=check-spec-consistency.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"check-spec-consistency.d.ts","sourceRoot":"","sources":["../../src/tools/check-spec-consistency.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAGxB,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAWrD,eAAO,MAAM,0BAA0B;;;;;;;;;EAQrC,CAAC;AAEH,MAAM,MAAM,yBAAyB,GAAG,CAAC,CAAC,KAAK,CAC7C,OAAO,0BAA0B,CAClC,CAAC;AAgBF,wBAAsB,2BAA2B,CAC/C,IAAI,EAAE,yBAAyB,GAC9B,OAAO,CAAC,UAAU,CAAC,CA2BrB"}
|