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.

31%

Strict proof coverage

30 of 96 current requirements fully proven end-to-end

Kibi only counts a requirement when every required proof gate passes.

Requirements96

Strict proof coverage30

Missing scenarios0

Stale E2E evidence0

Contradictions0

Unmapped production symbols0

Requirements without implementation18

Proof ledger

Requirements

Each row shows independent proof stages. Missing knowledge remains visible instead of being inferred as success.

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-mcp-model-requirement-v1.md
Implementation Ownership present; proof coverage is incomplete
E2E test .kb/tests/TEST-001.md, .kb/tests/TEST-kibi-change-to-proof-plan-compiler.md +1 more
Evidence Passed 2026-08-22 22:46 UTC

1 proof gap

Missing Production Symbol Coverage

Semantic model .kb/facts/FACT-INFERENCE-DETERMINISTIC.md, .kb/facts/FACT-RAW-INFERENCE-EXPOSURE.md
Scenario .kb/scenarios/SCEN-008.md
Implementation No production symbol ownership
E2E test .kb/tests/TEST-010.md, .kb/tests/TEST-kibi-change-to-proof-plan-compiler.md
Evidence Passed 2026-08-22 22:46 UTC

1 proof gap

Missing Production Symbol

Semantic model .kb/facts/FACT-PROP-REQ015-SOURCEFILE.md, .kb/facts/FACT-PROP-REQ015-SOURCEQUERY.md
Scenario .kb/scenarios/SCEN-001.md
Implementation No production symbol ownership
E2E test .kb/tests/TEST-001.md, .kb/tests/TEST-005.md +8 more
Evidence Passed 2026-08-22 22:46 UTC

1 proof gap

Missing Production Symbol

1 advisory

Missing Verification Receipt

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 No production symbol ownership
E2E test No scenario-backed end-to-end test
Evidence No fresh passing E2E receipt

2 proof gaps

Missing Passing E2e
Missing Production Symbol

Semantic model Incomplete proposition grounding
Scenario .kb/scenarios/SCEN-001.md
Implementation No production symbol ownership
E2E test .kb/tests/TEST-001.md, .kb/tests/TEST-005.md +8 more
Evidence Passed 2026-08-22 22:46 UTC

2 proof gaps

Unresolved Semantic Proposition
Missing Production Symbol

1 advisory

Missing Verification Receipt

Semantic model Incomplete proposition grounding
Scenario .kb/scenarios/SCEN-release-automation.md
Implementation Ownership present; proof coverage is incomplete
E2E test No scenario-backed end-to-end test
Evidence No fresh passing E2E receipt

3 proof gaps

Unresolved Semantic Proposition
Missing Passing E2e
Missing Production Symbol Coverage

Semantic model Incomplete proposition grounding
Scenario .kb/scenarios/SCEN-agent-guided-migration-orchestration.md
Implementation Ownership present; proof coverage is incomplete
E2E test No scenario-backed end-to-end test
Evidence No fresh passing E2E receipt

3 proof gaps

Unresolved Semantic Proposition
Missing Passing E2e
Missing Production Symbol Coverage

Semantic model Incomplete proposition grounding
Scenario .kb/scenarios/SCEN-agent-kibi-interface-selection.md
Implementation Ownership present; proof coverage is incomplete
E2E test No scenario-backed end-to-end test
Evidence No fresh passing E2E receipt

3 proof gaps

Unresolved Semantic Proposition
Missing Passing E2e
Missing Production Symbol Coverage

Semantic model Incomplete proposition grounding
Scenario .kb/scenarios/SCEN-audit-quality-diagnostics-v1.md
Implementation Ownership present; proof coverage is incomplete
E2E test No scenario-backed end-to-end test
Evidence No fresh passing E2E receipt

3 proof gaps

Unresolved Semantic Proposition
Missing Passing E2e
Missing Production Symbol Coverage

Semantic model Incomplete proposition grounding
Scenario .kb/scenarios/SCEN-cli-canonical-runtime.md
Implementation Ownership present; proof coverage is incomplete
E2E test No scenario-backed end-to-end test
Evidence No fresh passing E2E receipt

3 proof gaps

Unresolved Semantic Proposition
Missing Passing E2e
Missing Production Symbol Coverage

Semantic model Incomplete proposition grounding
Scenario .kb/scenarios/SCEN-005.md
Implementation Ownership present; proof coverage is incomplete
E2E test No scenario-backed end-to-end test
Evidence No fresh passing E2E receipt

3 proof gaps

