Separate proof from assumption

The assessment shows the real verdict and finding summary. Supported controls stay supported; missing evidence stays missing; and a system block is not automatically treated as good agent behavior.