AUGMANITAI Mini-Papers Corpus — 20 methodological + formal-theoretic papers (CHAMP, Multi-Hash, UCCT, MLTA, SIPT, MGTSA, Block-30, Anti-Regression) | Synapse