This toy close shows FIN ACK arithmetic only, not the full close lifecycle.
What this toy close shows
This book shows one client FIN and one server ACK. It only models close arithmetic.
FIN consumes=1
Checked values
Client FIN sequence 1003 plus one gives server ACK 1004.
1003+1=1004
What this does not model
NOTE: toy close arithmetic only; not simultaneous close, TIME_WAIT, retransmission, half-close APIs, RST, socket lifecycle, or real capture timing.
toy FIN exchange=1
Summary
FIN is a close signal, and TCP counts that signal as one sequence number.
ACK=1004