Schoenenberger_Systeme_GmbH/dxfmakros
3
0
Fork 0
Code Issues 1 Pull Requests Actions Packages Projects Releases Wiki Activity
Files
3b53ef7659935cabe829eb1bf1247c63165771e5
dxfmakros/tests/testdata/mubea.json
T
s.ayadi 428f1ced70 [FEAT] VF-Linienzug aus Eingabedaten bauen (Stufe 1: Spec -> Journal -> Replay) 
Stufe 1 des Fahrplans in doc/TODO-plan-vf-interactive.md, fertig fuer
Modus 1. Eine SPEC beschreibt eine Kette in Domaenenwerten ("links",
"winkel", "aussen", ja/nein) statt in Menue-Codes; vsp-journal uebersetzt sie
in ein Eingabe-Journal, vsp-bau-aus-spec spielt es per
vfl-journal-replay-start durch den UNVERAENDERTEN vf-linienzug-modus. Der
fertige Block traegt damit dasselbe SSG_VF_EDIT-Journal wie eine handgebaute
Kette und bleibt per Doppelklick editier- und 2D/3D-konvertierbar - kein
Journal-Konsument muss etwas von Specs wissen.

CAD-Lauf VF_SPEC_BAU: 5 OK, 0 Fehler. Je Kette status "executed",
prompts 0 (keine Live-Eingabe erreicht), eingaben_offen 0, keine
Spec-Fehler, keine Bau-Meldungen, glieder_ist == glieder_soll,
Einfuegepunkt gleich dem Kettenstart der Spec.

Neu:
- Lisp/vf_spec.lsp: Code-Tabellen, Emitter vsp-journal, Validierung
  vsp-pruefen, flacher JSON-Loader, Headless-Rahmen vsp-headless-an/-aus,
  Ergebnis-Record, vsp-bau-aus-spec/-liste, c:VF_SPEC_BAU. Von vf_core.lsp
  NACH vf_linienzug.lsp geladen - damit sind beide Ladewege abgedeckt (Menue
  und der .scr-Loader), das MNL bleibt unveraendert.
- lib/vf_spec_export.py: derselbe Emitter in Python PLUS die Umkehrung
  (spec_aus_journal), erzeugt die Spec-Testdaten.
- tests/testdata/vf_spec_hundm05.json: die 5 echten Ketten als Spec,
  erzeugt statt handgeschrieben.
- tests/test_vf_spec.lsp (C:TEST_VF_SPEC, in alltests.json): 7 Faelle je
  Glied-Typ, 7 Validierungsfaelle, Gruppieren, und die 5 echten Ketten gegen
  ihr aufgezeichnetes Journal.
- tests/test_vf_spec.py: 36 Tests (Rundlauf, Spec-Daten, Validierung,
  Erwartungswert-Abgleich, Ergebnisse von VF_SPEC_BAU).

Drei Regeln, die der Uebersetzer besitzen muss - jede wuerde sonst die ganze
Replay-Queue verschieben:
- Der Menue-Code haengt am Frame: erste Sektion 4 Optionen (kein GF-Bogen,
  es gibt noch keine Richtung), jede spaetere 5.
- hz steht genau EINMAL im Journal, beim ersten Segment (vfl-in-abstand
  journalisiert die Richtung nur bei freier Richtungswahl).
- Nur ein HORIZONTALER Erstkoerper einer VF-Einheit stellt die Separator-/
  Endpunktfragen vorab (winkel1=0 laeuft durch vfl-baue-horizontal-koerper);
  ein gewinkelter wird ohne jede Frage gebaut.

Wie die Richtigkeit belegt ist - drei Implementierungen derselben Grammatik,
die einander pruefen:
- Rundlauf gegen echte Daten: journal_aus_spec(spec_aus_journal(tok)) == tok
  fuer alle 5 HundM-Ketten, tokenweise numerisch verglichen. Damit ist
  bewiesen, dass die Spec das Journal verlustfrei abbildet.
- Der Weg, den LISP nimmt (flaches JSON -> Spec -> Journal), ergibt separat
  geprueft dieselben Journale wie das aufgezeichnete Protokoll.
- Der unabhaengige Dekoder aus lib/vf_journal_export.py verdaut alle 7
  synthetischen Emitter-Ausgaben restlos, auch die zwei Zweige, die in den
  echten Daten fehlen (Linie-VF, gewinkelter Erstkoerper).
- Die Erwartungswerte im LISP-Test kommen aus dem geprueften Python-Emitter;
  TestLispErwartungen liest sie zurueck und vergleicht erneut. Ohne das
  koennte ein Uebertragungsfehler einen falschen Erwartungswert
  festschreiben und der CAD-Lauf waere gruen, obwohl der Emitter falsch
  liegt.

Abweichungen von der Planung (Begruendungen in doc/TODO-plan-vf-interactive.md
Abschnitt 4.6): vsp-pruefen ruft den Emitter statt eine zweite Regelmenge zu
pflegen; das vollstaendige Journal steht nicht im Record (statt dessen
glieder_soll/glieder_ist als Desync-Detektor); Zusatzfeld segment_typ am
Glied "Linie", weil dort vfl-segment-entscheidung selbst zwischen GF und VF
waehlt; vf_ende-Werte "automatisch"/"zielpunkt-ohne-es" fuer die Faelle ohne
Frage; Praefix vsp- statt vfs- (das gehoert vf_standard.lsp).

