Review evidence and failure behavior

Review the implementation against this contract: The exhibition interval must fall entirely within the loan interval. Dates are inclusive.
Test this domain failure: A courier date falls inside the loan period but after installation. Preserve the separate installation constraint.
Check input citations, calculations, and actual tool logs.
Report unsupported claims and unexecuted tests. Do not approve external actions.