CLAIM_FIREWALL_NOTE
Why blocked claims increase credibility
Showing what is blocked makes the supported claim easier to trust.
claimsreviewcredibility
A proof system is stronger when it names what has not been proven.
The claim firewall prevents a good validation result from being stretched into runtime, signal, or public proof language.