kibi-cli 1.0.1 → 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.js +3 -3
- package/dist/cli-operation-metadata.d.ts +4 -3
- package/dist/cli-operation-metadata.d.ts.map +1 -1
- package/dist/cli-operation-metadata.js +7 -5
- package/dist/cli-protocol.js +1 -1
- package/dist/cli-register-maintenance.d.ts.map +1 -1
- package/dist/cli-register-maintenance.js +7 -0
- 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 +1 -0
- package/dist/cli.d.ts +4 -0
- package/dist/cli.d.ts.map +1 -1
- package/dist/cli.js +17 -10
- package/dist/commands/branch.d.ts +1 -0
- package/dist/commands/branch.d.ts.map +1 -1
- package/dist/commands/branch.js +8 -4
- package/dist/commands/check.d.ts +14 -0
- package/dist/commands/check.d.ts.map +1 -1
- package/dist/commands/check.js +190 -44
- 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/doctor.d.ts +22 -0
- package/dist/commands/doctor.d.ts.map +1 -1
- package/dist/commands/doctor.js +48 -22
- package/dist/commands/engine.d.ts +12 -0
- package/dist/commands/engine.d.ts.map +1 -1
- package/dist/commands/engine.js +40 -0
- package/dist/commands/github-init.d.ts +1 -0
- package/dist/commands/github-init.d.ts.map +1 -1
- package/dist/commands/github-init.js +9 -5
- package/dist/commands/init-helpers.d.ts.map +1 -1
- package/dist/commands/init-helpers.js +38 -5
- package/dist/commands/migrate.d.ts +4 -0
- package/dist/commands/migrate.d.ts.map +1 -1
- package/dist/commands/migrate.js +7 -7
- 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.js +1 -1
- package/dist/commands/sync/discovery.d.ts +3 -0
- package/dist/commands/sync/discovery.d.ts.map +1 -1
- package/dist/commands/sync/discovery.js +36 -28
- package/dist/commands/sync/manifest.d.ts +1 -1
- package/dist/commands/sync/manifest.d.ts.map +1 -1
- package/dist/commands/sync/manifest.js +53 -21
- 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 +25 -14
- 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 +11 -1
- package/dist/commands/sync.d.ts.map +1 -1
- package/dist/commands/sync.js +74 -30
- 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 +14 -76
- package/dist/engine.d.ts.map +1 -1
- package/dist/engine.js +197 -30
- package/dist/extractors/manifest.d.ts +5 -0
- package/dist/extractors/manifest.d.ts.map +1 -1
- package/dist/extractors/manifest.js +46 -1
- package/dist/extractors/markdown.d.ts +5 -3
- package/dist/extractors/markdown.d.ts.map +1 -1
- package/dist/extractors/markdown.js +41 -24
- package/dist/extractors/playwright-cases.js +1 -1
- package/dist/extractors/relationships.d.ts +6 -0
- package/dist/extractors/relationships.d.ts.map +1 -1
- package/dist/extractors/relationships.js +1 -1
- package/dist/extractors/symbol-coordinates.d.ts.map +1 -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 +1 -0
- package/dist/intent-search.d.ts.map +1 -1
- package/dist/intent-search.js +7 -3
- 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 +2 -1
- package/dist/operations/bootstrap/activation.d.ts.map +1 -1
- package/dist/operations/bootstrap/activation.js +11 -3
- package/dist/operations/bootstrap/generate.d.ts +2 -1
- package/dist/operations/bootstrap/generate.d.ts.map +1 -1
- package/dist/operations/bootstrap/generate.js +6 -3
- package/dist/operations/bootstrap/guidance.d.ts +1 -0
- package/dist/operations/bootstrap/guidance.d.ts.map +1 -1
- package/dist/operations/bootstrap/guidance.js +1 -1
- 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 +53 -46
- package/dist/operations/modeling/predicate-applicability.d.ts.map +1 -1
- package/dist/operations/modeling/predicate-applicability.js +103 -4
- 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-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-loader.d.ts +1 -0
- package/dist/operations/modeling/predicate-loader.d.ts.map +1 -1
- package/dist/operations/modeling/predicate-loader.js +4 -3
- package/dist/operations/modeling/predicate-ranker.d.ts.map +1 -1
- package/dist/operations/modeling/predicate-ranker.js +4 -1
- package/dist/operations/modeling/predicate-types.d.ts +1 -1
- package/dist/operations/modeling/predicate-types.d.ts.map +1 -1
- 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/suggest-predicates.d.ts +3 -1
- package/dist/operations/modeling/suggest-predicates.d.ts.map +1 -1
- package/dist/operations/modeling/suggest-predicates.js +52 -19
- 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 +100 -32
- package/dist/operations/mutation/relationships.d.ts +1 -0
- package/dist/operations/mutation/relationships.d.ts.map +1 -1
- package/dist/operations/mutation/relationships.js +6 -4
- 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 -2
- package/dist/operations/mutation/source-authoring.d.ts +5 -1
- package/dist/operations/mutation/source-authoring.d.ts.map +1 -1
- package/dist/operations/mutation/source-authoring.js +79 -46
- 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 +5 -2
- package/dist/operations/mutation/symbol-compiler-lock.d.ts.map +1 -1
- package/dist/operations/mutation/symbol-compiler-lock.js +65 -2
- package/dist/operations/mutation/symbol-granularity.d.ts.map +1 -1
- package/dist/operations/mutation/symbol-granularity.js +2 -2
- package/dist/operations/mutation/symbol-refresh.d.ts +1 -0
- package/dist/operations/mutation/symbol-refresh.d.ts.map +1 -1
- package/dist/operations/mutation/symbol-refresh.js +10 -8
- 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 +86 -54
- 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 +46 -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 +8 -106
- package/dist/operations/planning/apply-plan.d.ts.map +1 -1
- package/dist/operations/planning/apply-plan.js +113 -36
- package/dist/operations/planning/compile-intent.d.ts +2 -0
- package/dist/operations/planning/compile-intent.d.ts.map +1 -1
- package/dist/operations/planning/compile-intent.js +70 -14
- 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 +46 -26
- package/dist/operations/semantic-advisor/clauses.d.ts.map +1 -1
- package/dist/operations/semantic-advisor/clauses.js +20 -7
- 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/prolog/codec.d.ts +13 -1
- package/dist/prolog/codec.d.ts.map +1 -1
- package/dist/prolog/codec.js +269 -154
- 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 +55 -17
- 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/{public → proof/producers}/playwright-case-id.d.ts +1 -1
- package/dist/proof/producers/playwright-case-id.d.ts.map +1 -0
- package/dist/{public → proof/producers}/playwright-case-id.js +3 -3
- 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/diagnostic-usage.js +6 -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 -10
- package/dist/public/impact/coverage-depth-quality.d.ts +1 -0
- package/dist/public/impact/coverage-depth-quality.d.ts.map +1 -1
- package/dist/public/impact/coverage-depth-quality.js +1 -1
- 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 +5 -2
- package/dist/public/impact/full-kb-quality.d.ts.map +1 -1
- package/dist/public/impact/full-kb-quality.js +329 -64
- package/dist/public/operations/catalog.d.ts +447 -196
- package/dist/public/operations/catalog.d.ts.map +1 -1
- package/dist/public/operations/catalog.js +6 -4
- package/dist/public/operations/check-executor.d.ts.map +1 -1
- package/dist/public/operations/check-executor.js +3 -7
- package/dist/public/operations/contracts.d.ts +7 -0
- package/dist/public/operations/contracts.d.ts.map +1 -1
- package/dist/public/operations/contracts.js +31 -22
- 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 +9 -9
- package/dist/public/operations/discovery-executors.d.ts.map +1 -1
- package/dist/public/operations/discovery-executors.js +17 -14
- package/dist/public/operations/index.d.ts +1 -1
- package/dist/public/operations/index.d.ts.map +1 -1
- package/dist/public/operations/index.js +1 -1
- package/dist/public/operations/migration-plan.d.ts +4 -3
- package/dist/public/operations/migration-plan.d.ts.map +1 -1
- package/dist/public/operations/migration-plan.js +23 -21
- package/dist/public/operations/node-ports.js +6 -6
- 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 -19
- package/dist/public/operations/result-envelope.d.ts +1 -0
- package/dist/public/operations/result-envelope.d.ts.map +1 -1
- package/dist/public/operations/result-envelope.js +12 -10
- package/dist/public/operations/runtime-types.d.ts +5 -0
- package/dist/public/operations/runtime-types.d.ts.map +1 -1
- 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 +7 -2
- package/dist/public/operations/specs/check.d.ts.map +1 -1
- package/dist/public/operations/specs/check.js +8 -20
- package/dist/public/operations/specs/mutation-schemas.d.ts +257 -163
- package/dist/public/operations/specs/mutation-schemas.d.ts.map +1 -1
- package/dist/public/operations/specs/mutation-schemas.js +15 -7
- package/dist/public/operations/specs/planning.d.ts +9 -0
- package/dist/public/operations/specs/planning.d.ts.map +1 -1
- package/dist/public/operations/specs/planning.js +6 -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 +19 -0
- package/dist/public/operations/specs/reporting.d.ts.map +1 -1
- package/dist/public/operations/specs/reporting.js +112 -12
- package/dist/public/operations/specs/upsert.d.ts +257 -163
- package/dist/public/operations/specs/upsert.d.ts.map +1 -1
- package/dist/public/operations/symbol-repair-plan.d.ts +11 -0
- package/dist/public/operations/symbol-repair-plan.d.ts.map +1 -1
- package/dist/public/operations/symbol-repair-plan.js +118 -3
- package/dist/public/operations/types.d.ts +1 -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 +21 -7
- package/dist/public/skills/kibi-freshness/SKILL.md +1 -1
- package/dist/public/skills/kibi-usage/SKILL.md +41 -12
- package/dist/public/skills/kibi-usage/resources/operation-access.md +1 -1
- package/dist/public/skills/kibi-usage/resources/proof.md +105 -0
- package/dist/public/skills/kibi-usage/resources/workflows.md +6 -6
- 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 -47
- package/dist/public/telemetry-acceptance.d.ts +3 -77
- package/dist/public/telemetry-acceptance.d.ts.map +1 -1
- package/dist/public/telemetry-acceptance.js +4 -2
- package/dist/public/telemetry-remediation.js +1 -1
- package/dist/report/html-report.css +282 -0
- package/dist/report/html-report.d.ts +4 -2
- package/dist/report/html-report.d.ts.map +1 -1
- package/dist/report/html-report.js +37 -300
- 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 +14 -7
- package/dist/schemas/entity.schema.json +355 -215
- 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 +28 -0
- package/dist/traceability/evidence-model.d.ts.map +1 -1
- 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 +145 -1
- 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.js +4 -4
- 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 +138 -27
- 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 +13 -4
- package/dist/types/entities.d.ts +5 -3
- package/dist/types/entities.d.ts.map +1 -1
- package/dist/utils/branch-resolver.d.ts +1 -0
- package/dist/utils/branch-resolver.d.ts.map +1 -1
- package/dist/utils/branch-resolver.js +7 -4
- package/dist/utils/branch-store.d.ts +6 -0
- package/dist/utils/branch-store.d.ts.map +1 -1
- package/dist/utils/branch-store.js +27 -0
- package/dist/utils/kb-paths.d.ts +1 -1
- package/dist/utils/kb-paths.d.ts.map +1 -1
- package/dist/utils/kb-paths.js +1 -1
- package/dist/utils/rule-registry.d.ts +1 -11
- 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 +12 -113
- package/dist/utils/strict-modeling.d.ts +1 -0
- package/dist/utils/strict-modeling.d.ts.map +1 -1
- package/dist/utils/strict-modeling.js +1 -1
- package/package.json +8 -11
- package/src/public/diagnostic-usage.ts +6 -6
- package/src/public/distribution-parity.ts +17 -10
- package/src/public/impact/coverage-depth-quality.ts +1 -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 +463 -72
- package/src/public/operations/catalog.ts +10 -4
- package/src/public/operations/check-executor.ts +3 -7
- package/src/public/operations/contracts.ts +38 -22
- package/src/public/operations/discovery-entities.ts +7 -0
- package/src/public/operations/discovery-executors.ts +26 -23
- package/src/public/operations/index.ts +1 -1
- package/src/public/operations/migration-plan.ts +32 -25
- package/src/public/operations/node-ports.ts +6 -6
- package/src/public/operations/repair-plan.ts +60 -23
- package/src/public/operations/result-envelope.ts +15 -10
- package/src/public/operations/runtime-types.ts +5 -0
- package/src/public/operations/specs/check-rules.generated.ts +37 -0
- package/src/public/operations/specs/check.ts +12 -21
- package/src/public/operations/specs/mutation-schemas.ts +22 -9
- package/src/public/operations/specs/planning.ts +7 -0
- package/src/public/operations/specs/proof.ts +43 -0
- package/src/public/operations/specs/reporting.ts +140 -13
- package/src/public/operations/symbol-repair-plan.ts +163 -3
- package/src/public/operations/types.ts +1 -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 +26 -10
- package/src/public/skills/kibi-freshness/SKILL.md +1 -1
- package/src/public/skills/kibi-usage/SKILL.md +41 -12
- package/src/public/skills/kibi-usage/resources/operation-access.md +1 -1
- package/src/public/skills/kibi-usage/resources/proof.md +105 -0
- package/src/public/skills/kibi-usage/resources/workflows.md +6 -6
- package/src/public/symbol-granularity.generated.ts +41 -0
- package/src/public/symbol-granularity.ts +35 -60
- package/src/public/telemetry-acceptance-types.d.ts +98 -0
- package/src/public/telemetry-acceptance.ts +22 -100
- package/src/public/telemetry-remediation.ts +1 -1
- package/src/schemas/entity.schema.json +355 -215
- package/dist/cli-register-verification.d.ts +0 -3
- package/dist/cli-register-verification.d.ts.map +0 -1
- package/dist/cli-register-verification.js +0 -16
- package/dist/commands/verify.d.ts +0 -10
- package/dist/commands/verify.d.ts.map +0 -1
- package/dist/commands/verify.js +0 -126
- package/dist/operations/verification/ingest-verification.d.ts +0 -29
- package/dist/operations/verification/ingest-verification.d.ts.map +0 -1
- package/dist/operations/verification/ingest-verification.js +0 -192
- package/dist/public/operations/specs/verification.d.ts +0 -78
- package/dist/public/operations/specs/verification.d.ts.map +0 -1
- package/dist/public/operations/specs/verification.js +0 -62
- package/dist/public/playwright-case-id.d.ts.map +0 -1
- package/dist/public/verification-receipt.d.ts +0 -242
- package/dist/public/verification-receipt.d.ts.map +0 -1
- package/dist/public/verification-receipt.js +0 -296
- package/dist/verification/playwright-reporter.d.ts +0 -21
- package/dist/verification/playwright-reporter.d.ts.map +0 -1
- package/dist/verification/playwright-reporter.js +0 -114
- package/src/public/operations/specs/verification.ts +0 -78
- package/src/public/playwright-case-id.ts +0 -35
- package/src/public/verification-receipt.ts +0 -412
|
@@ -124,208 +124,302 @@ export declare const upsertSpec: {
|
|
|
124
124
|
readonly enum: readonly ["internal", "consumer"];
|
|
125
125
|
readonly description: "Optional typed verification perspective for test entities. Example: 'consumer'.";
|
|
126
126
|
};
|
|
127
|
-
readonly
|
|
127
|
+
readonly proof_contract: {
|
|
128
|
+
readonly description: "Semantic proof contract binding this test to explicit proof obligations executed by one configured integration.";
|
|
128
129
|
readonly type: "object";
|
|
129
|
-
readonly required: readonly ["version", "
|
|
130
|
+
readonly required: readonly ["version", "integration", "required_proofs", "success_policy"];
|
|
130
131
|
readonly properties: {
|
|
131
132
|
readonly version: {
|
|
132
133
|
readonly type: "string";
|
|
133
|
-
readonly const: "kibi.
|
|
134
|
+
readonly const: "kibi.proof-contract.v1";
|
|
134
135
|
};
|
|
135
|
-
readonly
|
|
136
|
+
readonly integration: {
|
|
136
137
|
readonly type: "string";
|
|
137
138
|
readonly minLength: 1;
|
|
138
139
|
};
|
|
139
|
-
readonly
|
|
140
|
+
readonly required_proofs: {
|
|
140
141
|
readonly type: "array";
|
|
141
142
|
readonly minItems: 1;
|
|
143
|
+
readonly maxItems: 1000;
|
|
142
144
|
readonly items: {
|
|
145
|
+
readonly type: "object";
|
|
146
|
+
readonly required: readonly ["symbol_id", "target"];
|
|
147
|
+
readonly properties: {
|
|
148
|
+
readonly symbol_id: {
|
|
149
|
+
readonly type: "string";
|
|
150
|
+
readonly minLength: 1;
|
|
151
|
+
};
|
|
152
|
+
readonly target: {
|
|
153
|
+
readonly type: "string";
|
|
154
|
+
readonly minLength: 1;
|
|
155
|
+
};
|
|
156
|
+
};
|
|
157
|
+
readonly additionalProperties: false;
|
|
158
|
+
};
|
|
159
|
+
};
|
|
160
|
+
readonly success_policy: {
|
|
161
|
+
readonly type: "string";
|
|
162
|
+
readonly enum: readonly ["all_required_first_attempt"];
|
|
163
|
+
};
|
|
164
|
+
};
|
|
165
|
+
readonly additionalProperties: false;
|
|
166
|
+
};
|
|
167
|
+
readonly proof_bindings: {
|
|
168
|
+
readonly description: "Optional native-runner bindings (native ids, aliases, source coordinates) for proof obligations. Bindings are provenance metadata and never replace the semantic contract.";
|
|
169
|
+
readonly type: "array";
|
|
170
|
+
readonly items: {
|
|
171
|
+
readonly type: "object";
|
|
172
|
+
readonly required: readonly ["symbol_id", "target"];
|
|
173
|
+
readonly properties: {
|
|
174
|
+
readonly symbol_id: {
|
|
143
175
|
readonly type: "string";
|
|
144
176
|
readonly minLength: 1;
|
|
145
177
|
};
|
|
146
|
-
|
|
147
|
-
readonly required_case_symbols: {
|
|
148
|
-
readonly type: "array";
|
|
149
|
-
readonly items: {
|
|
178
|
+
readonly target: {
|
|
150
179
|
readonly type: "string";
|
|
151
180
|
readonly minLength: 1;
|
|
152
181
|
};
|
|
153
|
-
readonly
|
|
154
|
-
};
|
|
155
|
-
readonly required_projects: {
|
|
156
|
-
readonly type: "array";
|
|
157
|
-
readonly items: {
|
|
182
|
+
readonly native_id: {
|
|
158
183
|
readonly type: "string";
|
|
159
184
|
readonly minLength: 1;
|
|
160
185
|
};
|
|
161
|
-
readonly
|
|
162
|
-
|
|
163
|
-
|
|
164
|
-
|
|
165
|
-
|
|
186
|
+
readonly aliases: {
|
|
187
|
+
readonly type: "array";
|
|
188
|
+
readonly items: {
|
|
189
|
+
readonly type: "string";
|
|
190
|
+
readonly minLength: 1;
|
|
191
|
+
};
|
|
192
|
+
};
|
|
193
|
+
readonly source_file: {
|
|
194
|
+
readonly type: "string";
|
|
195
|
+
readonly minLength: 1;
|
|
196
|
+
};
|
|
197
|
+
readonly line: {
|
|
198
|
+
readonly type: "integer";
|
|
199
|
+
readonly minimum: 1;
|
|
200
|
+
};
|
|
166
201
|
};
|
|
202
|
+
readonly additionalProperties: false;
|
|
167
203
|
};
|
|
168
|
-
readonly additionalProperties: false;
|
|
169
204
|
};
|
|
170
|
-
readonly
|
|
205
|
+
readonly proof_receipts: {
|
|
171
206
|
readonly type: "array";
|
|
172
207
|
readonly maxItems: 50;
|
|
173
208
|
readonly items: {
|
|
174
|
-
readonly
|
|
175
|
-
|
|
176
|
-
|
|
177
|
-
|
|
178
|
-
|
|
179
|
-
|
|
180
|
-
|
|
181
|
-
};
|
|
182
|
-
readonly receipt_id: {
|
|
183
|
-
readonly type: "string";
|
|
184
|
-
readonly pattern: "^VR-[A-Za-z0-9][A-Za-z0-9._:-]{7,127}$";
|
|
185
|
-
};
|
|
186
|
-
readonly test_id: {
|
|
187
|
-
readonly type: "string";
|
|
188
|
-
readonly minLength: 1;
|
|
189
|
-
};
|
|
190
|
-
readonly runner: {
|
|
191
|
-
readonly type: "string";
|
|
192
|
-
readonly minLength: 1;
|
|
193
|
-
};
|
|
194
|
-
readonly command: {
|
|
195
|
-
readonly type: "string";
|
|
196
|
-
readonly minLength: 1;
|
|
197
|
-
};
|
|
198
|
-
readonly scope: {
|
|
199
|
-
readonly type: "string";
|
|
200
|
-
readonly enum: readonly ["unit", "integration", "end_to_end"];
|
|
201
|
-
};
|
|
202
|
-
readonly outcome: {
|
|
203
|
-
readonly type: "string";
|
|
204
|
-
readonly enum: readonly ["passed", "failed", "errored", "cancelled", "skipped", "timed_out", "interrupted"];
|
|
205
|
-
};
|
|
206
|
-
readonly code_snapshot: {
|
|
207
|
-
readonly type: "string";
|
|
208
|
-
readonly pattern: "^[a-f0-9]{64}$";
|
|
209
|
-
};
|
|
210
|
-
readonly environment_hash: {
|
|
211
|
-
readonly type: "string";
|
|
212
|
-
readonly pattern: "^[a-f0-9]{64}$";
|
|
213
|
-
};
|
|
214
|
-
readonly started_at: {
|
|
215
|
-
readonly type: "string";
|
|
216
|
-
readonly minLength: 1;
|
|
217
|
-
};
|
|
218
|
-
readonly finished_at: {
|
|
219
|
-
readonly type: "string";
|
|
220
|
-
readonly minLength: 1;
|
|
221
|
-
};
|
|
222
|
-
readonly artifact_digest: {
|
|
223
|
-
readonly type: "string";
|
|
224
|
-
readonly pattern: "^[a-f0-9]{64}$";
|
|
225
|
-
};
|
|
209
|
+
readonly type: "object";
|
|
210
|
+
readonly description: "Kibi-derived kibi.proof-receipt.v1. Receipts are never caller-authored; kb_ingest_proof derives them from kibi.proof-run.v1 artifacts.";
|
|
211
|
+
readonly required: readonly ["version", "receipt_id", "test_id", "scope", "outcome", "code_snapshot", "environment_hash", "started_at", "finished_at", "artifact_digest", "contract_hash", "fingerprint", "fingerprint_components", "integration_id", "producer", "command_argv", "run_outcome", "proof_results"];
|
|
212
|
+
readonly properties: {
|
|
213
|
+
readonly version: {
|
|
214
|
+
readonly type: "string";
|
|
215
|
+
readonly const: "kibi.proof-receipt.v1";
|
|
226
216
|
};
|
|
227
|
-
readonly
|
|
228
|
-
|
|
229
|
-
|
|
230
|
-
|
|
231
|
-
|
|
232
|
-
|
|
233
|
-
|
|
217
|
+
readonly receipt_id: {
|
|
218
|
+
readonly type: "string";
|
|
219
|
+
readonly pattern: "^PR-[A-Za-z0-9][A-Za-z0-9._:-]{7,127}$";
|
|
220
|
+
};
|
|
221
|
+
readonly test_id: {
|
|
222
|
+
readonly type: "string";
|
|
223
|
+
readonly minLength: 1;
|
|
224
|
+
};
|
|
225
|
+
readonly scope: {
|
|
226
|
+
readonly type: "string";
|
|
227
|
+
readonly enum: readonly ["unit", "integration", "end_to_end"];
|
|
228
|
+
};
|
|
229
|
+
readonly outcome: {
|
|
230
|
+
readonly type: "string";
|
|
231
|
+
readonly enum: readonly ["passed", "failed", "errored", "cancelled", "skipped", "timed_out", "interrupted"];
|
|
232
|
+
};
|
|
233
|
+
readonly code_snapshot: {
|
|
234
|
+
readonly type: "string";
|
|
235
|
+
readonly pattern: "^[a-f0-9]{64}$";
|
|
236
|
+
};
|
|
237
|
+
readonly environment_hash: {
|
|
238
|
+
readonly type: "string";
|
|
239
|
+
readonly pattern: "^[a-f0-9]{64}$";
|
|
240
|
+
};
|
|
241
|
+
readonly started_at: {
|
|
242
|
+
readonly type: "string";
|
|
243
|
+
readonly minLength: 1;
|
|
244
|
+
};
|
|
245
|
+
readonly finished_at: {
|
|
246
|
+
readonly type: "string";
|
|
247
|
+
readonly minLength: 1;
|
|
248
|
+
};
|
|
249
|
+
readonly artifact_digest: {
|
|
250
|
+
readonly type: "string";
|
|
251
|
+
readonly pattern: "^[a-f0-9]{64}$";
|
|
252
|
+
};
|
|
253
|
+
readonly contract_hash: {
|
|
254
|
+
readonly type: "string";
|
|
255
|
+
readonly pattern: "^[a-f0-9]{64}$";
|
|
256
|
+
};
|
|
257
|
+
readonly binding_hash: {
|
|
258
|
+
readonly type: "string";
|
|
259
|
+
readonly pattern: "^[a-f0-9]{64}$";
|
|
260
|
+
};
|
|
261
|
+
readonly fingerprint: {
|
|
262
|
+
readonly type: "string";
|
|
263
|
+
readonly pattern: "^[a-f0-9]{64}$";
|
|
264
|
+
};
|
|
265
|
+
readonly fingerprint_components: {
|
|
266
|
+
readonly type: "object";
|
|
267
|
+
readonly required: readonly ["contract", "integration", "command", "bindings", "producer"];
|
|
268
|
+
readonly additionalProperties: false;
|
|
269
|
+
readonly properties: {
|
|
270
|
+
readonly contract: {
|
|
271
|
+
readonly type: "string";
|
|
272
|
+
readonly pattern: "^[a-f0-9]{64}$";
|
|
273
|
+
};
|
|
274
|
+
readonly integration: {
|
|
275
|
+
readonly type: "string";
|
|
276
|
+
readonly pattern: "^[a-f0-9]{64}$";
|
|
277
|
+
};
|
|
278
|
+
readonly command: {
|
|
279
|
+
readonly type: "string";
|
|
280
|
+
readonly pattern: "^[a-f0-9]{64}$";
|
|
281
|
+
};
|
|
282
|
+
readonly bindings: {
|
|
283
|
+
readonly type: "string";
|
|
284
|
+
readonly pattern: "^[a-f0-9]{64}$";
|
|
285
|
+
};
|
|
286
|
+
readonly producer: {
|
|
287
|
+
readonly type: "string";
|
|
288
|
+
readonly pattern: "^[a-f0-9]{64}$";
|
|
289
|
+
};
|
|
234
290
|
};
|
|
235
|
-
|
|
236
|
-
|
|
237
|
-
|
|
238
|
-
|
|
291
|
+
};
|
|
292
|
+
readonly integration_id: {
|
|
293
|
+
readonly type: "string";
|
|
294
|
+
readonly minLength: 1;
|
|
295
|
+
};
|
|
296
|
+
readonly producer: {
|
|
297
|
+
readonly type: "object";
|
|
298
|
+
readonly required: readonly ["name"];
|
|
299
|
+
readonly properties: {
|
|
300
|
+
readonly name: {
|
|
239
301
|
readonly type: "string";
|
|
240
302
|
readonly minLength: 1;
|
|
241
303
|
};
|
|
242
|
-
|
|
243
|
-
|
|
244
|
-
|
|
245
|
-
readonly pattern: "^[a-f0-9]{64}$";
|
|
246
|
-
};
|
|
247
|
-
readonly case_results: {
|
|
248
|
-
readonly type: "array";
|
|
249
|
-
readonly minItems: 1;
|
|
250
|
-
readonly maxItems: 1000;
|
|
251
|
-
readonly items: {
|
|
252
|
-
readonly type: "object";
|
|
253
|
-
readonly required: readonly ["symbol_id", "project", "outcome", "retries", "duration_ms"];
|
|
254
|
-
readonly properties: {
|
|
255
|
-
readonly symbol_id: {
|
|
256
|
-
readonly type: "string";
|
|
257
|
-
readonly minLength: 1;
|
|
258
|
-
};
|
|
259
|
-
readonly project: {
|
|
260
|
-
readonly type: "string";
|
|
261
|
-
readonly minLength: 1;
|
|
262
|
-
};
|
|
263
|
-
readonly outcome: {
|
|
264
|
-
readonly type: "string";
|
|
265
|
-
readonly enum: readonly ["passed", "failed", "timed_out", "skipped", "interrupted"];
|
|
266
|
-
};
|
|
267
|
-
readonly retries: {
|
|
268
|
-
readonly type: "integer";
|
|
269
|
-
readonly minimum: 0;
|
|
270
|
-
};
|
|
271
|
-
readonly duration_ms: {
|
|
272
|
-
readonly type: "integer";
|
|
273
|
-
readonly minimum: 0;
|
|
274
|
-
};
|
|
275
|
-
};
|
|
276
|
-
readonly additionalProperties: false;
|
|
304
|
+
readonly version: {
|
|
305
|
+
readonly type: "string";
|
|
306
|
+
readonly minLength: 1;
|
|
277
307
|
};
|
|
278
308
|
};
|
|
279
|
-
readonly
|
|
280
|
-
|
|
281
|
-
|
|
282
|
-
|
|
283
|
-
readonly
|
|
284
|
-
|
|
285
|
-
readonly minLength: 1;
|
|
286
|
-
};
|
|
287
|
-
readonly runner: {
|
|
288
|
-
readonly type: "string";
|
|
289
|
-
readonly minLength: 1;
|
|
290
|
-
};
|
|
291
|
-
readonly command: {
|
|
292
|
-
readonly type: "string";
|
|
293
|
-
readonly minLength: 1;
|
|
294
|
-
};
|
|
295
|
-
readonly scope: {
|
|
296
|
-
readonly type: "string";
|
|
297
|
-
readonly enum: readonly ["unit", "integration", "end_to_end"];
|
|
298
|
-
};
|
|
299
|
-
readonly outcome: {
|
|
300
|
-
readonly type: "string";
|
|
301
|
-
readonly enum: readonly ["passed", "failed", "errored", "cancelled", "skipped", "timed_out", "interrupted"];
|
|
302
|
-
};
|
|
303
|
-
readonly code_snapshot: {
|
|
304
|
-
readonly type: "string";
|
|
305
|
-
readonly pattern: "^[a-f0-9]{64}$";
|
|
306
|
-
};
|
|
307
|
-
readonly environment_hash: {
|
|
308
|
-
readonly type: "string";
|
|
309
|
-
readonly pattern: "^[a-f0-9]{64}$";
|
|
310
|
-
};
|
|
311
|
-
readonly started_at: {
|
|
309
|
+
readonly additionalProperties: false;
|
|
310
|
+
};
|
|
311
|
+
readonly command_argv: {
|
|
312
|
+
readonly type: "array";
|
|
313
|
+
readonly minItems: 1;
|
|
314
|
+
readonly items: {
|
|
312
315
|
readonly type: "string";
|
|
313
316
|
readonly minLength: 1;
|
|
314
317
|
};
|
|
315
|
-
|
|
316
|
-
|
|
317
|
-
|
|
318
|
+
};
|
|
319
|
+
readonly run_outcome: {
|
|
320
|
+
readonly type: "string";
|
|
321
|
+
readonly enum: readonly ["passed", "failed", "errored", "cancelled", "timed_out", "interrupted", "no_results"];
|
|
322
|
+
};
|
|
323
|
+
readonly proof_results: {
|
|
324
|
+
readonly type: "array";
|
|
325
|
+
readonly minItems: 0;
|
|
326
|
+
readonly maxItems: 1000;
|
|
327
|
+
readonly items: {
|
|
328
|
+
readonly type: "object";
|
|
329
|
+
readonly required: readonly ["symbol_id", "target", "outcome", "binding", "attempts"];
|
|
330
|
+
readonly properties: {
|
|
331
|
+
readonly symbol_id: {
|
|
332
|
+
readonly type: "string";
|
|
333
|
+
readonly minLength: 1;
|
|
334
|
+
};
|
|
335
|
+
readonly target: {
|
|
336
|
+
readonly type: "string";
|
|
337
|
+
readonly minLength: 1;
|
|
338
|
+
};
|
|
339
|
+
readonly outcome: {
|
|
340
|
+
readonly type: "string";
|
|
341
|
+
readonly enum: readonly ["passed", "failed", "timed_out", "skipped", "interrupted", "errored"];
|
|
342
|
+
};
|
|
343
|
+
readonly binding: {
|
|
344
|
+
readonly type: "string";
|
|
345
|
+
readonly enum: readonly ["native_case", "aggregate_run"];
|
|
346
|
+
};
|
|
347
|
+
readonly native_id: {
|
|
348
|
+
readonly type: "string";
|
|
349
|
+
readonly minLength: 1;
|
|
350
|
+
};
|
|
351
|
+
readonly attempts: {
|
|
352
|
+
readonly oneOf: readonly [{
|
|
353
|
+
readonly type: "object";
|
|
354
|
+
readonly required: readonly ["status", "entries"];
|
|
355
|
+
readonly properties: {
|
|
356
|
+
readonly status: {
|
|
357
|
+
readonly type: "string";
|
|
358
|
+
readonly const: "complete";
|
|
359
|
+
};
|
|
360
|
+
readonly entries: {
|
|
361
|
+
readonly type: "array";
|
|
362
|
+
readonly minItems: 1;
|
|
363
|
+
readonly items: {
|
|
364
|
+
readonly type: "object";
|
|
365
|
+
readonly required: readonly ["outcome"];
|
|
366
|
+
readonly properties: {
|
|
367
|
+
readonly outcome: {
|
|
368
|
+
readonly type: "string";
|
|
369
|
+
readonly enum: readonly ["passed", "failed", "timed_out", "skipped", "interrupted", "errored"];
|
|
370
|
+
};
|
|
371
|
+
readonly duration_ms: {
|
|
372
|
+
readonly type: "number";
|
|
373
|
+
readonly minimum: 0;
|
|
374
|
+
};
|
|
375
|
+
};
|
|
376
|
+
readonly additionalProperties: false;
|
|
377
|
+
};
|
|
378
|
+
};
|
|
379
|
+
};
|
|
380
|
+
readonly additionalProperties: false;
|
|
381
|
+
}, {
|
|
382
|
+
readonly type: "object";
|
|
383
|
+
readonly required: readonly ["status"];
|
|
384
|
+
readonly properties: {
|
|
385
|
+
readonly status: {
|
|
386
|
+
readonly type: "string";
|
|
387
|
+
readonly const: "unavailable";
|
|
388
|
+
};
|
|
389
|
+
};
|
|
390
|
+
readonly additionalProperties: false;
|
|
391
|
+
}];
|
|
392
|
+
};
|
|
393
|
+
};
|
|
394
|
+
readonly additionalProperties: false;
|
|
318
395
|
};
|
|
319
|
-
|
|
320
|
-
|
|
321
|
-
|
|
396
|
+
};
|
|
397
|
+
readonly gaps: {
|
|
398
|
+
readonly type: "array";
|
|
399
|
+
readonly items: {
|
|
400
|
+
readonly type: "object";
|
|
401
|
+
readonly required: readonly ["symbol_id", "target", "reason"];
|
|
402
|
+
readonly properties: {
|
|
403
|
+
readonly symbol_id: {
|
|
404
|
+
readonly type: "string";
|
|
405
|
+
readonly minLength: 1;
|
|
406
|
+
};
|
|
407
|
+
readonly target: {
|
|
408
|
+
readonly type: "string";
|
|
409
|
+
readonly minLength: 1;
|
|
410
|
+
};
|
|
411
|
+
readonly reason: {
|
|
412
|
+
readonly type: "string";
|
|
413
|
+
readonly minLength: 1;
|
|
414
|
+
};
|
|
415
|
+
};
|
|
416
|
+
readonly additionalProperties: false;
|
|
322
417
|
};
|
|
323
418
|
};
|
|
324
|
-
|
|
325
|
-
|
|
326
|
-
}];
|
|
419
|
+
};
|
|
420
|
+
readonly additionalProperties: false;
|
|
327
421
|
};
|
|
328
|
-
readonly description: "Append-only
|
|
422
|
+
readonly description: "Append-only proof evidence. Proof accepts only the newest valid passed receipt bound to the current code snapshot, current contract hash, and effective execution fingerprint within the seven-day freshness window. Ingest rotates the oldest entries at the cap.";
|
|
329
423
|
};
|
|
330
424
|
readonly fact_kind: {
|
|
331
425
|
readonly type: "string";
|
|
@@ -489,7 +583,7 @@ export declare const upsertSpec: {
|
|
|
489
583
|
};
|
|
490
584
|
readonly allOf: readonly [Record<string, unknown>, {
|
|
491
585
|
readonly if: {
|
|
492
|
-
readonly required: readonly ["
|
|
586
|
+
readonly required: readonly ["proof_receipts"];
|
|
493
587
|
};
|
|
494
588
|
readonly then: {
|
|
495
589
|
readonly required: readonly ["verification_scope"];
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"upsert.d.ts","sourceRoot":"","sources":["../../../../src/public/operations/specs/upsert.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,aAAa,EAAE,MAAM,wCAAwC,CAAC;AAQvE,eAAO,MAAM,UAAU
|
|
1
|
+
{"version":3,"file":"upsert.d.ts","sourceRoot":"","sources":["../../../../src/public/operations/specs/upsert.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,aAAa,EAAE,MAAM,wCAAwC,CAAC;AAQvE,eAAO,MAAM,UAAU;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAqCuC,CAAC"}
|
|
@@ -6,6 +6,17 @@ export type SymbolRepairPlan = Readonly<{
|
|
|
6
6
|
autoApplicable: false;
|
|
7
7
|
repairs: readonly Readonly<Record<string, unknown>>[];
|
|
8
8
|
}>;
|
|
9
|
+
export type CoordinateRepairEvidence = Readonly<{
|
|
10
|
+
symbolId: string;
|
|
11
|
+
sourceFile: string | null;
|
|
12
|
+
refreshable: boolean;
|
|
13
|
+
reason: "extractable" | "coarse_anchor" | "extractor_miss" | "source_unavailable";
|
|
14
|
+
suggestion: string;
|
|
15
|
+
}>;
|
|
16
|
+
/** Preview the same extraction and explicit coarse fallback used by refresh. */
|
|
17
|
+
export declare function inspectCoordinateRepairs(symbols: readonly Readonly<Record<string, unknown>>[], workspaceRoot: string): Promise<Map<string, CoordinateRepairEvidence>>;
|
|
18
|
+
/** Attach current extraction evidence before constructing requirement repairs. */
|
|
19
|
+
export declare function addCoordinateRepairEvidence(rows: readonly Readonly<Record<string, unknown>>[], context: OperationContext): Promise<readonly Readonly<Record<string, unknown>>[]>;
|
|
9
20
|
/** Build review-only, evidence-backed symbol recovery suggestions. */
|
|
10
21
|
export declare function buildSymbolRepairPlan(rows: readonly Readonly<Record<string, unknown>>[], context: OperationContext): Promise<SymbolRepairPlan | undefined>;
|
|
11
22
|
//# sourceMappingURL=symbol-repair-plan.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"symbol-repair-plan.d.ts","sourceRoot":"","sources":["../../../src/public/operations/symbol-repair-plan.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"symbol-repair-plan.d.ts","sourceRoot":"","sources":["../../../src/public/operations/symbol-repair-plan.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAE3D,eAAO,MAAM,0BAA0B,EAAG,4BAAqC,CAAC;AAEhF,MAAM,MAAM,gBAAgB,GAAG,QAAQ,CAAC;IACtC,OAAO,EAAE,OAAO,0BAA0B,CAAC;IAC3C,QAAQ,EAAE,IAAI,CAAC;IACf,cAAc,EAAE,KAAK,CAAC;IACtB,OAAO,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;CACvD,CAAC,CAAC;AAoBH,MAAM,MAAM,wBAAwB,GAAG,QAAQ,CAAC;IAC9C,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,WAAW,EAAE,OAAO,CAAC;IACrB,MAAM,EACF,aAAa,GACb,eAAe,GACf,gBAAgB,GAChB,oBAAoB,CAAC;IACzB,UAAU,EAAE,MAAM,CAAC;CACpB,CAAC,CAAC;AAEH,gFAAgF;AAChF,wBAAsB,wBAAwB,CAC5C,OAAO,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,EACrD,aAAa,EAAE,MAAM,GACpB,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,wBAAwB,CAAC,CAAC,CA2DhD;AAED,kFAAkF;AAClF,wBAAsB,2BAA2B,CAC/C,IAAI,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,EAClD,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CA+DvD;AAwCD,sEAAsE;AACtE,wBAAsB,qBAAqB,CACzC,IAAI,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,EAClD,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC,gBAAgB,GAAG,SAAS,CAAC,CAgGvC"}
|