{
  "typed_entities_and_identifiers": [
    {
      "name": "Framework identifiers FW-A and FW-B",
      "identifier_status": "source_supported",
      "fields": [
        {
          "name": "framework_identifier",
          "type": "string",
          "source_units": ["F01", "F04", "F05", "F06"]
        }
      ],
      "source_units": ["F01", "F04", "F05", "F06"]
    },
    {
      "name": "Request identifiers Q and Z",
      "identifier_status": "source_supported",
      "fields": [
        {
          "name": "request_identifier",
          "type": "string",
          "source_units": ["F04", "F05", "F06"]
        },
        {
          "name": "framework_identifier",
          "type": "string",
          "source_units": ["F05", "F06"]
        },
        {
          "name": "Q_requested_net_amount",
          "type": "decimal (EUR; value 10000)",
          "source_units": ["F05"]
        },
        {
          "name": "Q_cancelled_net_amount",
          "type": "decimal (EUR; value 0)",
          "source_units": ["F05"]
        }
      ],
      "source_units": ["F04", "F05", "F06"]
    },
    {
      "name": "Recorded call-offs before Q; individual identifiers not supplied",
      "identifier_status": "not_established",
      "fields": [
        {
          "name": "framework_identifier",
          "type": "string (FW-A)",
          "source_units": ["F04"]
        },
        {
          "name": "quarter_reference",
          "type": "relative calendar-quarter reference (current)",
          "source_units": ["F04"]
        },
        {
          "name": "recorded_uncancelled_net_amounts",
          "type": "array of decimal (EUR; values 30000 and 40000)",
          "source_units": ["F04"]
        },
        {
          "name": "cancelled_net_amount",
          "type": "decimal (EUR; fully cancelled call-offs contribute zero, partial cancellation removes only the cancelled amount)",
          "source_units": ["F03"]
        }
      ],
      "source_units": ["F03", "F04"]
    },
    {
      "name": "Quarterly framework assessment record; proposed design, not a source-established identifier",
      "identifier_status": "proposed_design",
      "fields": [
        {
          "name": "framework_identifier",
          "type": "string",
          "source_units": ["F01", "F04", "F05"]
        },
        {
          "name": "quarter_reference",
          "type": "relative calendar-quarter reference",
          "source_units": ["F01", "F04", "F05"]
        },
        {
          "name": "cumulative_net_amount_including_request",
          "type": "decimal (EUR; derived scenario value 80000)",
          "source_units": ["F03", "F04", "F05"]
        },
        {
          "name": "competition_threshold",
          "type": "decimal (EUR; value 80000)",
          "source_units": ["F01", "F02"]
        }
      ],
      "source_units": ["F01", "F02", "F03", "F04", "F05"]
    }
  ],
  "decision_predicates": [
    {
      "id": "P01",
      "decision": "new_competition_from_amount_threshold",
      "actor": "not specified",
      "scope": "Call-offs under FW-A in the current calendar quarter, including Q. Z belongs to FW-B and is outside this aggregation.",
      "condition": "The cumulative net amount, counting fully cancelled call-offs as zero and removing only cancelled amounts for partial cancellations, exceeds 80000. For the supplied scenario, 30000 + 40000 + 10000 = 80000, so this predicate is false.",
      "units": "EUR net",
      "comparison": "strictly greater than 80000",
      "source_units": ["F01", "F03", "F04", "F05", "F06"]
    },
    {
      "id": "P02",
      "decision": "new_competition_from_amount_threshold",
      "actor": "not specified",
      "scope": "FW-A cumulative net value in the current calendar quarter after including Q.",
      "condition": "The cumulative net amount equals 80000. This predicate is true for the supplied scenario, and F02 explicitly states that equality does not trigger a new competition.",
      "units": "EUR net",
      "comparison": "equal to 80000",
      "source_units": ["F01", "F02", "F03", "F04", "F05"]
    },
    {
      "id": "P03",
      "decision": "automatic_order_merge",
      "actor": "not specified",
      "scope": "Automatic merging of the scenario's call-offs into a single order, assessed only against the supplied records.",
      "condition": "The supplied records specify no rule for merging call-offs into a single order. This source-availability predicate is true under F06; it establishes neither permission nor prohibition.",
      "units": "not applicable",
      "comparison": "not applicable",
      "source_units": ["F06"]
    }
  ],
  "process_transitions": [
    {
      "from_state": "Amount-threshold assessment pending (proposed analytical state)",
      "to_state": "New competition required by amount threshold (proposed analytical state)",
      "event": "Evaluate the cancellation-adjusted FW-A current-quarter cumulative net amount including the request.",
      "guard": "P01 is true. This branch is not taken for the supplied scenario; it identifies a requirement without asserting that a competition has occurred.",
      "predicate_ids": ["P01"],
      "source_units": ["F01", "F03", "F04", "F05", "F06"]
    },
    {
      "from_state": "Amount-threshold assessment pending (proposed analytical state)",
      "to_state": "No new competition required by the equality amount trigger (proposed analytical state)",
      "event": "Evaluate the cumulative net amount after including Q.",
      "guard": "P02 is true: the cumulative value is exactly EUR 80000. This transition establishes no approval or permission to place Q.",
      "predicate_ids": ["P02"],
      "source_units": ["F01", "F02", "F03", "F04", "F05"]
    },
    {
      "from_state": "Automatic-merge assessment pending (proposed analytical state)",
      "to_state": "Automatic-merge disposition not established (proposed analytical state)",
      "event": "Check the supplied records for an applicable merging rule.",
      "guard": "P03 is true. The transition records the rule gap; it neither performs nor authorizes a merge.",
      "predicate_ids": ["P03"],
      "source_units": ["F06"]
    }
  ],
  "scenario_decisions": [
    {
      "decision": "new_competition_from_amount_threshold",
      "disposition": "not_required",
      "predicate_ids": ["P01", "P02"],
      "source_units": ["F01", "F02", "F03", "F04", "F05", "F06"],
      "rationale": "Using the supplied scenario totals, FW-A's current-quarter cumulative net value including Q is EUR 30000 + EUR 40000 + EUR 10000 = EUR 80000. The existing amounts are already uncancelled, and none of Q is cancelled, so no further cancellation deduction applies. Z is outside the FW-A scope. The strict greater-than condition is false, and F02 expressly excludes equality from triggering a new competition. This disposition is limited to the named amount-threshold rule, not a finding that all prerequisites are satisfied. The blueprint is a development draft, not a business-approved authorization."
    },
    {
      "decision": "automatic_order_merge",
      "disposition": "not_established",
      "predicate_ids": ["P03"],
      "source_units": ["F06"],
      "rationale": "F06 expressly states that the records specify no merging rule. Automatic merging therefore cannot be classified as required, permitted, or prohibited from these sources. No closed-world assumption turns the missing rule into a prohibition, and the amount-threshold result supplies no merge authority."
    }
  ],
  "unresolved_questions": [
    "What rule, if any, governs automatic merging into a single order, including its actor, authority, conditions, and framework scope? F06 supplies none.",
    "Whether any separate prerequisites or authorizations apply to proceeding with Q, and whether they are satisfied, remains unspecified. The proposed analytical transitions do not establish a complete operational process."
  ]
}