validator-gated-memory

합성 경로의 타당성과 완료 여부를 판단하는 검증자 신호를 사용해 solver 메모리에 큰 신호만 반영하도록 제어하는 원리.