← Read the article

November 10: the recorded calculation

Hypothetical insurance claim · recorded 11 October 2026 · Arxo Law 0.1.12

Documents received: 19 October. Payment made: 10 November. Counting begins the following day using a five-day week; 26 October is a transferred day off. Document completeness and payment method are outside these questions.

Inspect and repeat

Download the complete calculation archive (3442 KB). It includes frozen requests, the complete model and calendar, results, source annotations, a hash manifest and a replay script. No live corpus is needed.

Deadline result JSON · Lateness result JSON · Replay instructions and source notes · File hashes

Both recorded Rust replays matched the full result documents. The Python reference build refused the pinned semantic release; this record does not claim cross-engine parity.

Rules in the deadline proof

• GeneralPaymentDueDay
• GeneralTermApplies
• PaymentDueDayIsGeneralTerm

The result names the rules; the archive supplies their source annotations separately. Its calendar is a separate input. Follow the proof pointer and premises in the JSON to inspect the chain.

Primary sources

• Insurance law, Article 26
• Law 352-VIII, Article 1(12) and Article 2
• Official 2026 working calendar