Obligations and rules

The evidence validator compares each proposed quote with the exact page slice identified by its start and end offsets. A plausible paraphrase fails that check. A matching quote establishes where the text came from; it does not prove that the proposed interpretation is correct.

Acceptance binds an authenticated review to the candidate and source revisions. The accepted fact preserves its source span so a later reader can inspect the evidence.

civil-monthly expresses a day of the month with an explicit short-month policy. Business-day rules use Monday through Friday and a supplied holiday list. Period-end rules calculate offsets after a named period instead of pretending every month has the same duration.

The caller supplies the calendar and time-zone data. Recurrence expansion is bounded, and ambiguous or missing assumptions must be resolved explicitly before treating a due date as authoritative.

Policy expressions use four values: true, false, unknown and conflict. A missing fact stays unknown; contradictory facts stay in conflict. Rule citations and evaluation traces travel with the decision.

A needs-review outcome exposes the missing or conflicting evidence instead of allowing a model to guess its way into permission. Policy evaluation is deterministic; retrieved prose does not become an executable rule by itself.