Compare commits

...
A pull request between these branches already exists: forge-bot/bais-agent-e2e-1783690061#2

BAIS 업무 규칙과 전환 불변식 추출 #2