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. Tanggal matriks: 7 September 2026. 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 nativeAdapter bersamaAlat pelajarBahan pengajarBatas bukti
A00 · Praaljabar dan Fondasi KuantitatifPrealgebraDiverifikasi2.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

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: 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 AlgebraDiverifikasi2.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 AlgebraDiverifikasicourse-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 TrigonometriPrecalculusDiverifikasicourse-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 MathematicsDiverifikasi2.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 DiferensialCLPDiverifikasi2.3.1

B20 · Rute baca keluarga CLP

Ada; belum diverifikasi

Soal dan penyelesaian CLP1 lengkap

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: Diverifikasi
central_tools: 1
Pengajar
materials: Ada; belum diverifikasi
unit_alignment: Belum terbukti
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

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.
  • Hubungkan bahan pengajar dengan identitas unit/latihan yang dipakai pelajar.
  • 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: Belum terbukti. Keselarasan pengajar: Belum terbukti.

Zenodo: readback rilis tercatat.

B30 · Kalkulus IntegralCLPDiverifikasi2.3.1

B30 · Rute baca keluarga CLP

Belum terbukti
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: Ada; belum diverifikasi
mathml: Ada; belum diverifikasi
Pelajar
delivery: Diverifikasi
central_tools: 1
Pengajar
materials: Belum terbukti
unit_alignment: Belum terbukti
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

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.
  • Hubungkan bahan pengajar dengan identitas unit/latihan yang dipakai pelajar.
  • 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: Belum terbukti. Keselarasan pengajar: Belum terbukti.

Zenodo: readback rilis tercatat.

B40 · Aljabar LinearLinear AlgebraDiverifikasicourse-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.

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 MultivariabelCLPDiverifikasi2.3.1

B50 · Rute baca keluarga CLP

Ada; belum diverifikasi

Buku latihan CLP3 lengkap

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: Diverifikasi
central_tools: 1
Pengajar
materials: Ada; belum diverifikasi
unit_alignment: Belum terbukti
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

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.
  • Hubungkan bahan pengajar dengan identitas unit/latihan yang dipakai pelajar.
  • 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: Belum terbukti. Keselarasan pengajar: Belum terbukti.

Zenodo: readback rilis tercatat.

B60 · Kalkulus VektorCLPDiverifikasi2.3.1

B60 · Rute baca keluarga CLP

Ada; belum diverifikasi

Buku latihan CLP4 lengkap

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: Diverifikasi
central_tools: 1
Pengajar
materials: Ada; belum diverifikasi
unit_alignment: Belum terbukti
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

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.
  • Hubungkan bahan pengajar dengan identitas unit/latihan yang dipakai pelajar.
  • 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: Belum terbukti. Keselarasan pengajar: Belum terbukti.

Zenodo: readback rilis tercatat.

B70 · Persamaan Diferensial Biasa dan Sistem Dinamika PengantarLebl familyDiverifikasilebl-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 ComputingDiverifikasicourse-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 KalkulusProbabilityDiverifikasicourse-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 DataStatisticsDiverifikasicourse-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 familyDiverifikasilebl-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 familyDiverifikasilebl-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 IJudsonDiverifikasi2.3.1

Peta bab & edisi arsip

Belum terbukti
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: Ada; belum diverifikasi
mathml: Ada; belum diverifikasi
Pelajar
delivery: Ada; belum diverifikasi
central_tools: 1
Pengajar
materials: Belum terbukti
unit_alignment: Belum terbukti
Federasi komponen
references: Diverifikasi
component_rights: C30: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.
  • Hubungkan bahan pengajar dengan identitas unit/latihan yang dipakai pelajar.
  • 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: Belum terbukti. Keselarasan pengajar: Belum terbukti.

Zenodo: readback rilis tercatat.

C40 · Aljabar Abstrak IIJudsonDiverifikasi2.3.1

Peta bab & edisi arsip

Belum terbukti
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: Ada; belum diverifikasi
mathml: Ada; belum diverifikasi
Pelajar
delivery: Ada; belum diverifikasi
central_tools: 1
Pengajar
materials: Belum terbukti
unit_alignment: Belum terbukti
Federasi komponen
references: Diverifikasi
component_rights: C40: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.
  • Hubungkan bahan pengajar dengan identitas unit/latihan yang dipakai pelajar.
  • 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: Belum terbukti. Keselarasan pengajar: Belum terbukti.

Zenodo: readback rilis tercatat.

C50 · Analisis KompleksLebl familyDiverifikasilebl-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 TheoryDiverifikasicourse-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 CombinatoricsDiverifikasicourse-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 LogicDiverifikasi2.3.1

Buka Open Logic lengkap

Belum terbukti
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: 1
Pengajar
materials: Belum terbukti
unit_alignment: Belum terbukti
Federasi komponen
references: Diverifikasi
component_rights: C80: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.
  • Hubungkan bahan pengajar dengan identitas unit/latihan yang dipakai pelajar.
  • 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: Belum terbukti.

Zenodo: readback rilis tercatat.

