Cakupan backend: 40 peran

40 peran mempunyai adapter bersama yang telah diuji; 0 belum. Ini bukan persentase penerjemahan buku, dan tidak berarti backend lengkap untuk semua peran yang sudah mempunyai adapter.

Readback GitHub tercatat untuk 40 peran; readback pelestarian Zenodo tercatat untuk 14. Increment A20, A30, CLP, B40, B80, B90, B95, Lebl, Geometry, Topology, C60, C70, C110, C120, D10, D30, D40, D70, D80, D90, D100, dan D120 sudah dapat dipakai di web; bukti pelestarian Zenodo tetap dihitung terpisah. Pembaruan navigasi CLP1: 30 September 2026; pemilih D110: 26 September 2026. Empat perencana CLP mencakup 2.198 soal sumber; CLP1 kini mempunyai 2.705 rujukan halaman awal PDF untuk 695 soal, 620 petunjuk, 695 jawaban, dan 695 penyelesaian. Sebanyak 75 soal tidak memiliki petunjuk tercatat; bantuan tidak dibuat-buat. Bukti peran lain mempertahankan tanggal pemeriksaannya masing-masing. Temuan desain asli dan bukti rilis terdahulu bukan pemeriksaan ulang seluruh buku hari ini. “Belum terbukti” berarti bukti integrasi pusat belum cukup, bukan berarti pekerjaan asli tidak ada atau terjemahan belum selesai.

