Skip to content

v0.5.2

Choose a tag to compare

View all tags
@github-actions github-actions released this 21 Jun 16:01
· 42 commits to main since this release
v0.5.2
e6f7401

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
Assets 5
Loading