{
  "case_origin": "Eigener synthetischer Entwicklungsbasisfall aus den tatsächlich konsumierten Policy-Feldern; Grenzen 3 RGVE/60 Tage aus modellgenerierten Einzeltests übernommen. Keine unabhängigen Sollurteile, keine Expertenvalidierung, keine Golden- oder Held-out-Fälle.",
  "cases": [
    {
      "case_id": "baseline",
      "changes_from_baseline": [],
      "input": {
        "farm": {
          "o6_15_application_date": "2025-12-31",
          "o6_15_payment_application_date": "2026-07-15",
          "participates_almbewirtschaftung": true,
          "year": 2026
        },
        "land": {
          "parcels": [
            {
              "accommodation_available": true,
              "care": {
                "animal_care": true,
                "care_essential_part_of_day": true,
                "daily_care": true,
                "disease_and_injury_treatment": true,
                "security_measures": true,
                "water_available": true
              },
              "grazing_management": {
                "site_adapted_grazing": true,
                "subarea_rotation_or_fencing": true
              },
              "is_alm": true,
              "stocking_days": 60
            }
          ]
        },
        "livestock": {
          "herd_protection_dog": {
            "dogs_on_alm": 0,
            "requested": false
          },
          "species_groups": [
            {
              "category": "Schafe",
              "gve": 3,
              "herded": true,
              "herding_days": 60,
              "milked_days_on_alms": 0,
              "report": false,
              "species": "sheep"
            }
          ]
        }
      },
      "input_sha256": "0a22f17a084b6ee0ae3c9cb5cf620b79f7d6b3a69d28cf942fac3e01f562940f",
      "opa_result": {
        "result": [
          {
            "expressions": [
              {
                "location": {
                  "col": 1,
                  "row": 1
                },
                "text": "{\"annual_contract_valid\": data.opul.o6_15.annual_contract_valid, \"participation_valid\": data.opul.o6_15.participation_valid, \"sixty_day_requirement_valid\": data.opul.o6_15.sixty_day_requirement_valid, \"care_requirement_valid\": data.opul.o6_15.care_requirement_valid, \"grazing_management_valid\": data.opul.o6_15.grazing_management_valid, \"accommodation_valid\": data.opul.o6_15.accommodation_valid, \"reporting_valid\": data.opul.o6_15.reporting_valid, \"premium_eur\": data.opul.o6_15.premium_eur}",
                "value": {
                  "accommodation_valid": true,
                  "annual_contract_valid": true,
                  "care_requirement_valid": true,
                  "grazing_management_valid": true,
                  "participation_valid": true,
                  "premium_eur": 243,
                  "reporting_valid": true,
                  "sixty_day_requirement_valid": true
                }
              }
            ]
          }
        ]
      },
      "output": {
        "accommodation_valid": true,
        "annual_contract_valid": true,
        "care_requirement_valid": true,
        "grazing_management_valid": true,
        "participation_valid": true,
        "premium_eur": 243,
        "reporting_valid": true,
        "sixty_day_requirement_valid": true
      },
      "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/species_groups/0/herding_days"
        }
      ],
      "input": {
        "farm": {
          "o6_15_application_date": "2025-12-31",
          "o6_15_payment_application_date": "2026-07-15",
          "participates_almbewirtschaftung": true,
          "year": 2026
        },
        "land": {
          "parcels": [
            {
              "accommodation_available": true,
              "care": {
                "animal_care": true,
                "care_essential_part_of_day": true,
                "daily_care": true,
                "disease_and_injury_treatment": true,
                "security_measures": true,
                "water_available": true
              },
              "grazing_management": {
                "site_adapted_grazing": true,
                "subarea_rotation_or_fencing": true
              },
              "is_alm": true,
              "stocking_days": 60
            }
          ]
        },
        "livestock": {
          "herd_protection_dog": {
            "dogs_on_alm": 0,
            "requested": false
          },
          "species_groups": [
            {
              "category": "Schafe",
              "gve": 3,
              "herded": true,
              "herding_days": 59,
              "milked_days_on_alms": 0,
              "report": false,
              "species": "sheep"
            }
          ]
        }
      },
      "input_sha256": "f62ac4107dd958ea58ff5f0951fda77a216ce60f22c24ec649c917eeb0689cdc",
      "opa_result": {
        "result": [
          {
            "expressions": [
              {
                "location": {
                  "col": 1,
                  "row": 1
                },
                "text": "{\"annual_contract_valid\": data.opul.o6_15.annual_contract_valid, \"participation_valid\": data.opul.o6_15.participation_valid, \"sixty_day_requirement_valid\": data.opul.o6_15.sixty_day_requirement_valid, \"care_requirement_valid\": data.opul.o6_15.care_requirement_valid, \"grazing_management_valid\": data.opul.o6_15.grazing_management_valid, \"accommodation_valid\": data.opul.o6_15.accommodation_valid, \"reporting_valid\": data.opul.o6_15.reporting_valid, \"premium_eur\": data.opul.o6_15.premium_eur}",
                "value": {
                  "accommodation_valid": true,
                  "annual_contract_valid": true,
                  "care_requirement_valid": true,
                  "grazing_management_valid": true,
                  "participation_valid": true,
                  "premium_eur": 243,
                  "reporting_valid": true,
                  "sixty_day_requirement_valid": false
                }
              }
            ]
          }
        ]
      },
      "output": {
        "accommodation_valid": true,
        "annual_contract_valid": true,
        "care_requirement_valid": true,
        "grazing_management_valid": true,
        "participation_valid": true,
        "premium_eur": 243,
        "reporting_valid": true,
        "sixty_day_requirement_valid": false
      },
      "output_changed_from_baseline": true,
      "purpose": "herding_days der Schafgruppe von 60 auf 59 ändern; die 60-Tage-Grenze getrennt von Teilnahme und Prämienberechnung beobachten.",
      "status": "defined"
    },
    {
      "case_id": "missing_fact",
      "changes_from_baseline": [
        {
          "after": {
            "present": false
          },
          "before": {
            "present": true,
            "value": 60
          },
          "path": "/livestock/species_groups/0/herding_days"
        }
      ],
      "input": {
        "farm": {
          "o6_15_application_date": "2025-12-31",
          "o6_15_payment_application_date": "2026-07-15",
          "participates_almbewirtschaftung": true,
          "year": 2026
        },
        "land": {
          "parcels": [
            {
              "accommodation_available": true,
              "care": {
                "animal_care": true,
                "care_essential_part_of_day": true,
                "daily_care": true,
                "disease_and_injury_treatment": true,
                "security_measures": true,
                "water_available": true
              },
              "grazing_management": {
                "site_adapted_grazing": true,
                "subarea_rotation_or_fencing": true
              },
              "is_alm": true,
              "stocking_days": 60
            }
          ]
        },
        "livestock": {
          "herd_protection_dog": {
            "dogs_on_alm": 0,
            "requested": false
          },
          "species_groups": [
            {
              "category": "Schafe",
              "gve": 3,
              "herded": true,
              "milked_days_on_alms": 0,
              "report": false,
              "species": "sheep"
            }
          ]
        }
      },
      "input_sha256": "8ff78d3a6c0cdef68ee9fd3d2fa303bd6fb6560f119b8cd7a018fe724616c51c",
      "opa_result": {
        "result": [
          {
            "expressions": [
              {
                "location": {
                  "col": 1,
                  "row": 1
                },
                "text": "{\"annual_contract_valid\": data.opul.o6_15.annual_contract_valid, \"participation_valid\": data.opul.o6_15.participation_valid, \"sixty_day_requirement_valid\": data.opul.o6_15.sixty_day_requirement_valid, \"care_requirement_valid\": data.opul.o6_15.care_requirement_valid, \"grazing_management_valid\": data.opul.o6_15.grazing_management_valid, \"accommodation_valid\": data.opul.o6_15.accommodation_valid, \"reporting_valid\": data.opul.o6_15.reporting_valid, \"premium_eur\": data.opul.o6_15.premium_eur}",
                "value": {
                  "accommodation_valid": true,
                  "annual_contract_valid": true,
                  "care_requirement_valid": true,
                  "grazing_management_valid": true,
                  "participation_valid": true,
                  "premium_eur": 243,
                  "reporting_valid": true,
                  "sixty_day_requirement_valid": false
                }
              }
            ]
          }
        ]
      },
      "output": {
        "accommodation_valid": true,
        "annual_contract_valid": true,
        "care_requirement_valid": true,
        "grazing_management_valid": true,
        "participation_valid": true,
        "premium_eur": 243,
        "reporting_valid": true,
        "sixty_day_requirement_valid": false
      },
      "output_changed_from_baseline": true,
      "purpose": "herding_days entfernen; untersuchen, ob der Teilcheck zwischen fehlendem Zeitraum und dokumentierter Unterschreitung unterscheidet.",
      "status": "defined"
    }
  ],
  "compile": {
    "errors": [],
    "status": "compiled"
  },
  "input_contract_note": "Native farm-Teilnahme-/Antragsdaten, land.parcels[].care/grazing_management und livestock.species_groups. gve ist der bereits aggregierte RGVE-Gruppenwert; stocking_days und herding_days sind Tage, ISO-Strings bilden Fristen ab. Drei RGVE Schafe, kein Milchzuschlag, kein beantragter Herdenschutzhund; kein realer Betrieb.",
  "inventory": {
    "independent_reference_case_status": "not_adjudicated",
    "profile_proposal_count": 60,
    "rule_count": 44,
    "rule_type_counts": {
      "accommodation": 1,
      "active_area_management": 1,
      "alm_definition": 1,
      "animal_care": 1,
      "annual_application": 1,
      "applicant_eligibility": 1,
      "application_deadline": 1,
      "care_components": 1,
      "category_completeness": 1,
      "combination_requirement": 1,
      "conditionality": 1,
      "contract_consequence": 1,
      "contract_period": 1,
      "day_counting": 1,
      "dog_application_limit": 1,
      "dog_premium": 1,
      "duration": 1,
      "eligible_animals": 1,
      "exit": 1,
      "farm_minimum_size": 1,
      "full_year_obligation": 1,
      "geographic_eligibility": 1,
      "grazing_management": 1,
      "herd_protection_dog_definition": 1,
      "herd_protection_dog_documentation": 1,
      "herd_protection_dog_duration": 1,
      "herder_cap": 1,
      "higher_force_2026": 1,
      "last_entry": 1,
      "milk_category": 1,
      "milk_cow_age": 1,
      "milk_flag_correction": 1,
      "milk_small_ruminant_age": 1,
      "minimum_participation": 1,
      "modulation": 1,
      "op_code_effect": 1,
      "payment_application": 1,
      "premium_rate": 1,
      "reporting_deadline_cattle": 1,
      "reporting_deadline_equine_camelid": 1,
      "reporting_deadline_small_ruminants": 1,
      "rgve_calculation": 1,
      "sanction_consequence": 1,
      "support_scope": 1
    },
    "source_count": 8,
    "source_coverage_claims": [
      {
        "disposition_counts": {
          "not_rule": 1,
          "rules": 8
        },
        "item_count": 9,
        "review_scope": "full_document",
        "source_id": "o6_15_measure_sheet"
      },
      {
        "disposition_counts": {
          "not_rule": 3,
          "rules": 6
        },
        "item_count": 9,
        "review_scope": "full_document",
        "source_id": "general_participation_conditions"
      },
      {
        "disposition_counts": {
          "not_rule": 1,
          "rules": 5
        },
        "item_count": 6,
        "review_scope": "targeted_sections",
        "source_id": "srl_oepul_2023"
      },
      {
        "disposition_counts": {
          "not_rule": 1,
          "rules": 1
        },
        "item_count": 2,
        "review_scope": "targeted_sections",
        "source_id": "srl_annexes_oepul_2023"
      },
      {
        "disposition_counts": {
          "not_rule": 1,
          "rules": 1
        },
        "item_count": 2,
        "review_scope": "full_document",
        "source_id": "ama_drought_notice_2026_05_22"
      },
      {
        "disposition_counts": {
          "not_rule": 1
        },
        "item_count": 1,
        "review_scope": "full_document",
        "source_id": "ama_insecticide_notice_2026_06_12"
      },
      {
        "disposition_counts": {
          "not_rule": 1
        },
        "item_count": 1,
        "review_scope": "full_document",
        "source_id": "ama_drought_notice_2026_08_05"
      },
      {
        "disposition_counts": {
          "not_rule": 1
        },
        "item_count": 1,
        "review_scope": "full_document",
        "source_id": "ama_drought_notice_2026_08_12"
      }
    ],
    "static_policy_input_paths": [
      "input.farm.o6_15_application_date",
      "input.farm.o6_15_drought.drought_prevented_obligation",
      "input.farm.o6_15_drought.higher_force_application_submitted",
      "input.farm.o6_15_exit.exit_effective_date",
      "input.farm.o6_15_exit.requested",
      "input.farm.o6_15_payment_application_date",
      "input.farm.participates_almbewirtschaftung",
      "input.farm.year",
      "input.land.parcels",
      "input.livestock.herd_protection_dog.certificate_recognized",
      "input.livestock.herd_protection_dog.day_and_night_with_herd",
      "input.livestock.herd_protection_dog.days_on_single_alm",
      "input.livestock.herd_protection_dog.dogs_on_alm",
      "input.livestock.herd_protection_dog.herded_animals_total_days",
      "input.livestock.herd_protection_dog.liability_insurance",
      "input.livestock.herd_protection_dog.permanent_herd_member",
      "input.livestock.herd_protection_dog.requested",
      "input.livestock.herd_protection_dog.works_without_direct_commands",
      "input.livestock.species_groups"
    ]
  },
  "measure_id": "o6_15",
  "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.",
    "Mehr-Alm-/Mehr-Hirten-Zuordnung, zeitanteilige Tierbewegungen und Modulationsbasis sind laut Run-Annahmen nicht vollständig bestimmbar.",
    "Es fehlt die Zusammenführung der Teilchecks zu einem quellengebundenen Gesamturteil samt Missing-Data-Zustand; die Prämienfunktion ist davon unabhängig.",
    "Beobachtet: baseline, herding_days=59 und fehlende herding_days liefern alle premium_eur=243; sixty_day_requirement_valid ist nur im Basisfall true. Die Berechnung darf deshalb nicht direkt als bestätigter Anspruch angezeigt werden."
  ],
  "output_contract_note": "Die Policy nutzt package opul.o6_15 und hat kein Gesamturteil. Die Query zeigt einzelne Vertrags-/Teilnahme-/Betreuungs-/Fristchecks sowie premium_eur. premium_eur wird unabhängig von diesen Checks berechnet; eine Summe ist deshalb nur eine native Berechnungsindikation und keine Gesamtfreigabe.",
  "query": "{\"annual_contract_valid\": data.opul.o6_15.annual_contract_valid, \"participation_valid\": data.opul.o6_15.participation_valid, \"sixty_day_requirement_valid\": data.opul.o6_15.sixty_day_requirement_valid, \"care_requirement_valid\": data.opul.o6_15.care_requirement_valid, \"grazing_management_valid\": data.opul.o6_15.grazing_management_valid, \"accommodation_valid\": data.opul.o6_15.accommodation_valid, \"reporting_valid\": data.opul.o6_15.reporting_valid, \"premium_eur\": data.opul.o6_15.premium_eur}",
  "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_15-luna-high-20261004/workspace/policy/behirtung.rego"
    },
    {
      "detail": "Modellgenerierte synthetische Entwicklungsbeispiele und Grenzwerte; keine unabhängige Ground Truth.",
      "path": "runs/v2-o6_15-luna-high-20261004/workspace/tests/behirtung_test.rego"
    },
    {
      "detail": "Dokumentiert historische Quellen-/Eingabeannahmen und offene Integrations-/Auslegungsfragen.",
      "path": "runs/v2-o6_15-luna-high-20261004/workspace/notes/assumptions.md"
    }
  ],
  "run_id": "v2-o6_15-luna-high-20261004"
}