{ "schema_id": "interlanguage/program-matematika-indonesia-modular-backend-pattern-index/v1", "schema_version": "1.0.0", "recorded_at": "2026-08-30T20:58:51Z", "locale": "id-ID", "current_snapshot_note": "Manager and learner-runtime facts describe the named audit snapshot and may be superseded by later owner, manager, adapter, or publication evidence.", "post_audit_updates": { "recorded_at": "2026-08-31", "course_capsule": "A seven-layer open course capsule now projects all 40 roles into canonical JSONL plus JSON, schema, manifest, deterministic validation, and a human-facing learner/educator/interop viewer while preserving owner-native backends.", "learner_delivery": "The learner application now consumes a dedicated learner-delivery sidecar for format badges, verified offline packages, and the one-file offline curriculum navigator.", "current_manager_overlay": "The current successor recomputes 33 published roles and 7 roles still in production from exact live edition evidence; audited 29/11, 28/12, and frozen 21/19 counts remain historical snapshots.", "c20_publication_truth": "C20 is reconciled as a completed 241-page public edition at Zenodo record 22172396 and family release U429.", "d20_adapter": { "status": "published_in_central_v0.62.12", "contract_version": "2.3.1", "canonical_records": 138894, "native_records": 32383, "additional_native_index_rows": 2104, "reversible_native_bindings": 32383, "jsonl_csv_table_pairs": 19, "deterministic_package_sha256": "25e059d26f049141dad326817bd01319b120a19fc4b78fb2efc879764fea2099" }, "a00_o001_adapter": { "status": "validated_for_central_v0.62.13", "contract_version": "2.3.1", "common_spine_records": 1313, "native_assessment_records_preserved": 24315, "assessments": 8105, "assessment_components": 13345, "explicit_solution_gaps": 2865, "exact_html_anchor_routes": 21450, "navigation_units_promoted": 0, "component_rights_exceptions_preserved": 18, "manifest_sha256": "934a85c6c1c61d826a9c1c8ac601957548b865757cd6386c3b8eb36160706c08", "deterministic_package_sha256": "43e122a96cf2878764ff53148c9d2d247ccb0b661b563ae6c5f04f4cd000098b" }, "a00_learner_runtime": { "status": "validated_static_navigator", "route": "id-ID/courses/A00/latihan/", "function": "Filter exercises by module, category, and explicit-solution availability, then open exact verified owner-reader anchors.", "machine_data_is_learner_destination": false, "quiz_or_automated_mastery_claim": false } }, "methodology": { "design_premise": "Independent native backend designs were intentional and are being compared for synthesis.", "denominator": { "program_roles": 40, "mapped_owner_tasks": 32, "roles_covered_by_mapped_owners": 39, "external_taskless_complete_roles": ["C80"], "native_implementation_families": 33, "manager_federation_is_separate_synthesis_candidate": true }, "comparison_policy": "Scores are omitted where false precision would hide scope differences. Size, schema validation, or manager admission alone does not establish learner usefulness.", "evidence_basis": [ "owner-native manifests", "owner-native validators", "owner-native readers", "current manager bytes", "current public bytes" ], "mutation_boundary": "Read-only audit; no owner, manager, repository, publication, or access state was mutated." }, "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": { "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" ], "optional_capability_shards": [ "formula alignment", "experiments and notebooks", "formal proofs", "source-format topology" ], "canonical_exchange": "JSONL plus cryptographic hashes", "generated_views": [ "CSV", "SQLite", "Parquet" ], "generated_views_are_authoritative": false, "central_hub_behavior": [ "ingest current owner release receipts automatically", "build completion-aware learner routes", "never present planned unit routes as public" ] }, "audit_snapshot_global_defects": [ "Central owner truth is 29 published / 11 unpublished while overlay truth is 28 / 12 and frozen-model truth is 21 / 19.", "C20 is stale.", "There are 13 state-blind successor labels.", "The B50 repository is absent.", "Only 19 of 28 published roles have explicit HTML.", "Unit routes are planned only.", "A public clone cannot replay all adapters without external owner/logbook roots." ], "audit_snapshot_manager_synthesis": { "native_v1": { "records": 2122, "tables": 38, "nonempty_tables": 20, "primary_function": "40-course catalog" }, "federation_v2": { "registry_records": 2490, "datasets": 34, "crosswalks": 2122, "surfaces": 164, "routes": 43, "publication_events": 69, "copies_native_prose": false }, "contract_2_3_1_implementers": ["B10", "D60", "D110"], "a00_status": "Separate legacy proof despite the live HTML labeling all four packages as 2.3.1.", "live_learner_app_inputs": [ "courses.js", "live-course-publications.js", "learner-state.js" ], "live_learner_app_consumes_backend_packages": false, "reported_scores": { "portability": "2/4", "learner_use": "2/4", "reproducibility": "3/4", "complexity_burden": "4/4" } }, "current_resolution_status": { "recorded_at": "2026-08-31", "role_state": { "selected": 40, "published": 33, "production": 7, "distinct_public_edition_records": 29, "status": "recomputed_from_current_successor_evidence" }, "contract_2_3_1_implementers": [ "A00", "B10", "D20", "D60", "D110" ], "remaining_native_families_without_public_replay_complete_2_3_1_adapter": 28, "learner_consumption": { "course_actions_and_format_badges_from_validated_learner_delivery": true, "offline_curriculum_navigator_from_validated_data": true, "a00_assessment_navigator_from_validated_native_routes": true, "course_capsule_learner_tool_binding": true, "machine_data_is_primary_learner_destination": false }, "resolved_audit_snapshot_items": [ "The central successor reconciles the role-state split to 33 published and 7 in production after D30 course completion.", "C20 is reconciled to its completed public edition.", "A00 now has a contract-2.3.1 successor adapter instead of a legacy-only label.", "The learner application consumes validated learner-delivery and learner-tool sidecars.", "The course-capsule layer exposes the readable A00 learner tool without exposing raw JSON as a learner action." ], "open_successor_gaps": [ "Twenty-eight native implementation families do not yet have a public-replay-complete contract-2.3.1 adapter.", "Learner consumption of capsule capabilities remains partial outside current delivery actions and A00 assessments.", "Every accepted adapter must remain reproducible from public bytes without private owner or logbook roots.", "Native-family limitations documented by the audit remain visible until their own evidence closes them." ] }, "source_evidence": { "source": "audit-owned durable record, unpublished", "entry_heading": "2026-08-30 22:58:51 +02:00 — full native modular-backend comparison (intentional divergence)", "cursor": { "bytes": 666831, "sha256": "3698288452C32FC518DB08F924D39DCE834E6726E60DB86B214DA6129EFBE279", "sidecar_match": true }, "registry": { "identifier": 181, "bytes": 25811, "sha256": "2173F797C2BD494461E4FF04D3C5013F01A7BFF61E73E25C905884E51A67F652" }, "audit_log_publication_status": "not_published_contains_local_coordination_material", "scope_note": "This model uses only the named audit entry. Facts not stated there are explicitly marked as not established or not reported." }, "families": [ { "ordinal": 1, "roles": ["A00"], "family_name": "Prealgebra", "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." ], "limitations": [ "No proven live consumer.", "Extremely heavy: 1.84 GB plus a 1.13-GB SQLite database." ], "learner_runtime_status": "No proven live consumer.", "reversible_exchange_status": "Not established in the audited entry; deterministic two-build identity is established.", "recommended_reuse": [ "pedagogical concept/prerequisite DAG", "exact evidence mapping", "locale-neutral/locale-variant separation", "query layer" ] }, { "ordinal": 2, "roles": ["A10"], "family_name": "Elementary Algebra", "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." ], "limitations": [ "Primarily structural rather than a learner-route graph.", "Event history is large." ], "learner_runtime_status": "No learner runtime use is reported; the model is described as structural rather than learner-route oriented.", "reversible_exchange_status": "Lossless JSONL/CSV exchange is established.", "recommended_reuse": [ "append-only lifecycle ledger", "UUIDv5 identity", "explicit absence states", "lossless JSONL/CSV projection" ] }, { "ordinal": 3, "roles": ["A20"], "family_name": "Intermediate Algebra", "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." ], "limitations": [ "Global export trails live modules.", "Three overlay dialects fragment consumption." ], "learner_runtime_status": "Not reported in the audited entry.", "reversible_exchange_status": "Not established; projections exist, but export lag and three overlay dialects fragment consumption.", "recommended_reuse": [ "fixed-point selection", "isolated candidate builds", "cursor-last admission", "fail-closed recovery" ] }, { "ordinal": 4, "roles": ["A30"], "family_name": "Precalculus", "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." ], "limitations": [ "Generic payload bags weaken typing.", "Released aggregate trails canonical work." ], "learner_runtime_status": "Not reported in the audited entry.", "reversible_exchange_status": "Pragmatic exchange is established; exact reversibility is not explicitly proved.", "recommended_reuse": [ "shared bilingual segment identity", "consumer-specific generated views" ] }, { "ordinal": 5, "roles": ["B10"], "family_name": "Discrete Mathematics", "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." ], "limitations": [ "Normal prose granularity is coarse.", "Duplication is high.", "No runtime consumer exists." ], "learner_runtime_status": "No runtime consumer exists.", "reversible_exchange_status": "Deterministic roundtrip is established.", "recommended_reuse": [ "exercise closure", "statement/hint/answer/solution structure", "rights binding", "roundtrip validation" ] }, { "ordinal": 6, "roles": ["B20", "B30", "B50", "B60"], "family_name": "CLP", "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." ], "limitations": [ "622836943 generated bytes.", "Almost no pedagogical prerequisite modeling.", "No learner backend consumer." ], "learner_runtime_status": "No learner backend consumer.", "reversible_exchange_status": "Not explicitly established; source binding and deterministic drift detection are established.", "recommended_reuse": [ "native-ID registry", "direct-text hashing", "declared topology deltas", "marker-bound source variants", "fail-closed drift checking" ] }, { "ordinal": 7, "roles": ["B40"], "family_name": "Linear Algebra", "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." ], "limitations": [ "XPath-ordinal identifiers are fragile.", "Reverse CNXML reconstruction was not proved." ], "learner_runtime_status": "Not reported in the audited entry.", "reversible_exchange_status": "Reverse CNXML reconstruction was not proved.", "recommended_reuse": [ "fine text/attribute slots", "problem-solution relations", "asset relations", "accessibility slots" ] }, { "ordinal": 8, "roles": ["B70", "C10", "C20", "C50"], "family_name": "Lebl family", "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." ], "limitations": [ "All 432 segments are headings rather than reusable prose.", "Retained micro-checkpoint history dominates the machinery." ], "learner_runtime_status": "Not reported in the audited entry.", "reversible_exchange_status": "Not established in the audited entry.", "recommended_reuse": [ "UUID/alias catalog", "explicit hint-only and no-answer states", "legacy-locator verification" ] }, { "ordinal": 9, "roles": ["B80"], "family_name": "Mathematical Computing", "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." ], "limitations": [ "Monolithic hard-coded JSON.", "No reversible/common exchange." ], "learner_runtime_status": "Learner use is demonstrated through learner QA.", "reversible_exchange_status": "No reversible/common exchange.", "recommended_reuse": [ "executable mastery units", "artifact-linked exercises", "prerequisite routes", "learner-QA consumption pattern" ] }, { "ordinal": 10, "roles": ["B90"], "family_name": "Probability", "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." ], "limitations": [ "Shallow structural graph.", "Ambiguous stale parallel public export." ], "learner_runtime_status": "Not reported in the audited entry.", "reversible_exchange_status": "Lossless JSONL/CSV exchange is established.", "recommended_reuse": [ "stable URNs", "lossless JSONL/CSV", "public-safe redaction projection" ] }, { "ordinal": 11, "roles": ["B95"], "family_name": "Statistics", "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." ], "limitations": [ "One inherited invalid deferred state prevents clean full-schema replay.", "399020415 bytes across 948 files, including 910 evidence files.", "Learner delivery remains PDF." ], "learner_runtime_status": "Learner delivery is PDF-only in the audited evidence.", "reversible_exchange_status": "Byte-preserved predecessor is established, but full schema replay is not clean.", "recommended_reuse": [ "incremental graph", "translation-state modeling", "byte-preserved predecessor lineage" ] }, { "ordinal": 12, "roles": ["C30", "C40"], "family_name": "Judson", "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." ], "limitations": [ "Course selectors are not exposed as distinct learner navigation.", "Semantics rely on custom verifier code beyond the permissive envelope schema." ], "learner_runtime_status": "Distinct course views exist, but their selectors are not exposed as distinct learner navigation.", "reversible_exchange_status": "Deterministic self-contained exchange is established.", "recommended_reuse": [ "one canonical graph with nonduplicating course views", "persistent birth/current identities", "source-frozen state", "typed relations", "self-contained exchange" ] }, { "ordinal": 13, "roles": ["C60"], "family_name": "Number Theory", "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." ], "limitations": [ "Duplicated JSON, CSV, and XLSX.", "High evidence burden.", "TeX still drives the reader." ], "learner_runtime_status": "A reader exists, but TeX rather than the backend drives it.", "reversible_exchange_status": "Many reversible projections are established.", "recommended_reuse": [ "bilingual entity/event graph", "concept and prerequisite relations", "correction and rights records", "reversible projections" ] }, { "ordinal": 14, "roles": ["C70"], "family_name": "Applied Combinatorics", "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." ], "limitations": [ "Huge source and reader inventories.", "High exporter/validator burden.", "One queued mapping in the terminal release." ], "learner_runtime_status": "Reader inventories are reported, but direct backend runtime consumption is not established.", "reversible_exchange_status": "High portability and determinism are established; exact reverse import is not separately stated.", "recommended_reuse": [ "parallel source/target graphs", "concept/prerequisite model", "portable PreTeXt representation" ] }, { "ordinal": 15, "roles": ["C80"], "family_name": "Open Logic", "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." ], "limitations": [ "Not a normalized semantic backend.", "No course navigation or HTML.", "Toolchain pinning is incomplete." ], "learner_runtime_status": "No course navigation or HTML.", "reversible_exchange_status": "Preservation closure is established; normalized reversible semantic exchange is not.", "recommended_reuse": [ "module-level preservation unitization", "reader-versus-retained-source distinction", "frozen import closure" ] }, { "ordinal": 16, "roles": ["C90"], "family_name": "Topology", "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." ], "limitations": [ "Chapter-by-chapter schema drift.", "No clean global reversible graph." ], "learner_runtime_status": "Direct learner runtime use is established through the collapsible self-study reader.", "reversible_exchange_status": "No clean global reversible graph.", "recommended_reuse": [ "per-prompt learning structure", "mastery modules", "direct collapsible-reader consumption" ] }, { "ordinal": 17, "roles": ["C100"], "family_name": "Geometry", "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." ], "limitations": [ "Permissive and ad-hoc statuses.", "Two-record/three-relation local-public catalog drift reduces reproducibility." ], "learner_runtime_status": "Direct learner delivery through semantic HTML and EPUB is established.", "reversible_exchange_status": "Not explicitly established; local-public catalog drift is present.", "recommended_reuse": [ "unit/exercise/hint/figure registries", "direct semantic HTML/EPUB generation", "operational accessibility metadata" ] }, { "ordinal": 18, "roles": ["C110"], "family_name": "Numerical Analysis", "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." ], "limitations": [ "Generic/permissive schema.", "No proved shared runtime.", "Later helper-packet evidence must not replace this primary interpretation." ], "learner_runtime_status": "No shared runtime is proved.", "reversible_exchange_status": "Lossless open export is established.", "recommended_reuse": [ "deterministic pack/merge", "experiment records", "exact toolchain receipts", "one-byte drift rejection", "lossless export" ] }, { "ordinal": 19, "roles": ["C120"], "family_name": "Modeling and Nonlinear Dynamics", "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." ], "limitations": [ "Earlier native validator coverage was incomplete.", "Latest readable task boundary concerned a revoked helper.", "Universal portability is not established." ], "learner_runtime_status": "Not established in the audited entry.", "reversible_exchange_status": "File reconstruction is demonstrated for 81 files, but universal portability is not established.", "recommended_reuse": [ "paired source/target hashes", "mastery triples", "notebook/project-packet composition", "file reconstruction" ] }, { "ordinal": 20, "roles": ["C130"], "family_name": "Operations Research", "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." ], "limitations": [ "Large typed graph/evidence layer.", "No reverse importer." ], "learner_runtime_status": "Real reuse and executable labs are demonstrated; a shared live backend consumer is not explicitly stated.", "reversible_exchange_status": "No reverse importer.", "recommended_reuse": [ "general locale-neutral course graph", "typed learning relations", "exercise and lab adaptation model" ] }, { "ordinal": 21, "roles": ["C140"], "family_name": "Mathematical Statistics", "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." ], "limitations": [ "Prerequisites and objectives remain in Markdown rather than graph edges.", "Per-lesson/checkpoint machinery is heavy." ], "learner_runtime_status": "Not reported in the audited entry.", "reversible_exchange_status": "Byte-identical cumulative reuse is established; full reverse exchange is not explicitly stated.", "recommended_reuse": [ "component-rights federation", "staged problem structure", "simulation and mastery metadata", "byte-identical cumulative reuse" ] }, { "ordinal": 22, "roles": ["D10"], "family_name": "Measure and Integration", "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." ], "limitations": [ "Many empty projections and version chains.", "Almost no pedagogical prerequisites.", "Current backend exceeds the public release." ], "learner_runtime_status": "Not reported in the audited entry.", "reversible_exchange_status": "Deterministic JSONL/CSV replay is established.", "recommended_reuse": [ "bilingual source topology", "raw source/target preservation", "hash and rights binding", "deterministic JSONL/CSV replay" ] }, { "ordinal": 23, "roles": ["D20"], "family_name": "Functional Analysis", "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." ], "limitations": [ "Many chapter scripts.", "Many formula and structural rows.", "Prerequisite modeling remains thin." ], "learner_runtime_status": "Genuine learner use through HTML routes is established.", "reversible_exchange_status": "Not explicitly established in the audited entry.", "recommended_reuse": [ "immutable-base/additive-overlay state model", "formula alignment", "learner companion structure", "accessible SVGs", "HTML route integration" ] }, { "ordinal": 24, "roles": ["D30"], "family_name": "Stochastic Processes", "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." ], "limitations": [ "The site shares identifiers but does not consume the backend.", "Exporter and artifact weight is high." ], "learner_runtime_status": "The site shares identifiers but does not consume the backend.", "reversible_exchange_status": "Portability is strong; exact reverse exchange is not explicitly established.", "recommended_reuse": [ "portable outcomes/lab model", "typed course relations", "donor-source and rights joins" ] }, { "ordinal": 25, "roles": ["D40"], "family_name": "Partial Differential Equations", "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." ], "limitations": [ "No formal schema.", "Models topology rather than learning semantics.", "Dual legacy/current backends.", "Heavy cumulative receipts." ], "learner_runtime_status": "Not reported in the audited entry.", "reversible_exchange_status": "Release-lineage identity is strong; formal reversible exchange is not established.", "recommended_reuse": [ "append-only release lineage", "label-derived stable IDs", "predecessor-prefix and xref snapshots" ] }, { "ordinal": 26, "roles": ["D50"], "family_name": "Differential Geometry", "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." ], "limitations": [ "Graph is dominated by QA, artifact, and order history.", "README hashes are stale." ], "learner_runtime_status": "Reader anchors exist; direct backend runtime consumption is not reported.", "reversible_exchange_status": "A reproducible source package is established; exact reverse exchange is not explicitly stated.", "recommended_reuse": [ "official/missing/original answer distinctions", "provenance and rights topology", "reader anchors", "reproducible source packaging" ] }, { "ordinal": 27, "roles": ["D60"], "family_name": "Algebraic Topology", "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." ], "limitations": [ "Duplicated units and segments.", "566 correction rows create high synchronization cost.", "Compact Zenodo archive alone is not a build tree." ], "learner_runtime_status": "Learner routes are verified.", "reversible_exchange_status": "Interoperability is established; exact reverse reconstruction is not explicitly stated.", "recommended_reuse": [ "typed locale-neutral JSONL streams", "concept/hint/solution/proof separation", "rights and route streams", "verified learner-route design" ] }, { "ordinal": 28, "roles": ["D70"], "family_name": "Graduate Algebra", "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." ], "limitations": [ "Four backend dialects.", "Repeated rights and prerequisites.", "Labeling defects.", "Four PDFs rather than one integrated learner corpus." ], "learner_runtime_status": "A real cross-component learner route exists, but delivery remains four PDFs rather than one integrated corpus.", "reversible_exchange_status": "Federation is demonstrated; dialect fragmentation prevents a clean common exchange claim.", "recommended_reuse": [ "component sovereignty", "rights-preserving federation", "cross-component branching mastery routes" ] }, { "ordinal": 29, "roles": ["D80"], "family_name": "Category and Homological Methods", "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." ], "limitations": [ "Sparse and ad-hoc semantics.", "Stale states.", "Public replay is not self-contained." ], "learner_runtime_status": "HTML reader consumption of alt descriptions is established.", "reversible_exchange_status": "Public replay is not self-contained.", "recommended_reuse": [ "source-span precision", "terminology ledger", "alt-text ledger", "reader-consumed accessibility metadata" ] }, { "ordinal": 30, "roles": ["D90"], "family_name": "Advanced Optimization", "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." ], "limitations": [ "Limited reversible/external reuse evidence.", "Heavy 100-file release." ], "learner_runtime_status": "Real multi-format delivery is established; direct common-backend consumption is not explicitly stated.", "reversible_exchange_status": "Limited reversible/external reuse evidence.", "recommended_reuse": [ "integrated assessable-course object graph", "stable identity across definitions/proofs/labs/assessments/solutions/capstone" ] }, { "ordinal": 31, "roles": ["D100"], "family_name": "Algebraic Geometry", "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." ], "limitations": [ "Corpus remains incomplete.", "Terminal replay remains incomplete.", "Synchronization burden is high." ], "learner_runtime_status": "A 19-unit learner route exists as a nonduplicating view; the corpus is incomplete.", "reversible_exchange_status": "Terminal replay is incomplete.", "recommended_reuse": [ "authority graph plus nonduplicating learner views", "edition/release/route identity separation" ] }, { "ordinal": 32, "roles": ["D110"], "family_name": "Mathematics in Lean", "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." ], "limitations": [ "Specialized toolchain.", "92.7-MB backend limits general reuse." ], "learner_runtime_status": "Not reported in the audited entry.", "reversible_exchange_status": "Deterministic compiler-backed replay is established; general-purpose reversible exchange is not explicitly established.", "recommended_reuse": [ "compiler-backed semantic replay", "proof-aligned graph", "formal module/declaration/import preservation", "localized-prose separation" ] }, { "ordinal": 33, "roles": ["D120"], "family_name": "Research Reproducibility", "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." ], "limitations": [ "Parallel wrappers and ledgers make the design overbuilt.", "Zero live learner instances." ], "learner_runtime_status": "Accessible HTML exists, but there are zero live learner instances.", "reversible_exchange_status": "Reversibility is explicitly established.", "recommended_reuse": [ "preserved-content/semantic-wrapper separation", "locale-neutral assessment wrapper", "renderer locators", "learner-claim state", "explicit prerequisites", "immutable relations" ] } ] }