test-time skill optimization · ARC-AGI-3 · ft09 · root-cause forensics
[:160] 절단과 predictor의 numpy 경계, 근인 2층 확정두 결함이 층을 이루고 있었다: ① wake 브리핑이 승자 스킬의 claim을 [:160]에서 절단해
L3 정답 규칙 페이로드를 굶겼고, ② judge의 _Predictor가 저작된 predict_next에
보드를 list-of-lists로 넘겨 numpy를 가정한 스킬 13/21이 조용히 예외를 던지고 전원 0점을 받았다.
②가 credence 전원 동결·매 라운드 sleep(15–19분/라운드)·simulate 무용을 한 줄의 원인으로 동시에 설명한다. 검증런 h9이 수정 후 첫 완전연결 루프를 실증했다.
이번 빌드에서 사이트에 새로 생긴 것 하나가 이 섹션이다. 세 계보를 조상으로 명시하고, 우리 시스템이 갈라지는 지점 3종을 나란히 적는다.
정본(ttso/constitution.md) §8은 이미 baseline1·SkillOpt·Ellis(DreamCoder wake‑sleep)·Lake·UCB 다섯을 참조 시스템으로 등재해 두었다 — Voyager와 Reflexion은 아직 그 목록에 없다. 이 격차를 감추지 않고 아래 표에 그대로 남긴다.
| 계보 | 핵심 기제 (공개 문헌 기준) | 정본 §8 등재 |
|---|---|---|
| DreamCoder (Ellis) | wake abstraction + library refactor로 MDL 압축 라이브러리를 키운다. | 등재됨§8: “Ellis (DreamCoder wake-sleep · WorldCoder · PoE-World 확률가중=우리 credence)” |
| Voyager (Wang et al. 2023) | GPT-4가 짠 코드 스킬을 env 피드백으로 검증해 평평한 라이브러리에 누적하는 embodied agent. | 미등재 |
| Reflexion (Shinn et al. 2023) | 실패 궤적에 대한 verbal self-reflection을 episodic memory buffer에 저장해 다음 시도에 주입. | 미등재 — GAP |
GAP · open Voyager/Reflexion을 정본 §8에 정식 등재할지는 미결 — 이 페이지는 그 미결 상태를 amber로 정직하게 남긴다.
DreamCoder는 MDL 하나로 라이브러리를 압축하지만 스킬 종류를 가르지 않는다. 우리는 mechanic·wincond·strategy·metathinking 4종을 cell-bits 하나의 fold()로 통일한다 (§2).
Reflexion의 self-reflection은 LLM 자기평가로 완결된다. 우리 predict‑verify는 엔진 observe() 원문 diff를 하네스가 채점한다 — leak‑free (§3).
Voyager의 스킬 라이브러리는 평평한 누적이다. 우리는 (α,β) Beta posterior가 when(board) 검색과 함께 계보 γ=0.5 감쇠로 레벨 경계를 넘어 이월된다 (§5).
출처: ttso/constitution.md §2·§3·§5·§8 (단일 정본, 2026‑07‑14 개정).
루프 자체는 07‑14와 같다(control → WAKE → residual → SLEEP → render). 이번 주 작업은 그 루프 위 두 지점을 고쳤다: render(브리핑 렌더 — claim 절단)와 judge(스킬 채점 — numpy 경계). 아래 그림은 두 지점을 초록(FIXED)으로 표시한다. judge 결함이 더 컸다 — 13/21 스킬이 조용히 예외를 던져 credence가 전원 동결되고, 매 라운드 sleep이 15–19분씩 걸리며 simulate가 무용해지는 세 증상이 전부 이 한 지점에서 나왔다.
순서: 근인을 두 층으로 확정(브리핑 절단 → predictor numpy 경계) → 수정 후 검증런 h9으로 루프 최초 완전연결을 실측 → 헌법 1:1 감사로 잔여 배선 결함을 걸러냄. GAME_OVER 한 건(r9)이 있었지만 RESET으로 복구됐다 — 이 실패도 감추지 않는다.
[:160]에서 절단해 L3 정답 규칙 페이로드를 굶겼다. 수정: head_capped로 비절단 보장.
→ commit 83ea9e5
29항 중 23 OK, 확정 GAP 5, blocker 1. blocker는 fold_judge_scores가 wincond에 음의 서사 DL을 접던 제4채널 — 양방향 drop으로 봉합.
잔여 minor 4건은 관찰 목록에 남아 있다: fork 밴 회귀가드 부재·credence축 판별가중 미이식·actor 번들 이전‑레벨 원장 다이제스트 부재·중복 1.