CPRR Methodology
Conjecture-Proof-Refutation-Refinement
Table of Contents
Introduction
CPRR (Conjecture-Proof-Refutation-Refinement) is a research methodology that treats hypotheses as first-class artifacts with explicit lifecycle management, evidence tracking, and refutation gates.
Core Workflow
State Machine
Conjecture Structure
Evidence Types
Integration with Issue Tracking
Refutation Gates
CPRR vs Traditional Approaches
Tooling Requirements
Example Workflow
- Conjecture: "Algorithm X has O(n log n) complexity"
- Evidence: Benchmark data, theoretical analysis
- Refutation attempt: Edge case with O(n²) behavior
- Refinement: "Algorithm X has O(n log n) for sorted input"
- New conjecture: Refined hypothesis
- Proof: Formal verification or exhaustive testing
Applications
- Research hypothesis management
- Experimental software development
- Formal methods integration
- Multi-agent coordination
- Knowledge base maintenance
Resources
- Lakatos, "Proofs and Refutations" (1976)
- Popper, "The Logic of Scientific Discovery" (1959)
