{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:7C5DFDRNWLPEB7TQPMKW3VUI3K","short_pith_number":"pith:7C5DFDRN","canonical_record":{"source":{"id":"1907.11573","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2019-07-26T13:41:52Z","cross_cats_sorted":[],"title_canon_sha256":"f347d1132128489844d1c3b646d6c6d1302c38bf047a203649520648df645760","abstract_canon_sha256":"d240fa325116302e5e5c8ad994f392b85f34c849430ff8b8ff48398b2f38e3da"},"schema_version":"1.0"},"canonical_sha256":"f8ba328e2db2de40fe707b156dd688da98b3d480e29f2662fc1ccbd63d818d7c","source":{"kind":"arxiv","id":"1907.11573","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1907.11573","created_at":"2026-05-17T23:39:28Z"},{"alias_kind":"arxiv_version","alias_value":"1907.11573v1","created_at":"2026-05-17T23:39:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.11573","created_at":"2026-05-17T23:39:28Z"},{"alias_kind":"pith_short_12","alias_value":"7C5DFDRNWLPE","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_16","alias_value":"7C5DFDRNWLPEB7TQ","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_8","alias_value":"7C5DFDRN","created_at":"2026-05-18T12:33:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:7C5DFDRNWLPEB7TQPMKW3VUI3K","target":"record","payload":{"canonical_record":{"source":{"id":"1907.11573","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2019-07-26T13:41:52Z","cross_cats_sorted":[],"title_canon_sha256":"f347d1132128489844d1c3b646d6c6d1302c38bf047a203649520648df645760","abstract_canon_sha256":"d240fa325116302e5e5c8ad994f392b85f34c849430ff8b8ff48398b2f38e3da"},"schema_version":"1.0"},"canonical_sha256":"f8ba328e2db2de40fe707b156dd688da98b3d480e29f2662fc1ccbd63d818d7c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:39:28.642102Z","signature_b64":"R1L/QMf2xRP7UW2Kpir/nTVps7gogQTjL6vukqqNXwhV9TWE7fSm/TiyLwR031z/kICrnULOuKej554Y6wiCDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f8ba328e2db2de40fe707b156dd688da98b3d480e29f2662fc1ccbd63d818d7c","last_reissued_at":"2026-05-17T23:39:28.641447Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:39:28.641447Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1907.11573","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:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"i2f/rgEoqWX37oo1BXLVTRXyX5bvnKe3lZxsyr4D1mxG4l6AkRGmcFMNOeMqUBLInuQWMb54iqCE4BOxdusnBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T08:06:51.408448Z"},"content_sha256":"19622667f02da7c8236a44bcfa6b7fdcd15389b4a97ff630aaa66bcdcfa6245f","schema_version":"1.0","event_id":"sha256:19622667f02da7c8236a44bcfa6b7fdcd15389b4a97ff630aaa66bcdcfa6245f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:7C5DFDRNWLPEB7TQPMKW3VUI3K","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The order type of scattered context-free orderings of rank one is computable","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Kitti Gelle, Szabolcs Ivan","submitted_at":"2019-07-26T13:41:52Z","abstract_excerpt":"A linear ordering is called context-free if it is the lexicographic ordering of some context-free language and is called scattered if it has no dense subordering. Each scattered ordering has an associated ordinal, called its rank. It is known that the isomorphism problem of scattered context-free orderings is undecidable, if one of them has a rank at least two. In this paper we show that it is decidable whether a context-free ordering has rank at most one, and if so, its order type is effectively computable."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.11573","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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-05-17T23:39:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"iPvlm1/AVRvra7fKZzA0Gdkshxnbkoq8XR2Yfur9gFCBLnx7kqjnnBW00M7DFK/sTLQXXNSNdGE2sPl+Ys/yBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T08:06:51.408780Z"},"content_sha256":"2aec2e62c7b5824e79cb221b14563893ad259f9c3fc8528ade129678f80304a7","schema_version":"1.0","event_id":"sha256:2aec2e62c7b5824e79cb221b14563893ad259f9c3fc8528ade129678f80304a7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7C5DFDRNWLPEB7TQPMKW3VUI3K/bundle.json","state_url":"https://pith.science/pith/7C5DFDRNWLPEB7TQPMKW3VUI3K/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7C5DFDRNWLPEB7TQPMKW3VUI3K/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-06-24T08:06:51Z","links":{"resolver":"https://pith.science/pith/7C5DFDRNWLPEB7TQPMKW3VUI3K","bundle":"https://pith.science/pith/7C5DFDRNWLPEB7TQPMKW3VUI3K/bundle.json","state":"https://pith.science/pith/7C5DFDRNWLPEB7TQPMKW3VUI3K/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7C5DFDRNWLPEB7TQPMKW3VUI3K/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:7C5DFDRNWLPEB7TQPMKW3VUI3K","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":"d240fa325116302e5e5c8ad994f392b85f34c849430ff8b8ff48398b2f38e3da","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2019-07-26T13:41:52Z","title_canon_sha256":"f347d1132128489844d1c3b646d6c6d1302c38bf047a203649520648df645760"},"schema_version":"1.0","source":{"id":"1907.11573","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1907.11573","created_at":"2026-05-17T23:39:28Z"},{"alias_kind":"arxiv_version","alias_value":"1907.11573v1","created_at":"2026-05-17T23:39:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.11573","created_at":"2026-05-17T23:39:28Z"},{"alias_kind":"pith_short_12","alias_value":"7C5DFDRNWLPE","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_16","alias_value":"7C5DFDRNWLPEB7TQ","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_8","alias_value":"7C5DFDRN","created_at":"2026-05-18T12:33:12Z"}],"graph_snapshots":[{"event_id":"sha256:2aec2e62c7b5824e79cb221b14563893ad259f9c3fc8528ade129678f80304a7","target":"graph","created_at":"2026-05-17T23:39:28Z","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"},"paper":{"abstract_excerpt":"A linear ordering is called context-free if it is the lexicographic ordering of some context-free language and is called scattered if it has no dense subordering. Each scattered ordering has an associated ordinal, called its rank. It is known that the isomorphism problem of scattered context-free orderings is undecidable, if one of them has a rank at least two. In this paper we show that it is decidable whether a context-free ordering has rank at most one, and if so, its order type is effectively computable.","authors_text":"Kitti Gelle, Szabolcs Ivan","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2019-07-26T13:41:52Z","title":"The order type of scattered context-free orderings of rank one is computable"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.11573","kind":"arxiv","version":1},"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:19622667f02da7c8236a44bcfa6b7fdcd15389b4a97ff630aaa66bcdcfa6245f","target":"record","created_at":"2026-05-17T23:39:28Z","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":"d240fa325116302e5e5c8ad994f392b85f34c849430ff8b8ff48398b2f38e3da","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2019-07-26T13:41:52Z","title_canon_sha256":"f347d1132128489844d1c3b646d6c6d1302c38bf047a203649520648df645760"},"schema_version":"1.0","source":{"id":"1907.11573","kind":"arxiv","version":1}},"canonical_sha256":"f8ba328e2db2de40fe707b156dd688da98b3d480e29f2662fc1ccbd63d818d7c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f8ba328e2db2de40fe707b156dd688da98b3d480e29f2662fc1ccbd63d818d7c","first_computed_at":"2026-05-17T23:39:28.641447Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:39:28.641447Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"R1L/QMf2xRP7UW2Kpir/nTVps7gogQTjL6vukqqNXwhV9TWE7fSm/TiyLwR031z/kICrnULOuKej554Y6wiCDA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:39:28.642102Z","signed_message":"canonical_sha256_bytes"},"source_id":"1907.11573","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:19622667f02da7c8236a44bcfa6b7fdcd15389b4a97ff630aaa66bcdcfa6245f","sha256:2aec2e62c7b5824e79cb221b14563893ad259f9c3fc8528ade129678f80304a7"],"state_sha256":"4ca2bc3c3d95661e988d036a207a30175a97d02fb2ea8ea7f5968bbefd8bc788"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZT3DSKdNFWx5tkUZ6JyjDE3ByQFqFjCsNCoH4oCOJexEHZ+kiU9FW/6Cv5jrpuFks2wb4xZS+ZGoYuazCU3fAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-24T08:06:51.410595Z","bundle_sha256":"d3ec233411ac755138cc9b2e002562ffa04900edd4606bf514ad7eb00062e1a0"}}