{
  "schema": "KLT-SYL-RBD-import-v1",
  "source_release": "KLT-SYL-DK-v1.1",
  "truth_layer_promotion": 0,
  "master_database_changed": false,
  "nodes": [
    {
      "id": "S1",
      "kind": "SOURCE",
      "status": "SOURCE_RECORD",
      "payload": {
        "id": "S1",
        "file_name": "17896235186616900138756222894727.jpg",
        "locator": "manuscript p.73",
        "role": "authorial primary",
        "local_sha256": "c18e15ff5e27f235781cd9ed2ee8591d7f4e29594e1edb2f6dac87bda6ee0e24",
        "local_bytes": 791495
      }
    },
    {
      "id": "S3",
      "kind": "SOURCE",
      "status": "SOURCE_RECORD",
      "payload": {
        "id": "S3",
        "file_name": "tom1_v197_ru.pdf",
        "locator": "ch.19 original pp.78-81; PDF pp.83-86",
        "role": "canonical frozen",
        "local_sha256": "5a2021c02428e3e395fe81e029c46cd26b4a0e06ceb7dbfc89befddffd84a7d8",
        "local_bytes": 7333052
      }
    },
    {
      "id": "S4",
      "kind": "SOURCE",
      "status": "SOURCE_RECORD",
      "payload": {
        "id": "S4",
        "file_name": "desargues_kurpishev_theorem_ru_source.zip",
        "locator": "sections 5-8",
        "role": "historical, subordinated to S3",
        "local_sha256": "b7a03cc42ec984a19dcdd8ed9b27d5068a934e59d10c91ac9afab1ab82b9c067",
        "local_bytes": 86170
      }
    },
    {
      "id": "S5a",
      "kind": "SOURCE",
      "status": "SOURCE_RECORD",
      "payload": {
        "id": "S5a",
        "file_name": "tom5_v0_4_0_1(1).pdf",
        "locator": "10.7 T5-THM-012",
        "role": "working source",
        "local_sha256": "714a7e5e070c4264b3d0fbf0bcf3ed2f682be3a9316673a961390975364f1652",
        "local_bytes": 3331710
      }
    },
    {
      "id": "S5b",
      "kind": "SOURCE",
      "status": "SOURCE_RECORD",
      "payload": {
        "id": "S5b",
        "file_name": "PILOT01_PREPRINT_RU_FINAL.pdf",
        "locator": "4 theorem 4.1",
        "role": "domain/foundation barrier",
        "local_sha256": "9e1606df415d42683ed295ff675e07e0411ba8ac2f9158adce46ae4b5e6cdbe0",
        "local_bytes": 413030
      }
    },
    {
      "id": "S2",
      "kind": "SOURCE",
      "status": "SOURCE_RECORD",
      "payload": {
        "id": "S2",
        "url": "https://kurpishev.com/ru/categorical-syllogistic_ru.html",
        "retrieved": "2026-09-17",
        "mode": "web parsed text",
        "raw_bytes_obtained": false,
        "locator": "Four categorical forms; validity as packet transport; first-figure moods"
      }
    },
    {
      "id": "S6",
      "kind": "SOURCE",
      "status": "SOURCE_RECORD",
      "payload": {
        "id": "S6",
        "url": "https://logoslibrary.org/aristotle/prior/104.html",
        "locator": "Aristotle Prior Analytics I.4",
        "role": "primary classical text"
      }
    },
    {
      "id": "DRIVE-S3",
      "kind": "SOURCE",
      "status": "SOURCE_RECORD",
      "payload": {
        "id": "DRIVE-S3",
        "file_id": "1Q6HjoCyNHpQnrlFPtNCrrV66FAJHPbf1",
        "name": "tom1_v197_ru.pdf",
        "remote_size": 7333052,
        "remote_modifiedTime": "2026-08-14T05:24:14.201Z",
        "verification": "name and size only; remote checksum not returned; byte identity not asserted"
      }
    },
    {
      "id": "SYL-01",
      "kind": "SYLLOGISM",
      "status": "CLASSICAL_VALID_ON_COMMON_DOMAIN",
      "name": "Barbara",
      "proof": "В 2D внутренняя область S вложена в M, а M — в P. В 3D вложены их усечённые конусные подъёмы. Для любого x∈S сначала x∈M, затем x∈P. Непустота S не предполагается; нарисованные непустые области — конкретный пример, не дополнительная посылка.",
      "figure_ids": [
        "barbara_2d",
        "barbara_3d"
      ]
    },
    {
      "id": "SYL-02",
      "kind": "SYLLOGISM",
      "status": "CLASSICAL_VALID_ON_COMMON_DOMAIN",
      "name": "Celarent",
      "proof": "Область S находится внутри M, который отделён от P. Если бы x принадлежал S∩P, из x∈S следовало бы x∈M, что противоречило бы M∩P=∅. В 3D общая вершина исключена и не создаёт ложного пересечения конусов.",
      "figure_ids": [
        "celarent_2d",
        "celarent_3d"
      ]
    },
    {
      "id": "SYL-03",
      "kind": "SYLLOGISM",
      "status": "CLASSICAL_VALID_ON_COMMON_DOMAIN",
      "name": "Darii",
      "proof": "Красная точка x=(−1/5,0) принадлежит S∩M. Из M⊆P следует x∈S∩P. В 2D переносится та же точка h(x); в 3D — отрезок её образующей. Заключение не требует, чтобы весь S лежал в P.",
      "figure_ids": [
        "darii_2d",
        "darii_3d"
      ]
    },
    {
      "id": "SYL-04",
      "kind": "SYLLOGISM",
      "status": "CLASSICAL_VALID_ON_COMMON_DOMAIN",
      "name": "Ferio",
      "proof": "Красная точка x=(−9/10,0) лежит в S∩M. Разделение M и P даёт x∉P, следовательно x∈S∖P. Другие точки S могут принадлежать P; их наличие не противоречит отрицательному частному заключению.",
      "figure_ids": [
        "ferio_2d",
        "ferio_3d"
      ]
    },
    {
      "id": "TRANSPORT-01",
      "kind": "PROPOSITION",
      "status": "PROVED_IN_DECLARED_MODEL"
    },
    {
      "id": "HOMOLOGY-01",
      "kind": "LEMMA",
      "status": "PROVED_FOR_CHOSEN_H"
    },
    {
      "id": "DK-FIXTURE-01",
      "kind": "EXACT_EXAMPLE",
      "status": "COMPUTED_AND_DERIVED"
    },
    {
      "id": "DK-PO-1",
      "kind": "BLOCKER",
      "status": "OPEN"
    },
    {
      "id": "DK-PO-2",
      "kind": "BLOCKER",
      "status": "OPEN"
    },
    {
      "id": "RPLD-MAP",
      "kind": "BLOCKER",
      "status": "OPEN"
    },
    {
      "id": "SITE-BYTES",
      "kind": "BLOCKER",
      "status": "NOT_OBTAINED"
    }
  ],
  "edges": [
    {
      "source": "S1",
      "target": "SYL-01",
      "type": "MOTIVATES"
    },
    {
      "source": "S6",
      "target": "SYL-01",
      "type": "CLASSICAL_SOURCE"
    },
    {
      "source": "S1",
      "target": "SYL-02",
      "type": "MOTIVATES"
    },
    {
      "source": "S6",
      "target": "SYL-02",
      "type": "CLASSICAL_SOURCE"
    },
    {
      "source": "S1",
      "target": "SYL-03",
      "type": "MOTIVATES"
    },
    {
      "source": "S6",
      "target": "SYL-03",
      "type": "CLASSICAL_SOURCE"
    },
    {
      "source": "S1",
      "target": "SYL-04",
      "type": "MOTIVATES"
    },
    {
      "source": "S6",
      "target": "SYL-04",
      "type": "CLASSICAL_SOURCE"
    },
    {
      "source": "S3",
      "target": "DK-PO-1",
      "type": "REQUIRES"
    },
    {
      "source": "S3",
      "target": "DK-PO-2",
      "type": "REQUIRES"
    },
    {
      "source": "HOMOLOGY-01",
      "target": "DK-FIXTURE-01",
      "type": "SUPPORTS_WITHIN_SCOPE"
    },
    {
      "source": "S3",
      "target": "DK-FIXTURE-01",
      "type": "STATUS_CONSTRAINS"
    }
  ]
}