{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:S5OFLCIQV7VVMEGFVOXBOMPAKT","short_pith_number":"pith:S5OFLCIQ","canonical_record":{"source":{"id":"2505.22652","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.MG","submitted_at":"2025-05-28T17:58:25Z","cross_cats_sorted":["cs.CG","cs.SC","math.CO"],"title_canon_sha256":"608a2a44e4897a62761863af07877c1f417b9ce5e6b2d4a4f74626278cf96aaf","abstract_canon_sha256":"c48ed972bb1fdb0b57f749b9e797f692019d482fa4807cf16ed1e3e08158682a"},"schema_version":"1.0"},"canonical_sha256":"975c558910afeb5610c5abae1731e054d49c73f71ff2fa5661f5299edafe6381","source":{"kind":"arxiv","id":"2505.22652","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.22652","created_at":"2026-07-05T11:16:35Z"},{"alias_kind":"arxiv_version","alias_value":"2505.22652v2","created_at":"2026-07-05T11:16:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.22652","created_at":"2026-07-05T11:16:35Z"},{"alias_kind":"pith_short_12","alias_value":"S5OFLCIQV7VV","created_at":"2026-07-05T11:16:35Z"},{"alias_kind":"pith_short_16","alias_value":"S5OFLCIQV7VVMEGF","created_at":"2026-07-05T11:16:35Z"},{"alias_kind":"pith_short_8","alias_value":"S5OFLCIQ","created_at":"2026-07-05T11:16:35Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:S5OFLCIQV7VVMEGFVOXBOMPAKT","target":"record","payload":{"canonical_record":{"source":{"id":"2505.22652","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.MG","submitted_at":"2025-05-28T17:58:25Z","cross_cats_sorted":["cs.CG","cs.SC","math.CO"],"title_canon_sha256":"608a2a44e4897a62761863af07877c1f417b9ce5e6b2d4a4f74626278cf96aaf","abstract_canon_sha256":"c48ed972bb1fdb0b57f749b9e797f692019d482fa4807cf16ed1e3e08158682a"},"schema_version":"1.0"},"canonical_sha256":"975c558910afeb5610c5abae1731e054d49c73f71ff2fa5661f5299edafe6381","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:16:35.586923Z","signature_b64":"NMb6QVj38mIAfSp+MUx2IUnogJJtPcdBkXJ1o4ScqFJrH5xgizZ/iVkRkoQx7q1QrQOylk/Z6dVpDDxLzuVzAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"975c558910afeb5610c5abae1731e054d49c73f71ff2fa5661f5299edafe6381","last_reissued_at":"2026-07-05T11:16:35.586413Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:16:35.586413Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2505.22652","source_version":2,"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:16:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ra7GP0nRv/isk7+Xu89if74s78+zXDcu9oUJQe2E3dFgz5SC19WCCeNypVqrQoCF13ixIsK9jMllFbs8gd//CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-27T00:31:43.985097Z"},"content_sha256":"856e96ecf122981d71448851c7ad73e60dfeee24a05aa7ac896ed9d673526f05","schema_version":"1.0","event_id":"sha256:856e96ecf122981d71448851c7ad73e60dfeee24a05aa7ac896ed9d673526f05"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:S5OFLCIQV7VVMEGFVOXBOMPAKT","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"PyRigi -- a general-purpose Python package for the rigidity and flexibility of bar-and-joint frameworks","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CG","cs.SC","math.CO"],"primary_cat":"math.MG","authors_text":"Georg Grasegger, Jan Legersk\\'y, Matteo Gallet, Matthias Himmelmann","submitted_at":"2025-05-28T17:58:25Z","abstract_excerpt":"We present PyRigi, a novel Python package designed to study the rigidity properties of graphs and frameworks. Among many other capabilities, PyRigi can determine whether a graph admits only finitely many ways, up to isometries, of being drawn in the plane once the edge lengths are fixed, whether it has a unique embedding, or whether it satisfied such properties even after the removal of any of its edges. By implementing algorithms from the scientific literature, PyRigi enables the exploration of rigidity properties of structures that would be out of reach for computations by hand. With reliabl"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.22652","kind":"arxiv","version":2},"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/2505.22652/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:16:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"D2cltzLex4uAfvaVRG1qYtrFpn30agfiCXcnexQI3swIy8XZqG4lcIfpTepKj2VSrH8pJplbfktDTsYwPqLDDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-27T00:31:43.985494Z"},"content_sha256":"fc88d521fce3954dfbc53f2c471aa988d1dc66482f7b4f86591af68d7f76021b","schema_version":"1.0","event_id":"sha256:fc88d521fce3954dfbc53f2c471aa988d1dc66482f7b4f86591af68d7f76021b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/S5OFLCIQV7VVMEGFVOXBOMPAKT/bundle.json","state_url":"https://pith.science/pith/S5OFLCIQV7VVMEGFVOXBOMPAKT/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/S5OFLCIQV7VVMEGFVOXBOMPAKT/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-07-27T00:31:43Z","links":{"resolver":"https://pith.science/pith/S5OFLCIQV7VVMEGFVOXBOMPAKT","bundle":"https://pith.science/pith/S5OFLCIQV7VVMEGFVOXBOMPAKT/bundle.json","state":"https://pith.science/pith/S5OFLCIQV7VVMEGFVOXBOMPAKT/state.json","well_known_bundle":"https://pith.science/.well-known/pith/S5OFLCIQV7VVMEGFVOXBOMPAKT/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:S5OFLCIQV7VVMEGFVOXBOMPAKT","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":"c48ed972bb1fdb0b57f749b9e797f692019d482fa4807cf16ed1e3e08158682a","cross_cats_sorted":["cs.CG","cs.SC","math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.MG","submitted_at":"2025-05-28T17:58:25Z","title_canon_sha256":"608a2a44e4897a62761863af07877c1f417b9ce5e6b2d4a4f74626278cf96aaf"},"schema_version":"1.0","source":{"id":"2505.22652","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.22652","created_at":"2026-07-05T11:16:35Z"},{"alias_kind":"arxiv_version","alias_value":"2505.22652v2","created_at":"2026-07-05T11:16:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.22652","created_at":"2026-07-05T11:16:35Z"},{"alias_kind":"pith_short_12","alias_value":"S5OFLCIQV7VV","created_at":"2026-07-05T11:16:35Z"},{"alias_kind":"pith_short_16","alias_value":"S5OFLCIQV7VVMEGF","created_at":"2026-07-05T11:16:35Z"},{"alias_kind":"pith_short_8","alias_value":"S5OFLCIQ","created_at":"2026-07-05T11:16:35Z"}],"graph_snapshots":[{"event_id":"sha256:fc88d521fce3954dfbc53f2c471aa988d1dc66482f7b4f86591af68d7f76021b","target":"graph","created_at":"2026-07-05T11:16:35Z","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/2505.22652/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We present PyRigi, a novel Python package designed to study the rigidity properties of graphs and frameworks. Among many other capabilities, PyRigi can determine whether a graph admits only finitely many ways, up to isometries, of being drawn in the plane once the edge lengths are fixed, whether it has a unique embedding, or whether it satisfied such properties even after the removal of any of its edges. By implementing algorithms from the scientific literature, PyRigi enables the exploration of rigidity properties of structures that would be out of reach for computations by hand. With reliabl","authors_text":"Georg Grasegger, Jan Legersk\\'y, Matteo Gallet, Matthias Himmelmann","cross_cats":["cs.CG","cs.SC","math.CO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.MG","submitted_at":"2025-05-28T17:58:25Z","title":"PyRigi -- a general-purpose Python package for the rigidity and flexibility of bar-and-joint frameworks"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.22652","kind":"arxiv","version":2},"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:856e96ecf122981d71448851c7ad73e60dfeee24a05aa7ac896ed9d673526f05","target":"record","created_at":"2026-07-05T11:16:35Z","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":"c48ed972bb1fdb0b57f749b9e797f692019d482fa4807cf16ed1e3e08158682a","cross_cats_sorted":["cs.CG","cs.SC","math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.MG","submitted_at":"2025-05-28T17:58:25Z","title_canon_sha256":"608a2a44e4897a62761863af07877c1f417b9ce5e6b2d4a4f74626278cf96aaf"},"schema_version":"1.0","source":{"id":"2505.22652","kind":"arxiv","version":2}},"canonical_sha256":"975c558910afeb5610c5abae1731e054d49c73f71ff2fa5661f5299edafe6381","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"975c558910afeb5610c5abae1731e054d49c73f71ff2fa5661f5299edafe6381","first_computed_at":"2026-07-05T11:16:35.586413Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:16:35.586413Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"NMb6QVj38mIAfSp+MUx2IUnogJJtPcdBkXJ1o4ScqFJrH5xgizZ/iVkRkoQx7q1QrQOylk/Z6dVpDDxLzuVzAw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:16:35.586923Z","signed_message":"canonical_sha256_bytes"},"source_id":"2505.22652","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:856e96ecf122981d71448851c7ad73e60dfeee24a05aa7ac896ed9d673526f05","sha256:fc88d521fce3954dfbc53f2c471aa988d1dc66482f7b4f86591af68d7f76021b"],"state_sha256":"19566c8fbc504c439618d3369b00261f230d6f6a8f7af11631c4802292e80669"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JfT3VOfoSZarsKsTZcHHYewsDmDdQMnpC/bw9yVkBD9HTq8kpQ3pCjeAZVzEa0LVkYm8GP/7SpGKGnpgKOonDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-27T00:31:43.987698Z","bundle_sha256":"9882031e0359089031a66b0aea9207247587904efc5555957b5b24f43bf3b183"}}