{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:OK6IGPM6DWFRSE77MNS2ZE6PVO","short_pith_number":"pith:OK6IGPM6","canonical_record":{"source":{"id":"2511.18545","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.AG","submitted_at":"2025-11-23T17:25:25Z","cross_cats_sorted":[],"title_canon_sha256":"f7fd2a8a14c3b4a0f21a49567ecb049b0bc34305e7d1eed70e06e22232983a6c","abstract_canon_sha256":"e19079127188ef9fcd9255e12628d92cea4f6608030b8c2e68f81494f038bd61"},"schema_version":"1.0"},"canonical_sha256":"72bc833d9e1d8b1913ff6365ac93cfabac10a922aec9f6ee071e37ed2d73d551","source":{"kind":"arxiv","id":"2511.18545","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2511.18545","created_at":"2026-06-09T02:07:13Z"},{"alias_kind":"arxiv_version","alias_value":"2511.18545v4","created_at":"2026-06-09T02:07:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2511.18545","created_at":"2026-06-09T02:07:13Z"},{"alias_kind":"pith_short_12","alias_value":"OK6IGPM6DWFR","created_at":"2026-06-09T02:07:13Z"},{"alias_kind":"pith_short_16","alias_value":"OK6IGPM6DWFRSE77","created_at":"2026-06-09T02:07:13Z"},{"alias_kind":"pith_short_8","alias_value":"OK6IGPM6","created_at":"2026-06-09T02:07:13Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:OK6IGPM6DWFRSE77MNS2ZE6PVO","target":"record","payload":{"canonical_record":{"source":{"id":"2511.18545","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.AG","submitted_at":"2025-11-23T17:25:25Z","cross_cats_sorted":[],"title_canon_sha256":"f7fd2a8a14c3b4a0f21a49567ecb049b0bc34305e7d1eed70e06e22232983a6c","abstract_canon_sha256":"e19079127188ef9fcd9255e12628d92cea4f6608030b8c2e68f81494f038bd61"},"schema_version":"1.0"},"canonical_sha256":"72bc833d9e1d8b1913ff6365ac93cfabac10a922aec9f6ee071e37ed2d73d551","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-09T02:07:13.729977Z","signature_b64":"3DQeeng2A4cXJzK/d7mW4+Wb/jCNIsdxpBYJd/YYD2/3fdSrF9rk1RKBu1GPXgzbThBi/k+NAa5wrSDSqPCYAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"72bc833d9e1d8b1913ff6365ac93cfabac10a922aec9f6ee071e37ed2d73d551","last_reissued_at":"2026-06-09T02:07:13.728826Z","signature_status":"signed_v1","first_computed_at":"2026-06-09T02:07:13.728826Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2511.18545","source_version":4,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-06-09T02:07:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LddKg5uaqTsn/y0l2GxozgX3zr5xD7miJPscmJmxyfdFjCuUDE1u2x09EWId7V3L7/1lTWxhI2OeII4mzpbzBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T11:18:34.728104Z"},"content_sha256":"b72bb09d25e4ed9f3eb105a7a86347b5d37e9807c44261304957a7cbe9859f17","schema_version":"1.0","event_id":"sha256:b72bb09d25e4ed9f3eb105a7a86347b5d37e9807c44261304957a7cbe9859f17"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:OK6IGPM6DWFRSE77MNS2ZE6PVO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On finiteness properties of separating semigroup of real curve","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"math.AG","authors_text":"Matthew Magin","submitted_at":"2025-11-23T17:25:25Z","abstract_excerpt":"A real morphism $f$ from a real algebraic curve $X$ to $\\mathbb{P}^1$ is called separating if $f^{-1}(\\mathbb{R} \\mathbb{P}^1) = \\mathbb{R} X$. A separating morphism defines a covering $\\mathbb{R} X \\to \\mathbb{R} \\mathbb{P}^1$. Let $X_1, \\ldots, X_r$ denote the components of $\\mathbb{R} X$. M. Kummer and K. Shaw defined the separating semigroup of a curve $X$ as the set of all vectors $d(f) = (d_1(f), \\ldots, d_r(f)) \\in \\mathbb{N}^{r}$ where $f$ is a separating morphism $X \\to \\mathbb{P}^1$ and $d_i(f)$ is the degree of the restriction of $f$ to $X_i$.\n  In the present paper we prove that fo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2511.18545","kind":"arxiv","version":4},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2511.18545/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-06-09T02:07:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0yizS7ks13wbKuKL5bU1Ex2YW4rJTLI20pH6sqC2fOvYnyvjW8xdZq2zE9moLKA+ludZLcB6nog0tj/EwOpbAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T11:18:34.729226Z"},"content_sha256":"16c55ea811c7179dffc748c2fca2a5c7d7efe3943519a30122d1aa4f013a3e12","schema_version":"1.0","event_id":"sha256:16c55ea811c7179dffc748c2fca2a5c7d7efe3943519a30122d1aa4f013a3e12"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OK6IGPM6DWFRSE77MNS2ZE6PVO/bundle.json","state_url":"https://pith.science/pith/OK6IGPM6DWFRSE77MNS2ZE6PVO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OK6IGPM6DWFRSE77MNS2ZE6PVO/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-16T11:18:34Z","links":{"resolver":"https://pith.science/pith/OK6IGPM6DWFRSE77MNS2ZE6PVO","bundle":"https://pith.science/pith/OK6IGPM6DWFRSE77MNS2ZE6PVO/bundle.json","state":"https://pith.science/pith/OK6IGPM6DWFRSE77MNS2ZE6PVO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OK6IGPM6DWFRSE77MNS2ZE6PVO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:OK6IGPM6DWFRSE77MNS2ZE6PVO","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":"e19079127188ef9fcd9255e12628d92cea4f6608030b8c2e68f81494f038bd61","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.AG","submitted_at":"2025-11-23T17:25:25Z","title_canon_sha256":"f7fd2a8a14c3b4a0f21a49567ecb049b0bc34305e7d1eed70e06e22232983a6c"},"schema_version":"1.0","source":{"id":"2511.18545","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2511.18545","created_at":"2026-06-09T02:07:13Z"},{"alias_kind":"arxiv_version","alias_value":"2511.18545v4","created_at":"2026-06-09T02:07:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2511.18545","created_at":"2026-06-09T02:07:13Z"},{"alias_kind":"pith_short_12","alias_value":"OK6IGPM6DWFR","created_at":"2026-06-09T02:07:13Z"},{"alias_kind":"pith_short_16","alias_value":"OK6IGPM6DWFRSE77","created_at":"2026-06-09T02:07:13Z"},{"alias_kind":"pith_short_8","alias_value":"OK6IGPM6","created_at":"2026-06-09T02:07:13Z"}],"graph_snapshots":[{"event_id":"sha256:16c55ea811c7179dffc748c2fca2a5c7d7efe3943519a30122d1aa4f013a3e12","target":"graph","created_at":"2026-06-09T02:07:13Z","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":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2511.18545/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"A real morphism $f$ from a real algebraic curve $X$ to $\\mathbb{P}^1$ is called separating if $f^{-1}(\\mathbb{R} \\mathbb{P}^1) = \\mathbb{R} X$. A separating morphism defines a covering $\\mathbb{R} X \\to \\mathbb{R} \\mathbb{P}^1$. Let $X_1, \\ldots, X_r$ denote the components of $\\mathbb{R} X$. M. Kummer and K. Shaw defined the separating semigroup of a curve $X$ as the set of all vectors $d(f) = (d_1(f), \\ldots, d_r(f)) \\in \\mathbb{N}^{r}$ where $f$ is a separating morphism $X \\to \\mathbb{P}^1$ and $d_i(f)$ is the degree of the restriction of $f$ to $X_i$.\n  In the present paper we prove that fo","authors_text":"Matthew Magin","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.AG","submitted_at":"2025-11-23T17:25:25Z","title":"On finiteness properties of separating semigroup of real curve"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2511.18545","kind":"arxiv","version":4},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:b72bb09d25e4ed9f3eb105a7a86347b5d37e9807c44261304957a7cbe9859f17","target":"record","created_at":"2026-06-09T02:07:13Z","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":"e19079127188ef9fcd9255e12628d92cea4f6608030b8c2e68f81494f038bd61","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.AG","submitted_at":"2025-11-23T17:25:25Z","title_canon_sha256":"f7fd2a8a14c3b4a0f21a49567ecb049b0bc34305e7d1eed70e06e22232983a6c"},"schema_version":"1.0","source":{"id":"2511.18545","kind":"arxiv","version":4}},"canonical_sha256":"72bc833d9e1d8b1913ff6365ac93cfabac10a922aec9f6ee071e37ed2d73d551","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"72bc833d9e1d8b1913ff6365ac93cfabac10a922aec9f6ee071e37ed2d73d551","first_computed_at":"2026-06-09T02:07:13.728826Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-09T02:07:13.728826Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"3DQeeng2A4cXJzK/d7mW4+Wb/jCNIsdxpBYJd/YYD2/3fdSrF9rk1RKBu1GPXgzbThBi/k+NAa5wrSDSqPCYAA==","signature_status":"signed_v1","signed_at":"2026-06-09T02:07:13.729977Z","signed_message":"canonical_sha256_bytes"},"source_id":"2511.18545","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b72bb09d25e4ed9f3eb105a7a86347b5d37e9807c44261304957a7cbe9859f17","sha256:16c55ea811c7179dffc748c2fca2a5c7d7efe3943519a30122d1aa4f013a3e12"],"state_sha256":"1ff5a5e236c95a8194c3f7278c49452dd6a425862defc17a51fbd94a4bf269ac"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4nXU8BJRsxwiv2YFV5Zvj65x6DHmcO7M1nZUz9kh57E+L378EVkT76eu0HQr5ltLkj0Vg/0bjEKXelx4l92lAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-16T11:18:34.736596Z","bundle_sha256":"a436c045f4ab8c70eefe39983d1a155d553e1721cbf5aeac85305371c76779be"}}