Temporal scan: date plus duration must equal the stated date

↗ view on GitHub · Eli Ziff · 2026-07-29 · 16225b46

Deadline arithmetic stated redundantly (a period after a named event,
with the resolved calendar date restated beside it) is checkable without
a model. Exact restatements check equality; within/no-later-than bounds
check the inequality. Business, clear, and trading days abstain typed
rather than approximate as calendar days.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_012AgUm5EcRKbT3duVFMbrQD
Repository eliziff/Beaver
Author Eli Ziff <eliasziff@gmail.com>
Authored
Parents 5e7b4dfa
Stats 2 files changed , +476
Part of Deterministic legal-text tools ("SLA audit organs")

Capture this commit into my fork

Download a Markdown prompt that tells Claude how to port this exact commit into your working tree. Run it via claude -p < capture-commit-16225b46.md from inside the repo you want the change in.

⬇ Download capture-commit-16225b46.md