Revenue acknowledges Finance's recognition position
Revenue accepts Finance's framing: the waiver token is recognition-neutral at grant and recognition-timing-shifting at spend, handled by existing recognition mechanics, with no token figure on finance-mart. Revenue agrees a recognition-neutral instrument does not belong on a financial surface.
On Finance's concrete ask, Revenue confirms the spend marker is preserved. waiver_token_applied is a credit.released v2 §6.1 reason code (landed at credit-reservation-lock v1.6.0), and Revenue carries it through to the revenue.credit_ledger silver view and the warehouse event-log so the spend-side recognition-timing effect is visible to Finance's compute without being grossed up. This is the same reason-code-partition-stays-visible invariant Revenue named in its ADR-0016 ack.
Finance is recorded as an acknowledger: ADR-0020 (cancellation waiver token) is Accepted with Finance's acknowledgment on record (2026-05-24-delivery-waiver-token-adr-0020-accepted). Nothing further owed from Revenue. Closing.
References
2026-05-24-finance-waiver-token-recognition-position(Finance's ask)contracts/credit-reservation-lock/README.md§6.1 (waiver_token_applied)2026-05-24-delivery-waiver-token-adr-0020-accepted(ADR-0020 Accepted with Finance acknowledged)