v0.8.0-alpha.2

What's Changed

🧰 Wartung & Dependencies

• chore(deps): bump js-yaml from 4.2.0 to 4.3.0 in /tests/e2e by @dependabot[bot] in #58

Sonstiges

• fix: support EIDOS reverse-proxy subpaths by @Koschnag in #59

Full Changelog: v0.8.0-alpha.1...v0.8.0-alpha.2

v0.8.0-alpha.1

What's Changed

Sonstiges

• feat: model EIDOS evolution architecture by @Koschnag in #56
• feat: deliver EIDOS ZT2 alpha kernel by @Koschnag in #57

Full Changelog: v0.7.0...v0.8.0-alpha.1

v0.7.0 — Hard Gate + IDE Demo

Hartes Grün-Gate + öffentliche IDE-Demo.

Highlight: das fälschungssichere Gate ist echt

Cdd.Core.Gate setzt einen Test-Knoten nur noch Aligned, wenn ein Marker ihn abdeckt und ein echter dotnet test-Lauf grün ist — nicht mehr bei bloßer Marker-Präsenz. Ein failwith-TODO-Skelett trägt den Marker, läuft aber rot und bleibt Pending. Zwei FsCheck-Properties beweisen: ein nicht-grüner Lauf macht einen Knoten nie Aligned. Schließt die offene Pending-Spec spec-gate-selbst-hart. 42/42 Tests.

Neu zum Ausprobieren (öffentlich, kein Login)

• IDE im Browser: https://koschnag.github.io/cong-driven-development/ide/ — die echte Cong-OS-Oberfläche mit realem Self-Modell (66 Knoten), read-only.
• Interaktive Gate-Demo: /demo.html · Flagship-Präsentation: /praesentation.html
• Für Entscheider: /fuer-entscheider.html (Pitch, Brief, Quick Guide)

Aufräumen

Zahlen vereinheitlicht (37→42, Paper neu kompiliert), onboarding/talk archiviert.

docker run -d -p 8080:8080 -v /srv/cdd/data:/data ghcr.io/koschnag/cdd:v0.7.0

v0.6.0

Stärkere Evidenz — zweiter maschineller Beweis, konsistente Zahlen.

Neu

• Zweiter Lean-Invariant: Nichtnegativität. proofs/Werterhaltung.lean beweist jetzt sorry-frei sowohl Werterhaltung als auch Nichtnegativität (kein Konto wird je negativ, über jede Buchungsfolge). #print axioms für beide: nur propext, Quot.sound. Auf Lean 4.31.0 (CI-Toolchain) verifiziert. Die Drei-Schichten-Kette Typen→Property→Beweis ist damit für zwei Invarianten geschlossen, nicht mehr nur einen.
• ledger 6/6 (vorher 5/5): In-Suite-Diskriminierungstest (der naive Gebühren-Entwurf verliert beweisbar Wert, der korrekte erhält ihn) + geweitete Generatoren, die den Ablehnungs-/Nichtnegativitätspfad real auslösen.

Korrektheit

• derive-tests-Bug: veraltete Test-Namen bei umsortierten Kriterien werden jetzt korrigiert statt blind übersprungen (+ Regressionstest). CDD 37/37.
• Zahlen über Paper (neu kompiliert, 19 S.), Whitepaper, Talk, Onboarding, Blog, Landing konsistent; ledger-Verweise auf den belegenden Commit re-ankert.

docker run -d -p 8080:8080 -v /srv/cdd/data:/data ghcr.io/koschnag/cdd:v0.6.0

v0.5.2

Zweite Adversarial-Iteration — Korrektheit über Politur.

Korrektheit (kritisch)

• Overclaim entfernt. Paper/Whitepaper/Talk/COCKPIT/GEGENENTWURF/Blog/Landing behaupteten, SetzeSpecAligned setze Aligned „nur bei echtem grünem dotnet-test". Die Funktion prüft Marker-Präsenz im Testcode; Greenness ist ein System-Invariant (grüne CI-Suite blockt rote Merges + reflexiver Selbst-Test). Überall korrekt attribuiert (Paper neu kompiliert, weiterhin 19 S.).
• Windows-Bug: scanTestMarkers filterte /obj//bin/ nicht bei Backslash-Pfaden → konnte Aligned aus Build-Artefakten setzen. Behoben (Separator-Normalisierung).
• CLI: unbekanntes Argument exitete still mit 0 → jetzt 1 (CI-Korrektheit).

Aufräumen

• Toter Link docs/GEGENENTWURF-POST.md → GEGENENTWURF.md (README + COCKPIT).
• Stale v0.4.0 → v0.5.2; Falsifiable, after N → after 4.

36/36 Tests grün, Build warnungsfrei.

docker run -d -p 8080:8080 -v /srv/cdd/data:/data ghcr.io/koschnag/cdd:v0.5.2

v0.5.1

Patch nach kritischem Review — Korrektheit & Konsistenz.

Fixes

• SetzeSpecAligned ist jetzt echte API. Das Konvergenz-Orakel war in Paper/Whitepaper/Talk/COCKPIT namentlich dokumentiert, existierte aber nicht als Symbol — die Logik lag unbenannt in Sync.syncTests. Jetzt: Cdd.Core.Sync.SetzeSpecAligned, verhaltensidentisch, 36/36 grün.
• Homelab: bcrypt-Hash wurde durch Compose-${..}-Interpolation zerlegt → Umstellung auf env_file (literal); Ports 80+443 für Let's-Encrypt/ACME statt nur 443. Siehe docs/homelab.md.
• Landing: Dev-Zielgruppe (Code-Pointer statt Reviewer-Checkliste), Cockpit/Chat-Loop ehrlich als experimentell markiert, Formatierung.

→ Website: https://koschnag.github.io/cong-driven-development/

docker run -d -p 8080:8080 -v /srv/cdd/data:/data ghcr.io/koschnag/cdd:v0.5.1

Erprobter Kern: CLI + MCP + Konvergenz-Orakel. Preprint, nicht peer-reviewed.

v0.5.0 — Launch

Das Terminierungs-Orakel — Review wird Konvergenz gegen eine externalisierte, getypte Spezifikation. Generator und Prüf-Orakel architektonisch getrennt.

→ Website & Idee: https://koschnag.github.io/cong-driven-development/
→ Der Beitrag (5 Min): https://koschnag.github.io/cong-driven-development/blog.html

Neu in diesem Launch-Release

• Öffentliche Landing-Page mit OG-Link-Vorschau
• Homelab-Deployment: docker-compose.yml + Caddy-Reverse-Proxy (Basic-Auth) + Anleitung — CDD im eigenen Homelab wie ein Cloud-Programm
• Version durchgängig auf 0.5.0 (CLI, Cockpit, MCP, Container)

Starten

# Container (Cockpit auf :8080, SPOT persistent)
docker run -d -p 8080:8080 -v /srv/cdd/data:/data ghcr.io/koschnag/cdd:v0.5.0

# Oder self-contained Binary (kein .NET nötig) — Assets unten

Belege (CI-grün, reproduzierbar)

• cong-driven-development 36/36 · runenruf 46/46 · ledger-casestudy 5/5 + sorry-freier Lean-Beweis

Preprint, nicht peer-reviewed. Das Cockpit hat keine eingebaute Auth — im Homelab hinter Reverse-Proxy/SSO betreiben.