← all weeks week of 2026‑07‑14 · TTSO · 스킬을 레벨 너머 기억으로 전이 prev: 2026‑07‑11

test-time skill optimization · ARC-AGI-3 · ft09 · gpt-5.5 (frozen)

고정 LLM이 처음 보는 게임을 경험을 스킬로 압축해 푼다 — 그 스킬은 이제 레벨을 넘어 기억으로 전이된다.

방법: wake가 스킬을 쓰며 놀고, sleep이 설명 안 된 잔차(residual)를 4종 스킬(mechanic·wincond·strategy·metathinking)로 압축한다 — 전부 하나의 정보 통화(cell‑bits)로, 단일 fold() 관문에서 채점된다. 결과(추상): 초기 레벨에서 검증된 스킬이 (α,β) 모멘텀을 싣고 후반 레벨로 이월된다. LLM은 심판에서 빠지고(추론자이지 회계사가 아니다), 숫자는 하네스가 만든다 — leak‑free, fork=0. 선행 → 프레임워크 → 히스토리 순서로 읽는다.

6 / 6 × 2무누수 첫 풀게임 WIN 더블 · C3(52R/174a/RHAE 40.9) · r3(74R/171a/RHAE 55.7) · fork=0runs/stageC3 · C2v3 · report 2026‑07‑10 V = ΔDL + λ·EIG4종 스킬을 하나의 통화·하나의 fold()로 — credence·momentum·V 세 렌즈ttso/constitution.md §2 9 / 12 / 16 / 21L0→L3 클리어 라운드(E1) — E0의 절반, 관계형 키 스킬 전이(momentum)의 순기여S3 paired E1 vs E0 · report 2026‑07‑12 L4 = 진행 중헌법대로 코드 복원(계보·거리축·전이) · 440 tests pass · 라이브 미착지branch ttso‑nofork‑predict‑verify (working‑tree, 미커밋)
01

선행연구 — 네 레인, 그리고 우리가 더한 것

symbolica · baseline1 · SkillOpt · Ellis&Lake

선행연구는 에피소드마다 게임을 다시 푼다 — 우리는 스킬을 레벨을 넘는 장기기억으로 최적화한다 (symbolica · baseline1 · SkillOpt · Ellis&Lake가 그 조상). 아래 한눈 그림이 그 대비 — 조상 네 레인은 그 밑 카드에서 소스까지 해부한다.

PRIOR WORK — 에피소드마다 다시 푼다 L0 L1 L2 self-contained ↻ 다시 풂 self-contained ↻ 다시 풂 self-contained ↻ 다시 풂 ✕ ✕ 리셋 리셋 per-episode re-solve · 스킬 상태가 레벨 경계에서 리셋 (state does NOT cross) prior: re-solve each episode  ↔  ours: optimize skills as long-term memory OURS (TTSO) — 스킬을 장기기억으로 L0 진입 L1 진입 L2 진입 (α,β) 이월 = momentum transfer · no reset one skill library (persistent) when(board) 검색 · Beta posterior credence one library · when(board) 검색 · (α,β) 이월 = momentum · ✕ 레벨마다 리셋 없음 · fork=0
prior: re-solve each episode  ↔  ours: optimize skills as long-term memory

symbolica bestiary — 우리 엔진의 모체

agent agent NL 스킬 DB record + posterior ft09 6/6 다중에이전트 NL 스킬 DB · 모든 record 위에 posterior
“다중에이전트 NL 스킬 DB — 모든 record 위에 posterior. ft09 6/6 클리어.”
무누수 프롬프트 경계(GAME_REFERENCE)의 원형. 자세히 → 딥다이브 (소스 해부)

baseline1 (astroseger) — 실행 가능한 세계모델

observe world_model .py 작성 planner 실행 replay verify attempt 로그 world model = 편집되는 파이썬 파일 · 불일치 = VerificationMismatchError
“세계모델을 실행 가능한 파이썬 파일로 쓰고, 과거 attempt 전체를 리플레이해 검증한다.”
우리 mechanic predict_next의 직계 선조. 자세히 → 딥다이브 (소스 해부)

