# certitudo v0.1.0 - Table of Contents

> Elixir coverage diffing by code block, not by line number.

Certitudo snapshots test coverage and compares snapshots block by block,
separating real coverage changes from ordinary source movement.

## Modules

- [Certitudo](Certitudo.md): `obducere/2` is the central act behind `mix certitudo`: capture coverage
from an already-exported `.coverdata` file and compare it against a
previous snapshot.
- [Certitudo.Conspectus.Build](Certitudo.Conspectus.Build.md): Build conspectus maps from materialized cover line data.

- [Certitudo.Conspectus.Encode](Certitudo.Conspectus.Encode.md): JSON-compatible encoding for conspectus differentia forms.

- [Certitudo.Conspectus.Fingerprint](Certitudo.Conspectus.Fingerprint.md): Semantic fingerprint for coverage conspectus.

- [Certitudo.Conspectus.Source](Certitudo.Conspectus.Source.md): Source metadata and source-line lookup for conspectus construction.

- [Certitudo.Coverage](Certitudo.Coverage.md): Versioned coverage snapshots and block-first structural diffs.

- [Certitudo.Coverage.Runtime](Certitudo.Coverage.Runtime.md): Runtime access to Erlang `:cover` data for snapshot construction.

- [Certitudo.Discordia](Certitudo.Discordia.md): 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.

- [Certitudo.Discrimen](Certitudo.Discrimen.md): Block-first discrimen orchestration for already materializable module entries.

- [Certitudo.Forma](Certitudo.Forma.md): Structural forms for block-first coverage diff.
- [Certitudo.Forma.Ambitus](Certitudo.Forma.Ambitus.md): The coordinate extent of a tractus — first, last, and all line numbers.

- [Certitudo.Forma.Collatio](Certitudo.Forma.Collatio.md): A relation between left and right tractus after textual comparison.

- [Certitudo.Forma.Conspectus](Certitudo.Forma.Conspectus.md): A captured coverage run — comprehensive view of coverage at a moment in time.

- [Certitudo.Forma.Differentia](Certitudo.Forma.Differentia.md): The result of distinguishing a pair of tractus — what right is from left
in text and coverage. Named after the Aristotelian differentia specifica.

- [Certitudo.Forma.Line](Certitudo.Forma.Line.md): An executable line fact.

- [Certitudo.Forma.LineaDifferentia](Certitudo.Forma.LineaDifferentia.md): A line-level differentia entry inside a tractus differentia.

- [Certitudo.Forma.Module](Certitudo.Forma.Module.md): A module entry inside a coverage conspectus.

- [Certitudo.Forma.Residuatum](Certitudo.Forma.Residuatum.md): Details not fully explained by tractus-level judgment.

- [Certitudo.Forma.Tractus](Certitudo.Forma.Tractus.md): A contiguous stretch of executable lines that moves as a unit during comparison.

- [Certitudo.Impressio](Certitudo.Impressio.md): Resolves the current snapshot (impressio) — either newly created or an
already-known duplicate with the same fingerprint.

- [Certitudo.Report.Store](Certitudo.Report.Store.md): Report snapshot lookup and module-query helpers.

- [Certitudo.Retentio](Certitudo.Retentio.md): Resolves the previous snapshot (retentio) — what the current impressio is
compared against. Either the most recent prior run or an explicit --since target.

- [Certitudo.Transitus.Comparatio](Certitudo.Transitus.Comparatio.md): Compares signed blocks and produces match relations.

- [Certitudo.Transitus.Congregatio](Certitudo.Transitus.Congregatio.md): Groups ordered executable lines into contiguous ranges and blocks.

- [Certitudo.Transitus.Formatio](Certitudo.Transitus.Formatio.md): Gives structural form to raw snapshot map data.
- [Certitudo.Transitus.Iudicium](Certitudo.Transitus.Iudicium.md): Judges match relations into semantic block diffs.

- [Certitudo.Transitus.Ordinatio](Certitudo.Transitus.Ordinatio.md): Orders structural forms without changing their meaning.

- [Certitudo.Transitus.Residuatum](Certitudo.Transitus.Residuatum.md): Adds line-level residue only after block judgment.

- [Certitudo.Transitus.Signatio](Certitudo.Transitus.Signatio.md): Signs blocks with text and coverage fingerprints.

## Mix Tasks

- [mix certitudo](Mix.Tasks.Certitudo.md): Run tests, capture coverage, and compare against a previous snapshot.
- [mix certitudo.discrimen](Mix.Tasks.Certitudo.Discrimen.md): Compare two snapshots explicitly: a retentio (older) and an impressio (newer).
- [mix certitudo.inspectio](Mix.Tasks.Certitudo.Inspectio.md): Inspect `.certitudo/` artifacts and optionally remove old coverage runs.
- [mix certitudo.lacunae](Mix.Tasks.Certitudo.Lacunae.md): Print uncovered executable lines from a coverage snapshot.
- [mix certitudo.speculum](Mix.Tasks.Certitudo.Speculum.md): Print a compact coverage summary for one module from a coverage snapshot.

