Bring over AABB bht work (model + validation + healer tests) from cf200f0

c67a5961 · Numanoglu · 8536ec35 · c67a5961 · c67a5961 · c67a5961
Commit c67a5961 authored Jan 09, 2026 by Numanoglu
--- a/.metadata/.plugins/org.eclipse.core.resources/.projects/CityDoctorAutoPro/.location
+++ b/.metadata/.plugins/org.eclipse.core.resources/.projects/CityDoctorAutoPro/.location
--- a/.metadata/.plugins/org.eclipse.core.resources/.projects/CityDoctorAutoPro/org.eclipse.egit.core/GitProjectData.properties
+++ b/.metadata/.plugins/org.eclipse.core.resources/.projects/CityDoctorAutoPro/org.eclipse.egit.core/GitProjectData.properties
+#GitProjectData
+#Thu Jun 12 17:29:08 CEST 2025
+.gitdir=../../../.git
--- a/.metadata/.plugins/org.eclipse.core.resources/.projects/CityDoctorAutoPro/org.eclipse.jdt.core/state.dat
+++ b/.metadata/.plugins/org.eclipse.core.resources/.projects/CityDoctorAutoPro/org.eclipse.jdt.core/state.dat
--- a/.metadata/.plugins/org.eclipse.core.resources/.projects/CityDoctorCheckResult/.indexes/properties.index
+++ b/.metadata/.plugins/org.eclipse.core.resources/.projects/CityDoctorCheckResult/.indexes/properties.index
--- a/.metadata/.plugins/org.eclipse.core.resources/.projects/CityDoctorCheckResult/.location
+++ b/.metadata/.plugins/org.eclipse.core.resources/.projects/CityDoctorCheckResult/.location
--- a/.metadata/.plugins/org.eclipse.core.resources/.projects/CityDoctorCheckResult/org.eclipse.egit.core/GitProjectData.properties
+++ b/.metadata/.plugins/org.eclipse.core.resources/.projects/CityDoctorCheckResult/org.eclipse.egit.core/GitProjectData.properties
+#GitProjectData
+#Thu Jun 12 17:29:08 CEST 2025
+.gitdir=../../.git
--- a/.metadata/.plugins/org.eclipse.core.resources/.projects/CityDoctorCheckResult/org.eclipse.jdt.core/state.dat
+++ b/.metadata/.plugins/org.eclipse.core.resources/.projects/CityDoctorCheckResult/org.eclipse.jdt.core/state.dat
--- a/.metadata/.plugins/org.eclipse.core.resources/.projects/CityDoctorEdge/.indexes/properties.index
+++ b/.metadata/.plugins/org.eclipse.core.resources/.projects/CityDoctorEdge/.indexes/properties.index
--- a/.metadata/.plugins/org.eclipse.core.resources/.projects/CityDoctorEdge/.location
+++ b/.metadata/.plugins/org.eclipse.core.resources/.projects/CityDoctorEdge/.location
--- a/.metadata/.plugins/org.eclipse.core.resources/.projects/CityDoctorEdge/org.eclipse.egit.core/GitProjectData.properties
+++ b/.metadata/.plugins/org.eclipse.core.resources/.projects/CityDoctorEdge/org.eclipse.egit.core/GitProjectData.properties
+#GitProjectData
+#Thu Jun 12 17:29:08 CEST 2025
+.gitdir=../../.git
--- a/.metadata/.plugins/org.eclipse.core.resources/.projects/CityDoctorEdge/org.eclipse.jdt.core/state.dat
+++ b/.metadata/.plugins/org.eclipse.core.resources/.projects/CityDoctorEdge/org.eclipse.jdt.core/state.dat
--- a/.metadata/.plugins/org.eclipse.core.resources/.projects/CityDoctorGUI/.indexes/properties.index
+++ b/.metadata/.plugins/org.eclipse.core.resources/.projects/CityDoctorGUI/.indexes/properties.index
--- a/.metadata/.plugins/org.eclipse.core.resources/.projects/CityDoctorGUI/.location
+++ b/.metadata/.plugins/org.eclipse.core.resources/.projects/CityDoctorGUI/.location
--- a/.metadata/.plugins/org.eclipse.core.resources/.projects/CityDoctorGUI/org.eclipse.egit.core/GitProjectData.properties
+++ b/.metadata/.plugins/org.eclipse.core.resources/.projects/CityDoctorGUI/org.eclipse.egit.core/GitProjectData.properties
+#GitProjectData
+#Thu Jun 12 17:29:09 CEST 2025
+.gitdir=../../../.git
--- a/.metadata/.plugins/org.eclipse.core.resources/.projects/CityDoctorGUI/org.eclipse.jdt.core/state.dat
+++ b/.metadata/.plugins/org.eclipse.core.resources/.projects/CityDoctorGUI/org.eclipse.jdt.core/state.dat
--- a/.metadata/.plugins/org.eclipse.core.resources/.projects/CityDoctorHealer/.indexes/e4/92/22/81/36/b0/28/fa/ee/history.index
+++ b/.metadata/.plugins/org.eclipse.core.resources/.projects/CityDoctorHealer/.indexes/e4/92/22/81/36/b0/28/fa/ee/history.index
--- a/.metadata/.plugins/org.eclipse.core.resources/.projects/CityDoctorHealer/.indexes/properties.index
+++ b/.metadata/.plugins/org.eclipse.core.resources/.projects/CityDoctorHealer/.indexes/properties.index
--- a/.metadata/.plugins/org.eclipse.core.resources/.projects/CityDoctorHealer/.location
+++ b/.metadata/.plugins/org.eclipse.core.resources/.projects/CityDoctorHealer/.location
--- a/.metadata/.plugins/org.eclipse.core.resources/.projects/CityDoctorHealer/org.eclipse.egit.core/GitProjectData.properties
+++ b/.metadata/.plugins/org.eclipse.core.resources/.projects/CityDoctorHealer/org.eclipse.egit.core/GitProjectData.properties
+#GitProjectData
+#Thu Jun 12 17:29:08 CEST 2025
+.gitdir=../../../.git
--- a/.metadata/.plugins/org.eclipse.core.resources/.projects/CityDoctorHealer/org.eclipse.jdt.core/state.dat
+++ b/.metadata/.plugins/org.eclipse.core.resources/.projects/CityDoctorHealer/org.eclipse.jdt.core/state.dat