{
  "measure_id": "o6_14",
  "run_id": "v2-o6_14-luna-high-20261004",
  "query": "data.oepul.o6_14.rego_symbols",
  "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.",
  "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.",
  "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",
      "purpose": "Synthetische Ausgangskonstellation zur Beobachtung der nativen Ausgabe; kein fachlich bestätigter Positivfall.",
      "input": {
        "farm": {
          "year": 2026
        },
        "land": {
          "alpine_pastures": [
            {
              "alm_id": "A",
              "area_ha": 3,
              "access_stage": "stage_2",
              "is_in_austria": true,
              "feed_practices": {
                "natural_fodder_sufficient": true,
                "non_alpine_silage_or_green_fodder": false
              },
              "alm_inputs": {
                "pesticide_used": false,
                "fertilizer_used": false
              }
            }
          ]
        },
        "livestock": {
          "alpine_movements": [
            {
              "animal_id": "c1",
              "alm_id": "A",
              "species": "cattle",
              "gve": 3,
              "alpung_days": 60,
              "is_held_in_austria": true
            }
          ]
        },
        "preferences_constraints": {
          "oepul_participation_requested": true,
          "oepul_first_participation_year": true,
          "oepul_options": {}
        },
        "documentation": {
          "oepul_reports": {
            "cattle_arrival_days": 14,
            "cattle_departure_days": 14,
            "other_arrival_days": 7,
            "other_departure_days": 7
          }
        }
      }
    },
    {
      "case_id": "variation",
      "purpose": "alpung_days von 60 auf 59 ändern; RGVE und Fläche beibehalten, um den Mindesttagepfad zu untersuchen.",
      "input": {
        "farm": {
          "year": 2026
        },
        "land": {
          "alpine_pastures": [
            {
              "alm_id": "A",
              "area_ha": 3,
              "access_stage": "stage_2",
              "is_in_austria": true,
              "feed_practices": {
                "natural_fodder_sufficient": true,
                "non_alpine_silage_or_green_fodder": false
              },
              "alm_inputs": {
                "pesticide_used": false,
                "fertilizer_used": false
              }
            }
          ]
        },
        "livestock": {
          "alpine_movements": [
            {
              "animal_id": "c1",
              "alm_id": "A",
              "species": "cattle",
              "gve": 3,
              "alpung_days": 59,
              "is_held_in_austria": true
            }
          ]
        },
        "preferences_constraints": {
          "oepul_participation_requested": true,
          "oepul_first_participation_year": true,
          "oepul_options": {}
        },
        "documentation": {
          "oepul_reports": {
            "cattle_arrival_days": 14,
            "cattle_departure_days": 14,
            "other_arrival_days": 7,
            "other_departure_days": 7
          }
        }
      }
    },
    {
      "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
        },
        "land": {
          "alpine_pastures": [
            {
              "alm_id": "A",
              "area_ha": 3,
              "access_stage": "stage_2",
              "feed_practices": {
                "natural_fodder_sufficient": true,
                "non_alpine_silage_or_green_fodder": false
              },
              "alm_inputs": {
                "pesticide_used": false,
                "fertilizer_used": false
              }
            }
          ]
        },
        "livestock": {
          "alpine_movements": [
            {
              "animal_id": "c1",
              "alm_id": "A",
              "species": "cattle",
              "gve": 3,
              "alpung_days": 60,
              "is_held_in_austria": true
            }
          ]
        },
        "preferences_constraints": {
          "oepul_participation_requested": true,
          "oepul_first_participation_year": true,
          "oepul_options": {}
        },
        "documentation": {
          "oepul_reports": {
            "cattle_arrival_days": 14,
            "cattle_departure_days": 14,
            "other_arrival_days": 7,
            "other_departure_days": 7
          }
        }
      }
    }
  ],
  "references": [
    {
      "path": "runs/v2-o6_14-luna-high-20261004/workspace/policy/almbewirtschaftung.rego",
      "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/tests/almbewirtschaftung_test.rego",
      "detail": "Modellgenerierte synthetische Entwicklungsbeispiele und Grenzwerte; keine unabhängige Ground Truth."
    },
    {
      "path": "runs/v2-o6_14-luna-high-20261004/workspace/notes/assumptions.md",
      "detail": "Dokumentiert historische Quellen-/Eingabeannahmen und offene Integrations-/Auslegungsfragen."
    },
    {
      "path": "runs/v2-o6_14-luna-high-20261004/workspace/data/o6_14.json",
      "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."
    }
  ],
  "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."
  ]
}