When is an intertemporal budget constraint a true budget constraint?

David Glasner cautioned me about the use of an intertemporal budget constraint (since it is based on expectations that could be thwarted) in my emergent representative agent argument (that parallels Gary Becker's argument that even irrational agents can behave rationally). If you have no idea what I am talking about, you should start here. At that link, I said I would address this issue in a future post -- this is that post.
The question is whether we can pretend the intertemporal budget constraint is a true budget constraint analogous to a single period budget constraint for the purpose of constraining the (intertemporal) opportunity set (as Becker puts it). I called the opportunity set the simplex. The issue is that recessions happen and output falls below its expected value (plans are thwarted). That means that expected value isn't a true constraint (actual output is much less) and therefore the most likely state of the economy might not:
Manifest consumption smoothing
Saturate the intertemporal budget constraint
Have downward sloping demand curves
(Approximately) maximize utility
The crux of the argument showing these hold (if we ignore recessions) with random consumption is that the most likely point of a high-dimensional simplex is on its surface, rather than in the interior. The downward sloping demand curves hold as long as the centroid of the simplex isn't close to any particular axis.
Let's take the opportunity set defined by the intertemporal budget constraint Σ ci ≤ M (see the picture at the top of this post). For d dimensions (time periods) we have
Σ ci ~ M d/(d + 1)
If d >> 1, then we have Σ ci ~ M and the above properties hold: we have emergent rational agents.
What happens if we introduce recessions? Let's take a set of {ci} of size n to be zero: all plans are thwarted in those periods and there is no income ... a 100% recession. Note that for even a bad recession, you're really looking at 20%, not 100%, so this will be a conservative calculation. We can show
Σ ci ~ M (d - n)/(d + n + 1)
However, if d >> n and d >> 1, we still recover Σ ci ~ M. In fact, we still recover all of the properties listed above (if d >> n, then the centroid isn't close to a typical axis and you have downward sloping demand curves almost always). Basically, as long as the economy isn't in a recession most of the time, the intertemporal budget constraint can be treated as an ordinary budget constraint.
Note that the properties hold even if the consumption sets are of different size (i.e. there is economic growth) as long as there is no cj >> ck for most k (in which case Σ ci ~ cj). That case is a lopsided simplex (the opportunity set would be more like a spike along the dimension j).  Can growth make our simplex lopsided? The Euler equation says that successive consumption periods are related by the rate of interest  and we have:
ci ~ β (1 + R) cj
This means that the rate of interest can't be too large. Large here though is a bit extraordinary; we'd need
β c0 (1 + R)^d >> c0 (1 + R)^(d - 1)
or
β (1 + R) >> 1
to make a truly lopsided simplex.
So the final takeaway is that we can treat the intertemporal budget constraint like a true budget constraint in order to demonstrate emergent rationality from random behavior. The caveats are:
The economy is not in a recession in most time periods
Consumption isn't concentrated in a few time periods
It is true that when you look at time periods near recessions, things are more interesting. However that is the point of non-ideal information transfer. In the information equilibrium model, information equilibrium is taken to hold most (but only most) of the time.