diff --git a/TODO.md b/TODO.md
index d00362f..d14139a 100644
--- a/TODO.md
+++ b/TODO.md
@@ -1,8 +1,8 @@
 # TODO
 
 ```
-uv run python tests/run.py     224/224   컴파일러가 프로그램에 대해 뭐라고 하는가
-uv run python tests/exec.py     31/31    컴파일된 프로그램이 실제로 무엇을 하는가
+uv run python tests/run.py     245/245   컴파일러가 프로그램에 대해 뭐라고 하는가
+uv run python tests/exec.py     38/38    컴파일된 프로그램이 실제로 무엇을 하는가
 ```
 
 ```
@@ -25,6 +25,7 @@ uv run python tests/exec.py     31/31    컴파일된 프로그램이 실제로
 | `std.map` | 키를 맵이 소유한 버퍼에 복사하고 슬롯은 위치만 든다 |
 | **Ferro 파서를 Ferro 로** | 노드 배열 하나 + 인덱스. `1 + 2 * 3` 이 `(+ 1 (* 2 3))` 로 묶인다 |
 | 필드 단위 대여 | `p.a` 와 `p.b` 는 다른 place 다. `std.map` 의 `keep` 이 다시 함수 하나가 됐다 |
+| **GOAL.md P0~P4** | 외부 감사에서 나온 것 전부. stdlib 다섯, 스펙 빈칸, 죽은 C 백엔드, 측정 |
 
 파서가 알려준 것: **자기 참조 자료구조는 인덱스로 짓는다.** 노드는 `^Node` 를
 들 수 없고(자식이 여럿이며 한 번씩 소유하지 않는다) `&Node` 도 들 수 없다(R4).
@@ -38,10 +39,11 @@ uv run python tests/exec.py     31/31    컴파일된 프로그램이 실제로
 
 | # | 일 | 규모 | 비고 |
 |---|---|---|---|
-| 1 | 심볼 표와 이름 해석을 Ferro 로 | 중 | `std.map` 이 준비됐다 |
-| 2 | `io.read` 로 줄 단위 읽기 | 소 | 지금은 버퍼 하나로 통째로 읽는다 |
-| 3 | 여러 반환값 또는 out 파라미터 | 중 | `&mut` 재대여로 되지만 장황하다 |
-| 4 | `fec` 을 Ferro 로 | 대 | 여기까지 오면 언어가 자기 무게를 견딘다 |
+| 1 | 리졸버를 Ferro 로 | 중 | 도구는 다 있다: `intern`, `map`, `Node.bind`, `Map.clear` |
+| 2 | 타입 검사를 Ferro 로 | 대 | 리졸버 다음 |
+| 3 | `io.read` 로 줄 단위 읽기 | 소 | 지금은 버퍼 하나로 통째로 읽는다 |
+| 4 | 여러 반환값 또는 out 파라미터 | 중 | `&mut` 재대여로 되지만 장황하다 |
+| 5 | `fec` 을 Ferro 로 | 대 | 여기까지 오면 언어가 자기 무게를 견딘다 |
 
 ## 언어에 남은 구멍
 
@@ -52,7 +54,8 @@ uv run python tests/exec.py     31/31    컴파일된 프로그램이 실제로
 | `@sprint` | 전개하지 않는다. `@print`/`@fprint` 만 |
 | `interrupt` `shared` `atomic` `critical` | 파싱만 되고 의미 없음. SPEC §11 에서 v0.2 |
 | lowering 미구현 진단 | `internal: cannot lower X`. 사용자 오류처럼 보이지 않는다 |
-| 배열·enum 페이로드의 자동 해제 | `release_at` 은 구조체 필드까지만 내려간다 |
+| 배열·enum 페이로드의 자동 해제 | `release_at` 은 구조체 필드까지만 내려간다. `?^T` 도 아직이라 `mem.replace` 로 직접 꺼내야 한다 |
+| 컨테이너 두 원소의 동시 `&mut` | 인덱스는 갈라지지 않는다. `swap` 같은 것은 stdlib 안에서 해결한다 |
 | `--strip-error-names` | 받아들이지만 아무것도 하지 않는다 (SPEC §4.6) |
 | `fmt.fmt_error` | 없다. SPEC §4.6 이 약속만 하고 있다 |
 | `0b` / `0o` 리터럴 | 렉서는 받지만 값 계산이 10진과 16진만 안다 |
@@ -71,6 +74,9 @@ uv run python tests/exec.py     31/31    컴파일된 프로그램이 실제로
 | 슬라이스 배치 | 포인터 다음 길이. 오프셋은 `lowerpri.h` 한 군데에만 |
 | 오류 코드 | `error.Name` 을 빌드 전체에서 모아 철자 순으로 1부터 |
 | 레지스터 | ebx·esi·edi 를 블록 안에 머무는 임시값에 준다. eax/ecx/edx 는 스크래치 |
+| 정수 리터럴 | 문맥이 요구하는 타입, 없으면 `i32`. 범위를 벗어나면 거부 (SPEC §3) |
+| store 폭 | 값이 아니라 **자리**가 정한다 |
+| unsafe 예산 | `std.mem`/`std.sys` 밖은 0. `run.py` 가 검사하고 늘어나면 실패한다 |
 | 해제 | 소유자를 놓으면 그것이 가진 것도 놓는다 (R1). `drop` 을 부른 뒤 필드로 내려간다 — 그래서 `List`/`Arena`/`Map` 은 `drop` 이 없다 |
 | 배타 대여를 호출에 넘기기 | **이동이 아니라 호출 동안의 재대여** (SPEC §4.2, §5 R6). 없으면 배타 파라미터를 함수당 한 번만 넘길 수 있어 재귀 하강 파서를 못 쓴다 |
 | 자기 `drop` 안의 부분 이동 | **허용** (SPEC §5 R7 예외). 객체가 사라지는 중이라 뒤에 남아 읽힐 것이 없다 |