Adapter, penggunaan oleh pelajar, dan bahan pengajar per peran
Peran dan keluarga native	Adapter bersama	Alat pelajar	Bahan pengajar	Batas bukti
A00 · Praaljabar dan Fondasi KuantitatifPrealgebra	Diverifikasi2.3.1	Latihan & diagnosis A00 · Konsep, prasyarat dan pilihan belajar	Diverifikasi Pilihan konsep, modul dan latihan A00 untuk pengajar A00 concepts, modules and exercise selection for educators Identitas konsep, prasyarat dan modul A00 Peta dan pemilih A00 untuk penggunaan luring Peta sumber dan istilah asli A00 A00 native source map and terminology	Bukti dan pekerjaan berikutnya Sembilan bidang kemampuan Kurikulum dan unit course_graph: Diverifikasi unit_identity: Diverifikasi Ledger sumber/penerjemahan ledger: Ada; belum diverifikasi corrections: Ada; belum diverifikasi Istilah register: Ada; belum diverifikasi Produksi yang dapat diulang build: Belum terbukti replay: Belum terbukti Aksesibilitas semantic_html: Ada; belum diverifikasi mathml: Ada; belum diverifikasi Pelajar delivery: Ada; belum diverifikasi central_tools: 2 Pengajar materials: Diverifikasi unit_alignment: Diverifikasi Federasi komponen references: Diverifikasi component_rights: A00:primary — Belum terbukti Pertukaran data adapter: Diverifikasi contract: 2.3.1 Pekerjaan tersisa Buktikan ledger sumber/penerjemahan asli; status ini tidak menyatakan terjemahan belum selesai. Periksa register istilah dan kaitannya dengan teks serta alternatif istilah. Buktikan produksi asli yang dapat diulang; build adapter saja bukan bukti build buku. Selesaikan audit sembilan bidang kemampuan dan bukti penggunaannya; adapter yang lulus tidak otomatis berarti backend lengkap. Lapisan pertukaran bersama: terverifikasi. Paritas kapabilitas native: belum terbukti. Paket adapter · Rekaman pusat historis Desain asli: temuan audit terdahulu Locale-neutral and locale-variant curriculum graph with 519678 records, a curated 35-concept/76-prerequisite DAG, exact evidence mappings, and a SQLite query layer. pedagogical concept/prerequisite DAG exact evidence mapping locale-neutral/locale-variant separation query layer Temuan historis berikut harus diperiksa ulang sebelum dianggap masih berlaku: No proven live consumer. Extremely heavy: 1.84 GB plus a 1.13-GB SQLite database. Identitas unit: Diverifikasi. Keselarasan pengajar: Diverifikasi. Zenodo: readback rilis tercatat.
A10 · Aljabar DasarElementary Algebra	Diverifikasi2.3.1	A10 · Modul, latihan dan cakupan solusi	Diverifikasi Pemilih modul dan latihan A10 untuk pengajar A10 module and exercise selection for educators Identitas 9.406 latihan, soal dan cakupan solusi Istilah sumber, keputusan dan riwayat penggantian 678 catatan koreksi dengan sasaran native 4.025 rekaman hak per komponen	Bukti dan pekerjaan berikutnya Sembilan bidang kemampuan Kurikulum dan unit course_graph: Diverifikasi unit_identity: Diverifikasi Ledger sumber/penerjemahan ledger: Diverifikasi corrections: Dikerjakan Istilah register: Dikerjakan Produksi yang dapat diulang build: Belum terbukti replay: Belum terbukti Aksesibilitas semantic_html: Ada; belum diverifikasi mathml: Ada; belum diverifikasi Pelajar delivery: Ada; belum diverifikasi central_tools: 1 Pengajar materials: Diverifikasi unit_alignment: Diverifikasi Federasi komponen references: Diverifikasi component_rights: A10:primary — Belum terbukti; A10:elementary-algebra-2e-backend-complete — Ada; belum diverifikasi; A10:elementary-algebra-2e-source-complete — Ada; belum diverifikasi Pertukaran data adapter: Diverifikasi contract: 2.3.1 Pekerjaan tersisa Periksa register istilah dan kaitannya dengan teks serta alternatif istilah. Buktikan produksi asli yang dapat diulang; build adapter saja bukan bukti build buku. Selesaikan audit sembilan bidang kemampuan dan bukti penggunaannya; adapter yang lulus tidak otomatis berarti backend lengkap. Lapisan pertukaran bersama: terverifikasi. Paritas kapabilitas native: belum terbukti. Desain asli: temuan audit terdahulu Append-only 452387-record translation/control history with UUIDv5 identity, explicit missing-solution states, and lossless JSONL/CSV. append-only lifecycle ledger UUIDv5 identity explicit absence states lossless JSONL/CSV projection Temuan historis berikut harus diperiksa ulang sebelum dianggap masih berlaku: Primarily structural rather than a learner-route graph. Event history is large. Identitas unit: Diverifikasi. Keselarasan pengajar: Diverifikasi. Zenodo: bukti adapter belum tersedia.
A20 · Aljabar MenengahIntermediate Algebra	Diverifikasicourse-learning-capability/1	A20 · Aljabar Menengah	Diverifikasi Pemilih bab, modul, latihan, dan cakupan solusi A20 untuk pengajar Peta pengajar atas 83 modul native A20 Indeks 83 modul A20 Indeks 8.209 latihan/masalah dan 5.238 solusi A20 Indeks 236 konsep A20 Indeks 32.393 relasi pedagogis A20 Indeks 340 istilah A20 Indeks 17 rekaman hak A20 Indeks 1.614 koreksi A20 Ledger 174.535 identitas native A20	Bukti dan pekerjaan berikutnya Sembilan bidang kemampuan Kurikulum dan unit course_graph: Diverifikasi unit_identity: Diverifikasi Ledger sumber/penerjemahan ledger: Diverifikasi corrections: Diverifikasi Istilah register: Diverifikasi Produksi yang dapat diulang build: Diverifikasi replay: Diverifikasi Aksesibilitas semantic_html: Belum dibuat mathml: Belum dibuat Pelajar delivery: Diverifikasi central_tools: 1 Pengajar materials: Diverifikasi unit_alignment: Diverifikasi Federasi komponen references: Diverifikasi component_rights: A20:primary — Belum terbukti Pertukaran data adapter: Diverifikasi contract: course-learning-capability/1 Pekerjaan tersisa Selesaikan audit sembilan bidang kemampuan dan bukti penggunaannya; adapter yang lulus tidak otomatis berarti backend lengkap. Lapisan pertukaran bersama: terverifikasi. Paritas kapabilitas native: terverifikasi. Desain asli: temuan audit terdahulu Strict module projections with fixed-point selection, isolated two-build candidates, and fail-closed cursor-last admission/recovery. fixed-point selection isolated candidate builds cursor-last admission fail-closed recovery Temuan historis berikut harus diperiksa ulang sebelum dianggap masih berlaku: Global export trails live modules. Three overlay dialects fragment consumption. Identitas unit: Diverifikasi. Keselarasan pengajar: Diverifikasi. Zenodo: bukti adapter belum tersedia.
A30 · Prakalkulus dan TrigonometriPrecalculus	Diverifikasicourse-learning-capability/1	A30 · Prakalkulus dan Trigonometri	Diverifikasi Pemilih bab, modul, latihan, dan cakupan solusi A30 untuk pengajar Peta pengajar atas 87 modul native A30 Indeks 12 bab A30 Indeks 87 modul A30 Indeks 7.250 latihan/masalah dan 4.183 solusi A30 Indeks 497 konsep A30 Indeks 37.974 relasi pedagogis/native A30 Indeks status 513 istilah A30 Indeks 1.875 rekaman hak komponen A30 Indeks status 703 koreksi A30 Ringkasan status 149.955 segmen A30 Ledger 220.680 identitas native A30	Bukti dan pekerjaan berikutnya Sembilan bidang kemampuan Kurikulum dan unit course_graph: Diverifikasi unit_identity: Diverifikasi Ledger sumber/penerjemahan ledger: Diverifikasi corrections: Diverifikasi Istilah register: Diverifikasi Produksi yang dapat diulang build: Diverifikasi replay: Diverifikasi Aksesibilitas semantic_html: Belum dibuat mathml: Belum dibuat Pelajar delivery: Diverifikasi central_tools: 1 Pengajar materials: Diverifikasi unit_alignment: Diverifikasi Federasi komponen references: Diverifikasi component_rights: A30:primary — Belum terbukti; A30:a30-current-native-backend — Belum terbukti; A30:a30-current-source — Belum terbukti Pertukaran data adapter: Diverifikasi contract: course-learning-capability/1 Pekerjaan tersisa Paket adapter v2.3.1 telah dipertahankan dan dibaca kembali secara anonim dalam rilis pusat v0.63.24. Selesaikan audit sembilan bidang kemampuan dan bukti penggunaannya; adapter yang lulus tidak otomatis berarti backend lengkap. Lapisan pertukaran bersama: terverifikasi. Paritas kapabilitas native: terverifikasi. Desain asli: temuan audit terdahulu Consumer-specific JSON, JSONL, and CSV views sharing bilingual segment identity. shared bilingual segment identity consumer-specific generated views Temuan historis berikut harus diperiksa ulang sebelum dianggap masih berlaku: Generic payload bags weaken typing. Released aggregate trails canonical work. Identitas unit: Diverifikasi. Keselarasan pengajar: Diverifikasi. Zenodo: bukti adapter belum tersedia.
B10 · Pembuktian, Logika, dan Struktur DiskritDiscrete Mathematics	Diverifikasi2.3.1	B10 · Pilihan latihan dan rencana belajar	Diverifikasi Pilihan latihan B10 untuk pengajar B10 exercise selection for educators Identitas bagian dan latihan B10 Pemilih B10 luring	Bukti dan pekerjaan berikutnya Sembilan bidang kemampuan Kurikulum dan unit course_graph: Diverifikasi unit_identity: Diverifikasi Ledger sumber/penerjemahan ledger: Belum terbukti corrections: Belum terbukti Istilah register: Belum terbukti Produksi yang dapat diulang build: Belum terbukti replay: Belum terbukti Aksesibilitas semantic_html: Ada; belum diverifikasi mathml: Ada; belum diverifikasi Pelajar delivery: Ada; belum diverifikasi central_tools: 1 Pengajar materials: Diverifikasi unit_alignment: Diverifikasi Federasi komponen references: Diverifikasi component_rights: B10:primary — Belum terbukti; B10:dmoi4-native-backend-v1 — Belum terbukti Pertukaran data adapter: Diverifikasi contract: 2.3.1 Pekerjaan tersisa Buktikan ledger sumber/penerjemahan asli; status ini tidak menyatakan terjemahan belum selesai. Periksa register istilah dan kaitannya dengan teks serta alternatif istilah. Buktikan produksi asli yang dapat diulang; build adapter saja bukan bukti build buku. Selesaikan audit sembilan bidang kemampuan dan bukti penggunaannya; adapter yang lulus tidak otomatis berarti backend lengkap. Lapisan pertukaran bersama: terverifikasi. Paritas kapabilitas native: belum terbukti. Paket adapter · Rekaman pusat historis Desain asli: temuan audit terdahulu Exercise-closure packet over a strict graph with statement, hint, answer, and solution subtrees, rights, and deterministic roundtrip. exercise closure statement/hint/answer/solution structure rights binding roundtrip validation Temuan historis berikut harus diperiksa ulang sebelum dianggap masih berlaku: Normal prose granularity is coarse. Duplication is high. No runtime consumer exists. Identitas unit: Diverifikasi. Keselarasan pengajar: Diverifikasi. Zenodo: readback rilis tercatat.
B20 · Kalkulus DiferensialCLP	Diverifikasi2.3.1	B20 · Perencana tugas CLP B20 · Rute baca keluarga CLP	Diverifikasi Soal dan penyelesaian CLP1 lengkap B20 · Perencana tugas CLP B20 · CLP assignment planner B20 · Istilah dan asal-usul CLP-1 B20 · CLP-1 terminology and provenance	Bukti dan pekerjaan berikutnya Sembilan bidang kemampuan Kurikulum dan unit course_graph: Diverifikasi unit_identity: Diverifikasi Ledger sumber/penerjemahan ledger: Belum terbukti corrections: Belum terbukti Istilah register: Ada; belum diverifikasi Produksi yang dapat diulang build: Belum terbukti replay: Belum terbukti Aksesibilitas semantic_html: Belum dibuat mathml: Belum dibuat Pelajar delivery: Diverifikasi central_tools: 2 Pengajar materials: Diverifikasi unit_alignment: Diverifikasi Federasi komponen references: Diverifikasi component_rights: B20:primary — Belum terbukti; B20:clp1-modular-backend — Ada; belum diverifikasi; B20:clp1-soal-dan-penyelesaian — Ada; belum diverifikasi; B20:clp-native-editable-source — Ada; belum diverifikasi; B20:clp-native-evidence-and-provenance — Ada; belum diverifikasi Pertukaran data adapter: Diverifikasi contract: 2.3.1 695 soal dalam perencana tugas. Pemetaan tambahan menghubungkan 695 soal dan 2.010 bantuan ke rentang sumber terjemahan dan halaman awal PDF. Identitas/status asli dipertahankan; ini bukan peninjauan baru mutu terjemahan. Pekerjaan tersisa Buktikan ledger sumber/penerjemahan asli; status ini tidak menyatakan terjemahan belum selesai. Periksa register istilah dan kaitannya dengan teks serta alternatif istilah. Buktikan produksi asli yang dapat diulang; build adapter saja bukan bukti build buku. Selesaikan audit sembilan bidang kemampuan dan bukti penggunaannya; adapter yang lulus tidak otomatis berarti backend lengkap. Lapisan pertukaran bersama: terverifikasi. Paritas kapabilitas native: belum terbukti. Paket adapter · Rekaman pusat historis Desain asli: temuan audit terdahulu Source-bound incremental registry using native IDs, direct-text hashes, declared topology deltas, marker-bound LaTeX variants, and fail-closed drift checks. native-ID registry direct-text hashing declared topology deltas marker-bound source variants fail-closed drift checking Temuan historis berikut harus diperiksa ulang sebelum dianggap masih berlaku: Prosa tidak dipusatkan; empat backend owner-native tetap menjadi otoritas. Belum ada HTML course-native, EPUB, atau rute unit/fragmen yang dibuktikan. Identitas unit: Diverifikasi. Keselarasan pengajar: Diverifikasi. Zenodo: readback rilis tercatat.
B30 · Kalkulus IntegralCLP	Diverifikasi2.3.1	B30 · Perencana tugas CLP B30 · Rute baca keluarga CLP	Diverifikasi B30 · Perencana tugas CLP B30 · CLP assignment planner	Bukti dan pekerjaan berikutnya Sembilan bidang kemampuan Kurikulum dan unit course_graph: Diverifikasi unit_identity: Diverifikasi Ledger sumber/penerjemahan ledger: Belum terbukti corrections: Belum terbukti Istilah register: Belum terbukti Produksi yang dapat diulang build: Belum terbukti replay: Belum terbukti Aksesibilitas semantic_html: Ada; belum diverifikasi mathml: Ada; belum diverifikasi Pelajar delivery: Diverifikasi central_tools: 2 Pengajar materials: Diverifikasi unit_alignment: Diverifikasi Federasi komponen references: Diverifikasi component_rights: B30:primary — Belum terbukti; B30:clp-native-source-and-modular-backend — Ada; belum diverifikasi Pertukaran data adapter: Diverifikasi contract: 2.3.1 596 soal dalam perencana tugas. Identitas struktural soal sumber dan terjemahan dipertahankan. Pekerjaan tersisa Buktikan ledger sumber/penerjemahan asli; status ini tidak menyatakan terjemahan belum selesai. Periksa register istilah dan kaitannya dengan teks serta alternatif istilah. Buktikan produksi asli yang dapat diulang; build adapter saja bukan bukti build buku. Selesaikan audit sembilan bidang kemampuan dan bukti penggunaannya; adapter yang lulus tidak otomatis berarti backend lengkap. Lapisan pertukaran bersama: terverifikasi. Paritas kapabilitas native: belum terbukti. Paket adapter · Rekaman pusat historis Desain asli: temuan audit terdahulu Source-bound incremental registry using native IDs, direct-text hashes, declared topology deltas, marker-bound LaTeX variants, and fail-closed drift checks. native-ID registry direct-text hashing declared topology deltas marker-bound source variants fail-closed drift checking Temuan historis berikut harus diperiksa ulang sebelum dianggap masih berlaku: Prosa tidak dipusatkan; empat backend owner-native tetap menjadi otoritas. Belum ada HTML course-native, EPUB, atau rute unit/fragmen yang dibuktikan. Identitas unit: Diverifikasi. Keselarasan pengajar: Diverifikasi. Zenodo: readback rilis tercatat.
B40 · Aljabar LinearLinear Algebra	Diverifikasicourse-learning-capability/1	B40 · Aljabar Linear	Diverifikasi Jawaban Bekerja Aljabar Linear Laboratorium Sage Aljabar Linear Pemilih unit, latihan, jawaban, konsep, dan provenans B40 untuk pengajar Peta 3.541 unit dan 1.037 pasangan latihan-jawaban B40 Indeks 114 konsep dan istilah B40 Indeks 13.999 relasi native B40	Bukti dan pekerjaan berikutnya Sembilan bidang kemampuan Kurikulum dan unit course_graph: Diverifikasi unit_identity: Diverifikasi Ledger sumber/penerjemahan ledger: Diverifikasi corrections: Diverifikasi Istilah register: Diverifikasi Produksi yang dapat diulang build: Diverifikasi replay: Diverifikasi Aksesibilitas semantic_html: Belum dibuat mathml: Belum dibuat Pelajar delivery: Diverifikasi central_tools: 1 Pengajar materials: Diverifikasi unit_alignment: Diverifikasi Federasi komponen references: Diverifikasi component_rights: B40:primary — Belum terbukti; B40:hefferon-jawaban-bekerja — Ada; belum diverifikasi; B40:hefferon-laboratorium-sage — Ada; belum diverifikasi Pertukaran data adapter: Diverifikasi contract: course-learning-capability/1 Pekerjaan tersisa Selesaikan audit sembilan bidang kemampuan dan bukti penggunaannya; adapter yang lulus tidak otomatis berarti backend lengkap. Lapisan pertukaran bersama: terverifikasi. Paritas kapabilitas native: terverifikasi. Penilaian desain saat ini Desain asli: temuan audit terdahulu Fine hashed CNXML text and attribute slots with explicit problem, solution, asset, and accessibility relations. fine text/attribute slots problem-solution relations asset relations accessibility slots Temuan historis berikut harus diperiksa ulang sebelum dianggap masih berlaku: XPath-ordinal identifiers are fragile. Reverse CNXML reconstruction was not proved. Identitas unit: Diverifikasi. Keselarasan pengajar: Diverifikasi. Zenodo: bukti adapter belum tersedia.
B50 · Kalkulus MultivariabelCLP	Diverifikasi2.3.1	B50 · Perencana tugas CLP B50 · Rute baca keluarga CLP	Diverifikasi Buku latihan CLP3 lengkap B50 · Perencana tugas CLP B50 · CLP assignment planner	Bukti dan pekerjaan berikutnya Sembilan bidang kemampuan Kurikulum dan unit course_graph: Diverifikasi unit_identity: Diverifikasi Ledger sumber/penerjemahan ledger: Belum terbukti corrections: Belum terbukti Istilah register: Belum terbukti Produksi yang dapat diulang build: Belum terbukti replay: Belum terbukti Aksesibilitas semantic_html: Belum dibuat mathml: Belum dibuat Pelajar delivery: Diverifikasi central_tools: 2 Pengajar materials: Diverifikasi unit_alignment: Diverifikasi Federasi komponen references: Diverifikasi component_rights: B50:primary — Belum terbukti; B50:clp3-problem-book-complete — Ada; belum diverifikasi; B50:clp3-source-backend-archive — Ada; belum diverifikasi Pertukaran data adapter: Diverifikasi contract: 2.3.1 497 soal dalam perencana tugas. Identitas struktural soal sumber dan terjemahan dipertahankan. Pekerjaan tersisa Buktikan ledger sumber/penerjemahan asli; status ini tidak menyatakan terjemahan belum selesai. Periksa register istilah dan kaitannya dengan teks serta alternatif istilah. Buktikan produksi asli yang dapat diulang; build adapter saja bukan bukti build buku. Selesaikan audit sembilan bidang kemampuan dan bukti penggunaannya; adapter yang lulus tidak otomatis berarti backend lengkap. Lapisan pertukaran bersama: terverifikasi. Paritas kapabilitas native: belum terbukti. Paket adapter · Rekaman pusat historis Desain asli: temuan audit terdahulu Source-bound incremental registry using native IDs, direct-text hashes, declared topology deltas, marker-bound LaTeX variants, and fail-closed drift checks. native-ID registry direct-text hashing declared topology deltas marker-bound source variants fail-closed drift checking Temuan historis berikut harus diperiksa ulang sebelum dianggap masih berlaku: Prosa tidak dipusatkan; empat backend owner-native tetap menjadi otoritas. Belum ada HTML course-native, EPUB, atau rute unit/fragmen yang dibuktikan. Identitas unit: Diverifikasi. Keselarasan pengajar: Diverifikasi. Zenodo: readback rilis tercatat.
B60 · Kalkulus VektorCLP	Diverifikasi2.3.1	B60 · Perencana tugas CLP B60 · Rute baca keluarga CLP	Diverifikasi Buku latihan CLP4 lengkap B60 · Perencana tugas CLP B60 · CLP assignment planner	Bukti dan pekerjaan berikutnya Sembilan bidang kemampuan Kurikulum dan unit course_graph: Diverifikasi unit_identity: Diverifikasi Ledger sumber/penerjemahan ledger: Belum terbukti corrections: Belum terbukti Istilah register: Belum terbukti Produksi yang dapat diulang build: Belum terbukti replay: Belum terbukti Aksesibilitas semantic_html: Belum dibuat mathml: Belum dibuat Pelajar delivery: Diverifikasi central_tools: 2 Pengajar materials: Diverifikasi unit_alignment: Diverifikasi Federasi komponen references: Diverifikasi component_rights: B60:primary — Belum terbukti; B60:clp4-problem-book-complete — Ada; belum diverifikasi; B60:clp-native-source-and-modular-backend — Ada; belum diverifikasi Pertukaran data adapter: Diverifikasi contract: 2.3.1 410 soal dalam perencana tugas. Identitas struktural soal sumber dan terjemahan dipertahankan. Pekerjaan tersisa Buktikan ledger sumber/penerjemahan asli; status ini tidak menyatakan terjemahan belum selesai. Periksa register istilah dan kaitannya dengan teks serta alternatif istilah. Buktikan produksi asli yang dapat diulang; build adapter saja bukan bukti build buku. Selesaikan audit sembilan bidang kemampuan dan bukti penggunaannya; adapter yang lulus tidak otomatis berarti backend lengkap. Lapisan pertukaran bersama: terverifikasi. Paritas kapabilitas native: belum terbukti. Paket adapter · Rekaman pusat historis Desain asli: temuan audit terdahulu Source-bound incremental registry using native IDs, direct-text hashes, declared topology deltas, marker-bound LaTeX variants, and fail-closed drift checks. native-ID registry direct-text hashing declared topology deltas marker-bound source variants fail-closed drift checking Temuan historis berikut harus diperiksa ulang sebelum dianggap masih berlaku: Prosa tidak dipusatkan; empat backend owner-native tetap menjadi otoritas. Belum ada HTML course-native, EPUB, atau rute unit/fragmen yang dibuktikan. Identitas unit: Diverifikasi. Keselarasan pengajar: Diverifikasi. Zenodo: readback rilis tercatat.
B70 · Persamaan Diferensial Biasa dan Sistem Dinamika PengantarLebl family	Diverifikasilebl-learning-capability/1	Susun rencana kegiatan pengajar Buku, latihan, dan dukungan sumber Istilah dan alternatif keluarga Lebl	Diverifikasi Bank latihan dan penyusun kegiatan B70	Bukti dan pekerjaan berikutnya Sembilan bidang kemampuan Kurikulum dan unit course_graph: Diverifikasi unit_identity: Diverifikasi Ledger sumber/penerjemahan ledger: Belum terbukti corrections: Belum terbukti Istilah register: Diverifikasi Produksi yang dapat diulang build: Belum terbukti replay: Belum terbukti Aksesibilitas semantic_html: Belum dibuat mathml: Belum dibuat Pelajar delivery: Diverifikasi central_tools: 3 Pengajar materials: Diverifikasi unit_alignment: Diverifikasi Federasi komponen references: Diverifikasi component_rights: B70:primary — Belum terbukti Pertukaran data adapter: Diverifikasi contract: lebl-learning-capability/1 Pekerjaan tersisa Buktikan ledger sumber/penerjemahan asli; status ini tidak menyatakan terjemahan belum selesai. Buktikan produksi asli yang dapat diulang; build adapter saja bukan bukti build buku. Selesaikan audit sembilan bidang kemampuan dan bukti penggunaannya; adapter yang lulus tidak otomatis berarti backend lengkap. Lapisan pertukaran bersama: terverifikasi. Paritas kapabilitas native: belum terbukti. Desain asli: temuan audit terdahulu UUID/alias family catalog with explicit hint-only/no-answer states and exact legacy-locator checks. UUID/alias catalog explicit hint-only and no-answer states legacy-locator verification Temuan historis berikut harus diperiksa ulang sebelum dianggap masih berlaku: All 432 segments are headings rather than reusable prose. Retained micro-checkpoint history dominates the machinery. Identitas unit: Diverifikasi. Keselarasan pengajar: Diverifikasi. Zenodo: bukti adapter belum tersedia.
B80 · Komputasi Matematis dan Eksperimen ReprodusibelMathematical Computing	Diverifikasicourse-learning-capability/1	Panduan kegiatan untuk pengajar Unit, latihan, dan pemeriksaan	Diverifikasi Panduan unit dan kegiatan untuk pengajar B80	Bukti dan pekerjaan berikutnya Sembilan bidang kemampuan Kurikulum dan unit course_graph: Diverifikasi unit_identity: Diverifikasi Ledger sumber/penerjemahan ledger: Belum terbukti corrections: Belum terbukti Istilah register: Belum terbukti Produksi yang dapat diulang build: Belum terbukti replay: Belum terbukti Aksesibilitas semantic_html: Ada; belum diverifikasi mathml: Ada; belum diverifikasi Pelajar delivery: Ada; belum diverifikasi central_tools: 2 Pengajar materials: Diverifikasi unit_alignment: Diverifikasi Federasi komponen references: Diverifikasi component_rights: B80:primary — Belum terbukti Pertukaran data adapter: Diverifikasi contract: course-learning-capability/1 Pekerjaan tersisa Buktikan ledger sumber/penerjemahan asli; status ini tidak menyatakan terjemahan belum selesai. Periksa register istilah dan kaitannya dengan teks serta alternatif istilah. Buktikan produksi asli yang dapat diulang; build adapter saja bukan bukti build buku. Verifikasi pelestarian Zenodo yang ditangani pengelola pusat tanpa transaksi rilis yang bersaing. Selesaikan audit sembilan bidang kemampuan dan bukti penggunaannya; adapter yang lulus tidak otomatis berarti backend lengkap. Lapisan pertukaran bersama: terverifikasi. Paritas kapabilitas native: belum terbukti. Desain asli: temuan audit terdahulu Operational course catalog with executable mastery units, exercises, artifacts, and prerequisite routes. executable mastery units artifact-linked exercises prerequisite routes learner-QA consumption pattern Temuan historis berikut harus diperiksa ulang sebelum dianggap masih berlaku: Monolithic hard-coded JSON. No reversible/common exchange. Integrasi B80 sekarang menambahkan pertukaran reversibel serta tampilan pelajar/pengajar bersama. Identitas unit: Diverifikasi. Keselarasan pengajar: Diverifikasi. Zenodo: pelestarian ditugaskan; belum diverifikasi.
B90 · Probabilitas Berbasis KalkulusProbability	Diverifikasicourse-learning-capability/1	B90 · Probabilitas Berbasis Kalkulus	Diverifikasi Pemilih bab, bagian, unit, dan latihan B90 untuk pengajar Peta pengajar atas 800 unit native B90 Indeks 800 unit B90 Indeks 91 konsep B90 Indeks 1.694 relasi B90 Indeks 119 istilah B90 Indeks empat rekaman hak B90 Indeks 152 koreksi B90	Bukti dan pekerjaan berikutnya Sembilan bidang kemampuan Kurikulum dan unit course_graph: Diverifikasi unit_identity: Diverifikasi Ledger sumber/penerjemahan ledger: Diverifikasi corrections: Diverifikasi Istilah register: Diverifikasi Produksi yang dapat diulang build: Diverifikasi replay: Diverifikasi Aksesibilitas semantic_html: Belum dibuat mathml: Belum dibuat Pelajar delivery: Diverifikasi central_tools: 1 Pengajar materials: Diverifikasi unit_alignment: Diverifikasi Federasi komponen references: Diverifikasi component_rights: B90:primary — Belum terbukti Pertukaran data adapter: Diverifikasi contract: course-learning-capability/1 Pekerjaan tersisa Selesaikan audit sembilan bidang kemampuan dan bukti penggunaannya; adapter yang lulus tidak otomatis berarti backend lengkap. Lapisan pertukaran bersama: terverifikasi. Paritas kapabilitas native: terverifikasi. Desain asli: temuan audit terdahulu Compact stable-URN JSONL with lossless CSV and a public-safe projection that exactly omits English authority text. stable URNs lossless JSONL/CSV public-safe redaction projection Temuan historis berikut harus diperiksa ulang sebelum dianggap masih berlaku: Shallow structural graph. Ambiguous stale parallel public export. Identitas unit: Diverifikasi. Keselarasan pengajar: Diverifikasi. Zenodo: bukti adapter belum tersedia.
B95 · Statistika Terapan dan Analisis DataStatistics	Diverifikasicourse-learning-capability/1	B95 · Statistika Terapan dan Analisis Data	Diverifikasi Pemilih bab, unit, latihan, istilah, dan bukti B95 untuk pengajar Peta pengajar atas 1.089 unit native B95 Indeks 21.746 rekaman native B95 Indeks 1.089 unit B95 Indeks 448 latihan B95 Indeks 826 konsep B95 Indeks 11.127 relasi B95 Indeks status 859 istilah B95 Indeks status 302 koreksi B95 Indeks 80 rekaman hak komponen B95 Indeks 2.231 segmen B95 Indeks 2.231 lokalisasi B95 Indeks 2.049 rekaman bukti B95 Inventaris rilis B039 B95	Bukti dan pekerjaan berikutnya Sembilan bidang kemampuan Kurikulum dan unit course_graph: Diverifikasi unit_identity: Diverifikasi Ledger sumber/penerjemahan ledger: Diverifikasi corrections: Diverifikasi Istilah register: Diverifikasi Produksi yang dapat diulang build: Diverifikasi replay: Diverifikasi Aksesibilitas semantic_html: Belum dibuat mathml: Ada; belum diverifikasi Pelajar delivery: Diverifikasi central_tools: 1 Pengajar materials: Diverifikasi unit_alignment: Diverifikasi Federasi komponen references: Diverifikasi component_rights: B95:primary — Belum terbukti; B95:b95-current-native-backend — Belum terbukti; B95:b95-current-source — Belum terbukti Pertukaran data adapter: Diverifikasi contract: course-learning-capability/1 Pekerjaan tersisa Paket adapter v2.3.1 telah dipertahankan dan dibaca kembali secara anonim dalam rilis pusat v0.63.24. Selesaikan audit sembilan bidang kemampuan dan bukti penggunaannya; adapter yang lulus tidak otomatis berarti backend lengkap. Lapisan pertukaran bersama: terverifikasi. Paritas kapabilitas native: terverifikasi. Desain asli: temuan audit terdahulu Rich incremental 10102-record graph with explicit translation states and a byte-preserved predecessor. incremental graph translation-state modeling byte-preserved predecessor lineage Temuan historis berikut harus diperiksa ulang sebelum dianggap masih berlaku: One inherited invalid deferred state prevents clean full-schema replay. 399020415 bytes across 948 files, including 910 evidence files. Learner delivery remains PDF. Identitas unit: Diverifikasi. Keselarasan pengajar: Diverifikasi. Zenodo: bukti adapter belum tersedia.
C10 · Analisis Real ILebl family	Diverifikasilebl-learning-capability/1	Susun rencana kegiatan pengajar Buku, latihan, dan dukungan sumber Istilah dan alternatif keluarga Lebl	Diverifikasi Bank latihan dan penyusun kegiatan C10	Bukti dan pekerjaan berikutnya Sembilan bidang kemampuan Kurikulum dan unit course_graph: Diverifikasi unit_identity: Diverifikasi Ledger sumber/penerjemahan ledger: Belum terbukti corrections: Belum terbukti Istilah register: Diverifikasi Produksi yang dapat diulang build: Belum terbukti replay: Belum terbukti Aksesibilitas semantic_html: Belum dibuat mathml: Belum dibuat Pelajar delivery: Diverifikasi central_tools: 3 Pengajar materials: Diverifikasi unit_alignment: Diverifikasi Federasi komponen references: Diverifikasi component_rights: C10:primary — Belum terbukti Pertukaran data adapter: Diverifikasi contract: lebl-learning-capability/1 Pekerjaan tersisa Buktikan ledger sumber/penerjemahan asli; status ini tidak menyatakan terjemahan belum selesai. Buktikan produksi asli yang dapat diulang; build adapter saja bukan bukti build buku. Selesaikan audit sembilan bidang kemampuan dan bukti penggunaannya; adapter yang lulus tidak otomatis berarti backend lengkap. Lapisan pertukaran bersama: terverifikasi. Paritas kapabilitas native: belum terbukti. Desain asli: temuan audit terdahulu UUID/alias family catalog with explicit hint-only/no-answer states and exact legacy-locator checks. UUID/alias catalog explicit hint-only and no-answer states legacy-locator verification Temuan historis berikut harus diperiksa ulang sebelum dianggap masih berlaku: All 432 segments are headings rather than reusable prose. Retained micro-checkpoint history dominates the machinery. Identitas unit: Diverifikasi. Keselarasan pengajar: Diverifikasi. Zenodo: bukti adapter belum tersedia.
C20 · Analisis Real IILebl family	Diverifikasilebl-learning-capability/1	Susun rencana kegiatan pengajar Buku, latihan, dan dukungan sumber Istilah dan alternatif keluarga Lebl	Diverifikasi Bank latihan dan penyusun kegiatan C20	Bukti dan pekerjaan berikutnya Sembilan bidang kemampuan Kurikulum dan unit course_graph: Diverifikasi unit_identity: Diverifikasi Ledger sumber/penerjemahan ledger: Belum terbukti corrections: Belum terbukti Istilah register: Diverifikasi Produksi yang dapat diulang build: Belum terbukti replay: Belum terbukti Aksesibilitas semantic_html: Belum dibuat mathml: Belum dibuat Pelajar delivery: Diverifikasi central_tools: 3 Pengajar materials: Diverifikasi unit_alignment: Diverifikasi Federasi komponen references: Diverifikasi component_rights: C20:primary — Belum terbukti Pertukaran data adapter: Diverifikasi contract: lebl-learning-capability/1 Pekerjaan tersisa Buktikan ledger sumber/penerjemahan asli; status ini tidak menyatakan terjemahan belum selesai. Buktikan produksi asli yang dapat diulang; build adapter saja bukan bukti build buku. Selesaikan audit sembilan bidang kemampuan dan bukti penggunaannya; adapter yang lulus tidak otomatis berarti backend lengkap. Lapisan pertukaran bersama: terverifikasi. Paritas kapabilitas native: belum terbukti. Desain asli: temuan audit terdahulu UUID/alias family catalog with explicit hint-only/no-answer states and exact legacy-locator checks. UUID/alias catalog explicit hint-only and no-answer states legacy-locator verification Temuan historis berikut harus diperiksa ulang sebelum dianggap masih berlaku: All 432 segments are headings rather than reusable prose. Retained micro-checkpoint history dominates the machinery. Identitas unit: Diverifikasi. Keselarasan pengajar: Diverifikasi. Zenodo: bukti adapter belum tersedia.
C30 · Aljabar Abstrak IJudson	Diverifikasi2.3.1	C30 · Perencana tugas aljabar abstrak Peta bab & edisi arsip	Diverifikasi C30 · Perencana tugas aljabar abstrak C30 · Abstract algebra assignment planner	Bukti dan pekerjaan berikutnya Sembilan bidang kemampuan Kurikulum dan unit course_graph: Diverifikasi unit_identity: Diverifikasi Ledger sumber/penerjemahan ledger: Belum terbukti corrections: Belum terbukti Istilah register: Belum terbukti Produksi yang dapat diulang build: Belum terbukti replay: Belum terbukti Aksesibilitas semantic_html: Ada; belum diverifikasi mathml: Ada; belum diverifikasi Pelajar delivery: Ada; belum diverifikasi central_tools: 2 Pengajar materials: Diverifikasi unit_alignment: Diverifikasi Federasi komponen references: Diverifikasi component_rights: C30:primary — Belum terbukti Pertukaran data adapter: Diverifikasi contract: 2.3.1 610 soal dalam perencana tugas. Identitas struktural soal sumber dan terjemahan dipertahankan. Pekerjaan tersisa Buktikan ledger sumber/penerjemahan asli; status ini tidak menyatakan terjemahan belum selesai. Periksa register istilah dan kaitannya dengan teks serta alternatif istilah. Buktikan produksi asli yang dapat diulang; build adapter saja bukan bukti build buku. Selesaikan audit sembilan bidang kemampuan dan bukti penggunaannya; adapter yang lulus tidak otomatis berarti backend lengkap. Lapisan pertukaran bersama: terverifikasi. Paritas kapabilitas native: belum terbukti. Paket adapter · Rekaman pusat historis Desain asli: temuan audit terdahulu One 3323-unit graph producing two nonduplicating course views with 6505 typed relations, persistent birth/current identities, source-frozen state, corrections, and deterministic self-contained exchange. one canonical graph with nonduplicating course views persistent birth/current identities source-frozen state typed relations self-contained exchange Temuan historis berikut harus diperiksa ulang sebelum dianggap masih berlaku: Course selectors are not exposed as distinct learner navigation. Semantics rely on custom verifier code beyond the permissive envelope schema. Identitas unit: Diverifikasi. Keselarasan pengajar: Diverifikasi. Zenodo: readback rilis tercatat.
C40 · Aljabar Abstrak IIJudson	Diverifikasi2.3.1	C40 · Perencana tugas aljabar abstrak Peta bab & edisi arsip	Diverifikasi C40 · Perencana tugas aljabar abstrak C40 · Abstract algebra assignment planner	Bukti dan pekerjaan berikutnya Sembilan bidang kemampuan Kurikulum dan unit course_graph: Diverifikasi unit_identity: Diverifikasi Ledger sumber/penerjemahan ledger: Belum terbukti corrections: Belum terbukti Istilah register: Belum terbukti Produksi yang dapat diulang build: Belum terbukti replay: Belum terbukti Aksesibilitas semantic_html: Ada; belum diverifikasi mathml: Ada; belum diverifikasi Pelajar delivery: Ada; belum diverifikasi central_tools: 2 Pengajar materials: Diverifikasi unit_alignment: Diverifikasi Federasi komponen references: Diverifikasi component_rights: C40:primary — Belum terbukti Pertukaran data adapter: Diverifikasi contract: 2.3.1 303 soal dalam perencana tugas. Identitas struktural soal sumber dan terjemahan dipertahankan. Pekerjaan tersisa Buktikan ledger sumber/penerjemahan asli; status ini tidak menyatakan terjemahan belum selesai. Periksa register istilah dan kaitannya dengan teks serta alternatif istilah. Buktikan produksi asli yang dapat diulang; build adapter saja bukan bukti build buku. Selesaikan audit sembilan bidang kemampuan dan bukti penggunaannya; adapter yang lulus tidak otomatis berarti backend lengkap. Lapisan pertukaran bersama: terverifikasi. Paritas kapabilitas native: belum terbukti. Paket adapter · Rekaman pusat historis Desain asli: temuan audit terdahulu One 3323-unit graph producing two nonduplicating course views with 6505 typed relations, persistent birth/current identities, source-frozen state, corrections, and deterministic self-contained exchange. one canonical graph with nonduplicating course views persistent birth/current identities source-frozen state typed relations self-contained exchange Temuan historis berikut harus diperiksa ulang sebelum dianggap masih berlaku: Course selectors are not exposed as distinct learner navigation. Semantics rely on custom verifier code beyond the permissive envelope schema. Identitas unit: Diverifikasi. Keselarasan pengajar: Diverifikasi. Zenodo: readback rilis tercatat.
C50 · Analisis KompleksLebl family	Diverifikasilebl-learning-capability/1	Susun rencana kegiatan pengajar Buku, latihan, dan dukungan sumber Istilah dan alternatif keluarga Lebl	Diverifikasi Bank latihan dan penyusun kegiatan C50	Bukti dan pekerjaan berikutnya Sembilan bidang kemampuan Kurikulum dan unit course_graph: Diverifikasi unit_identity: Diverifikasi Ledger sumber/penerjemahan ledger: Belum terbukti corrections: Belum terbukti Istilah register: Diverifikasi Produksi yang dapat diulang build: Belum terbukti replay: Belum terbukti Aksesibilitas semantic_html: Belum dibuat mathml: Belum dibuat Pelajar delivery: Diverifikasi central_tools: 3 Pengajar materials: Diverifikasi unit_alignment: Diverifikasi Federasi komponen references: Diverifikasi component_rights: C50:primary — Belum terbukti Pertukaran data adapter: Diverifikasi contract: lebl-learning-capability/1 Pekerjaan tersisa Buktikan ledger sumber/penerjemahan asli; status ini tidak menyatakan terjemahan belum selesai. Buktikan produksi asli yang dapat diulang; build adapter saja bukan bukti build buku. Selesaikan audit sembilan bidang kemampuan dan bukti penggunaannya; adapter yang lulus tidak otomatis berarti backend lengkap. Lapisan pertukaran bersama: terverifikasi. Paritas kapabilitas native: belum terbukti. Desain asli: temuan audit terdahulu UUID/alias family catalog with explicit hint-only/no-answer states and exact legacy-locator checks. UUID/alias catalog explicit hint-only and no-answer states legacy-locator verification Temuan historis berikut harus diperiksa ulang sebelum dianggap masih berlaku: All 432 segments are headings rather than reusable prose. Retained micro-checkpoint history dominates the machinery. Identitas unit: Diverifikasi. Keselarasan pengajar: Diverifikasi. Zenodo: bukti adapter belum tersedia.
C60 · Teori Bilangan dan KriptologiNumber Theory	Diverifikasicourse-learning-capability/1	C60 · Teori Bilangan dan Kriptologi	Diverifikasi Pemilih unit, konsep, latihan, istilah, dan koreksi C60 Peta pengajar atas seluruh 548 unit native C60 Indeks 223 konsep C60 Indeks 3.297 relasi native C60 Hak komponen, 239 istilah, dan 141 koreksi C60 Rujukan ledger dan migrasi reversibel C60 Indeks hash seluruh 5.272 ID native C60	Bukti dan pekerjaan berikutnya Sembilan bidang kemampuan Kurikulum dan unit course_graph: Diverifikasi unit_identity: Diverifikasi Ledger sumber/penerjemahan ledger: Diverifikasi corrections: Diverifikasi Istilah register: Diverifikasi Produksi yang dapat diulang build: Diverifikasi replay: Diverifikasi Aksesibilitas semantic_html: Diverifikasi mathml: Diverifikasi Pelajar delivery: Diverifikasi central_tools: 1 Pengajar materials: Diverifikasi unit_alignment: Diverifikasi Federasi komponen references: Diverifikasi component_rights: C60:primary — Belum terbukti Pertukaran data adapter: Diverifikasi contract: course-learning-capability/1 Pekerjaan tersisa Selesaikan audit sembilan bidang kemampuan dan bukti penggunaannya; adapter yang lulus tidak otomatis berarti backend lengkap. Lapisan pertukaran bersama: terverifikasi. Paritas kapabilitas native: terverifikasi. Desain asli: temuan audit terdahulu Broad bilingual entity/event graph with concepts, prerequisites, corrections, rights, and many reversible projections. bilingual entity/event graph concept and prerequisite relations correction and rights records reversible projections Temuan historis berikut harus diperiksa ulang sebelum dianggap masih berlaku: Duplicated JSON, CSV, and XLSX. High evidence burden. TeX still drives the reader. Identitas unit: Diverifikasi. Keselarasan pengajar: Diverifikasi. Zenodo: bukti adapter belum tersedia.
C70 · Kombinatorika TerapanApplied Combinatorics	Diverifikasicourse-learning-capability/1	C70 · Kombinatorika Terapan	Diverifikasi Pemilih unit, konsep, dan dukungan latihan C70 untuk pengajar Peta 1.408 unit native dan 82 dukungan latihan C70 Indeks 701 konsep C70 Indeks 6.334 relasi native C70	Bukti dan pekerjaan berikutnya Sembilan bidang kemampuan Kurikulum dan unit course_graph: Diverifikasi unit_identity: Diverifikasi Ledger sumber/penerjemahan ledger: Diverifikasi corrections: Diverifikasi Istilah register: Diverifikasi Produksi yang dapat diulang build: Diverifikasi replay: Diverifikasi Aksesibilitas semantic_html: Diverifikasi mathml: Belum dibuat Pelajar delivery: Diverifikasi central_tools: 1 Pengajar materials: Diverifikasi unit_alignment: Diverifikasi Federasi komponen references: Diverifikasi component_rights: C70:primary — Belum terbukti Pertukaran data adapter: Diverifikasi contract: course-learning-capability/1 Pekerjaan tersisa Selesaikan audit sembilan bidang kemampuan dan bukti penggunaannya; adapter yang lulus tidak otomatis berarti backend lengkap. Lapisan pertukaran bersama: terverifikasi. Paritas kapabilitas native: terverifikasi. Desain asli: temuan audit terdahulu Exact parallel source/target PreTeXt graphs with 19048 records and a strong concept/prerequisite model. parallel source/target graphs concept/prerequisite model portable PreTeXt representation Temuan historis berikut harus diperiksa ulang sebelum dianggap masih berlaku: Huge source and reader inventories. High exporter/validator burden. One queued mapping in the terminal release. Identitas unit: Diverifikasi. Keselarasan pengajar: Diverifikasi. Zenodo: bukti adapter belum tersedia.
C80 · Logika Matematis, Teori Himpunan, dan KomputabilitasOpen Logic	Diverifikasi2.3.1	Buka Open Logic lengkap C80 · Perencana tugas OpenLogic	Diverifikasi C80 · Perencana tugas OpenLogic C80 · OpenLogic assignment planner	Bukti dan pekerjaan berikutnya Sembilan bidang kemampuan Kurikulum dan unit course_graph: Diverifikasi unit_identity: Belum terbukti Ledger sumber/penerjemahan ledger: Belum terbukti corrections: Belum terbukti Istilah register: Belum terbukti Produksi yang dapat diulang build: Belum terbukti replay: Belum terbukti Aksesibilitas semantic_html: Belum dibuat mathml: Belum dibuat Pelajar delivery: Ada; belum diverifikasi central_tools: 2 Pengajar materials: Diverifikasi unit_alignment: Diverifikasi Federasi komponen references: Diverifikasi component_rights: C80:primary — Belum terbukti Pertukaran data adapter: Diverifikasi contract: 2.3.1 442 soal dalam perencana tugas. Identitas struktural soal sumber dan terjemahan dipertahankan. Pekerjaan tersisa Buktikan ledger sumber/penerjemahan asli; status ini tidak menyatakan terjemahan belum selesai. Periksa register istilah dan kaitannya dengan teks serta alternatif istilah. Buktikan produksi asli yang dapat diulang; build adapter saja bukan bukti build buku. Selesaikan audit sembilan bidang kemampuan dan bukti penggunaannya; adapter yang lulus tidak otomatis berarti backend lengkap. Lapisan pertukaran bersama: terverifikasi. Paritas kapabilitas native: belum terbukti. Paket adapter · Rekaman pusat historis Desain asli: temuan audit terdahulu A 722-module TeX source overlay with an exact 642-reader/80-retained-source distinction, frozen import closure, and complete evidence. module-level preservation unitization reader-versus-retained-source distinction frozen import closure Temuan historis berikut harus diperiksa ulang sebelum dianggap masih berlaku: Not a normalized semantic backend. No course navigation or HTML. Toolchain pinning is incomplete. Identitas unit: Belum terbukti. Keselarasan pengajar: Diverifikasi. Zenodo: readback rilis tercatat.
C90 · Topologi Himpunan-TitikTopology	Diverifikasitopology-learning-capability/1	C90	Diverifikasi Pembaca dan dukungan native topologi Penyusun paket kegiatan topologi	Bukti dan pekerjaan berikutnya Sembilan bidang kemampuan Kurikulum dan unit course_graph: Diverifikasi unit_identity: Diverifikasi Ledger sumber/penerjemahan ledger: Belum terbukti corrections: Belum terbukti Istilah register: Diverifikasi Produksi yang dapat diulang build: Belum terbukti replay: Belum terbukti Aksesibilitas semantic_html: Ada; belum diverifikasi mathml: Ada; belum diverifikasi Pelajar delivery: Ada; belum diverifikasi central_tools: 1 Pengajar materials: Diverifikasi unit_alignment: Diverifikasi Federasi komponen references: Diverifikasi component_rights: C90:primary — Belum terbukti Pertukaran data adapter: Diverifikasi contract: topology-learning-capability/1 Pekerjaan tersisa Buktikan ledger sumber/penerjemahan asli; status ini tidak menyatakan terjemahan belum selesai. Buktikan produksi asli yang dapat diulang; build adapter saja bukan bukti build buku. Selesaikan audit sembilan bidang kemampuan dan bukti penggunaannya; adapter yang lulus tidak otomatis berarti backend lengkap. Lapisan pertukaran bersama: terverifikasi. Paritas kapabilitas native: belum terbukti. Desain asli: temuan audit terdahulu Per-prompt statement/hint/answer/solution manifests and mastery modules consumed in a collapsible self-study reader. per-prompt learning structure mastery modules direct collapsible-reader consumption Temuan historis berikut harus diperiksa ulang sebelum dianggap masih berlaku: Chapter-by-chapter schema drift. No clean global reversible graph. Identitas unit: Diverifikasi. Keselarasan pengajar: Diverifikasi. Zenodo: bukti adapter belum tersedia.
C100 · Geometri: Euklides, Afin, Projektif, dan Non-EuklidesGeometry	Diverifikasigeometry-learning-capability/1	Susun rencana kegiatan geometri Geometri: bacaan, latihan, konsep dan istilah	Diverifikasi Buku kerja geometri dua dimensi — lengkap 22/22 unit Catatan materi pengajar pada edisi sumber Penyusun kegiatan geometri berbasis konsep dan latihan	Bukti dan pekerjaan berikutnya Sembilan bidang kemampuan Kurikulum dan unit course_graph: Diverifikasi unit_identity: Diverifikasi Ledger sumber/penerjemahan ledger: Belum terbukti corrections: Belum terbukti Istilah register: Diverifikasi Produksi yang dapat diulang build: Belum terbukti replay: Belum terbukti Aksesibilitas semantic_html: Diverifikasi mathml: Diverifikasi Pelajar delivery: Diverifikasi central_tools: 2 Pengajar materials: Diverifikasi unit_alignment: Diverifikasi Federasi komponen references: Diverifikasi component_rights: C100:primary — Belum terbukti; C100:clemens-snapp-workbook-u022 — Ada; belum diverifikasi Pertukaran data adapter: Diverifikasi contract: geometry-learning-capability/1 Pekerjaan tersisa Buktikan ledger sumber/penerjemahan asli; status ini tidak menyatakan terjemahan belum selesai. Buktikan produksi asli yang dapat diulang; build adapter saja bukan bukti build buku. Selesaikan audit sembilan bidang kemampuan dan bukti penggunaannya; adapter yang lulus tidak otomatis berarti backend lengkap. Lapisan pertukaran bersama: terverifikasi. Paritas kapabilitas native: belum terbukti. Desain asli: temuan audit terdahulu Compact additive unit, exercise, hint, and figure catalogs directly consumed to build semantic HTML and EPUB. unit/exercise/hint/figure registries direct semantic HTML/EPUB generation operational accessibility metadata Temuan historis berikut harus diperiksa ulang sebelum dianggap masih berlaku: Permissive and ad-hoc statuses. Two-record/three-relation local-public catalog drift reduces reproducibility. Identitas unit: Diverifikasi. Keselarasan pengajar: Diverifikasi. Zenodo: bukti adapter belum tersedia.
C110 · Analisis NumerikNumerical Analysis	Diverifikasicourse-learning-capability/1	C110 · Analisis Numerik	Diverifikasi Pemilih modul, unit, dan eksperimen C110 untuk pengajar Peta 29 modul dan 281 unit native C110 Indeks 4.621 alignment terjemahan C110	Bukti dan pekerjaan berikutnya Sembilan bidang kemampuan Kurikulum dan unit course_graph: Diverifikasi unit_identity: Diverifikasi Ledger sumber/penerjemahan ledger: Diverifikasi corrections: Diverifikasi Istilah register: Diverifikasi Produksi yang dapat diulang build: Diverifikasi replay: Diverifikasi Aksesibilitas semantic_html: Belum dibuat mathml: Belum dibuat Pelajar delivery: Diverifikasi central_tools: 1 Pengajar materials: Diverifikasi unit_alignment: Diverifikasi Federasi komponen references: Diverifikasi component_rights: C110:primary — Belum terbukti Pertukaran data adapter: Diverifikasi contract: course-learning-capability/1 Pekerjaan tersisa Selesaikan audit sembilan bidang kemampuan dan bukti penggunaannya; adapter yang lulus tidak otomatis berarti backend lengkap. Lapisan pertukaran bersama: terverifikasi. Paritas kapabilitas native: terverifikasi. Desain asli: temuan audit terdahulu Tea Time backend with deterministic pack/merge, experiment records, exact toolchain receipts, one-byte drift rejection, and lossless open export. deterministic pack/merge experiment records exact toolchain receipts one-byte drift rejection lossless export Temuan historis berikut harus diperiksa ulang sebelum dianggap masih berlaku: Generic/permissive schema. No proved shared runtime. Later helper-packet evidence must not replace this primary interpretation. Identitas unit: Diverifikasi. Keselarasan pengajar: Diverifikasi. Zenodo: bukti adapter belum tersedia.
C120 · Pemodelan Matematis dan Dinamika NonlinearModeling and Nonlinear Dynamics	Diverifikasicourse-learning-capability/1	C120 · Pemodelan dan Dinamika Nonlinear	Diverifikasi Pemilih unit, masalah, dan proyek C120 untuk pengajar Peta unit, penguasaan, notebook, dan proyek C120	Bukti dan pekerjaan berikutnya Sembilan bidang kemampuan Kurikulum dan unit course_graph: Diverifikasi unit_identity: Diverifikasi Ledger sumber/penerjemahan ledger: Diverifikasi corrections: Diverifikasi Istilah register: Diverifikasi Produksi yang dapat diulang build: Diverifikasi replay: Diverifikasi Aksesibilitas semantic_html: Diverifikasi mathml: Diverifikasi Pelajar delivery: Diverifikasi central_tools: 1 Pengajar materials: Diverifikasi unit_alignment: Diverifikasi Federasi komponen references: Diverifikasi component_rights: C120:primary — Belum terbukti Pertukaran data adapter: Diverifikasi contract: course-learning-capability/1 Pekerjaan tersisa Selesaikan audit sembilan bidang kemampuan dan bukti penggunaannya; adapter yang lulus tidak otomatis berarti backend lengkap. Lapisan pertukaran bersama: terverifikasi. Paritas kapabilitas native: terverifikasi. Desain asli: temuan audit terdahulu Paired source/target hashes, mastery triples, notebooks, and project packets; the manager adapter maps 4941 native records and reconstructs 81 files. paired source/target hashes mastery triples notebook/project-packet composition file reconstruction Temuan historis berikut harus diperiksa ulang sebelum dianggap masih berlaku: Earlier native validator coverage was incomplete. Latest readable task boundary concerned a revoked helper. Universal portability is not established. Identitas unit: Diverifikasi. Keselarasan pengajar: Diverifikasi. Zenodo: bukti adapter belum tersedia.
C130 · Optimisasi Linear dan Integer / Riset OperasiOperations Research	Diverifikasi2.3.1	Buka Riset Operasi — Buku 1 C130 · Perencana tugas Riset Operasi C130 · Cari istilah dan catatan koreksi	Diverifikasi C130 · Perencana tugas Riset Operasi C130 · Operations Research assignment planner C130 · Istilah dan catatan koreksi asli C130 · Native terminology and correction records	Bukti dan pekerjaan berikutnya Sembilan bidang kemampuan Kurikulum dan unit course_graph: Diverifikasi unit_identity: Belum terbukti Ledger sumber/penerjemahan ledger: Ada; belum diverifikasi corrections: Ada; belum diverifikasi Istilah register: Ada; belum diverifikasi Produksi yang dapat diulang build: Belum terbukti replay: Belum terbukti Aksesibilitas semantic_html: Ada; belum diverifikasi mathml: Ada; belum diverifikasi Pelajar delivery: Ada; belum diverifikasi central_tools: 3 Pengajar materials: Diverifikasi unit_alignment: Diverifikasi Federasi komponen references: Diverifikasi component_rights: C130:primary — Belum terbukti Pertukaran data adapter: Diverifikasi contract: 2.3.1 203 soal dalam perencana tugas. Identitas struktural soal sumber dan terjemahan dipertahankan. Pekerjaan tersisa Sebanyak 21 rujukan teks target lama telah diselesaikan; lokasi target yang belum terselesaikan: 0. Periksa perbedaan identitas pada 1 berkas penggabungan serta pilihan istilah dan klaim kanon secara semantik. Kecocokan lokasi teks bukan persetujuan baru terhadap setiap pilihan istilah. Pemetaan saat ini mencakup 203 soal, 12 cek pemahaman beserta jawaban, dan 12 kegiatan visual. Semua 132 penyelesaian lain mempunyai rujukan halaman: 104 kutipan tunggal, 14 kelompok potongan teks berurutan, 12 awal penyelesaian berbasis rujukan latihan, dan 2 awal penyelesaian berbasis contoh. Tautan tidak memetakan seluruh isi atau memverifikasi rumus; penyelesaian dapat berlanjut ke halaman berikutnya. Empat soal sumber lama tidak dicetak dalam PDF ini. Hasil solver belum dijalankan ulang; antarmuka Inggris tetap membuka buku Bahasa Indonesia. Buktikan ledger sumber/penerjemahan asli; status ini tidak menyatakan terjemahan belum selesai. Periksa register istilah dan kaitannya dengan teks serta alternatif istilah. Buktikan produksi asli yang dapat diulang; build adapter saja bukan bukti build buku. Selesaikan audit sembilan bidang kemampuan dan bukti penggunaannya; adapter yang lulus tidak otomatis berarti backend lengkap. Lapisan pertukaran bersama: terverifikasi. Paritas kapabilitas native: belum terbukti. Paket adapter · Rekaman pusat historis Desain asli: temuan audit terdahulu Complete locale-neutral graph with 1993 units, 5525 segments, 9545 relations, prerequisites, exercises, and executable lab adaptations. general locale-neutral course graph typed learning relations exercise and lab adaptation model Temuan historis berikut harus diperiksa ulang sebelum dianggap masih berlaku: Large typed graph/evidence layer. No reverse importer. Identitas unit: Belum terbukti. Keselarasan pengajar: Diverifikasi. Zenodo: readback rilis tercatat.
C140 · Statistika MatematisMathematical Statistics	Diverifikasicourse-learning-capability/1	C140 · Statistika Matematis	Diverifikasi Pendamping orisinal C140 lengkap Peta pengajar untuk tiga komponen C140 Peta pengajar C140 atas 54 dokumen dan identitas asesmen Indeks 54 dokumen C140 Indeks 6.510 unit Penn Indeks 4.932 segmen Penn Indeks 192 istilah Penn Indeks 242 koreksi Penn Indeks 325 entitas Random Indeks 474 relasi Random Indeks 42 istilah Random Indeks 19 rekaman adverse Random Indeks 1.523 entitas pendamping Indeks 1.949 relasi pendamping Sembilan proyeksi hak komponen C140	Bukti dan pekerjaan berikutnya Sembilan bidang kemampuan Kurikulum dan unit course_graph: Diverifikasi unit_identity: Diverifikasi Ledger sumber/penerjemahan ledger: Diverifikasi corrections: Diverifikasi Istilah register: Diverifikasi Produksi yang dapat diulang build: Diverifikasi replay: Diverifikasi Aksesibilitas semantic_html: Diverifikasi mathml: Ada; belum diverifikasi Pelajar delivery: Diverifikasi central_tools: 1 Pengajar materials: Diverifikasi unit_alignment: Diverifikasi Federasi komponen references: Diverifikasi component_rights: C140:primary — Belum terbukti; C140:c140-companion-offline — Belum terbukti; C140:c140-companion-reader — Belum terbukti; C140:c140-companion-source-backend — Belum terbukti; C140:random-mathematical-statistics-doi — Belum terbukti; C140:random-mathematical-statistics-html — Belum terbukti; C140:random-mathematical-statistics-pdf — Belum terbukti Pertukaran data adapter: Diverifikasi contract: course-learning-capability/1 Pekerjaan tersisa Paket adapter v2.3.1 telah dipertahankan dan dibaca kembali secara anonim dalam rilis pusat v0.63.24. Selesaikan audit sembilan bidang kemampuan dan bukti penggunaannya; adapter yang lulus tidak otomatis berarti backend lengkap. Lapisan pertukaran bersama: terverifikasi. Paritas kapabilitas native: terverifikasi. Desain asli: temuan audit terdahulu Rights-separated federation of Penn spine, donor material, and original companion with staged problems, simulations, mastery metadata, and byte-identical cumulative reuse. component-rights federation staged problem structure simulation and mastery metadata byte-identical cumulative reuse Temuan historis berikut harus diperiksa ulang sebelum dianggap masih berlaku: Prerequisites and objectives remain in Markdown rather than graph edges. Per-lesson/checkpoint machinery is heavy. Identitas unit: Diverifikasi. Keselarasan pengajar: Diverifikasi. Zenodo: bukti adapter belum tersedia.
D10 · Ukuran dan IntegrasiMeasure and Integration	Diverifikasicourse-learning-capability/1	D10 · Ukuran dan Integrasi	Diverifikasi Pemilih unit dan latihan D10 untuk pengajar Peta unit, latihan, petunjuk, formula, dan koreksi D10	Bukti dan pekerjaan berikutnya Sembilan bidang kemampuan Kurikulum dan unit course_graph: Diverifikasi unit_identity: Diverifikasi Ledger sumber/penerjemahan ledger: Diverifikasi corrections: Diverifikasi Istilah register: Diverifikasi Produksi yang dapat diulang build: Diverifikasi replay: Diverifikasi Aksesibilitas semantic_html: Diverifikasi mathml: Diverifikasi Pelajar delivery: Diverifikasi central_tools: 1 Pengajar materials: Diverifikasi unit_alignment: Diverifikasi Federasi komponen references: Diverifikasi component_rights: D10:primary — Belum terbukti Pertukaran data adapter: Diverifikasi contract: course-learning-capability/1 Pekerjaan tersisa Selesaikan audit sembilan bidang kemampuan dan bukti penggunaannya; adapter yang lulus tidak otomatis berarti backend lengkap. Lapisan pertukaran bersama: terverifikasi. Paritas kapabilitas native: terverifikasi. Desain asli: temuan audit terdahulu Exact bilingual source-topology catalog with raw source/target TeX, hashes, rights, and deterministic JSONL/CSV replay. bilingual source topology raw source/target preservation hash and rights binding deterministic JSONL/CSV replay Temuan historis berikut harus diperiksa ulang sebelum dianggap masih berlaku: Many empty projections and version chains. Almost no pedagogical prerequisites. Current backend exceeds the public release. Identitas unit: Diverifikasi. Keselarasan pengajar: Diverifikasi. Zenodo: bukti adapter belum tersedia.
D20 · Analisis FungsionalFunctional Analysis	Diverifikasi2.3.1	D20 · Cari istilah, sumber dan koreksi D20 · Analisis Fungsional	Diverifikasi Pemilih unit dan latihan D20 untuk pengajar D20 teaching-plan selector — English interface, Indonesian reading D20 · Istilah, sumber, koreksi dan hak asli D20 · Native terms, sources, corrections and rights	Bukti dan pekerjaan berikutnya Sembilan bidang kemampuan Kurikulum dan unit course_graph: Diverifikasi unit_identity: Diverifikasi Ledger sumber/penerjemahan ledger: Ada; belum diverifikasi corrections: Ada; belum diverifikasi Istilah register: Ada; belum diverifikasi Produksi yang dapat diulang build: Belum terbukti replay: Belum terbukti Aksesibilitas semantic_html: Ada; belum diverifikasi mathml: Ada; belum diverifikasi Pelajar delivery: Ada; belum diverifikasi central_tools: 2 Pengajar materials: Diverifikasi unit_alignment: Diverifikasi Federasi komponen references: Diverifikasi component_rights: D20:primary — Belum terbukti Pertukaran data adapter: Diverifikasi contract: 2.3.1 Pekerjaan tersisa Buktikan ledger sumber/penerjemahan asli; status ini tidak menyatakan terjemahan belum selesai. Periksa register istilah dan kaitannya dengan teks serta alternatif istilah. Buktikan produksi asli yang dapat diulang; build adapter saja bukan bukti build buku. Selesaikan audit sembilan bidang kemampuan dan bukti penggunaannya; adapter yang lulus tidak otomatis berarti backend lengkap. Lapisan pertukaran bersama: terverifikasi. Paritas kapabilitas native: belum terbukti. Paket adapter · Rekaman pusat historis Desain asli: temuan audit terdahulu Immutable scholarly base with an additive learner companion overlay, formula alignment, solutions, HTML routes, and accessible SVGs. immutable-base/additive-overlay state model formula alignment learner companion structure accessible SVGs HTML route integration Temuan historis berikut harus diperiksa ulang sebelum dianggap masih berlaku: Many chapter scripts. Many formula and structural rows. Prerequisite modeling remains thin. Identitas unit: Diverifikasi. Keselarasan pengajar: Diverifikasi. Zenodo: readback rilis tercatat.
D30 · Probabilitas Teoretis-Ukuran dan Proses StokastikStochastic Processes	Diverifikasicourse-learning-capability/1	D30 · Probabilitas Teoretis-Ukuran dan Proses Stokastik	Diverifikasi Observasi pengajar pada rilis native D30 Peta hak, relasi, asesmen, laboratorium, dan provenans D30 Peta mesin pengajar D30 Indeks istilah D30 Indeks hak komponen D30 Indeks koreksi D30 Indeks relasi native D30	Bukti dan pekerjaan berikutnya Sembilan bidang kemampuan Kurikulum dan unit course_graph: Diverifikasi unit_identity: Diverifikasi Ledger sumber/penerjemahan ledger: Diverifikasi corrections: Diverifikasi Istilah register: Diverifikasi Produksi yang dapat diulang build: Diverifikasi replay: Diverifikasi Aksesibilitas semantic_html: Diverifikasi mathml: Ada; belum diverifikasi Pelajar delivery: Diverifikasi central_tools: 1 Pengajar materials: Diverifikasi unit_alignment: Diverifikasi Federasi komponen references: Diverifikasi component_rights: D30:primary — Belum terbukti Pertukaran data adapter: Diverifikasi contract: course-learning-capability/1 Pekerjaan tersisa Selesaikan audit sembilan bidang kemampuan dan bukti penggunaannya; adapter yang lulus tidak otomatis berarti backend lengkap. Lapisan pertukaran bersama: terverifikasi. Paritas kapabilitas native: terverifikasi. Desain asli: temuan audit terdahulu Generic typed course graph joining donor sources, outcomes, labs, programs, assets, rights, and activities. portable outcomes/lab model typed course relations donor-source and rights joins Temuan historis berikut harus diperiksa ulang sebelum dianggap masih berlaku: The site shares identifiers but does not consume the backend. Exporter and artifact weight is high. Identitas unit: Diverifikasi. Keselarasan pengajar: Diverifikasi. Zenodo: bukti adapter belum tersedia.
D40 · Persamaan Diferensial ParsialPartial Differential Equations	Diverifikasicourse-learning-capability/1	D40 · Persamaan Diferensial Parsial	Diverifikasi Materi pendukung native persamaan diferensial parsial Peta teori, mastery, asesmen, laboratorium, eksekusi, hak, dan provenans D40 untuk pengajar	Bukti dan pekerjaan berikutnya Sembilan bidang kemampuan Kurikulum dan unit course_graph: Diverifikasi unit_identity: Diverifikasi Ledger sumber/penerjemahan ledger: Diverifikasi corrections: Diverifikasi Istilah register: Diverifikasi Produksi yang dapat diulang build: Diverifikasi replay: Diverifikasi Aksesibilitas semantic_html: Diverifikasi mathml: Diverifikasi Pelajar delivery: Diverifikasi central_tools: 1 Pengajar materials: Diverifikasi unit_alignment: Diverifikasi Federasi komponen references: Diverifikasi component_rights: D40:primary — Belum terbukti; D40:d40-complete-package — Ada; belum diverifikasi; D40:dionne-unit14-source — Ada; belum diverifikasi Pertukaran data adapter: Diverifikasi contract: course-learning-capability/1 Pekerjaan tersisa Selesaikan audit sembilan bidang kemampuan dan bukti penggunaannya; adapter yang lulus tidak otomatis berarti backend lengkap. Lapisan pertukaran bersama: terverifikasi. Paritas kapabilitas native: terverifikasi. Desain asli: temuan audit terdahulu Append-only TeX document graph with label-derived stable IDs and byte-identical predecessor prefixes/xref snapshots. append-only release lineage label-derived stable IDs predecessor-prefix and xref snapshots Temuan historis berikut harus diperiksa ulang sebelum dianggap masih berlaku: No formal schema. Models topology rather than learning semantics. Dual legacy/current backends. Heavy cumulative receipts. Identitas unit: Diverifikasi. Keselarasan pengajar: Diverifikasi. Zenodo: bukti adapter belum tersedia.
D50 · Lipatan Mulus dan Geometri DiferensialDifferential Geometry	Diverifikasi2.3.1	D50 · Geometri Diferensial	Diverifikasi Pemilih unit dan latihan D50 untuk pengajar D50 teaching-plan selector — English interface, Indonesian reading	Bukti dan pekerjaan berikutnya Sembilan bidang kemampuan Kurikulum dan unit course_graph: Diverifikasi unit_identity: Diverifikasi Ledger sumber/penerjemahan ledger: Diverifikasi corrections: Diverifikasi Istilah register: Diverifikasi Produksi yang dapat diulang build: Diverifikasi replay: Diverifikasi Aksesibilitas semantic_html: Diverifikasi mathml: Ada; belum diverifikasi Pelajar delivery: Diverifikasi central_tools: 1 Pengajar materials: Diverifikasi unit_alignment: Diverifikasi Federasi komponen references: Diverifikasi component_rights: D50:primary — Belum terbukti Pertukaran data adapter: Diverifikasi contract: 2.3.1 Pekerjaan tersisa HTML dan backend dibangun ulang dari 1.282 berkas sumber dan hasilnya identik. PDF diikat ke dua pembangunan bersih terdahulu, bukan kompilasi baru. Uji aksesibilitas dan batas luring lanjutan tetap terpisah: matematika HTML masih memakai MathJax CDN. Ini bukan peninjauan semantik terjemahan baru. Selesaikan audit sembilan bidang kemampuan dan bukti penggunaannya; adapter yang lulus tidak otomatis berarti backend lengkap. Lapisan pertukaran bersama: terverifikasi. Paritas kapabilitas native: terverifikasi. Paket adapter · Rekaman pusat historis Desain asli: temuan audit terdahulu Append-only provenance topology distinguishing official answers, missing answers, original repairs, rights, corrections, and reader anchors. official/missing/original answer distinctions provenance and rights topology reader anchors reproducible source packaging Temuan historis berikut harus diperiksa ulang sebelum dianggap masih berlaku: Graph is dominated by QA, artifact, and order history. README hashes are stale. Identitas unit: Diverifikasi. Keselarasan pengajar: Diverifikasi. Zenodo: adapter tersimpan sebagai anggota tepat dalam navigator penerus yang dibaca balik secara anonim.
D60 · Topologi AljabarAlgebraic Topology	Diverifikasi2.3.1	D60 · Cari istilah, sumber dan koreksi D60 · Topologi Aljabar	Diverifikasi Pemilih unit dan latihan D60 untuk pengajar D60 teaching-plan selector — English interface, Indonesian reading D60 · Istilah, sumber, koreksi dan hak asli D60 · Native terms, sources, corrections and rights	Bukti dan pekerjaan berikutnya Sembilan bidang kemampuan Kurikulum dan unit course_graph: Diverifikasi unit_identity: Diverifikasi Ledger sumber/penerjemahan ledger: Ada; belum diverifikasi corrections: Ada; belum diverifikasi Istilah register: Ada; belum diverifikasi Produksi yang dapat diulang build: Belum terbukti replay: Belum terbukti Aksesibilitas semantic_html: Ada; belum diverifikasi mathml: Ada; belum diverifikasi Pelajar delivery: Ada; belum diverifikasi central_tools: 2 Pengajar materials: Diverifikasi unit_alignment: Diverifikasi Federasi komponen references: Diverifikasi component_rights: D60:primary — Belum terbukti; D60:d60-editable-source-backend-complete — Ada; belum diverifikasi Pertukaran data adapter: Diverifikasi contract: 2.3.1 Pekerjaan tersisa Buktikan ledger sumber/penerjemahan asli; status ini tidak menyatakan terjemahan belum selesai. Periksa register istilah dan kaitannya dengan teks serta alternatif istilah. Buktikan produksi asli yang dapat diulang; build adapter saja bukan bukti build buku. Selesaikan audit sembilan bidang kemampuan dan bukti penggunaannya; adapter yang lulus tidak otomatis berarti backend lengkap. Lapisan pertukaran bersama: terverifikasi. Paritas kapabilitas native: belum terbukti. Paket adapter · Rekaman pusat historis Desain asli: temuan audit terdahulu Eleven typed locale-neutral JSONL streams covering concepts, hints, solutions, proofs, rights, and routes. typed locale-neutral JSONL streams concept/hint/solution/proof separation rights and route streams verified learner-route design Temuan historis berikut harus diperiksa ulang sebelum dianggap masih berlaku: Duplicated units and segments. 566 correction rows create high synchronization cost. Compact Zenodo archive alone is not a build tree. Identitas unit: Diverifikasi. Keselarasan pengajar: Diverifikasi. Zenodo: readback rilis tercatat.
D70 · Aljabar PascasarjanaGraduate Algebra	Diverifikasicourse-learning-capability/1	D70 · Aljabar Pascasarjana	Diverifikasi Materi pendukung native aljabar pascasarjana Rute, diagnostik, mastery, istilah, hak, koreksi, dan provenans D70 untuk pengajar D70 · Bangun ulang metadata native D70 · Reproduce native metadata	Bukti dan pekerjaan berikutnya Sembilan bidang kemampuan Kurikulum dan unit course_graph: Diverifikasi unit_identity: Diverifikasi Ledger sumber/penerjemahan ledger: Diverifikasi corrections: Diverifikasi Istilah register: Diverifikasi Produksi yang dapat diulang build: Ada; belum diverifikasi replay: Ada; belum diverifikasi native_metadata_replay: Diverifikasi Aksesibilitas semantic_html: Belum dibuat mathml: Belum dibuat Pelajar delivery: Ada; belum diverifikasi central_tools: 1 Pengajar materials: Diverifikasi unit_alignment: Diverifikasi Federasi komponen references: Diverifikasi component_rights: D70:primary — Belum terbukti Pertukaran data adapter: Diverifikasi contract: course-learning-capability/1 Pekerjaan tersisa Replay metadata Duncan dan CRing kini dapat dijalankan tanpa direktori pembuat buku; 13 berkas sama persis dalam dua eksekusi kode paket. Produksi ulang seluruh Li dan keempat PDF tetap memerlukan bukti terpisah. Buktikan produksi asli yang dapat diulang; build adapter saja bukan bukti build buku. Selesaikan audit sembilan bidang kemampuan dan bukti penggunaannya; adapter yang lulus tidak otomatis berarti backend lengkap. Lapisan pertukaran bersama: terverifikasi. Paritas kapabilitas native: belum terbukti. Desain asli: temuan audit terdahulu Component-sovereign Li, Duncan, CRing, and original backends federated by a real cross-component learner route. component sovereignty rights-preserving federation cross-component branching mastery routes Temuan historis berikut harus diperiksa ulang sebelum dianggap masih berlaku: Four backend dialects. Repeated rights and prerequisites. Labeling defects. Four PDFs rather than one integrated learner corpus. Identitas unit: Diverifikasi. Keselarasan pengajar: Diverifikasi. Zenodo: bukti adapter belum tersedia.
D80 · Teori Kategori dan Metode HomologisCategory and Homological Methods	Diverifikasicourse-learning-capability/1	D80 · Cari istilah, sumber, koreksi dan diagram D80 · Metode kategori dan homologi	Diverifikasi Materi pendukung native metode aljabar Keselarasan unit, provenans, latihan, dan solusi D80 untuk pengajar D80 · Istilah, sumber, koreksi dan diagram D80 · Terms, sources, corrections and diagrams	Bukti dan pekerjaan berikutnya Sembilan bidang kemampuan Kurikulum dan unit course_graph: Diverifikasi unit_identity: Diverifikasi Ledger sumber/penerjemahan ledger: Ada; belum diverifikasi corrections: Ada; belum diverifikasi Istilah register: Ada; belum diverifikasi Produksi yang dapat diulang build: Belum terbukti replay: Belum terbukti Aksesibilitas semantic_html: Diverifikasi mathml: Ada; belum diverifikasi Pelajar delivery: Diverifikasi central_tools: 2 Pengajar materials: Diverifikasi unit_alignment: Diverifikasi Federasi komponen references: Diverifikasi component_rights: D80:primary — Belum terbukti; D80:metode-aljabar-jilid-2-backend — Ada; belum diverifikasi; D80:metode-aljabar-jilid-2-html-offline-corrected — Ada; belum diverifikasi Pertukaran data adapter: Diverifikasi contract: course-learning-capability/1 Pekerjaan tersisa Buktikan ledger sumber/penerjemahan asli; status ini tidak menyatakan terjemahan belum selesai. Periksa register istilah dan kaitannya dengan teks serta alternatif istilah. Buktikan produksi asli yang dapat diulang; build adapter saja bukan bukti build buku. Selesaikan audit sembilan bidang kemampuan dan bukti penggunaannya; adapter yang lulus tidak otomatis berarti backend lengkap. Lapisan pertukaran bersama: terverifikasi. Paritas kapabilitas native: belum terbukti. Desain asli: temuan audit terdahulu Lean source-span, terminology, and alt-text ledgers whose alt descriptions are consumed by the HTML reader. source-span precision terminology ledger alt-text ledger reader-consumed accessibility metadata Temuan historis berikut harus diperiksa ulang sebelum dianggap masih berlaku: Sparse and ad-hoc semantics. Stale states. Public replay is not self-contained. Identitas unit: Diverifikasi. Keselarasan pengajar: Diverifikasi. Zenodo: bukti adapter belum tersedia.
D90 · Optimisasi Lanjut dan Analisis KonveksAdvanced Optimization	Diverifikasicourse-learning-capability/1	D90 · Optimisasi Lanjut dan Analisis Konveks	Diverifikasi Rekaman rilis native D90 untuk asesmen, rubrik, dan lab Pemilih asesmen, petunjuk, jawaban, solusi, rubrik, lab, dan capstone D90 untuk pengajar Peta asesmen dan dukungan bertahap D90 Indeks 127 istilah D90 Indeks 93 rekaman hak D90 Indeks 248 koreksi D90	Bukti dan pekerjaan berikutnya Sembilan bidang kemampuan Kurikulum dan unit course_graph: Diverifikasi unit_identity: Diverifikasi Ledger sumber/penerjemahan ledger: Diverifikasi corrections: Diverifikasi Istilah register: Diverifikasi Produksi yang dapat diulang build: Diverifikasi replay: Diverifikasi Aksesibilitas semantic_html: Diverifikasi mathml: Diverifikasi Pelajar delivery: Diverifikasi central_tools: 1 Pengajar materials: Diverifikasi unit_alignment: Diverifikasi Federasi komponen references: Diverifikasi component_rights: D90:primary — Belum terbukti Pertukaran data adapter: Diverifikasi contract: course-learning-capability/1 Pekerjaan tersisa Selesaikan audit sembilan bidang kemampuan dan bukti penggunaannya; adapter yang lulus tidak otomatis berarti backend lengkap. Lapisan pertukaran bersama: terverifikasi. Paritas kapabilitas native: terverifikasi. Desain asli: temuan audit terdahulu Integrated course-object graph tying definitions, proofs, labs, assessments, solutions, and capstone to one stable identity. integrated assessable-course object graph stable identity across definitions/proofs/labs/assessments/solutions/capstone Temuan historis berikut harus diperiksa ulang sebelum dianggap masih berlaku: Limited reversible/external reuse evidence. Heavy 100-file release. Identitas unit: Diverifikasi. Keselarasan pengajar: Diverifikasi. Zenodo: bukti adapter belum tersedia.
D100 · Jembatan Geometri AljabarAlgebraic Geometry	Diverifikasicourse-learning-capability/1	D100 · Algebraic Geometry capability (English)	Diverifikasi Pendamping Editorial: Dari Varietas ke Skema D100 educator hub — English capability	Bukti dan pekerjaan berikutnya Sembilan bidang kemampuan Kurikulum dan unit course_graph: Diverifikasi unit_identity: Diverifikasi Ledger sumber/penerjemahan ledger: Diverifikasi corrections: Diverifikasi verification: [object Object] Istilah register: Diverifikasi verification: [object Object] Produksi yang dapat diulang build: Ada; belum diverifikasi replay: Ada; belum diverifikasi native_html_replay: Diverifikasi native_original_data_export_replay: Diverifikasi native_classical_data_export_replay: Diverifikasi native_bgk_data_export_replay: Diverifikasi native_data_export_replay: Diverifikasi native_data_export_scope: [object Object] english_native_data_export_replay: Diverifikasi english_native_data_export_scope: [object Object] fresh_pdf_replay: not_established Aksesibilitas semantic_html: Ada; belum diverifikasi mathml: Ada; belum diverifikasi Pelajar delivery: Ada; belum diverifikasi central_tools: 1 Pengajar materials: Diverifikasi unit_alignment: Diverifikasi Federasi komponen references: Diverifikasi component_rights: D100:primary — Belum terbukti; D100:bgk-units-01-30-corr1 — Ada; belum diverifikasi; D100:original-bridge-corr1 — Ada; belum diverifikasi Pertukaran data adapter: Diverifikasi contract: course-learning-capability/1 Pekerjaan tersisa Tiga pembaca HTML Bahasa Indonesia dibangun ulang masing-masing dua kali dari masukan terisolasi; semua hasil identik dengan edisi asli. Cakupan: 60 unit sumber dan 32 unit pendamping, bukan 92 unit sumber. Sebanyak 28 dependensi yang hilang dari daftar historis diikat secara retrospektif. Bukti HTML ini terpisah dari bukti ekspor data yang kini tersedia di bawah. Produksi PDF baru dan peninjauan semantik kanon tetap belum dibuktikan. Ketiga ekspor data Bahasa Indonesia kini direproduksi dua kali secara terisolasi: klasik 23.869 rekaman/19 berkas, BGK 21.690 rekaman/19 berkas, dan pendamping 1.064 rekaman/23 berkas. Registri historis untuk ID, skema dan metadata warisan tetap menjadi dependensi yang dinyatakan; keluaran terkoreksi bukan masukan. BGK memakai 727 masukan termasuk pembaca dan bukti QA yang sudah ada, memproyeksikan ulang 99 berkas sumber, serta membedakan 495 latihan dari 25 solusi sumber. Ini bukan produksi PDF baru. Ekspor backend Inggris juga direproduksi dua kali untuk tiap komponen dari 274 berkas sumber terikat: klasik 23.869 rekaman, BGK 21.691 rekaman, dan pendamping 1.064 rekaman. Sebanyak 60 berkas keluaran cocok persis dengan manifest publik, termasuk proyeksi data bersama yang dapat dibalik. Keluaran Inggris lama tidak dipakai sebagai masukan; seluruh eksekusi dibatasi 2 GiB. Bukti telaah matematika lama dipertahankan, bukan disahkan ulang. Pembangunan ulang HTML/PDF Inggris dan telaah semantik kanon tetap memerlukan bukti terpisah. Daftar Bahasa Indonesia telah diperiksa terpisah dari edisi Inggris: 905 istilah, 371 koreksi, dan 15.829 identitas segmen. Ini pemeriksaan struktur dan identitas, bukan bukti baru pembacaan kanon atau mutu bahasa. Empat istilah tetap berstatus sementara. Buktikan produksi asli yang dapat diulang; build adapter saja bukan bukti build buku. Selesaikan audit sembilan bidang kemampuan dan bukti penggunaannya; adapter yang lulus tidak otomatis berarti backend lengkap. Lapisan pertukaran bersama: terverifikasi. Paritas kapabilitas native: belum terbukti. Desain asli: temuan audit terdahulu Full 60-unit authority graph with a 19-unit learner route as a nonduplicating view, separating edition, release snapshot, and route. authority graph plus nonduplicating learner views edition/release/route identity separation Temuan historis berikut harus diperiksa ulang sebelum dianggap masih berlaku: Corpus remains incomplete. Terminal replay remains incomplete. Synchronization burden is high. Identitas unit: Diverifikasi. Keselarasan pengajar: Diverifikasi. Zenodo: bukti adapter belum tersedia.
D110 · Matematika Terformalisasi dalam LeanMathematics in Lean	Diverifikasi2.3.1	D110 · Matematika dalam Lean	Diverifikasi Pemilih unit dan latihan D110 untuk pengajar D110 study and teaching plans — English	Bukti dan pekerjaan berikutnya Sembilan bidang kemampuan Kurikulum dan unit course_graph: Diverifikasi unit_identity: Diverifikasi Ledger sumber/penerjemahan ledger: Belum terbukti corrections: Belum terbukti Istilah register: Belum terbukti Produksi yang dapat diulang build: Belum terbukti replay: Belum terbukti Aksesibilitas semantic_html: Ada; belum diverifikasi mathml: Ada; belum diverifikasi Pelajar delivery: Ada; belum diverifikasi central_tools: 1 Pengajar materials: Diverifikasi unit_alignment: Diverifikasi Federasi komponen references: Diverifikasi component_rights: D110:primary — Belum terbukti Pertukaran data adapter: Diverifikasi contract: 2.3.1 Pekerjaan tersisa Buktikan ledger sumber/penerjemahan asli; status ini tidak menyatakan terjemahan belum selesai. Periksa register istilah dan kaitannya dengan teks serta alternatif istilah. Buktikan produksi asli yang dapat diulang; build adapter saja bukan bukti build buku. Selesaikan audit sembilan bidang kemampuan dan bukti penggunaannya; adapter yang lulus tidak otomatis berarti backend lengkap. Lapisan pertukaran bersama: terverifikasi. Paritas kapabilitas native: belum terbukti. Paket adapter · Rekaman pusat historis Desain asli: temuan audit terdahulu Executable proof-aligned graph preserving Lean modules, declarations, and imports while localizing prose. compiler-backed semantic replay proof-aligned graph formal module/declaration/import preservation localized-prose separation Temuan historis berikut harus diperiksa ulang sebelum dianggap masih berlaku: Specialized toolchain. 92.7-MB backend limits general reuse. Identitas unit: Diverifikasi. Keselarasan pengajar: Diverifikasi. Zenodo: readback rilis tercatat.
D120 · Membaca Riset, Eksposisi, dan Kerja Matematis ReprodusibelResearch Reproducibility	Diverifikasicourse-learning-capability/1	D120 · Kerja Matematika yang Dapat Ditelusuri	Diverifikasi Perangkat penyampaian dan penilaian autentik O017 Peta hasil, penilaian, rubrik, bukti, dan kredensial D120 untuk pengajar	Bukti dan pekerjaan berikutnya Sembilan bidang kemampuan Kurikulum dan unit course_graph: Diverifikasi unit_identity: Diverifikasi Ledger sumber/penerjemahan ledger: not_applicable corrections: Diverifikasi Istilah register: Diverifikasi Produksi yang dapat diulang build: Diverifikasi replay: Diverifikasi Aksesibilitas semantic_html: Diverifikasi mathml: Ada; belum diverifikasi Pelajar delivery: Diverifikasi central_tools: 1 Pengajar materials: Diverifikasi unit_alignment: Diverifikasi Federasi komponen references: Diverifikasi component_rights: D120:primary — Belum terbukti; D120:d120-owner-html-reader — Ada; belum diverifikasi Pertukaran data adapter: Diverifikasi contract: course-learning-capability/1 Pekerjaan tersisa Selesaikan audit sembilan bidang kemampuan dan bukti penggunaannya; adapter yang lulus tidak otomatis berarti backend lengkap. Lapisan pertukaran bersama: terverifikasi. Paritas kapabilitas native: terverifikasi. Desain asli: temuan audit terdahulu Preserved content backend plus locale-neutral semantic/assessment wrapper, localized text, renderer locators, learner-claim state, explicit prerequisites, and immutable relations. preserved-content/semantic-wrapper separation locale-neutral assessment wrapper renderer locators learner-claim state explicit prerequisites immutable relations Temuan historis berikut harus diperiksa ulang sebelum dianggap masih berlaku: Parallel wrappers and ledgers make the design overbuilt. Zero live learner instances. Identitas unit: Diverifikasi. Keselarasan pengajar: Diverifikasi. Zenodo: bukti adapter belum tersedia.

