{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:MXTCRUCUI6ZWWPJ6S6IH73LBA7","short_pith_number":"pith:MXTCRUCU","canonical_record":{"source":{"id":"1506.00479","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2015-06-01T12:53:56Z","cross_cats_sorted":[],"title_canon_sha256":"fe6f26604adbd3bf24188cbb083b06d5b179cc2965e3e4dccf965e1e493271ee","abstract_canon_sha256":"3cba7c2fda030ff248cfe6a071f3988e0d3f095b943db7455661a600d91fe890"},"schema_version":"1.0"},"canonical_sha256":"65e628d05447b36b3d3e97907fed6107c2767770a30342bb02c26d8e4e685f46","source":{"kind":"arxiv","id":"1506.00479","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1506.00479","created_at":"2026-05-18T01:59:54Z"},{"alias_kind":"arxiv_version","alias_value":"1506.00479v1","created_at":"2026-05-18T01:59:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1506.00479","created_at":"2026-05-18T01:59:54Z"},{"alias_kind":"pith_short_12","alias_value":"MXTCRUCUI6ZW","created_at":"2026-05-18T12:29:32Z"},{"alias_kind":"pith_short_16","alias_value":"MXTCRUCUI6ZWWPJ6","created_at":"2026-05-18T12:29:32Z"},{"alias_kind":"pith_short_8","alias_value":"MXTCRUCU","created_at":"2026-05-18T12:29:32Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:MXTCRUCUI6ZWWPJ6S6IH73LBA7","target":"record","payload":{"canonical_record":{"source":{"id":"1506.00479","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2015-06-01T12:53:56Z","cross_cats_sorted":[],"title_canon_sha256":"fe6f26604adbd3bf24188cbb083b06d5b179cc2965e3e4dccf965e1e493271ee","abstract_canon_sha256":"3cba7c2fda030ff248cfe6a071f3988e0d3f095b943db7455661a600d91fe890"},"schema_version":"1.0"},"canonical_sha256":"65e628d05447b36b3d3e97907fed6107c2767770a30342bb02c26d8e4e685f46","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:59:54.431155Z","signature_b64":"p5IVS16hm87zMRCC4hCCyPMdR+1ssnTR6HS3wlcVtNzUlZfSTd2TdRmYt17jGxgaCPwXuLFYRdK/RFxRNx+VBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"65e628d05447b36b3d3e97907fed6107c2767770a30342bb02c26d8e4e685f46","last_reissued_at":"2026-05-18T01:59:54.430472Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:59:54.430472Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1506.00479","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-18T01:59:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gDbJi3e6eC6wB6OJ3YWU6Sq0eULiCeUNzcJXV19eUblv+o2+AxdB87bgtFrASz3eatFDR3FTOy4nEVV1A9z5Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T12:57:04.080882Z"},"content_sha256":"7ceb73fd090e010cee6c7a21553d9facaa15b834c75b3c222a1ee48cb1fc3365","schema_version":"1.0","event_id":"sha256:7ceb73fd090e010cee6c7a21553d9facaa15b834c75b3c222a1ee48cb1fc3365"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:MXTCRUCUI6ZWWPJ6S6IH73LBA7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Constraint Satisfaction and Semilinear Expansions of Addition over the Rationals and the Reals","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CC","authors_text":"Johan Thapper, Peter Jonsson","submitted_at":"2015-06-01T12:53:56Z","abstract_excerpt":"A semilinear relation is a finite union of finite intersections of open and closed half-spaces over, for instance, the reals, the rationals, or the integers. Semilinear relations have been studied in connection with algebraic geometry, automata theory, and spatiotemporal reasoning. We consider semilinear relations over the rationals and the reals. Under this assumption, the computational complexity of the constraint satisfaction problem (CSP) is known for all finite sets containing R+={(x,y,z) | x+y=z}, <=, and {1}. These problems correspond to expansions of the linear programming feasibility "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1506.00479","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-18T01:59:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lTSmHDF1oA7YOa4SougBfL7cUV+PgqEVAA3wX/rKwLRNoqtmGNd5wpVs03tqB4SaCwNnpTVwQjQUHMveYlRdAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T12:57:04.081534Z"},"content_sha256":"90e38553bd10c7cd09f20980bd82f6585516347e61b3491f34a09d96cb90c85b","schema_version":"1.0","event_id":"sha256:90e38553bd10c7cd09f20980bd82f6585516347e61b3491f34a09d96cb90c85b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MXTCRUCUI6ZWWPJ6S6IH73LBA7/bundle.json","state_url":"https://pith.science/pith/MXTCRUCUI6ZWWPJ6S6IH73LBA7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MXTCRUCUI6ZWWPJ6S6IH73LBA7/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-27T12:57:04Z","links":{"resolver":"https://pith.science/pith/MXTCRUCUI6ZWWPJ6S6IH73LBA7","bundle":"https://pith.science/pith/MXTCRUCUI6ZWWPJ6S6IH73LBA7/bundle.json","state":"https://pith.science/pith/MXTCRUCUI6ZWWPJ6S6IH73LBA7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MXTCRUCUI6ZWWPJ6S6IH73LBA7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:MXTCRUCUI6ZWWPJ6S6IH73LBA7","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":"3cba7c2fda030ff248cfe6a071f3988e0d3f095b943db7455661a600d91fe890","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2015-06-01T12:53:56Z","title_canon_sha256":"fe6f26604adbd3bf24188cbb083b06d5b179cc2965e3e4dccf965e1e493271ee"},"schema_version":"1.0","source":{"id":"1506.00479","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1506.00479","created_at":"2026-05-18T01:59:54Z"},{"alias_kind":"arxiv_version","alias_value":"1506.00479v1","created_at":"2026-05-18T01:59:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1506.00479","created_at":"2026-05-18T01:59:54Z"},{"alias_kind":"pith_short_12","alias_value":"MXTCRUCUI6ZW","created_at":"2026-05-18T12:29:32Z"},{"alias_kind":"pith_short_16","alias_value":"MXTCRUCUI6ZWWPJ6","created_at":"2026-05-18T12:29:32Z"},{"alias_kind":"pith_short_8","alias_value":"MXTCRUCU","created_at":"2026-05-18T12:29:32Z"}],"graph_snapshots":[{"event_id":"sha256:90e38553bd10c7cd09f20980bd82f6585516347e61b3491f34a09d96cb90c85b","target":"graph","created_at":"2026-05-18T01:59:54Z","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 semilinear relation is a finite union of finite intersections of open and closed half-spaces over, for instance, the reals, the rationals, or the integers. Semilinear relations have been studied in connection with algebraic geometry, automata theory, and spatiotemporal reasoning. We consider semilinear relations over the rationals and the reals. Under this assumption, the computational complexity of the constraint satisfaction problem (CSP) is known for all finite sets containing R+={(x,y,z) | x+y=z}, <=, and {1}. These problems correspond to expansions of the linear programming feasibility ","authors_text":"Johan Thapper, Peter Jonsson","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2015-06-01T12:53:56Z","title":"Constraint Satisfaction and Semilinear Expansions of Addition over the Rationals and the Reals"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1506.00479","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:7ceb73fd090e010cee6c7a21553d9facaa15b834c75b3c222a1ee48cb1fc3365","target":"record","created_at":"2026-05-18T01:59:54Z","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":"3cba7c2fda030ff248cfe6a071f3988e0d3f095b943db7455661a600d91fe890","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2015-06-01T12:53:56Z","title_canon_sha256":"fe6f26604adbd3bf24188cbb083b06d5b179cc2965e3e4dccf965e1e493271ee"},"schema_version":"1.0","source":{"id":"1506.00479","kind":"arxiv","version":1}},"canonical_sha256":"65e628d05447b36b3d3e97907fed6107c2767770a30342bb02c26d8e4e685f46","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"65e628d05447b36b3d3e97907fed6107c2767770a30342bb02c26d8e4e685f46","first_computed_at":"2026-05-18T01:59:54.430472Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:59:54.430472Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"p5IVS16hm87zMRCC4hCCyPMdR+1ssnTR6HS3wlcVtNzUlZfSTd2TdRmYt17jGxgaCPwXuLFYRdK/RFxRNx+VBw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:59:54.431155Z","signed_message":"canonical_sha256_bytes"},"source_id":"1506.00479","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7ceb73fd090e010cee6c7a21553d9facaa15b834c75b3c222a1ee48cb1fc3365","sha256:90e38553bd10c7cd09f20980bd82f6585516347e61b3491f34a09d96cb90c85b"],"state_sha256":"63161541d65ce4aa8934d1e5be6dff1ea06eaa986740bb0ff7e61a21d1f89ee8"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YAN0WGpeV4e0ytxyZInCU5PWPaoWuV6XDp+t9RJepKDuhqOQuz7ZnZ+EYTSb5TUAACDLg61qchIvEMiBPBZJCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T12:57:04.084757Z","bundle_sha256":"2ba73a8af487804bed0e16db2f2cd78705c69787244f68e6587af0d2ee2a4369"}}