Unresolved Semantic Proposition
Missing Passing E2e
Missing Production Symbol Coverage

Semantic model Incomplete proposition grounding
Scenario .kb/scenarios/SCEN-001.md
Implementation No production symbol ownership
E2E test .kb/tests/TEST-001.md, .kb/tests/TEST-005.md +8 more
Evidence Passed 2026-08-22 22:46 UTC

2 proof gaps

Unresolved Semantic Proposition
Missing Production Symbol

1 advisory

Missing Verification Receipt

Semantic model Incomplete proposition grounding
Scenario .kb/scenarios/SCEN-006.md
Implementation No production symbol ownership
E2E test No scenario-backed end-to-end test
Evidence No fresh passing E2E receipt

3 proof gaps

Unresolved Semantic Proposition
Missing Passing E2e
Missing Production Symbol

Semantic model Incomplete proposition grounding
Scenario .kb/scenarios/SCEN-cli-canonical-init.md, .kb/scenarios/SCEN-cli-canonical-status.md
Implementation Ownership present; proof coverage is incomplete
E2E test No scenario-backed end-to-end test
Evidence No fresh passing E2E receipt

3 proof gaps

Unresolved Semantic Proposition
Missing Passing E2e
Missing Production Symbol Coverage

Semantic model Incomplete proposition grounding
Scenario .kb/scenarios/SCEN-001.md
Implementation No production symbol ownership
E2E test .kb/tests/TEST-001.md, .kb/tests/TEST-005.md +8 more
Evidence Passed 2026-08-22 22:46 UTC

2 proof gaps

Unresolved Semantic Proposition
Missing Production Symbol

1 advisory

Missing Verification Receipt

Semantic model Incomplete proposition grounding
Scenario .kb/scenarios/SCEN-cli-migrate.md
Implementation Ownership present; proof coverage is incomplete
E2E test No scenario-backed end-to-end test
Evidence No fresh passing E2E receipt

5 proof gaps

Missing Semantic Inventory
Missing Logic Claims
Contradiction Check Incomplete
Missing Passing E2e
Missing Production Symbol Coverage

Semantic model Incomplete proposition grounding
Scenario .kb/scenarios/SCEN-cli-staged-impact-enforcement.md
Implementation Ownership present; proof coverage is incomplete
E2E test No scenario-backed end-to-end test
Evidence No fresh passing E2E receipt

5 proof gaps

Missing Semantic Inventory
Missing Logic Claims
Contradiction Check Incomplete
Missing Passing E2e
Missing Production Symbol Coverage

Semantic model Incomplete proposition grounding
Scenario .kb/scenarios/SCEN-cli-status-pre-first-sync.md
Implementation Ownership present; proof coverage is incomplete
E2E test No scenario-backed end-to-end test
Evidence No fresh passing E2E receipt

5 proof gaps

Missing Semantic Inventory
Missing Logic Claims
Contradiction Check Incomplete
Missing Passing E2e
Missing Production Symbol Coverage

Semantic model Incomplete proposition grounding
Scenario .kb/scenarios/SCEN-cli-usage-metrics-v1.md
Implementation Ownership present; proof coverage is incomplete
E2E test No scenario-backed end-to-end test
Evidence No fresh passing E2E receipt

5 proof gaps

Missing Semantic Inventory
Missing Logic Claims
Contradiction Check Incomplete
Missing Passing E2e
Missing Production Symbol Coverage

Semantic model Incomplete proposition grounding
Scenario .kb/scenarios/SCEN-codex-kibi-plugin-v1.md
Implementation Ownership present; proof coverage is incomplete
E2E test No scenario-backed end-to-end test
Evidence No fresh passing E2E receipt

5 proof gaps

Missing Semantic Inventory
Missing Logic Claims
Contradiction Check Incomplete
Missing Passing E2e
Missing Production Symbol Coverage

Semantic model Incomplete proposition grounding
Scenario .kb/scenarios/SCEN-001.md
Implementation Ownership present; proof coverage is incomplete
E2E test .kb/tests/TEST-001.md, .kb/tests/TEST-005.md +8 more
Evidence Passed 2026-08-22 22:46 UTC

4 proof gaps

Missing Semantic Inventory
Missing Logic Claims
Contradiction Check Incomplete
Missing Production Symbol Coverage

1 advisory

Missing Verification Receipt

Semantic model Incomplete proposition grounding
Scenario .kb/scenarios/SCEN-001.md
Implementation Ownership present; proof coverage is incomplete
E2E test .kb/tests/TEST-001.md, .kb/tests/TEST-005.md +8 more
Evidence Passed 2026-08-22 22:46 UTC

