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
|
@@ -107,208 +107,302 @@ export declare const ENTITY_PROPERTIES_SCHEMA: {
|
|
|
107
107
|
readonly enum: readonly ["internal", "consumer"];
|
|
108
108
|
readonly description: "Optional typed verification perspective for test entities. Example: 'consumer'.";
|
|
109
109
|
};
|
|
110
|
-
readonly
|
|
110
|
+
readonly proof_contract: {
|
|
111
|
+
readonly description: "Semantic proof contract binding this test to explicit proof obligations executed by one configured integration.";
|
|
111
112
|
readonly type: "object";
|
|
112
|
-
readonly required: readonly ["version", "
|
|
113
|
+
readonly required: readonly ["version", "integration", "required_proofs", "success_policy"];
|
|
113
114
|
readonly properties: {
|
|
114
115
|
readonly version: {
|
|
115
116
|
readonly type: "string";
|
|
116
|
-
readonly const: "kibi.
|
|
117
|
+
readonly const: "kibi.proof-contract.v1";
|
|
117
118
|
};
|
|
118
|
-
readonly
|
|
119
|
+
readonly integration: {
|
|
119
120
|
readonly type: "string";
|
|
120
121
|
readonly minLength: 1;
|
|
121
122
|
};
|
|
122
|
-
readonly
|
|
123
|
+
readonly required_proofs: {
|
|
123
124
|
readonly type: "array";
|
|
124
125
|
readonly minItems: 1;
|
|
126
|
+
readonly maxItems: 1000;
|
|
125
127
|
readonly items: {
|
|
128
|
+
readonly type: "object";
|
|
129
|
+
readonly required: readonly ["symbol_id", "target"];
|
|
130
|
+
readonly properties: {
|
|
131
|
+
readonly symbol_id: {
|
|
132
|
+
readonly type: "string";
|
|
133
|
+
readonly minLength: 1;
|
|
134
|
+
};
|
|
135
|
+
readonly target: {
|
|
136
|
+
readonly type: "string";
|
|
137
|
+
readonly minLength: 1;
|
|
138
|
+
};
|
|
139
|
+
};
|
|
140
|
+
readonly additionalProperties: false;
|
|
141
|
+
};
|
|
142
|
+
};
|
|
143
|
+
readonly success_policy: {
|
|
144
|
+
readonly type: "string";
|
|
145
|
+
readonly enum: readonly ["all_required_first_attempt"];
|
|
146
|
+
};
|
|
147
|
+
};
|
|
148
|
+
readonly additionalProperties: false;
|
|
149
|
+
};
|
|
150
|
+
readonly proof_bindings: {
|
|
151
|
+
readonly description: "Optional native-runner bindings (native ids, aliases, source coordinates) for proof obligations. Bindings are provenance metadata and never replace the semantic contract.";
|
|
152
|
+
readonly type: "array";
|
|
153
|
+
readonly items: {
|
|
154
|
+
readonly type: "object";
|
|
155
|
+
readonly required: readonly ["symbol_id", "target"];
|
|
156
|
+
readonly properties: {
|
|
157
|
+
readonly symbol_id: {
|
|
126
158
|
readonly type: "string";
|
|
127
159
|
readonly minLength: 1;
|
|
128
160
|
};
|
|
129
|
-
|
|
130
|
-
readonly required_case_symbols: {
|
|
131
|
-
readonly type: "array";
|
|
132
|
-
readonly items: {
|
|
161
|
+
readonly target: {
|
|
133
162
|
readonly type: "string";
|
|
134
163
|
readonly minLength: 1;
|
|
135
164
|
};
|
|
136
|
-
readonly
|
|
137
|
-
};
|
|
138
|
-
readonly required_projects: {
|
|
139
|
-
readonly type: "array";
|
|
140
|
-
readonly items: {
|
|
165
|
+
readonly native_id: {
|
|
141
166
|
readonly type: "string";
|
|
142
167
|
readonly minLength: 1;
|
|
143
168
|
};
|
|
144
|
-
readonly
|
|
145
|
-
|
|
146
|
-
|
|
147
|
-
|
|
148
|
-
|
|
169
|
+
readonly aliases: {
|
|
170
|
+
readonly type: "array";
|
|
171
|
+
readonly items: {
|
|
172
|
+
readonly type: "string";
|
|
173
|
+
readonly minLength: 1;
|
|
174
|
+
};
|
|
175
|
+
};
|
|
176
|
+
readonly source_file: {
|
|
177
|
+
readonly type: "string";
|
|
178
|
+
readonly minLength: 1;
|
|
179
|
+
};
|
|
180
|
+
readonly line: {
|
|
181
|
+
readonly type: "integer";
|
|
182
|
+
readonly minimum: 1;
|
|
183
|
+
};
|
|
149
184
|
};
|
|
185
|
+
readonly additionalProperties: false;
|
|
150
186
|
};
|
|
151
|
-
readonly additionalProperties: false;
|
|
152
187
|
};
|
|
153
|
-
readonly
|
|
188
|
+
readonly proof_receipts: {
|
|
154
189
|
readonly type: "array";
|
|
155
190
|
readonly maxItems: 50;
|
|
156
191
|
readonly items: {
|
|
157
|
-
readonly
|
|
158
|
-
|
|
159
|
-
|
|
160
|
-
|
|
161
|
-
|
|
162
|
-
|
|
163
|
-
|
|
164
|
-
};
|
|
165
|
-
readonly receipt_id: {
|
|
166
|
-
readonly type: "string";
|
|
167
|
-
readonly pattern: "^VR-[A-Za-z0-9][A-Za-z0-9._:-]{7,127}$";
|
|
168
|
-
};
|
|
169
|
-
readonly test_id: {
|
|
170
|
-
readonly type: "string";
|
|
171
|
-
readonly minLength: 1;
|
|
172
|
-
};
|
|
173
|
-
readonly runner: {
|
|
174
|
-
readonly type: "string";
|
|
175
|
-
readonly minLength: 1;
|
|
176
|
-
};
|
|
177
|
-
readonly command: {
|
|
178
|
-
readonly type: "string";
|
|
179
|
-
readonly minLength: 1;
|
|
180
|
-
};
|
|
181
|
-
readonly scope: {
|
|
182
|
-
readonly type: "string";
|
|
183
|
-
readonly enum: readonly ["unit", "integration", "end_to_end"];
|
|
184
|
-
};
|
|
185
|
-
readonly outcome: {
|
|
186
|
-
readonly type: "string";
|
|
187
|
-
readonly enum: readonly ["passed", "failed", "errored", "cancelled", "skipped", "timed_out", "interrupted"];
|
|
188
|
-
};
|
|
189
|
-
readonly code_snapshot: {
|
|
190
|
-
readonly type: "string";
|
|
191
|
-
readonly pattern: "^[a-f0-9]{64}$";
|
|
192
|
-
};
|
|
193
|
-
readonly environment_hash: {
|
|
194
|
-
readonly type: "string";
|
|
195
|
-
readonly pattern: "^[a-f0-9]{64}$";
|
|
196
|
-
};
|
|
197
|
-
readonly started_at: {
|
|
198
|
-
readonly type: "string";
|
|
199
|
-
readonly minLength: 1;
|
|
200
|
-
};
|
|
201
|
-
readonly finished_at: {
|
|
202
|
-
readonly type: "string";
|
|
203
|
-
readonly minLength: 1;
|
|
204
|
-
};
|
|
205
|
-
readonly artifact_digest: {
|
|
206
|
-
readonly type: "string";
|
|
207
|
-
readonly pattern: "^[a-f0-9]{64}$";
|
|
208
|
-
};
|
|
192
|
+
readonly type: "object";
|
|
193
|
+
readonly description: "Kibi-derived kibi.proof-receipt.v1. Receipts are never caller-authored; kb_ingest_proof derives them from kibi.proof-run.v1 artifacts.";
|
|
194
|
+
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"];
|
|
195
|
+
readonly properties: {
|
|
196
|
+
readonly version: {
|
|
197
|
+
readonly type: "string";
|
|
198
|
+
readonly const: "kibi.proof-receipt.v1";
|
|
209
199
|
};
|
|
210
|
-
readonly
|
|
211
|
-
|
|
212
|
-
|
|
213
|
-
|
|
214
|
-
|
|
215
|
-
|
|
216
|
-
|
|
200
|
+
readonly receipt_id: {
|
|
201
|
+
readonly type: "string";
|
|
202
|
+
readonly pattern: "^PR-[A-Za-z0-9][A-Za-z0-9._:-]{7,127}$";
|
|
203
|
+
};
|
|
204
|
+
readonly test_id: {
|
|
205
|
+
readonly type: "string";
|
|
206
|
+
readonly minLength: 1;
|
|
207
|
+
};
|
|
208
|
+
readonly scope: {
|
|
209
|
+
readonly type: "string";
|
|
210
|
+
readonly enum: readonly ["unit", "integration", "end_to_end"];
|
|
211
|
+
};
|
|
212
|
+
readonly outcome: {
|
|
213
|
+
readonly type: "string";
|
|
214
|
+
readonly enum: readonly ["passed", "failed", "errored", "cancelled", "skipped", "timed_out", "interrupted"];
|
|
215
|
+
};
|
|
216
|
+
readonly code_snapshot: {
|
|
217
|
+
readonly type: "string";
|
|
218
|
+
readonly pattern: "^[a-f0-9]{64}$";
|
|
219
|
+
};
|
|
220
|
+
readonly environment_hash: {
|
|
221
|
+
readonly type: "string";
|
|
222
|
+
readonly pattern: "^[a-f0-9]{64}$";
|
|
223
|
+
};
|
|
224
|
+
readonly started_at: {
|
|
225
|
+
readonly type: "string";
|
|
226
|
+
readonly minLength: 1;
|
|
227
|
+
};
|
|
228
|
+
readonly finished_at: {
|
|
229
|
+
readonly type: "string";
|
|
230
|
+
readonly minLength: 1;
|
|
231
|
+
};
|
|
232
|
+
readonly artifact_digest: {
|
|
233
|
+
readonly type: "string";
|
|
234
|
+
readonly pattern: "^[a-f0-9]{64}$";
|
|
235
|
+
};
|
|
236
|
+
readonly contract_hash: {
|
|
237
|
+
readonly type: "string";
|
|
238
|
+
readonly pattern: "^[a-f0-9]{64}$";
|
|
239
|
+
};
|
|
240
|
+
readonly binding_hash: {
|
|
241
|
+
readonly type: "string";
|
|
242
|
+
readonly pattern: "^[a-f0-9]{64}$";
|
|
243
|
+
};
|
|
244
|
+
readonly fingerprint: {
|
|
245
|
+
readonly type: "string";
|
|
246
|
+
readonly pattern: "^[a-f0-9]{64}$";
|
|
247
|
+
};
|
|
248
|
+
readonly fingerprint_components: {
|
|
249
|
+
readonly type: "object";
|
|
250
|
+
readonly required: readonly ["contract", "integration", "command", "bindings", "producer"];
|
|
251
|
+
readonly additionalProperties: false;
|
|
252
|
+
readonly properties: {
|
|
253
|
+
readonly contract: {
|
|
254
|
+
readonly type: "string";
|
|
255
|
+
readonly pattern: "^[a-f0-9]{64}$";
|
|
256
|
+
};
|
|
257
|
+
readonly integration: {
|
|
258
|
+
readonly type: "string";
|
|
259
|
+
readonly pattern: "^[a-f0-9]{64}$";
|
|
260
|
+
};
|
|
261
|
+
readonly command: {
|
|
262
|
+
readonly type: "string";
|
|
263
|
+
readonly pattern: "^[a-f0-9]{64}$";
|
|
264
|
+
};
|
|
265
|
+
readonly bindings: {
|
|
266
|
+
readonly type: "string";
|
|
267
|
+
readonly pattern: "^[a-f0-9]{64}$";
|
|
268
|
+
};
|
|
269
|
+
readonly producer: {
|
|
270
|
+
readonly type: "string";
|
|
271
|
+
readonly pattern: "^[a-f0-9]{64}$";
|
|
272
|
+
};
|
|
217
273
|
};
|
|
218
|
-
|
|
219
|
-
|
|
220
|
-
|
|
221
|
-
|
|
274
|
+
};
|
|
275
|
+
readonly integration_id: {
|
|
276
|
+
readonly type: "string";
|
|
277
|
+
readonly minLength: 1;
|
|
278
|
+
};
|
|
279
|
+
readonly producer: {
|
|
280
|
+
readonly type: "object";
|
|
281
|
+
readonly required: readonly ["name"];
|
|
282
|
+
readonly properties: {
|
|
283
|
+
readonly name: {
|
|
222
284
|
readonly type: "string";
|
|
223
285
|
readonly minLength: 1;
|
|
224
286
|
};
|
|
225
|
-
|
|
226
|
-
|
|
227
|
-
|
|
228
|
-
readonly pattern: "^[a-f0-9]{64}$";
|
|
229
|
-
};
|
|
230
|
-
readonly case_results: {
|
|
231
|
-
readonly type: "array";
|
|
232
|
-
readonly minItems: 1;
|
|
233
|
-
readonly maxItems: 1000;
|
|
234
|
-
readonly items: {
|
|
235
|
-
readonly type: "object";
|
|
236
|
-
readonly required: readonly ["symbol_id", "project", "outcome", "retries", "duration_ms"];
|
|
237
|
-
readonly properties: {
|
|
238
|
-
readonly symbol_id: {
|
|
239
|
-
readonly type: "string";
|
|
240
|
-
readonly minLength: 1;
|
|
241
|
-
};
|
|
242
|
-
readonly project: {
|
|
243
|
-
readonly type: "string";
|
|
244
|
-
readonly minLength: 1;
|
|
245
|
-
};
|
|
246
|
-
readonly outcome: {
|
|
247
|
-
readonly type: "string";
|
|
248
|
-
readonly enum: readonly ["passed", "failed", "timed_out", "skipped", "interrupted"];
|
|
249
|
-
};
|
|
250
|
-
readonly retries: {
|
|
251
|
-
readonly type: "integer";
|
|
252
|
-
readonly minimum: 0;
|
|
253
|
-
};
|
|
254
|
-
readonly duration_ms: {
|
|
255
|
-
readonly type: "integer";
|
|
256
|
-
readonly minimum: 0;
|
|
257
|
-
};
|
|
258
|
-
};
|
|
259
|
-
readonly additionalProperties: false;
|
|
287
|
+
readonly version: {
|
|
288
|
+
readonly type: "string";
|
|
289
|
+
readonly minLength: 1;
|
|
260
290
|
};
|
|
261
291
|
};
|
|
262
|
-
readonly
|
|
263
|
-
|
|
264
|
-
|
|
265
|
-
|
|
266
|
-
readonly
|
|
267
|
-
|
|
268
|
-
readonly minLength: 1;
|
|
269
|
-
};
|
|
270
|
-
readonly runner: {
|
|
271
|
-
readonly type: "string";
|
|
272
|
-
readonly minLength: 1;
|
|
273
|
-
};
|
|
274
|
-
readonly command: {
|
|
275
|
-
readonly type: "string";
|
|
276
|
-
readonly minLength: 1;
|
|
277
|
-
};
|
|
278
|
-
readonly scope: {
|
|
279
|
-
readonly type: "string";
|
|
280
|
-
readonly enum: readonly ["unit", "integration", "end_to_end"];
|
|
281
|
-
};
|
|
282
|
-
readonly outcome: {
|
|
283
|
-
readonly type: "string";
|
|
284
|
-
readonly enum: readonly ["passed", "failed", "errored", "cancelled", "skipped", "timed_out", "interrupted"];
|
|
285
|
-
};
|
|
286
|
-
readonly code_snapshot: {
|
|
287
|
-
readonly type: "string";
|
|
288
|
-
readonly pattern: "^[a-f0-9]{64}$";
|
|
289
|
-
};
|
|
290
|
-
readonly environment_hash: {
|
|
291
|
-
readonly type: "string";
|
|
292
|
-
readonly pattern: "^[a-f0-9]{64}$";
|
|
293
|
-
};
|
|
294
|
-
readonly started_at: {
|
|
292
|
+
readonly additionalProperties: false;
|
|
293
|
+
};
|
|
294
|
+
readonly command_argv: {
|
|
295
|
+
readonly type: "array";
|
|
296
|
+
readonly minItems: 1;
|
|
297
|
+
readonly items: {
|
|
295
298
|
readonly type: "string";
|
|
296
299
|
readonly minLength: 1;
|
|
297
300
|
};
|
|
298
|
-
|
|
299
|
-
|
|
300
|
-
|
|
301
|
+
};
|
|
302
|
+
readonly run_outcome: {
|
|
303
|
+
readonly type: "string";
|
|
304
|
+
readonly enum: readonly ["passed", "failed", "errored", "cancelled", "timed_out", "interrupted", "no_results"];
|
|
305
|
+
};
|
|
306
|
+
readonly proof_results: {
|
|
307
|
+
readonly type: "array";
|
|
308
|
+
readonly minItems: 0;
|
|
309
|
+
readonly maxItems: 1000;
|
|
310
|
+
readonly items: {
|
|
311
|
+
readonly type: "object";
|
|
312
|
+
readonly required: readonly ["symbol_id", "target", "outcome", "binding", "attempts"];
|
|
313
|
+
readonly properties: {
|
|
314
|
+
readonly symbol_id: {
|
|
315
|
+
readonly type: "string";
|
|
316
|
+
readonly minLength: 1;
|
|
317
|
+
};
|
|
318
|
+
readonly target: {
|
|
319
|
+
readonly type: "string";
|
|
320
|
+
readonly minLength: 1;
|
|
321
|
+
};
|
|
322
|
+
readonly outcome: {
|
|
323
|
+
readonly type: "string";
|
|
324
|
+
readonly enum: readonly ["passed", "failed", "timed_out", "skipped", "interrupted", "errored"];
|
|
325
|
+
};
|
|
326
|
+
readonly binding: {
|
|
327
|
+
readonly type: "string";
|
|
328
|
+
readonly enum: readonly ["native_case", "aggregate_run"];
|
|
329
|
+
};
|
|
330
|
+
readonly native_id: {
|
|
331
|
+
readonly type: "string";
|
|
332
|
+
readonly minLength: 1;
|
|
333
|
+
};
|
|
334
|
+
readonly attempts: {
|
|
335
|
+
readonly oneOf: readonly [{
|
|
336
|
+
readonly type: "object";
|
|
337
|
+
readonly required: readonly ["status", "entries"];
|
|
338
|
+
readonly properties: {
|
|
339
|
+
readonly status: {
|
|
340
|
+
readonly type: "string";
|
|
341
|
+
readonly const: "complete";
|
|
342
|
+
};
|
|
343
|
+
readonly entries: {
|
|
344
|
+
readonly type: "array";
|
|
345
|
+
readonly minItems: 1;
|
|
346
|
+
readonly items: {
|
|
347
|
+
readonly type: "object";
|
|
348
|
+
readonly required: readonly ["outcome"];
|
|
349
|
+
readonly properties: {
|
|
350
|
+
readonly outcome: {
|
|
351
|
+
readonly type: "string";
|
|
352
|
+
readonly enum: readonly ["passed", "failed", "timed_out", "skipped", "interrupted", "errored"];
|
|
353
|
+
};
|
|
354
|
+
readonly duration_ms: {
|
|
355
|
+
readonly type: "number";
|
|
356
|
+
readonly minimum: 0;
|
|
357
|
+
};
|
|
358
|
+
};
|
|
359
|
+
readonly additionalProperties: false;
|
|
360
|
+
};
|
|
361
|
+
};
|
|
362
|
+
};
|
|
363
|
+
readonly additionalProperties: false;
|
|
364
|
+
}, {
|
|
365
|
+
readonly type: "object";
|
|
366
|
+
readonly required: readonly ["status"];
|
|
367
|
+
readonly properties: {
|
|
368
|
+
readonly status: {
|
|
369
|
+
readonly type: "string";
|
|
370
|
+
readonly const: "unavailable";
|
|
371
|
+
};
|
|
372
|
+
};
|
|
373
|
+
readonly additionalProperties: false;
|
|
374
|
+
}];
|
|
375
|
+
};
|
|
376
|
+
};
|
|
377
|
+
readonly additionalProperties: false;
|
|
301
378
|
};
|
|
302
|
-
|
|
303
|
-
|
|
304
|
-
|
|
379
|
+
};
|
|
380
|
+
readonly gaps: {
|
|
381
|
+
readonly type: "array";
|
|
382
|
+
readonly items: {
|
|
383
|
+
readonly type: "object";
|
|
384
|
+
readonly required: readonly ["symbol_id", "target", "reason"];
|
|
385
|
+
readonly properties: {
|
|
386
|
+
readonly symbol_id: {
|
|
387
|
+
readonly type: "string";
|
|
388
|
+
readonly minLength: 1;
|
|
389
|
+
};
|
|
390
|
+
readonly target: {
|
|
391
|
+
readonly type: "string";
|
|
392
|
+
readonly minLength: 1;
|
|
393
|
+
};
|
|
394
|
+
readonly reason: {
|
|
395
|
+
readonly type: "string";
|
|
396
|
+
readonly minLength: 1;
|
|
397
|
+
};
|
|
398
|
+
};
|
|
399
|
+
readonly additionalProperties: false;
|
|
305
400
|
};
|
|
306
401
|
};
|
|
307
|
-
|
|
308
|
-
|
|
309
|
-
}];
|
|
402
|
+
};
|
|
403
|
+
readonly additionalProperties: false;
|
|
310
404
|
};
|
|
311
|
-
readonly description: "Append-only
|
|
405
|
+
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.";
|
|
312
406
|
};
|
|
313
407
|
readonly fact_kind: {
|
|
314
408
|
readonly type: "string";
|
|
@@ -472,7 +566,7 @@ export declare const ENTITY_PROPERTIES_SCHEMA: {
|
|
|
472
566
|
};
|
|
473
567
|
readonly allOf: readonly [Record<string, unknown>, {
|
|
474
568
|
readonly if: {
|
|
475
|
-
readonly required: readonly ["
|
|
569
|
+
readonly required: readonly ["proof_receipts"];
|
|
476
570
|
};
|
|
477
571
|
readonly then: {
|
|
478
572
|
readonly required: readonly ["verification_scope"];
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"mutation-schemas.d.ts","sourceRoot":"","sources":["../../../../src/public/operations/specs/mutation-schemas.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"mutation-schemas.d.ts","sourceRoot":"","sources":["../../../../src/public/operations/specs/mutation-schemas.ts"],"names":[],"mappings":"AASA,eAAO,MAAM,YAAY,gFASf,CAAC;AAYX,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA0T3B,CAAC;AAEX,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;CA2CvB,CAAC"}
|
|
@@ -1,4 +1,5 @@
|
|
|
1
|
-
import {
|
|
1
|
+
import { PROOF_BINDINGS_SCHEMA, PROOF_CONTRACT_SCHEMA, } from "../../proof-protocol.js";
|
|
2
|
+
import { MAX_PROOF_RECEIPTS, PROOF_RECEIPT_SCHEMA, } from "../../proof-receipt.js";
|
|
2
3
|
export const ENTITY_TYPES = [
|
|
3
4
|
"req",
|
|
4
5
|
"scenario",
|
|
@@ -129,12 +130,19 @@ export const ENTITY_PROPERTIES_SCHEMA = {
|
|
|
129
130
|
enum: ["internal", "consumer"],
|
|
130
131
|
description: "Optional typed verification perspective for test entities. Example: 'consumer'.",
|
|
131
132
|
},
|
|
132
|
-
|
|
133
|
-
|
|
133
|
+
proof_contract: {
|
|
134
|
+
...PROOF_CONTRACT_SCHEMA,
|
|
135
|
+
description: "Semantic proof contract binding this test to explicit proof obligations executed by one configured integration.",
|
|
136
|
+
},
|
|
137
|
+
proof_bindings: {
|
|
138
|
+
...PROOF_BINDINGS_SCHEMA,
|
|
139
|
+
description: "Optional native-runner bindings (native ids, aliases, source coordinates) for proof obligations. Bindings are provenance metadata and never replace the semantic contract.",
|
|
140
|
+
},
|
|
141
|
+
proof_receipts: {
|
|
134
142
|
type: "array",
|
|
135
|
-
maxItems:
|
|
136
|
-
items:
|
|
137
|
-
description: "Append-only
|
|
143
|
+
maxItems: MAX_PROOF_RECEIPTS,
|
|
144
|
+
items: PROOF_RECEIPT_SCHEMA,
|
|
145
|
+
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.",
|
|
138
146
|
},
|
|
139
147
|
fact_kind: {
|
|
140
148
|
type: "string",
|
|
@@ -285,7 +293,7 @@ export const ENTITY_PROPERTIES_SCHEMA = {
|
|
|
285
293
|
allOf: [
|
|
286
294
|
CLAIM_PROVENANCE_CONDITIONAL,
|
|
287
295
|
{
|
|
288
|
-
if: { required: ["
|
|
296
|
+
if: { required: ["proof_receipts"] },
|
|
289
297
|
// biome-ignore lint/suspicious/noThenProperty: JSON Schema conditional keyword.
|
|
290
298
|
then: { required: ["verification_scope"] },
|
|
291
299
|
},
|
|
@@ -179,6 +179,15 @@ export declare const compileIntentSpec: {
|
|
|
179
179
|
readonly type: "string";
|
|
180
180
|
readonly minLength: 1;
|
|
181
181
|
};
|
|
182
|
+
readonly scenarioIds: {
|
|
183
|
+
readonly type: "array";
|
|
184
|
+
readonly items: {
|
|
185
|
+
readonly type: "string";
|
|
186
|
+
readonly minLength: 1;
|
|
187
|
+
};
|
|
188
|
+
readonly maxItems: 20;
|
|
189
|
+
readonly description: "Stable scenario draft IDs verified by this test. Required when multiple scenario drafts are supplied.";
|
|
190
|
+
};
|
|
182
191
|
readonly verificationScope: {
|
|
183
192
|
readonly type: "string";
|
|
184
193
|
readonly enum: readonly ["unit", "integration", "end_to_end"];
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"planning.d.ts","sourceRoot":"","sources":["../../../../src/public/operations/specs/planning.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,gBAAgB,EACjB,MAAM,4CAA4C,CAAC;AACpD,OAAO,EAGL,oBAAoB,EACrB,MAAM,gDAAgD,CAAC;AAGxD,YAAY,EACV,iBAAiB,EACjB,aAAa,EACb,oBAAoB,EACpB,gBAAgB,EAChB,aAAa,EACb,SAAS,EACT,oBAAoB,GACrB,MAAM,gDAAgD,CAAC;AACxD,YAAY,EACV,aAAa,EACb,eAAe,GAChB,MAAM,4CAA4C,CAAC;AACpD,YAAY,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAC1D,OAAO,EAAE,gBAAgB,EAAE,MAAM,4CAA4C,CAAC;AAC9E,OAAO,EAAE,oBAAoB,EAAE,MAAM,gDAAgD,CAAC;AAGtF,eAAO,MAAM,iBAAiB
|
|
1
|
+
{"version":3,"file":"planning.d.ts","sourceRoot":"","sources":["../../../../src/public/operations/specs/planning.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,gBAAgB,EACjB,MAAM,4CAA4C,CAAC;AACpD,OAAO,EAGL,oBAAoB,EACrB,MAAM,gDAAgD,CAAC;AAGxD,YAAY,EACV,iBAAiB,EACjB,aAAa,EACb,oBAAoB,EACpB,gBAAgB,EAChB,aAAa,EACb,SAAS,EACT,oBAAoB,GACrB,MAAM,gDAAgD,CAAC;AACxD,YAAY,EACV,aAAa,EACb,eAAe,GAChB,MAAM,4CAA4C,CAAC;AACpD,YAAY,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAC1D,OAAO,EAAE,gBAAgB,EAAE,MAAM,4CAA4C,CAAC;AAC9E,OAAO,EAAE,oBAAoB,EAAE,MAAM,gDAAgD,CAAC;AAGtF,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA0JsC,CAAC;AAGrE,eAAO,MAAM,aAAa;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAqDwC,CAAC"}
|
|
@@ -108,6 +108,12 @@ export const compileIntentSpec = {
|
|
|
108
108
|
id: { type: "string" },
|
|
109
109
|
title: { type: "string", minLength: 1 },
|
|
110
110
|
body: { type: "string", minLength: 1 },
|
|
111
|
+
scenarioIds: {
|
|
112
|
+
type: "array",
|
|
113
|
+
items: { type: "string", minLength: 1 },
|
|
114
|
+
maxItems: 20,
|
|
115
|
+
description: "Stable scenario draft IDs verified by this test. Required when multiple scenario drafts are supplied.",
|
|
116
|
+
},
|
|
111
117
|
verificationScope: {
|
|
112
118
|
type: "string",
|
|
113
119
|
enum: ["unit", "integration", "end_to_end"],
|