{
  "family": "F04",
  "title": "Zwei Begründungswege für einen Bücherwagen: ausgefüllte Annahmenspur",
  "synthetic": true,
  "planning_question": "Soll der gemeinsame Bücherwagen um 10 Uhr in Leseraum B stehen?",
  "domains": [
    "Zwei Ausgabestellen einer fiktiven Bibliothek",
    "Zwei fiktive schulische Leseraume"
  ],
  "five_claims": {
    "M": "Die zugeordneten Beziehungen Ausgabestelle/Bestand/Nachfrage entsprechen Leseraum/Bücherwagen/Nachfrage; diese Zuordnung bleibt in allen vier Zuständen gehalten.",
    "D": "Für 10 Uhr ist Nachfrage in Raum B ausdrücklich als synthetische Zielprämisse gesetzt.",
    "P": "Widerrufbare Annahme: Die übertragene Bereitstellungsregel ist für diese Zielaufgabe plausibel.",
    "H": "Eine unabhängige fiktive Dienstplananweisung nennt genau Bücherwagen, Leseraum B und 10 Uhr. In den beiden ALT1-Zuständen ist sie gesetzt, sonst nicht.",
    "C": "Der Bücherwagen soll um 10 Uhr in Raum B bereitstehen."
  },
  "justifications": {
    "J_analogy": "M AND D AND P -> C",
    "J_independent": "H -> C"
  },
  "states": [
    {
      "state_id": "ALT0_P1",
      "mapping_held": true,
      "demand_premise": true,
      "plausible_transfer_default": true,
      "independent_instruction_present": false,
      "analogical_support_active": true,
      "independent_support_active": false,
      "conclusion_status": "supported_in_this_fixture",
      "negated_conclusion_proven": false,
      "decision": "Retain C with its active justification."
    },
    {
      "state_id": "ALT0_P0",
      "mapping_held": true,
      "demand_premise": true,
      "plausible_transfer_default": false,
      "independent_instruction_present": false,
      "analogical_support_active": false,
      "independent_support_active": false,
      "conclusion_status": "undetermined",
      "negated_conclusion_proven": false,
      "decision": "Withdraw support for C; keep mapping, ask for a supporting instruction or premise."
    },
    {
      "state_id": "ALT1_P1",
      "mapping_held": true,
      "demand_premise": true,
      "plausible_transfer_default": true,
      "independent_instruction_present": true,
      "analogical_support_active": true,
      "independent_support_active": true,
      "conclusion_status": "supported_in_this_fixture",
      "negated_conclusion_proven": false,
      "decision": "Retain C with its active justification."
    },
    {
      "state_id": "ALT1_P0",
      "mapping_held": true,
      "demand_premise": true,
      "plausible_transfer_default": false,
      "independent_instruction_present": true,
      "analogical_support_active": false,
      "independent_support_active": true,
      "conclusion_status": "supported_in_this_fixture",
      "negated_conclusion_proven": false,
      "decision": "Retain C with its active justification."
    }
  ],
  "controlled_comparisons": [
    "ALT0_P1 -> ALT0_P0: nur P wird zurückgenommen; C verliert seine einzige Stütze.",
    "ALT1_P1 -> ALT1_P0: nur P wird zurückgenommen; H und die übrigen Prämissen bleiben gleich, C bleibt durch H gestützt."
  ],
  "own_checks": {
    "four_state_boolean_evaluation": "passed",
    "LISP_or_LTRE_execution": false,
    "customer_application": false
  },
  "source_anchor": {
    "url": "https://www.qrg.northwestern.edu/BPS/ltms/ltms-ex.lisp",
    "locator": "test-bug, lines77–90 in retrieved source view",
    "access": "Direct public source text read by Codex research root on2026-09-07; not executed.",
    "paraphrase": "Der veröffentlichte Test setzt zwei Disjunktionen x∨z und y∨z, nimmt x und y als falsch an und zieht anschließend die x-Annahme zurück. y bleibt damit ein eigener Begründungsweg zu z. Der Kommentar bezeichnet das frühere Ausbleiben der z-Markierung als Problem.",
    "limit": "Dies ist ein nichtanalogischer LTMS-Codefall. Die Übertragung auf das Bücherwagen-Beispiel ist unser Entwurf, keine vom Original ausgeführte Analogie."
  },
  "limits": [
    "Keine empirische Ideenbewertung, kein universeller Prüfer, keine Softwareausführung des BPS-Originals.",
    "Anwendbarkeit der Übertragungsregel, Dienstplanbefugnis und reale Nachfrage sind außerhalb der synthetischen Annahmen ungeprüft."
  ]
}