Modules
obducere/2 is the central act behind mix certitudo: capture coverage
from an already-exported .coverdata file and compare it against a
previous snapshot.
Build conspectus maps from materialized cover line data.
JSON-compatible encoding for conspectus differentia forms.
Semantic fingerprint for coverage conspectus.
Source metadata and source-line lookup for conspectus construction.
Versioned coverage snapshots and block-first structural diffs.
Runtime access to Erlang :cover data for snapshot construction.
Infers the discordia — the diff — between the impressio and the retentio
that Retentio.resolve/1 located — or carries forward why there's nothing
to diff.
Block-first discrimen orchestration for already materializable module entries.
Structural forms for block-first coverage diff.
The coordinate extent of a tractus — first, last, and all line numbers.
A relation between left and right tractus after textual comparison.
A captured coverage run — comprehensive view of coverage at a moment in time.
The result of distinguishing a pair of tractus — what right is from left in text and coverage. Named after the Aristotelian differentia specifica.
An executable line fact.
A line-level differentia entry inside a tractus differentia.
A module entry inside a coverage conspectus.
Details not fully explained by tractus-level judgment.
A contiguous stretch of executable lines that moves as a unit during comparison.
Resolves the current snapshot (impressio) — either newly created or an already-known duplicate with the same fingerprint.
Report snapshot lookup and module-query helpers.
Resolves the previous snapshot (retentio) — what the current impressio is compared against. Either the most recent prior run or an explicit --since target.
Compares signed blocks and produces match relations.
Groups ordered executable lines into contiguous ranges and blocks.
Gives structural form to raw snapshot map data.
Judges match relations into semantic block diffs.
Orders structural forms without changing their meaning.
Adds line-level residue only after block judgment.
Signs blocks with text and coverage fingerprints.
Mix Tasks
Run tests, capture coverage, and compare against a previous snapshot.
Compare two snapshots explicitly: a retentio (older) and an impressio (newer).
Inspect .certitudo/ artifacts and optionally remove old coverage runs.
Print uncovered executable lines from a coverage snapshot.
Print a compact coverage summary for one module from a coverage snapshot.