Desain saat ini: bukti adapter yang terikat sumber

Backend Hefferon memakai sumber LaTeX modular, identitas unit tetap, serta rujukan sumber dan terjemahan yang terikat hash. Deskripsi CNXML dalam audit historis bukan deskripsi implementasi ini.

Pola yang dapat digunakan kembali

Pertahankan 3.541 identitas unit dan 13.999 relasi melalui adapter metadata tanpa menyalin isi buku.
Gunakan pasangan soal–jawaban dalam alat pengajar; bedakan 1.035 jawaban sumber dari dua jawaban tambahan edisi Indonesia.
Pertahankan rujukan istilah, koreksi, hak komponen, serta hash edisi ketika menggabungkan bahan belajar.

Batas pemeriksaan

Pemeriksaan struktur ini tidak membuktikan mutu terjemahan, konsultasi kanon, atau kebenaran matematis setiap jawaban.
Rujukan baris bergantung pada revisi dan hash berkas. Build adapter bukan kompilasi ulang seluruh buku atau bukti kesesuaian aksesibilitas.
ID prasyarat asli tidak membuktikan bahwa seluruh kebutuhan program lanjutan terpenuhi; hasil, hipotesis dan bukti lengkap harus diperiksa pada setiap penggunaan.

Manifest adapter · Bukti pemeriksaan struktur · Pemakaian dalam program lanjutan

