kibi-cli 0.19.0 → 2.0.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/dist/cli-errors.d.ts +3 -1
- package/dist/cli-errors.d.ts.map +1 -1
- package/dist/cli-errors.js +4 -1
- package/dist/cli-json-command.d.ts +1 -0
- package/dist/cli-json-command.d.ts.map +1 -1
- package/dist/cli-json-command.js +13 -4
- package/dist/cli-operation-loader.d.ts.map +1 -1
- package/dist/cli-operation-loader.js +53 -20
- package/dist/cli-operation-metadata.d.ts +21 -8
- package/dist/cli-operation-metadata.d.ts.map +1 -1
- package/dist/cli-operation-metadata.js +27 -10
- package/dist/cli-protocol.d.ts.map +1 -1
- package/dist/cli-protocol.js +38 -8
- package/dist/cli-register-foundation.d.ts.map +1 -1
- package/dist/cli-register-foundation.js +14 -2
- package/dist/cli-register-maintenance.d.ts.map +1 -1
- package/dist/cli-register-maintenance.js +33 -4
- package/dist/cli-register-proof.d.ts +3 -0
- package/dist/cli-register-proof.d.ts.map +1 -0
- package/dist/cli-register-proof.js +103 -0
- package/dist/cli-register-reporting.d.ts.map +1 -1
- package/dist/cli-register-reporting.js +11 -0
- package/dist/cli.d.ts +4 -0
- package/dist/cli.d.ts.map +1 -1
- package/dist/cli.js +17 -8
- package/dist/commands/aggregated-checks.d.ts +1 -2
- package/dist/commands/aggregated-checks.d.ts.map +1 -1
- package/dist/commands/aggregated-checks.js +14 -9
- package/dist/commands/branch.d.ts +37 -0
- package/dist/commands/branch.d.ts.map +1 -1
- package/dist/commands/branch.js +375 -40
- package/dist/commands/check.d.ts +14 -0
- package/dist/commands/check.d.ts.map +1 -1
- package/dist/commands/check.js +209 -110
- package/dist/commands/coverage.d.ts +1 -0
- package/dist/commands/coverage.d.ts.map +1 -1
- package/dist/commands/coverage.js +6 -0
- package/dist/commands/discovery-shared.d.ts.map +1 -1
- package/dist/commands/discovery-shared.js +10 -19
- package/dist/commands/doctor.d.ts +26 -1
- package/dist/commands/doctor.d.ts.map +1 -1
- package/dist/commands/doctor.js +291 -30
- package/dist/commands/engine.d.ts +12 -0
- package/dist/commands/engine.d.ts.map +1 -1
- package/dist/commands/engine.js +50 -7
- package/dist/commands/gc.d.ts +5 -2
- package/dist/commands/gc.d.ts.map +1 -1
- package/dist/commands/gc.js +140 -71
- package/dist/commands/github-init.d.ts +57 -0
- package/dist/commands/github-init.d.ts.map +1 -0
- package/dist/commands/github-init.js +314 -0
- package/dist/commands/init-helpers.d.ts +1 -1
- package/dist/commands/init-helpers.d.ts.map +1 -1
- package/dist/commands/init-helpers.js +109 -28
- package/dist/commands/init.d.ts +2 -0
- package/dist/commands/init.d.ts.map +1 -1
- package/dist/commands/init.js +79 -24
- package/dist/commands/legacy-storage-migration.d.ts +54 -0
- package/dist/commands/legacy-storage-migration.d.ts.map +1 -0
- package/dist/commands/legacy-storage-migration.js +277 -0
- package/dist/commands/migrate.d.ts +11 -0
- package/dist/commands/migrate.d.ts.map +1 -1
- package/dist/commands/migrate.js +249 -96
- package/dist/commands/proof-migrate-legacy.d.ts +7 -0
- package/dist/commands/proof-migrate-legacy.d.ts.map +1 -0
- package/dist/commands/proof-migrate-legacy.js +45 -0
- package/dist/commands/proof-prune.d.ts +8 -0
- package/dist/commands/proof-prune.d.ts.map +1 -0
- package/dist/commands/proof-prune.js +53 -0
- package/dist/commands/prove.d.ts +37 -0
- package/dist/commands/prove.d.ts.map +1 -0
- package/dist/commands/prove.js +470 -0
- package/dist/commands/report.d.ts +24 -0
- package/dist/commands/report.d.ts.map +1 -0
- package/dist/commands/report.js +191 -0
- package/dist/commands/sync/cache.d.ts +16 -3
- package/dist/commands/sync/cache.d.ts.map +1 -1
- package/dist/commands/sync/cache.js +111 -4
- package/dist/commands/sync/discovery.d.ts +26 -2
- package/dist/commands/sync/discovery.d.ts.map +1 -1
- package/dist/commands/sync/discovery.js +204 -15
- package/dist/commands/sync/extraction.d.ts +8 -1
- package/dist/commands/sync/extraction.d.ts.map +1 -1
- package/dist/commands/sync/extraction.js +38 -4
- package/dist/commands/sync/manifest.d.ts +9 -6
- package/dist/commands/sync/manifest.d.ts.map +1 -1
- package/dist/commands/sync/manifest.js +195 -60
- package/dist/commands/sync/persistence.d.ts +4 -1
- package/dist/commands/sync/persistence.d.ts.map +1 -1
- package/dist/commands/sync/persistence.js +26 -12
- package/dist/commands/sync/staging.d.ts +1 -0
- package/dist/commands/sync/staging.d.ts.map +1 -1
- package/dist/commands/sync/staging.js +5 -2
- package/dist/commands/sync/untracked-targets.d.ts +24 -0
- package/dist/commands/sync/untracked-targets.d.ts.map +1 -0
- package/dist/commands/sync/untracked-targets.js +108 -0
- package/dist/commands/sync.d.ts +17 -1
- package/dist/commands/sync.d.ts.map +1 -1
- package/dist/commands/sync.js +375 -106
- package/dist/diagnostics.d.ts +1 -1
- package/dist/diagnostics.d.ts.map +1 -1
- package/dist/engine-daemon.d.ts +3 -1
- package/dist/engine-daemon.d.ts.map +1 -1
- package/dist/engine-daemon.js +49 -20
- package/dist/engine.d.ts +34 -3
- package/dist/engine.d.ts.map +1 -1
- package/dist/engine.js +578 -42
- package/dist/env.d.ts.map +1 -1
- package/dist/env.js +5 -6
- package/dist/extractors/manifest.d.ts +13 -1
- package/dist/extractors/manifest.d.ts.map +1 -1
- package/dist/extractors/manifest.js +97 -10
- package/dist/extractors/markdown.d.ts +5 -2
- package/dist/extractors/markdown.d.ts.map +1 -1
- package/dist/extractors/markdown.js +47 -12
- package/dist/extractors/playwright-cases.d.ts +24 -0
- package/dist/extractors/playwright-cases.d.ts.map +1 -0
- package/dist/extractors/playwright-cases.js +126 -0
- package/dist/extractors/relationships.d.ts +6 -0
- package/dist/extractors/relationships.d.ts.map +1 -1
- package/dist/extractors/relationships.js +2 -1
- package/dist/extractors/symbol-coordinates.d.ts +81 -3
- package/dist/extractors/symbol-coordinates.d.ts.map +1 -1
- package/dist/extractors/symbol-coordinates.js +389 -51
- package/dist/extractors/symbols-coordinator.js +11 -1
- package/dist/extractors/symbols-ts.d.ts +1 -0
- package/dist/extractors/symbols-ts.d.ts.map +1 -1
- package/dist/extractors/symbols-ts.js +142 -67
- package/dist/intent-search.d.ts +61 -0
- package/dist/intent-search.d.ts.map +1 -0
- package/dist/intent-search.js +437 -0
- package/dist/logic/ir.d.ts +1 -0
- package/dist/logic/ir.d.ts.map +1 -1
- package/dist/logic/ir.js +1 -1
- package/dist/operations/bootstrap/activation.d.ts +5 -0
- package/dist/operations/bootstrap/activation.d.ts.map +1 -0
- package/dist/operations/{autopilot → bootstrap}/activation.js +58 -33
- package/dist/operations/{autopilot → bootstrap}/candidate-helpers.d.ts.map +1 -1
- package/dist/operations/bootstrap/candidates.d.ts +4 -0
- package/dist/operations/{autopilot → bootstrap}/candidates.d.ts.map +1 -1
- package/dist/operations/{autopilot → bootstrap}/candidates.js +22 -8
- package/dist/operations/{autopilot → bootstrap}/discovery-evidence.d.ts +2 -2
- package/dist/operations/{autopilot → bootstrap}/discovery-evidence.d.ts.map +1 -1
- package/dist/operations/{autopilot → bootstrap}/discovery-evidence.js +46 -6
- package/dist/operations/{autopilot → bootstrap}/discovery.d.ts +1 -1
- package/dist/operations/bootstrap/discovery.d.ts.map +1 -0
- package/dist/operations/{autopilot → bootstrap}/discovery.js +21 -14
- package/dist/operations/bootstrap/generate.d.ts +9 -0
- package/dist/operations/bootstrap/generate.d.ts.map +1 -0
- package/dist/operations/bootstrap/generate.js +207 -0
- package/dist/operations/{autopilot → bootstrap}/guidance-actions.d.ts +2 -2
- package/dist/operations/{autopilot → bootstrap}/guidance-actions.d.ts.map +1 -1
- package/dist/operations/{autopilot → bootstrap}/guidance-actions.js +4 -4
- package/dist/operations/{autopilot → bootstrap}/guidance.d.ts +3 -2
- package/dist/operations/bootstrap/guidance.d.ts.map +1 -0
- package/dist/operations/{autopilot → bootstrap}/guidance.js +3 -1
- package/dist/operations/{autopilot → bootstrap}/markdown-candidates.d.ts +2 -2
- package/dist/operations/{autopilot → bootstrap}/markdown-candidates.d.ts.map +1 -1
- package/dist/operations/{autopilot → bootstrap}/markdown-candidates.js +4 -3
- package/dist/operations/bootstrap/presentation.d.ts +15 -0
- package/dist/operations/bootstrap/presentation.d.ts.map +1 -0
- package/dist/operations/bootstrap/presentation.js +177 -0
- package/dist/operations/{autopilot → bootstrap}/requirement-claims.d.ts.map +1 -1
- package/dist/operations/{autopilot → bootstrap}/types.d.ts +63 -21
- package/dist/operations/bootstrap/types.d.ts.map +1 -0
- package/dist/operations/bootstrap/types.js +25 -0
- package/dist/operations/modeling/model-requirement.d.ts +5 -0
- package/dist/operations/modeling/model-requirement.d.ts.map +1 -1
- package/dist/operations/modeling/model-requirement.js +57 -63
- package/dist/operations/modeling/predicate-applicability.d.ts +16 -0
- package/dist/operations/modeling/predicate-applicability.d.ts.map +1 -0
- package/dist/operations/modeling/predicate-applicability.js +375 -0
- package/dist/operations/modeling/predicate-applyplan.d.ts +13 -2
- package/dist/operations/modeling/predicate-applyplan.d.ts.map +1 -1
- package/dist/operations/modeling/predicate-applyplan.js +100 -3
- package/dist/operations/modeling/predicate-bindings.d.ts +6 -0
- package/dist/operations/modeling/predicate-bindings.d.ts.map +1 -0
- package/dist/operations/modeling/predicate-bindings.js +122 -0
- package/dist/operations/modeling/predicate-catalog-2.d.ts.map +1 -1
- package/dist/operations/modeling/predicate-catalog-2.js +18 -2
- package/dist/operations/modeling/predicate-catalog-3.d.ts.map +1 -1
- package/dist/operations/modeling/predicate-catalog-3.js +17 -1
- package/dist/operations/modeling/predicate-catalog-4.d.ts.map +1 -1
- package/dist/operations/modeling/predicate-catalog-4.js +155 -0
- package/dist/operations/modeling/predicate-catalog-5.d.ts +10 -0
- package/dist/operations/modeling/predicate-catalog-5.d.ts.map +1 -0
- package/dist/operations/modeling/predicate-catalog-5.js +291 -0
- package/dist/operations/modeling/predicate-catalog.d.ts.map +1 -1
- package/dist/operations/modeling/predicate-catalog.js +4 -0
- package/dist/operations/modeling/predicate-inference-1.d.ts.map +1 -1
- package/dist/operations/modeling/predicate-inference-1.js +8 -0
- package/dist/operations/modeling/predicate-inference-launcher.d.ts +10 -0
- package/dist/operations/modeling/predicate-inference-launcher.d.ts.map +1 -0
- package/dist/operations/modeling/predicate-inference-launcher.js +13 -0
- package/dist/operations/modeling/predicate-inference.d.ts.map +1 -1
- package/dist/operations/modeling/predicate-inference.js +4 -0
- package/dist/operations/modeling/predicate-loader.d.ts +1 -0
- package/dist/operations/modeling/predicate-loader.d.ts.map +1 -1
- package/dist/operations/modeling/predicate-loader.js +11 -3
- package/dist/operations/modeling/predicate-ranker.d.ts +8 -1
- package/dist/operations/modeling/predicate-ranker.d.ts.map +1 -1
- package/dist/operations/modeling/predicate-ranker.js +159 -24
- package/dist/operations/modeling/predicate-score-3.d.ts.map +1 -1
- package/dist/operations/modeling/predicate-score-3.js +6 -0
- package/dist/operations/modeling/predicate-types.d.ts +35 -1
- package/dist/operations/modeling/predicate-types.d.ts.map +1 -1
- package/dist/operations/modeling/predicate-usage-hints-3.d.ts.map +1 -1
- package/dist/operations/modeling/predicate-usage-hints-3.js +40 -0
- package/dist/operations/modeling/predicate-usage-hints-4.d.ts +3 -0
- package/dist/operations/modeling/predicate-usage-hints-4.d.ts.map +1 -0
- package/dist/operations/modeling/predicate-usage-hints-4.js +84 -0
- package/dist/operations/modeling/predicate-utils.d.ts.map +1 -1
- package/dist/operations/modeling/predicate-utils.js +2 -0
- package/dist/operations/modeling/suggest-predicates.d.ts +4 -2
- package/dist/operations/modeling/suggest-predicates.d.ts.map +1 -1
- package/dist/operations/modeling/suggest-predicates.js +203 -32
- package/dist/operations/mutation/contradictions.d.ts +2 -1
- package/dist/operations/mutation/contradictions.d.ts.map +1 -1
- package/dist/operations/mutation/contradictions.js +26 -5
- package/dist/operations/mutation/delete.d.ts +3 -0
- package/dist/operations/mutation/delete.d.ts.map +1 -1
- package/dist/operations/mutation/delete.js +483 -19
- package/dist/operations/mutation/entity-projection.d.ts +11 -0
- package/dist/operations/mutation/entity-projection.d.ts.map +1 -0
- package/dist/operations/mutation/entity-projection.js +14 -0
- package/dist/operations/mutation/relationships.d.ts +11 -0
- package/dist/operations/mutation/relationships.d.ts.map +1 -1
- package/dist/operations/mutation/relationships.js +77 -5
- package/dist/operations/mutation/saga.d.ts +51 -0
- package/dist/operations/mutation/saga.d.ts.map +1 -0
- package/dist/operations/mutation/saga.js +67 -0
- package/dist/operations/mutation/serialization.d.ts.map +1 -1
- package/dist/operations/mutation/serialization.js +3 -1
- package/dist/operations/mutation/source-authoring.d.ts +65 -0
- package/dist/operations/mutation/source-authoring.d.ts.map +1 -0
- package/dist/operations/mutation/source-authoring.js +576 -0
- package/dist/operations/mutation/strict-fact.d.ts +1 -0
- package/dist/operations/mutation/strict-fact.d.ts.map +1 -1
- package/dist/operations/mutation/strict-fact.js +8 -5
- package/dist/operations/mutation/symbol-compiler-lock.d.ts +54 -0
- package/dist/operations/mutation/symbol-compiler-lock.d.ts.map +1 -0
- package/dist/operations/mutation/symbol-compiler-lock.js +337 -0
- package/dist/operations/mutation/symbol-granularity.d.ts.map +1 -1
- package/dist/operations/mutation/symbol-granularity.js +35 -4
- package/dist/operations/mutation/symbol-refresh.d.ts +19 -1
- package/dist/operations/mutation/symbol-refresh.d.ts.map +1 -1
- package/dist/operations/mutation/symbol-refresh.js +227 -63
- package/dist/operations/mutation/types.d.ts +57 -1
- package/dist/operations/mutation/types.d.ts.map +1 -1
- package/dist/operations/mutation/upsert.d.ts +18 -2
- package/dist/operations/mutation/upsert.d.ts.map +1 -1
- package/dist/operations/mutation/upsert.js +403 -32
- package/dist/operations/mutation/validate-upsert.js +2 -2
- package/dist/operations/mutation/validation.d.ts.map +1 -1
- package/dist/operations/mutation/validation.js +47 -4
- package/dist/operations/mutation/warnings.d.ts +1 -0
- package/dist/operations/mutation/warnings.d.ts.map +1 -1
- package/dist/operations/mutation/warnings.js +7 -5
- package/dist/operations/mutation/workspace-mutation-lock.d.ts +60 -0
- package/dist/operations/mutation/workspace-mutation-lock.d.ts.map +1 -0
- package/dist/operations/mutation/workspace-mutation-lock.js +362 -0
- package/dist/operations/planning/apply-plan.d.ts +19 -0
- package/dist/operations/planning/apply-plan.d.ts.map +1 -0
- package/dist/operations/planning/apply-plan.js +1514 -0
- package/dist/operations/planning/compile-intent.d.ts +108 -0
- package/dist/operations/planning/compile-intent.d.ts.map +1 -0
- package/dist/operations/planning/compile-intent.js +618 -0
- package/dist/operations/proof/ingest-proof.d.ts +34 -0
- package/dist/operations/proof/ingest-proof.d.ts.map +1 -0
- package/dist/operations/proof/ingest-proof.js +307 -0
- package/dist/operations/proof/migrate-legacy-receipts.d.ts +30 -0
- package/dist/operations/proof/migrate-legacy-receipts.d.ts.map +1 -0
- package/dist/operations/proof/migrate-legacy-receipts.js +88 -0
- package/dist/operations/proof/prune-receipts.d.ts +35 -0
- package/dist/operations/proof/prune-receipts.d.ts.map +1 -0
- package/dist/operations/proof/prune-receipts.js +91 -0
- package/dist/operations/proof/receipt-document.d.ts +29 -0
- package/dist/operations/proof/receipt-document.d.ts.map +1 -0
- package/dist/operations/proof/receipt-document.js +117 -0
- package/dist/operations/semantic-advisor/analyze-prose.d.ts +1 -0
- package/dist/operations/semantic-advisor/analyze-prose.d.ts.map +1 -1
- package/dist/operations/semantic-advisor/analyze-prose.js +52 -28
- package/dist/operations/semantic-advisor/clauses.d.ts.map +1 -1
- package/dist/operations/semantic-advisor/clauses.js +35 -9
- package/dist/operations/semantic-advisor/ingestion-boundary.d.ts.map +1 -1
- package/dist/operations/semantic-advisor/ingestion-boundary.js +7 -3
- package/dist/operations/semantic-advisor/predicate-rules-launcher.d.ts +51 -0
- package/dist/operations/semantic-advisor/predicate-rules-launcher.d.ts.map +1 -0
- package/dist/operations/semantic-advisor/predicate-rules-launcher.js +96 -0
- package/dist/operations/semantic-advisor/strict-count-rules.d.ts +2 -0
- package/dist/operations/semantic-advisor/strict-count-rules.d.ts.map +1 -1
- package/dist/operations/semantic-advisor/strict-count-rules.js +40 -25
- package/dist/operations/semantic-advisor/types.d.ts +13 -5
- package/dist/operations/semantic-advisor/types.d.ts.map +1 -1
- package/dist/prolog/codec.d.ts +13 -1
- package/dist/prolog/codec.d.ts.map +1 -1
- package/dist/prolog/codec.js +269 -153
- package/dist/prolog/error-terms.d.ts +47 -0
- package/dist/prolog/error-terms.d.ts.map +1 -0
- package/dist/prolog/error-terms.js +334 -0
- package/dist/prolog/janitor.d.ts +50 -0
- package/dist/prolog/janitor.d.ts.map +1 -0
- package/dist/prolog/janitor.js +154 -0
- package/dist/prolog/store-lock.d.ts +45 -0
- package/dist/prolog/store-lock.d.ts.map +1 -0
- package/dist/prolog/store-lock.js +195 -0
- package/dist/prolog.d.ts +7 -0
- package/dist/prolog.d.ts.map +1 -1
- package/dist/prolog.js +82 -25
- package/dist/proof/evaluate.d.ts +27 -0
- package/dist/proof/evaluate.d.ts.map +1 -0
- package/dist/proof/evaluate.js +151 -0
- package/dist/proof/inspect.d.ts +12 -0
- package/dist/proof/inspect.d.ts.map +1 -0
- package/dist/proof/inspect.js +236 -0
- package/dist/proof/integrations.d.ts +35 -0
- package/dist/proof/integrations.d.ts.map +1 -0
- package/dist/proof/integrations.js +123 -0
- package/dist/proof/producers/junit-adapter.d.ts +26 -0
- package/dist/proof/producers/junit-adapter.d.ts.map +1 -0
- package/dist/proof/producers/junit-adapter.js +186 -0
- package/dist/proof/producers/playwright-case-id.d.ts +8 -0
- package/dist/proof/producers/playwright-case-id.d.ts.map +1 -0
- package/dist/proof/producers/playwright-case-id.js +25 -0
- package/dist/proof/producers/playwright-reporter.d.ts +27 -0
- package/dist/proof/producers/playwright-reporter.d.ts.map +1 -0
- package/dist/proof/producers/playwright-reporter.js +138 -0
- package/dist/proof/producers/tap-adapter.d.ts +10 -0
- package/dist/proof/producers/tap-adapter.d.ts.map +1 -0
- package/dist/proof/producers/tap-adapter.js +200 -0
- package/dist/proof/receipt-outcome.d.ts +2 -0
- package/dist/proof/receipt-outcome.d.ts.map +1 -0
- package/dist/proof/receipt-outcome.js +1 -0
- package/dist/public/branch-resolver.d.ts +1 -0
- package/dist/public/branch-resolver.d.ts.map +1 -1
- package/dist/public/branch-resolver.js +1 -0
- package/dist/public/check-types.d.ts +2 -2
- package/dist/public/check-types.d.ts.map +1 -1
- package/dist/public/check-types.js +16 -16
- package/dist/public/diagnostic-usage.d.ts.map +1 -1
- package/dist/public/diagnostic-usage.js +74 -6
- package/dist/public/distribution-parity.d.ts +7 -1
- package/dist/public/distribution-parity.d.ts.map +1 -1
- package/dist/public/distribution-parity.js +15 -9
- package/dist/public/ignore-policy.d.ts.map +1 -1
- package/dist/public/ignore-policy.js +16 -4
- package/dist/public/impact/coverage-depth-quality.d.ts +7 -1
- package/dist/public/impact/coverage-depth-quality.d.ts.map +1 -1
- package/dist/public/impact/coverage-depth-quality.js +22 -4
- package/dist/public/impact/diagnostics.d.ts.map +1 -1
- package/dist/public/impact/diagnostics.js +2 -2
- package/dist/public/impact/diff-meaning.d.ts +1 -0
- package/dist/public/impact/diff-meaning.d.ts.map +1 -1
- package/dist/public/impact/diff-meaning.js +5 -2
- package/dist/public/impact/full-kb-quality.d.ts +7 -2
- package/dist/public/impact/full-kb-quality.d.ts.map +1 -1
- package/dist/public/impact/full-kb-quality.js +364 -39
- package/dist/public/impact/manifest.d.ts.map +1 -1
- package/dist/public/impact/manifest.js +2 -5
- package/dist/public/operational-artifacts.d.ts.map +1 -1
- package/dist/public/operational-artifacts.js +7 -1
- package/dist/public/operations/catalog.d.ts +900 -34
- package/dist/public/operations/catalog.d.ts.map +1 -1
- package/dist/public/operations/catalog.js +130 -6
- package/dist/public/operations/check-executor.d.ts +2 -2
- package/dist/public/operations/check-executor.d.ts.map +1 -1
- package/dist/public/operations/check-executor.js +68 -13
- package/dist/public/operations/check-format-shared.d.ts +3 -0
- package/dist/public/operations/check-format-shared.d.ts.map +1 -1
- package/dist/public/operations/check-format-shared.js +3 -0
- package/dist/public/operations/check-helpers.d.ts +27 -2
- package/dist/public/operations/check-helpers.d.ts.map +1 -1
- package/dist/public/operations/check-helpers.js +62 -26
- package/dist/public/operations/contracts.d.ts +18 -0
- package/dist/public/operations/contracts.d.ts.map +1 -0
- package/dist/public/operations/contracts.js +334 -0
- package/dist/public/operations/discovery-entities.d.ts +3 -0
- package/dist/public/operations/discovery-entities.d.ts.map +1 -1
- package/dist/public/operations/discovery-entities.js +4 -0
- package/dist/public/operations/discovery-executors.d.ts +43 -7
- package/dist/public/operations/discovery-executors.d.ts.map +1 -1
- package/dist/public/operations/discovery-executors.js +216 -13
- package/dist/public/operations/index.d.ts +9 -4
- package/dist/public/operations/index.d.ts.map +1 -1
- package/dist/public/operations/index.js +8 -3
- package/dist/public/operations/migration-plan.d.ts +102 -0
- package/dist/public/operations/migration-plan.d.ts.map +1 -0
- package/dist/public/operations/migration-plan.js +539 -0
- package/dist/public/operations/node-ports.d.ts.map +1 -1
- package/dist/public/operations/node-ports.js +71 -11
- package/dist/public/operations/prolog-json.d.ts +14 -0
- package/dist/public/operations/prolog-json.d.ts.map +1 -1
- package/dist/public/operations/prolog-json.js +44 -5
- package/dist/public/operations/repair-plan.d.ts +3 -3
- package/dist/public/operations/repair-plan.d.ts.map +1 -1
- package/dist/public/operations/repair-plan.js +49 -18
- package/dist/public/operations/result-envelope.d.ts +14 -0
- package/dist/public/operations/result-envelope.d.ts.map +1 -0
- package/dist/public/operations/result-envelope.js +106 -0
- package/dist/public/operations/runtime-types.d.ts +102 -7
- package/dist/public/operations/runtime-types.d.ts.map +1 -1
- package/dist/public/operations/source-relationship-parity.d.ts +13 -0
- package/dist/public/operations/source-relationship-parity.d.ts.map +1 -0
- package/dist/public/operations/source-relationship-parity.js +162 -0
- package/dist/public/operations/specs/{autopilot.d.ts → bootstrap.d.ts} +9 -9
- package/dist/public/operations/specs/bootstrap.d.ts.map +1 -0
- package/dist/public/operations/specs/{autopilot.js → bootstrap.js} +8 -7
- package/dist/public/operations/specs/check-rules.generated.d.ts +5 -0
- package/dist/public/operations/specs/check-rules.generated.d.ts.map +1 -0
- package/dist/public/operations/specs/check-rules.generated.js +34 -0
- package/dist/public/operations/specs/check.d.ts +9 -4
- package/dist/public/operations/specs/check.d.ts.map +1 -1
- package/dist/public/operations/specs/check.js +10 -21
- package/dist/public/operations/specs/discovery.d.ts +87 -3
- package/dist/public/operations/specs/discovery.d.ts.map +1 -1
- package/dist/public/operations/specs/discovery.js +53 -3
- package/dist/public/operations/specs/modeling.d.ts +3 -3
- package/dist/public/operations/specs/modeling.js +3 -3
- package/dist/public/operations/specs/mutation-schemas.d.ts +251 -14
- package/dist/public/operations/specs/mutation-schemas.d.ts.map +1 -1
- package/dist/public/operations/specs/mutation-schemas.js +16 -6
- package/dist/public/operations/specs/mutation.d.ts +42 -2
- package/dist/public/operations/specs/mutation.d.ts.map +1 -1
- package/dist/public/operations/specs/mutation.js +26 -2
- package/dist/public/operations/specs/planning.d.ts +279 -0
- package/dist/public/operations/specs/planning.d.ts.map +1 -0
- package/dist/public/operations/specs/planning.js +197 -0
- package/dist/public/operations/specs/proof.d.ts +212 -0
- package/dist/public/operations/specs/proof.d.ts.map +1 -0
- package/dist/public/operations/specs/proof.js +30 -0
- package/dist/public/operations/specs/reporting.d.ts +23 -1
- package/dist/public/operations/specs/reporting.d.ts.map +1 -1
- package/dist/public/operations/specs/reporting.js +156 -11
- package/dist/public/operations/specs/upsert.d.ts +265 -14
- package/dist/public/operations/specs/upsert.d.ts.map +1 -1
- package/dist/public/operations/specs/upsert.js +9 -0
- package/dist/public/operations/symbol-repair-plan.d.ts +22 -0
- package/dist/public/operations/symbol-repair-plan.d.ts.map +1 -0
- package/dist/public/operations/symbol-repair-plan.js +238 -0
- package/dist/public/operations/types.d.ts +52 -1
- package/dist/public/operations/types.d.ts.map +1 -1
- package/dist/public/proof-fingerprint.d.ts +54 -0
- package/dist/public/proof-fingerprint.d.ts.map +1 -0
- package/dist/public/proof-fingerprint.js +141 -0
- package/dist/public/proof-protocol.d.ts +354 -0
- package/dist/public/proof-protocol.d.ts.map +1 -0
- package/dist/public/proof-protocol.js +454 -0
- package/dist/public/proof-receipt.d.ts +279 -0
- package/dist/public/proof-receipt.d.ts.map +1 -0
- package/dist/public/proof-receipt.js +377 -0
- package/dist/public/schemas/entity.d.ts.map +1 -1
- package/dist/public/schemas/entity.js +22 -6
- package/dist/public/skills/kibi-bootstrap/SKILL.md +58 -0
- package/dist/public/skills/kibi-bootstrap/resources/bootstrap.md +11 -0
- package/dist/public/skills/kibi-bootstrap/resources/branch-lifecycle.md +7 -0
- package/dist/public/skills/kibi-bootstrap/resources/operation-access.md +5 -0
- package/dist/public/skills/kibi-bootstrap/resources/source-authoring.md +8 -0
- package/dist/public/skills/kibi-freshness/SKILL.md +39 -9
- package/dist/public/skills/kibi-freshness/resources/branch-lifecycle.md +7 -0
- package/dist/public/skills/kibi-freshness/resources/operation-access.md +6 -0
- package/dist/public/skills/kibi-freshness/resources/source-authoring.md +7 -0
- package/dist/public/skills/kibi-traceability/SKILL.md +47 -47
- package/dist/public/skills/kibi-traceability/resources/branch-lifecycle.md +7 -0
- package/dist/public/skills/kibi-traceability/resources/operation-access.md +5 -0
- package/dist/public/skills/kibi-traceability/resources/source-authoring.md +6 -0
- package/dist/public/skills/kibi-traceability/resources/traceability.md +8 -0
- package/dist/public/skills/kibi-usage/SKILL.md +136 -231
- package/dist/public/skills/kibi-usage/resources/branch-lifecycle.md +31 -0
- package/dist/public/skills/kibi-usage/resources/kb-improvement.md +38 -0
- package/dist/public/skills/kibi-usage/resources/operation-access.md +36 -38
- package/dist/public/skills/kibi-usage/resources/proof.md +105 -0
- package/dist/public/skills/kibi-usage/resources/relationship-directions.md +3 -3
- package/dist/public/skills/kibi-usage/resources/source-authoring.md +31 -0
- package/dist/public/skills/kibi-usage/resources/workflows.md +57 -4
- package/dist/public/symbol-granularity.d.ts +3 -14
- package/dist/public/symbol-granularity.d.ts.map +1 -1
- package/dist/public/symbol-granularity.generated.d.ts +16 -0
- package/dist/public/symbol-granularity.generated.d.ts.map +1 -0
- package/dist/public/symbol-granularity.generated.js +20 -0
- package/dist/public/symbol-granularity.js +6 -46
- package/dist/public/telemetry-acceptance.d.ts +3 -70
- package/dist/public/telemetry-acceptance.d.ts.map +1 -1
- package/dist/public/telemetry-acceptance.js +11 -2
- package/dist/public/telemetry-remediation.js +1 -1
- package/dist/relationships/shards.d.ts +16 -0
- package/dist/relationships/shards.d.ts.map +1 -1
- package/dist/relationships/shards.js +87 -2
- package/dist/report/brand.d.ts +19 -0
- package/dist/report/brand.d.ts.map +1 -0
- package/dist/report/brand.js +112 -0
- package/dist/report/html-report.css +282 -0
- package/dist/report/html-report.d.ts +21 -0
- package/dist/report/html-report.d.ts.map +1 -0
- package/dist/report/html-report.js +700 -0
- package/dist/report/relative-time.d.ts +4 -0
- package/dist/report/relative-time.d.ts.map +1 -0
- package/dist/report/relative-time.js +46 -0
- package/dist/report/report-view.d.ts +17 -0
- package/dist/report/report-view.d.ts.map +1 -0
- package/dist/report/report-view.js +33 -0
- package/dist/report/repository.d.ts +35 -0
- package/dist/report/repository.d.ts.map +1 -0
- package/dist/report/repository.js +151 -0
- package/dist/runtime/cli-runtime.d.ts +2 -0
- package/dist/runtime/cli-runtime.d.ts.map +1 -1
- package/dist/runtime/cli-runtime.js +90 -23
- package/dist/schemas/entity.schema.json +1254 -239
- package/dist/search-ranking.d.ts +1 -0
- package/dist/search-ranking.d.ts.map +1 -1
- package/dist/search-ranking.js +3 -0
- package/dist/traceability/evidence-model.d.ts +30 -2
- package/dist/traceability/evidence-model.d.ts.map +1 -1
- package/dist/traceability/evidence-model.js +2 -2
- package/dist/traceability/git-staged.d.ts +20 -0
- package/dist/traceability/git-staged.d.ts.map +1 -1
- package/dist/traceability/git-staged.js +156 -37
- package/dist/traceability/markdown-validate.d.ts.map +1 -1
- package/dist/traceability/markdown-validate.js +12 -7
- package/dist/traceability/staged-diagnostics.d.ts +7 -0
- package/dist/traceability/staged-diagnostics.d.ts.map +1 -1
- package/dist/traceability/staged-diagnostics.js +78 -7
- package/dist/traceability/staged-file-coverage.d.ts +33 -0
- package/dist/traceability/staged-file-coverage.d.ts.map +1 -0
- package/dist/traceability/staged-file-coverage.js +284 -0
- package/dist/traceability/staged-impact-contract.d.ts +3 -3
- package/dist/traceability/staged-impact-contract.d.ts.map +1 -1
- package/dist/traceability/staged-impact-contract.js +12 -40
- package/dist/traceability/staged-symbols-manifest.d.ts +13 -0
- package/dist/traceability/staged-symbols-manifest.d.ts.map +1 -1
- package/dist/traceability/staged-symbols-manifest.js +142 -26
- package/dist/traceability/symbol-extract.d.ts +5 -0
- package/dist/traceability/symbol-extract.d.ts.map +1 -1
- package/dist/traceability/symbol-extract.js +1 -1
- package/dist/traceability/temp-kb.d.ts +2 -0
- package/dist/traceability/temp-kb.d.ts.map +1 -1
- package/dist/traceability/temp-kb.js +14 -2
- package/dist/types/entities.d.ts +5 -0
- package/dist/types/entities.d.ts.map +1 -1
- package/dist/utils/branch-resolver.d.ts +25 -10
- package/dist/utils/branch-resolver.d.ts.map +1 -1
- package/dist/utils/branch-resolver.js +124 -38
- package/dist/utils/branch-store-locator.d.ts +23 -0
- package/dist/utils/branch-store-locator.d.ts.map +1 -0
- package/dist/utils/branch-store-locator.js +90 -0
- package/dist/utils/branch-store.d.ts +21 -0
- package/dist/utils/branch-store.d.ts.map +1 -0
- package/dist/utils/branch-store.js +157 -0
- package/dist/utils/config.d.ts +39 -37
- package/dist/utils/config.d.ts.map +1 -1
- package/dist/utils/config.js +107 -119
- package/dist/utils/kb-manifest.d.ts +35 -0
- package/dist/utils/kb-manifest.d.ts.map +1 -0
- package/dist/utils/kb-manifest.js +154 -0
- package/dist/utils/kb-paths.d.ts +54 -0
- package/dist/utils/kb-paths.d.ts.map +1 -0
- package/dist/utils/kb-paths.js +125 -0
- package/dist/utils/manifest-paths.d.ts +4 -4
- package/dist/utils/manifest-paths.d.ts.map +1 -1
- package/dist/utils/manifest-paths.js +8 -56
- package/dist/utils/rule-registry.d.ts +42 -24
- package/dist/utils/rule-registry.d.ts.map +1 -1
- package/dist/utils/rule-registry.generated.d.ts +97 -0
- package/dist/utils/rule-registry.generated.d.ts.map +1 -0
- package/dist/utils/rule-registry.generated.js +125 -0
- package/dist/utils/rule-registry.js +52 -148
- package/dist/utils/schema-version.d.ts +5 -5
- package/dist/utils/schema-version.d.ts.map +1 -1
- package/dist/utils/schema-version.js +26 -6
- package/dist/utils/strict-modeling.d.ts +1 -4
- package/dist/utils/strict-modeling.d.ts.map +1 -1
- package/dist/utils/strict-modeling.js +8 -9
- package/package.json +47 -11
- package/schema/config.json +2 -2
- package/schema/manifest.json +26 -0
- package/src/public/branch-resolver.ts +1 -0
- package/src/public/check-types.ts +22 -19
- package/src/public/diagnostic-usage.ts +84 -6
- package/src/public/distribution-parity.ts +17 -9
- package/src/public/ignore-policy.ts +16 -10
- package/src/public/impact/coverage-depth-quality.ts +37 -1
- package/src/public/impact/diagnostics.ts +2 -1
- package/src/public/impact/diff-meaning.ts +11 -4
- package/src/public/impact/full-kb-quality.ts +545 -41
- package/src/public/impact/manifest.ts +2 -4
- package/src/public/operational-artifacts.ts +9 -1
- package/src/public/operations/catalog.ts +153 -10
- package/src/public/operations/check-executor.ts +98 -15
- package/src/public/operations/check-format-shared.ts +6 -0
- package/src/public/operations/check-helpers.ts +74 -35
- package/src/public/operations/contracts.ts +382 -0
- package/src/public/operations/discovery-entities.ts +7 -0
- package/src/public/operations/discovery-executors.ts +315 -25
- package/src/public/operations/index.ts +9 -4
- package/src/public/operations/migration-plan.ts +747 -0
- package/src/public/operations/node-ports.ts +87 -13
- package/src/public/operations/prolog-json.ts +60 -5
- package/src/public/operations/repair-plan.ts +60 -22
- package/src/public/operations/result-envelope.ts +141 -0
- package/src/public/operations/runtime-types.ts +96 -5
- package/src/public/operations/source-relationship-parity.ts +226 -0
- package/src/public/operations/specs/{autopilot.ts → bootstrap.ts} +17 -16
- package/src/public/operations/specs/check-rules.generated.ts +37 -0
- package/src/public/operations/specs/check.ts +14 -22
- package/src/public/operations/specs/discovery.ts +57 -3
- package/src/public/operations/specs/modeling.ts +3 -3
- package/src/public/operations/specs/mutation-schemas.ts +24 -6
- package/src/public/operations/specs/mutation.ts +27 -2
- package/src/public/operations/specs/planning.ts +241 -0
- package/src/public/operations/specs/proof.ts +43 -0
- package/src/public/operations/specs/reporting.ts +193 -12
- package/src/public/operations/specs/upsert.ts +10 -0
- package/src/public/operations/symbol-repair-plan.ts +324 -0
- package/src/public/operations/types.ts +62 -1
- package/src/public/proof-fingerprint.ts +216 -0
- package/src/public/proof-protocol-types.d.ts +96 -0
- package/src/public/proof-protocol.ts +589 -0
- package/src/public/proof-receipt.ts +499 -0
- package/src/public/schemas/entity.ts +27 -6
- package/src/public/skills/kibi-bootstrap/SKILL.md +58 -0
- package/src/public/skills/kibi-bootstrap/resources/bootstrap.md +11 -0
- package/src/public/skills/kibi-bootstrap/resources/branch-lifecycle.md +7 -0
- package/src/public/skills/kibi-bootstrap/resources/operation-access.md +5 -0
- package/src/public/skills/kibi-bootstrap/resources/source-authoring.md +8 -0
- package/src/public/skills/kibi-freshness/SKILL.md +39 -9
- package/src/public/skills/kibi-freshness/resources/branch-lifecycle.md +7 -0
- package/src/public/skills/kibi-freshness/resources/operation-access.md +6 -0
- package/src/public/skills/kibi-freshness/resources/source-authoring.md +7 -0
- package/src/public/skills/kibi-traceability/SKILL.md +47 -47
- package/src/public/skills/kibi-traceability/resources/branch-lifecycle.md +7 -0
- package/src/public/skills/kibi-traceability/resources/operation-access.md +5 -0
- package/src/public/skills/kibi-traceability/resources/source-authoring.md +6 -0
- package/src/public/skills/kibi-traceability/resources/traceability.md +8 -0
- package/src/public/skills/kibi-usage/SKILL.md +136 -231
- package/src/public/skills/kibi-usage/resources/branch-lifecycle.md +31 -0
- package/src/public/skills/kibi-usage/resources/kb-improvement.md +38 -0
- package/src/public/skills/kibi-usage/resources/operation-access.md +36 -38
- package/src/public/skills/kibi-usage/resources/proof.md +105 -0
- package/src/public/skills/kibi-usage/resources/relationship-directions.md +3 -3
- package/src/public/skills/kibi-usage/resources/source-authoring.md +31 -0
- package/src/public/skills/kibi-usage/resources/workflows.md +57 -4
- package/src/public/symbol-granularity.generated.ts +41 -0
- package/src/public/symbol-granularity.ts +35 -59
- package/src/public/telemetry-acceptance-types.d.ts +98 -0
- package/src/public/telemetry-acceptance.ts +30 -93
- package/src/public/telemetry-remediation.ts +1 -1
- package/src/schemas/entity.schema.json +1254 -239
- package/templates/github/kibi-badge.yml +86 -0
- package/templates/github/kibi-report.yml +84 -0
- package/dist/operations/autopilot/activation.d.ts +0 -4
- package/dist/operations/autopilot/activation.d.ts.map +0 -1
- package/dist/operations/autopilot/candidates.d.ts +0 -4
- package/dist/operations/autopilot/discovery.d.ts.map +0 -1
- package/dist/operations/autopilot/generate.d.ts +0 -8
- package/dist/operations/autopilot/generate.d.ts.map +0 -1
- package/dist/operations/autopilot/generate.js +0 -112
- package/dist/operations/autopilot/guidance.d.ts.map +0 -1
- package/dist/operations/autopilot/presentation.d.ts +0 -13
- package/dist/operations/autopilot/presentation.d.ts.map +0 -1
- package/dist/operations/autopilot/presentation.js +0 -91
- package/dist/operations/autopilot/types.d.ts.map +0 -1
- package/dist/operations/autopilot/types.js +0 -8
- package/dist/public/operations/specs/autopilot.d.ts.map +0 -1
- package/dist/public/skills/init-kibi/SKILL.md +0 -62
- package/dist/public/verification-receipt.d.ts +0 -75
- package/dist/public/verification-receipt.d.ts.map +0 -1
- package/dist/public/verification-receipt.js +0 -129
- package/src/public/skills/init-kibi/SKILL.md +0 -62
- package/src/public/verification-receipt.ts +0 -170
- /package/dist/operations/{autopilot → bootstrap}/candidate-helpers.d.ts +0 -0
- /package/dist/operations/{autopilot → bootstrap}/candidate-helpers.js +0 -0
- /package/dist/operations/{autopilot → bootstrap}/requirement-claims.d.ts +0 -0
- /package/dist/operations/{autopilot → bootstrap}/requirement-claims.js +0 -0
|
@@ -0,0 +1,437 @@
|
|
|
1
|
+
import path from "node:path";
|
|
2
|
+
import { escapeAtom, normalizeEntityId, parseTriples } from "./prolog/codec.js";
|
|
3
|
+
import { loadEntities, } from "./public/operations/discovery-entities.js";
|
|
4
|
+
import { loadMarkdownBody } from "./search-ranking.js";
|
|
5
|
+
const GRAPH_RELATIONSHIPS = [
|
|
6
|
+
"implements",
|
|
7
|
+
"covered_by",
|
|
8
|
+
"executable_for",
|
|
9
|
+
"specified_by",
|
|
10
|
+
"verified_by",
|
|
11
|
+
"validates",
|
|
12
|
+
"constrains",
|
|
13
|
+
"requires_property",
|
|
14
|
+
"requires_predicate",
|
|
15
|
+
"requires_rule",
|
|
16
|
+
];
|
|
17
|
+
const FACET_NAMES = [
|
|
18
|
+
"actors",
|
|
19
|
+
"actions",
|
|
20
|
+
"objects",
|
|
21
|
+
"constraints",
|
|
22
|
+
"aliases",
|
|
23
|
+
];
|
|
24
|
+
const STOP_WORDS = new Set([
|
|
25
|
+
"a",
|
|
26
|
+
"an",
|
|
27
|
+
"and",
|
|
28
|
+
"are",
|
|
29
|
+
"be",
|
|
30
|
+
"by",
|
|
31
|
+
"for",
|
|
32
|
+
"in",
|
|
33
|
+
"is",
|
|
34
|
+
"of",
|
|
35
|
+
"on",
|
|
36
|
+
"or",
|
|
37
|
+
"the",
|
|
38
|
+
"to",
|
|
39
|
+
"with",
|
|
40
|
+
]);
|
|
41
|
+
const MAX_CANDIDATES = 10_000;
|
|
42
|
+
const MAX_GRAPH_SEEDS = 5;
|
|
43
|
+
const MAX_GRAPH_EDGES = 2_000;
|
|
44
|
+
function normalize(value) {
|
|
45
|
+
return value
|
|
46
|
+
.trim()
|
|
47
|
+
.toLowerCase()
|
|
48
|
+
.replace(/[-_]+/g, " ")
|
|
49
|
+
.replace(/[^a-z0-9\s]+/g, " ")
|
|
50
|
+
.split(/\s+/)
|
|
51
|
+
.filter(Boolean)
|
|
52
|
+
.map((token) => token.length > 4 && token.endsWith("s") && !token.endsWith("ss")
|
|
53
|
+
? token.slice(0, -1)
|
|
54
|
+
: token)
|
|
55
|
+
.join(" ");
|
|
56
|
+
}
|
|
57
|
+
function tokens(value) {
|
|
58
|
+
return Array.from(new Set(normalize(value)
|
|
59
|
+
.split(" ")
|
|
60
|
+
.filter((token) => token.length > 0 && !STOP_WORDS.has(token))));
|
|
61
|
+
}
|
|
62
|
+
function stringValues(value) {
|
|
63
|
+
if (typeof value === "string")
|
|
64
|
+
return value.trim() ? [value] : [];
|
|
65
|
+
if (!Array.isArray(value))
|
|
66
|
+
return [];
|
|
67
|
+
return value.filter((item) => typeof item === "string");
|
|
68
|
+
}
|
|
69
|
+
function entityText(entity) {
|
|
70
|
+
const fields = [
|
|
71
|
+
entity.title,
|
|
72
|
+
entity.id,
|
|
73
|
+
entity.type,
|
|
74
|
+
entity.source,
|
|
75
|
+
entity.sourceFile,
|
|
76
|
+
entity.semantic_text,
|
|
77
|
+
entity.text_ref,
|
|
78
|
+
...stringValues(entity.tags),
|
|
79
|
+
];
|
|
80
|
+
return fields
|
|
81
|
+
.filter((field) => typeof field === "string")
|
|
82
|
+
.join(" ");
|
|
83
|
+
}
|
|
84
|
+
function entitySourcePath(entity) {
|
|
85
|
+
const sourceFile = entity.sourceFile;
|
|
86
|
+
if (typeof sourceFile === "string" && sourceFile.trim()) {
|
|
87
|
+
return sourceFile.split("#", 1)[0]?.trim() ?? null;
|
|
88
|
+
}
|
|
89
|
+
const source = entity.source;
|
|
90
|
+
if (typeof source !== "string" || !source.trim())
|
|
91
|
+
return null;
|
|
92
|
+
return source.split("#", 1)[0]?.trim() ?? null;
|
|
93
|
+
}
|
|
94
|
+
function sourcePathMatches(entityPath, requestedPath) {
|
|
95
|
+
if (!entityPath)
|
|
96
|
+
return false;
|
|
97
|
+
const normalizePath = (value) => value.replaceAll("\\", "/").replace(/^\.\//, "");
|
|
98
|
+
const left = normalizePath(entityPath);
|
|
99
|
+
const right = normalizePath(requestedPath);
|
|
100
|
+
return (left === right || left.endsWith(`/${right}`) || right.endsWith(`/${left}`));
|
|
101
|
+
}
|
|
102
|
+
function numberField(entity, ...keys) {
|
|
103
|
+
for (const key of keys) {
|
|
104
|
+
const value = entity[key];
|
|
105
|
+
if (typeof value === "number" && Number.isFinite(value))
|
|
106
|
+
return value;
|
|
107
|
+
if (typeof value === "string" && /^\d+$/.test(value))
|
|
108
|
+
return Number(value);
|
|
109
|
+
}
|
|
110
|
+
return null;
|
|
111
|
+
}
|
|
112
|
+
function sourceMatches(entity, locations) {
|
|
113
|
+
if (locations.length === 0)
|
|
114
|
+
return [];
|
|
115
|
+
const entityPath = entitySourcePath(entity);
|
|
116
|
+
const title = typeof entity.title === "string" ? normalize(entity.title) : "";
|
|
117
|
+
const matches = [];
|
|
118
|
+
for (const location of locations) {
|
|
119
|
+
if (!sourcePathMatches(entityPath, location.path))
|
|
120
|
+
continue;
|
|
121
|
+
const requestedSymbol = location.symbol ? normalize(location.symbol) : "";
|
|
122
|
+
const symbolMatches = requestedSymbol.length === 0 ||
|
|
123
|
+
title === requestedSymbol ||
|
|
124
|
+
title.includes(requestedSymbol) ||
|
|
125
|
+
requestedSymbol.includes(title);
|
|
126
|
+
if (!symbolMatches)
|
|
127
|
+
continue;
|
|
128
|
+
const startLine = numberField(entity, "sourceLine", "source_line");
|
|
129
|
+
const endLine = numberField(entity, "sourceEndLine", "source_end_line") ?? startLine;
|
|
130
|
+
const lineMatches = location.line === undefined ||
|
|
131
|
+
(startLine !== null &&
|
|
132
|
+
endLine !== null &&
|
|
133
|
+
location.line >= startLine &&
|
|
134
|
+
location.line <= endLine);
|
|
135
|
+
if (!lineMatches)
|
|
136
|
+
continue;
|
|
137
|
+
const exactSymbol = requestedSymbol.length > 0 && title === requestedSymbol;
|
|
138
|
+
const coordinate = location.line !== undefined && startLine !== null;
|
|
139
|
+
matches.push({
|
|
140
|
+
path: location.path,
|
|
141
|
+
...(typeof entity.id === "string" ? { symbolId: entity.id } : {}),
|
|
142
|
+
...(exactSymbol
|
|
143
|
+
? { distance: 0 }
|
|
144
|
+
: coordinate
|
|
145
|
+
? { distance: 1 }
|
|
146
|
+
: { distance: 2 }),
|
|
147
|
+
});
|
|
148
|
+
}
|
|
149
|
+
return matches;
|
|
150
|
+
}
|
|
151
|
+
function facetValues(facets) {
|
|
152
|
+
const result = [];
|
|
153
|
+
for (const name of FACET_NAMES) {
|
|
154
|
+
for (const value of stringValues(facets?.[name])) {
|
|
155
|
+
if (value.trim())
|
|
156
|
+
result.push({ name, value });
|
|
157
|
+
}
|
|
158
|
+
}
|
|
159
|
+
return result;
|
|
160
|
+
}
|
|
161
|
+
function scoreEntity(entity, queryTokens, facets, sourceEvidence, graphEvidence, documentFrequency, documentCount, body) {
|
|
162
|
+
const title = normalize(String(entity.title ?? ""));
|
|
163
|
+
const metadata = normalize([
|
|
164
|
+
entity.id,
|
|
165
|
+
entity.type,
|
|
166
|
+
entity.source,
|
|
167
|
+
entity.sourceFile,
|
|
168
|
+
entity.semantic_text,
|
|
169
|
+
entity.text_ref,
|
|
170
|
+
...stringValues(entity.tags),
|
|
171
|
+
]
|
|
172
|
+
.filter((value) => typeof value === "string")
|
|
173
|
+
.join(" "));
|
|
174
|
+
const bodyText = normalize(body ?? "");
|
|
175
|
+
const titleTokens = new Set(tokens(title));
|
|
176
|
+
const metadataTokens = new Set(tokens(metadata));
|
|
177
|
+
const bodyTokens = new Set(tokens(bodyText));
|
|
178
|
+
const allSignalTokens = Array.from(new Set(queryTokens));
|
|
179
|
+
const lexical = allSignalTokens.reduce((sum, token) => {
|
|
180
|
+
const frequency = documentFrequency.get(token) ?? 0;
|
|
181
|
+
const idf = Math.log(1 + (documentCount + 1) / (frequency + 1));
|
|
182
|
+
const fieldWeight = titleTokens.has(token)
|
|
183
|
+
? 3
|
|
184
|
+
: metadataTokens.has(token)
|
|
185
|
+
? 1.5
|
|
186
|
+
: bodyTokens.has(token)
|
|
187
|
+
? 0.75
|
|
188
|
+
: 0;
|
|
189
|
+
return sum + idf * fieldWeight;
|
|
190
|
+
}, 0);
|
|
191
|
+
const lexicalMax = Math.max(1, allSignalTokens.length * 4);
|
|
192
|
+
const lexicalScore = Math.min(1, lexical / lexicalMax);
|
|
193
|
+
const matchedFacets = [];
|
|
194
|
+
let facetScore = 0;
|
|
195
|
+
for (const facet of facets) {
|
|
196
|
+
const facetTokens = tokens(facet.value);
|
|
197
|
+
if (facetTokens.length === 0)
|
|
198
|
+
continue;
|
|
199
|
+
const matches = facetTokens.filter((token) => titleTokens.has(token) ||
|
|
200
|
+
metadataTokens.has(token) ||
|
|
201
|
+
bodyTokens.has(token)).length;
|
|
202
|
+
if (matches > 0) {
|
|
203
|
+
matchedFacets.push(`${facet.name}:${facet.value}`);
|
|
204
|
+
facetScore += matches / facetTokens.length;
|
|
205
|
+
}
|
|
206
|
+
}
|
|
207
|
+
facetScore = Math.min(1, facetScore / Math.max(1, facets.length));
|
|
208
|
+
const sourceScore = sourceEvidence.length > 0 ? 1 : 0;
|
|
209
|
+
const graphScore = graphEvidence.length > 0 ? Math.min(1, graphEvidence.length / 2) : 0;
|
|
210
|
+
const score = Math.min(1, lexicalScore * 0.58 +
|
|
211
|
+
facetScore * 0.17 +
|
|
212
|
+
sourceScore * 0.2 +
|
|
213
|
+
graphScore * 0.05);
|
|
214
|
+
const reasons = [];
|
|
215
|
+
if (lexicalScore > 0)
|
|
216
|
+
reasons.push("intent token match");
|
|
217
|
+
if (matchedFacets.length > 0)
|
|
218
|
+
reasons.push("semantic facet match");
|
|
219
|
+
if (sourceEvidence.length > 0)
|
|
220
|
+
reasons.push("source location match");
|
|
221
|
+
if (graphEvidence.length > 0)
|
|
222
|
+
reasons.push("traceability graph match");
|
|
223
|
+
if (body &&
|
|
224
|
+
bodyTokens.size > 0 &&
|
|
225
|
+
queryTokens.some((token) => bodyTokens.has(token))) {
|
|
226
|
+
reasons.push("markdown body match");
|
|
227
|
+
}
|
|
228
|
+
return { score, reasons, matchedFacets };
|
|
229
|
+
}
|
|
230
|
+
function buildDocumentFrequency(entities) {
|
|
231
|
+
const frequency = new Map();
|
|
232
|
+
for (const entity of entities) {
|
|
233
|
+
const seen = new Set(tokens(entityText(entity)));
|
|
234
|
+
for (const token of seen)
|
|
235
|
+
frequency.set(token, (frequency.get(token) ?? 0) + 1);
|
|
236
|
+
}
|
|
237
|
+
return frequency;
|
|
238
|
+
}
|
|
239
|
+
// implements REQ-kibi-intent-aware-source-discovery
|
|
240
|
+
export async function rankIntentEntities(entities, options, workspaceRoot, graphEdges = []) {
|
|
241
|
+
const queryTokens = tokens(options.query);
|
|
242
|
+
const facets = facetValues(options.semanticFacets);
|
|
243
|
+
const allTokens = Array.from(new Set([
|
|
244
|
+
...queryTokens,
|
|
245
|
+
...facets.flatMap((facet) => tokens(facet.value)),
|
|
246
|
+
]));
|
|
247
|
+
const documentFrequency = buildDocumentFrequency(entities);
|
|
248
|
+
const ranked = [];
|
|
249
|
+
const minScore = options.minScore ?? 0.18;
|
|
250
|
+
const graphByEntity = new Map();
|
|
251
|
+
for (const edge of graphEdges) {
|
|
252
|
+
const pathValue = {
|
|
253
|
+
from: edge.from,
|
|
254
|
+
relationships: [edge.relationship],
|
|
255
|
+
to: edge.to,
|
|
256
|
+
};
|
|
257
|
+
const fromPaths = graphByEntity.get(edge.from) ?? [];
|
|
258
|
+
fromPaths.push(pathValue);
|
|
259
|
+
graphByEntity.set(edge.from, fromPaths);
|
|
260
|
+
const toPaths = graphByEntity.get(edge.to) ?? [];
|
|
261
|
+
toPaths.push(pathValue);
|
|
262
|
+
graphByEntity.set(edge.to, toPaths);
|
|
263
|
+
}
|
|
264
|
+
for (const entity of entities) {
|
|
265
|
+
const sourceEvidence = sourceMatches(entity, options.sourceLocations ?? []);
|
|
266
|
+
const entityId = String(entity.id ?? "");
|
|
267
|
+
// Keep evidence useful for agents and bounded for transport. The score is
|
|
268
|
+
// already capped; unbounded parallel paths only add noise to receipts.
|
|
269
|
+
const graphEvidence = (graphByEntity.get(entityId) ?? []).slice(0, 8);
|
|
270
|
+
const body = await loadMarkdownBody(String(entity.source ?? ""), workspaceRoot);
|
|
271
|
+
const scored = scoreEntity(entity, allTokens, facets, sourceEvidence, graphEvidence, documentFrequency, entities.length, body);
|
|
272
|
+
if (scored.score < minScore)
|
|
273
|
+
continue;
|
|
274
|
+
const snippet = body
|
|
275
|
+
?.split(/\r?\n/)
|
|
276
|
+
.map((line) => line.trim())
|
|
277
|
+
.find(Boolean);
|
|
278
|
+
ranked.push({
|
|
279
|
+
entity,
|
|
280
|
+
score: scored.score,
|
|
281
|
+
reasons: Array.from(new Set(scored.reasons)),
|
|
282
|
+
...(snippet !== undefined ? { snippet } : {}),
|
|
283
|
+
evidence: {
|
|
284
|
+
normalizedScore: scored.score,
|
|
285
|
+
matchedFacets: scored.matchedFacets,
|
|
286
|
+
sourceMatches: sourceEvidence,
|
|
287
|
+
graphPaths: graphEvidence,
|
|
288
|
+
abstentionEligible: scored.score < minScore,
|
|
289
|
+
},
|
|
290
|
+
});
|
|
291
|
+
}
|
|
292
|
+
ranked.sort((left, right) => {
|
|
293
|
+
if (right.score !== left.score)
|
|
294
|
+
return right.score - left.score;
|
|
295
|
+
const typeOrder = String(left.entity.type ?? "").localeCompare(String(right.entity.type ?? ""));
|
|
296
|
+
if (typeOrder !== 0)
|
|
297
|
+
return typeOrder;
|
|
298
|
+
return String(left.entity.id ?? "").localeCompare(String(right.entity.id ?? ""));
|
|
299
|
+
});
|
|
300
|
+
const topScore = ranked[0]?.score ?? null;
|
|
301
|
+
const first = ranked[0];
|
|
302
|
+
const second = ranked[1];
|
|
303
|
+
const topTwoMargin = first !== undefined && second !== undefined
|
|
304
|
+
? first.score - second.score
|
|
305
|
+
: null;
|
|
306
|
+
return {
|
|
307
|
+
matches: ranked,
|
|
308
|
+
analysis: {
|
|
309
|
+
rankingMode: "intent-v1",
|
|
310
|
+
candidateCount: entities.length,
|
|
311
|
+
acceptedCount: ranked.length,
|
|
312
|
+
topScore,
|
|
313
|
+
topTwoMargin,
|
|
314
|
+
abstained: ranked.length === 0,
|
|
315
|
+
},
|
|
316
|
+
};
|
|
317
|
+
}
|
|
318
|
+
export function graphGoal(seedIds, depth) {
|
|
319
|
+
const ids = seedIds.map((id) => `'${escapeAtom(id)}'`).join(",");
|
|
320
|
+
const relationships = GRAPH_RELATIONSHIPS.join(",");
|
|
321
|
+
if (depth === 1) {
|
|
322
|
+
return `findall([Rel,From,To], (member(Rel, [${relationships}]), kb_relationship(Rel, From, To), (member(From, [${ids}]); member(To, [${ids}]))), Edges)`;
|
|
323
|
+
}
|
|
324
|
+
return `findall([Rel,From,To], (member(Rel, [${relationships}]), kb_relationship(Rel, From, To), (member(From, [${ids}]); member(To, [${ids}]))), Edges)`;
|
|
325
|
+
}
|
|
326
|
+
async function queryGraphEdges(prolog, seedIds) {
|
|
327
|
+
if (seedIds.length === 0)
|
|
328
|
+
return [];
|
|
329
|
+
const result = await prolog.query(graphGoal(seedIds, 1));
|
|
330
|
+
if (!result.success)
|
|
331
|
+
return [];
|
|
332
|
+
return parseTriples(result.bindings.Edges ?? "[]")
|
|
333
|
+
.slice(0, MAX_GRAPH_EDGES)
|
|
334
|
+
.map(([relationship, from, to]) => ({
|
|
335
|
+
relationship,
|
|
336
|
+
from: normalizeEntityId(from),
|
|
337
|
+
to: normalizeEntityId(to),
|
|
338
|
+
}));
|
|
339
|
+
}
|
|
340
|
+
async function loadIntentCandidates(prolog, options) {
|
|
341
|
+
const terms = [
|
|
342
|
+
options.query,
|
|
343
|
+
...facetValues(options.semanticFacets).map((facet) => facet.value),
|
|
344
|
+
].filter((term, index, all) => term.trim() && all.indexOf(term) === index);
|
|
345
|
+
const candidates = new Map();
|
|
346
|
+
if (prolog.searchEntities &&
|
|
347
|
+
(options.sourceLocations === undefined ||
|
|
348
|
+
options.sourceLocations.length === 0)) {
|
|
349
|
+
for (const term of terms) {
|
|
350
|
+
const page = await prolog.searchEntities({
|
|
351
|
+
query: term,
|
|
352
|
+
...(options.type !== undefined ? { type: options.type } : {}),
|
|
353
|
+
limit: MAX_CANDIDATES,
|
|
354
|
+
offset: 0,
|
|
355
|
+
});
|
|
356
|
+
for (const entity of page.entities) {
|
|
357
|
+
candidates.set(`${String(entity.type ?? "")}::${String(entity.id ?? "")}`, { ...entity });
|
|
358
|
+
}
|
|
359
|
+
}
|
|
360
|
+
// An unfamiliar host-agent alias may not exist in the lexical index at
|
|
361
|
+
// all. For small facet-bearing corpora, scan the bounded entity set so a
|
|
362
|
+
// zero lexical hit does not turn a valid semantic query into a false
|
|
363
|
+
// abstention. Large repositories remain index-bounded.
|
|
364
|
+
if (facetValues(options.semanticFacets).length > 0 &&
|
|
365
|
+
candidates.size < 20) {
|
|
366
|
+
const all = await loadEntities(prolog, options.type ? { type: options.type } : {});
|
|
367
|
+
for (const entity of all.slice(0, MAX_CANDIDATES)) {
|
|
368
|
+
candidates.set(`${String(entity.type ?? "")}::${String(entity.id ?? "")}`, entity);
|
|
369
|
+
}
|
|
370
|
+
}
|
|
371
|
+
}
|
|
372
|
+
else {
|
|
373
|
+
const all = await loadEntities(prolog, options.type ? { type: options.type } : {});
|
|
374
|
+
for (const entity of all) {
|
|
375
|
+
candidates.set(`${String(entity.type ?? "")}::${String(entity.id ?? "")}`, entity);
|
|
376
|
+
}
|
|
377
|
+
}
|
|
378
|
+
if (candidates.size > MAX_CANDIDATES) {
|
|
379
|
+
return Array.from(candidates.values()).slice(0, MAX_CANDIDATES);
|
|
380
|
+
}
|
|
381
|
+
return Array.from(candidates.values());
|
|
382
|
+
}
|
|
383
|
+
// implements REQ-kibi-intent-aware-source-discovery
|
|
384
|
+
export async function executeIntentSearch(options, prolog, workspaceRoot) {
|
|
385
|
+
const candidates = await loadIntentCandidates(prolog, options);
|
|
386
|
+
const firstPass = await rankIntentEntities(candidates, options, workspaceRoot);
|
|
387
|
+
const sourceSeeds = firstPass.matches
|
|
388
|
+
.filter((match) => match.evidence.sourceMatches.length > 0)
|
|
389
|
+
.map((match) => String(match.entity.id ?? ""));
|
|
390
|
+
const seeds = Array.from(new Set([
|
|
391
|
+
...(sourceSeeds.length > 0
|
|
392
|
+
? sourceSeeds
|
|
393
|
+
: firstPass.matches
|
|
394
|
+
.map((match) => String(match.entity.id ?? ""))
|
|
395
|
+
.slice(0, MAX_GRAPH_SEEDS)),
|
|
396
|
+
])).slice(0, MAX_GRAPH_SEEDS);
|
|
397
|
+
const graphEdges = await queryGraphEdges(prolog, seeds);
|
|
398
|
+
const knownIds = new Set(candidates.map((entity) => `${String(entity.type ?? "")}::${String(entity.id ?? "")}`));
|
|
399
|
+
const relatedIds = Array.from(new Set(graphEdges.flatMap((edge) => [edge.from, edge.to]))).filter((id) => !seeds.includes(id));
|
|
400
|
+
for (const id of relatedIds.slice(0, MAX_GRAPH_SEEDS * 4)) {
|
|
401
|
+
const related = await loadEntities(prolog, { id });
|
|
402
|
+
for (const entity of related) {
|
|
403
|
+
const key = `${String(entity.type ?? "")}::${String(entity.id ?? "")}`;
|
|
404
|
+
if (!knownIds.has(key)) {
|
|
405
|
+
knownIds.add(key);
|
|
406
|
+
candidates.push(entity);
|
|
407
|
+
}
|
|
408
|
+
}
|
|
409
|
+
}
|
|
410
|
+
return rankIntentEntities(candidates, options, workspaceRoot, graphEdges);
|
|
411
|
+
}
|
|
412
|
+
// implements REQ-kibi-intent-aware-source-discovery
|
|
413
|
+
export function validateIntentSearchInput(input) {
|
|
414
|
+
if (!input.query.trim())
|
|
415
|
+
throw new Error("Search execution failed: query must be a non-empty string");
|
|
416
|
+
if (input.minScore !== undefined &&
|
|
417
|
+
(!Number.isFinite(input.minScore) ||
|
|
418
|
+
input.minScore < 0 ||
|
|
419
|
+
input.minScore > 1)) {
|
|
420
|
+
throw new Error("Search execution failed: minScore must be between 0 and 1");
|
|
421
|
+
}
|
|
422
|
+
for (const location of input.sourceLocations ?? []) {
|
|
423
|
+
if (!location.path.trim() ||
|
|
424
|
+
path.isAbsolute(location.path) ||
|
|
425
|
+
location.path.split("/").includes("..")) {
|
|
426
|
+
throw new Error("Search execution failed: sourceLocations.path must be workspace-relative");
|
|
427
|
+
}
|
|
428
|
+
if (location.line !== undefined &&
|
|
429
|
+
(!Number.isInteger(location.line) || location.line < 1)) {
|
|
430
|
+
throw new Error("Search execution failed: sourceLocations.line must be a positive integer");
|
|
431
|
+
}
|
|
432
|
+
if (location.column !== undefined &&
|
|
433
|
+
(!Number.isInteger(location.column) || location.column < 1)) {
|
|
434
|
+
throw new Error("Search execution failed: sourceLocations.column must be a positive integer");
|
|
435
|
+
}
|
|
436
|
+
}
|
|
437
|
+
}
|
package/dist/logic/ir.d.ts
CHANGED
|
@@ -102,6 +102,7 @@ export interface LogicValidationResult {
|
|
|
102
102
|
export declare function canonicalLogicJson(ir: LogicRuleIR): string;
|
|
103
103
|
export declare function logicRuleHash(ir: LogicRuleIR): string;
|
|
104
104
|
export declare function logicSemanticKey(ir: LogicRuleIR): string;
|
|
105
|
+
export declare function termVariables(term: LogicTerm): Set<string>;
|
|
105
106
|
/** Rendered output is an audit preview only; it is never evaluated as source. */
|
|
106
107
|
export declare function renderLogicProlog(ir: LogicRuleIR): string;
|
|
107
108
|
export declare function validateLogicIr(input: unknown): LogicValidationResult;
|
package/dist/logic/ir.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"ir.d.ts","sourceRoot":"","sources":["../../src/logic/ir.ts"],"names":[],"mappings":"AAGA,2DAA2D;AAC3D,eAAO,MAAM,gBAAgB,EAAG,eAAwB,CAAC;AACzD,eAAO,MAAM,oBAAoB,KAAK,CAAC;AACvC,eAAO,MAAM,oBAAoB,KAAK,CAAC;AACvC,eAAO,MAAM,wBAAwB,KAAK,CAAC;AAE3C,MAAM,MAAM,aAAa,GAAG,QAAQ,GAAG,MAAM,GAAG,QAAQ,GAAG,QAAQ,GAAG,QAAQ,CAAC;AAC/E,MAAM,MAAM,aAAa,GAAG,MAAM,GAAG,MAAM,GAAG,YAAY,CAAC;AAC3D,MAAM,MAAM,uBAAuB,GAAG,QAAQ,GAAG,QAAQ,CAAC;AAC1D,MAAM,MAAM,SAAS,GACjB;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACtE;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,GAC1E;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,GAC3E;IACE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,IAAI,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,CAAC;CACnD,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACtD;IACE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB,CAAC;AAEN,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,SAAS,SAAS,EAAE,CAAC;IACpC,+EAA+E;IAC/E,QAAQ,CAAC,QAAQ,CAAC,EAAE,UAAU,GAAG,UAAU,CAAC;IAC5C,oDAAoD;IACpD,QAAQ,CAAC,WAAW,CAAC,EAAE,OAAO,CAAC;CAChC;AAED,MAAM,MAAM,eAAe,GACvB,SAAS,GACT;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,eAAe,EAAE,CAAA;CAAE,GACpE;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,eAAe,EAAE,CAAA;CAAE,GACpE;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE,GAClD;IACE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,CAAC;IAC9D,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;CAC3B,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,CAAC;IAC9D,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EACb,QAAQ,GACR,OAAO,GACP,QAAQ,GACR,UAAU,GACV,QAAQ,GACR,UAAU,CAAC;IACf,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;CAC3B,CAAC;AAEN,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,CAAC,EAAE,uBAAuB,CAAC;CAC/C;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACnC;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,OAAO,EAAE,OAAO,gBAAgB,CAAC;IAC1C,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC;IACjC,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC;IAC1B,QAAQ,CAAC,IAAI,CAAC,EAAE,eAAe,CAAC;IAChC,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,aAAa,EAAE,CAAC;IAC9C,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,eAAe,EAAE,CAAC;IACjD,QAAQ,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;CAChC;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,UAAU,CAAC,EAAE,WAAW,CAAC;IAClC,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;CAClC;AAwCD,wEAAwE;AACxE,wBAAgB,kBAAkB,CAAC,EAAE,EAAE,WAAW,GAAG,MAAM,CAE1D;AAED,wBAAgB,aAAa,CAAC,EAAE,EAAE,WAAW,GAAG,MAAM,CAErD;AAED,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,WAAW,GAAG,MAAM,CAExD;
|
|
1
|
+
{"version":3,"file":"ir.d.ts","sourceRoot":"","sources":["../../src/logic/ir.ts"],"names":[],"mappings":"AAGA,2DAA2D;AAC3D,eAAO,MAAM,gBAAgB,EAAG,eAAwB,CAAC;AACzD,eAAO,MAAM,oBAAoB,KAAK,CAAC;AACvC,eAAO,MAAM,oBAAoB,KAAK,CAAC;AACvC,eAAO,MAAM,wBAAwB,KAAK,CAAC;AAE3C,MAAM,MAAM,aAAa,GAAG,QAAQ,GAAG,MAAM,GAAG,QAAQ,GAAG,QAAQ,GAAG,QAAQ,CAAC;AAC/E,MAAM,MAAM,aAAa,GAAG,MAAM,GAAG,MAAM,GAAG,YAAY,CAAC;AAC3D,MAAM,MAAM,uBAAuB,GAAG,QAAQ,GAAG,QAAQ,CAAC;AAC1D,MAAM,MAAM,SAAS,GACjB;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACtE;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,GAC1E;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,GAC3E;IACE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,IAAI,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,CAAC;CACnD,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACtD;IACE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB,CAAC;AAEN,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,SAAS,SAAS,EAAE,CAAC;IACpC,+EAA+E;IAC/E,QAAQ,CAAC,QAAQ,CAAC,EAAE,UAAU,GAAG,UAAU,CAAC;IAC5C,oDAAoD;IACpD,QAAQ,CAAC,WAAW,CAAC,EAAE,OAAO,CAAC;CAChC;AAED,MAAM,MAAM,eAAe,GACvB,SAAS,GACT;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,eAAe,EAAE,CAAA;CAAE,GACpE;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,eAAe,EAAE,CAAA;CAAE,GACpE;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE,GAClD;IACE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,CAAC;IAC9D,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;CAC3B,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,CAAC;IAC9D,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EACb,QAAQ,GACR,OAAO,GACP,QAAQ,GACR,UAAU,GACV,QAAQ,GACR,UAAU,CAAC;IACf,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;CAC3B,CAAC;AAEN,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,CAAC,EAAE,uBAAuB,CAAC;CAC/C;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACnC;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,OAAO,EAAE,OAAO,gBAAgB,CAAC;IAC1C,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC;IACjC,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC;IAC1B,QAAQ,CAAC,IAAI,CAAC,EAAE,eAAe,CAAC;IAChC,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,aAAa,EAAE,CAAC;IAC9C,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,eAAe,EAAE,CAAC;IACjD,QAAQ,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;CAChC;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,UAAU,CAAC,EAAE,WAAW,CAAC;IAClC,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;CAClC;AAwCD,wEAAwE;AACxE,wBAAgB,kBAAkB,CAAC,EAAE,EAAE,WAAW,GAAG,MAAM,CAE1D;AAED,wBAAgB,aAAa,CAAC,EAAE,EAAE,WAAW,GAAG,MAAM,CAErD;AAED,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,WAAW,GAAG,MAAM,CAExD;AAED,wBAAgB,aAAa,CAAC,IAAI,EAAE,SAAS,GAAG,GAAG,CAAC,MAAM,CAAC,CAE1D;AAynBD,iFAAiF;AACjF,wBAAgB,iBAAiB,CAAC,EAAE,EAAE,WAAW,GAAG,MAAM,CAIzD;AAED,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,GAAG,qBAAqB,CAoNrE;AAED,wBAAgB,QAAQ,CACtB,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,MAAM,EACb,GAAG,EAAE,MAAM,GACV;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CAAE,CAKlD"}
|
package/dist/logic/ir.js
CHANGED
|
@@ -43,7 +43,7 @@ export function logicRuleHash(ir) {
|
|
|
43
43
|
export function logicSemanticKey(ir) {
|
|
44
44
|
return `SEM-${logicRuleHash(ir).slice(0, 24).toUpperCase()}`;
|
|
45
45
|
}
|
|
46
|
-
function termVariables(term) {
|
|
46
|
+
export function termVariables(term) {
|
|
47
47
|
return term.kind === "var" ? new Set([term.name]) : new Set();
|
|
48
48
|
}
|
|
49
49
|
function mergeInto(target, source) {
|
|
@@ -0,0 +1,5 @@
|
|
|
1
|
+
import type { OperationContext } from "../../public/operations/runtime-types.js";
|
|
2
|
+
import type { ActivationPolicy } from "./types.js";
|
|
3
|
+
export declare function missingManifestActivation(vendored: boolean, projectSignal: boolean): ActivationPolicy;
|
|
4
|
+
export declare function classifyActivation(context: OperationContext, files?: readonly string[]): Promise<ActivationPolicy>;
|
|
5
|
+
//# sourceMappingURL=activation.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"activation.d.ts","sourceRoot":"","sources":["../../../src/operations/bootstrap/activation.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AAGjF,OAAO,KAAK,EAAE,gBAAgB,EAAmB,MAAM,YAAY,CAAC;AAIpE,wBAAgB,yBAAyB,CACvC,QAAQ,EAAE,OAAO,EACjB,aAAa,EAAE,OAAO,GACrB,gBAAgB,CAIlB;AAmHD,wBAAsB,kBAAkB,CACtC,OAAO,EAAE,gBAAgB,EACzB,KAAK,GAAE,SAAS,MAAM,EAAO,GAC5B,OAAO,CAAC,gBAAgB,CAAC,CAyE3B"}
|
|
@@ -1,13 +1,23 @@
|
|
|
1
1
|
import path from "node:path";
|
|
2
|
+
import { readKbManifestStatus } from "../../utils/kb-manifest.js";
|
|
3
|
+
import { KB_PATHS } from "../../utils/kb-paths.js";
|
|
4
|
+
// implements REQ-KIBI-BOOTSTRAP-PLAN
|
|
5
|
+
// covered_by TEST-KIBI-BOOTSTRAP-PLAN-APPLY
|
|
6
|
+
export function missingManifestActivation(vendored, projectSignal) {
|
|
7
|
+
return activationFor(vendored && !projectSignal ? "vendored_only" : "root_uninitialized");
|
|
8
|
+
}
|
|
2
9
|
function activationFor(state) {
|
|
3
10
|
switch (state) {
|
|
4
11
|
case "root_uninitialized":
|
|
5
12
|
return {
|
|
6
13
|
activationState: state,
|
|
7
14
|
activationMode: "cold_start_bootstrap",
|
|
8
|
-
applyBlocked:
|
|
15
|
+
applyBlocked: true,
|
|
16
|
+
// Discovery remains useful for explaining the next step, but the
|
|
17
|
+
// resulting plan is blocked until `kibi init` establishes the root.
|
|
9
18
|
allowCandidateGeneration: true,
|
|
10
|
-
reason: "Workspace has no attached root KB yet; run
|
|
19
|
+
reason: "Workspace has no attached root KB yet; run `kibi init` before planning bootstrap knowledge.",
|
|
20
|
+
handoffMessage: "Kibi infrastructure is not initialized. Run `kibi init`, then ask the agent to bootstrap this repository.",
|
|
11
21
|
};
|
|
12
22
|
case "root_partial":
|
|
13
23
|
return {
|
|
@@ -29,11 +39,10 @@ function activationFor(state) {
|
|
|
29
39
|
case "root_active_thin":
|
|
30
40
|
return {
|
|
31
41
|
activationState: state,
|
|
32
|
-
activationMode: "
|
|
33
|
-
applyBlocked:
|
|
34
|
-
allowCandidateGeneration:
|
|
35
|
-
reason: "Workspace
|
|
36
|
-
handoffMessage: "Attached thin KB detected. Review sparse KB coverage and continue with a handoff.",
|
|
42
|
+
activationMode: "attached_thin_bootstrap",
|
|
43
|
+
applyBlocked: false,
|
|
44
|
+
allowCandidateGeneration: true,
|
|
45
|
+
reason: "Workspace has an attached but unseeded KB; deterministic bootstrap planning is eligible.",
|
|
37
46
|
};
|
|
38
47
|
case "root_active_seeded":
|
|
39
48
|
return {
|
|
@@ -74,38 +83,54 @@ function coverageState(rows) {
|
|
|
74
83
|
? "root_active_seeded"
|
|
75
84
|
: "root_active_thin";
|
|
76
85
|
}
|
|
77
|
-
|
|
78
|
-
const
|
|
79
|
-
|
|
80
|
-
|
|
81
|
-
|
|
86
|
+
function sourceCoverageState(files) {
|
|
87
|
+
const counts = {
|
|
88
|
+
req: files.filter((file) => /^\.kb\/requirements\/.*\.md$/i.test(file))
|
|
89
|
+
.length,
|
|
90
|
+
scenario: files.filter((file) => /^\.kb\/scenarios\/.*\.md$/i.test(file))
|
|
91
|
+
.length,
|
|
92
|
+
test: files.filter((file) => /^\.kb\/tests\/.*\.md$/i.test(file)).length,
|
|
93
|
+
adr: files.filter((file) => /^\.kb\/adrs?\/.*\.md$/i.test(file)).length,
|
|
94
|
+
flag: files.filter((file) => /^\.kb\/flags\/.*\.md$/i.test(file)).length,
|
|
95
|
+
event: files.filter((file) => /^\.kb\/events\/.*\.md$/i.test(file)).length,
|
|
96
|
+
fact: files.filter((file) => /^\.kb\/facts\/.*\.md$/i.test(file)).length,
|
|
97
|
+
};
|
|
98
|
+
return coverageState(Object.entries(counts).map(([type, count]) => ({ type, count })));
|
|
99
|
+
}
|
|
100
|
+
// implements REQ-KIBI-BOOTSTRAP-PLAN
|
|
101
|
+
export async function classifyActivation(context, files = []) {
|
|
102
|
+
// Discovery callers do not all use the same path base. The CLI globber
|
|
103
|
+
// returns workspace-relative paths, while host adapters may pass absolute
|
|
104
|
+
// paths. Normalize before source-lane classification so a seeded source
|
|
105
|
+
// KB has the same posture on every peer surface.
|
|
106
|
+
// Hosts (and leaked fast-glob mocks) may omit or return a non-array; treat
|
|
107
|
+
// that as "no source files" rather than crashing status/bootstrap.
|
|
108
|
+
const sourceFiles = Array.isArray(files) ? files : [];
|
|
109
|
+
const normalizedFiles = sourceFiles.map((file) => {
|
|
110
|
+
const relative = path.isAbsolute(file)
|
|
111
|
+
? path.relative(context.workspaceRoot, file)
|
|
112
|
+
: file;
|
|
113
|
+
return relative.replaceAll("\\", "/");
|
|
114
|
+
});
|
|
115
|
+
const manifestStatus = readKbManifestStatus(context.workspaceRoot);
|
|
116
|
+
if (manifestStatus.state === "missing") {
|
|
117
|
+
const vendored = normalizedFiles.some((file) => file.startsWith("kibi/"));
|
|
118
|
+
const projectSignalFromFiles = normalizedFiles.some((file) => !file.startsWith("kibi/") &&
|
|
82
119
|
/^(README\.md|package\.json|src\/|app\/|packages\/|tests\/)/.test(file));
|
|
83
|
-
|
|
84
|
-
|
|
85
|
-
|
|
86
|
-
try {
|
|
87
|
-
config = JSON.parse((await context.fs?.readFile(configPath)) ?? "{}") ?? {};
|
|
120
|
+
const projectSignalFromDirectories = await Promise.all(["README.md", "package.json", "src", "app", "packages", "tests"].map((target) => exists(context, path.resolve(context.workspaceRoot, target))));
|
|
121
|
+
const projectSignal = projectSignalFromFiles || projectSignalFromDirectories.some(Boolean);
|
|
122
|
+
return missingManifestActivation(vendored, projectSignal);
|
|
88
123
|
}
|
|
89
|
-
|
|
124
|
+
if (manifestStatus.state !== "ok")
|
|
90
125
|
return activationFor("root_partial");
|
|
91
|
-
|
|
92
|
-
const
|
|
93
|
-
"documentation/requirements",
|
|
94
|
-
"documentation/scenarios",
|
|
95
|
-
"documentation/tests",
|
|
96
|
-
"documentation/adr",
|
|
97
|
-
"documentation/flags",
|
|
98
|
-
"documentation/events",
|
|
99
|
-
"documentation/facts",
|
|
100
|
-
"documentation/symbols.yaml",
|
|
101
|
-
];
|
|
102
|
-
const configured = Object.values(config.paths ?? {});
|
|
103
|
-
const targets = configured.length >= 8 ? configured : defaults;
|
|
104
|
-
const resolved = await Promise.all(targets.map((target) => exists(context, path.resolve(context.workspaceRoot, target.replace(/[*?\[].*$/, "").replace(/\/$/, "")))));
|
|
126
|
+
const targets = [...Object.values(KB_PATHS.lanes), KB_PATHS.symbolsManifest];
|
|
127
|
+
const resolved = await Promise.all(targets.map((target) => exists(context, path.resolve(context.workspaceRoot, target))));
|
|
105
128
|
if (resolved.some((value) => !value))
|
|
106
129
|
return activationFor("root_partial");
|
|
107
130
|
if (!context.prolog)
|
|
108
|
-
return activationFor("
|
|
131
|
+
return activationFor(normalizedFiles.some((file) => file.startsWith(".kb/"))
|
|
132
|
+
? sourceCoverageState(normalizedFiles)
|
|
133
|
+
: "root_active_thin");
|
|
109
134
|
try {
|
|
110
135
|
const result = await context.prolog.query("discovery:coverage_report_json(type, [], true, false, 100, 0, JsonString)");
|
|
111
136
|
const parsed = JSON.parse(result.bindings.JsonString ?? '{"rows":[]}');
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"candidate-helpers.d.ts","sourceRoot":"","sources":["../../../src/operations/
|
|
1
|
+
{"version":3,"file":"candidate-helpers.d.ts","sourceRoot":"","sources":["../../../src/operations/bootstrap/candidate-helpers.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAC;AAErE,wBAAgB,cAAc,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAEpD;AAED,wBAAgB,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,SAAK,GAAG,MAAM,CAMtD;AAED,wBAAgB,MAAM,CACpB,CAAC,SAAS;IAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,OAAO,CAAA;CAAE,EAE5D,MAAM,EAAE,CAAC,EACT,aAAa,GAAE,SAAS;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;CACrB,EAAO,GACP,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAQnC;AAED,wBAAgB,UAAU,CACxB,QAAQ,EAAE,cAAc,GACvB,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAmC9C"}
|
|
@@ -0,0 +1,4 @@
|
|
|
1
|
+
import { type CandidateBuildResult } from "./markdown-candidates.js";
|
|
2
|
+
import type { BootstrapEvidence } from "./types.js";
|
|
3
|
+
export declare function buildBootstrapCandidates(evidence: readonly BootstrapEvidence[], existingIds: ReadonlySet<string>, minConfidence: number, includeGenericMarkdown: boolean): CandidateBuildResult;
|
|
4
|
+
//# sourceMappingURL=candidates.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"candidates.d.ts","sourceRoot":"","sources":["../../../src/operations/
|
|
1
|
+
{"version":3,"file":"candidates.d.ts","sourceRoot":"","sources":["../../../src/operations/bootstrap/candidates.ts"],"names":[],"mappings":"AAKA,OAAO,EACL,KAAK,oBAAoB,EAE1B,MAAM,0BAA0B,CAAC;AAClC,OAAO,KAAK,EACV,iBAAiB,EAGlB,MAAM,YAAY,CAAC;AAmHpB,wBAAgB,wBAAwB,CACtC,QAAQ,EAAE,SAAS,iBAAiB,EAAE,EACtC,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,EAChC,aAAa,EAAE,MAAM,EACrB,sBAAsB,EAAE,OAAO,GAC9B,oBAAoB,CAsCtB"}
|