Nachpruefung der Fixwelle, drei Punkte:
test_gehweg_waechst_auch_bei_engem_winkel_nicht_in_die_gasse
(test_street.py) besteht identisch (0,0000 m²) unter dem aktuellen Code,
unter der verworfenen Fassung aus Fixrunde 4 und sogar unter einem
komplett ungefilterten walk_source = carriageway_area(graph) - nachgerechnet
mit einer Wegwerf-Kopie aller drei Varianten. Ursache: SECTION["gasse"].corridor
== SECTION["gasse"].carriageway, weshalb .difference(carriage) am Ende von
_sidewalk() den geprueften Streifen (die eigene Gassen-Fahrbahn) immer
loescht, unabhaengig davon, was _walk_source() liefert. Die Eigenschaft
selbst bleibt durch die drei benachbarten Tests
(test_gasse_bekommt_weder_gehweg_noch_bordstein,
test_gehweg_waechst_nicht_ueber_den_gassenstummel_an_geteilter_kreuzung,
test_gehwegrest_an_kreuzung_mit_mehreren_gassen_bleibt_aus) abgesichert,
die gegen dieselbe verworfene Fassung mit 53,11 bzw. 53,30 m² hart
durchfallen. Ein Test, der nicht fehlschlagen kann, taeuscht Deckung vor,
die es nicht gibt - entfernt statt umdimensioniert, weil eine Geometrie
mit nur einem Gassenarm die eigentliche Fixrunde-4-Nische (zwischen ZWEI
benachbarten Gassenstummeln) strukturell nie nachstellen kann.
test_schleife_die_auf_sich_selbst_zurueckfuehrt_bekommt_keine_markierung_daneben
(test_marking_junction.py) galt in der Nachpruefung ebenfalls als
unterscheidungslos (100% Fahrbahnanteil auch mit altem Code). Mit den
byte-genauen historischen Fassungen von junction_marks() (git show
4bf670e / ca01141) direkt in die bestehende Testfunktion eingesetzt
(Monkeypatch) zeigt sich das Gegenteil: Beide Vorstufen schlagen rot an
(schlechtester Anteil 64,9% bzw. 85,3%, an Haltelinie und aeusserstem
Zebrabalken), nur der aktuelle Code besteht. Der Test bleibt unveraendert,
mit einem Kommentar zur Gegenpruefung.
Neu: test_alle_flaechenschichten_sind_gueltige_polygone
(test_committed_roads.py) - Waechter aus Befund 5 (die alte
Koordinatenrundung erzeugte acht Selbstschnitte, ohne dass ein Test es
merkte). Prueft ueber alle 144 Chunks und alle sieben Flaechenschichten
(carriageway, land, sidewalk, surfaces, lots, bridges, paths), dass jeder
Ring ein gueltiges Polygon ergibt. Heute gruen (4.190 Flaechen, 0
ungueltige); rot nachgewiesen gegen den Datenstand vor Commit a397892
(9 ungueltige Polygone in 6 Chunks, per git show ohne Codeaenderung
nachgestellt).
Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
Befund 9: Nach dem Pipeline-Lauf mit den Befunden 3-8 geänderte Zahlen in
test_committed_roads.py eingetragen (Restflächen 169 statt 171,
Markierungsstücke haltelinie 1.555/zebra 14.846 statt 1.553/14.832,
Flächen Gehweg 0,2987/Restflächen 0,0967 statt 0,2982/0,0972 km² -
Bordstein, Fahrbahn und Kantenstücke je Klasse bleiben unverändert, weil
keiner der Befunde am Graphen oder an carriageway/curb rührt) sowie den
Messwerte-Absatz „Gemessen nach der Fixwelle" im Entwurf ergänzt. Beide
Abnahmen erneut bestanden: zweiter Lauf ändert keine Datei, beide Suiten
grün.
Befund 10: Neuer Test test_markierung_liegt_nicht_wesentlich_ausserhalb_
der_fahrbahn haelt fest, wie viel Markierungsflaeche ausserhalb der
Fahrbahn liegt. Rechnerisch gegen die Daten vor der Fixwelle nachgewiesen,
dass er vor Befund 3 mit 452,65 m² weit über jeder sinnvollen Schranke rot
gewesen waere. Die Schranke (130 m²) ist kein reiner Rundungswert: Befund
3 senkt den echten Wert auf 110,06 m² (0,25 % von 43.906 m²), behebt das
Problem aber nicht vollständig - ein Bogen kann zwischen reach und
reach + STOP_SETBACK + STOP_DEPTH noch einmal abknicken, was die
umgesetzte Korrektur nicht auffängt. Das ist im Test-Docstring und im
Fixwelle-Bericht offengelegt, nicht stillschweigend toleriert.
knsoandClaude Sonnet 5