{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:OV7EM5LVHM7QEZENNJ6VRMMF2U","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"e077de6029f50be24808ffffbae67cab845ea878e86ff8c65c7c31e6cfce817a","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.GN","submitted_at":"2026-05-18T11:10:42Z","title_canon_sha256":"773ddddef2a65e0ac060966b75ab6c16f1ef650d0014e90e5a8f37c2245774df"},"schema_version":"1.0","source":{"id":"2605.18225","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.18225","created_at":"2026-05-20T00:05:51Z"},{"alias_kind":"arxiv_version","alias_value":"2605.18225v1","created_at":"2026-05-20T00:05:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.18225","created_at":"2026-05-20T00:05:51Z"},{"alias_kind":"pith_short_12","alias_value":"OV7EM5LVHM7Q","created_at":"2026-05-20T00:05:51Z"},{"alias_kind":"pith_short_16","alias_value":"OV7EM5LVHM7QEZEN","created_at":"2026-05-20T00:05:51Z"},{"alias_kind":"pith_short_8","alias_value":"OV7EM5LV","created_at":"2026-05-20T00:05:51Z"}],"graph_snapshots":[{"event_id":"sha256:b62e3c409b24fbd59324b30769c9ef30addda24f02e2cf61f2889c4d5d479412","target":"graph","created_at":"2026-05-20T00:05:51Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":4,"items":[{"attestation":"unclaimed","claim_id":"C1","kind":"strongest_claim","source":"verdict.strongest_claim","status":"machine_extracted","text":"We decide to explore some conditions, such as countable compactness, pseudocompactness and pseudocompleteness, and see in which circumstances a general complete uniform space satisfies the Baire property."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The premise that the Baire property does not hold automatically for complete uniform spaces (unlike the pseudometric case) and that the listed conditions are the relevant ones to check; this enters in the abstract's contrast between metric and uniform settings."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"The paper surveys conditions such as countable compactness, pseudocompactness, and pseudocompleteness for when complete uniform spaces satisfy the Baire property."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"Complete uniform spaces do not automatically satisfy the Baire property unlike complete pseudometric spaces."}],"snapshot_sha256":"de5d9028cb345ae018837889fdaa3e92abb97e71428a241fe93a28f59daaab2c"},"formal_canon":{"evidence_count":1,"snapshot_sha256":"2bd6ff244ecfd9f2dbce16325a79987bdf66a41bca29a005132bf049523aed03"},"integrity":{"available":true,"clean":true,"detectors_run":[{"findings_count":0,"name":"doi_compliance","ran_at":"2026-05-20T00:03:17.647599Z","status":"completed","version":"1.0.0"},{"findings_count":0,"name":"doi_title_agreement","ran_at":"2026-05-20T00:01:20.532662Z","status":"completed","version":"1.0.0"},{"findings_count":0,"name":"claim_evidence","ran_at":"2026-05-19T23:41:58.946796Z","status":"completed","version":"1.0.0"},{"findings_count":0,"name":"ai_meta_artifact","ran_at":"2026-05-19T23:33:35.297020Z","status":"skipped","version":"1.0.0"}],"endpoint":"/pith/2605.18225/integrity.json","findings":[],"snapshot_sha256":"2f2af81d5539f0df3f69c90d0337c0c2313eb1b415573876cc4a5696b336e54f","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The Baire category theorem states that every complete pseudometric space is a Baire space. There are some results in metric spaces which have their analogue in uniform spaces, however this is not one of them. Nonetheless, since the Baire property is always desirable, we decide to explore some conditions, such as countable compacity, pseudocompacity and pseudocompleteness, and see in which circumstances a general complete uniform space satisfies the Baire property.","authors_text":"\\'Alvaro Garc\\'ia Zambrano, Fernando Rambla Barreno, Francisco Javier Garc\\'ia Pacheco","cross_cats":[],"headline":"Complete uniform spaces do not automatically satisfy the Baire property unlike complete pseudometric spaces.","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.GN","submitted_at":"2026-05-18T11:10:42Z","title":"The Baire property in uniform spaces: a survey"},"references":{"count":11,"internal_anchors":0,"resolved_work":11,"sample":[{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":1,"title":"I. M. James,Introduction to Uniform Spaces, Fields Institute Monographs, Springer New York, 2012","work_id":"23c93021-f598-4252-ab8e-1705b0ee66f2","year":2012},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":2,"title":"Willard,General Topology, Courier Corporation, 2004","work_id":"1b28b613-83ce-4502-bf95-66dd8277bdaf","year":2004},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":3,"title":"J. L. Kelley,General Topology, Springer, New York, 1955","work_id":"766aa8ae-9962-44ef-8f06-c5100a2084fd","year":1955},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":4,"title":"Engelking,General Topology, Sigma Series in Pure Mathematics, Vol","work_id":"76cca7fe-03e0-4105-84cc-80c34d1d94ad","year":1989},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":5,"title":"Quasiregular, pseudocomplete, and Baire spaces","work_id":"4513e724-be53-47f7-82c9-64759dffd50d","year":1981}],"snapshot_sha256":"70151e0f3cf9f57472c2cd171c7c3603fb41a4bd69bd64cc1e0f88656caebbad"},"source":{"id":"2605.18225","kind":"arxiv","version":1},"verdict":{"created_at":"2026-05-19T23:57:27.974763Z","id":"b099cef7-9375-4f90-a2c5-e9eaa813c9dc","model_set":{"reader":"grok-4.3"},"one_line_summary":"The paper surveys conditions such as countable compactness, pseudocompactness, and pseudocompleteness for when complete uniform spaces satisfy the Baire property.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"Complete uniform spaces do not automatically satisfy the Baire property unlike complete pseudometric spaces.","strongest_claim":"We decide to explore some conditions, such as countable compactness, pseudocompactness and pseudocompleteness, and see in which circumstances a general complete uniform space satisfies the Baire property.","weakest_assumption":"The premise that the Baire property does not hold automatically for complete uniform spaces (unlike the pseudometric case) and that the listed conditions are the relevant ones to check; this enters in the abstract's contrast between metric and uniform settings."}},"verdict_id":"b099cef7-9375-4f90-a2c5-e9eaa813c9dc"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:b3f90361f6863d3417375bfc9045d3d4e0aee885e311c0e4d494870e8424dba6","target":"record","created_at":"2026-05-20T00:05:51Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"e077de6029f50be24808ffffbae67cab845ea878e86ff8c65c7c31e6cfce817a","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.GN","submitted_at":"2026-05-18T11:10:42Z","title_canon_sha256":"773ddddef2a65e0ac060966b75ab6c16f1ef650d0014e90e5a8f37c2245774df"},"schema_version":"1.0","source":{"id":"2605.18225","kind":"arxiv","version":1}},"canonical_sha256":"757e4675753b3f02648d6a7d58b185d5217c18d829e009afb6cfb7462c78463c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"757e4675753b3f02648d6a7d58b185d5217c18d829e009afb6cfb7462c78463c","first_computed_at":"2026-05-20T00:05:51.264377Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-20T00:05:51.264377Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"rnS40POi7Nw3tzZHqE09jRuRXmIUxE177nBfvOSIgafAEjKvi822AF97oqDTZOGBaD5IJwkmzklHPZQJDKYMBQ==","signature_status":"signed_v1","signed_at":"2026-05-20T00:05:51.264989Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.18225","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b3f90361f6863d3417375bfc9045d3d4e0aee885e311c0e4d494870e8424dba6","sha256:b62e3c409b24fbd59324b30769c9ef30addda24f02e2cf61f2889c4d5d479412"],"state_sha256":"ba25a442b4f94b19abbaaddfc35397b6a2b4e85b1ad599cb9f6b145fffcbd641"}