{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:G2MS77BHKUGD5KCL7XAFTYKYOF","short_pith_number":"pith:G2MS77BH","canonical_record":{"source":{"id":"2508.00512","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SC","submitted_at":"2025-08-01T10:45:24Z","cross_cats_sorted":[],"title_canon_sha256":"34ed96f95a3737f1dc2eba7309cd572afa05197e9eae8e9347ed1008d13d8274","abstract_canon_sha256":"796f8b7573e6e1fdc42892204eb66e9a26067b8d07d36e38c3022dfd90c27c3e"},"schema_version":"1.0"},"canonical_sha256":"36992ffc27550c3ea84bfdc059e158714af1a590c680f0637faad643b2a196eb","source":{"kind":"arxiv","id":"2508.00512","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.00512","created_at":"2026-07-05T11:46:57Z"},{"alias_kind":"arxiv_version","alias_value":"2508.00512v1","created_at":"2026-07-05T11:46:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.00512","created_at":"2026-07-05T11:46:57Z"},{"alias_kind":"pith_short_12","alias_value":"G2MS77BHKUGD","created_at":"2026-07-05T11:46:57Z"},{"alias_kind":"pith_short_16","alias_value":"G2MS77BHKUGD5KCL","created_at":"2026-07-05T11:46:57Z"},{"alias_kind":"pith_short_8","alias_value":"G2MS77BH","created_at":"2026-07-05T11:46:57Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:G2MS77BHKUGD5KCL7XAFTYKYOF","target":"record","payload":{"canonical_record":{"source":{"id":"2508.00512","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SC","submitted_at":"2025-08-01T10:45:24Z","cross_cats_sorted":[],"title_canon_sha256":"34ed96f95a3737f1dc2eba7309cd572afa05197e9eae8e9347ed1008d13d8274","abstract_canon_sha256":"796f8b7573e6e1fdc42892204eb66e9a26067b8d07d36e38c3022dfd90c27c3e"},"schema_version":"1.0"},"canonical_sha256":"36992ffc27550c3ea84bfdc059e158714af1a590c680f0637faad643b2a196eb","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:46:57.404167Z","signature_b64":"Mb+dz60CpUe/m5P3CtPGfLfDGp0zoBhN9v2mXEIH3ln5CDI7rRCPJ4AsMrZ0XhseqFr/avFzOtiXhMflYpYJAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"36992ffc27550c3ea84bfdc059e158714af1a590c680f0637faad643b2a196eb","last_reissued_at":"2026-07-05T11:46:57.403709Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:46:57.403709Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2508.00512","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-07-05T11:46:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tPNjZIUTElnaBK2x4zFrXExagFNOjuaH6xi5I6HVs9ZjqkkQOsp3jsIOcDkNnaI9TQE03G6oB/1S64dqBmdLCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T15:13:45.012017Z"},"content_sha256":"3c1921a2f72dadbf7480ae655738e28a6978999a4963113f610a3d59b99109df","schema_version":"1.0","event_id":"sha256:3c1921a2f72dadbf7480ae655738e28a6978999a4963113f610a3d59b99109df"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:G2MS77BHKUGD5KCL7XAFTYKYOF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Projective Delineability for Single Cell Construction","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SC","authors_text":"Christopher W. Brown, Erika \\'Abrah\\'am, James H. Davenport, Jasper Nalbach, Lucas Michel, Matthew England, Na\\\"im Z\\'ena\\\"idi, Pierre Mathonet","submitted_at":"2025-08-01T10:45:24Z","abstract_excerpt":"The cylindrical algebraic decomposition (CAD) is the only complete method used in practice for solving problems like quantifier elimination or SMT solving related to real algebra, despite its doubly exponential complexity. Recent exploration-guided algorithms like NLSAT, NuCAD, and CAlC rely on CAD technology but reduce the computational effort heuristically. Single cell construction is a paradigm that is used in each of these algorithms.\n  The central property on which the CAD algorithm is based is called delineability. Recently, we introduced a weaker notion called projective delineability w"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.00512","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2508.00512/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-07-05T11:46:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7QttrOb82XXx9Uf6PnBNFALO1+v1KWep5Nj+tvWXcIo4rMlYYiWEbpi+Ko/aMBQmfQ7wBlZNi9V7uAFvPhThAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T15:13:45.012915Z"},"content_sha256":"485e3a2e7538c951aa0c457f2126a9737bfba2acc58f276ef1e52fa0536d382b","schema_version":"1.0","event_id":"sha256:485e3a2e7538c951aa0c457f2126a9737bfba2acc58f276ef1e52fa0536d382b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/G2MS77BHKUGD5KCL7XAFTYKYOF/bundle.json","state_url":"https://pith.science/pith/G2MS77BHKUGD5KCL7XAFTYKYOF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/G2MS77BHKUGD5KCL7XAFTYKYOF/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-07T15:13:45Z","links":{"resolver":"https://pith.science/pith/G2MS77BHKUGD5KCL7XAFTYKYOF","bundle":"https://pith.science/pith/G2MS77BHKUGD5KCL7XAFTYKYOF/bundle.json","state":"https://pith.science/pith/G2MS77BHKUGD5KCL7XAFTYKYOF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/G2MS77BHKUGD5KCL7XAFTYKYOF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:G2MS77BHKUGD5KCL7XAFTYKYOF","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":"796f8b7573e6e1fdc42892204eb66e9a26067b8d07d36e38c3022dfd90c27c3e","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SC","submitted_at":"2025-08-01T10:45:24Z","title_canon_sha256":"34ed96f95a3737f1dc2eba7309cd572afa05197e9eae8e9347ed1008d13d8274"},"schema_version":"1.0","source":{"id":"2508.00512","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.00512","created_at":"2026-07-05T11:46:57Z"},{"alias_kind":"arxiv_version","alias_value":"2508.00512v1","created_at":"2026-07-05T11:46:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.00512","created_at":"2026-07-05T11:46:57Z"},{"alias_kind":"pith_short_12","alias_value":"G2MS77BHKUGD","created_at":"2026-07-05T11:46:57Z"},{"alias_kind":"pith_short_16","alias_value":"G2MS77BHKUGD5KCL","created_at":"2026-07-05T11:46:57Z"},{"alias_kind":"pith_short_8","alias_value":"G2MS77BH","created_at":"2026-07-05T11:46:57Z"}],"graph_snapshots":[{"event_id":"sha256:485e3a2e7538c951aa0c457f2126a9737bfba2acc58f276ef1e52fa0536d382b","target":"graph","created_at":"2026-07-05T11:46:57Z","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/2508.00512/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The cylindrical algebraic decomposition (CAD) is the only complete method used in practice for solving problems like quantifier elimination or SMT solving related to real algebra, despite its doubly exponential complexity. Recent exploration-guided algorithms like NLSAT, NuCAD, and CAlC rely on CAD technology but reduce the computational effort heuristically. Single cell construction is a paradigm that is used in each of these algorithms.\n  The central property on which the CAD algorithm is based is called delineability. Recently, we introduced a weaker notion called projective delineability w","authors_text":"Christopher W. Brown, Erika \\'Abrah\\'am, James H. Davenport, Jasper Nalbach, Lucas Michel, Matthew England, Na\\\"im Z\\'ena\\\"idi, Pierre Mathonet","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SC","submitted_at":"2025-08-01T10:45:24Z","title":"Projective Delineability for Single Cell Construction"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.00512","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:3c1921a2f72dadbf7480ae655738e28a6978999a4963113f610a3d59b99109df","target":"record","created_at":"2026-07-05T11:46:57Z","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":"796f8b7573e6e1fdc42892204eb66e9a26067b8d07d36e38c3022dfd90c27c3e","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SC","submitted_at":"2025-08-01T10:45:24Z","title_canon_sha256":"34ed96f95a3737f1dc2eba7309cd572afa05197e9eae8e9347ed1008d13d8274"},"schema_version":"1.0","source":{"id":"2508.00512","kind":"arxiv","version":1}},"canonical_sha256":"36992ffc27550c3ea84bfdc059e158714af1a590c680f0637faad643b2a196eb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"36992ffc27550c3ea84bfdc059e158714af1a590c680f0637faad643b2a196eb","first_computed_at":"2026-07-05T11:46:57.403709Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:46:57.403709Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Mb+dz60CpUe/m5P3CtPGfLfDGp0zoBhN9v2mXEIH3ln5CDI7rRCPJ4AsMrZ0XhseqFr/avFzOtiXhMflYpYJAA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:46:57.404167Z","signed_message":"canonical_sha256_bytes"},"source_id":"2508.00512","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3c1921a2f72dadbf7480ae655738e28a6978999a4963113f610a3d59b99109df","sha256:485e3a2e7538c951aa0c457f2126a9737bfba2acc58f276ef1e52fa0536d382b"],"state_sha256":"8de68d5bc0537385bc8ab4b0900b1ff204458776e3fdaecfb0a193e8676ad321"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OW3TthHL8Z70zDwNzWhYAG2pUHfRqSxCxnaOzbJUBKnCKHPemW8PGpPlKV2ooY1AZXDQMIyW2SaVCl3Ynps/AA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-07T15:13:45.021388Z","bundle_sha256":"f613395427e37062654e860cd2aa145b5f511543d76274a529480acc4fabd40e"}}