I am faced with defining an equilibrium for a two person (infinitely lived) market with borrowing and lending of one period bonds. Their utility of consumption is just $\sum^\infty_{t=0} \beta^t ln(c^i_t)$ with endowments $e^1_t = (8,2,8,2,8,...)$ and $e^2_t = (2,8,2,8,...)$
Additionally these individuals have some share of "trees" that give a fixed amount of some good and can be traded. There is no uncertainty in this model. If this were a regular i.e complete market, I would know how to define the ADE but I am told that the there is limited enforcement, i.e. contracts must satisfy a no-default constraint. In this context default means that at any point in time agents can walk away from the contract and the punishment is that their trees are seized and they are prevented from borrowing-lending in the future.
I do not know how this would fit/ change the definition of the AD equilibrium. My thinking is that agents would never renege on their contracts because this would lead to a decrease in total consumption over all periods. So when they maximize they wouldn't even consider defaulting. I can't find anything in my notes about this nor in Dick Kreuger's macro theory notes.
Any help would be appreciated!