"""Extraction (§4.2) — local LLM → structured claim units. The cost & quality center.

Emits at the level of the PROPOSITION: a passage may yield 0..N claims, and MOST passages yield
zero. An extractor that dutifully emits a claim per chunk reintroduces exactly the noise the rest
of the system is designed to remove.
"""