{
  "schema_version": 1,
  "source_checkout_revision": "01bf047e392252b92f6abebc5408428ad47cec32",
  "experiments": [
    {
      "experiment": "prologue",
      "executed_at": null,
      "model_package": null,
      "model_revision": null,
      "engine_version": null,
      "input_reference": null,
      "result_reference": "https://books.arxo.io/canons/experimental-notes/#prologue",
      "certificate_reference": null,
      "record_kind": "historical-manuscript-summary",
      "limitations": [
        "Full historical inputs, outputs and certificates are not included in the retained manuscript summary."
      ]
    },
    {
      "experiment": "chapter-one",
      "executed_at": "2026-09-05",
      "model_package": [
        "la.gellius.protagoras_euathlus"
      ],
      "model_revision": [
        "71e83f097",
        "783fcd169"
      ],
      "engine_version": null,
      "input_reference": [
        "corpus/clir/la-protagoras-euathlus.lawir.json",
        "corpus/kz/acts/protagoras_euathlus.py"
      ],
      "result_reference": "https://books.arxo.io/canons/experimental-notes/#chapter-one",
      "certificate_reference": null,
      "record_kind": "historical-manuscript-summary",
      "limitations": [
        "Full historical inputs, outputs and certificates are not included in the retained manuscript summary."
      ]
    },
    {
      "experiment": "chapter-two",
      "executed_at": "2026-09-05",
      "model_package": [
        "eu.transport.air_passenger_rights"
      ],
      "model_revision": [
        "783fcd169",
        "da47581a1"
      ],
      "engine_version": null,
      "input_reference": [
        "corpus/clir/eu-air-passenger-rights.lawir.json",
        "corpus/kz/acts/air_passenger_rights.py"
      ],
      "result_reference": "https://books.arxo.io/canons/experimental-notes/#chapter-two",
      "certificate_reference": null,
      "record_kind": "historical-manuscript-summary",
      "limitations": [
        "Full historical inputs, outputs and certificates are not included in the retained manuscript summary."
      ]
    },
    {
      "experiment": "chapter-three",
      "executed_at": "2026-09-05",
      "model_package": [
        "demo.expense_evidence"
      ],
      "model_revision": [
        "20912fe36",
        "da47581a1"
      ],
      "engine_version": null,
      "input_reference": [
        "packs/demo/expense-evidence/clir/expense-evidence.lawir.json",
        "packs/demo/expense-evidence/scenes/base.lawcase",
        "packs/demo/expense-evidence/run_demo.py"
      ],
      "result_reference": "https://books.arxo.io/canons/experimental-notes/#chapter-three",
      "certificate_reference": null,
      "record_kind": "historical-manuscript-summary",
      "limitations": [
        "Full historical inputs, outputs and certificates are not included in the retained manuscript summary."
      ]
    },
    {
      "experiment": "chapter-04",
      "executed_at": "2026-09-05",
      "model_package": [
        "us.sdny.leonard_v_pepsico"
      ],
      "model_revision": [
        "6f896fcaa"
      ],
      "engine_version": null,
      "input_reference": [
        "corpus/clir/us-leonard-v-pepsico.lawir.json",
        "corpus/kz/acts/leonard_v_pepsico.py"
      ],
      "result_reference": "https://books.arxo.io/canons/experimental-notes/#chapter-04",
      "certificate_reference": null,
      "record_kind": "historical-manuscript-summary",
      "limitations": [
        "Full historical inputs, outputs and certificates are not included in the retained manuscript summary."
      ]
    },
    {
      "experiment": "chapter-05",
      "executed_at": "2026-09-05",
      "model_package": [
        "fide.laws.chess"
      ],
      "model_revision": [
        "6f896fcaa"
      ],
      "engine_version": null,
      "input_reference": [
        "corpus/clir/fide-laws-chess.lawir.json",
        "corpus/kz/acts/fide_chess.py"
      ],
      "result_reference": "https://books.arxo.io/canons/experimental-notes/#chapter-05",
      "certificate_reference": null,
      "record_kind": "historical-manuscript-summary",
      "limitations": [
        "Full historical inputs, outputs and certificates are not included in the retained manuscript summary."
      ]
    },
    {
      "experiment": "chapter-06",
      "executed_at": "2026-09-05",
      "model_package": [
        "kz.corpus.budget",
        "kz.corpus.socialcode"
      ],
      "model_revision": [
        "2d33c8c40"
      ],
      "engine_version": null,
      "input_reference": [
        "corpus/clir/kz-social-code.lawir.json"
      ],
      "result_reference": "https://books.arxo.io/canons/experimental-notes/#chapter-06",
      "certificate_reference": null,
      "record_kind": "historical-manuscript-summary",
      "limitations": [
        "Full historical inputs, outputs and certificates are not included in the retained manuscript summary."
      ]
    },
    {
      "experiment": "chapter-07",
      "executed_at": "2026-09-05",
      "model_package": [
        "eu.transport.air_passenger_rights",
        "kz.constitution.rights"
      ],
      "model_revision": [
        "71e83f097"
      ],
      "engine_version": null,
      "input_reference": [
        "corpus/clir/eu-air-passenger-rights.lawir.json",
        "corpus/clir/kz-constitution-rights.lawir.json",
        "corpus/kz/acts/air_passenger_rights.py"
      ],
      "result_reference": "https://books.arxo.io/canons/experimental-notes/#chapter-07",
      "certificate_reference": null,
      "record_kind": "historical-manuscript-summary",
      "limitations": [
        "Full historical inputs, outputs and certificates are not included in the retained manuscript summary."
      ],
      "source_edition": {
        "id": "KZ_CONSTITUTION_2026_RU",
        "adopted": "2026-03-15",
        "in_force_from": "2026-07-01",
        "article_fragment": "KZ_CONSTITUTION_2026_ART14_RU"
      }
    },
    {
      "experiment": "chapter-08",
      "executed_at": "2026-09-05",
      "model_package": [
        "kz.corpus.civilcode",
        "kz.private.dogovornaya_penya"
      ],
      "model_revision": [
        "8f4b819d1"
      ],
      "engine_version": null,
      "input_reference": [
        "corpus/clir/kz-dogovornaya-penya.lawir.json",
        "corpus/clir/kz-official-2026.calendar.json",
        "corpus/clir/kz-official-calendar-2026.lawir.json",
        "corpus/kz/acts/official_calendar.py"
      ],
      "result_reference": "https://books.arxo.io/canons/experimental-notes/#chapter-08",
      "certificate_reference": null,
      "record_kind": "historical-manuscript-summary",
      "limitations": [
        "Full historical inputs, outputs and certificates are not included in the retained manuscript summary."
      ]
    },
    {
      "experiment": "chapter-09",
      "executed_at": "2026-09-05",
      "model_package": [
        "doctrine.ius_privatum"
      ],
      "model_revision": [
        "118294aac",
        "783fcd169",
        "8f4b819d1"
      ],
      "engine_version": null,
      "input_reference": [
        "corpus/clir/doctrine-ius-privatum.lawir.json",
        "corpus/kz/acts/ius_privatum_casus.py"
      ],
      "result_reference": "https://books.arxo.io/canons/experimental-notes/#chapter-09",
      "certificate_reference": null,
      "record_kind": "historical-manuscript-summary",
      "limitations": [
        "Full historical inputs, outputs and certificates are not included in the retained manuscript summary."
      ],
      "model_artifacts": [
        "rom-gai-institutiones",
        "rom-institutiones-iustiniani",
        "osm-mejelle",
        "fr-code-civil-1804",
        "de-bgb-1896",
        "kz-civil-code-special",
        "kz-civil-code"
      ]
    },
    {
      "experiment": "chapter-10",
      "executed_at": "2026-09-05",
      "model_package": [
        "ru.afanasyev.vershki_koreshki",
        "us.me.ranked_choice"
      ],
      "model_revision": [
        "a2673f555"
      ],
      "engine_version": null,
      "input_reference": [
        "corpus/clir/ru-vershki-koreshki.lawir.json",
        "corpus/clir/us-maine-ranked-choice.lawir.json"
      ],
      "result_reference": "https://books.arxo.io/canons/experimental-notes/#chapter-10",
      "certificate_reference": null,
      "record_kind": "historical-manuscript-summary",
      "limitations": [
        "Full historical inputs, outputs and certificates are not included in the retained manuscript summary."
      ]
    },
    {
      "experiment": "chapter-12",
      "executed_at": "2026-09-05",
      "model_package": null,
      "model_revision": [
        "20912fe36"
      ],
      "engine_version": {
        "checker_toolchain": "leanprover/lean4:v4.33.0",
        "evaluation_engine": null
      },
      "input_reference": [
        "engines/checker/"
      ],
      "result_reference": "https://books.arxo.io/canons/experimental-notes/#chapter-12",
      "certificate_reference": null,
      "record_kind": "historical-manuscript-summary",
      "limitations": [
        "Full historical inputs, outputs and certificates are not included in the retained manuscript summary."
      ]
    },
    {
      "experiment": "chapter-13",
      "executed_at": "2026-09-05",
      "model_package": [
        "intl.minsk.package_2015"
      ],
      "model_revision": [
        "783fcd169"
      ],
      "engine_version": null,
      "input_reference": [
        "corpus/clir/intl-minsk-package-2015.lawir.json",
        "corpus/kz/acts/minsk_package.py"
      ],
      "result_reference": "https://books.arxo.io/canons/experimental-notes/#chapter-13",
      "certificate_reference": null,
      "record_kind": "historical-manuscript-summary",
      "limitations": [
        "Full historical inputs, outputs and certificates are not included in the retained manuscript summary."
      ]
    },
    {
      "experiment": "epilogue",
      "executed_at": null,
      "model_package": null,
      "model_revision": null,
      "engine_version": null,
      "input_reference": null,
      "result_reference": "https://books.arxo.io/canons/experimental-notes/#epilogue",
      "certificate_reference": null,
      "record_kind": "historical-manuscript-summary",
      "limitations": [
        "Full historical inputs, outputs and certificates are not included in the retained manuscript summary."
      ]
    }
  ],
  "missing_fields_policy": "null means not retained or not established; do not infer a successful check from a missing record",
  "supplemental_experiments": [
    {
      "experiment": "canons-harrier-all-cured",
      "executed_at": "2026-10-10T20:32:57.308013+00:00",
      "model_package": "us.sdny.leonard_v_pepsico",
      "model_revision": "sha256:5ffed1090a0a22d3c008a068859c9b936178a0f6dcb6928ddce7fa3914256064",
      "engine_version": {
        "source_revision": "01bf047e392252b92f6abebc5408428ad47cec32",
        "rust_binary_sha256": "14511bfb19a6e48a8a52199584e9a73b6e8d29246c9acb16101ba5c04dbe7664"
      },
      "input_reference": "canons-harrier-all-cured/case.json",
      "query_reference": "canons-harrier-all-cured/query.json",
      "result_reference": "canons-harrier-all-cured/result.canonical.json",
      "certificate_reference": "canons-harrier-all-cured/result.canonical.json#/proofGraph",
      "certificate_check": "not separately rerun",
      "comparison": "canonical answer bytes identical",
      "evaluation_status": "COMPUTED",
      "truth_status": "NEITHER",
      "normative_status": null
    },
    {
      "experiment": "lp-22-judgment-channel-closed-by-judge-wood",
      "executed_at": "2026-10-10T20:32:57.308013+00:00",
      "model_package": "us.sdny.leonard_v_pepsico",
      "model_revision": "sha256:5ffed1090a0a22d3c008a068859c9b936178a0f6dcb6928ddce7fa3914256064",
      "engine_version": {
        "source_revision": "01bf047e392252b92f6abebc5408428ad47cec32",
        "rust_binary_sha256": "14511bfb19a6e48a8a52199584e9a73b6e8d29246c9acb16101ba5c04dbe7664"
      },
      "input_reference": "lp-22-judgment-channel-closed-by-judge-wood/case.json",
      "query_reference": "lp-22-judgment-channel-closed-by-judge-wood/query.json",
      "result_reference": "lp-22-judgment-channel-closed-by-judge-wood/result.canonical.json",
      "certificate_reference": "lp-22-judgment-channel-closed-by-judge-wood/result.canonical.json#/proofGraph",
      "certificate_check": "not separately rerun",
      "comparison": "canonical answer bytes identical",
      "evaluation_status": "COMPUTED",
      "truth_status": "NEITHER",
      "normative_status": null
    },
    {
      "experiment": "lp-33c-ground-three-alone-defeats-the-claim",
      "executed_at": "2026-10-10T20:32:57.308013+00:00",
      "model_package": "us.sdny.leonard_v_pepsico",
      "model_revision": "sha256:5ffed1090a0a22d3c008a068859c9b936178a0f6dcb6928ddce7fa3914256064",
      "engine_version": {
        "source_revision": "01bf047e392252b92f6abebc5408428ad47cec32",
        "rust_binary_sha256": "14511bfb19a6e48a8a52199584e9a73b6e8d29246c9acb16101ba5c04dbe7664"
      },
      "input_reference": "lp-33c-ground-three-alone-defeats-the-claim/case.json",
      "query_reference": "lp-33c-ground-three-alone-defeats-the-claim/query.json",
      "result_reference": "lp-33c-ground-three-alone-defeats-the-claim/result.canonical.json",
      "certificate_reference": "lp-33c-ground-three-alone-defeats-the-claim/result.canonical.json#/proofGraph",
      "certificate_check": "not separately rerun",
      "comparison": "canonical answer bytes identical",
      "evaluation_status": "COMPUTED",
      "truth_status": "TRUE_ONLY",
      "normative_status": null
    },
    {
      "experiment": "lp-35-duty",
      "executed_at": "2026-10-10T20:32:57.308013+00:00",
      "model_package": "us.sdny.leonard_v_pepsico",
      "model_revision": "sha256:5ffed1090a0a22d3c008a068859c9b936178a0f6dcb6928ddce7fa3914256064",
      "engine_version": {
        "source_revision": "01bf047e392252b92f6abebc5408428ad47cec32",
        "rust_binary_sha256": "14511bfb19a6e48a8a52199584e9a73b6e8d29246c9acb16101ba5c04dbe7664"
      },
      "input_reference": "lp-35-duty/case.json",
      "query_reference": "lp-35-duty/query.json",
      "result_reference": "lp-35-duty/result.canonical.json",
      "certificate_reference": "lp-35-duty/result.canonical.json#/proofGraph",
      "certificate_check": "not separately rerun",
      "comparison": "canonical answer bytes identical",
      "evaluation_status": "COMPUTED",
      "truth_status": null,
      "normative_status": "ACTIVE"
    }
  ]
}