Evidence coverage

A coverage report says which supplied evidence requirements are met, which are gaps, and which plans did not decide. It is not a merged evidence graph and it is not a composed SATISFIED across unrelated images.

Examplets

import { createKarCoverage } from '@knolo/core/kar';

Public vectors live in conformance/kar/coverage-v1. The worked demo is examples/kar-coverage.

Coverage does not load a Domain Pack by name and does not turn review-required proposals into validated semantics. A gap is a missing requirement in the committed graph, not a finding that the proposition is false.

Rust does not write coverage reports. Python and ICP do not implement coverage. The published MCP server does not expose a coverage tool. Composition does not invent a coverage result by nesting records. See composition limits.

Terminalsh

knolo kar coverage verify coverage/

The Knolo Verify action can run knolo kar coverage verify when you pass kar-coverage. It still does not add a rule for what the gap means in your domain.