{ "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", "changes_from_baseline": [], "input": { "alpine_farming": { "alms": [ { "access_level": 2, "alm_id": "A", "alm_pasture_area_ha": 3 } ], "animals": [ { "animal_id": "c1", "species": "cattle", "stays": [ { "alm_id": "A", "in_austria": true } ] } ], "measure": { "applied": true } }, "farm": { "year": 2026 } }, "input_sha256": "ebca57ddbc760ad41f13d4e6255fa365baf20d88511ef0c2743c084459fc4cc5", "opa_result": { "errors": [ { "code": "eval_type_error", "location": { "col": 78, "file": "bundle/policy/o6_14/participation.rego", "row": 19 }, "message": "minus: operand 1 must be one of {number, set} but got null" } ] }, "output_changed_from_baseline": false, "purpose": "Synthetische Ausgangskonstellation zur Beobachtung der nativen Ausgabe; kein fachlich bestätigter Positivfall.", "status": "runtime_error" }, { "case_id": "missing_fact", "changes_from_baseline": [ { "after": { "present": false }, "before": { "present": true, "value": true }, "path": "/alpine_farming/animals/0/stays/0/in_austria" } ], "input": { "alpine_farming": { "alms": [ { "access_level": 2, "alm_id": "A", "alm_pasture_area_ha": 3 } ], "animals": [ { "animal_id": "c1", "species": "cattle", "stays": [ { "alm_id": "A" } ] } ], "measure": { "applied": true } }, "farm": { "year": 2026 } }, "input_sha256": "d5c6c91281d479b1f10148379113aed9167164dbba825c6c99c671c080d47380", "opa_result": { "errors": [ { "code": "eval_type_error", "location": { "col": 78, "file": "bundle/policy/o6_14/participation.rego", "row": 19 }, "message": "minus: operand 1 must be one of {number, set} but got null" } ] }, "output_changed_from_baseline": false, "purpose": "is_in_austria bei der Alm entfernen; prüfen, ob fehlender Standortnachweis die Zulassung verhindert oder wegen negierter Verletzungsprüfung unauffällig bleibt.", "status": "runtime_error" } ], "compile": { "errors": [], "status": "compiled" }, "gap": "Nicht ausführbar übersetzte Luna-Fälle: variation. Einzelne fehlende Fakten und verlorene Änderungsachsen stehen in luna_translation; keine Ersatzfälle erfunden.", "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.", "inventory": { "independent_reference_case_status": "not_adjudicated", "profile_proposal_count": 4, "rule_count": 126, "rule_type_counts": { "access_condition": 4, "calculation": 16, "cap": 1, "code_requirement": 2, "combination": 5, "consequence": 3, "contract_period": 2, "contract_rule": 7, "deadline": 8, "definition": 3, "eligibility": 10, "exception": 13, "general_condition": 2, "obligation": 26, "option": 1, "premium_rate": 4, "procedure": 9, "reporting": 5, "sanction": 2, "scope": 2, "threshold": 1 }, "source_count": 8, "source_coverage_claims": [ { "disposition_counts": { "not_rule": 5, "rules": 26 }, "item_count": 31, "review_scope": "full_document", "source_id": "o6_14" }, { "disposition_counts": { "not_rule": 11, "rules": 23 }, "item_count": 34, "review_scope": "full_document", "source_id": "o6_general" }, { "disposition_counts": { "not_rule": 6, "rules": 25 }, "item_count": 31, "review_scope": "targeted_sections", "source_id": "oepul_sonderrichtlinie_2023" }, { "disposition_counts": { "not_rule": 4, "rules": 8 }, "item_count": 12, "review_scope": "targeted_sections", "source_id": "oepul_sonderrichtlinie_2023_anhaenge" }, { "disposition_counts": { "not_rule": 2, "rules": 2 }, "item_count": 4, "review_scope": "full_document", "source_id": "trockenheit_2026_biodiversitaetsflaechen" }, { "disposition_counts": { "not_rule": 1 }, "item_count": 1, "review_scope": "full_document", "source_id": "rebzikade_2026_insektizidverzicht" }, { "disposition_counts": { "not_rule": 2 }, "item_count": 2, "review_scope": "full_document", "source_id": "duerre_2026_oepul_ausgleichszulage" }, { "disposition_counts": { "not_rule": 6 }, "item_count": 6, "review_scope": "full_document", "source_id": "duerre_2026_foerderungsabwicklung" } ], "static_policy_input_paths": [ "input.alpine_farming", "input.alpine_farming.alms", "input.alpine_farming.animals", "input.alpine_farming.grazing_plan_supplement", "input.alpine_farming.measure", "input.alpine_farming.nature_conservation_supplement", "input.farm", "input.farm.applicant", "input.farm.applicant.legal_form", "input.farm.applicant.public_body_share_pct", "input.farm.oepul.first_oepul_year", "input.farm.oepul.participating_measures", "input.farm.year", "input.land.protected_cultivation_area_ha", "input.land.total_area_ha" ] }, "luna_translation": { "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.", "fixture_path": "docs/analysis/luna-screening-20261011/fixtures/o6_14.json" }, "measure_id": "o6_14", "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." ], "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.", "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}", "references": [ { "detail": "Native alpine_farming.alms/animals und measures.", "path": "runs/v2-o6_14-opus-5.5-high-20260926/workspace/policy/o6_14/common.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/animals.rego" }, { "detail": "Zugangsbedingungen; Erstteilnahme wird aus commitment_start_year berechnet.", "path": "runs/v2-o6_14-opus-5.5-high-20260926/workspace/policy/o6_14/participation.rego" }, { "detail": "Teilbefunde und violations.", "path": "runs/v2-o6_14-opus-5.5-high-20260926/workspace/policy/o6_14/obligations.rego" }, { "detail": "access_level und nativer premium_total.", "path": "runs/v2-o6_14-opus-5.5-high-20260926/workspace/policy/o6_14/premium.rego" }, { "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/input-paths.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/artifacts/proposed-profile.json" }, { "detail": "Modellgeneriertes Klauselinventar und Querverweise; kein unabhängiger Referenzstandard.", "path": "runs/v2-o6_14-opus-5.5-high-20260926/workspace/rules/rules.json" }, { "detail": "Historische Annahmen und offene Abhängigkeiten bleiben erhalten.", "path": "runs/v2-o6_14-opus-5.5-high-20260926/workspace/notes/assumptions.md" } ], "run_id": "v2-o6_14-opus-5.5-high-20260926" }