sdl-mcp 0.6.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 +21 -0
- package/README.md +132 -0
- package/config/benchmark.ci.config.json +86 -0
- package/config/benchmark.ci.windows.config.json +86 -0
- package/config/benchmark.config.example.json +86 -0
- package/config/benchmark.config.json +86 -0
- package/config/sdlmcp.config.example.json +139 -0
- package/config/sdlmcp.config.json +48 -0
- package/config/sdlmcp.config.schema.json +381 -0
- package/dist/agent/evidence.d.ts +18 -0
- package/dist/agent/evidence.d.ts.map +1 -0
- package/dist/agent/evidence.js +107 -0
- package/dist/agent/evidence.js.map +1 -0
- package/dist/agent/executor.d.ts +28 -0
- package/dist/agent/executor.d.ts.map +1 -0
- package/dist/agent/executor.js +261 -0
- package/dist/agent/executor.js.map +1 -0
- package/dist/agent/index.d.ts +6 -0
- package/dist/agent/index.d.ts.map +1 -0
- package/dist/agent/index.js +6 -0
- package/dist/agent/index.js.map +1 -0
- package/dist/agent/orchestrator.d.ts +14 -0
- package/dist/agent/orchestrator.d.ts.map +1 -0
- package/dist/agent/orchestrator.js +108 -0
- package/dist/agent/orchestrator.js.map +1 -0
- package/dist/agent/planner.d.ts +21 -0
- package/dist/agent/planner.d.ts.map +1 -0
- package/dist/agent/planner.js +153 -0
- package/dist/agent/planner.js.map +1 -0
- package/dist/agent/types.d.ts +86 -0
- package/dist/agent/types.d.ts.map +1 -0
- package/dist/agent/types.js +2 -0
- package/dist/agent/types.js.map +1 -0
- package/dist/benchmark/index.d.ts +4 -0
- package/dist/benchmark/index.d.ts.map +1 -0
- package/dist/benchmark/index.js +4 -0
- package/dist/benchmark/index.js.map +1 -0
- package/dist/benchmark/regression.d.ts +40 -0
- package/dist/benchmark/regression.d.ts.map +1 -0
- package/dist/benchmark/regression.js +199 -0
- package/dist/benchmark/regression.js.map +1 -0
- package/dist/benchmark/smoothing.d.ts +40 -0
- package/dist/benchmark/smoothing.d.ts.map +1 -0
- package/dist/benchmark/smoothing.js +121 -0
- package/dist/benchmark/smoothing.js.map +1 -0
- package/dist/benchmark/threshold.d.ts +64 -0
- package/dist/benchmark/threshold.d.ts.map +1 -0
- package/dist/benchmark/threshold.js +173 -0
- package/dist/benchmark/threshold.js.map +1 -0
- package/dist/cli/argParsing.d.ts +34 -0
- package/dist/cli/argParsing.d.ts.map +1 -0
- package/dist/cli/argParsing.js +329 -0
- package/dist/cli/argParsing.js.map +1 -0
- package/dist/cli/commands/benchmark.d.ts +16 -0
- package/dist/cli/commands/benchmark.d.ts.map +1 -0
- package/dist/cli/commands/benchmark.js +412 -0
- package/dist/cli/commands/benchmark.js.map +1 -0
- package/dist/cli/commands/doctor.d.ts +3 -0
- package/dist/cli/commands/doctor.d.ts.map +1 -0
- package/dist/cli/commands/doctor.js +218 -0
- package/dist/cli/commands/doctor.js.map +1 -0
- package/dist/cli/commands/export.d.ts +12 -0
- package/dist/cli/commands/export.d.ts.map +1 -0
- package/dist/cli/commands/export.js +70 -0
- package/dist/cli/commands/export.js.map +1 -0
- package/dist/cli/commands/import.d.ts +10 -0
- package/dist/cli/commands/import.d.ts.map +1 -0
- package/dist/cli/commands/import.js +40 -0
- package/dist/cli/commands/import.js.map +1 -0
- package/dist/cli/commands/index.d.ts +3 -0
- package/dist/cli/commands/index.d.ts.map +1 -0
- package/dist/cli/commands/index.js +89 -0
- package/dist/cli/commands/index.js.map +1 -0
- package/dist/cli/commands/init.d.ts +3 -0
- package/dist/cli/commands/init.d.ts.map +1 -0
- package/dist/cli/commands/init.js +221 -0
- package/dist/cli/commands/init.js.map +1 -0
- package/dist/cli/commands/pull.d.ts +11 -0
- package/dist/cli/commands/pull.d.ts.map +1 -0
- package/dist/cli/commands/pull.js +47 -0
- package/dist/cli/commands/pull.js.map +1 -0
- package/dist/cli/commands/serve.d.ts +3 -0
- package/dist/cli/commands/serve.d.ts.map +1 -0
- package/dist/cli/commands/serve.js +72 -0
- package/dist/cli/commands/serve.js.map +1 -0
- package/dist/cli/commands/version.d.ts +3 -0
- package/dist/cli/commands/version.d.ts.map +1 -0
- package/dist/cli/commands/version.js +24 -0
- package/dist/cli/commands/version.js.map +1 -0
- package/dist/cli/index.d.ts +3 -0
- package/dist/cli/index.d.ts.map +1 -0
- package/dist/cli/index.js +213 -0
- package/dist/cli/index.js.map +1 -0
- package/dist/cli/logging.d.ts +10 -0
- package/dist/cli/logging.d.ts.map +1 -0
- package/dist/cli/logging.js +48 -0
- package/dist/cli/logging.js.map +1 -0
- package/dist/cli/transport/http.d.ts +3 -0
- package/dist/cli/transport/http.d.ts.map +1 -0
- package/dist/cli/transport/http.js +106 -0
- package/dist/cli/transport/http.js.map +1 -0
- package/dist/cli/transport/stdio.d.ts +3 -0
- package/dist/cli/transport/stdio.d.ts.map +1 -0
- package/dist/cli/transport/stdio.js +6 -0
- package/dist/cli/transport/stdio.js.map +1 -0
- package/dist/cli/types.d.ts +41 -0
- package/dist/cli/types.d.ts.map +1 -0
- package/dist/cli/types.js +2 -0
- package/dist/cli/types.js.map +1 -0
- package/dist/code/gate.d.ts +11 -0
- package/dist/code/gate.d.ts.map +1 -0
- package/dist/code/gate.js +134 -0
- package/dist/code/gate.js.map +1 -0
- package/dist/code/hotpath.d.ts +17 -0
- package/dist/code/hotpath.d.ts.map +1 -0
- package/dist/code/hotpath.js +200 -0
- package/dist/code/hotpath.js.map +1 -0
- package/dist/code/redact.d.ts +19 -0
- package/dist/code/redact.d.ts.map +1 -0
- package/dist/code/redact.js +92 -0
- package/dist/code/redact.js.map +1 -0
- package/dist/code/skeleton.d.ts +32 -0
- package/dist/code/skeleton.d.ts.map +1 -0
- package/dist/code/skeleton.js +610 -0
- package/dist/code/skeleton.js.map +1 -0
- package/dist/code/windows.d.ts +18 -0
- package/dist/code/windows.d.ts.map +1 -0
- package/dist/code/windows.js +236 -0
- package/dist/code/windows.js.map +1 -0
- package/dist/config/constants.d.ts +340 -0
- package/dist/config/constants.d.ts.map +1 -0
- package/dist/config/constants.js +379 -0
- package/dist/config/constants.js.map +1 -0
- package/dist/config/loadConfig.d.ts +3 -0
- package/dist/config/loadConfig.d.ts.map +1 -0
- package/dist/config/loadConfig.js +71 -0
- package/dist/config/loadConfig.js.map +1 -0
- package/dist/config/types.d.ts +509 -0
- package/dist/config/types.d.ts.map +1 -0
- package/dist/config/types.js +139 -0
- package/dist/config/types.js.map +1 -0
- package/dist/db/db.d.ts +4 -0
- package/dist/db/db.d.ts.map +1 -0
- package/dist/db/db.js +47 -0
- package/dist/db/db.js.map +1 -0
- package/dist/db/migrations.d.ts +15 -0
- package/dist/db/migrations.d.ts.map +1 -0
- package/dist/db/migrations.js +81 -0
- package/dist/db/migrations.js.map +1 -0
- package/dist/db/queries.d.ts +440 -0
- package/dist/db/queries.d.ts.map +1 -0
- package/dist/db/queries.js +1054 -0
- package/dist/db/queries.js.map +1 -0
- package/dist/db/schema.d.ts +132 -0
- package/dist/db/schema.d.ts.map +1 -0
- package/dist/db/schema.js +2 -0
- package/dist/db/schema.js.map +1 -0
- package/dist/delta/blastRadius.d.ts +24 -0
- package/dist/delta/blastRadius.d.ts.map +1 -0
- package/dist/delta/blastRadius.js +239 -0
- package/dist/delta/blastRadius.js.map +1 -0
- package/dist/delta/diff.d.ts +16 -0
- package/dist/delta/diff.d.ts.map +1 -0
- package/dist/delta/diff.js +236 -0
- package/dist/delta/diff.js.map +1 -0
- package/dist/delta/versioning.d.ts +11 -0
- package/dist/delta/versioning.d.ts.map +1 -0
- package/dist/delta/versioning.js +68 -0
- package/dist/delta/versioning.js.map +1 -0
- package/dist/graph/buildGraph.d.ts +12 -0
- package/dist/graph/buildGraph.d.ts.map +1 -0
- package/dist/graph/buildGraph.js +81 -0
- package/dist/graph/buildGraph.js.map +1 -0
- package/dist/graph/cache.d.ts +111 -0
- package/dist/graph/cache.d.ts.map +1 -0
- package/dist/graph/cache.js +237 -0
- package/dist/graph/cache.js.map +1 -0
- package/dist/graph/metrics.d.ts +12 -0
- package/dist/graph/metrics.d.ts.map +1 -0
- package/dist/graph/metrics.js +253 -0
- package/dist/graph/metrics.js.map +1 -0
- package/dist/graph/minHeap.d.ts +91 -0
- package/dist/graph/minHeap.d.ts.map +1 -0
- package/dist/graph/minHeap.js +159 -0
- package/dist/graph/minHeap.js.map +1 -0
- package/dist/graph/overview.d.ts +22 -0
- package/dist/graph/overview.d.ts.map +1 -0
- package/dist/graph/overview.js +379 -0
- package/dist/graph/overview.js.map +1 -0
- package/dist/graph/score.d.ts +27 -0
- package/dist/graph/score.d.ts.map +1 -0
- package/dist/graph/score.js +214 -0
- package/dist/graph/score.js.map +1 -0
- package/dist/graph/slice.d.ts +51 -0
- package/dist/graph/slice.d.ts.map +1 -0
- package/dist/graph/slice.js +1047 -0
- package/dist/graph/slice.js.map +1 -0
- package/dist/graph/sliceCache.d.ts +33 -0
- package/dist/graph/sliceCache.d.ts.map +1 -0
- package/dist/graph/sliceCache.js +140 -0
- package/dist/graph/sliceCache.js.map +1 -0
- package/dist/indexer/adapter/BaseAdapter.d.ts +29 -0
- package/dist/indexer/adapter/BaseAdapter.d.ts.map +1 -0
- package/dist/indexer/adapter/BaseAdapter.js +97 -0
- package/dist/indexer/adapter/BaseAdapter.js.map +1 -0
- package/dist/indexer/adapter/LanguageAdapter.d.ts +20 -0
- package/dist/indexer/adapter/LanguageAdapter.d.ts.map +1 -0
- package/dist/indexer/adapter/LanguageAdapter.js +2 -0
- package/dist/indexer/adapter/LanguageAdapter.js.map +1 -0
- package/dist/indexer/adapter/adapters.d.ts +57 -0
- package/dist/indexer/adapter/adapters.d.ts.map +1 -0
- package/dist/indexer/adapter/adapters.js +129 -0
- package/dist/indexer/adapter/adapters.js.map +1 -0
- package/dist/indexer/adapter/c.d.ts +18 -0
- package/dist/indexer/adapter/c.d.ts.map +1 -0
- package/dist/indexer/adapter/c.js +443 -0
- package/dist/indexer/adapter/c.js.map +1 -0
- package/dist/indexer/adapter/cpp.d.ts +18 -0
- package/dist/indexer/adapter/cpp.d.ts.map +1 -0
- package/dist/indexer/adapter/cpp.js +493 -0
- package/dist/indexer/adapter/cpp.js.map +1 -0
- package/dist/indexer/adapter/csharp.d.ts +48 -0
- package/dist/indexer/adapter/csharp.d.ts.map +1 -0
- package/dist/indexer/adapter/csharp.js +638 -0
- package/dist/indexer/adapter/csharp.js.map +1 -0
- package/dist/indexer/adapter/go.d.ts +14 -0
- package/dist/indexer/adapter/go.d.ts.map +1 -0
- package/dist/indexer/adapter/go.js +400 -0
- package/dist/indexer/adapter/go.js.map +1 -0
- package/dist/indexer/adapter/index.d.ts +14 -0
- package/dist/indexer/adapter/index.d.ts.map +1 -0
- package/dist/indexer/adapter/index.js +13 -0
- package/dist/indexer/adapter/index.js.map +1 -0
- package/dist/indexer/adapter/java.d.ts +14 -0
- package/dist/indexer/adapter/java.d.ts.map +1 -0
- package/dist/indexer/adapter/java.js +391 -0
- package/dist/indexer/adapter/java.js.map +1 -0
- package/dist/indexer/adapter/kotlin.d.ts +18 -0
- package/dist/indexer/adapter/kotlin.d.ts.map +1 -0
- package/dist/indexer/adapter/kotlin.js +599 -0
- package/dist/indexer/adapter/kotlin.js.map +1 -0
- package/dist/indexer/adapter/php.d.ts +18 -0
- package/dist/indexer/adapter/php.d.ts.map +1 -0
- package/dist/indexer/adapter/php.js +574 -0
- package/dist/indexer/adapter/php.js.map +1 -0
- package/dist/indexer/adapter/plugin/index.d.ts +3 -0
- package/dist/indexer/adapter/plugin/index.d.ts.map +1 -0
- package/dist/indexer/adapter/plugin/index.js +3 -0
- package/dist/indexer/adapter/plugin/index.js.map +1 -0
- package/dist/indexer/adapter/plugin/loader.d.ts +13 -0
- package/dist/indexer/adapter/plugin/loader.d.ts.map +1 -0
- package/dist/indexer/adapter/plugin/loader.js +154 -0
- package/dist/indexer/adapter/plugin/loader.js.map +1 -0
- package/dist/indexer/adapter/plugin/types.d.ts +76 -0
- package/dist/indexer/adapter/plugin/types.d.ts.map +1 -0
- package/dist/indexer/adapter/plugin/types.js +47 -0
- package/dist/indexer/adapter/plugin/types.js.map +1 -0
- package/dist/indexer/adapter/python.d.ts +14 -0
- package/dist/indexer/adapter/python.d.ts.map +1 -0
- package/dist/indexer/adapter/python.js +511 -0
- package/dist/indexer/adapter/python.js.map +1 -0
- package/dist/indexer/adapter/registry.d.ts +17 -0
- package/dist/indexer/adapter/registry.d.ts.map +1 -0
- package/dist/indexer/adapter/registry.js +134 -0
- package/dist/indexer/adapter/registry.js.map +1 -0
- package/dist/indexer/adapter/rust.d.ts +18 -0
- package/dist/indexer/adapter/rust.d.ts.map +1 -0
- package/dist/indexer/adapter/rust.js +709 -0
- package/dist/indexer/adapter/rust.js.map +1 -0
- package/dist/indexer/adapter/shell.d.ts +18 -0
- package/dist/indexer/adapter/shell.d.ts.map +1 -0
- package/dist/indexer/adapter/shell.js +345 -0
- package/dist/indexer/adapter/shell.js.map +1 -0
- package/dist/indexer/adapter/typescript.d.ts +14 -0
- package/dist/indexer/adapter/typescript.d.ts.map +1 -0
- package/dist/indexer/adapter/typescript.js +31 -0
- package/dist/indexer/adapter/typescript.js.map +1 -0
- package/dist/indexer/configEdges.d.ts +30 -0
- package/dist/indexer/configEdges.d.ts.map +1 -0
- package/dist/indexer/configEdges.js +260 -0
- package/dist/indexer/configEdges.js.map +1 -0
- package/dist/indexer/fileScanner.d.ts +16 -0
- package/dist/indexer/fileScanner.d.ts.map +1 -0
- package/dist/indexer/fileScanner.js +90 -0
- package/dist/indexer/fileScanner.js.map +1 -0
- package/dist/indexer/fingerprints.d.ts +23 -0
- package/dist/indexer/fingerprints.d.ts.map +1 -0
- package/dist/indexer/fingerprints.js +97 -0
- package/dist/indexer/fingerprints.js.map +1 -0
- package/dist/indexer/indexer.d.ts +58 -0
- package/dist/indexer/indexer.d.ts.map +1 -0
- package/dist/indexer/indexer.js +1229 -0
- package/dist/indexer/indexer.js.map +1 -0
- package/dist/indexer/summaries.d.ts +5 -0
- package/dist/indexer/summaries.d.ts.map +1 -0
- package/dist/indexer/summaries.js +331 -0
- package/dist/indexer/summaries.js.map +1 -0
- package/dist/indexer/treesitter/extractCalls.d.ts +40 -0
- package/dist/indexer/treesitter/extractCalls.d.ts.map +1 -0
- package/dist/indexer/treesitter/extractCalls.js +561 -0
- package/dist/indexer/treesitter/extractCalls.js.map +1 -0
- package/dist/indexer/treesitter/extractImports.d.ts +12 -0
- package/dist/indexer/treesitter/extractImports.d.ts.map +1 -0
- package/dist/indexer/treesitter/extractImports.js +184 -0
- package/dist/indexer/treesitter/extractImports.js.map +1 -0
- package/dist/indexer/treesitter/extractSymbols.d.ts +24 -0
- package/dist/indexer/treesitter/extractSymbols.d.ts.map +1 -0
- package/dist/indexer/treesitter/extractSymbols.js +389 -0
- package/dist/indexer/treesitter/extractSymbols.js.map +1 -0
- package/dist/indexer/treesitter/grammarLoader.d.ts +6 -0
- package/dist/indexer/treesitter/grammarLoader.d.ts.map +1 -0
- package/dist/indexer/treesitter/grammarLoader.js +125 -0
- package/dist/indexer/treesitter/grammarLoader.js.map +1 -0
- package/dist/indexer/treesitter/symbolUtils.d.ts +4 -0
- package/dist/indexer/treesitter/symbolUtils.d.ts.map +1 -0
- package/dist/indexer/treesitter/symbolUtils.js +26 -0
- package/dist/indexer/treesitter/symbolUtils.js.map +1 -0
- package/dist/indexer/treesitter/tsTreesitter.d.ts +9 -0
- package/dist/indexer/treesitter/tsTreesitter.d.ts.map +1 -0
- package/dist/indexer/treesitter/tsTreesitter.js +54 -0
- package/dist/indexer/treesitter/tsTreesitter.js.map +1 -0
- package/dist/indexer/treesitter/types.d.ts +19 -0
- package/dist/indexer/treesitter/types.d.ts.map +1 -0
- package/dist/indexer/treesitter/types.js +7 -0
- package/dist/indexer/treesitter/types.js.map +1 -0
- package/dist/indexer/ts/tsParser.d.ts +20 -0
- package/dist/indexer/ts/tsParser.d.ts.map +1 -0
- package/dist/indexer/ts/tsParser.js +114 -0
- package/dist/indexer/ts/tsParser.js.map +1 -0
- package/dist/indexer/worker.d.ts +2 -0
- package/dist/indexer/worker.d.ts.map +1 -0
- package/dist/indexer/worker.js +59 -0
- package/dist/indexer/worker.js.map +1 -0
- package/dist/indexer/workerPool.d.ts +20 -0
- package/dist/indexer/workerPool.d.ts.map +1 -0
- package/dist/indexer/workerPool.js +93 -0
- package/dist/indexer/workerPool.js.map +1 -0
- package/dist/main.d.ts +2 -0
- package/dist/main.d.ts.map +1 -0
- package/dist/main.js +111 -0
- package/dist/main.js.map +1 -0
- package/dist/mcp/errors.d.ts +40 -0
- package/dist/mcp/errors.d.ts.map +1 -0
- package/dist/mcp/errors.js +66 -0
- package/dist/mcp/errors.js.map +1 -0
- package/dist/mcp/resources.d.ts +24 -0
- package/dist/mcp/resources.d.ts.map +1 -0
- package/dist/mcp/resources.js +140 -0
- package/dist/mcp/resources.js.map +1 -0
- package/dist/mcp/telemetry.d.ts +67 -0
- package/dist/mcp/telemetry.d.ts.map +1 -0
- package/dist/mcp/telemetry.js +128 -0
- package/dist/mcp/telemetry.js.map +1 -0
- package/dist/mcp/tools/agent.d.ts +241 -0
- package/dist/mcp/tools/agent.d.ts.map +1 -0
- package/dist/mcp/tools/agent.js +113 -0
- package/dist/mcp/tools/agent.js.map +1 -0
- package/dist/mcp/tools/code.d.ts +32 -0
- package/dist/mcp/tools/code.d.ts.map +1 -0
- package/dist/mcp/tools/code.js +388 -0
- package/dist/mcp/tools/code.js.map +1 -0
- package/dist/mcp/tools/delta.d.ts +12 -0
- package/dist/mcp/tools/delta.d.ts.map +1 -0
- package/dist/mcp/tools/delta.js +82 -0
- package/dist/mcp/tools/delta.js.map +1 -0
- package/dist/mcp/tools/index.d.ts +3 -0
- package/dist/mcp/tools/index.d.ts.map +1 -0
- package/dist/mcp/tools/index.js +35 -0
- package/dist/mcp/tools/index.js.map +1 -0
- package/dist/mcp/tools/policy.d.ts +20 -0
- package/dist/mcp/tools/policy.d.ts.map +1 -0
- package/dist/mcp/tools/policy.js +67 -0
- package/dist/mcp/tools/policy.js.map +1 -0
- package/dist/mcp/tools/prRisk.d.ts +34 -0
- package/dist/mcp/tools/prRisk.d.ts.map +1 -0
- package/dist/mcp/tools/prRisk.js +304 -0
- package/dist/mcp/tools/prRisk.js.map +1 -0
- package/dist/mcp/tools/repo.d.ts +46 -0
- package/dist/mcp/tools/repo.d.ts.map +1 -0
- package/dist/mcp/tools/repo.js +224 -0
- package/dist/mcp/tools/repo.js.map +1 -0
- package/dist/mcp/tools/slice.d.ts +44 -0
- package/dist/mcp/tools/slice.d.ts.map +1 -0
- package/dist/mcp/tools/slice.js +688 -0
- package/dist/mcp/tools/slice.js.map +1 -0
- package/dist/mcp/tools/symbol.d.ts +21 -0
- package/dist/mcp/tools/symbol.d.ts.map +1 -0
- package/dist/mcp/tools/symbol.js +416 -0
- package/dist/mcp/tools/symbol.js.map +1 -0
- package/dist/mcp/tools.d.ts +6003 -0
- package/dist/mcp/tools.d.ts.map +1 -0
- package/dist/mcp/tools.js +932 -0
- package/dist/mcp/tools.js.map +1 -0
- package/dist/mcp/types.d.ts +500 -0
- package/dist/mcp/types.d.ts.map +1 -0
- package/dist/mcp/types.js +2 -0
- package/dist/mcp/types.js.map +1 -0
- package/dist/policy/engine.d.ts +21 -0
- package/dist/policy/engine.d.ts.map +1 -0
- package/dist/policy/engine.js +477 -0
- package/dist/policy/engine.js.map +1 -0
- package/dist/policy/types.d.ts +73 -0
- package/dist/policy/types.d.ts.map +1 -0
- package/dist/policy/types.js +12 -0
- package/dist/policy/types.js.map +1 -0
- package/dist/server.d.ts +17 -0
- package/dist/server.d.ts.map +1 -0
- package/dist/server.js +136 -0
- package/dist/server.js.map +1 -0
- package/dist/sync/pull.d.ts +4 -0
- package/dist/sync/pull.d.ts.map +1 -0
- package/dist/sync/pull.js +113 -0
- package/dist/sync/pull.js.map +1 -0
- package/dist/sync/sync.d.ts +6 -0
- package/dist/sync/sync.d.ts.map +1 -0
- package/dist/sync/sync.js +244 -0
- package/dist/sync/sync.js.map +1 -0
- package/dist/sync/types.d.ts +136 -0
- package/dist/sync/types.d.ts.map +1 -0
- package/dist/sync/types.js +2 -0
- package/dist/sync/types.js.map +1 -0
- package/dist/ts/diagnostics.d.ts +61 -0
- package/dist/ts/diagnostics.d.ts.map +1 -0
- package/dist/ts/diagnostics.js +259 -0
- package/dist/ts/diagnostics.js.map +1 -0
- package/dist/ts/mapping.d.ts +27 -0
- package/dist/ts/mapping.d.ts.map +1 -0
- package/dist/ts/mapping.js +68 -0
- package/dist/ts/mapping.js.map +1 -0
- package/dist/util/asyncFs.d.ts +103 -0
- package/dist/util/asyncFs.d.ts.map +1 -0
- package/dist/util/asyncFs.js +133 -0
- package/dist/util/asyncFs.js.map +1 -0
- package/dist/util/concurrency.d.ts +77 -0
- package/dist/util/concurrency.d.ts.map +1 -0
- package/dist/util/concurrency.js +146 -0
- package/dist/util/concurrency.js.map +1 -0
- package/dist/util/depLabels.d.ts +3 -0
- package/dist/util/depLabels.d.ts.map +1 -0
- package/dist/util/depLabels.js +19 -0
- package/dist/util/depLabels.js.map +1 -0
- package/dist/util/findPackageRoot.d.ts +7 -0
- package/dist/util/findPackageRoot.d.ts.map +1 -0
- package/dist/util/findPackageRoot.js +21 -0
- package/dist/util/findPackageRoot.js.map +1 -0
- package/dist/util/hashing.d.ts +9 -0
- package/dist/util/hashing.d.ts.map +1 -0
- package/dist/util/hashing.js +37 -0
- package/dist/util/hashing.js.map +1 -0
- package/dist/util/logger.d.ts +14 -0
- package/dist/util/logger.d.ts.map +1 -0
- package/dist/util/logger.js +51 -0
- package/dist/util/logger.js.map +1 -0
- package/dist/util/paths.d.ts +6 -0
- package/dist/util/paths.d.ts.map +1 -0
- package/dist/util/paths.js +79 -0
- package/dist/util/paths.js.map +1 -0
- package/dist/util/time.d.ts +4 -0
- package/dist/util/time.d.ts.map +1 -0
- package/dist/util/time.js +20 -0
- package/dist/util/time.js.map +1 -0
- package/dist/util/tokenize.d.ts +5 -0
- package/dist/util/tokenize.d.ts.map +1 -0
- package/dist/util/tokenize.js +30 -0
- package/dist/util/tokenize.js.map +1 -0
- package/dist/util/truncation.d.ts +38 -0
- package/dist/util/truncation.d.ts.map +1 -0
- package/dist/util/truncation.js +259 -0
- package/dist/util/truncation.js.map +1 -0
- package/migrations/.gitkeep +1 -0
- package/migrations/0001_init.sql +61 -0
- package/migrations/0002_edges_indexes.sql +2 -0
- package/migrations/0003_versions.sql +22 -0
- package/migrations/0004_metrics_audit.sql +23 -0
- package/migrations/0005_slice_handles.sql +15 -0
- package/migrations/0006_content_addressed.sql +29 -0
- package/migrations/0007_add_language_to_symbols.sql +28 -0
- package/migrations/0008_performance_indexes.sql +21 -0
- package/migrations/0009_fix_edge_fks.sql +37 -0
- package/migrations/0010_standardize_fks.sql +35 -0
- package/migrations/0011_add_directory_column.sql +20 -0
- package/migrations/0012_symbol_references.sql +16 -0
- package/migrations/0013_sync_artifacts.sql +17 -0
- package/package.json +107 -0
- package/templates/CLAUDE.md.template +179 -0
- package/templates/README.md +228 -0
- package/templates/claude-code.json +54 -0
- package/templates/codex.json +55 -0
- package/templates/gemini.json +66 -0
- package/templates/opencode.json +90 -0
- package/templates/plugin-template/LICENSE +21 -0
- package/templates/plugin-template/README.md +309 -0
- package/templates/plugin-template/index.ts +160 -0
- package/templates/plugin-template/package.json +31 -0
- package/templates/plugin-template/test/plugin.test.ts +186 -0
- package/templates/plugin-template/tsconfig.json +21 -0
|
@@ -0,0 +1,477 @@
|
|
|
1
|
+
import crypto from "crypto";
|
|
2
|
+
import { DEFAULT_POLICY_CONFIG } from "./types.js";
|
|
3
|
+
import { logger } from "../util/logger.js";
|
|
4
|
+
import { POLICY_PRIORITY_WINDOW_SIZE_LIMIT, POLICY_PRIORITY_IDENTIFIERS_REQUIRED, POLICY_PRIORITY_BUDGET_CAPS, POLICY_PRIORITY_BREAK_GLASS, POLICY_PRIORITY_DEFAULT_DENY_RAW, } from "../config/constants.js";
|
|
5
|
+
/**
|
|
6
|
+
* Policy rule priorities - higher values run first.
|
|
7
|
+
* Rules are evaluated in descending priority order until one denies or all pass.
|
|
8
|
+
*
|
|
9
|
+
* Priority tiers:
|
|
10
|
+
* - 100: Hard limits (window size) - must be checked first
|
|
11
|
+
* - 90: Input validation (required fields)
|
|
12
|
+
* - 80: Budget enforcement (token/request caps)
|
|
13
|
+
* - 10: Override mechanisms (break-glass)
|
|
14
|
+
*/
|
|
15
|
+
const RULE_PRIORITY = {
|
|
16
|
+
WINDOW_SIZE_LIMIT: POLICY_PRIORITY_WINDOW_SIZE_LIMIT,
|
|
17
|
+
IDENTIFIERS_REQUIRED: POLICY_PRIORITY_IDENTIFIERS_REQUIRED,
|
|
18
|
+
BUDGET_CAPS: POLICY_PRIORITY_BUDGET_CAPS,
|
|
19
|
+
BREAK_GLASS: POLICY_PRIORITY_BREAK_GLASS,
|
|
20
|
+
DEFAULT_DENY_RAW: POLICY_PRIORITY_DEFAULT_DENY_RAW,
|
|
21
|
+
};
|
|
22
|
+
export function generateAuditHash(decision, evidence, context) {
|
|
23
|
+
const hashInput = {
|
|
24
|
+
decision,
|
|
25
|
+
evidence,
|
|
26
|
+
requestType: context.requestType,
|
|
27
|
+
repoId: context.repoId,
|
|
28
|
+
symbolId: context.symbolId,
|
|
29
|
+
};
|
|
30
|
+
const hashString = JSON.stringify(hashInput);
|
|
31
|
+
return crypto.createHash("sha256").update(hashString).digest("hex");
|
|
32
|
+
}
|
|
33
|
+
export class PolicyEngine {
|
|
34
|
+
rules = new Map();
|
|
35
|
+
config;
|
|
36
|
+
constructor(config = {}) {
|
|
37
|
+
this.config = { ...DEFAULT_POLICY_CONFIG, ...config };
|
|
38
|
+
this.registerDefaultRules();
|
|
39
|
+
}
|
|
40
|
+
registerDefaultRules() {
|
|
41
|
+
this.addRule({
|
|
42
|
+
name: "window-size-limit",
|
|
43
|
+
enabled: true,
|
|
44
|
+
priority: RULE_PRIORITY.WINDOW_SIZE_LIMIT,
|
|
45
|
+
evaluate: (ctx) => {
|
|
46
|
+
if (ctx.requestType !== "codeWindow") {
|
|
47
|
+
return {
|
|
48
|
+
passed: true,
|
|
49
|
+
evidence: {
|
|
50
|
+
type: "check-skipped",
|
|
51
|
+
value: null,
|
|
52
|
+
reason: "Rule only applies to codeWindow requests",
|
|
53
|
+
},
|
|
54
|
+
};
|
|
55
|
+
}
|
|
56
|
+
const failed = [];
|
|
57
|
+
if (ctx.maxWindowLines &&
|
|
58
|
+
ctx.maxWindowLines > this.config.maxWindowLines) {
|
|
59
|
+
failed.push({
|
|
60
|
+
type: "max-lines-exceeded",
|
|
61
|
+
value: {
|
|
62
|
+
requested: ctx.maxWindowLines,
|
|
63
|
+
limit: this.config.maxWindowLines,
|
|
64
|
+
},
|
|
65
|
+
reason: `Requested lines (${ctx.maxWindowLines}) exceed maximum (${this.config.maxWindowLines})`,
|
|
66
|
+
});
|
|
67
|
+
}
|
|
68
|
+
if (ctx.maxWindowTokens &&
|
|
69
|
+
ctx.maxWindowTokens > this.config.maxWindowTokens) {
|
|
70
|
+
failed.push({
|
|
71
|
+
type: "max-tokens-exceeded",
|
|
72
|
+
value: {
|
|
73
|
+
requested: ctx.maxWindowTokens,
|
|
74
|
+
limit: this.config.maxWindowTokens,
|
|
75
|
+
},
|
|
76
|
+
reason: `Requested tokens (${ctx.maxWindowTokens}) exceed maximum (${this.config.maxWindowTokens})`,
|
|
77
|
+
});
|
|
78
|
+
}
|
|
79
|
+
if (failed.length > 0) {
|
|
80
|
+
return {
|
|
81
|
+
passed: false,
|
|
82
|
+
evidence: failed[0],
|
|
83
|
+
downgradeTo: "skeleton",
|
|
84
|
+
};
|
|
85
|
+
}
|
|
86
|
+
return {
|
|
87
|
+
passed: true,
|
|
88
|
+
evidence: {
|
|
89
|
+
type: "window-size-check",
|
|
90
|
+
value: {
|
|
91
|
+
maxLines: this.config.maxWindowLines,
|
|
92
|
+
maxTokens: this.config.maxWindowTokens,
|
|
93
|
+
},
|
|
94
|
+
reason: "Window size within limits",
|
|
95
|
+
},
|
|
96
|
+
};
|
|
97
|
+
},
|
|
98
|
+
});
|
|
99
|
+
this.addRule({
|
|
100
|
+
name: "identifiers-required",
|
|
101
|
+
enabled: true,
|
|
102
|
+
priority: RULE_PRIORITY.IDENTIFIERS_REQUIRED,
|
|
103
|
+
evaluate: (ctx) => {
|
|
104
|
+
if (ctx.requestType !== "codeWindow") {
|
|
105
|
+
return {
|
|
106
|
+
passed: true,
|
|
107
|
+
evidence: {
|
|
108
|
+
type: "check-skipped",
|
|
109
|
+
value: null,
|
|
110
|
+
reason: "Rule only applies to codeWindow requests",
|
|
111
|
+
},
|
|
112
|
+
};
|
|
113
|
+
}
|
|
114
|
+
if (!this.config.requireIdentifiers) {
|
|
115
|
+
return {
|
|
116
|
+
passed: true,
|
|
117
|
+
evidence: {
|
|
118
|
+
type: "identifiers-not-required",
|
|
119
|
+
value: null,
|
|
120
|
+
reason: "Identifiers not required by policy",
|
|
121
|
+
},
|
|
122
|
+
};
|
|
123
|
+
}
|
|
124
|
+
if (!ctx.identifiersToFind || ctx.identifiersToFind.length === 0) {
|
|
125
|
+
return {
|
|
126
|
+
passed: false,
|
|
127
|
+
evidence: {
|
|
128
|
+
type: "missing-identifiers",
|
|
129
|
+
value: null,
|
|
130
|
+
reason: "No identifiers provided, but required by policy",
|
|
131
|
+
},
|
|
132
|
+
downgradeTo: "skeleton",
|
|
133
|
+
};
|
|
134
|
+
}
|
|
135
|
+
return {
|
|
136
|
+
passed: true,
|
|
137
|
+
evidence: {
|
|
138
|
+
type: "identifiers-provided",
|
|
139
|
+
value: {
|
|
140
|
+
count: ctx.identifiersToFind.length,
|
|
141
|
+
identifiers: ctx.identifiersToFind.slice(0, 5),
|
|
142
|
+
},
|
|
143
|
+
reason: `Provided ${ctx.identifiersToFind.length} identifiers`,
|
|
144
|
+
},
|
|
145
|
+
};
|
|
146
|
+
},
|
|
147
|
+
});
|
|
148
|
+
this.addRule({
|
|
149
|
+
name: "budget-caps",
|
|
150
|
+
enabled: true,
|
|
151
|
+
priority: RULE_PRIORITY.BUDGET_CAPS,
|
|
152
|
+
evaluate: (ctx) => {
|
|
153
|
+
if (ctx.requestType !== "graphSlice" || !ctx.budget) {
|
|
154
|
+
return {
|
|
155
|
+
passed: true,
|
|
156
|
+
evidence: {
|
|
157
|
+
type: "check-skipped",
|
|
158
|
+
value: null,
|
|
159
|
+
reason: "Rule only applies to graphSlice with budget",
|
|
160
|
+
},
|
|
161
|
+
};
|
|
162
|
+
}
|
|
163
|
+
const failed = [];
|
|
164
|
+
if (ctx.budget.maxCards &&
|
|
165
|
+
ctx.budget.maxCards > this.config.budgetCaps.maxCards) {
|
|
166
|
+
failed.push({
|
|
167
|
+
type: "max-cards-exceeded",
|
|
168
|
+
value: {
|
|
169
|
+
requested: ctx.budget.maxCards,
|
|
170
|
+
limit: this.config.budgetCaps.maxCards,
|
|
171
|
+
},
|
|
172
|
+
reason: `Requested cards (${ctx.budget.maxCards}) exceed maximum (${this.config.budgetCaps.maxCards})`,
|
|
173
|
+
});
|
|
174
|
+
}
|
|
175
|
+
if (ctx.budget.maxEstimatedTokens &&
|
|
176
|
+
ctx.budget.maxEstimatedTokens >
|
|
177
|
+
this.config.budgetCaps.maxEstimatedTokens) {
|
|
178
|
+
failed.push({
|
|
179
|
+
type: "max-tokens-budget-exceeded",
|
|
180
|
+
value: {
|
|
181
|
+
requested: ctx.budget.maxEstimatedTokens,
|
|
182
|
+
limit: this.config.budgetCaps.maxEstimatedTokens,
|
|
183
|
+
},
|
|
184
|
+
reason: `Requested tokens (${ctx.budget.maxEstimatedTokens}) exceed maximum (${this.config.budgetCaps.maxEstimatedTokens})`,
|
|
185
|
+
});
|
|
186
|
+
}
|
|
187
|
+
if (failed.length > 0) {
|
|
188
|
+
return {
|
|
189
|
+
passed: false,
|
|
190
|
+
evidence: failed[0],
|
|
191
|
+
};
|
|
192
|
+
}
|
|
193
|
+
return {
|
|
194
|
+
passed: true,
|
|
195
|
+
evidence: {
|
|
196
|
+
type: "budget-within-limits",
|
|
197
|
+
value: {
|
|
198
|
+
maxCards: this.config.budgetCaps.maxCards,
|
|
199
|
+
maxEstimatedTokens: this.config.budgetCaps.maxEstimatedTokens,
|
|
200
|
+
},
|
|
201
|
+
reason: "Budget within caps",
|
|
202
|
+
},
|
|
203
|
+
};
|
|
204
|
+
},
|
|
205
|
+
});
|
|
206
|
+
this.addRule({
|
|
207
|
+
name: "break-glass",
|
|
208
|
+
enabled: true,
|
|
209
|
+
priority: RULE_PRIORITY.BREAK_GLASS,
|
|
210
|
+
evaluate: (ctx) => {
|
|
211
|
+
if (!this.config.allowBreakGlass) {
|
|
212
|
+
return {
|
|
213
|
+
passed: true,
|
|
214
|
+
evidence: {
|
|
215
|
+
type: "break-glass-disabled",
|
|
216
|
+
value: null,
|
|
217
|
+
reason: "Break glass not allowed by policy",
|
|
218
|
+
},
|
|
219
|
+
};
|
|
220
|
+
}
|
|
221
|
+
if (ctx.reason) {
|
|
222
|
+
const reasonUpper = ctx.reason.toUpperCase();
|
|
223
|
+
if (reasonUpper.includes("AUDIT") ||
|
|
224
|
+
reasonUpper.includes("BREAK-GLASS")) {
|
|
225
|
+
return {
|
|
226
|
+
passed: true,
|
|
227
|
+
evidence: {
|
|
228
|
+
type: "break-glass-triggered",
|
|
229
|
+
value: { reason: ctx.reason },
|
|
230
|
+
reason: "Break glass override triggered",
|
|
231
|
+
},
|
|
232
|
+
};
|
|
233
|
+
}
|
|
234
|
+
}
|
|
235
|
+
return {
|
|
236
|
+
passed: true,
|
|
237
|
+
evidence: {
|
|
238
|
+
type: "break-glass-not-triggered",
|
|
239
|
+
value: null,
|
|
240
|
+
reason: "No break glass override requested",
|
|
241
|
+
},
|
|
242
|
+
};
|
|
243
|
+
},
|
|
244
|
+
});
|
|
245
|
+
this.addRule({
|
|
246
|
+
name: "default-deny-raw",
|
|
247
|
+
enabled: true,
|
|
248
|
+
priority: RULE_PRIORITY.DEFAULT_DENY_RAW,
|
|
249
|
+
evaluate: (ctx) => {
|
|
250
|
+
if (ctx.requestType !== "codeWindow") {
|
|
251
|
+
return {
|
|
252
|
+
passed: true,
|
|
253
|
+
evidence: {
|
|
254
|
+
type: "check-skipped",
|
|
255
|
+
value: null,
|
|
256
|
+
reason: "Rule only applies to codeWindow requests",
|
|
257
|
+
},
|
|
258
|
+
};
|
|
259
|
+
}
|
|
260
|
+
if (!this.config.defaultDenyRaw) {
|
|
261
|
+
return {
|
|
262
|
+
passed: true,
|
|
263
|
+
evidence: {
|
|
264
|
+
type: "default-allow-raw",
|
|
265
|
+
value: null,
|
|
266
|
+
reason: "Raw code access allowed by default",
|
|
267
|
+
},
|
|
268
|
+
};
|
|
269
|
+
}
|
|
270
|
+
if (ctx.sliceContext?.cards.some((c) => c.symbolId === ctx.symbolId) ||
|
|
271
|
+
ctx.sliceContext?.frontier?.some((f) => f.symbolId === ctx.symbolId)) {
|
|
272
|
+
return {
|
|
273
|
+
passed: true,
|
|
274
|
+
evidence: {
|
|
275
|
+
type: "in-slice-or-frontier",
|
|
276
|
+
value: { symbolId: ctx.symbolId },
|
|
277
|
+
reason: "Symbol is in slice or frontier",
|
|
278
|
+
},
|
|
279
|
+
};
|
|
280
|
+
}
|
|
281
|
+
const hasIdentifiers = ctx.identifiersToFind && ctx.identifiersToFind.length > 0;
|
|
282
|
+
const downgradeTarget = hasIdentifiers ? "hotpath" : "skeleton";
|
|
283
|
+
return {
|
|
284
|
+
passed: false,
|
|
285
|
+
evidence: {
|
|
286
|
+
type: "default-deny-raw",
|
|
287
|
+
value: {
|
|
288
|
+
symbolId: ctx.symbolId,
|
|
289
|
+
hasIdentifiers,
|
|
290
|
+
suggestedDowngrade: downgradeTarget,
|
|
291
|
+
},
|
|
292
|
+
reason: `Raw code access denied by default policy - try ${downgradeTarget} instead`,
|
|
293
|
+
},
|
|
294
|
+
downgradeTo: downgradeTarget,
|
|
295
|
+
};
|
|
296
|
+
},
|
|
297
|
+
});
|
|
298
|
+
}
|
|
299
|
+
addRule(rule) {
|
|
300
|
+
this.rules.set(rule.name, rule);
|
|
301
|
+
}
|
|
302
|
+
removeRule(name) {
|
|
303
|
+
this.rules.delete(name);
|
|
304
|
+
}
|
|
305
|
+
getRule(name) {
|
|
306
|
+
return this.rules.get(name);
|
|
307
|
+
}
|
|
308
|
+
evaluate(context) {
|
|
309
|
+
const evidence = [];
|
|
310
|
+
const deniedReasons = [];
|
|
311
|
+
let downgradeTo = null;
|
|
312
|
+
const sortedRules = Array.from(this.rules.values()).sort((a, b) => {
|
|
313
|
+
const priorityDiff = b.priority - a.priority;
|
|
314
|
+
if (priorityDiff !== 0)
|
|
315
|
+
return priorityDiff;
|
|
316
|
+
return a.name.localeCompare(b.name);
|
|
317
|
+
});
|
|
318
|
+
for (const rule of sortedRules) {
|
|
319
|
+
if (!rule.enabled)
|
|
320
|
+
continue;
|
|
321
|
+
try {
|
|
322
|
+
const result = rule.evaluate(context);
|
|
323
|
+
evidence.push(result.evidence);
|
|
324
|
+
if (!result.passed) {
|
|
325
|
+
deniedReasons.push(result.evidence.reason);
|
|
326
|
+
if (result.downgradeTo && !downgradeTo) {
|
|
327
|
+
downgradeTo = result.downgradeTo;
|
|
328
|
+
}
|
|
329
|
+
}
|
|
330
|
+
}
|
|
331
|
+
catch (error) {
|
|
332
|
+
logger.error(`Policy rule "${rule.name}" evaluation failed`, {
|
|
333
|
+
error,
|
|
334
|
+
context,
|
|
335
|
+
});
|
|
336
|
+
evidence.push({
|
|
337
|
+
type: "rule-error",
|
|
338
|
+
value: { ruleName: rule.name, error: String(error) },
|
|
339
|
+
reason: `Rule "${rule.name}" failed to evaluate`,
|
|
340
|
+
});
|
|
341
|
+
}
|
|
342
|
+
}
|
|
343
|
+
let decision = "approve";
|
|
344
|
+
if (deniedReasons.length > 0) {
|
|
345
|
+
if (downgradeTo === "skeleton") {
|
|
346
|
+
decision = "downgrade-to-skeleton";
|
|
347
|
+
}
|
|
348
|
+
else if (downgradeTo === "hotpath") {
|
|
349
|
+
decision = "downgrade-to-hotpath";
|
|
350
|
+
}
|
|
351
|
+
else {
|
|
352
|
+
decision = "deny";
|
|
353
|
+
}
|
|
354
|
+
}
|
|
355
|
+
const auditHash = generateAuditHash(decision, evidence, context);
|
|
356
|
+
let downgradeTarget;
|
|
357
|
+
if (downgradeTo && context.symbolId) {
|
|
358
|
+
downgradeTarget = {
|
|
359
|
+
type: downgradeTo,
|
|
360
|
+
symbolId: context.symbolId,
|
|
361
|
+
repoId: context.repoId,
|
|
362
|
+
};
|
|
363
|
+
}
|
|
364
|
+
return {
|
|
365
|
+
decision,
|
|
366
|
+
evidenceUsed: evidence,
|
|
367
|
+
auditHash,
|
|
368
|
+
deniedReasons: deniedReasons.length > 0 ? deniedReasons : undefined,
|
|
369
|
+
downgradeTarget,
|
|
370
|
+
};
|
|
371
|
+
}
|
|
372
|
+
generateNextBestAction(decision, context) {
|
|
373
|
+
if (decision.decision === "approve") {
|
|
374
|
+
return {};
|
|
375
|
+
}
|
|
376
|
+
const deniedReasons = decision.deniedReasons ?? [];
|
|
377
|
+
let nextBestAction = "retryWithSameInputs";
|
|
378
|
+
const requiredFieldsForNext = {};
|
|
379
|
+
const deniedReasonSet = new Set(deniedReasons);
|
|
380
|
+
const deniedEvidence = decision.evidenceUsed.filter((e) => deniedReasonSet.has(e.reason));
|
|
381
|
+
if (decision.decision === "downgrade-to-skeleton") {
|
|
382
|
+
nextBestAction = "requestSkeleton";
|
|
383
|
+
if (context.symbolId) {
|
|
384
|
+
requiredFieldsForNext.requestSkeleton = {
|
|
385
|
+
symbolId: context.symbolId,
|
|
386
|
+
repoId: context.repoId,
|
|
387
|
+
};
|
|
388
|
+
}
|
|
389
|
+
}
|
|
390
|
+
else if (decision.decision === "downgrade-to-hotpath") {
|
|
391
|
+
nextBestAction = "requestHotPath";
|
|
392
|
+
if (context.symbolId) {
|
|
393
|
+
requiredFieldsForNext.requestHotPath = {
|
|
394
|
+
symbolId: context.symbolId,
|
|
395
|
+
repoId: context.repoId,
|
|
396
|
+
identifiersToFind: context.identifiersToFind ?? [],
|
|
397
|
+
maxTokens: context.maxWindowTokens,
|
|
398
|
+
};
|
|
399
|
+
}
|
|
400
|
+
}
|
|
401
|
+
else {
|
|
402
|
+
// Prefer evidence.type matching (deniedReasons contains evidence.reason strings).
|
|
403
|
+
for (const ev of deniedEvidence) {
|
|
404
|
+
if (ev.type === "missing-identifiers") {
|
|
405
|
+
nextBestAction = "provideIdentifiersToFind";
|
|
406
|
+
requiredFieldsForNext.provideIdentifiersToFind = {
|
|
407
|
+
minCount: 1,
|
|
408
|
+
examples: context.symbolData?.name
|
|
409
|
+
? [context.symbolData.name]
|
|
410
|
+
: undefined,
|
|
411
|
+
};
|
|
412
|
+
break;
|
|
413
|
+
}
|
|
414
|
+
if (ev.type === "max-cards-exceeded") {
|
|
415
|
+
nextBestAction = "narrowScope";
|
|
416
|
+
requiredFieldsForNext.narrowScope = {
|
|
417
|
+
field: "budget.maxCards",
|
|
418
|
+
reason: `Requested maxCards exceeds policy cap (${this.config.budgetCaps.maxCards}). Reduce maxCards or narrow scope (more specific entrySymbols/taskText).`,
|
|
419
|
+
};
|
|
420
|
+
break;
|
|
421
|
+
}
|
|
422
|
+
if (ev.type === "max-tokens-budget-exceeded") {
|
|
423
|
+
nextBestAction = "narrowScope";
|
|
424
|
+
requiredFieldsForNext.narrowScope = {
|
|
425
|
+
field: "budget.maxEstimatedTokens",
|
|
426
|
+
reason: `Requested maxEstimatedTokens exceeds policy cap (${this.config.budgetCaps.maxEstimatedTokens}). Reduce maxEstimatedTokens or narrow scope (more specific entrySymbols/taskText).`,
|
|
427
|
+
};
|
|
428
|
+
break;
|
|
429
|
+
}
|
|
430
|
+
}
|
|
431
|
+
// Fallback to substring matching for older/custom rules that don't set useful types.
|
|
432
|
+
if (nextBestAction === "retryWithSameInputs") {
|
|
433
|
+
for (const reason of deniedReasons) {
|
|
434
|
+
if (reason.includes("missing identifiers")) {
|
|
435
|
+
nextBestAction = "provideIdentifiersToFind";
|
|
436
|
+
requiredFieldsForNext.provideIdentifiersToFind = {
|
|
437
|
+
minCount: 1,
|
|
438
|
+
examples: context.symbolData?.name
|
|
439
|
+
? [context.symbolData.name]
|
|
440
|
+
: undefined,
|
|
441
|
+
};
|
|
442
|
+
break;
|
|
443
|
+
}
|
|
444
|
+
if (reason.includes("Requested cards") &&
|
|
445
|
+
reason.includes("exceed maximum")) {
|
|
446
|
+
nextBestAction = "narrowScope";
|
|
447
|
+
requiredFieldsForNext.narrowScope = {
|
|
448
|
+
field: "budget.maxCards",
|
|
449
|
+
reason: `Requested maxCards exceeds policy cap (${this.config.budgetCaps.maxCards}). Reduce maxCards or narrow scope (more specific entrySymbols/taskText).`,
|
|
450
|
+
};
|
|
451
|
+
break;
|
|
452
|
+
}
|
|
453
|
+
if (reason.includes("Requested tokens") &&
|
|
454
|
+
reason.includes("exceed maximum")) {
|
|
455
|
+
nextBestAction = "narrowScope";
|
|
456
|
+
requiredFieldsForNext.narrowScope = {
|
|
457
|
+
field: "budget.maxEstimatedTokens",
|
|
458
|
+
reason: `Requested maxEstimatedTokens exceeds policy cap (${this.config.budgetCaps.maxEstimatedTokens}). Reduce maxEstimatedTokens or narrow scope (more specific entrySymbols/taskText).`,
|
|
459
|
+
};
|
|
460
|
+
break;
|
|
461
|
+
}
|
|
462
|
+
}
|
|
463
|
+
}
|
|
464
|
+
}
|
|
465
|
+
return {
|
|
466
|
+
nextBestAction,
|
|
467
|
+
requiredFieldsForNext,
|
|
468
|
+
};
|
|
469
|
+
}
|
|
470
|
+
updateConfig(config) {
|
|
471
|
+
this.config = { ...this.config, ...config };
|
|
472
|
+
}
|
|
473
|
+
getConfig() {
|
|
474
|
+
return { ...this.config };
|
|
475
|
+
}
|
|
476
|
+
}
|
|
477
|
+
//# sourceMappingURL=engine.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"engine.js","sourceRoot":"","sources":["../../src/policy/engine.ts"],"names":[],"mappings":"AAAA,OAAO,MAAM,MAAM,QAAQ,CAAC;AAQ5B,OAAO,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AACnD,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAE3C,OAAO,EACL,iCAAiC,EACjC,oCAAoC,EACpC,2BAA2B,EAC3B,2BAA2B,EAC3B,gCAAgC,GACjC,MAAM,wBAAwB,CAAC;AAEhC;;;;;;;;;GASG;AACH,MAAM,aAAa,GAAG;IACpB,iBAAiB,EAAE,iCAAiC;IACpD,oBAAoB,EAAE,oCAAoC;IAC1D,WAAW,EAAE,2BAA2B;IACxC,WAAW,EAAE,2BAA2B;IACxC,gBAAgB,EAAE,gCAAgC;CAC1C,CAAC;AAUX,MAAM,UAAU,iBAAiB,CAC/B,QAAgB,EAChB,QAA0B,EAC1B,OAA6B;IAE7B,MAAM,SAAS,GAAG;QAChB,QAAQ;QACR,QAAQ;QACR,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,QAAQ,EAAE,OAAO,CAAC,QAAQ;KAC3B,CAAC;IACF,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IAC7C,OAAO,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AACtE,CAAC;AAED,MAAM,OAAO,YAAY;IACf,KAAK,GAA4B,IAAI,GAAG,EAAE,CAAC;IAC3C,MAAM,CAAe;IAE7B,YAAY,SAAgC,EAAE;QAC5C,IAAI,CAAC,MAAM,GAAG,EAAE,GAAG,qBAAqB,EAAE,GAAG,MAAM,EAAE,CAAC;QACtD,IAAI,CAAC,oBAAoB,EAAE,CAAC;IAC9B,CAAC;IAEO,oBAAoB;QAC1B,IAAI,CAAC,OAAO,CAAC;YACX,IAAI,EAAE,mBAAmB;YACzB,OAAO,EAAE,IAAI;YACb,QAAQ,EAAE,aAAa,CAAC,iBAAiB;YACzC,QAAQ,EAAE,CAAC,GAAG,EAAE,EAAE;gBAChB,IAAI,GAAG,CAAC,WAAW,KAAK,YAAY,EAAE,CAAC;oBACrC,OAAO;wBACL,MAAM,EAAE,IAAI;wBACZ,QAAQ,EAAE;4BACR,IAAI,EAAE,eAAe;4BACrB,KAAK,EAAE,IAAI;4BACX,MAAM,EAAE,0CAA0C;yBACnD;qBACF,CAAC;gBACJ,CAAC;gBAED,MAAM,MAAM,GAAqB,EAAE,CAAC;gBAEpC,IACE,GAAG,CAAC,cAAc;oBAClB,GAAG,CAAC,cAAc,GAAG,IAAI,CAAC,MAAM,CAAC,cAAc,EAC/C,CAAC;oBACD,MAAM,CAAC,IAAI,CAAC;wBACV,IAAI,EAAE,oBAAoB;wBAC1B,KAAK,EAAE;4BACL,SAAS,EAAE,GAAG,CAAC,cAAc;4BAC7B,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,cAAc;yBAClC;wBACD,MAAM,EAAE,oBAAoB,GAAG,CAAC,cAAc,qBAAqB,IAAI,CAAC,MAAM,CAAC,cAAc,GAAG;qBACjG,CAAC,CAAC;gBACL,CAAC;gBAED,IACE,GAAG,CAAC,eAAe;oBACnB,GAAG,CAAC,eAAe,GAAG,IAAI,CAAC,MAAM,CAAC,eAAe,EACjD,CAAC;oBACD,MAAM,CAAC,IAAI,CAAC;wBACV,IAAI,EAAE,qBAAqB;wBAC3B,KAAK,EAAE;4BACL,SAAS,EAAE,GAAG,CAAC,eAAe;4BAC9B,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,eAAe;yBACnC;wBACD,MAAM,EAAE,qBAAqB,GAAG,CAAC,eAAe,qBAAqB,IAAI,CAAC,MAAM,CAAC,eAAe,GAAG;qBACpG,CAAC,CAAC;gBACL,CAAC;gBAED,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACtB,OAAO;wBACL,MAAM,EAAE,KAAK;wBACb,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;wBACnB,WAAW,EAAE,UAAU;qBACxB,CAAC;gBACJ,CAAC;gBAED,OAAO;oBACL,MAAM,EAAE,IAAI;oBACZ,QAAQ,EAAE;wBACR,IAAI,EAAE,mBAAmB;wBACzB,KAAK,EAAE;4BACL,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,cAAc;4BACpC,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,eAAe;yBACvC;wBACD,MAAM,EAAE,2BAA2B;qBACpC;iBACF,CAAC;YACJ,CAAC;SACF,CAAC,CAAC;QAEH,IAAI,CAAC,OAAO,CAAC;YACX,IAAI,EAAE,sBAAsB;YAC5B,OAAO,EAAE,IAAI;YACb,QAAQ,EAAE,aAAa,CAAC,oBAAoB;YAC5C,QAAQ,EAAE,CAAC,GAAG,EAAE,EAAE;gBAChB,IAAI,GAAG,CAAC,WAAW,KAAK,YAAY,EAAE,CAAC;oBACrC,OAAO;wBACL,MAAM,EAAE,IAAI;wBACZ,QAAQ,EAAE;4BACR,IAAI,EAAE,eAAe;4BACrB,KAAK,EAAE,IAAI;4BACX,MAAM,EAAE,0CAA0C;yBACnD;qBACF,CAAC;gBACJ,CAAC;gBAED,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,kBAAkB,EAAE,CAAC;oBACpC,OAAO;wBACL,MAAM,EAAE,IAAI;wBACZ,QAAQ,EAAE;4BACR,IAAI,EAAE,0BAA0B;4BAChC,KAAK,EAAE,IAAI;4BACX,MAAM,EAAE,oCAAoC;yBAC7C;qBACF,CAAC;gBACJ,CAAC;gBAED,IAAI,CAAC,GAAG,CAAC,iBAAiB,IAAI,GAAG,CAAC,iBAAiB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBACjE,OAAO;wBACL,MAAM,EAAE,KAAK;wBACb,QAAQ,EAAE;4BACR,IAAI,EAAE,qBAAqB;4BAC3B,KAAK,EAAE,IAAI;4BACX,MAAM,EAAE,iDAAiD;yBAC1D;wBACD,WAAW,EAAE,UAAU;qBACxB,CAAC;gBACJ,CAAC;gBAED,OAAO;oBACL,MAAM,EAAE,IAAI;oBACZ,QAAQ,EAAE;wBACR,IAAI,EAAE,sBAAsB;wBAC5B,KAAK,EAAE;4BACL,KAAK,EAAE,GAAG,CAAC,iBAAiB,CAAC,MAAM;4BACnC,WAAW,EAAE,GAAG,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;yBAC/C;wBACD,MAAM,EAAE,YAAY,GAAG,CAAC,iBAAiB,CAAC,MAAM,cAAc;qBAC/D;iBACF,CAAC;YACJ,CAAC;SACF,CAAC,CAAC;QAEH,IAAI,CAAC,OAAO,CAAC;YACX,IAAI,EAAE,aAAa;YACnB,OAAO,EAAE,IAAI;YACb,QAAQ,EAAE,aAAa,CAAC,WAAW;YACnC,QAAQ,EAAE,CAAC,GAAG,EAAE,EAAE;gBAChB,IAAI,GAAG,CAAC,WAAW,KAAK,YAAY,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC;oBACpD,OAAO;wBACL,MAAM,EAAE,IAAI;wBACZ,QAAQ,EAAE;4BACR,IAAI,EAAE,eAAe;4BACrB,KAAK,EAAE,IAAI;4BACX,MAAM,EAAE,6CAA6C;yBACtD;qBACF,CAAC;gBACJ,CAAC;gBAED,MAAM,MAAM,GAAqB,EAAE,CAAC;gBAEpC,IACE,GAAG,CAAC,MAAM,CAAC,QAAQ;oBACnB,GAAG,CAAC,MAAM,CAAC,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ,EACrD,CAAC;oBACD,MAAM,CAAC,IAAI,CAAC;wBACV,IAAI,EAAE,oBAAoB;wBAC1B,KAAK,EAAE;4BACL,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,QAAQ;4BAC9B,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ;yBACvC;wBACD,MAAM,EAAE,oBAAoB,GAAG,CAAC,MAAM,CAAC,QAAQ,qBAAqB,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ,GAAG;qBACvG,CAAC,CAAC;gBACL,CAAC;gBAED,IACE,GAAG,CAAC,MAAM,CAAC,kBAAkB;oBAC7B,GAAG,CAAC,MAAM,CAAC,kBAAkB;wBAC3B,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,kBAAkB,EAC3C,CAAC;oBACD,MAAM,CAAC,IAAI,CAAC;wBACV,IAAI,EAAE,4BAA4B;wBAClC,KAAK,EAAE;4BACL,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,kBAAkB;4BACxC,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,kBAAkB;yBACjD;wBACD,MAAM,EAAE,qBAAqB,GAAG,CAAC,MAAM,CAAC,kBAAkB,qBAAqB,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,kBAAkB,GAAG;qBAC5H,CAAC,CAAC;gBACL,CAAC;gBAED,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACtB,OAAO;wBACL,MAAM,EAAE,KAAK;wBACb,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;qBACpB,CAAC;gBACJ,CAAC;gBAED,OAAO;oBACL,MAAM,EAAE,IAAI;oBACZ,QAAQ,EAAE;wBACR,IAAI,EAAE,sBAAsB;wBAC5B,KAAK,EAAE;4BACL,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ;4BACzC,kBAAkB,EAAE,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,kBAAkB;yBAC9D;wBACD,MAAM,EAAE,oBAAoB;qBAC7B;iBACF,CAAC;YACJ,CAAC;SACF,CAAC,CAAC;QAEH,IAAI,CAAC,OAAO,CAAC;YACX,IAAI,EAAE,aAAa;YACnB,OAAO,EAAE,IAAI;YACb,QAAQ,EAAE,aAAa,CAAC,WAAW;YACnC,QAAQ,EAAE,CAAC,GAAG,EAAE,EAAE;gBAChB,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,eAAe,EAAE,CAAC;oBACjC,OAAO;wBACL,MAAM,EAAE,IAAI;wBACZ,QAAQ,EAAE;4BACR,IAAI,EAAE,sBAAsB;4BAC5B,KAAK,EAAE,IAAI;4BACX,MAAM,EAAE,mCAAmC;yBAC5C;qBACF,CAAC;gBACJ,CAAC;gBAED,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;oBACf,MAAM,WAAW,GAAG,GAAG,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC;oBAC7C,IACE,WAAW,CAAC,QAAQ,CAAC,OAAO,CAAC;wBAC7B,WAAW,CAAC,QAAQ,CAAC,aAAa,CAAC,EACnC,CAAC;wBACD,OAAO;4BACL,MAAM,EAAE,IAAI;4BACZ,QAAQ,EAAE;gCACR,IAAI,EAAE,uBAAuB;gCAC7B,KAAK,EAAE,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE;gCAC7B,MAAM,EAAE,gCAAgC;6BACzC;yBACF,CAAC;oBACJ,CAAC;gBACH,CAAC;gBAED,OAAO;oBACL,MAAM,EAAE,IAAI;oBACZ,QAAQ,EAAE;wBACR,IAAI,EAAE,2BAA2B;wBACjC,KAAK,EAAE,IAAI;wBACX,MAAM,EAAE,mCAAmC;qBAC5C;iBACF,CAAC;YACJ,CAAC;SACF,CAAC,CAAC;QAEH,IAAI,CAAC,OAAO,CAAC;YACX,IAAI,EAAE,kBAAkB;YACxB,OAAO,EAAE,IAAI;YACb,QAAQ,EAAE,aAAa,CAAC,gBAAgB;YACxC,QAAQ,EAAE,CAAC,GAAG,EAAE,EAAE;gBAChB,IAAI,GAAG,CAAC,WAAW,KAAK,YAAY,EAAE,CAAC;oBACrC,OAAO;wBACL,MAAM,EAAE,IAAI;wBACZ,QAAQ,EAAE;4BACR,IAAI,EAAE,eAAe;4BACrB,KAAK,EAAE,IAAI;4BACX,MAAM,EAAE,0CAA0C;yBACnD;qBACF,CAAC;gBACJ,CAAC;gBAED,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,EAAE,CAAC;oBAChC,OAAO;wBACL,MAAM,EAAE,IAAI;wBACZ,QAAQ,EAAE;4BACR,IAAI,EAAE,mBAAmB;4BACzB,KAAK,EAAE,IAAI;4BACX,MAAM,EAAE,oCAAoC;yBAC7C;qBACF,CAAC;gBACJ,CAAC;gBAED,IACE,GAAG,CAAC,YAAY,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,GAAG,CAAC,QAAQ,CAAC;oBAChE,GAAG,CAAC,YAAY,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,GAAG,CAAC,QAAQ,CAAC,EACpE,CAAC;oBACD,OAAO;wBACL,MAAM,EAAE,IAAI;wBACZ,QAAQ,EAAE;4BACR,IAAI,EAAE,sBAAsB;4BAC5B,KAAK,EAAE,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE;4BACjC,MAAM,EAAE,gCAAgC;yBACzC;qBACF,CAAC;gBACJ,CAAC;gBAED,MAAM,cAAc,GAClB,GAAG,CAAC,iBAAiB,IAAI,GAAG,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,CAAC;gBAE5D,MAAM,eAAe,GAAG,cAAc,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC;gBAEhE,OAAO;oBACL,MAAM,EAAE,KAAK;oBACb,QAAQ,EAAE;wBACR,IAAI,EAAE,kBAAkB;wBACxB,KAAK,EAAE;4BACL,QAAQ,EAAE,GAAG,CAAC,QAAQ;4BACtB,cAAc;4BACd,kBAAkB,EAAE,eAAe;yBACpC;wBACD,MAAM,EAAE,kDAAkD,eAAe,UAAU;qBACpF;oBACD,WAAW,EAAE,eAAe;iBAC7B,CAAC;YACJ,CAAC;SACF,CAAC,CAAC;IACL,CAAC;IAED,OAAO,CAAC,IAAgB;QACtB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAClC,CAAC;IAED,UAAU,CAAC,IAAY;QACrB,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IAED,OAAO,CAAC,IAAY;QAClB,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC;IAED,QAAQ,CAAC,OAA6B;QACpC,MAAM,QAAQ,GAAqB,EAAE,CAAC;QACtC,MAAM,aAAa,GAAa,EAAE,CAAC;QACnC,IAAI,WAAW,GAAkC,IAAI,CAAC;QAEtD,MAAM,WAAW,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YAChE,MAAM,YAAY,GAAG,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC;YAC7C,IAAI,YAAY,KAAK,CAAC;gBAAE,OAAO,YAAY,CAAC;YAC5C,OAAO,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACtC,CAAC,CAAC,CAAC;QAEH,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;YAC/B,IAAI,CAAC,IAAI,CAAC,OAAO;gBAAE,SAAS;YAE5B,IAAI,CAAC;gBACH,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;gBACtC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;gBAE/B,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;oBACnB,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;oBAC3C,IAAI,MAAM,CAAC,WAAW,IAAI,CAAC,WAAW,EAAE,CAAC;wBACvC,WAAW,GAAG,MAAM,CAAC,WAAW,CAAC;oBACnC,CAAC;gBACH,CAAC;YACH,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,MAAM,CAAC,KAAK,CAAC,gBAAgB,IAAI,CAAC,IAAI,qBAAqB,EAAE;oBAC3D,KAAK;oBACL,OAAO;iBACR,CAAC,CAAC;gBACH,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,YAAY;oBAClB,KAAK,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE;oBACpD,MAAM,EAAE,SAAS,IAAI,CAAC,IAAI,sBAAsB;iBACjD,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,IAAI,QAAQ,GAA+B,SAAS,CAAC;QAErD,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC7B,IAAI,WAAW,KAAK,UAAU,EAAE,CAAC;gBAC/B,QAAQ,GAAG,uBAAuB,CAAC;YACrC,CAAC;iBAAM,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;gBACrC,QAAQ,GAAG,sBAAsB,CAAC;YACpC,CAAC;iBAAM,CAAC;gBACN,QAAQ,GAAG,MAAM,CAAC;YACpB,CAAC;QACH,CAAC;QAED,MAAM,SAAS,GAAG,iBAAiB,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;QAEjE,IAAI,eAAe,CAAC;QACpB,IAAI,WAAW,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;YACpC,eAAe,GAAG;gBAChB,IAAI,EAAE,WAAW;gBACjB,QAAQ,EAAE,OAAO,CAAC,QAAQ;gBAC1B,MAAM,EAAE,OAAO,CAAC,MAAM;aACvB,CAAC;QACJ,CAAC;QAED,OAAO;YACL,QAAQ;YACR,YAAY,EAAE,QAAQ;YACtB,SAAS;YACT,aAAa,EAAE,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS;YACnE,eAAe;SAChB,CAAC;IACJ,CAAC;IAED,sBAAsB,CACpB,QAAwB,EACxB,OAA6B;QAK7B,IAAI,QAAQ,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YACpC,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,MAAM,aAAa,GAAG,QAAQ,CAAC,aAAa,IAAI,EAAE,CAAC;QACnD,IAAI,cAAc,GAAmB,qBAAqB,CAAC;QAC3D,MAAM,qBAAqB,GAA0B,EAAE,CAAC;QAExD,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,CAAC;QAC/C,MAAM,cAAc,GAAG,QAAQ,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CACxD,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAC9B,CAAC;QAEF,IAAI,QAAQ,CAAC,QAAQ,KAAK,uBAAuB,EAAE,CAAC;YAClD,cAAc,GAAG,iBAAiB,CAAC;YACnC,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;gBACrB,qBAAqB,CAAC,eAAe,GAAG;oBACtC,QAAQ,EAAE,OAAO,CAAC,QAAQ;oBAC1B,MAAM,EAAE,OAAO,CAAC,MAAM;iBACvB,CAAC;YACJ,CAAC;QACH,CAAC;aAAM,IAAI,QAAQ,CAAC,QAAQ,KAAK,sBAAsB,EAAE,CAAC;YACxD,cAAc,GAAG,gBAAgB,CAAC;YAClC,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;gBACrB,qBAAqB,CAAC,cAAc,GAAG;oBACrC,QAAQ,EAAE,OAAO,CAAC,QAAQ;oBAC1B,MAAM,EAAE,OAAO,CAAC,MAAM;oBACtB,iBAAiB,EAAE,OAAO,CAAC,iBAAiB,IAAI,EAAE;oBAClD,SAAS,EAAE,OAAO,CAAC,eAAe;iBACnC,CAAC;YACJ,CAAC;QACH,CAAC;aAAM,CAAC;YACN,kFAAkF;YAClF,KAAK,MAAM,EAAE,IAAI,cAAc,EAAE,CAAC;gBAChC,IAAI,EAAE,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;oBACtC,cAAc,GAAG,0BAA0B,CAAC;oBAC5C,qBAAqB,CAAC,wBAAwB,GAAG;wBAC/C,QAAQ,EAAE,CAAC;wBACX,QAAQ,EAAE,OAAO,CAAC,UAAU,EAAE,IAAI;4BAChC,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC;4BAC3B,CAAC,CAAC,SAAS;qBACd,CAAC;oBACF,MAAM;gBACR,CAAC;gBACD,IAAI,EAAE,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;oBACrC,cAAc,GAAG,aAAa,CAAC;oBAC/B,qBAAqB,CAAC,WAAW,GAAG;wBAClC,KAAK,EAAE,iBAAiB;wBACxB,MAAM,EAAE,0CAA0C,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ,2EAA2E;qBAC7J,CAAC;oBACF,MAAM;gBACR,CAAC;gBACD,IAAI,EAAE,CAAC,IAAI,KAAK,4BAA4B,EAAE,CAAC;oBAC7C,cAAc,GAAG,aAAa,CAAC;oBAC/B,qBAAqB,CAAC,WAAW,GAAG;wBAClC,KAAK,EAAE,2BAA2B;wBAClC,MAAM,EAAE,oDAAoD,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,kBAAkB,qFAAqF;qBAC3L,CAAC;oBACF,MAAM;gBACR,CAAC;YACH,CAAC;YAED,qFAAqF;YACrF,IAAI,cAAc,KAAK,qBAAqB,EAAE,CAAC;gBAC7C,KAAK,MAAM,MAAM,IAAI,aAAa,EAAE,CAAC;oBACnC,IAAI,MAAM,CAAC,QAAQ,CAAC,qBAAqB,CAAC,EAAE,CAAC;wBAC3C,cAAc,GAAG,0BAA0B,CAAC;wBAC5C,qBAAqB,CAAC,wBAAwB,GAAG;4BAC/C,QAAQ,EAAE,CAAC;4BACX,QAAQ,EAAE,OAAO,CAAC,UAAU,EAAE,IAAI;gCAChC,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC;gCAC3B,CAAC,CAAC,SAAS;yBACd,CAAC;wBACF,MAAM;oBACR,CAAC;oBACD,IACE,MAAM,CAAC,QAAQ,CAAC,iBAAiB,CAAC;wBAClC,MAAM,CAAC,QAAQ,CAAC,gBAAgB,CAAC,EACjC,CAAC;wBACD,cAAc,GAAG,aAAa,CAAC;wBAC/B,qBAAqB,CAAC,WAAW,GAAG;4BAClC,KAAK,EAAE,iBAAiB;4BACxB,MAAM,EAAE,0CAA0C,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ,2EAA2E;yBAC7J,CAAC;wBACF,MAAM;oBACR,CAAC;oBACD,IACE,MAAM,CAAC,QAAQ,CAAC,kBAAkB,CAAC;wBACnC,MAAM,CAAC,QAAQ,CAAC,gBAAgB,CAAC,EACjC,CAAC;wBACD,cAAc,GAAG,aAAa,CAAC;wBAC/B,qBAAqB,CAAC,WAAW,GAAG;4BAClC,KAAK,EAAE,2BAA2B;4BAClC,MAAM,EAAE,oDAAoD,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,kBAAkB,qFAAqF;yBAC3L,CAAC;wBACF,MAAM;oBACR,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO;YACL,cAAc;YACd,qBAAqB;SACtB,CAAC;IACJ,CAAC;IAED,YAAY,CAAC,MAA6B;QACxC,IAAI,CAAC,MAAM,GAAG,EAAE,GAAG,IAAI,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC;IAC9C,CAAC;IAED,SAAS;QACP,OAAO,EAAE,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;IAC5B,CAAC;CACF"}
|
|
@@ -0,0 +1,73 @@
|
|
|
1
|
+
import type { SymbolCard, GraphSlice, DeltaPack, SliceBudget } from "../mcp/types.js";
|
|
2
|
+
import type { SymbolRow } from "../db/schema.js";
|
|
3
|
+
export type PolicyRequestType = "codeWindow" | "skeleton" | "hotPath" | "symbolCard" | "graphSlice" | "delta";
|
|
4
|
+
export interface PolicyRequestContext {
|
|
5
|
+
requestType: PolicyRequestType;
|
|
6
|
+
repoId: string;
|
|
7
|
+
symbolId?: string;
|
|
8
|
+
file?: string;
|
|
9
|
+
versionId?: string;
|
|
10
|
+
maxWindowLines?: number;
|
|
11
|
+
maxWindowTokens?: number;
|
|
12
|
+
identifiersToFind?: string[];
|
|
13
|
+
budget?: SliceBudget;
|
|
14
|
+
expectedLines?: number;
|
|
15
|
+
reason?: string;
|
|
16
|
+
sliceContext?: GraphSlice;
|
|
17
|
+
symbolData?: SymbolRow;
|
|
18
|
+
cardData?: SymbolCard;
|
|
19
|
+
deltaData?: DeltaPack;
|
|
20
|
+
}
|
|
21
|
+
export interface PolicyEvidence {
|
|
22
|
+
type: string;
|
|
23
|
+
value: any;
|
|
24
|
+
reason: string;
|
|
25
|
+
}
|
|
26
|
+
export interface PolicyRule {
|
|
27
|
+
name: string;
|
|
28
|
+
enabled: boolean;
|
|
29
|
+
priority: number;
|
|
30
|
+
evaluate: (context: PolicyRequestContext) => {
|
|
31
|
+
passed: boolean;
|
|
32
|
+
evidence: PolicyEvidence;
|
|
33
|
+
downgradeTo?: "skeleton" | "hotpath";
|
|
34
|
+
};
|
|
35
|
+
}
|
|
36
|
+
/**
|
|
37
|
+
* PolicyRule Priority Ordering
|
|
38
|
+
*
|
|
39
|
+
* Rules are evaluated in ascending order of priority (lower number = higher priority).
|
|
40
|
+
* The evaluation stops at the first rule that denies the request or downgrades it.
|
|
41
|
+
*
|
|
42
|
+
* Priority Guidelines:
|
|
43
|
+
* - 1-10: Critical security/cost controls (e.g., maxWindowLines, maxWindowTokens)
|
|
44
|
+
* - 11-20: Feature-level guards (e.g., requireIdentifiers, budgetCaps)
|
|
45
|
+
* - 21-30: Optional enhancements (e.g., custom rules)
|
|
46
|
+
*
|
|
47
|
+
* When multiple rules have the same priority, they are evaluated in the order
|
|
48
|
+
* they are registered in the policy engine.
|
|
49
|
+
*/
|
|
50
|
+
export interface PolicyDecision {
|
|
51
|
+
decision: "approve" | "deny" | "downgrade-to-skeleton" | "downgrade-to-hotpath";
|
|
52
|
+
evidenceUsed: PolicyEvidence[];
|
|
53
|
+
auditHash: string;
|
|
54
|
+
deniedReasons?: string[];
|
|
55
|
+
downgradeTarget?: {
|
|
56
|
+
type: "skeleton" | "hotpath";
|
|
57
|
+
symbolId: string;
|
|
58
|
+
repoId: string;
|
|
59
|
+
};
|
|
60
|
+
}
|
|
61
|
+
export interface PolicyConfig {
|
|
62
|
+
maxWindowLines: number;
|
|
63
|
+
maxWindowTokens: number;
|
|
64
|
+
requireIdentifiers: boolean;
|
|
65
|
+
allowBreakGlass: boolean;
|
|
66
|
+
defaultDenyRaw: boolean;
|
|
67
|
+
budgetCaps: {
|
|
68
|
+
maxCards: number;
|
|
69
|
+
maxEstimatedTokens: number;
|
|
70
|
+
};
|
|
71
|
+
}
|
|
72
|
+
export declare const DEFAULT_POLICY_CONFIG: PolicyConfig;
|
|
73
|
+
//# sourceMappingURL=types.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/policy/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,UAAU,EACV,UAAU,EACV,SAAS,EACT,WAAW,EACZ,MAAM,iBAAiB,CAAC;AACzB,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAEjD,MAAM,MAAM,iBAAiB,GACzB,YAAY,GACZ,UAAU,GACV,SAAS,GACT,YAAY,GACZ,YAAY,GACZ,OAAO,CAAC;AAEZ,MAAM,WAAW,oBAAoB;IACnC,WAAW,EAAE,iBAAiB,CAAC;IAC/B,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,SAAS,CAAC,EAAE,MAAM,CAAC;IAEnB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC7B,MAAM,CAAC,EAAE,WAAW,CAAC;IACrB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,MAAM,CAAC,EAAE,MAAM,CAAC;IAEhB,YAAY,CAAC,EAAE,UAAU,CAAC;IAC1B,UAAU,CAAC,EAAE,SAAS,CAAC;IACvB,QAAQ,CAAC,EAAE,UAAU,CAAC;IACtB,SAAS,CAAC,EAAE,SAAS,CAAC;CACvB;AAED,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,GAAG,CAAC;IACX,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,OAAO,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,CAAC,OAAO,EAAE,oBAAoB,KAAK;QAC3C,MAAM,EAAE,OAAO,CAAC;QAChB,QAAQ,EAAE,cAAc,CAAC;QACzB,WAAW,CAAC,EAAE,UAAU,GAAG,SAAS,CAAC;KACtC,CAAC;CACH;AAED;;;;;;;;;;;;;GAaG;AAEH,MAAM,WAAW,cAAc;IAC7B,QAAQ,EACJ,SAAS,GACT,MAAM,GACN,uBAAuB,GACvB,sBAAsB,CAAC;IAC3B,YAAY,EAAE,cAAc,EAAE,CAAC;IAC/B,SAAS,EAAE,MAAM,CAAC;IAClB,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;IACzB,eAAe,CAAC,EAAE;QAChB,IAAI,EAAE,UAAU,GAAG,SAAS,CAAC;QAC7B,QAAQ,EAAE,MAAM,CAAC;QACjB,MAAM,EAAE,MAAM,CAAC;KAChB,CAAC;CACH;AAED,MAAM,WAAW,YAAY;IAC3B,cAAc,EAAE,MAAM,CAAC;IACvB,eAAe,EAAE,MAAM,CAAC;IACxB,kBAAkB,EAAE,OAAO,CAAC;IAC5B,eAAe,EAAE,OAAO,CAAC;IACzB,cAAc,EAAE,OAAO,CAAC;IACxB,UAAU,EAAE;QACV,QAAQ,EAAE,MAAM,CAAC;QACjB,kBAAkB,EAAE,MAAM,CAAC;KAC5B,CAAC;CACH;AAED,eAAO,MAAM,qBAAqB,EAAE,YAUnC,CAAC"}
|
|
@@ -0,0 +1,12 @@
|
|
|
1
|
+
export const DEFAULT_POLICY_CONFIG = {
|
|
2
|
+
maxWindowLines: 180,
|
|
3
|
+
maxWindowTokens: 1400,
|
|
4
|
+
requireIdentifiers: true,
|
|
5
|
+
allowBreakGlass: true,
|
|
6
|
+
defaultDenyRaw: true,
|
|
7
|
+
budgetCaps: {
|
|
8
|
+
maxCards: 60,
|
|
9
|
+
maxEstimatedTokens: 12000,
|
|
10
|
+
},
|
|
11
|
+
};
|
|
12
|
+
//# sourceMappingURL=types.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/policy/types.ts"],"names":[],"mappings":"AAgGA,MAAM,CAAC,MAAM,qBAAqB,GAAiB;IACjD,cAAc,EAAE,GAAG;IACnB,eAAe,EAAE,IAAI;IACrB,kBAAkB,EAAE,IAAI;IACxB,eAAe,EAAE,IAAI;IACrB,cAAc,EAAE,IAAI;IACpB,UAAU,EAAE;QACV,QAAQ,EAAE,EAAE;QACZ,kBAAkB,EAAE,KAAK;KAC1B;CACF,CAAC"}
|
package/dist/server.d.ts
ADDED
|
@@ -0,0 +1,17 @@
|
|
|
1
|
+
import { Server } from "@modelcontextprotocol/sdk/server/index.js";
|
|
2
|
+
import { z } from "zod";
|
|
3
|
+
interface ToolHandler {
|
|
4
|
+
(args: unknown): Promise<unknown>;
|
|
5
|
+
}
|
|
6
|
+
export declare class MCPServer {
|
|
7
|
+
private server;
|
|
8
|
+
private tools;
|
|
9
|
+
constructor();
|
|
10
|
+
private setupHandlers;
|
|
11
|
+
registerTool(name: string, description: string, inputSchema: z.ZodType, handler: ToolHandler): void;
|
|
12
|
+
start(): Promise<void>;
|
|
13
|
+
stop(): Promise<void>;
|
|
14
|
+
getServer(): Server;
|
|
15
|
+
}
|
|
16
|
+
export {};
|
|
17
|
+
//# sourceMappingURL=server.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"server.d.ts","sourceRoot":"","sources":["../src/server.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,2CAA2C,CAAC;AAMnE,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AASxB,UAAU,WAAW;IACnB,CAAC,IAAI,EAAE,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;CACnC;AASD,qBAAa,SAAS;IACpB,OAAO,CAAC,MAAM,CAAS;IACvB,OAAO,CAAC,KAAK,CAA0C;;IAkBvD,OAAO,CAAC,aAAa;IAuFrB,YAAY,CACV,IAAI,EAAE,MAAM,EACZ,WAAW,EAAE,MAAM,EACnB,WAAW,EAAE,CAAC,CAAC,OAAO,EACtB,OAAO,EAAE,WAAW,GACnB,IAAI;IASD,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC;IAKtB,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC;IAI3B,SAAS,IAAI,MAAM;CAGpB"}
|