{ "catalog_sha256_by_recorded_version": { "v27": "481a9a378e54dc389422819587e8377a07b63a0d5d50286ffdfd28f0c4bdb2e6" }, "per_theorem": [ { "name": "finite_bit_entry_cases", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD0001" }, { "name": "finite_bit_membership_decidable", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD0002" }, { "name": "finite_bit_count_positive_member", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD0003" }, { "name": "finite_bit_subset_pointwise_le", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD0004" }, { "name": "finite_bit_count_subset_le", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD0005" }, { "name": "finite_add_le_add", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD0006" }, { "name": "finite_add_lt_of_lt_of_le", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD0007" }, { "name": "finite_add_lt_of_le_of_lt", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD0008" }, { "name": "finite_sum_entry_le", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD0009" }, { "name": "finite_bit_member_count_nonzero", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD000A" }, { "name": "finite_sum_pointwise_strict_at", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD000B" }, { "name": "finite_bit_count_proper_subset_lt", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD000C" }, { "name": "finite_bit_count_missing_zero", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD000D" }, { "name": "finite_bit_count_two_nonzero_member", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD000E" }, { "name": "finite_sum_pointwise_balance", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD000F" }, { "name": "finite_bit_product_cases", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD0010" }, { "name": "finite_bit_intersection_from_product", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD0011" }, { "name": "finite_bit_intersection_exists", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD0012" }, { "name": "finite_bit_complement_exists", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD0013" }, { "name": "finite_bit_complement_member_iff", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD0014" }, { "name": "finite_bit_union_of_complements", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD0015" }, { "name": "finite_bit_union_exists", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD0016" }, { "name": "finite_bit_zero_one_conflict", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD0017" }, { "name": "finite_beta_value_one_iff", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD0018" }, { "name": "finite_bit_nonmember_zero", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD0019" }, { "name": "finite_bit_union_intersection_values", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD001A" }, { "name": "finite_bit_union_intersection_count_balance", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD001B" }, { "name": "finite_beta_composition_exists", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD001C" }, { "name": "finite_modular_translation_indices_exists", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD001D" }, { "name": "finite_modular_translation_index_entry", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD001E" }, { "name": "finite_modular_translation_indices_permutation", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD001F" }, { "name": "finite_modular_composition_all_bits", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD0020" }, { "name": "finite_modular_composition_pullback", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD0021" }, { "name": "finite_modular_set_pullback_exists", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD0022" }, { "name": "finite_bit_zero_nonmember", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD0023" }, { "name": "finite_modular_residue_exists", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD0024" }, { "name": "finite_modular_additive_complement", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD0025" }, { "name": "finite_modular_inverse_shift", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD0026" }, { "name": "finite_modular_pullback_membership_witness", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD0027" }, { "name": "finite_modular_pushforward_membership_witness", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD0028" }, { "name": "finite_modular_shifted_sum_congruence", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD0029" }, { "name": "finite_beta_zero_code", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD002A" }, { "name": "finite_bit_empty_count", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD002B" }, { "name": "finite_partial_sumset_empty", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD002C" }, { "name": "finite_partial_sumset_succ_absent", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD002D" }, { "name": "finite_partial_sumset_succ_present", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD002E" }, { "name": "finite_modular_sumset_prefix_exists", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD002F" }, { "name": "finite_modular_sumset_exists", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD0030" }, { "name": "finite_modular_sumset_cover", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD0031" }, { "name": "finite_modular_add_modulus", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD0032" }, { "name": "prime_modular_additive_orbit_hits", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD0033" }, { "name": "finite_modular_orbit_member_or_boundary", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD0034" }, { "name": "prime_modular_set_translation_boundary_exists", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD0035" }, { "name": "finite_modular_dyson_upper_from_union", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD0036" }, { "name": "finite_modular_dyson_lower_from_pullback", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD0037" }, { "name": "finite_modular_dyson_transform_exists", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD0038" }, { "name": "finite_modular_dyson_upper_member", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD0039" }, { "name": "finite_modular_dyson_lower_subset", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD003A" }, { "name": "finite_modular_dyson_lower_zero_member", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD003B" }, { "name": "finite_modular_dyson_lower_boundary_nonmember", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD003C" }, { "name": "finite_modular_dyson_sum_cover", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD003D" }, { "name": "finite_modular_dyson_strict_sizes", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD003E" }, { "name": "finite_modular_zero_sum_left_subset", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD003F" }, { "name": "finite_modular_singleton_cover_bound", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD0040" }, { "name": "prime_modular_normalized_boundary_exists", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD0041" }, { "name": "prime_cauchy_davenport_normalized_bounded_induction", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD0042" }, { "name": "prime_cauchy_davenport_normalized_cover_bound", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD0043" }, { "name": "finite_modular_pullback_zero_member", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD0044" }, { "name": "finite_modular_opposite_translates_sum_cover", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD0045" }, { "name": "prime_cauchy_davenport_cover_bound", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD0046" }, { "name": "prime_cauchy_davenport_sumset_bound", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD0047" }, { "name": "prime_cauchy_davenport_sumset_exists", "recorded_authority": { "admitted_to_alpha": true, "admitted_to_stable": false, "alpha_checked_use": true, "alpha_evidence": "alpha_closed", "checked_use": true, "enrolled_in_alpha": true, "stable_member": false }, "recorded_first_version": "v27", "tag": "CD0048" } ], "policy": "preserve_recorded_first_admission_without_inferring_it_from_current_or_proof_editions", "schema": "peano-lab-historical-first-admission-v1", "source_corpus": { "bytes": 1992206, "path": "book/_static/constructive-second-wave-explorer-v30/cauchy-davenport/api/corpus.json", "sha256": "26695c3395431e7c215f7eef4f56b7988cf4950dc96d914f70bf78d8fb8da677" }, "source_corpus_fields": { "alpha_first_enrolled_version": "v27", "alpha_first_enrollment_catalog_sha256": "481a9a378e54dc389422819587e8377a07b63a0d5d50286ffdfd28f0c4bdb2e6" }, "source_family_fields": {}, "source_manifest": { "bytes": 199909, "path": "book/_static/constructive-second-wave-explorer-v30/manifest.json", "sha256": "502bc77536b7ec5b7bfc14a0f140e43eef59d4943083edbf861527cbb3a1c5ca" }, "source_manifest_fields": { "alpha_first_enrolled_version": "v27", "first_enrollment_catalog_sha256": "481a9a378e54dc389422819587e8377a07b63a0d5d50286ffdfd28f0c4bdb2e6" } }