{
  "case_origin": "Die Basis entspricht test_eligible_with_one_valid_cow; die Haltedatum-Variation und das entfernte Zuchtprogramm-Feld sind eigene Einzeländerungen an dessen synthetischem Eingabemuster. Alle Fälle sind synthetische Entwicklungsfälle, keine unabhängig beurteilten Referenz- oder zurückgehaltenen Testfälle.",
  "cases": [
    {
      "case_id": "baseline",
      "changes_from_baseline": [],
      "input": {
        "farm": {
          "year": 2025
        },
        "livestock": {
          "animals": [
            {
              "animal_type": "cow",
              "approved_breeding_program": true,
              "breed": "Murbodner",
              "breeding_facts": {
                "calved_by_stichtag": true
              },
              "held_from": "2025-04-01",
              "held_to": "2025-12-31",
              "purebred": true,
              "purebred_mating": true,
              "regular_breeding_use": true,
              "species": "cattle"
            }
          ]
        }
      },
      "input_sha256": "272bef0197aa84d3bf7661c88ed41c257c2d3940b0fec5047015cd0a9566089a",
      "opa_result": {
        "result": [
          {
            "expressions": [
              {
                "location": {
                  "col": 1,
                  "row": 1
                },
                "text": "{\"eligible\": data.policy.o6_5.eligible, \"eligible_animals\": data.policy.o6_5.eligible_animals}",
                "value": {
                  "eligible": true,
                  "eligible_animals": [
                    {
                      "animal_type": "cow",
                      "approved_breeding_program": true,
                      "breed": "Murbodner",
                      "breeding_facts": {
                        "calved_by_stichtag": true
                      },
                      "held_from": "2025-04-01",
                      "held_to": "2025-12-31",
                      "purebred": true,
                      "purebred_mating": true,
                      "regular_breeding_use": true,
                      "species": "cattle"
                    }
                  ]
                }
              }
            ]
          }
        ]
      },
      "output": {
        "eligible": true,
        "eligible_animals": [
          {
            "animal_type": "cow",
            "approved_breeding_program": true,
            "breed": "Murbodner",
            "breeding_facts": {
              "calved_by_stichtag": true
            },
            "held_from": "2025-04-01",
            "held_to": "2025-12-31",
            "purebred": true,
            "purebred_mating": true,
            "regular_breeding_use": true,
            "species": "cattle"
          }
        ]
      },
      "output_changed_from_baseline": false,
      "purpose": "Einen synthetischen Einzeltiersachverhalt mit dem historischen Kandidaten ausführen.",
      "status": "defined"
    },
    {
      "case_id": "variation",
      "changes_from_baseline": [
        {
          "after": {
            "present": true,
            "value": "2025-12-30"
          },
          "before": {
            "present": true,
            "value": "2025-12-31"
          },
          "path": "/livestock/animals/0/held_to"
        }
      ],
      "input": {
        "farm": {
          "year": 2025
        },
        "livestock": {
          "animals": [
            {
              "animal_type": "cow",
              "approved_breeding_program": true,
              "breed": "Murbodner",
              "breeding_facts": {
                "calved_by_stichtag": true
              },
              "held_from": "2025-04-01",
              "held_to": "2025-12-30",
              "purebred": true,
              "purebred_mating": true,
              "regular_breeding_use": true,
              "species": "cattle"
            }
          ]
        }
      },
      "input_sha256": "5410a24d319f135d792cb2fbc53ef511ec3c5a4c804527327c5fefc92d689dc9",
      "opa_result": {
        "result": [
          {
            "expressions": [
              {
                "location": {
                  "col": 1,
                  "row": 1
                },
                "text": "{\"eligible\": data.policy.o6_5.eligible, \"eligible_animals\": data.policy.o6_5.eligible_animals}",
                "value": {
                  "eligible": false,
                  "eligible_animals": []
                }
              }
            ]
          }
        ]
      },
      "output": {
        "eligible": false,
        "eligible_animals": []
      },
      "output_changed_from_baseline": true,
      "purpose": "Das Ende der Haltung um einen Tag vor die in holding_deadline verwendete Jahresendgrenze setzen.",
      "status": "defined"
    },
    {
      "case_id": "missing_fact",
      "changes_from_baseline": [
        {
          "after": {
            "present": false
          },
          "before": {
            "present": true,
            "value": true
          },
          "path": "/livestock/animals/0/approved_breeding_program"
        }
      ],
      "input": {
        "farm": {
          "year": 2025
        },
        "livestock": {
          "animals": [
            {
              "animal_type": "cow",
              "breed": "Murbodner",
              "breeding_facts": {
                "calved_by_stichtag": true
              },
              "held_from": "2025-04-01",
              "held_to": "2025-12-31",
              "purebred": true,
              "purebred_mating": true,
              "regular_breeding_use": true,
              "species": "cattle"
            }
          ]
        }
      },
      "input_sha256": "175dfb44e63972533fdaec8f74a309c61463e9914523da9f9a84cfa7689e81f3",
      "opa_result": {
        "result": [
          {
            "expressions": [
              {
                "location": {
                  "col": 1,
                  "row": 1
                },
                "text": "{\"eligible\": data.policy.o6_5.eligible, \"eligible_animals\": data.policy.o6_5.eligible_animals}",
                "value": {
                  "eligible": false,
                  "eligible_animals": []
                }
              }
            ]
          }
        ]
      },
      "output": {
        "eligible": false,
        "eligible_animals": []
      },
      "output_changed_from_baseline": true,
      "purpose": "Den konsumierten Nachweis approved_breeding_program entfernen und den nativen Umgang mit unbekannten Fakten beobachten.",
      "status": "defined"
    }
  ],
  "compile": {
    "errors": [],
    "status": "compiled"
  },
  "input_contract_note": "farm.year ist das betrachtete Kalenderjahr; livestock.animals enthält einzelne Tiere mit nativen englischen Art-/Typwerten, Rassenbezeichnung, Zucht-/Abkalben-Nachweisen und ISO-Haltedaten. Keine Übertragung eines echten Tierbestands.",
  "inventory": {
    "independent_reference_case_status": "not_adjudicated",
    "profile_proposal_count": 2,
    "rule_count": 55,
    "rule_type_counts": {
      "2026_holding_exception": 1,
      "2026_movement_reporting": 1,
      "2026_notice_scope": 1,
      "2026_replacement_reporting_exception": 1,
      "animal_scope": 1,
      "application": 1,
      "application_deadline": 1,
      "automatic_extension": 1,
      "breed_list": 1,
      "breeding_organization_confirmation": 1,
      "breeding_organization_deadline": 1,
      "breeding_program": 1,
      "breeding_station_transfer": 1,
      "buck_age": 1,
      "bull_age": 1,
      "cattle_application": 1,
      "cattle_departure": 1,
      "cattle_late_transfer": 1,
      "cattle_replacement": 1,
      "conditionality": 1,
      "contract_period": 1,
      "control": 1,
      "cow_requirement": 1,
      "data_responsibility": 1,
      "departure_reporting": 1,
      "doe_requirement": 1,
      "equine_identification": 1,
      "ewe_requirement": 1,
      "farm_minimum_size": 1,
      "female_breeding": 1,
      "gep_requirements": 1,
      "gep_surcharge": 1,
      "holding_period": 1,
      "latest_entry": 1,
      "location": 1,
      "male_breeding": 1,
      "male_breeding_transfer": 1,
      "mare_requirement": 1,
      "measure_transfer": 1,
      "minimum_participation": 1,
      "payment": 1,
      "premium_schedule": 1,
      "ram_boar_age": 1,
      "replacement_period": 1,
      "replacement_premium": 1,
      "replacement_reporting": 1,
      "sanction": 1,
      "short_stay_exception": 1,
      "sow_requirement": 1,
      "stallion_age": 1,
      "stallion_offspring": 1,
      "temporary_pasture": 1,
      "transfer_reporting": 1,
      "vis_reporting": 1,
      "withdrawal": 1
    },
    "source_count": 8,
    "source_coverage_claims": [
      {
        "disposition_counts": {
          "not_rule": 1,
          "rules": 9
        },
        "item_count": 10,
        "review_scope": "full_document",
        "source_id": "o6_5_sheet_2025_10"
      },
      {
        "disposition_counts": {
          "not_rule": 4,
          "rules": 9
        },
        "item_count": 13,
        "review_scope": "full_document",
        "source_id": "o6_general_2026_04"
      },
      {
        "disposition_counts": {
          "rules": 3
        },
        "item_count": 3,
        "review_scope": "targeted_sections",
        "source_id": "srl_2023_main"
      },
      {
        "disposition_counts": {
          "rules": 1
        },
        "item_count": 1,
        "review_scope": "targeted_sections",
        "source_id": "srl_2023_annex_d"
      },
      {
        "disposition_counts": {
          "rules": 1
        },
        "item_count": 1,
        "review_scope": "full_document",
        "source_id": "notice_2026_05_22_biodiversity"
      },
      {
        "disposition_counts": {
          "not_rule": 1
        },
        "item_count": 1,
        "review_scope": "full_document",
        "source_id": "notice_2026_06_12_insecticide"
      },
      {
        "disposition_counts": {
          "not_rule": 1
        },
        "item_count": 1,
        "review_scope": "full_document",
        "source_id": "notice_2026_08_05_drought"
      },
      {
        "disposition_counts": {
          "rules": 1
        },
        "item_count": 1,
        "review_scope": "full_document",
        "source_id": "notice_2026_08_12_drought"
      }
    ],
    "static_policy_input_paths": [
      "input.farm.application_date",
      "input.farm.year",
      "input.livestock.animals"
    ]
  },
  "measure_id": "o6_5",
  "open_dependencies": [
    "Einzeltiere sind im Canonical Farm Profile nicht abgebildet; die vorgeschlagenen Discover-Felder sind kein realer Bestand.",
    "Antrags-/Vertragsbedingungen und Tierbewegungsnachweise benötigen eine bewusst definierte Gesamtentscheidung; die native eligible-Abfrage verbindet diese Helfer nicht.",
    "Die fachliche Abgrenzung der verkürzten Haltedauer und Nachbesetzung 2026 bleibt laut historischen Annahmen offen."
  ],
  "output_contract_note": "Die explizite Projektion zeigt nur das native eligible und eligible_animals. eligible bedeutet: mindestens ein Tier erfüllt animal_eligible und holding_valid. Es gibt keine native Gesamtentscheidung oder Verletzungsliste; Antrags-, Vertrags- und Bewegungshilfsregeln fließen nicht in eligible ein. Keine vollständige Förderfreigabe oder Auszahlung.",
  "query": "{\"eligible\": data.policy.o6_5.eligible, \"eligible_animals\": data.policy.o6_5.eligible_animals}",
  "references": [
    {
      "detail": "Nativer Eingabeverbrauch und abgefragte Ausgabe; Änderungen werden gegen diese historische Policy untersucht.",
      "path": "runs/v2-o6_5-luna-high-20261002/workspace/policy/o6_5.rego"
    },
    {
      "detail": "Die Basis entspricht test_eligible_with_one_valid_cow; die Haltedatum-Variation und das entfernte Zuchtprogramm-Feld sind eigene Einzeländerungen an dessen synthetischem Eingabemuster.",
      "path": "runs/v2-o6_5-luna-high-20261002/workspace/tests/o6_5_test.rego"
    },
    {
      "detail": "Historische Eingabe-, Quellen- und Integrationsannahmen; keine unabhängige fachliche Bestätigung.",
      "path": "runs/v2-o6_5-luna-high-20261002/workspace/notes/assumptions.md"
    }
  ],
  "run_id": "v2-o6_5-luna-high-20261002"
}