루트/진행 검토

loading route review...
확정 reachable-
출구 trial-
selector 후보-
promotion gate-

루트 proof matrix

loading...
gate 상태 현재 근거 남은 gap

진행 표면

Frontier 요약

차단 gate

관련 원문