4 proof gaps

Missing Semantic Inventory
Missing Logic Claims
Contradiction Check Incomplete
Missing Production Symbol Coverage

1 advisory

Missing Verification Receipt

Semantic model Incomplete proposition grounding
Scenario .kb/scenarios/SCEN-001.md
Implementation Ownership present; proof coverage is incomplete
E2E test .kb/tests/TEST-001.md, .kb/tests/TEST-005.md +8 more
Evidence Passed 2026-08-22 22:46 UTC

4 proof gaps

Missing Semantic Inventory
Missing Logic Claims
Contradiction Check Incomplete
Missing Production Symbol Coverage

1 advisory

Missing Verification Receipt

Semantic model Incomplete proposition grounding
Scenario .kb/scenarios/SCEN-001.md
Implementation Ownership present; proof coverage is incomplete
E2E test .kb/tests/TEST-001.md, .kb/tests/TEST-005.md +8 more
Evidence Passed 2026-08-22 22:46 UTC

4 proof gaps

Missing Semantic Inventory
Missing Logic Claims
Contradiction Check Incomplete
Missing Production Symbol Coverage

1 advisory

Missing Verification Receipt

Semantic model Incomplete proposition grounding
Scenario .kb/scenarios/SCEN-cursor-agent-plugin-v1.md
Implementation Ownership present; proof coverage is incomplete
E2E test No scenario-backed end-to-end test
Evidence No fresh passing E2E receipt

5 proof gaps

Missing Semantic Inventory
Missing Logic Claims
Contradiction Check Incomplete
Missing Passing E2e
Missing Production Symbol Coverage

Semantic model Incomplete proposition grounding
Scenario .kb/scenarios/SCEN-cursor-kibi-plugin-v1.md
Implementation Ownership present; proof coverage is incomplete
E2E test No scenario-backed end-to-end test
Evidence No fresh passing E2E receipt

5 proof gaps

Missing Semantic Inventory
Missing Logic Claims
Contradiction Check Incomplete
Missing Passing E2e
Missing Production Symbol Coverage

Semantic model Incomplete proposition grounding
Scenario .kb/scenarios/SCEN-cursor-stop-job-vs-plan.md
Implementation Ownership present; proof coverage is incomplete
E2E test No scenario-backed end-to-end test
Evidence No fresh passing E2E receipt

3 proof gaps

Unresolved Semantic Proposition
Missing Passing E2e
Missing Production Symbol Coverage

Semantic model Incomplete proposition grounding
Scenario .kb/scenarios/SCEN-cursor-worktree-kibi-continuity.md
Implementation Ownership present; proof coverage is incomplete
E2E test No scenario-backed end-to-end test
Evidence No fresh passing E2E receipt

5 proof gaps

Missing Semantic Inventory
Missing Logic Claims
Contradiction Check Incomplete
Missing Passing E2e
Missing Production Symbol Coverage

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 Ownership present; proof coverage is incomplete
E2E test .kb/tests/TEST-kibi-logical-requirement-coverage.md, .kb/tests/TEST-kibi-proposition-complete-ingestion.md
Evidence Passed 2026-08-22 22:35 UTC

1 proof gap

Missing Production Symbol Coverage

1 advisory

Missing Verification Receipt

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 Ownership present; proof coverage is incomplete
E2E test .kb/tests/TEST-kibi-change-to-proof-plan-compiler.md, .kb/tests/TEST-kibi-operation-interface-parity.md
Evidence Passed 2026-08-22 22:46 UTC

1 proof gap

Missing Production Symbol Coverage

1 advisory

Missing Verification Receipt

Semantic model Incomplete proposition grounding
Scenario .kb/scenarios/SCEN-kibi-proof-aware-quality-diagnostics.md
Implementation No production symbol ownership
E2E test No scenario-backed end-to-end test
Evidence No fresh passing E2E receipt

3 proof gaps

Unresolved Semantic Proposition
Missing Passing E2e
Missing Production Symbol

Semantic model Incomplete proposition grounding
Scenario .kb/scenarios/SCEN-mcp-cli-help.md
Implementation Ownership present; proof coverage is incomplete
E2E test No scenario-backed end-to-end test
Evidence No fresh passing E2E receipt

5 proof gaps

Missing Semantic Inventory
Missing Logic Claims
Contradiction Check Incomplete
Missing Passing E2e
Missing Production Symbol Coverage

