- Semantic model .kb/facts/FACT-PROP-AD1CB75BB70D7E26.md
- Scenario .kb/scenarios/SCEN-the-negate-operator-removes-a-negation-or-negates-a-conditio.md
- Implementation prolog/mutalog/operators.pl:140
- E2E test .kb/tests/TEST-e2e-operator-negate.md
- Evidence Passed
Requirement health · master
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
43 of 43 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.
Requirements43
Proved by certificate4
Tested end to end43
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.
- Semantic model .kb/facts/FACT-PROP-232B933628AFBE0F.md
- Scenario .kb/scenarios/SCEN-the-clause-drop-operator-removes-one-clause.md
- Implementation prolog/mutalog/generate.pl:40
- E2E test .kb/tests/TEST-e2e-operator-clause-drop.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-56A7CB4B53AA6EF8.md
- Scenario .kb/scenarios/SCEN-the-cut-operators-remove-and-insert-cuts.md
- Implementation prolog/mutalog/generate.pl:90, prolog/mutalog/operators.pl:151
- E2E test .kb/tests/TEST-e2e-operator-cut.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-3CF224C5CA2178F5.md
- Scenario .kb/scenarios/SCEN-the-json-report-follows-schema-version-2.md
- Implementation prolog/mutalog/report.pl:127, prolog/mutalog/report.pl:2
- E2E test .kb/tests/TEST-e2e-json-report-follows-schema-v2.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-62B6D7FFCF4C9CAC.md
- Scenario .kb/scenarios/SCEN-a-project-adds-its-own-operator.md
- Implementation prolog/mutalog/operators.pl:2, prolog/mutalog/run.pl:57
- E2E test .kb/tests/TEST-e2e-custom-operator-from-a-project.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-8903BA5B6DC6FCA6.md
- Scenario .kb/scenarios/SCEN-mutants-apply-to-static-code-by-reloading-the-source.md
- Implementation prolog/mutalog/worker.pl:199, prolog/mutalog/worker.pl:49
- E2E test .kb/tests/TEST-e2e-applies-mutants-to-static-code.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-0CE1B82A0B721C9E.md
- Scenario .kb/scenarios/SCEN-the-goal-true-operator-replaces-a-goal-with-true.md
- Implementation prolog/mutalog/operators.pl:161
- E2E test .kb/tests/TEST-e2e-operator-goal-true.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-A329406E1091BA5D.md
- Scenario .kb/scenarios/SCEN-the-arith-operator-swaps-arithmetic-operators.md
- Implementation prolog/mutalog/operators.pl:81
- E2E test .kb/tests/TEST-e2e-operator-arith.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-48206DDA5B49BFFF.md
- Scenario .kb/scenarios/SCEN-a-failing-test-stops-the-run-before-any-mutant.md
- Implementation prolog/mutalog/run.pl:3, prolog/mutalog/run.pl:573
- E2E test .kb/tests/TEST-e2e-failing-test-stops-the-run.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-B894DABBE7258B5C.md
- Scenario .kb/scenarios/SCEN-files-with-their-own-operators-read-correctly.md
- Implementation prolog/mutalog/reader.pl:2, prolog/mutalog/reader.pl:5
- E2E test .kb/tests/TEST-e2e-reads-custom-operators-and-syntax.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-1A84F2029C3AB214.md
- Scenario .kb/scenarios/SCEN-a-mutant-that-halts-its-worker-does-not-stop-the-run.md
- Implementation prolog/mutalog/client.pl:2, prolog/mutalog/run.pl:193
- E2E test .kb/tests/TEST-e2e-crash-is-isolated-in-a-worker-process.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-B17DF9D62C99A6AD.md
- Scenario .kb/scenarios/SCEN-mutalog-lists-and-checks-its-own-mutants.md
- Implementation prolog/mutalog/discover.pl:2, prolog/mutalog.pl:3
- E2E test .kb/tests/TEST-e2e-mutates-itself.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-434CE8D5F26ADE7F.md
- Scenario .kb/scenarios/SCEN-mutants-no-test-covers-are-settled-without-running.md
- Implementation prolog/mutalog/run.pl:285, prolog/mutalog/run.pl:268
- E2E test .kb/tests/TEST-e2e-uncovered-mutants-are-not-run.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-6DB83AC150C5EC5B.md
- Scenario .kb/scenarios/SCEN-mutalog-list-prints-the-mutants-and-runs-nothing.md
- Implementation prolog/mutalog.pl:3, prolog/mutalog.pl:63
- E2E test .kb/tests/TEST-e2e-list-prints-mutants-without-running.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-3C1EBA2C23501981.md
- Scenario .kb/scenarios/SCEN-mutalog-run-only-runs-the-chosen-mutants.md
- Implementation prolog/mutalog/run.pl:253
- E2E test .kb/tests/TEST-e2e-only-runs-the-chosen-mutants.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-2AF770C1BB7ABF32.md
- Scenario .kb/scenarios/SCEN-a-looping-mutant-times-out.md
- Implementation prolog/mutalog/run.pl:303, prolog/mutalog/worker.pl:201
- E2E test .kb/tests/TEST-e2e-time-limit-from-dry-run.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-496724F36738DD57.md
- Scenario .kb/scenarios/SCEN-the-goal-fail-operator-replaces-a-goal-with-fail.md
- Implementation prolog/mutalog/operators.pl:163
- E2E test .kb/tests/TEST-e2e-operator-goal-fail.md
- Evidence Passed
Packaging must require only SWI-Prolog 9.0 or later and nothing outside the SWI-Prolog distribution.
- Semantic model .kb/facts/FACT-PROP-7770D341DB935577.md
- Scenario .kb/scenarios/SCEN-the-pack-needs-nothing-outside-swi-prolog.md
- Implementation pack.pl:1-8
- E2E test .kb/tests/TEST-e2e-pack-needs-only-swi-prolog.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-4BAFF6C878B70708.md
- Scenario .kb/scenarios/SCEN-the-unify-operator-swaps-unification-and-equality-tests.md
- Implementation prolog/mutalog/operators.pl:127
- E2E test .kb/tests/TEST-e2e-operator-unify.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-5B8CEC607C0ACE73.md
- Scenario .kb/scenarios/SCEN-mutalog-list-check-re-reads-every-mutant.md
- Implementation prolog/mutalog/generate.pl:3, prolog/mutalog.pl:186
- E2E test .kb/tests/TEST-e2e-list-check-rereads-every-mutant.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-9F5F0B957E1E2C84.md
- Scenario .kb/scenarios/SCEN-a-crashing-mutant-is-retried-on-a-fresh-worker.md
- Implementation prolog/mutalog/run.pl:417, prolog/mutalog/run.pl:451
- E2E test .kb/tests/TEST-e2e-crash-is-retried-on-a-fresh-worker.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-D6A23292EE78C7B5.md
- Scenario .kb/scenarios/SCEN-mutalog-installs-and-runs-as-a-pack.md
- Implementation prolog/mutalog.pl:2, pack.pl:1-8
- E2E test .kb/tests/TEST-e2e-installs-as-a-pack.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-5BE6C06341526BF5.md
- Scenario .kb/scenarios/SCEN-the-literal-operator-changes-numbers-and-lists.md
- Implementation prolog/mutalog/operators.pl:176
- E2E test .kb/tests/TEST-e2e-operator-literal.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-9251F1521AA2ABE1.md
- Scenario .kb/scenarios/SCEN-the-hard-limit-stops-code-that-catches-the-time-limit.md
- Implementation prolog/mutalog/client.pl:3, prolog/mutalog/client.pl:71 +1 more
- E2E test .kb/tests/TEST-e2e-hard-limit-stops-a-swallowed-time-limit.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-E55DAEE634CFC4D1.md
- Scenario .kb/scenarios/SCEN-mutalog-run-reports-statuses-and-the-mutation-score.md
- Implementation prolog/mutalog/run.pl:5, prolog/mutalog/run.pl:6
- E2E test .kb/tests/TEST-e2e-run-reports-statuses-and-score.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-A00B9B5046EFCB73.md
- Scenario .kb/scenarios/SCEN-mutant-ids-name-the-file-line-column-and-operator.md
- Implementation prolog/mutalog/generate.pl:44
- E2E test .kb/tests/TEST-e2e-mutant-ids-name-file-line-column-operator.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-0E2A9C9B179D4986.md
- Scenario .kb/scenarios/SCEN-the-break-threshold-sets-the-exit-code.md
- Implementation prolog/mutalog.pl:273, prolog/mutalog.pl:86
- E2E test .kb/tests/TEST-e2e-break-threshold-sets-the-exit-code.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-184FE7C937065C68.md
- Scenario .kb/scenarios/SCEN-the-compare-operator-moves-and-flips-comparisons.md
- Implementation prolog/mutalog/operators.pl:106
- E2E test .kb/tests/TEST-e2e-operator-compare.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-FC0F869944204EC2.md
- Scenario .kb/scenarios/SCEN-mutants-with-the-longest-limits-start-first.md
- Implementation prolog/mutalog/run.pl:270
- E2E test .kb/tests/TEST-e2e-longest-limits-start-first.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-5619CE0B220EEEA0.md
- Scenario .kb/scenarios/SCEN-the-html-report-needs-no-network.md
- Implementation prolog/mutalog/report.html:1-217, prolog/mutalog/report.pl:48
- E2E test .kb/tests/TEST-e2e-html-report-is-self-contained.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-1A0C9C1B8381DEC8.md
- Scenario .kb/scenarios/SCEN-the-config-file-is-optional-and-read-when-present.md
- Implementation prolog/mutalog/config.pl:2, prolog/mutalog/config.pl:79
- E2E test .kb/tests/TEST-e2e-config-file-is-optional-and-read.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-06067E1F143AC919.md
- Scenario .kb/scenarios/SCEN-the-pack-has-no-node-dependency.md
- Implementation bin/mutalog:1-5
- E2E test .kb/tests/TEST-e2e-pack-has-no-node-dependency.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-D72C4ACF88B2C36B.md
- Scenario .kb/scenarios/SCEN-a-mutant-runs-only-the-tests-that-cover-it.md
- Implementation prolog/mutalog/run.pl:285, prolog/mutalog/worker.pl:201
- E2E test .kb/tests/TEST-e2e-runs-only-covering-tests.md
- Evidence Passed
Generator must not mutate directives, DCG rules, CHR rules or anything inside begin_tests/end_tests.
- Semantic model .kb/facts/FACT-PROP-20E3677EFAA31E8E.md
- Scenario .kb/scenarios/SCEN-directives-dcg-rules-and-tests-are-never-mutated.md
- Implementation prolog/mutalog/reader.pl:36, prolog/mutalog/reader.pl:107
- E2E test .kb/tests/TEST-e2e-never-mutates-directives-dcg-or-tests.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-1A23083213D134A1.md
- Scenario .kb/scenarios/SCEN-the-dry-run-reports-each-test-with-its-time-and-clauses.md
- Implementation prolog/mutalog/run.pl:3, prolog/mutalog/worker.pl:145 +1 more
- E2E test .kb/tests/TEST-e2e-dry-run-records-time-and-clauses.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-3BB81498BA54BB25.md
- Scenario .kb/scenarios/SCEN-a-clause-that-a-mutant-drops-stops-answering-after-the-reload.md
- Implementation prolog/mutalog/worker.pl:49
- E2E test .kb/tests/TEST-e2e-dropped-clause-mutant-is-killed.md, .kb/tests/TEST-worker-reload-drops-stale-clauses.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-4BB035F3A05D4F6F.md
- Scenario .kb/scenarios/SCEN-a-run-where-most-mutants-do-not-load-fails-the-break-threshold.md
- Implementation prolog/mutalog.pl:86
- E2E test .kb/tests/TEST-e2e-mostly-compile-errors-fails-the-break.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-14338E0014F735B2.md
- Scenario .kb/scenarios/SCEN-mutants-of-a-module-that-another-mutated-module-imports-load.md
- Implementation prolog/mutalog/worker.pl:49
- E2E test .kb/tests/TEST-e2e-mutates-a-module-another-module-imports.md
- Evidence Passed
- Semantic model .kb/facts/FACT-PROP-4E649BA07003BE87.md
- Scenario .kb/scenarios/SCEN-the-release-check-needs-a-changelog-section.md
- Implementation .github/workflows/ci.yml:1-67, scripts/release-check.sh:4
- E2E test .kb/tests/TEST-ci-runs-release-check.md, .kb/tests/TEST-e2e-release-check-requires-a-changelog-section.md
- Evidence Passed
- Certificate source · 1 test · 1/1 claims proved
Release must publish the version in pack.pl when a push to master carries a version that has no tag.
- Semantic model .kb/facts/FACT-PROP-C7FEABC2C80B3488.md
- Scenario .kb/scenarios/SCEN-release-on-push-to-master-with-an-untagged-version.md
- Implementation scripts/release-decide.sh:1-37, .github/workflows/release.yml:1-127
- E2E test .kb/tests/TEST-e2e-release-on-push-to-master-with-an-untagged-version.md, .kb/tests/TEST-release-runs-on-push-to-master.md
- Evidence Passed
- Certificate source · 1 test · 1/1 claims proved
- Semantic model .kb/facts/FACT-PROP-34D68E4DFB8A5AAF.md
- Scenario .kb/scenarios/SCEN-the-release-check-refuses-an-already-tagged-version.md
- Implementation scripts/release-check.sh:4, scripts/release-decide.sh:1-37 +1 more
- E2E test .kb/tests/TEST-e2e-release-refuses-a-tagged-version.md, .kb/tests/TEST-release-check-job-runs-the-decision-script.md
- Evidence Passed
- Certificate source · 1 test · 1/1 claims proved
- Semantic model .kb/facts/FACT-PROP-375CB78425F14543.md
- Scenario .kb/scenarios/SCEN-the-version-step-syncs-pack-and-changelog.md
- Implementation scripts/sync-version.mjs:6, package.json:9
- E2E test .kb/tests/TEST-e2e-version-step-syncs-pack-and-changelog.md, .kb/tests/TEST-version-step-runs-sync-version.md
- Evidence Passed
- Certificate source · 1 test · 1/1 claims proved
- Semantic model .kb/facts/FACT-PROP-BF89BBAA759E6327.md
- Scenario .kb/scenarios/SCEN-mutants-of-modules-that-export-the-same-name-load.md
- Implementation prolog/mutalog/worker.pl:49
- E2E test .kb/tests/TEST-e2e-mutates-modules-that-export-the-same-name.md
- Evidence Passed
No requirements match this view.