Power-law PF-decay tails for buffer-stock consumption functions: correct tail law, theory module, diagnostics, and a certified grid-extent criterion - #1782

Draft

llorracc wants to merge 36 commits into

mainfrom

fix-aggshock-pf-decay-extrap

Commits on Jul 5, 2026

Add opt-in PF-asymptote decay machinery for AggShock cFunc slices

llorracc
and
claude
committed
208f78f
Add power-law decay extrapolation form to LinearInterp

llorracc
and
claude
committed
fed6f36
Use the power-law decay form in the AggShock PF-decay machinery

llorracc
and
claude
committed
6c4af31

Commits on Jul 9, 2026

Add pf_decay: theory quantities for the power-law decay exponent and amplitude

llorracc
and
claude
committed
4909c5c
Add explicit-exponent decay_extrap_Q to LinearInterp's power-law tail

llorracc
and
claude
committed
d8afd27
Thread theory-informed tail policy through the AggShock decay machinery

llorracc
and
claude
committed
30606d8
Add powerlaw_tail_diagnostic: Theorem gamma-T as a post-solve grid test

llorracc
and
claude
committed
b04e70d
Land the THEOREM-REF updater tool; audit + complete the tag set

llorracc
and
claude
committed
d8c0d27
Harden pf_decay root-finders near the r = g knife-edge (review fixes)

llorracc
and
claude
committed
e81ff28

Commits on Jul 10, 2026

Add certified grid-extent criterion (aXtraMax_from_tail_tol + rel_gap_at)

llorracc
and
claude
committed
64e83bf
Harden the extent criterion per the adversarial review

llorracc
and
claude
committed
5a16751
Add qstar_probe (operator eigen-probe) and mNrm_stable_points to pf_decay

llorracc
and
claude
committed
4e46ee7

Commits on Jul 11, 2026

Add aXtraMax_from_wealth_mass: the grid top as a measured wealth quantile

llorracc
and
claude
committed
45ff3ab
Add DecayTailInterp: composable decay tails over any 1D interpolant

llorracc
and
claude
committed
e126dd6
Make level continuity at the top knot an invariant of the decay machinery

llorracc
and
claude
committed
8e93c68
Add the C1 two-term decay attachment and make it the explicit-Q default

llorracc
and
claude
committed
d6af964
Fill the CHANGELOG PR links: this branch is PR #1782

llorracc
and
claude
committed
cec425f

Commits on Jul 12, 2026

Commits on Jul 13, 2026

THEOREM-REF pins: retarget to the theory's permanent home (comment-only)

llorracc
and
claude
committed
df50847

Commits on Jul 15, 2026

Add KappaBarTailInterp: the constraint-end (Theorem CE) tail wrapper

llorracc
and
claude
committed
629aee8
pf_decay: ce_psi_regime + ConstraintEndRegimeWarning + aXtraMin_from_tail_tol

llorracc
and
claude
committed
c3498c1
IndShockConsumerType: opt-in theory-pinned tails, both ends, both roles

llorracc
and
claude
committed
168e569
Port the extrapolator-fidelity battery: tests/ConsumptionSaving/test_powerlaw_extrap.py

llorracc
and
claude
committed
1a58528
CHANGELOG: the both-tails option surface, KappaBarTailInterp, pf_decay constraint-end helpers

llorracc
and
claude
committed
d31ed9c
tests: platform-gate the byte-zero pins; honest factor-gate margins

llorracc
and
claude
committed
819ce1a
IndShockConsumerType: respect a user decay_extrap_Q set after an auto solve

llorracc
and
claude
committed
b42afe7
docs: NK calc_jacobian caveat, lifecycle t=0-Q caveat, st-prop-C2 + eq-wbar-def pins

llorracc
and
claude
committed
a4ccde2
style: ruff-format the new test file (pinned ruff 0.11.8)

llorracc
and
claude
committed
68dc87f
CHANGELOG: fill the both-tails PR links - this work rides PR #1782 (owner: fold into the open PR rather than a stacked one)
llorracc
committed
1e3ae92
Add the notebook + binding-constraint-gate workstream prompt (rides PR #1782)
llorracc
committed
98fb5e2
feat(pf_decay): validity threshold + constraint-gate tests/docs + extrapolation notebook

llorracc
and
claude
committed
ab02922
notebook: relocate to examples/ConsIndShockModel/ and revise per review

llorracc
and
claude
committed
7b59d25
feat(pf_decay): ergodic-grid diagnostics -- ex-ante patience screen + postmortem (imported core)

llorracc
and
claude
committed
1c305b8

Commits on Jul 24, 2026

Add the measured-Q diagnostics rider to LinearInterp (q_diagnostics -> local_q_diag)

llorracc
and
claude
committed
1d57b9e

Commits on Aug 11, 2026

Merge branch 'main' into PR #1782
alanlujan91
committed
fa50fbb