docs: 셀프호스팅 전 목록이 끝난 상태를 적는다

렉서가 알려준 것도 함께: R11 의 모양 -- 아레나가 소유하고 인덱스가 가리킨다 --
은 쓸 수 있다. 토큰이 from/len 을 들고 소스가 옆에서 같이 다니는 것은 장황하지만
막히지 않는다. 모든 함수가 src 를 하나 더 받는 것이 그 값이다.

파일 크기 규칙을 AGENTS 에 넣었다.

AGENTS.md

@@ -53,6 +53,12 @@ uv run python tests/build.py <프로그램.fe>   # 하나만 빌드해서 돌려
 - 슬라이스 배치(포인터 다음 길이)와 wrapper 페이로드 위치는 각각 한 군데에만
   적혀 있다. 두 군데가 되면 어긋난다.
 
+## 파일 크기
+
+**2,000 줄을 넘기지 않는다. 웬만하면 1,000 줄.** 넘어가면 나눈다. 나눌 때는
+줄 범위로 자르고 -- 주제별로 묶는 것보다 정확하다, 한 줄도 잃거나 겹치지 않으니 --
+공유하는 것은 비공개 헤더(`checkpri.h`, `lowerpri.h`)에 모은다.
+
 ## 작업 흐름
 
 - 명세 판단이 바뀌면 `SPEC.md`를 즉시 갱신한다. 구현이 명세와 다르면 둘 중 하나가

TODO.md

@@ -1,50 +1,65 @@
 # TODO
 
 ```
-uv run python tests/run.py     209/209   컴파일러가 프로그램에 대해 뭐라고 하는가
+uv run python tests/run.py     217/217   컴파일러가 프로그램에 대해 뭐라고 하는가
-uv run python tests/exec.py     21/21    컴파일된 프로그램이 실제로 무엇을 하는가
+uv run python tests/exec.py     27/27    컴파일된 프로그램이 실제로 무엇을 하는가
 ```
 
-파이프라인이 끝에서 끝까지 돈다.
-
 ```
 .fe → fec → i386 asm → wasm → wlink → .exe → Windows 11
 ```
 
 ---
 
-## 네 결정을 기다리는 것
+## 셀프호스팅 전에 하기로 했던 것 — 전부 끝남
-
-세션 중에 **이동 규칙 두 곳을 완화**했다. 둘 다 R4(참조는 집합 저장소에
-못 들어감)가 아니라 이동 쪽이고, 되돌릴 수 있다.
-
-| | 무엇 | 왜 | 대안 |
-|---|---|---|---|
-| 1 | `&mut T`를 `&mut T` 파라미터에 넘기는 것은 이동이 아니라 **호출 동안의 재대여** | 없으면 배타 파라미터를 다시 넘기는 일이 함수당 한 번뿐이라 `&mut`가 사실상 죽는다. SPEC §4.2에 이미 있던 "호출 인자 위치에서만" 재대여를 같은 종류끼리로 넓힌 것 | 되돌리면 재귀 하강 파서 같은 것을 못 쓴다 |
-| 2 | 자기 `drop` 안에서는 필드를 꺼낼 수 있다 (R7 예외) | 객체가 사라지는 중이라 뒤에 남아 읽힐 것이 없다. `mem.replace`로 우회하려면 유효한 대체값이 필요한데 그런 것이 없다 | `drop(self: Self)`로 값을 소비하게 바꾸면 R7을 안 건드려도 된다 |
-
----
-
-## 남은 일
-
-| # | 일 | 규모 | 비고 |
-|---|---|---|---|
-| 1 | 레지스터 할당 | 중 | 지금은 임시값마다 스택 슬롯이다. IR이 "임시값은 블록을 넘지 않는다"라서 블록 단위 할당기면 충분하다 |
-| 2 | `@print` 전개 | 소~중 | 지금은 `io.print` + `fmt.fmt_*`를 손으로 부른다. SPEC §6.3.1은 컴파일 단계 전개를 요구한다 |
-| 3 | `std.map` | 중 | `std.list`는 있다. 해시는 아직 |
-| 4 | `std.io` 읽기 | 소 | `Reader`, `io.read`. 지금은 쓰기만 |
-| 5 | `match` 페이로드 | 중 | 태그 비교는 된다. 페이로드 바인딩은 아직 |
-| 6 | `if let` | 소 | 프론트엔드는 검사한다. lowering이 아직 |
-| 7 | 셀프호스팅 | 대 | `fec`을 Ferro로. 여기까지 오면 언어가 자기 무게를 견딘다는 증거 |
-
-## 미뤄둔 것
 
 | | |
 |---|---|
