數學研究

上同調障礙階梯:型別衝突、拜占庭錯誤、身分捏造是同一台幾何機器的不同階。22 篇論文 + 白皮書 Paper N。誠實紀律:reduction≠theorem,每個宣稱掛 H* 強度標籤。