C90 · Topologi Himpunan-TitikTopologyDiverifikasitopology-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-EuklidesGeometryDiverifikasigeometry-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 AnalysisDiverifikasicourse-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 DynamicsDiverifikasicourse-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: 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: 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: belum terbukti.

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 ResearchDiverifikasi2.3.1

Buka Riset Operasi — Buku 1

Ada; belum diverifikasi
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: Ada; belum diverifikasi
mathml: Ada; belum diverifikasi
Pelajar
delivery: Ada; belum diverifikasi
central_tools: 1
Pengajar
materials: Ada; belum diverifikasi
unit_alignment: Belum terbukti
Federasi komponen
references: Diverifikasi
component_rights: C130: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.
  • Hubungkan bahan pengajar dengan identitas unit/latihan yang dipakai pelajar.
  • 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: Belum terbukti.

Zenodo: readback rilis tercatat.

C140 · Statistika MatematisMathematical StatisticsDiverifikasicourse-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 IntegrationDiverifikasicourse-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 AnalysisDiverifikasi2.3.1Belum ada alat pusat terindeksAda; belum diverifikasi
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: Ada; belum diverifikasi
mathml: Ada; belum diverifikasi
Pelajar
delivery: Ada; belum diverifikasi
central_tools: 0
Pengajar
materials: Ada; belum diverifikasi
unit_alignment: Belum terbukti
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.
  • Hubungkan bahan pengajar dengan identitas unit/latihan yang dipakai pelajar.
  • 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: Belum terbukti. Keselarasan pengajar: Belum terbukti.

Zenodo: readback rilis tercatat.

D30 · Probabilitas Teoretis-Ukuran dan Proses StokastikStochastic ProcessesDiverifikasicourse-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 EquationsDiverifikasicourse-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 GeometryDiverifikasi2.3.1Belum ada alat pusat terindeksAda; belum diverifikasi
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: Belum terbukti
replay: Belum terbukti
Aksesibilitas
semantic_html: Belum dibuat
mathml: Belum dibuat
Pelajar
delivery: Ada; belum diverifikasi
central_tools: 0
Pengajar
materials: Ada; belum diverifikasi
unit_alignment: Belum terbukti
Federasi komponen
references: Diverifikasi
component_rights: D50:primary — Belum terbukti
Pertukaran data
adapter: Diverifikasi
contract: 2.3.1

Pekerjaan tersisa

  • Buktikan produksi asli yang dapat diulang; build adapter saja bukan bukti build buku.
  • Hubungkan bahan pengajar dengan identitas unit/latihan yang dipakai pelajar.
  • 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

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: Belum terbukti.

Zenodo: adapter tersimpan sebagai anggota tepat dalam navigator penerus yang dibaca balik secara anonim.

D60 · Topologi AljabarAlgebraic TopologyDiverifikasi2.3.1Belum ada alat pusat terindeksAda; belum diverifikasi
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: Ada; belum diverifikasi
mathml: Ada; belum diverifikasi
Pelajar
delivery: Ada; belum diverifikasi
central_tools: 0
Pengajar
materials: Ada; belum diverifikasi
unit_alignment: Belum terbukti
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.
  • Hubungkan bahan pengajar dengan identitas unit/latihan yang dipakai pelajar.
  • 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: Belum terbukti. Keselarasan pengajar: Belum terbukti.

Zenodo: readback rilis tercatat.

D70 · Aljabar PascasarjanaGraduate AlgebraDiverifikasicourse-learning-capability/1

D70 · Aljabar Pascasarjana

Diverifikasi

Materi pendukung native aljabar pascasarjana

Rute, diagnostik, mastery, istilah, hak, koreksi, dan provenans D70 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: Ada; belum diverifikasi
replay: Ada; belum 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

  • 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 MethodsDiverifikasicourse-learning-capability/1

D80 · Metode kategori dan homologi

Diverifikasi

Materi pendukung native metode aljabar

Keselarasan unit, provenans, latihan, dan solusi D80 untuk pengajar

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: Diverifikasi
mathml: Ada; belum diverifikasi
Pelajar
delivery: Diverifikasi
central_tools: 1
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 OptimizationDiverifikasicourse-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 GeometryDiverifikasicourse-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
Istilah
register: Diverifikasi
Produksi yang dapat diulang
build: Ada; belum diverifikasi
replay: Ada; belum diverifikasi
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

  • 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 LeanDiverifikasi2.3.1Belum ada alat pusat terindeksBelum terbukti
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: Ada; belum diverifikasi
mathml: Ada; belum diverifikasi
Pelajar
delivery: Ada; belum diverifikasi
central_tools: 0
Pengajar
materials: Belum terbukti
unit_alignment: Belum terbukti
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.
  • Hubungkan bahan pengajar dengan identitas unit/latihan yang dipakai pelajar.
  • 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: Belum terbukti. Keselarasan pengajar: Belum terbukti.

Zenodo: readback rilis tercatat.

D120 · Membaca Riset, Eksposisi, dan Kerja Matematis ReprodusibelResearch ReproducibilityDiverifikasicourse-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

  • Buktikan ledger sumber/penerjemahan asli; status ini tidak menyatakan terjemahan belum selesai.
  • 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.

Matriks terbuka dengan identitas bukti