docs: 문서 하나가 질문 하나에 답하게

GOAL.md 는 계획일 때 값어치가 있었는데 완료 보고로 바꾸는 순간 git log 의
중복이 됐다. 끝난 계획은 문서가 아니라 히스토리다. 내용은 이미 TODO 와 SPEC
에 들어갔으니 지운다.

fixture-report.md 도 지운다. 기준선이 150/188 인 일회성 조사 스냅샷이고
지금은 245/245 다. 필요하면 2f140e1 에 있다.

TODO 의 '정해진 것' 이 두 종류를 섞고 있었다. 언어 규칙은 SPEC 문장을 옮겨
적은 것이라 한쪽만 고치면 갈라지고, 구현 결정은 SPEC 에 없어서 여기가 유일한
출처다. 둘로 쪼갰다 -- 앞의 표는 §번호만 담고, 뒤의 표는 내용과 그것이 사는
파일을 담는다.

SPEC 의 §7.9 를 §7.7 로 옮겼다. 7.7 과 7.8 없이 7.9 가 떠 있었다.

1847 → 1173 줄. 245/245, 38/38.

TODO.md

@@ -25,7 +25,7 @@ uv run python tests/exec.py     38/38    컴파일된 프로그램이 실제로
 | `std.map` | 키를 맵이 소유한 버퍼에 복사하고 슬롯은 위치만 든다 |
 | **Ferro 파서를 Ferro 로** | 노드 배열 하나 + 인덱스. `1 + 2 * 3` 이 `(+ 1 (* 2 3))` 로 묶인다 |
 | 필드 단위 대여 | `p.a` 와 `p.b` 는 다른 place 다. `std.map` 의 `keep` 이 다시 함수 하나가 됐다 |
-| **GOAL.md P0~P4** | 외부 감사에서 나온 것 전부. stdlib 다섯, 스펙 빈칸, 죽은 C 백엔드, 측정 |
+| 외부 스펙 감사 대응 | 니치 옵셔널·store 폭·배치 세 버그, 스펙 빈칸, 죽은 C 백엔드, stdlib 다섯, 측정 |
 
 파서가 알려준 것: **자기 참조 자료구조는 인덱스로 짓는다.** 노드는 `^Node` 를
 들 수 없고(자식이 여럿이며 한 번씩 소유하지 않는다) `&Node` 도 들 수 없다(R4).
@@ -35,8 +35,6 @@ uv run python tests/exec.py     38/38    컴파일된 프로그램이 실제로
 
 ## 셀프호스팅으로 가는 길
 
-순서와 근거는 `GOAL.md` 에 있다 (P0~P4). 여기는 무엇이 남았는지만 적는다.
-
 | # | 일 | 규모 | 비고 |
 |---|---|---|---|
 | 1 | 리졸버를 Ferro 로 | 중 | 도구는 다 있다: `intern`, `map`, `Node.bind`, `Map.clear` |
@@ -62,29 +60,43 @@ uv run python tests/exec.py     38/38    컴파일된 프로그램이 실제로
 
 ---
 
-## 정해진 것
+## 정해진 것 — 언어
+
+`SPEC.md` 가 유일한 출처다. 여기는 **어디를 보는지만** 적는다. 문장을 옮겨
+적으면 한쪽만 고쳐져서 갈라진다.
 
 | | |
 |---|---|
-| 타깃 | **i386 하나.** 세그먼트 없음, `far` 영구 제외 (SPEC §2) |
-| `usize`/`isize` | **타깃의 포인터 폭.** 비트 수를 약속하지 않아 64비트 문이 닫히지 않음 |
-| 제네릭 | 모노모피제이션. 순수 프론트엔드 기능이라 IR 에 제네릭 개념이 없음 |
-| 덩어리 전달 | 전부 주소로. ISA 마다 다른 구조체 전달 ABI 를 피해감 |
-| 트랩 | `trap <reason> <line>` → `fe_trap(reason, FE_FILE_n, line)`. 파일은 검사가 쓰인 유닛 |
-| 슬라이스 배치 | 포인터 다음 길이. 오프셋은 `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 예외). 객체가 사라지는 중이라 뒤에 남아 읽힐 것이 없다 |
-| 대여 단위 | **place 단위** (SPEC §5 R6). 루트 변수의 직속 필드 한 겹까지 갈라지고, 그 아래와 인덱스·역참조는 전체 대여다. 한 값당 4 필드까지, 넘으면 전체로 되돌아간다 |
+| 타깃, `usize`/`isize` | §2 |
+| 정수 리터럴의 타입과 범위 | §3 |
+| 호출 인자·반환 위치의 대여 약화 | §4.2 |
+| 해제는 소유자를 따라 내려간다 | §5 R1 |
+| 대여는 place 단위 | §5 R6 |
+| 배타 대여를 호출에 넘기는 것은 재대여 | §4.2, §5 R6 |
+| 자기 `drop` 안의 부분 이동 | §5 R7 |
+| `--no-checks` 의 오버플로는 랩어라운드 | §7.4 |
+| `match`·`defer`·순회·`undefined` 등 작은 규칙 일곱 | §7.7 |
+| 제네릭은 모노모피제이션 | §9 |
+
+## 정해진 것 — 구현
+
+`SPEC.md` 에 없는 것들. **여기가 출처다.**
+
+| | | 사는 곳 |
+|---|---|---|
+| 덩어리 전달 | 전부 주소로. ISA 마다 다른 구조체 전달 ABI 를 피해감 | `lower.c` |
+| 슬라이스 배치 | 포인터 다음 길이 | `lowerpri.h` 한 군데에만 |
+| store 폭 | 값이 아니라 **자리**가 정한다 | `lowerstm.c` `store_into` |
+| 트랩 | `fe_trap(reason, FE_FILE_n, line)`. 파일은 검사가 쓰인 유닛 | `x86.c`, `rt/start.asm` |
+| 오류 코드 | 빌드 전체에서 모아 철자 순으로 1부터 | `lowerstm.c` |
+| 레지스터 | ebx·esi·edi 를 블록 안에 머무는 임시값에. eax/ecx/edx 는 스크래치 | `x86.c` |
+| 제네릭 인스턴스 | 짓는 중에는 배치하지 않는다. 멤버가 안 정해진 집합 타입은 굳지 않고 물러난다 | `types.c` `layout_type` |
+| unsafe 예산 | `std.mem`/`std.sys` 밖은 0. 늘어나면 빌드가 실패한다 | `tests/run.py` |
 
 ---
 
 ## 파일 크기 규칙
 
 **2,000 줄을 넘기지 않는다. 웬만하면 1,000 줄.** 넘으면 나눈다 -- `check.c` 는
-3,937 줄이었고 `lower.c` 는 1,913 줄이었다. 지금 가장 큰 것은 1,000 줄이다.
+3,937 줄이었고 `lower.c` 는 1,913 줄이었다. 지금 가장 큰 것은 `checkcal.c`
+1,044 줄이다.