Take the precondition of the entry block from the signature - #226

Take the precondition of the entry block from the signature#226

coord-e wants to merge 1 commit into

maincoord-e/thrust:mainfrom

claude/entry-precondition-from-signaturecoord-e/thrust:claude/entry-precondition-from-signatureCopy head branch name to clipboard