ptah inference catchup
ptah inference index
ptah inference verify