freelang-editor 11.7.4

package/docs/api/stdlib.md

@@ -0,0 +1,134 @@
+# FreeLang v9 표준 라이브러리 (stdlib)
+
+FreeLang v9는 실무 개발에 필요한 30개 이상의 표준 모듈을 포함합니다.
+
+## 모듈 목록
+
+### 핵심 (Core)
+- **core** - 기본 함수 (map, filter, reduce, etc.)
+- **types** - 타입 검사 및 변환
+- **collections** - 벡터, 맵, 리스트 조작
+
+### 파일 I/O
+- **file** - 파일 읽기/쓰기
+- **path** - 경로 조작
+- **fs** - 파일시스템 (디렉토리, 권한)
+
+### 네트워킹
+- **net** - 소켓 통신
+- **http** - HTTP 클라이언트/서버
+- **ws** - WebSocket 지원
+
+### 데이터베이스
+- **db** - SQLite 쿼리
+- **sql** - SQL 빌더
+- **migration** - 마이그레이션 관리
+
+### 암호화 & 보안
+- **crypto** - 해싱, 암호화
+- **jwt** - JWT 토큰
+- **auth** - 인증 헬퍼
+
+### 날짜/시간
+- **time** - 시간 조작
+- **date** - 날짜 처리
+- **timezone** - 시간대 변환
+
+### 데이터 분석
+- **table** - 데이터프레임 조작
+- **stats** - 통계 계산
+- **plot** - 시각화 (ASCII/SVG)
+
+### 테스트 & 모니터링
+- **test** - 테스트 프레임워크
+- **coverage** - 커버리지 측정
+- **observe** - 메트릭/로깅/모니터링
+
+### 마이크로서비스
+- **service** - 서비스 정의
+- **queue** - 메시지 큐
+- **circuit** - Circuit Breaker
+- **rpc** - RPC 통신
+
+### 웹 프레임워크
+- **flnext** - 웹 프레임워크
+- **middleware** - 미들웨어 패턴
+- **validation** - 입력 검증
+
+### AI 기능
+- **ai-core** - AI 블록
+- **memory** - 메모리 관리
+- **reasoning** - 추론 도구
+
+---
+
+## 주요 함수 예제
+
+### file 모듈
+```lisp
+(file/read "path/to/file.txt")
+(file/write "path/to/file.txt" "content")
+(file/exists? "path/to/file.txt")
+(file/delete "path/to/file.txt")
+```
+
+### http 모듈
+```lisp
+(http/get "https://api.example.com/users")
+(http/post "https://api.example.com/users"
+  {:body {...} :headers {...}})
+(http/server {:port 3000 :routes [...]})
+```
+
+### db 모듈
+```lisp
+(db/open "sqlite:app.db")
+(db/query "SELECT * FROM users WHERE id = ?" [1])
+(db/execute "INSERT INTO users (name) VALUES (?)" ["John"])
+```
+
+### stats 모듈
+```lisp
+(stats/mean [1 2 3 4 5])        ; → 3
+(stats/median [1 2 3 4 5])      ; → 3
+(stats/stddev [1 2 3 4 5])      ; → √2
+(stats/correlation x-values y-values)
+```
+
+### test 모듈
+```lisp
+(deftest "should add numbers"
+  (assert (= (+ 1 2) 3)))
+
+(run-tests)
+(get-coverage)
+```
+
+---
+
+## 모듈 import
+
+```lisp
+; 전체 모듈 import
+(import http)
+(http/get "...")
+
+; 특정 함수만 import
+(import [file :only [read write]])
+
+; 별칭 사용
+(import [http :as h])
+(h/get "...")
+```
+
+---
+
+## 다음 단계
+
+- [언어 기초](../guide/basics.md)
+- [프레임워크](../guide/frameworks.md)
+- [예제](../examples/)
+
+---
+
+**상세 API 문서**: https://github.com/kimjindol2025/freelang-v9/tree/master/docs/api

package/docs/blog/2026-04-17-v11-ai-first-evolution.md

