[Design] CLAIR is IR, not PL: The machine code for LLM reasoning

## Core Insight

CLAIR is not a programming language humans write. It is intermediate representation (IR)—machine code for reasoning—emitted by LLMs and consumed by LLMs.

## The Analogy

| Traditional | CLAIR Ecosystem |
|-------------|-----------------|
| Human writes C/Rust | Human writes English/French/Intent |
| Compiler frontend parses | Thinker LLM "compiles" to CLAIR |
| LLVM IR (intermediate) | **CLAIR trace** (intermediate) |
| Optimizer transforms | Reasoning auditor/verifier processes |
| Backend generates machine code | Assembler LLM emits executable code |
| Debugger shows IR | Interface converts CLAIR to human-readable explanation |

## Why This Matters

### CLAIR is Not For Humans To Write
The archive explored `Belief` as a type you program with. This was the wrong abstraction. Humans do not write LLVM IR by hand. They write C. The IR is for machines.

### CLAIR is For LLMs To Emit and Consume
- **Thinker**: Receives natural language intent → emits CLAIR trace
- **Verifier**: Processes CLAIR for consistency, confidence bounds
- **Assembler**: Reads CLAIR → generates Python/Rust/JS code
- **Human**: Queries CLAIR in English → receives explanation

### Binary Format is Acceptable
Since CLAIR is IR, not source code:
- Binary representation is valid (more compact, faster)
- Text format is for debugging/auditing only
- Human interface translates queries, not CLAIR itself

## Implications for Research

### Graded Monads (#10)
Not "types for programming" but "types for IR optimization"—enabling fusion of belief operations, static verification of trace validity.

### Multi-Agent Beliefs (#11)
Not "distributed programming" but "distributed compilation"—multiple LLMs collaborating on a single reasoning trace.

### Swarm Coordination (#12)
Not "agent consensus" but "compiler pass consensus"—agreement on intermediate representation before code generation.

## Design Principle

> CLAIR optimizes for LLM-to-LLM communication efficiency, not human readability. Human understanding is provided by query interface, not format design.

## Open Questions

1. What is the minimal binary representation of a CLAIR belief?
2. Can we define CLAIR's semantics independent of any serialization format?
3. How does the query interface work—natural language → CLAIR traversal → natural language response?

---
*Design clarification from project author*