Patch release bundling four PRs:
  #112 — Kani matrix fix + per-job tolerate_failure pattern
  #114 — Cerisier formalization companion docs (mapping + scenarios)
  #115 — regorus 0.2.8 → 0.10, fully clears RUSTSEC-2026-0097
  #116 — Verus proof attempt for theorem_pae_injective_on_types

Headline: cargo audit ignore-list is down to one entry
(rustls-pemfile, unmaintained-upstream). No actively-fixable RUSTSEC
advisories remain.

See CHANGELOG.md for full notes.