$LINEA の精密な強制清算