Empirical patterns observed across the audit. Not theorems. Each finding has an explicit falsifier criterion.