{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:4XDBEHGPXPQ5W6SKNURHZYZ6PE","short_pith_number":"pith:4XDBEHGP","canonical_record":{"source":{"id":"2302.05482","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2023-02-10T19:33:12Z","cross_cats_sorted":[],"title_canon_sha256":"100dc975dfa135491107810abbe1fd537a54bf30fc572c28b4fc0265edc81a83","abstract_canon_sha256":"7aa1b037bada2a134217123c4aa5b2f4e32f768ecf6923939e37bdda2cf3e6e9"},"schema_version":"1.0"},"canonical_sha256":"e5c6121ccfbbe1db7a4a6d227ce33e7902d99561f7ba233f1a3f4f563db49a41","source":{"kind":"arxiv","id":"2302.05482","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2302.05482","created_at":"2026-07-05T05:40:54Z"},{"alias_kind":"arxiv_version","alias_value":"2302.05482v1","created_at":"2026-07-05T05:40:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2302.05482","created_at":"2026-07-05T05:40:54Z"},{"alias_kind":"pith_short_12","alias_value":"4XDBEHGPXPQ5","created_at":"2026-07-05T05:40:54Z"},{"alias_kind":"pith_short_16","alias_value":"4XDBEHGPXPQ5W6SK","created_at":"2026-07-05T05:40:54Z"},{"alias_kind":"pith_short_8","alias_value":"4XDBEHGP","created_at":"2026-07-05T05:40:54Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:4XDBEHGPXPQ5W6SKNURHZYZ6PE","target":"record","payload":{"canonical_record":{"source":{"id":"2302.05482","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2023-02-10T19:33:12Z","cross_cats_sorted":[],"title_canon_sha256":"100dc975dfa135491107810abbe1fd537a54bf30fc572c28b4fc0265edc81a83","abstract_canon_sha256":"7aa1b037bada2a134217123c4aa5b2f4e32f768ecf6923939e37bdda2cf3e6e9"},"schema_version":"1.0"},"canonical_sha256":"e5c6121ccfbbe1db7a4a6d227ce33e7902d99561f7ba233f1a3f4f563db49a41","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:40:54.272704Z","signature_b64":"U72qftsBdomGSmWbejxiiiEcEfmqPmRbCGme8t8sW0lHwPh1NLb8DZvn6OluidoayG/PGFHXXahTKKKbto+GDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e5c6121ccfbbe1db7a4a6d227ce33e7902d99561f7ba233f1a3f4f563db49a41","last_reissued_at":"2026-07-05T05:40:54.272278Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:40:54.272278Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2302.05482","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-05T05:40:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8WDgIppF5usLoT2vCARDWR3SO7YojMcaBSGxMUCFCPjj8tWrksI/GIgiPSbx5gABulVGBSAzw1FmFEVc9LmCCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-20T04:17:10.794231Z"},"content_sha256":"dfaf00ca21690beabc8ce672488ccb8c988db946d4a28bf866478e9711704cc0","schema_version":"1.0","event_id":"sha256:dfaf00ca21690beabc8ce672488ccb8c988db946d4a28bf866478e9711704cc0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:4XDBEHGPXPQ5W6SKNURHZYZ6PE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Efficient and Compact Spreadsheet Formula Graphs","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.DB","authors_text":"Aditya G. Parameswaran, Christopher De Leon, Dixin Tang, Fanchao Chen, Jeaseok Yun, Srinivasan Seshadri, Tana Wattanawaroon","submitted_at":"2023-02-10T19:33:12Z","abstract_excerpt":"Spreadsheets are one of the most popular data analysis tools, wherein users can express computation as formulae alongside data. The ensuing dependencies are tracked as formula graphs. Efficiently querying and maintaining these formula graphs is critical for interactivity across multiple settings. Unfortunately, formula graphs are often large and complex such that querying and maintaining them is time-consuming, reducing interactivity. We propose TACO, a framework for efficiently compressing formula graphs, thereby reducing the time for querying and maintenance. The efficiency of TACO stems fro"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2302.05482","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/2302.05482/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-05T05:40:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BA0dWFN7l72+hBrdj5YTq81kx/GaSYlrHuBgHlEoeAnvDFOucREzKfdvNyQtNXfu8DmbhK5yRT7YwCbosDmhAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-20T04:17:10.794748Z"},"content_sha256":"6248d55704e410d6733f982bfe62a4f8dd529ec01c67d20235e24815c5703508","schema_version":"1.0","event_id":"sha256:6248d55704e410d6733f982bfe62a4f8dd529ec01c67d20235e24815c5703508"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4XDBEHGPXPQ5W6SKNURHZYZ6PE/bundle.json","state_url":"https://pith.science/pith/4XDBEHGPXPQ5W6SKNURHZYZ6PE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4XDBEHGPXPQ5W6SKNURHZYZ6PE/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-20T04:17:10Z","links":{"resolver":"https://pith.science/pith/4XDBEHGPXPQ5W6SKNURHZYZ6PE","bundle":"https://pith.science/pith/4XDBEHGPXPQ5W6SKNURHZYZ6PE/bundle.json","state":"https://pith.science/pith/4XDBEHGPXPQ5W6SKNURHZYZ6PE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4XDBEHGPXPQ5W6SKNURHZYZ6PE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:4XDBEHGPXPQ5W6SKNURHZYZ6PE","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":"7aa1b037bada2a134217123c4aa5b2f4e32f768ecf6923939e37bdda2cf3e6e9","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2023-02-10T19:33:12Z","title_canon_sha256":"100dc975dfa135491107810abbe1fd537a54bf30fc572c28b4fc0265edc81a83"},"schema_version":"1.0","source":{"id":"2302.05482","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2302.05482","created_at":"2026-07-05T05:40:54Z"},{"alias_kind":"arxiv_version","alias_value":"2302.05482v1","created_at":"2026-07-05T05:40:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2302.05482","created_at":"2026-07-05T05:40:54Z"},{"alias_kind":"pith_short_12","alias_value":"4XDBEHGPXPQ5","created_at":"2026-07-05T05:40:54Z"},{"alias_kind":"pith_short_16","alias_value":"4XDBEHGPXPQ5W6SK","created_at":"2026-07-05T05:40:54Z"},{"alias_kind":"pith_short_8","alias_value":"4XDBEHGP","created_at":"2026-07-05T05:40:54Z"}],"graph_snapshots":[{"event_id":"sha256:6248d55704e410d6733f982bfe62a4f8dd529ec01c67d20235e24815c5703508","target":"graph","created_at":"2026-07-05T05:40: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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2302.05482/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Spreadsheets are one of the most popular data analysis tools, wherein users can express computation as formulae alongside data. The ensuing dependencies are tracked as formula graphs. Efficiently querying and maintaining these formula graphs is critical for interactivity across multiple settings. Unfortunately, formula graphs are often large and complex such that querying and maintaining them is time-consuming, reducing interactivity. We propose TACO, a framework for efficiently compressing formula graphs, thereby reducing the time for querying and maintenance. The efficiency of TACO stems fro","authors_text":"Aditya G. Parameswaran, Christopher De Leon, Dixin Tang, Fanchao Chen, Jeaseok Yun, Srinivasan Seshadri, Tana Wattanawaroon","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2023-02-10T19:33:12Z","title":"Efficient and Compact Spreadsheet Formula Graphs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2302.05482","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:dfaf00ca21690beabc8ce672488ccb8c988db946d4a28bf866478e9711704cc0","target":"record","created_at":"2026-07-05T05:40: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":"7aa1b037bada2a134217123c4aa5b2f4e32f768ecf6923939e37bdda2cf3e6e9","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2023-02-10T19:33:12Z","title_canon_sha256":"100dc975dfa135491107810abbe1fd537a54bf30fc572c28b4fc0265edc81a83"},"schema_version":"1.0","source":{"id":"2302.05482","kind":"arxiv","version":1}},"canonical_sha256":"e5c6121ccfbbe1db7a4a6d227ce33e7902d99561f7ba233f1a3f4f563db49a41","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e5c6121ccfbbe1db7a4a6d227ce33e7902d99561f7ba233f1a3f4f563db49a41","first_computed_at":"2026-07-05T05:40:54.272278Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:40:54.272278Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"U72qftsBdomGSmWbejxiiiEcEfmqPmRbCGme8t8sW0lHwPh1NLb8DZvn6OluidoayG/PGFHXXahTKKKbto+GDg==","signature_status":"signed_v1","signed_at":"2026-07-05T05:40:54.272704Z","signed_message":"canonical_sha256_bytes"},"source_id":"2302.05482","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:dfaf00ca21690beabc8ce672488ccb8c988db946d4a28bf866478e9711704cc0","sha256:6248d55704e410d6733f982bfe62a4f8dd529ec01c67d20235e24815c5703508"],"state_sha256":"91a59f85a2ccf05d30858c60a66ad2744bf98f4e5e4dca1dd24409da3083102c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LJi7VuXHcukFKPuy7iRvGqcUK4Athfhgngc8xHprKTkYWMe9SFCSZ/STsbA9tjNhEGOZSrqXz0KwyFpkhyUsCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-20T04:17:10.800261Z","bundle_sha256":"589f5b6b210efb618b53f5cc19493e206376d0e299533702e529d6b02cd9d59c"}}