Generation
# Ramsey Theory Basics
**Ramsey Theory** studies the emergence of order within large enough structures. The central idea: *complete disorder is impossible* — if a structure is large enough, it must contain organized substructures.
## Key Principle
**Ramsey's Theorem (finite version):** For any positive integers $r, s$, there exists a minimum number $R(r,s)$ such that if you color the edges of a complete graph on $R(r,s)$ vertices with two colors (say, red and blue), you must have either:
- A red clique of size $r$, OR
- A blue clique of size $s$
This number $R(r,s)$ is called a **Ramsey number**.
## Worked Example: Proving $R(3,3) = 6$
**Claim:** In any group of 6 people, either 3 are mutually acquainted, or 3 are mutual strangers.
**Proof:**
Consider person $A$. They know 5 others. By pigeonhole principle, $A$ has at least 3 friends OR at least 3 strangers among these 5.
**Case 1:** $A$ has 3 friends: $B, C, D$
- If any pair among $\{B,C,D\}$ are friends (say $B$ and $C$), then $\{A,B,C\}$ are mutually acquainted ✓
- If no pair among $\{B,C,D\}$ are friends, then $\{B,C,D\}$ are mutual strangers ✓
**Case 2:** $A$ has 3 strangers (symmetric argument)
Also, $R(3,3) \neq 5$ (counterexample: 5-cycle with alternating colors).
Therefore $R(3,3) = 6$. ∎
20 tokens in · 450 tokens out · 8942 ms · $0.0068
Trail
08:15:41 received prompt_chars=62 verifiers=['scripture_anchors', 'theology_doctrine']
08:15:41 red_gate decision=pass reason=no disqualifying input patterns detected
08:15:50 base_llm_call model=anthropic/claude-sonnet-4-5 tokens_in=20 tokens_out=450 latency_ms=8942.3 cost_usd=0.0068
08:15:50 verifier:scripture_anchors verdict=NOT_APPLICABLE summary=0 Scripture citation(s) extracted
08:15:50 verifier:theology_doctrine verdict=NOT_APPLICABLE summary=no doctrine keyword patterns detected
08:15:50 floor_gate decision=pass reason=output above protective minimum; no mismatches
08:15:50 way_gate decision=pass reason=no declared way_path (Way check NA); no coercion language
08:15:50 execution_gate decision=deferred reason=no witnesses available (Witness Roll not yet constituted)
08:15:50 signed hash_algo=sha256 hash=sha256:85ef2cd2ccf8d8384c4bb3826cf7a458be63788dc941ad7ce52afc199529781e