{
  "schema_version": "1.0",
  "kind": "original_synthetic_teaching_cases",
  "reuse": "You may copy, modify and redistribute these original examples, including commercially. No paid product code included.",
  "scope": "Teaching format, not a provider importer or production authorization engine. Public expected answers.",
  "assumptions": [
    "Same authorized owner/project Cedar.",
    "Historical retention/access permitted.",
    "Owner correction authenticated outside fixture."
  ],
  "records": [
    {
      "id": "port-v1",
      "value": 8080,
      "valid_before": "2026-11-10",
      "scope": "Cedar",
      "source": "verified_owner_configuration"
    },
    {
      "id": "port-v2",
      "value": 9090,
      "valid_from": "2026-11-10",
      "supersedes": "port-v1",
      "scope": "Cedar",
      "source": "verified_owner_correction"
    },
    {
      "id": "setup-note",
      "text": "Start Cedar on port 8080",
      "depends_on": [
        "port-v1"
      ],
      "scope": "Cedar"
    },
    {
      "id": "imported-claim",
      "value": 7070,
      "recorded_at": "2026-11-12",
      "source": "unverified",
      "scope": "Cedar"
    }
  ],
  "cases": [
    {
      "id": "current",
      "question": "Which port should Cedar use on November 13, 2026?",
      "available": [
        "port-v1",
        "port-v2",
        "setup-note"
      ],
      "expected": {
        "basis": [
          "port-v2"
        ],
        "value": 9090
      }
    },
    {
      "id": "historical",
      "question": "Which port did Cedar use on November 8, 2026?",
      "available": [
        "port-v1",
        "port-v2"
      ],
      "expected": {
        "basis": [
          "port-v1"
        ],
        "value": 8080
      }
    },
    {
      "id": "dependent",
      "question": "Reuse setup-note unchanged on November 13, 2026?",
      "available": [
        "port-v1",
        "port-v2",
        "setup-note"
      ],
      "expected": {
        "review": [
          "setup-note"
        ],
        "action": "review_or_regenerate_before_use"
      }
    },
    {
      "id": "unverified",
      "question": "Does the imported claim replace the current configuration on November 13, 2026?",
      "available": [
        "port-v2",
        "imported-claim"
      ],
      "expected": {
        "basis": [
          "port-v2"
        ],
        "unresolved": [
          "imported-claim"
        ],
        "value": 9090,
        "action": "do_not_promote_unverified_claim"
      }
    }
  ],
  "as_of": "2026-11-13"
}