@@ -0,0 +1,223 @@
+# FreeLang v11.1 → v11.11 — AI-first 하루치 진화 로그
+
+**2026-04-17** · 하루 동안 v11 을 **AI 전용 언어**로 다듬은 기록.
+미용실 앱(`beauty-salon-app`) 을 MariaDB 로 전환하다 발견한 결함에서
+시작해, 언어 레이어의 "인간 친화 장식" 을 걷어내고 AI 에이전트의
+피드백 루프를 좁히는 과정이다.
+
+---
+
+## TL;DR
+
+| 버전 | 핵심 | 커밋 |
+|-----|------|------|
+| v11.1 | Strict `$var` throw, `let [[$x]]`→`[$x]`, `defn`, JSON body 자동 파싱 | `54350bf` |
+| v11.2 | `npm run build` 복구, 에러에 `file:line`, `(get)` keyword/string 동치 | `81fb24e` |
+| v11.3 | REPL persistent interpreter + `~/.fl_history` | `5391d41` |
+| v11.4 | `fn-doc` CLI, `test:fast`, 에러에 파일명 | `2ece9c3` |
+| v11.5 | `stdlib-mariadb` 공식 격상 (mariadb CLI 직접, socket autodetect) | `28673e8` |
+| v11.6 | (친화적 한글 에러 매핑 — 9에서 롤백) | `a937d27` |
+| v11.7 | regression 테스트 +48 | `5dddf01` |
+| v11.8 | beauty-salon `scripts/start.sh --detach` + graceful stop | `1484921` |
+| v11.9 | **AI-first 정책 선언** — 인간용 장식 전면 롤백 | `4d4a9c9` |
+| v11.10 | 코드 리뷰 4종 (sql-str 이스케이프, FL_STRICT, fn-doc embed, let 혼합 throw) | `5c50e67` |
+| v11.11 | XSS 방어 (`innerHTML` → DOM API), 업로드 catch, 기본 a11y | `f25c802` |
+
+테스트: 444 → **583** (+139). 커버리지 23% → 24% (+1%p, 단위 수 대비).
+
+---
+
+## 출발점: Silent Failure
+
+미용실 앱을 SQLite → MariaDB 로 옮기던 중:
+
+```lisp
+(let [name (get body "name")]
+  (mariadb_exec "db"
+    (str "INSERT ... VALUES ('" name "')")))
+```
+
+DB 에 `'name'` 문자열이 들어갔다. 변수 `name` 이 해소되지 않아
+심볼 이름이 그대로 평가된 것. 파서는 조용히 넘어갔고 런타임도
+조용히 진행했다. 1 시간 디버깅.
+
+원인 두 가지:
+1. v11 `let` 은 `[[$x expr]]` 2 차원 대괄호 + `$` 접두사 강제 — 1 차원 `[x expr]` 은 다른 AST 로 파싱되지만 에러가 아니었다.
+2. `interpreter.ts` 의 심볼 resolution 이 **미해결 시 literal value 를 그대로 반환** — 즉 심볼이 변수 lookup 실패해도 문자열로 downgrade.
+
+---
+
+## v11.1 — 언어 레이어 수술
+
+- **Strict Variable** (`$x` 미해결 → throw)
+- **let 3 종 지원**: 기존 `[[$x expr]]` + 신규 `[$x expr]` + bare `[x expr]` (`$` 자동 추가)
+- **`(defn ...)`** macro 확장 (`defn` → `define name (fn ...)`)
+- **HTTP body 자동 JSON 파싱** (Content-Type 체크)
+
+```lisp
+;; 모두 동등
+(let [[$x 5] [$y 10]] (+ $x $y))
+(let [$x 5 $y 10]    (+ $x $y))
+(let [x 5 y 10]      (+ x y))
+
+(defn double [x] (* x 2))  ;; bare symbol OK
+```
+
+Literal symbol 은 여전히 permissive 유지. 이유: `(+ 1 2)` 의 `+`,
+`(map fn-ref list)` 의 `fn-ref` 같이 연산자·함수 이름으로 eval() 에
+들어오는 경우가 있기 때문. v11.10 에서 `FL_STRICT=1` opt-in 으로
+이 잔여 permissive 마저 끌 수 있게 했다.
+
+---
+
+## v11.2 — DX 인프라
+
+- `npm run build` 복구 (`esbuild` 의 bin wrapper 이슈 → Node API 직접 호출)
+- `Undefined variable: '$x' (file.fl:3)` 에 **파일:라인 정보**
+- `(get obj :key)` 와 `(get obj "key")` 동치 보장 (keyword AST 노드까지 대응)
+- `docs/API.md` 자동 생성 (265 함수, 41 모듈)
+
+---
+
+## v11.5 — MariaDB 공식 격상
+
+v11.1~v11.4 동안 `beauty-salon-app/bootstrap.js` 에 매번 `mariadb_exec`
+CLI 함수를 수동 주입해야 했다. freelang-v11 재빌드 = 복붙 반복.
+
+해결: `src/stdlib-mariadb.ts` 를 **mariadb CLI 직접 호출 방식**으로
+재작성하고 `stdlib-loader.ts` 에 정식 등록. Socket autodetect
+(Termux / Debian / RHEL / /tmp fallback) 추가.
+
+이후 beauty-salon-app 은 `cp bootstrap.js` 한 줄로 동기화 끝.
+
+---
+
+## v11.6 → v11.9 — "인간용 금지"
+
+v11.6 에서 MariaDB 에러를 친화적 한국어로 매핑했다:
+
+```
+ERROR 1366 (22007): Incorrect integer value: 'abc' for column `x`
+→ 타입 불일치 — 컬럼 'x'는 INT 인데 'abc' 가 들어옴
+```
+
+사용자 피드백: **"인간용 진화 금지"**.
+
+v11 은 AI 전용 언어. 에러 코드 원본이 기계 파싱에 더 유리하고,
+한국어 요약은 AI 가 오히려 역파싱해야 하는 노이즈다.
+
+v11.9 에서 롤백·정리:
+- `friendlyError()` 함수 제거 → `stderr` 원본 passthrough
+- `fn-doc` 출력 ANSI 색 제거 → **JSON stdout**
+- `start.sh` 이모지·한글 → **`app=running pid=X port=Y log=...`** key=value
+- `main.fl` 부팅 println 10 줄 → `app=listening port=X db=Y` 1 줄
+- VS Code 확장(`v11.3` 에 추가했던) **삭제** — 인간 개발자 도구
+
+**원칙 확정**: v11 언어·도구 레이어에 인간 친화 장식 추가 금지.
+AI 친화만 유지 (JSON, key=value, error code passthrough, 파일:라인).
+
+```
+fn-doc 출력:
+{"query":"mariadb_query","found":true,
+ "exact":[{"name":"mariadb_query","module":"mariadb",
+           "params":"db sql [params]","returns":"rows[] (SELECT)"}]}
+
+start.sh 출력:
+mariadb=running sock=/data/data/com.termux/files/usr/tmp/mysqld.sock
+app=running pid=27185 port=30322 log=/tmp/beauty-salon.log
+
+stop.sh 출력:
+app=stopped pid=27185 method=sigterm waited=1s
+```
+
+**예외**: 비즈니스 도메인 UI (고객 대면 HTML 갤러리 등) 는 장식 허용.
+v11 언어 장식과는 별개 레이어이기 때문.
+
+---
+
+## v11.10 — 코드 리뷰 4 종
+
+오늘 쌓인 코드에 셀프 리뷰:
+
+1. **`sql-str` 이스케이프** — `O'Brien` 같은 입력이 SQL injection
+   으로 깨지지 않게 `\\` 와 `'` 이중화. (NULL byte·유니코드 제어문자
+   완벽 방어는 prepared statement 필요 — mariadb CLI 한계)
+2. **`FL_STRICT=1` opt-in** — Literal symbol 미해결도 strict throw,
+   기본은 하위 호환 permissive.
+3. **`fn-doc` 배포 대응** — `scripts/build.js` 가 빌드 전에
+   `src/_stdlib-signatures.json` 생성 → esbuild json loader 로 embed.
+   bootstrap.js 단독 배포 환경에서도 `fn-doc` 작동.
+4. **`evalLet` 혼합 감지** — 2D `[[$x ...]]` 와 1D `[$x ...]` 혼합
+   입력 시 throw. 이전에는 첫 원소만 보고 나머지 조용히 무시.
+
+---
+
+## v11.11 — 프론트엔드 보안
+
+미용실 앱 홈 페이지 리뷰:
+
+```javascript
+// BEFORE (stored XSS)
+d.innerHTML = '<img src="/images/' + i.filename + '"/><p>'
+            + i.original_name + '</p>';
+
+// AFTER (DOM API)
+const img = document.createElement('img');
+img.src = '/images/' + encodeURIComponent(i.filename);
+img.alt = i.original_name || i.filename;
+img.loading = 'lazy';
+const p = document.createElement('p');
+p.textContent = i.original_name || i.filename;
+d.append(img, p);
+```
+
+검증: `<script>alert(1)</script>.jpg` 파일명으로 업로드해도
+브라우저에서 텍스트로만 표시. 업로드 에러 핸들링 (`response.ok`
+체크, `.catch()`, `.finally()`), 기본 a11y (`alt`, `aria-label`,
+`role="status" aria-live="polite"`, `role="region"`) 추가.
+
+---
+
+## 회고
+
+**잘된 것**
+- Silent failure 박멸 (strict throw + FL_STRICT)
+- `fn-doc` JSON + embed — AI 가 stdlib 을 grep 대신 조회
+- key=value / JSON 출력 일관성
+- MariaDB CLI stdlib 공식화 — 주입 반복 제거
+- 583 regression 테스트로 안전망 확보
+
+**잘못된 것**
+- v11.6 친화적 한글 에러 — 되돌렸다
+- v11.3 VS Code 확장 — 되돌렸다
+- 두 시도 다 "도움 되는 것 같아서" 추가했다가 정책 위반으로 롤백.
+  **기본값은 AI 친화, 인간 친화는 opt-in 도 금지**
+
+**남은 것** (프로토타입 → 프로덕션 약 55% 부족)
+- SQL injection NULL byte 완벽 방어 → 서버 드라이버 필요
+- CSRF 토큰
+- multipart upload (현재 base64)
+- SSR (v11 App Router 는 있지만 미용실 앱에서 미활용)
+- 테스트 커버리지 (26% → 목표 50%)
+- `eval-builtins.ts` 5,540 줄의 대부분 미검증
+
+---
+
+## 교훈
+
+> v11 은 **AI 가 읽고, AI 가 쓰고, AI 가 디버깅한다.**
+>
+> 에러 메시지도, 로그도, 도움말도 JSON/key=value 가 정답이다.
+> 한국어 요약·이모지·색깔·진행바는 AI 의 스톱 워드다.
+
+**다음 세션** 에 인계할 것:
+- `memory/v11_ai_first_policy.md` — 인간용 장식 금지 규칙
+- `memory/role_backend_focus.md` / `role_frontend_focus.md` — AI 역할 분리
+- 프론트엔드 AI: multipart + SSR + render-\* 활용 재작성
+- 백엔드 AI: 인증/권한, 테스트 커버리지 50%, NULL byte 방어
+
+---
+
+**커밋 범위**: `a4bfdbd..f25c802` (v11) / `6345c4c..f25c802` (beauty-salon-app)
+**테스트**: 583 passed, 0 failed, 17 suites
+**빌드**: 1.1 MB bootstrap.js, 67 ms esbuild

