{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:ZYRPIWRLEX22JIJ4O2MPH4KE2Q","short_pith_number":"pith:ZYRPIWRL","canonical_record":{"source":{"id":"2605.14182","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2026-05-13T23:04:51Z","cross_cats_sorted":[],"title_canon_sha256":"0603c9e93e9865e5655c3e985823194cabd70d8500c8b96f5a77ed0c39bc69e2","abstract_canon_sha256":"3b6c509d50529e545f4686db9d0001dc3d899346d2fcc3a77a7531722ba8c579"},"schema_version":"1.0"},"canonical_sha256":"ce22f45a2b25f5a4a13c7698f3f144d42eaea0857bf5cd3339f39f97d0c6586e","source":{"kind":"arxiv","id":"2605.14182","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.14182","created_at":"2026-05-17T23:39:11Z"},{"alias_kind":"arxiv_version","alias_value":"2605.14182v1","created_at":"2026-05-17T23:39:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.14182","created_at":"2026-05-17T23:39:11Z"},{"alias_kind":"pith_short_12","alias_value":"ZYRPIWRLEX22","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"ZYRPIWRLEX22JIJ4","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"ZYRPIWRL","created_at":"2026-05-18T12:33:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:ZYRPIWRLEX22JIJ4O2MPH4KE2Q","target":"record","payload":{"canonical_record":{"source":{"id":"2605.14182","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2026-05-13T23:04:51Z","cross_cats_sorted":[],"title_canon_sha256":"0603c9e93e9865e5655c3e985823194cabd70d8500c8b96f5a77ed0c39bc69e2","abstract_canon_sha256":"3b6c509d50529e545f4686db9d0001dc3d899346d2fcc3a77a7531722ba8c579"},"schema_version":"1.0"},"canonical_sha256":"ce22f45a2b25f5a4a13c7698f3f144d42eaea0857bf5cd3339f39f97d0c6586e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:39:11.236750Z","signature_b64":"kJZm8kf/REd21jTArZ4by/QBkmv5ZOkyHXhsmMvh0JScIfAEFuHRggF+H0Z+w64rWGLi3nC818sHexEZ/wciBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ce22f45a2b25f5a4a13c7698f3f144d42eaea0857bf5cd3339f39f97d0c6586e","last_reissued_at":"2026-05-17T23:39:11.236132Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:39:11.236132Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2605.14182","source_version":1,"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-05-17T23:39:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UttDuyGae9GvsTCTOVLtSMQwxfjT949ndMWzimGWQ1sFCFD9PxzBuQetslEgeq+iLU+aUDvXUALtFrg49p+XDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-22T05:21:52.504519Z"},"content_sha256":"df48a7cbf59032bb248224d433f17818b9cd7914f9b9fbe9756c911c72f9a16d","schema_version":"1.0","event_id":"sha256:df48a7cbf59032bb248224d433f17818b9cd7914f9b9fbe9756c911c72f9a16d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:ZYRPIWRLEX22JIJ4O2MPH4KE2Q","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The modal theory of linear orders","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"Modal logic on linear orders allows elimination of modalities under embeddings and monotone maps, while condensations render scatteredness definable.","cross_cats":[],"primary_cat":"math.LO","authors_text":"Wojciech Aleksander Wo{\\l}oszyn","submitted_at":"2026-05-13T23:04:51Z","abstract_excerpt":"I study the modal theory of linear orders under embeddings, monotone maps, condensations, and end-extensions. I prove modality elimination for embeddings and monotone maps, show that condensations make scatteredness modally definable, and compute exact propositional modal validities in the main cases."},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"I prove modality elimination for embeddings and monotone maps, show that condensations make scatteredness modally definable, and compute exact propositional modal validities in the main cases.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"That standard Kripke semantics on linear orders, together with the listed map classes, suffice to capture the intended modal behavior without hidden assumptions about the underlying orders or the modal language.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"Proves modality elimination for embeddings and monotone maps on linear orders, establishes modal definability of scatteredness under condensations, and computes exact modal validities.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"Modal logic on linear orders allows elimination of modalities under embeddings and monotone maps, while condensations render scatteredness definable.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"d7d953037d9a510b3f8886cf3079b67b9656b57fedc6cb00db69f7d37bd2b5e0"},"source":{"id":"2605.14182","kind":"arxiv","version":1},"verdict":{"id":"0ee232e4-9d0d-4241-aa2a-b5be28190088","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-15T01:46:01.447950Z","strongest_claim":"I prove modality elimination for embeddings and monotone maps, show that condensations make scatteredness modally definable, and compute exact propositional modal validities in the main cases.","one_line_summary":"Proves modality elimination for embeddings and monotone maps on linear orders, establishes modal definability of scatteredness under condensations, and computes exact modal validities.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"That standard Kripke semantics on linear orders, together with the listed map classes, suffice to capture the intended modal behavior without hidden assumptions about the underlying orders or the modal language.","pith_extraction_headline":"Modal logic on linear orders allows elimination of modalities under embeddings and monotone maps, while condensations render scatteredness definable."},"references":{"count":15,"sample":[{"doi":"","year":null,"title":"Patrick Blackburn and Maarten de Rijke and Yde Venema , title =","work_id":"9d470b66-14a0-4197-90b5-bd9604069e2f","ref_index":1,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":null,"title":"Alexander Chagrov and Michael Zakharyaschev , title =","work_id":"fb82bec8-2b2b-457c-bcf5-82510d11e5eb","ref_index":2,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":1966,"title":"R. A. Bull , title =. 1966 , pages =","work_id":"b6b0c045-5245-4e52-ad00-6879ae05345c","ref_index":3,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2016,"title":"2016 , note =","work_id":"c11ef4bd-f8ce-4899-8b4d-d6c0a2af2004","ref_index":4,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2024,"title":"Modal model theory , journaltitle =","work_id":"f913c106-49c3-41f9-ac14-1325ef159fe5","ref_index":5,"cited_arxiv_id":"","is_internal_anchor":false}],"resolved_work":15,"snapshot_sha256":"d3cf95e34a3e7d66d42bc0ddf88cad5baddd7bc2a18e1b6a497b30105196ce83","internal_anchors":1},"formal_canon":{"evidence_count":2,"snapshot_sha256":"405548bd69838a0cf128069baa960cfe79cfb8415372e7eec9600d7617400e0b"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":"0ee232e4-9d0d-4241-aa2a-b5be28190088"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-17T23:39:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"j9OqZppk/ic2BwUClCropNqJpXnZTnXTtW/3o1GrS9/4LjQSPF6E3ghPu+a/95f6hXfxUsCToOl4MoEnBnVsAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-22T05:21:52.505444Z"},"content_sha256":"bb18c43df8b9ab3b55e25ffc1fa0345581afbc3f466750c54ad18a013f0bc413","schema_version":"1.0","event_id":"sha256:bb18c43df8b9ab3b55e25ffc1fa0345581afbc3f466750c54ad18a013f0bc413"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZYRPIWRLEX22JIJ4O2MPH4KE2Q/bundle.json","state_url":"https://pith.science/pith/ZYRPIWRLEX22JIJ4O2MPH4KE2Q/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZYRPIWRLEX22JIJ4O2MPH4KE2Q/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-05-22T05:21:52Z","links":{"resolver":"https://pith.science/pith/ZYRPIWRLEX22JIJ4O2MPH4KE2Q","bundle":"https://pith.science/pith/ZYRPIWRLEX22JIJ4O2MPH4KE2Q/bundle.json","state":"https://pith.science/pith/ZYRPIWRLEX22JIJ4O2MPH4KE2Q/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZYRPIWRLEX22JIJ4O2MPH4KE2Q/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:ZYRPIWRLEX22JIJ4O2MPH4KE2Q","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":"3b6c509d50529e545f4686db9d0001dc3d899346d2fcc3a77a7531722ba8c579","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2026-05-13T23:04:51Z","title_canon_sha256":"0603c9e93e9865e5655c3e985823194cabd70d8500c8b96f5a77ed0c39bc69e2"},"schema_version":"1.0","source":{"id":"2605.14182","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.14182","created_at":"2026-05-17T23:39:11Z"},{"alias_kind":"arxiv_version","alias_value":"2605.14182v1","created_at":"2026-05-17T23:39:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.14182","created_at":"2026-05-17T23:39:11Z"},{"alias_kind":"pith_short_12","alias_value":"ZYRPIWRLEX22","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"ZYRPIWRLEX22JIJ4","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"ZYRPIWRL","created_at":"2026-05-18T12:33:37Z"}],"graph_snapshots":[{"event_id":"sha256:bb18c43df8b9ab3b55e25ffc1fa0345581afbc3f466750c54ad18a013f0bc413","target":"graph","created_at":"2026-05-17T23:39:11Z","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":"I prove modality elimination for embeddings and monotone maps, show that condensations make scatteredness modally definable, and compute exact propositional modal validities in the main cases."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"That standard Kripke semantics on linear orders, together with the listed map classes, suffice to capture the intended modal behavior without hidden assumptions about the underlying orders or the modal language."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"Proves modality elimination for embeddings and monotone maps on linear orders, establishes modal definability of scatteredness under condensations, and computes exact modal validities."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"Modal logic on linear orders allows elimination of modalities under embeddings and monotone maps, while condensations render scatteredness definable."}],"snapshot_sha256":"d7d953037d9a510b3f8886cf3079b67b9656b57fedc6cb00db69f7d37bd2b5e0"},"formal_canon":{"evidence_count":2,"snapshot_sha256":"405548bd69838a0cf128069baa960cfe79cfb8415372e7eec9600d7617400e0b"},"paper":{"abstract_excerpt":"I study the modal theory of linear orders under embeddings, monotone maps, condensations, and end-extensions. I prove modality elimination for embeddings and monotone maps, show that condensations make scatteredness modally definable, and compute exact propositional modal validities in the main cases.","authors_text":"Wojciech Aleksander Wo{\\l}oszyn","cross_cats":[],"headline":"Modal logic on linear orders allows elimination of modalities under embeddings and monotone maps, while condensations render scatteredness definable.","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2026-05-13T23:04:51Z","title":"The modal theory of linear orders"},"references":{"count":15,"internal_anchors":1,"resolved_work":15,"sample":[{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":1,"title":"Patrick Blackburn and Maarten de Rijke and Yde Venema , title =","work_id":"9d470b66-14a0-4197-90b5-bd9604069e2f","year":null},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":2,"title":"Alexander Chagrov and Michael Zakharyaschev , title =","work_id":"fb82bec8-2b2b-457c-bcf5-82510d11e5eb","year":null},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":3,"title":"R. A. Bull , title =. 1966 , pages =","work_id":"b6b0c045-5245-4e52-ad00-6879ae05345c","year":1966},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":4,"title":"2016 , note =","work_id":"c11ef4bd-f8ce-4899-8b4d-d6c0a2af2004","year":2016},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":5,"title":"Modal model theory , journaltitle =","work_id":"f913c106-49c3-41f9-ac14-1325ef159fe5","year":2024}],"snapshot_sha256":"d3cf95e34a3e7d66d42bc0ddf88cad5baddd7bc2a18e1b6a497b30105196ce83"},"source":{"id":"2605.14182","kind":"arxiv","version":1},"verdict":{"created_at":"2026-05-15T01:46:01.447950Z","id":"0ee232e4-9d0d-4241-aa2a-b5be28190088","model_set":{"reader":"grok-4.3"},"one_line_summary":"Proves modality elimination for embeddings and monotone maps on linear orders, establishes modal definability of scatteredness under condensations, and computes exact modal validities.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"Modal logic on linear orders allows elimination of modalities under embeddings and monotone maps, while condensations render scatteredness definable.","strongest_claim":"I prove modality elimination for embeddings and monotone maps, show that condensations make scatteredness modally definable, and compute exact propositional modal validities in the main cases.","weakest_assumption":"That standard Kripke semantics on linear orders, together with the listed map classes, suffice to capture the intended modal behavior without hidden assumptions about the underlying orders or the modal language."}},"verdict_id":"0ee232e4-9d0d-4241-aa2a-b5be28190088"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:df48a7cbf59032bb248224d433f17818b9cd7914f9b9fbe9756c911c72f9a16d","target":"record","created_at":"2026-05-17T23:39:11Z","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":"3b6c509d50529e545f4686db9d0001dc3d899346d2fcc3a77a7531722ba8c579","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2026-05-13T23:04:51Z","title_canon_sha256":"0603c9e93e9865e5655c3e985823194cabd70d8500c8b96f5a77ed0c39bc69e2"},"schema_version":"1.0","source":{"id":"2605.14182","kind":"arxiv","version":1}},"canonical_sha256":"ce22f45a2b25f5a4a13c7698f3f144d42eaea0857bf5cd3339f39f97d0c6586e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ce22f45a2b25f5a4a13c7698f3f144d42eaea0857bf5cd3339f39f97d0c6586e","first_computed_at":"2026-05-17T23:39:11.236132Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:39:11.236132Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"kJZm8kf/REd21jTArZ4by/QBkmv5ZOkyHXhsmMvh0JScIfAEFuHRggF+H0Z+w64rWGLi3nC818sHexEZ/wciBw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:39:11.236750Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.14182","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:df48a7cbf59032bb248224d433f17818b9cd7914f9b9fbe9756c911c72f9a16d","sha256:bb18c43df8b9ab3b55e25ffc1fa0345581afbc3f466750c54ad18a013f0bc413"],"state_sha256":"f63194c82d92b2d7e83964fb47d1cc9662df9a3cf99a59dd68d062a90b72e129"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+9BXeYf2UdNdr/eaoEKdvhzwimDdkkf9zOf+ipeNr4IMZCo7/00alXPMrAlBUO1l9MsguUp4izqjXT9N3jxMBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-22T05:21:52.509956Z","bundle_sha256":"cae000215d2cbb1aa9fcd9a8bbdd2fe778b28f4b52305e9f568bb2cf623c530f"}}