← NS-GSM / v0.2 · 全語料匯入
第一次把真實語料文件實際收進套件(corpus/ 底下 46 篇 markdown,涵蓋 C/RFP/MORP/X72/DCRP/FCBP/PAM 各線)。新增 manifest 驅動的來源發現、去重身分、決定性 markdown 萃取、系列側寫、持久候選層、可續傳匯入檢查點、跨系列比對提案。46 篇文件 → 1460 筆候選萃取紀錄(報告原句強調:是萃取紀錄,不是獨立定理計數)、219 條跨系列精確陳述提案,全部停留在 NEEDS_REVIEW,0 筆自動商化。各系列涵蓋狀態:C(PARTIAL,2 篇)、RFP(COMPLETE_SERIES Cycle I,15 篇)、MORP(COMPLETE_SERIES Cycle VII,7 篇)、X72(SELECTED_MILESTONES,4 篇)、DCRP(SELECTED_MILESTONES,10 篇)、FCBP(COMPLETE_SERIES Cycle VI,7 篇)、PAM(COMPLETE_INDEX_ARTIFACT,1 篇)。明言本版本不引入任何 DCRP106 研究定理。
跟其他版本的關係,盡量用它自己文件裡的話,不是我的解讀。
載入中…