Claim Ledger：50 筆機讀化宣稱登錄

將整個稽核過程拆成 50 筆標準化登錄，每筆固定欄位（claim_id、statement、status、status_type、internal_source、external_source、hypotheses、normalization、quantifiers、depends_on、reproduced_here、notes），另存 results/claim_ledger.json 供程式讀取。狀態分布：VERIFIED 19、CONDITIONAL 13、UNVERIFIED 11、INVALIDATED 2、OPEN 5；只有 10/50 筆在本輪實際執行重播（reproduced_here=true）。五組前緩別：A（檔案盤點，2 筆）、Z（phase0 邏輯分解，3 筆）、P1xx（phase1，7 筆）、T2xx（phase2，13 筆）、R3xx（p5，20 筆，最大組）、N4xx（新數學，4 筆）、G001（全局結論，1 筆）。兩筆 INVALIDATED：T203（HTML09 的 H3 全稱推論，p=29 反例成立）與 R306（僅靠 Corollary 1.6 整族非零不足以推出 canonical plus 模 11 非零，11 模 121 非零但模 11 為零）——兩筆都只否定引證邊，不否定共同結論。status 與 status_type 分開：UNVERIFIED 表示本輪證據未閉合，不等於命題為偽。