- Semantic model .kb/facts/FACT-TRANSPORT-STDIO.md, .kb/facts/FACT-KB-STATUS-ANNOTATION-POLICY.md +3 more
- Scenario .kb/scenarios/SCEN-002.md, .kb/scenarios/SCEN-kibi-mcp-surface.md +1 more
- Implementation packages/mcp/src/server.ts:51-87, packages/mcp/src/server/tool-types.ts:43 +89 more
- E2E test .kb/tests/TEST-001.md, .kb/tests/TEST-agent-kibi-interface-selection.md +6 more
- Evidence Passed
Requirement health · develop
Intent to proof,
without the gaps.
Kibi compiles product intent into an inspectable chain of semantics, scenarios, implementation ownership, end-to-end tests, and fresh evidence.
100%
Strict proof coverage
205 of 205 current requirements fully proven end-to-end
Kibi only counts a requirement when every required proof gate passes.
Intent → proof
Where proof stops
Counts are sequential. Each drop is the earliest unmet gate, so a strict score never looks like a broken report. Select a gate to inspect those requirements.
Requirements205
Strict proof coverage205
Missing scenarios0
Stale E2E evidence0
Contradictions0
Unmapped production symbols0
Requirements without implementation0
Proof ledger
Requirements
Each row shows independent proof stages. Missing knowledge remains visible instead of being inferred as success.
- Semantic model .kb/facts/FACT-ENTITY-TYPES-CORE-7.md, .kb/facts/FACT-ENTITY-FIELD-POLICY.md
- Scenario .kb/scenarios/SCEN-001.md, .kb/scenarios/SCEN-kibi-entity-relationship-schema-roundtrip.md
- Implementation packages/core/schema/entities.pl:3, packages/core/schema/entities.pl:3
- E2E test .kb/tests/TEST-001.md, .kb/tests/TEST-005.md +12 more
- Evidence Passed
- Semantic model .kb/facts/FACT-FIRST-CLASS-RELATIONSHIP-TYPES.md, .kb/facts/FACT-RELATIONSHIP-PROVENANCE-TIMESTAMP.md
- Scenario .kb/scenarios/SCEN-001.md, .kb/scenarios/SCEN-kibi-entity-relationship-schema-roundtrip.md
- Implementation packages/core/schema/relationships.pl:3
- E2E test .kb/tests/TEST-001.md, .kb/tests/TEST-005.md +12 more
- Evidence Passed
- Semantic model .kb/facts/FACT-AUDIT-APPEND-ONLY.md, .kb/facts/FACT-UPSERT-VALIDATION.md
- Scenario .kb/scenarios/SCEN-001.md, .kb/scenarios/SCEN-cli-config-schema-v1.md +2 more
- Implementation packages/cli/src/utils/config.ts:1-201, packages/cli/src/utils/config.ts:1-201 +21 more
- E2E test .kb/tests/TEST-001.md, .kb/tests/TEST-005.md +17 more
- Evidence Passed
- Semantic model .kb/facts/FACT-INFERENCE-DETERMINISTIC.md, .kb/facts/FACT-RAW-INFERENCE-EXPOSURE.md
- Scenario .kb/scenarios/SCEN-008.md
- Implementation packages/mcp/src/tools-config.ts:294-298
- E2E test .kb/tests/TEST-010.md, .kb/tests/TEST-kibi-change-to-proof-plan-compiler.md
- Evidence Passed
- Semantic model .kb/facts/FACT-CHECK-ENFORCEMENT-GATE.md, .kb/facts/FACT-CI-GATING-MODE.md +1 more
- Scenario .kb/scenarios/SCEN-009.md
- Implementation scripts/run-unit-coverage.ts:871-875, scripts/run-unit-coverage.ts:151-508 +29 more
- E2E test .kb/tests/TEST-006.md, .kb/tests/TEST-011.md +3 more
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-REQ015-SOURCEFILE.md, .kb/facts/FACT-PROP-REQ015-SOURCEQUERY.md
- Scenario .kb/scenarios/SCEN-001.md
- Implementation packages/cli/src/commands/query.ts:30-80
- E2E test .kb/tests/TEST-001.md, .kb/tests/TEST-005.md +11 more
- Evidence Passed
- Semantic model .kb/facts/FACT-ADR-SUPERSESSION-CHAIN.md, .kb/facts/FACT-PRED-ADR-DECISION-HISTORY-QUERY-CAPABILITY.md +1 more
- Scenario .kb/scenarios/SCEN-011.md
- Implementation packages/core/src/kb.pl:61, packages/core/src/kb.pl:59 +2 more
- E2E test .kb/tests/TEST-013.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-REQ-020-C01.md, .kb/facts/FACT-PROP-REQ-020-C02.md +11 more
- Scenario .kb/scenarios/SCEN-release-automation.md
- Implementation scripts/release-runner-fixture.ts:10-12, scripts/release-runner-fixture.ts:14-18 +37 more
- E2E test .kb/tests/TEST-014.md, .kb/tests/TEST-release-mcp-registry-visibility.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PRED-edit-snippets-decision.md, .kb/facts/FACT-PRED-edit-snippets-must-keep-true.md +6 more
- Scenario .kb/scenarios/SCEN-agent-core-edit-snippets.md
- Implementation packages/agent-core/src/snippets.ts:442-467, packages/agent-core/src/snippets.ts:200-234 +1 more
- E2E test .kb/tests/TEST-agent-core-edit-snippets.md, .kb/tests/TEST-claude-edit-snippet-hook.md +2 more
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-REQ-AGENT-GUIDED-MIGRATION-ORCHESTRATION-C01.md
- Scenario .kb/scenarios/SCEN-agent-guided-migration-orchestration.md
- Implementation packages/cli/src/commands/doctor.ts:221-231, packages/cli/src/commands/doctor.ts:403-421 +30 more
- E2E test .kb/tests/TEST-agent-guided-migration-orchestration.md, .kb/tests/TEST-coordinate-repair-capability.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-REQ-AGENT-KIBI-INTERFACE-SELECTION-C01.md, .kb/facts/FACT-PROP-REQ-AGENT-KIBI-INTERFACE-SELECTION-C02.md +2 more
- Scenario .kb/scenarios/SCEN-agent-kibi-interface-selection.md
- Implementation packages/mcp/src/server/docs.ts:286, packages/mcp/src/server/docs.ts:70-182 +7 more
- E2E test .kb/tests/TEST-agent-kibi-interface-selection.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-REQ-AUDIT-QUALITY-DIAGNOSTICS-V1-C01.md, .kb/facts/FACT-PROP-REQ-AUDIT-QUALITY-DIAGNOSTICS-V1-C02.md
- Scenario .kb/scenarios/SCEN-audit-quality-diagnostics-v1.md
- Implementation packages/cli/src/commands/discovery-table.ts:116-194, packages/cli/src/public/impact/symbol-quality-model.ts:22-27 +17 more
- E2E test .kb/tests/TEST-audit-quality-diagnostics-v1.md, .kb/tests/TEST-cli-mixed-purpose-diagnostics.md +6 more
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-AE73F1EFA515B861.md
- Scenario .kb/scenarios/SCEN-cli-staged-impact-enforcement.md
- Implementation packages/cli/src/traceability/staged-file-coverage.ts:300-409, packages/cli/src/traceability/git-staged.ts:198-297 +10 more
- E2E test .kb/tests/TEST-cli-staged-impact-enforcement.md
- Evidence Passed
- Semantic model .kb/facts/FACT-bootstrap-advisor-proposition-roles-bootstrap-roles-from-advisor.md, .kb/facts/FACT-bootstrap-advisor-proposition-roles-legacy-definition-role-accepted.md +1 more
- Scenario .kb/scenarios/SCEN-bootstrap-advisor-proposition-roles.md
- Implementation packages/cli/src/operations/semantic-advisor/proposition-role.ts:97-106, packages/cli/src/operations/semantic-advisor/proposition-role.ts:12-20 +1 more
- E2E test .kb/tests/TEST-KIBI-BOOTSTRAP-PLAN-APPLY.md, .kb/tests/TEST-kibi-bootstrap-knowledge-sources.md
- Evidence Passed
1 advisory
- Unknown Scenario Feasibility
- Semantic model .kb/facts/FACT-bootstrap-apply-long-running-async-receipt.md, .kb/facts/FACT-bootstrap-apply-long-running-dead-lock-reclaimed.md +4 more
- Scenario .kb/scenarios/SCEN-bootstrap-apply-long-running.md
- Implementation packages/mcp/src/server/tools.ts:277-304
- E2E test .kb/tests/TEST-bootstrap-apply-long-running.md
- Evidence Passed
1 advisory
- Unknown Scenario Feasibility
- Semantic model .kb/facts/FACT-bootstrap-claim-kinds-and-conflicts-conflict-facts.md, .kb/facts/FACT-bootstrap-claim-kinds-and-conflicts-hash-bound.md +2 more
- Scenario .kb/scenarios/SCEN-bootstrap-claim-kinds-and-conflicts.md
- Implementation packages/cli/src/operations/bootstrap/intent-claims.ts:271-445, packages/cli/src/operations/bootstrap/presentation.ts:126-143
- E2E test .kb/tests/TEST-kibi-bootstrap-knowledge-sources.md
- Evidence Passed
1 advisory
- Unknown Scenario Feasibility
- Semantic model .kb/facts/FACT-bootstrap-claim-name-length-distinct.md, .kb/facts/FACT-bootstrap-claim-name-length-shortened.md
- Scenario .kb/scenarios/SCEN-bootstrap-claim-name-length.md
- Implementation packages/cli/src/operations/bootstrap/requirement-claims.ts:358-392, packages/cli/src/operations/bootstrap/requirement-claims.ts:215-243 +2 more
- E2E test .kb/tests/TEST-bootstrap-claim-name-length.md
- Evidence Passed
- Semantic model .kb/facts/FACT-bootstrap-discovered-candidate-budget-generic-markdown-default.md, .kb/facts/FACT-bootstrap-discovered-candidate-budget-independent-budget.md +1 more
- Scenario .kb/scenarios/SCEN-bootstrap-discovered-candidate-budget.md
- Implementation packages/cli/src/operations/bootstrap/presentation.ts:164-178, packages/cli/src/operations/bootstrap/generate.ts:66-228 +1 more
- E2E test .kb/tests/TEST-KIBI-BOOTSTRAP-PLAN-APPLY.md
- Evidence Passed
1 advisory
- Unknown Scenario Feasibility
- Semantic model .kb/facts/FACT-bootstrap-intent-claim-accounting-authoritative-source-ready-gate.md, .kb/facts/FACT-bootstrap-intent-claim-accounting-conflicting-entity-suppression.md +3 more
- Scenario .kb/scenarios/SCEN-bootstrap-intent-claim-accounting.md
- Implementation packages/cli/src/operations/bootstrap/generate.ts:66-228, packages/cli/src/operations/bootstrap/presentation.ts:220-463 +1 more
- E2E test .kb/tests/TEST-KIBI-BOOTSTRAP-PLAN-APPLY.md
- Evidence Passed
1 advisory
- Unknown Scenario Feasibility
- Semantic model .kb/facts/FACT-bootstrap-provenance-stubs-answer-excludes.md, .kb/facts/FACT-bootstrap-provenance-stubs-meta-tagged.md +4 more
- Scenario .kb/scenarios/SCEN-bootstrap-provenance-stubs.md
- Implementation packages/cli/src/operations/bootstrap/candidates.ts:79-83, packages/cli/src/provenance-stub.ts:24-31
- E2E test .kb/tests/TEST-bootstrap-provenance-stubs.md
- Evidence Passed
- Semantic model .kb/facts/FACT-bootstrap-subject-fact-shared-one.md, .kb/facts/FACT-bootstrap-subject-fact-shared-reported.md
- Scenario .kb/scenarios/SCEN-bootstrap-subject-fact-shared.md
- Implementation packages/cli/src/operations/bootstrap/requirement-claims.ts:442-517, packages/cli/src/operations/bootstrap/generate.ts:387-504
- E2E test .kb/tests/TEST-bootstrap-subject-fact-shared.md
- Evidence Passed
- Semantic model .kb/facts/FACT-bootstrap-subject-key-shape-generated.md, .kb/facts/FACT-bootstrap-subject-key-shape-rationale-carried.md +1 more
- Scenario .kb/scenarios/SCEN-bootstrap-subject-key-shape.md
- Implementation packages/cli/src/operations/bootstrap/requirement-claims.ts:274-305
- E2E test .kb/tests/TEST-bootstrap-subject-key-shape.md
- Evidence Passed
- Semantic model .kb/facts/FACT-bootstrap-plugin-offer-bare-declined-names.md, .kb/facts/FACT-bootstrap-plugin-offer-skips-configured.md +1 more
- Scenario .kb/scenarios/SCEN-bootstrap-ui-plugin-offer.md
- Implementation packages/cli/src/operations/bootstrap/plugin-offers.ts:67-86
- E2E test .kb/tests/TEST-bootstrap-ui-plugin-offer.md
- Evidence Passed
- Semantic model .kb/facts/FACT-bootstrap-write-safety-apply-preflight.md, .kb/facts/FACT-bootstrap-write-safety-binding-failures.md +9 more
- Scenario .kb/scenarios/SCEN-bootstrap-write-safety.md
- Implementation packages/cli/src/operations/bootstrap/requirement-claims.ts:11-16, packages/cli/src/operations/bootstrap/validation.ts:8-33 +6 more
- E2E test .kb/tests/TEST-KIBI-BOOTSTRAP-PLAN-APPLY.md
- Evidence Passed
- Semantic model .kb/facts/FACT-BRANCH-CROSS-IDENTITY-MIGRATION-REFUSED.md, .kb/facts/FACT-EXACT-BRANCH-IDENTITY-SOURCE.md +8 more
- Scenario .kb/scenarios/SCEN-branch-detached-head-read-only.md, .kb/scenarios/SCEN-branch-store-recovery.md
- Implementation packages/cli/src/commands/branch.ts:45-48, packages/cli/src/commands/branch.ts:50-58 +47 more
- E2E test .kb/tests/TEST-branch-detached-head-read-only.md, .kb/tests/TEST-branch-detached-head-read-only-cli.md +2 more
- Evidence Passed
- Semantic model .kb/facts/FACT-check-policy-blocks-unreadable.md, .kb/facts/FACT-check-policy-reads-as-data.md +2 more
- Scenario .kb/scenarios/SCEN-capability-check-policy.md
- Implementation packages/cli/src/public/operations/check-policy-rules.ts:375-462, packages/cli/src/public/operations/check-policy-rules.ts:299-327 +2 more
- E2E test .kb/tests/TEST-capability-check-policy.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PRED-69D8C899BC66.md, .kb/facts/FACT-PRED-F712B793D456.md +1 more
- Scenario .kb/scenarios/SCEN-capability-plugin-host-resolution-v1.md
- Implementation packages/cli/src/plugins/resolve-package.ts:207-246, packages/cli/src/plugins/registry.ts:293-519 +21 more
- E2E test .kb/tests/TEST-capability-plugin-host-resolution-v1.md, .kb/tests/TEST-capability-plugin-protocol-v1.md +2 more
- Evidence Passed
- Semantic model .kb/facts/FACT-PRED-83F2F476AAFE.md, .kb/facts/FACT-PRED-A98E0E4498BA.md
- Scenario .kb/scenarios/SCEN-capability-plugin-host-resolution-v1.md
- Implementation packages/cli/src/extractors/symbols-coordinator.ts:184-195, packages/plugin-builtin/src/ontology/predicate-rule.ts:56 +40 more
- E2E test .kb/tests/TEST-capability-plugin-host-resolution-v1.md, .kb/tests/TEST-capability-plugin-protocol-v1.md +2 more
- Evidence Passed
- Semantic model .kb/facts/FACT-PRED-0D7C66BA043B.md, .kb/facts/FACT-PRED-3D1D5FBD7F5E.md +13 more
- Scenario .kb/scenarios/SCEN-capability-plugin-configuration-v1.md
- Implementation packages/plugin-jev/src/semantic-classifier.ts:33, packages/plugin-jev/src/semantic-classifier.ts:38 +5 more
- E2E test .kb/tests/TEST-e2e-capability-plugins.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PRED-423972ABA451.md, .kb/facts/FACT-PRED-BFAAB22DB967.md +1 more
- Scenario .kb/scenarios/SCEN-capability-plugin-jev-inactive-v1.md
- Implementation packages/plugin-jev/src/index.ts:57-65, packages/plugin-jev/src/semantic-classifier.ts:160-265 +6 more
- E2E test .kb/tests/TEST-capability-plugin-jev-mocked-v1.md, .kb/tests/TEST-e2e-capability-plugins.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PRED-2F7304AB2972.md, .kb/facts/FACT-PRED-820A58EABBF6.md +5 more
- Scenario .kb/scenarios/SCEN-capability-plugin-observable-behavior-v1.md
- Implementation packages/cli/src/plugins/external-allowlist.ts:20-24, packages/cli/src/operations/semantic-advisor/plugin-orchestration.ts:474-606 +11 more
- E2E test .kb/tests/TEST-e2e-capability-plugins.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PRED-1E92E684E956.md, .kb/facts/FACT-PRED-AA31211A7FD4.md
- Scenario .kb/scenarios/SCEN-capability-plugin-host-resolution-v1.md, .kb/scenarios/SCEN-installed-sdk-source-analysis-input-limits.md
- Implementation packages/plugin-sdk/src/define-plugin.ts:7-9, packages/plugin-sdk/src/validate.ts:123-132 +17 more
- E2E test .kb/tests/TEST-capability-plugin-host-resolution-v1.md, .kb/tests/TEST-capability-plugin-protocol-v1.md +3 more
- Evidence Passed
- Semantic model .kb/facts/FACT-PRED-20836C7ECF57.md, .kb/facts/FACT-PRED-5407B00B552E.md +2 more
- Scenario .kb/scenarios/SCEN-capability-plugin-host-resolution-v1.md
- Implementation packages/cli/src/plugins/source-analysis-service.ts:526-538, packages/cli/src/plugins/registry.ts:399-406 +14 more
- E2E test .kb/tests/TEST-capability-plugin-host-resolution-v1.md, .kb/tests/TEST-capability-plugin-protocol-v1.md +2 more
- Evidence Passed
- Semantic model .kb/facts/FACT-check-related-requirement-unmodeled-blocking.md, .kb/facts/FACT-check-related-requirement-unmodeled-ledgerless-and-superseded-skipped.md +2 more
- Scenario .kb/scenarios/SCEN-check-related-requirement-unmodeled.md
- Implementation packages/core/src/checks.pl:44
- E2E test .kb/tests/TEST-check-related-requirement-unmodeled.md
- Evidence Passed
- Semantic model .kb/facts/FACT-check-strict-pairing-predicate-grounding-v2-named-argument.md, .kb/facts/FACT-check-strict-pairing-predicate-grounding-v2-subject-key.md
- Scenario .kb/scenarios/SCEN-check-strict-pairing-predicate-grounding.md
- Implementation packages/core/src/checks.pl:2789
- E2E test .kb/tests/TEST-check-strict-pairing-predicate-grounding.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PRED-ci-kb-merge-baseline-derived-counts.md, .kb/facts/FACT-PRED-ci-kb-merge-driver-from-base.md +4 more
- Scenario .kb/scenarios/SCEN-ci-kb-merge-resolution.md
- Implementation scripts/lib/proof-baseline-diff.mjs:41-62
- E2E test .kb/tests/TEST-ci-kb-merge-resolution.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-1F67EBC2F714237E.md, .kb/facts/FACT-PROP-DB72C1F7BFAC4B5F.md +11 more
- Scenario .kb/scenarios/SCEN-claude-code-kibi-plugin-v1.md
- Implementation packages/agent-core/src/knowledge-index.ts:458-461, packages/agent-core/src/knowledge-index.ts:737-748 +69 more
- E2E test .kb/tests/TEST-claude-code-kibi-plugin-v1.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PRED-claude-hook-telemetry-acceptance-lookup-only.md, .kb/facts/FACT-PRED-claude-hook-telemetry-context-shown.md +8 more
- Scenario .kb/scenarios/SCEN-claude-hook-usage-telemetry-v2.md
- Implementation packages/agent-core/src/hook-usage-log.ts:149-156, packages/agent-core/src/hook-usage-log.ts:30-40 +6 more
- E2E test .kb/tests/TEST-claude-code-kibi-plugin-v1.md, .kb/tests/TEST-host-hook-usage-telemetry.md +3 more
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-REQ-CLI-CANONICAL-RUNTIME-C01.md, .kb/facts/FACT-PROP-REQ-CLI-CANONICAL-RUNTIME-C02.md +7 more
- Scenario .kb/scenarios/SCEN-cli-canonical-runtime.md
- Implementation packages/cli/src/commands/sync/cache.ts:81-83, packages/cli/src/operations/mutation/source-authoring.ts:298-313 +20 more
- E2E test .kb/tests/TEST-cli-canonical-runtime.md, .kb/tests/TEST-cursor-canonical-manifest.md +1 more
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-CHECK-FAILURE-EXIT-CODE.md, .kb/facts/FACT-PROP-CHECK-RULE-SELECTION.md +1 more
- Scenario .kb/scenarios/SCEN-005.md
- Implementation packages/cli/src/commands/check.ts:120-128, packages/cli/src/public/operations/check-helpers.ts:150-173 +40 more
- E2E test .kb/tests/TEST-004.md, .kb/tests/TEST-cli-check-integrity.md
- Evidence Passed
- Semantic model .kb/facts/FACT-cli-doctor-1B97E0.md, .kb/facts/FACT-cli-doctor-BD0FDB.md
- Scenario .kb/scenarios/SCEN-001.md, .kb/scenarios/SCEN-cli-doctor.md
- Implementation packages/cli/src/commands/doctor.ts:221-231, packages/cli/src/commands/doctor.ts:403-421 +23 more
- E2E test .kb/tests/TEST-001.md, .kb/tests/TEST-005.md +12 more
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-REQ-CLI-DOCTOR-PACKED-PROVENANCE-C01.md, .kb/facts/FACT-PROP-REQ-CLI-DOCTOR-PACKED-PROVENANCE-C02.md +1 more
- Scenario .kb/scenarios/SCEN-cli-doctor-packed-provenance.md
- Implementation packages/cli/src/commands/doctor.ts:221-231, packages/cli/src/commands/doctor.ts:403-421 +3 more
- E2E test .kb/tests/TEST-cli-doctor-packed-provenance.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-REQ-CLI-GC-C01.md, .kb/facts/FACT-PROP-REQ-CLI-GC-C02.md
- Scenario .kb/scenarios/SCEN-006.md
- Implementation packages/cli/src/commands/gc.ts:127-213
- E2E test .kb/tests/TEST-003.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-REQ-CLI-INIT-CANONICAL-C01.md, .kb/facts/FACT-PROP-REQ-CLI-INIT-CANONICAL-C02.md +2 more
- Scenario .kb/scenarios/SCEN-cli-canonical-init.md, .kb/scenarios/SCEN-cli-canonical-status.md
- Implementation packages/cli/src/utils/kb-paths.ts:96-105, packages/cli/src/utils/config.ts:38 +37 more
- E2E test .kb/tests/TEST-cli-canonical-init.md, .kb/tests/TEST-cli-canonical-status.md +2 more
- Evidence Passed
- Semantic model .kb/facts/FACT-cli-kb-merge-driver-applies-single-side-changes.md, .kb/facts/FACT-cli-kb-merge-driver-keeps-added-records.md +3 more
- Scenario .kb/scenarios/SCEN-cli-kb-merge-driver.md
- Implementation packages/cli/src/commands/merge-driver.ts:281-315, packages/cli/src/commands/merge-driver.ts:168-261 +1 more
- E2E test .kb/tests/TEST-cli-kb-merge-driver.md
- Evidence Passed
- Semantic model .kb/facts/FACT-cli-query-3BA695.md, .kb/facts/FACT-cli-query-92382F.md +2 more
- Scenario .kb/scenarios/SCEN-001.md
- Implementation packages/cli/src/commands/query.ts:30-80
- E2E test .kb/tests/TEST-001.md, .kb/tests/TEST-005.md +11 more
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-REQ-CLI-SCHEMA-MIGRATION-C01.md
- Scenario .kb/scenarios/SCEN-cli-migrate.md
- Implementation packages/cli/src/utils/schema-version.ts:24, packages/cli/src/commands/migrate.ts:239-252 +14 more
- E2E test .kb/tests/TEST-KIBI-BOOTSTRAP-PLAN-APPLY.md, .kb/tests/TEST-cli-migrate.md +1 more
- Evidence Passed
- Semantic model .kb/facts/FACT-cli-staged-consistency-blocks-introduced.md, .kb/facts/FACT-cli-staged-consistency-ignores-preexisting.md
- Scenario .kb/scenarios/SCEN-cli-staged-consistency.md
- Implementation packages/cli/src/commands/check.ts:666-1306, packages/cli/src/traceability/staged-consistency.ts:101-116 +2 more
- E2E test .kb/tests/TEST-cli-staged-consistency.md
- Evidence Passed
1 advisory
- Unknown Scenario Feasibility
- Semantic model .kb/facts/FACT-PROP-REQ-CLI-STAGED-IMPACT-ENFORCEMENT-C01.md
- Scenario .kb/scenarios/SCEN-cli-staged-impact-enforcement.md
- Implementation packages/cli/src/traceability/staged-impact-contract.ts:44-47, packages/cli/src/traceability/staged-impact-contract.ts:32-37 +90 more
- E2E test .kb/tests/TEST-cli-staged-impact-enforcement.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-REQ-CLI-STATUS-PRE-FIRST-SYNC-C01.md, .kb/facts/FACT-PROP-REQ-CLI-STATUS-PRE-FIRST-SYNC-C02.md
- Scenario .kb/scenarios/SCEN-cli-status-pre-first-sync.md
- Implementation packages/cli/src/commands/status.ts:10-23, packages/cli/src/public/operations/discovery-executors.ts:932-1258 +1 more
- E2E test .kb/tests/TEST-cli-status-pre-first-sync.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-REQ-CLI-USAGE-METRICS-V1-C01.md
- Scenario .kb/scenarios/SCEN-cli-usage-metrics-v1.md
- Implementation packages/cli/src/commands/usage-metrics.ts:82-116
- E2E test .kb/tests/TEST-cli-usage-metrics-v1.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-0BD2B01385484F6E.md
- Scenario .kb/scenarios/SCEN-codex-consumer-local-mcp-registration-v1.md
- Implementation packages/codex/.mcp.json:1-16
- E2E test .kb/tests/TEST-codex-consumer-local-mcp-registration-v1.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-REQ-CODEX-KIBI-PLUGIN-V1-C01.md
- Scenario .kb/scenarios/SCEN-codex-kibi-plugin-v1.md
- Implementation packages/agent-core/src/path-policy.ts:243-262, packages/agent-core/src/kb-mcp-tools.ts:137-208 +40 more
- E2E test .kb/tests/TEST-codex-kibi-plugin-v1.md
- Evidence Passed
- Semantic model .kb/facts/FACT-core-audit-logging-7CEFB9.md, .kb/facts/FACT-core-audit-logging-C227B0.md
- Scenario .kb/scenarios/SCEN-001.md
- Implementation packages/cli/src/operations/mutation/contradictions.ts:20-27, packages/cli/src/prolog.ts:364-631 +4 more
- E2E test .kb/tests/TEST-001.md, .kb/tests/TEST-005.md +11 more
- Evidence Passed
- Semantic model .kb/facts/FACT-PRED-engine-read-limits-cap.md, .kb/facts/FACT-PRED-engine-read-limits-error.md +4 more
- Scenario .kb/scenarios/SCEN-core-engine-read-limits.md
- Implementation packages/cli/src/engine-limits.ts:204-212, packages/cli/src/engine-limits.ts:143-152 +2 more
- E2E test .kb/tests/TEST-core-engine-read-limits.md, .kb/tests/TEST-core-engine-read-limits-cli.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-REQ-CORE-EXTRACTORS-C01.md, .kb/facts/FACT-PROP-REQ-CORE-EXTRACTORS-C02.md
- Scenario .kb/scenarios/SCEN-001.md
- Implementation packages/cli/src/extractors/symbols-coordinator.ts:85-89, packages/cli/src/extractors/manifest.ts:35-50 +53 more
- E2E test .kb/tests/TEST-001.md, .kb/tests/TEST-005.md +11 more
- Evidence Passed
- Semantic model .kb/facts/FACT-JOURNALED-ENGINE-SINGLE-WRITER.md, .kb/facts/FACT-JOURNALED-ENGINE-PROTOCOL.md +3 more
- Scenario .kb/scenarios/SCEN-core-journaled-engine-delta-sync.md, .kb/scenarios/SCEN-core-journaled-engine-lifecycle.md +1 more
- Implementation packages/cli/src/prolog.ts:162-1309, packages/cli/src/commands/sync/staging.ts:246-266 +123 more
- E2E test .kb/tests/TEST-core-journaled-engine-delta-sync.md, .kb/tests/TEST-core-journaled-engine-lifecycle.md +1 more
- Evidence Passed
- Semantic model .kb/facts/FACT-core-prolog-process-management-00ED72.md, .kb/facts/FACT-core-prolog-process-management-5009E0.md +4 more
- Scenario .kb/scenarios/SCEN-001.md
- Implementation packages/cli/src/operations/mutation/contradictions.ts:20-27, packages/cli/src/prolog/error-terms.ts:36-43 +28 more
- E2E test .kb/tests/TEST-001.md, .kb/tests/TEST-005.md +11 more
- Evidence Passed
- Semantic model .kb/facts/FACT-core-validation-rules-5171BD.md, .kb/facts/FACT-core-validation-rules-CA4929.md +1 more
- Scenario .kb/scenarios/SCEN-001.md
- Implementation packages/mcp/src/tools/check.ts:35-57, packages/cli/src/utils/prolog-query-plan-safety.ts:1-6 +9 more
- E2E test .kb/tests/TEST-001.md, .kb/tests/TEST-005.md +11 more
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-REQ-CURSOR-AGENT-PLUGIN-STANDARD-V1-N01.md, .kb/facts/FACT-PROP-REQ-CURSOR-AGENT-PLUGIN-STANDARD-V1-N02.md +3 more
- Scenario .kb/scenarios/SCEN-cursor-agent-plugin-v1.md
- Implementation packages/cursor/scripts/build-agent-plugin.ts:67-69, packages/cursor/scripts/build-agent-plugin.ts:190-205 +9 more
- E2E test .kb/tests/TEST-cursor-agent-plugin-v1.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PRED-270BA8568B7D.md, .kb/facts/FACT-PRED-A506C5EA5D79.md +4 more
- Scenario .kb/scenarios/SCEN-cursor-consumer-local-mcp-launcher-v1.md
- Implementation packages/cursor/bin/launch-kibi-mcp.d.mts:11-14, packages/cursor/bin/launch-kibi-mcp.d.mts:28 +24 more
- E2E test .kb/tests/TEST-cursor-consumer-local-mcp-launcher-v1.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-REQ-CURSOR-KIBI-PLUGIN-V1-C01.md
- Scenario .kb/scenarios/SCEN-cursor-kibi-plugin-v1.md
- Implementation packages/agent-core/src/kb-mcp-tools.ts:118-122, packages/agent-core/src/kb-mcp-tools.ts:125 +61 more
- E2E test .kb/tests/TEST-cursor-kibi-plugin-v1.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-REQ-CURSOR-STOP-JOB-VS-PLAN-C01.md, .kb/facts/FACT-PROP-REQ-CURSOR-STOP-JOB-VS-PLAN-C02.md +2 more
- Scenario .kb/scenarios/SCEN-cursor-stop-job-vs-plan.md
- Implementation packages/cursor/src/hook-input.ts:11-20, packages/cursor/src/hook-state.ts:23-34 +7 more
- E2E test .kb/tests/TEST-cursor-stop-job-vs-plan.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-REQ-CURSOR-WORKTREE-KIBI-CONTINUITY-C01.md
- Scenario .kb/scenarios/SCEN-cursor-worktree-kibi-continuity.md
- Implementation packages/cursor/src/guidance.ts:12-25, packages/cursor/src/kb-mcp-tools.ts:16 +9 more
- E2E test .kb/tests/TEST-cursor-worktree-kibi-continuity.md
- Evidence Passed
- Semantic model .kb/facts/FACT-docs-landing-llm-index.md, .kb/facts/FACT-docs-llm-index-pages.md +1 more
- Scenario .kb/scenarios/SCEN-docs-readme-published-links.md
- Implementation docs-site/catalog.ts:72-237, docs-site/catalog.ts:11-20 +15 more
- E2E test .kb/tests/TEST-docs-readme-published-links.md
- Evidence Passed
- Semantic model .kb/facts/FACT-docs-site-analytics-default-off.md, .kb/facts/FACT-docs-site-analytics-host.md +1 more
- Scenario .kb/scenarios/SCEN-docs-site-analytics.md
- Implementation docs-site/catalog.ts:40, docs-site/catalog.ts:38 +3 more
- E2E test .kb/tests/TEST-docs-site-pages.md
- Evidence Passed
- Semantic model .kb/facts/FACT-DOCS-SITE-BROKEN-LINK-POLICY.md, .kb/facts/FACT-docs-site-report-path.md +2 more
- Scenario .kb/scenarios/SCEN-docs-site-pages.md
- Implementation docs-site/catalog.ts:56-62, docs-site/catalog.ts:66 +12 more
- E2E test .kb/tests/TEST-docs-site-pages.md
- Evidence Passed
- Semantic model .kb/facts/FACT-docs-site-terminal-demo-generated.md, .kb/facts/FACT-docs-site-terminal-demo-shared.md
- Scenario .kb/scenarios/SCEN-docs-site-terminal-demo.md
- Implementation docs-site/terminal-demo.ts:67, docs-site/terminal-demo.ts:168-170 +4 more
- E2E test .kb/tests/TEST-docs-site-pages.md
- Evidence Passed
1 advisory
- Unknown Scenario Feasibility
- Semantic model .kb/facts/FACT-engine-daemon-package-versions-doctor-reports.md, .kb/facts/FACT-engine-daemon-package-versions-handshake-reports.md +2 more
- Scenario .kb/scenarios/SCEN-engine-daemon-package-versions.md
- Implementation packages/cli/src/engine.ts:934-1583, packages/cli/src/engine.ts:1932-2716 +3 more
- E2E test .kb/tests/TEST-engine-daemon-package-versions.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-REQ-GENERATED-COORDINATE-PERSISTENCE-C01.md
- Scenario .kb/scenarios/SCEN-generated-coordinate-repair.md
- Implementation packages/cli/src/operations/mutation/symbol-refresh.ts:55-60, packages/cli/src/extractors/symbol-coordinates.ts:25-28 +33 more
- E2E test .kb/tests/TEST-generated-coordinate-repair.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PRED-57617C97AE46.md, .kb/facts/FACT-PRED-9941160A203B.md
- Scenario .kb/scenarios/SCEN-git-hook-effective-install.md
- Implementation packages/cli/src/commands/init-helpers.ts:463-466, packages/cli/src/utils/git-repository-context.ts:183-332 +5 more
- E2E test .kb/tests/TEST-git-hook-effective-install.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PRED-1D7F5E553F97.md, .kb/facts/FACT-PRED-EBFEFF1CF787.md
- Scenario .kb/scenarios/SCEN-git-hook-sync-v2.md
- Implementation packages/cli/src/commands/init-helpers.ts:513-562, packages/cli/src/commands/init-helpers.ts:386-461
- E2E test .kb/tests/TEST-006.md
- Evidence Passed
- Semantic model .kb/facts/FACT-RULE-098040AC7C39E841.md, .kb/facts/FACT-RULE-15D61E3C996A067D.md +17 more
- Scenario .kb/scenarios/SCEN-impact-policy-stage-e-installed-consumer.md
- Implementation packages/cli/src/commands/check.ts:666-1306, packages/cli/src/commands/check-generated.ts:131-295 +56 more
- E2E test .kb/tests/TEST-impact-policy-stage-e-installed-e2e.md
- Evidence Passed
- Semantic model .kb/facts/FACT-RULE-0C1F437C6BA88128.md, .kb/facts/FACT-RULE-1971D21439829865.md +7 more
- Scenario .kb/scenarios/SCEN-impact-review-public-preparation.md
- Implementation packages/cli/src/public/operations/impact-review-preparation.ts:480-548, packages/cli/src/public/operations/specs/impact-review-preparation.ts:4-46 +2 more
- E2E test .kb/tests/TEST-impact-policy-stage-e-installed-e2e.md, .kb/tests/TEST-impact-public-preparation-parity.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-BCA118229F196747.md
- Scenario .kb/scenarios/SCEN-installed-staged-impact-timing-integrity.md
- Implementation packages/cli/src/performance-trace.ts:14, packages/cli/src/performance-trace.ts:13 +9 more
- E2E test .kb/tests/TEST-installed-staged-impact-timing-integrity.md
- Evidence Passed
- Semantic model .kb/facts/FACT-kb-decision-firmness-acknowledgement-only-for-migrated-ids.md, .kb/facts/FACT-kb-decision-firmness-firm-superseded-reported.md +3 more
- Scenario .kb/scenarios/SCEN-kb-decision-firmness.md
- Implementation packages/cli/src/operations/migration/supersedes-reason.ts:86-105, packages/cli/src/public/operations/decision-firmness.ts:86-120 +7 more
- E2E test .kb/tests/TEST-kb-decision-firmness.md
- Evidence Passed
- Semantic model .kb/facts/FACT-kb-entity-body-context-check-limited-to-context-types.md, .kb/facts/FACT-kb-entity-body-context-migrations-preserve-bodies.md +2 more
- Scenario .kb/scenarios/SCEN-kb-entity-body-context.md
- Implementation packages/cli/src/operations/migration/entity-body-context.ts:275-280, packages/cli/src/entity-body-context.ts:309-327 +2 more
- E2E test .kb/tests/TEST-kb-entity-body-context.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-BOOTSTRAP-SOURCES-ACCESS.md, .kb/facts/FACT-PROP-BOOTSTRAP-SOURCES-GROUNDED.md +6 more
- Scenario .kb/scenarios/SCEN-kibi-bootstrap-knowledge-sources.md
- Implementation packages/cli/src/operations/bootstrap/generate.ts:28-35, packages/cli/src/operations/bootstrap/guidance.ts:98-169 +6 more
- E2E test .kb/tests/TEST-kibi-bootstrap-knowledge-sources.md
- Evidence Passed
- Semantic model .kb/facts/FACT-KIBI-BOOTSTRAP-CLAUSE-02.md, .kb/facts/FACT-KIBI-BOOTSTRAP-CLAUSE-03.md +7 more
- Scenario .kb/scenarios/SCEN-KIBI-BOOTSTRAP-PLAN-APPROVAL.md
- Implementation packages/cli/src/operations/planning/apply-plan.ts:245-261, packages/cli/src/public/operations/specs/bootstrap.ts:19-238 +57 more
- E2E test .kb/tests/TEST-KIBI-BOOTSTRAP-PLAN-APPLY.md, .kb/tests/TEST-kibi-change-to-proof-plan-compiler.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PRED-6D2DA8F7F701.md, .kb/facts/FACT-PRED-8F2A30505648.md +5 more
- Scenario .kb/scenarios/SCEN-kibi-branded-health-report.md
- Implementation packages/cli/src/report/brand.ts:97-128, packages/cli/src/report/brand.ts:32-34 +7 more
- E2E test .kb/tests/TEST-kibi-branded-health-report.md
- Evidence Passed
- Semantic model .kb/facts/FACT-REQ-PROOF-EVALUATION-FIXTURES.md
- Scenario .kb/scenarios/SCEN-kibi-change-to-proof-evaluation.md
- Implementation scripts/change-to-proof-eval.ts:60-65, scripts/change-to-proof-eval.ts:93-99 +16 more
- E2E test .kb/tests/TEST-kibi-change-to-proof-evaluation.md, .kb/tests/TEST-kibi-change-to-proof-evaluation-live.md
- Evidence Passed
- Semantic model .kb/facts/FACT-REQ-PROOF-PLAN-LEDGER.md, .kb/facts/FACT-PRED-plan-apply-all-or-nothing.md +5 more
- Scenario .kb/scenarios/SCEN-kibi-change-to-proof-plan-compiler.md, .kb/scenarios/SCEN-kibi-plan-apply-atomic.md
- Implementation packages/cli/src/operations/planning/apply-plan.ts:233-243, packages/cli/src/utils/canonical-path.ts:5-29 +20 more
- E2E test .kb/tests/TEST-e2e-plan-compiler-hash.md, .kb/tests/TEST-kibi-change-to-proof-plan-compiler.md +2 more
- Evidence Passed
- Semantic model .kb/facts/FACT-PRED-compile-intent-drafts-applicable.md, .kb/facts/FACT-PRED-conditional-authoring-below-threshold.md +3 more
- Scenario .kb/scenarios/SCEN-kibi-conditional-feasibility.md, .kb/scenarios/SCEN-kibi-conditional-requirement-authoring.md
- Implementation packages/cli/src/operations/semantic-advisor/conditional-rules.ts:237-329
- E2E test .kb/tests/TEST-kibi-conditional-feasibility.md, .kb/tests/TEST-kibi-conditional-feasibility-cli.md +1 more
- Evidence Passed
- Semantic model .kb/facts/FACT-REQ-PROOF-SEPARATE-STATUS.md, .kb/facts/FACT-REQ-PROOF-COMPLETE-LEDGER.md +9 more
- Scenario .kb/scenarios/SCEN-kibi-conservative-requirement-proof.md
- Implementation packages/cli/src/commands/discovery-table.ts:116-194, packages/cli/src/operations/mutation/serialization.ts:59-67 +16 more
- E2E test .kb/tests/TEST-e2e-coverage-proof-status.md, .kb/tests/TEST-kibi-conservative-requirement-proof.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PRED-073AC8A66AD6.md, .kb/facts/FACT-PRED-27F6945747CB.md +4 more
- Scenario .kb/scenarios/SCEN-kibi-consumer-local-plugin-launcher-ontology-v1.md
- Implementation packages/cursor/bin/launch-kibi-mcp.mjs:340-411, packages/cursor/bin/launch-kibi-mcp.mjs:64-90 +2 more
- E2E test .kb/tests/TEST-kibi-consumer-local-plugin-launcher-ontology-v1.md
- Evidence Passed
- Semantic model .kb/facts/FACT-REPAIR-PLAN-READ-ONLY.md, .kb/facts/FACT-REPAIR-PLAN-DEPENDENCY-ORDER.md +6 more
- Scenario .kb/scenarios/SCEN-kibi-dependency-ordered-repair-plan.md
- Implementation packages/cli/src/commands/discovery-table.ts:116-194, packages/cli/src/public/operations/repair-plan.ts:388-494 +19 more
- E2E test .kb/tests/TEST-coordinate-repair-capability.md, .kb/tests/TEST-kibi-dependency-ordered-repair-plan.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PARITY-RUNTIME-SET.md, .kb/facts/FACT-PARITY-FIXTURE-SET.md +9 more
- Scenario .kb/scenarios/SCEN-kibi-distribution-parity-matrix.md
- Implementation packages/cli/src/public/distribution-parity.ts:354-556, packages/cli/src/public/distribution-parity.ts:283-309 +21 more
- E2E test .kb/tests/TEST-kibi-distribution-parity-matrix.md
- Evidence Passed
- Semantic model .kb/facts/FACT-DOMAIN-IMPLICATION-IMPLIED-BOUND.md, .kb/facts/FACT-DOMAIN-REDUNDANCY-IDENTICAL-TERM.md +2 more
- Scenario .kb/scenarios/SCEN-kibi-domain-redundancy.md
- Implementation packages/core/src/semantic_quality.pl:29, packages/core/src/semantic_quality.pl:27
- E2E test .kb/tests/TEST-kibi-domain-redundancy.md, .kb/tests/TEST-kibi-vocabulary-convergence-e2e.md
- Evidence Passed
- Semantic model .kb/facts/FACT-ENTITY-ID-STYLE-LEGACY-EXEMPT.md, .kb/facts/FACT-ENTITY-ID-STYLE-NEW-NUMERIC-ID.md +1 more
- Scenario .kb/scenarios/SCEN-kibi-entity-id-style.md
- Implementation packages/core/src/semantic_quality.pl:25, packages/cli/src/utils/entity-id-style.ts:71-94
- E2E test .kb/tests/TEST-kibi-entity-id-style.md, .kb/tests/TEST-kibi-vocabulary-convergence-e2e.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PRED-entity-origin-agent-default.md, .kb/facts/FACT-PRED-entity-origin-approval-advisories.md +4 more
- Scenario .kb/scenarios/SCEN-kibi-entity-origin.md
- Implementation packages/cli/src/public/entity-origin.ts:110-157, packages/cli/src/operations/mutation/origin.ts:53-83 +1 more
- E2E test .kb/tests/TEST-kibi-entity-origin.md, .kb/tests/TEST-kibi-entity-origin-cli.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-ENV-BOOTSTRAP-BLANK.md, .kb/facts/FACT-PROP-ENV-BOOTSTRAP-DOCTOR-REPORT.md +7 more
- Scenario .kb/scenarios/SCEN-kibi-env-bootstrap.md
- Implementation packages/cli/src/env/bootstrap.ts:92-94, packages/cli/src/env/bootstrap.ts:390-424 +9 more
- E2E test .kb/tests/TEST-cli-doctor-env-bootstrap.md, .kb/tests/TEST-cli-env-bootstrap.md +1 more
- Evidence Passed
- Semantic model .kb/facts/FACT-VERIFICATION-RECEIPT-AGGREGATE-FALLBACK.md, .kb/facts/FACT-VERIFICATION-RECEIPT-BINDING.md +10 more
- Scenario .kb/scenarios/SCEN-kibi-fresh-verification-receipts.md, .kb/scenarios/SCEN-kibi-proof-receipt-compaction.md +1 more
- Implementation packages/cli/src/extractors/manifest.ts:578-581, packages/cli/src/public/proof-receipt.ts:476-500 +25 more
- E2E test .kb/tests/TEST-cli-workspace-snapshot-dirtiness.md, .kb/tests/TEST-e2e-snapshot-relevance.md +3 more
- Evidence Passed
- Semantic model .kb/facts/FACT-PRED-6CA8CA948767.md, .kb/facts/FACT-PRED-6F1882AB9A88.md +11 more
- Scenario .kb/scenarios/SCEN-kibi-github-report-integration.md
- Implementation packages/cli/src/commands/github-init.ts:37, packages/cli/src/commands/github-init.ts:35 +23 more
- E2E test .kb/tests/TEST-kibi-github-report-e2e.md, .kb/tests/TEST-kibi-github-report-integration.md
- Evidence Passed
- Semantic model .kb/facts/FACT-HOOKS-FLOW-MANIFEST-INDEXED.md, .kb/facts/FACT-HOOKS-MANIFEST-STATE-REPORTED.md +2 more
- Scenario .kb/scenarios/SCEN-kibi-hooks-flow-manifest.md
- Implementation packages/agent-core/src/knowledge-index.ts:530-545, packages/agent-core/src/knowledge-index.ts:104-223 +3 more
- E2E test .kb/tests/TEST-kibi-hooks-flow-manifest.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PRED-5B296D9EA88F.md, .kb/facts/FACT-PRED-775E3CA717FB.md +4 more
- Scenario .kb/scenarios/SCEN-kibi-html-health-report.md
- Implementation packages/cli/src/report/html-report.ts:56-60, packages/cli/src/report/html-report.ts:62-68 +28 more
- E2E test .kb/tests/TEST-kibi-html-health-report.md
- Evidence Passed
- Semantic model .kb/facts/FACT-REQ-PROOF-INTENT-RANKED-EVIDENCE.md, .kb/facts/FACT-REQ-PROOF-INTENT-EXPLICIT-UNCERTAINTY.md
- Scenario .kb/scenarios/SCEN-kibi-intent-aware-source-discovery.md
- Implementation packages/cli/src/intent-search.ts:886-942, packages/cli/src/intent-search.ts:54-58 +11 more
- E2E test .kb/tests/TEST-kibi-intent-aware-source-discovery.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PRED-kb-lifecycle-cycle-once.md, .kb/facts/FACT-PRED-kb-lifecycle-migrate-closes.md +4 more
- Scenario .kb/scenarios/SCEN-kibi-kb-lifecycle-integrity.md
- Implementation packages/cli/src/public/operations/schema6-check-actions.ts:147-176, packages/cli/src/public/operations/schema6-check-actions.ts:276-311 +8 more
- E2E test .kb/tests/TEST-kibi-kb-lifecycle-integrity.md
- Evidence Passed
- Semantic model .kb/facts/FACT-LEGACY-MIGRATION-OPT-IN.md, .kb/facts/FACT-LEGACY-MIGRATION-READY-SCOPE.md +9 more
- Scenario .kb/scenarios/SCEN-kibi-legacy-migration-preview-v2.md
- Implementation packages/core/schema/entities.pl:3, packages/cli/src/public/operations/legacy-migration-plan.ts:515-656 +16 more
- E2E test .kb/tests/TEST-kibi-legacy-migration-preview-v2.md
- Evidence Passed
- Semantic model .kb/facts/FACT-LOGICAL-COVERAGE-ATOMIC-CLAUSE.md, .kb/facts/FACT-LOGICAL-COVERAGE-POLARITY-CONFLICT.md +9 more
- Scenario .kb/scenarios/SCEN-kibi-logical-requirement-coverage.md
- Implementation packages/cli/src/operations/semantic-advisor/clauses.ts:3-9, packages/cli/src/operations/semantic-advisor/types.ts:14-18 +73 more
- E2E test .kb/tests/TEST-kibi-logical-requirement-coverage.md, .kb/tests/TEST-kibi-proposition-complete-ingestion.md
- Evidence Passed
- Semantic model .kb/facts/FACT-MCP-OPTIONAL-TOOLS-ENV-GATED.md, .kb/facts/FACT-MCP-SIXTEEN-TOOLS-COMPOSITE-PARITY.md +1 more
- Scenario .kb/scenarios/SCEN-kibi-mcp-tool-consolidation.md
- Implementation packages/mcp/src/tools-config.ts:294-298, packages/cli/src/public/operations/specs/composite.ts:99-175 +2 more
- E2E test .kb/tests/TEST-kibi-mcp-tool-consolidation.md
- Evidence Passed
- Semantic model .kb/facts/FACT-ONTOLOGY-SCHEMA-DISCOVERY.md, .kb/facts/FACT-ONTOLOGY-EXACT-BINDINGS.md +2 more
- Scenario .kb/scenarios/SCEN-kibi-ontology-convergence-witnesses.md
- Implementation packages/core/src/checks.pl:31, packages/core/src/requirement_proof.pl:83 +5 more
- E2E test .kb/tests/TEST-kibi-ontology-convergence-witnesses.md
- Evidence Passed
- Semantic model .kb/facts/FACT-ONTOLOGY-QUALITY-MINIMUM-FACTS.md, .kb/facts/FACT-ONTOLOGY-QUALITY-SINGLETON-ARGUMENTS.md
- Scenario .kb/scenarios/SCEN-kibi-ontology-quality.md
- Implementation packages/core/src/semantic_quality.pl:32, packages/cli/src/commands/aggregated-checks.ts:28-42
- E2E test .kb/tests/TEST-kibi-domain-redundancy.md, .kb/tests/TEST-kibi-vocabulary-convergence-e2e.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-PARITY-ALIGNMENT.md, .kb/facts/FACT-PROP-PARITY-CATALOG.md +1 more
- Scenario .kb/scenarios/SCEN-kibi-operation-interface-parity.md
- Implementation packages/cli/src/cli-errors.ts:4, packages/cli/src/cli-errors.ts:19 +286 more
- E2E test .kb/tests/TEST-kibi-change-to-proof-plan-compiler.md, .kb/tests/TEST-kibi-operation-interface-parity.md +1 more
- Evidence Passed
- Semantic model .kb/facts/FACT-VOCABULARY-SUGGEST-BINDS-ALIAS.md, .kb/facts/FACT-VOCABULARY-SUGGEST-LEAVES-UNDECLARED.md +2 more
- Scenario .kb/scenarios/SCEN-kibi-predicate-argument-constants.md
- Implementation packages/cli/src/operations/mutation/predicate-vocabulary-guard.ts:42-111, packages/cli/src/operations/modeling/predicate-vocabulary.ts:213-233 +2 more
- E2E test .kb/tests/TEST-kibi-predicate-vocabulary.md, .kb/tests/TEST-kibi-predicate-vocabulary-migration-e2e.md
- Evidence Passed
- Semantic model .kb/facts/FACT-CONFORMANCE-BUILTIN-EXEMPT.md, .kb/facts/FACT-CONFORMANCE-MISSING-SCHEMA.md +1 more
- Scenario .kb/scenarios/SCEN-kibi-predicate-schema-conformance.md
- Implementation packages/cli/src/public/operations/predicate-schema-conformance.ts:357-362, packages/cli/src/public/operations/predicate-schema-conformance.ts:194-307
- E2E test .kb/tests/TEST-kibi-predicate-vocabulary.md, .kb/tests/TEST-kibi-predicate-vocabulary-migration-e2e.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-60F32F10D6BCB433.md, .kb/facts/FACT-PROP-6CB6EAF6F48DC108.md +10 more
- Scenario .kb/scenarios/SCEN-kibi-predicate-suggestion-relevance-v1.md
- Implementation packages/cli/src/operations/modeling/predicate-ranker.ts:171-253, packages/cli/src/operations/modeling/predicate-bindings.ts:380-390 +22 more
- E2E test .kb/tests/TEST-kibi-predicate-suggestion-relevance-v1.md
- Evidence Passed
- Semantic model .kb/facts/FACT-MIGRATION-ALIAS-REWRITE.md, .kb/facts/FACT-MIGRATION-AMBIGUOUS-REVIEW.md +2 more
- Scenario .kb/scenarios/SCEN-kibi-predicate-vocabulary-migration.md
- Implementation packages/cli/src/operations/planning/apply-plan.ts:2907-2969, packages/cli/src/public/operations/migration-plan.ts:460-532
- E2E test .kb/tests/TEST-kibi-predicate-vocabulary.md, .kb/tests/TEST-kibi-predicate-vocabulary-migration-e2e.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-REQ-KIBI-PROOF-AWARE-QUALITY-DIAGNOSTICS-C01.md, .kb/facts/FACT-PROP-REQ-KIBI-PROOF-AWARE-QUALITY-DIAGNOSTICS-C02.md +1 more
- Scenario .kb/scenarios/SCEN-kibi-proof-aware-quality-diagnostics.md
- Implementation packages/cli/src/public/operations/check-helpers.ts:52-81
- E2E test .kb/tests/TEST-kibi-proof-aware-quality-diagnostics.md
- Evidence Passed
- Semantic model .kb/facts/FACT-INGESTION-REJECTS-OMISSION.md, .kb/facts/FACT-INGESTION-SOURCE-BOUND.md +4 more
- Scenario .kb/scenarios/SCEN-kibi-proposition-complete-ingestion.md
- Implementation packages/cli/src/operations/semantic-advisor/types.ts:213-246, packages/cli/src/operations/semantic-advisor/analyze-prose.ts:929-994 +37 more
- E2E test .kb/tests/TEST-kibi-proposition-complete-ingestion.md
- Evidence Passed
- Semantic model .kb/facts/FACT-QUERY-FACT-QUERY-BLOCK.md, .kb/facts/FACT-QUERY-TYPED-FACT-QUESTIONS.md +2 more
- Scenario .kb/scenarios/SCEN-kibi-query-fact-filters.md
- Implementation packages/cli/src/search-answer.ts:317-358, packages/core/src/discovery.pl:19 +7 more
- E2E test .kb/tests/TEST-kibi-query-fact-filters.md
- Evidence Passed
- Semantic model .kb/facts/FACT-RESTATES-KEEPS-CURRENT.md, .kb/facts/FACT-RESTATES-REQ-TO-REQ.md
- Scenario .kb/scenarios/SCEN-kibi-restates-relationship.md
- Implementation packages/core/src/semantic_quality.pl:181
- E2E test .kb/tests/TEST-kibi-domain-redundancy.md, .kb/tests/TEST-kibi-vocabulary-convergence-e2e.md
- Evidence Passed
- Semantic model .kb/facts/FACT-kibi-review-observation-claim-text-review-note-claim-text-without-key.md, .kb/facts/FACT-kibi-review-observation-claim-text-v2-grounding-fact-claim-key-derived.md +1 more
- Scenario .kb/scenarios/SCEN-kibi-review-observation-claim-text.md
- Implementation packages/cli/src/operations/semantic-advisor/clauses.ts:77-88
- E2E test .kb/tests/TEST-kibi-upsert-review-lanes.md
- Evidence Passed
1 advisory
- Unknown Scenario Feasibility
- Semantic model .kb/facts/FACT-PRED-exception-claim-keys-violation.md, .kb/facts/FACT-PRED-scenario-feasibility-exception-waiver.md +9 more
- Scenario .kb/scenarios/SCEN-kibi-conditional-feasibility.md, .kb/scenarios/SCEN-kibi-scenario-feasibility.md
- Implementation packages/core/src/checks.pl:22, packages/core/src/requirement_proof.pl:84
- E2E test .kb/tests/TEST-kibi-conditional-feasibility.md, .kb/tests/TEST-kibi-conditional-feasibility-cli.md +1 more
- Evidence Passed
- Semantic model .kb/facts/FACT-migration-schema7-idempotent.md, .kb/facts/FACT-migration-schema7-init.md +8 more
- Scenario .kb/scenarios/SCEN-kibi-schema6-migration.md
- Implementation packages/cli/src/commands/migrate.ts:490-887, packages/cli/src/operations/migration/schema6.ts:490-701
- E2E test .kb/tests/TEST-kibi-schema6-migration.md, .kb/tests/TEST-kibi-schema6-migration-cli.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PRED-search-answer-adr-excerpt.md, .kb/facts/FACT-PRED-search-answer-ceiling-priority.md +7 more
- Scenario .kb/scenarios/SCEN-kibi-search-answer-layer.md, .kb/scenarios/SCEN-kibi-search-answer-verdicts.md
- Implementation packages/cli/src/search-answer.ts:851-1176, packages/cli/src/public/operations/discovery-executors.ts:795-930 +3 more
- E2E test .kb/tests/TEST-kibi-search-answer-layer.md, .kb/tests/TEST-kibi-search-answer-verdicts.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PRED-search-gold-set-asked-in-ci.md, .kb/facts/FACT-PRED-search-gold-set-fails-closed.md +3 more
- Scenario .kb/scenarios/SCEN-kibi-search-gold-set-gate.md
- Implementation scripts/change-to-proof-eval.ts:795-827, scripts/change-to-proof-eval.ts:890-908 +1 more
- E2E test .kb/tests/TEST-kibi-search-gold-set-gate.md, .kb/tests/TEST-kibi-search-gold-set-gate-cli.md
- Evidence Passed
- Semantic model .kb/facts/FACT-SOURCE-PARITY-AUTHORED-BLOCK.md, .kb/facts/FACT-SOURCE-PARITY-DISCOVERY-BLOCK.md +3 more
- Scenario .kb/scenarios/SCEN-kibi-source-relationship-parity.md
- Implementation packages/cli/src/public/operations/source-relationship-parity.ts:181-242, packages/cli/src/public/operations/source-relationship-parity.ts:32-91 +3 more
- E2E test .kb/tests/TEST-cli-source-relationship-parity-unit.md, .kb/tests/TEST-kibi-source-relationship-parity.md
- Evidence Passed
- Semantic model .kb/facts/FACT-MODELING-SUBJECT-DECLARE-NEW.md, .kb/facts/FACT-MODELING-SUBJECT-REUSE.md +2 more
- Scenario .kb/scenarios/SCEN-kibi-subject-vocabulary.md
- Implementation packages/cli/src/operations/modeling/vocabulary-alignment.ts:193-296, packages/core/src/semantic_quality.pl:30 +1 more
- E2E test .kb/tests/TEST-kibi-vocabulary-alignment-capability.md, .kb/tests/TEST-kibi-vocabulary-convergence-e2e.md +1 more
- Evidence Passed
- Semantic model .kb/facts/FACT-PRED-013AE2CA693B.md, .kb/facts/FACT-PRED-2F0C934215A2.md +12 more
- Scenario .kb/scenarios/SCEN-kibi-telemetry-acceptance-gate.md, .kb/scenarios/SCEN-kibi-telemetry-lookup-before-first-edit.md
- Implementation packages/cli/src/public/operations/result-envelope.ts:316-326, packages/cli/src/public/impact/full-kb-quality.ts:760-796 +24 more
- E2E test .kb/tests/TEST-kibi-telemetry-acceptance-gate.md, .kb/tests/TEST-kibi-telemetry-lookup-before-first-edit.md +2 more
- Evidence Passed
- Semantic model .kb/facts/FACT-TELEM-CLI-LOGGING.md, .kb/facts/FACT-TELEM-MCP-LOGGING.md +9 more
- Scenario .kb/scenarios/SCEN-kibi-telemetry-remediation-evidence.md
- Implementation packages/cli/src/public/operations/result-envelope.ts:264-269, packages/cli/src/public/operations/result-envelope.ts:316-326 +19 more
- E2E test .kb/tests/TEST-kibi-telemetry-remediation-evidence.md
- Evidence Passed
- Semantic model .kb/facts/FACT-CONSISTENCY-NUMERIC-EXACT.md, .kb/facts/FACT-CONSISTENCY-RULE-CONFLICT-THREE-VALUED.md +1 more
- Scenario .kb/scenarios/SCEN-kibi-truthful-consistency.md
- Implementation packages/core/src/intervals.pl:14, packages/core/src/requirement_proof.pl:83 +1 more
- E2E test .kb/tests/TEST-kibi-truthful-consistency.md
- Evidence Passed
- Semantic model .kb/facts/FACT-UNIT-AUTHORED-VALUE-UNCHANGED.md, .kb/facts/FACT-UNIT-KNOWN-FAMILY-BASE-UNIT.md +1 more
- Scenario .kb/scenarios/SCEN-kibi-unit-canonicalization.md
- Implementation packages/core/src/units.pl:14
- E2E test .kb/tests/TEST-kibi-domain-redundancy.md, .kb/tests/TEST-kibi-vocabulary-convergence-e2e.md +1 more
- Evidence Passed
- Semantic model .kb/facts/FACT-kibi-upsert-preserves-requirement-semantics-checks-supplied-ledger-as-sent.md, .kb/facts/FACT-kibi-upsert-preserves-requirement-semantics-keeps-stored-ledger-without-prose-change.md
- Scenario .kb/scenarios/SCEN-kibi-upsert-preserves-requirement-semantics.md
- Implementation packages/cli/src/operations/mutation/requirement-semantics.ts:57-91, packages/cli/src/operations/mutation/stored-entity.ts:43-69
- E2E test .kb/tests/TEST-kibi-upsert-review-lanes.md
- Evidence Passed
1 advisory
- Unknown Scenario Feasibility
- Semantic model .kb/facts/FACT-REQ-PROOF-VERIFICATION-CASE-PROOF.md, .kb/facts/FACT-REQ-PROOF-VERIFICATION-NON-PROOF-OUTCOMES.md
- Scenario .kb/scenarios/SCEN-e2e-proof-all-bounded-projection.md, .kb/scenarios/SCEN-kibi-verification-evidence-contract.md
- Implementation scripts/ci-proof-reuse.ts:87-208, scripts/ci-proof-reuse.ts:65-72 +123 more
- E2E test .kb/tests/TEST-e2e-proof-all-bounded-projection.md, .kb/tests/TEST-e2e-proof-maintenance-ops.md +5 more
- Evidence Passed
- Semantic model .kb/facts/FACT-VOCABULARY-ALIGNMENT-BUILTIN-OFFLINE.md, .kb/facts/FACT-VOCABULARY-ALIGNMENT-KB-CHECK-DENY.md +2 more
- Scenario .kb/scenarios/SCEN-kibi-vocabulary-alignment-capability.md
- Implementation packages/cli/src/operations/modeling/vocabulary-alignment.ts:193-296, packages/cli/src/plugins/compose-vocabulary-alignment.ts:227-233 +1 more
- E2E test .kb/tests/TEST-kibi-vocabulary-alignment-capability.md, .kb/tests/TEST-kibi-vocabulary-convergence-e2e.md
- Evidence Passed
- Semantic model .kb/facts/FACT-mcp-apply-plan-async-preflight-hash-format.md, .kb/facts/FACT-mcp-apply-plan-async-preflight-hash-match.md
- Scenario .kb/scenarios/SCEN-mcp-apply-plan-async-preflight.md
- Implementation packages/cli/src/operations/planning/apply-plan.ts:1166-1202
- E2E test .kb/tests/TEST-mcp-apply-plan-async-preflight.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-REQ-MCP-CLI-HELP-C01.md, .kb/facts/FACT-PROP-REQ-MCP-CLI-HELP-C02.md +1 more
- Scenario .kb/scenarios/SCEN-mcp-cli-help.md
- Implementation packages/mcp/bin/kibi-mcp:1-195
- E2E test .kb/tests/TEST-mcp-cli-help.md
- Evidence Passed
- Semantic model .kb/facts/FACT-mcp-conditional-input-validation-claim-key-required.md, .kb/facts/FACT-mcp-conditional-input-validation-matches-cli.md +1 more
- Scenario .kb/scenarios/SCEN-mcp-conditional-input-validation.md
- Implementation packages/mcp/src/server/json-schema-to-zod.ts:61-137
- E2E test .kb/tests/TEST-mcp-conditional-input-validation.md
- Evidence Passed
1 advisory
- Unknown Scenario Feasibility
- Semantic model .kb/facts/FACT-PROP-REQ-MCP-KB-FRESHNESS-N01.md, .kb/facts/FACT-PROP-REQ-MCP-KB-FRESHNESS-N02.md +2 more
- Scenario .kb/scenarios/SCEN-mcp-kb-freshness.md, .kb/scenarios/SCEN-mcp-kb-freshness-coverage.md
- Implementation packages/mcp/src/server/kb-freshness.ts:4-18, packages/mcp/src/server/kb-freshness.ts:20-25 +6 more
- E2E test .kb/tests/TEST-e2e-mcp-freshness-external-replace.md, .kb/tests/TEST-mcp-kb-freshness.md +1 more
- Evidence Passed
- Semantic model .kb/facts/FACT-mcp-oneof-guard-input-validation-multiple-match.md, .kb/facts/FACT-mcp-oneof-guard-input-validation-no-match.md
- Scenario .kb/scenarios/SCEN-mcp-oneof-guard-input-validation.md
- Implementation packages/mcp/src/server/json-schema-to-zod.ts:215-456
- E2E test .kb/tests/TEST-mcp-oneof-guard-input-validation.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-REQ-MCP-RELATIONSHIP-PREFLIGHT-C01.md
- Scenario .kb/scenarios/SCEN-mcp-relationship-preflight.md
- Implementation packages/mcp/src/server/tool-types.ts:46-131, packages/cli/src/relationships/shards.ts:503-513 +22 more
- E2E test .kb/tests/TEST-cli-relationship-type-contract.md, .kb/tests/TEST-mcp-relationship-preflight.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-REQ-MCP-SEARCH-DISCOVERY-C01.md
- Scenario .kb/scenarios/SCEN-mcp-search-discovery.md
- Implementation packages/cli/src/search-ranking.ts:6-11, packages/mcp/src/tools/search.ts:11 +18 more
- E2E test .kb/tests/TEST-mcp-search-discovery.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-REQ-MCP-SEMANTIC-ADVISOR-PREFLIGHT-C01.md
- Scenario .kb/scenarios/SCEN-mcp-semantic-advisor-preflight.md
- Implementation packages/cli/src/operations/semantic-advisor/prose-coverage-evaluator.ts:11-16, packages/cli/src/operations/semantic-advisor/prose-coverage-evaluator.ts:4-9 +49 more
- E2E test .kb/tests/TEST-mcp-semantic-advisor-preflight.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-REQ-MCP-SKILLS-RESOURCE-DISCOVERABILITY-C01.md
- Scenario .kb/scenarios/SCEN-mcp-skills-resource-discoverability.md
- Implementation packages/mcp/src/tools/skills.ts:52-61, packages/mcp/src/tools/skills.ts:64-75
- E2E test .kb/tests/TEST-mcp-skills-resource-discoverability.md
- Evidence Passed
- Semantic model .kb/facts/FACT-MCP-STRUCTURED-TEXT-EMBEDDED.md, .kb/facts/FACT-MCP-STRUCTURED-TEXT-OMITTED.md +1 more
- Scenario .kb/scenarios/SCEN-mcp-structured-text-per-host.md
- Implementation packages/mcp/src/server/tools.ts:141-155
- E2E test .kb/tests/TEST-mcp-structured-text-per-host.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-MCP-SUGGEST-PREDICATES-POLARITY-BINDINGS.md, .kb/facts/FACT-PROP-REQ-MCP-SUGGEST-PREDICATES-C01.md
- Scenario .kb/scenarios/SCEN-mcp-suggest-predicates.md
- Implementation packages/mcp/src/server/docs.ts:286, packages/mcp/src/server/docs.ts:70-182 +106 more
- E2E test .kb/tests/TEST-mcp-suggest-predicates.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-REQ-MCP-TAG-FILTERING-SERVER-SIDE-N01.md, .kb/facts/FACT-PROP-REQ-MCP-TAG-FILTERING-SERVER-SIDE-N02.md +2 more
- Scenario .kb/scenarios/SCEN-mcp-tag-filtering-server-side.md
- Implementation packages/mcp/src/tools/query.ts:11-17
- E2E test .kb/tests/TEST-mcp-tag-filtering-server-side.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-MCP-CHECK-BEFORE-AFTER.md, .kb/facts/FACT-PROP-MCP-CHECK-EXECUTE-RULES.md +2 more
- Scenario .kb/scenarios/SCEN-mcp-tool-check-coverage.md
- Implementation packages/mcp/src/tools/check.ts:35-57, packages/cli/src/commands/aggregated-checks.ts:51-116 +10 more
- E2E test .kb/tests/TEST-mcp-tool-check-coverage.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-REQ-MCP-TOOL-QUERY-C01.md
- Scenario .kb/scenarios/SCEN-mcp-tool-query.md
- Implementation packages/mcp/src/tools/query.ts:11-17
- E2E test .kb/tests/TEST-012.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-REQ-MCP-TOOL-UPSERT-C01.md
- Scenario .kb/scenarios/SCEN-mcp-tool-upsert.md
- Implementation packages/mcp/src/server/docs.ts:70-182, packages/mcp/src/server/tool-types.ts:46-131 +6 more
- E2E test .kb/tests/TEST-mcp-upsert-coverage.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PRED-mcp-routing-client-roots.md, .kb/facts/FACT-PRED-mcp-routing-explicit-argument.md +5 more
- Scenario .kb/scenarios/SCEN-mcp-workspace-routing.md
- Implementation packages/agent-core/src/kb-mcp-tools.ts:88, packages/agent-core/src/kb-mcp-tools.ts:95-102 +19 more
- E2E test .kb/tests/TEST-mcp-workspace-routing.md
- Evidence Passed
- Semantic model .kb/facts/FACT-model-predicates-binding-clauses-long-unbound.md, .kb/facts/FACT-model-predicates-binding-clauses-short-bound.md
- Scenario .kb/scenarios/SCEN-model-predicates-binding-clauses.md
- Implementation packages/cli/src/operations/modeling/predicate-bindings.ts:338-370, packages/cli/src/operations/modeling/predicate-binding-hints.ts:100-165 +2 more
- E2E test .kb/tests/TEST-model-predicates-binding-clauses.md
- Evidence Passed
- Semantic model .kb/facts/FACT-model-predicates-binding-placeholders-hints.md, .kb/facts/FACT-model-predicates-binding-placeholders-unbound.md
- Scenario .kb/scenarios/SCEN-model-predicates-binding-placeholders.md
- Implementation packages/cli/src/operations/modeling/predicate-bindings.ts:338-370, packages/cli/src/operations/modeling/predicate-binding-hints.ts:100-165 +4 more
- E2E test .kb/tests/TEST-model-predicates-binding-placeholders.md
- Evidence Passed
- Semantic model .kb/facts/FACT-model-predicates-closed-vocabularies-declared.md, .kb/facts/FACT-model-predicates-closed-vocabularies-listed.md
- Scenario .kb/scenarios/SCEN-model-predicates-closed-vocabularies.md
- Implementation packages/cli/src/operations/modeling/predicate-binding-hints.ts:100-165, packages/cli/src/operations/modeling/predicate-closed-vocabularies.ts:107-123 +1 more
- E2E test .kb/tests/TEST-model-predicates-closed-vocabularies.md
- Evidence Passed
- Semantic model .kb/facts/FACT-model-predicates-grounding-aware-replacement.md, .kb/facts/FACT-model-predicates-grounding-aware-target.md +2 more
- Scenario .kb/scenarios/SCEN-model-predicates-grounded-claim-state.md, .kb/scenarios/SCEN-model-predicates-grounding-aware.md
- Implementation packages/cli/src/operations/modeling/suggest-predicates.ts:256-303, packages/cli/src/operations/modeling/suggest-predicates.ts:343-740
- E2E test .kb/tests/TEST-model-predicates-grounding-aware.md
- Evidence Passed
1 advisory
- Unknown Scenario Feasibility
- Semantic model .kb/facts/FACT-PRED-5FAA2BAEE02D.md, .kb/facts/FACT-PRED-C30D862B1B1C.md +1 more
- Scenario .kb/scenarios/SCEN-model-predicates-grounding-guards.md
- Implementation packages/cli/src/operations/modeling/suggest-predicates.ts:769-811, packages/cli/src/operations/modeling/suggest-predicates.ts:256-303 +1 more
- E2E test .kb/tests/TEST-model-predicates-grounding-guards.md
- Evidence Passed
- Semantic model .kb/facts/FACT-model-predicates-participant-not-subject-hint-scope.md, .kb/facts/FACT-model-predicates-participant-not-subject-no-participant.md +1 more
- Scenario .kb/scenarios/SCEN-model-predicates-participant-not-subject.md
- Implementation packages/cli/src/operations/modeling/predicate-bindings.ts:298-311
- E2E test .kb/tests/TEST-model-predicates-participant-not-subject.md
- Evidence Passed
- Semantic model .kb/facts/FACT-ADVISOR-PERMISSION-GRANTS-NORMATIVE.md, .kb/facts/FACT-MODEL-PERMISSION-BINDINGS-SINGULAR.md +2 more
- Scenario .kb/scenarios/SCEN-model-predicates-permission-grants.md
- Implementation packages/cli/src/operations/modeling/predicate-inference-1.ts:14-16, packages/cli/src/operations/modeling/predicate-inference-1.ts:21-32 +1 more
- E2E test .kb/tests/TEST-model-predicates-permission-grants.md
- Evidence Passed
- Semantic model .kb/facts/FACT-model-predicates-plan-roundtrip-gap-upsertable.md, .kb/facts/FACT-model-predicates-plan-roundtrip-replacement-ordered.md
- Scenario .kb/scenarios/SCEN-model-predicates-plan-roundtrip.md
- Implementation packages/cli/src/operations/modeling/predicate-applyplan.ts:354-381, packages/cli/src/operations/semantic-advisor/observation-plan.ts:17-41 +1 more
- E2E test .kb/tests/TEST-model-predicates-plan-roundtrip.md
- Evidence Passed
- Semantic model .kb/facts/FACT-model-predicates-replacement-diagnostics-expected.md, .kb/facts/FACT-model-predicates-replacement-diagnostics-rollback.md
- Scenario .kb/scenarios/SCEN-model-predicates-replacement-diagnostics.md
- Implementation packages/cli/src/operations/modeling/suggest-predicates.ts:1047-1105
- E2E test .kb/tests/TEST-model-predicates-replacement-diagnostics.md
- Evidence Passed
- Semantic model .kb/facts/FACT-model-predicates-requirement-subject-unbound.md, .kb/facts/FACT-model-predicates-requirement-subject-v2-named-argument-bound.md +2 more
- Scenario .kb/scenarios/SCEN-model-predicates-requirement-subject.md
- Implementation packages/cli/src/operations/modeling/predicate-bindings.ts:392-396, packages/cli/src/operations/modeling/predicate-binding-hints.ts:100-165 +3 more
- E2E test .kb/tests/TEST-model-predicates-requirement-subject.md
- Evidence Passed
- Semantic model .kb/facts/FACT-MODEL-GROUNDING-PLAN-BLOCKED.md, .kb/facts/FACT-MODEL-GROUNDING-PLAN-HASHED.md +1 more
- Scenario .kb/scenarios/SCEN-model-what-if-planned-facts.md
- Implementation packages/cli/src/operations/modeling/suggest-predicates.ts:860-959, packages/cli/src/operations/modeling/suggest-predicates.ts:978-997 +3 more
- E2E test .kb/tests/TEST-model-what-if-planned-facts.md
- Evidence Passed
- Semantic model .kb/facts/FACT-RULE-09E18DDD6312EFC5.md, .kb/facts/FACT-RULE-80DBBE3D00CA8719.md +2 more
- Scenario .kb/scenarios/SCEN-multilingual-language-catalog.md
- Implementation packages/cli/src/plugins/source-classification.ts:428-587, packages/cli/src/plugins/source-analysis-service.ts:250-324 +5 more
- E2E test .kb/tests/TEST-multilingual-language-catalog.md
- Evidence Passed
- Semantic model .kb/facts/FACT-native-cli-diagnostics-bounded-descendants.md, .kb/facts/FACT-native-cli-diagnostics-output-failure.md +2 more
- Scenario .kb/scenarios/SCEN-native-cli-suite-diagnostics.md
- Implementation scripts/swipl-spike.py:114, scripts/swipl-spike.py:91 +2 more
- E2E test .kb/tests/TEST-native-cli-suite-diagnostics.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-REQ-OPENCODE-BACKGROUND-SYNC-C01.md
- Scenario .kb/scenarios/SCEN-opencode-background-sync.md
- Implementation packages/opencode/src/scheduler.ts:517-519
- E2E test .kb/tests/TEST-opencode-kibi-plugin-v1.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-NUDGE-ROUTING.md
- Scenario .kb/scenarios/SCEN-opencode-bootstrap-nudge.md
- Implementation packages/opencode/src/file-filter.ts:43-47, packages/opencode/src/workspace-health.ts:7-12 +5 more
- E2E test .kb/tests/TEST-opencode-bootstrap-paths.md, .kb/tests/TEST-opencode-kibi-plugin-v1.md +1 more
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-REQ-OPENCODE-COMMENT-ROUTING-C01.md, .kb/facts/FACT-PROP-REQ-OPENCODE-COMMENT-ROUTING-C03.md
- Scenario .kb/scenarios/SCEN-opencode-python-comment-routing.md
- Implementation packages/opencode/src/plugin.ts:244
- E2E test .kb/tests/TEST-opencode-python-comment-routing.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-REQ-OPENCODE-FILE-CONTEXT-GUIDANCE-V1-N01.md, .kb/facts/FACT-PROP-REQ-OPENCODE-FILE-CONTEXT-GUIDANCE-V1-N02.md +7 more
- Scenario .kb/scenarios/SCEN-opencode-file-context-guidance-v1.md
- Implementation packages/opencode/src/file-operation-reminders.ts:59-113
- E2E test .kb/tests/TEST-opencode-file-context-guidance-v1.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-REQ-OPENCODE-GUIDANCE-CACHING-C01.md
- Scenario .kb/scenarios/SCEN-opencode-guidance-caching.md
- Implementation packages/opencode/src/guidance-cache.ts:46-165
- E2E test .kb/tests/TEST-e2e-opencode-enforcement-surface.md, .kb/tests/TEST-opencode-smart-enforcement.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-REQ-OPENCODE-GUIDANCE-INJECTION-C01.md
- Scenario .kb/scenarios/SCEN-opencode-guidance-injection.md
- Implementation packages/opencode/src/prompt.ts:659-672
- E2E test .kb/tests/TEST-opencode-kibi-plugin-v1.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-OCV1-ALLOCATION.md, .kb/facts/FACT-PROP-OCV1-BOOTSTRAP-ROUTING.md +2 more
- Scenario .kb/scenarios/SCEN-opencode-kibi-plugin-v1-coverage.md
- Implementation packages/opencode/src/reconcile-engine.ts:1-9, packages/opencode/src/reconcile-engine.ts:11-16 +117 more
- E2E test .kb/tests/TEST-opencode-bootstrap-paths.md, .kb/tests/TEST-opencode-kibi-plugin-v1-coverage.md +1 more
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-REQ-OPENCODE-POSTURE-DETECTION-C01.md
- Scenario .kb/scenarios/SCEN-opencode-posture-detection.md
- Implementation packages/opencode/src/repo-posture.ts:123-187
- E2E test .kb/tests/TEST-e2e-opencode-enforcement-surface.md, .kb/tests/TEST-opencode-smart-enforcement.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-REQ-OPENCODE-RISK-CLASSIFICATION-C01.md
- Scenario .kb/scenarios/SCEN-opencode-risk-classification.md
- Implementation packages/opencode/src/risk-classifier.ts:63-178
- E2E test .kb/tests/TEST-e2e-opencode-enforcement-surface.md, .kb/tests/TEST-opencode-smart-enforcement.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-REQ-OPENCODE-SMART-ENFORCEMENT-V1-C01.md
- Scenario .kb/scenarios/SCEN-opencode-smart-enforcement-v1-coverage.md
- Implementation packages/opencode/src/plugin.ts:244
- E2E test .kb/tests/TEST-e2e-opencode-enforcement-surface.md, .kb/tests/TEST-opencode-smart-enforcement-v1-coverage.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-REQ-OPENCODE-SYNC-FEEDBACK-C01.md
- Scenario .kb/scenarios/SCEN-opencode-sync-feedback.md
- Implementation packages/opencode/src/plugin.ts:244
- E2E test .kb/tests/TEST-opencode-kibi-plugin-v1.md
- Evidence Passed
- Semantic model .kb/facts/FACT-prolog-build-accepts-four-launch-targets.md, .kb/facts/FACT-prolog-build-declares-separate-build-and-smoke-jobs.md +13 more
- Scenario .kb/scenarios/SCEN-prolog-build-pipeline-validation.md
- Implementation scripts/swipl-spike.py:878, scripts/swipl-spike.py:534 +17 more
- E2E test .kb/tests/TEST-prolog-build-pipeline-validation.md
- Evidence Passed
- Semantic model .kb/facts/FACT-prolog-bundled-ci-cached-archive-skips-binding-only-with-flag.md, .kb/facts/FACT-prolog-bundled-ci-keeps-system-swipl-job.md +2 more
- Scenario .kb/scenarios/SCEN-prolog-bundled-ci.md
- Implementation scripts/populate-swipl-platform-packages.mjs:298-301
- E2E test .kb/tests/TEST-prolog-bundled-ci.md
- Evidence Passed
- Semantic model .kb/facts/FACT-prolog-bundled-quickstart-docs-document-override-and-order.md, .kb/facts/FACT-prolog-bundled-quickstart-docs-state-no-install.md +1 more
- Scenario .kb/scenarios/SCEN-prolog-bundled-quickstart.md
- Implementation scripts/simulate-readme-quickstart.mjs:58-74, scripts/simulate-readme-quickstart.mjs:294-308 +3 more
- E2E test .kb/tests/TEST-prolog-bundled-quickstart.md
- Evidence Passed
- Semantic model .kb/facts/FACT-prolog-bundled-release-dry-run-can-publish.md, .kb/facts/FACT-prolog-bundled-release-populates-only-from-verified-archive.md +1 more
- Scenario .kb/scenarios/SCEN-prolog-bundled-release.md
- Implementation scripts/populate-swipl-platform-packages.mjs:64-66, scripts/populate-swipl-platform-packages.mjs:104-135 +11 more
- E2E test .kb/tests/TEST-prolog-bundled-release.md
- Evidence Passed
- Semantic model .kb/facts/FACT-prolog-bundled-names-platform-package-and-install-command-when-missing.md, .kb/facts/FACT-prolog-bundled-refuses-corrupt-bundle.md +4 more
- Scenario .kb/scenarios/SCEN-prolog-bundled-runtime.md
- Implementation packages/swipl/index.d.ts:34-42, packages/swipl/index.d.ts:3 +37 more
- E2E test .kb/tests/TEST-prolog-bundled-runtime.md
- Evidence Passed
- Semantic model .kb/facts/FACT-prolog-coverage-annotates-all-tests.md, .kb/facts/FACT-prolog-coverage-loads-all-tests.md +1 more
- Scenario .kb/scenarios/SCEN-prolog-coverage-test-selection.md
- Implementation scripts/run-prolog-coverage.pl:38, scripts/run-prolog-coverage.pl:40
- E2E test .kb/tests/TEST-prolog-coverage-test-selection.md
- Evidence Passed
- Semantic model .kb/facts/FACT-prolog-daemon-identity-handshake-reports-resolved-swipl.md, .kb/facts/FACT-prolog-daemon-identity-rejects-client-with-different-swipl.md +1 more
- Scenario .kb/scenarios/SCEN-prolog-daemon-runtime-identity.md
- Implementation packages/cli/src/engine.ts:126-128, packages/cli/src/prolog/swipl-resolver.ts:499-501
- E2E test .kb/tests/TEST-prolog-daemon-runtime-identity.md
- Evidence Passed
- Semantic model .kb/facts/FACT-prolog-doctor-runtime-fails-on-missing-required-library.md, .kb/facts/FACT-prolog-doctor-runtime-names-platform-package-when-runtime-missing.md +1 more
- Scenario .kb/scenarios/SCEN-prolog-doctor-runtime-report.md
- Implementation packages/cli/src/prolog/swipl-resolver.ts:517-536, packages/cli/src/prolog/swipl-resolver.ts:596-623
- E2E test .kb/tests/TEST-prolog-doctor-runtime-report.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-REQ-PROLOG-LIBRARY-ADOPTION-C01.md
- Scenario .kb/scenarios/SCEN-prolog-library-adoption.md
- Implementation packages/core/src/derived_chr.pl:1-66, packages/core/src/sparql_client.pl:1-173 +2 more
- E2E test .kb/tests/TEST-e2e-prolog-library-adoption.md, .kb/tests/TEST-prolog-library-adoption-core.md +1 more
- Evidence Passed
- Semantic model .kb/facts/FACT-prolog-spike-config-accepts-pinned-source.md, .kb/facts/FACT-prolog-spike-config-avoids-native-build.md +3 more
- Scenario .kb/scenarios/SCEN-prolog-spike-config-validation.md
- Implementation scripts/swipl-spike.py:344, scripts/swipl-spike.py:234
- E2E test .kb/tests/TEST-prolog-spike-config-validation.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-REQ-REUSABLE-SKILL-SUBSYSTEM-C01.md
- Scenario .kb/scenarios/SCEN-reusable-skill-subsystem.md
- Implementation scripts/sync-agent-skills.ts:345-350, packages/cli/src/public/skill-system/validation.ts:14 +69 more
- E2E test .kb/tests/TEST-mcp-skills-resource-discoverability.md, .kb/tests/TEST-skill-cli-load-validate.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-REQ-ROOT-SUITE-BATCH-DIAGNOSTICS-C01.md, .kb/facts/FACT-PROP-REQ-ROOT-SUITE-BATCH-DIAGNOSTICS-C02.md
- Scenario .kb/scenarios/SCEN-root-suite-batch-diagnostics.md
- Implementation scripts/run-unit-coverage.ts:151-508, test/root.test.ts:120-145 +4 more
- E2E test .kb/tests/TEST-e2e-root-batch-diagnostics.md, .kb/tests/TEST-root-suite-batch-diagnostics.md
- Evidence Passed
- Semantic model .kb/facts/FACT-RUNTIME-PACKED-CONSUMER-ENGINE-START.md, .kb/facts/FACT-RUNTIME-PACKED-ENGINE-DAEMON-SHIP.md
- Scenario .kb/scenarios/SCEN-runtime-packed-engine-daemon.md
- Implementation packages/runtime/package.json:1-44
- E2E test .kb/tests/TEST-runtime-packed-engine-daemon.md
- Evidence Passed
- Semantic model .kb/facts/FACT-scripts-coverage-shard-enumerates-tests.md, .kb/facts/FACT-scripts-coverage-shard-includes-summary.md +1 more
- Scenario .kb/scenarios/SCEN-scripts-coverage-shard-isolation.md
- Implementation scripts/run-unit-coverage.ts:151-508, scripts/run-unit-coverage.ts:100
- E2E test .kb/tests/TEST-scripts-coverage-shard-isolation.md
- Evidence Passed
- Semantic model .kb/facts/FACT-CHECK-EVALUATED-REPORT.md, .kb/facts/FACT-SEARCH-AMBIGUITY-LINKED-TIE.md +2 more
- Scenario .kb/scenarios/SCEN-search-answer-hygiene.md
- Implementation packages/core/src/kb.pl:41, packages/cli/src/intent-search.ts:758-783 +3 more
- E2E test .kb/tests/TEST-search-answer-hygiene.md
- Evidence Passed
- Semantic model .kb/facts/FACT-prop-skillopt-claude-code-host-c01.md, .kb/facts/FACT-prop-skillopt-claude-code-host-c02.md +7 more
- Scenario .kb/scenarios/SCEN-skillopt-claude-code-host.md
- Implementation scripts/skillopt-eval/runtime/claude-code-host.ts:370-422, scripts/skillopt-eval/claude-code-campaign.ts:180-189 +6 more
- E2E test .kb/tests/TEST-e2e-skillopt-claude-code-host.md, .kb/tests/TEST-skillopt-claude-code-host.md
- Evidence Passed
1 advisory
- Unknown Scenario Feasibility
- Semantic model .kb/facts/FACT-PROP-REQ-SKILLOPT-CURSOR-COMPAT-C01.md, .kb/facts/FACT-PROP-REQ-SKILLOPT-CURSOR-COMPAT-C02.md +2 more
- Scenario .kb/scenarios/SCEN-skillopt-cursor-compat.md
- Implementation scripts/skillopt-eval/cursor-operator.ts:202-220
- E2E test .kb/tests/TEST-skillopt-cursor-compat.md
- Evidence Passed
- Semantic model .kb/facts/FACT-prop-skillopt-candidate-description-c01.md, .kb/facts/FACT-prop-skillopt-candidate-description-c02.md +4 more
- Scenario .kb/scenarios/SCEN-skillopt-description-candidates.md
- Implementation scripts/skillopt-eval/campaign-artifacts.ts:478-487, scripts/skillopt-eval/campaign-artifacts.ts:491-497 +4 more
- E2E test .kb/tests/TEST-e2e-skillopt-description-candidates.md
- Evidence Passed
1 advisory
- Unknown Scenario Feasibility
- Semantic model .kb/facts/FACT-PROP-REQ-SKILLOPT-EXTERNAL-ADOPTION-VERDICT-C01.md, .kb/facts/FACT-PROP-REQ-SKILLOPT-EXTERNAL-ADOPTION-VERDICT-C02.md +2 more
- Scenario .kb/scenarios/SCEN-skillopt-external-adoption-verdict.md
- Implementation scripts/skillopt-eval/artifact-path.ts:164-249, scripts/skillopt-eval/artifact-path.ts:217-224 +37 more
- E2E test .kb/tests/TEST-e2e-skillopt-trust-boundaries.md, .kb/tests/TEST-skillopt-external-adoption-verdict.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PRED-SKILLOPT-CLAIM-0587E4B2168FD2B6.md, .kb/facts/FACT-PRED-SKILLOPT-CLAIM-34B395C24CBD6107.md +5 more
- Scenario .kb/scenarios/SCEN-skillopt-logical-evidence-fidelity.md
- Implementation packages/cli/src/prolog/codec.ts:208-263, packages/cli/src/operations/semantic-advisor/analyze-prose.ts:83-94 +5 more
- E2E test .kb/tests/TEST-skillopt-logical-evidence-fidelity.md, .kb/tests/TEST-test-journaled-engine-harness.md
- Evidence Passed
- Semantic model .kb/facts/FACT-prop-skillopt-harness-selection-c01.md, .kb/facts/FACT-prop-skillopt-harness-selection-c02.md +3 more
- Scenario .kb/scenarios/SCEN-skillopt-claude-code-host.md
- Implementation scripts/skillopt-eval/runtime/claude-code-host.ts:77-86
- E2E test .kb/tests/TEST-e2e-skillopt-claude-code-host.md, .kb/tests/TEST-skillopt-claude-code-host.md
- Evidence Passed
1 advisory
- Unknown Scenario Feasibility
- Semantic model .kb/facts/FACT-PROP-REQ-SKILLOPT-PAID-LAUNCH-ACCOUNTING-C01.md, .kb/facts/FACT-PROP-REQ-SKILLOPT-PAID-LAUNCH-ACCOUNTING-C02.md +2 more
- Scenario .kb/scenarios/SCEN-skillopt-paid-launch-accounting.md
- Implementation scripts/skillopt-eval/runtime/external-trust-client-cli.ts:42-77, scripts/skillopt-eval/contracts/trust-plane.ts:194-218 +4 more
- E2E test .kb/tests/TEST-e2e-skillopt-trust-boundaries.md, .kb/tests/TEST-skillopt-paid-launch-accounting.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-REQ-SKILLOPT-PREDICATE-FIRST-REQUIREMENTS-N01.md, .kb/facts/FACT-PROP-REQ-SKILLOPT-PREDICATE-FIRST-REQUIREMENTS-N02.md +3 more
- Scenario .kb/scenarios/SCEN-skillopt-predicate-first-requirements.md
- Implementation packages/cli/src/public/skills/kibi-usage/resources/fact-lanes.md:1, packages/cli/src/public/skills/kibi-usage/SKILL.md:3 +48 more
- E2E test .kb/tests/TEST-skillopt-predicate-first-requirements.md
- Evidence Passed
- Semantic model .kb/facts/FACT-RULE-5685EBEB57411C24.md, .kb/facts/FACT-RULE-96B9853A521A8A09.md +1 more
- Scenario .kb/scenarios/SCEN-installed-sdk-source-analysis-input-limits.md, .kb/scenarios/SCEN-source-analysis-v2-contract.md
- Implementation packages/cli/src/traceability/analysis-gate.ts:61-86, packages/cli/src/plugins/source-change-analysis.ts:23-58 +34 more
- E2E test .kb/tests/TEST-installed-sdk-source-analysis-input-limits.md, .kb/tests/TEST-source-analysis-v2-contract.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-REQ-SYMBOL-BEHAVIORAL-ANCHORS-C01.md, .kb/facts/FACT-PROP-SYMBOL-BEHAVIORAL-ANCHORS-TYPE-SHAPE-EXCLUSION.md
- Scenario .kb/scenarios/SCEN-symbol-behavioral-anchors.md
- Implementation packages/cli/src/public/symbol-granularity.generated.ts:11-17, packages/cli/src/public/symbol-granularity.generated.ts:65-66 +26 more
- E2E test .kb/tests/TEST-cli-symbol-behavioral-anchors.md, .kb/tests/TEST-mcp-upsert-symbol-behavioral-anchors.md
- Evidence Passed
- Semantic model .kb/facts/FACT-TEST-ENGINE-OWNED-TEARDOWN.md, .kb/facts/FACT-TEST-ENGINE-PROCESS-REUSE.md +3 more
- Scenario .kb/scenarios/SCEN-test-journaled-engine-harness.md
- Implementation packages/cli/src/cli.ts:65-82, packages/cli/src/engine.ts:1932-2716 +40 more
- E2E test .kb/tests/TEST-proof-runner-integrity.md, .kb/tests/TEST-test-journaled-engine-harness.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-F7D9D2D00C1A1922.md
- Scenario .kb/scenarios/SCEN-tree-sitter-language-authoring-scaffold.md
- Implementation scripts/scaffold-tree-sitter-language.mjs:230-280
- E2E test .kb/tests/TEST-tree-sitter-language-authoring-scaffold-cli-e2e.md, .kb/tests/TEST-tree-sitter-language-authoring-scaffold-draft-output.md
- Evidence Passed
- Semantic model .kb/facts/FACT-requirement-proof-component-tests-prove-patterns.md, .kb/facts/FACT-requirement-proof-other-scenarios-end-to-end.md
- Scenario .kb/scenarios/SCEN-ui-pattern-component-proof.md
- Implementation packages/core/src/requirement_proof.pl:784, packages/core/src/requirement_proof.pl:722
- E2E test .kb/tests/TEST-ui-pattern-component-proof.md
- Evidence Passed
- Semantic model .kb/facts/FACT-predicate-catalog-offers-ui-schemas.md, .kb/facts/FACT-predicate-catalog-routes-ui-prose.md
- Scenario .kb/scenarios/SCEN-ui-pattern-vocabulary.md
- Implementation packages/cli/src/operations/modeling/predicate-catalog-6.ts:10-112
- E2E test .kb/tests/TEST-ui-pattern-vocabulary.md
- Evidence Passed
- Semantic model .kb/facts/FACT-ui-plugin-declares-no-permissions.md, .kb/facts/FACT-ui-plugin-requires-design-ownership.md +1 more
- Scenario .kb/scenarios/SCEN-ui-plugin-design-policy.md
- Implementation packages/plugin-ui/src/index.ts:27-42, packages/plugin-ui/src/index.ts:18-20
- E2E test .kb/tests/TEST-ui-plugin-design-policy.md
- Evidence Passed
- Semantic model .kb/facts/FACT-upsert-committed-claim-key-returned.md
- Scenario .kb/scenarios/SCEN-model-predicates-grounding-guards.md
- Implementation packages/cli/src/operations/mutation/upsert.ts:118-124
- E2E test .kb/tests/TEST-model-predicates-grounding-guards.md
- Evidence Passed
- Semantic model .kb/facts/FACT-upsert-unknown-field-guidance-properties-named.md, .kb/facts/FACT-upsert-unknown-field-guidance-prose-hint.md +1 more
- Scenario .kb/scenarios/SCEN-upsert-unknown-field-guidance.md
- Implementation packages/cli/src/operations/mutation/validation.ts:152-216
- E2E test .kb/tests/TEST-upsert-unknown-field-guidance.md
- Evidence Passed
1 advisory
- Unknown Scenario Feasibility
- Semantic model .kb/facts/FACT-PROP-REQ-VSCODE-KB-TO-SOURCE-C01.md
- Scenario .kb/scenarios/SCEN-vscode-kb-to-source.md
- Implementation packages/vscode/src/treeProvider.ts:868-902
- E2E test .kb/tests/TEST-e2e-vscode-extension-lifecycle.md, .kb/tests/TEST-vscode-traceability.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-REQ-VSCODE-SIDEBAR-KB-TREE-C01.md
- Scenario .kb/scenarios/SCEN-vscode-sidebar-kb-tree.md
- Implementation packages/vscode/src/treeProvider.ts:239-254
- E2E test .kb/tests/TEST-e2e-vscode-extension-lifecycle.md, .kb/tests/TEST-vscode-traceability.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-REQ-VSCODE-SOURCE-TO-KB-C01.md
- Scenario .kb/scenarios/SCEN-vscode-source-to-kb.md
- Implementation packages/vscode/src/shared/rdf-parser.ts:15-28, packages/vscode/src/shared/rdf-parser.ts:37-67 +10 more
- E2E test .kb/tests/TEST-e2e-vscode-extension-lifecycle.md, .kb/tests/TEST-vscode-traceability.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-REQ-VSCODE-TRACEABILITY-C01.md
- Scenario .kb/scenarios/SCEN-vscode-traceability-coverage.md
- Implementation packages/vscode/src/extensionIds.ts:2, packages/vscode/src/extensionIds.ts:8 +30 more
- E2E test .kb/tests/TEST-e2e-vscode-extension-lifecycle.md, .kb/tests/TEST-vscode-traceability-coverage.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-KIBI-INIT-HOOKS-ENFORCEMENT-OWNER.md, .kb/facts/FACT-PROP-ZCODE-ASSET-SCOPE.md +5 more
- Scenario .kb/scenarios/SCEN-zcode-advisory-boundary-v1.md, .kb/scenarios/SCEN-zcode-hard-enforcement-owner-v1.md
- Implementation packages/zcode/src/hook-runner.ts:255-414
- E2E test .kb/tests/TEST-011.md, .kb/tests/TEST-cli-canonical-init.md +1 more
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-ZCODE-COMMAND-PROVIDER.md, .kb/facts/FACT-PROP-ZCODE-LOGIC-PROVIDER.md +11 more
- Scenario .kb/scenarios/SCEN-zcode-kibi-plugin-v1.md, .kb/scenarios/SCEN-zcode-unowned-workspace-silence-v1.md
- Implementation packages/agent-core/src/path-policy.ts:113-116, packages/agent-core/src/path-policy.ts:196-223 +49 more
- E2E test .kb/tests/TEST-zcode-kibi-plugin-v1.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-ZCODE-DOCS-OPTIONAL.md, .kb/facts/FACT-PROP-ZCODE-MANUAL-MCP-ENTRY-POINT.md +1 more
- Scenario .kb/scenarios/SCEN-zcode-manual-mcp-configuration-v1.md
- Implementation packages/zcode/bin/mcp-launcher.cjs:1-666
- E2E test .kb/tests/TEST-zcode-kibi-plugin-v1.md
- Evidence Passed
No requirements match this view.