{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:5FNE57G7F7R3OVWECQMFNVOMRY","short_pith_number":"pith:5FNE57G7","canonical_record":{"source":{"id":"2506.00224","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DM","submitted_at":"2025-05-30T21:00:43Z","cross_cats_sorted":["cs.CG"],"title_canon_sha256":"b579e6a0e3eacd62f33bc52afd1b3847c6021e556a9075124de1e2a3bcbf8751","abstract_canon_sha256":"a788277c9b658a9e5e7050ed4f38e1c05f6e10201229d63ec9dfc8699210b0c0"},"schema_version":"1.0"},"canonical_sha256":"e95a4efcdf2fe3b756c4141856d5cc8e348aa3352c45ead41b62e0633db2fa06","source":{"kind":"arxiv","id":"2506.00224","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.00224","created_at":"2026-07-05T11:13:31Z"},{"alias_kind":"arxiv_version","alias_value":"2506.00224v1","created_at":"2026-07-05T11:13:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.00224","created_at":"2026-07-05T11:13:31Z"},{"alias_kind":"pith_short_12","alias_value":"5FNE57G7F7R3","created_at":"2026-07-05T11:13:31Z"},{"alias_kind":"pith_short_16","alias_value":"5FNE57G7F7R3OVWE","created_at":"2026-07-05T11:13:31Z"},{"alias_kind":"pith_short_8","alias_value":"5FNE57G7","created_at":"2026-07-05T11:13:31Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:5FNE57G7F7R3OVWECQMFNVOMRY","target":"record","payload":{"canonical_record":{"source":{"id":"2506.00224","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DM","submitted_at":"2025-05-30T21:00:43Z","cross_cats_sorted":["cs.CG"],"title_canon_sha256":"b579e6a0e3eacd62f33bc52afd1b3847c6021e556a9075124de1e2a3bcbf8751","abstract_canon_sha256":"a788277c9b658a9e5e7050ed4f38e1c05f6e10201229d63ec9dfc8699210b0c0"},"schema_version":"1.0"},"canonical_sha256":"e95a4efcdf2fe3b756c4141856d5cc8e348aa3352c45ead41b62e0633db2fa06","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:13:31.202485Z","signature_b64":"PwX6jOFm8OnIRoLEEhoCdm/i0E297vw9aUNk6geil052x/3MgniRur5QsygHtUCssfeAjMAU80C5LGICtpogAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e95a4efcdf2fe3b756c4141856d5cc8e348aa3352c45ead41b62e0633db2fa06","last_reissued_at":"2026-07-05T11:13:31.202058Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:13:31.202058Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.00224","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:13:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oXkNGT/cON2Qq/MY+Tkz1VnMHsfxNdHUJcrq7XcFLfcZdFWaPGZ392YuPAgR3i9lEWREKIr6LGCpi2s8tcIPDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T12:32:29.063790Z"},"content_sha256":"d911775cd505a7d93975446795daa6c6bbd83aeab8b4b16d8fc070cf13a7da2f","schema_version":"1.0","event_id":"sha256:d911775cd505a7d93975446795daa6c6bbd83aeab8b4b16d8fc070cf13a7da2f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:5FNE57G7F7R3OVWECQMFNVOMRY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Automated Symmetric Constructions in Discrete Geometry","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.CG"],"primary_cat":"cs.DM","authors_text":"Bernardo Subercaseaux, Ethan Mackey, Long Qian, Marijn J. H. Heule","submitted_at":"2025-05-30T21:00:43Z","abstract_excerpt":"We present a computational methodology for obtaining rotationally symmetric sets of points satisfying discrete geometric constraints, and demonstrate its applicability by discovering new solutions to some well-known problems in combinatorial geometry. Our approach takes the usage of SAT solvers in discrete geometry further by directly embedding rotational symmetry into the combinatorial encoding of geometric configurations. Then, to realize concrete point sets corresponding to abstract designs provided by a SAT solver, we introduce a novel local-search realizability solver, which shows excelle"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.00224","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/2506.00224/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:13:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"frFU1L8XZmzwQlAQmC7hHA4bLkm8XnJ78TOdhvtzqTvolv8a82fQRd9piFJk7cb1JHhUGo8A23ICpUwsCUnlDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T12:32:29.064277Z"},"content_sha256":"e36a5731b9bdd40d4955dbc19b2a2c583ff39bcc608a567b93e645bdc6f6176c","schema_version":"1.0","event_id":"sha256:e36a5731b9bdd40d4955dbc19b2a2c583ff39bcc608a567b93e645bdc6f6176c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5FNE57G7F7R3OVWECQMFNVOMRY/bundle.json","state_url":"https://pith.science/pith/5FNE57G7F7R3OVWECQMFNVOMRY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5FNE57G7F7R3OVWECQMFNVOMRY/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-08T12:32:29Z","links":{"resolver":"https://pith.science/pith/5FNE57G7F7R3OVWECQMFNVOMRY","bundle":"https://pith.science/pith/5FNE57G7F7R3OVWECQMFNVOMRY/bundle.json","state":"https://pith.science/pith/5FNE57G7F7R3OVWECQMFNVOMRY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5FNE57G7F7R3OVWECQMFNVOMRY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:5FNE57G7F7R3OVWECQMFNVOMRY","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":"a788277c9b658a9e5e7050ed4f38e1c05f6e10201229d63ec9dfc8699210b0c0","cross_cats_sorted":["cs.CG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DM","submitted_at":"2025-05-30T21:00:43Z","title_canon_sha256":"b579e6a0e3eacd62f33bc52afd1b3847c6021e556a9075124de1e2a3bcbf8751"},"schema_version":"1.0","source":{"id":"2506.00224","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.00224","created_at":"2026-07-05T11:13:31Z"},{"alias_kind":"arxiv_version","alias_value":"2506.00224v1","created_at":"2026-07-05T11:13:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.00224","created_at":"2026-07-05T11:13:31Z"},{"alias_kind":"pith_short_12","alias_value":"5FNE57G7F7R3","created_at":"2026-07-05T11:13:31Z"},{"alias_kind":"pith_short_16","alias_value":"5FNE57G7F7R3OVWE","created_at":"2026-07-05T11:13:31Z"},{"alias_kind":"pith_short_8","alias_value":"5FNE57G7","created_at":"2026-07-05T11:13:31Z"}],"graph_snapshots":[{"event_id":"sha256:e36a5731b9bdd40d4955dbc19b2a2c583ff39bcc608a567b93e645bdc6f6176c","target":"graph","created_at":"2026-07-05T11:13:31Z","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/2506.00224/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We present a computational methodology for obtaining rotationally symmetric sets of points satisfying discrete geometric constraints, and demonstrate its applicability by discovering new solutions to some well-known problems in combinatorial geometry. Our approach takes the usage of SAT solvers in discrete geometry further by directly embedding rotational symmetry into the combinatorial encoding of geometric configurations. Then, to realize concrete point sets corresponding to abstract designs provided by a SAT solver, we introduce a novel local-search realizability solver, which shows excelle","authors_text":"Bernardo Subercaseaux, Ethan Mackey, Long Qian, Marijn J. H. Heule","cross_cats":["cs.CG"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DM","submitted_at":"2025-05-30T21:00:43Z","title":"Automated Symmetric Constructions in Discrete Geometry"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.00224","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:d911775cd505a7d93975446795daa6c6bbd83aeab8b4b16d8fc070cf13a7da2f","target":"record","created_at":"2026-07-05T11:13:31Z","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":"a788277c9b658a9e5e7050ed4f38e1c05f6e10201229d63ec9dfc8699210b0c0","cross_cats_sorted":["cs.CG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DM","submitted_at":"2025-05-30T21:00:43Z","title_canon_sha256":"b579e6a0e3eacd62f33bc52afd1b3847c6021e556a9075124de1e2a3bcbf8751"},"schema_version":"1.0","source":{"id":"2506.00224","kind":"arxiv","version":1}},"canonical_sha256":"e95a4efcdf2fe3b756c4141856d5cc8e348aa3352c45ead41b62e0633db2fa06","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e95a4efcdf2fe3b756c4141856d5cc8e348aa3352c45ead41b62e0633db2fa06","first_computed_at":"2026-07-05T11:13:31.202058Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:13:31.202058Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"PwX6jOFm8OnIRoLEEhoCdm/i0E297vw9aUNk6geil052x/3MgniRur5QsygHtUCssfeAjMAU80C5LGICtpogAw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:13:31.202485Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.00224","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d911775cd505a7d93975446795daa6c6bbd83aeab8b4b16d8fc070cf13a7da2f","sha256:e36a5731b9bdd40d4955dbc19b2a2c583ff39bcc608a567b93e645bdc6f6176c"],"state_sha256":"19e2744afc639b2c6ba7793a3bf564f385a945faf09bf60e3879666d909ca297"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BgBepeEBI4os0hV60oKVEf7Yn033sDVyxnMU4c55Uono78Tq01N9rBJA2CdHCevx1/ivgyOxq//fEy4bpJZPCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T12:32:29.067593Z","bundle_sha256":"9d33ee6caf8a4f581572055909c806dbef6839765b04d27859e2d18a174909c8"}}