Python 3.14.4; synthetic initial/refined candidates; 2026-10-03 UTC
PASS customer_counterexample actual=('PERSON-B', 'ORG-A')
PASS payer_is_not_lessee actual=True
PASS same_person_multiple_roles actual=P
REJECT missing_role: explicit nonblank party roles required
PASS availability_counterexample actual=(True, False)
PASS overlap actual=False
PASS adjacent actual=True
PASS before actual=True
PASS unfit_still_rejected actual=False
PASS released_period_query actual=True
PASS query_preserves_commitment actual=(Period(start=10, end=12),)
REJECT empty_period: invalid UTC teaching-day period
PASS paid actual=('RECONCILED', 0)
PASS discount_after_payment actual=('REFUND_DUE', -2500)
PASS settlement_counterexample actual=('SETTLED', 'REFUND_DUE')
PASS refund_recorded actual=('RECONCILED', 0)
PASS partial_payment actual=('COLLECTION_DUE', 5000)
REJECT negative_money: nonnegative CNY minor units required
REJECT excess_refund: adjustment exceeds source amount
REJECT excess_discount: adjustment exceeds source amount
REJECT float_money: nonnegative CNY minor units required
PASS 19: 21 scenarios; 3 witnessed model differences
