{ "case_origin": "Synthetische Entwicklungsfälle aus dem modellgenerierten Testbeispiel; gezielte Änderungen durch Codex zur diagnostischen Sichtung. Keine unabhängigen Sollurteile, keine Expertenvalidierung, keine Golden- oder Held-out-Fälle.", "cases": [ { "case_id": "baseline", "changes_from_baseline": [], "input": { "documentation": { "oepul_reports": { "cattle_arrival_days": 14, "cattle_departure_days": 14, "other_arrival_days": 7, "other_departure_days": 7 } }, "farm": { "year": 2026 }, "land": { "alpine_pastures": [ { "access_stage": "stage_2", "alm_id": "A", "alm_inputs": { "fertilizer_used": false, "pesticide_used": false }, "area_ha": 3, "feed_practices": { "natural_fodder_sufficient": true, "non_alpine_silage_or_green_fodder": false }, "is_in_austria": true } ] }, "livestock": { "alpine_movements": [ { "alm_id": "A", "alpung_days": 60, "animal_id": "c1", "gve": 3, "is_held_in_austria": true, "species": "cattle" } ] }, "preferences_constraints": { "oepul_first_participation_year": true, "oepul_options": {}, "oepul_participation_requested": true } }, "input_sha256": "9ca476244840b69b0fcac5bf6549dfc7b838ccd39f5ec646311ee745bbc350a5", "opa_result": { "result": [ { "expressions": [ { "location": { "col": 1, "row": 1 }, "text": "data.oepul.o6_14.rego_symbols", "value": { "alm_density": { "A": 1 }, "days_counting_rule": { "arrival_day_included": true, "departure_day_included": false, "interruptions_count": false }, "eligible": true, "modulation_factor": 1.0, "premium_base": {}, "reporting_rules": { "cattle": { "arrival_days": 14, "departure_days": 14, "late_credit_days": 14 }, "equines_camelids": { "arrival_days": 7, "departure_days": 7, "late_credit_days": 7 }, "sheep_goats": { "arrival_days": 7, "departure_days": 7, "late_credit_days": 7 } } } } ] } ] }, "output": { "alm_density": { "A": 1 }, "days_counting_rule": { "arrival_day_included": true, "departure_day_included": false, "interruptions_count": false }, "eligible": true, "modulation_factor": 1.0, "premium_base": {}, "reporting_rules": { "cattle": { "arrival_days": 14, "departure_days": 14, "late_credit_days": 14 }, "equines_camelids": { "arrival_days": 7, "departure_days": 7, "late_credit_days": 7 }, "sheep_goats": { "arrival_days": 7, "departure_days": 7, "late_credit_days": 7 } } }, "output_changed_from_baseline": false, "purpose": "Synthetische Ausgangskonstellation zur Beobachtung der nativen Ausgabe; kein fachlich bestätigter Positivfall.", "status": "defined" }, { "case_id": "variation", "changes_from_baseline": [ { "after": { "present": true, "value": 59 }, "before": { "present": true, "value": 60 }, "path": "/livestock/alpine_movements/0/alpung_days" } ], "input": { "documentation": { "oepul_reports": { "cattle_arrival_days": 14, "cattle_departure_days": 14, "other_arrival_days": 7, "other_departure_days": 7 } }, "farm": { "year": 2026 }, "land": { "alpine_pastures": [ { "access_stage": "stage_2", "alm_id": "A", "alm_inputs": { "fertilizer_used": false, "pesticide_used": false }, "area_ha": 3, "feed_practices": { "natural_fodder_sufficient": true, "non_alpine_silage_or_green_fodder": false }, "is_in_austria": true } ] }, "livestock": { "alpine_movements": [ { "alm_id": "A", "alpung_days": 59, "animal_id": "c1", "gve": 3, "is_held_in_austria": true, "species": "cattle" } ] }, "preferences_constraints": { "oepul_first_participation_year": true, "oepul_options": {}, "oepul_participation_requested": true } }, "input_sha256": "a39310ac388b0b825d76250a43411c78f3309bc34f24a253c3167ee956a778af", "opa_result": { "result": [ { "expressions": [ { "location": { "col": 1, "row": 1 }, "text": "data.oepul.o6_14.rego_symbols", "value": { "alm_density": { "A": 0 }, "days_counting_rule": { "arrival_day_included": true, "departure_day_included": false, "interruptions_count": false }, "eligible": false, "modulation_factor": 1.0, "premium_base": {}, "reporting_rules": { "cattle": { "arrival_days": 14, "departure_days": 14, "late_credit_days": 14 }, "equines_camelids": { "arrival_days": 7, "departure_days": 7, "late_credit_days": 7 }, "sheep_goats": { "arrival_days": 7, "departure_days": 7, "late_credit_days": 7 } } } } ] } ] }, "output": { "alm_density": { "A": 0 }, "days_counting_rule": { "arrival_day_included": true, "departure_day_included": false, "interruptions_count": false }, "eligible": false, "modulation_factor": 1.0, "premium_base": {}, "reporting_rules": { "cattle": { "arrival_days": 14, "departure_days": 14, "late_credit_days": 14 }, "equines_camelids": { "arrival_days": 7, "departure_days": 7, "late_credit_days": 7 }, "sheep_goats": { "arrival_days": 7, "departure_days": 7, "late_credit_days": 7 } } }, "output_changed_from_baseline": true, "purpose": "alpung_days von 60 auf 59 ändern; RGVE und Fläche beibehalten, um den Mindesttagepfad zu untersuchen.", "status": "defined" }, { "case_id": "missing_fact", "changes_from_baseline": [ { "after": { "present": false }, "before": { "present": true, "value": true }, "path": "/land/alpine_pastures/0/is_in_austria" } ], "input": { "documentation": { "oepul_reports": { "cattle_arrival_days": 14, "cattle_departure_days": 14, "other_arrival_days": 7, "other_departure_days": 7 } }, "farm": { "year": 2026 }, "land": { "alpine_pastures": [ { "access_stage": "stage_2", "alm_id": "A", "alm_inputs": { "fertilizer_used": false, "pesticide_used": false }, "area_ha": 3, "feed_practices": { "natural_fodder_sufficient": true, "non_alpine_silage_or_green_fodder": false } } ] }, "livestock": { "alpine_movements": [ { "alm_id": "A", "alpung_days": 60, "animal_id": "c1", "gve": 3, "is_held_in_austria": true, "species": "cattle" } ] }, "preferences_constraints": { "oepul_first_participation_year": true, "oepul_options": {}, "oepul_participation_requested": true } }, "input_sha256": "2b935988ec660b37067c7dfffaf84f36987ad507121622829e1b4069c1ec9cd8", "opa_result": { "result": [ { "expressions": [ { "location": { "col": 1, "row": 1 }, "text": "data.oepul.o6_14.rego_symbols", "value": { "alm_density": { "A": 1 }, "days_counting_rule": { "arrival_day_included": true, "departure_day_included": false, "interruptions_count": false }, "eligible": true, "modulation_factor": 1.0, "premium_base": {}, "reporting_rules": { "cattle": { "arrival_days": 14, "departure_days": 14, "late_credit_days": 14 }, "equines_camelids": { "arrival_days": 7, "departure_days": 7, "late_credit_days": 7 }, "sheep_goats": { "arrival_days": 7, "departure_days": 7, "late_credit_days": 7 } } } } ] } ] }, "output": { "alm_density": { "A": 1 }, "days_counting_rule": { "arrival_day_included": true, "departure_day_included": false, "interruptions_count": false }, "eligible": true, "modulation_factor": 1.0, "premium_base": {}, "reporting_rules": { "cattle": { "arrival_days": 14, "departure_days": 14, "late_credit_days": 14 }, "equines_camelids": { "arrival_days": 7, "departure_days": 7, "late_credit_days": 7 }, "sheep_goats": { "arrival_days": 7, "departure_days": 7, "late_credit_days": 7 } } }, "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": "defined" } ], "compile": { "errors": [], "status": "compiled" }, "input_contract_note": "Native almbezogene alpine_pastures und tierbezogene alpine_movements; area_ha in ha, gve als bereits aggregierter RGVE-Wert des Modellbeispiels, alpung_days und Meldefristen in Tagen. Förderjahr 2026; Erstteilnahmeflag ist hier ein Boolean. Keine Umrechnung von Tierzahlen oder Ableitung aus realen Meldedaten.", "inventory": { "independent_reference_case_status": "not_adjudicated", "profile_proposal_count": 72, "rule_count": 59, "rule_type_counts": { "access_averaging": 1, "access_classification": 1, "animal_application": 1, "animal_housing": 1, "annex_e_rates": 1, "applicant": 1, "application": 1, "area_reduction": 1, "area_transfer": 1, "conditionality": 1, "contract_period": 1, "cross_alm_allocation": 1, "data_completeness": 1, "day_counting": 1, "definition": 1, "drought_force_majeure": 1, "duration_obligation": 1, "eligibility": 1, "eligible_animals": 1, "farm_minimum": 1, "feed": 1, "feed_prohibition": 1, "fertilizer": 1, "field_application": 1, "footnote": 1, "foreign_alm_relief": 1, "interruption": 1, "last_entry": 1, "location": 1, "minimum_duration": 1, "minimum_participation": 1, "minimum_participation_exception": 1, "modulation": 1, "nata_code": 1, "naturschutz_land_management": 2, "naturschutz_premium": 1, "naturschutz_stocking_limit": 1, "naturschutz_training": 1, "naturschutz_training_replacement": 1, "option_availability": 1, "option_combination": 1, "option_period": 1, "option_prerequisite": 1, "payment_application": 1, "per_alm_calculation": 1, "plan_content": 1, "plan_density_exception": 1, "plan_premium": 1, "plan_review": 1, "plan_training": 1, "plant_protection": 1, "premium_area_cap": 1, "premium_rate": 1, "reporting_deadline": 2, "reporting_exception": 1, "stocking_basis": 1, "stocking_limit": 1 }, "source_count": 8, "source_coverage_claims": [ { "disposition_counts": { "not_rule": 2, "rules": 14 }, "item_count": 16, "review_scope": "full_document", "source_id": "o6_14_almbewirtschaftung_2026_04" }, { "disposition_counts": { "not_rule": 2, "rules": 8 }, "item_count": 10, "review_scope": "full_document", "source_id": "o6_allgemeine_teilnahmebedingungen_2026_04" }, { "disposition_counts": { "rules": 5 }, "item_count": 5, "review_scope": "targeted_sections", "source_id": "srl_oepul_2023" }, { "disposition_counts": { "rules": 5 }, "item_count": 5, "review_scope": "targeted_sections", "source_id": "srl_oepul_2023_anhaenge" }, { "disposition_counts": { "not_rule": 2, "rules": 1 }, "item_count": 3, "review_scope": "full_document", "source_id": "dry_2026_biodiversitaetsflaechen" }, { "disposition_counts": { "not_rule": 1 }, "item_count": 1, "review_scope": "full_document", "source_id": "rebzikade_2026" }, { "disposition_counts": { "not_rule": 1 }, "item_count": 1, "review_scope": "full_document", "source_id": "dry_2026_0805" }, { "disposition_counts": { "not_rule": 1 }, "item_count": 1, "review_scope": "full_document", "source_id": "dry_2026_0812" } ], "static_policy_input_paths": [ "input.documentation", "input.documentation.oepul_application_date", "input.documentation.oepul_field_list_date", "input.documentation.oepul_only_cattle", "input.documentation.oepul_participates_tierwohl_behirtung", "input.documentation.oepul_reports", "input.documentation.oepul_reports.cattle_arrival_days", "input.documentation.oepul_reports.cattle_departure_days", "input.documentation.oepul_reports.other_arrival_days", "input.documentation.oepul_reports.other_departure_days", "input.documentation.oepul_stocking_list_date", "input.farm", "input.farm.year", "input.land", "input.land.alpine_pastures", "input.land.alpine_pastures[].access_stage", "input.land.alpine_pastures[].alm_id", "input.land.alpine_pastures[].alm_inputs", "input.land.alpine_pastures[].alm_inputs.fertilizer_bio_allowed", "input.land.alpine_pastures[].alm_inputs.fertilizer_used", "input.land.alpine_pastures[].alm_inputs.non_alpine_slurry_or_liquid_manure", "input.land.alpine_pastures[].alm_inputs.pesticide_bio_only", "input.land.alpine_pastures[].alm_inputs.pesticide_used", "input.land.alpine_pastures[].alm_inputs.separated_home_farm_slurry_solids", "input.land.alpine_pastures[].alm_inputs.sewage_sludge", "input.land.alpine_pastures[].almweideplan", "input.land.alpine_pastures[].almweideplan.communicated_to_workers", "input.land.alpine_pastures[].almweideplan.contains_required_assessment", "input.land.alpine_pastures[].almweideplan.course.hours", "input.land.alpine_pastures[].almweideplan.course.recognized_provider", "input.land.alpine_pastures[].almweideplan.course.relevant_content", "input.land.alpine_pastures[].almweideplan.plan_created_by_deadline", "input.land.alpine_pastures[].almweideplan.plan_for_all_alms", "input.land.alpine_pastures[].almweideplan.strong_intensity", "input.land.alpine_pastures[].almweideplan.strong_intensity_reason", "input.land.alpine_pastures[].area_ha", "input.land.alpine_pastures[].feed_practices", "input.land.alpine_pastures[].feed_practices.natural_fodder_sufficient", "input.land.alpine_pastures[].feed_practices.non_alpine_silage_or_green_fodder", "input.land.alpine_pastures[].feed_practices.own_alpine_silage", "input.land.alpine_pastures[].feed_practices.own_alpine_silage_fed_on_same_alm", "input.land.alpine_pastures[].is_in_austria", "input.land.alpine_pastures[].naturschutz", "input.land.alpine_pastures[].naturschutz.course", "input.land.alpine_pastures[].naturschutz.course.completed_by", "input.land.alpine_pastures[].naturschutz.course.hours", "input.land.alpine_pastures[].naturschutz.course.recognized_provider", "input.land.alpine_pastures[].naturschutz.course.relevant_content", "input.land.alpine_pastures[].naturschutz.no_new_drainage", "input.land.alpine_pastures[].naturschutz.no_terrain_correction", "input.land.alpine_pastures[].naturschutz.project_codes", "input.land.alpine_pastures[].naturschutz.project_confirmation_for_all_parcels", "input.land.alpine_pastures[].naturschutz.sensitive_area_fertilizer_free", "input.land.alpine_pastures[].naturschutz.troughs_not_in_wetlands", "input.livestock", "input.livestock.alpine_movements", "input.livestock.alpine_movements[].alm_id", "input.livestock.alpine_movements[].alpung_days", "input.livestock.alpine_movements[].animal_id", "input.livestock.alpine_movements[].gve", "input.livestock.alpine_movements[].is_held_in_austria", "input.livestock.alpine_movements[].species", "input.preferences_constraints", "input.preferences_constraints.oepul_contract_start_year", "input.preferences_constraints.oepul_first_participation_year", "input.preferences_constraints.oepul_options", "input.preferences_constraints.oepul_options.almweideplan", "input.preferences_constraints.oepul_options.naturschutz_auf_der_alm", "input.preferences_constraints.oepul_participation_requested" ] }, "measure_id": "o6_14", "open_dependencies": [ "Historischer Luna-Quellenstand bleibt unverändert; Übereinstimmung mit dem aktuellen Quellenpaket und verbindliche Gesamtauslegung sind vor einer produktiven Übernahme separat zu prüfen.", "Native Eingaben sind kein gemeinsamer App-Vertrag; Herkunft, Vollständigkeit und Bedeutung der entscheidungsrelevanten Nachweisfelder benötigen eine gesonderte Zuordnung.", "Fehlende Standort-/Praxismerkmale benötigen eine explizite Missing-Data-Semantik; das negierte Vorliegen einer Verletzung ist kein positiver Nachweis.", "Antrags-/Listenfristen existieren als separate Funktionen und fließen nicht in eligible ein; GVE/RGVE-Aggregation und Bewegungsidentität benötigen belegte Zuordnung.", "Beobachtet: Trotz access_stage=stage_2/Förderjahr 2026 bleibt premium_base in allen drei Fällen {}. Die Policy liest data.o6_14.rates, die JSON-Datei enthält rates beim nativen Verzeichnisladen jedoch an der Datenwurzel; die Referenzauflösung muss vor einer Prämienintegration geklärt werden. {} ist keine belegte Nullprämie.", "Beobachtet: Entfernen von alm.is_in_austria ändert eligible=true nicht; ein Missing-Data-Status für den Standortnachweis fehlt." ], "output_contract_note": "rego_symbols ist das vorhandene Ausgabeobjekt mit eligible, Dichte je Alm, Basisprämien und Melde-/Tagesregeln. eligible prüft die implementierten Alm-Kernbedingungen; andere Fristfunktionen existieren separat und werden von eligible nicht aufgerufen. Prämienwerte können auch bei eligible=false berechnet werden und sind keine Förderzusage.", "query": "data.oepul.o6_14.rego_symbols", "references": [ { "detail": "Belegt die Query, tatsächlich konsumierte Eingabefelder, Checks und Berechnungen; die Variations- und Entfernungsfälle ändern jeweils genau einen konsumierten Blattwert.", "path": "runs/v2-o6_14-luna-high-20261004/workspace/policy/almbewirtschaftung.rego" }, { "detail": "Modellgenerierte synthetische Entwicklungsbeispiele und Grenzwerte; keine unabhängige Ground Truth.", "path": "runs/v2-o6_14-luna-high-20261004/workspace/tests/almbewirtschaftung_test.rego" }, { "detail": "Dokumentiert historische Quellen-/Eingabeannahmen und offene Integrations-/Auslegungsfragen.", "path": "runs/v2-o6_14-luna-high-20261004/workspace/notes/assumptions.md" }, { "detail": "Enthält rates an der JSON-Wurzel; bei nativer OPA-Verzeichnisladung stimmt dies nicht mit data.o6_14.rates in der Policy überein. Keine Umformung des historischen Datenbestands vorgenommen.", "path": "runs/v2-o6_14-luna-high-20261004/workspace/data/o6_14.json" } ], "run_id": "v2-o6_14-luna-high-20261004" }