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
|
@@ -57,10 +57,9 @@ function providerCandidate(item, existingIds, minConfidence) {
|
|
|
57
57
|
const symbolTitle = item.kind === "source_symbols" && /\.(?:[cm]?[jt]sx?)$/i.test(relativePath)
|
|
58
58
|
? `Source symbols: ${path.basename(relativePath, path.extname(relativePath))}`
|
|
59
59
|
: undefined;
|
|
60
|
-
const title =
|
|
61
|
-
|
|
62
|
-
|
|
63
|
-
: `Autopilot evidence from ${relativePath}`);
|
|
60
|
+
const title = (typeof item.data.title === "string" ? item.data.title : undefined) ??
|
|
61
|
+
symbolTitle ??
|
|
62
|
+
`Bootstrap evidence from ${relativePath}`;
|
|
64
63
|
const entity = {
|
|
65
64
|
type: "fact",
|
|
66
65
|
id,
|
|
@@ -71,12 +70,12 @@ function providerCandidate(item, existingIds, minConfidence) {
|
|
|
71
70
|
: item.kind === "repo_metadata"
|
|
72
71
|
? "meta"
|
|
73
72
|
: "observation",
|
|
74
|
-
source: `
|
|
73
|
+
source: `bootstrap:${item.provider}:${relativePath}`,
|
|
75
74
|
text_ref: relativePath,
|
|
76
75
|
};
|
|
77
76
|
const evidence = Array.isArray(item.data.evidence)
|
|
78
77
|
? item.data.evidence.filter((value) => typeof value === "string")
|
|
79
|
-
: [`provider:${item.provider}`];
|
|
78
|
+
: [`provider:${item.provider}`, `${item.provider}:${relativePath}`];
|
|
80
79
|
return [
|
|
81
80
|
{
|
|
82
81
|
candidateId: `prov:${item.kind}:${slug(relativePath, 96) || "evidence"}`,
|
|
@@ -92,8 +91,9 @@ function providerCandidate(item, existingIds, minConfidence) {
|
|
|
92
91
|
},
|
|
93
92
|
];
|
|
94
93
|
}
|
|
95
|
-
// implements REQ-mcp-
|
|
96
|
-
|
|
94
|
+
// implements REQ-mcp-kibi-bootstrap-bootstrap-v1, REQ-kibi-operation-interface-parity
|
|
95
|
+
// implements REQ-KIBI-BOOTSTRAP-PLAN
|
|
96
|
+
export function buildBootstrapCandidates(evidence, existingIds, minConfidence, includeGenericMarkdown) {
|
|
97
97
|
const candidates = [];
|
|
98
98
|
const sourceOnlySignals = [];
|
|
99
99
|
for (const item of evidence) {
|
|
@@ -104,6 +104,20 @@ export function buildAutopilotCandidates(evidence, existingIds, minConfidence, i
|
|
|
104
104
|
candidates.push(...built.candidates);
|
|
105
105
|
sourceOnlySignals.push(...built.sourceOnlySignals);
|
|
106
106
|
}
|
|
107
|
+
if (item.kind === "test_topology") {
|
|
108
|
+
const confidence = typeof item.data.confidence === "number" ? item.data.confidence : 0.8;
|
|
109
|
+
if (confidence >= minConfidence) {
|
|
110
|
+
sourceOnlySignals.push({
|
|
111
|
+
kind: "test",
|
|
112
|
+
title: `Author TEST coverage for ${item.label}`,
|
|
113
|
+
sourcePath: item.absolutePath ?? item.relativePath ?? item.label,
|
|
114
|
+
confidence,
|
|
115
|
+
evidence: Array.isArray(item.data.evidence)
|
|
116
|
+
? item.data.evidence.filter((value) => typeof value === "string")
|
|
117
|
+
: [`test_topology:${item.relativePath ?? item.label}`],
|
|
118
|
+
});
|
|
119
|
+
}
|
|
120
|
+
}
|
|
107
121
|
candidates.push(...providerCandidate(item, existingIds, minConfidence));
|
|
108
122
|
}
|
|
109
123
|
return {
|
|
@@ -1,9 +1,9 @@
|
|
|
1
1
|
import type { OperationContext } from "../../public/operations/runtime-types.js";
|
|
2
|
-
import type {
|
|
2
|
+
import type { BootstrapEvidence } from "./types.js";
|
|
3
3
|
export type EvidenceScan = {
|
|
4
4
|
readonly files: readonly string[];
|
|
5
5
|
readonly ignoredSources: readonly string[];
|
|
6
|
-
readonly evidence: readonly
|
|
6
|
+
readonly evidence: readonly BootstrapEvidence[];
|
|
7
7
|
readonly warnings: readonly string[];
|
|
8
8
|
};
|
|
9
9
|
export declare function scanEvidence(context: OperationContext): Promise<EvidenceScan>;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"discovery-evidence.d.ts","sourceRoot":"","sources":["../../../src/operations/
|
|
1
|
+
{"version":3,"file":"discovery-evidence.d.ts","sourceRoot":"","sources":["../../../src/operations/bootstrap/discovery-evidence.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAGV,gBAAgB,EACjB,MAAM,0CAA0C,CAAC;AAClD,OAAO,KAAK,EACV,iBAAiB,EAGlB,MAAM,YAAY,CAAC;AA0BpB,MAAM,MAAM,YAAY,GAAG;IACzB,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,QAAQ,CAAC,QAAQ,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAChD,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC,CAAC;AAoKF,wBAAsB,YAAY,CAChC,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC,YAAY,CAAC,CA4DvB"}
|
|
@@ -30,12 +30,20 @@ function isScanGit(value) {
|
|
|
30
30
|
"ignoredPaths" in value &&
|
|
31
31
|
typeof value.ignoredPaths === "function");
|
|
32
32
|
}
|
|
33
|
+
const TYPED_KIBI_LANE = /(^|\/)(\.kb|documentation)\/(requirements|scenarios|tests|adr|flags|events|facts)\//;
|
|
34
|
+
const EXECUTABLE_TEST_HARNESS = /(^|\/)(\.kb|documentation)\/tests\/(e2e|benchmarks)\//;
|
|
35
|
+
function isTypedKibiMarkdownPath(relativePath) {
|
|
36
|
+
const posix = relativePath.replaceAll("\\", "/");
|
|
37
|
+
if (EXECUTABLE_TEST_HARNESS.test(posix))
|
|
38
|
+
return false;
|
|
39
|
+
return TYPED_KIBI_LANE.test(posix);
|
|
40
|
+
}
|
|
33
41
|
function classifyFile(relativePath, content) {
|
|
34
|
-
if (
|
|
42
|
+
if (/^\.kb\/symbols\.ya?ml$/i.test(relativePath))
|
|
35
43
|
return ["typed_kibi_docs", "symbol_manifest"];
|
|
36
44
|
if (/\.md$/i.test(relativePath)) {
|
|
37
45
|
return /^---\s*[\r\n]/.test(content) &&
|
|
38
|
-
|
|
46
|
+
isTypedKibiMarkdownPath(relativePath)
|
|
39
47
|
? ["typed_kibi_docs", "typed_markdown"]
|
|
40
48
|
: ["generic_repo_docs", "generic_markdown"];
|
|
41
49
|
}
|
|
@@ -49,13 +57,35 @@ function classifyFile(relativePath, content) {
|
|
|
49
57
|
return null;
|
|
50
58
|
}
|
|
51
59
|
function evidenceData(provider, relativePath, content) {
|
|
52
|
-
if (provider === "repo_metadata")
|
|
60
|
+
if (provider === "repo_metadata") {
|
|
61
|
+
const languages = new Set();
|
|
62
|
+
if (/^package\.json$/i.test(path.basename(relativePath))) {
|
|
63
|
+
try {
|
|
64
|
+
const parsed = JSON.parse(content);
|
|
65
|
+
const text = JSON.stringify(parsed);
|
|
66
|
+
if (/\.(?:ts|tsx|mts|cts)\b/.test(text))
|
|
67
|
+
languages.add("typescript");
|
|
68
|
+
if (/\.(?:js|jsx|mjs|cjs)\b|node\b/.test(text))
|
|
69
|
+
languages.add("javascript");
|
|
70
|
+
}
|
|
71
|
+
catch {
|
|
72
|
+
// The scanner records a parse warning separately below.
|
|
73
|
+
}
|
|
74
|
+
}
|
|
75
|
+
if (/Cargo\.toml$/i.test(relativePath))
|
|
76
|
+
languages.add("rust");
|
|
77
|
+
if (/go\.mod$/i.test(relativePath))
|
|
78
|
+
languages.add("go");
|
|
79
|
+
if (/pyproject\.toml$/i.test(relativePath))
|
|
80
|
+
languages.add("python");
|
|
53
81
|
return {
|
|
54
82
|
title: `Repository metadata: ${path.basename(relativePath)}`,
|
|
55
83
|
factKind: "meta",
|
|
56
84
|
confidence: relativePath.includes("tsconfig") ? 0.9 : 0.86,
|
|
57
85
|
evidence: [`repo_metadata:${relativePath}`],
|
|
86
|
+
languages: [...languages],
|
|
58
87
|
};
|
|
88
|
+
}
|
|
59
89
|
if (provider === "test_topology") {
|
|
60
90
|
const frameworks = [
|
|
61
91
|
content.includes("bun:test") ? "bun:test" : "",
|
|
@@ -73,13 +103,17 @@ function evidenceData(provider, relativePath, content) {
|
|
|
73
103
|
frameworks,
|
|
74
104
|
};
|
|
75
105
|
}
|
|
76
|
-
if (provider === "source_symbols")
|
|
106
|
+
if (provider === "source_symbols") {
|
|
107
|
+
const symbolCount = Array.from(content.matchAll(/\b(?:export\s+)?(?:function|class|const|let|var|interface|type)\s+([A-Za-z_$][\w$]*)/g)).length;
|
|
77
108
|
return {
|
|
78
109
|
title: `Source module: ${path.basename(relativePath, path.extname(relativePath))}`,
|
|
79
110
|
factKind: "observation",
|
|
80
111
|
confidence: 0.82,
|
|
81
112
|
evidence: [`source_symbols:${relativePath}`],
|
|
113
|
+
analysisMode: "parser",
|
|
114
|
+
symbolCount,
|
|
82
115
|
};
|
|
116
|
+
}
|
|
83
117
|
return {};
|
|
84
118
|
}
|
|
85
119
|
function layoutEvidence(workspaceRoot, files, ignored) {
|
|
@@ -103,11 +137,12 @@ function layoutEvidence(workspaceRoot, files, ignored) {
|
|
|
103
137
|
},
|
|
104
138
|
}));
|
|
105
139
|
}
|
|
140
|
+
// implements REQ-KIBI-BOOTSTRAP-PLAN
|
|
106
141
|
export async function scanEvidence(context) {
|
|
107
142
|
const fs = context.fs;
|
|
108
143
|
const git = context.git;
|
|
109
144
|
if (!isScanFilesystem(fs) || !isScanGit(git))
|
|
110
|
-
throw new OperationError("OPERATION_FAILED", "
|
|
145
|
+
throw new OperationError("OPERATION_FAILED", "Bootstrap requires filesystem glob and git ignore ports.");
|
|
111
146
|
const files = [
|
|
112
147
|
...(await fs.glob(SCAN_PATTERNS, {
|
|
113
148
|
cwd: context.workspaceRoot,
|
|
@@ -150,7 +185,12 @@ export async function scanEvidence(context) {
|
|
|
150
185
|
});
|
|
151
186
|
}
|
|
152
187
|
catch {
|
|
153
|
-
|
|
188
|
+
const warningProvider = /\.(?:test|spec)\.[^.]+$/i.test(relativePath)
|
|
189
|
+
? "test_topology"
|
|
190
|
+
: CODE_EXTENSION.test(relativePath)
|
|
191
|
+
? "source_symbols"
|
|
192
|
+
: "generic_repo_docs";
|
|
193
|
+
warnings.push(`${warningProvider}:failed_to_${warningProvider === "test_topology" ? "read" : "analyze"}:${relativePath}`);
|
|
154
194
|
}
|
|
155
195
|
}
|
|
156
196
|
evidence.push(...layoutEvidence(context.workspaceRoot, files, ignored));
|
|
@@ -1,4 +1,4 @@
|
|
|
1
1
|
import type { OperationContext } from "../../public/operations/runtime-types.js";
|
|
2
2
|
import { type DiscoveryResult } from "./types.js";
|
|
3
|
-
export declare function
|
|
3
|
+
export declare function discoverBootstrap(context: OperationContext): Promise<DiscoveryResult>;
|
|
4
4
|
//# sourceMappingURL=discovery.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"discovery.d.ts","sourceRoot":"","sources":["../../../src/operations/bootstrap/discovery.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AAIjF,OAAO,EAGL,KAAK,eAAe,EACrB,MAAM,YAAY,CAAC;AA+EpB,wBAAsB,iBAAiB,CACrC,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC,eAAe,CAAC,CA+C1B"}
|
|
@@ -1,8 +1,8 @@
|
|
|
1
1
|
import path from "node:path";
|
|
2
|
-
import {
|
|
2
|
+
import { readKbManifestStatus } from "../../utils/kb-manifest.js";
|
|
3
3
|
import { classifyActivation } from "./activation.js";
|
|
4
4
|
import { scanEvidence } from "./discovery-evidence.js";
|
|
5
|
-
import {
|
|
5
|
+
import { BOOTSTRAP_PROVIDER_ORDER, } from "./types.js";
|
|
6
6
|
const EXCLUDED_ROOTS = [
|
|
7
7
|
".git",
|
|
8
8
|
".kb",
|
|
@@ -33,8 +33,10 @@ const LANGUAGE_NAMES = {
|
|
|
33
33
|
};
|
|
34
34
|
async function migrationWarning(context) {
|
|
35
35
|
try {
|
|
36
|
-
const
|
|
37
|
-
|
|
36
|
+
const status = readKbManifestStatus(context.workspaceRoot);
|
|
37
|
+
if (status.state === "ok")
|
|
38
|
+
return null;
|
|
39
|
+
return status.warning;
|
|
38
40
|
}
|
|
39
41
|
catch {
|
|
40
42
|
return null;
|
|
@@ -42,11 +44,15 @@ async function migrationWarning(context) {
|
|
|
42
44
|
}
|
|
43
45
|
function languages(evidence) {
|
|
44
46
|
return [
|
|
45
|
-
...new Set(evidence
|
|
46
|
-
.filter((item) => item.kind === "source_symbols")
|
|
47
|
-
.map((item) => {
|
|
47
|
+
...new Set(evidence.flatMap((item) => {
|
|
48
48
|
const extension = path.extname(item.label).slice(1);
|
|
49
|
-
|
|
49
|
+
const fromExtension = item.kind === "source_symbols"
|
|
50
|
+
? [LANGUAGE_NAMES[extension] ?? extension]
|
|
51
|
+
: [];
|
|
52
|
+
const fromMetadata = Array.isArray(item.data.languages)
|
|
53
|
+
? item.data.languages.filter((value) => typeof value === "string")
|
|
54
|
+
: [];
|
|
55
|
+
return [...fromExtension, ...fromMetadata];
|
|
50
56
|
})),
|
|
51
57
|
].sort();
|
|
52
58
|
}
|
|
@@ -57,21 +63,22 @@ function frameworks(evidence) {
|
|
|
57
63
|
: [])),
|
|
58
64
|
].sort();
|
|
59
65
|
}
|
|
60
|
-
// implements REQ-mcp-
|
|
61
|
-
|
|
66
|
+
// implements REQ-mcp-kibi-bootstrap-bootstrap-v1, REQ-kibi-operation-interface-parity
|
|
67
|
+
// implements REQ-KIBI-BOOTSTRAP-PLAN
|
|
68
|
+
export async function discoverBootstrap(context) {
|
|
62
69
|
const scan = await scanEvidence(context);
|
|
63
70
|
const ignored = new Set(scan.ignoredSources);
|
|
64
71
|
const activation = await classifyActivation(context, scan.files.filter((file) => !ignored.has(file)));
|
|
65
72
|
const evidence = activation.allowCandidateGeneration
|
|
66
73
|
? [...scan.evidence]
|
|
67
74
|
: [];
|
|
68
|
-
evidence.sort((left, right) =>
|
|
69
|
-
|
|
75
|
+
evidence.sort((left, right) => BOOTSTRAP_PROVIDER_ORDER.indexOf(left.provider) -
|
|
76
|
+
BOOTSTRAP_PROVIDER_ORDER.indexOf(right.provider) ||
|
|
70
77
|
left.label.localeCompare(right.label));
|
|
71
78
|
const providersRun = activation.allowCandidateGeneration
|
|
72
|
-
? [...
|
|
79
|
+
? [...BOOTSTRAP_PROVIDER_ORDER]
|
|
73
80
|
: [];
|
|
74
|
-
const providerCounts = Object.fromEntries(
|
|
81
|
+
const providerCounts = Object.fromEntries(BOOTSTRAP_PROVIDER_ORDER.map((provider) => [
|
|
75
82
|
provider,
|
|
76
83
|
evidence.filter((item) => item.provider === provider).length,
|
|
77
84
|
]));
|
|
@@ -0,0 +1,9 @@
|
|
|
1
|
+
import type { OperationContext } from "../../public/operations/runtime-types.js";
|
|
2
|
+
import type { Candidate, PlanBootstrapArgs, PlanBootstrapResult, SourceOnlySignal } from "./types.js";
|
|
3
|
+
export declare function filterSourceOnlySignals(signals: readonly SourceOnlySignal[], entityTypes: readonly string[] | undefined): readonly SourceOnlySignal[];
|
|
4
|
+
export declare function selectBootstrapCandidates(input: readonly Candidate[], existingIds: ReadonlySet<string>, entityTypes: readonly string[] | undefined, maximum: number): {
|
|
5
|
+
readonly candidates: readonly Candidate[];
|
|
6
|
+
readonly suppressed: readonly Readonly<Record<string, unknown>>[];
|
|
7
|
+
};
|
|
8
|
+
export declare function executePlanBootstrap(args: PlanBootstrapArgs, context: OperationContext): Promise<PlanBootstrapResult>;
|
|
9
|
+
//# sourceMappingURL=generate.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"generate.d.ts","sourceRoot":"","sources":["../../../src/operations/bootstrap/generate.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AAKjF,OAAO,KAAK,EACV,SAAS,EACT,iBAAiB,EACjB,mBAAmB,EACnB,gBAAgB,EACjB,MAAM,YAAY,CAAC;AAEpB,wBAAgB,uBAAuB,CACrC,OAAO,EAAE,SAAS,gBAAgB,EAAE,EACpC,WAAW,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,GACzC,SAAS,gBAAgB,EAAE,CAI7B;AA2BD,wBAAgB,yBAAyB,CACvC,KAAK,EAAE,SAAS,SAAS,EAAE,EAC3B,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,EAChC,WAAW,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,EAC1C,OAAO,EAAE,MAAM,GACd;IACD,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,CAAC;IAC1C,QAAQ,CAAC,UAAU,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;CACnE,CAiDA;AAgHD,wBAAsB,oBAAoB,CACxC,IAAI,EAAE,iBAAiB,EACvB,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC,mBAAmB,CAAC,CAyD9B"}
|
|
@@ -0,0 +1,207 @@
|
|
|
1
|
+
import { createHash } from "node:crypto";
|
|
2
|
+
import path from "node:path";
|
|
3
|
+
import { loadEntities } from "../../public/operations/discovery-entities.js";
|
|
4
|
+
import { executeStatus } from "../../public/operations/discovery-executors.js";
|
|
5
|
+
import { readWorkspaceSnapshot } from "../../public/operations/workspace-snapshot.js";
|
|
6
|
+
import { buildBootstrapCandidates } from "./candidates.js";
|
|
7
|
+
import { discoverBootstrap } from "./discovery.js";
|
|
8
|
+
import { presentBootstrap } from "./presentation.js";
|
|
9
|
+
export function filterSourceOnlySignals(signals, entityTypes) {
|
|
10
|
+
return entityTypes && entityTypes.length > 0
|
|
11
|
+
? signals.filter((signal) => entityTypes.includes(signal.kind))
|
|
12
|
+
: signals;
|
|
13
|
+
}
|
|
14
|
+
import { bootstrapEmptyKbSnapshotId } from "./types.js";
|
|
15
|
+
function clamp(value, minimum, maximum) {
|
|
16
|
+
return Math.max(minimum, Math.min(maximum, value));
|
|
17
|
+
}
|
|
18
|
+
function titleKey(candidate) {
|
|
19
|
+
return `${candidate.entityType}::${candidate.title.trim().toLowerCase().replace(/\s+/g, " ")}`;
|
|
20
|
+
}
|
|
21
|
+
function firstUpsertId(candidate) {
|
|
22
|
+
const first = candidate.applyPlan[0];
|
|
23
|
+
if (typeof first?.id === "string")
|
|
24
|
+
return first.id;
|
|
25
|
+
const properties = first?.properties;
|
|
26
|
+
return properties !== null &&
|
|
27
|
+
typeof properties === "object" &&
|
|
28
|
+
"id" in properties &&
|
|
29
|
+
typeof properties.id === "string"
|
|
30
|
+
? properties.id
|
|
31
|
+
: "";
|
|
32
|
+
}
|
|
33
|
+
function sha256(value) {
|
|
34
|
+
return createHash("sha256").update(value).digest("hex");
|
|
35
|
+
}
|
|
36
|
+
export function selectBootstrapCandidates(input, existingIds, entityTypes, maximum) {
|
|
37
|
+
const allowed = entityTypes && entityTypes.length > 0 ? new Set(entityTypes) : null;
|
|
38
|
+
const sorted = input
|
|
39
|
+
.filter((candidate) => allowed?.has(candidate.entityType) ?? true)
|
|
40
|
+
.sort((left, right) => right.confidence - left.confidence ||
|
|
41
|
+
left.sourcePath.localeCompare(right.sourcePath))
|
|
42
|
+
.slice(0, maximum);
|
|
43
|
+
const typedTitles = new Set(sorted
|
|
44
|
+
.filter((candidate) => candidate.sourceKind === "typed_markdown")
|
|
45
|
+
.map(titleKey));
|
|
46
|
+
const selected = new Map();
|
|
47
|
+
const suppressed = [];
|
|
48
|
+
const suppress = (candidate, reason) => {
|
|
49
|
+
suppressed.push({
|
|
50
|
+
candidateId: candidate.candidateId,
|
|
51
|
+
reason,
|
|
52
|
+
sourcePath: candidate.sourcePath,
|
|
53
|
+
entityType: candidate.entityType,
|
|
54
|
+
});
|
|
55
|
+
};
|
|
56
|
+
for (const candidate of sorted) {
|
|
57
|
+
if (existingIds.has(firstUpsertId(candidate))) {
|
|
58
|
+
suppress(candidate, "entity_exists");
|
|
59
|
+
continue;
|
|
60
|
+
}
|
|
61
|
+
const key = titleKey(candidate);
|
|
62
|
+
if (candidate.sourceKind === "generic_markdown" && typedTitles.has(key)) {
|
|
63
|
+
suppress(candidate, "shadowed_by_typed_source");
|
|
64
|
+
continue;
|
|
65
|
+
}
|
|
66
|
+
const previous = selected.get(key);
|
|
67
|
+
if (!previous) {
|
|
68
|
+
selected.set(key, candidate);
|
|
69
|
+
continue;
|
|
70
|
+
}
|
|
71
|
+
const keepCandidate = candidate.confidence > previous.confidence ||
|
|
72
|
+
(candidate.confidence === previous.confidence &&
|
|
73
|
+
candidate.sourcePath < previous.sourcePath);
|
|
74
|
+
suppress(keepCandidate ? previous : candidate, "duplicate_title");
|
|
75
|
+
if (keepCandidate)
|
|
76
|
+
selected.set(key, candidate);
|
|
77
|
+
}
|
|
78
|
+
return { candidates: [...selected.values()], suppressed };
|
|
79
|
+
}
|
|
80
|
+
async function existingEntityIds(context) {
|
|
81
|
+
if (!context.prolog)
|
|
82
|
+
return new Set();
|
|
83
|
+
try {
|
|
84
|
+
const entities = await loadEntities(context.prolog, {});
|
|
85
|
+
return new Set(entities.map((entity) => String(entity.id ?? "")).filter(Boolean));
|
|
86
|
+
}
|
|
87
|
+
catch {
|
|
88
|
+
return new Set();
|
|
89
|
+
}
|
|
90
|
+
}
|
|
91
|
+
async function expectedSnapshots(context, evidencePaths) {
|
|
92
|
+
const diagnostics = [];
|
|
93
|
+
try {
|
|
94
|
+
const result = await executeStatus({}, context);
|
|
95
|
+
const status = result.structuredContent;
|
|
96
|
+
const workspace = await readWorkspaceSnapshot(context);
|
|
97
|
+
const sourceHashes = {};
|
|
98
|
+
if (!context.fs) {
|
|
99
|
+
diagnostics.push("Bootstrap plan binding requires a filesystem-capable runtime.");
|
|
100
|
+
}
|
|
101
|
+
else {
|
|
102
|
+
// Bind every evidence document that can affect candidate selection. The
|
|
103
|
+
// workspace hash is still authoritative for the complete checkout, but
|
|
104
|
+
// these per-source hashes make the plan's evidence set inspectable.
|
|
105
|
+
// Layout providers legitimately surface directory rows (for example a
|
|
106
|
+
// bare `src` entry); directories carry no hashable document content and
|
|
107
|
+
// must not surface as binding diagnostics, which would otherwise block
|
|
108
|
+
// an otherwise-ready thin-bootstrap plan.
|
|
109
|
+
for (const relative of new Set(evidencePaths)) {
|
|
110
|
+
try {
|
|
111
|
+
const resolved = path.resolve(context.workspaceRoot, relative);
|
|
112
|
+
if (!(await context.fs.stat(resolved)).isFile())
|
|
113
|
+
continue;
|
|
114
|
+
sourceHashes[relative] = sha256(await context.fs.readFile(resolved));
|
|
115
|
+
}
|
|
116
|
+
catch {
|
|
117
|
+
sourceHashes[relative] = null;
|
|
118
|
+
diagnostics.push(`Bootstrap evidence source is unavailable: ${relative}`);
|
|
119
|
+
}
|
|
120
|
+
}
|
|
121
|
+
}
|
|
122
|
+
const branch = status?.branch ?? context.branchAttachment?.kbBranch;
|
|
123
|
+
const workspaceSnapshot = workspace.available
|
|
124
|
+
? workspace.snapshot.hash
|
|
125
|
+
: undefined;
|
|
126
|
+
if (!branch || branch === "unknown")
|
|
127
|
+
diagnostics.push("Bootstrap plan binding could not determine the active Git branch.");
|
|
128
|
+
if (!workspaceSnapshot || !/^[a-f0-9]{64}$/i.test(workspaceSnapshot))
|
|
129
|
+
diagnostics.push("Bootstrap plan binding could not determine a current workspace snapshot.");
|
|
130
|
+
const rawSnapshot = status?.snapshotId;
|
|
131
|
+
const kbSnapshotId = rawSnapshot === "missing" &&
|
|
132
|
+
branch &&
|
|
133
|
+
workspaceSnapshot &&
|
|
134
|
+
/^[a-f0-9]{64}$/i.test(workspaceSnapshot)
|
|
135
|
+
? bootstrapEmptyKbSnapshotId({
|
|
136
|
+
branch,
|
|
137
|
+
workspaceSnapshot,
|
|
138
|
+
sourceHashes,
|
|
139
|
+
})
|
|
140
|
+
: rawSnapshot;
|
|
141
|
+
if (!kbSnapshotId ||
|
|
142
|
+
kbSnapshotId === "unknown" ||
|
|
143
|
+
kbSnapshotId === "missing" ||
|
|
144
|
+
kbSnapshotId === "unavailable")
|
|
145
|
+
diagnostics.push("Bootstrap plan binding could not determine a current KB snapshot.");
|
|
146
|
+
return {
|
|
147
|
+
branch: branch ?? "unavailable",
|
|
148
|
+
kbSnapshotId: kbSnapshotId ?? "unavailable",
|
|
149
|
+
workspaceSnapshot: workspaceSnapshot ?? "unavailable",
|
|
150
|
+
sourceHashes,
|
|
151
|
+
bindingDiagnostics: diagnostics,
|
|
152
|
+
};
|
|
153
|
+
}
|
|
154
|
+
catch {
|
|
155
|
+
return {
|
|
156
|
+
branch: context.branchAttachment?.kbBranch ?? "unavailable",
|
|
157
|
+
kbSnapshotId: "unavailable",
|
|
158
|
+
workspaceSnapshot: "unavailable",
|
|
159
|
+
sourceHashes: {},
|
|
160
|
+
bindingDiagnostics: [
|
|
161
|
+
"Bootstrap plan binding could not read current repository state.",
|
|
162
|
+
],
|
|
163
|
+
};
|
|
164
|
+
}
|
|
165
|
+
}
|
|
166
|
+
// implements REQ-mcp-kibi-bootstrap-bootstrap-v1, REQ-kibi-operation-interface-parity
|
|
167
|
+
// implements REQ-KIBI-BOOTSTRAP-PLAN
|
|
168
|
+
export async function executePlanBootstrap(args, context) {
|
|
169
|
+
const includeGenericMarkdown = args.includeGenericMarkdown ?? true;
|
|
170
|
+
const minConfidence = clamp(args.minConfidence ?? 0.8, 0.6, 0.95);
|
|
171
|
+
const maxCandidates = clamp(Math.trunc(args.maxCandidates ?? 50), 1, 200);
|
|
172
|
+
const [discovery, existingIds] = await Promise.all([
|
|
173
|
+
discoverBootstrap(context),
|
|
174
|
+
existingEntityIds(context),
|
|
175
|
+
]);
|
|
176
|
+
// Discovery runs before planning so its evidence paths can be bound into
|
|
177
|
+
// the exact plan rather than leaving the reviewer to reconstruct them.
|
|
178
|
+
const bound = await expectedSnapshots(context, discovery.evidence
|
|
179
|
+
.map((evidence) => evidence.relativePath)
|
|
180
|
+
.filter((value) => Boolean(value)));
|
|
181
|
+
const built = discovery.activation.allowCandidateGeneration
|
|
182
|
+
? buildBootstrapCandidates(discovery.evidence, existingIds, minConfidence, includeGenericMarkdown)
|
|
183
|
+
: { candidates: [], sourceOnlySignals: [] };
|
|
184
|
+
const filteredSignals = filterSourceOnlySignals(built.sourceOnlySignals, args.entityTypes);
|
|
185
|
+
const selected = selectBootstrapCandidates(built.candidates.filter((candidate) => candidate.confidence >= minConfidence), existingIds, args.entityTypes, maxCandidates);
|
|
186
|
+
const ignored = discovery.ignoredSources.map((sourcePath) => ({
|
|
187
|
+
candidateId: "",
|
|
188
|
+
reason: "ignored_source",
|
|
189
|
+
sourcePath,
|
|
190
|
+
entityType: "",
|
|
191
|
+
}));
|
|
192
|
+
const { bindingDiagnostics, ...expected } = bound;
|
|
193
|
+
return presentBootstrap({
|
|
194
|
+
root: context.workspaceRoot,
|
|
195
|
+
activation: discovery.activation,
|
|
196
|
+
discoverySummary: discovery.summary,
|
|
197
|
+
migrationWarning: discovery.migrationWarning,
|
|
198
|
+
...(args.bootstrapContext
|
|
199
|
+
? { bootstrapContext: args.bootstrapContext }
|
|
200
|
+
: {}),
|
|
201
|
+
candidates: selected.candidates,
|
|
202
|
+
sourceOnlySignals: filteredSignals,
|
|
203
|
+
suppressedCandidates: [...selected.suppressed, ...ignored],
|
|
204
|
+
expected,
|
|
205
|
+
bindingDiagnostics,
|
|
206
|
+
});
|
|
207
|
+
}
|
|
@@ -1,3 +1,3 @@
|
|
|
1
|
-
import type { ActivationPolicy,
|
|
2
|
-
export declare function buildActions(root: string, activation: ActivationPolicy, declared:
|
|
1
|
+
import type { ActivationPolicy, BootstrapDeclaredContext, Candidate, SourceOnlySignal } from "./types.js";
|
|
2
|
+
export declare function buildActions(root: string, activation: ActivationPolicy, declared: BootstrapDeclaredContext, candidates: readonly Candidate[], signals: readonly SourceOnlySignal[]): readonly Readonly<Record<string, unknown>>[];
|
|
3
3
|
//# sourceMappingURL=guidance-actions.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"guidance-actions.d.ts","sourceRoot":"","sources":["../../../src/operations/
|
|
1
|
+
{"version":3,"file":"guidance-actions.d.ts","sourceRoot":"","sources":["../../../src/operations/bootstrap/guidance-actions.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EACV,gBAAgB,EAChB,wBAAwB,EACxB,SAAS,EACT,gBAAgB,EACjB,MAAM,YAAY,CAAC;AAgBpB,wBAAgB,YAAY,CAC1B,IAAI,EAAE,MAAM,EACZ,UAAU,EAAE,gBAAgB,EAC5B,QAAQ,EAAE,wBAAwB,EAClC,UAAU,EAAE,SAAS,SAAS,EAAE,EAChC,OAAO,EAAE,SAAS,gBAAgB,EAAE,GACnC,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAuE9C"}
|
|
@@ -58,8 +58,8 @@ export function buildActions(root, activation, declared, candidates, signals) {
|
|
|
58
58
|
else if (candidates.length > 0)
|
|
59
59
|
result.push({
|
|
60
60
|
order: order++,
|
|
61
|
-
kind: "
|
|
62
|
-
description: `Review
|
|
61
|
+
kind: "plan",
|
|
62
|
+
description: `Review the ${candidates.length} safe candidate(s) in the hash-bound plan, then call kb_apply_plan after explicit approval.`,
|
|
63
63
|
candidateIds: candidates.map((candidate) => candidate.candidateId),
|
|
64
64
|
});
|
|
65
65
|
if (signals.length > 0)
|
|
@@ -72,8 +72,8 @@ export function buildActions(root, activation, declared, candidates, signals) {
|
|
|
72
72
|
order,
|
|
73
73
|
kind: "check",
|
|
74
74
|
description: declared.verificationAnchors.length > 0
|
|
75
|
-
? `After
|
|
76
|
-
: "After
|
|
75
|
+
? `After kb_apply_plan, run kb_check and verify ${summary(declared.verificationAnchors, 2)}.`
|
|
76
|
+
: "After kb_apply_plan, run kb_check to validate the resulting graph.",
|
|
77
77
|
});
|
|
78
78
|
return result;
|
|
79
79
|
}
|
|
@@ -1,8 +1,9 @@
|
|
|
1
|
-
import type { ActivationPolicy,
|
|
1
|
+
import type { ActivationPolicy, BootstrapDeclaredContext, Candidate, SourceOnlySignal } from "./types.js";
|
|
2
|
+
export declare function confidence(activation: ActivationPolicy, declared: BootstrapDeclaredContext, candidates: readonly Candidate[], signals: readonly SourceOnlySignal[], promptBlock: string): Readonly<Record<string, unknown>>;
|
|
2
3
|
export declare function buildGuidance(input: {
|
|
3
4
|
readonly root: string;
|
|
4
5
|
readonly activation: ActivationPolicy;
|
|
5
|
-
readonly declared:
|
|
6
|
+
readonly declared: BootstrapDeclaredContext;
|
|
6
7
|
readonly candidates: readonly Candidate[];
|
|
7
8
|
readonly signals: readonly SourceOnlySignal[];
|
|
8
9
|
readonly warnings: readonly string[];
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"guidance.d.ts","sourceRoot":"","sources":["../../../src/operations/bootstrap/guidance.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EACV,gBAAgB,EAChB,wBAAwB,EACxB,SAAS,EACT,gBAAgB,EACjB,MAAM,YAAY,CAAC;AAkFpB,wBAAgB,UAAU,CACxB,UAAU,EAAE,gBAAgB,EAC5B,QAAQ,EAAE,wBAAwB,EAClC,UAAU,EAAE,SAAS,SAAS,EAAE,EAChC,OAAO,EAAE,SAAS,gBAAgB,EAAE,EACpC,WAAW,EAAE,MAAM,GAClB,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAgEnC;AAGD,wBAAgB,aAAa,CAAC,KAAK,EAAE;IACnC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,gBAAgB,CAAC;IACtC,QAAQ,CAAC,QAAQ,EAAE,wBAAwB,CAAC;IAC5C,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,CAAC;IAC1C,QAAQ,CAAC,OAAO,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAC9C,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC,GAAG;IACF,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACvD,QAAQ,CAAC,OAAO,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;CAChE,CA0BA"}
|
|
@@ -57,7 +57,7 @@ function prompt(root, activation, declared, candidates, signals, warnings) {
|
|
|
57
57
|
selected[selected.length - 1] = `${selected[selected.length - 1]}…`;
|
|
58
58
|
return selected.join(" ").replaceAll(" - ", "\n- ");
|
|
59
59
|
}
|
|
60
|
-
function confidence(activation, declared, candidates, signals, promptBlock) {
|
|
60
|
+
export function confidence(activation, declared, candidates, signals, promptBlock) {
|
|
61
61
|
const reasons = [];
|
|
62
62
|
let score = candidates.length > 0 ? 0.68 : 0.44;
|
|
63
63
|
if (activation.applyBlocked) {
|
|
@@ -71,6 +71,7 @@ function confidence(activation, declared, candidates, signals, promptBlock) {
|
|
|
71
71
|
score += {
|
|
72
72
|
cold_start_bootstrap: 0.1,
|
|
73
73
|
repair_bootstrap: -0.05,
|
|
74
|
+
attached_thin_bootstrap: 0.04,
|
|
74
75
|
attached_thin_handoff: -0.12,
|
|
75
76
|
attached_seeded_handoff: -0.18,
|
|
76
77
|
vendored_blocked: -0.25,
|
|
@@ -114,6 +115,7 @@ function confidence(activation, declared, candidates, signals, promptBlock) {
|
|
|
114
115
|
: "Low confidence: handoff-only output with diagnostic guidance.");
|
|
115
116
|
return { score: rounded, level, reasons, policy };
|
|
116
117
|
}
|
|
118
|
+
// implements REQ-KIBI-BOOTSTRAP-PLAN
|
|
117
119
|
export function buildGuidance(input) {
|
|
118
120
|
const promptBlock = prompt(input.root, input.activation, input.declared, input.candidates, input.signals, input.warnings);
|
|
119
121
|
return {
|
|
@@ -1,7 +1,7 @@
|
|
|
1
|
-
import type {
|
|
1
|
+
import type { BootstrapEvidence, Candidate, SourceOnlySignal } from "./types.js";
|
|
2
2
|
export type CandidateBuildResult = {
|
|
3
3
|
readonly candidates: readonly Candidate[];
|
|
4
4
|
readonly sourceOnlySignals: readonly SourceOnlySignal[];
|
|
5
5
|
};
|
|
6
|
-
export declare function markdownCandidates(item:
|
|
6
|
+
export declare function markdownCandidates(item: BootstrapEvidence, existingIds: ReadonlySet<string>, minConfidence: number): CandidateBuildResult;
|
|
7
7
|
//# sourceMappingURL=markdown-candidates.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"markdown-candidates.d.ts","sourceRoot":"","sources":["../../../src/operations/
|
|
1
|
+
{"version":3,"file":"markdown-candidates.d.ts","sourceRoot":"","sources":["../../../src/operations/bootstrap/markdown-candidates.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EACV,iBAAiB,EACjB,SAAS,EACT,gBAAgB,EACjB,MAAM,YAAY,CAAC;AAEpB,MAAM,MAAM,oBAAoB,GAAG;IACjC,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,CAAC;IAC1C,QAAQ,CAAC,iBAAiB,EAAE,SAAS,gBAAgB,EAAE,CAAC;CACzD,CAAC;AA4HF,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,iBAAiB,EACvB,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,EAChC,aAAa,EAAE,MAAM,GACpB,oBAAoB,CAoDtB"}
|
|
@@ -12,7 +12,7 @@ function headingSignals(heading, sourcePath, textRef, minConfidence) {
|
|
|
12
12
|
if (pattern.test(heading) && confidence >= minConfidence) {
|
|
13
13
|
result.push({
|
|
14
14
|
kind,
|
|
15
|
-
title: `Author ${kind} from ${heading}`,
|
|
15
|
+
title: `Author ${kind === "req" ? "requirements" : `${kind}s`} from ${heading}`,
|
|
16
16
|
sourcePath,
|
|
17
17
|
confidence,
|
|
18
18
|
evidence: [`generic_heading:${textRef}`],
|
|
@@ -40,7 +40,7 @@ function genericHeadingCandidate(item, heading, line, existingIds, minConfidence
|
|
|
40
40
|
title: heading,
|
|
41
41
|
status: type === "adr" ? "proposed" : "active",
|
|
42
42
|
...(type === "fact" ? { fact_kind: "observation" } : {}),
|
|
43
|
-
source: `
|
|
43
|
+
source: `bootstrap:generic:${relativePath}`,
|
|
44
44
|
text_ref: `${relativePath}#L${line}`,
|
|
45
45
|
};
|
|
46
46
|
return {
|
|
@@ -50,7 +50,7 @@ function genericHeadingCandidate(item, heading, line, existingIds, minConfidence
|
|
|
50
50
|
sourceKind: "generic_markdown",
|
|
51
51
|
sourcePath: item.absolutePath ?? relativePath,
|
|
52
52
|
confidence,
|
|
53
|
-
confidenceBand:
|
|
53
|
+
confidenceBand: confidence >= 0.95 ? "high" : confidence >= 0.8 ? "medium" : "low",
|
|
54
54
|
evidence: [`generic_heading:${relativePath}#L${line}`],
|
|
55
55
|
relationships: [],
|
|
56
56
|
applyPlan: [upsert(entity)],
|
|
@@ -96,6 +96,7 @@ function requirementCandidate(item, statement, line, heading, headingLine, exist
|
|
|
96
96
|
applyPlan: strictPlan(writeSet),
|
|
97
97
|
};
|
|
98
98
|
}
|
|
99
|
+
// implements REQ-KIBI-BOOTSTRAP-PLAN
|
|
99
100
|
export function markdownCandidates(item, existingIds, minConfidence) {
|
|
100
101
|
const candidates = [];
|
|
101
102
|
const sourceOnlySignals = [];
|
|
@@ -0,0 +1,15 @@
|
|
|
1
|
+
import type { ActivationPolicy, BootstrapContext, BootstrapDeclaredContext, BootstrapPlanV1, Candidate, DiscoverySummary, PlanBootstrapResult, SourceOnlySignal } from "./types.js";
|
|
2
|
+
export declare function normalizeBootstrapContext(input?: BootstrapContext): BootstrapDeclaredContext;
|
|
3
|
+
export declare function presentBootstrap(input: {
|
|
4
|
+
readonly root: string;
|
|
5
|
+
readonly activation: ActivationPolicy;
|
|
6
|
+
readonly discoverySummary: DiscoverySummary;
|
|
7
|
+
readonly migrationWarning: string | null;
|
|
8
|
+
readonly bootstrapContext?: BootstrapContext;
|
|
9
|
+
readonly candidates: readonly Candidate[];
|
|
10
|
+
readonly sourceOnlySignals: readonly SourceOnlySignal[];
|
|
11
|
+
readonly suppressedCandidates: readonly Readonly<Record<string, unknown>>[];
|
|
12
|
+
readonly expected: BootstrapPlanV1["expected"];
|
|
13
|
+
readonly bindingDiagnostics?: readonly string[];
|
|
14
|
+
}): PlanBootstrapResult;
|
|
15
|
+
//# sourceMappingURL=presentation.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"presentation.d.ts","sourceRoot":"","sources":["../../../src/operations/bootstrap/presentation.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EACV,gBAAgB,EAEhB,gBAAgB,EAChB,wBAAwB,EACxB,eAAe,EACf,SAAS,EACT,gBAAgB,EAChB,mBAAmB,EACnB,gBAAgB,EACjB,MAAM,YAAY,CAAC;AAUpB,wBAAgB,yBAAyB,CACvC,KAAK,CAAC,EAAE,gBAAgB,GACvB,wBAAwB,CAS1B;AAiBD,wBAAgB,gBAAgB,CAAC,KAAK,EAAE;IACtC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,gBAAgB,CAAC;IACtC,QAAQ,CAAC,gBAAgB,EAAE,gBAAgB,CAAC;IAC5C,QAAQ,CAAC,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;IACzC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,gBAAgB,CAAC;IAC7C,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,CAAC;IAC1C,QAAQ,CAAC,iBAAiB,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACxD,QAAQ,CAAC,oBAAoB,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;IAC5E,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC,UAAU,CAAC,CAAC;IAC/C,QAAQ,CAAC,kBAAkB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACjD,GAAG,mBAAmB,CA0KtB"}
|