Lemma 4:

P/NP Gap Measures Verification Asymmetry

Define V(claim) = min_time to verify claim

Define G(claim) = min_time to generate claim

Misinformation_advantage = V(claim) / G(claim)

Interpretation: When V >> G (claim is NP to verify, P to generate), misinformation thrives.

The "Erecting Build" component tries to reduce V by providing cognitive infrastructure.