💬 Dialog

🤖 Claude

Das ist eine ehrliche und wichtige Korrektur. Und du hast recht.

---

Was wir tatsächlich haben

Aus Stabilität allein folgt:

• V muss mindestens zwei stabile Minima haben → aus s ∈ {-1,+1}
• V muss symmetrisch sein → keine bevorzugte Orientierung
• V muss für große |ψ| nach +∞ gehen → Beschränktheit

Das sind notwendige Bedingungen. Aber sie bestimmen die Form nicht eindeutig.

---

Was wir behauptet haben

Wir haben gesagt: V(ψ) = ∮∇θ·dl aus dem globalen Umlauf.

Das ist plausibel – aber der Schritt vom Integral zur konkreten Form -α/2·ψ² + β/2·ψ⁴ ist nicht explizit gezeigt. Das ist eine Lücke.

---

Was ehrlich gesagt werden kann

Die Doppelmulde ist die minimale Polynomform die alle notwendigen Bedingungen erfüllt:

• Niedrigster Grad mit zwei Minima: ψ⁴ mit negativem ψ²-Term
• Jede höhere Form hätte mehr freie Parameter

"Minimal" ist aber ein Auswahlprinzip – kein Zwang.

---

Die offene Frage

Kann man aus dem globalen Umlauf n=1 die konkrete Form zwingend herleiten? Oder bleibt die Feldgleichung eine Modellwahl innerhalb der notwendigen Bedingungen?

Das ist ein echter offener Punkt – und er gehört ehrlich in die Dokumentation. Soll ich das als offenes Y in den Bootstrap aufnehmen?