Zusaetzlich:
- tests/test_vf_headless_statisch.py prueft jetzt auch, dass
  Lisp/vf_spec.lsp UEBERHAUPT keine Eingabe-/Dialogfunktion aufruft - beim
  Daten-Pfad ist die Null die Vorgabe.
- tests/testdata/mubea.json: die drei einzeln eingefuegten S-LP-Separatoren
  entfernt (Fortsetzung von 699744e - die Separatoren stecken jetzt in den
  Staustreckenbloecken).

Noch offen: die Uebersetzer fuer Modus 2 und 3. Modus 2 braucht laut
Fahrplan erst 2-3 echte "linienzug2"-Journale als Referenz -
tests/testdata/hundm05.json enthaelt ausschliesslich Modus-1-Ketten.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
2026-09-03 10:44:38 +02:00

305 lines
7.2 KiB
JSON
Raw Blame History

[
{
"id": "Kreisel_unten",
"function": "insert",
"x": 400,
"y": -5478,
"z": 1467,
"abstand": 5000,
"rotation": 0.0,
"typ": "STANDARD",
"expect_block_prefix": "KREISEL_",
"expect_hoehe": "1467",
"expect_kreiselart": "STANDARD",
"comment": "x,y aus DXF (500573_60_1.dxf, SP8 Insert #2 (x=-40865.2521,y=5878.2466), raw) abgeleitet; z=1467 unveraendert (Einfuegehoehe, im 2D-Plan nicht enthalten). Vorheriger Handwert: x=800, y=14137"
},
{
"id": "Kreisel_links",
"function": "insert",
"x": 0,
"y": -5878,
"z": 1467,
"abstand": 20015,
"rotation": 90.0,
"typ": "STANDARD",
"expect_block_prefix": "KREISEL_",
"expect_hoehe": "1467",
"expect_kreiselart": "STANDARD",
"comment": "x,y aus DXF (500573_60_1.dxf, SP8 Insert #1 (x=-50775.7283,y=5878.2466), raw) abgeleitet; z=1467 unveraendert (Einfuegehoehe, im 2D-Plan nicht enthalten). Vorheriger Handwert: x=0, y=14137"
},
{
"comment": "Separator links Kreisel_links zugeordnet",
"function": "insert",
"block": "S-LP",
"x": -400,
"y": 13980,
"z": 1467,
"rotation": 270,
"assigned_to": "Kreisel_links"
},
{
"comment": "Scanner linken Kreisel unten",
"function": "insert",
"block": "Scanner",
"x": -400,
"y": 14000,
"z": 1467,
"rotation": 0,
"assigned_to": "Kreisel_links"
},
{
"comment": "Separator linken Kreisel unten",
"function": "insert",
"block": "S-LP",
"x": 400,
"y": -4038,
"z": 1467,
"rotation": 90,
"assigned_to": "Kreisel_links"
},
{
"comment": "Scanner linken Kreisel unten",
"function": "insert",
"block": "Scanner",
"x": 400,
"y": -4083,
"z": 1467,
"rotation": 0,
"assigned_to": "Kreisel_links"
},
{
"comment": "Scanner linken Kreisel unten",
"function": "insert",
"block": "Scanner",
"x": -400,
"y": -3390,
"z": 1467,
"rotation": 0,
"assigned_to": "Kreisel_links"
},
{
"comment": "Scanner rechts Kreisel in der Mitte ",
"function": "insert",
"block": "Scanner",
"x": 10310,
"y": -610,
"z": 1941,
"rotation": 0,
"assigned_to": "Kreisel_rechts"
},
{
"comment": "Scanner links Kreisel in der Mitte ",
"function": "insert",
"block": "Scanner",
"x": -400,
"y": -400,
"z": 1467,
"rotation": 0,
"assigned_to": "Kreisel_links"
},
{
"id": "Kreisel_rechts",
"function": "insert",
"x": 9910,
"y": -5878,
"z": 1941,
"abstand": 20015,
"rotation": 90.0,
"typ": "STANDARD",
"expect_block_prefix": "KREISEL_",
"expect_hoehe": "1941",
"expect_kreiselart": "STANDARD",
"comment": "x,y aus DXF (500573_60_1.dxf, AN8 Insert (x=-40865.2521,y=-14812.3513), raw) abgeleitet; z=1941 unveraendert (Einfuegehoehe, im 2D-Plan nicht enthalten). Vorheriger Handwert: x=9910, y=14137"
},
{
"comment": "Separator linken Kreisel in der mitte",
"function": "insert",
"block": "S-LP",
"x": -400,
"y": -502,
"z": 1467,
"rotation": 270,
"assigned_to": "Kreisel_links"
},
{
"comment": "Separator ",
"function": "insert",
"block": "S-LP",
"x": -400,
"y": -3495,
"z": 1467,
"rotation": 270,
"assigned_to": "Qualitaetskontrolle"
},
{
"test_id": "VF_Schnitt_C",
"richtung": "Auf",
"deltaL": 9110,
"deltaH": 474,
"winkel": 21,
"gf_verteilung": "manuell",
"L_GF1": 2298,
"seite": "links",
"hz": 0.0,
"x": 400,
"y": 14120,
"z": 1467,
"comment": "oberer Förderer für die Leertrolleys"
},
{
"test_id": "VF_Schnitt_E",
"richtung": "Auf",
"deltaL": 9110,
"deltaH": 474,
"winkel": 21,
"gf_verteilung": "manuell",
"L_GF1": 2298,
"seite": "links",
"hz": 0.0,
"x": 400,
"y": -4133,
"z": 1467,
"comment": "unterer Förderer für die Teile"
},
{
"test_id": "VF_Mubea_Etage_0061",
"typ": "etage",
"richtung": "Auf",
"deltaL": 12790,
"deltaH": 0,
"seite": "links",
"winkel": 9,
"L_GF1": 1602.4,
"hz": 90.0,
"x": -400,
"y": 147.615,
"z": 1467,
"comment": "Nachbau von Objekt ID 0061 (Block VF_5) als Etage-VarioFoerderer (FOERDERANLAGE Typ 2 / Werteingabe)."
},
{
"test_id": "GF_Mubea",
"modus": 1,
"deltaL_mm": 9110,
"hz_grad": 180.0,
"winkel_grad": 2.27,
"start_mm": [9510, 12300, 1941],
"as_seite": "links",
"es_seite": "links",
"as_winkel": "90",
"es_winkel": "90",
"anzahl": 20,
"delta_y": -800,
"comment": "Template fuer alle Gefaellestrecken (Modus 1): 'anzahl' identische Kopien, je um 'delta_y' (mm) in Y versetzt (nur start_mm). Erzeugt GF_Mubea_01..GF_Mubea_anzahl. Aufbau ausschliesslich aus Anfangspunkt start_mm und der horizontalen Gesamtlaenge deltaL_mm - KEIN Endpunkt (wie Produktion/gefaellestrecke.dcl Modus 1). winkel_grad steuert den Gefaellewinkel (Default 3.0, falls Feld fehlt), Zielhoehe ergibt sich daraus. start_mm.x/z aus DXF (EE-R Start hoch z=1941); deltaL_mm ~ reale XY-Distanz Start->AE-DS im DXF."
},
{
"comment": "Separator 1 unterer Kreisel",
"function": "insert",
"block": "S-LP",
"x": 1415,
"y": -5078,
"z": 1467,
"rotation": 0,
"assigned_to": "Kreisel_unten"
},
{
"comment": "",
"function": "insert",
"block": "S-LP",
"x": -1026,
"y": 10783,
"z": 1633,
"rotation": 270,
"assigned_to": "Qualitaetskontrolle"
},
{
"comment": "",
"function": "insert",
"block": "S-LP",
"x": -1026,
"y": 5310,
"z": 1477,
"rotation": 270,
"assigned_to": "Qualitaetskontrolle"
},
{
"comment": "Scanner",
"function": "insert",
"block": "Scanner",
"x": -1026,
"y": 5410,
"z": 1477,
"rotation": 180,
"assigned_to": "Qualitaetskontrolle"
},
{
"comment": "Separator 2 unterer Kreisel",
"function": "insert",
"block": "S-LP",
"x": 5415,
"y": -5878,
"z": 1467,
"rotation": 180,
"assigned_to": "Kreisel_unten"
},
{
"comment": "Scanner unterer Kreisel",
"function": "insert",
"block": "Scanner",
"x": 1415,
"y": -5100,
"z": 1467,
"rotation": 270,
"assigned_to": "Kreisel_unten"
},
{
"comment": "Separator Eingang 1 Rechter_Kreisel",
"function": "insert",
"block": "S-LP",
"x": 10310,
"y": -500,
"z": 1941,
"rotation": 90,
"assigned_to": "Kreisel_rechts"
},
{
"comment": "Separator Eingang 2 Rechter_Kreisel",
"function": "insert",
"block": "S-LP",
"x": 10310,
"y": 100,
"z": 1941,
"rotation": 90,
"assigned_to": "Kreisel_rechts"
},
{
"comment": "Separator Eingang 3 Rechter_Kreisel",
"function": "insert",
"block": "S-LP",
"x": 10310,
"y": -5073,
"z": 1941,
"rotation": 90,
"assigned_to": "Kreisel_rechts"
},
{
"comment": "",
"function": "insert",
"block": "S-LP",
"x": 8725,
"y": -4743,
"z": 1941,
"rotation": 180,
"assigned_to": "GF_Mubea"
},
{
"comment": "Scanner linken Kreisel unten",
"function": "insert",
"block": "Scanner",
"x": 9510,
"y": -3557,
"z": 1941,
"rotation": 0,
"assigned_to": "Kreisel_rechts"
}
]
Reference in New Issue View Git Blame Copy Permalink