Functions whose canonical crystal is identical: alpha-equivalent after the identity passes, with call targets bound in. 0 exact classes (0 spanning crates) hold 0 duplicate lines; 0 further classes are shape matches only (approximate lowering). Functions under 3 lines are left out.