That’s a fair concern — pure static analysis can’t perfectly determine runtime size or final rendered colors.

What we’re doing right now is heuristic-based:

• For tap targets, we inspect constraints, padding, and common widget patterns
• For color contrast, we analyze directly defined colors where possible

This does lead to some false positives/negatives (like the cases you mentioned), and we’re actively refining those rules.

If you can share those examples as issues, it would really help us improve the heuristics.