{ "schema_id": "interlanguage/native-family-public-evidence-route-addendum/v1", "schema_version": "1.0.0", "recorded_date": "2026-08-31", "source_release": "program-matematika-indonesia v0.62.13", "scope": { "operation": "read_only_metadata_provenance_audit", "inputs": "Exactly four frozen released files; no archive or URL downloaded.", "output_purpose": "Future additive provenance improvement outside the Site checkout.", "release_relationship": "Not a release blocker; does not modify, publish, or supersede the active release.", "finding_support_limit": "Package metadata availability is not historical claim support, artifact existence verification, native replay, adapter admission, or learner runtime consumption.", "missing_evidence_rule": "No public evidence route exposed in these files does not mean that the artifact is absent or unpublished.", "byte_count_rule": "Only exposed byte counts are recorded. Missing values remain null.", "pointer_convention": "RFC 6901 pointers address parsed JSON documents; capsule pointers address the JSON object on the stated one-based JSONL line.", "sanitization": "No credentials, absolute local paths, private logbook locator values, or personal names are copied into this index." }, "sources": [ { "id": "patterns", "file": "modular-backend-pattern-index-v1.json", "bytes": 41452, "sha256": "89436f3c319057a87aef82aae7e53f5a0c484193cd92a9c8e293f1b52198f391" }, { "id": "capsules", "file": "course-capsules-v1.jsonl", "bytes": 226934, "sha256": "2c885781e9b69de6afdc2cbfe8e7d95d26ba97f0ffe571a12b4ec1ead575d6d1" }, { "id": "adapters", "file": "v23-adapter-index-v1.json", "bytes": 11370, "sha256": "31e45fc3a852b1d1b7742ac66d5d919aa1d229feff408913951018451f755381" }, { "id": "methodology", "file": "MODULAR_BACKEND_METHOD_AND_FINDINGS_V1.md", "bytes": 32070, "sha256": "c30745104ae42a0f29aa3399bb4ef3415c413dba241b1ac494525759214e5536" } ], "historical_audit_boundary": { "recorded_at": "2026-08-30T20:58:51Z", "source": { "document_id": "patterns", "json_pointer": "/source_evidence", "jsonl_line": null }, "audit_cursor_bytes": 666831, "audit_cursor_sha256": "3698288452C32FC518DB08F924D39DCE834E6726E60DB86B214DA6129EFBE279", "registry_identifier": 181, "registry_bytes": 25811, "registry_sha256": "2173F797C2BD494461E4FF04D3C5013F01A7BFF61E73E25C905884E51A67F652", "audit_log_publication_status_declared": "not_published_contains_local_coordination_material", "methodology_source": { "document_id": "methodology", "line": 13 }, "claim_specific_source_binding": "Missing for all 33 family findings in these comparison artifacts.", "audit_cursor_hash_is_public_source_route": false }, "counts": { "native_families": 33, "family_role_bindings": 40, "unique_role_bindings": 40, "family_findings_with_claim_specific_public_citations": 0, "family_findings_without_claim_specific_public_citations": 33, "distinct_hash_bound_native_backend_package_urls": 8, "native_backend_package_covered_roles": 7, "native_backend_package_covered_families": 6, "roles_without_native_backend_package_route": 33, "families_without_native_backend_package_route": 27, "native_source_only_package_urls": 1, "native_release_manifest_urls": 1, "native_backend_packages_with_exposed_byte_count": 2, "native_backend_packages_without_exposed_byte_count": 6, "edition_only_families_excluding_adapter_only_families": 23, "central_adapter_only_families": 4, "central_adapter_rows": 5, "central_adapters_declaring_public_readback_verified": 4, "central_adapters_declaring_pending_release": 1, "central_adapters_declaring_direct_learner_consumption": 1, "central_adapters_declaring_course_link_only": 4, "roles_with_native_edition_pointer": 40, "roles_with_primary_learner_pointer": 40, "roles_without_native_edition_pointer": 0, "roles_without_primary_learner_pointer": 0, "capsule_receipts_with_private_logbook_locators": 3, "network_fetches_performed": 0, "native_backend_replays_performed": 0 }, "native_artifacts": [ { "artifact_id": "native-a10-backend", "role_id": "A10", "artifact_kind": "native_backend_package", "public_url": "https://zenodo.org/records/22163663/files/elementary-algebra-2e-id-ID-1.0.0-backend-core.zip?download=1", "sha256": "0bdfed2316ec68ce706c0f2f1eee3d61f029013479accfb627b0b1b549885d48", "bytes": null, "declared_title": "Backend modular edisi lengkap Elementary Algebra 2e", "declared_status": "verified", "declared_note": null, "source_references": [ { "object": { "document_id": "capsules", "json_pointer": "/layers/federation/components/1", "jsonl_line": 2 }, "url_pointer": "/layers/federation/components/1/url", "sha256_pointer": "/layers/federation/components/1/sha256", "bytes_pointer": null } ], "classification_basis": "Explicit source metadata title, identifier, URL filename, or manifest kind; archive members were not inspected.", "relationship_to_historical_finding": "not_established", "public_endpoint_verification": "not_performed_no_network", "actual_artifact_presence": "not_independently_observed", "native_backend_replay": "not_verified_by_this_addendum", "byte_count_policy": "Null means not exposed in the four inspected files; no value inferred." }, { "artifact_id": "native-a10-source", "role_id": "A10", "artifact_kind": "native_source_package", "public_url": "https://zenodo.org/records/22163663/files/elementary-algebra-2e-id-ID-1.0.0-source.zip?download=1", "sha256": "38d327f2e5268d4728d5467051b97a814d801f107948ee150a50fb66e89178a9", "bytes": null, "declared_title": "Sumber edisi lengkap Elementary Algebra 2e", "declared_status": "verified", "declared_note": null, "source_references": [ { "object": { "document_id": "capsules", "json_pointer": "/layers/federation/components/2", "jsonl_line": 2 }, "url_pointer": "/layers/federation/components/2/url", "sha256_pointer": "/layers/federation/components/2/sha256", "bytes_pointer": null } ], "classification_basis": "Explicit source metadata title, identifier, URL filename, or manifest kind; archive members were not inspected.", "relationship_to_historical_finding": "not_established", "public_endpoint_verification": "not_performed_no_network", "actual_artifact_presence": "not_independently_observed", "native_backend_replay": "not_verified_by_this_addendum", "byte_count_policy": "Null means not exposed in the four inspected files; no value inferred." }, { "artifact_id": "native-b20-backend", "role_id": "B20", "artifact_kind": "native_backend_package", "public_url": "https://zenodo.org/records/22164136/files/06_CLP1_KALKULUS_DIFERENSIAL_2026.08.29_BACKEND_MODULAR.zip?download=1", "sha256": "1b46b24c52d3246693af1aca7386c0f9b5d6804146c4c26ed4c2576881f945a0", "bytes": null, "declared_title": "Backend modular CLP1 — arsip reproduksibilitas", "declared_status": "verified", "declared_note": null, "source_references": [ { "object": { "document_id": "capsules", "json_pointer": "/layers/federation/components/1", "jsonl_line": 6 }, "url_pointer": "/layers/federation/components/1/url", "sha256_pointer": "/layers/federation/components/1/sha256", "bytes_pointer": null } ], "classification_basis": "Explicit source metadata title, identifier, URL filename, or manifest kind; archive members were not inspected.", "relationship_to_historical_finding": "not_established", "public_endpoint_verification": "not_performed_no_network", "actual_artifact_presence": "not_independently_observed", "native_backend_replay": "not_verified_by_this_addendum", "byte_count_policy": "Null means not exposed in the four inspected files; no value inferred." }, { "artifact_id": "native-b50-source-backend", "role_id": "B50", "artifact_kind": "native_backend_package", "public_url": "https://zenodo.org/records/22163372/files/CLP-3-Kalkulus-Multivariabel-Bahasa-Indonesia-sumber-backend.zip?download=1", "sha256": "9c53d7521e0b686573f4a49872019adf527b745dee82869a770ad61e1cb20c5f", "bytes": null, "declared_title": "Sumber dan backend CLP3 — arsip reproduksibilitas", "declared_status": "verified", "declared_note": null, "source_references": [ { "object": { "document_id": "capsules", "json_pointer": "/layers/federation/components/2", "jsonl_line": 9 }, "url_pointer": "/layers/federation/components/2/url", "sha256_pointer": "/layers/federation/components/2/sha256", "bytes_pointer": null } ], "classification_basis": "Explicit source metadata title, identifier, URL filename, or manifest kind; archive members were not inspected.", "relationship_to_historical_finding": "not_established", "public_endpoint_verification": "not_performed_no_network", "actual_artifact_presence": "not_independently_observed", "native_backend_replay": "not_verified_by_this_addendum", "byte_count_policy": "Null means not exposed in the four inspected files; no value inferred." }, { "artifact_id": "native-d10-source-backend", "role_id": "D10", "artifact_kind": "native_backend_package", "public_url": "https://github.com/KokunoYumeto/fremlin-measure-theory-id/releases/download/v1.0.0/fondasi-teori-ukuran-jilid-1-2-lengkap-id-v1.0.0-source-backend.zip", "sha256": "a0333dca723085e93d472b945a03758b133b05cbe5be3022133088e5c1f5ab00", "bytes": 15167715, "declared_title": null, "declared_status": "verified", "declared_note": null, "source_references": [ { "object": { "document_id": "capsules", "json_pointer": "/layers/learner/portable_html", "jsonl_line": 29 }, "url_pointer": "/layers/learner/portable_html/url", "sha256_pointer": "/layers/learner/portable_html/sha256", "bytes_pointer": "/layers/learner/portable_html/bytes" } ], "classification_basis": "Explicit source metadata title, identifier, URL filename, or manifest kind; archive members were not inspected.", "relationship_to_historical_finding": "not_established", "public_endpoint_verification": "not_performed_no_network", "actual_artifact_presence": "not_independently_observed", "native_backend_replay": "not_verified_by_this_addendum", "byte_count_policy": "Null means not exposed in the four inspected files; no value inferred." }, { "artifact_id": "native-d40-complete", "role_id": "D40", "artifact_kind": "native_backend_package", "public_url": "https://zenodo.org/records/22184259/files/D40_COMPLETE_ID_20260831.zip?download=1", "sha256": "a370bba5ddb54081387a484a304b24af92691c3bc167db964c486625a79add59", "bytes": 9436983, "declared_title": "Paket lengkap D40: HTML luring, sumber, backend, latihan, dan bukti", "declared_status": "verified", "declared_note": null, "source_references": [ { "object": { "document_id": "capsules", "json_pointer": "/layers/federation/components/1", "jsonl_line": 32 }, "url_pointer": "/layers/federation/components/1/url", "sha256_pointer": "/layers/federation/components/1/sha256", "bytes_pointer": null }, { "object": { "document_id": "capsules", "json_pointer": "/layers/learner/portable_html", "jsonl_line": 32 }, "url_pointer": "/layers/learner/portable_html/url", "sha256_pointer": "/layers/learner/portable_html/sha256", "bytes_pointer": "/layers/learner/portable_html/bytes" } ], "classification_basis": "Explicit source metadata title, identifier, URL filename, or manifest kind; archive members were not inspected.", "relationship_to_historical_finding": "not_established", "public_endpoint_verification": "not_performed_no_network", "actual_artifact_presence": "not_independently_observed", "native_backend_replay": "not_verified_by_this_addendum", "byte_count_policy": "Null means not exposed in the four inspected files; no value inferred." }, { "artifact_id": "native-d40-unit14", "role_id": "D40", "artifact_kind": "native_backend_package", "public_url": "https://zenodo.org/records/22161412/files/SUMBER_DIONNE_UNIT14_20260829.zip?download=1", "sha256": "248b65a225e96f0a342ab2f6288aa303d28bfd2a8e108db14f7e125ef5401f0e", "bytes": null, "declared_title": "Sumber, backend, dan bukti rilis Unit 14", "declared_status": "in_progress", "declared_note": null, "source_references": [ { "object": { "document_id": "capsules", "json_pointer": "/layers/federation/components/2", "jsonl_line": 32 }, "url_pointer": "/layers/federation/components/2/url", "sha256_pointer": "/layers/federation/components/2/sha256", "bytes_pointer": null } ], "classification_basis": "Explicit source metadata title, identifier, URL filename, or manifest kind; archive members were not inspected.", "relationship_to_historical_finding": "not_established", "public_endpoint_verification": "not_performed_no_network", "actual_artifact_presence": "not_independently_observed", "native_backend_replay": "not_verified_by_this_addendum", "byte_count_policy": "Null means not exposed in the four inspected files; no value inferred." }, { "artifact_id": "native-d40-release-manifest", "role_id": "D40", "artifact_kind": "native_release_manifest", "public_url": "https://zenodo.org/records/22184259/files/RELEASE_MANIFEST.json?download=1", "sha256": "3991fd2234e263134090c3686b93553dcab1215d86144509fd7937d5a4065a97", "bytes": 92798, "declared_title": null, "declared_status": null, "declared_note": "Dua backend semantik kursus tersedia dan terikat pada rilis; adapter reversibel kontrak 2.3.1 untuk runtime global belum diproduksi.", "source_references": [ { "object": { "document_id": "capsules", "json_pointer": "/layers/interoperability/semantic_adapter/evidence/0", "jsonl_line": 32 }, "url_pointer": "/layers/interoperability/semantic_adapter/evidence/0/locator", "sha256_pointer": "/layers/interoperability/semantic_adapter/evidence/0/sha256", "bytes_pointer": "/layers/interoperability/semantic_adapter/evidence/0/bytes" } ], "classification_basis": "Explicit source metadata title, identifier, URL filename, or manifest kind; archive members were not inspected.", "relationship_to_historical_finding": "not_established", "public_endpoint_verification": "not_performed_no_network", "actual_artifact_presence": "not_independently_observed", "native_backend_replay": "not_verified_by_this_addendum", "byte_count_policy": "Null means not exposed in the four inspected files; no value inferred." }, { "artifact_id": "native-d60-source-backend", "role_id": "D60", "artifact_kind": "native_backend_package", "public_url": "https://zenodo.org/records/22168033/files/TOPOLOGI_ALJABAR_ID_ROBERTS_001_030_FOMBERG_001_007_CA01_HINTS_R01_R06_CA02_CA03_LAB01_LAB02_LAB03_LAB04_CAPSTONE_EDITABLE_SOURCE_BACKEND.zip?download=1", "sha256": "f7670f6e6ad9a95ff808a1ddf4c2fdd8b41c6bce1916d33ac6fe5063be184b1b", "bytes": null, "declared_title": "Sumber dan backend D60 — arsip reproduksibilitas sekunder", "declared_status": "verified", "declared_note": null, "source_references": [ { "object": { "document_id": "capsules", "json_pointer": "/layers/federation/components/1", "jsonl_line": 34 }, "url_pointer": "/layers/federation/components/1/url", "sha256_pointer": "/layers/federation/components/1/sha256", "bytes_pointer": null } ], "classification_basis": "Explicit source metadata title, identifier, URL filename, or manifest kind; archive members were not inspected.", "relationship_to_historical_finding": "not_established", "public_endpoint_verification": "not_performed_no_network", "actual_artifact_presence": "not_independently_observed", "native_backend_replay": "not_verified_by_this_addendum", "byte_count_policy": "Null means not exposed in the four inspected files; no value inferred." }, { "artifact_id": "native-d80-backend", "role_id": "D80", "artifact_kind": "native_backend_package", "public_url": "https://zenodo.org/records/22167691/files/02_backend-semantik.zip?download=1", "sha256": "6fe9db92148b6adb7a2c8cd2bc12eedebffd133ee485f78c3e36ed455f56e9fc", "bytes": null, "declared_title": "Backend semantik lengkap", "declared_status": "verified", "declared_note": null, "source_references": [ { "object": { "document_id": "capsules", "json_pointer": "/layers/federation/components/1", "jsonl_line": 36 }, "url_pointer": "/layers/federation/components/1/url", "sha256_pointer": "/layers/federation/components/1/sha256", "bytes_pointer": null } ], "classification_basis": "Explicit source metadata title, identifier, URL filename, or manifest kind; archive members were not inspected.", "relationship_to_historical_finding": "not_established", "public_endpoint_verification": "not_performed_no_network", "actual_artifact_presence": "not_independently_observed", "native_backend_replay": "not_verified_by_this_addendum", "byte_count_policy": "Null means not exposed in the four inspected files; no value inferred." } ], "central_adapters": [ { "role_id": "A00", "source": { "document_id": "adapters", "json_pointer": "/adapters/0", "jsonl_line": null }, "evidence_kind": "central_adapter_not_native_backend_replay", "contract_version": "2.3.1", "proof_kind": "reversible_lane_adapter", "admission_state_declared": "admitted_pending_release", "public_replay_status_declared": "pending_release_local_seal_verified", "public_asset_url": "https://github.com/KokunoYumeto/program-matematika-indonesia/releases/download/v0.62.13/program-matematika-indonesia-backend-v2.3.1-a00-o001-assessment-adapter-v0.1.0.zip", "archive_sha256": "43e122a96cf2878764ff53148c9d2d247ccb0b661b563ae6c5f04f4cd000098b", "archive_bytes": 8634922, "asset_field_pointers": { "public_url": "/adapters/0/public_asset_url", "sha256": "/adapters/0/archive/sha256", "bytes": "/adapters/0/archive/bytes" }, "release_url": "https://github.com/KokunoYumeto/program-matematika-indonesia/releases/tag/v0.62.13", "learner_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/A00/latihan/", "learner_runtime_relationship_declared": "directly_consumes_adapter_outputs", "adopted_capabilities": [ "stable_native_assessment_identity", "exact_html_anchor_routes", "structured_assessment_components", "explicit_solution_gaps", "component_rights", "lossless_jsonl_csv_projection", "learner_assessment_navigation" ], "known_limitations": [ "The current learner map is an 8.14 MB whole-course payload rather than module shards.", "The navigator filters and routes verified source exercises; it does not claim automated mastery or invent missing solutions." ], "scope_note": "The 24,315-record O001 assessment shard remains authoritative; the adapter adds zero-prose module/unit/route bindings and preserves the legacy v0.1.1 package as public predecessor evidence.", "public_endpoint_verification": "not_performed_no_network", "native_family_replay_implication": "none", "historical_finding_support": "not_established" }, { "role_id": "B10", "source": { "document_id": "adapters", "json_pointer": "/adapters/1", "jsonl_line": null }, "evidence_kind": "central_adapter_not_native_backend_replay", "contract_version": "2.3.1", "proof_kind": "reversible_lane_adapter", "admission_state_declared": "published", "public_replay_status_declared": "published_public_asset_readback_verified", "public_asset_url": "https://github.com/KokunoYumeto/program-matematika-indonesia/releases/download/v0.62.9/program-matematika-indonesia-backend-v2.3.1-b10-adapter-v0.2.0.zip", "archive_sha256": "c9a2f8a0307ec6fa6c5f3b03168760f0d8ed5a67e069b5afb592f905e12096b6", "archive_bytes": 656874, "asset_field_pointers": { "public_url": "/adapters/1/public_asset_url", "sha256": "/adapters/1/archive/sha256", "bytes": "/adapters/1/archive/bytes" }, "release_url": "https://github.com/KokunoYumeto/program-matematika-indonesia/releases/tag/v0.62.9", "learner_url": "https://kokunoyumeto.github.io/discrete-mathematics-open-introduction-id/", "learner_runtime_relationship_declared": "course_link_only_no_adapter_consumption_claim", "adopted_capabilities": [ "reversible_native_unit_mappings", "structured_exercise_closure", "component_rights", "translation_state_evidence", "accessibility_records", "lossless_jsonl_csv_projection" ], "known_limitations": [ "The central learner link opens the owner reader and does not claim that the reader consumes the adapter records.", "Normal prose remains coarser than the structured exercise closure and native duplication remains owner-side." ], "scope_note": null, "public_endpoint_verification": "not_performed_no_network", "native_family_replay_implication": "none", "historical_finding_support": "not_established" }, { "role_id": "D20", "source": { "document_id": "adapters", "json_pointer": "/adapters/2", "jsonl_line": null }, "evidence_kind": "central_adapter_not_native_backend_replay", "contract_version": "2.3.1", "proof_kind": "reversible_lane_adapter", "admission_state_declared": "published", "public_replay_status_declared": "published_public_asset_readback_verified", "public_asset_url": "https://github.com/KokunoYumeto/program-matematika-indonesia/releases/download/v0.62.12/program-matematika-indonesia-backend-v2.3.1-d20-adapter-v0.1.0.zip", "archive_sha256": "25e059d26f049141dad326817bd01319b120a19fc4b78fb2efc879764fea2099", "archive_bytes": 61438875, "asset_field_pointers": { "public_url": "/adapters/2/public_asset_url", "sha256": "/adapters/2/archive/sha256", "bytes": "/adapters/2/archive/bytes" }, "release_url": "https://github.com/KokunoYumeto/program-matematika-indonesia/releases/tag/v0.62.12", "learner_url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/D20/", "learner_runtime_relationship_declared": "course_link_only_no_adapter_consumption_claim", "adopted_capabilities": [ "immutable_base_plus_learner_overlay", "formula_alignment", "solution_routes", "accessible_assets", "reversible_native_index_projection", "lossless_jsonl_csv_projection" ], "known_limitations": [ "The central course wrapper exposes the learner surfaces but does not claim that those readers consume the adapter tables.", "Prerequisite modeling remains thin and the sealed adapter archive is intentionally large." ], "scope_note": null, "public_endpoint_verification": "not_performed_no_network", "native_family_replay_implication": "none", "historical_finding_support": "not_established" }, { "role_id": "D60", "source": { "document_id": "adapters", "json_pointer": "/adapters/3", "jsonl_line": null }, "evidence_kind": "central_adapter_not_native_backend_replay", "contract_version": "2.3.1", "proof_kind": "reversible_lane_adapter", "admission_state_declared": "published", "public_replay_status_declared": "published_public_asset_readback_verified", "public_asset_url": "https://github.com/KokunoYumeto/program-matematika-indonesia/releases/download/v0.62.10/program-matematika-indonesia-backend-v2.3.1-d60-adapter-v0.1.0.zip", "archive_sha256": "e80654a5cd5a1ddbc801d8b61ae746108f9af8741c956616f5f21f3af42da549", "archive_bytes": 9031171, "asset_field_pointers": { "public_url": "/adapters/3/public_asset_url", "sha256": "/adapters/3/archive/sha256", "bytes": "/adapters/3/archive/bytes" }, "release_url": "https://github.com/KokunoYumeto/program-matematika-indonesia/releases/tag/v0.62.10", "learner_url": "https://kokunoyumeto.github.io/algebraic-topology-id/roberts-001-030-fomberg-001-007-ca01-hints-r01-r06-ca02-ca03-lab01-lab02-lab03-lab04-capstone/", "learner_runtime_relationship_declared": "course_link_only_no_adapter_consumption_claim", "adopted_capabilities": [ "typed_concept_hint_solution_proof_streams", "verified_learner_routes", "component_rights", "reversible_native_mappings", "lossless_jsonl_csv_projection" ], "known_limitations": [ "The owner learner route is verified, but no central claim is made that it consumes the adapter tables.", "Duplicated units, segments, and correction records retain owner-side synchronization cost; the compact public archive is not represented as a complete build tree." ], "scope_note": null, "public_endpoint_verification": "not_performed_no_network", "native_family_replay_implication": "none", "historical_finding_support": "not_established" }, { "role_id": "D110", "source": { "document_id": "adapters", "json_pointer": "/adapters/4", "jsonl_line": null }, "evidence_kind": "central_adapter_not_native_backend_replay", "contract_version": "2.3.1", "proof_kind": "reversible_lane_adapter", "admission_state_declared": "published", "public_replay_status_declared": "published_public_asset_readback_verified", "public_asset_url": "https://github.com/KokunoYumeto/program-matematika-indonesia/releases/download/v0.62.11/program-matematika-indonesia-backend-v2.3.1-d110-adapter-v0.1.0.zip", "archive_sha256": "bfd554c0d459787ea0ccde0c2de1f22264705d2dffa20061fa2525095b83287b", "archive_bytes": 14097074, "asset_field_pointers": { "public_url": "/adapters/4/public_asset_url", "sha256": "/adapters/4/archive/sha256", "bytes": "/adapters/4/archive/bytes" }, "release_url": "https://github.com/KokunoYumeto/program-matematika-indonesia/releases/tag/v0.62.11", "learner_url": "https://kokunoyumeto.github.io/mathematics-in-lean-id/", "learner_runtime_relationship_declared": "course_link_only_no_adapter_consumption_claim", "adopted_capabilities": [ "proof_aligned_module_identity", "declaration_and_import_preservation", "compiler_semantic_replay", "reversible_native_index_projection", "lossless_jsonl_csv_projection" ], "known_limitations": [ "The learner URL opens the owner HTML edition and is not evidence that the reader consumes the central adapter tables.", "Lean replay is a specialized optional capability and is not imposed on non-formal mathematics courses." ], "scope_note": null, "public_endpoint_verification": "not_performed_no_network", "native_family_replay_implication": "none", "historical_finding_support": "not_established" } ], "capsule_receipt_locator_diagnostics": [ { "role_id": "A00", "kind": "central_adapter_manifest", "source": { "document_id": "capsules", "json_pointer": "/layers/interoperability/semantic_adapter/evidence/0", "jsonl_line": 1 }, "locator_pointer": "/layers/interoperability/semantic_adapter/evidence/0/locator", "locator_classification": "repository_relative_path_unresolved", "public_url": null, "bytes": 44086, "sha256": "934a85c6c1c61d826a9c1c8ac601957548b865757cd6386c3b8eb36160706c08", "non_public_locator_value": "omitted; exact source JSON pointer supplied", "public_receipt_resolution": "not_performed" }, { "role_id": "A00", "kind": "deterministic_validation_receipt", "source": { "document_id": "capsules", "json_pointer": "/layers/interoperability/semantic_adapter/evidence/1", "jsonl_line": 1 }, "locator_pointer": "/layers/interoperability/semantic_adapter/evidence/1/locator", "locator_classification": "repository_relative_path_unresolved", "public_url": null, "bytes": 3324, "sha256": "910c1d447dfbd6f7e7eab833bed84ec188bb39e2f687c4df891987753b254950", "non_public_locator_value": "omitted; exact source JSON pointer supplied", "public_receipt_resolution": "not_performed" }, { "role_id": "A00", "kind": "learner_runtime", "source": { "document_id": "capsules", "json_pointer": "/layers/interoperability/semantic_adapter/evidence/2", "jsonl_line": 1 }, "locator_pointer": "/layers/interoperability/semantic_adapter/evidence/2/locator", "locator_classification": "repository_relative_path_unresolved", "public_url": null, "bytes": 49043, "sha256": "8478e0ff84694b0e317b55bb2fdb7a205b9de97e03c593ca0903e8e023485981", "non_public_locator_value": "omitted; exact source JSON pointer supplied", "public_receipt_resolution": "not_performed" }, { "role_id": "B10", "kind": "central_adapter_manifest", "source": { "document_id": "capsules", "json_pointer": "/layers/interoperability/semantic_adapter/evidence/0", "jsonl_line": 5 }, "locator_pointer": "/layers/interoperability/semantic_adapter/evidence/0/locator", "locator_classification": "repository_relative_path_unresolved", "public_url": null, "bytes": null, "sha256": null, "non_public_locator_value": "omitted; exact source JSON pointer supplied", "public_receipt_resolution": "not_performed" }, { "role_id": "D20", "kind": "central_adapter_manifest", "source": { "document_id": "capsules", "json_pointer": "/layers/interoperability/semantic_adapter/evidence/0", "jsonl_line": 30 }, "locator_pointer": "/layers/interoperability/semantic_adapter/evidence/0/locator", "locator_classification": "repository_relative_path_unresolved", "public_url": null, "bytes": 32321, "sha256": "a8ec1635e8b2eb4034b8be1181d9cbeb39438ff095e33e5c26e686e9ba5301e9", "non_public_locator_value": "omitted; exact source JSON pointer supplied", "public_receipt_resolution": "not_performed" }, { "role_id": "D20", "kind": "deterministic_validation_receipt", "source": { "document_id": "capsules", "json_pointer": "/layers/interoperability/semantic_adapter/evidence/1", "jsonl_line": 30 }, "locator_pointer": "/layers/interoperability/semantic_adapter/evidence/1/locator", "locator_classification": "private_logbook_relative_path", "public_url": null, "bytes": 3706, "sha256": "d5236d85114369642fee2d939bbddd9f1c5990a8941b6a644897e85b4d7ee5a7", "non_public_locator_value": "omitted; exact source JSON pointer supplied", "public_receipt_resolution": "not_performed" }, { "role_id": "D20", "kind": "canonical_admission_receipt", "source": { "document_id": "capsules", "json_pointer": "/layers/interoperability/semantic_adapter/evidence/2", "jsonl_line": 30 }, "locator_pointer": "/layers/interoperability/semantic_adapter/evidence/2/locator", "locator_classification": "private_logbook_relative_path", "public_url": null, "bytes": 2793, "sha256": "7cf570937da52eb9d77768f35cb92ae4c6baaabdfe97fb63bc59ddef2a2713ac", "non_public_locator_value": "omitted; exact source JSON pointer supplied", "public_receipt_resolution": "not_performed" }, { "role_id": "D20", "kind": "deterministic_package_receipt", "source": { "document_id": "capsules", "json_pointer": "/layers/interoperability/semantic_adapter/evidence/3", "jsonl_line": 30 }, "locator_pointer": "/layers/interoperability/semantic_adapter/evidence/3/locator", "locator_classification": "private_logbook_relative_path", "public_url": null, "bytes": 1648, "sha256": "d3af747ca7a67ddaad7a1a5aaa0fab5fa4eded7cd21806d0fdd064a3140938d0", "non_public_locator_value": "omitted; exact source JSON pointer supplied", "public_receipt_resolution": "not_performed" }, { "role_id": "D40", "kind": "course_native_release_manifest", "source": { "document_id": "capsules", "json_pointer": "/layers/interoperability/semantic_adapter/evidence/0", "jsonl_line": 32 }, "locator_pointer": "/layers/interoperability/semantic_adapter/evidence/0/locator", "locator_classification": "public_url", "public_url": "https://zenodo.org/records/22184259/files/RELEASE_MANIFEST.json?download=1", "bytes": 92798, "sha256": "3991fd2234e263134090c3686b93553dcab1215d86144509fd7937d5a4065a97", "non_public_locator_value": null, "public_receipt_resolution": "not_performed" }, { "role_id": "D60", "kind": "central_adapter_manifest", "source": { "document_id": "capsules", "json_pointer": "/layers/interoperability/semantic_adapter/evidence/0", "jsonl_line": 34 }, "locator_pointer": "/layers/interoperability/semantic_adapter/evidence/0/locator", "locator_classification": "repository_relative_path_unresolved", "public_url": null, "bytes": null, "sha256": null, "non_public_locator_value": "omitted; exact source JSON pointer supplied", "public_receipt_resolution": "not_performed" }, { "role_id": "D110", "kind": "central_release", "source": { "document_id": "capsules", "json_pointer": "/layers/interoperability/semantic_adapter/evidence/0", "jsonl_line": 39 }, "locator_pointer": "/layers/interoperability/semantic_adapter/evidence/0/locator", "locator_classification": "public_url", "public_url": "https://github.com/KokunoYumeto/program-matematika-indonesia/releases/tag/v0.62.11", "bytes": null, "sha256": null, "non_public_locator_value": null, "public_receipt_resolution": "not_performed" } ], "snapshot_observations": [ { "id": "a10-counts-are-not-snapshot-bound", "observation": "Historical comparison says 452387 records; capsule note says 449680. These values are not assumed to describe the same snapshot.", "sources": [ { "document_id": "patterns", "json_pointer": "/families/1/core_pattern", "jsonl_line": null }, { "document_id": "capsules", "json_pointer": "/course_native/note", "jsonl_line": 2 } ], "decision": "Do not use the successor package URL as support for the historical numeric claim without an exact snapshot/member/receipt binding." }, { "id": "b20-package-edition-version-separation", "observation": "Current native edition is Zenodo 22183943; linked backend package is Zenodo 22164136.", "sources": [ { "document_id": "capsules", "json_pointer": "/course_native/edition", "jsonl_line": 6 }, { "document_id": "capsules", "json_pointer": "/layers/federation/components/1/url", "jsonl_line": 6 } ], "decision": "Retain both identities; no equivalence or current-version promotion inferred." }, { "id": "b50-package-edition-version-separation", "observation": "Current native edition is Zenodo 22184443; linked backend package is Zenodo 22163372.", "sources": [ { "document_id": "capsules", "json_pointer": "/course_native/edition", "jsonl_line": 9 }, { "document_id": "capsules", "json_pointer": "/layers/federation/components/2/url", "jsonl_line": 9 } ], "decision": "Retain both identities; no equivalence or current-version promotion inferred." }, { "id": "d40-predecessor-and-successor", "observation": "Unit 14 and completed D40 packages are both linked. Neither is explicitly assigned to particular historical comparison claims.", "sources": [ { "document_id": "patterns", "json_pointer": "/families/24", "jsonl_line": null }, { "document_id": "capsules", "json_pointer": "/layers/federation/components/1", "jsonl_line": 32 }, { "document_id": "capsules", "json_pointer": "/layers/federation/components/2", "jsonl_line": 32 } ], "decision": "Preserve two distinct package identities and leave historical support unestablished." }, { "id": "a00-release-state-label", "observation": "The released adapter index still declares admitted_pending_release and pending_release_local_seal_verified for A00.", "sources": [ { "document_id": "adapters", "json_pointer": "/adapters/0/admission_state", "jsonl_line": null }, { "document_id": "adapters", "json_pointer": "/adapters/0/public_replay_status", "jsonl_line": null } ], "decision": "Retain the reported state; no network check or state promotion performed." } ], "families": [ { "ordinal": 1, "family_name": "Prealgebra", "role_ids": [ "A00" ], "historical_finding": { "source": { "document_id": "patterns", "json_pointer": "/families/0", "jsonl_line": null }, "methodology_source": { "document_id": "methodology", "line": 36 }, "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_declared_at_audit": "No proven live consumer.", "reversible_exchange_status_declared_at_audit": "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" ], "claim_specific_public_citation": "missing_in_inspected_comparison", "shared_audit_evidence_source": { "document_id": "patterns", "json_pointer": "/source_evidence", "jsonl_line": null }, "independently_supported_by_successor_package_metadata": false }, "best_metadata_route_class": "central_adapter_route_without_native_package_route", "native_backend_package_artifact_ids": [], "additional_native_artifact_ids": [], "central_adapter_role_ids": [ "A00" ], "native_replay_verification": "not_verified_by_this_addendum", "role_bindings": [ { "role_id": "A00", "capsule_source": { "document_id": "capsules", "json_pointer": "", "jsonl_line": 1 }, "capsule_course_state_declared": "published", "native_edition": { "url": "https://zenodo.org/records/22070683/files/prealgebra-2e-id-ID-v0.2.7-reader.pdf?download=1", "source": { "document_id": "capsules", "json_pointer": "/course_native/edition", "jsonl_line": 1 } }, "native_doi": { "url": "https://doi.org/10.5281/zenodo.22070683", "source": { "document_id": "capsules", "json_pointer": "/course_native/zenodo", "jsonl_line": 1 } }, "native_repository": { "url": "https://github.com/KokunoYumeto/openstax-prealgebra-2e-id-ID", "source": { "document_id": "capsules", "json_pointer": "/course_native/repository", "jsonl_line": 1 } }, "native_backend_package_artifact_ids": [], "native_backend_route_evidence": "no_native_backend_package_route_exposed_in_inspected_files", "native_artifact_existence": "not_independently_observed; a missing citation does not mean an absent artifact", "native_replay_verification": "not_verified_by_this_addendum", "reported_production_replay": { "declared_status": "verified", "source": { "document_id": "capsules", "json_pointer": "/layers/production/deterministic_replay_status", "jsonl_line": 1 }, "interpretation": "Capsule assertion retained; not an independently replayed result." }, "semantic_adapter_declaration": { "declared_status": "verified", "source": { "document_id": "capsules", "json_pointer": "/layers/interoperability/semantic_adapter/status", "jsonl_line": 1 }, "central_adapter_row_present": true }, "learner_primary": { "url": "https://kokunoyumeto.github.io/openstax-prealgebra-2e-id-ID/", "declared_status": "available_unverified", "declared_format": "text/html", "bytes": null, "sha256": null, "source": { "document_id": "capsules", "json_pointer": "/layers/learner/primary", "jsonl_line": 1 }, "backend_consumption_inference": "none; a learner URL does not establish backend runtime use", "endpoint_verification": "not_performed_no_network" } } ] }, { "ordinal": 2, "family_name": "Elementary Algebra", "role_ids": [ "A10" ], "historical_finding": { "source": { "document_id": "patterns", "json_pointer": "/families/1", "jsonl_line": null }, "methodology_source": { "document_id": "methodology", "line": 38 }, "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_declared_at_audit": "No learner runtime use is reported; the model is described as structural rather than learner-route oriented.", "reversible_exchange_status_declared_at_audit": "Lossless JSONL/CSV exchange is established.", "recommended_reuse": [ "append-only lifecycle ledger", "UUIDv5 identity", "explicit absence states", "lossless JSONL/CSV projection" ], "claim_specific_public_citation": "missing_in_inspected_comparison", "shared_audit_evidence_source": { "document_id": "patterns", "json_pointer": "/source_evidence", "jsonl_line": null }, "independently_supported_by_successor_package_metadata": false }, "best_metadata_route_class": "native_package_metadata_route", "native_backend_package_artifact_ids": [ "native-a10-backend" ], "additional_native_artifact_ids": [ "native-a10-source" ], "central_adapter_role_ids": [], "native_replay_verification": "not_verified_by_this_addendum", "role_bindings": [ { "role_id": "A10", "capsule_source": { "document_id": "capsules", "json_pointer": "", "jsonl_line": 2 }, "capsule_course_state_declared": "published", "native_edition": { "url": "https://zenodo.org/records/22163663/files/00-elementary-algebra-2e-bahasa-indonesia-EA2-C0082-reader.pdf?download=1", "source": { "document_id": "capsules", "json_pointer": "/course_native/edition", "jsonl_line": 2 } }, "native_doi": { "url": "https://doi.org/10.5281/zenodo.22163663", "source": { "document_id": "capsules", "json_pointer": "/course_native/zenodo", "jsonl_line": 2 } }, "native_repository": { "url": "https://github.com/KokunoYumeto/openstax-elementary-algebra-2e-id", "source": { "document_id": "capsules", "json_pointer": "/course_native/repository", "jsonl_line": 2 } }, "native_backend_package_artifact_ids": [ "native-a10-backend" ], "native_backend_route_evidence": "hash_bound_metadata_route_exposed", "native_artifact_existence": "not_independently_observed; a missing citation does not mean an absent artifact", "native_replay_verification": "not_verified_by_this_addendum", "reported_production_replay": { "declared_status": "available_unverified", "source": { "document_id": "capsules", "json_pointer": "/layers/production/deterministic_replay_status", "jsonl_line": 2 }, "interpretation": "Capsule assertion retained; not an independently replayed result." }, "semantic_adapter_declaration": { "declared_status": "not_yet_produced", "source": { "document_id": "capsules", "json_pointer": "/layers/interoperability/semantic_adapter/status", "jsonl_line": 2 }, "central_adapter_row_present": false }, "learner_primary": { "url": "https://zenodo.org/records/22163663/files/00-elementary-algebra-2e-bahasa-indonesia-EA2-C0082-reader.pdf?download=1", "declared_status": "available_unverified", "declared_format": "application/pdf", "bytes": null, "sha256": null, "source": { "document_id": "capsules", "json_pointer": "/layers/learner/primary", "jsonl_line": 2 }, "backend_consumption_inference": "none; a learner URL does not establish backend runtime use", "endpoint_verification": "not_performed_no_network" } } ] }, { "ordinal": 3, "family_name": "Intermediate Algebra", "role_ids": [ "A20" ], "historical_finding": { "source": { "document_id": "patterns", "json_pointer": "/families/2", "jsonl_line": null }, "methodology_source": { "document_id": "methodology", "line": 40 }, "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_declared_at_audit": "Not reported in the audited entry.", "reversible_exchange_status_declared_at_audit": "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" ], "claim_specific_public_citation": "missing_in_inspected_comparison", "shared_audit_evidence_source": { "document_id": "patterns", "json_pointer": "/source_evidence", "jsonl_line": null }, "independently_supported_by_successor_package_metadata": false }, "best_metadata_route_class": "edition_repository_or_reader_pointer_only", "native_backend_package_artifact_ids": [], "additional_native_artifact_ids": [], "central_adapter_role_ids": [], "native_replay_verification": "not_verified_by_this_addendum", "role_bindings": [ { "role_id": "A20", "capsule_source": { "document_id": "capsules", "json_pointer": "", "jsonl_line": 3 }, "capsule_course_state_declared": "production", "native_edition": { "url": "https://zenodo.org/records/22142022/files/openstax-intermediate-algebra-2e-id-ID-0.3.0-wip-reader.pdf?download=1", "source": { "document_id": "capsules", "json_pointer": "/course_native/edition", "jsonl_line": 3 } }, "native_doi": { "url": "https://doi.org/10.5281/zenodo.22142022", "source": { "document_id": "capsules", "json_pointer": "/course_native/zenodo", "jsonl_line": 3 } }, "native_repository": { "url": "https://github.com/KokunoYumeto/openstax-intermediate-algebra-2e-id", "source": { "document_id": "capsules", "json_pointer": "/course_native/repository", "jsonl_line": 3 } }, "native_backend_package_artifact_ids": [], "native_backend_route_evidence": "no_native_backend_package_route_exposed_in_inspected_files", "native_artifact_existence": "not_independently_observed; a missing citation does not mean an absent artifact", "native_replay_verification": "not_verified_by_this_addendum", "reported_production_replay": { "declared_status": "available_unverified", "source": { "document_id": "capsules", "json_pointer": "/layers/production/deterministic_replay_status", "jsonl_line": 3 }, "interpretation": "Capsule assertion retained; not an independently replayed result." }, "semantic_adapter_declaration": { "declared_status": "not_yet_produced", "source": { "document_id": "capsules", "json_pointer": "/layers/interoperability/semantic_adapter/status", "jsonl_line": 3 }, "central_adapter_row_present": false }, "learner_primary": { "url": "https://zenodo.org/records/22142022/files/openstax-intermediate-algebra-2e-id-ID-0.3.0-wip-reader.pdf?download=1", "declared_status": "available_unverified", "declared_format": "application/pdf", "bytes": null, "sha256": null, "source": { "document_id": "capsules", "json_pointer": "/layers/learner/primary", "jsonl_line": 3 }, "backend_consumption_inference": "none; a learner URL does not establish backend runtime use", "endpoint_verification": "not_performed_no_network" } } ] }, { "ordinal": 4, "family_name": "Precalculus", "role_ids": [ "A30" ], "historical_finding": { "source": { "document_id": "patterns", "json_pointer": "/families/3", "jsonl_line": null }, "methodology_source": { "document_id": "methodology", "line": 42 }, "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_declared_at_audit": "Not reported in the audited entry.", "reversible_exchange_status_declared_at_audit": "Pragmatic exchange is established; exact reversibility is not explicitly proved.", "recommended_reuse": [ "shared bilingual segment identity", "consumer-specific generated views" ], "claim_specific_public_citation": "missing_in_inspected_comparison", "shared_audit_evidence_source": { "document_id": "patterns", "json_pointer": "/source_evidence", "jsonl_line": null }, "independently_supported_by_successor_package_metadata": false }, "best_metadata_route_class": "edition_repository_or_reader_pointer_only", "native_backend_package_artifact_ids": [], "additional_native_artifact_ids": [], "central_adapter_role_ids": [], "native_replay_verification": "not_verified_by_this_addendum", "role_bindings": [ { "role_id": "A30", "capsule_source": { "document_id": "capsules", "json_pointer": "", "jsonl_line": 4 }, "capsule_course_state_declared": "production", "native_edition": { "url": "https://zenodo.org/records/22163371/files/OpenStax-Precalculus-2e-id-ID-0.1.0-alpha.49-reader.pdf?download=1", "source": { "document_id": "capsules", "json_pointer": "/course_native/edition", "jsonl_line": 4 } }, "native_doi": { "url": "https://doi.org/10.5281/zenodo.22163371", "source": { "document_id": "capsules", "json_pointer": "/course_native/zenodo", "jsonl_line": 4 } }, "native_repository": { "url": "https://github.com/KokunoYumeto/openstax-precalculus-2e-id", "source": { "document_id": "capsules", "json_pointer": "/course_native/repository", "jsonl_line": 4 } }, "native_backend_package_artifact_ids": [], "native_backend_route_evidence": "no_native_backend_package_route_exposed_in_inspected_files", "native_artifact_existence": "not_independently_observed; a missing citation does not mean an absent artifact", "native_replay_verification": "not_verified_by_this_addendum", "reported_production_replay": { "declared_status": "available_unverified", "source": { "document_id": "capsules", "json_pointer": "/layers/production/deterministic_replay_status", "jsonl_line": 4 }, "interpretation": "Capsule assertion retained; not an independently replayed result." }, "semantic_adapter_declaration": { "declared_status": "not_yet_produced", "source": { "document_id": "capsules", "json_pointer": "/layers/interoperability/semantic_adapter/status", "jsonl_line": 4 }, "central_adapter_row_present": false }, "learner_primary": { "url": "https://zenodo.org/records/22163371/files/OpenStax-Precalculus-2e-id-ID-0.1.0-alpha.49-reader.pdf?download=1", "declared_status": "available_unverified", "declared_format": "application/pdf", "bytes": null, "sha256": null, "source": { "document_id": "capsules", "json_pointer": "/layers/learner/primary", "jsonl_line": 4 }, "backend_consumption_inference": "none; a learner URL does not establish backend runtime use", "endpoint_verification": "not_performed_no_network" } } ] }, { "ordinal": 5, "family_name": "Discrete Mathematics", "role_ids": [ "B10" ], "historical_finding": { "source": { "document_id": "patterns", "json_pointer": "/families/4", "jsonl_line": null }, "methodology_source": { "document_id": "methodology", "line": 44 }, "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_declared_at_audit": "No runtime consumer exists.", "reversible_exchange_status_declared_at_audit": "Deterministic roundtrip is established.", "recommended_reuse": [ "exercise closure", "statement/hint/answer/solution structure", "rights binding", "roundtrip validation" ], "claim_specific_public_citation": "missing_in_inspected_comparison", "shared_audit_evidence_source": { "document_id": "patterns", "json_pointer": "/source_evidence", "jsonl_line": null }, "independently_supported_by_successor_package_metadata": false }, "best_metadata_route_class": "central_adapter_route_without_native_package_route", "native_backend_package_artifact_ids": [], "additional_native_artifact_ids": [], "central_adapter_role_ids": [ "B10" ], "native_replay_verification": "not_verified_by_this_addendum", "role_bindings": [ { "role_id": "B10", "capsule_source": { "document_id": "capsules", "json_pointer": "", "jsonl_line": 5 }, "capsule_course_state_declared": "published", "native_edition": { "url": "https://zenodo.org/records/22060439/files/00_MATEMATIKA_DISKRET_EDISI_KEEMPAT_BAHASA_INDONESIA_READER.pdf?download=1", "source": { "document_id": "capsules", "json_pointer": "/course_native/edition", "jsonl_line": 5 } }, "native_doi": { "url": "https://doi.org/10.5281/zenodo.22060439", "source": { "document_id": "capsules", "json_pointer": "/course_native/zenodo", "jsonl_line": 5 } }, "native_repository": { "url": "https://github.com/KokunoYumeto/discrete-mathematics-open-introduction-id", "source": { "document_id": "capsules", "json_pointer": "/course_native/repository", "jsonl_line": 5 } }, "native_backend_package_artifact_ids": [], "native_backend_route_evidence": "no_native_backend_package_route_exposed_in_inspected_files", "native_artifact_existence": "not_independently_observed; a missing citation does not mean an absent artifact", "native_replay_verification": "not_verified_by_this_addendum", "reported_production_replay": { "declared_status": "verified", "source": { "document_id": "capsules", "json_pointer": "/layers/production/deterministic_replay_status", "jsonl_line": 5 }, "interpretation": "Capsule assertion retained; not an independently replayed result." }, "semantic_adapter_declaration": { "declared_status": "verified", "source": { "document_id": "capsules", "json_pointer": "/layers/interoperability/semantic_adapter/status", "jsonl_line": 5 }, "central_adapter_row_present": true }, "learner_primary": { "url": "https://kokunoyumeto.github.io/discrete-mathematics-open-introduction-id/", "declared_status": "available_unverified", "declared_format": "text/html", "bytes": null, "sha256": null, "source": { "document_id": "capsules", "json_pointer": "/layers/learner/primary", "jsonl_line": 5 }, "backend_consumption_inference": "none; a learner URL does not establish backend runtime use", "endpoint_verification": "not_performed_no_network" } } ] }, { "ordinal": 6, "family_name": "CLP", "role_ids": [ "B20", "B30", "B50", "B60" ], "historical_finding": { "source": { "document_id": "patterns", "json_pointer": "/families/5", "jsonl_line": null }, "methodology_source": { "document_id": "methodology", "line": 46 }, "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_declared_at_audit": "No learner backend consumer.", "reversible_exchange_status_declared_at_audit": "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" ], "claim_specific_public_citation": "missing_in_inspected_comparison", "shared_audit_evidence_source": { "document_id": "patterns", "json_pointer": "/source_evidence", "jsonl_line": null }, "independently_supported_by_successor_package_metadata": false }, "best_metadata_route_class": "native_package_metadata_route", "native_backend_package_artifact_ids": [ "native-b20-backend", "native-b50-source-backend" ], "additional_native_artifact_ids": [], "central_adapter_role_ids": [], "native_replay_verification": "not_verified_by_this_addendum", "role_bindings": [ { "role_id": "B20", "capsule_source": { "document_id": "capsules", "json_pointer": "", "jsonl_line": 6 }, "capsule_course_state_declared": "published", "native_edition": { "url": "https://zenodo.org/records/22183943/files/00_CLP1_KALKULUS_DIFERENSIAL_BAHASA_INDONESIA_2026.08.14.1_BUKU_TEKS.pdf?download=1", "source": { "document_id": "capsules", "json_pointer": "/course_native/edition", "jsonl_line": 6 } }, "native_doi": { "url": "https://doi.org/10.5281/zenodo.22183943", "source": { "document_id": "capsules", "json_pointer": "/course_native/zenodo", "jsonl_line": 6 } }, "native_repository": { "url": "https://github.com/KokunoYumeto/clp1-differential-calculus-id", "source": { "document_id": "capsules", "json_pointer": "/course_native/repository", "jsonl_line": 6 } }, "native_backend_package_artifact_ids": [ "native-b20-backend" ], "native_backend_route_evidence": "hash_bound_metadata_route_exposed", "native_artifact_existence": "not_independently_observed; a missing citation does not mean an absent artifact", "native_replay_verification": "not_verified_by_this_addendum", "reported_production_replay": { "declared_status": "available_unverified", "source": { "document_id": "capsules", "json_pointer": "/layers/production/deterministic_replay_status", "jsonl_line": 6 }, "interpretation": "Capsule assertion retained; not an independently replayed result." }, "semantic_adapter_declaration": { "declared_status": "not_yet_produced", "source": { "document_id": "capsules", "json_pointer": "/layers/interoperability/semantic_adapter/status", "jsonl_line": 6 }, "central_adapter_row_present": false }, "learner_primary": { "url": "https://zenodo.org/records/22183943/files/00_CLP1_KALKULUS_DIFERENSIAL_BAHASA_INDONESIA_2026.08.14.1_BUKU_TEKS.pdf?download=1", "declared_status": "verified", "declared_format": "application/pdf", "bytes": 4997608, "sha256": "e0466ca75b793aed64e2c356014233d9e85072b077a3b2d3344926835c408ec2", "source": { "document_id": "capsules", "json_pointer": "/layers/learner/primary", "jsonl_line": 6 }, "backend_consumption_inference": "none; a learner URL does not establish backend runtime use", "endpoint_verification": "not_performed_no_network" } }, { "role_id": "B30", "capsule_source": { "document_id": "capsules", "json_pointer": "", "jsonl_line": 7 }, "capsule_course_state_declared": "published", "native_edition": { "url": "https://zenodo.org/records/22182941/files/CLP-2_Kalkulus_Integral_Bahasa_Indonesia_edisi_lengkap_2026-08-30.pdf?download=1", "source": { "document_id": "capsules", "json_pointer": "/course_native/edition", "jsonl_line": 7 } }, "native_doi": { "url": "https://doi.org/10.5281/zenodo.22182941", "source": { "document_id": "capsules", "json_pointer": "/course_native/zenodo", "jsonl_line": 7 } }, "native_repository": { "url": null, "source": null }, "native_backend_package_artifact_ids": [], "native_backend_route_evidence": "no_native_backend_package_route_exposed_in_inspected_files", "native_artifact_existence": "not_independently_observed; a missing citation does not mean an absent artifact", "native_replay_verification": "not_verified_by_this_addendum", "reported_production_replay": { "declared_status": "available_unverified", "source": { "document_id": "capsules", "json_pointer": "/layers/production/deterministic_replay_status", "jsonl_line": 7 }, "interpretation": "Capsule assertion retained; not an independently replayed result." }, "semantic_adapter_declaration": { "declared_status": "not_yet_produced", "source": { "document_id": "capsules", "json_pointer": "/layers/interoperability/semantic_adapter/status", "jsonl_line": 7 }, "central_adapter_row_present": false }, "learner_primary": { "url": "https://zenodo.org/records/22182941/files/CLP-2_Kalkulus_Integral_Bahasa_Indonesia_edisi_lengkap_2026-08-30.pdf?download=1", "declared_status": "verified", "declared_format": "application/pdf", "bytes": 7793932, "sha256": "2306d4bf92748ab99b8a0d57de77846fa196bfbf84f4666f3ecd8edd711d3aab", "source": { "document_id": "capsules", "json_pointer": "/layers/learner/primary", "jsonl_line": 7 }, "backend_consumption_inference": "none; a learner URL does not establish backend runtime use", "endpoint_verification": "not_performed_no_network" } }, { "role_id": "B50", "capsule_source": { "document_id": "capsules", "json_pointer": "", "jsonl_line": 9 }, "capsule_course_state_declared": "published", "native_edition": { "url": "https://zenodo.org/records/22184443/files/CLP-3-Kalkulus-Multivariabel-Bahasa-Indonesia.pdf?download=1", "source": { "document_id": "capsules", "json_pointer": "/course_native/edition", "jsonl_line": 9 } }, "native_doi": { "url": "https://doi.org/10.5281/zenodo.22184443", "source": { "document_id": "capsules", "json_pointer": "/course_native/zenodo", "jsonl_line": 9 } }, "native_repository": { "url": null, "source": null }, "native_backend_package_artifact_ids": [ "native-b50-source-backend" ], "native_backend_route_evidence": "hash_bound_metadata_route_exposed", "native_artifact_existence": "not_independently_observed; a missing citation does not mean an absent artifact", "native_replay_verification": "not_verified_by_this_addendum", "reported_production_replay": { "declared_status": "available_unverified", "source": { "document_id": "capsules", "json_pointer": "/layers/production/deterministic_replay_status", "jsonl_line": 9 }, "interpretation": "Capsule assertion retained; not an independently replayed result." }, "semantic_adapter_declaration": { "declared_status": "not_yet_produced", "source": { "document_id": "capsules", "json_pointer": "/layers/interoperability/semantic_adapter/status", "jsonl_line": 9 }, "central_adapter_row_present": false }, "learner_primary": { "url": "https://zenodo.org/records/22184443/files/CLP-3-Kalkulus-Multivariabel-Bahasa-Indonesia.pdf?download=1", "declared_status": "verified", "declared_format": "application/pdf", "bytes": 6136187, "sha256": "0ce02a3d3fada175c97a8af4ecc6c5b3c4b5d04479bc4f0a9a3e605f2b71fe4d", "source": { "document_id": "capsules", "json_pointer": "/layers/learner/primary", "jsonl_line": 9 }, "backend_consumption_inference": "none; a learner URL does not establish backend runtime use", "endpoint_verification": "not_performed_no_network" } }, { "role_id": "B60", "capsule_source": { "document_id": "capsules", "json_pointer": "", "jsonl_line": 10 }, "capsule_course_state_declared": "published", "native_edition": { "url": "https://zenodo.org/records/22105443/files/CLP-4-Kalkulus-Vektor-Bahasa-Indonesia.pdf?download=1", "source": { "document_id": "capsules", "json_pointer": "/course_native/edition", "jsonl_line": 10 } }, "native_doi": { "url": "https://doi.org/10.5281/zenodo.22105443", "source": { "document_id": "capsules", "json_pointer": "/course_native/zenodo", "jsonl_line": 10 } }, "native_repository": { "url": "https://github.com/KokunoYumeto/clp4-vector-calculus-id", "source": { "document_id": "capsules", "json_pointer": "/course_native/repository", "jsonl_line": 10 } }, "native_backend_package_artifact_ids": [], "native_backend_route_evidence": "no_native_backend_package_route_exposed_in_inspected_files", "native_artifact_existence": "not_independently_observed; a missing citation does not mean an absent artifact", "native_replay_verification": "not_verified_by_this_addendum", "reported_production_replay": { "declared_status": "available_unverified", "source": { "document_id": "capsules", "json_pointer": "/layers/production/deterministic_replay_status", "jsonl_line": 10 }, "interpretation": "Capsule assertion retained; not an independently replayed result." }, "semantic_adapter_declaration": { "declared_status": "not_yet_produced", "source": { "document_id": "capsules", "json_pointer": "/layers/interoperability/semantic_adapter/status", "jsonl_line": 10 }, "central_adapter_row_present": false }, "learner_primary": { "url": "https://zenodo.org/records/22105443/files/CLP-4-Kalkulus-Vektor-Bahasa-Indonesia.pdf?download=1", "declared_status": "verified", "declared_format": "application/pdf", "bytes": 3758521, "sha256": "5ecf6047b63afd4a456cc230f69016aea59d80cd0bd2be73ce24b0000df98b87", "source": { "document_id": "capsules", "json_pointer": "/layers/learner/primary", "jsonl_line": 10 }, "backend_consumption_inference": "none; a learner URL does not establish backend runtime use", "endpoint_verification": "not_performed_no_network" } } ] }, { "ordinal": 7, "family_name": "Linear Algebra", "role_ids": [ "B40" ], "historical_finding": { "source": { "document_id": "patterns", "json_pointer": "/families/6", "jsonl_line": null }, "methodology_source": { "document_id": "methodology", "line": 48 }, "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_declared_at_audit": "Not reported in the audited entry.", "reversible_exchange_status_declared_at_audit": "Reverse CNXML reconstruction was not proved.", "recommended_reuse": [ "fine text/attribute slots", "problem-solution relations", "asset relations", "accessibility slots" ], "claim_specific_public_citation": "missing_in_inspected_comparison", "shared_audit_evidence_source": { "document_id": "patterns", "json_pointer": "/source_evidence", "jsonl_line": null }, "independently_supported_by_successor_package_metadata": false }, "best_metadata_route_class": "edition_repository_or_reader_pointer_only", "native_backend_package_artifact_ids": [], "additional_native_artifact_ids": [], "central_adapter_role_ids": [], "native_replay_verification": "not_verified_by_this_addendum", "role_bindings": [ { "role_id": "B40", "capsule_source": { "document_id": "capsules", "json_pointer": "", "jsonl_line": 8 }, "capsule_course_state_declared": "published", "native_edition": { "url": "https://zenodo.org/records/22070458/files/01_HEFFERON_LINEAR_ALGEBRA_ID_TEXTBOOK_2026.08.22.pdf?download=1", "source": { "document_id": "capsules", "json_pointer": "/course_native/edition", "jsonl_line": 8 } }, "native_doi": { "url": "https://doi.org/10.5281/zenodo.22070458", "source": { "document_id": "capsules", "json_pointer": "/course_native/zenodo", "jsonl_line": 8 } }, "native_repository": { "url": "https://github.com/KokunoYumeto/hefferon-linear-algebra-id", "source": { "document_id": "capsules", "json_pointer": "/course_native/repository", "jsonl_line": 8 } }, "native_backend_package_artifact_ids": [], "native_backend_route_evidence": "no_native_backend_package_route_exposed_in_inspected_files", "native_artifact_existence": "not_independently_observed; a missing citation does not mean an absent artifact", "native_replay_verification": "not_verified_by_this_addendum", "reported_production_replay": { "declared_status": "available_unverified", "source": { "document_id": "capsules", "json_pointer": "/layers/production/deterministic_replay_status", "jsonl_line": 8 }, "interpretation": "Capsule assertion retained; not an independently replayed result." }, "semantic_adapter_declaration": { "declared_status": "not_yet_produced", "source": { "document_id": "capsules", "json_pointer": "/layers/interoperability/semantic_adapter/status", "jsonl_line": 8 }, "central_adapter_row_present": false }, "learner_primary": { "url": "https://kokunoyumeto.github.io/hefferon-linear-algebra-id/", "declared_status": "available_unverified", "declared_format": "text/html", "bytes": null, "sha256": null, "source": { "document_id": "capsules", "json_pointer": "/layers/learner/primary", "jsonl_line": 8 }, "backend_consumption_inference": "none; a learner URL does not establish backend runtime use", "endpoint_verification": "not_performed_no_network" } } ] }, { "ordinal": 8, "family_name": "Lebl family", "role_ids": [ "B70", "C10", "C20", "C50" ], "historical_finding": { "source": { "document_id": "patterns", "json_pointer": "/families/7", "jsonl_line": null }, "methodology_source": { "document_id": "methodology", "line": 50 }, "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_declared_at_audit": "Not reported in the audited entry.", "reversible_exchange_status_declared_at_audit": "Not established in the audited entry.", "recommended_reuse": [ "UUID/alias catalog", "explicit hint-only and no-answer states", "legacy-locator verification" ], "claim_specific_public_citation": "missing_in_inspected_comparison", "shared_audit_evidence_source": { "document_id": "patterns", "json_pointer": "/source_evidence", "jsonl_line": null }, "independently_supported_by_successor_package_metadata": false }, "best_metadata_route_class": "edition_repository_or_reader_pointer_only", "native_backend_package_artifact_ids": [], "additional_native_artifact_ids": [], "central_adapter_role_ids": [], "native_replay_verification": "not_verified_by_this_addendum", "role_bindings": [ { "role_id": "B70", "capsule_source": { "document_id": "capsules", "json_pointer": "", "jsonl_line": 11 }, "capsule_course_state_declared": "published", "native_edition": { "url": "https://zenodo.org/records/22182427/files/Catatan_tentang_Diffy_Qs_Bahasa_Indonesia_v6.11.pdf?download=1", "source": { "document_id": "capsules", "json_pointer": "/course_native/edition", "jsonl_line": 11 } }, "native_doi": { "url": "https://doi.org/10.5281/zenodo.22182427", "source": { "document_id": "capsules", "json_pointer": "/course_native/zenodo", "jsonl_line": 11 } }, "native_repository": { "url": "https://github.com/KokunoYumeto/lebl-mathematics-family-id", "source": { "document_id": "capsules", "json_pointer": "/course_native/repository", "jsonl_line": 11 } }, "native_backend_package_artifact_ids": [], "native_backend_route_evidence": "no_native_backend_package_route_exposed_in_inspected_files", "native_artifact_existence": "not_independently_observed; a missing citation does not mean an absent artifact", "native_replay_verification": "not_verified_by_this_addendum", "reported_production_replay": { "declared_status": "available_unverified", "source": { "document_id": "capsules", "json_pointer": "/layers/production/deterministic_replay_status", "jsonl_line": 11 }, "interpretation": "Capsule assertion retained; not an independently replayed result." }, "semantic_adapter_declaration": { "declared_status": "not_yet_produced", "source": { "document_id": "capsules", "json_pointer": "/layers/interoperability/semantic_adapter/status", "jsonl_line": 11 }, "central_adapter_row_present": false }, "learner_primary": { "url": "https://zenodo.org/records/22182427/files/Catatan_tentang_Diffy_Qs_Bahasa_Indonesia_v6.11.pdf?download=1", "declared_status": "verified", "declared_format": "application/pdf", "bytes": 5135134, "sha256": "1c18dfc1572d22ef7fc5d8ad25be18f3b91f1bffea5b9f9d521ff4e56ca969d4", "source": { "document_id": "capsules", "json_pointer": "/layers/learner/primary", "jsonl_line": 11 }, "backend_consumption_inference": "none; a learner URL does not establish backend runtime use", "endpoint_verification": "not_performed_no_network" } }, { "role_id": "C10", "capsule_source": { "document_id": "capsules", "json_pointer": "", "jsonl_line": 15 }, "capsule_course_state_declared": "published", "native_edition": { "url": "https://zenodo.org/records/22182427/files/Analisis_Dasar_I_Bahasa_Indonesia_v6.3.pdf?download=1", "source": { "document_id": "capsules", "json_pointer": "/course_native/edition", "jsonl_line": 15 } }, "native_doi": { "url": "https://doi.org/10.5281/zenodo.22182427", "source": { "document_id": "capsules", "json_pointer": "/course_native/zenodo", "jsonl_line": 15 } }, "native_repository": { "url": "https://github.com/KokunoYumeto/lebl-mathematics-family-id", "source": { "document_id": "capsules", "json_pointer": "/course_native/repository", "jsonl_line": 15 } }, "native_backend_package_artifact_ids": [], "native_backend_route_evidence": "no_native_backend_package_route_exposed_in_inspected_files", "native_artifact_existence": "not_independently_observed; a missing citation does not mean an absent artifact", "native_replay_verification": "not_verified_by_this_addendum", "reported_production_replay": { "declared_status": "available_unverified", "source": { "document_id": "capsules", "json_pointer": "/layers/production/deterministic_replay_status", "jsonl_line": 15 }, "interpretation": "Capsule assertion retained; not an independently replayed result." }, "semantic_adapter_declaration": { "declared_status": "not_yet_produced", "source": { "document_id": "capsules", "json_pointer": "/layers/interoperability/semantic_adapter/status", "jsonl_line": 15 }, "central_adapter_row_present": false }, "learner_primary": { "url": "https://zenodo.org/records/22182427/files/Analisis_Dasar_I_Bahasa_Indonesia_v6.3.pdf?download=1", "declared_status": "verified", "declared_format": "application/pdf", "bytes": 2870909, "sha256": "38743ea0e7ce52bdadf5233fc9d6e79e00717f9ba55a393f2bf46ea21c65ef56", "source": { "document_id": "capsules", "json_pointer": "/layers/learner/primary", "jsonl_line": 15 }, "backend_consumption_inference": "none; a learner URL does not establish backend runtime use", "endpoint_verification": "not_performed_no_network" } }, { "role_id": "C20", "capsule_source": { "document_id": "capsules", "json_pointer": "", "jsonl_line": 16 }, "capsule_course_state_declared": "published", "native_edition": { "url": "https://zenodo.org/records/22182427/files/Analisis_Dasar_II_Bahasa_Indonesia_v6.3.pdf?download=1", "source": { "document_id": "capsules", "json_pointer": "/course_native/edition", "jsonl_line": 16 } }, "native_doi": { "url": "https://doi.org/10.5281/zenodo.22182427", "source": { "document_id": "capsules", "json_pointer": "/course_native/zenodo", "jsonl_line": 16 } }, "native_repository": { "url": "https://github.com/KokunoYumeto/lebl-mathematics-family-id", "source": { "document_id": "capsules", "json_pointer": "/course_native/repository", "jsonl_line": 16 } }, "native_backend_package_artifact_ids": [], "native_backend_route_evidence": "no_native_backend_package_route_exposed_in_inspected_files", "native_artifact_existence": "not_independently_observed; a missing citation does not mean an absent artifact", "native_replay_verification": "not_verified_by_this_addendum", "reported_production_replay": { "declared_status": "available_unverified", "source": { "document_id": "capsules", "json_pointer": "/layers/production/deterministic_replay_status", "jsonl_line": 16 }, "interpretation": "Capsule assertion retained; not an independently replayed result." }, "semantic_adapter_declaration": { "declared_status": "not_yet_produced", "source": { "document_id": "capsules", "json_pointer": "/layers/interoperability/semantic_adapter/status", "jsonl_line": 16 }, "central_adapter_row_present": false }, "learner_primary": { "url": "https://zenodo.org/records/22182427/files/Analisis_Dasar_II_Bahasa_Indonesia_v6.3.pdf?download=1", "declared_status": "verified", "declared_format": "application/pdf", "bytes": 2427379, "sha256": "e70c74bb7edc466a7cb6ff0eff0de33dfcc7b3bc63010d018aff758a14d2dea3", "source": { "document_id": "capsules", "json_pointer": "/layers/learner/primary", "jsonl_line": 16 }, "backend_consumption_inference": "none; a learner URL does not establish backend runtime use", "endpoint_verification": "not_performed_no_network" } }, { "role_id": "C50", "capsule_source": { "document_id": "capsules", "json_pointer": "", "jsonl_line": 19 }, "capsule_course_state_declared": "published", "native_edition": { "url": "https://zenodo.org/records/22182427/files/Panduan_Mengolah_Analisis_Kompleks_Bahasa_Indonesia_v1.9.pdf?download=1", "source": { "document_id": "capsules", "json_pointer": "/course_native/edition", "jsonl_line": 19 } }, "native_doi": { "url": "https://doi.org/10.5281/zenodo.22182427", "source": { "document_id": "capsules", "json_pointer": "/course_native/zenodo", "jsonl_line": 19 } }, "native_repository": { "url": "https://github.com/KokunoYumeto/lebl-mathematics-family-id", "source": { "document_id": "capsules", "json_pointer": "/course_native/repository", "jsonl_line": 19 } }, "native_backend_package_artifact_ids": [], "native_backend_route_evidence": "no_native_backend_package_route_exposed_in_inspected_files", "native_artifact_existence": "not_independently_observed; a missing citation does not mean an absent artifact", "native_replay_verification": "not_verified_by_this_addendum", "reported_production_replay": { "declared_status": "available_unverified", "source": { "document_id": "capsules", "json_pointer": "/layers/production/deterministic_replay_status", "jsonl_line": 19 }, "interpretation": "Capsule assertion retained; not an independently replayed result." }, "semantic_adapter_declaration": { "declared_status": "not_yet_produced", "source": { "document_id": "capsules", "json_pointer": "/layers/interoperability/semantic_adapter/status", "jsonl_line": 19 }, "central_adapter_row_present": false }, "learner_primary": { "url": "https://zenodo.org/records/22182427/files/Panduan_Mengolah_Analisis_Kompleks_Bahasa_Indonesia_v1.9.pdf?download=1", "declared_status": "verified", "declared_format": "application/pdf", "bytes": 2822132, "sha256": "87e4810abdedbdd8121995a8e53936891135037f03054dce76a06beebc3cfaae", "source": { "document_id": "capsules", "json_pointer": "/layers/learner/primary", "jsonl_line": 19 }, "backend_consumption_inference": "none; a learner URL does not establish backend runtime use", "endpoint_verification": "not_performed_no_network" } } ] }, { "ordinal": 9, "family_name": "Mathematical Computing", "role_ids": [ "B80" ], "historical_finding": { "source": { "document_id": "patterns", "json_pointer": "/families/8", "jsonl_line": null }, "methodology_source": { "document_id": "methodology", "line": 52 }, "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_declared_at_audit": "Learner use is demonstrated through learner QA.", "reversible_exchange_status_declared_at_audit": "No reversible/common exchange.", "recommended_reuse": [ "executable mastery units", "artifact-linked exercises", "prerequisite routes", "learner-QA consumption pattern" ], "claim_specific_public_citation": "missing_in_inspected_comparison", "shared_audit_evidence_source": { "document_id": "patterns", "json_pointer": "/source_evidence", "jsonl_line": null }, "independently_supported_by_successor_package_metadata": false }, "best_metadata_route_class": "edition_repository_or_reader_pointer_only", "native_backend_package_artifact_ids": [], "additional_native_artifact_ids": [], "central_adapter_role_ids": [], "native_replay_verification": "not_verified_by_this_addendum", "role_bindings": [ { "role_id": "B80", "capsule_source": { "document_id": "capsules", "json_pointer": "", "jsonl_line": 12 }, "capsule_course_state_declared": "published", "native_edition": { "url": "https://zenodo.org/records/22053905/files/Komputasi-Matematis-dan-Eksperimen-yang-Dapat-Direproduksi.pdf?download=1", "source": { "document_id": "capsules", "json_pointer": "/course_native/edition", "jsonl_line": 12 } }, "native_doi": { "url": "https://doi.org/10.5281/zenodo.22053905", "source": { "document_id": "capsules", "json_pointer": "/course_native/zenodo", "jsonl_line": 12 } }, "native_repository": { "url": "https://github.com/KokunoYumeto/mathematical-computing-reproducible-experiments-id", "source": { "document_id": "capsules", "json_pointer": "/course_native/repository", "jsonl_line": 12 } }, "native_backend_package_artifact_ids": [], "native_backend_route_evidence": "no_native_backend_package_route_exposed_in_inspected_files", "native_artifact_existence": "not_independently_observed; a missing citation does not mean an absent artifact", "native_replay_verification": "not_verified_by_this_addendum", "reported_production_replay": { "declared_status": "available_unverified", "source": { "document_id": "capsules", "json_pointer": "/layers/production/deterministic_replay_status", "jsonl_line": 12 }, "interpretation": "Capsule assertion retained; not an independently replayed result." }, "semantic_adapter_declaration": { "declared_status": "not_yet_produced", "source": { "document_id": "capsules", "json_pointer": "/layers/interoperability/semantic_adapter/status", "jsonl_line": 12 }, "central_adapter_row_present": false }, "learner_primary": { "url": "https://kokunoyumeto.github.io/mathematical-computing-reproducible-experiments-id/", "declared_status": "available_unverified", "declared_format": "text/html", "bytes": null, "sha256": null, "source": { "document_id": "capsules", "json_pointer": "/layers/learner/primary", "jsonl_line": 12 }, "backend_consumption_inference": "none; a learner URL does not establish backend runtime use", "endpoint_verification": "not_performed_no_network" } } ] }, { "ordinal": 10, "family_name": "Probability", "role_ids": [ "B90" ], "historical_finding": { "source": { "document_id": "patterns", "json_pointer": "/families/9", "jsonl_line": null }, "methodology_source": { "document_id": "methodology", "line": 54 }, "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_declared_at_audit": "Not reported in the audited entry.", "reversible_exchange_status_declared_at_audit": "Lossless JSONL/CSV exchange is established.", "recommended_reuse": [ "stable URNs", "lossless JSONL/CSV", "public-safe redaction projection" ], "claim_specific_public_citation": "missing_in_inspected_comparison", "shared_audit_evidence_source": { "document_id": "patterns", "json_pointer": "/source_evidence", "jsonl_line": null }, "independently_supported_by_successor_package_metadata": false }, "best_metadata_route_class": "edition_repository_or_reader_pointer_only", "native_backend_package_artifact_ids": [], "additional_native_artifact_ids": [], "central_adapter_role_ids": [], "native_replay_verification": "not_verified_by_this_addendum", "role_bindings": [ { "role_id": "B90", "capsule_source": { "document_id": "capsules", "json_pointer": "", "jsonl_line": 13 }, "capsule_course_state_declared": "published", "native_edition": { "url": "https://zenodo.org/records/22062144/files/PENGANTAR_PELUANG_GRINSTEAD_SNELL_ID.pdf?download=1", "source": { "document_id": "capsules", "json_pointer": "/course_native/edition", "jsonl_line": 13 } }, "native_doi": { "url": "https://doi.org/10.5281/zenodo.22062144", "source": { "document_id": "capsules", "json_pointer": "/course_native/zenodo", "jsonl_line": 13 } }, "native_repository": { "url": "https://github.com/KokunoYumeto/introduction-to-probability-id", "source": { "document_id": "capsules", "json_pointer": "/course_native/repository", "jsonl_line": 13 } }, "native_backend_package_artifact_ids": [], "native_backend_route_evidence": "no_native_backend_package_route_exposed_in_inspected_files", "native_artifact_existence": "not_independently_observed; a missing citation does not mean an absent artifact", "native_replay_verification": "not_verified_by_this_addendum", "reported_production_replay": { "declared_status": "available_unverified", "source": { "document_id": "capsules", "json_pointer": "/layers/production/deterministic_replay_status", "jsonl_line": 13 }, "interpretation": "Capsule assertion retained; not an independently replayed result." }, "semantic_adapter_declaration": { "declared_status": "not_yet_produced", "source": { "document_id": "capsules", "json_pointer": "/layers/interoperability/semantic_adapter/status", "jsonl_line": 13 }, "central_adapter_row_present": false }, "learner_primary": { "url": "https://kokunoyumeto.github.io/introduction-to-probability-id/", "declared_status": "available_unverified", "declared_format": "text/html", "bytes": null, "sha256": null, "source": { "document_id": "capsules", "json_pointer": "/layers/learner/primary", "jsonl_line": 13 }, "backend_consumption_inference": "none; a learner URL does not establish backend runtime use", "endpoint_verification": "not_performed_no_network" } } ] }, { "ordinal": 11, "family_name": "Statistics", "role_ids": [ "B95" ], "historical_finding": { "source": { "document_id": "patterns", "json_pointer": "/families/10", "jsonl_line": null }, "methodology_source": { "document_id": "methodology", "line": 56 }, "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_declared_at_audit": "Learner delivery is PDF-only in the audited evidence.", "reversible_exchange_status_declared_at_audit": "Byte-preserved predecessor is established, but full schema replay is not clean.", "recommended_reuse": [ "incremental graph", "translation-state modeling", "byte-preserved predecessor lineage" ], "claim_specific_public_citation": "missing_in_inspected_comparison", "shared_audit_evidence_source": { "document_id": "patterns", "json_pointer": "/source_evidence", "jsonl_line": null }, "independently_supported_by_successor_package_metadata": false }, "best_metadata_route_class": "edition_repository_or_reader_pointer_only", "native_backend_package_artifact_ids": [], "additional_native_artifact_ids": [], "central_adapter_role_ids": [], "native_replay_verification": "not_verified_by_this_addendum", "role_bindings": [ { "role_id": "B95", "capsule_source": { "document_id": "capsules", "json_pointer": "", "jsonl_line": 14 }, "capsule_course_state_declared": "production", "native_edition": { "url": "https://zenodo.org/records/22166545/files/00_STATISTIKA_BERBASIS_DATA_ID_R011-B025_WORKING_READER.pdf?download=1", "source": { "document_id": "capsules", "json_pointer": "/course_native/edition", "jsonl_line": 14 } }, "native_doi": { "url": "https://doi.org/10.5281/zenodo.22166545", "source": { "document_id": "capsules", "json_pointer": "/course_native/zenodo", "jsonl_line": 14 } }, "native_repository": { "url": "https://github.com/KokunoYumeto/statistika-berbasis-data-id", "source": { "document_id": "capsules", "json_pointer": "/course_native/repository", "jsonl_line": 14 } }, "native_backend_package_artifact_ids": [], "native_backend_route_evidence": "no_native_backend_package_route_exposed_in_inspected_files", "native_artifact_existence": "not_independently_observed; a missing citation does not mean an absent artifact", "native_replay_verification": "not_verified_by_this_addendum", "reported_production_replay": { "declared_status": "available_unverified", "source": { "document_id": "capsules", "json_pointer": "/layers/production/deterministic_replay_status", "jsonl_line": 14 }, "interpretation": "Capsule assertion retained; not an independently replayed result." }, "semantic_adapter_declaration": { "declared_status": "not_yet_produced", "source": { "document_id": "capsules", "json_pointer": "/layers/interoperability/semantic_adapter/status", "jsonl_line": 14 }, "central_adapter_row_present": false }, "learner_primary": { "url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/B95/", "declared_status": "available_unverified", "declared_format": "text/html", "bytes": null, "sha256": null, "source": { "document_id": "capsules", "json_pointer": "/layers/learner/primary", "jsonl_line": 14 }, "backend_consumption_inference": "none; a learner URL does not establish backend runtime use", "endpoint_verification": "not_performed_no_network" } } ] }, { "ordinal": 12, "family_name": "Judson", "role_ids": [ "C30", "C40" ], "historical_finding": { "source": { "document_id": "patterns", "json_pointer": "/families/11", "jsonl_line": null }, "methodology_source": { "document_id": "methodology", "line": 58 }, "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_declared_at_audit": "Distinct course views exist, but their selectors are not exposed as distinct learner navigation.", "reversible_exchange_status_declared_at_audit": "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" ], "claim_specific_public_citation": "missing_in_inspected_comparison", "shared_audit_evidence_source": { "document_id": "patterns", "json_pointer": "/source_evidence", "jsonl_line": null }, "independently_supported_by_successor_package_metadata": false }, "best_metadata_route_class": "edition_repository_or_reader_pointer_only", "native_backend_package_artifact_ids": [], "additional_native_artifact_ids": [], "central_adapter_role_ids": [], "native_replay_verification": "not_verified_by_this_addendum", "role_bindings": [ { "role_id": "C30", "capsule_source": { "document_id": "capsules", "json_pointer": "", "jsonl_line": 17 }, "capsule_course_state_declared": "published", "native_edition": { "url": "https://zenodo.org/records/22062449/files/ALJABAR_ABSTRAK_TEORI_DAN_PENERAPAN_ID_2026.08.22.2.pdf?download=1", "source": { "document_id": "capsules", "json_pointer": "/course_native/edition", "jsonl_line": 17 } }, "native_doi": { "url": "https://doi.org/10.5281/zenodo.22062449", "source": { "document_id": "capsules", "json_pointer": "/course_native/zenodo", "jsonl_line": 17 } }, "native_repository": { "url": "https://github.com/KokunoYumeto/abstract-algebra-theory-and-applications-id", "source": { "document_id": "capsules", "json_pointer": "/course_native/repository", "jsonl_line": 17 } }, "native_backend_package_artifact_ids": [], "native_backend_route_evidence": "no_native_backend_package_route_exposed_in_inspected_files", "native_artifact_existence": "not_independently_observed; a missing citation does not mean an absent artifact", "native_replay_verification": "not_verified_by_this_addendum", "reported_production_replay": { "declared_status": "available_unverified", "source": { "document_id": "capsules", "json_pointer": "/layers/production/deterministic_replay_status", "jsonl_line": 17 }, "interpretation": "Capsule assertion retained; not an independently replayed result." }, "semantic_adapter_declaration": { "declared_status": "not_yet_produced", "source": { "document_id": "capsules", "json_pointer": "/layers/interoperability/semantic_adapter/status", "jsonl_line": 17 }, "central_adapter_row_present": false }, "learner_primary": { "url": "https://kokunoyumeto.github.io/abstract-algebra-theory-and-applications-id/", "declared_status": "available_unverified", "declared_format": "text/html", "bytes": null, "sha256": null, "source": { "document_id": "capsules", "json_pointer": "/layers/learner/primary", "jsonl_line": 17 }, "backend_consumption_inference": "none; a learner URL does not establish backend runtime use", "endpoint_verification": "not_performed_no_network" } }, { "role_id": "C40", "capsule_source": { "document_id": "capsules", "json_pointer": "", "jsonl_line": 18 }, "capsule_course_state_declared": "published", "native_edition": { "url": "https://zenodo.org/records/22062449/files/ALJABAR_ABSTRAK_TEORI_DAN_PENERAPAN_ID_2026.08.22.2.pdf?download=1", "source": { "document_id": "capsules", "json_pointer": "/course_native/edition", "jsonl_line": 18 } }, "native_doi": { "url": "https://doi.org/10.5281/zenodo.22062449", "source": { "document_id": "capsules", "json_pointer": "/course_native/zenodo", "jsonl_line": 18 } }, "native_repository": { "url": "https://github.com/KokunoYumeto/abstract-algebra-theory-and-applications-id", "source": { "document_id": "capsules", "json_pointer": "/course_native/repository", "jsonl_line": 18 } }, "native_backend_package_artifact_ids": [], "native_backend_route_evidence": "no_native_backend_package_route_exposed_in_inspected_files", "native_artifact_existence": "not_independently_observed; a missing citation does not mean an absent artifact", "native_replay_verification": "not_verified_by_this_addendum", "reported_production_replay": { "declared_status": "available_unverified", "source": { "document_id": "capsules", "json_pointer": "/layers/production/deterministic_replay_status", "jsonl_line": 18 }, "interpretation": "Capsule assertion retained; not an independently replayed result." }, "semantic_adapter_declaration": { "declared_status": "not_yet_produced", "source": { "document_id": "capsules", "json_pointer": "/layers/interoperability/semantic_adapter/status", "jsonl_line": 18 }, "central_adapter_row_present": false }, "learner_primary": { "url": "https://kokunoyumeto.github.io/abstract-algebra-theory-and-applications-id/", "declared_status": "available_unverified", "declared_format": "text/html", "bytes": null, "sha256": null, "source": { "document_id": "capsules", "json_pointer": "/layers/learner/primary", "jsonl_line": 18 }, "backend_consumption_inference": "none; a learner URL does not establish backend runtime use", "endpoint_verification": "not_performed_no_network" } } ] }, { "ordinal": 13, "family_name": "Number Theory", "role_ids": [ "C60" ], "historical_finding": { "source": { "document_id": "patterns", "json_pointer": "/families/12", "jsonl_line": null }, "methodology_source": { "document_id": "methodology", "line": 60 }, "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_declared_at_audit": "A reader exists, but TeX rather than the backend drives it.", "reversible_exchange_status_declared_at_audit": "Many reversible projections are established.", "recommended_reuse": [ "bilingual entity/event graph", "concept and prerequisite relations", "correction and rights records", "reversible projections" ], "claim_specific_public_citation": "missing_in_inspected_comparison", "shared_audit_evidence_source": { "document_id": "patterns", "json_pointer": "/source_evidence", "jsonl_line": null }, "independently_supported_by_successor_package_metadata": false }, "best_metadata_route_class": "edition_repository_or_reader_pointer_only", "native_backend_package_artifact_ids": [], "additional_native_artifact_ids": [], "central_adapter_role_ids": [], "native_replay_verification": "not_verified_by_this_addendum", "role_bindings": [ { "role_id": "C60", "capsule_source": { "document_id": "capsules", "json_pointer": "", "jsonl_line": 20 }, "capsule_course_state_declared": "published", "native_edition": { "url": "https://github.com/KokunoYumeto/yet-another-introductory-number-theory-textbook-id/releases/tag/v1.0.0", "source": { "document_id": "capsules", "json_pointer": "/course_native/edition", "jsonl_line": 20 } }, "native_doi": { "url": "https://doi.org/10.5281/zenodo.22052196", "source": { "document_id": "capsules", "json_pointer": "/course_native/zenodo", "jsonl_line": 20 } }, "native_repository": { "url": "https://github.com/KokunoYumeto/yet-another-introductory-number-theory-textbook-id", "source": { "document_id": "capsules", "json_pointer": "/course_native/repository", "jsonl_line": 20 } }, "native_backend_package_artifact_ids": [], "native_backend_route_evidence": "no_native_backend_package_route_exposed_in_inspected_files", "native_artifact_existence": "not_independently_observed; a missing citation does not mean an absent artifact", "native_replay_verification": "not_verified_by_this_addendum", "reported_production_replay": { "declared_status": "available_unverified", "source": { "document_id": "capsules", "json_pointer": "/layers/production/deterministic_replay_status", "jsonl_line": 20 }, "interpretation": "Capsule assertion retained; not an independently replayed result." }, "semantic_adapter_declaration": { "declared_status": "not_yet_produced", "source": { "document_id": "capsules", "json_pointer": "/layers/interoperability/semantic_adapter/status", "jsonl_line": 20 }, "central_adapter_row_present": false }, "learner_primary": { "url": "https://kokunoyumeto.github.io/yet-another-introductory-number-theory-textbook-id/", "declared_status": "available_unverified", "declared_format": "text/html", "bytes": null, "sha256": null, "source": { "document_id": "capsules", "json_pointer": "/layers/learner/primary", "jsonl_line": 20 }, "backend_consumption_inference": "none; a learner URL does not establish backend runtime use", "endpoint_verification": "not_performed_no_network" } } ] }, { "ordinal": 14, "family_name": "Applied Combinatorics", "role_ids": [ "C70" ], "historical_finding": { "source": { "document_id": "patterns", "json_pointer": "/families/13", "jsonl_line": null }, "methodology_source": { "document_id": "methodology", "line": 62 }, "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_declared_at_audit": "Reader inventories are reported, but direct backend runtime consumption is not established.", "reversible_exchange_status_declared_at_audit": "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" ], "claim_specific_public_citation": "missing_in_inspected_comparison", "shared_audit_evidence_source": { "document_id": "patterns", "json_pointer": "/source_evidence", "jsonl_line": null }, "independently_supported_by_successor_package_metadata": false }, "best_metadata_route_class": "edition_repository_or_reader_pointer_only", "native_backend_package_artifact_ids": [], "additional_native_artifact_ids": [], "central_adapter_role_ids": [], "native_replay_verification": "not_verified_by_this_addendum", "role_bindings": [ { "role_id": "C70", "capsule_source": { "document_id": "capsules", "json_pointer": "", "jsonl_line": 21 }, "capsule_course_state_declared": "published", "native_edition": { "url": "https://zenodo.org/records/22062005/files/00_KOMBINATORIKA_TERAPAN_ID-ID_COMPLETE_LINKED_READER_2026.08.22.2.pdf?download=1", "source": { "document_id": "capsules", "json_pointer": "/course_native/edition", "jsonl_line": 21 } }, "native_doi": { "url": "https://doi.org/10.5281/zenodo.22062005", "source": { "document_id": "capsules", "json_pointer": "/course_native/zenodo", "jsonl_line": 21 } }, "native_repository": { "url": "https://github.com/KokunoYumeto/applied-combinatorics-id", "source": { "document_id": "capsules", "json_pointer": "/course_native/repository", "jsonl_line": 21 } }, "native_backend_package_artifact_ids": [], "native_backend_route_evidence": "no_native_backend_package_route_exposed_in_inspected_files", "native_artifact_existence": "not_independently_observed; a missing citation does not mean an absent artifact", "native_replay_verification": "not_verified_by_this_addendum", "reported_production_replay": { "declared_status": "available_unverified", "source": { "document_id": "capsules", "json_pointer": "/layers/production/deterministic_replay_status", "jsonl_line": 21 }, "interpretation": "Capsule assertion retained; not an independently replayed result." }, "semantic_adapter_declaration": { "declared_status": "not_yet_produced", "source": { "document_id": "capsules", "json_pointer": "/layers/interoperability/semantic_adapter/status", "jsonl_line": 21 }, "central_adapter_row_present": false }, "learner_primary": { "url": "https://kokunoyumeto.github.io/applied-combinatorics-id/", "declared_status": "available_unverified", "declared_format": "text/html", "bytes": null, "sha256": null, "source": { "document_id": "capsules", "json_pointer": "/layers/learner/primary", "jsonl_line": 21 }, "backend_consumption_inference": "none; a learner URL does not establish backend runtime use", "endpoint_verification": "not_performed_no_network" } } ] }, { "ordinal": 15, "family_name": "Open Logic", "role_ids": [ "C80" ], "historical_finding": { "source": { "document_id": "patterns", "json_pointer": "/families/14", "jsonl_line": null }, "methodology_source": { "document_id": "methodology", "line": 64 }, "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_declared_at_audit": "No course navigation or HTML.", "reversible_exchange_status_declared_at_audit": "Preservation closure is established; normalized reversible semantic exchange is not.", "recommended_reuse": [ "module-level preservation unitization", "reader-versus-retained-source distinction", "frozen import closure" ], "claim_specific_public_citation": "missing_in_inspected_comparison", "shared_audit_evidence_source": { "document_id": "patterns", "json_pointer": "/source_evidence", "jsonl_line": null }, "independently_supported_by_successor_package_metadata": false }, "best_metadata_route_class": "edition_repository_or_reader_pointer_only", "native_backend_package_artifact_ids": [], "additional_native_artifact_ids": [], "central_adapter_role_ids": [], "native_replay_verification": "not_verified_by_this_addendum", "role_bindings": [ { "role_id": "C80", "capsule_source": { "document_id": "capsules", "json_pointer": "", "jsonl_line": 22 }, "capsule_course_state_declared": "published", "native_edition": { "url": "https://zenodo.org/records/21932787/files/00_OPENLOGIC_id_COMPLETE_LINKED_READER_OLP-0722.pdf?download=1", "source": { "document_id": "capsules", "json_pointer": "/course_native/edition", "jsonl_line": 22 } }, "native_doi": { "url": "https://doi.org/10.5281/zenodo.21932787", "source": { "document_id": "capsules", "json_pointer": "/course_native/zenodo", "jsonl_line": 22 } }, "native_repository": { "url": "https://github.com/KokunoYumeto/OpenLogic-id", "source": { "document_id": "capsules", "json_pointer": "/course_native/repository", "jsonl_line": 22 } }, "native_backend_package_artifact_ids": [], "native_backend_route_evidence": "no_native_backend_package_route_exposed_in_inspected_files", "native_artifact_existence": "not_independently_observed; a missing citation does not mean an absent artifact", "native_replay_verification": "not_verified_by_this_addendum", "reported_production_replay": { "declared_status": "available_unverified", "source": { "document_id": "capsules", "json_pointer": "/layers/production/deterministic_replay_status", "jsonl_line": 22 }, "interpretation": "Capsule assertion retained; not an independently replayed result." }, "semantic_adapter_declaration": { "declared_status": "not_yet_produced", "source": { "document_id": "capsules", "json_pointer": "/layers/interoperability/semantic_adapter/status", "jsonl_line": 22 }, "central_adapter_row_present": false }, "learner_primary": { "url": "https://zenodo.org/records/21932787/files/00_OPENLOGIC_id_COMPLETE_LINKED_READER_OLP-0722.pdf?download=1", "declared_status": "available_unverified", "declared_format": "application/pdf", "bytes": null, "sha256": null, "source": { "document_id": "capsules", "json_pointer": "/layers/learner/primary", "jsonl_line": 22 }, "backend_consumption_inference": "none; a learner URL does not establish backend runtime use", "endpoint_verification": "not_performed_no_network" } } ] }, { "ordinal": 16, "family_name": "Topology", "role_ids": [ "C90" ], "historical_finding": { "source": { "document_id": "patterns", "json_pointer": "/families/15", "jsonl_line": null }, "methodology_source": { "document_id": "methodology", "line": 66 }, "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_declared_at_audit": "Direct learner runtime use is established through the collapsible self-study reader.", "reversible_exchange_status_declared_at_audit": "No clean global reversible graph.", "recommended_reuse": [ "per-prompt learning structure", "mastery modules", "direct collapsible-reader consumption" ], "claim_specific_public_citation": "missing_in_inspected_comparison", "shared_audit_evidence_source": { "document_id": "patterns", "json_pointer": "/source_evidence", "jsonl_line": null }, "independently_supported_by_successor_package_metadata": false }, "best_metadata_route_class": "edition_repository_or_reader_pointer_only", "native_backend_package_artifact_ids": [], "additional_native_artifact_ids": [], "central_adapter_role_ids": [], "native_replay_verification": "not_verified_by_this_addendum", "role_bindings": [ { "role_id": "C90", "capsule_source": { "document_id": "capsules", "json_pointer": "", "jsonl_line": 23 }, "capsule_course_state_declared": "published", "native_edition": { "url": "https://zenodo.org/records/22164668/files/topologi-pendekatan-berbasis-inkuiri-edisi-lengkap-id.pdf?download=1", "source": { "document_id": "capsules", "json_pointer": "/course_native/edition", "jsonl_line": 23 } }, "native_doi": { "url": "https://doi.org/10.5281/zenodo.22164668", "source": { "document_id": "capsules", "json_pointer": "/course_native/zenodo", "jsonl_line": 23 } }, "native_repository": { "url": "https://github.com/KokunoYumeto/topology-an-inquiry-based-approach-id", "source": { "document_id": "capsules", "json_pointer": "/course_native/repository", "jsonl_line": 23 } }, "native_backend_package_artifact_ids": [], "native_backend_route_evidence": "no_native_backend_package_route_exposed_in_inspected_files", "native_artifact_existence": "not_independently_observed; a missing citation does not mean an absent artifact", "native_replay_verification": "not_verified_by_this_addendum", "reported_production_replay": { "declared_status": "available_unverified", "source": { "document_id": "capsules", "json_pointer": "/layers/production/deterministic_replay_status", "jsonl_line": 23 }, "interpretation": "Capsule assertion retained; not an independently replayed result." }, "semantic_adapter_declaration": { "declared_status": "not_yet_produced", "source": { "document_id": "capsules", "json_pointer": "/layers/interoperability/semantic_adapter/status", "jsonl_line": 23 }, "central_adapter_row_present": false }, "learner_primary": { "url": "https://kokunoyumeto.github.io/topology-an-inquiry-based-approach-id/reader/complete/", "declared_status": "available_unverified", "declared_format": "text/html", "bytes": null, "sha256": null, "source": { "document_id": "capsules", "json_pointer": "/layers/learner/primary", "jsonl_line": 23 }, "backend_consumption_inference": "none; a learner URL does not establish backend runtime use", "endpoint_verification": "not_performed_no_network" } } ] }, { "ordinal": 17, "family_name": "Geometry", "role_ids": [ "C100" ], "historical_finding": { "source": { "document_id": "patterns", "json_pointer": "/families/16", "jsonl_line": null }, "methodology_source": { "document_id": "methodology", "line": 68 }, "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_declared_at_audit": "Direct learner delivery through semantic HTML and EPUB is established.", "reversible_exchange_status_declared_at_audit": "Not explicitly established; local-public catalog drift is present.", "recommended_reuse": [ "unit/exercise/hint/figure registries", "direct semantic HTML/EPUB generation", "operational accessibility metadata" ], "claim_specific_public_citation": "missing_in_inspected_comparison", "shared_audit_evidence_source": { "document_id": "patterns", "json_pointer": "/source_evidence", "jsonl_line": null }, "independently_supported_by_successor_package_metadata": false }, "best_metadata_route_class": "edition_repository_or_reader_pointer_only", "native_backend_package_artifact_ids": [], "additional_native_artifact_ids": [], "central_adapter_role_ids": [], "native_replay_verification": "not_verified_by_this_addendum", "role_bindings": [ { "role_id": "C100", "capsule_source": { "document_id": "capsules", "json_pointer": "", "jsonl_line": 24 }, "capsule_course_state_declared": "published", "native_edition": { "url": "https://zenodo.org/records/22102628/files/BIDANG_EUKLIDES_DAN_KERABATNYA_ID_SPINE_COMPLETE.pdf?download=1", "source": { "document_id": "capsules", "json_pointer": "/course_native/edition", "jsonl_line": 24 } }, "native_doi": { "url": "https://doi.org/10.5281/zenodo.22102628", "source": { "document_id": "capsules", "json_pointer": "/course_native/zenodo", "jsonl_line": 24 } }, "native_repository": { "url": "https://github.com/KokunoYumeto/bidang-euklides-dan-kerabatnya-id", "source": { "document_id": "capsules", "json_pointer": "/course_native/repository", "jsonl_line": 24 } }, "native_backend_package_artifact_ids": [], "native_backend_route_evidence": "no_native_backend_package_route_exposed_in_inspected_files", "native_artifact_existence": "not_independently_observed; a missing citation does not mean an absent artifact", "native_replay_verification": "not_verified_by_this_addendum", "reported_production_replay": { "declared_status": "available_unverified", "source": { "document_id": "capsules", "json_pointer": "/layers/production/deterministic_replay_status", "jsonl_line": 24 }, "interpretation": "Capsule assertion retained; not an independently replayed result." }, "semantic_adapter_declaration": { "declared_status": "not_yet_produced", "source": { "document_id": "capsules", "json_pointer": "/layers/interoperability/semantic_adapter/status", "jsonl_line": 24 }, "central_adapter_row_present": false }, "learner_primary": { "url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/C100/", "declared_status": "available_unverified", "declared_format": "application/octet-stream", "bytes": null, "sha256": null, "source": { "document_id": "capsules", "json_pointer": "/layers/learner/primary", "jsonl_line": 24 }, "backend_consumption_inference": "none; a learner URL does not establish backend runtime use", "endpoint_verification": "not_performed_no_network" } } ] }, { "ordinal": 18, "family_name": "Numerical Analysis", "role_ids": [ "C110" ], "historical_finding": { "source": { "document_id": "patterns", "json_pointer": "/families/17", "jsonl_line": null }, "methodology_source": { "document_id": "methodology", "line": 70 }, "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_declared_at_audit": "No shared runtime is proved.", "reversible_exchange_status_declared_at_audit": "Lossless open export is established.", "recommended_reuse": [ "deterministic pack/merge", "experiment records", "exact toolchain receipts", "one-byte drift rejection", "lossless export" ], "claim_specific_public_citation": "missing_in_inspected_comparison", "shared_audit_evidence_source": { "document_id": "patterns", "json_pointer": "/source_evidence", "jsonl_line": null }, "independently_supported_by_successor_package_metadata": false }, "best_metadata_route_class": "edition_repository_or_reader_pointer_only", "native_backend_package_artifact_ids": [], "additional_native_artifact_ids": [], "central_adapter_role_ids": [], "native_replay_verification": "not_verified_by_this_addendum", "role_bindings": [ { "role_id": "C110", "capsule_source": { "document_id": "capsules", "json_pointer": "", "jsonl_line": 25 }, "capsule_course_state_declared": "published", "native_edition": { "url": "https://zenodo.org/records/22075088/files/Tea-Time-Numerical-Analysis-id-ID.pdf?download=1", "source": { "document_id": "capsules", "json_pointer": "/course_native/edition", "jsonl_line": 25 } }, "native_doi": { "url": "https://doi.org/10.5281/zenodo.22075088", "source": { "document_id": "capsules", "json_pointer": "/course_native/zenodo", "jsonl_line": 25 } }, "native_repository": { "url": "https://github.com/KokunoYumeto/tea-time-numerical-analysis-id", "source": { "document_id": "capsules", "json_pointer": "/course_native/repository", "jsonl_line": 25 } }, "native_backend_package_artifact_ids": [], "native_backend_route_evidence": "no_native_backend_package_route_exposed_in_inspected_files", "native_artifact_existence": "not_independently_observed; a missing citation does not mean an absent artifact", "native_replay_verification": "not_verified_by_this_addendum", "reported_production_replay": { "declared_status": "available_unverified", "source": { "document_id": "capsules", "json_pointer": "/layers/production/deterministic_replay_status", "jsonl_line": 25 }, "interpretation": "Capsule assertion retained; not an independently replayed result." }, "semantic_adapter_declaration": { "declared_status": "not_yet_produced", "source": { "document_id": "capsules", "json_pointer": "/layers/interoperability/semantic_adapter/status", "jsonl_line": 25 }, "central_adapter_row_present": false }, "learner_primary": { "url": "https://zenodo.org/records/22075088/files/Tea-Time-Numerical-Analysis-id-ID.pdf?download=1", "declared_status": "available_unverified", "declared_format": "application/pdf", "bytes": null, "sha256": null, "source": { "document_id": "capsules", "json_pointer": "/layers/learner/primary", "jsonl_line": 25 }, "backend_consumption_inference": "none; a learner URL does not establish backend runtime use", "endpoint_verification": "not_performed_no_network" } } ] }, { "ordinal": 19, "family_name": "Modeling and Nonlinear Dynamics", "role_ids": [ "C120" ], "historical_finding": { "source": { "document_id": "patterns", "json_pointer": "/families/18", "jsonl_line": null }, "methodology_source": { "document_id": "methodology", "line": 72 }, "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_declared_at_audit": "Not established in the audited entry.", "reversible_exchange_status_declared_at_audit": "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" ], "claim_specific_public_citation": "missing_in_inspected_comparison", "shared_audit_evidence_source": { "document_id": "patterns", "json_pointer": "/source_evidence", "jsonl_line": null }, "independently_supported_by_successor_package_metadata": false }, "best_metadata_route_class": "edition_repository_or_reader_pointer_only", "native_backend_package_artifact_ids": [], "additional_native_artifact_ids": [], "central_adapter_role_ids": [], "native_replay_verification": "not_verified_by_this_addendum", "role_bindings": [ { "role_id": "C120", "capsule_source": { "document_id": "capsules", "json_pointer": "", "jsonl_line": 26 }, "capsule_course_state_declared": "published", "native_edition": { "url": "https://zenodo.org/records/22070943/files/01_Pengantar_Pemodelan_Matematika_Edisi_Bahasa_Indonesia_Lengkap.pdf?download=1", "source": { "document_id": "capsules", "json_pointer": "/course_native/edition", "jsonl_line": 26 } }, "native_doi": { "url": "https://doi.org/10.5281/zenodo.22070943", "source": { "document_id": "capsules", "json_pointer": "/course_native/zenodo", "jsonl_line": 26 } }, "native_repository": { "url": "https://github.com/KokunoYumeto/mathematical-modeling-nonlinear-dynamics-id", "source": { "document_id": "capsules", "json_pointer": "/course_native/repository", "jsonl_line": 26 } }, "native_backend_package_artifact_ids": [], "native_backend_route_evidence": "no_native_backend_package_route_exposed_in_inspected_files", "native_artifact_existence": "not_independently_observed; a missing citation does not mean an absent artifact", "native_replay_verification": "not_verified_by_this_addendum", "reported_production_replay": { "declared_status": "available_unverified", "source": { "document_id": "capsules", "json_pointer": "/layers/production/deterministic_replay_status", "jsonl_line": 26 }, "interpretation": "Capsule assertion retained; not an independently replayed result." }, "semantic_adapter_declaration": { "declared_status": "not_yet_produced", "source": { "document_id": "capsules", "json_pointer": "/layers/interoperability/semantic_adapter/status", "jsonl_line": 26 }, "central_adapter_row_present": false }, "learner_primary": { "url": "https://kokunoyumeto.github.io/mathematical-modeling-nonlinear-dynamics-id/", "declared_status": "available_unverified", "declared_format": "text/html", "bytes": null, "sha256": null, "source": { "document_id": "capsules", "json_pointer": "/layers/learner/primary", "jsonl_line": 26 }, "backend_consumption_inference": "none; a learner URL does not establish backend runtime use", "endpoint_verification": "not_performed_no_network" } } ] }, { "ordinal": 20, "family_name": "Operations Research", "role_ids": [ "C130" ], "historical_finding": { "source": { "document_id": "patterns", "json_pointer": "/families/19", "jsonl_line": null }, "methodology_source": { "document_id": "methodology", "line": 74 }, "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_declared_at_audit": "Real reuse and executable labs are demonstrated; a shared live backend consumer is not explicitly stated.", "reversible_exchange_status_declared_at_audit": "No reverse importer.", "recommended_reuse": [ "general locale-neutral course graph", "typed learning relations", "exercise and lab adaptation model" ], "claim_specific_public_citation": "missing_in_inspected_comparison", "shared_audit_evidence_source": { "document_id": "patterns", "json_pointer": "/source_evidence", "jsonl_line": null }, "independently_supported_by_successor_package_metadata": false }, "best_metadata_route_class": "edition_repository_or_reader_pointer_only", "native_backend_package_artifact_ids": [], "additional_native_artifact_ids": [], "central_adapter_role_ids": [], "native_replay_verification": "not_verified_by_this_addendum", "role_bindings": [ { "role_id": "C130", "capsule_source": { "document_id": "capsules", "json_pointer": "", "jsonl_line": 27 }, "capsule_course_state_declared": "published", "native_edition": { "url": "https://zenodo.org/records/22070653/files/pemrograman-matematis-dan-riset-operasi-buku-1-id-ID.pdf?download=1", "source": { "document_id": "capsules", "json_pointer": "/course_native/edition", "jsonl_line": 27 } }, "native_doi": { "url": "https://doi.org/10.5281/zenodo.22070653", "source": { "document_id": "capsules", "json_pointer": "/course_native/zenodo", "jsonl_line": 27 } }, "native_repository": { "url": "https://github.com/KokunoYumeto/open-optimization-or-book-id", "source": { "document_id": "capsules", "json_pointer": "/course_native/repository", "jsonl_line": 27 } }, "native_backend_package_artifact_ids": [], "native_backend_route_evidence": "no_native_backend_package_route_exposed_in_inspected_files", "native_artifact_existence": "not_independently_observed; a missing citation does not mean an absent artifact", "native_replay_verification": "not_verified_by_this_addendum", "reported_production_replay": { "declared_status": "available_unverified", "source": { "document_id": "capsules", "json_pointer": "/layers/production/deterministic_replay_status", "jsonl_line": 27 }, "interpretation": "Capsule assertion retained; not an independently replayed result." }, "semantic_adapter_declaration": { "declared_status": "not_yet_produced", "source": { "document_id": "capsules", "json_pointer": "/layers/interoperability/semantic_adapter/status", "jsonl_line": 27 }, "central_adapter_row_present": false }, "learner_primary": { "url": "https://kokunoyumeto.github.io/open-optimization-or-book-id/", "declared_status": "available_unverified", "declared_format": "text/html", "bytes": null, "sha256": null, "source": { "document_id": "capsules", "json_pointer": "/layers/learner/primary", "jsonl_line": 27 }, "backend_consumption_inference": "none; a learner URL does not establish backend runtime use", "endpoint_verification": "not_performed_no_network" } } ] }, { "ordinal": 21, "family_name": "Mathematical Statistics", "role_ids": [ "C140" ], "historical_finding": { "source": { "document_id": "patterns", "json_pointer": "/families/20", "jsonl_line": null }, "methodology_source": { "document_id": "methodology", "line": 76 }, "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_declared_at_audit": "Not reported in the audited entry.", "reversible_exchange_status_declared_at_audit": "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" ], "claim_specific_public_citation": "missing_in_inspected_comparison", "shared_audit_evidence_source": { "document_id": "patterns", "json_pointer": "/source_evidence", "jsonl_line": null }, "independently_supported_by_successor_package_metadata": false }, "best_metadata_route_class": "edition_repository_or_reader_pointer_only", "native_backend_package_artifact_ids": [], "additional_native_artifact_ids": [], "central_adapter_role_ids": [], "native_replay_verification": "not_verified_by_this_addendum", "role_bindings": [ { "role_id": "C140", "capsule_source": { "document_id": "capsules", "json_pointer": "", "jsonl_line": 28 }, "capsule_course_state_declared": "production", "native_edition": { "url": "https://zenodo.org/records/22164344/files/00_00_stat415-pengantar-statistika-matematis-id.pdf?download=1", "source": { "document_id": "capsules", "json_pointer": "/course_native/edition", "jsonl_line": 28 } }, "native_doi": { "url": "https://doi.org/10.5281/zenodo.22164344", "source": { "document_id": "capsules", "json_pointer": "/course_native/zenodo", "jsonl_line": 28 } }, "native_repository": { "url": "https://github.com/KokunoYumeto/penn-state-stat-415-id", "source": { "document_id": "capsules", "json_pointer": "/course_native/repository", "jsonl_line": 28 } }, "native_backend_package_artifact_ids": [], "native_backend_route_evidence": "no_native_backend_package_route_exposed_in_inspected_files", "native_artifact_existence": "not_independently_observed; a missing citation does not mean an absent artifact", "native_replay_verification": "not_verified_by_this_addendum", "reported_production_replay": { "declared_status": "available_unverified", "source": { "document_id": "capsules", "json_pointer": "/layers/production/deterministic_replay_status", "jsonl_line": 28 }, "interpretation": "Capsule assertion retained; not an independently replayed result." }, "semantic_adapter_declaration": { "declared_status": "not_yet_produced", "source": { "document_id": "capsules", "json_pointer": "/layers/interoperability/semantic_adapter/status", "jsonl_line": 28 }, "central_adapter_row_present": false }, "learner_primary": { "url": "https://kokunoyumeto.github.io/penn-state-stat-415-id/", "declared_status": "available_unverified", "declared_format": "text/html", "bytes": null, "sha256": null, "source": { "document_id": "capsules", "json_pointer": "/layers/learner/primary", "jsonl_line": 28 }, "backend_consumption_inference": "none; a learner URL does not establish backend runtime use", "endpoint_verification": "not_performed_no_network" } } ] }, { "ordinal": 22, "family_name": "Measure and Integration", "role_ids": [ "D10" ], "historical_finding": { "source": { "document_id": "patterns", "json_pointer": "/families/21", "jsonl_line": null }, "methodology_source": { "document_id": "methodology", "line": 78 }, "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_declared_at_audit": "Not reported in the audited entry.", "reversible_exchange_status_declared_at_audit": "Deterministic JSONL/CSV replay is established.", "recommended_reuse": [ "bilingual source topology", "raw source/target preservation", "hash and rights binding", "deterministic JSONL/CSV replay" ], "claim_specific_public_citation": "missing_in_inspected_comparison", "shared_audit_evidence_source": { "document_id": "patterns", "json_pointer": "/source_evidence", "jsonl_line": null }, "independently_supported_by_successor_package_metadata": false }, "best_metadata_route_class": "native_package_metadata_route", "native_backend_package_artifact_ids": [ "native-d10-source-backend" ], "additional_native_artifact_ids": [], "central_adapter_role_ids": [], "native_replay_verification": "not_verified_by_this_addendum", "role_bindings": [ { "role_id": "D10", "capsule_source": { "document_id": "capsules", "json_pointer": "", "jsonl_line": 29 }, "capsule_course_state_declared": "published", "native_edition": { "url": "https://zenodo.org/records/22181780/files/00_READ_FIRST_FONDASI_TEORI_UKURAN_JILID_1_DAN_2_LENGKAP.pdf?download=1", "source": { "document_id": "capsules", "json_pointer": "/course_native/edition", "jsonl_line": 29 } }, "native_doi": { "url": "https://doi.org/10.5281/zenodo.22181780", "source": { "document_id": "capsules", "json_pointer": "/course_native/zenodo", "jsonl_line": 29 } }, "native_repository": { "url": "https://github.com/KokunoYumeto/fremlin-measure-theory-id", "source": { "document_id": "capsules", "json_pointer": "/course_native/repository", "jsonl_line": 29 } }, "native_backend_package_artifact_ids": [ "native-d10-source-backend" ], "native_backend_route_evidence": "hash_bound_metadata_route_exposed", "native_artifact_existence": "not_independently_observed; a missing citation does not mean an absent artifact", "native_replay_verification": "not_verified_by_this_addendum", "reported_production_replay": { "declared_status": "available_unverified", "source": { "document_id": "capsules", "json_pointer": "/layers/production/deterministic_replay_status", "jsonl_line": 29 }, "interpretation": "Capsule assertion retained; not an independently replayed result." }, "semantic_adapter_declaration": { "declared_status": "not_yet_produced", "source": { "document_id": "capsules", "json_pointer": "/layers/interoperability/semantic_adapter/status", "jsonl_line": 29 }, "central_adapter_row_present": false }, "learner_primary": { "url": "https://zenodo.org/records/22181780/files/00_READ_FIRST_FONDASI_TEORI_UKURAN_JILID_1_DAN_2_LENGKAP.pdf?download=1", "declared_status": "verified", "declared_format": "application/pdf", "bytes": 4958199, "sha256": "e52b9b9fd5ffe967c7b3572b6e650743e91a3836d4f07fd30394a0788ff75fcd", "source": { "document_id": "capsules", "json_pointer": "/layers/learner/primary", "jsonl_line": 29 }, "backend_consumption_inference": "none; a learner URL does not establish backend runtime use", "endpoint_verification": "not_performed_no_network" } } ] }, { "ordinal": 23, "family_name": "Functional Analysis", "role_ids": [ "D20" ], "historical_finding": { "source": { "document_id": "patterns", "json_pointer": "/families/22", "jsonl_line": null }, "methodology_source": { "document_id": "methodology", "line": 80 }, "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_declared_at_audit": "Genuine learner use through HTML routes is established.", "reversible_exchange_status_declared_at_audit": "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" ], "claim_specific_public_citation": "missing_in_inspected_comparison", "shared_audit_evidence_source": { "document_id": "patterns", "json_pointer": "/source_evidence", "jsonl_line": null }, "independently_supported_by_successor_package_metadata": false }, "best_metadata_route_class": "central_adapter_route_without_native_package_route", "native_backend_package_artifact_ids": [], "additional_native_artifact_ids": [], "central_adapter_role_ids": [ "D20" ], "native_replay_verification": "not_verified_by_this_addendum", "role_bindings": [ { "role_id": "D20", "capsule_source": { "document_id": "capsules", "json_pointer": "", "jsonl_line": 30 }, "capsule_course_state_declared": "published", "native_edition": { "url": "https://zenodo.org/records/22088947/files/analisis-fungsional-dan-aljabar-operator-id-edisi-lengkap-dengan-pendamping.pdf?download=1", "source": { "document_id": "capsules", "json_pointer": "/course_native/edition", "jsonl_line": 30 } }, "native_doi": { "url": "https://doi.org/10.5281/zenodo.22088947", "source": { "document_id": "capsules", "json_pointer": "/course_native/zenodo", "jsonl_line": 30 } }, "native_repository": { "url": "https://github.com/KokunoYumeto/functional-analysis-erdman-id", "source": { "document_id": "capsules", "json_pointer": "/course_native/repository", "jsonl_line": 30 } }, "native_backend_package_artifact_ids": [], "native_backend_route_evidence": "no_native_backend_package_route_exposed_in_inspected_files", "native_artifact_existence": "not_independently_observed; a missing citation does not mean an absent artifact", "native_replay_verification": "not_verified_by_this_addendum", "reported_production_replay": { "declared_status": "verified", "source": { "document_id": "capsules", "json_pointer": "/layers/production/deterministic_replay_status", "jsonl_line": 30 }, "interpretation": "Capsule assertion retained; not an independently replayed result." }, "semantic_adapter_declaration": { "declared_status": "verified", "source": { "document_id": "capsules", "json_pointer": "/layers/interoperability/semantic_adapter/status", "jsonl_line": 30 }, "central_adapter_row_present": true }, "learner_primary": { "url": "https://kokunoyumeto.github.io/program-matematika-indonesia/id-ID/courses/D20/", "declared_status": "available_unverified", "declared_format": "application/octet-stream", "bytes": null, "sha256": null, "source": { "document_id": "capsules", "json_pointer": "/layers/learner/primary", "jsonl_line": 30 }, "backend_consumption_inference": "none; a learner URL does not establish backend runtime use", "endpoint_verification": "not_performed_no_network" } } ] }, { "ordinal": 24, "family_name": "Stochastic Processes", "role_ids": [ "D30" ], "historical_finding": { "source": { "document_id": "patterns", "json_pointer": "/families/23", "jsonl_line": null }, "methodology_source": { "document_id": "methodology", "line": 82 }, "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_declared_at_audit": "The site shares identifiers but does not consume the backend.", "reversible_exchange_status_declared_at_audit": "Portability is strong; exact reverse exchange is not explicitly established.", "recommended_reuse": [ "portable outcomes/lab model", "typed course relations", "donor-source and rights joins" ], "claim_specific_public_citation": "missing_in_inspected_comparison", "shared_audit_evidence_source": { "document_id": "patterns", "json_pointer": "/source_evidence", "jsonl_line": null }, "independently_supported_by_successor_package_metadata": false }, "best_metadata_route_class": "edition_repository_or_reader_pointer_only", "native_backend_package_artifact_ids": [], "additional_native_artifact_ids": [], "central_adapter_role_ids": [], "native_replay_verification": "not_verified_by_this_addendum", "role_bindings": [ { "role_id": "D30", "capsule_source": { "document_id": "capsules", "json_pointer": "", "jsonl_line": 31 }, "capsule_course_state_declared": "published", "native_edition": { "url": "https://zenodo.org/records/22182655/files/00_PROBABILITAS_TEORI_UKURAN_PROSES_STOKASTIK_ID_READER_CHECKPOINT_38.pdf?download=1", "source": { "document_id": "capsules", "json_pointer": "/course_native/edition", "jsonl_line": 31 } }, "native_doi": { "url": "https://doi.org/10.5281/zenodo.22182655", "source": { "document_id": "capsules", "json_pointer": "/course_native/zenodo", "jsonl_line": 31 } }, "native_repository": { "url": "https://github.com/KokunoYumeto/measure-theoretic-probability-stochastic-processes-id", "source": { "document_id": "capsules", "json_pointer": "/course_native/repository", "jsonl_line": 31 } }, "native_backend_package_artifact_ids": [], "native_backend_route_evidence": "no_native_backend_package_route_exposed_in_inspected_files", "native_artifact_existence": "not_independently_observed; a missing citation does not mean an absent artifact", "native_replay_verification": "not_verified_by_this_addendum", "reported_production_replay": { "declared_status": "available_unverified", "source": { "document_id": "capsules", "json_pointer": "/layers/production/deterministic_replay_status", "jsonl_line": 31 }, "interpretation": "Capsule assertion retained; not an independently replayed result." }, "semantic_adapter_declaration": { "declared_status": "not_yet_produced", "source": { "document_id": "capsules", "json_pointer": "/layers/interoperability/semantic_adapter/status", "jsonl_line": 31 }, "central_adapter_row_present": false }, "learner_primary": { "url": "https://kokunoyumeto.github.io/measure-theoretic-probability-stochastic-processes-id/", "declared_status": "verified", "declared_format": "text/html", "bytes": 10351, "sha256": "417e580082b32178e99a9923c8d0fa13ae21fdb767edb8eb85a38d6b6a9f7bc9", "source": { "document_id": "capsules", "json_pointer": "/layers/learner/primary", "jsonl_line": 31 }, "backend_consumption_inference": "none; a learner URL does not establish backend runtime use", "endpoint_verification": "not_performed_no_network" } } ] }, { "ordinal": 25, "family_name": "Partial Differential Equations", "role_ids": [ "D40" ], "historical_finding": { "source": { "document_id": "patterns", "json_pointer": "/families/24", "jsonl_line": null }, "methodology_source": { "document_id": "methodology", "line": 84 }, "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_declared_at_audit": "Not reported in the audited entry.", "reversible_exchange_status_declared_at_audit": "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" ], "claim_specific_public_citation": "missing_in_inspected_comparison", "shared_audit_evidence_source": { "document_id": "patterns", "json_pointer": "/source_evidence", "jsonl_line": null }, "independently_supported_by_successor_package_metadata": false }, "best_metadata_route_class": "native_package_metadata_route", "native_backend_package_artifact_ids": [ "native-d40-complete", "native-d40-unit14" ], "additional_native_artifact_ids": [ "native-d40-release-manifest" ], "central_adapter_role_ids": [], "native_replay_verification": "not_verified_by_this_addendum", "role_bindings": [ { "role_id": "D40", "capsule_source": { "document_id": "capsules", "json_pointer": "", "jsonl_line": 32 }, "capsule_course_state_declared": "published", "native_edition": { "url": "https://zenodo.org/records/22184259/files/PERSAMAAN_DIFERENSIAL_PARSIAL_DIONNE_ID_LENGKAP.pdf?download=1", "source": { "document_id": "capsules", "json_pointer": "/course_native/edition", "jsonl_line": 32 } }, "native_doi": { "url": "https://doi.org/10.5281/zenodo.22184259", "source": { "document_id": "capsules", "json_pointer": "/course_native/zenodo", "jsonl_line": 32 } }, "native_repository": { "url": null, "source": null }, "native_backend_package_artifact_ids": [ "native-d40-complete", "native-d40-unit14" ], "native_backend_route_evidence": "hash_bound_metadata_route_exposed", "native_artifact_existence": "not_independently_observed; a missing citation does not mean an absent artifact", "native_replay_verification": "not_verified_by_this_addendum", "reported_production_replay": { "declared_status": "available_unverified", "source": { "document_id": "capsules", "json_pointer": "/layers/production/deterministic_replay_status", "jsonl_line": 32 }, "interpretation": "Capsule assertion retained; not an independently replayed result." }, "semantic_adapter_declaration": { "declared_status": "available_unverified", "source": { "document_id": "capsules", "json_pointer": "/layers/interoperability/semantic_adapter/status", "jsonl_line": 32 }, "central_adapter_row_present": false }, "learner_primary": { "url": "https://zenodo.org/records/22184259/files/PERSAMAAN_DIFERENSIAL_PARSIAL_DIONNE_ID_LENGKAP.pdf?download=1", "declared_status": "verified", "declared_format": "application/pdf", "bytes": 4393637, "sha256": "c4e4f470eeb096129e7bf7306422d316c93aaeed99d2b12890e08f15777ac13f", "source": { "document_id": "capsules", "json_pointer": "/layers/learner/primary", "jsonl_line": 32 }, "backend_consumption_inference": "none; a learner URL does not establish backend runtime use", "endpoint_verification": "not_performed_no_network" } } ] }, { "ordinal": 26, "family_name": "Differential Geometry", "role_ids": [ "D50" ], "historical_finding": { "source": { "document_id": "patterns", "json_pointer": "/families/25", "jsonl_line": null }, "methodology_source": { "document_id": "methodology", "line": 86 }, "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_declared_at_audit": "Reader anchors exist; direct backend runtime consumption is not reported.", "reversible_exchange_status_declared_at_audit": "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" ], "claim_specific_public_citation": "missing_in_inspected_comparison", "shared_audit_evidence_source": { "document_id": "patterns", "json_pointer": "/source_evidence", "jsonl_line": null }, "independently_supported_by_successor_package_metadata": false }, "best_metadata_route_class": "edition_repository_or_reader_pointer_only", "native_backend_package_artifact_ids": [], "additional_native_artifact_ids": [], "central_adapter_role_ids": [], "native_replay_verification": "not_verified_by_this_addendum", "role_bindings": [ { "role_id": "D50", "capsule_source": { "document_id": "capsules", "json_pointer": "", "jsonl_line": 33 }, "capsule_course_state_declared": "published", "native_edition": { "url": "https://zenodo.org/records/22161090/files/geometri-diferensial-manifold-mulus-edisi-lengkap-id.pdf?download=1", "source": { "document_id": "capsules", "json_pointer": "/course_native/edition", "jsonl_line": 33 } }, "native_doi": { "url": "https://doi.org/10.5281/zenodo.22161090", "source": { "document_id": "capsules", "json_pointer": "/course_native/zenodo", "jsonl_line": 33 } }, "native_repository": { "url": "https://github.com/KokunoYumeto/brenner-differentialgeometrie-id", "source": { "document_id": "capsules", "json_pointer": "/course_native/repository", "jsonl_line": 33 } }, "native_backend_package_artifact_ids": [], "native_backend_route_evidence": "no_native_backend_package_route_exposed_in_inspected_files", "native_artifact_existence": "not_independently_observed; a missing citation does not mean an absent artifact", "native_replay_verification": "not_verified_by_this_addendum", "reported_production_replay": { "declared_status": "available_unverified", "source": { "document_id": "capsules", "json_pointer": "/layers/production/deterministic_replay_status", "jsonl_line": 33 }, "interpretation": "Capsule assertion retained; not an independently replayed result." }, "semantic_adapter_declaration": { "declared_status": "not_yet_produced", "source": { "document_id": "capsules", "json_pointer": "/layers/interoperability/semantic_adapter/status", "jsonl_line": 33 }, "central_adapter_row_present": false }, "learner_primary": { "url": "https://zenodo.org/records/22161090/files/geometri-diferensial-manifold-mulus-edisi-lengkap-id.pdf?download=1", "declared_status": "available_unverified", "declared_format": "application/pdf", "bytes": null, "sha256": null, "source": { "document_id": "capsules", "json_pointer": "/layers/learner/primary", "jsonl_line": 33 }, "backend_consumption_inference": "none; a learner URL does not establish backend runtime use", "endpoint_verification": "not_performed_no_network" } } ] }, { "ordinal": 27, "family_name": "Algebraic Topology", "role_ids": [ "D60" ], "historical_finding": { "source": { "document_id": "patterns", "json_pointer": "/families/26", "jsonl_line": null }, "methodology_source": { "document_id": "methodology", "line": 88 }, "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_declared_at_audit": "Learner routes are verified.", "reversible_exchange_status_declared_at_audit": "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" ], "claim_specific_public_citation": "missing_in_inspected_comparison", "shared_audit_evidence_source": { "document_id": "patterns", "json_pointer": "/source_evidence", "jsonl_line": null }, "independently_supported_by_successor_package_metadata": false }, "best_metadata_route_class": "native_package_metadata_route", "native_backend_package_artifact_ids": [ "native-d60-source-backend" ], "additional_native_artifact_ids": [], "central_adapter_role_ids": [ "D60" ], "native_replay_verification": "not_verified_by_this_addendum", "role_bindings": [ { "role_id": "D60", "capsule_source": { "document_id": "capsules", "json_pointer": "", "jsonl_line": 34 }, "capsule_course_state_declared": "published", "native_edition": { "url": "https://zenodo.org/records/22168033/files/00_TOPOLOGI_ALJABAR_ID_ROBERTS_001_030_FOMBERG_001_007_CA01_HINTS_R01_R06_CA02_CA03_LAB01_LAB02_LAB03_LAB04_CAPSTONE_READER.pdf?download=1", "source": { "document_id": "capsules", "json_pointer": "/course_native/edition", "jsonl_line": 34 } }, "native_doi": { "url": "https://doi.org/10.5281/zenodo.22168033", "source": { "document_id": "capsules", "json_pointer": "/course_native/zenodo", "jsonl_line": 34 } }, "native_repository": { "url": "https://github.com/KokunoYumeto/algebraic-topology-id", "source": { "document_id": "capsules", "json_pointer": "/course_native/repository", "jsonl_line": 34 } }, "native_backend_package_artifact_ids": [ "native-d60-source-backend" ], "native_backend_route_evidence": "hash_bound_metadata_route_exposed", "native_artifact_existence": "not_independently_observed; a missing citation does not mean an absent artifact", "native_replay_verification": "not_verified_by_this_addendum", "reported_production_replay": { "declared_status": "verified", "source": { "document_id": "capsules", "json_pointer": "/layers/production/deterministic_replay_status", "jsonl_line": 34 }, "interpretation": "Capsule assertion retained; not an independently replayed result." }, "semantic_adapter_declaration": { "declared_status": "verified", "source": { "document_id": "capsules", "json_pointer": "/layers/interoperability/semantic_adapter/status", "jsonl_line": 34 }, "central_adapter_row_present": true }, "learner_primary": { "url": "https://kokunoyumeto.github.io/algebraic-topology-id/roberts-001-030-fomberg-001-007-ca01-hints-r01-r06-ca02-ca03-lab01-lab02-lab03-lab04-capstone/", "declared_status": "available_unverified", "declared_format": "text/html", "bytes": null, "sha256": null, "source": { "document_id": "capsules", "json_pointer": "/layers/learner/primary", "jsonl_line": 34 }, "backend_consumption_inference": "none; a learner URL does not establish backend runtime use", "endpoint_verification": "not_performed_no_network" } } ] }, { "ordinal": 28, "family_name": "Graduate Algebra", "role_ids": [ "D70" ], "historical_finding": { "source": { "document_id": "patterns", "json_pointer": "/families/27", "jsonl_line": null }, "methodology_source": { "document_id": "methodology", "line": 90 }, "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_declared_at_audit": "A real cross-component learner route exists, but delivery remains four PDFs rather than one integrated corpus.", "reversible_exchange_status_declared_at_audit": "Federation is demonstrated; dialect fragmentation prevents a clean common exchange claim.", "recommended_reuse": [ "component sovereignty", "rights-preserving federation", "cross-component branching mastery routes" ], "claim_specific_public_citation": "missing_in_inspected_comparison", "shared_audit_evidence_source": { "document_id": "patterns", "json_pointer": "/source_evidence", "jsonl_line": null }, "independently_supported_by_successor_package_metadata": false }, "best_metadata_route_class": "edition_repository_or_reader_pointer_only", "native_backend_package_artifact_ids": [], "additional_native_artifact_ids": [], "central_adapter_role_ids": [], "native_replay_verification": "not_verified_by_this_addendum", "role_bindings": [ { "role_id": "D70", "capsule_source": { "document_id": "capsules", "json_pointer": "", "jsonl_line": 35 }, "capsule_course_state_declared": "published", "native_edition": { "url": "https://zenodo.org/records/22160944/files/01_metode-aljabar-jilid-1-id-lengkap.pdf?download=1", "source": { "document_id": "capsules", "json_pointer": "/course_native/edition", "jsonl_line": 35 } }, "native_doi": { "url": "https://doi.org/10.5281/zenodo.22160944", "source": { "document_id": "capsules", "json_pointer": "/course_native/zenodo", "jsonl_line": 35 } }, "native_repository": { "url": "https://github.com/KokunoYumeto/metode-aljabar-jilid-1-id", "source": { "document_id": "capsules", "json_pointer": "/course_native/repository", "jsonl_line": 35 } }, "native_backend_package_artifact_ids": [], "native_backend_route_evidence": "no_native_backend_package_route_exposed_in_inspected_files", "native_artifact_existence": "not_independently_observed; a missing citation does not mean an absent artifact", "native_replay_verification": "not_verified_by_this_addendum", "reported_production_replay": { "declared_status": "available_unverified", "source": { "document_id": "capsules", "json_pointer": "/layers/production/deterministic_replay_status", "jsonl_line": 35 }, "interpretation": "Capsule assertion retained; not an independently replayed result." }, "semantic_adapter_declaration": { "declared_status": "not_yet_produced", "source": { "document_id": "capsules", "json_pointer": "/layers/interoperability/semantic_adapter/status", "jsonl_line": 35 }, "central_adapter_row_present": false }, "learner_primary": { "url": "https://zenodo.org/records/22160944/files/01_metode-aljabar-jilid-1-id-lengkap.pdf?download=1", "declared_status": "available_unverified", "declared_format": "application/pdf", "bytes": null, "sha256": null, "source": { "document_id": "capsules", "json_pointer": "/layers/learner/primary", "jsonl_line": 35 }, "backend_consumption_inference": "none; a learner URL does not establish backend runtime use", "endpoint_verification": "not_performed_no_network" } } ] }, { "ordinal": 29, "family_name": "Category and Homological Methods", "role_ids": [ "D80" ], "historical_finding": { "source": { "document_id": "patterns", "json_pointer": "/families/28", "jsonl_line": null }, "methodology_source": { "document_id": "methodology", "line": 92 }, "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_declared_at_audit": "HTML reader consumption of alt descriptions is established.", "reversible_exchange_status_declared_at_audit": "Public replay is not self-contained.", "recommended_reuse": [ "source-span precision", "terminology ledger", "alt-text ledger", "reader-consumed accessibility metadata" ], "claim_specific_public_citation": "missing_in_inspected_comparison", "shared_audit_evidence_source": { "document_id": "patterns", "json_pointer": "/source_evidence", "jsonl_line": null }, "independently_supported_by_successor_package_metadata": false }, "best_metadata_route_class": "native_package_metadata_route", "native_backend_package_artifact_ids": [ "native-d80-backend" ], "additional_native_artifact_ids": [], "central_adapter_role_ids": [], "native_replay_verification": "not_verified_by_this_addendum", "role_bindings": [ { "role_id": "D80", "capsule_source": { "document_id": "capsules", "json_pointer": "", "jsonl_line": 36 }, "capsule_course_state_declared": "published", "native_edition": { "url": "https://zenodo.org/records/22167691/files/00_metode-dalam-aljabar-jilid-2-edisi-bahasa-indonesia.pdf?download=1", "source": { "document_id": "capsules", "json_pointer": "/course_native/edition", "jsonl_line": 36 } }, "native_doi": { "url": "https://doi.org/10.5281/zenodo.22167691", "source": { "document_id": "capsules", "json_pointer": "/course_native/zenodo", "jsonl_line": 36 } }, "native_repository": { "url": "https://github.com/KokunoYumeto/metode-aljabar-jilid-2-id", "source": { "document_id": "capsules", "json_pointer": "/course_native/repository", "jsonl_line": 36 } }, "native_backend_package_artifact_ids": [ "native-d80-backend" ], "native_backend_route_evidence": "hash_bound_metadata_route_exposed", "native_artifact_existence": "not_independently_observed; a missing citation does not mean an absent artifact", "native_replay_verification": "not_verified_by_this_addendum", "reported_production_replay": { "declared_status": "available_unverified", "source": { "document_id": "capsules", "json_pointer": "/layers/production/deterministic_replay_status", "jsonl_line": 36 }, "interpretation": "Capsule assertion retained; not an independently replayed result." }, "semantic_adapter_declaration": { "declared_status": "not_yet_produced", "source": { "document_id": "capsules", "json_pointer": "/layers/interoperability/semantic_adapter/status", "jsonl_line": 36 }, "central_adapter_row_present": false }, "learner_primary": { "url": "https://kokunoyumeto.github.io/metode-aljabar-jilid-2-id/", "declared_status": "available_unverified", "declared_format": "text/html", "bytes": null, "sha256": null, "source": { "document_id": "capsules", "json_pointer": "/layers/learner/primary", "jsonl_line": 36 }, "backend_consumption_inference": "none; a learner URL does not establish backend runtime use", "endpoint_verification": "not_performed_no_network" } } ] }, { "ordinal": 30, "family_name": "Advanced Optimization", "role_ids": [ "D90" ], "historical_finding": { "source": { "document_id": "patterns", "json_pointer": "/families/29", "jsonl_line": null }, "methodology_source": { "document_id": "methodology", "line": 94 }, "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_declared_at_audit": "Real multi-format delivery is established; direct common-backend consumption is not explicitly stated.", "reversible_exchange_status_declared_at_audit": "Limited reversible/external reuse evidence.", "recommended_reuse": [ "integrated assessable-course object graph", "stable identity across definitions/proofs/labs/assessments/solutions/capstone" ], "claim_specific_public_citation": "missing_in_inspected_comparison", "shared_audit_evidence_source": { "document_id": "patterns", "json_pointer": "/source_evidence", "jsonl_line": null }, "independently_supported_by_successor_package_metadata": false }, "best_metadata_route_class": "edition_repository_or_reader_pointer_only", "native_backend_package_artifact_ids": [], "additional_native_artifact_ids": [], "central_adapter_role_ids": [], "native_replay_verification": "not_verified_by_this_addendum", "role_bindings": [ { "role_id": "D90", "capsule_source": { "document_id": "capsules", "json_pointer": "", "jsonl_line": 37 }, "capsule_course_state_declared": "published", "native_edition": { "url": "https://zenodo.org/records/22142120/files/D90-O015-optimisasi-lanjut-analisis-konveks-id.pdf?download=1", "source": { "document_id": "capsules", "json_pointer": "/course_native/edition", "jsonl_line": 37 } }, "native_doi": { "url": "https://doi.org/10.5281/zenodo.22142120", "source": { "document_id": "capsules", "json_pointer": "/course_native/zenodo", "jsonl_line": 37 } }, "native_repository": { "url": "https://github.com/KokunoYumeto/advanced-optimization-convex-analysis-id", "source": { "document_id": "capsules", "json_pointer": "/course_native/repository", "jsonl_line": 37 } }, "native_backend_package_artifact_ids": [], "native_backend_route_evidence": "no_native_backend_package_route_exposed_in_inspected_files", "native_artifact_existence": "not_independently_observed; a missing citation does not mean an absent artifact", "native_replay_verification": "not_verified_by_this_addendum", "reported_production_replay": { "declared_status": "available_unverified", "source": { "document_id": "capsules", "json_pointer": "/layers/production/deterministic_replay_status", "jsonl_line": 37 }, "interpretation": "Capsule assertion retained; not an independently replayed result." }, "semantic_adapter_declaration": { "declared_status": "not_yet_produced", "source": { "document_id": "capsules", "json_pointer": "/layers/interoperability/semantic_adapter/status", "jsonl_line": 37 }, "central_adapter_row_present": false }, "learner_primary": { "url": "https://zenodo.org/records/22142120/files/D90-O015-optimisasi-lanjut-analisis-konveks-id.html?download=1", "declared_status": "available_unverified", "declared_format": "text/html", "bytes": null, "sha256": null, "source": { "document_id": "capsules", "json_pointer": "/layers/learner/primary", "jsonl_line": 37 }, "backend_consumption_inference": "none; a learner URL does not establish backend runtime use", "endpoint_verification": "not_performed_no_network" } } ] }, { "ordinal": 31, "family_name": "Algebraic Geometry", "role_ids": [ "D100" ], "historical_finding": { "source": { "document_id": "patterns", "json_pointer": "/families/30", "jsonl_line": null }, "methodology_source": { "document_id": "methodology", "line": 96 }, "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_declared_at_audit": "A 19-unit learner route exists as a nonduplicating view; the corpus is incomplete.", "reversible_exchange_status_declared_at_audit": "Terminal replay is incomplete.", "recommended_reuse": [ "authority graph plus nonduplicating learner views", "edition/release/route identity separation" ], "claim_specific_public_citation": "missing_in_inspected_comparison", "shared_audit_evidence_source": { "document_id": "patterns", "json_pointer": "/source_evidence", "jsonl_line": null }, "independently_supported_by_successor_package_metadata": false }, "best_metadata_route_class": "edition_repository_or_reader_pointer_only", "native_backend_package_artifact_ids": [], "additional_native_artifact_ids": [], "central_adapter_role_ids": [], "native_replay_verification": "not_verified_by_this_addendum", "role_bindings": [ { "role_id": "D100", "capsule_source": { "document_id": "capsules", "json_pointer": "", "jsonl_line": 38 }, "capsule_course_state_declared": "production", "native_edition": { "url": "https://zenodo.org/records/22164552/files/kurva-aljabar-id-unit-30.pdf?download=1", "source": { "document_id": "capsules", "json_pointer": "/course_native/edition", "jsonl_line": 38 } }, "native_doi": { "url": "https://doi.org/10.5281/zenodo.22164552", "source": { "document_id": "capsules", "json_pointer": "/course_native/zenodo", "jsonl_line": 38 } }, "native_repository": { "url": "https://github.com/KokunoYumeto/algebraic-geometry-bridge-id", "source": { "document_id": "capsules", "json_pointer": "/course_native/repository", "jsonl_line": 38 } }, "native_backend_package_artifact_ids": [], "native_backend_route_evidence": "no_native_backend_package_route_exposed_in_inspected_files", "native_artifact_existence": "not_independently_observed; a missing citation does not mean an absent artifact", "native_replay_verification": "not_verified_by_this_addendum", "reported_production_replay": { "declared_status": "available_unverified", "source": { "document_id": "capsules", "json_pointer": "/layers/production/deterministic_replay_status", "jsonl_line": 38 }, "interpretation": "Capsule assertion retained; not an independently replayed result." }, "semantic_adapter_declaration": { "declared_status": "not_yet_produced", "source": { "document_id": "capsules", "json_pointer": "/layers/interoperability/semantic_adapter/status", "jsonl_line": 38 }, "central_adapter_row_present": false }, "learner_primary": { "url": "https://kokunoyumeto.github.io/algebraic-geometry-bridge-id/", "declared_status": "available_unverified", "declared_format": "text/html", "bytes": null, "sha256": null, "source": { "document_id": "capsules", "json_pointer": "/layers/learner/primary", "jsonl_line": 38 }, "backend_consumption_inference": "none; a learner URL does not establish backend runtime use", "endpoint_verification": "not_performed_no_network" } } ] }, { "ordinal": 32, "family_name": "Mathematics in Lean", "role_ids": [ "D110" ], "historical_finding": { "source": { "document_id": "patterns", "json_pointer": "/families/31", "jsonl_line": null }, "methodology_source": { "document_id": "methodology", "line": 98 }, "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_declared_at_audit": "Not reported in the audited entry.", "reversible_exchange_status_declared_at_audit": "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" ], "claim_specific_public_citation": "missing_in_inspected_comparison", "shared_audit_evidence_source": { "document_id": "patterns", "json_pointer": "/source_evidence", "jsonl_line": null }, "independently_supported_by_successor_package_metadata": false }, "best_metadata_route_class": "central_adapter_route_without_native_package_route", "native_backend_package_artifact_ids": [], "additional_native_artifact_ids": [], "central_adapter_role_ids": [ "D110" ], "native_replay_verification": "not_verified_by_this_addendum", "role_bindings": [ { "role_id": "D110", "capsule_source": { "document_id": "capsules", "json_pointer": "", "jsonl_line": 39 }, "capsule_course_state_declared": "published", "native_edition": { "url": "https://zenodo.org/records/22062017/files/matematika-dalam-lean-bahasa-indonesia.pdf?download=1", "source": { "document_id": "capsules", "json_pointer": "/course_native/edition", "jsonl_line": 39 } }, "native_doi": { "url": "https://doi.org/10.5281/zenodo.22062017", "source": { "document_id": "capsules", "json_pointer": "/course_native/zenodo", "jsonl_line": 39 } }, "native_repository": { "url": "https://github.com/KokunoYumeto/mathematics-in-lean-id", "source": { "document_id": "capsules", "json_pointer": "/course_native/repository", "jsonl_line": 39 } }, "native_backend_package_artifact_ids": [], "native_backend_route_evidence": "no_native_backend_package_route_exposed_in_inspected_files", "native_artifact_existence": "not_independently_observed; a missing citation does not mean an absent artifact", "native_replay_verification": "not_verified_by_this_addendum", "reported_production_replay": { "declared_status": "verified", "source": { "document_id": "capsules", "json_pointer": "/layers/production/deterministic_replay_status", "jsonl_line": 39 }, "interpretation": "Capsule assertion retained; not an independently replayed result." }, "semantic_adapter_declaration": { "declared_status": "verified", "source": { "document_id": "capsules", "json_pointer": "/layers/interoperability/semantic_adapter/status", "jsonl_line": 39 }, "central_adapter_row_present": true }, "learner_primary": { "url": "https://kokunoyumeto.github.io/mathematics-in-lean-id/", "declared_status": "available_unverified", "declared_format": "text/html", "bytes": null, "sha256": null, "source": { "document_id": "capsules", "json_pointer": "/layers/learner/primary", "jsonl_line": 39 }, "backend_consumption_inference": "none; a learner URL does not establish backend runtime use", "endpoint_verification": "not_performed_no_network" } } ] }, { "ordinal": 33, "family_name": "Research Reproducibility", "role_ids": [ "D120" ], "historical_finding": { "source": { "document_id": "patterns", "json_pointer": "/families/32", "jsonl_line": null }, "methodology_source": { "document_id": "methodology", "line": 100 }, "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_declared_at_audit": "Accessible HTML exists, but there are zero live learner instances.", "reversible_exchange_status_declared_at_audit": "Reversibility is explicitly established.", "recommended_reuse": [ "preserved-content/semantic-wrapper separation", "locale-neutral assessment wrapper", "renderer locators", "learner-claim state", "explicit prerequisites", "immutable relations" ], "claim_specific_public_citation": "missing_in_inspected_comparison", "shared_audit_evidence_source": { "document_id": "patterns", "json_pointer": "/source_evidence", "jsonl_line": null }, "independently_supported_by_successor_package_metadata": false }, "best_metadata_route_class": "edition_repository_or_reader_pointer_only", "native_backend_package_artifact_ids": [], "additional_native_artifact_ids": [], "central_adapter_role_ids": [], "native_replay_verification": "not_verified_by_this_addendum", "role_bindings": [ { "role_id": "D120", "capsule_source": { "document_id": "capsules", "json_pointer": "", "jsonl_line": 40 }, "capsule_course_state_declared": "published", "native_edition": { "url": "https://zenodo.org/records/22073823/files/o017-d120-id-2026.08.24-reader-html.zip?download=1", "source": { "document_id": "capsules", "json_pointer": "/course_native/edition", "jsonl_line": 40 } }, "native_doi": { "url": "https://doi.org/10.5281/zenodo.22073823", "source": { "document_id": "capsules", "json_pointer": "/course_native/zenodo", "jsonl_line": 40 } }, "native_repository": { "url": "https://github.com/KokunoYumeto/kerja-matematika-yang-dapat-ditelusuri-id", "source": { "document_id": "capsules", "json_pointer": "/course_native/repository", "jsonl_line": 40 } }, "native_backend_package_artifact_ids": [], "native_backend_route_evidence": "no_native_backend_package_route_exposed_in_inspected_files", "native_artifact_existence": "not_independently_observed; a missing citation does not mean an absent artifact", "native_replay_verification": "not_verified_by_this_addendum", "reported_production_replay": { "declared_status": "available_unverified", "source": { "document_id": "capsules", "json_pointer": "/layers/production/deterministic_replay_status", "jsonl_line": 40 }, "interpretation": "Capsule assertion retained; not an independently replayed result." }, "semantic_adapter_declaration": { "declared_status": "not_yet_produced", "source": { "document_id": "capsules", "json_pointer": "/layers/interoperability/semantic_adapter/status", "jsonl_line": 40 }, "central_adapter_row_present": false }, "learner_primary": { "url": "https://kokunoyumeto.github.io/kerja-matematika-yang-dapat-ditelusuri-id/", "declared_status": "available_unverified", "declared_format": "text/html", "bytes": null, "sha256": null, "source": { "document_id": "capsules", "json_pointer": "/layers/learner/primary", "jsonl_line": 40 }, "backend_consumption_inference": "none; a learner URL does not establish backend runtime use", "endpoint_verification": "not_performed_no_network" } } ] } ], "recommended_next_addition": { "objective": "Bind each historical comparison claim to public native source/backend evidence without rewriting native backends or requiring a new central adapter.", "fields_needed": [ "claim_id", "audited_snapshot_id", "artifact_url", "artifact_bytes", "artifact_sha256", "archive_member_or_record_locator", "public_validator_or_replay_command", "sanitized_result_receipt", "historical_predecessor_successor_relationship" ], "seed": "Reuse the eight backend-package metadata routes, one source-only package, and one native release manifest indexed here.", "separate_states": [ "metadata_route_exposed", "artifact_publicly_read_back", "historical_claim_supported", "native_replay_verified", "central_adapter_admitted", "learner_consumption_demonstrated" ], "deterministic_checks": [ "33 families and 40 unique role bindings", "all claimed source pointers resolve", "exact source SHA-256 identities", "no private-only path accepted as a public receipt URL", "no successor metadata silently supports a historical claim" ], "unresolved_route_policy": "Explicit uncertainty, not an absent-artifact claim or a release hold." } }