1.31 MB
DineshAI's picture
6-claim logbook: add Claim 3 (Thm 3.1 anisotropic) + Claim 6 (Prop 2.3 curvature); correct Claim 1 to VERIFIED; preserve 3-claim historical baseline
330eee8 verified