CanoProof
The proof-carrying climate decision engine.
CanoProof examines a climate decision, tries to defeat it, and hands you the evidence either way. Every result is tied to an exact selected geography, exact contract, exact assumptions, and a signed, independently reproducible verification package.
Exact geography
Select tract by tract on the map, paste GEOIDs, draw or upload a boundary, or reuse a saved versioned area. Every certificate records the exact selection, overrides, and checksum.
Decision frontier
For supported results, CanoProof tests changes that reverse the decision. For unsupported results, it identifies the closest tested path toward support. Every result states its method and whether minimality was proven.
Signed and reproducible
Ed25519-signed packages verified against the published Canopulse key, with a signed statewide bundle so thresholds are independently recomputed offline, not merely attested.
Parcel context is not released. Any future verified parcel boundary would display its parent tract screening result and would never be labeled Parcel UCRI.
Step 1: What do you want CanoProof to examine?
Step 2: Select the exact geography
Area Builder
Every certificate defines its own scope. Verification applies to the declared model, evidence, assumptions, constraints, and tested decision space. CanoProof outputs are screening and planning context: not legal eligibility, not funding guarantees, not causal outcome claims, not engineering feasibility conclusions, and not government determinations. Professional review is required before any project decision. Verify any certificate at canopulse.com/canoproof/verify.