Second independent verification run, AMR-022-7062 (exact arithmetic)
Part A: 795 checks; pairs with a morphism: 215; strict cof examples 91, strict add examples 91; compositions 65
Part B: 444001 checks; 19 sequences x 2 block choices; horizon 2500; blocks with rigorous tail control: 593
Part C: 119890 checks; 300 random w; instances where a non-monotone sequence below w beats m^(w,N) (monotonicity needed): 193
Part D: 98549 checks; 250 random x; cases where the inequality fails below K (so only <=* holds): 691
Part E: 16127 checks; 300 random instances of both morphisms
Part F: 70049 checks; 19 sequences z, horizon 300; completion steps run: 4560
Part G: 11568 checks; 200 random f, convex g, and y >= 2 x^g
Part H: 12129 checks; b(k)=2^(k+5), k <= 5 (P up to 2^4042); localisation checks 180, negative 180
Part I: 41 checks; block sum exceeds 10^6 at k = 14
Part J: 12788 checks; 150 random convex g
Part K: 21 checks; Table 1 parsed from main.tex
total checks: 785958
ALL CHECKS PASSED
