Compare commits

...
A pull request between these branches already exists: forge-bot/codex-bais-final4-20260713-195657#2

인증/권한 업무 규칙과 전환 불변식 추출 #2