Bulletproof

Trust nothing. Prove everything checkable.

Method

Run the matching branch. Run both only when claims and completed implementation both need proof.

Verification

1. Freeze the claim set, target, and state.
2. Expose every load-bearing assumption.
3. Define proof and falsification before searching.
4. Inspect authoritative local sources. Use primary sources for external facts.
5. Run safe checks against absent, stale, or indirect evidence.
6. Let evidence kill disagreement.

Implementation Proof