Documentation
¶
Overview ¶
Package dbcoverage holds the DB dimension's coverage prose — what the rules in core/dbrules actually detect, in the same plain-prose form the coverage manifest uses (PRD §10, RF-07). It lives beside dbrules, not inside a language provider: the DB dimension is schema-driven and language-independent (ADR 0018 resolves the schema parser by the input's shape, not the app language), so its coverage prose belongs beside the rules that produce it, not duplicated into every ORM provider that happens to consume it.
dbcoverage imports exactly one codefit package, core/coverage, for the Entry type its four functions return. That is leaf to leaf: coverage imports nothing of codefit's, so there is no cycle in either direction, and neither package imports a provider. A provider's own CoverageManifest composes these entries into its own Deterministic/Reasoning/NotCovered buckets by append, exactly as before (ADR 0014 layering: no provider knowledge here, no DB knowledge duplicated there).
dbcoverage does not know that detail resolution exists. It returns entries and nothing else; whether a caller serves a claim, the prose, or both is entirely the caller's business, so the DB dimension never grows a second code path to keep in step with the first.
Index ¶
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
func DeliveredElsewhere ¶ added in v0.2.8
DeliveredElsewhere returns the DB dimension's THIRD answer: a rule ID the PRD promises whose capability codefit DOES deliver — but under a different identifier, not as a DB/DW rule carrying that ID.
It exists because the other two answers are both wrong for such an ID. Leaving it out of the manifest is silence, and silence is exactly what the agent cannot see. Naming it in NotCovered() is a lie, because the capability ships. So it gets a bucket of its own, carrying BOTH names — the promised identifier and the thing that actually delivers it — plus enough prose to follow the mapping (spec docs/specs/coverage-manifest-completeness.md, R1 and R3).
func Deterministic ¶
Deterministic returns the DB dimension's deterministic coverage prose — the classes the DB rules affirm with certainty 1.0.
func NotCovered ¶
NotCovered returns the DB dimension's explicit gaps: what codefit does not audit for this dimension, stated plainly rather than left silent.
Types ¶
This section is empty.
Source Files