Semantic model Incomplete proposition grounding
Scenario .kb/scenarios/SCEN-mcp-kb-freshness.md, .kb/scenarios/SCEN-mcp-kb-freshness-coverage.md
Implementation Ownership present; proof coverage is incomplete
E2E test No scenario-backed end-to-end test
Evidence No fresh passing E2E receipt

5 proof gaps

Missing Semantic Inventory
Missing Logic Claims
Contradiction Check Incomplete
Missing Passing E2e
Missing Production Symbol Coverage

Semantic model Incomplete proposition grounding
Scenario .kb/scenarios/SCEN-mcp-relationship-preflight.md
Implementation Ownership present; proof coverage is incomplete
E2E test No scenario-backed end-to-end test
Evidence No fresh passing E2E receipt

5 proof gaps

Missing Semantic Inventory
Missing Logic Claims
Contradiction Check Incomplete
Missing Passing E2e
Missing Production Symbol Coverage

Semantic model Incomplete proposition grounding
Scenario .kb/scenarios/SCEN-mcp-search-discovery.md
Implementation Ownership present; proof coverage is incomplete
E2E test .kb/tests/TEST-mcp-search-discovery.md
Evidence No fresh passing E2E receipt

6 proof gaps

Missing Semantic Inventory
Missing Logic Claims
Contradiction Check Incomplete
Missing Passing E2e
Missing Verification Receipt
Missing Production Symbol Coverage

Semantic model Incomplete proposition grounding
Scenario .kb/scenarios/SCEN-mcp-semantic-advisor-preflight.md
Implementation Ownership present; proof coverage is incomplete
E2E test No scenario-backed end-to-end test
Evidence No fresh passing E2E receipt

5 proof gaps

Missing Semantic Inventory
Missing Logic Claims
Contradiction Check Incomplete
Missing Passing E2e
Missing Production Symbol Coverage

Semantic model Incomplete proposition grounding
Scenario .kb/scenarios/SCEN-mcp-skills-resource-discoverability.md
Implementation Ownership present; proof coverage is incomplete
E2E test No scenario-backed end-to-end test
Evidence No fresh passing E2E receipt

5 proof gaps

Missing Semantic Inventory
Missing Logic Claims
Contradiction Check Incomplete
Missing Passing E2e
Missing Production Symbol Coverage

Semantic model Incomplete proposition grounding
Scenario .kb/scenarios/SCEN-mcp-suggest-predicates.md
Implementation Ownership present; proof coverage is incomplete
E2E test No scenario-backed end-to-end test
Evidence No fresh passing E2E receipt

5 proof gaps

Missing Semantic Inventory
Missing Logic Claims
Contradiction Check Incomplete
Missing Passing E2e
Missing Production Symbol Coverage

Semantic model Incomplete proposition grounding
Scenario .kb/scenarios/SCEN-mcp-tag-filtering-server-side.md
Implementation No production symbol ownership
E2E test No scenario-backed end-to-end test
Evidence No fresh passing E2E receipt

5 proof gaps

Missing Semantic Inventory
Missing Logic Claims
Contradiction Check Incomplete
Missing Passing E2e
Missing Production Symbol

Semantic model Incomplete proposition grounding
Scenario .kb/scenarios/SCEN-mcp-tool-check-coverage.md
Implementation Ownership present; proof coverage is incomplete
E2E test No scenario-backed end-to-end test
Evidence No fresh passing E2E receipt

5 proof gaps

Missing Semantic Inventory
Missing Logic Claims
Contradiction Check Incomplete
Missing Passing E2e
Missing Production Symbol Coverage

Semantic model Incomplete proposition grounding
Scenario .kb/scenarios/SCEN-mcp-tool-query.md
Implementation Ownership present; proof coverage is incomplete
E2E test No scenario-backed end-to-end test
Evidence No fresh passing E2E receipt

5 proof gaps

Missing Semantic Inventory
Missing Logic Claims
Contradiction Check Incomplete
Missing Passing E2e
Missing Production Symbol Coverage

Semantic model Incomplete proposition grounding
Scenario .kb/scenarios/SCEN-mcp-tool-upsert.md
Implementation Ownership present; proof coverage is incomplete
E2E test No scenario-backed end-to-end test
Evidence No fresh passing E2E receipt

5 proof gaps

Missing Semantic Inventory
Missing Logic Claims
Contradiction Check Incomplete
Missing Passing E2e
Missing Production Symbol Coverage

