Zum Rechner — Grenzlinie — MariaDB (core_catalog_records) — Datensaetze gesamt: 215 — JSON (mit Heuristiken) — JSON nur Floats + uint16
Sinnvoll als Zusatz: Einmal exportieren (z. B. php scripts/export_core_dat_to_json.php "…\TRKL" > core_catalog.json)
erleichtert Diffs, Reviews und Anbindung an andere Tools. Die fachliche Quelle bleibt die
Original-.DAT; JSON sollte aus dem Parser generiert werden (kein manuelles Duplikat pflegen).
Zum Rechnen im Port genuegt Weiterlesen der .DAT; JSON ist optional fuer Analyse/CI.
Laden…
Linien: effektive Kernflaeche je Katalogzeile (Reihenfolge in der Datei).