# Setup Ha Bewley

> 写或扩展异质主体（Aiyagari / Bewley / Krusell-Smith）模型的设定与 Julia 脚手架。当用户说"建一个异质主体模型"、"Aiyagari"、"Bewley"、"sequence-space"、"不完全市场"时调用。

- Skill: `allblueuk/setup-ha-bewley` (Agent Skill)
- Install (CLI): `npx skillmds@latest add allblueuk/setup-ha-bewley`
- Raw SKILL.md: https://api.skillmd.com/api/skills/allblueuk/setup-ha-bewley/raw
- Safety review: pending
- Works with: Claude Code, Claude.ai, OpenAI Codex
- Category: Coding & Dev Tools
- Author: allblueuk (https://skillmd.com/u/allblueuk)
- Updated: 2026-09-17
- Page: https://skillmd.com/skills/allblueuk/setup-ha-bewley

---


# 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` |

## 步骤清单

1. 读 `templates/master-ha-template.jl` 与 `templates/model-spec-template.md`。
2. 写 `spec.md`：偏好、预算约束、个体过程的转移矩阵、资产网格、市场出清条件。
3. 维度自检：状态空间维数 = (资产网格大小) × (收入状态数)；总量出清方程数。
4. 提交 `model-reviewer` + `math-reviewer`。
5. 通过后：复制 `templates/master-ha-template.jl` 为 `model/03_solve/<model>/run.jl`。
6. 若是 HA-DSGE，添加 sequence-space jacobian 计算（`SequenceJacobian.jl`）。
7. 生成 `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 反向访谈 |