Semantic model Incomplete proposition grounding
Scenario .kb/scenarios/SCEN-opencode-background-sync.md
Implementation No production symbol ownership
E2E test No scenario-backed end-to-end test
Evidence No fresh passing E2E receipt

5 proof gaps

Missing Semantic Inventory
Missing Logic Claims
Contradiction Check Incomplete
Missing Passing E2e
Missing Production Symbol

Semantic model .kb/facts/FACT-PROP-NUDGE-ROUTING.md
Scenario .kb/scenarios/SCEN-opencode-bootstrap-nudge.md
Implementation Ownership present; proof coverage is incomplete
E2E test .kb/tests/TEST-opencode-kibi-plugin-v1.md, .kb/tests/TEST-test-journaled-engine-harness.md
Evidence Passed 2026-08-22 22:44 UTC

1 proof gap

Missing Production Symbol Coverage

Semantic model Incomplete proposition grounding
Scenario .kb/scenarios/SCEN-opencode-python-comment-routing.md
Implementation No production symbol ownership
E2E test No scenario-backed end-to-end test
Evidence No fresh passing E2E receipt

5 proof gaps

Missing Semantic Inventory
Missing Logic Claims
Contradiction Check Incomplete
Missing Passing E2e
Missing Production Symbol

Semantic model Incomplete proposition grounding
Scenario .kb/scenarios/SCEN-opencode-file-context-guidance-v1.md
Implementation No production symbol ownership
E2E test .kb/tests/TEST-opencode-file-context-guidance-v1.md
Evidence No fresh passing E2E receipt

4 proof gaps

Unresolved Semantic Proposition
Missing Passing E2e
Missing Verification Receipt
Missing Production Symbol

Semantic model Incomplete proposition grounding
Scenario .kb/scenarios/SCEN-opencode-guidance-caching.md
Implementation Ownership present; proof coverage is incomplete
E2E test No scenario-backed end-to-end test
Evidence No fresh passing E2E receipt

5 proof gaps

Missing Semantic Inventory
Missing Logic Claims
Contradiction Check Incomplete
Missing Passing E2e
Missing Production Symbol Coverage

Semantic model Incomplete proposition grounding
Scenario .kb/scenarios/SCEN-opencode-guidance-injection.md
Implementation No production symbol ownership
E2E test No scenario-backed end-to-end test
Evidence No fresh passing E2E receipt

5 proof gaps

Missing Semantic Inventory
Missing Logic Claims
Contradiction Check Incomplete
Missing Passing E2e
Missing Production Symbol

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 Ownership present; proof coverage is incomplete
E2E test .kb/tests/TEST-opencode-kibi-plugin-v1-coverage.md, .kb/tests/TEST-test-journaled-engine-harness.md
Evidence Passed 2026-08-22 22:44 UTC

1 proof gap

Missing Production Symbol Coverage

Semantic model Incomplete proposition grounding
Scenario .kb/scenarios/SCEN-opencode-posture-detection.md
Implementation Ownership present; proof coverage is incomplete
E2E test No scenario-backed end-to-end test
Evidence No fresh passing E2E receipt

5 proof gaps

Missing Semantic Inventory
Missing Logic Claims
Contradiction Check Incomplete
Missing Passing E2e
Missing Production Symbol Coverage

Semantic model Incomplete proposition grounding
Scenario .kb/scenarios/SCEN-opencode-risk-classification.md
Implementation Ownership present; proof coverage is incomplete
E2E test No scenario-backed end-to-end test
Evidence No fresh passing E2E receipt

5 proof gaps

Missing Semantic Inventory
Missing Logic Claims
Contradiction Check Incomplete
Missing Passing E2e
Missing Production Symbol Coverage

Semantic model Incomplete proposition grounding
Scenario .kb/scenarios/SCEN-opencode-smart-enforcement-v1-coverage.md
Implementation No production symbol ownership
E2E test No scenario-backed end-to-end test
Evidence No fresh passing E2E receipt

5 proof gaps

Missing Semantic Inventory
Missing Logic Claims
Contradiction Check Incomplete
Missing Passing E2e
Missing Production Symbol

Semantic model Incomplete proposition grounding
Scenario .kb/scenarios/SCEN-opencode-sync-feedback.md
Implementation No production symbol ownership
E2E test No scenario-backed end-to-end test
Evidence No fresh passing E2E receipt

5 proof gaps

Missing Semantic Inventory
Missing Logic Claims
Contradiction Check Incomplete
Missing Passing E2e
Missing Production Symbol