Penilaian struktur dan integrasi ini dikerjakan oleh OpenAI Codex gpt-6-astra, upaya Ultra. Tidak diklaim telah ditinjau manusia.

Matriks terbuka dengan identitas bukti

Cakupan backend: 40 peran

Sembilan bidang kemampuan

Pekerjaan tersisa

Sembilan bidang kemampuan

Pekerjaan tersisa

Sembilan bidang kemampuan

Pekerjaan tersisa

Sembilan bidang kemampuan

Pekerjaan tersisa

Sembilan bidang kemampuan

Pekerjaan tersisa

Sembilan bidang kemampuan

Pekerjaan tersisa

Sembilan bidang kemampuan

Pekerjaan tersisa

Sembilan bidang kemampuan

Pekerjaan tersisa

Sembilan bidang kemampuan

Pekerjaan tersisa

Sembilan bidang kemampuan

Pekerjaan tersisa

Sembilan bidang kemampuan

Pekerjaan tersisa

Sembilan bidang kemampuan

Pekerjaan tersisa

Sembilan bidang kemampuan

Pekerjaan tersisa

Sembilan bidang kemampuan

Pekerjaan tersisa

Sembilan bidang kemampuan

Pekerjaan tersisa

Sembilan bidang kemampuan

Pekerjaan tersisa

