algebraic-analysis v0.3.1 — literature and proof sources

v0.3.1: literature and source index

The README now displays the principal literature and links to a source-to-Lean
index. Module docstrings identify the mathematical context and exact source
roles. The index also distinguishes proved APIs from conditional literature interfaces.

Mathematical declarations, imports, frozen Challenges, Comparator configurations,
and dependency pins are unchanged. Lean edits affect comments only, checked
against the preceding commit with a nested-comment-aware comparison. Historical
verification reports retain their original source commits; this documentation
release does not claim a new independent mathematical replay or Palomar version.

Validation: local Markdown targets, reference keys, graph dependencies (where
present), release metadata and whitespace checks; both formal-repository PDFs
were rebuilt with resolved citations and no overfull boxes or missing glyphs.