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 is a pure leaf: it imports nothing beyond the standard library, so it cannot create a cycle with any provider or with core/dbrules itself. A provider's own CoverageManifest composes these lists into its own Deterministic/Reasoning/NotCovered slices (ADR 0014 layering: no provider knowledge here, no DB knowledge duplicated there).
Index ¶
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
func DeliveredElsewhere ¶ added in v0.2.8
func DeliveredElsewhere() []string
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 ¶
func Deterministic() []string
Deterministic returns the DB dimension's deterministic coverage prose — the classes the DB rules affirm with certainty 1.0.
func NotCovered ¶
func NotCovered() []string
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