promotion gate-
selected root-
predecessor fill-
selector merge-
opcode20-
opcode24-
현재 selector frontier
셀렉터 proof matrix
| gate | status | 현재 증거 | 남은 gap | refs |
|---|
승격 gate
| gate | passed | missing evidence | evidence |
|---|
selected-root / merge / predecessor / opcode blockers
조사 큐
| priority | status | task | missing | refs |
|---|