@canonical/pragma-cli 0.31.0 → 0.33.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/README.md +35 -421
- package/dist/pragma +0 -0
- package/package.json +28 -42
- package/src/bin.ts +292 -11
- package/src/capabilities/block/blockList.test.ts +79 -0
- package/src/capabilities/block/blockList.verb.ts +163 -0
- package/src/capabilities/block/index.ts +25 -0
- package/src/capabilities/block/pack.ts +166 -0
- package/src/capabilities/block/parity.test.ts +187 -0
- package/src/capabilities/block/tierChain.ts +78 -0
- package/src/capabilities/capabilities/capabilities.render.ts +89 -0
- package/src/capabilities/capabilities/capabilities.test.ts +140 -0
- package/src/capabilities/capabilities/capabilities.verb.ts +48 -0
- package/src/capabilities/capabilities/catalog.ts +148 -0
- package/src/capabilities/capabilities/hints.ts +212 -0
- package/src/capabilities/capabilities/index.ts +13 -0
- package/src/capabilities/capabilities/types.ts +60 -0
- package/src/capabilities/colophon/collectColophon.ts +68 -0
- package/src/capabilities/colophon/colophon.render.test.ts +114 -0
- package/src/capabilities/colophon/colophon.render.ts +47 -0
- package/src/capabilities/colophon/colophon.test.ts +241 -0
- package/src/capabilities/colophon/colophon.verb.ts +44 -0
- package/src/capabilities/colophon/index.ts +6 -0
- package/src/capabilities/colophon/markdownTerminal.test.ts +50 -0
- package/src/capabilities/colophon/markdownTerminal.ts +104 -0
- package/src/capabilities/colophon/pragmaColophon.ts +66 -0
- package/src/capabilities/colophon/types.ts +29 -0
- package/src/capabilities/config/collectConfigShow.ts +32 -0
- package/src/capabilities/config/field.render.ts +28 -0
- package/src/capabilities/config/fields.ts +81 -0
- package/src/capabilities/config/index.ts +6 -0
- package/src/capabilities/config/runField.ts +59 -0
- package/src/capabilities/config/runSet.ts +38 -0
- package/src/capabilities/config/set.test.ts +207 -0
- package/src/capabilities/config/set.verb.ts +70 -0
- package/src/capabilities/config/show.render.test.ts +65 -0
- package/src/capabilities/config/show.render.ts +107 -0
- package/src/capabilities/config/show.verb.ts +45 -0
- package/src/capabilities/config/types.ts +27 -0
- package/src/capabilities/create/byteEquality.subprocess.test.ts +88 -0
- package/src/capabilities/create/byteEquality.test.ts +225 -0
- package/src/capabilities/create/compiledCreate.subprocess.test.ts +152 -0
- package/src/capabilities/create/create.mcp.test.ts +139 -0
- package/src/capabilities/create/create.render.ts +50 -0
- package/src/capabilities/create/create.test.ts +432 -0
- package/src/capabilities/create/create.verb.ts +493 -0
- package/src/capabilities/create/cwdJail.test.ts +129 -0
- package/src/capabilities/create/generatorToVerbSpec.ts +111 -0
- package/src/capabilities/create/index.ts +25 -0
- package/src/capabilities/create/pathJail.ts +73 -0
- package/src/capabilities/create/pickGenerator.ts +63 -0
- package/src/capabilities/create/templates.embedded.generated.ts +53 -0
- package/src/capabilities/create/types.ts +8 -0
- package/src/capabilities/doctor/checks/checkConfigFile.ts +41 -0
- package/src/capabilities/doctor/checks/checkKeStore.ts +39 -0
- package/src/capabilities/doctor/checks/checkMcpCommands.ts +114 -0
- package/src/capabilities/doctor/checks/checkMcpConfigured.ts +67 -0
- package/src/capabilities/doctor/checks/checkNodeVersion.ts +25 -0
- package/src/capabilities/doctor/checks/checkPackageRefs.ts +73 -0
- package/src/capabilities/doctor/checks/checkPragmaVersion.ts +22 -0
- package/src/capabilities/doctor/checks/checkShellCompletions.test.ts +111 -0
- package/src/capabilities/doctor/checks/checkShellCompletions.ts +131 -0
- package/src/capabilities/doctor/checks/checkSkillsSymlinked.ts +60 -0
- package/src/capabilities/doctor/checks/deriveBand.test.ts +42 -0
- package/src/capabilities/doctor/checks/deriveBand.ts +28 -0
- package/src/capabilities/doctor/doctor.render.test.ts +170 -0
- package/src/capabilities/doctor/doctor.render.ts +198 -0
- package/src/capabilities/doctor/doctor.test.ts +209 -0
- package/src/capabilities/doctor/doctor.verb.ts +46 -0
- package/src/capabilities/doctor/index.ts +6 -0
- package/src/capabilities/doctor/runChecks.ts +100 -0
- package/src/capabilities/doctor/types.ts +56 -0
- package/src/capabilities/emptyRecovery.test.ts +112 -0
- package/src/capabilities/graph/index.ts +21 -0
- package/src/capabilities/graph/inspect.render.ts +38 -0
- package/src/capabilities/graph/inspect.test.ts +80 -0
- package/src/capabilities/graph/inspect.verb.ts +51 -0
- package/src/capabilities/graph/query.render.ts +77 -0
- package/src/capabilities/graph/query.test.ts +156 -0
- package/src/capabilities/graph/query.verb.ts +58 -0
- package/src/capabilities/graph/runQuery.ts +49 -0
- package/src/capabilities/index.ts +54 -0
- package/src/capabilities/info/collectInfo.ts +76 -0
- package/src/capabilities/info/index.ts +6 -0
- package/src/capabilities/info/info.render.ts +72 -0
- package/src/capabilities/info/info.test.ts +127 -0
- package/src/capabilities/info/info.verb.ts +46 -0
- package/src/capabilities/info/types.ts +42 -0
- package/src/capabilities/lazy.test.ts +89 -0
- package/src/capabilities/meta/complete.verb.ts +52 -0
- package/src/capabilities/meta/index.ts +15 -0
- package/src/capabilities/meta/mcp.verb.ts +35 -0
- package/src/capabilities/modifier/index.ts +15 -0
- package/src/capabilities/modifier/pack.ts +64 -0
- package/src/capabilities/ontology/index.ts +19 -0
- package/src/capabilities/ontology/ontology.test.ts +246 -0
- package/src/capabilities/ontology/queries.ts +197 -0
- package/src/capabilities/ontology/render.ts +87 -0
- package/src/capabilities/ontology/verbs.ts +269 -0
- package/src/capabilities/prompt/index.ts +18 -0
- package/src/capabilities/prompt/prompt.render.test.ts +94 -0
- package/src/capabilities/prompt/prompt.render.ts +87 -0
- package/src/capabilities/prompt/prompt.test.ts +180 -0
- package/src/capabilities/prompt/types.ts +30 -0
- package/src/capabilities/prompt/verbs.ts +93 -0
- package/src/capabilities/reference.test.ts +32 -0
- package/src/capabilities/resources/index.ts +15 -0
- package/src/capabilities/resources/provider.ts +245 -0
- package/src/capabilities/resources/resources.test.ts +213 -0
- package/src/capabilities/roundtrip.test.ts +107 -0
- package/src/capabilities/scopeTypeSync.test.ts +37 -0
- package/src/capabilities/setup/index.ts +12 -0
- package/src/capabilities/setup/operations/setupCompletions.ts +141 -0
- package/src/capabilities/setup/operations/setupGenerator.ts +403 -0
- package/src/capabilities/setup/operations/setupLsp.ts +105 -0
- package/src/capabilities/setup/operations/setupMcp.ts +262 -0
- package/src/capabilities/setup/operations/setupSkills.ts +205 -0
- package/src/capabilities/setup/setup.render.test.ts +109 -0
- package/src/capabilities/setup/setup.render.ts +96 -0
- package/src/capabilities/setup/setup.test.ts +702 -0
- package/src/capabilities/setup/setup.verb.ts +261 -0
- package/src/capabilities/setup/shell.ts +85 -0
- package/src/capabilities/setup/types.ts +99 -0
- package/src/capabilities/shared/assertExecOk.ts +106 -0
- package/src/capabilities/shared/bands.ts +16 -0
- package/src/capabilities/shared/packageManager.ts +62 -0
- package/src/capabilities/shared/registry.ts +70 -0
- package/src/capabilities/skill/discover.ts +178 -0
- package/src/capabilities/skill/index.ts +12 -0
- package/src/capabilities/skill/render.ts +60 -0
- package/src/capabilities/skill/skill.test.ts +142 -0
- package/src/capabilities/skill/verbs.ts +100 -0
- package/src/capabilities/sources/collectStatus.ts +102 -0
- package/src/capabilities/sources/index.ts +15 -0
- package/src/capabilities/sources/installSkills.ts +124 -0
- package/src/capabilities/sources/runUpdate.ts +464 -0
- package/src/capabilities/sources/sources.test.ts +828 -0
- package/src/capabilities/sources/status.render.test.ts +65 -0
- package/src/capabilities/sources/status.render.ts +83 -0
- package/src/capabilities/sources/status.verb.ts +42 -0
- package/src/capabilities/sources/types.ts +51 -0
- package/src/capabilities/sources/update.render.ts +35 -0
- package/src/capabilities/sources/update.verb.ts +76 -0
- package/src/capabilities/standard/index.ts +18 -0
- package/src/capabilities/standard/pack.ts +128 -0
- package/src/capabilities/standard/parity.test.ts +208 -0
- package/src/capabilities/surface.test.ts +233 -0
- package/src/capabilities/tier/index.ts +19 -0
- package/src/capabilities/tier/lookup.render.test.ts +72 -0
- package/src/capabilities/tier/lookup.render.ts +59 -0
- package/src/capabilities/tier/lookup.test.ts +83 -0
- package/src/capabilities/tier/lookup.verb.ts +44 -0
- package/src/capabilities/tier/pack.ts +28 -0
- package/src/capabilities/tier/runLookup.ts +87 -0
- package/src/capabilities/token/addConfig.render.ts +27 -0
- package/src/capabilities/token/addConfig.test.ts +62 -0
- package/src/capabilities/token/addConfig.verb.ts +40 -0
- package/src/capabilities/token/index.ts +19 -0
- package/src/capabilities/token/pack.ts +58 -0
- package/src/capabilities/token/runAddConfig.ts +95 -0
- package/src/capabilities/upgrade/index.ts +6 -0
- package/src/capabilities/upgrade/runUpgrade.ts +119 -0
- package/src/capabilities/upgrade/types.ts +21 -0
- package/src/capabilities/upgrade/upgrade.render.ts +55 -0
- package/src/capabilities/upgrade/upgrade.test.ts +372 -0
- package/src/capabilities/upgrade/upgrade.verb.ts +56 -0
- package/src/constants.test.ts +33 -0
- package/src/constants.ts +38 -70
- package/src/index.ts +27 -122
- package/src/kernel/completion/__snapshots__/emitScripts.test.ts.snap +339 -0
- package/src/kernel/completion/bashDrive.test.ts +73 -0
- package/src/kernel/completion/complete.test.ts +99 -0
- package/src/kernel/completion/complete.ts +77 -0
- package/src/kernel/completion/emitScripts.test.ts +173 -0
- package/src/kernel/completion/emitScripts.ts +122 -0
- package/src/kernel/completion/entitySource.test.ts +198 -0
- package/src/kernel/completion/entitySource.ts +277 -0
- package/src/kernel/completion/index.ts +42 -0
- package/src/kernel/completion/model.test.ts +405 -0
- package/src/kernel/completion/model.ts +258 -0
- package/src/kernel/completion/parse.test.ts +336 -0
- package/src/kernel/completion/parse.ts +294 -0
- package/src/kernel/completion/rank.test.ts +100 -0
- package/src/kernel/completion/rank.ts +118 -0
- package/src/kernel/completion/resolve.test.ts +204 -0
- package/src/kernel/completion/resolve.ts +133 -0
- package/src/kernel/completion/safety.test.ts +374 -0
- package/src/kernel/completion/templates/bash.ts +249 -0
- package/src/kernel/completion/templates/fish.ts +245 -0
- package/src/kernel/completion/templates/shared.ts +134 -0
- package/src/kernel/completion/templates/zsh.ts +246 -0
- package/src/kernel/completion/types.ts +153 -0
- package/src/kernel/config/__snapshots__/firstRun.test.ts.snap +11 -0
- package/src/kernel/config/defaults.ts +28 -0
- package/src/kernel/config/evaluateProjectConfig.ts +119 -0
- package/src/kernel/config/findProjectConfig.ts +45 -0
- package/src/kernel/config/firstRun.test.ts +60 -0
- package/src/kernel/config/firstRun.ts +91 -0
- package/src/kernel/config/globalConfig.ts +94 -0
- package/src/kernel/config/index.ts +35 -0
- package/src/kernel/config/paths.ts +39 -0
- package/src/kernel/config/readConfig.test.ts +245 -0
- package/src/kernel/config/readConfig.ts +94 -0
- package/src/kernel/config/schema.ts +56 -0
- package/src/kernel/config/types.ts +106 -0
- package/src/kernel/config/writeConfigField.ts +82 -0
- package/src/kernel/error/PragmaError.test.ts +119 -0
- package/src/kernel/error/PragmaError.ts +182 -0
- package/src/kernel/error/constants.ts +38 -0
- package/src/kernel/error/fromTaskError.test.ts +83 -0
- package/src/kernel/error/fromTaskError.ts +80 -0
- package/src/kernel/error/index.ts +23 -0
- package/src/kernel/error/recovery.test.ts +60 -0
- package/src/kernel/error/recovery.ts +49 -0
- package/src/kernel/error/renderError.ts +101 -0
- package/src/kernel/error/serialize.ts +28 -0
- package/src/kernel/error/types.ts +62 -0
- package/src/kernel/packs/collect.test.ts +138 -0
- package/src/kernel/packs/collect.ts +108 -0
- package/src/kernel/packs/compile.test.ts +229 -0
- package/src/kernel/packs/compile.ts +315 -0
- package/src/kernel/packs/disclosure.test.ts +200 -0
- package/src/kernel/packs/disclosure.ts +98 -0
- package/src/kernel/packs/glob.ts +39 -0
- package/src/kernel/packs/graphql/buildLookupDocument.ts +397 -0
- package/src/kernel/packs/graphql/fetchGraphqlLookup.ts +217 -0
- package/src/kernel/packs/graphql/nameMap.ts +67 -0
- package/src/kernel/packs/graphqlSource.test.ts +383 -0
- package/src/kernel/packs/iri.ts +78 -0
- package/src/kernel/packs/renderPack.ts +196 -0
- package/src/kernel/packs/resolveEntity.ts +232 -0
- package/src/kernel/packs/runBodies.ts +157 -0
- package/src/kernel/packs/sample.ts +60 -0
- package/src/kernel/packs/schema.ts +328 -0
- package/src/kernel/packs/sparql/applyFilters.ts +83 -0
- package/src/kernel/packs/sparql/applySearch.ts +33 -0
- package/src/kernel/packs/sparql/buildLookupQuery.ts +180 -0
- package/src/kernel/packs/sparql/escape.ts +22 -0
- package/src/kernel/packs/sparql/runSelect.test.ts +80 -0
- package/src/kernel/packs/sparql/runSelect.ts +84 -0
- package/src/kernel/packs/toolDescription.test.ts +81 -0
- package/src/kernel/packs/types.ts +337 -0
- package/src/kernel/packs/uniqueness.ts +35 -0
- package/src/kernel/project/cli/buildProgram.test.ts +431 -0
- package/src/kernel/project/cli/buildProgram.ts +291 -0
- package/src/kernel/project/cli/dispatch.test.ts +288 -0
- package/src/kernel/project/cli/dispatch.ts +334 -0
- package/src/kernel/project/cli/exitCodes.test.ts +59 -0
- package/src/kernel/project/cli/exitCodes.ts +68 -0
- package/src/kernel/project/cli/globalFlags.test.ts +107 -0
- package/src/kernel/project/cli/globalFlags.ts +149 -0
- package/src/kernel/project/cli/helpFormat.ts +58 -0
- package/src/kernel/project/cli/index.ts +21 -0
- package/src/kernel/project/cli/interactionSeam.test.ts +99 -0
- package/src/kernel/project/cli/rootHelp.ts +220 -0
- package/src/kernel/project/cli/suggest.test.ts +54 -0
- package/src/kernel/project/cli/suggest.ts +67 -0
- package/src/kernel/project/cli/suggestNames.ts +122 -0
- package/src/kernel/project/cli/verbHelp.test.ts +138 -0
- package/src/kernel/project/cli/verbHelp.ts +144 -0
- package/src/kernel/project/mcp/buildServer.ts +70 -0
- package/src/kernel/project/mcp/envelope.ts +44 -0
- package/src/kernel/project/mcp/index.ts +8 -0
- package/src/kernel/project/mcp/instructions.ts +48 -0
- package/src/kernel/project/mcp/mcpError.ts +52 -0
- package/src/kernel/project/mcp/parity.test.ts +72 -0
- package/src/kernel/project/mcp/prompts/prompts.test.ts +104 -0
- package/src/kernel/project/mcp/prompts/provider.ts +104 -0
- package/src/kernel/project/mcp/prompts/source.ts +194 -0
- package/src/kernel/project/mcp/registerVerb.test.ts +238 -0
- package/src/kernel/project/mcp/registerVerb.ts +296 -0
- package/src/kernel/project/mcp/serve.ts +34 -0
- package/src/kernel/project/mcp/toolDescriptions.test.ts +80 -0
- package/src/kernel/render/__snapshots__/renderers.test.ts.snap +127 -0
- package/src/kernel/render/compactUri.ts +25 -0
- package/src/kernel/render/contracts.ts +72 -0
- package/src/kernel/render/disclosure.ts +44 -0
- package/src/kernel/render/envelope.ts +50 -0
- package/src/kernel/render/formatters.ts +31 -0
- package/src/kernel/render/index.ts +30 -0
- package/src/kernel/render/prefixes.ts +21 -0
- package/src/kernel/render/renderers.test.ts +205 -0
- package/src/kernel/render/renderers.ts +447 -0
- package/src/kernel/render/style.test.ts +31 -0
- package/src/kernel/render/style.ts +74 -0
- package/src/kernel/render/writeStdout.test.ts +43 -0
- package/src/kernel/render/writeStdout.ts +49 -0
- package/src/kernel/runtime/boot.test.ts +69 -0
- package/src/kernel/runtime/boot.ts +59 -0
- package/src/kernel/runtime/facade.test.ts +125 -0
- package/src/kernel/runtime/facade.ts +47 -0
- package/src/kernel/runtime/graphpack/build.ts +176 -0
- package/src/kernel/runtime/graphpack/buildIndex.test.ts +103 -0
- package/src/kernel/runtime/graphpack/buildIndex.ts +317 -0
- package/src/kernel/runtime/graphpack/embedded/pack.generated.ts +5 -0
- package/src/kernel/runtime/graphpack/embedded/pack.index.generated.ts +3 -0
- package/src/kernel/runtime/graphpack/embedded/sample.ttl +39 -0
- package/src/kernel/runtime/graphpack/embedded.ts +70 -0
- package/src/kernel/runtime/graphpack/graphpack.test.ts +221 -0
- package/src/kernel/runtime/graphpack/hash.ts +46 -0
- package/src/kernel/runtime/graphpack/index.ts +21 -0
- package/src/kernel/runtime/graphpack/manifest.ts +55 -0
- package/src/kernel/runtime/graphpack/read.ts +117 -0
- package/src/kernel/runtime/graphpack/types.ts +125 -0
- package/src/kernel/runtime/index.ts +15 -0
- package/src/kernel/runtime/loadSession.ts +48 -0
- package/src/kernel/runtime/lock.ts +90 -0
- package/src/kernel/runtime/paths.ts +37 -0
- package/src/kernel/runtime/probe.test.ts +16 -0
- package/src/kernel/runtime/probe.ts +39 -0
- package/src/kernel/runtime/readEntity.ts +83 -0
- package/src/kernel/runtime/refs/gitOps.ts +88 -0
- package/src/kernel/runtime/refs/parseRef.test.ts +34 -0
- package/src/kernel/runtime/refs/parseRef.ts +103 -0
- package/src/kernel/runtime/refs/resolve.ts +380 -0
- package/src/kernel/runtime/resolveSources.test.ts +154 -0
- package/src/kernel/runtime/resolveSources.ts +66 -0
- package/src/kernel/runtime/store.test.ts +94 -0
- package/src/kernel/runtime/store.ts +90 -0
- package/src/kernel/runtime/storeReadiness.ts +61 -0
- package/src/kernel/runtime/storeless.test.ts +86 -0
- package/src/kernel/runtime/types.ts +210 -0
- package/src/kernel/runtime/wasmEmbed.test.ts +144 -0
- package/src/kernel/spec/asVerb.ts +23 -0
- package/src/kernel/spec/emitReference.test.ts +196 -0
- package/src/kernel/spec/emitReference.ts +491 -0
- package/src/kernel/spec/emitSurface.test.ts +65 -0
- package/src/kernel/spec/emitSurface.ts +225 -0
- package/src/kernel/spec/index.ts +36 -0
- package/src/kernel/spec/surfaceConformance.test.ts +94 -0
- package/src/kernel/spec/surfaceConformance.ts +135 -0
- package/src/kernel/spec/types.ts +233 -0
- package/src/kernel/spec/validate.test.ts +81 -0
- package/src/kernel/spec/validate.ts +125 -0
- package/src/testing/PARITY_GAPS.test.ts +32 -0
- package/src/testing/PARITY_GAPS.ts +179 -0
- package/src/testing/behavioral/README.md +164 -0
- package/src/testing/behavioral/agentSession.mcp.test.ts +160 -0
- package/src/testing/behavioral/autoLlm.e2e.test.ts +54 -0
- package/src/testing/behavioral/completion.test.ts +132 -0
- package/src/testing/behavioral/disclosure.test.ts +115 -0
- package/src/testing/behavioral/docExamples.test.ts +283 -0
- package/src/testing/behavioral/errorMatrix.mcp.test.ts +120 -0
- package/src/testing/behavioral/errorMatrix.storeless.test.ts +124 -0
- package/src/testing/behavioral/exitCodes.e2e.test.ts +53 -0
- package/src/testing/behavioral/firstRun.e2e.test.ts +40 -0
- package/src/testing/behavioral/harness.foundation.test.ts +136 -0
- package/src/testing/behavioral/journeys.cli.test.ts +131 -0
- package/src/testing/behavioral/journeys.defaultPack.test.ts +571 -0
- package/src/testing/behavioral/journeys.interactiveTty.e2e.test.ts +66 -0
- package/src/testing/behavioral/journeys.livePack.e2e.test.ts +129 -0
- package/src/testing/behavioral/journeys.mcpLifecycle.mcp.test.ts +176 -0
- package/src/testing/behavioral/liveReadSurface.ts +80 -0
- package/src/testing/behavioral/mcpServe.e2e.test.ts +21 -0
- package/src/testing/behavioral/mcpSurface.test.ts +139 -0
- package/src/testing/behavioral/parity.test.ts +224 -0
- package/src/testing/behavioral/rootCli.e2e.test.ts +62 -0
- package/src/testing/behavioral/staleCommands.test.ts +76 -0
- package/src/testing/eval/__snapshots__/eval.test.ts.snap +201 -0
- package/src/testing/eval/cases/assembly.ts +195 -0
- package/src/testing/eval/cases/effectful.ts +248 -0
- package/src/testing/eval/cases/readNouns.ts +235 -0
- package/src/testing/eval/cases/stable.ts +163 -0
- package/src/testing/eval/eval.test.ts +74 -0
- package/src/testing/eval/harness.ts +91 -0
- package/src/testing/eval/report.ts +58 -0
- package/src/testing/fixtures/blockGraph.ts +112 -0
- package/src/testing/fixtures/completionFixture.ts +239 -0
- package/src/testing/fixtures/fixtureCapability.ts +331 -0
- package/src/testing/fixtures/graph/canonical.ts +184 -0
- package/src/testing/fixtures/graph/defaultPack.ts +178 -0
- package/src/testing/fixtures/graph/owlExport.ts +95 -0
- package/src/testing/fixtures/packs/recipe.ts +78 -0
- package/src/testing/helpers/extractSnippets.ts +29 -0
- package/src/testing/helpers/fixtureGraph.ts +148 -0
- package/src/testing/helpers/golden.ts +45 -0
- package/src/testing/helpers/packRuntime.ts +118 -0
- package/src/testing/helpers/parity.ts +86 -0
- package/src/testing/helpers/projectCli.ts +35 -0
- package/src/testing/helpers/projectMcp.ts +145 -0
- package/src/testing/helpers/runCli.ts +128 -0
- package/src/testing/perf/budgets.test.ts +164 -0
- package/src/testing/perf/budgets.ts +37 -0
- package/src/testing/perf/globalSetup.ts +30 -0
- package/src/testing/perf/measure.ts +97 -0
- package/src/testing/setupXdgIsolation.ts +13 -12
- package/src/types.ts +42 -0
- package/src/bin.test.ts +0 -54
- package/src/compile-validation.runner.ts +0 -137
- package/src/compile-validation.ts +0 -191
- package/src/completions/computeSocketPath.test.ts +0 -26
- package/src/completions/computeSocketPath.ts +0 -16
- package/src/completions/constants.ts +0 -25
- package/src/completions/handleQuery.test.ts +0 -125
- package/src/completions/handleQuery.ts +0 -49
- package/src/completions/index.ts +0 -14
- package/src/completions/queryCompletions.test.ts +0 -105
- package/src/completions/queryCompletions.ts +0 -75
- package/src/completions/querySocket.test.ts +0 -101
- package/src/completions/querySocket.ts +0 -71
- package/src/completions/startCompletionsServer.test.ts +0 -74
- package/src/completions/startCompletionsServer.ts +0 -75
- package/src/completions/startCompletionsServer.unit.test.ts +0 -131
- package/src/completions/waitForSocket.test.ts +0 -27
- package/src/completions/waitForSocket.ts +0 -27
- package/src/config/configExists.ts +0 -14
- package/src/config/defaultConfig.test.ts +0 -33
- package/src/config/defaultConfig.ts +0 -59
- package/src/config/defaults.json +0 -17
- package/src/config/findProjectConfigPath.test.ts +0 -53
- package/src/config/findProjectConfigPath.ts +0 -36
- package/src/config/index.ts +0 -21
- package/src/config/mergeConfigFileUpdate.ts +0 -58
- package/src/config/parseConfigValues.ts +0 -217
- package/src/config/readConfig.test.ts +0 -395
- package/src/config/readConfig.ts +0 -21
- package/src/config/readConfigLayers.test.ts +0 -109
- package/src/config/readConfigLayers.ts +0 -118
- package/src/config/resolveConfigPath.test.ts +0 -20
- package/src/config/resolveConfigPath.ts +0 -11
- package/src/config/resolveGlobalConfigPath.ts +0 -13
- package/src/config/resolveWriteConfigPath.test.ts +0 -53
- package/src/config/resolveWriteConfigPath.ts +0 -31
- package/src/config/types.ts +0 -128
- package/src/config/writeConfig.ts +0 -37
- package/src/domains/block/blockConfig.ts +0 -97
- package/src/domains/block/commands/index.ts +0 -5
- package/src/domains/block/commands/list.test.ts +0 -111
- package/src/domains/block/commands/list.ts +0 -11
- package/src/domains/block/commands/lookup.test.ts +0 -187
- package/src/domains/block/commands/lookup.ts +0 -14
- package/src/domains/block/commands/sample.ts +0 -56
- package/src/domains/block/formatters/index.ts +0 -5
- package/src/domains/block/formatters/list.test.ts +0 -107
- package/src/domains/block/formatters/list.ts +0 -50
- package/src/domains/block/formatters/lookup.test.ts +0 -318
- package/src/domains/block/formatters/lookup.ts +0 -149
- package/src/domains/block/formatters/sample.ts +0 -21
- package/src/domains/block/formatters/types.ts +0 -16
- package/src/domains/block/helpers/index.ts +0 -4
- package/src/domains/block/helpers/resolveAspects.test.ts +0 -64
- package/src/domains/block/helpers/resolveAspects.ts +0 -35
- package/src/domains/block/index.ts +0 -25
- package/src/domains/block/mcp/index.ts +0 -2
- package/src/domains/block/mcp/specs.ts +0 -67
- package/src/domains/block/operations/index.ts +0 -5
- package/src/domains/block/operations/list.test.ts +0 -80
- package/src/domains/block/operations/list.ts +0 -72
- package/src/domains/block/operations/lookup.test.ts +0 -129
- package/src/domains/block/operations/lookup.ts +0 -446
- package/src/domains/block/operations/sample.ts +0 -41
- package/src/domains/block/orchestration/blockEmptyError.test.ts +0 -26
- package/src/domains/block/orchestration/blockEmptyError.ts +0 -19
- package/src/domains/block/orchestration/buildBlockFilters.ts +0 -12
- package/src/domains/block/orchestration/enrichBlocks.ts +0 -44
- package/src/domains/block/orchestration/index.ts +0 -5
- package/src/domains/block/orchestration/resolveBlockList.ts +0 -39
- package/src/domains/block/orchestration/resolveBlockLookup.ts +0 -35
- package/src/domains/block/stories.test.ts +0 -28
- package/src/domains/block/stories.ts +0 -260
- package/src/domains/block/types.ts +0 -30
- package/src/domains/config/commands/channel.test.ts +0 -128
- package/src/domains/config/commands/channel.ts +0 -99
- package/src/domains/config/commands/configScope.ts +0 -46
- package/src/domains/config/commands/framework.test.ts +0 -119
- package/src/domains/config/commands/framework.ts +0 -103
- package/src/domains/config/commands/index.ts +0 -6
- package/src/domains/config/commands/show.test.ts +0 -61
- package/src/domains/config/commands/show.ts +0 -11
- package/src/domains/config/commands/tier.test.ts +0 -102
- package/src/domains/config/commands/tier.ts +0 -97
- package/src/domains/config/commands/trace.test.ts +0 -165
- package/src/domains/config/commands/trace.ts +0 -83
- package/src/domains/config/formatters/channel.test.ts +0 -70
- package/src/domains/config/formatters/channel.ts +0 -37
- package/src/domains/config/formatters/framework.ts +0 -37
- package/src/domains/config/formatters/index.ts +0 -6
- package/src/domains/config/formatters/show.test.ts +0 -153
- package/src/domains/config/formatters/show.ts +0 -89
- package/src/domains/config/formatters/tier.test.ts +0 -86
- package/src/domains/config/formatters/tier.ts +0 -48
- package/src/domains/config/formatters/trace.ts +0 -28
- package/src/domains/config/index.ts +0 -36
- package/src/domains/config/mcp/index.ts +0 -2
- package/src/domains/config/mcp/specs.ts +0 -100
- package/src/domains/config/operations/index.ts +0 -6
- package/src/domains/config/operations/show.test.ts +0 -78
- package/src/domains/config/operations/show.ts +0 -48
- package/src/domains/config/operations/types.ts +0 -20
- package/src/domains/config/operations/validateChannel.test.ts +0 -36
- package/src/domains/config/operations/validateChannel.ts +0 -24
- package/src/domains/config/operations/validateFramework.ts +0 -24
- package/src/domains/config/operations/validateTier.test.ts +0 -65
- package/src/domains/config/operations/validateTier.ts +0 -43
- package/src/domains/config/stories.ts +0 -42
- package/src/domains/config/tasks/index.ts +0 -6
- package/src/domains/config/tasks/setChannel.ts +0 -21
- package/src/domains/config/tasks/setFramework.ts +0 -21
- package/src/domains/config/tasks/setTier.ts +0 -20
- package/src/domains/config/tasks/setTrace.ts +0 -20
- package/src/domains/config/tasks/writeConfigField.ts +0 -41
- package/src/domains/create/generatorPack/bundled.ts +0 -49
- package/src/domains/create/generatorPack/compileGeneratorPack.test.ts +0 -159
- package/src/domains/create/generatorPack/compileGeneratorPack.ts +0 -312
- package/src/domains/create/index.ts +0 -21
- package/src/domains/create/mcp/index.ts +0 -2
- package/src/domains/create/mcp/specs.ts +0 -13
- package/src/domains/create/renderGeneratorUi.test.ts +0 -103
- package/src/domains/create/renderGeneratorUi.ts +0 -65
- package/src/domains/doctor/commands/doctor.test.ts +0 -75
- package/src/domains/doctor/commands/doctor.ts +0 -43
- package/src/domains/doctor/commands/index.ts +0 -2
- package/src/domains/doctor/formatters/doctor.test.ts +0 -165
- package/src/domains/doctor/formatters/doctor.ts +0 -136
- package/src/domains/doctor/formatters/index.ts +0 -2
- package/src/domains/doctor/index.ts +0 -9
- package/src/domains/doctor/mcp/index.ts +0 -2
- package/src/domains/doctor/mcp/specs.ts +0 -41
- package/src/domains/doctor/operations/checks/checkConfigFile.ts +0 -42
- package/src/domains/doctor/operations/checks/checkKeStore.ts +0 -38
- package/src/domains/doctor/operations/checks/checkMcpCommands.ts +0 -133
- package/src/domains/doctor/operations/checks/checkMcpConfigured.ts +0 -65
- package/src/domains/doctor/operations/checks/checkNodeVersion.ts +0 -25
- package/src/domains/doctor/operations/checks/checkPackageRefs.ts +0 -76
- package/src/domains/doctor/operations/checks/checkPragmaVersion.ts +0 -20
- package/src/domains/doctor/operations/checks/checkShellCompletions.ts +0 -42
- package/src/domains/doctor/operations/checks/checkSkillsSymlinked.ts +0 -64
- package/src/domains/doctor/operations/checks/index.ts +0 -10
- package/src/domains/doctor/operations/checks.test.ts +0 -307
- package/src/domains/doctor/operations/index.ts +0 -3
- package/src/domains/doctor/operations/runChecks.test.ts +0 -176
- package/src/domains/doctor/operations/runChecks.ts +0 -78
- package/src/domains/doctor/operations/types.ts +0 -42
- package/src/domains/graph/commands/index.ts +0 -4
- package/src/domains/graph/commands/inspect.test.ts +0 -94
- package/src/domains/graph/commands/inspect.ts +0 -63
- package/src/domains/graph/commands/query.test.ts +0 -94
- package/src/domains/graph/commands/query.ts +0 -60
- package/src/domains/graph/formatters/index.ts +0 -4
- package/src/domains/graph/formatters/inspect.ts +0 -50
- package/src/domains/graph/formatters/query.test.ts +0 -87
- package/src/domains/graph/formatters/query.ts +0 -74
- package/src/domains/graph/helpers/index.ts +0 -3
- package/src/domains/graph/helpers/resolveUri.test.ts +0 -50
- package/src/domains/graph/helpers/resolveUri.ts +0 -77
- package/src/domains/graph/index.ts +0 -22
- package/src/domains/graph/mcp/index.ts +0 -2
- package/src/domains/graph/mcp/specs.ts +0 -82
- package/src/domains/graph/operations/executeQuery.test.ts +0 -68
- package/src/domains/graph/operations/executeQuery.ts +0 -32
- package/src/domains/graph/operations/index.ts +0 -4
- package/src/domains/graph/operations/inspectUri.test.ts +0 -101
- package/src/domains/graph/operations/inspectUri.ts +0 -64
- package/src/domains/graphql/commands/build.test.ts +0 -196
- package/src/domains/graphql/commands/build.ts +0 -117
- package/src/domains/graphql/commands/check.test.ts +0 -141
- package/src/domains/graphql/commands/check.ts +0 -81
- package/src/domains/graphql/commands/index.ts +0 -5
- package/src/domains/graphql/commands/serve.test.ts +0 -46
- package/src/domains/graphql/commands/serve.ts +0 -141
- package/src/domains/graphql/constants.ts +0 -10
- package/src/domains/graphql/formatters/index.ts +0 -3
- package/src/domains/graphql/formatters/report.ts +0 -78
- package/src/domains/graphql/helpers/gatherSources.test.ts +0 -92
- package/src/domains/graphql/helpers/gatherSources.ts +0 -58
- package/src/domains/graphql/helpers/index.ts +0 -6
- package/src/domains/graphql/helpers/parsePrefixes.test.ts +0 -44
- package/src/domains/graphql/helpers/parsePrefixes.ts +0 -38
- package/src/domains/graphql/helpers/resolveSourceFiles.test.ts +0 -65
- package/src/domains/graphql/helpers/resolveSourceFiles.ts +0 -66
- package/src/domains/graphql/helpers/routeGraphql.test.ts +0 -43
- package/src/domains/graphql/helpers/routeGraphql.ts +0 -28
- package/src/domains/graphql/index.ts +0 -24
- package/src/domains/graphql/operations/compileSchema.test.ts +0 -95
- package/src/domains/graphql/operations/compileSchema.ts +0 -107
- package/src/domains/graphql/operations/createSchemaServer.test.ts +0 -50
- package/src/domains/graphql/operations/createSchemaServer.ts +0 -75
- package/src/domains/graphql/operations/ensureSchemaArtifact.test.ts +0 -167
- package/src/domains/graphql/operations/ensureSchemaArtifact.ts +0 -178
- package/src/domains/graphql/operations/index.ts +0 -17
- package/src/domains/graphql/types.ts +0 -29
- package/src/domains/info/commands/index.ts +0 -4
- package/src/domains/info/commands/info.test.ts +0 -88
- package/src/domains/info/commands/info.ts +0 -47
- package/src/domains/info/commands/upgrade.test.ts +0 -183
- package/src/domains/info/commands/upgrade.ts +0 -153
- package/src/domains/info/constants.test.ts +0 -22
- package/src/domains/info/constants.ts +0 -15
- package/src/domains/info/formatters/index.ts +0 -8
- package/src/domains/info/formatters/info.test.ts +0 -207
- package/src/domains/info/formatters/info.ts +0 -131
- package/src/domains/info/formatters/upgrade.test.ts +0 -136
- package/src/domains/info/formatters/upgrade.ts +0 -70
- package/src/domains/info/index.ts +0 -9
- package/src/domains/info/mcp/index.ts +0 -2
- package/src/domains/info/mcp/specs.ts +0 -65
- package/src/domains/info/operations/checkRegistryVersion.test.ts +0 -124
- package/src/domains/info/operations/checkRegistryVersion.ts +0 -45
- package/src/domains/info/operations/collectEntityCounts.test.ts +0 -156
- package/src/domains/info/operations/collectEntityCounts.ts +0 -123
- package/src/domains/info/operations/collectInfo.test.ts +0 -122
- package/src/domains/info/operations/collectInfo.ts +0 -94
- package/src/domains/info/operations/collectStoreSummary.test.ts +0 -61
- package/src/domains/info/operations/collectStoreSummary.ts +0 -42
- package/src/domains/info/operations/index.ts +0 -6
- package/src/domains/info/types.test-d.ts +0 -35
- package/src/domains/info/types.ts +0 -67
- package/src/domains/llm/capabilities.test.ts +0 -111
- package/src/domains/llm/commands/capabilities.ts +0 -37
- package/src/domains/llm/commands/index.ts +0 -4
- package/src/domains/llm/commands/llm.ts +0 -41
- package/src/domains/llm/data/commandReference.ts +0 -106
- package/src/domains/llm/data/decisionTrees.ts +0 -55
- package/src/domains/llm/data/index.ts +0 -6
- package/src/domains/llm/data/toolCatalog.ts +0 -221
- package/src/domains/llm/formatters/capabilities.ts +0 -50
- package/src/domains/llm/formatters/index.ts +0 -4
- package/src/domains/llm/formatters/orientation.ts +0 -57
- package/src/domains/llm/index.ts +0 -9
- package/src/domains/llm/llmCommand.test.ts +0 -101
- package/src/domains/llm/mcp/index.ts +0 -2
- package/src/domains/llm/mcp/specs.ts +0 -93
- package/src/domains/llm/operations/collectContext.test.ts +0 -64
- package/src/domains/llm/operations/collectContext.ts +0 -37
- package/src/domains/llm/operations/index.ts +0 -3
- package/src/domains/llm/types.ts +0 -72
- package/src/domains/modifier/commands/index.ts +0 -5
- package/src/domains/modifier/commands/list.test.ts +0 -57
- package/src/domains/modifier/commands/list.ts +0 -9
- package/src/domains/modifier/commands/lookup.test.ts +0 -91
- package/src/domains/modifier/commands/lookup.ts +0 -14
- package/src/domains/modifier/commands/sample.ts +0 -54
- package/src/domains/modifier/formatters/index.ts +0 -8
- package/src/domains/modifier/formatters/list.test.ts +0 -38
- package/src/domains/modifier/formatters/list.ts +0 -22
- package/src/domains/modifier/formatters/lookup.test.ts +0 -33
- package/src/domains/modifier/formatters/lookup.ts +0 -50
- package/src/domains/modifier/formatters/sample.ts +0 -15
- package/src/domains/modifier/index.ts +0 -27
- package/src/domains/modifier/mcp/index.ts +0 -2
- package/src/domains/modifier/mcp/specs.ts +0 -65
- package/src/domains/modifier/modifierConfig.ts +0 -36
- package/src/domains/modifier/operations/index.ts +0 -5
- package/src/domains/modifier/operations/list.test.ts +0 -39
- package/src/domains/modifier/operations/list.ts +0 -41
- package/src/domains/modifier/operations/lookup.test.ts +0 -37
- package/src/domains/modifier/operations/lookup.ts +0 -69
- package/src/domains/modifier/operations/sample.ts +0 -32
- package/src/domains/modifier/orchestration/index.ts +0 -3
- package/src/domains/modifier/orchestration/modifierEmptyError.test.ts +0 -26
- package/src/domains/modifier/orchestration/modifierEmptyError.ts +0 -15
- package/src/domains/modifier/orchestration/resolveModifierList.ts +0 -16
- package/src/domains/modifier/orchestration/resolveModifierLookup.ts +0 -33
- package/src/domains/modifier/stories.test.ts +0 -20
- package/src/domains/modifier/stories.ts +0 -86
- package/src/domains/modifier/types.ts +0 -5
- package/src/domains/ontology/commands/index.ts +0 -4
- package/src/domains/ontology/commands/list.test.ts +0 -84
- package/src/domains/ontology/commands/list.ts +0 -11
- package/src/domains/ontology/commands/show.test.ts +0 -179
- package/src/domains/ontology/commands/show.ts +0 -14
- package/src/domains/ontology/formatters/index.ts +0 -5
- package/src/domains/ontology/formatters/list.ts +0 -64
- package/src/domains/ontology/formatters/show.ts +0 -396
- package/src/domains/ontology/helpers/buildClassTree.ts +0 -89
- package/src/domains/ontology/helpers/completeClassNames.ts +0 -43
- package/src/domains/ontology/helpers/expandOntologyIris.ts +0 -79
- package/src/domains/ontology/helpers/findNamespace.ts +0 -23
- package/src/domains/ontology/helpers/index.ts +0 -21
- package/src/domains/ontology/helpers/queryClasses.ts +0 -66
- package/src/domains/ontology/helpers/queryProperties.ts +0 -90
- package/src/domains/ontology/helpers/queryTboxFacts.ts +0 -160
- package/src/domains/ontology/helpers/resolvePrefix.ts +0 -45
- package/src/domains/ontology/index.ts +0 -26
- package/src/domains/ontology/mcp/index.ts +0 -2
- package/src/domains/ontology/mcp/specs.ts +0 -16
- package/src/domains/ontology/operations/index.ts +0 -5
- package/src/domains/ontology/operations/listOntologies.test.ts +0 -122
- package/src/domains/ontology/operations/listOntologies.ts +0 -197
- package/src/domains/ontology/operations/showOntology.test.ts +0 -184
- package/src/domains/ontology/operations/showOntology.ts +0 -323
- package/src/domains/ontology/operations/showOntologyRaw.test.ts +0 -41
- package/src/domains/ontology/operations/showOntologyRaw.ts +0 -50
- package/src/domains/ontology/stories.test.ts +0 -36
- package/src/domains/ontology/stories.ts +0 -153
- package/src/domains/refs/commands/updateRefs.ts +0 -52
- package/src/domains/refs/formatters/updateRefs.ts +0 -27
- package/src/domains/refs/index.ts +0 -27
- package/src/domains/refs/operations/gitOps.test.ts +0 -155
- package/src/domains/refs/operations/gitOps.ts +0 -92
- package/src/domains/refs/operations/index.ts +0 -10
- package/src/domains/refs/operations/parseRef.test.ts +0 -157
- package/src/domains/refs/operations/parseRef.ts +0 -114
- package/src/domains/refs/operations/paths.test.ts +0 -98
- package/src/domains/refs/operations/paths.ts +0 -91
- package/src/domains/refs/operations/readGlobalRefs.test.ts +0 -63
- package/src/domains/refs/operations/readGlobalRefs.ts +0 -37
- package/src/domains/refs/operations/updateRefs.test.ts +0 -167
- package/src/domains/refs/operations/updateRefs.ts +0 -180
- package/src/domains/setup/commands/all.ts +0 -58
- package/src/domains/setup/commands/completions.ts +0 -85
- package/src/domains/setup/commands/entrypoints.test.ts +0 -170
- package/src/domains/setup/commands/index.ts +0 -7
- package/src/domains/setup/commands/lsp.ts +0 -49
- package/src/domains/setup/commands/mcp.ts +0 -119
- package/src/domains/setup/commands/setup.ts +0 -70
- package/src/domains/setup/commands/skills.test.ts +0 -68
- package/src/domains/setup/commands/skills.ts +0 -110
- package/src/domains/setup/formatters/index.ts +0 -2
- package/src/domains/setup/formatters/skills.test.ts +0 -103
- package/src/domains/setup/formatters/skills.ts +0 -112
- package/src/domains/setup/formatters/types.ts +0 -7
- package/src/domains/setup/helpers/completionScripts.test.ts +0 -58
- package/src/domains/setup/helpers/completionScripts.ts +0 -92
- package/src/domains/setup/helpers/constants.ts +0 -2
- package/src/domains/setup/helpers/detectShell.test.ts +0 -48
- package/src/domains/setup/helpers/detectShell.ts +0 -20
- package/src/domains/setup/helpers/index.ts +0 -12
- package/src/domains/setup/helpers/runSetupTask.test.ts +0 -277
- package/src/domains/setup/helpers/runSetupTask.ts +0 -221
- package/src/domains/setup/index.ts +0 -37
- package/src/domains/setup/operations/index.ts +0 -6
- package/src/domains/setup/operations/setupAll.test.ts +0 -48
- package/src/domains/setup/operations/setupAll.ts +0 -41
- package/src/domains/setup/operations/setupCompletions.test.ts +0 -94
- package/src/domains/setup/operations/setupCompletions.ts +0 -54
- package/src/domains/setup/operations/setupLsp.test.ts +0 -30
- package/src/domains/setup/operations/setupLsp.ts +0 -22
- package/src/domains/setup/operations/setupMcp.test.ts +0 -120
- package/src/domains/setup/operations/setupMcp.ts +0 -108
- package/src/domains/setup/operations/setupSkills.test.ts +0 -191
- package/src/domains/setup/operations/setupSkills.ts +0 -160
- package/src/domains/setup/types.ts +0 -18
- package/src/domains/shared/ToolSpec.ts +0 -49
- package/src/domains/shared/bootStore.bareCore.test.ts +0 -63
- package/src/domains/shared/bootStore.test.ts +0 -82
- package/src/domains/shared/bootStore.ts +0 -171
- package/src/domains/shared/buildQuery.ts +0 -18
- package/src/domains/shared/compactUri.test.ts +0 -32
- package/src/domains/shared/compactUri.ts +0 -21
- package/src/domains/shared/context.ts +0 -16
- package/src/domains/shared/contracts.ts +0 -164
- package/src/domains/shared/createInteractivePromptSession.test.ts +0 -439
- package/src/domains/shared/createInteractivePromptSession.ts +0 -236
- package/src/domains/shared/emptyErrorRecovery.test.ts +0 -106
- package/src/domains/shared/extractLocalName.test.ts +0 -21
- package/src/domains/shared/extractLocalName.ts +0 -14
- package/src/domains/shared/filters/buildChannelFilter.test.ts +0 -52
- package/src/domains/shared/filters/buildChannelFilter.ts +0 -41
- package/src/domains/shared/filters/buildFilterConfig.ts +0 -15
- package/src/domains/shared/filters/buildFilters.test.ts +0 -33
- package/src/domains/shared/filters/buildFilters.ts +0 -30
- package/src/domains/shared/filters/buildTierFilter.test.ts +0 -78
- package/src/domains/shared/filters/buildTierFilter.ts +0 -69
- package/src/domains/shared/filters/describeFilters.ts +0 -14
- package/src/domains/shared/filters/index.ts +0 -10
- package/src/domains/shared/formatters.ts +0 -103
- package/src/domains/shared/listTiers.ts +0 -40
- package/src/domains/shared/loaders/bundledLoader.test.ts +0 -248
- package/src/domains/shared/loaders/bundledLoader.ts +0 -254
- package/src/domains/shared/loaders/gitLoader.ts +0 -30
- package/src/domains/shared/loaders/index.ts +0 -9
- package/src/domains/shared/loaders/localLoader.ts +0 -71
- package/src/domains/shared/loaders/readPackageDir.test.ts +0 -58
- package/src/domains/shared/loaders/readPackageDir.ts +0 -185
- package/src/domains/shared/loaders/storyAssetsPlugin.test.ts +0 -84
- package/src/domains/shared/loaders/storyAssetsPlugin.ts +0 -46
- package/src/domains/shared/lookupMany.test.ts +0 -135
- package/src/domains/shared/lookupMany.ts +0 -101
- package/src/domains/shared/mergeAndParseRefs.test.ts +0 -89
- package/src/domains/shared/mergeAndParseRefs.ts +0 -44
- package/src/domains/shared/namespaces.ts +0 -26
- package/src/domains/shared/packages.ts +0 -20
- package/src/domains/shared/parseSampleCount.test.ts +0 -47
- package/src/domains/shared/parseSampleCount.ts +0 -45
- package/src/domains/shared/pickRandom.ts +0 -22
- package/src/domains/shared/prefixes.test.ts +0 -211
- package/src/domains/shared/prefixes.ts +0 -204
- package/src/domains/shared/renderers.ts +0 -410
- package/src/domains/shared/resolveConfiguredGraphs.test.ts +0 -27
- package/src/domains/shared/resolveConfiguredGraphs.ts +0 -41
- package/src/domains/shared/resolveLookupExitCode.test.ts +0 -48
- package/src/domains/shared/resolveLookupExitCode.ts +0 -42
- package/src/domains/shared/runtime.ts +0 -61
- package/src/domains/shared/sampleFormatters.ts +0 -47
- package/src/domains/shared/semanticPackage.test.ts +0 -89
- package/src/domains/shared/semanticPackage.ts +0 -127
- package/src/domains/shared/stories/compileLookupCommand.test.ts +0 -145
- package/src/domains/shared/stories/compileLookupCommand.ts +0 -102
- package/src/domains/shared/stories/compileLookupTool.test.ts +0 -105
- package/src/domains/shared/stories/compileLookupTool.ts +0 -96
- package/src/domains/shared/stories/compileReadCommand.test.ts +0 -121
- package/src/domains/shared/stories/compileReadCommand.ts +0 -48
- package/src/domains/shared/stories/compileReadTool.test.ts +0 -64
- package/src/domains/shared/stories/compileReadTool.ts +0 -38
- package/src/domains/shared/stories/condense.test.ts +0 -18
- package/src/domains/shared/stories/condense.ts +0 -15
- package/src/domains/shared/stories/index.ts +0 -20
- package/src/domains/shared/stories/normalizeNames.test.ts +0 -20
- package/src/domains/shared/stories/normalizeNames.ts +0 -22
- package/src/domains/shared/stories/pack/applyPackFilters.test.ts +0 -151
- package/src/domains/shared/stories/pack/applyPackFilters.ts +0 -111
- package/src/domains/shared/stories/pack/applyPackSearch.test.ts +0 -57
- package/src/domains/shared/stories/pack/applyPackSearch.ts +0 -41
- package/src/domains/shared/stories/pack/buildLookupQuery.test.ts +0 -81
- package/src/domains/shared/stories/pack/buildLookupQuery.ts +0 -154
- package/src/domains/shared/stories/pack/bundled/index.ts +0 -23
- package/src/domains/shared/stories/pack/bundled/standardPack.ts +0 -164
- package/src/domains/shared/stories/pack/bundled/tierPack.ts +0 -50
- package/src/domains/shared/stories/pack/collectPackStories.test.ts +0 -406
- package/src/domains/shared/stories/pack/collectPackStories.ts +0 -158
- package/src/domains/shared/stories/pack/compilePackCommands.ts +0 -50
- package/src/domains/shared/stories/pack/compilePackStories.test.ts +0 -751
- package/src/domains/shared/stories/pack/compilePackStories.ts +0 -724
- package/src/domains/shared/stories/pack/compilePackToolSpecs.ts +0 -55
- package/src/domains/shared/stories/pack/index.ts +0 -42
- package/src/domains/shared/stories/pack/reservedVerbs.test.ts +0 -213
- package/src/domains/shared/stories/pack/reservedVerbs.ts +0 -170
- package/src/domains/shared/stories/pack/runSelectQuery.ts +0 -31
- package/src/domains/shared/stories/pack/standardParity.test.ts +0 -381
- package/src/domains/shared/stories/pack/types.ts +0 -224
- package/src/domains/shared/stories/pack/validateStoryPackDefinition.test.ts +0 -742
- package/src/domains/shared/stories/pack/validateStoryPackDefinition.ts +0 -859
- package/src/domains/shared/stories/projectCliParameters.test.ts +0 -59
- package/src/domains/shared/stories/projectCliParameters.ts +0 -57
- package/src/domains/shared/stories/projectToolParams.test.ts +0 -50
- package/src/domains/shared/stories/projectToolParams.ts +0 -32
- package/src/domains/shared/stories/requirePragmaContext.test.ts +0 -23
- package/src/domains/shared/stories/requirePragmaContext.ts +0 -23
- package/src/domains/shared/stories/resolveLookupDetailed.test.ts +0 -57
- package/src/domains/shared/stories/resolveLookupDetailed.ts +0 -27
- package/src/domains/shared/stories/types.ts +0 -179
- package/src/domains/shared/suggestions/detectCrossDomain.test.ts +0 -43
- package/src/domains/shared/suggestions/detectCrossDomain.ts +0 -116
- package/src/domains/shared/suggestions/expandGlob.test.ts +0 -92
- package/src/domains/shared/suggestions/expandGlob.ts +0 -52
- package/src/domains/shared/suggestions/expandLookupQueries.ts +0 -57
- package/src/domains/shared/suggestions/index.ts +0 -7
- package/src/domains/shared/suggestions/listDomainNames.ts +0 -61
- package/src/domains/shared/suggestions/suggestNames.test.ts +0 -70
- package/src/domains/shared/suggestions/suggestNames.ts +0 -130
- package/src/domains/shared/types/block.ts +0 -107
- package/src/domains/shared/types/common.ts +0 -33
- package/src/domains/shared/types/graph.ts +0 -17
- package/src/domains/shared/types/index.ts +0 -46
- package/src/domains/shared/types/modifier.ts +0 -22
- package/src/domains/shared/types/ontology.ts +0 -145
- package/src/domains/shared/types/runtime.ts +0 -24
- package/src/domains/shared/types/sample.ts +0 -17
- package/src/domains/shared/types/standard.ts +0 -21
- package/src/domains/shared/types/tier.ts +0 -15
- package/src/domains/shared/types/token.ts +0 -30
- package/src/domains/skill/commands/index.ts +0 -4
- package/src/domains/skill/commands/list.test.ts +0 -115
- package/src/domains/skill/commands/list.ts +0 -11
- package/src/domains/skill/commands/lookup.test.ts +0 -118
- package/src/domains/skill/commands/lookup.ts +0 -14
- package/src/domains/skill/formatters/index.ts +0 -3
- package/src/domains/skill/formatters/list.test.ts +0 -140
- package/src/domains/skill/formatters/list.ts +0 -119
- package/src/domains/skill/formatters/lookup.test.ts +0 -46
- package/src/domains/skill/formatters/lookup.ts +0 -57
- package/src/domains/skill/formatters/types.ts +0 -8
- package/src/domains/skill/helpers/index.ts +0 -6
- package/src/domains/skill/helpers/parseFrontmatter.test.ts +0 -122
- package/src/domains/skill/helpers/parseFrontmatter.ts +0 -112
- package/src/domains/skill/helpers/resolveSkillSources.ts +0 -70
- package/src/domains/skill/index.ts +0 -23
- package/src/domains/skill/mcp/index.ts +0 -2
- package/src/domains/skill/mcp/specs.ts +0 -19
- package/src/domains/skill/operations/discover.test.ts +0 -176
- package/src/domains/skill/operations/discover.ts +0 -59
- package/src/domains/skill/operations/index.ts +0 -5
- package/src/domains/skill/operations/list.test.ts +0 -76
- package/src/domains/skill/operations/list.ts +0 -47
- package/src/domains/skill/operations/lookup.test.ts +0 -91
- package/src/domains/skill/operations/lookup.ts +0 -70
- package/src/domains/skill/stories.test.ts +0 -43
- package/src/domains/skill/stories.ts +0 -103
- package/src/domains/skill/types.ts +0 -33
- package/src/domains/token/commands/add-config.test.ts +0 -68
- package/src/domains/token/commands/add-config.ts +0 -62
- package/src/domains/token/commands/index.ts +0 -6
- package/src/domains/token/commands/list.test.ts +0 -82
- package/src/domains/token/commands/list.ts +0 -54
- package/src/domains/token/commands/lookup.test.ts +0 -133
- package/src/domains/token/commands/lookup.ts +0 -107
- package/src/domains/token/commands/sample.ts +0 -54
- package/src/domains/token/featureFlag.ts +0 -17
- package/src/domains/token/formatters/index.ts +0 -8
- package/src/domains/token/formatters/list.test.ts +0 -37
- package/src/domains/token/formatters/list.ts +0 -24
- package/src/domains/token/formatters/lookup.test.ts +0 -61
- package/src/domains/token/formatters/lookup.ts +0 -107
- package/src/domains/token/formatters/sample.ts +0 -16
- package/src/domains/token/index.ts +0 -45
- package/src/domains/token/mcp/index.ts +0 -2
- package/src/domains/token/mcp/specs.ts +0 -207
- package/src/domains/token/operations/add-config.test.ts +0 -68
- package/src/domains/token/operations/add-config.ts +0 -61
- package/src/domains/token/operations/index.ts +0 -8
- package/src/domains/token/operations/list.test.ts +0 -50
- package/src/domains/token/operations/list.ts +0 -52
- package/src/domains/token/operations/lookup.test.ts +0 -42
- package/src/domains/token/operations/lookup.ts +0 -75
- package/src/domains/token/operations/sample.ts +0 -32
- package/src/domains/token/orchestration/index.ts +0 -3
- package/src/domains/token/orchestration/resolveTokenList.ts +0 -17
- package/src/domains/token/orchestration/resolveTokenLookup.ts +0 -33
- package/src/domains/token/orchestration/tokenEmptyError.test.ts +0 -33
- package/src/domains/token/orchestration/tokenEmptyError.ts +0 -20
- package/src/domains/token/tokenConfig.ts +0 -38
- package/src/domains/token/types.ts +0 -6
- package/src/domains/trace/commands/clear.ts +0 -71
- package/src/domains/trace/commands/index.ts +0 -5
- package/src/domains/trace/commands/resolveTraceLimit.test.ts +0 -31
- package/src/domains/trace/commands/sessions.ts +0 -32
- package/src/domains/trace/commands/show.ts +0 -171
- package/src/domains/trace/formatters/index.ts +0 -9
- package/src/domains/trace/formatters/sessions.ts +0 -80
- package/src/domains/trace/formatters/show.ts +0 -122
- package/src/domains/trace/index.ts +0 -17
- package/src/domains/trace/operations/index.ts +0 -8
- package/src/domains/trace/operations/listSessions.test.ts +0 -55
- package/src/domains/trace/operations/listSessions.ts +0 -52
- package/src/domains/trace/operations/readTraceLog.test.ts +0 -100
- package/src/domains/trace/operations/readTraceLog.ts +0 -104
- package/src/domains/trace/tracePlugin.test.ts +0 -171
- package/src/domains/trace/tracePlugin.ts +0 -159
- package/src/domains/trace/types.ts +0 -65
- package/src/embedWasm.ts +0 -42
- package/src/error/PragmaError.test.ts +0 -121
- package/src/error/PragmaError.ts +0 -177
- package/src/error/constants.ts +0 -12
- package/src/error/index.ts +0 -4
- package/src/error/types.ts +0 -55
- package/src/mcp/createMcpServer.test.ts +0 -41
- package/src/mcp/createMcpServer.ts +0 -53
- package/src/mcp/error/buildRecovery.test.ts +0 -37
- package/src/mcp/error/buildRecovery.ts +0 -17
- package/src/mcp/error/index.ts +0 -12
- package/src/mcp/error/serializeError.test.ts +0 -121
- package/src/mcp/error/serializeError.ts +0 -31
- package/src/mcp/error/serializeErrorPayload.test.ts +0 -38
- package/src/mcp/error/serializeErrorPayload.ts +0 -34
- package/src/mcp/error/types.ts +0 -59
- package/src/mcp/index.ts +0 -15
- package/src/mcp/registerResources.test.ts +0 -566
- package/src/mcp/registerResources.ts +0 -9
- package/src/mcp/resources/buildGraphIndex.ts +0 -167
- package/src/mcp/resources/buildResourceList.test.ts +0 -97
- package/src/mcp/resources/buildResourceList.ts +0 -176
- package/src/mcp/resources/classifyEntity.test.ts +0 -40
- package/src/mcp/resources/classifyEntity.ts +0 -27
- package/src/mcp/resources/constants.ts +0 -105
- package/src/mcp/resources/displayPredicates.ts +0 -62
- package/src/mcp/resources/pickFirstValue.test.ts +0 -29
- package/src/mcp/resources/pickFirstValue.ts +0 -26
- package/src/mcp/resources/pickPrimaryType.test.ts +0 -41
- package/src/mcp/resources/pickPrimaryType.ts +0 -26
- package/src/mcp/resources/rankUriCompletions.test.ts +0 -52
- package/src/mcp/resources/rankUriCompletions.ts +0 -64
- package/src/mcp/resources/readEntity.ts +0 -169
- package/src/mcp/resources/registerResources.ts +0 -126
- package/src/mcp/resources/types.ts +0 -128
- package/src/mcp/runMcpServer.test.ts +0 -66
- package/src/mcp/runMcpServer.ts +0 -24
- package/src/mcp/tools/index.ts +0 -74
- package/src/mcp/tools/registerFromSpec.ts +0 -97
- package/src/mcp/tools/registerTools.test.ts +0 -1277
- package/src/mcp/types.ts +0 -66
- package/src/mcp/utils/estimateTokens.test.ts +0 -14
- package/src/mcp/utils/estimateTokens.ts +0 -9
- package/src/mcp/utils/index.ts +0 -11
- package/src/mcp/utils/wrapTool.test.ts +0 -109
- package/src/mcp/utils/wrapTool.ts +0 -81
- package/src/package-manager/constants.ts +0 -29
- package/src/package-manager/detectInstallSource.test.ts +0 -23
- package/src/package-manager/detectInstallSource.ts +0 -111
- package/src/package-manager/detectLocalInstall.test.ts +0 -16
- package/src/package-manager/detectLocalInstall.ts +0 -43
- package/src/package-manager/detectPackageManager.test.ts +0 -81
- package/src/package-manager/detectPackageManager.ts +0 -30
- package/src/package-manager/index.ts +0 -6
- package/src/package-manager/types.ts +0 -10
- package/src/pipeline/collectCommands.test.ts +0 -187
- package/src/pipeline/collectCommands.ts +0 -75
- package/src/pipeline/constants.ts +0 -14
- package/src/pipeline/createProgram.test.ts +0 -116
- package/src/pipeline/createProgram.ts +0 -89
- package/src/pipeline/firstRun.test.ts +0 -80
- package/src/pipeline/firstRun.ts +0 -99
- package/src/pipeline/formatTerminal.test.ts +0 -43
- package/src/pipeline/formatTerminal.ts +0 -53
- package/src/pipeline/index.ts +0 -22
- package/src/pipeline/mapExitCode.test.ts +0 -41
- package/src/pipeline/mapExitCode.ts +0 -12
- package/src/pipeline/parseGlobalFlags.test.ts +0 -193
- package/src/pipeline/parseGlobalFlags.ts +0 -135
- package/src/pipeline/renderError.test.ts +0 -151
- package/src/pipeline/renderError.ts +0 -129
- package/src/pipeline/resolveCommandKind.test.ts +0 -80
- package/src/pipeline/resolveCommandKind.ts +0 -82
- package/src/pipeline/rootHelp.test.ts +0 -87
- package/src/pipeline/rootHelp.ts +0 -265
- package/src/pipeline/runCli.orchestration.test.ts +0 -435
- package/src/pipeline/runCli.test.ts +0 -83
- package/src/pipeline/runCli.ts +0 -411
- package/src/pipeline/types.ts +0 -17
- package/src/testing/cli.ts +0 -71
- package/src/testing/createTestMcpClient.ts +0 -68
- package/src/testing/dsFixtures.ts +0 -523
- package/src/testing/fixtures/canonical-config.json +0 -4
- package/src/testing/fixtures/canonical.ttl +0 -437
- package/src/testing/fixtures/filtered-config.json +0 -4
- package/src/testing/fixtures.ts +0 -34
- package/src/testing/graphqlFixtures.ts +0 -72
- package/src/testing/helpers/assertParity.ts +0 -28
- package/src/testing/helpers/createTestMcpClient.ts +0 -40
- package/src/testing/helpers/createTestRuntime.ts +0 -67
- package/src/testing/index.ts +0 -22
- package/src/testing/integration/__snapshots__/executor-golden.test.ts.snap +0 -1207
- package/src/testing/integration/agent-session.test.ts +0 -148
- package/src/testing/integration/boot.test.ts +0 -105
- package/src/testing/integration/cli-user-stories.test.ts +0 -261
- package/src/testing/integration/cross-binary-byte-equality.test.ts +0 -129
- package/src/testing/integration/edge-cases.test.ts +0 -275
- package/src/testing/integration/executor-execution.test.ts +0 -103
- package/src/testing/integration/executor-golden.test.ts +0 -145
- package/src/testing/integration/mcp-surface.test.ts +0 -605
- package/src/testing/integration/parity.test.ts +0 -596
- package/src/testing/regression/0001-skill-discovery-granularity.test.ts +0 -71
- package/src/testing/standardParityFixtures.ts +0 -35
- package/src/testing/store.ts +0 -39
- package/src/testing/storyFixtures.ts +0 -63
- package/src/testing/types.ts +0 -20
- package/src/tui/components/BulletList/BulletList.tsx +0 -46
- package/src/tui/components/BulletList/index.ts +0 -2
- package/src/tui/components/BulletList/types.ts +0 -6
- package/src/tui/components/Card/Card.tsx +0 -73
- package/src/tui/components/Card/index.ts +0 -1
- package/src/tui/components/Card/types.ts +0 -12
- package/src/tui/components/CodeBlock/CodeBlock.tsx +0 -37
- package/src/tui/components/CodeBlock/index.ts +0 -2
- package/src/tui/components/CodeBlock/types.ts +0 -6
- package/src/tui/components/DataRow/DataRow.tsx +0 -80
- package/src/tui/components/DataRow/index.ts +0 -2
- package/src/tui/components/DataRow/types.ts +0 -14
- package/src/tui/components/FieldRow/FieldRow.tsx +0 -24
- package/src/tui/components/FieldRow/index.ts +0 -2
- package/src/tui/components/FieldRow/types.ts +0 -10
- package/src/tui/components/HeaderRow/HeaderRow.tsx +0 -32
- package/src/tui/components/HeaderRow/index.ts +0 -2
- package/src/tui/components/HeaderRow/types.ts +0 -8
- package/src/tui/components/MarkdownText/MarkdownText.tsx +0 -19
- package/src/tui/components/MarkdownText/index.ts +0 -2
- package/src/tui/components/MarkdownText/types.ts +0 -4
- package/src/tui/components/MiniTable/MiniTable.tsx +0 -82
- package/src/tui/components/MiniTable/index.ts +0 -2
- package/src/tui/components/MiniTable/types.ts +0 -6
- package/src/tui/components/SectionRenderer/SectionRenderer.tsx +0 -91
- package/src/tui/components/SectionRenderer/index.ts +0 -2
- package/src/tui/components/SectionRenderer/types.ts +0 -15
- package/src/tui/components/TreeView/TreeView.tsx +0 -84
- package/src/tui/components/TreeView/index.ts +0 -2
- package/src/tui/components/TreeView/types.ts +0 -6
- package/src/tui/components/index.ts +0 -19
- package/src/tui/constants.ts +0 -39
- package/src/tui/createListView.ts +0 -23
- package/src/tui/createLookupView.ts +0 -26
- package/src/tui/helpers/computeWidths.ts +0 -53
- package/src/tui/helpers/fitColumns.ts +0 -33
- package/src/tui/helpers/formatMarkdown.ts +0 -19
- package/src/tui/helpers/getTerminalSize.ts +0 -16
- package/src/tui/helpers/index.ts +0 -6
- package/src/tui/helpers/syntaxColor.ts +0 -67
- package/src/tui/helpers/truncateText.ts +0 -12
- package/src/tui/hooks/index.ts +0 -3
- package/src/tui/hooks/types.ts +0 -7
- package/src/tui/hooks/useAutoExit.ts +0 -17
- package/src/tui/hooks/useTerminalSize.ts +0 -19
- package/src/tui/index.ts +0 -15
- package/src/tui/renderInk.tsx +0 -18
- package/src/tui/types.ts +0 -12
- package/src/tui/views/ListView/ListView.tsx +0 -104
- package/src/tui/views/ListView/index.ts +0 -2
- package/src/tui/views/ListView/types.ts +0 -14
- package/src/tui/views/LookupView/LookupView.tsx +0 -244
- package/src/tui/views/LookupView/index.ts +0 -2
- package/src/tui/views/LookupView/types.ts +0 -16
- package/src/tui/views/index.ts +0 -4
|
@@ -0,0 +1,197 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Store-backed ontology inspection queries + shapes (the TBox exception).
|
|
3
|
+
*
|
|
4
|
+
* Unlike instance reads (GraphQL by default), ontology inspection queries the
|
|
5
|
+
* schema directly with SPARQL over `owl:Class`/`owl:*Property` — a recorded
|
|
6
|
+
* TBox exception to the source rule. Full IRIs are used in the query text so the
|
|
7
|
+
* result never depends on which vocabulary prefixes the store injected.
|
|
8
|
+
*/
|
|
9
|
+
|
|
10
|
+
import type { PragmaRuntime } from "../../kernel/runtime/types.js";
|
|
11
|
+
|
|
12
|
+
const OWL = "http://www.w3.org/2002/07/owl#";
|
|
13
|
+
const RDFS = "http://www.w3.org/2000/01/rdf-schema#";
|
|
14
|
+
const OWL_CLASS = `${OWL}Class`;
|
|
15
|
+
const OWL_OBJECT_PROPERTY = `${OWL}ObjectProperty`;
|
|
16
|
+
const OWL_DATATYPE_PROPERTY = `${OWL}DatatypeProperty`;
|
|
17
|
+
|
|
18
|
+
/** A loaded namespace summary (`ontology list`). */
|
|
19
|
+
export interface OntologySummary {
|
|
20
|
+
readonly prefix: string;
|
|
21
|
+
readonly namespace: string;
|
|
22
|
+
readonly classCount: number;
|
|
23
|
+
readonly propertyCount: number;
|
|
24
|
+
}
|
|
25
|
+
|
|
26
|
+
/** A class in the hierarchy, with its instance count from the pack index. */
|
|
27
|
+
export interface OntologyClass {
|
|
28
|
+
readonly uri: string;
|
|
29
|
+
readonly label: string;
|
|
30
|
+
readonly superclass?: string;
|
|
31
|
+
readonly instanceCount: number;
|
|
32
|
+
}
|
|
33
|
+
|
|
34
|
+
/** A property definition. */
|
|
35
|
+
export interface OntologyProperty {
|
|
36
|
+
readonly uri: string;
|
|
37
|
+
readonly label: string;
|
|
38
|
+
readonly domain?: string;
|
|
39
|
+
readonly range?: string;
|
|
40
|
+
readonly type: "object" | "datatype";
|
|
41
|
+
}
|
|
42
|
+
|
|
43
|
+
/** The `ontology show` payload — the detailed view plus render options. */
|
|
44
|
+
export interface OntologyShowData {
|
|
45
|
+
readonly prefix: string;
|
|
46
|
+
readonly namespace: string;
|
|
47
|
+
readonly classes: readonly OntologyClass[];
|
|
48
|
+
readonly properties: readonly OntologyProperty[];
|
|
49
|
+
/** Show full IRIs instead of prefix-compacted ones. */
|
|
50
|
+
readonly fullUris: boolean;
|
|
51
|
+
/** The `--class` focus, if any. */
|
|
52
|
+
readonly focus?: string;
|
|
53
|
+
}
|
|
54
|
+
|
|
55
|
+
type QueryRt = Pick<PragmaRuntime, "query">;
|
|
56
|
+
|
|
57
|
+
/** Local name of an IRI (`…#Thing`/`…/Thing` → `Thing`). */
|
|
58
|
+
export function localName(uri: string): string {
|
|
59
|
+
const hash = uri.lastIndexOf("#");
|
|
60
|
+
if (hash !== -1) return uri.slice(hash + 1);
|
|
61
|
+
const slash = uri.lastIndexOf("/");
|
|
62
|
+
return slash !== -1 ? uri.slice(slash + 1) : uri;
|
|
63
|
+
}
|
|
64
|
+
|
|
65
|
+
async function select(
|
|
66
|
+
rt: QueryRt,
|
|
67
|
+
text: string,
|
|
68
|
+
): Promise<Record<string, string>[]> {
|
|
69
|
+
const result = await rt.query.sparql(text);
|
|
70
|
+
return result.type === "select"
|
|
71
|
+
? (result.bindings as Record<string, string>[])
|
|
72
|
+
: [];
|
|
73
|
+
}
|
|
74
|
+
|
|
75
|
+
/** Group all defined classes/properties by their namespace prefix, with counts. */
|
|
76
|
+
export async function listNamespaces(
|
|
77
|
+
rt: QueryRt,
|
|
78
|
+
prefixes: Readonly<Record<string, string>>,
|
|
79
|
+
): Promise<OntologySummary[]> {
|
|
80
|
+
const [classes, props] = await Promise.all([
|
|
81
|
+
select(rt, `SELECT ?class WHERE { ?class a <${OWL_CLASS}> }`),
|
|
82
|
+
select(
|
|
83
|
+
rt,
|
|
84
|
+
`SELECT ?prop WHERE { ?prop a ?t . VALUES ?t { <${OWL_OBJECT_PROPERTY}> <${OWL_DATATYPE_PROPERTY}> } }`,
|
|
85
|
+
),
|
|
86
|
+
]);
|
|
87
|
+
const entries = Object.entries(prefixes);
|
|
88
|
+
const classByPrefix = new Map<string, Set<string>>();
|
|
89
|
+
const propByPrefix = new Map<string, Set<string>>();
|
|
90
|
+
const tally = (
|
|
91
|
+
rows: Record<string, string>[],
|
|
92
|
+
key: "class" | "prop",
|
|
93
|
+
into: Map<string, Set<string>>,
|
|
94
|
+
) => {
|
|
95
|
+
for (const row of rows) {
|
|
96
|
+
const uri = row[key] ?? "";
|
|
97
|
+
const match = findNamespace(uri, entries);
|
|
98
|
+
if (!match) continue;
|
|
99
|
+
const set = into.get(match.prefix) ?? new Set();
|
|
100
|
+
set.add(uri);
|
|
101
|
+
into.set(match.prefix, set);
|
|
102
|
+
}
|
|
103
|
+
};
|
|
104
|
+
tally(classes, "class", classByPrefix);
|
|
105
|
+
tally(props, "prop", propByPrefix);
|
|
106
|
+
const allPrefixes = new Set([
|
|
107
|
+
...classByPrefix.keys(),
|
|
108
|
+
...propByPrefix.keys(),
|
|
109
|
+
]);
|
|
110
|
+
return [...allPrefixes].sort().map((prefix) => ({
|
|
111
|
+
prefix,
|
|
112
|
+
namespace: prefixes[prefix] ?? "",
|
|
113
|
+
classCount: classByPrefix.get(prefix)?.size ?? 0,
|
|
114
|
+
propertyCount: propByPrefix.get(prefix)?.size ?? 0,
|
|
115
|
+
}));
|
|
116
|
+
}
|
|
117
|
+
|
|
118
|
+
/** The longest-matching namespace prefix for a URI. */
|
|
119
|
+
function findNamespace(
|
|
120
|
+
uri: string,
|
|
121
|
+
entries: [string, string][],
|
|
122
|
+
): { prefix: string; namespace: string } | undefined {
|
|
123
|
+
let best: { prefix: string; namespace: string } | undefined;
|
|
124
|
+
for (const [prefix, namespace] of entries) {
|
|
125
|
+
if (
|
|
126
|
+
uri.startsWith(namespace) &&
|
|
127
|
+
(!best || namespace.length > best.namespace.length)
|
|
128
|
+
) {
|
|
129
|
+
best = { prefix, namespace };
|
|
130
|
+
}
|
|
131
|
+
}
|
|
132
|
+
return best;
|
|
133
|
+
}
|
|
134
|
+
|
|
135
|
+
/** All classes in a namespace, with labels, superclasses, and index counts. */
|
|
136
|
+
export async function queryClasses(
|
|
137
|
+
rt: QueryRt,
|
|
138
|
+
namespace: string,
|
|
139
|
+
instanceCountByType: Readonly<Record<string, number>>,
|
|
140
|
+
): Promise<OntologyClass[]> {
|
|
141
|
+
const rows = await select(
|
|
142
|
+
rt,
|
|
143
|
+
[
|
|
144
|
+
"SELECT ?class ?label ?superclass WHERE {",
|
|
145
|
+
` ?class a <${OWL_CLASS}> .`,
|
|
146
|
+
` FILTER(STRSTARTS(STR(?class), "${namespace}"))`,
|
|
147
|
+
` OPTIONAL { ?class <${RDFS}label> ?label }`,
|
|
148
|
+
` OPTIONAL { ?class <${RDFS}subClassOf> ?superclass }`,
|
|
149
|
+
"} ORDER BY ?class",
|
|
150
|
+
].join("\n"),
|
|
151
|
+
);
|
|
152
|
+
const seen = new Map<string, OntologyClass>();
|
|
153
|
+
for (const row of rows) {
|
|
154
|
+
const uri = row.class ?? "";
|
|
155
|
+
if (seen.has(uri)) continue;
|
|
156
|
+
seen.set(uri, {
|
|
157
|
+
uri,
|
|
158
|
+
label: row.label || localName(uri),
|
|
159
|
+
...(row.superclass ? { superclass: row.superclass } : {}),
|
|
160
|
+
instanceCount: instanceCountByType[uri] ?? 0,
|
|
161
|
+
});
|
|
162
|
+
}
|
|
163
|
+
return [...seen.values()];
|
|
164
|
+
}
|
|
165
|
+
|
|
166
|
+
/** All object/datatype properties in a namespace. */
|
|
167
|
+
export async function queryProperties(
|
|
168
|
+
rt: QueryRt,
|
|
169
|
+
namespace: string,
|
|
170
|
+
): Promise<OntologyProperty[]> {
|
|
171
|
+
const rows = await select(
|
|
172
|
+
rt,
|
|
173
|
+
[
|
|
174
|
+
"SELECT ?prop ?label ?domain ?range ?propType WHERE {",
|
|
175
|
+
" ?prop a ?propType .",
|
|
176
|
+
` VALUES ?propType { <${OWL_OBJECT_PROPERTY}> <${OWL_DATATYPE_PROPERTY}> }`,
|
|
177
|
+
` FILTER(STRSTARTS(STR(?prop), "${namespace}"))`,
|
|
178
|
+
` OPTIONAL { ?prop <${RDFS}label> ?label }`,
|
|
179
|
+
` OPTIONAL { ?prop <${RDFS}domain> ?domain }`,
|
|
180
|
+
` OPTIONAL { ?prop <${RDFS}range> ?range }`,
|
|
181
|
+
"} ORDER BY ?prop",
|
|
182
|
+
].join("\n"),
|
|
183
|
+
);
|
|
184
|
+
const seen = new Map<string, OntologyProperty>();
|
|
185
|
+
for (const row of rows) {
|
|
186
|
+
const uri = row.prop ?? "";
|
|
187
|
+
if (seen.has(uri)) continue;
|
|
188
|
+
seen.set(uri, {
|
|
189
|
+
uri,
|
|
190
|
+
label: row.label || localName(uri),
|
|
191
|
+
...(row.domain ? { domain: row.domain } : {}),
|
|
192
|
+
...(row.range ? { range: row.range } : {}),
|
|
193
|
+
type: row.propType?.includes("ObjectProperty") ? "object" : "datatype",
|
|
194
|
+
});
|
|
195
|
+
}
|
|
196
|
+
return [...seen.values()];
|
|
197
|
+
}
|
|
@@ -0,0 +1,87 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Formatters for `ontology list` and `ontology show`.
|
|
3
|
+
*/
|
|
4
|
+
|
|
5
|
+
import { compactUri } from "../../kernel/render/compactUri.js";
|
|
6
|
+
import { DEFAULT_PREFIX_MAP } from "../../kernel/render/prefixes.js";
|
|
7
|
+
import type { Formatters } from "../../kernel/spec/types.js";
|
|
8
|
+
import type {
|
|
9
|
+
OntologyClass,
|
|
10
|
+
OntologyProperty,
|
|
11
|
+
OntologyShowData,
|
|
12
|
+
OntologySummary,
|
|
13
|
+
} from "./queries.js";
|
|
14
|
+
|
|
15
|
+
export const ontologyListFormatters: Formatters<OntologySummary[]> = {
|
|
16
|
+
plain: (rows) =>
|
|
17
|
+
rows
|
|
18
|
+
.map(
|
|
19
|
+
(r) =>
|
|
20
|
+
`${r.prefix} ${compactUri(r.namespace, DEFAULT_PREFIX_MAP)} ${r.classCount} classes, ${r.propertyCount} properties`,
|
|
21
|
+
)
|
|
22
|
+
.join("\n"),
|
|
23
|
+
llm: (rows) =>
|
|
24
|
+
[
|
|
25
|
+
`## Ontologies (${rows.length})`,
|
|
26
|
+
"",
|
|
27
|
+
...rows.map(
|
|
28
|
+
(r) =>
|
|
29
|
+
`- \`${r.prefix}\` — ${r.classCount} classes, ${r.propertyCount} properties (\`${r.namespace}\`)`,
|
|
30
|
+
),
|
|
31
|
+
].join("\n"),
|
|
32
|
+
json: (rows) => JSON.stringify(rows, null, 2),
|
|
33
|
+
};
|
|
34
|
+
|
|
35
|
+
/** Render a URI compacted or full, per the show flags. */
|
|
36
|
+
function uri(value: string, full: boolean): string {
|
|
37
|
+
return full ? value : compactUri(value, DEFAULT_PREFIX_MAP);
|
|
38
|
+
}
|
|
39
|
+
|
|
40
|
+
function classLine(c: OntologyClass, full: boolean, bullet: string): string {
|
|
41
|
+
const sup = c.superclass ? ` extends ${uri(c.superclass, full)}` : "";
|
|
42
|
+
const count = c.instanceCount > 0 ? ` [${c.instanceCount}]` : "";
|
|
43
|
+
return `${bullet}${c.label} (${uri(c.uri, full)})${sup}${count}`;
|
|
44
|
+
}
|
|
45
|
+
|
|
46
|
+
function propLine(p: OntologyProperty, full: boolean, bullet: string): string {
|
|
47
|
+
const domain = p.domain ? ` domain: ${uri(p.domain, full)}` : "";
|
|
48
|
+
const range = p.range ? ` range: ${uri(p.range, full)}` : "";
|
|
49
|
+
return `${bullet}${p.label} (${uri(p.uri, full)}) (${p.type})${domain}${range}`;
|
|
50
|
+
}
|
|
51
|
+
|
|
52
|
+
export const ontologyShowFormatters: Formatters<OntologyShowData> = {
|
|
53
|
+
plain(data) {
|
|
54
|
+
const title = `${data.prefix}: ${compactUri(data.namespace, DEFAULT_PREFIX_MAP)}${data.focus ? ` — ${data.focus}` : ""}`;
|
|
55
|
+
const lines = [title, "═".repeat(Math.max(title.length, 24))];
|
|
56
|
+
if (data.classes.length > 0) {
|
|
57
|
+
lines.push("", "Classes:");
|
|
58
|
+
for (const c of data.classes)
|
|
59
|
+
lines.push(classLine(c, data.fullUris, " "));
|
|
60
|
+
}
|
|
61
|
+
if (data.properties.length > 0) {
|
|
62
|
+
lines.push("", "Properties:");
|
|
63
|
+
for (const p of data.properties)
|
|
64
|
+
lines.push(propLine(p, data.fullUris, " "));
|
|
65
|
+
}
|
|
66
|
+
return lines.join("\n");
|
|
67
|
+
},
|
|
68
|
+
llm(data) {
|
|
69
|
+
const lines = [
|
|
70
|
+
`## ${data.prefix}: ${compactUri(data.namespace, DEFAULT_PREFIX_MAP)}${data.focus ? ` — ${data.focus}` : ""}`,
|
|
71
|
+
"",
|
|
72
|
+
];
|
|
73
|
+
if (data.classes.length > 0) {
|
|
74
|
+
lines.push("### Classes");
|
|
75
|
+
for (const c of data.classes)
|
|
76
|
+
lines.push(classLine(c, data.fullUris, "- "));
|
|
77
|
+
lines.push("");
|
|
78
|
+
}
|
|
79
|
+
if (data.properties.length > 0) {
|
|
80
|
+
lines.push("### Properties");
|
|
81
|
+
for (const p of data.properties)
|
|
82
|
+
lines.push(propLine(p, data.fullUris, "- "));
|
|
83
|
+
}
|
|
84
|
+
return lines.join("\n").trimEnd();
|
|
85
|
+
},
|
|
86
|
+
json: (data) => JSON.stringify(data, null, 2),
|
|
87
|
+
};
|
|
@@ -0,0 +1,269 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* `ontology list` and `ontology lookup <prefix>` — schema (TBox) inspection.
|
|
3
|
+
*
|
|
4
|
+
* `list` groups loaded namespaces by prefix with class/property counts; `lookup`
|
|
5
|
+
* renders a namespace's class hierarchy (with per-class instance counts read
|
|
6
|
+
* from the pack index) and, with `--properties`, a `--class` focus, or a
|
|
7
|
+
* `--detail` of `standard`+, its properties. `--full-uris` shows absolute IRIs;
|
|
8
|
+
* `--class <name>` narrows to one class and the properties whose domain is that
|
|
9
|
+
* class.
|
|
10
|
+
*
|
|
11
|
+
* `ontology show` is the DEPRECATED alias of `ontology lookup` (AV-228 B1): the
|
|
12
|
+
* verb was renamed to `lookup` for consistency with block/standard/tier/etc.
|
|
13
|
+
* (the ratified by-name read name), and `show` is kept callable — both share the
|
|
14
|
+
* same params, disclosure, and handler, and both stay blessed in the covenant.
|
|
15
|
+
*
|
|
16
|
+
* Disclosure (B5): rather than reinvent its own scheme, the by-name read declares
|
|
17
|
+
* the canonical disclosure ladder and honours the `--detail`/config `detail` the
|
|
18
|
+
* rest of the CLI reads AND the injected `detail` tool param the MCP projector
|
|
19
|
+
* derives from that declaration — a two-behaviour fold where `summary` is
|
|
20
|
+
* classes-only and `standard`/`detailed` add the properties section. The frozen
|
|
21
|
+
* `--properties` flag stays as an explicit override (it forces the section at
|
|
22
|
+
* any level), so the covenant is untouched.
|
|
23
|
+
*/
|
|
24
|
+
|
|
25
|
+
import { PragmaError } from "../../kernel/error/PragmaError.js";
|
|
26
|
+
import { resolvePackDetail } from "../../kernel/packs/disclosure.js";
|
|
27
|
+
import type { PragmaRuntime } from "../../kernel/runtime/types.js";
|
|
28
|
+
import { asVerb } from "../../kernel/spec/asVerb.js";
|
|
29
|
+
import type {
|
|
30
|
+
DisclosureSpec,
|
|
31
|
+
ParamSpec,
|
|
32
|
+
VerbSpec,
|
|
33
|
+
} from "../../kernel/spec/types.js";
|
|
34
|
+
import {
|
|
35
|
+
listNamespaces,
|
|
36
|
+
localName,
|
|
37
|
+
type OntologyShowData,
|
|
38
|
+
type OntologySummary,
|
|
39
|
+
queryClasses,
|
|
40
|
+
queryProperties,
|
|
41
|
+
} from "./queries.js";
|
|
42
|
+
import { ontologyListFormatters, ontologyShowFormatters } from "./render.js";
|
|
43
|
+
|
|
44
|
+
/** Resolve a prefix (`ds`) or full namespace URI to the `{ prefix, namespace }` pair. */
|
|
45
|
+
function resolvePrefix(
|
|
46
|
+
input: string,
|
|
47
|
+
prefixes: Readonly<Record<string, string>>,
|
|
48
|
+
): { prefix: string; namespace: string } {
|
|
49
|
+
if (input.startsWith("http://") || input.startsWith("https://")) {
|
|
50
|
+
const entry = Object.entries(prefixes).find(([, ns]) => ns === input);
|
|
51
|
+
if (entry) return { prefix: entry[0], namespace: entry[1] };
|
|
52
|
+
throw PragmaError.invalidInput("namespace", input, {
|
|
53
|
+
validOptions: Object.values(prefixes),
|
|
54
|
+
recovery: {
|
|
55
|
+
message: "List loaded ontology namespaces.",
|
|
56
|
+
cli: "pragma ontology list",
|
|
57
|
+
mcp: { tool: "ontology_list" },
|
|
58
|
+
},
|
|
59
|
+
});
|
|
60
|
+
}
|
|
61
|
+
const namespace = prefixes[input];
|
|
62
|
+
if (namespace === undefined) {
|
|
63
|
+
throw PragmaError.invalidInput("prefix", input, {
|
|
64
|
+
validOptions: Object.keys(prefixes),
|
|
65
|
+
recovery: {
|
|
66
|
+
message: "List loaded ontologies.",
|
|
67
|
+
cli: "pragma ontology list",
|
|
68
|
+
mcp: { tool: "ontology_list" },
|
|
69
|
+
},
|
|
70
|
+
});
|
|
71
|
+
}
|
|
72
|
+
return { prefix: input, namespace };
|
|
73
|
+
}
|
|
74
|
+
|
|
75
|
+
const listVerb: VerbSpec<Record<string, unknown>, OntologySummary[]> = {
|
|
76
|
+
path: ["ontology", "list"],
|
|
77
|
+
summary: "List loaded ontology namespaces with class and property counts.",
|
|
78
|
+
params: [],
|
|
79
|
+
output: { formatters: ontologyListFormatters },
|
|
80
|
+
examples: [{ cmd: "pragma ontology list" }],
|
|
81
|
+
capability: {
|
|
82
|
+
needsStore: true,
|
|
83
|
+
mutates: false,
|
|
84
|
+
mcp: {
|
|
85
|
+
expose: true,
|
|
86
|
+
annotations: { readOnlyHint: true, openWorldHint: false },
|
|
87
|
+
},
|
|
88
|
+
},
|
|
89
|
+
run: async (_params: Record<string, unknown>, rt: PragmaRuntime) => {
|
|
90
|
+
const session = await rt.store.get();
|
|
91
|
+
return listNamespaces(rt, session.prefixes);
|
|
92
|
+
},
|
|
93
|
+
};
|
|
94
|
+
|
|
95
|
+
/**
|
|
96
|
+
* The canonical disclosure the by-name read folds onto (B5). Declared on both
|
|
97
|
+
* the primary {@link ontologyLookupVerb} and its deprecated {@link
|
|
98
|
+
* ontologyShowVerb} alias — so the MCP projector injects the `detail` enum tool
|
|
99
|
+
* param and its per-call `withDetail` seeding light up (symmetric with
|
|
100
|
+
* `block`/`standard`, which an inline resolve left dark over MCP) — AND read by
|
|
101
|
+
* `run` to resolve the effective level, so the advertised param and the fetched
|
|
102
|
+
* level share ONE source. The levels are the full canonical ladder; the fold is
|
|
103
|
+
* two-behaviour (`summary` = classes only, `standard`/`detailed` add properties).
|
|
104
|
+
*/
|
|
105
|
+
const BY_NAME_DISCLOSURE: DisclosureSpec = {
|
|
106
|
+
levels: ["summary", "standard", "detailed"],
|
|
107
|
+
default: "summary",
|
|
108
|
+
};
|
|
109
|
+
|
|
110
|
+
/** The params shared by `ontology lookup` and its deprecated `ontology show` alias. */
|
|
111
|
+
const BY_NAME_PARAMS: ParamSpec[] = [
|
|
112
|
+
{
|
|
113
|
+
kind: "string",
|
|
114
|
+
name: "prefix",
|
|
115
|
+
doc: "The namespace prefix (ds) or full URI.",
|
|
116
|
+
positional: true,
|
|
117
|
+
required: true,
|
|
118
|
+
complete: { kind: "names", source: { from: "prefixes" } },
|
|
119
|
+
},
|
|
120
|
+
{
|
|
121
|
+
kind: "boolean",
|
|
122
|
+
name: "properties",
|
|
123
|
+
doc: "Include the properties section (also implied by --detail standard or higher).",
|
|
124
|
+
},
|
|
125
|
+
{
|
|
126
|
+
kind: "boolean",
|
|
127
|
+
name: "fullUris",
|
|
128
|
+
doc: "Show full IRIs instead of prefixed.",
|
|
129
|
+
},
|
|
130
|
+
{
|
|
131
|
+
kind: "string",
|
|
132
|
+
name: "class",
|
|
133
|
+
doc: "Focus on one class and its properties.",
|
|
134
|
+
},
|
|
135
|
+
];
|
|
136
|
+
|
|
137
|
+
/** The by-name read capability — a storeless-free, read-only MCP tool. */
|
|
138
|
+
const BY_NAME_CAPABILITY = {
|
|
139
|
+
needsStore: true,
|
|
140
|
+
mutates: false,
|
|
141
|
+
mcp: {
|
|
142
|
+
expose: true as const,
|
|
143
|
+
annotations: { readOnlyHint: true, openWorldHint: false },
|
|
144
|
+
},
|
|
145
|
+
};
|
|
146
|
+
|
|
147
|
+
/**
|
|
148
|
+
* The by-name read handler shared by `ontology lookup` and `ontology show`.
|
|
149
|
+
*
|
|
150
|
+
* @param params - The coerced param bag (`prefix`, `properties`, `fullUris`, `class`).
|
|
151
|
+
* @param rt - The runtime (store + disclosure precedence).
|
|
152
|
+
* @returns The namespace's classes (and, per disclosure, properties) payload.
|
|
153
|
+
*/
|
|
154
|
+
async function runByName(
|
|
155
|
+
params: Record<string, unknown>,
|
|
156
|
+
rt: PragmaRuntime,
|
|
157
|
+
): Promise<OntologyShowData> {
|
|
158
|
+
const session = await rt.store.get();
|
|
159
|
+
const { prefix, namespace } = resolvePrefix(
|
|
160
|
+
String(params.prefix),
|
|
161
|
+
session.prefixes,
|
|
162
|
+
);
|
|
163
|
+
const focus = typeof params.class === "string" ? params.class : undefined;
|
|
164
|
+
// Fold ontology's bespoke disclosure onto the canonical `--detail` (B5),
|
|
165
|
+
// resolving through the SAME {@link BY_NAME_DISCLOSURE} the verb declares (so
|
|
166
|
+
// the MCP `detail` param and its withDetail seeding resolve identically, not
|
|
167
|
+
// just the CLI `--detail` flag) and the SAME precedence packs use (flag >
|
|
168
|
+
// explicit config > default). The frozen `--properties` flag and a `--class`
|
|
169
|
+
// focus still force the section, so honouring the level is covenant-safe.
|
|
170
|
+
const level = await resolvePackDetail(rt, BY_NAME_DISCLOSURE);
|
|
171
|
+
const wantProperties =
|
|
172
|
+
params.properties === true || focus !== undefined || level !== "summary";
|
|
173
|
+
|
|
174
|
+
let classes = await queryClasses(
|
|
175
|
+
rt,
|
|
176
|
+
namespace,
|
|
177
|
+
session.index.instanceCountByType,
|
|
178
|
+
);
|
|
179
|
+
let properties = wantProperties ? await queryProperties(rt, namespace) : [];
|
|
180
|
+
|
|
181
|
+
if (focus !== undefined) {
|
|
182
|
+
const needle = focus.toLowerCase();
|
|
183
|
+
classes = classes.filter(
|
|
184
|
+
(c) =>
|
|
185
|
+
localName(c.uri).toLowerCase() === needle ||
|
|
186
|
+
c.label.toLowerCase() === needle,
|
|
187
|
+
);
|
|
188
|
+
const focusUris = new Set(classes.map((c) => c.uri));
|
|
189
|
+
properties = properties.filter(
|
|
190
|
+
(p) => p.domain !== undefined && focusUris.has(p.domain),
|
|
191
|
+
);
|
|
192
|
+
}
|
|
193
|
+
|
|
194
|
+
if (classes.length === 0 && properties.length === 0) {
|
|
195
|
+
throw PragmaError.notFound("ontology", String(params.prefix), {
|
|
196
|
+
recovery: {
|
|
197
|
+
message: "List loaded ontologies.",
|
|
198
|
+
cli: "pragma ontology list",
|
|
199
|
+
mcp: { tool: "ontology_list" },
|
|
200
|
+
},
|
|
201
|
+
});
|
|
202
|
+
}
|
|
203
|
+
|
|
204
|
+
return {
|
|
205
|
+
prefix,
|
|
206
|
+
namespace,
|
|
207
|
+
classes,
|
|
208
|
+
properties,
|
|
209
|
+
fullUris: params.fullUris === true,
|
|
210
|
+
...(focus !== undefined ? { focus } : {}),
|
|
211
|
+
};
|
|
212
|
+
}
|
|
213
|
+
|
|
214
|
+
/**
|
|
215
|
+
* Build one by-name read verb (`lookup` primary or `show` deprecated alias) —
|
|
216
|
+
* both share {@link BY_NAME_PARAMS}, {@link BY_NAME_DISCLOSURE}, the formatters,
|
|
217
|
+
* and {@link runByName}; only the path label, summary, doc, and examples differ.
|
|
218
|
+
*/
|
|
219
|
+
function byNameVerb(
|
|
220
|
+
verb: "lookup" | "show",
|
|
221
|
+
summary: string,
|
|
222
|
+
examples: VerbSpec["examples"],
|
|
223
|
+
doc?: string,
|
|
224
|
+
): VerbSpec<Record<string, unknown>, OntologyShowData> {
|
|
225
|
+
return {
|
|
226
|
+
path: ["ontology", verb],
|
|
227
|
+
summary,
|
|
228
|
+
...(doc !== undefined ? { doc } : {}),
|
|
229
|
+
params: BY_NAME_PARAMS,
|
|
230
|
+
output: { formatters: ontologyShowFormatters },
|
|
231
|
+
examples,
|
|
232
|
+
disclosure: BY_NAME_DISCLOSURE,
|
|
233
|
+
capability: BY_NAME_CAPABILITY,
|
|
234
|
+
run: runByName,
|
|
235
|
+
};
|
|
236
|
+
}
|
|
237
|
+
|
|
238
|
+
/** The `ontology` verbs (`list`, `lookup`, and the deprecated `show` alias). */
|
|
239
|
+
export const ontologyListVerb = asVerb(listVerb);
|
|
240
|
+
|
|
241
|
+
/** `ontology lookup <prefix>` — the primary by-name schema read. */
|
|
242
|
+
export const ontologyLookupVerb = asVerb(
|
|
243
|
+
byNameVerb(
|
|
244
|
+
"lookup",
|
|
245
|
+
"Look up a namespace's classes (hierarchy + counts) and properties.",
|
|
246
|
+
[
|
|
247
|
+
{ cmd: "pragma ontology lookup ds" },
|
|
248
|
+
{ cmd: "pragma ontology lookup ds --properties" },
|
|
249
|
+
{ cmd: "pragma ontology lookup ds --class Component" },
|
|
250
|
+
],
|
|
251
|
+
),
|
|
252
|
+
);
|
|
253
|
+
|
|
254
|
+
/**
|
|
255
|
+
* `ontology show <prefix>` — DEPRECATED alias of {@link ontologyLookupVerb}
|
|
256
|
+
* (AV-228 B1). Kept callable and blessed in the covenant; shares the same
|
|
257
|
+
* handler, so it behaves identically. New callers should use `ontology lookup`.
|
|
258
|
+
*/
|
|
259
|
+
export const ontologyShowVerb = asVerb(
|
|
260
|
+
byNameVerb(
|
|
261
|
+
"show",
|
|
262
|
+
"(deprecated: use `ontology lookup`) Show a namespace's classes (hierarchy + counts) and properties.",
|
|
263
|
+
[
|
|
264
|
+
{ cmd: "pragma ontology lookup ds", note: "prefer `lookup`" },
|
|
265
|
+
{ cmd: "pragma ontology show ds", note: "deprecated alias" },
|
|
266
|
+
],
|
|
267
|
+
"Deprecated alias of `ontology lookup` — retained for compatibility. Prefer `ontology lookup <prefix>`.",
|
|
268
|
+
),
|
|
269
|
+
);
|
|
@@ -0,0 +1,18 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* The `prompt` capability module — the covenant content noun
|
|
3
|
+
* (`prompt_list`/`prompt_lookup`) PLUS the native MCP `prompts/*` surface, both
|
|
4
|
+
* projecting the ONE `ds:Prompt` source. The `mcpPrompts` hook is the same
|
|
5
|
+
* `promptProvider` the kernel defines; this module is where it attaches, so the
|
|
6
|
+
* default MCP server advertises prompts sourced from the active graph.
|
|
7
|
+
*/
|
|
8
|
+
|
|
9
|
+
import { promptProvider } from "../../kernel/project/mcp/prompts/provider.js";
|
|
10
|
+
import type { CapabilityModule } from "../../kernel/spec/types.js";
|
|
11
|
+
import { promptListVerb, promptLookupVerb } from "./verbs.js";
|
|
12
|
+
|
|
13
|
+
/** The `prompt` capability module (content tools + native prompt surface). */
|
|
14
|
+
export const promptModule: CapabilityModule = {
|
|
15
|
+
name: "prompt",
|
|
16
|
+
verbs: [promptListVerb, promptLookupVerb],
|
|
17
|
+
mcpPrompts: promptProvider,
|
|
18
|
+
};
|
|
@@ -0,0 +1,94 @@
|
|
|
1
|
+
import chalk from "chalk";
|
|
2
|
+
import { afterEach, describe, expect, it } from "vitest";
|
|
3
|
+
import {
|
|
4
|
+
promptListFormatters,
|
|
5
|
+
promptLookupFormatters,
|
|
6
|
+
} from "./prompt.render.js";
|
|
7
|
+
import type { PromptListData, PromptLookupData } from "./types.js";
|
|
8
|
+
|
|
9
|
+
/** Run `body` with stdout's `isTTY` forced to `value`, then restore it. */
|
|
10
|
+
function withStdoutTty(value: boolean | undefined, body: () => void): void {
|
|
11
|
+
const stream = process.stdout as { isTTY?: boolean };
|
|
12
|
+
const saved = stream.isTTY;
|
|
13
|
+
stream.isTTY = value;
|
|
14
|
+
try {
|
|
15
|
+
body();
|
|
16
|
+
} finally {
|
|
17
|
+
stream.isTTY = saved;
|
|
18
|
+
}
|
|
19
|
+
}
|
|
20
|
+
|
|
21
|
+
const LOOKUP: PromptLookupData = {
|
|
22
|
+
name: "build-a-block",
|
|
23
|
+
description: "Scaffold a block",
|
|
24
|
+
arguments: [
|
|
25
|
+
{ name: "blockName", required: true, description: "The block name" },
|
|
26
|
+
{ name: "tier", required: false },
|
|
27
|
+
],
|
|
28
|
+
body: "Create {{blockName}} in {{tier}}.",
|
|
29
|
+
};
|
|
30
|
+
|
|
31
|
+
const LIST: PromptListData = {
|
|
32
|
+
prompts: [
|
|
33
|
+
{ name: "build-a-block", description: "Scaffold a block", arguments: [] },
|
|
34
|
+
],
|
|
35
|
+
};
|
|
36
|
+
|
|
37
|
+
describe("promptLookupFormatters", () => {
|
|
38
|
+
it("underlines the plain name with an ═ rule (B7)", () => {
|
|
39
|
+
const lines = promptLookupFormatters.plain(LOOKUP).split("\n");
|
|
40
|
+
expect(lines.at(0)).toBe("build-a-block");
|
|
41
|
+
expect(lines.at(1)).toBe("═".repeat(24));
|
|
42
|
+
expect(lines.at(2)).toBe("");
|
|
43
|
+
expect(lines).toContain(" args: blockName (required), tier");
|
|
44
|
+
});
|
|
45
|
+
|
|
46
|
+
it("heads the llm entity at H2 with H3 sub-sections (B2)", () => {
|
|
47
|
+
const lines = promptLookupFormatters.llm(LOOKUP).split("\n");
|
|
48
|
+
expect(lines.at(0)).toBe("## build-a-block");
|
|
49
|
+
expect(lines).toContain("### Arguments");
|
|
50
|
+
expect(lines).toContain("### Template");
|
|
51
|
+
// The old H1 title / H2 sub-sections are gone.
|
|
52
|
+
expect(lines).not.toContain("# build-a-block");
|
|
53
|
+
expect(lines).not.toContain("## Arguments");
|
|
54
|
+
expect(lines).not.toContain("## Template");
|
|
55
|
+
});
|
|
56
|
+
});
|
|
57
|
+
|
|
58
|
+
describe("promptListFormatters", () => {
|
|
59
|
+
it("heads the llm list at H2, never H1 (B2)", () => {
|
|
60
|
+
const out = promptListFormatters.llm(LIST);
|
|
61
|
+
expect(out.startsWith("## Prompts")).toBe(true);
|
|
62
|
+
expect(out).not.toMatch(/^# Prompts/m);
|
|
63
|
+
});
|
|
64
|
+
});
|
|
65
|
+
|
|
66
|
+
describe("promptLookupFormatters — shared style seam (B7)", () => {
|
|
67
|
+
const prevLevel = chalk.level;
|
|
68
|
+
afterEach(() => {
|
|
69
|
+
chalk.level = prevLevel;
|
|
70
|
+
});
|
|
71
|
+
|
|
72
|
+
it("styles the plain title on a color-capable TTY", () => {
|
|
73
|
+
chalk.level = 1;
|
|
74
|
+
withStdoutTty(true, () => {
|
|
75
|
+
// The title/rule/label now route through the same style seam block and
|
|
76
|
+
// skill lookups use — previously a prompt title stayed unstyled on a TTY.
|
|
77
|
+
// biome-ignore lint/suspicious/noControlCharactersInRegex: asserting the ESC byte is the point
|
|
78
|
+
expect(promptLookupFormatters.plain(LOOKUP)).toMatch(/\x1b\[/);
|
|
79
|
+
});
|
|
80
|
+
});
|
|
81
|
+
|
|
82
|
+
it("keeps piped plain output byte-stable off a TTY", () => {
|
|
83
|
+
chalk.level = 3;
|
|
84
|
+
withStdoutTty(undefined, () => {
|
|
85
|
+
const out = promptLookupFormatters.plain(LOOKUP);
|
|
86
|
+
// biome-ignore lint/suspicious/noControlCharactersInRegex: asserting NO ESC byte survives
|
|
87
|
+
expect(out).not.toMatch(/\x1b\[/);
|
|
88
|
+
const lines = out.split("\n");
|
|
89
|
+
expect(lines.at(0)).toBe("build-a-block");
|
|
90
|
+
expect(lines.at(1)).toBe("═".repeat(24));
|
|
91
|
+
expect(lines).toContain(" args: blockName (required), tier");
|
|
92
|
+
});
|
|
93
|
+
});
|
|
94
|
+
});
|