TVL for the Binaryx Platform is calculated by summing the values of all assets. For regular (rental) properties, each asset's value is determined by multiplying its token supply by its token price, where the token price is obtained from the priceOracle. For off-plan properties, the TVL is calculated directly from the amountInUsdCollectedD18 value returned by the getSellProgress method, representing the actual USD amount collected for each off-plan property.