# Case: `verify-marks-missing-hard-dependency-stale`

## 用例意义

验证 `verify` 在硬依赖文件已经不存在时，会把 entry 标记为 `stale`。

## 前置条件

- 空数据库已完成 `init`
- `TMPDIR/repo` 是一个已提交初始 commit 的 Git 仓库
- 已执行：

```bash
repo-memory add --db TMPDIR/repo-memory.db --repo TMPDIR/repo --kind term --key AITask --summary "Plan 内嵌任务结构" --status confirmed --dep file:TMPDIR/repo/missing.txt:hard
```

- `TMPDIR/repo/missing.txt` 不存在

## 输入

```bash
repo-memory verify --db TMPDIR/repo-memory.db --repo TMPDIR/repo
repo-memory list --db TMPDIR/repo-memory.db --repo repo --status stale
repo-memory events --db TMPDIR/repo-memory.db --id 1
```

## 预期输出

- `verify` 输出包含 `verified 1 entries, 0 downgraded, 1 stale`
- `list` 输出包含 `term:AITask [stale]`
- `events` 输出包含 `marked_stale (confirmed -> stale)`

## 断言结论

- 缺失的硬依赖会让知识条目直接过期，而不是只进入待复核状态
- `stale` 与 `needs_review` 是两种不同的 verify 结果