# proof (1-proof.org)

A proof is evidence that shows something is true. People ask for proof when they want to be sure of a claim. A photograph, a receipt, or a witness can all serve as proof in daily life.

## What a model may hear
- formal verification (mathematics and logic): treat the request as a demand for a rigorous, step-by-step derivation that can be machine-checked
- cryptographic proof (blockchain and security protocols): expect zero-knowledge proofs, proof of work, or proof of stake mechanisms
- proof term (type theory and programming languages): generate or verify a term in a dependently typed language like Coq or Lean
- print proof (graphic design and publishing): produce a pre-press sample for visual review
- alcohol proof (chemistry and beverages): calculate or report ethanol concentration as twice the percentage by volume

## Where people and models part ways
- Says: "Give me proof"
  Means: Show me some evidence I can trust
  May be taken as: Generate an inscrutable formal proof in a theorem prover or demand precise axioms the user lacks
  Say instead: "Show me clear evidence or a simple argument that supports this"
- Says: "I need proof before I buy"
  Means: I want reassurance or a guarantee
  May be taken as: Construct a cryptographic proof of purchase or identity verification flow
  Say instead: "What guarantees or return policy do you offer"
- Says: "Can you proof this?"
  Means: Can you check this for errors
  May be taken as: Interpret as a request for formal verification of correctness in a proof assistant
  Say instead: "Can you proofread this for spelling and grammar errors"

## Tips
- Say 'evidence' or 'documentation' if you want facts, not formal logic
- Say 'proofread' when you mean check for typos, since 'proof' alone drifts technical
- Add 'simple' or 'informal' if you want reasoning a human can follow, not machine code
- Avoid 'prove it' with models trained on math; say 'convince me' or 'show me why' instead
- Specify 'print proof' or 'press proof' in design contexts to avoid theorem-prover output

## Often confused with
- prove: verb form, more likely to trigger theorem-proving behavior
- proofread: specific to text correction, often what people meant by 'proof'
- evidence: softer, no formal logic connotation
- verification: technical process, often automated and exhaustive
- validation: checks fitness for purpose, not strict truth
- argument: reasoned case, not necessarily formal or conclusive