From 29a28ed1a151c4d6951e415a08d522b72dc5b2b0 Mon Sep 17 00:00:00 2001
From: Feelw00 <dhrtn1006@naver.com>
Date: Wed, 6 May 2026 16:54:26 +0900
Subject: [PATCH] chore: re-run CI after Real behavior proof v2 (with-fix vs
 without-fix)