From 516f8c6bc6d9d7d950f7710bd3ee7bb43d34594a Mon Sep 17 00:00:00 2001
From: forge-bot <bot@forge.local>
Date: Fri, 10 Jul 2026 13:29:03 +0000
Subject: [PATCH] =?UTF-8?q?BAIS=20=EC=97=85=EB=AC=B4=20=EA=B7=9C=EC=B9=99?=
 =?UTF-8?q?=EA=B3=BC=20=EC=A0=84=ED=99=98=20=EB=B6=88=EB=B3=80=EC=8B=9D=20?=
 =?UTF-8?q?=EC=B6=94=EC=B6=9C=20(BAIS-SPRING-ANA-001)?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 .../com/example/bais/InvariantRulesTest.java  | 36 +++++++++++++++++++
 1 file changed, 36 insertions(+)
 create mode 100644 src/test/java/com/example/bais/InvariantRulesTest.java

diff --git a/src/test/java/com/example/bais/InvariantRulesTest.java b/src/test/java/com/example/bais/InvariantRulesTest.java
new file mode 100644
index 0000000..06a8848
--- /dev/null
+++ b/src/test/java/com/example/bais/InvariantRulesTest.java
@@ -0,0 +1,36 @@
+package com.example.bais;
+
+import static org.junit.jupiter.api.Assertions.*;
+import org.junit.jupiter.api.Test;
+
+public class InvariantRulesTest {
+    @Test
+    public void testAccountUniqueId() {
+        assertEquals("모든 계정은 고유한 ID를 가져야 한다.", InvariantRules.ACCOUNT_UNIQUE_ID);
+    }
+
+    @Test
+    public void testAccountEmailValid() {
+        assertEquals("계정 생성 시 이메일 주소는 유효해야 한다.", InvariantRules.ACCOUNT_EMAIL_VALID);
+    }
+
+    @Test
+    public void testAuthenticationTwoStep() {
+        assertEquals("사용자 인증은 두 단계로 진행되어야 한다.", InvariantRules.AUTHENTICATION_TWO_STEP);
+    }
+
+    @Test
+    public void testAuthorizationRoleBased() {
+        assertEquals("사용자 역할에 따라 접근 권한이 달라져야 한다.", InvariantRules.AUTHORIZATION_ROLE_BASED);
+    }
+
+    @Test
+    public void testCardEncryption() {
+        assertEquals("모든 카드 정보는 암호화되어 저장되어야 한다.", InvariantRules.CARD_ENCRYPTION);
+    }
+
+    @Test
+    public void testBatchLogRetention() {
+        assertEquals("배치 작업의 로그는 최소 30일간 보관해야 한다.", InvariantRules.BATCH_LOG_RETENTION);
+    }
+}
\ No newline at end of file