package/docs/blog/2026-04-20-self-hosting-fixedpoint.md

@@ -0,0 +1,269 @@
+# FreeLang v11 자가 호스팅 Fixed-point — 가설이 세 번 뒤집힌 하루
+
+**2026-04-20** · 하루 동안 "자가 컴파일 불가능" 이라는 기록을 실측으로 뒤집고,
+fixed-point 를 달성한 뒤, 다시 검증 체계를 정직하게 교정하고, 마지막으로
+**진짜 격차는 self-parser 가 아니라 bootstrap interpreter 에 있었다** 는
+사실까지 드러난 기록.
+
+---
+
+## TL;DR
+
+| 단계 | 이전 가설 | 실측 후 | 커밋 |
+|-----|----------|---------|------|
+| 1차 뒤집힘 | "Stack overflow 로 자가 컴파일 불가" | `--stack-size=8000` 로 생성 성공. 진짜 블로커는 map 필드 열거 primitive 부재 + lexer 필드명 오타 | `2faaf00`, `fc7dd69` |
+| Fixed-point 달성 | "stage2+ 실패" | stage1 = stage2 = stage3 SHA 완전 일치 (`6b81fef4…12f4a1`) | `735a72d` |
+| 2차 정직 교정 | "Tier 2 verification 84/91 PASS" | false PASS 제거 후 76/91. `bootstrap Parsed=0` 케이스 10개 드러남 | `33fa4f1` |
+| 3차 뒤집힘 | "self/all.fl 의 FL-written parser 가 try/catch 미지원" | **self-parser 는 이미 처리 가능**. 격차의 원인은 bootstrap TS interpreter | `6cf8bd6` |
+
+테스트: 637 → **643** (+6, 자가 호스팅 회귀 테스트 신규). 회귀 전원 통과 유지.
+
+---
+
+## 출발점: "자가 컴파일 불가" 라는 기록
+
+`CLAUDE.md` 가 이렇게 적혀 있었다.
+
+| 항목 | 상태 | 근거 |
+|------|------|------|
+| codegen.fl 자신 컴파일 | ❌ 불가능 | Stack overflow (line 54) |
+| Fixed-point 안정성 | ❌ 미검증 | 자가 컴파일 실패로 불가 |
+
+재현부터 시작.
+
+```bash
+node bootstrap.js run self/codegen.fl self/codegen.fl /tmp/out.js
+# → stack overflow
+node --stack-size=8000 bootstrap.js run self/codegen.fl self/codegen.fl /tmp/out.js
+# → compiled self/codegen.fl -> /tmp/out.js size=25776
+```
+
+**스택 증설만으로 생성 자체는 성공**. 기록의 진단이 표면 현상(stack overflow)에
+머물렀고, 본질 원인은 다른 곳에 있었다.
+
+---
+
+## 1차 진단: map 리터럴이 전부 `({})`
+
+`self/all.fl` 을 자가 컴파일한 뒤 hello.fl 을 재컴파일하니 `Lexed: 0 tokens`.
+완전히 먹통. 최소 프로브로 좁혔다.
+
+```fl
+;; probe-map.fl
+(let [[$m {:x 1 :y 2 :z "hi"}]]
+  (println (str "x=" (get $m :x))))
+```
+
+- bootstrap 직접 실행: `x=1` 정상
+- self-compiled 로 컴파일 → 실행: `x=null` (빈 출력)
+- 생성된 JS 를 열어 보니 `let m=({});` — **map 리터럴이 빈 객체로 번역**
+
+원인은 `self/all.fl` 의 `cg-map-entries`:
+
+```fl
+[FUNC cg-map-entries :params [$fields]
+  :body (let [[$items-val (get $fields "items")]]
+          (if (array? $items-val)
+            (cg-map-flat-loop $items-val 0 "")
+            (cg-map-loop (list) 0 "")))]   ;; ← 빈 리스트
+```
+
+bootstrap parser 가 map 필드를 JS `Map` 으로 저장하는데, FL 코드에서 이를
+열거할 primitive 가 없어서 빈 리스트를 넘기고 있었다. `(list)` 자리에
+`(map-entries $fields)` 를 쓰려 했으나 FL 레벨에 그 이름이 등록되지 않음.
+
+조치:
+
+```ts
+// src/stdlib-data.ts 에 추가
+"map-entries": (m: any): any[] => {
+  if (m instanceof Map) return [...m.entries()].map(([k, v]) => [k, v]);
+  if (m && typeof m === "object" && !Array.isArray(m)) return Object.entries(m);
+  return [];
+},
+"map_entries": /* alias */
+```
+
+`self/all.fl` 의 `(list)` 를 `(map-entries $fields)` 로 1 단어 치환.
+
+실측:
+- map 리터럴 정상 생성
+- stage1 자가 컴파일 크기 25KB → **45KB** (실제 값 포함)
+- 회귀 637/637 PASS
+
+---
+
+## 2차 진단: lexer 토큰 필드명 오타
+
+하지만 hello.fl 재컴파일 시 여전히 `Lexed: 4 tokens`, 출력 빈 것. stage2 의
+`Parsed` 가 10,635 노드로 팽창 (정상 156). parse 가 각 토큰을 독립 노드로
+잘못 취급하고 있음.
+
+에이전트 세 개를 Explore 모드로 병렬 돌려 원인 찾기.
+
+- Agent 1: bootstrap 과 self-parser 의 AST shape 차이 전수 조사
+- Agent 2: codegen 이 AST 필드에 접근하는 지점 빈도 map
+- Agent 3: Lexed=4 / Parsed=10635 최소 재현
+
+Agent 3 가 원인을 특정:
+
+> `self/lexer.fl` 의 `emit` 함수가 토큰을 `{:type $kind ...}` 로 생성.
+> `self/parser.fl` 의 `parse-atom` 은 `(get $t :kind)` 로 읽음.
+> → 모든 토큰의 `:kind` 가 `null` → `unknown` atom 으로 파싱
+> → Parsed 팽창 + 빈 출력
+
+한 단어 치환:
+
+```diff
+- (list {:type $kind :value $value :line $sl :col $sc})
++ (list {:kind $kind :type $kind :value $value :line $sl :col $sc})
+```
+
+`:type` 을 alias 로 남겨 하위호환 유지. 실측:
+
+```
+stage1 sha: 6b81fef4fd9a992983390ddae85adb4e7f61c326501d43dc160d22e15d12f4a1
+stage2 sha: 6b81fef4fd9a992983390ddae85adb4e7f61c326501d43dc160d22e15d12f4a1
+stage3 sha: 6b81fef4fd9a992983390ddae85adb4e7f61c326501d43dc160d22e15d12f4a1
+```
+
+**세 단계 SHA 완전 일치 → Fixed-point 달성**.
+
+회귀 테스트 신설 (`src/__tests__/self-hosting.test.ts`, 6 케이스) 으로 잠가둠.
+이후 어떤 변경이든 자가 호스팅 깨지면 CI 에서 즉시 감지.
+
+---
+
+## 정직 교정: 낙관 84 → 정직 76
+
+Fixed-point 이후 Tier 1 + Tier 2 corpus verification 스크립트 작성
+(`scripts/verify-self-host.sh`). 첫 실행 결과: **PASS 84 / FAIL 0 / SKIP 7**.
+좋아 보였다.
+
+그러나 자세히 보니 몇 stdlib 파일의 bootstrap 산출이 4,713 bytes 로 고정
+(prelude-only 크기와 동일). 스크립트의 `check_compile_only` 가 "양쪽 산출이
+non-zero 크기" 만 확인했기에 **false PASS**.
+
+교정:
+
+```bash
+# 컴파일 로그에서 Parsed 노드 수 추출
+bp=$(parsed_count "$bslog")
+sp=$(parsed_count "$s1log")
+if [ "$bp" = "0" ] && [ "$sp" != "0" ]; then
+  echo "❌ bootstrap parser gap (bs=0 / s1=$sp)"
+fi
+```
+
+교정 후: **PASS 76 / FAIL 0 / SKIP 15**. 숫자가 줄었지만 신뢰도 상승.
+
+> 낙관 84 → 정직 76 은 후퇴가 아니라 신뢰도 상승이다.
+> 검증 체계가 거짓 PASS 를 기록하면 기록 체계 자체가 무너진다.
+
+SKIP 15 내역:
+- **Bootstrap parser gap 10개**: assert, async, build, heap, resource, search, stack, tree + 2 tests
+- **Compiler-coupled tests 5개**: test-codegen-{builtins, ffi, fn, match, sf}
+
+이 시점의 진단: "self-parser 가 try/catch 같은 구문 미지원. Phase A 에서 self-parser 확장 필요."
+
+---
+
+## 3차 뒤집힘: 진짜 격차는 self-parser 가 아니었다
+
+Phase A 착수 직전 재조사. 최소 프로브부터.
+
+```fl
+(try 1 2)         ;; → Parsed 0 (bootstrap interp 경로)
+(try-foo 1 2)     ;; → Parsed 1
+(throw 1)         ;; → Parsed 1
+(catch 1 2)       ;; → Parsed 1
+```
+
+**`try` 만 Parsed=0**. 다른 심볼은 모두 정상.
+
+확인: `src/parser.ts:848` 에 `if (op === "try")` hard-coded special form.
+bootstrap TS parser 가 `(try body (catch ...))` 같은 엄격 형식만 허용하고
+`(try 1 2)` 같은 generic 형태는 거부한다. 그런데 `self/all.fl` 자체에는
+`try` 가 없으니 all.fl 파싱은 문제없을 것인데 왜 입력 파일 파싱이 실패하지?
+
+실증 전환. **stage1.js 를 라이브러리로 직접 로드해 `lex`/`parse` 함수 호출**.
+
+```js
+// stage1.js 의 엔트리 호출 제거 후 eval
+test('(try 1 2)', '[try]');
+// → [try] tokens=5 ast=1
+//   first: {"kind":"sexpr","op":"try","args":[1,2],"line":1}
+```
+
+**FL parser 는 `(try 1 2)` 를 완벽히 파싱한다**. Parsed 1 node.
+
+즉:
+- `self/all.fl` 내 FL-written parser 는 try/catch/cond-flat-pair **이미 처리 가능**
+- 문제는 **bootstrap TS interpreter 가 FL-defined parser 를 AST 해석으로 실행**할 때
+- 동일 FL parse 함수가 stage1 (compiled JS) 로는 정상 동작, bootstrap interp 경유에서는 0 반환
+
+10개 문제 파일을 stage1 로 직접 컴파일:
+
+```
+self/stdlib/assert.fl    → Parsed 7  / JS 5838 bytes  ✅
+self/stdlib/async.fl     → Parsed 17 / JS 6223 bytes  ⚠️ (codegen 버그 2건)
+self/stdlib/build.fl     → Parsed 14 / JS 7131 bytes  ✅
+self/stdlib/heap.fl      → Parsed 16 / JS 6758 bytes  ✅
+self/stdlib/resource.fl  → Parsed 15 / JS 6123 bytes  ✅
+self/stdlib/search.fl    → Parsed 12 / JS 6327 bytes  ✅
+self/stdlib/stack.fl     → Parsed 14 / JS 5617 bytes  ✅
+self/stdlib/tree.fl      → Parsed 14 / JS 6406 bytes  ✅
+```
+
+8/8 파싱 성공 + 7/8 JS 구문 유효. async.fl 만 stage1 codegen 의 `nil → null`
+미번역 + rest-args `[& $args]` 처리 미완 때문에 실패.
+
+---
+
+## 교훈
+
+1. **"실패 원인" 을 표면에서 멈추지 마라.**
+   - "Stack overflow" 는 증상, 본질은 map primitive 부재 + 필드명 오타.
+   - "self-parser 미지원" 은 짐작, 본질은 bootstrap interpreter 버그.
+   - 최소 재현이 모든 가설을 뒤집었다.
+
+2. **검증 체계의 false PASS 는 기록 체계를 무너뜨린다.**
+   - 낙관 84 를 발견자 본인이 76 으로 되돌린 것이 이번 세션 가장 중요한 전환.
+
+3. **언어 정의는 단 하나여야 한다.**
+   - bootstrap 과 self-parser 가 문법 집합이 달랐다면 구조적 부채였을 것.
+   - 실은 둘의 차이는 "정의" 가 아니라 "구현 실행 경로" 에 있었다.
+
+4. **stage1 이 bootstrap 보다 더 robust 하다는 역설 = self-hosting 2단계 진입 신호.**
+   - 자기 구현체가 부트스트랩을 능가하는 시점부터 "언어가 자기 정의를 소유"한다.
+   - 그 시점부터 bootstrap 은 폐기 대상.
+
+---
+
+## 다음 Phase A (전략 수정)
+
+이전 계획: "self-parser 에 try/catch 추가 구현" (중형 작업)
+수정 계획:
+
+1. `verify-self-host.sh` 의 canonical compile 경로를 `bootstrap.js run self/all.fl` 에서
+   **`node stage1.js` 직접 호출** 로 전환 (한 줄 변경)
+2. stage1 codegen 잔여 버그 2건:
+   - `nil` → JS `null` 번역
+   - rest-args `[& $args]` 파라미터 처리
+3. verify 재실행 → SKIP 목록 대폭 축소 기대
+4. bootstrap.js 는 **stage1 1회 생성 전용** 으로 축소
+
+**bootstrap 완전 폐기 경로가 사실상 이미 가능함** 이 이번 세션 실측의 최종 결론.
+Node.js 런타임 의존만 남기고, 그것도 Phase B (WASM/네이티브) 로 넘어간다.
+
+---
+
+## 기록
+
+- 커밋 스트림 (master):
+  `2faaf00` → `566039f` → `fc7dd69` → `9a65219` → `05aa87c` → `33c0182` → `236353e` → `9adaa8c` → `5dc4cb1` → `694da43` → `33fa4f1`
+- 브랜치 (gogs): `feature/homepage-app`, `feature/homepage-polish`, `feature/self-host-verification`, `feature/investigate-bootstrap-codegen-gap`, `feature/phase-a-parser-unification`
+- 회귀: Tests 643/643 PASS, self-hosting stage1/2/3 SHA 완전 일치 유지
+- 실전 부산물: FreeLang 랜딩/Examples/Playground/Docs + 404 페이지 (모두 FL 로 작성된 SSR 라우트), Tier 1+2 verify 스크립트, canonical AST/Token schema 문서화
+
+**하루치 정제**. self-host 는 이제 "가능" 이 아니라 "이미 부트스트랩보다 단단한 상태" 다.