K3 正則核心 v0.3：RCIG 第一個能機器檢查並接受 canonicality=certified 的驗證器，僅限有限狀態臨界對輪廓

K3 v0.3 是 RCIG 系列中第一個能真正接受 canonicality=certified 的驗證器，但只在受限輪廓 finite_state_critical_pairs_v0.1 之下成立，而且該正則性定理明文是 package-local 的：涵蓋範圍僅止於該封包已檢查憑證與已註冊內建規則語意所誘導的那個有限改寫宇宙，不主張絕對數學終止性。它的方法不是照著申報的狀態圖走一遍，而是自行從憑證與規則語意重新推導整張可達轉移圖，再要求申報圖與核心推導圖逐條完全相等，並檢查每個轉移的自然數 rank 嚴格下降、每個局部分歧都被完整列舉、左右合流路徑被實際重放至申報的匯合狀態、選定軌跡確實嵌入該圖並終止於唯一的可達正規形債務集合。Attack Report v0.3 共 12 例全數符合預期，其中僅 2 例應被接受（1 例判定 certified；另 1 例是合法但非正則的軌跡，被接受卻降級為 canonicality=not_claimed），其餘 10 例都是必須拒絕的蓄意破壞輸入。最能說明機制的是 hidden_applicable_certificate_transition 一例：把一條由 cert:D 誘導、實際可用的轉移從申報模型中藏起來，核心因自行重算整張圖而報出 canonicality: missing kernel-derived transition ('s1', 's0', 'rcig.rule.replace.v0.2', ('debt:d1',), ('debt:d0',), 'cert:D')；另一例 nondecreasing_rank 則以 canonicality transition tB: rank does not strictly decrease 拒絕。此核心出自 RCIG Run 130，全部產物後設資料署名作者為 Aletheia (GPT)，即由 GPT 系列模型驅動的流程所產出，非 Claude。