2. Auflage: Prompt-Schichten, Autorenbrief, KB-Pointer
Vier Schichten in prompts/auflage-2.md. Struktur-Gate bleibt zu. Kein Gesamtrewrite.
This commit is contained in:
1 parent
d75080eb76
commit
4b0fb27e52
5 files changed
+418
-1
No files matched your search
@@ -0,0 +1,77 @@
|
||||
# Zweite Auflage — Redaktionsbrief
|
||||
|
||||
> Flughöhe: L2 · Domain: 00-projekt · Stand: 2026-08-29
|
||||
> **Nicht im PDF.** Arbeitsauftrag, kein Manuskript.
|
||||
|
||||
## In 3 Sätzen
|
||||
|
||||
Die 2. Auflage bleibt dasselbe Buch: ungelöst bleibt ungelöst, Beobachtung ≠ Heuristik ≠ Theorem ≠ offen. Sie wird straffer, nachschlagbarer und zählklar (C/T, σ/τ). Der maschinenfeste Prompt liegt in [`prompts/auflage-2.md`](../../../prompts/auflage-2.md) — vier Schichten, kein Gesamtrewrite.
|
||||
|
||||
## Wann laden
|
||||
|
||||
- Bevor ein Slice an der 2. Auflage beginnt
|
||||
- Wenn ein Agent den Roh-Prompt (ein Block, ganzes Buch umschreiben) ausführen will
|
||||
- Autor will nur den Brief, nicht den KI-Vertrag
|
||||
|
||||
## Freeze
|
||||
|
||||
Die 1. Auflage zuerst einfrieren (Commit). P0 und Welle-2-P1 nicht neu verhandeln. `docs/0*.md` nicht ohne Recherche-Auftrag. C-01 / F-00–F-13 Default nicht regenerieren.
|
||||
|
||||
Slice „Zählung“ (Kap. 2+3) ist geschrieben — Working Tree mischt ihn mit der uncommitted 1. Auflage. Nächste Session: Commit-Scope trennen, dann Echo-Pass Conway.
|
||||
|
||||
## Was die 2. Auflage will
|
||||
|
||||
1. **Zwei Uhren:** Notation aus `docs/02` — C, T, σ (Stoppzeit), τ (Gesamtstoppzeit), M (Gipfel). 111 ist τ_C(27), nicht σ.
|
||||
2. **Mix beheben:** 6,95 · ln n gilt für τ unter T. Vergleich 6,95 · ln 27 ≈ 23 mit τ_T(27) = 70, nicht mit 111.
|
||||
3. **Weniger Echo:** Kernpointe einmal ausführlich, später Verweis. Analogien weiter markieren, Floskel nicht zählen.
|
||||
4. **Apparat:** Anhänge A/B/C laut ToC; Register nur nach ToC-Entscheidung; Lesepfade um Profile erweitern, keine zweite Weiterlesen-Seite.
|
||||
5. **Kanon-Zahlen nicht „korrigieren“:** 68 Täler (Simons/de Weger 2005) stehen. Kein m ≥ 76. Barina nur 2^68 (2020) und 2^71 (2025/26), bis `docs/04` mehr hat.
|
||||
|
||||
## Was sie nicht will (ohne Gate)
|
||||
|
||||
- Kapitel 10 schlucken, 11+12 fusionieren, Labels umbenennen, Nummerierung 0–13 aufgeben
|
||||
- Fachbegriffe nur einmal im Buch definieren (Lesepfade überspringen Kapitel)
|
||||
- Ein-Shot-Volltext
|
||||
- Kakutani-Preis, Barina-Zwischenmeilensteine, σ(27) = 111
|
||||
|
||||
**Struktur-Gate:** nur wenn der Autor ausdrücklich sagt „Struktur-Gate öffnen“. Vorschlag und Risiken stehen in `prompts/auflage-2.md` Schicht 2 §3.
|
||||
|
||||
## Prio, wenn Auflage-2 startet
|
||||
|
||||
1. Kap. 2 + 3 (Zählung)
|
||||
2. Echo-Pass Conway (Kap. 5 / 8 / 12)
|
||||
3. Anhang B aus `docs/08`
|
||||
4. Anhang A + C; Register nach ToC
|
||||
5. Struktur-Gate extra
|
||||
6. Formalia (Impressum 2. Auflage, KI-Hinweis präzisieren)
|
||||
|
||||
Eine KI-Session: Copy-Block in `prompts/auflage-2.md` Schicht 3.
|
||||
|
||||
## Was der Roh-Prompt falsch machte
|
||||
|
||||
| Roh-Prompt | Kanon / Repo |
|
||||
|------------|----------------|
|
||||
| σ_C(27) = 111 | τ_C(27) = 111; σ ist die erste Unterschreitung |
|
||||
| 6,95 ln n für σ_T | Heuristik für τ in T-Schritten |
|
||||
| m ≥ 76 als Korrektur | nicht in `docs/03`; Leiter 1 → 2 → 68 → 91 Täler |
|
||||
| Barina 2^69 / 2^70 / 1,5·2^70 | nur 2^68 und 2^71 in `docs/04` |
|
||||
| Kakutani-Preis | Kakutani popularisiert, stiftet nicht |
|
||||
| Nachbarn in `docs/10` | `docs/07` §7.5; `docs/10` = gelöste Riesen |
|
||||
| „Bild, kein Beweis“ max. 4× | Markierung ist Konvention; Reprise statt Cap |
|
||||
| Fachbegriff einmal im Buch | einmal **pro Kapitel** (Lesepfade) |
|
||||
| Kap. 8–12 kürzen bei Zeitnot | Struktur-Gate; Default Labels/Nummern behalten |
|
||||
| Lies das Buch, liefere den Volltext | SoT = `docs/`; Delivery = Slice-Patch |
|
||||
|
||||
## Source of Truth (L3)
|
||||
|
||||
| Thema | Pfad |
|
||||
|-------|------|
|
||||
| Maschinenprompt | [`prompts/auflage-2.md`](../../../prompts/auflage-2.md) |
|
||||
| Faktenkanon | [forschungsbasis.md](forschungsbasis.md) |
|
||||
| Labels / Anhänge / Lesepfade | [`00-inhaltsverzeichnis.md`](../../../00-inhaltsverzeichnis.md) |
|
||||
| Notation | `docs/02`; [terminologie.md](../01-manuskript/terminologie.md) |
|
||||
|
||||
## Freshness
|
||||
|
||||
- Prompt-Korrekturen gegen `docs/` ziehen, nicht gegen das Erstmanuskript allein.
|
||||
- Slice „Zählung“ (Kap. 2+3) 2026-08-29 in `HANDOFF-collatz.md`; Mix in `docs/05` bleibt (Forschungsbasis unangetastet).
|
||||
@@ -26,6 +26,7 @@ Welches Verzeichnis wofür — damit Agents nicht in `docs/` Kapiteltexte ablege
|
||||
| `kladde.md` | privat | ohne Auftrag |
|
||||
| `build/`, `dist/` | generiert | handpatchen |
|
||||
| `assets/` | Figuren/Cover (später) | Roh-Drops nach `pics/` (gitignored) |
|
||||
| `prompts/` | KI-/Autoren-Aufträge (2. Auflage) | als Kapitel oder Faktenkanon |
|
||||
|
||||
## Source of Truth (L3)
|
||||
|
||||
@@ -36,3 +37,4 @@ Welches Verzeichnis wofür — damit Agents nicht in `docs/` Kapiteltexte ablege
|
||||
## Freshness
|
||||
|
||||
- Neues Top-Level-Verzeichnis: diese Karte + [source-of-truth.md](source-of-truth.md) in derselben Session.
|
||||
- 2. Auflage: [auflage-2-brief.md](auflage-2-brief.md) + Root-`prompts/auflage-2.md`.
|
||||
@@ -26,6 +26,7 @@ Welche Datei darf wer ändern — und wo ist was verbindlich. Gegenstück zur Ve
|
||||
| `kladde.md` | nur Autor | **nein** |
|
||||
| `HANDOFF-collatz.md` | jede Session (Meta/Slice/Offen) | ja — Datei ist Handoff |
|
||||
| `reviews/` | nach total-check | ja (neues Protokoll) |
|
||||
| `prompts/` | Auflage-Prompts, Slice-Copy-Blöcke | ja, schlank; kein Leser-Content |
|
||||
| `README.md` | bei Struktur-/Ziel-Änderung | ja, knapp |
|
||||
| `build/`, `dist/` | Pipeline | generiert |
|
||||
|
||||
@@ -37,4 +38,4 @@ Welche Datei darf wer ändern — und wo ist was verbindlich. Gegenstück zur Ve
|
||||
|
||||
## Freshness
|
||||
|
||||
- Bei neuen Platzhaltern (assets/, prompts/): Tabelle erweitern, nicht neu erfinden.
|
||||
- Bei neuen Platzhaltern (assets/, weitere `prompts/`-Dateien): Tabelle erweitern, nicht neu erfinden.
|
||||
@@ -33,6 +33,8 @@ Fakten, „wo steht das?“, Terminologie-Ort und Task-Routing kommen von hier.
|
||||
| Kapitelstruktur / Abschluss-Labels | [00-inhaltsverzeichnis.md](../../00-inhaltsverzeichnis.md) |
|
||||
| PDF bauen / QA | Skill `pdf-bauen` / `pdf-print` (Pipeline nur on demand) |
|
||||
| Figur erzeugen | Skill `abbildung` |
|
||||
| Prüfliste / Vollprüfung | Skill `total-check` + [Check-Kanon A–L](../../.commandcode/skills/total-check/references/pruefliste.md) |
|
||||
| 2. Auflage / Redaktionsbrief | [00-projekt/auflage-2-brief.md](00-projekt/auflage-2-brief.md) → Prompt [`prompts/auflage-2.md`](../../prompts/auflage-2.md) |
|
||||
|
||||
## Domains
|
||||
|
||||
|
||||
@@ -0,0 +1,335 @@
|
||||
# Auftrag: Zweite Auflage von „Das Hagelkorn-Problem. Die Collatz-Vermutung“ (Martin Richardt)
|
||||
|
||||
Du überarbeitest das bestehende deutschsprachige Popularisierungsbuch zur Collatz-Vermutung. Du schreibst keine neue Forschungsarbeit und erfindest keinen Beweis. Ziel ist eine straffere, besser nachschlagbare, stilistisch weniger formelhafte 2. Auflage, die den epistemischen Kern des Erstwerks bewahrt.
|
||||
|
||||
**Dieses Dokument ist in vier Schichten gebaut.** Eine KI bekommt Schicht 1 + 3 + 4 und genau **einen** Slice aus Schicht 2. Der Autor kann Schicht 2 allein als Redaktionsbrief lesen. Niemand schreibt das ganze Buch in einer Session um.
|
||||
|
||||
Stand der Erstauflage: 1. Auflage 2026, Selbstverlag, Forschungsstand August 2026, Manuskript mit generativer KI entworfen und vom Autor fachlich geprüft. Behalte diese Redlichkeit bei und mache sie nützlicher.
|
||||
|
||||
---
|
||||
|
||||
## Wie du dieses Dokument nutzt
|
||||
|
||||
| Rolle | Was laden | Was liefern |
|
||||
|-------|-----------|-------------|
|
||||
| Autor | Schicht 2 | Redaktionsentscheidungen; Struktur-Gate nur bewusst öffnen |
|
||||
| KI, ein Slice | Schicht 1 + 3 + 4 + den einen Kapitel-/Apparat-Absatz aus Schicht 2 | Änderungsmappe + Patch **einer** Datei |
|
||||
| KI, „wenig Zeit“ | Schicht 1 + Landminen-Kasten + Schicht 3 Reihenfolge | Nicht: Kap. 8–12 umbauen |
|
||||
|
||||
**Nicht tun:** das ganze Buch lesen und einen neuen Volltext zurückgeben. Das wäre ein Gesamtrewrite und ist in diesem Repo verboten, solange kein Slice das ausdrücklich verlangt.
|
||||
|
||||
---
|
||||
|
||||
## Schicht 1 — Invarianten
|
||||
|
||||
Immer voran. Nicht verhandeln.
|
||||
|
||||
**Titel:** *Das Hagelkorn-Problem* — Untertitel *Die Collatz-Vermutung*.
|
||||
**Publikum:** Laien ohne mathematische Vorbildung — neugierige Erwachsene.
|
||||
**Ton:** verlässlicher Erklärer — präzise, geduldig, ehrlich, ohne Hype.
|
||||
|
||||
1. Die Vermutung ist **unbewiesen** (Stand 2026). Beobachtung ≠ Heuristik ≠ Theorem ≠ offen. Diese Grenze nie verwischen.
|
||||
2. **fast alle ≠ alle.** Tao 2022: fast beschränkte Werte, logarithmische Dichte — nicht „fast alle landen bei 1“.
|
||||
3. **m-Zyklus = Täler / lokale Minima** (Hercher 2023). Nicht „ungerade Schritte“. Leiter nur: Steiner 1 → Simons 2005 (2) → Simons/de Weger 2005 (`m ≤ 68`) → Hercher 2023 (`m ≤ 91`). Kombination: jeder nichttriviale positive Kreis hätte **mehr als 91 Täler und** Minimum **> 2^71**.
|
||||
4. Barina: **2020 = 2^68**, **2025/26 = 2^71**. Zwischenstufen nur, wenn sie in `docs/04` stehen.
|
||||
5. Conway/FRACTRAN/Kurtz–Simon: **Familie** unentscheidbar, **Einzelregel 3n+1** offen. Nicht „Gödel ⇒ Collatz ist unbeweisbar“.
|
||||
6. Faktenkanon ist `docs/` (englisch). URLs nur in `docs/08-references.md`. Neu recherchierte Zahlen: **erst** `docs/` (mit Quelle + Datum), **dann** Manuskript. Das Manuskript ist keine Quelle für das Manuskript.
|
||||
7. Notation aus `docs/02` — verbindlich:
|
||||
|
||||
| Symbol | Bedeutung |
|
||||
|--------|-----------|
|
||||
| C | klassische Abbildung: gerade → n/2, ungerade → 3n+1 |
|
||||
| T | Shortcut-Map: gerade → n/2, ungerade → (3n+1)/2 |
|
||||
| σ | Stoppzeit: Schritte bis zum ersten Wert **unter** dem Start |
|
||||
| τ | Gesamtstoppzeit: Schritte bis 1 |
|
||||
| M | Gipfel der Bahn |
|
||||
|
||||
Jede Zahlenangabe trägt C oder T — oder sie ist zählunabhängig. **111 ist τ_C(27), niemals σ.**
|
||||
8. P0 und Welle-2-P1 der Erstauflage (`reviews/vollpruefung-2026-08-29.md`, `HANDOFF-collatz.md`) nicht neu verhandeln.
|
||||
9. Abschluss-Labels und Kapitelnummern 0–13 bleiben, **bis der Autor das Struktur-Gate öffnet**.
|
||||
10. `docs/0*.md`, `kladde.md`, `pdf/`, Pipeline: nicht ohne Auftrag. C-01 und F-00–F-13 Default **nicht regenerieren**.
|
||||
11. Fachbegriff beim **ersten Auftreten im Kapitel** erklären (Lesepfade starten nicht immer bei 0). Echo ohne Mehrwert kürzen — Definition nicht jedes Mal neu inszenieren.
|
||||
12. Analogien als Vergleichshilfe markieren. Die Floskel „Ein Bild, kein Beweis“ nicht mechanisch zählen; Reprise-Regel (unten) steuert Wiederholung.
|
||||
13. Verify nach Manuskript-Patches: `just markdownlint` · `just link-check`. PDF nur mit Auftrag. Skills: `lektorat` / `kapitel-review` / `humanizer`; Abschluss `total-check`.
|
||||
|
||||
### Landminen (auswendig)
|
||||
|
||||
```text
|
||||
τ_C(7) = 16 τ_T(7) = 11 σ_C(7) = 11 (C-Schritte bis 5)
|
||||
τ_C(27) = 111 M_C(27) = 9232
|
||||
τ_T(27) = 70 M_T(27) = 4616 σ_T(27) = 59 ← Growney
|
||||
Heuristik ≈ 6,95 · ln n gilt für τ in T-Schritten.
|
||||
6,95 · ln 27 ≈ 23 vergleicht mit τ_T(27) = 70, nicht mit 111.
|
||||
```
|
||||
|
||||
`σ_C(7)` und `τ_T(7)` sind beide 11 — immer die Uhr mitschreiben.
|
||||
|
||||
---
|
||||
|
||||
## Schicht 2 — Redaktionsbrief
|
||||
|
||||
Sprache: Deutsch, gleiche Anrede wie im Buch. Kein Marketingdeutsch. Kein Wissenschaftsimitat.
|
||||
|
||||
### 1. Was unbedingt bleiben muss
|
||||
|
||||
Behalte und schärfe:
|
||||
|
||||
- Die Leitunterscheidung „fast alle ≠ alle“.
|
||||
- Die klare Etikettierung am Kapitelende (Beobachtung / Theorem / Heuristik / offen). Form der Kästen: siehe Stilregeln; Labels selbst nur mit Struktur-Gate ändern.
|
||||
- Die historischen Kapitel zur Wanderung des Problems (Collatz 1932/1937 unveröffentlicht, Hasse, Kakutani, Coxeter, Gardner, Brief 1980).
|
||||
- Das Random-Parity-Modell **auf T**: geometrisches Mittel √(3/4) ≈ 0,866 und Drift ½ log(3/4).
|
||||
- Barina-Verifikation bis 2^71 als Beobachtung, nicht als Beweis.
|
||||
- Terras 1976 / Everett 1977 (natürliche Dichte, endliche **Stoppzeit** σ), Allouche 1979, Korec θ > log 3 / log 4 ≈ 0,7925, Tao 2022 (Preprint 2019; logarithmische Dichte, almost bounded).
|
||||
- Hercher: keine nichttrivialen m-Zyklen mit m ≤ 91 Tälern.
|
||||
- Conway/FRACTRAN/Kurtz–Simon: Familie unentscheidbar, Einzelregel offen.
|
||||
- Opfer 2011 als Modell seriöser Selbstkorrektur (Lücke: Covering-Claim, alle geraden `2n ≥ 6` genau einmal; Korrektur de Weger 2011).
|
||||
- Lean-Kernel-Vorfall 25.–28. Juli 2026, Issue #14576 (nested inductives), Fix PR #14577. Frontend hätte den Fehler normalerweise gefangen; Exploit über Metaprogrammierung. Nicht als „Lean ist unsicher“ erzählen, sondern: Gütesiegel ≠ Ende der Prüfung. Im Laienkapitel darf die PR-Nummer fehlen; in `docs/` steht sie.
|
||||
- Das Nachwort ohne Nutzenkitsch.
|
||||
|
||||
Ton: nüchtern, neugierig, nicht missionarisch. Keine Heldengeschichte, kein „die Mathematik ist nicht bereit“ als Mystik. Erdős’ Satz als Gesprächseinschätzung (Lagarias), nicht als Orakel.
|
||||
|
||||
Preise weiter als Überlieferung bei Lagarias 1985/2010: Coxeter $50, Erdős $500, Thwaites £1000. **Kakutani stiftet keinen Preis** — Popularisierung und Anekdote.
|
||||
|
||||
### 2. Hauptfehler der Erstauflage, die du beheben musst
|
||||
|
||||
#### A. Wiederholung als Kompositionsprinzip
|
||||
|
||||
Dieselbe Pointe wird zu oft neu bebildert: Fernglas, Flutmarke, trockener Stein, Familie ≠ Einzelregel, Verifikation ≠ Beweis.
|
||||
|
||||
Regel:
|
||||
|
||||
- Jede Kernpointe darf **ausführlich nur einmal** stehen (Kanon-Ort).
|
||||
- Später nur Kurzrückverweis („siehe Kap. 3“), keine Neuinszenierung.
|
||||
- Analogien bleiben markierte Vergleichshilfen. Die wörtliche Floskel „Ein Bild, kein Beweis“ nicht in jedem Kapitelanfang neu aufziehen; wo sie steht, soll sie eine **neue** Grenze tragen, sonst ersetzen: „Das zeigt die Erwartung, nicht die einzelne Bahn.“
|
||||
- Kapitelendkästen kürzer. Schema „Was feststeht / Der Satz, der bleibt“ nicht in jedem Kapitel identisch bauen — **Inhalt** der Labels bleibt (Blick zurück, Erkenntnis, …), **Länge und Satzbau** variieren: mal Kasten, mal fünf Zeilen Fazit, mal Tabelle. Labels umbenennen nur mit Struktur-Gate.
|
||||
|
||||
#### B. Zählweisen vermischen
|
||||
|
||||
Die Erstauflage rechnet „meist klassisch“ (C), stützt die Heuristik 6,95 · ln n aber auf die Shortcut-Map T. `docs/05` leitet die Formel aus T-Schritten ab und prüft sie gegen `τ_C(27) = 111`. Das ist der Mix. Kap. 3 sagt „111 vs. ≈ 23, fast das Fünffache“ — das vergleicht zwei Uhren.
|
||||
|
||||
Fix:
|
||||
|
||||
- In Kap. 2 eine verbindliche Notationstabelle (C, T, σ, τ, M) mit Mini-Beispiel 7 (siehe Landminen-Kasten).
|
||||
- Jede Zahlenangabe trägt das Label C oder T.
|
||||
- Die Formel ≈ 6,95 ln n gilt für **τ in T-Schritten**. Für τ_C keine erfundene Konstante. Ausdrücklich: τ_C ist größer, weil erzwungene Halbierungen extra zählen.
|
||||
- Beispiel 27 immer als Paar, wenn beide Uhren im Spiel sind: τ_C(27) = 111, M_C = 9232; τ_T(27) = 70, M_T = 4616; σ_T(27) = 59 (Growney).
|
||||
- Growney bleibt im Nachwort, mit Uhr-Hinweis (steht in der Erstauflage schon richtig).
|
||||
|
||||
#### C. Fehlendes Apparat
|
||||
|
||||
ToC plant bereits A/B/C. Ergänze sie als Manuskript-Dateien, nicht als Parallelapparat. Register ist **ToC-Entscheidung** (neuer Anhang D), nicht still mitliefern.
|
||||
|
||||
1. **Anhang B — kommentiertes Literaturverzeichnis** (Grundlage `docs/08`, URLs nur dort).
|
||||
Pflichtkerne:
|
||||
- Lagarias 1985, Lagarias 2010 (der Einstieg)
|
||||
- Terras 1976, Everett 1977, Allouche 1979, Korec 1994
|
||||
- Tao 2022 (Preprint 2019)
|
||||
- Conway 1972, Conway 1987 (FRACTRAN), Kurtz–Simon 2007
|
||||
- Steiner 1977, Simons–de Weger 2005, Hercher 2023
|
||||
- Barina 2020 (**2^68**) und Barina 2025 (**2^71**)
|
||||
- Roosendaal (Rekorddatenbank; URL in `docs/08`; Abrufdatum nur nach Eintrag in `docs/08`)
|
||||
- Opfer 2011, de Weger 2011
|
||||
- Guy 1983
|
||||
- Nachbarn aus **`docs/07` §7.5** (nicht `docs/10`): Oliveira e Silva 2014; Zhang/Maynard/Polymath8b; Platt–Trudgian 2021; Ochem–Rao 2012 plus jüngere Schranken **nur falls in `docs/`**; Radó 1962; bbchallenge 2024
|
||||
2. **Anhang A — Glossar** (ToC-Spec).
|
||||
3. **Anhang C — berühmte Startwerte** (ToC-Spec; τ/M mit C/T-Label).
|
||||
4. **Register** (Personen + Sache): nur wenn das ToC es aufnimmt.
|
||||
5. Lesepfade im ToC um drei Profile erweitern, **nicht** eine zweite „Weiterlesen“-Seite erfinden: Laie, Student, Fachkraft.
|
||||
6. Abbildungsverzeichnis: Specs in `abbildungen.md`; Hinweis: konzeptionell, nicht schematisch. Caption + eine Zeile „Was sie nicht zeigt“.
|
||||
|
||||
#### D. Leichte Sachunschärfen nachziehen
|
||||
|
||||
Prüfe gegen Primärquellen **und** gegen `docs/`, nicht gegen das Erstmanuskript allein.
|
||||
|
||||
- Simons/de Weger: In der Erstauflage „68 Täler“. Das **stimmt** mit `docs/03` überein. Nicht auf „m ≥ 76“ „korrigieren“. Zwischenstufen nur mit Quelle in `docs/03`.
|
||||
- Goldbach 4×10^18 (Oliveira e Silva 2014), Riemann-Nullstellen (Platt–Trudgian 2021), ungerade vollkommene Zahlen (Ochem–Rao 10^1500): Default = Kanon in `docs/07` §7.5. Höheren Stand nur nach Update von `docs/` + Datum.
|
||||
- Busy Beaver: S(5) = 47.176.870 nur mit bbchallenge + Formalisierung. S(6) offen. Keine populären Rekordtürme ohne Quelle.
|
||||
- Lean #14576: siehe Invarianten.
|
||||
- Wenn unsicher: lieber „überliefert bei Lagarias 1985/2010“ als scheingenau.
|
||||
|
||||
### 3. Bucharchitektur
|
||||
|
||||
**Default:** Kapitel 0–13 und die Labels in `00-inhaltsverzeichnis.md` bleiben. Mapping 0–9 ist inhaltlich schon die gewünschte Reihenfolge.
|
||||
|
||||
**Struktur-Gate** (nur wenn der Autor ausdrücklich sagt „Struktur-Gate öffnen“):
|
||||
|
||||
Vorschlag, gleicher Stoff, weniger Echo:
|
||||
|
||||
0. Vorspiel: Nimm eine Zahl
|
||||
1. Geschichte und Namen
|
||||
2. Regel, Notation, negative Kreise, Rückwärtsbaum
|
||||
3. Heuristik (Münzwurf, Drift, 6,95 ln n für τ unter T)
|
||||
4. Drei Weisen, falsch zu sein + Labor 5n+1 (Zyklenzäune **bleiben** hier — sie tragen Gespenst 1)
|
||||
5. Was bewiesen ist: Stoppzeit, Dichten (Zyklenzäune nicht hierher ziehen, außer das Gate das extra verlangt)
|
||||
6. Was gerechnet ist: Barina, Rekorde, was Verifikation nicht ist
|
||||
7. Tao und die Lücke bis „alle“
|
||||
8. Werkzeuge und warum sie hängen bleiben (kräftig kürzen)
|
||||
9. Kartierung der Fehlversuche (Opfer, typische Brüche, Lean 2026)
|
||||
10. Collatz unter Nachbarn + Unentscheidbarkeit (zwei Erstauflage-Kapitel zu einem)
|
||||
11. Nachwort: Was ein Beweis wert wäre
|
||||
|
||||
Hinter dem Gate: Kap. 10 der Erstauflage („Gelöste Riesen“) auf höchstens 3 Seiten im Nachwort. Moral: oft fehlt das Feld, nicht der Fleiß. Fermat/Poincaré/Vier Farben tragen wenig Collatz-spezifisches.
|
||||
|
||||
Ohne Gate: Kap. 10 kürzen, nicht schlucken; Kap. 11 und 12 getrennt lassen; Echo zwischen ihnen streichen.
|
||||
|
||||
Zielumfang Fließtext: etwa 20 Prozent kürzer als die Erstauflage, Apparat zusätzlich. Das ist ein Buchziel, kein Soll pro Kapitel.
|
||||
|
||||
### 4. Stilregeln
|
||||
|
||||
- Eine Leitmetapher pro Kapitel (ToC-Haushalt). Hagelkorn darf das Leitbild des Buchs bleiben. Fernglas nur in Kap. 6. Korallenbaum in Kap. 2 und kurz am Ende. Flutmarke nur in Kap. 7 (F-07; F-05 ist Kartierungsbeginn).
|
||||
- Keine Dreierfiguren im Autopilot („erstens, zweitens, drittens“ nur wenn die Sache dreiteilig ist).
|
||||
- Kurze Sätze dürfen bleiben; brich die KI-Textur aus parallelen Absätzen und identischen Schlussformeln.
|
||||
- Du-Anrede darf bleiben, aber nicht leutselig werden; „man“ wo „Du“ tonal nicht passt.
|
||||
- Keine **neuen** xkcd-Zitate. 710 (Vorspiel) und 356 (Kap. 9) haben verschiedene Funktionen; keines streichen, nur weil „eines genügt“.
|
||||
- Keine Scheingenauigkeit („rund 590-fach höher“) beim Vergleich unvergleichbarer Prüfgrenzen (Collatz-Startwerte vs. Goldbach-gerade Zahlen). Wenn vergleichen, dann die Logik des Vergleichs in einem Satz erklären.
|
||||
|
||||
Satztechnik:
|
||||
|
||||
- Formeln in KaTeX-ähnlicher Klartextform oder sauberem Unicode, konsistent, umgangssprachlich aufgelöst.
|
||||
- Tabellen für Rekorde, Verifikationsmeilensteine, Nachbarn, Zählweisen.
|
||||
- Weniger Infografik-Prosa, mehr eine gute Tabelle.
|
||||
|
||||
Schreibkonventionen: `.commandcode/rules/schreibkonventionen.md`. Wo dieser Brief und die Konventionen streiten, gelten die Konventionen — außer der Slice ändert die Konvention ausdrücklich (Meta-Auftrag).
|
||||
|
||||
### 5. Inhaltliche Verbesserungen nach Kapitel
|
||||
|
||||
Default-Nummerierung der Erstauflage.
|
||||
|
||||
**Vorspiel (0).** Behalte 7 und 27. Ergänze eine Mini-Box „Zwei Uhren“: C vs. T, bevor der Leser Kap. 3 erreicht — ohne σ und τ zu verwechseln. Vorgriff auf die Vermutung behalten, Schlussabsatz kürzen.
|
||||
|
||||
**Geschichte (1).** Redlichkeit zur Quellenarmut. Zeittafel 1932–2026 als Tabelle (F-01 ist schon eine Wander-Zeitleiste; nicht doppelt erfinden). Ein Satz, warum Priorität uneindeutig bleibt: die Regel ist kurz genug für Mehrfachentdeckung. Thwaites ohne Jahreszahl (ToC/Manuskript bewusst).
|
||||
|
||||
**Regel (2).** Notationstabelle. Negative Kreise mit Mitgliedern aus `docs/06`: {−1, −2}; 5er {−5, −14, −7, −20, −10}; 18er ab −17. Dieselbe Regel, anderes Vorzeichen, schon andere Attraktoren — deshalb ist „immer bei 1“ keine Selbstverständlichkeit. Rückwärtsbaum: Primärform `m ≡ 4 (mod 6)`, äquivalent „(m−1)/3 ungerade natürliche Zahl“. Dann die Überdeckungsformulierung der Vermutung.
|
||||
|
||||
**Heuristik (3).** Münzwurf ehrlicher: Nach Entfernen erzwungener Halbierungen tut das Modell so, als wären die verbleibenden Paritäten i.i.d. fair. Das ist unbeweisen und wegen 3n+1 verdächtig. Trotzdem ordnet es Erwartungen. Zwei Checks: Zweierpotenzen zu schnell, 27 zu langsam — **in T-Zählung** (70 vs. ≈ 23). Warnzeile: Aus dem mittleren Faktor 0,866 folgt kein Satz über eine konkrete Startzahl.
|
||||
|
||||
**Gespenster (4).** Drittes Gespenst weiter als Scheinalternative. 5n+1: Kreise **durch** 13 und 17 (je 10 Elemente, `docs/06`) nachrechnen lassen; Divergenz von 7 als beobachtet-unbewiesen. Zyklenleiter 1 → 2 → 68 → 91 Täler. Kombination Hercher + Barina: > 91 Täler **und** Minimum > 2^71.
|
||||
|
||||
**Erste Sätze (5).** Terras an einem Mini-Beispiel modulo 8 erklären, nicht nur erzählen. Natürliche Dichte in einem Satz: Anteil bis X geht gegen 1. Sofort: Dichte 0 kann unendlich sein. Conway hier nur ankündigen, Details in Kap. 12. Nicht dreimal erzählen.
|
||||
|
||||
**Rechenstand (6).** Tabelle nur der **kanonischen** Barina-Meilensteine: 2^68 (2020), 2^71 (2025/26). Zwei Spartricks in je einem Absatz: Abstieg unter den Start + Restklassen/Siebe. Trennen: Verifikation = lückenlos bis N; Path records / τ-Rekorde = einzelne Bahnen, auch jenseits von N. Barina ist HPC und Algorithmik, nicht der Normalweg der formalen Beweisassistenten.
|
||||
|
||||
**Tao (7).** Leiter Terras → Allouche → Korec → Tao. Logarithmische Dichte: Gewicht 1/n, kleine Zahlen schwer, große leicht — warum das zur multiplikativen Regel passt. Nicht die Flutmarke ein zweites Mal taufen. Zwei Grenzen unmissverständlich: (1) die Schranke muss wachsen; eine feste Schranke wäre beinahe die Vermutung. (2) Das Argument lässt sich nicht beliebig nach unten iterieren. Die Formel „so nah, wie Statistik reichen kann“ höchstens **einmal** im Buch.
|
||||
|
||||
**Werkzeuge (8).** Kürzen, nicht umbauen. Pro Werkzeug: was es übersetzt; ein Satz, den es trägt oder verbaut; wo es an den positiven ganzen Zahlen scheitert. FRACTRAN: PRIMEGAME nur, wenn du die 14 Brüche nicht vortäuschst. Ein Satz reicht. 2-adisch: T wird zur Shift-Map auf Paritätsfolgen; ℤ₊ hat Maß null in ℤ₂. Mehr nicht, außer es geht ohne Jargon.
|
||||
|
||||
**Fehlversuche (9).** Drei Bruchstellen behalten. Mini-Gegenbeispiel in Prosa: Dichte 0 → Quadratzahlen; Heuristik als Satz → „praktisch unmöglich“ ≠ unmöglich; Stichprobe → Zweierpotenzen zerstören jedes aus 200 Bahnen gelesene Muster. Opfer 2011: eine Aussage, eine Lücke, eine Korrektur. Lean 2026: kurz, technisch korrekt, ohne Skandalton. Memekultur und ChatGPT-Genre höchstens eine halbe Seite.
|
||||
|
||||
**Gelöste Riesen (10).** Ohne Gate: straffen, Moral behalten. Mit Gate: schlucken (siehe §3).
|
||||
|
||||
**Nachbarn (11) + Unentscheidbarkeit (12).** Ohne Gate getrennt; Echo streichen. Stoff, der in **einem** Kapitel (hinter dem Gate) so sortiert würde:
|
||||
|
||||
Drei Typen: (1) große Prüfgrenze, kein Beweis (Goldbach, Riemann, Collatz-Verifikation); (2) Theorie-Leiter oder Zaun (Zwillinge 246, ungerade vollkommene Zahlen); (3) bewiesene Unentscheidbarkeit der Frage selbst (Busy Beaver S(n) als Funktion; nicht S(5)).
|
||||
|
||||
Dann der feine Unterschied: algorithmisch unentscheidbar für eine Familie (Conway); unabhängig von ZFC (Kontinuumshypothese); offen in PA/ZFC ohne Statusbeweis (Collatz). Fehlschluss „Gödel ⇒ Collatz ist unbeweisbar“ verbieten.
|
||||
|
||||
**Nachwort (13).** Alltagswert nahe null; Wert läge in neuen Werkzeugen; drei mögliche Ausgänge (Wahrheit / zweiter Kreis / Divergenz). Forschungsstand nicht wiederholen — auf Kästen verweisen. Growney mit Uhr-Hinweis behalten.
|
||||
|
||||
### 6. Abbildungen
|
||||
|
||||
Specs: `abbildungen.md`. Default: F-00–F-13 und C-01 **nicht regenerieren**. Jede Abbildung muss eine Zahl, eine Struktur oder einen Vergleich tragen, den der Text allein schlechter zeigt.
|
||||
|
||||
Pflichtinhalte (können bestehende F-IDs erfüllen):
|
||||
|
||||
1. Bahn von 27 in **C-Zählung**, Gipfel markiert, Kreis 1-4-2 (F-00)
|
||||
2. Rückwärtsbaum / Koralle mit Verdopplung und (m−1)/3-Ast (F-02)
|
||||
3. Zeittafel 1932–2026 (F-01)
|
||||
4. Drift-Skizze: log(3/2) vs. log(1/2) (F-03)
|
||||
5. Verifikationsgrenze als Zahlenstrahl, explizit „nicht Beweis“ (F-06)
|
||||
6. Leiter der almost-all-Sätze (F-05 Kartierungsbeginn, F-07 Flutmarke — nicht verwechseln)
|
||||
7. Tabelle der Nachbarn (eher Tabelle im Text als neue Figur)
|
||||
|
||||
Jede Abbildung: Caption auf Deutsch + eine Zeile „Was sie nicht zeigt“. Keine englischen Label in Captions, außer Fachbegriffen wie *stopping time* beim ersten Auftreten. Neue Figur nur: Spec in `abbildungen.md` → eine Datei → multimodal QA. Kein Brief-Faksimile, kein xkcd-Nachbau.
|
||||
|
||||
### 7. Was du nicht tun darfst
|
||||
|
||||
- Keinen neuen „Beweis“, keine „Lösungsskizze“, keine Originaltheorie.
|
||||
- Heuristik nicht zu Wahrscheinlichkeitssätzen über einzelne Bahnen aufblasen.
|
||||
- Computergrenzen nicht als moralischen Fortschritt erzählen.
|
||||
- Keine politischen, weltanschaulichen oder KI-kulturkämpferischen Exkurse.
|
||||
- Den KI-Hinweis im Impressum nicht streichen. Ergänze, welche Teile menschlich gegen Fachquellen geprüft wurden; Auflagenzeile auf 2. Auflage setzen (nur im Formalia-Slice).
|
||||
- Keine langen wörtlichen Übernahmen aus Lagarias, Tao, Wikipedia, xkcd. Zitieren, paraphrasieren, belegen.
|
||||
- Keine Barina-Zwischenmeilensteine, keine m ≥ 76, kein Kakutani-Preis, kein σ(27) = 111.
|
||||
- Kap. 10–12 nicht fusionieren oder schlucken, ohne dass das Struktur-Gate offen ist.
|
||||
|
||||
---
|
||||
|
||||
## Schicht 3 — Slice-Vertrag
|
||||
|
||||
Eine Session = ein Slice. Writer **pro Datei**.
|
||||
|
||||
### Pflichtlese-Set (nicht das ganze Buch)
|
||||
|
||||
1. Diese Datei: Schicht 1 + 4 + der eine Absatz aus Schicht 2
|
||||
2. `AGENTS.md` (immer geladen)
|
||||
3. ToC-Eintrag des Kapitels in `00-inhaltsverzeichnis.md`
|
||||
4. Die eine `NN-*.md` (oder die eine Anhang-Datei)
|
||||
5. Die in der ToC-Zeile genannte `docs/0*.md`-Stelle
|
||||
6. `.commandcode/rules/schreibkonventionen.md` (Terminologie-Tabelle)
|
||||
|
||||
Nicht laden: den ganzen KB-Tree, `kladde.md`, andere Kapitel „zur Inspiration“.
|
||||
|
||||
### Delivery je Slice
|
||||
|
||||
1. **Änderungsmappe** für diese Datei: streichen / kürzen / ergänzen / belassen — Begründung in einem Satz.
|
||||
2. **Patch** nur dieser Datei (plus unvermeidbare Querverweis-Zeile in einer zweiten, wenn der Slice das nennt).
|
||||
3. **Teach-back:** Ziel, DoD, eine Invariante.
|
||||
4. Verify: `just markdownlint` · `just link-check` · `git diff --name-only` = Slice-Scope.
|
||||
|
||||
Autor-Notiz „Was in der 2. Auflage anders ist“ (max. 1 Seite) entsteht **am Ende** der Auflage, nicht in jedem Slice.
|
||||
|
||||
### Reihenfolge, wenn die 2. Auflage startet
|
||||
|
||||
Die 1. Auflage zuerst einfrieren (Commit), sonst mischt der Working Tree zwei Auflagen.
|
||||
|
||||
Dann, nur mit Auftrag:
|
||||
|
||||
1. Kap. 2 Notationstabelle + Kap. 3 Heuristik-Uhr (härtester Sach-Fix; zwei Dateien, zwei Writer oder ein Slice „Zählung“)
|
||||
2. Echo-Pass: Conway nicht dreimal (Kap. 5 ankündigen, Kap. 8 Werkzeug, Kap. 12 Horizont — zwei davon auf Verweis kürzen)
|
||||
3. Anhang B aus `docs/08` (Assembler-Aufnahme extra)
|
||||
4. Anhang A + C laut ToC; Register nur nach ToC-Entscheidung
|
||||
5. Rest-Lektorat der bekannten P1 aus `reviews/vollpruefung-2026-08-29.md` §6
|
||||
6. Struktur-Gate nur auf expliziten Autor-Auftrag
|
||||
7. Formalia: Impressum 2. Auflage, KI-Hinweis präzisieren, ISBN extra
|
||||
|
||||
### Copy-Block für eine KI-Session
|
||||
|
||||
```text
|
||||
Lies prompts/auflage-2.md Schicht 1, 3, 4.
|
||||
Slice: [DATEI]. Nur diese Datei patchen.
|
||||
Redaktionsziel: [ein Absatz aus Schicht 2].
|
||||
Invariante: ungelöst bleibt ungelöst. 111 = τ_C(27), nicht σ.
|
||||
Keine Kapitelumstellung. docs/0*.md nicht anfassen.
|
||||
Delivery: Änderungsmappe + Patch + Teach-back.
|
||||
Verify: just markdownlint · just link-check · git diff --name-only.
|
||||
```
|
||||
|
||||
---
|
||||
|
||||
## Schicht 4 — Qualitätsprüfung
|
||||
|
||||
Vor Abgabe eines Slices:
|
||||
|
||||
- [ ] Jede **neue oder geänderte** Zahlenangabe hat C/T-Label oder ist zählunabhängig.
|
||||
- [ ] 111, 70, 59, 9232, 4616 tragen die richtige Uhr (Landminen-Kasten).
|
||||
- [ ] `σ_C(7) = 11` ist nicht mit `τ_T(7) = 11` verwechselt.
|
||||
- [ ] Zentrale Aussage trägt eines der Etiketten Beobachtung / Heuristik / Theorem / offen — oder verweist auf den Kanon-Ort, der sie trägt.
|
||||
- [ ] Keine Kernpointe in diesem Slice neu ausführlich erzählt, wenn der Kanon-Ort woanders liegt.
|
||||
- [ ] Barina nur 2^68 (2020) und 2^71 (2025/26), solange `docs/04` nichts weiter hat.
|
||||
- [ ] m-Leiter 1 → 2 → 68 → 91 Täler; kein m ≥ 76.
|
||||
- [ ] Tao = almost bounded, log-Dichte; nicht „fast alle → 1“.
|
||||
- [ ] 5n+1-Kreise gegen `docs/06` gehalten (durch 13 bzw. 17, je 10 Elemente).
|
||||
- [ ] Kein Vergleich von Prüfgrenzen ohne Satz, was verglichen wird.
|
||||
- [ ] Kein Kakutani-Preis. Kein neuer xkcd. Kein regeneriertes F-0x ohne Auftrag.
|
||||
- [ ] `git diff --name-only` = Slice-Scope.
|
||||
- [ ] `just markdownlint` und `just link-check` grün.
|
||||
|
||||
Lesetest (Buchziel, nicht jedes Slice): Ein Laie versteht Kap. 0–4 ohne Vorwissen. Ein Student kann nach Kap. 7 sagen, warum Tao die Vermutung nicht beweist.
|
||||
|
||||
---
|
||||
|
||||
## Pflichtkerne der kommentierten Literatur (für Anhang-B-Slice)
|
||||
|
||||
Quellen und URLs: `docs/08-references.md`. Nachbarn: `docs/07` §7.5. Gelöste Riesen zum Vergleich: `docs/10-comparisons.md` — das ist **nicht** der Ort für Goldbach/Riemann/BB.
|
||||
|
||||
Wenn eine Zahl in diesem Prompt und in `docs/` streitet, gilt `docs/`.
|
||||
Reference in new issue
Block a user