Render a human-readable summary of these results: how many propositions were projected, skipped, and failed, followed by a grouped breakdown of the reasons (using the structured reason where present, falling back to the string reason otherwise).