고정 LLM이 처음 보는 게임을 스킬로 압축·최적화 — 무누수 첫 풀게임 WIN 더블.

같은 다섯 단계(관측 → 가설 → 검증 → 커밋 → 수면) 위에 네 레인이 서 있고, 우리는 그 위에 확률 층(Beta posterior · 경쟁 가설 SET · EIG)과 실행 가능한 world‑model을 얹었다. 레인마다 하중을 받치는 통찰 하나 — 자세한 해부는 각 카드의 딥다이브로.

symbolica bestiary — 우리 엔진의 모체

“다중에이전트 NL 스킬 DB — 모든 record 위에 posterior. ft09 6/6 클리어.”

무누수 프롬프트 경계(GAME_REFERENCE)의 원형. 자세히 → 딥다이브 (소스 해부)

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

“세계모델을 실행 가능한 파이썬 파일로 쓰고, 과거 attempt 전체를 리플레이해 검증한다.”

우리 mechanic predict_next의 직계 선조. 자세히 → 딥다이브 (소스 해부)

Microsoft SkillOpt — the document is the parameter

“스킬 문서 자체가 파라미터다 — 학습은 텍스트를 고치고, 게이트가 배포를 결정한다.”

Rollout → Reflect → Edit → Gate. 자세히 → 딥다이브 (소스 해부)

Ellis & Lake 계열 — rules as a posterior

“가설은 분포로 살아 있고, 실험이 그 분포를 가른다.” (Piriyakulkij & Ellis) + DreamCoder(MDL prior + sleep abstraction) · WorldCoder(fit + optimism).

우리 승리조건 SET + Beta posterior + EIG 프로브의 원형. 자세히 → 원 카드 전체 (07-03 §02)

레벨 경계가 아니라, 세계모델이 관측을 설명하지 못하는 순간(residual)이 언제 깨어 스킬을 쓰고 언제 잠들어 고칠지를 결정한다. 각 노드를 클릭하면 파이프라인 페이지의 해당 노드가 실제 프롬프트 원문 + 실제 트레이스와 함께 열린다.

0→3 등반(07-09)에서 풀게임 WIN 더블(07-10)까지 — 각 위기의 실사례 원문·커밋·검증은 연구 궤적에서 카드를 클릭하면 패널로 열린다. 고장은 빨강, 수리는 초록 — 한 줄씩만 여기 남긴다.

1 만점 아니면 0점 채점 — all-or-nothing judge가 세계모델을 텅 비게 했다 → 변화 셀 F1 부분점수 · a76ea3a 2 catch-22 게이트 — 서로 먼저 열리길 기다리는 두 문, EXPLOIT/REFINE은 데드 코드 → advantage_on_union>0 단일 통로 · 4807091 3 하드코딩 세계모델 — r7이 절대좌표 xs=[36,44,52]를 믿고 성실하게 길을 잃다 → AST generality critic · 83ab400 4 3중 프롬프트 유출 — 시험지에 답(게임 메카닉 어휘)이 비쳐 보였다 → 표면 스윕 CLEAN · a921b9c 5 critic 거부권 — 검사기가 모든 mechanic 후보를 수용 직전에 학살 → critic은 가이드로 · 774e893 6 L3 가설 churn — 9라운드 27가설, 이전 가설 참조 0건, 같은 셀 재클릭 ×3 → REFUTED 장부, C3에서 작동 확인