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

diagram-cprr-workflow.png

State Machine

diagram-cprr-states.png

Conjecture Structure

diagram-cprr-conjecture.png

Evidence Types

diagram-cprr-evidence.png

Integration with Issue Tracking

diagram-cprr-integration.png

Refutation Gates

diagram-cprr-gates.png

CPRR vs Traditional Approaches

diagram-cprr-comparison.png

Tooling Requirements

diagram-cprr-tools.png

Example Workflow

  1. Conjecture: "Algorithm X has O(n log n) complexity"
  2. Evidence: Benchmark data, theoretical analysis
  3. Refutation attempt: Edge case with O(n²) behavior
  4. Refinement: "Algorithm X has O(n log n) for sorted input"
  5. New conjecture: Refined hypothesis
  6. 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)

Author: Jason Walsh

jwalsh@nexus

Last Updated: 2026-05-19 20:41:00

build: 2026-05-20 03:39 | sha: 12ce5fe