Repository navigation

Import normalized clearing for capped log households - #677

Merged

Vilin97 merged 19 commits into

mainfrom

codex/daily-aiyagari-20261018

Oct 19, 2026

Merged

Import normalized clearing for capped log households#677
Vilin97 merged 19 commits into
mainfrom
codex/daily-aiyagari-20261018

Commits on Oct 18, 2026
- Import capped log Aiyagari equilibrium and dynamic programming
  Vilin97
  committed
  2c602d0
- Reduce Aiyagari proof search and redundant imports
  Vilin97
  committed
  60b546c
- Reduce repeated nonlinear search in consumption iteration
  Vilin97
  committed
  8ae1429
- Share household proof arguments and update model scope notes
  Vilin97
  committed
  a34eb83
- Correct residual utility and consumption-bound documentation
  Vilin97
  committed
  8abcd2d
- State reachability and sufficient corner assumptions explicitly
  Vilin97
  committed
  25772bb
- Clarify normalized clearing and share household proof arguments
  Vilin97
  committed
  f239660
- Align endpoint documentation with normalized clearing scope
  Vilin97
  committed
  3c6b000
- Share household deviation estimates and correct source citations
  Vilin97
  committed
  3e7616b
- Reuse the existing zero-shift utility lemma
  Vilin97
  committed
  b6185fa
- Remove redundant assumptions from household helper APIs
  Vilin97
  committed
  acdafae
- Qualify source comparisons and strengthen MPC helper APIs
  Vilin97
  committed
  485ec34
- Use the household discount bound from the model
  Vilin97
  committed
  9f2f92e
- Share cap calibration witnesses and fixed-point concavity
  Vilin97
  committed
  4b643b8
- Reuse expectation bounds and rate comparison induction
  Vilin97
  committed
  5c19568
- Share continuation gain bounds and generalize helper premises
  Vilin97
  committed
  782071c
- Generalize CRRA saving bounds and reuse shifted MPC proofs
  Vilin97
  committed
  cf80811
- Extend CRRA constants across nonlogarithmic parameters
  Vilin97
  committed
  93e0336
- Share oscillation constant and remove redundant probability wrapper
  Vilin97
  committed
  0dd5704

Commits

Commits on Oct 18, 2026