-| 인터럽트·공유 상태 | `interrupt` `shared` `atomic` `critical` — 파싱만 되고 의미 없음. SPEC §11에서 v0.2 |
+| `@print` / `@fprint` 전개 | SPEC §6.3.1 대로 컴파일 단계에서 편다. 진단 한 줄이 한 줄이다 |
-| 다른 32비트 타깃 | m68k / ARM / MIPS / RV32. IR 결정은 전부 ISA 중립이라 백엔드만 붙이면 된다 |
+| 파일과 명령줄 | 열기·읽기·쓰기·닫기, `argv`. 프로그램이 소스에 박힌 데이터 밖으로 나왔다 |
-| 엔디안 | 리틀엔디안 가정. `packed struct`가 바이트 배치를 약속하므로 빅엔디안 타깃이 생기면 타깃 파라미터가 된다 |
+| `match` 페이로드와 `if let` | 태그드 유니온을 안전하게 해체한다 |
-| fixture 이름 122개 | DOS 8.3 시절 잔재. 마커가 다 붙어서 `bad`/`ok` 접두사는 더 이상 기대값이 아니다 |
+| 조용히 잘리던 상한 | 자란다. 넘쳐도 틀린 코드가 아니라 오류다 |
+| `mem.Arena` | R11 이 말하는 아레나 + 핸들이 실제로 쓸 수 있다 |
+| 레지스터 할당 | 블록 단위 선형 스캔. calc 4437 → 3796 줄 (-14%) |
+| **Ferro 렉서를 Ferro 로** | 강제 함수. 돌아간다 |
+
+렉서가 알려준 것: **R11 의 모양(아레나가 소유하고 인덱스가 가리킨다)은 쓸 수
+있다.** 토큰이 `from`/`len` 을 들고 소스가 옆에서 같이 다니는 것은 장황하지만
+막히지 않는다. 모든 함수가 `src` 를 하나 더 받는 것이 값이다.
+
+---
+
+## 셀프호스팅으로 가는 길
+
+| # | 일 | 규모 | 비고 |
+|---|---|---|---|
+| 1 | Ferro 파서를 Ferro 로 | 대 | 렉서 다음. AST 를 아레나 + 핸들로 짓는다 |
+| 2 | `std.map` | 중 | 심볼 표에 필요. 지금은 `List` 선형 탐색뿐 |
+| 3 | `io.read` 로 줄 단위 읽기 | 소 | 지금은 버퍼 하나로 통째로 읽는다 |
+| 4 | 여러 반환값 또는 out 파라미터 | 중 | `&mut` 재대여로 되지만 장황하다 |
+| 5 | `fec` 을 Ferro 로 | 대 | 여기까지 오면 언어가 자기 무게를 견딘다 |
+
+## 언어에 남은 구멍
+
+| | |
+|---|---|
+| `[value; count]` 배열 반복 리터럴 | 없다. 큰 버퍼는 `undefined` 로 선언한다 |
+| 정수 폭 섞임 | `1 + 함수호출()` 같은 데서 뻑뻑하다. 리터럴이 늘 맞춰주지 않는다 |
+| `@sprint` | 전개하지 않는다. `@print`/`@fprint` 만 |
+| `interrupt` `shared` `atomic` `critical` | 파싱만 되고 의미 없음. SPEC §11 에서 v0.2 |
+| lowering 미구현 진단 | `internal: cannot lower X`. 사용자 오류처럼 보이지 않는다 |
+
+---
+
+## 네 판단을 기다리는 것
+
+세션 중에 **이동 규칙 두 곳을 완화**했다. R4(참조는 집합 저장소에 못 들어감)는
+건드리지 않았다.
+
+| | 무엇 | 왜 | 대안 |
+|---|---|---|---|
+| 1 | `&mut T` 를 `&mut T` 파라미터에 넘기는 것은 이동이 아니라 **호출 동안의 재대여** | 없으면 배타 파라미터를 다시 넘기는 일이 함수당 한 번뿐이다. 렉서도 계산기도 이것 없이는 못 쓴다 | 되돌리면 재귀 하강 파서를 못 쓴다 |
+| 2 | 자기 `drop` 안에서는 필드를 꺼낼 수 있다 (R7 예외) | 객체가 사라지는 중이라 뒤에 남아 읽힐 것이 없다 | `drop(self: Self)` 로 값을 소비하게 바꾸면 R7 을 안 건드려도 된다 |
 
 ---
 
