{ "measure_id": "o6_14", "run_id": "v2-o6_14-opus-5.5-high-20260926", "query": "{\"access_conditions_met\": data.oepul.o6_14.access_conditions_met, \"access_violations\": data.oepul.o6_14.access_violations, \"total_actual_days\": data.oepul.o6_14.total_actual_days, \"total_credited_days\": data.oepul.o6_14.total_credited_days, \"alm_occupied_days\": data.oepul.o6_14.alm_occupied_days, \"alm_stocking_density\": data.oepul.o6_14.alm_stocking_density, \"animal_notices\": data.oepul.o6_14.animal_notices, \"violations\": data.oepul.o6_14.violations, \"premium_total\": data.oepul.o6_14.premium_total}", "input_contract_note": "Jahr 2026, Alm A mit3ha und Erschließungsstufe2, synthetisches Rindc1. Luna gibt3RGVE und60/59 Tage aggregiert an; Opus benötigt stattdessen Geburtsdatum/Kategorie/Tierzahl und datierte Aufenthalte/Meldungen. Diese Zusatzdaten werden nicht erfunden.", "output_contract_note": "Begrenzte native Projektion von Zugang, Tier-/Almtagen, Dichte, Befunden und Prämie. Tage0/RGVE0 aus unvollständigen Listen belegen keine tatsächliche Nichtbeweidung. Keine Gleichsetzung mit Lunas eligible oder dem Quellenurteil.", "case_origin": "Öffentliche synthetische Entwicklungsfälle der eingefrorenen Luna-Diagnose, durch Codex ausschließlich auf belegte native Opus-Pfade übersetzt. Keine unabhängigen Sollurteile, keine Expertenfreigabe und keine Held-out-Fälle. Fehlende Fachfakten werden nicht aus Opus-Modelltests ergänzt. Nicht abbildbare Fälle sind bewusst als Lücke statt als zusätzliche Beobachtung erhalten.", "cases": [ { "case_id": "baseline", "purpose": "Synthetische Ausgangskonstellation zur Beobachtung der nativen Ausgabe; kein fachlich bestätigter Positivfall.", "input": { "farm": { "year": 2026 }, "alpine_farming": { "measure": { "applied": true }, "alms": [ { "alm_id": "A", "alm_pasture_area_ha": 3, "access_level": 2 } ], "animals": [ { "animal_id": "c1", "species": "cattle", "stays": [ { "alm_id": "A", "in_austria": true } ] } ] } } }, { "case_id": "missing_fact", "purpose": "is_in_austria bei der Alm entfernen; prüfen, ob fehlender Standortnachweis die Zulassung verhindert oder wegen negierter Verletzungsprüfung unauffällig bleibt.", "input": { "farm": { "year": 2026 }, "alpine_farming": { "measure": { "applied": true }, "alms": [ { "alm_id": "A", "alm_pasture_area_ha": 3, "access_level": 2 } ], "animals": [ { "animal_id": "c1", "species": "cattle", "stays": [ { "alm_id": "A" } ] } ] } } } ], "references": [ { "path": "runs/v2-o6_14-opus-5.5-high-20260926/workspace/policy/o6_14/common.rego", "detail": "Native alpine_farming.alms/animals und measures." }, { "path": "runs/v2-o6_14-opus-5.5-high-20260926/workspace/policy/o6_14/animals.rego", "detail": "RGVE aus Kategorie/Alter und count; Alpungstage aus stays mit konkreten Datums-/Meldedaten." }, { "path": "runs/v2-o6_14-opus-5.5-high-20260926/workspace/policy/o6_14/participation.rego", "detail": "Zugangsbedingungen; Erstteilnahme wird aus commitment_start_year berechnet." }, { "path": "runs/v2-o6_14-opus-5.5-high-20260926/workspace/policy/o6_14/obligations.rego", "detail": "Teilbefunde und violations." }, { "path": "runs/v2-o6_14-opus-5.5-high-20260926/workspace/policy/o6_14/premium.rego", "detail": "access_level und nativer premium_total." }, { "path": "runs/v2-o6_14-opus-5.5-high-20260926/artifacts/input-paths.json", "detail": "Historisches Alias-/Inputpfad-Inventar; kein vollständiger semantischer Nachweis der tatsächlich benötigten Fakten." }, { "path": "runs/v2-o6_14-opus-5.5-high-20260926/artifacts/proposed-profile.json", "detail": "Historischer Vorschlag des nativen Eingabevertrags; Typen werden gelesen, konkrete positive Testkonstanten nicht übernommen." }, { "path": "runs/v2-o6_14-opus-5.5-high-20260926/workspace/rules/rules.json", "detail": "Modellgeneriertes Klauselinventar und Querverweise; kein unabhängiger Referenzstandard." }, { "path": "runs/v2-o6_14-opus-5.5-high-20260926/workspace/notes/assumptions.md", "detail": "Historische Annahmen und offene Abhängigkeiten bleiben erhalten." } ], "open_dependencies": [ "Luna-GVE3 beweist weder3Tiere noch Alter/RGVE-Kategorie. count, birth_date und rgve_category_id bleiben abwesend.", "Die 60→59-Tage-Änderung kann ohne erfundene Auf-/Abtriebs- und Meldedaten nicht als nativer stays-Zeitraum umgesetzt werden; variation wird ausgelassen.", "Lunas is_in_austria der Alm wird auf den zugeordneten Aufenthaltsort übertragen; ohne Datumsgrenzen ist dieser Aufenthalt nativ nicht valid_stay. missing_fact kann daher unauffällig bleiben.", "Erstteilnahme=true in2026 liefert kein zulässiges bzw. bestätigtes commitment_start_year und keinen Antrag; kein Vertragsjahr erfunden.", "Meldetage14/7 sind keine konkreten Meldedaten. Zusatzanforderungen und Default-Tierzahl 1 bleiben unbekannte native Annahmen.", "Beobachtung: beide ausgegebenen Fälle scheitern unter --strict-builtin-errors mit eval_type_error in policy/o6_14/participation.rego:19: nicht gelieferter commitment_start_year wird nativ zu null und anschließend als null minus1 verwendet. Fehler bleibt erhalten; kein günstiges Vertragsjahr ergänzt." ], "luna_translation": { "fixture_path": "docs/analysis/luna-screening-20261011/fixtures/o6_14.json", "cases": [ { "case_id": "baseline", "mapped_facts": [ "Luna /farm/year -> Opus /farm/year: Jahr unverändert.", "Luna /preferences_constraints/oepul_participation_requested -> Opus /alpine_farming/measure/applied: Beantragte Maßnahme unverändert.", "Luna /land/alpine_pastures/0/alm_id -> Opus /alpine_farming/alms/0/alm_id: Alm A unverändert.", "Luna /land/alpine_pastures/0/area_ha -> Opus /alpine_farming/alms/0/alm_pasture_area_ha: 3 ha unverändert.", "Luna /land/alpine_pastures/0/access_stage -> Opus /alpine_farming/alms/0/access_level: stage_2 -> native Stufe 2 ohne Änderung der Erschließung.", "Luna /livestock/alpine_movements/0/animal_id -> Opus /alpine_farming/animals/0/animal_id: Synthetische Identität c1 unverändert; keine neue Tierzahl gesetzt.", "Luna /livestock/alpine_movements/0/species -> Opus /alpine_farming/animals/0/species: Rinderart unverändert.", "Luna /livestock/alpine_movements/0/alm_id -> Opus /alpine_farming/animals/0/stays/0/alm_id: Die einzige belegte Zuordnung zu Alm A.", "Luna /land/alpine_pastures/0/is_in_austria -> Opus /alpine_farming/animals/0/stays/0/in_austria: Standort der zugeordneten Alm/Beweidung; fehlender Standort bleibt abwesend." ], "unmapped_facts": [ "Luna /land/alpine_pastures/0/feed_practices/natural_fodder_sufficient = true: kein fachlich gleichwertiger nativer Zielpfad belegt; keine Ersatzinformation ergänzt.", "Luna /land/alpine_pastures/0/feed_practices/non_alpine_silage_or_green_fodder = false: kein fachlich gleichwertiger nativer Zielpfad belegt; keine Ersatzinformation ergänzt.", "Luna /land/alpine_pastures/0/alm_inputs/pesticide_used = false: kein fachlich gleichwertiger nativer Zielpfad belegt; keine Ersatzinformation ergänzt.", "Luna /land/alpine_pastures/0/alm_inputs/fertilizer_used = false: kein fachlich gleichwertiger nativer Zielpfad belegt; keine Ersatzinformation ergänzt.", "Luna /livestock/alpine_movements/0/gve = 3: kein fachlich gleichwertiger nativer Zielpfad belegt; keine Ersatzinformation ergänzt.", "Luna /livestock/alpine_movements/0/alpung_days = 60: kein fachlich gleichwertiger nativer Zielpfad belegt; keine Ersatzinformation ergänzt.", "Luna /livestock/alpine_movements/0/is_held_in_austria = true: kein fachlich gleichwertiger nativer Zielpfad belegt; keine Ersatzinformation ergänzt.", "Luna /preferences_constraints/oepul_first_participation_year = true: kein fachlich gleichwertiger nativer Zielpfad belegt; keine Ersatzinformation ergänzt.", "Luna /preferences_constraints/oepul_options = {}: kein fachlich gleichwertiger nativer Zielpfad belegt; keine Ersatzinformation ergänzt.", "Luna /documentation/oepul_reports/cattle_arrival_days = 14: kein fachlich gleichwertiger nativer Zielpfad belegt; keine Ersatzinformation ergänzt.", "Luna /documentation/oepul_reports/cattle_departure_days = 14: kein fachlich gleichwertiger nativer Zielpfad belegt; keine Ersatzinformation ergänzt.", "Luna /documentation/oepul_reports/other_arrival_days = 7: kein fachlich gleichwertiger nativer Zielpfad belegt; keine Ersatzinformation ergänzt.", "Luna /documentation/oepul_reports/other_departure_days = 7: kein fachlich gleichwertiger nativer Zielpfad belegt; keine Ersatzinformation ergänzt." ] }, { "case_id": "variation", "mapped_facts": [ "Luna /farm/year -> Opus /farm/year: Jahr unverändert.", "Luna /preferences_constraints/oepul_participation_requested -> Opus /alpine_farming/measure/applied: Beantragte Maßnahme unverändert.", "Luna /land/alpine_pastures/0/alm_id -> Opus /alpine_farming/alms/0/alm_id: Alm A unverändert.", "Luna /land/alpine_pastures/0/area_ha -> Opus /alpine_farming/alms/0/alm_pasture_area_ha: 3 ha unverändert.", "Luna /land/alpine_pastures/0/access_stage -> Opus /alpine_farming/alms/0/access_level: stage_2 -> native Stufe 2 ohne Änderung der Erschließung.", "Luna /livestock/alpine_movements/0/animal_id -> Opus /alpine_farming/animals/0/animal_id: Synthetische Identität c1 unverändert; keine neue Tierzahl gesetzt.", "Luna /livestock/alpine_movements/0/species -> Opus /alpine_farming/animals/0/species: Rinderart unverändert.", "Luna /livestock/alpine_movements/0/alm_id -> Opus /alpine_farming/animals/0/stays/0/alm_id: Die einzige belegte Zuordnung zu Alm A.", "Luna /land/alpine_pastures/0/is_in_austria -> Opus /alpine_farming/animals/0/stays/0/in_austria: Standort der zugeordneten Alm/Beweidung; fehlender Standort bleibt abwesend." ], "unmapped_facts": [ "Luna /land/alpine_pastures/0/feed_practices/natural_fodder_sufficient = true: kein fachlich gleichwertiger nativer Zielpfad belegt; keine Ersatzinformation ergänzt.", "Luna /land/alpine_pastures/0/feed_practices/non_alpine_silage_or_green_fodder = false: kein fachlich gleichwertiger nativer Zielpfad belegt; keine Ersatzinformation ergänzt.", "Luna /land/alpine_pastures/0/alm_inputs/pesticide_used = false: kein fachlich gleichwertiger nativer Zielpfad belegt; keine Ersatzinformation ergänzt.", "Luna /land/alpine_pastures/0/alm_inputs/fertilizer_used = false: kein fachlich gleichwertiger nativer Zielpfad belegt; keine Ersatzinformation ergänzt.", "Luna /livestock/alpine_movements/0/gve = 3: kein fachlich gleichwertiger nativer Zielpfad belegt; keine Ersatzinformation ergänzt.", "Luna /livestock/alpine_movements/0/alpung_days = 59: kein fachlich gleichwertiger nativer Zielpfad belegt; keine Ersatzinformation ergänzt.", "Luna /livestock/alpine_movements/0/is_held_in_austria = true: kein fachlich gleichwertiger nativer Zielpfad belegt; keine Ersatzinformation ergänzt.", "Luna /preferences_constraints/oepul_first_participation_year = true: kein fachlich gleichwertiger nativer Zielpfad belegt; keine Ersatzinformation ergänzt.", "Luna /preferences_constraints/oepul_options = {}: kein fachlich gleichwertiger nativer Zielpfad belegt; keine Ersatzinformation ergänzt.", "Luna /documentation/oepul_reports/cattle_arrival_days = 14: kein fachlich gleichwertiger nativer Zielpfad belegt; keine Ersatzinformation ergänzt.", "Luna /documentation/oepul_reports/cattle_departure_days = 14: kein fachlich gleichwertiger nativer Zielpfad belegt; keine Ersatzinformation ergänzt.", "Luna /documentation/oepul_reports/other_arrival_days = 7: kein fachlich gleichwertiger nativer Zielpfad belegt; keine Ersatzinformation ergänzt.", "Luna /documentation/oepul_reports/other_departure_days = 7: kein fachlich gleichwertiger nativer Zielpfad belegt; keine Ersatzinformation ergänzt.", "Dieser Luna-Fall besitzt keine vollständig belegbare veränderte native Eingabe und wird daher nicht als ausführbarer Opus-Vergleichsfall ausgegeben." ] }, { "case_id": "missing_fact", "mapped_facts": [ "Luna /farm/year -> Opus /farm/year: Jahr unverändert.", "Luna /preferences_constraints/oepul_participation_requested -> Opus /alpine_farming/measure/applied: Beantragte Maßnahme unverändert.", "Luna /land/alpine_pastures/0/alm_id -> Opus /alpine_farming/alms/0/alm_id: Alm A unverändert.", "Luna /land/alpine_pastures/0/area_ha -> Opus /alpine_farming/alms/0/alm_pasture_area_ha: 3 ha unverändert.", "Luna /land/alpine_pastures/0/access_stage -> Opus /alpine_farming/alms/0/access_level: stage_2 -> native Stufe 2 ohne Änderung der Erschließung.", "Luna /livestock/alpine_movements/0/animal_id -> Opus /alpine_farming/animals/0/animal_id: Synthetische Identität c1 unverändert; keine neue Tierzahl gesetzt.", "Luna /livestock/alpine_movements/0/species -> Opus /alpine_farming/animals/0/species: Rinderart unverändert.", "Luna /livestock/alpine_movements/0/alm_id -> Opus /alpine_farming/animals/0/stays/0/alm_id: Die einzige belegte Zuordnung zu Alm A.", "Luna /land/alpine_pastures/0/is_in_austria fehlt -> Opus /alpine_farming/animals/0/stays/0/in_austria wird ebenfalls nicht gesetzt; Standort der zugeordneten Alm/Beweidung; fehlender Standort bleibt abwesend." ], "unmapped_facts": [ "Luna /land/alpine_pastures/0/feed_practices/natural_fodder_sufficient = true: kein fachlich gleichwertiger nativer Zielpfad belegt; keine Ersatzinformation ergänzt.", "Luna /land/alpine_pastures/0/feed_practices/non_alpine_silage_or_green_fodder = false: kein fachlich gleichwertiger nativer Zielpfad belegt; keine Ersatzinformation ergänzt.", "Luna /land/alpine_pastures/0/alm_inputs/pesticide_used = false: kein fachlich gleichwertiger nativer Zielpfad belegt; keine Ersatzinformation ergänzt.", "Luna /land/alpine_pastures/0/alm_inputs/fertilizer_used = false: kein fachlich gleichwertiger nativer Zielpfad belegt; keine Ersatzinformation ergänzt.", "Luna /livestock/alpine_movements/0/gve = 3: kein fachlich gleichwertiger nativer Zielpfad belegt; keine Ersatzinformation ergänzt.", "Luna /livestock/alpine_movements/0/alpung_days = 60: kein fachlich gleichwertiger nativer Zielpfad belegt; keine Ersatzinformation ergänzt.", "Luna /livestock/alpine_movements/0/is_held_in_austria = true: kein fachlich gleichwertiger nativer Zielpfad belegt; keine Ersatzinformation ergänzt.", "Luna /preferences_constraints/oepul_first_participation_year = true: kein fachlich gleichwertiger nativer Zielpfad belegt; keine Ersatzinformation ergänzt.", "Luna /preferences_constraints/oepul_options = {}: kein fachlich gleichwertiger nativer Zielpfad belegt; keine Ersatzinformation ergänzt.", "Luna /documentation/oepul_reports/cattle_arrival_days = 14: kein fachlich gleichwertiger nativer Zielpfad belegt; keine Ersatzinformation ergänzt.", "Luna /documentation/oepul_reports/cattle_departure_days = 14: kein fachlich gleichwertiger nativer Zielpfad belegt; keine Ersatzinformation ergänzt.", "Luna /documentation/oepul_reports/other_arrival_days = 7: kein fachlich gleichwertiger nativer Zielpfad belegt; keine Ersatzinformation ergänzt.", "Luna /documentation/oepul_reports/other_departure_days = 7: kein fachlich gleichwertiger nativer Zielpfad belegt; keine Ersatzinformation ergänzt." ] } ], "comparison_limit": "Nur baseline und die fehlende Standortinformation werden partiell übersetzt. Die Mindesttagevariation und RGVE-/Prämienhöhe sind ohne zusätzliche Fachfakten nicht gleichwertig vergleichbar." }, "gap": "Nicht ausführbar übersetzte Luna-Fälle: variation. Einzelne fehlende Fakten und verlorene Änderungsachsen stehen in luna_translation; keine Ersatzfälle erfunden." }