Microsoft SkillOpt — the document is the parameter

rollout ✗ diagnosis: re-clicked cleared cells skill.md gate (door) library ✓ patch patch′ ✗
“스킬 문서 자체가 파라미터다 — 학습은 텍스트를 고치고, 게이트가 배포를 결정한다.”
Rollout → Reflect → Edit → Gate. 자세히 → 딥다이브 (소스 해부)

Ellis & Lake 계열 — rules as a posterior

discriminating experiment ✓ 0.9 ✗ ✗ ✗ r1 r2 r3 r4 bars = posterior over candidate rules; the experiment moves the mass
“가설은 분포로 살아 있고, 실험이 그 분포를 가른다.” (Piriyakulkij & Ellis) + DreamCoder(MDL prior + sleep abstraction) · WorldCoder(fit + optimism).
우리 승리조건 SET + Beta posterior + EIG 프로브의 원형. 자세히 → 원 카드 전체 (07-03 §02)
자세히 → 선행연구 소스 해부 (symbolica · baseline1 · SkillOpt)
02

프레임워크 — 하나의 (α,β) 점수가 잇는 wake–sleep 루프

클릭 = 파이프라인 세부 · 실제 프롬프트/트레이스

하나의 (α,β) 누산기가 credence·momentum·결정값 V 세 렌즈로 읽히고, LLM은 judge/miner/actor 세 자리에서 같은 번들을 읽을 뿐 — 숫자는 하네스가 만든다 (leak‑free, fork=0). 스킬은 when(board)로 적용되고 (α,β)를 레벨 너머로 싣는다 = 모멘텀 전이. 아래 그림 = 하나의 통화·세 렌즈·세 자리 · 그 밑 클릭 백본은 실제 프롬프트/트레이스로 연결된다.

skills · ONE Record FOUR kinds · Beta posterior mechanic · 단일 누적 union (조밀) wincond · 경쟁 SET+posterior (희박) strategy · doc-only 렌즈 metathinking · doc-only 렌즈 ↓ 네 kind가 ONE Record를 공유 fold() (α,β) core α+=saved · β+=harmed cell-bits = 16 단일 fold() 관문 — α/β를 쓰는 유일한 곳 credence = α/(α+β) · 사후 신뢰 momentum 계보 상속 γ=0.5 · Δ≈e/(n+e) V = ΔDL + λ·EIG 결정값 · exploit + explore LLM 3 seats read one bundle · HARNESS가 숫자를 만든다 judge 평가 텍스트 miner 스킬 저작 actor action plan judge bundle 숫자 + 평가텍스트 HARNESS credence·V·EIG fork=0 · leak-free LLM은 숫자를 못 바꾼다 momentum transfer — when(board) 검색 · (α,β) 이월 (레벨 리셋 아님) level N · skills store (α,β) 이월 level N+1 진입 · when(board) reset per level ✕
controlresidual 트리거 →
WAKE · 스킬을 쓰며 행동 (actor)
actor · ReActreasoning → ONE 코드블록 → predict‑verify엔진 피드백 채점
→ residual설명 안 된 잔차 →
SLEEP · 스킬을 압축 (miner)
judgeF1 채점 + eval 텍스트 → miner4종 스킬 작성·수리 → score core단일 (α,β) fold()
→ render브리핑 → 다시 wake
residual ↻ 예상과 다르면 다시 트리거 — wake와 sleep을 잇는 하나의 통일 루프. ← control로 되돌아감
각 노드를 클릭하면 pipeline.html의 해당 노드가 pin 상태로 열린다 · hover 시 한 줄 설명 · score core → #score.
라이브 무누수 확증 — 매 클릭이 predict‑verify로 채점된다: 피드백 원문 “OBSERVED: click(38,46): 9->8 | flips (38,45):9->8; (37,46):9->8; …”. PLAN VERDICT는 C3 52R · r3 74R 전부 “계산 불가” (동역학 잔차 초과 · 생존 wincond 없음) — 승리는 스킬 점수가 아니라 LLM 추론이 이겼다. 출처: runs/stageC3/logs/C3_fullgame_prob_s0.log · report 2026‑07‑10.
자세히 → score core · 파이프라인 노드별 상세 (실제 프롬프트 원문 + 트레이스)
03