Semantic model Incomplete proposition grounding
Scenario .kb/scenarios/SCEN-prolog-library-adoption.md
Implementation Ownership present; proof coverage is incomplete
E2E test No scenario-backed end-to-end test
Evidence No fresh passing E2E receipt

5 proof gaps

Missing Semantic Inventory
Missing Logic Claims
Contradiction Check Incomplete
Missing Passing E2e
Missing Production Symbol Coverage

Semantic model Incomplete proposition grounding
Scenario .kb/scenarios/SCEN-remove-briefs-v1.md
Implementation No production symbol ownership
E2E test No scenario-backed end-to-end test
Evidence No fresh passing E2E receipt

5 proof gaps

Missing Semantic Inventory
Missing Logic Claims
Contradiction Check Incomplete
Missing Passing E2e
Missing Production Symbol

Semantic model Incomplete proposition grounding
Scenario .kb/scenarios/SCEN-reusable-skill-subsystem.md
Implementation Ownership present; proof coverage is incomplete
E2E test No scenario-backed end-to-end test
Evidence No fresh passing E2E receipt

5 proof gaps

Missing Semantic Inventory
Missing Logic Claims
Contradiction Check Incomplete
Missing Passing E2e
Missing Production Symbol Coverage

Semantic model Incomplete proposition grounding
Scenario .kb/scenarios/SCEN-root-suite-batch-diagnostics.md
Implementation Ownership present; proof coverage is incomplete
E2E test No scenario-backed end-to-end test
Evidence No fresh passing E2E receipt

5 proof gaps

Missing Semantic Inventory
Missing Logic Claims
Contradiction Check Incomplete
Missing Passing E2e
Missing Production Symbol Coverage

Semantic model Incomplete proposition grounding
Scenario .kb/scenarios/SCEN-skillopt-external-adoption-verdict.md
Implementation Ownership present; proof coverage is incomplete
E2E test No scenario-backed end-to-end test
Evidence No fresh passing E2E receipt

5 proof gaps

Missing Semantic Inventory
Missing Logic Claims
Contradiction Check Incomplete
Missing Passing E2e
Missing Production Symbol Coverage

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 Ownership present; proof coverage is incomplete
E2E test .kb/tests/TEST-skillopt-logical-evidence-fidelity.md, .kb/tests/TEST-test-journaled-engine-harness.md
Evidence Passed 2026-08-22 22:44 UTC

1 proof gap

Missing Production Symbol Coverage

Semantic model Incomplete proposition grounding
Scenario .kb/scenarios/SCEN-skillopt-paid-launch-accounting.md
Implementation Ownership present; proof coverage is incomplete
E2E test No scenario-backed end-to-end test
Evidence No fresh passing E2E receipt

5 proof gaps

Missing Semantic Inventory
Missing Logic Claims
Contradiction Check Incomplete
Missing Passing E2e
Missing Production Symbol Coverage

Semantic model Incomplete proposition grounding
Scenario .kb/scenarios/SCEN-skillopt-predicate-first-requirements.md
Implementation Ownership present; proof coverage is incomplete
E2E test No scenario-backed end-to-end test
Evidence No fresh passing E2E receipt

5 proof gaps

Missing Semantic Inventory
Missing Logic Claims
Contradiction Check Incomplete
Missing Passing E2e
Missing Production Symbol Coverage

Semantic model Incomplete proposition grounding
Scenario .kb/scenarios/SCEN-symbol-behavioral-anchors.md
Implementation Ownership present; proof coverage is incomplete
E2E test No scenario-backed end-to-end test
Evidence No fresh passing E2E receipt

5 proof gaps

Missing Semantic Inventory
Missing Logic Claims
Contradiction Check Incomplete
Missing Passing E2e
Missing Production Symbol Coverage

Semantic model Incomplete proposition grounding
Scenario .kb/scenarios/SCEN-vscode-kb-to-source.md
Implementation No production symbol ownership
E2E test No scenario-backed end-to-end test
Evidence No fresh passing E2E receipt

3 proof gaps

Unresolved Semantic Proposition
Missing Passing E2e
Missing Production Symbol

Semantic model Incomplete proposition grounding
Scenario .kb/scenarios/SCEN-vscode-sidebar-kb-tree.md
Implementation No production symbol ownership
E2E test No scenario-backed end-to-end test
Evidence No fresh passing E2E receipt

5 proof gaps

Missing Semantic Inventory
Missing Logic Claims
Contradiction Check Incomplete
Missing Passing E2e
Missing Production Symbol

