backend/api/example_payloads.md

Example API Payloads

Create Universe

POST /universes

{
  "name": "Group Theory",
  "description": "Universe for group theory",
  "universe_type": "group_theory",
  "axioms": ["Closure", "Associativity", "Identity", "Inverse"]
}

Add Axiom

POST /axioms

{
  "universe_id": 1,
  "statement": "Commutativity"
}

Evolve Axiom

POST /axioms/evolve Form data or JSON:

{
  "axiom_id": 2,
  "new_statement": "Commutativity (strong)"
}

Derive Theorem

POST /theorems/derive

{
  "universe_id": 1,
  "axiom_ids": [1, 2],
  "statement": "Closure Commutativity"
}

Create Proof

POST /proofs

{
  "axiom_id": 1,
  "content": "Proof details here."
}