Sembilan bidang kemampuan

Pekerjaan tersisa

Sembilan bidang kemampuan

Pekerjaan tersisa

Sembilan bidang kemampuan

Pekerjaan tersisa

Sembilan bidang kemampuan

Pekerjaan tersisa

Sembilan bidang kemampuan

Pekerjaan tersisa

Sembilan bidang kemampuan

Pekerjaan tersisa

Sembilan bidang kemampuan

Pekerjaan tersisa

Sembilan bidang kemampuan

Pekerjaan tersisa

Sembilan bidang kemampuan

Pekerjaan tersisa

Sembilan bidang kemampuan

Pekerjaan tersisa

Sembilan bidang kemampuan

Pekerjaan tersisa

Sembilan bidang kemampuan

Pekerjaan tersisa

Sembilan bidang kemampuan

Pekerjaan tersisa

Sembilan bidang kemampuan

Pekerjaan tersisa

Sembilan bidang kemampuan

Pekerjaan tersisa

Sembilan bidang kemampuan

Pekerjaan tersisa

Sembilan bidang kemampuan

Pekerjaan tersisa

Sembilan bidang kemampuan

Pekerjaan tersisa

Sembilan bidang kemampuan

Pekerjaan tersisa

Sembilan bidang kemampuan

Pekerjaan tersisa

Sembilan bidang kemampuan

Pekerjaan tersisa

Sembilan bidang kemampuan

Pekerjaan tersisa

Sembilan bidang kemampuan

Pekerjaan tersisa

Sembilan bidang kemampuan