setup-ha-bewley — 异质主体模型设定与 Julia 脚手架
触发场景
- "建一个 Aiyagari 模型研究 [财富不平等 / 消费保险 / 货币政策传导]"
- "写 Bewley / Krusell-Smith 模型"
- "做 HA-DSGE(用 sequence-space jacobian)"
- "研究异质性下的某个 aggregate shock 的 IRF"
输入契约
| 字段 | 类型 | 说明 |
|---|---|---|
model_name |
str | 如 aiyagari_baseline、hank_simple |
idiosyncratic_shock |
str | 个体不确定性来源(劳动效率、健康、…) |
aggregate_shock |
str? | 可选:总量冲击(货币政策、TFP) |
solver |
enum | egm / vfi / ssj |
步骤清单
- 读
templates/master-ha-template.jl与templates/model-spec-template.md。 - 写
spec.md:偏好、预算约束、个体过程的转移矩阵、资产网格、市场出清条件。 - 维度自检:状态空间维数 = (资产网格大小) × (收入状态数);总量出清方程数。
- 提交
model-reviewer+math-reviewer。 - 通过后:复制
templates/master-ha-template.jl为model/03_solve/<model>/run.jl。 - 若是 HA-DSGE,添加 sequence-space jacobian 计算(
SequenceJacobian.jl)。 - 生成
equations.tex。
输出契约
| 文件 | 必产 | 说明 |
|---|---|---|
model/01_setup/<model>/spec.md |
✅ | |
model/01_setup/<model>/equations.tex |
✅ | |
model/03_solve/<model>/run.jl |
✅ | Julia 脚手架 |
不允许的操作
- 把资产网格上界设得截尾(用
model-reviewer检查) - 跳过个体策略函数收敛诊断
- 在 sequence-space 上不做雅可比缓存而每次重算
失败回退
| 症状 | 处理 |
|---|---|
| 必备前置未满足 | 报错并指出缺什么;不绕过 |
| 上游产物 stale | 重跑上游 skill;不"凭旧的 checkpoint 继续" |
| 用户口径模糊 | 调用 interview-me skill 反向访谈 |