@@ -55,17 +70,15 @@ uv run python tests/exec.py     21/21    컴파일된 프로그램이 실제로
 | 타깃 | **i386 하나.** 세그먼트 없음, `far` 영구 제외 (SPEC §2) |
 | `usize`/`isize` | **타깃의 포인터 폭.** 비트 수를 약속하지 않아 64비트 문이 닫히지 않음 |
 | 제네릭 | 모노모피제이션. 순수 프론트엔드 기능이라 IR 에 제네릭 개념이 없음 |
-| 덩어리 전달 | 전부 주소로. 크기 임계값 없음 — ISA마다 다른 구조체 전달 ABI를 피해감 |
+| 덩어리 전달 | 전부 주소로. ISA 마다 다른 구조체 전달 ABI 를 피해감 |
-| 트랩 | `trap <reason> <line>` → `fe_trap(reason, UNIT_FILE, line)`. 유닛당 파일 문자열 하나 |
+| 트랩 | `trap <reason> <line>` → `fe_trap(reason, UNIT_FILE, line)` |
-| 슬라이스 배치 | 포인터 다음 길이. 오프셋은 `lower.c` 한 군데에만 있다 |
+| 슬라이스 배치 | 포인터 다음 길이. 오프셋은 `lowerpri.h` 한 군데에만 |
-| 오류 코드 | `error.Name`을 빌드 전체에서 모아 철자 순으로 1부터. 빌드 순서가 결과를 안 바꿈 |
+| 오류 코드 | `error.Name` 을 빌드 전체에서 모아 철자 순으로 1부터 |
-| 셀프호스팅 | 640KB 목표 아님. 32비트 보호모드에서 돈다 (SPEC §2.1) |
+| 레지스터 | ebx·esi·edi 를 블록 안에 머무는 임시값에 준다. eax/ecx/edx 는 스크래치 |
 
 ---
 
-## 위임 정책
+## 파일 크기 규칙
 
-**위임 가능** — 결과가 자명하고 판단이 없는 것. 파일 목록을 **명시적으로 열거**하고
+**2,000 줄을 넘기지 않는다. 웬만하면 1,000 줄.** 넘으면 나눈다 -- `check.c` 는
-기준선 두 숫자를 주고 **변하면 안 된다**고 못박을 것.
+3,937 줄이었고 `lower.c` 는 1,913 줄이었다. 지금 가장 큰 것은 1,000 줄이다.
-
-**위임 불가** — 언어 의미론 판단이 섞인 것. 마커 판정, IR/lowering/백엔드, stdlib 명세.