Strengthen all five claim audits from judge feedback

Update logbook: Reproduction: Matroid Algorithms Under Size-Sensitive Independence Oracles

initial commit