{ "$schema": "https://kokunoyumeto.github.io/program-matematika-indonesia/schema/v2.1/modular-backend-pattern-index-v2.1.schema.json", "adapter_snapshot": { "adapter_index": { "bytes": 34409, "path": "backend/course-capsule-v1/authority/clp-family-v231/v23-adapter-index-v2.json", "sha256": "2c46dcc8a7b15a06d3e4a8ab2209bfe3fa0f90dbf150de432b3b51b4b35f1d3a" }, "distinct_adapter_packages": 9, "families_without_local_adapter": 24, "families_without_public_replay_complete_adapter": 24, "pending_role_bindings": 0, "published_role_bindings": 13, "represented_native_families": 9, "role_bindings": 13, "unbound_roles": 27 }, "audit_axes": [ "stable identity/granularity", "typed semantic/prerequisite relations", "source/target/provenance/rights/corrections", "translation state", "assets/accessibility", "deterministic replay", "reversible exchange", "learner/runtime use", "demonstrated cross-course reuse", "maintenance burden" ], "canonical_recommendation": { "canonical_exchange": "JSONL plus cryptographic hashes", "central_hub_behavior": [ "ingest current owner release receipts automatically", "build completion-aware learner routes", "never present planned unit routes as public" ], "generated_views": [ "CSV", "SQLite", "Parquet" ], "generated_views_are_authoritative": false, "optional_capability_shards": [ "formula alignment", "experiments and notebooks", "formal proofs", "source-format topology" ], "preserve": [ "owner-native sources", "owner-native backends" ], "required_thin_signed_capsule": [ "course identity", "edition identity", "release identity", "route identity", "stable units and aliases", "localized variants", "typed relations and prerequisites", "translation state", "provenance", "rights", "corrections", "learner surfaces", "assets", "accessibility", "manifest receipts", "build receipts", "validation receipts", "public-readback receipts" ] }, "families": [ { "adapter_bindings": [ { "adapter_package_id": "urn:uuid:ae5acc9e-aa8a-5905-b6e2-65e928858b35", "admission_state": "published", "public_replay_status": "published_public_asset_readback_verified", "role_id": "A00" } ], "core_pattern": "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.", "demonstrated_strengths": [ "Best pedagogical graph in the comparison.", "Two identical builds.", "Exact evidence mappings.", "Queryable SQLite layer." ], "family_name": "Prealgebra", "learner_runtime_status": "No proven live consumer.", "limitations": [ "No proven live consumer.", "Extremely heavy: 1.84 GB plus a 1.13-GB SQLite database." ], "native_family_id": "family-01-prealgebra", "ordinal": 1, "recommended_reuse": [ "pedagogical concept/prerequisite DAG", "exact evidence mapping", "locale-neutral/locale-variant separation", "query layer" ], "reversible_exchange_status": "Not established in the audited entry; deterministic two-build identity is established.", "roles": [ "A00" ] }, { "adapter_bindings": [], "core_pattern": "Append-only 452387-record translation/control history with UUIDv5 identity, explicit missing-solution states, and lossless JSONL/CSV.", "demonstrated_strengths": [ "Best complete-book lifecycle ledger.", "Explicit missing-solution states.", "Stable UUIDv5 identity.", "Lossless JSONL/CSV." ], "family_name": "Elementary Algebra", "learner_runtime_status": "No learner runtime use is reported; the model is described as structural rather than learner-route oriented.", "limitations": [ "Primarily structural rather than a learner-route graph.", "Event history is large." ], "native_family_id": "family-02-elementary-algebra", "ordinal": 2, "recommended_reuse": [ "append-only lifecycle ledger", "UUIDv5 identity", "explicit absence states", "lossless JSONL/CSV projection" ], "reversible_exchange_status": "Lossless JSONL/CSV exchange is established.", "roles": [ "A10" ] }, { "adapter_bindings": [], "core_pattern": "Strict module projections with fixed-point selection, isolated two-build candidates, and fail-closed cursor-last admission/recovery.", "demonstrated_strengths": [ "Best transactional production safety.", "Isolated two-build candidates.", "Fail-closed admission and recovery." ], "family_name": "Intermediate Algebra", "learner_runtime_status": "Not reported in the audited entry.", "limitations": [ "Global export trails live modules.", "Three overlay dialects fragment consumption." ], "native_family_id": "family-03-intermediate-algebra", "ordinal": 3, "recommended_reuse": [ "fixed-point selection", "isolated candidate builds", "cursor-last admission", "fail-closed recovery" ], "reversible_exchange_status": "Not established; projections exist, but export lag and three overlay dialects fragment consumption.", "roles": [ "A20" ] }, { "adapter_bindings": [], "core_pattern": "Consumer-specific JSON, JSONL, and CSV views sharing bilingual segment identity.", "demonstrated_strengths": [ "Convenient consumer-specific views.", "Shared bilingual segment identity.", "Pragmatic exchange." ], "family_name": "Precalculus", "learner_runtime_status": "Not reported in the audited entry.", "limitations": [ "Generic payload bags weaken typing.", "Released aggregate trails canonical work." ], "native_family_id": "family-04-precalculus", "ordinal": 4, "recommended_reuse": [ "shared bilingual segment identity", "consumer-specific generated views" ], "reversible_exchange_status": "Pragmatic exchange is established; exact reversibility is not explicitly proved.", "roles": [ "A30" ] }, { "adapter_bindings": [ { "adapter_package_id": "urn:uuid:fc76c17e-85df-5e7a-8f13-5aced5c87b17", "admission_state": "published", "public_replay_status": "published_public_asset_readback_verified", "role_id": "B10" } ], "core_pattern": "Exercise-closure packet over a strict graph with statement, hint, answer, and solution subtrees, rights, and deterministic roundtrip.", "demonstrated_strengths": [ "Explicit exercise closure.", "Typed statement/hint/answer/solution subtrees.", "Rights data.", "Deterministic roundtrip." ], "family_name": "Discrete Mathematics", "learner_runtime_status": "No runtime consumer exists.", "limitations": [ "Normal prose granularity is coarse.", "Duplication is high.", "No runtime consumer exists." ], "native_family_id": "family-05-discrete-mathematics", "ordinal": 5, "recommended_reuse": [ "exercise closure", "statement/hint/answer/solution structure", "rights binding", "roundtrip validation" ], "reversible_exchange_status": "Deterministic roundtrip is established.", "roles": [ "B10" ] }, { "adapter_bindings": [ { "adapter_package_id": "urn:uuid:8dbda99c-2e39-5fc0-a6ff-64a52cb81b26", "admission_state": "published", "public_replay_status": "published_public_asset_readback_verified", "role_id": "B20" }, { "adapter_package_id": "urn:uuid:8dbda99c-2e39-5fc0-a6ff-64a52cb81b26", "admission_state": "published", "public_replay_status": "published_public_asset_readback_verified", "role_id": "B30" }, { "adapter_package_id": "urn:uuid:8dbda99c-2e39-5fc0-a6ff-64a52cb81b26", "admission_state": "published", "public_replay_status": "published_public_asset_readback_verified", "role_id": "B50" }, { "adapter_package_id": "urn:uuid:8dbda99c-2e39-5fc0-a6ff-64a52cb81b26", "admission_state": "published", "public_replay_status": "published_public_asset_readback_verified", "role_id": "B60" } ], "core_pattern": "Source-bound incremental registry using native IDs, direct-text hashes, declared topology deltas, marker-bound LaTeX variants, and fail-closed drift checks.", "demonstrated_strengths": [ "Used in real production and release.", "Native identifiers.", "Direct-text hashes.", "Declared topology deltas.", "Fail-closed drift checks.", "Komposit identity `(native_profile, native_id)` mencegah flattening lintas profil.", "Target-first exact mappings dan lineage_only rows mempertahankan loss accounting.", "Hak, marker, topology, Q/H/A/S dan status terjemahan dipertahankan per profil.", "JSONL/CSV deterministik, namespace sidecar stream-validated, dan negative probes fail-closed.", "Tujuh rute PDF whole-file learner-first dicatat dengan byte, halaman, URL, dan SHA-256." ], "family_name": "CLP", "learner_runtime_status": "Tujuh rute PDF whole-file learner-first; data adapter sekunder dan tidak diklaim dikonsumsi PDF.", "limitations": [ "Prosa tidak dipusatkan; empat backend owner-native tetap menjadi otoritas.", "Belum ada HTML course-native, EPUB, atau rute unit/fragmen yang dibuktikan." ], "native_family_id": "family-06-clp", "ordinal": 6, "recommended_reuse": [ "native-ID registry", "direct-text hashing", "declared topology deltas", "marker-bound source variants", "fail-closed drift checking" ], "reversible_exchange_status": "Paket common-v2.3.1 publik pada v0.62.17; seluruh aset dibaca balik anonim dengan byte dan SHA-256 identik.", "roles": [ "B20", "B30", "B50", "B60" ] }, { "adapter_bindings": [], "core_pattern": "Fine hashed CNXML text and attribute slots with explicit problem, solution, asset, and accessibility relations.", "demonstrated_strengths": [ "Fine translation granularity.", "Explicit problem/solution/asset relations.", "Accessibility slots.", "Good translation-packet design." ], "family_name": "Linear Algebra", "learner_runtime_status": "Not reported in the audited entry.", "limitations": [ "XPath-ordinal identifiers are fragile.", "Reverse CNXML reconstruction was not proved." ], "native_family_id": "family-07-linear-algebra", "ordinal": 7, "recommended_reuse": [ "fine text/attribute slots", "problem-solution relations", "asset relations", "accessibility slots" ], "reversible_exchange_status": "Reverse CNXML reconstruction was not proved.", "roles": [ "B40" ] }, { "adapter_bindings": [], "core_pattern": "UUID/alias family catalog with explicit hint-only/no-answer states and exact legacy-locator checks.", "demonstrated_strengths": [ "Honest absence modeling.", "UUID and alias handling.", "Exact legacy-locator checks." ], "family_name": "Lebl family", "learner_runtime_status": "Not reported in the audited entry.", "limitations": [ "All 432 segments are headings rather than reusable prose.", "Retained micro-checkpoint history dominates the machinery." ], "native_family_id": "family-08-lebl-family", "ordinal": 8, "recommended_reuse": [ "UUID/alias catalog", "explicit hint-only and no-answer states", "legacy-locator verification" ], "reversible_exchange_status": "Not established in the audited entry.", "roles": [ "B70", "C10", "C20", "C50" ] }, { "adapter_bindings": [], "core_pattern": "Operational course catalog with executable mastery units, exercises, artifacts, and prerequisite routes.", "demonstrated_strengths": [ "Consumed in learner QA.", "Strongest executable learner-native model.", "Executable mastery units.", "Prerequisite routes." ], "family_name": "Mathematical Computing", "learner_runtime_status": "Learner use is demonstrated through learner QA.", "limitations": [ "Monolithic hard-coded JSON.", "No reversible/common exchange." ], "native_family_id": "family-09-mathematical-computing", "ordinal": 9, "recommended_reuse": [ "executable mastery units", "artifact-linked exercises", "prerequisite routes", "learner-QA consumption pattern" ], "reversible_exchange_status": "No reversible/common exchange.", "roles": [ "B80" ] }, { "adapter_bindings": [], "core_pattern": "Compact stable-URN JSONL with lossless CSV and a public-safe projection that exactly omits English authority text.", "demonstrated_strengths": [ "Best redaction/exchange discipline.", "Stable URNs.", "Lossless CSV.", "Exact omission of English authority text." ], "family_name": "Probability", "learner_runtime_status": "Not reported in the audited entry.", "limitations": [ "Shallow structural graph.", "Ambiguous stale parallel public export." ], "native_family_id": "family-10-probability", "ordinal": 10, "recommended_reuse": [ "stable URNs", "lossless JSONL/CSV", "public-safe redaction projection" ], "reversible_exchange_status": "Lossless JSONL/CSV exchange is established.", "roles": [ "B90" ] }, { "adapter_bindings": [], "core_pattern": "Rich incremental 10102-record graph with explicit translation states and a byte-preserved predecessor.", "demonstrated_strengths": [ "Real reuse.", "Explicit translation states.", "Byte-preserved predecessor." ], "family_name": "Statistics", "learner_runtime_status": "Learner delivery is PDF-only in the audited evidence.", "limitations": [ "One inherited invalid deferred state prevents clean full-schema replay.", "399020415 bytes across 948 files, including 910 evidence files.", "Learner delivery remains PDF." ], "native_family_id": "family-11-statistics", "ordinal": 11, "recommended_reuse": [ "incremental graph", "translation-state modeling", "byte-preserved predecessor lineage" ], "reversible_exchange_status": "Byte-preserved predecessor is established, but full schema replay is not clean.", "roles": [ "B95" ] }, { "adapter_bindings": [ { "adapter_package_id": "urn:uuid:f2d0324c-322c-5f7b-a9e6-8beccf50656c", "admission_state": "published", "public_replay_status": "published_public_asset_readback_verified", "role_id": "C30" }, { "adapter_package_id": "urn:uuid:f2d0324c-322c-5f7b-a9e6-8beccf50656c", "admission_state": "published", "public_replay_status": "published_public_asset_readback_verified", "role_id": "C40" } ], "core_pattern": "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.", "demonstrated_strengths": [ "Best canonical reuse pattern.", "Two nonduplicating course views from one graph.", "Persistent birth/current identities.", "Deterministic self-contained exchange." ], "family_name": "Judson", "learner_runtime_status": "Distinct course views exist, but their selectors are not exposed as distinct learner navigation.", "limitations": [ "Course selectors are not exposed as distinct learner navigation.", "Semantics rely on custom verifier code beyond the permissive envelope schema." ], "native_family_id": "family-12-judson", "ordinal": 12, "recommended_reuse": [ "one canonical graph with nonduplicating course views", "persistent birth/current identities", "source-frozen state", "typed relations", "self-contained exchange" ], "reversible_exchange_status": "Deterministic self-contained exchange is established.", "roles": [ "C30", "C40" ] }, { "adapter_bindings": [], "core_pattern": "Broad bilingual entity/event graph with concepts, prerequisites, corrections, rights, and many reversible projections.", "demonstrated_strengths": [ "Substantive graph.", "Deterministic output.", "Many reversible projections.", "Concept, prerequisite, correction, and rights coverage." ], "family_name": "Number Theory", "learner_runtime_status": "A reader exists, but TeX rather than the backend drives it.", "limitations": [ "Duplicated JSON, CSV, and XLSX.", "High evidence burden.", "TeX still drives the reader." ], "native_family_id": "family-13-number-theory", "ordinal": 13, "recommended_reuse": [ "bilingual entity/event graph", "concept and prerequisite relations", "correction and rights records", "reversible projections" ], "reversible_exchange_status": "Many reversible projections are established.", "roles": [ "C60" ] }, { "adapter_bindings": [], "core_pattern": "Exact parallel source/target PreTeXt graphs with 19048 records and a strong concept/prerequisite model.", "demonstrated_strengths": [ "Highly portable.", "Deterministic.", "Strong concept/prerequisite model.", "Exact source/target graph parallelism." ], "family_name": "Applied Combinatorics", "learner_runtime_status": "Reader inventories are reported, but direct backend runtime consumption is not established.", "limitations": [ "Huge source and reader inventories.", "High exporter/validator burden.", "One queued mapping in the terminal release." ], "native_family_id": "family-14-applied-combinatorics", "ordinal": 14, "recommended_reuse": [ "parallel source/target graphs", "concept/prerequisite model", "portable PreTeXt representation" ], "reversible_exchange_status": "High portability and determinism are established; exact reverse import is not separately stated.", "roles": [ "C70" ] }, { "adapter_bindings": [ { "adapter_package_id": "urn:uuid:601e07e9-660e-5f8e-97bb-228be6c69566", "admission_state": "published", "public_replay_status": "published_public_asset_readback_verified", "role_id": "C80" } ], "core_pattern": "A 722-module TeX source overlay with an exact 642-reader/80-retained-source distinction, frozen import closure, and complete evidence.", "demonstrated_strengths": [ "Excellent preservation unitization.", "Exact reader/retained-source distinction.", "Frozen import closure.", "Complete evidence." ], "family_name": "Open Logic", "learner_runtime_status": "No course navigation or HTML.", "limitations": [ "Not a normalized semantic backend.", "No course navigation or HTML.", "Toolchain pinning is incomplete." ], "native_family_id": "family-15-open-logic", "ordinal": 15, "recommended_reuse": [ "module-level preservation unitization", "reader-versus-retained-source distinction", "frozen import closure" ], "reversible_exchange_status": "Preservation closure is established; normalized reversible semantic exchange is not.", "roles": [ "C80" ] }, { "adapter_bindings": [], "core_pattern": "Per-prompt statement/hint/answer/solution manifests and mastery modules consumed in a collapsible self-study reader.", "demonstrated_strengths": [ "One of the strongest learner-use proofs.", "Direct consumption by a self-study reader.", "Prompt-level solution structure." ], "family_name": "Topology", "learner_runtime_status": "Direct learner runtime use is established through the collapsible self-study reader.", "limitations": [ "Chapter-by-chapter schema drift.", "No clean global reversible graph." ], "native_family_id": "family-16-topology", "ordinal": 16, "recommended_reuse": [ "per-prompt learning structure", "mastery modules", "direct collapsible-reader consumption" ], "reversible_exchange_status": "No clean global reversible graph.", "roles": [ "C90" ] }, { "adapter_bindings": [], "core_pattern": "Compact additive unit, exercise, hint, and figure catalogs directly consumed to build semantic HTML and EPUB.", "demonstrated_strengths": [ "Direct semantic HTML/EPUB consumption.", "Operational accessibility data.", "Compact additive catalogs." ], "family_name": "Geometry", "learner_runtime_status": "Direct learner delivery through semantic HTML and EPUB is established.", "limitations": [ "Permissive and ad-hoc statuses.", "Two-record/three-relation local-public catalog drift reduces reproducibility." ], "native_family_id": "family-17-geometry", "ordinal": 17, "recommended_reuse": [ "unit/exercise/hint/figure registries", "direct semantic HTML/EPUB generation", "operational accessibility metadata" ], "reversible_exchange_status": "Not explicitly established; local-public catalog drift is present.", "roles": [ "C100" ] }, { "adapter_bindings": [], "core_pattern": "Tea Time backend with deterministic pack/merge, experiment records, exact toolchain receipts, one-byte drift rejection, and lossless open export.", "demonstrated_strengths": [ "Strong reproducible-experiment pattern.", "Deterministic pack/merge.", "One-byte drift rejection.", "Lossless open export.", "28172 records in the manager comparison." ], "family_name": "Numerical Analysis", "learner_runtime_status": "No shared runtime is proved.", "limitations": [ "Generic/permissive schema.", "No proved shared runtime.", "Later helper-packet evidence must not replace this primary interpretation." ], "native_family_id": "family-18-numerical-analysis", "ordinal": 18, "recommended_reuse": [ "deterministic pack/merge", "experiment records", "exact toolchain receipts", "one-byte drift rejection", "lossless export" ], "reversible_exchange_status": "Lossless open export is established.", "roles": [ "C110" ] }, { "adapter_bindings": [], "core_pattern": "Paired source/target hashes, mastery triples, notebooks, and project packets; the manager adapter maps 4941 native records and reconstructs 81 files.", "demonstrated_strengths": [ "Strong modeling-specific composition idea.", "Paired source/target hashes.", "Mastery triples.", "Notebook and project-packet support.", "Manager reconstruction of 81 files." ], "family_name": "Modeling and Nonlinear Dynamics", "learner_runtime_status": "Not established in the audited entry.", "limitations": [ "Earlier native validator coverage was incomplete.", "Latest readable task boundary concerned a revoked helper.", "Universal portability is not established." ], "native_family_id": "family-19-modeling-and-nonlinear-dynamics", "ordinal": 19, "recommended_reuse": [ "paired source/target hashes", "mastery triples", "notebook/project-packet composition", "file reconstruction" ], "reversible_exchange_status": "File reconstruction is demonstrated for 81 files, but universal portability is not established.", "roles": [ "C120" ] }, { "adapter_bindings": [ { "adapter_package_id": "urn:uuid:a84539b5-455b-5baf-89a4-f4c0336e33ab", "admission_state": "published", "public_replay_status": "published_public_asset_readback_verified", "role_id": "C130" } ], "core_pattern": "Complete locale-neutral graph with 1993 units, 5525 segments, 9545 relations, prerequisites, exercises, and executable lab adaptations.", "demonstrated_strengths": [ "One of the best general course models.", "Demonstrates real reuse.", "Strong typed graph.", "Executable lab adaptations." ], "family_name": "Operations Research", "learner_runtime_status": "Real reuse and executable labs are demonstrated; a shared live backend consumer is not explicitly stated.", "limitations": [ "Large typed graph/evidence layer.", "No reverse importer." ], "native_family_id": "family-20-operations-research", "ordinal": 20, "recommended_reuse": [ "general locale-neutral course graph", "typed learning relations", "exercise and lab adaptation model" ], "reversible_exchange_status": "No reverse importer.", "roles": [ "C130" ] }, { "adapter_bindings": [], "core_pattern": "Rights-separated federation of Penn spine, donor material, and original companion with staged problems, simulations, mastery metadata, and byte-identical cumulative reuse.", "demonstrated_strengths": [ "Strong component-rights design.", "Rich staged problems and simulations.", "Byte-identical cumulative reuse." ], "family_name": "Mathematical Statistics", "learner_runtime_status": "Not reported in the audited entry.", "limitations": [ "Prerequisites and objectives remain in Markdown rather than graph edges.", "Per-lesson/checkpoint machinery is heavy." ], "native_family_id": "family-21-mathematical-statistics", "ordinal": 21, "recommended_reuse": [ "component-rights federation", "staged problem structure", "simulation and mastery metadata", "byte-identical cumulative reuse" ], "reversible_exchange_status": "Byte-identical cumulative reuse is established; full reverse exchange is not explicitly stated.", "roles": [ "C140" ] }, { "adapter_bindings": [], "core_pattern": "Exact bilingual source-topology catalog with raw source/target TeX, hashes, rights, and deterministic JSONL/CSV replay.", "demonstrated_strengths": [ "Excellent archival fidelity.", "Raw bilingual TeX preservation.", "Deterministic JSONL/CSV replay.", "Rights binding." ], "family_name": "Measure and Integration", "learner_runtime_status": "Not reported in the audited entry.", "limitations": [ "Many empty projections and version chains.", "Almost no pedagogical prerequisites.", "Current backend exceeds the public release." ], "native_family_id": "family-22-measure-and-integration", "ordinal": 22, "recommended_reuse": [ "bilingual source topology", "raw source/target preservation", "hash and rights binding", "deterministic JSONL/CSV replay" ], "reversible_exchange_status": "Deterministic JSONL/CSV replay is established.", "roles": [ "D10" ] }, { "adapter_bindings": [ { "adapter_package_id": "urn:uuid:c0093aac-58dc-5bc4-bf8f-237f16d72df2", "admission_state": "published", "public_replay_status": "published_public_asset_readback_verified", "role_id": "D20" } ], "core_pattern": "Immutable scholarly base with an additive learner companion overlay, formula alignment, solutions, HTML routes, and accessible SVGs.", "demonstrated_strengths": [ "Strongest overlay/state pattern.", "Genuine learner use.", "Formula alignment.", "Accessible SVGs.", "HTML routes." ], "family_name": "Functional Analysis", "learner_runtime_status": "Genuine learner use through HTML routes is established.", "limitations": [ "Many chapter scripts.", "Many formula and structural rows.", "Prerequisite modeling remains thin." ], "native_family_id": "family-23-functional-analysis", "ordinal": 23, "recommended_reuse": [ "immutable-base/additive-overlay state model", "formula alignment", "learner companion structure", "accessible SVGs", "HTML route integration" ], "reversible_exchange_status": "Not explicitly established in the audited entry.", "roles": [ "D20" ] }, { "adapter_bindings": [], "core_pattern": "Generic typed course graph joining donor sources, outcomes, labs, programs, assets, rights, and activities.", "demonstrated_strengths": [ "Most portable outcomes/lab model.", "Good pedagogical relations.", "Broad typed coverage." ], "family_name": "Stochastic Processes", "learner_runtime_status": "The site shares identifiers but does not consume the backend.", "limitations": [ "The site shares identifiers but does not consume the backend.", "Exporter and artifact weight is high." ], "native_family_id": "family-24-stochastic-processes", "ordinal": 24, "recommended_reuse": [ "portable outcomes/lab model", "typed course relations", "donor-source and rights joins" ], "reversible_exchange_status": "Portability is strong; exact reverse exchange is not explicitly established.", "roles": [ "D30" ] }, { "adapter_bindings": [], "core_pattern": "Append-only TeX document graph with label-derived stable IDs and byte-identical predecessor prefixes/xref snapshots.", "demonstrated_strengths": [ "Excellent release-lineage proof.", "Stable label-derived identifiers.", "Byte-identical predecessor prefixes and xref snapshots." ], "family_name": "Partial Differential Equations", "learner_runtime_status": "Not reported in the audited entry.", "limitations": [ "No formal schema.", "Models topology rather than learning semantics.", "Dual legacy/current backends.", "Heavy cumulative receipts." ], "native_family_id": "family-25-partial-differential-equations", "ordinal": 25, "recommended_reuse": [ "append-only release lineage", "label-derived stable IDs", "predecessor-prefix and xref snapshots" ], "reversible_exchange_status": "Release-lineage identity is strong; formal reversible exchange is not established.", "roles": [ "D40" ] }, { "adapter_bindings": [], "core_pattern": "Append-only provenance topology distinguishing official answers, missing answers, original repairs, rights, corrections, and reader anchors.", "demonstrated_strengths": [ "Strong absence/provenance discipline.", "Reproducible source package.", "Explicit answer and repair distinctions." ], "family_name": "Differential Geometry", "learner_runtime_status": "Reader anchors exist; direct backend runtime consumption is not reported.", "limitations": [ "Graph is dominated by QA, artifact, and order history.", "README hashes are stale." ], "native_family_id": "family-26-differential-geometry", "ordinal": 26, "recommended_reuse": [ "official/missing/original answer distinctions", "provenance and rights topology", "reader anchors", "reproducible source packaging" ], "reversible_exchange_status": "A reproducible source package is established; exact reverse exchange is not explicitly stated.", "roles": [ "D50" ] }, { "adapter_bindings": [ { "adapter_package_id": "urn:uuid:8dc3d926-5319-53b3-8c7f-01482e975cdb", "admission_state": "published", "public_replay_status": "published_public_asset_readback_verified", "role_id": "D60" } ], "core_pattern": "Eleven typed locale-neutral JSONL streams covering concepts, hints, solutions, proofs, rights, and routes.", "demonstrated_strengths": [ "Strong all-round interoperable stream design.", "Verified learner routes.", "Broad typed semantic coverage." ], "family_name": "Algebraic Topology", "learner_runtime_status": "Learner routes are verified.", "limitations": [ "Duplicated units and segments.", "566 correction rows create high synchronization cost.", "Compact Zenodo archive alone is not a build tree." ], "native_family_id": "family-27-algebraic-topology", "ordinal": 27, "recommended_reuse": [ "typed locale-neutral JSONL streams", "concept/hint/solution/proof separation", "rights and route streams", "verified learner-route design" ], "reversible_exchange_status": "Interoperability is established; exact reverse reconstruction is not explicitly stated.", "roles": [ "D60" ] }, { "adapter_bindings": [], "core_pattern": "Component-sovereign Li, Duncan, CRing, and original backends federated by a real cross-component learner route.", "demonstrated_strengths": [ "Strong rights-preserving federation.", "Real cross-component learner route.", "Branching mastery route." ], "family_name": "Graduate Algebra", "learner_runtime_status": "A real cross-component learner route exists, but delivery remains four PDFs rather than one integrated corpus.", "limitations": [ "Four backend dialects.", "Repeated rights and prerequisites.", "Labeling defects.", "Four PDFs rather than one integrated learner corpus." ], "native_family_id": "family-28-graduate-algebra", "ordinal": 28, "recommended_reuse": [ "component sovereignty", "rights-preserving federation", "cross-component branching mastery routes" ], "reversible_exchange_status": "Federation is demonstrated; dialect fragmentation prevents a clean common exchange claim.", "roles": [ "D70" ] }, { "adapter_bindings": [], "core_pattern": "Lean source-span, terminology, and alt-text ledgers whose alt descriptions are consumed by the HTML reader.", "demonstrated_strengths": [ "Honest span precision.", "Operational accessibility value.", "Alt descriptions consumed by the HTML reader." ], "family_name": "Category and Homological Methods", "learner_runtime_status": "HTML reader consumption of alt descriptions is established.", "limitations": [ "Sparse and ad-hoc semantics.", "Stale states.", "Public replay is not self-contained." ], "native_family_id": "family-29-category-and-homological-methods", "ordinal": 29, "recommended_reuse": [ "source-span precision", "terminology ledger", "alt-text ledger", "reader-consumed accessibility metadata" ], "reversible_exchange_status": "Public replay is not self-contained.", "roles": [ "D80" ] }, { "adapter_bindings": [], "core_pattern": "Integrated course-object graph tying definitions, proofs, labs, assessments, solutions, and capstone to one stable identity.", "demonstrated_strengths": [ "Strong assessable-course design.", "Real multi-format delivery.", "Single stable identity across course objects." ], "family_name": "Advanced Optimization", "learner_runtime_status": "Real multi-format delivery is established; direct common-backend consumption is not explicitly stated.", "limitations": [ "Limited reversible/external reuse evidence.", "Heavy 100-file release." ], "native_family_id": "family-30-advanced-optimization", "ordinal": 30, "recommended_reuse": [ "integrated assessable-course object graph", "stable identity across definitions/proofs/labs/assessments/solutions/capstone" ], "reversible_exchange_status": "Limited reversible/external reuse evidence.", "roles": [ "D90" ] }, { "adapter_bindings": [], "core_pattern": "Full 60-unit authority graph with a 19-unit learner route as a nonduplicating view, separating edition, release snapshot, and route.", "demonstrated_strengths": [ "Architecturally important nonduplicating learner view.", "Explicit edition/release/route separation." ], "family_name": "Algebraic Geometry", "learner_runtime_status": "A 19-unit learner route exists as a nonduplicating view; the corpus is incomplete.", "limitations": [ "Corpus remains incomplete.", "Terminal replay remains incomplete.", "Synchronization burden is high." ], "native_family_id": "family-31-algebraic-geometry", "ordinal": 31, "recommended_reuse": [ "authority graph plus nonduplicating learner views", "edition/release/route identity separation" ], "reversible_exchange_status": "Terminal replay is incomplete.", "roles": [ "D100" ] }, { "adapter_bindings": [ { "adapter_package_id": "urn:uuid:564a0b58-9148-54a1-89e7-2e40340f24fa", "admission_state": "published", "public_replay_status": "published_public_asset_readback_verified", "role_id": "D110" } ], "core_pattern": "Executable proof-aligned graph preserving Lean modules, declarations, and imports while localizing prose.", "demonstrated_strengths": [ "Compiler as a uniquely strong semantic replay oracle.", "3438-job compiler check.", "Deterministic 10978-record backend.", "Preserved Lean module/declaration/import structure." ], "family_name": "Mathematics in Lean", "learner_runtime_status": "Not reported in the audited entry.", "limitations": [ "Specialized toolchain.", "92.7-MB backend limits general reuse." ], "native_family_id": "family-32-mathematics-in-lean", "ordinal": 32, "recommended_reuse": [ "compiler-backed semantic replay", "proof-aligned graph", "formal module/declaration/import preservation", "localized-prose separation" ], "reversible_exchange_status": "Deterministic compiler-backed replay is established; general-purpose reversible exchange is not explicitly established.", "roles": [ "D110" ] }, { "adapter_bindings": [], "core_pattern": "Preserved content backend plus locale-neutral semantic/assessment wrapper, localized text, renderer locators, learner-claim state, explicit prerequisites, and immutable relations.", "demonstrated_strengths": [ "Excellent separation and reversibility.", "Accessible HTML.", "Explicit prerequisites.", "Immutable relations." ], "family_name": "Research Reproducibility", "learner_runtime_status": "Accessible HTML exists, but there are zero live learner instances.", "limitations": [ "Parallel wrappers and ledgers make the design overbuilt.", "Zero live learner instances." ], "native_family_id": "family-33-research-reproducibility", "ordinal": 33, "recommended_reuse": [ "preserved-content/semantic-wrapper separation", "locale-neutral assessment wrapper", "renderer locators", "learner-claim state", "explicit prerequisites", "immutable relations" ], "reversible_exchange_status": "Reversibility is explicitly established.", "roles": [ "D120" ] } ], "locale": "id-ID", "methodology": { "comparison_policy": "Scores are omitted where false precision would hide scope differences. Size, schema validation, or manager admission alone does not establish learner usefulness.", "denominator": { "manager_federation_is_separate_synthesis_candidate": true, "native_implementation_families": 33, "program_roles": 40 }, "design_premise": "Independent native backend designs were intentional and are being compared for synthesis.", "evidence_basis": [ "owner-native manifests", "owner-native validators", "owner-native learner surfaces", "immutable central releases", "dated public-byte readback" ], "stages": [ { "description_id": "Inventarisasi setiap rancangan backend native tanpa memaksakan bentuk pusat.", "sequence": 1, "stage_id": "inventory_native_designs" }, { "description_id": "Bandingkan identitas, relasi, provenance, replay, akses belajar, dan biaya pemeliharaan pada sumbu yang sama.", "sequence": 2, "stage_id": "compare_common_axes" }, { "description_id": "Adopsi hanya fitur yang dibuktikan oleh artefak dan nyatakan batas yang belum ditutup.", "sequence": 3, "stage_id": "adopt_evidenced_features" }, { "description_id": "Bangun deterministik, validasi, publikasikan, baca balik anonim, lalu audit ulang snapshot berikutnya.", "sequence": 4, "stage_id": "publish_validate_reaudit" } ] }, "recorded_at": "2026-09-01", "schema_id": "interlanguage/program-matematika-indonesia-modular-backend-pattern-index/v2.1", "schema_version": "2.1.0", "snapshot": { "as_of": "2026-09-04T00:00:00Z", "central_release_record_doi": "10.5281/zenodo.22303203", "central_release_version": "v0.62.17", "mutable_overlay": true, "public_replay_state": "postpublication_release_assets_readback_complete", "snapshot_id": "urn:interlanguage:program-matematika-indonesia:v23-adapters:v0.62.17-postpublication:2026-09-04", "snapshot_kind": "live_successor_overlay", "supersedes": { "central_release_record_doi": "10.5281/zenodo.22231858", "central_release_version": "v0.62.16", "snapshot_id": "urn:interlanguage:program-matematika-indonesia:v23-adapters:v0.62.14-postpublication:2026-09-01", "source": { "bytes": 508950409, "path": "releases/v0.62.16/program-matematika-indonesia-source-v0.62.16.zip", "sha256": "4d1b758e4f06fab48bb8ecba63a0b85138dbec4345812d4fee8dea694a8155d0" } } }, "source_evidence": [ { "bytes": 41452, "path": "releases/v0.62.13/modular-backend-pattern-index-v1.json", "purpose": "Temuan 33 keluarga pada rilis beku v0.62.13.", "sha256": "89436f3c319057a87aef82aae7e53f5a0c484193cd92a9c8e293f1b52198f391", "source_id": "immutable_pattern_v1" }, { "bytes": 41704, "path": "backend/course-capsule-v1/authority/snapshot-inputs/live-v1-overlay-20260831/modular-backend-pattern-index-v1.live-overlay-source.json", "purpose": "Koreksi overlay yang dipertahankan sebagai input penerus, bukan v1 publik.", "sha256": "af92591838cbe949fa52e5f23d8b57478b1bd649d9a8f56bf47c9fb866d08bb8", "source_id": "live_pattern_overlay_input" }, { "bytes": 32070, "path": "releases/v0.62.13/MODULAR_BACKEND_METHOD_AND_FINDINGS_V1.md", "purpose": "Metode perbandingan dan konvergensi yang sudah dipreservasi publik.", "sha256": "c30745104ae42a0f29aa3399bb4ef3415c413dba241b1ac494525759214e5536", "source_id": "methodology_v1" }, { "bytes": 88060, "path": "GITHUB_PUBLICATION_RECEIPT_v0.62.14.json", "purpose": "Bukti baca-balik anonim 112 aset GitHub pada rilis v0.62.14.", "sha256": "8a3883c811574864f0d40f029d1f48ca13870327feb0e9048cd3cad1d1abf390", "source_id": "v06214_github_publication" }, { "bytes": 58227, "path": "PUBLICATION_RECEIPT_v0.62.14.json", "purpose": "Bukti rilis terbuka dan baca-balik anonim 100 berkas Zenodo v0.62.14.", "sha256": "e34bdc951961bf6c18d4ffacfb80fc2fda411f02cba7de001c05ae6898229ad8", "source_id": "v06214_zenodo_publication" } ] }