{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:MZTY46UEUMDTZQ7YJZYNUMCWTW","short_pith_number":"pith:MZTY46UE","canonical_record":{"source":{"id":"1612.03813","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-11-30T21:31:22Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"6de2e3ae7d43b04a28f97cbbbb26cd0e6390d4c82683557caaee2fb141027af8","abstract_canon_sha256":"d03cc49dab58a1613e3db05de9dfd184aea44e6258e054ba3094a6857cd56ce2"},"schema_version":"1.0"},"canonical_sha256":"66678e7a84a3073cc3f84e70da30569dad544b713e2abf19f62d7626f49695bd","source":{"kind":"arxiv","id":"1612.03813","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1612.03813","created_at":"2026-05-18T00:29:15Z"},{"alias_kind":"arxiv_version","alias_value":"1612.03813v3","created_at":"2026-05-18T00:29:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1612.03813","created_at":"2026-05-18T00:29:15Z"},{"alias_kind":"pith_short_12","alias_value":"MZTY46UEUMDT","created_at":"2026-05-18T12:30:32Z"},{"alias_kind":"pith_short_16","alias_value":"MZTY46UEUMDTZQ7Y","created_at":"2026-05-18T12:30:32Z"},{"alias_kind":"pith_short_8","alias_value":"MZTY46UE","created_at":"2026-05-18T12:30:32Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:MZTY46UEUMDTZQ7YJZYNUMCWTW","target":"record","payload":{"canonical_record":{"source":{"id":"1612.03813","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-11-30T21:31:22Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"6de2e3ae7d43b04a28f97cbbbb26cd0e6390d4c82683557caaee2fb141027af8","abstract_canon_sha256":"d03cc49dab58a1613e3db05de9dfd184aea44e6258e054ba3094a6857cd56ce2"},"schema_version":"1.0"},"canonical_sha256":"66678e7a84a3073cc3f84e70da30569dad544b713e2abf19f62d7626f49695bd","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:29:15.463095Z","signature_b64":"nZ+J6EApbffxIbfvMvkdqlnHNL4IA1VhOwEZBXZJM1OJFpSt0YhPsy5UND3xQjJEn2C8JkB8Zw7OHTfszui+BQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"66678e7a84a3073cc3f84e70da30569dad544b713e2abf19f62d7626f49695bd","last_reissued_at":"2026-05-18T00:29:15.462641Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:29:15.462641Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1612.03813","source_version":3,"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-18T00:29:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OGVYA40a+X0TSMgG+3OJ4RybbTRJlqKI5xz5BgcDBqpqzl8XOvrCj0h/YV8L6kN+VujZsBC9lZzlsPmwThAnCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T07:04:47.307493Z"},"content_sha256":"d8a534471a1de8c95349e7e2d6cfa9399ef4e0f3a0c8c15ecde8c1bf163f89a9","schema_version":"1.0","event_id":"sha256:d8a534471a1de8c95349e7e2d6cfa9399ef4e0f3a0c8c15ecde8c1bf163f89a9"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:MZTY46UEUMDTZQ7YJZYNUMCWTW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Spreadsheet Guardian: An Approach to Protecting Semantic Correctness throughout the Evolution of Spreadsheets","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.SE","authors_text":"Daniel Kulesz, Stefan Wagner, Verena K\\\"afer","submitted_at":"2016-11-30T21:31:22Z","abstract_excerpt":"Spreadsheets are powerful tools which play a business-critical role in many organizations. However, many bad decisions taken due to faulty spreadsheets show that these tools need serious quality assurance. Furthermore, while collaboration on spreadsheets for maintenance tasks is common, there has been almost no support for ensuring that the spreadsheets remain correct during this process.\n  We have developed an approach named Spreadsheet Guardian which separates the specification of spreadsheet test rules from their execution. By automatically executing user-defined test rules, our approach is"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1612.03813","kind":"arxiv","version":3},"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-18T00:29:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1X4CBM1HbHoIAt6YzDTUmoRH+m7FjqlEVe6M5XikJ79wjfvZHUzXaEgXPGYg09cjqLgTkC6PCge+eYYSdzUtDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T07:04:47.307842Z"},"content_sha256":"ca60adae89d6b9b5258711d433551ed234cc1929da4393b84db61278d21a4450","schema_version":"1.0","event_id":"sha256:ca60adae89d6b9b5258711d433551ed234cc1929da4393b84db61278d21a4450"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MZTY46UEUMDTZQ7YJZYNUMCWTW/bundle.json","state_url":"https://pith.science/pith/MZTY46UEUMDTZQ7YJZYNUMCWTW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MZTY46UEUMDTZQ7YJZYNUMCWTW/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-06-02T07:04:47Z","links":{"resolver":"https://pith.science/pith/MZTY46UEUMDTZQ7YJZYNUMCWTW","bundle":"https://pith.science/pith/MZTY46UEUMDTZQ7YJZYNUMCWTW/bundle.json","state":"https://pith.science/pith/MZTY46UEUMDTZQ7YJZYNUMCWTW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MZTY46UEUMDTZQ7YJZYNUMCWTW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:MZTY46UEUMDTZQ7YJZYNUMCWTW","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":"d03cc49dab58a1613e3db05de9dfd184aea44e6258e054ba3094a6857cd56ce2","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-11-30T21:31:22Z","title_canon_sha256":"6de2e3ae7d43b04a28f97cbbbb26cd0e6390d4c82683557caaee2fb141027af8"},"schema_version":"1.0","source":{"id":"1612.03813","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1612.03813","created_at":"2026-05-18T00:29:15Z"},{"alias_kind":"arxiv_version","alias_value":"1612.03813v3","created_at":"2026-05-18T00:29:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1612.03813","created_at":"2026-05-18T00:29:15Z"},{"alias_kind":"pith_short_12","alias_value":"MZTY46UEUMDT","created_at":"2026-05-18T12:30:32Z"},{"alias_kind":"pith_short_16","alias_value":"MZTY46UEUMDTZQ7Y","created_at":"2026-05-18T12:30:32Z"},{"alias_kind":"pith_short_8","alias_value":"MZTY46UE","created_at":"2026-05-18T12:30:32Z"}],"graph_snapshots":[{"event_id":"sha256:ca60adae89d6b9b5258711d433551ed234cc1929da4393b84db61278d21a4450","target":"graph","created_at":"2026-05-18T00:29:15Z","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":"Spreadsheets are powerful tools which play a business-critical role in many organizations. However, many bad decisions taken due to faulty spreadsheets show that these tools need serious quality assurance. Furthermore, while collaboration on spreadsheets for maintenance tasks is common, there has been almost no support for ensuring that the spreadsheets remain correct during this process.\n  We have developed an approach named Spreadsheet Guardian which separates the specification of spreadsheet test rules from their execution. By automatically executing user-defined test rules, our approach is","authors_text":"Daniel Kulesz, Stefan Wagner, Verena K\\\"afer","cross_cats":["cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-11-30T21:31:22Z","title":"Spreadsheet Guardian: An Approach to Protecting Semantic Correctness throughout the Evolution of Spreadsheets"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1612.03813","kind":"arxiv","version":3},"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:d8a534471a1de8c95349e7e2d6cfa9399ef4e0f3a0c8c15ecde8c1bf163f89a9","target":"record","created_at":"2026-05-18T00:29:15Z","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":"d03cc49dab58a1613e3db05de9dfd184aea44e6258e054ba3094a6857cd56ce2","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-11-30T21:31:22Z","title_canon_sha256":"6de2e3ae7d43b04a28f97cbbbb26cd0e6390d4c82683557caaee2fb141027af8"},"schema_version":"1.0","source":{"id":"1612.03813","kind":"arxiv","version":3}},"canonical_sha256":"66678e7a84a3073cc3f84e70da30569dad544b713e2abf19f62d7626f49695bd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"66678e7a84a3073cc3f84e70da30569dad544b713e2abf19f62d7626f49695bd","first_computed_at":"2026-05-18T00:29:15.462641Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:29:15.462641Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"nZ+J6EApbffxIbfvMvkdqlnHNL4IA1VhOwEZBXZJM1OJFpSt0YhPsy5UND3xQjJEn2C8JkB8Zw7OHTfszui+BQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:29:15.463095Z","signed_message":"canonical_sha256_bytes"},"source_id":"1612.03813","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d8a534471a1de8c95349e7e2d6cfa9399ef4e0f3a0c8c15ecde8c1bf163f89a9","sha256:ca60adae89d6b9b5258711d433551ed234cc1929da4393b84db61278d21a4450"],"state_sha256":"49fc5c36b637c7370724acd7fa5dda9419489c6679de4322d7a2f17c17bef027"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6RBvGkEVHHrOYy3kky5iJhfUNjS3MT+G1WhLrJCTHza9yMRGsAOqGIAT1QvFQmmZsKIdq+xAoSrbawGbKN8IBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T07:04:47.309737Z","bundle_sha256":"f29a0ec53e877cea752400dcfc5661f880d824ca088a0d0650623789236746df"}}