{
  "$schema": "https://kokunoyumeto.github.io/program-matematika-indonesia/schema/v2/feature-adoption-provenance-v1.schema.json",
  "evidence": [
    {
      "bytes": 32070,
      "claim_scope": "Metode empat tahap dan temuan keluarga backend.",
      "evidence_id": "methodology_v1",
      "kind": "methodology_record",
      "path": "releases/v0.62.13/MODULAR_BACKEND_METHOD_AND_FINDINGS_V1.md",
      "sha256": "c30745104ae42a0f29aa3399bb4ef3415c413dba241b1ac494525759214e5536"
    },
    {
      "bytes": 11370,
      "claim_scope": "Lima paket adapter yang sudah dibaca balik publik.",
      "evidence_id": "immutable_adapter_v1",
      "kind": "immutable_release",
      "path": "releases/v0.62.13/v23-adapter-index-v1.json",
      "sha256": "31e45fc3a852b1d1b7742ac66d5d919aa1d229feff408913951018451f755381"
    },
    {
      "bytes": 18002,
      "claim_scope": "Dua peran Judson yang diterima lokal sebelum pemisahan snapshot.",
      "evidence_id": "live_adapter_overlay_input",
      "kind": "live_overlay_input",
      "path": "backend/course-capsule-v1/authority/snapshot-inputs/live-v1-overlay-20260831/v23-adapter-index-v1.live-overlay-source.json",
      "sha256": "ec20bc7e9f0637f5b7b3af0d86698b697b70e66eca34cdb7330e4cdf16d705e0"
    },
    {
      "bytes": 20715,
      "claim_scope": "Satu graf Judson untuk C30 dan C40.",
      "evidence_id": "judson_admission",
      "kind": "adapter_admission",
      "path": "backend/course-capsule-v1/adapters/judson-v231/ADMISSION.json",
      "sha256": "0c73d1be90d3a0318b70293eccf7b5ec58b41f323fbb2639b5c12b4451783e74"
    },
    {
      "bytes": 28845,
      "claim_scope": "Identitas dan tabel paket Judson.",
      "evidence_id": "judson_manifest",
      "kind": "adapter_manifest",
      "path": "backend/course-capsule-v1/adapters/judson-v231/manifest.json",
      "sha256": "00b80a3f7406c96b375ddb390981dbd0a1f1e3d41e0d240c93b194694521c28a"
    },
    {
      "bytes": 13623,
      "claim_scope": "Penerimaan lokal C80 dengan batas klaim.",
      "evidence_id": "openlogic_admission",
      "kind": "adapter_admission",
      "path": "backend/course-capsule-v1/adapters/openlogic-v231/ADMISSION.json",
      "sha256": "2a86c41e92f9c9ef7e215448967998504bd4c16e7ba8e680d795d155aebef9a7"
    },
    {
      "bytes": 22315,
      "claim_scope": "Identitas dan tabel paket Open Logic.",
      "evidence_id": "openlogic_manifest",
      "kind": "adapter_manifest",
      "path": "backend/course-capsule-v1/adapters/openlogic-v231/manifest.json",
      "sha256": "01974670c902a50d3e0166214f665286e0030a270a781a56413976be52ca4b01"
    },
    {
      "bytes": 4889,
      "claim_scope": "Penerimaan lokal C130 dengan batas klaim.",
      "evidence_id": "c130_admission",
      "kind": "adapter_admission",
      "path": "backend/course-capsule-v1/adapters/c130-v231/ADMISSION.json",
      "sha256": "b311ab7d2a6a86af40174d051fbd8ef273a8536b34f0af77b76e5a1ce9b3397e"
    },
    {
      "bytes": 22488,
      "claim_scope": "Identitas, tabel, dan proyeksi paket C130.",
      "evidence_id": "c130_manifest",
      "kind": "adapter_manifest",
      "path": "backend/course-capsule-v1/adapters/c130-v231/manifest.json",
      "sha256": "cad2922d9bd1facb33cc9d54a9836bb168fe0b8d996d9d4ef2e5d8c26053f239"
    },
    {
      "bytes": 2977,
      "claim_scope": "Replay lokal 14/14 otoritas C130 setelah publikasi tanpa mutasi paket atau sumber native.",
      "evidence_id": "c130_authority_replay",
      "kind": "adapter_validation",
      "path": "backend/course-capsule-v1/validation/C130_AUTHORITY_REPLAY_RECEIPT_20260901.json",
      "sha256": "7cf3be9570c59f8fa1f35ea83b54e6ca2add842a19c65da3751a5a609dcdc09b"
    },
    {
      "bytes": 88060,
      "claim_scope": "Baca-balik anonim 112/112 aset GitHub v0.62.14.",
      "evidence_id": "v06214_github_publication",
      "kind": "immutable_release",
      "path": "GITHUB_PUBLICATION_RECEIPT_v0.62.14.json",
      "sha256": "8a3883c811574864f0d40f029d1f48ca13870327feb0e9048cd3cad1d1abf390"
    },
    {
      "bytes": 58227,
      "claim_scope": "Rilis terbuka Zenodo v0.62.14 dan baca-balik anonim 100/100 berkas.",
      "evidence_id": "v06214_zenodo_publication",
      "kind": "immutable_release",
      "path": "PUBLICATION_RECEIPT_v0.62.14.json",
      "sha256": "e34bdc951961bf6c18d4ffacfb80fc2fda411f02cba7de001c05ae6898229ad8"
    },
    {
      "bytes": 12407,
      "claim_scope": "Bukti istilah Indonesia teratribusi; bukan verifikasi global.",
      "evidence_id": "terminology_concordance",
      "kind": "terminology_evidence",
      "path": "backend/course-capsule-v1/authority/native-terminology-qa/unib-teori-bilangan-20260831/terminology_concordance.json",
      "sha256": "d36a33be7b2dbd5d3a921f32f2b2f5dff81bc8e98d9ff66781314d9251167aa8"
    },
    {
      "bytes": 20125,
      "claim_scope": "Kebijakan konsep dan register Indonesia; keputusan peluang/probabilitas tetap menunggu bukti.",
      "evidence_id": "terminology_policy",
      "kind": "design_policy",
      "path": "backend/course-capsule-v1/authority/terminology-policy-v1/canonical-register-policy.json",
      "sha256": "c3bc63376dfeac2427703cc53635c50418c1a5db93abe3074ad65aa760b1acaa"
    },
    {
      "bytes": 2816,
      "claim_scope": "Kebijakan kapsul tipis, netral-format, dan zero-copy.",
      "evidence_id": "design_policy",
      "kind": "design_policy",
      "path": "backend/course-capsule-v1/authority/backend-design-policy-v1.json",
      "sha256": "2369d55d6faa699139b830e68ab317f9961f23e329e004408622726eb1c776d2"
    },
    {
      "bytes": 7061,
      "claim_scope": "Manifest pembangunan kapsul 40 peran saat ini.",
      "evidence_id": "capsule_manifest",
      "kind": "generated_snapshot",
      "path": "backend/course-capsule-v1/generated/manifest.json",
      "sha256": "41b9ea95b967427ddb7d0f8b2d1282209be9b0f0702da18ba1e95ff07af95226"
    },
    {
      "bytes": 83019,
      "claim_scope": "Rute dan format penyampaian pelajar yang tervalidasi.",
      "evidence_id": "learner_delivery",
      "kind": "generated_snapshot",
      "path": "backend/authority/learner-delivery-v1.json",
      "sha256": "f647798c8bc7f02023dc38e9a116d4263b94ffe92f8231e262d451d6fee4010b"
    },
    {
      "bytes": 28988,
      "claim_scope": "Snapshot penerus sembilan peran melalui delapan paket.",
      "evidence_id": "adapter_snapshot_v2",
      "kind": "generated_snapshot",
      "path": "backend/course-capsule-v1/authority/v23-adapter-index-v2.json",
      "sha256": "779967bbc3b7d3059964183d797c2a87f3999123442e694919d54bfa08839517"
    }
  ],
  "layers": [
    {
      "features": [
        {
          "description_id": "Identitas 40 peran, prasyarat bertipe, hasil belajar, dan rute pusat.",
          "evidence_ids": [
            "methodology_v1",
            "capsule_manifest"
          ],
          "feature_id": "typed_curriculum_graph",
          "implementation_status": "implemented",
          "limitations": [],
          "source_pattern_ids": [
            "manager-federation",
            "family-12-judson"
          ]
        }
      ],
      "label_id": "Kurikulum",
      "layer_id": "curriculum",
      "sequence": 1,
      "status": "adopted_and_implemented"
    },
    {
      "features": [
        {
          "description_id": "Status terjemahan, hak, koreksi, kebijakan konsep/register, dan bukti istilah tetap teratribusi ke sumber.",
          "evidence_ids": [
            "openlogic_manifest",
            "terminology_concordance",
            "terminology_policy"
          ],
          "feature_id": "source_attributed_translation_ledger",
          "implementation_status": "partially_implemented",
          "limitations": [
            "Segmentasi universal dan QA istilah seluruh 40 peran belum tersedia.",
            "Keluarga peluang/probabilitas masih memerlukan bukti pemakaian Indonesia pada tingkat konsep."
          ],
          "source_pattern_ids": [
            "family-15-open-logic",
            "family-01-prealgebra"
          ]
        }
      ],
      "label_id": "Terjemahan dan provenance",
      "layer_id": "translation",
      "sequence": 2,
      "status": "adopted_partial"
    },
    {
      "features": [
        {
          "description_id": "Paket deterministik, manifest, validasi, dan bukti baca-balik.",
          "evidence_ids": [
            "judson_admission",
            "openlogic_admission",
            "c130_admission",
            "capsule_manifest"
          ],
          "feature_id": "deterministic_manifested_builds",
          "implementation_status": "implemented",
          "limitations": [],
          "source_pattern_ids": [
            "family-12-judson",
            "family-15-open-logic",
            "family-20-operations-research"
          ]
        }
      ],
      "label_id": "Produksi dan rilis",
      "layer_id": "production",
      "sequence": 3,
      "status": "adopted_and_implemented"
    },
    {
      "features": [
        {
          "description_id": "Permukaan belajar didahulukan; data mesin berada di belakang rincian.",
          "evidence_ids": [
            "learner_delivery",
            "openlogic_admission",
            "judson_admission",
            "c130_admission"
          ],
          "feature_id": "learner_first_routes",
          "implementation_status": "partially_implemented",
          "limitations": [
            "Rute tingkat unit dan aksesibilitas penuh belum merata di semua keluarga."
          ],
          "source_pattern_ids": [
            "family-01-prealgebra",
            "family-12-judson",
            "family-15-open-logic",
            "family-20-operations-research"
          ]
        }
      ],
      "label_id": "Pelajar dan aksesibilitas",
      "layer_id": "learner",
      "sequence": 4,
      "status": "adopted_partial"
    },
    {
      "features": [
        {
          "description_id": "Materi pengajar memakai identitas kursus/unit yang sama dengan tampilan pelajar.",
          "evidence_ids": [
            "methodology_v1",
            "capsule_manifest"
          ],
          "feature_id": "shared_educator_evidence",
          "implementation_status": "partially_implemented",
          "limitations": [
            "Paket rencana pelajaran, rubrik, dan intervensi belum lengkap untuk semua peran."
          ],
          "source_pattern_ids": [
            "manager-federation",
            "family-05-discrete-mathematics"
          ]
        }
      ],
      "label_id": "Pengajar dan bukti",
      "layer_id": "educator",
      "sequence": 5,
      "status": "adopted_partial"
    },
    {
      "features": [
        {
          "description_id": "Buku utama, donor, suplemen, edisi, dan tampilan kursus ditautkan tanpa menyalin prosa.",
          "evidence_ids": [
            "design_policy",
            "judson_manifest",
            "c130_manifest",
            "capsule_manifest"
          ],
          "feature_id": "zero_copy_component_federation",
          "implementation_status": "implemented",
          "limitations": [],
          "source_pattern_ids": [
            "manager-federation",
            "family-12-judson",
            "family-20-operations-research"
          ]
        }
      ],
      "label_id": "Federasi zero-copy",
      "layer_id": "federation",
      "sequence": 6,
      "status": "adopted_and_implemented"
    },
    {
      "features": [
        {
          "description_id": "Adapter mempertahankan identitas native dan menyediakan proyeksi JSONL/CSV reversibel.",
          "evidence_ids": [
            "immutable_adapter_v1",
            "judson_manifest",
            "openlogic_manifest",
            "c130_manifest",
            "c130_authority_replay",
            "v06214_github_publication",
            "v06214_zenodo_publication",
            "adapter_snapshot_v2"
          ],
          "feature_id": "reversible_native_identity_adapters",
          "implementation_status": "partially_implemented",
          "limitations": [
            "Delapan dari 33 keluarga memiliki paket yang telah dibaca balik publik; 25 keluarga belum memiliki adapter umum."
          ],
          "source_pattern_ids": [
            "family-12-judson",
            "family-15-open-logic",
            "family-20-operations-research",
            "family-32-mathematics-in-lean"
          ]
        }
      ],
      "label_id": "Interoperabilitas dan adapter",
      "layer_id": "interoperability",
      "sequence": 7,
      "status": "adopted_partial"
    }
  ],
  "policy": {
    "course_native_authoritative": true,
    "human_evidence_is_not_a_release_gate": true,
    "unsupported_claims_forbidden": true,
    "zero_copy": true
  },
  "recorded_at": "2026-09-01",
  "schema_id": "interlanguage/program-matematika-indonesia-feature-adoption-provenance/v1",
  "schema_version": "1.0.0",
  "snapshot_id": "urn:interlanguage:program-matematika-indonesia:v23-adapters:v0.62.14-postpublication:2026-09-01"
}