{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:R24FSJ5I75YTY3D2WSERJRXDUE","short_pith_number":"pith:R24FSJ5I","canonical_record":{"source":{"id":"2504.09790","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2025-04-14T01:30:44Z","cross_cats_sorted":["cs.SC","math.PR"],"title_canon_sha256":"e778b5ecda1f0148f9a58c8bdc2389301188a43ca440ab7124aee61f56a9b065","abstract_canon_sha256":"39bc95958d414e071048500fbed44151935cdbd3654767262b9bc283f75a2fcf"},"schema_version":"1.0"},"canonical_sha256":"8eb85927a8ff713c6c7ab48914c6e3a1345a5a896017895f50edaf0c72290dd2","source":{"kind":"arxiv","id":"2504.09790","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.09790","created_at":"2026-07-05T10:48:42Z"},{"alias_kind":"arxiv_version","alias_value":"2504.09790v1","created_at":"2026-07-05T10:48:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.09790","created_at":"2026-07-05T10:48:42Z"},{"alias_kind":"pith_short_12","alias_value":"R24FSJ5I75YT","created_at":"2026-07-05T10:48:42Z"},{"alias_kind":"pith_short_16","alias_value":"R24FSJ5I75YTY3D2","created_at":"2026-07-05T10:48:42Z"},{"alias_kind":"pith_short_8","alias_value":"R24FSJ5I","created_at":"2026-07-05T10:48:42Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:R24FSJ5I75YTY3D2WSERJRXDUE","target":"record","payload":{"canonical_record":{"source":{"id":"2504.09790","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2025-04-14T01:30:44Z","cross_cats_sorted":["cs.SC","math.PR"],"title_canon_sha256":"e778b5ecda1f0148f9a58c8bdc2389301188a43ca440ab7124aee61f56a9b065","abstract_canon_sha256":"39bc95958d414e071048500fbed44151935cdbd3654767262b9bc283f75a2fcf"},"schema_version":"1.0"},"canonical_sha256":"8eb85927a8ff713c6c7ab48914c6e3a1345a5a896017895f50edaf0c72290dd2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:48:42.720686Z","signature_b64":"rPOb1BiE1Y2gVyhvTXu+Z3M3BD7mGqq2Fbf/KcH2i3DCFUgoc6t5aGoisK0kczBgMqaciX5Q1cgm50ZgodSoCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8eb85927a8ff713c6c7ab48914c6e3a1345a5a896017895f50edaf0c72290dd2","last_reissued_at":"2026-07-05T10:48:42.720227Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:48:42.720227Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2504.09790","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-05T10:48:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"e9w3wWntdB0QBEK5Hd0PxooKhmFsaUi3pI1ON+y75BVz1C9kjQ+Vn76/raY6df2be2q6OIt880QuoLJnxirjDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T15:44:43.801989Z"},"content_sha256":"474c1100c7b9752cf0f30ef1883aefc359916b3b37fb98b83911f46ca5695d67","schema_version":"1.0","event_id":"sha256:474c1100c7b9752cf0f30ef1883aefc359916b3b37fb98b83911f46ca5695d67"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:R24FSJ5I75YTY3D2WSERJRXDUE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A SageMath Package for Analytic Combinatorics in Several Variables: Beyond the Smooth Case","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SC","math.PR"],"primary_cat":"math.CO","authors_text":"Andrew Luo, Benjamin Hackl, \\'Eric Schost, Stephen Melczer","submitted_at":"2025-04-14T01:30:44Z","abstract_excerpt":"The field of analytic combinatorics in several variables (ACSV) develops techniques to compute the asymptotic behaviour of multivariate sequences from analytic properties of their generating functions. When the generating function under consideration is rational, its set of singularities forms an algebraic variety -- called the singular variety -- and asymptotic behaviour depends heavily on the geometry of the singular variety. By combining a recent algorithm for the Whitney stratification of algebraic varieties with methods from ACSV, we present the first software that rigorously computes asy"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.09790","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/2504.09790/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-05T10:48:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2bVhUPDWw49ZEIDeUA7qqQUpBZelH6Rosw57zeLWXzvz05FWtREgz8P1mD6SghopSZ6w5vDtmcY5ZANfNbByDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T15:44:43.802894Z"},"content_sha256":"8ba444774222141f6e518fb71e86f0f33d3a52aa53efabfab33b234c95758807","schema_version":"1.0","event_id":"sha256:8ba444774222141f6e518fb71e86f0f33d3a52aa53efabfab33b234c95758807"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/R24FSJ5I75YTY3D2WSERJRXDUE/bundle.json","state_url":"https://pith.science/pith/R24FSJ5I75YTY3D2WSERJRXDUE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/R24FSJ5I75YTY3D2WSERJRXDUE/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-06T15:44:43Z","links":{"resolver":"https://pith.science/pith/R24FSJ5I75YTY3D2WSERJRXDUE","bundle":"https://pith.science/pith/R24FSJ5I75YTY3D2WSERJRXDUE/bundle.json","state":"https://pith.science/pith/R24FSJ5I75YTY3D2WSERJRXDUE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/R24FSJ5I75YTY3D2WSERJRXDUE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:R24FSJ5I75YTY3D2WSERJRXDUE","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":"39bc95958d414e071048500fbed44151935cdbd3654767262b9bc283f75a2fcf","cross_cats_sorted":["cs.SC","math.PR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2025-04-14T01:30:44Z","title_canon_sha256":"e778b5ecda1f0148f9a58c8bdc2389301188a43ca440ab7124aee61f56a9b065"},"schema_version":"1.0","source":{"id":"2504.09790","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.09790","created_at":"2026-07-05T10:48:42Z"},{"alias_kind":"arxiv_version","alias_value":"2504.09790v1","created_at":"2026-07-05T10:48:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.09790","created_at":"2026-07-05T10:48:42Z"},{"alias_kind":"pith_short_12","alias_value":"R24FSJ5I75YT","created_at":"2026-07-05T10:48:42Z"},{"alias_kind":"pith_short_16","alias_value":"R24FSJ5I75YTY3D2","created_at":"2026-07-05T10:48:42Z"},{"alias_kind":"pith_short_8","alias_value":"R24FSJ5I","created_at":"2026-07-05T10:48:42Z"}],"graph_snapshots":[{"event_id":"sha256:8ba444774222141f6e518fb71e86f0f33d3a52aa53efabfab33b234c95758807","target":"graph","created_at":"2026-07-05T10:48:42Z","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/2504.09790/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The field of analytic combinatorics in several variables (ACSV) develops techniques to compute the asymptotic behaviour of multivariate sequences from analytic properties of their generating functions. When the generating function under consideration is rational, its set of singularities forms an algebraic variety -- called the singular variety -- and asymptotic behaviour depends heavily on the geometry of the singular variety. By combining a recent algorithm for the Whitney stratification of algebraic varieties with methods from ACSV, we present the first software that rigorously computes asy","authors_text":"Andrew Luo, Benjamin Hackl, \\'Eric Schost, Stephen Melczer","cross_cats":["cs.SC","math.PR"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2025-04-14T01:30:44Z","title":"A SageMath Package for Analytic Combinatorics in Several Variables: Beyond the Smooth Case"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.09790","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:474c1100c7b9752cf0f30ef1883aefc359916b3b37fb98b83911f46ca5695d67","target":"record","created_at":"2026-07-05T10:48:42Z","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":"39bc95958d414e071048500fbed44151935cdbd3654767262b9bc283f75a2fcf","cross_cats_sorted":["cs.SC","math.PR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2025-04-14T01:30:44Z","title_canon_sha256":"e778b5ecda1f0148f9a58c8bdc2389301188a43ca440ab7124aee61f56a9b065"},"schema_version":"1.0","source":{"id":"2504.09790","kind":"arxiv","version":1}},"canonical_sha256":"8eb85927a8ff713c6c7ab48914c6e3a1345a5a896017895f50edaf0c72290dd2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8eb85927a8ff713c6c7ab48914c6e3a1345a5a896017895f50edaf0c72290dd2","first_computed_at":"2026-07-05T10:48:42.720227Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:48:42.720227Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"rPOb1BiE1Y2gVyhvTXu+Z3M3BD7mGqq2Fbf/KcH2i3DCFUgoc6t5aGoisK0kczBgMqaciX5Q1cgm50ZgodSoCQ==","signature_status":"signed_v1","signed_at":"2026-07-05T10:48:42.720686Z","signed_message":"canonical_sha256_bytes"},"source_id":"2504.09790","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:474c1100c7b9752cf0f30ef1883aefc359916b3b37fb98b83911f46ca5695d67","sha256:8ba444774222141f6e518fb71e86f0f33d3a52aa53efabfab33b234c95758807"],"state_sha256":"964afc6cd2bf467766f14beb73fbe5bbff4224e80f15c1595109f44b9f46862a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"q48dXvHg6j4ml10h/McZ5rxdFm4Kwwy7dlT9bSH1+PAhCkLys/S4/7/eON2QvJFc1ow3SE4JbviCZJ1IoSLrAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-06T15:44:43.806966Z","bundle_sha256":"d1cb0a44cef088f68f1b99ac6406250f1e32183c99e67ada86ba4a8e237bf130"}}