히스토리 — 네 개의 원리가 이 빌드를 만들었다

문제 → 원리 · 카드 클릭 = 실증

채점 마비를 정보량 하나로 통일 → 가설 과회전을 거리기반 graded 반증+모멘텀으로 → 레벨 사일로를 when(board) 장기기억 전이로 → 오늘: 헌법대로 죽은 배선을 되살려 전이를 배선(L4 라이브는 진행 중). 고장은 빨강, 원리는 초록 — 실사례 원문·커밋·검증은 카드를 클릭하면 연구 궤적 패널로 열린다.

1 2 3 4 ① 채점 마비 → V=ΔDL+λ·EIG 통화 하나 ② 가설 과회전 → graded 반증 + 모멘텀 ③ 레벨 사일로 → when(board) 장기기억 전이 ④ 죽은 배선 → 헌법대로 배선 L4 진행 중 AMBER
1 채점 마비 — kind마다 다른(혹은 부재한) 채점기. 38개 store 중 α/β가 움직인 건 mechanic r10·r16 단 둘, sleep 채굴은 s3 이후 8연속 이득 0. 원리: 모든 kind를 하나의 통화(cell-bits) V=ΔDL+λ·EIG로. → report 07-10 · C3 WIN 2 가설 과회전 — 틀림 vs 미완을 구별 못 함. wincond 8개 target 빈칸 → α/β 1.00/1.00 동결, 4레벨 내내 사후분포 부동. 원리: 거리기반 graded 반증(supported|incomplete|contradicted) + 관성(Δ≈e/(n+e), 계보 γ=0.5). → report 07-12 · E1 9/12/16/21 3 레벨 사일로 — 검증된 스킬을 다음 레벨이 안 씀. 중립 브리핑서 gpt-5.5 4/4 memorize, held-out은 same-split 죽은 코드. 원리: when(board) 장기기억 전이 — EIG-OOD probe + OOD held-out gate + coverage-MDL + relational-lens. → report 07-08 · 036f4ba 4 죽은 배선 — 헌법(§2)이 요구한 회로가 코드에 없었다(신용축·레벨크레딧·계보·when 전이 미배선). 원리: 헌법대로 복원 — mechanic/wincond는 verdict가 아니라 MOMENTUM으로 태어난다(scope flip 없음). L4 라이브 = AMBER, 진행 중. → ttso-nofork · 440 tests
자세히 → 네 원리 실증 패널 (커밋 · ledger · trace 원문)
GO

더 깊이 — 파이프라인 · 연구 궤적

서브페이지에서 노드를 클릭하면 실제 프롬프트 원문·실제 트레이스 발췌·커밋/run‑id가 패널에 고정된다. 파이프라인 = score core까지, 궤적 = 네 원리 실증.

파이프라인 control → WAKE → verify → SLEEP → score core → render 노드 hover = 미리보기, 클릭 = 실제 프롬프트 원문 + 실제 WIN 트레이스 발췌 + 코드 경로 pin. 단일 fold() = #score. pipeline → 연구 궤적 네 원리의 타임라인 원리 카드 클릭 = 실사례 원문(커밋·스펙·ledger·trace)과 검증 수치가 패널로. L4 라이브 = AMBER. trajectory → archive 2026-07-11 · WIN 더블 스냅샷 무누수 첫 풀게임 WIN 더블 + 여섯 위기 히스토리 — 이번 주 재설계의 직전 기록. 이전 기록 → archive 전체 아카이브 주간 빌드로그 스냅샷 전체 — 최신순. all weeks →