{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:HTGVRRUHTC73NZAHA6CZBXOZJU","short_pith_number":"pith:HTGVRRUH","canonical_record":{"source":{"id":"1505.02428","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-05-10T19:56:14Z","cross_cats_sorted":[],"title_canon_sha256":"97a0b552269046f9442da08adc3b814225d42a53072b825a28824771c34301cf","abstract_canon_sha256":"d24c2f1f0bda75a5450194de2610db0c2b936c5bf6a4321d592b0abd081f2953"},"schema_version":"1.0"},"canonical_sha256":"3ccd58c68798bfb6e407078590ddd94d3443c908f62cd005d9823d67d3a41c87","source":{"kind":"arxiv","id":"1505.02428","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1505.02428","created_at":"2026-05-18T02:16:18Z"},{"alias_kind":"arxiv_version","alias_value":"1505.02428v1","created_at":"2026-05-18T02:16:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1505.02428","created_at":"2026-05-18T02:16:18Z"},{"alias_kind":"pith_short_12","alias_value":"HTGVRRUHTC73","created_at":"2026-05-18T12:29:25Z"},{"alias_kind":"pith_short_16","alias_value":"HTGVRRUHTC73NZAH","created_at":"2026-05-18T12:29:25Z"},{"alias_kind":"pith_short_8","alias_value":"HTGVRRUH","created_at":"2026-05-18T12:29:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:HTGVRRUHTC73NZAHA6CZBXOZJU","target":"record","payload":{"canonical_record":{"source":{"id":"1505.02428","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-05-10T19:56:14Z","cross_cats_sorted":[],"title_canon_sha256":"97a0b552269046f9442da08adc3b814225d42a53072b825a28824771c34301cf","abstract_canon_sha256":"d24c2f1f0bda75a5450194de2610db0c2b936c5bf6a4321d592b0abd081f2953"},"schema_version":"1.0"},"canonical_sha256":"3ccd58c68798bfb6e407078590ddd94d3443c908f62cd005d9823d67d3a41c87","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:16:18.786959Z","signature_b64":"huNC0Omkf/lElylc4VpsNNoikdk1y9Qq2aaFwkTaYEjcj0Iqqhb61yXZv7ZA90A9NWP9kVvCSk9lbUEHAPIfCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3ccd58c68798bfb6e407078590ddd94d3443c908f62cd005d9823d67d3a41c87","last_reissued_at":"2026-05-18T02:16:18.786514Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:16:18.786514Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1505.02428","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-05-18T02:16:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qkir134MUkP50tCdvDXW9P2C1Qzg0oYSuI4NvhulvB7XX7ZOodQEIwEQFQxrMXjVWkFWdiPGeGYOGjDfkRdPDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T12:37:16.306024Z"},"content_sha256":"821615a96882fe0d585976a82b1e27db88c6c41d33daed4d5bad3a381b3df59f","schema_version":"1.0","event_id":"sha256:821615a96882fe0d585976a82b1e27db88c6c41d33daed4d5bad3a381b3df59f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:HTGVRRUHTC73NZAHA6CZBXOZJU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Live Inspection of Spreadsheets","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Daniel Kulesz, Fabian Beck, Fabian Toth","submitted_at":"2015-05-10T19:56:14Z","abstract_excerpt":"Existing approaches for detecting anomalies in spreadsheets can help to discover faults, but they are often applied too late in the spreadsheet lifecycle. By contrast, our approach detects anomalies immediately whenever users change their spreadsheets. This live inspection approach has been implemented as part of the Spreadsheet Inspection Framework, enabling the tool to visually report findings without disturbing the users' workflow. An advanced list representation allows users to keep track of the latest findings, prioritize open problems, and check progress on solving the issues. Results fr"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1505.02428","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":""},"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-05-18T02:16:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"H3vPvt3V98CqZrZSrD2AWkx3WU/eCBHQVEID2/8c6vdzEit6IpLkJphG37N8HRTgBBxdMblRypfeJGHDlvFkDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T12:37:16.306738Z"},"content_sha256":"246c63431880cba06e66bbbeccca84fca3d61fe874fdf58a95d1c605a186374e","schema_version":"1.0","event_id":"sha256:246c63431880cba06e66bbbeccca84fca3d61fe874fdf58a95d1c605a186374e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HTGVRRUHTC73NZAHA6CZBXOZJU/bundle.json","state_url":"https://pith.science/pith/HTGVRRUHTC73NZAHA6CZBXOZJU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HTGVRRUHTC73NZAHA6CZBXOZJU/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-05-27T12:37:16Z","links":{"resolver":"https://pith.science/pith/HTGVRRUHTC73NZAHA6CZBXOZJU","bundle":"https://pith.science/pith/HTGVRRUHTC73NZAHA6CZBXOZJU/bundle.json","state":"https://pith.science/pith/HTGVRRUHTC73NZAHA6CZBXOZJU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HTGVRRUHTC73NZAHA6CZBXOZJU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:HTGVRRUHTC73NZAHA6CZBXOZJU","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":"d24c2f1f0bda75a5450194de2610db0c2b936c5bf6a4321d592b0abd081f2953","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-05-10T19:56:14Z","title_canon_sha256":"97a0b552269046f9442da08adc3b814225d42a53072b825a28824771c34301cf"},"schema_version":"1.0","source":{"id":"1505.02428","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1505.02428","created_at":"2026-05-18T02:16:18Z"},{"alias_kind":"arxiv_version","alias_value":"1505.02428v1","created_at":"2026-05-18T02:16:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1505.02428","created_at":"2026-05-18T02:16:18Z"},{"alias_kind":"pith_short_12","alias_value":"HTGVRRUHTC73","created_at":"2026-05-18T12:29:25Z"},{"alias_kind":"pith_short_16","alias_value":"HTGVRRUHTC73NZAH","created_at":"2026-05-18T12:29:25Z"},{"alias_kind":"pith_short_8","alias_value":"HTGVRRUH","created_at":"2026-05-18T12:29:25Z"}],"graph_snapshots":[{"event_id":"sha256:246c63431880cba06e66bbbeccca84fca3d61fe874fdf58a95d1c605a186374e","target":"graph","created_at":"2026-05-18T02:16:18Z","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"},"paper":{"abstract_excerpt":"Existing approaches for detecting anomalies in spreadsheets can help to discover faults, but they are often applied too late in the spreadsheet lifecycle. By contrast, our approach detects anomalies immediately whenever users change their spreadsheets. This live inspection approach has been implemented as part of the Spreadsheet Inspection Framework, enabling the tool to visually report findings without disturbing the users' workflow. An advanced list representation allows users to keep track of the latest findings, prioritize open problems, and check progress on solving the issues. Results fr","authors_text":"Daniel Kulesz, Fabian Beck, Fabian Toth","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-05-10T19:56:14Z","title":"Live Inspection of Spreadsheets"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1505.02428","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:821615a96882fe0d585976a82b1e27db88c6c41d33daed4d5bad3a381b3df59f","target":"record","created_at":"2026-05-18T02:16:18Z","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":"d24c2f1f0bda75a5450194de2610db0c2b936c5bf6a4321d592b0abd081f2953","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-05-10T19:56:14Z","title_canon_sha256":"97a0b552269046f9442da08adc3b814225d42a53072b825a28824771c34301cf"},"schema_version":"1.0","source":{"id":"1505.02428","kind":"arxiv","version":1}},"canonical_sha256":"3ccd58c68798bfb6e407078590ddd94d3443c908f62cd005d9823d67d3a41c87","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3ccd58c68798bfb6e407078590ddd94d3443c908f62cd005d9823d67d3a41c87","first_computed_at":"2026-05-18T02:16:18.786514Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:16:18.786514Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"huNC0Omkf/lElylc4VpsNNoikdk1y9Qq2aaFwkTaYEjcj0Iqqhb61yXZv7ZA90A9NWP9kVvCSk9lbUEHAPIfCg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:16:18.786959Z","signed_message":"canonical_sha256_bytes"},"source_id":"1505.02428","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:821615a96882fe0d585976a82b1e27db88c6c41d33daed4d5bad3a381b3df59f","sha256:246c63431880cba06e66bbbeccca84fca3d61fe874fdf58a95d1c605a186374e"],"state_sha256":"a53742a3f5a1cfad1a2332ab374cc813e3cc69b5102d3805e55cb754e0b08b9f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KzdlGZjVF9yqsHwsR+207wx35n/yPwy9MnbYI3iMlkcUSWfe8I6TpovRITScQz7/VaaMO/o0M73mwtxz5fZfBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T12:37:16.310096Z","bundle_sha256":"4a8c21302c95dfa606e149beb4569f59b452fd4f5959725af5a013142b320221"}}