Requirement health
Looted/tree-sitter-swi-prolog main 8f7d89af65e5

Requirement health · main

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%
Tested end to end
19 of 19 current requirements fully tested 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.

Requirements19
Proved by certificate18
Tested end to end19
Asserted, no current test0
Unverified0
Below evidence floor0
Pending re-proof0
Stale E2E evidence0
Missing scenarios0
Requirements without implementation0
Unmapped production symbols0
Contradictions0

Proof ledger

Requirements

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

Proved
Proved
Proved
Proved
Proved
Proved
Proved
Proved
Proved
Proved
Proved
No requirements match this view.