# overview


---
<!-- trackio-cell
{"type": "markdown", "id": "cell_8eb45a812df9", "created_at": "2026-07-22T16:20:07+00:00", "title": "Executive summary"}
-->
# Perceptron Mean-Field — 2/4 VERIFIED (4 pts, honest)

- **C5** (Prop 3.7) global maximizer = Dirac at argmax of perceptron potential v_ϑ (8/8).
- **C1/C2/C3** stationary measures atomic (simulation: particles concentrate).
- C4 (0.5742) / C6 (√β) honest negatives (need exact softmax attention energy).