Establish terminal recognition and terminal recourse boundary#11

verifrax-systems merged 2 commits into

mainVerifrax/proof:mainfrom

midiakiasat/terminal-recognition-and-recourse-wiringVerifrax/proof:midiakiasat/terminal-recognition-and-recourse-wiringCopy head branch name to clipboard