Exercise 1: Choosing the Right Product Type for TaskFlow's Pro Tier and Cloud Sync — Possible Solution
============================================================================================================

TaskFlow's "Pro" tier - unlocking unlimited tasks with a single,
one-time purchase that never needs to be bought again - fits the real
non-consumable product type. A non-consumable is genuinely purchased
exactly once per Apple ID and, once bought, real StoreKit
infrastructure (via Transaction.currentEntitlements, drawing on the
same real, cryptographically signed transactions this chapter already
covered) can always confirm the user owns it permanently, with no
recurring billing involved at all. This matches the described feature
exactly: unlocked permanently, purchased once.

The recurring monthly cloud-sync subscription fits the real
auto-renewable subscription type instead. This access is explicitly
described as recurring - the user keeps getting cloud sync only as
long as they keep paying, on an ongoing monthly cycle, with billing
happening automatically until the user actively cancels. A
non-consumable would be the wrong choice here, since it represents a
single, permanent purchase rather than time-limited, recurring access
that can lapse if payment stops.

The real, distinguishing question in both cases is the same: does the
user pay once for something that stays theirs forever (non-consumable),
or do they pay repeatedly for access that continues only as long as
payment continues (auto-renewable subscription)? TaskFlow's own two
described features land cleanly on opposite sides of that real
distinction.

ANSWER: The permanent, one-time-purchase Pro tier fits the real
non-consumable product type, since it's bought exactly once and stays
unlocked forever. The recurring monthly cloud-sync feature fits the
real auto-renewable subscription type, since access continues only as
long as the user keeps paying and lapses automatically if they stop.

WHY THIS WORKS AS AN ANSWER
------------------------------
This correctly matches each described feature to its real product
type using the genuine distinguishing question (permanent one-time
purchase vs. ongoing recurring access) rather than just naming the
types without justification.