{
  "$schema": "https://kokunoyumeto.github.io/program-matematika-indonesia/schema/v2/v23-adapter-index-v2.schema.json",
  "adapters": [
    {
      "adapter_package_id": "urn:uuid:ae5acc9e-aa8a-5905-b6e2-65e928858b35",
      "central_learner_projection": {
        "locale": "id-ID",
        "path": "docs/id-ID/courses/A00/latihan/index.html",
        "status": "published"
      },
      "course": "Praaljabar dan Fondasi Kuantitatif",
      "learner_runtime_relationship": "directly_consumes_adapter_outputs",
      "learner_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/A00/latihan/",
      "native_family_id": "family-01-prealgebra",
      "role_id": "A00",
      "scope_note": "The 24,315-record O001 assessment shard remains authoritative; the adapter adds zero-prose module/unit/route bindings and preserves the legacy v0.1.1 package as public predecessor evidence."
    },
    {
      "adapter_package_id": "urn:uuid:fc76c17e-85df-5e7a-8f13-5aced5c87b17",
      "course": "Pembuktian, Logika, dan Struktur Diskrit",
      "learner_runtime_relationship": "course_link_only_no_adapter_consumption_claim",
      "learner_url": "https://kokunoyumeto.github.io/discrete-mathematics-open-introduction-id/",
      "native_family_id": "family-05-discrete-mathematics",
      "role_id": "B10",
      "scope_note": "Ikatan B10 membuka permukaan belajar course-native tanpa menganggap pembaca menggunakan tabel adapter di luar hubungan runtime yang dinyatakan."
    },
    {
      "adapter_package_id": "urn:uuid:8dbda99c-2e39-5fc0-a6ff-64a52cb81b26",
      "course": "Kalkulus Diferensial",
      "course_specific_route_count": 2,
      "learner_runtime_relationship": "course_link_only_no_adapter_consumption_claim",
      "learner_url": "https://zenodo.org/records/22183943/files/00_CLP1_KALKULUS_DIFERENSIAL_BAHASA_INDONESIA_2026.08.14.1_BUKU_TEKS.pdf?download=1",
      "native_family_id": "family-06-clp",
      "role_id": "B20",
      "scope_note": "B20 mempertahankan tampilan course-native dan 2 rute PDF learner-first; paket CLP bersama dihitung sekali dan tidak menyatakan konsumsi adapter oleh PDF."
    },
    {
      "adapter_package_id": "urn:uuid:8dbda99c-2e39-5fc0-a6ff-64a52cb81b26",
      "course": "Kalkulus Integral",
      "course_specific_route_count": 1,
      "learner_runtime_relationship": "course_link_only_no_adapter_consumption_claim",
      "learner_url": "https://zenodo.org/records/22182941/files/CLP-2_Kalkulus_Integral_Bahasa_Indonesia_edisi_lengkap_2026-08-30.pdf?download=1",
      "native_family_id": "family-06-clp",
      "role_id": "B30",
      "scope_note": "B30 mempertahankan tampilan course-native dan 1 rute PDF learner-first; paket CLP bersama dihitung sekali dan tidak menyatakan konsumsi adapter oleh PDF."
    },
    {
      "adapter_package_id": "urn:uuid:8dbda99c-2e39-5fc0-a6ff-64a52cb81b26",
      "course": "Kalkulus Multivariabel",
      "course_specific_route_count": 2,
      "learner_runtime_relationship": "course_link_only_no_adapter_consumption_claim",
      "learner_url": "https://zenodo.org/records/22184443/files/CLP-3-Kalkulus-Multivariabel-Bahasa-Indonesia.pdf?download=1",
      "native_family_id": "family-06-clp",
      "role_id": "B50",
      "scope_note": "B50 mempertahankan tampilan course-native dan 2 rute PDF learner-first; paket CLP bersama dihitung sekali dan tidak menyatakan konsumsi adapter oleh PDF."
    },
    {
      "adapter_package_id": "urn:uuid:8dbda99c-2e39-5fc0-a6ff-64a52cb81b26",
      "course": "Kalkulus Vektor",
      "course_specific_route_count": 2,
      "learner_runtime_relationship": "course_link_only_no_adapter_consumption_claim",
      "learner_url": "https://zenodo.org/records/22105443/files/CLP-4-Kalkulus-Vektor-Bahasa-Indonesia.pdf?download=1",
      "native_family_id": "family-06-clp",
      "role_id": "B60",
      "scope_note": "B60 mempertahankan tampilan course-native dan 2 rute PDF learner-first; paket CLP bersama dihitung sekali dan tidak menyatakan konsumsi adapter oleh PDF."
    },
    {
      "adapter_package_id": "urn:uuid:f2d0324c-322c-5f7b-a9e6-8beccf50656c",
      "central_learner_projection": {
        "locale": "id-ID",
        "path": "docs/backend/judson/C30.html",
        "status": "published"
      },
      "course": "Aljabar Abstrak",
      "course_specific_route_count": 15,
      "learner_runtime_relationship": "directly_consumes_adapter_outputs",
      "learner_url": "https://kokunoyumeto.github.io/abstract-algebra-theory-and-applications-id/sets.html",
      "native_family_id": "family-12-judson",
      "role_id": "C30",
      "scope_note": "C30 memilih 15 rute bab dari satu graf Judson bersama; hitungan paket tidak diulang."
    },
    {
      "adapter_package_id": "urn:uuid:f2d0324c-322c-5f7b-a9e6-8beccf50656c",
      "central_learner_projection": {
        "locale": "id-ID",
        "path": "docs/backend/judson/C40.html",
        "status": "published"
      },
      "course": "Gelanggang dan Lapangan",
      "course_specific_route_count": 8,
      "learner_runtime_relationship": "directly_consumes_adapter_outputs",
      "learner_url": "https://kokunoyumeto.github.io/abstract-algebra-theory-and-applications-id/rings.html",
      "native_family_id": "family-12-judson",
      "role_id": "C40",
      "scope_note": "C40 memilih 8 rute bab dari satu graf Judson bersama; hitungan paket tidak diulang."
    },
    {
      "adapter_package_id": "urn:uuid:601e07e9-660e-5f8e-97bb-228be6c69566",
      "central_learner_projection": {
        "locale": "id-ID",
        "path": "docs/backend/openlogic/C80.html",
        "status": "published"
      },
      "course": "Logika Matematis, Teori Himpunan, dan Komputabilitas",
      "course_specific_route_count": 0,
      "learner_runtime_relationship": "course_link_only_no_adapter_consumption_claim",
      "learner_url": "https://zenodo.org/records/21932787/files/00_OPENLOGIC_id_COMPLETE_LINKED_READER_OLP-0722.pdf?download=1",
      "native_family_id": "family-15-open-logic",
      "role_id": "C80",
      "scope_note": "Buka PDF Indonesia yang telah dibaca balik; data adapter tetap sekunder dan paket pusat telah dibaca balik pada rilis v0.62.14."
    },
    {
      "adapter_package_id": "urn:uuid:a84539b5-455b-5baf-89a4-f4c0336e33ab",
      "central_learner_projection": {
        "locale": "id-ID",
        "path": "docs/backend/c130/C130.html",
        "status": "published"
      },
      "course": "Optimisasi Linear dan Integer / Riset Operasi",
      "course_specific_route_count": 7,
      "learner_runtime_relationship": "course_link_only_no_adapter_consumption_claim",
      "learner_url": "https://kokunoyumeto.github.io/open-optimization-or-book-id/",
      "native_family_id": "family-20-operations-research",
      "role_id": "C130",
      "scope_note": "Buka landing course-native lalu PDF Indonesia; tujuh rute publik dipertahankan dan data mesin tetap sekunder."
    },
    {
      "adapter_package_id": "urn:uuid:c0093aac-58dc-5bc4-bf8f-237f16d72df2",
      "course": "Analisis Fungsional",
      "learner_runtime_relationship": "course_link_only_no_adapter_consumption_claim",
      "learner_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/D20/",
      "native_family_id": "family-23-functional-analysis",
      "role_id": "D20",
      "scope_note": "Ikatan D20 membuka permukaan belajar course-native tanpa menganggap pembaca menggunakan tabel adapter di luar hubungan runtime yang dinyatakan."
    },
    {
      "adapter_package_id": "urn:uuid:8dc3d926-5319-53b3-8c7f-01482e975cdb",
      "course": "Topologi Aljabar",
      "learner_runtime_relationship": "course_link_only_no_adapter_consumption_claim",
      "learner_url": "https://kokunoyumeto.github.io/algebraic-topology-id/roberts-001-030-fomberg-001-007-ca01-hints-r01-r06-ca02-ca03-lab01-lab02-lab03-lab04-capstone/",
      "native_family_id": "family-27-algebraic-topology",
      "role_id": "D60",
      "scope_note": "Ikatan D60 membuka permukaan belajar course-native tanpa menganggap pembaca menggunakan tabel adapter di luar hubungan runtime yang dinyatakan."
    },
    {
      "adapter_package_id": "urn:uuid:564a0b58-9148-54a1-89e7-2e40340f24fa",
      "course": "Matematika Terformalisasi dalam Lean",
      "learner_runtime_relationship": "course_link_only_no_adapter_consumption_claim",
      "learner_url": "https://kokunoyumeto.github.io/mathematics-in-lean-id/",
      "native_family_id": "family-32-mathematics-in-lean",
      "role_id": "D110",
      "scope_note": "Ikatan D110 membuka permukaan belajar course-native tanpa menganggap pembaca menggunakan tabel adapter di luar hubungan runtime yang dinyatakan."
    }
  ],
  "packages": [
    {
      "adapter_version": "0.1.0",
      "admission_state": "published",
      "adopted_capabilities": [
        "stable_native_assessment_identity",
        "exact_html_anchor_routes",
        "structured_assessment_components",
        "explicit_solution_gaps",
        "component_rights",
        "lossless_jsonl_csv_projection",
        "learner_assessment_navigation"
      ],
      "archive": {
        "bytes": 8634922,
        "path": "backend/v2.3/builds/a00_o001_v23_adapter_release/program-matematika-indonesia-backend-v2.3.1-a00-o001-assessment-adapter-v0.1.0.zip",
        "sha256": "43e122a96cf2878764ff53148c9d2d247ccb0b661b563ae6c5f04f4cd000098b"
      },
      "assessment_records_preserved": 8105,
      "canonical_records": 1313,
      "component_rights_exceptions": 18,
      "contract_version": "2.3.1",
      "dataset_id": "urn:uuid:2afd6e58-418c-5b1b-b690-53f4ec9bffdf",
      "exact_html_anchor_routes": 21450,
      "explicit_solution_gaps": 2865,
      "extension_id": "urn:uuid:5f7e270e-d3c7-55ac-ba5a-6e81910dc548",
      "jsonl_csv_table_pairs": 19,
      "known_limitations": [
        "The current learner map is an 8.14 MB whole-course payload rather than module shards.",
        "The navigator filters and routes verified source exercises; it does not claim automated mastery or invent missing solutions."
      ],
      "manifest": {
        "bytes": 44086,
        "path": "backend/v2.3/extensions/a00-o001-assessments-v0.1.0/manifest.json",
        "sha256": "934a85c6c1c61d826a9c1c8ac601957548b865757cd6386c3b8eb36160706c08"
      },
      "native_family_id": "family-01-prealgebra",
      "native_records_preserved": 24315,
      "navigation_units_promoted": 0,
      "owner_native_authoritative": true,
      "package_id": "urn:uuid:ae5acc9e-aa8a-5905-b6e2-65e928858b35",
      "proof_kind": "reversible_lane_adapter",
      "public_asset_url": "https://github.com/KokunoYumeto/program-matematika-indonesia/releases/download/v0.62.13/program-matematika-indonesia-backend-v2.3.1-a00-o001-assessment-adapter-v0.1.0.zip",
      "public_replay_status": "published_public_asset_readback_verified",
      "release_url": "https://github.com/KokunoYumeto/program-matematika-indonesia/releases/tag/v0.62.13",
      "reversible_native_mappings": 24315,
      "scope_note": "The 24,315-record O001 assessment shard remains authoritative; the adapter adds zero-prose module/unit/route bindings and preserves the legacy v0.1.1 package as public predecessor evidence.",
      "zero_copy": true
    },
    {
      "adapter_version": "0.2.0",
      "admission_state": "published",
      "adopted_capabilities": [
        "reversible_native_unit_mappings",
        "structured_exercise_closure",
        "component_rights",
        "translation_state_evidence",
        "accessibility_records",
        "lossless_jsonl_csv_projection"
      ],
      "archive": {
        "bytes": 656874,
        "path": "releases/v0.62.13/program-matematika-indonesia-backend-v2.3.1-b10-adapter-v0.2.0.zip",
        "sha256": "c9a2f8a0307ec6fa6c5f3b03168760f0d8ed5a67e069b5afb592f905e12096b6"
      },
      "canonical_records": 1264,
      "contract_version": "2.3.1",
      "dataset_id": "urn:uuid:6090fc4b-b34d-5cff-8f65-acaa06ddd1fc",
      "extension_id": "urn:uuid:7eabb1c1-ef28-5953-88a9-677ebbad280c",
      "jsonl_csv_table_pairs": 19,
      "known_limitations": [
        "The central learner link opens the owner reader and does not claim that the reader consumes the adapter records.",
        "Normal prose remains coarser than the structured exercise closure and native duplication remains owner-side."
      ],
      "manifest": {
        "bytes": 19931,
        "path": "backend/v2.3/extensions/b10-dmoi-v0.2.0/manifest.json",
        "sha256": "64c83ee017972758e653d3c7a3f97092fbf0211332aa0ea861766b30980eae4a"
      },
      "native_family_id": "family-05-discrete-mathematics",
      "native_records_preserved": 163583,
      "owner_native_authoritative": true,
      "package_id": "urn:uuid:fc76c17e-85df-5e7a-8f13-5aced5c87b17",
      "proof_kind": "reversible_lane_adapter",
      "public_asset_url": "https://github.com/KokunoYumeto/program-matematika-indonesia/releases/download/v0.62.9/program-matematika-indonesia-backend-v2.3.1-b10-adapter-v0.2.0.zip",
      "public_replay_status": "published_public_asset_readback_verified",
      "release_url": "https://github.com/KokunoYumeto/program-matematika-indonesia/releases/tag/v0.62.9",
      "reversible_native_mappings": 161,
      "scope_note": "Paket B10 mempertahankan otoritas native; cakupan rinci dan batas klaim berada pada manifest serta daftar kemampuan.",
      "zero_copy": true
    },
    {
      "adapter_version": "0.1.0",
      "additional_native_index_rows": 3843,
      "admission_state": "published",
      "adopted_capabilities": [
        "composite_owner_identity",
        "target_first_exact_mappings",
        "typed_lineage_only_rows",
        "profile_specific_rights",
        "deterministic_jsonl_csv_projection",
        "stream_validated_namespace_sidecar",
        "loss_accounting",
        "learner_pdf_authority"
      ],
      "archive": {
        "bytes": 545418367,
        "path": "releases/v0.62.17/CLP_CALCULUS_FAMILY_V231_ADAPTER_0.1.0.zip",
        "sha256": "f2e2714c5f1349092e8cb574d6495e604086c9df3bc4bdf5bbe5974b5f61360d"
      },
      "canonical_records": 1201557,
      "contract_version": "2.3.1",
      "dataset_id": "urn:uuid:5276fa22-58b4-5bf8-b84b-3de141f617d5",
      "extension_id": "urn:uuid:fb88c199-de1a-587b-9824-37fc25c797a0",
      "jsonl_csv_table_pairs": 19,
      "known_limitations": [
        "Prosa buku tidak dipusatkan; backend native pemilik tetap menjadi otoritas.",
        "Rute pembaca hanya tujuh whole-file PDF; tidak ada rute bab/unit/fragmen yang dibuktikan.",
        "Paket adapter pusat sudah dibaca balik publik pada v0.62.17; PDF tidak diklaim mengonsumsi adapter.",
        "Pemetaan lintas profil hanya diklaim pada 3.843 baris lineage_only dan 285.630 target exact sesuai seal; ekuivalensi prosa tidak diklaim."
      ],
      "manifest": {
        "bytes": 31266,
        "path": "release-asset:releases/v0.62.17/CLP_CALCULUS_FAMILY_V231_ADAPTER_0.1.0.zip#manifest.json",
        "sha256": "54b600004e6ce4d903f6890a0a9a5c7c0d03120da896ea57d3c85edf674f00e5"
      },
      "namespace_mappings": 285630,
      "native_family_id": "family-06-clp",
      "native_html_claimed": false,
      "native_records_preserved": 289473,
      "owner_native_authoritative": true,
      "package_id": "urn:uuid:8dbda99c-2e39-5fc0-a6ff-64a52cb81b26",
      "proof_kind": "reversible_lane_adapter",
      "public_artifacts": 5059,
      "public_asset_url": "https://github.com/KokunoYumeto/program-matematika-indonesia/releases/download/v0.62.17/CLP_CALCULUS_FAMILY_V231_ADAPTER_0.1.0.zip",
      "public_replay_status": "published_public_asset_readback_verified",
      "reader_pages": 4077,
      "relation_records": 138673,
      "release_url": "https://github.com/KokunoYumeto/program-matematika-indonesia/releases/tag/v0.62.17",
      "reversible_native_mappings": 285630,
      "rights_assignments": 283778,
      "scope_note": "Adapter CLP federates empat profil kalkulus native tanpa mengganti sumber pemilik. Identitas gabungan, target-first mapping, hak, status terjemahan, loss accounting, dan rute PDF dipertahankan; machine data tetap sekunder.",
      "source_translation_pairs": 53676,
      "unit_or_page_anchors_claimed": false,
      "unit_records": 53676,
      "zero_copy": true
    },
    {
      "adapter_version": "judson-c30-c40-2.3.1-candidate.3-routes-chronology",
      "admission_state": "published",
      "adopted_capabilities": [
        "reversible_native_unit_mappings",
        "shared_graph_course_selectors",
        "native_chapter_route_navigation",
        "translation_state_evidence",
        "component_rights",
        "lossless_jsonl_csv_projection"
      ],
      "archive": {
        "bytes": 16905857,
        "path": "backend/course-capsule-v1/builds/program-matematika-indonesia-judson-c30-c40-v2.3.1.zip",
        "sha256": "177eda23cf07dd7d1225a176466f8686bbcdb91c233309f81252dd897a024700"
      },
      "canonical_records": 17745,
      "contract_version": "2.3.1",
      "dataset_id": "urn:uuid:d96f3a23-1002-5be5-bff2-bb035a386a3c",
      "extension_id": "urn:uuid:54463e63-19cd-5859-b252-93e0a4d516be",
      "jsonl_csv_table_pairs": 19,
      "known_limitations": [
        "The two course rows reference the same 17,745-record package; their counts must not be added as independent graphs.",
        "The recorded live chapter pages are accessible but not byte-identical to the frozen WEB edition.",
        "No descendant anchors, assessment engine, or complete offline dependency independence is claimed.",
        "The original candidate state is preserved; central admission is recorded separately."
      ],
      "manifest": {
        "bytes": 28845,
        "path": "backend/course-capsule-v1/adapters/judson-v231/manifest.json",
        "sha256": "00b80a3f7406c96b375ddb390981dbd0a1f1e3d41e0d240c93b194694521c28a"
      },
      "native_family_id": "family-12-judson",
      "native_records_preserved": 3323,
      "owner_native_authoritative": true,
      "package_id": "urn:uuid:f2d0324c-322c-5f7b-a9e6-8beccf50656c",
      "proof_kind": "reversible_lane_adapter",
      "public_asset_url": "https://github.com/KokunoYumeto/program-matematika-indonesia/releases/download/v0.62.14/program-matematika-indonesia-judson-c30-c40-v2.3.1.zip",
      "public_replay_status": "published_public_asset_readback_verified",
      "relation_records": 6505,
      "release_url": "https://github.com/KokunoYumeto/program-matematika-indonesia/releases/tag/v0.62.14",
      "reversible_native_mappings": 3323,
      "scope_note": "Satu graf Judson berisi 17.745 rekaman dan melayani C30 serta C40 tanpa menggandakan unit atau prosa. Total paket tidak boleh dijumlahkan per peran.",
      "source_translation_pairs": 4466,
      "unit_records": 3323,
      "zero_copy": true
    },
    {
      "adapter_version": "0.1.0",
      "admission_state": "published",
      "adopted_capabilities": [
        "stable_owner_module_identity",
        "reversible_prior_v1_mappings",
        "ordered_import_graph",
        "translation_state_evidence",
        "component_rights",
        "lossless_jsonl_csv_projection",
        "learner_pdf_authority"
      ],
      "archive": {
        "bytes": 2409875,
        "path": "backend/course-capsule-v1/builds/program-matematika-indonesia-openlogic-c80-v2.3.1.zip",
        "sha256": "eb4293a9745dd7c6f98f7c94c05d214e4dfc904ef5dda3afea571e0ee1363673"
      },
      "canonical_records": 5807,
      "contract_version": "2.3.1",
      "dataset_id": "urn:uuid:fdfa2782-db96-5e60-bcb3-d206d78b960a",
      "extension_id": "urn:uuid:c21cf806-8dd8-545b-9bbe-b95b15eb01e4",
      "jsonl_csv_table_pairs": 19,
      "known_limitations": [
        "The verified Indonesian PDF is the primary learner surface; machine tables are secondary.",
        "No native HTML, unit anchors, page anchors, assessment engine, or full PDF accessibility is claimed."
      ],
      "manifest": {
        "bytes": 22315,
        "path": "backend/course-capsule-v1/adapters/openlogic-v231/manifest.json",
        "sha256": "01974670c902a50d3e0166214f665286e0030a270a781a56413976be52ca4b01"
      },
      "namespace_mappings": 1445,
      "native_family_id": "family-15-open-logic",
      "native_html_claimed": false,
      "native_records_preserved": 722,
      "ordered_import_relations": 725,
      "owner_authority": {
        "concept_doi": "10.5281/zenodo.21932786",
        "public_release": "https://github.com/KokunoYumeto/OpenLogic-id/releases/tag/id-olp-0722-20260814",
        "public_repository": "https://github.com/KokunoYumeto/OpenLogic-id",
        "release_commit": "34af65419e4c5c5580dae60a48454c485ddf504c",
        "release_tree": "a7fcb6b970d9bafc82c36f51447931cf05a146cb",
        "version_doi": "10.5281/zenodo.21932787"
      },
      "owner_native_authoritative": true,
      "package_id": "urn:uuid:601e07e9-660e-5f8e-97bb-228be6c69566",
      "proof_kind": "reversible_lane_adapter",
      "public_artifacts": 4,
      "public_asset_url": "https://github.com/KokunoYumeto/program-matematika-indonesia/releases/download/v0.62.14/program-matematika-indonesia-openlogic-c80-v2.3.1.zip",
      "public_replay_status": "published_public_asset_readback_verified",
      "reader_pages": 1116,
      "reader_reachable_units": 642,
      "relation_records": 725,
      "release_url": "https://github.com/KokunoYumeto/program-matematika-indonesia/releases/tag/v0.62.14",
      "retained_non_reader_units": 80,
      "reversible_native_mappings": 722,
      "rights_assignments": 728,
      "scope_note": "Adapter mempertahankan 722 identitas OLP dan menautkan PDF Indonesia 1.116 halaman sebagai permukaan belajar utama; tidak ada HTML atau jangkar turunan yang ditebak.",
      "source_translation_pairs": 722,
      "unit_or_page_anchors_claimed": false,
      "unit_records": 722,
      "zero_copy": true
    },
    {
      "adapter_version": "0.1.0",
      "admission_state": "published",
      "adopted_capabilities": [
        "stable_owner_native_identity",
        "typed_curriculum_graph",
        "reversible_identity_crosswalks",
        "component_rights_assignments",
        "lossless_jsonl_csv_projection",
        "learner_pdf_authority",
        "executable_lab_routes"
      ],
      "archive": {
        "bytes": 21213937,
        "path": "backend/course-capsule-v1/builds/program-matematika-indonesia-c130-operations-research-v2.3.1.zip",
        "sha256": "eb195d1aa555e9d5e639c1e35a08b6f4425be24cc93b7f1f633161e9cacee865"
      },
      "canonical_records": 51704,
      "contract_version": "2.3.1",
      "dataset_id": "urn:uuid:2e16c60d-7ee3-52f4-9c05-2c4dea0b07ca",
      "extension_id": "urn:uuid:d46eb7f0-cab9-5646-89cb-e4e82394c344",
      "jsonl_csv_table_pairs": 19,
      "known_limitations": [
        "C130 covers R017 Book 1 plus the separately attributed O018 Pyomo and HiGHS adaptation; R017 Book 2, advanced optimization, and the other 39 curriculum roles are excluded.",
        "The Pages landing page is learner priority 1 and the linked 666-page Indonesian PDF is the only primary reader surface; the other routes are source, preservation, or secondary download surfaces.",
        "No native or chapter HTML, unit anchors, page anchors, tagged PDF, PDF/UA conformance, assessment engine, or full accessibility is claimed.",
        "Machine tables and source, laboratory, and backend archives are secondary; textbook prose, formulas, exercises, solutions, assets, corrections, and term bodies remain in the owner-native authority.",
        "Historical owner-generator evidence does not prove member-by-member owner archive/extraction equivalence or public-package member-byte identity, and laboratory result semantics were not independently recomputed; owner QA remains provenance rather than fresh central validation.",
        "This admission verifies the exact imported directory and ZIP member bytes but does not replay the package's Python authority validators or assert continuing availability of mutable GitHub Pages and repository URLs.",
        "The SHA-256 seal proves local inventory integrity under its declared algorithm; it is not a digital signature or proof of authorship, semantic correctness, accessibility, or current public availability."
      ],
      "manifest": {
        "bytes": 22488,
        "path": "backend/course-capsule-v1/adapters/c130-v231/manifest.json",
        "sha256": "cad2922d9bd1facb33cc9d54a9836bb168fe0b8d996d9d4ef2e5d8c26053f239"
      },
      "namespace_mappings": 17273,
      "native_family_id": "family-20-operations-research",
      "native_html_claimed": false,
      "native_records_preserved": 17987,
      "owner_authority": {
        "concept_doi": "10.5281/zenodo.22059794",
        "public_release": "https://github.com/KokunoYumeto/open-optimization-or-book-id/releases/tag/v2026.08.23-id.5",
        "public_repository": "https://github.com/KokunoYumeto/open-optimization-or-book-id",
        "release_commit": "a639b69cf84c4d4f60f7dcdb62dbeb5cfb153adc",
        "release_tree": "1ab559b3540d9362bc0333caf017acd9fe540a9c",
        "version_doi": "10.5281/zenodo.22070653"
      },
      "owner_native_authoritative": true,
      "package_id": "urn:uuid:a84539b5-455b-5baf-89a4-f4c0336e33ab",
      "proof_kind": "reversible_lane_adapter",
      "public_artifacts": 83,
      "public_asset_url": "https://github.com/KokunoYumeto/program-matematika-indonesia/releases/download/v0.62.14/program-matematika-indonesia-c130-operations-research-v2.3.1.zip",
      "public_replay_status": "published_public_asset_readback_verified",
      "reader_pages": 666,
      "relation_records": 9545,
      "release_url": "https://github.com/KokunoYumeto/program-matematika-indonesia/releases/tag/v0.62.14",
      "reversible_native_mappings": 17273,
      "rights_assignments": 7634,
      "scope_note": "Adapter C130 mempertahankan graf course-native dan 51.704 baris proyeksi tanpa memusatkan prosa; halaman landing dan PDF Indonesia 666 halaman tetap menjadi permukaan belajar.",
      "unit_or_page_anchors_claimed": false,
      "unit_records": 1993,
      "zero_copy": true
    },
    {
      "adapter_version": "0.1.0",
      "additional_native_index_rows": 2104,
      "admission_state": "published",
      "adopted_capabilities": [
        "immutable_base_plus_learner_overlay",
        "formula_alignment",
        "solution_routes",
        "accessible_assets",
        "reversible_native_index_projection",
        "lossless_jsonl_csv_projection"
      ],
      "archive": {
        "bytes": 61438875,
        "path": "backend/v2.3/builds/d20_v23_adapter_release/program-matematika-indonesia-backend-v2.3.1-d20-adapter-v0.1.0.zip",
        "sha256": "25e059d26f049141dad326817bd01319b120a19fc4b78fb2efc879764fea2099"
      },
      "canonical_records": 138894,
      "contract_version": "2.3.1",
      "dataset_id": "urn:uuid:93017b47-b253-5ee1-9a8f-93374cee67eb",
      "extension_id": "urn:uuid:892ad827-135c-535c-9649-d79f79fd2056",
      "jsonl_csv_table_pairs": 19,
      "known_limitations": [
        "The central course wrapper exposes the learner surfaces but does not claim that those readers consume the adapter tables.",
        "Prerequisite modeling remains thin and the sealed adapter archive is intentionally large."
      ],
      "manifest": {
        "bytes": 32321,
        "path": "backend/v2.3/extensions/d20-functional-analysis-v0.1.0/manifest.json",
        "sha256": "a8ec1635e8b2eb4034b8be1181d9cbeb39438ff095e33e5c26e686e9ba5301e9"
      },
      "native_family_id": "family-23-functional-analysis",
      "native_records_preserved": 32383,
      "owner_native_authoritative": true,
      "package_id": "urn:uuid:c0093aac-58dc-5bc4-bf8f-237f16d72df2",
      "proof_kind": "reversible_lane_adapter",
      "public_asset_url": "https://github.com/KokunoYumeto/program-matematika-indonesia/releases/download/v0.62.12/program-matematika-indonesia-backend-v2.3.1-d20-adapter-v0.1.0.zip",
      "public_replay_status": "published_public_asset_readback_verified",
      "release_url": "https://github.com/KokunoYumeto/program-matematika-indonesia/releases/tag/v0.62.12",
      "reversible_native_mappings": 32383,
      "scope_note": "Paket D20 mempertahankan otoritas native; cakupan rinci dan batas klaim berada pada manifest serta daftar kemampuan.",
      "zero_copy": true
    },
    {
      "adapter_version": "0.1.0",
      "admission_state": "published",
      "adopted_capabilities": [
        "typed_concept_hint_solution_proof_streams",
        "verified_learner_routes",
        "component_rights",
        "reversible_native_mappings",
        "lossless_jsonl_csv_projection"
      ],
      "archive": {
        "bytes": 9031171,
        "path": "releases/v0.62.13/program-matematika-indonesia-backend-v2.3.1-d60-adapter-v0.1.0.zip",
        "sha256": "e80654a5cd5a1ddbc801d8b61ae746108f9af8741c956616f5f21f3af42da549"
      },
      "canonical_records": 27642,
      "contract_version": "2.3.1",
      "dataset_id": "urn:uuid:12b1e43a-e263-59bb-97c9-0f28286cf153",
      "extension_id": "urn:uuid:4e6d5510-1053-5d9e-ac42-88bbaf08a042",
      "jsonl_csv_table_pairs": 19,
      "known_limitations": [
        "The owner learner route is verified, but no central claim is made that it consumes the adapter tables.",
        "Duplicated units, segments, and correction records retain owner-side synchronization cost; the compact public archive is not represented as a complete build tree."
      ],
      "manifest": {
        "bytes": 24000,
        "path": "backend/v2.3/extensions/d60-algebraic-topology-v0.1.0/manifest.json",
        "sha256": "1f2b9fd5daf7feaf42846fddc2cc82aa7c4818a8bfaf79faa3f4005ea9584820"
      },
      "native_family_id": "family-27-algebraic-topology",
      "native_records_preserved": 8338,
      "owner_native_authoritative": true,
      "package_id": "urn:uuid:8dc3d926-5319-53b3-8c7f-01482e975cdb",
      "proof_kind": "reversible_lane_adapter",
      "public_asset_url": "https://github.com/KokunoYumeto/program-matematika-indonesia/releases/download/v0.62.10/program-matematika-indonesia-backend-v2.3.1-d60-adapter-v0.1.0.zip",
      "public_replay_status": "published_public_asset_readback_verified",
      "release_url": "https://github.com/KokunoYumeto/program-matematika-indonesia/releases/tag/v0.62.10",
      "reversible_native_mappings": 6279,
      "scope_note": "Paket D60 mempertahankan otoritas native; cakupan rinci dan batas klaim berada pada manifest serta daftar kemampuan.",
      "zero_copy": true
    },
    {
      "adapter_version": "0.1.0",
      "additional_native_index_rows": 1706,
      "admission_state": "published",
      "adopted_capabilities": [
        "proof_aligned_module_identity",
        "declaration_and_import_preservation",
        "compiler_semantic_replay",
        "reversible_native_index_projection",
        "lossless_jsonl_csv_projection"
      ],
      "archive": {
        "bytes": 14097074,
        "path": "releases/v0.62.13/program-matematika-indonesia-backend-v2.3.1-d110-adapter-v0.1.0.zip",
        "sha256": "bfd554c0d459787ea0ccde0c2de1f22264705d2dffa20061fa2525095b83287b"
      },
      "canonical_records": 41460,
      "contract_version": "2.3.1",
      "dataset_id": "urn:uuid:fa3020c8-9045-5cf3-910d-1fe31f392075",
      "extension_id": "urn:uuid:5b7895a0-538e-5922-b420-d9087c0ec040",
      "jsonl_csv_table_pairs": 19,
      "known_limitations": [
        "The learner URL opens the owner HTML edition and is not evidence that the reader consumes the central adapter tables.",
        "Lean replay is a specialized optional capability and is not imposed on non-formal mathematics courses."
      ],
      "manifest": {
        "bytes": 26398,
        "path": "backend/v2.3/extensions/d110-mathematics-in-lean-v0.1.0/manifest.json",
        "sha256": "99f756ea8e2f028c5b48efecddffdec252476cb26f2171e2006f69feae6d0496"
      },
      "native_family_id": "family-32-mathematics-in-lean",
      "native_records_preserved": 10978,
      "owner_native_authoritative": true,
      "package_id": "urn:uuid:564a0b58-9148-54a1-89e7-2e40340f24fa",
      "proof_kind": "reversible_lane_adapter",
      "public_asset_url": "https://github.com/KokunoYumeto/program-matematika-indonesia/releases/download/v0.62.11/program-matematika-indonesia-backend-v2.3.1-d110-adapter-v0.1.0.zip",
      "public_replay_status": "published_public_asset_readback_verified",
      "release_url": "https://github.com/KokunoYumeto/program-matematika-indonesia/releases/tag/v0.62.11",
      "reversible_native_mappings": 9272,
      "scope_note": "Paket D110 mempertahankan otoritas native; cakupan rinci dan batas klaim berada pada manifest serta daftar kemampuan.",
      "zero_copy": true
    }
  ],
  "policy": {
    "aggregate_conformance_claim": false,
    "machine_data_secondary": true,
    "owner_native_authoritative": true,
    "zero_copy": true
  },
  "schema_id": "interlanguage/program-matematika-indonesia-v23-adapter-index/v2",
  "schema_version": "2.0.0",
  "snapshot": {
    "as_of": "2026-09-04T00:00:00Z",
    "central_release_record_doi": "10.5281/zenodo.22303203",
    "central_release_version": "v0.62.17",
    "mutable_overlay": true,
    "public_replay_state": "postpublication_release_assets_readback_complete",
    "snapshot_id": "urn:interlanguage:program-matematika-indonesia:v23-adapters:v0.62.17-postpublication:2026-09-04",
    "snapshot_kind": "live_successor_overlay",
    "supersedes": {
      "central_release_record_doi": "10.5281/zenodo.22231858",
      "central_release_version": "v0.62.16",
      "snapshot_id": "urn:interlanguage:program-matematika-indonesia:v23-adapters:v0.62.14-postpublication:2026-09-01",
      "source": {
        "bytes": 508950409,
        "path": "releases/v0.62.16/program-matematika-indonesia-source-v0.62.16.zip",
        "sha256": "4d1b758e4f06fab48bb8ecba63a0b85138dbec4345812d4fee8dea694a8155d0"
      }
    }
  },
  "summary": {
    "curriculum_roles": 40,
    "distinct_adapter_packages": 9,
    "families_without_local_adapter": 24,
    "families_without_public_replay_complete_adapter": 24,
    "package_deduplicated_canonical_records": 1487386,
    "pending_adapter_packages": 0,
    "pending_role_bindings": 0,
    "published_adapter_packages": 9,
    "published_role_bindings": 13,
    "represented_native_families": 9,
    "role_bindings": 13,
    "unbound_roles": 27
  }
}