Surprise! Lucas asset pricing doesn't imply a constant price dividend ratio after all!
$P_t = d_t ^ \rho / (1 / \beta - 1)$
So the MockMarket must be expanded to do this math.
EDIT: I misread the lecture notes. This formula is for when the dividends are IID and not a random walk. So we don't need this flexibility for Lucas SHARK though it's a nice-to-have.
Surprise! Lucas asset pricing doesn't imply a constant price dividend ratio after all!
$P_t = d_t ^ \rho / (1 / \beta - 1)$
So the MockMarket must be expanded to do this math.
EDIT: I misread the lecture notes. This formula is for when the dividends are IID and not a random walk. So we don't need this flexibility for Lucas SHARK though it's a nice-to-have.