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