Semantic model Incomplete proposition grounding
Scenario .kb/scenarios/SCEN-vscode-source-to-kb.md
Implementation Ownership present; proof coverage is incomplete
E2E test No scenario-backed end-to-end test
Evidence No fresh passing E2E receipt

5 proof gaps

Missing Semantic Inventory
Missing Logic Claims
Contradiction Check Incomplete
Missing Passing E2e
Missing Production Symbol Coverage

Semantic model Incomplete proposition grounding
Scenario .kb/scenarios/SCEN-vscode-traceability-coverage.md
Implementation Ownership present; proof coverage is incomplete
E2E test No scenario-backed end-to-end test
Evidence No fresh passing E2E receipt

5 proof gaps

Missing Semantic Inventory
Missing Logic Claims
Contradiction Check Incomplete
Missing Passing E2e
Missing Production Symbol Coverage

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 +9 more
Evidence Passed 2026-08-22 22:46 UTC

1 advisory

Missing Verification Receipt

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 +9 more
Evidence Passed 2026-08-22 22:46 UTC

1 advisory

Missing Verification Receipt

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 +19 more
E2E test .kb/tests/TEST-001.md, .kb/tests/TEST-005.md +11 more
Evidence Passed 2026-08-22 22:46 UTC

1 advisory

Missing Verification Receipt

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/coverage-manifest.ts:30-45, scripts/coverage-manifest.ts:48-52 +4 more
E2E test .kb/tests/TEST-006.md, .kb/tests/TEST-011.md +2 more
Evidence Passed 2026-08-22 22:32 UTC

Semantic model .kb/facts/FACT-BRANCH-CROSS-IDENTITY-MIGRATION-REFUSED.md, .kb/facts/FACT-EXACT-BRANCH-IDENTITY-SOURCE.md +4 more
Scenario .kb/scenarios/SCEN-branch-store-recovery.md
Implementation packages/cli/src/utils/branch-resolver.ts:244-314, packages/cli/src/commands/branch.ts:232-261 +8 more
E2E test .kb/tests/TEST-cli-branch-store-recovery.md, .kb/tests/TEST-cli-supersedes-history-unit.md
Evidence Passed 2026-08-22 22:32 UTC

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-13
E2E test .kb/tests/TEST-codex-consumer-local-mcp-registration-v1.md
Evidence Passed 2026-08-22 22:48 UTC

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:107-1015, packages/cli/src/commands/sync/staging.ts:240-260 +71 more
E2E test .kb/tests/TEST-core-journaled-engine-delta-sync.md, .kb/tests/TEST-core-journaled-engine-lifecycle.md +1 more
Evidence Passed 2026-08-22 22:46 UTC

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.mjs:319-372, packages/cursor/bin/launch-kibi-mcp.mjs:61-87 +2 more
E2E test .kb/tests/TEST-cursor-consumer-local-mcp-launcher-v1.md
Evidence Passed 2026-08-22 22:47 UTC

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:280-297, packages/cli/src/commands/init-helpers.ts:244-278
E2E test .kb/tests/TEST-006.md
Evidence Passed 2026-08-22 22:32 UTC

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/public/operations/specs/bootstrap.ts:16-99, packages/cli/src/operations/bootstrap/activation.ts:119-192 +54 more
E2E test .kb/tests/TEST-KIBI-BOOTSTRAP-PLAN-APPLY.md, .kb/tests/TEST-kibi-change-to-proof-plan-compiler.md
Evidence Passed 2026-08-22 22:46 UTC

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 2026-08-22 22:34 UTC

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:31-35, scripts/change-to-proof-eval.ts:51-56 +8 more
E2E test .kb/tests/TEST-kibi-change-to-proof-evaluation.md
Evidence Passed 2026-08-22 22:46 UTC

Semantic model .kb/facts/FACT-REQ-PROOF-PLAN-LEDGER.md, .kb/facts/FACT-REQ-PROOF-PLAN-HASH-GUARD.md
Scenario .kb/scenarios/SCEN-kibi-change-to-proof-plan-compiler.md
Implementation packages/cli/src/operations/planning/apply-plan.ts:47-67, packages/cli/src/operations/planning/apply-plan.ts:85-174 +15 more
E2E test .kb/tests/TEST-kibi-change-to-proof-plan-compiler.md
Evidence Passed 2026-08-22 22:46 UTC

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:53-61 +16 more
E2E test .kb/tests/TEST-kibi-conservative-requirement-proof.md
Evidence Passed 2026-08-22 22:33 UTC

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:319-372, packages/cursor/bin/launch-kibi-mcp.mjs:61-87 +2 more
E2E test .kb/tests/TEST-kibi-consumer-local-plugin-launcher-ontology-v1.md
Evidence Passed 2026-08-22 22:48 UTC

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/mcp/src/tools/coverage.ts:33-42 +12 more
E2E test .kb/tests/TEST-kibi-dependency-ordered-repair-plan.md
Evidence Passed 2026-08-22 22:33 UTC

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:347-549, packages/cli/src/public/distribution-parity.ts:276-302 +20 more
E2E test .kb/tests/TEST-kibi-distribution-parity-matrix.md
Evidence Passed 2026-08-22 22:34 UTC

