An LLM that has to show its work
- Every extracted rule must quote the insurer's document; if the quote isn't in the PDF's text, the rule is dropped.
- A dollar limit only counts if the amount is in its quote. The model once read “20% of the dwelling limit” and wrote down $450,000.
- Nothing reaches the map until it's reviewed: a program is published only if whether it's sold in Rhode Island, its location exclusions and its flood-zone rules match labels checked by hand against the document.
- Swappable backends (Ollama Cloud models or Claude) behind one interface, with long documents read a few pages at a time.