Semantic model .kb/facts/FACT-VERIFICATION-RECEIPT-BINDING.md, .kb/facts/FACT-VERIFICATION-RECEIPT-FRESHNESS.md +4 more
Scenario .kb/scenarios/SCEN-kibi-fresh-verification-receipts.md, .kb/scenarios/SCEN-kibi-snapshot-relevance.md
Implementation packages/core/src/requirement_proof.pl:462, packages/cli/src/public/operations/discovery-executors.ts:200-298 +3 more
E2E test .kb/tests/TEST-cli-workspace-snapshot-dirtiness.md, .kb/tests/TEST-kibi-fresh-verification-receipts.md
Evidence Passed 2026-08-22 22:34 UTC

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:31, packages/cli/src/commands/github-init.ts:29 +22 more
E2E test .kb/tests/TEST-kibi-github-report-e2e.md, .kb/tests/TEST-kibi-github-report-integration.md
Evidence Passed 2026-08-22 22:47 UTC

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:32-36, packages/cli/src/report/html-report.ts:38-44 +28 more
E2E test .kb/tests/TEST-kibi-html-health-report.md
Evidence Passed 2026-08-22 22:34 UTC

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:565-608, packages/cli/src/intent-search.ts:50-54 +11 more
E2E test .kb/tests/TEST-kibi-intent-aware-source-discovery.md
Evidence Passed 2026-08-22 22:47 UTC

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:19, packages/core/src/requirement_proof.pl:61 +5 more
E2E test .kb/tests/TEST-kibi-ontology-convergence-witnesses.md
Evidence Passed 2026-08-22 22:35 UTC

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-250, packages/cli/src/operations/modeling/predicate-bindings.ts:138-148 +22 more
E2E test .kb/tests/TEST-kibi-predicate-suggestion-relevance-v1.md
Evidence Passed 2026-08-22 22:48 UTC

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:914-979 +37 more
E2E test .kb/tests/TEST-kibi-proposition-complete-ingestion.md
Evidence Passed 2026-08-22 22:35 UTC

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:164-225, packages/cli/src/public/operations/source-relationship-parity.ts:31-90 +1 more
E2E test .kb/tests/TEST-cli-source-relationship-parity-unit.md, .kb/tests/TEST-kibi-source-relationship-parity.md
Evidence Passed 2026-08-22 22:32 UTC

Semantic model .kb/facts/FACT-PRED-E8FA9DDC5BEA.md, .kb/facts/FACT-PRED-56D7C9AC1D9E.md +10 more
Scenario .kb/scenarios/SCEN-kibi-telemetry-acceptance-gate.md
Implementation packages/cli/src/public/impact/full-kb-quality.ts:380-416, packages/cli/src/cli-register-maintenance.ts:7-146 +20 more
E2E test .kb/tests/TEST-kibi-telemetry-acceptance-gate.md
Evidence Passed 2026-08-22 22:35 UTC

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/cli-json-command.ts:62-169, packages/mcp/src/diagnostics.ts:358-485 +13 more
E2E test .kb/tests/TEST-kibi-telemetry-remediation-evidence.md
Evidence Passed 2026-08-22 22:35 UTC

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-kibi-verification-evidence-contract.md
Implementation packages/cli/src/cli-register-verification.ts:5-34, packages/cli/src/commands/verify.ts:94-182 +26 more
E2E test .kb/tests/TEST-kibi-verification-evidence-contract.md
Evidence Passed 2026-08-22 22:35 UTC

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-29
E2E test .kb/tests/TEST-runtime-packed-engine-daemon.md
Evidence Passed 2026-08-22 22:48 UTC

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:50-67, packages/cli/src/engine.ts:1392-1956 +27 more
E2E test .kb/tests/TEST-test-journaled-engine-harness.md
Evidence Passed 2026-08-22 22:44 UTC

No requirements match this view.