{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:ZJ5KDVZ2LTGTTATSNP5F4IYXJS","short_pith_number":"pith:ZJ5KDVZ2","canonical_record":{"source":{"id":"1707.02833","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-07-10T13:08:29Z","cross_cats_sorted":[],"title_canon_sha256":"16f45c97042250fd0db9b01afea6896e78d1028d447074e8b863a60f602777da","abstract_canon_sha256":"156f47e9b4c530ea7bde61d89dbb5815d5fee70833fb9cfe4dbf4056e275f5f5"},"schema_version":"1.0"},"canonical_sha256":"ca7aa1d73a5ccd3982726bfa5e23174c83aae70020e4793236d9032b77bd3410","source":{"kind":"arxiv","id":"1707.02833","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.02833","created_at":"2026-05-18T00:40:35Z"},{"alias_kind":"arxiv_version","alias_value":"1707.02833v1","created_at":"2026-05-18T00:40:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.02833","created_at":"2026-05-18T00:40:35Z"},{"alias_kind":"pith_short_12","alias_value":"ZJ5KDVZ2LTGT","created_at":"2026-05-18T12:31:59Z"},{"alias_kind":"pith_short_16","alias_value":"ZJ5KDVZ2LTGTTATS","created_at":"2026-05-18T12:31:59Z"},{"alias_kind":"pith_short_8","alias_value":"ZJ5KDVZ2","created_at":"2026-05-18T12:31:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:ZJ5KDVZ2LTGTTATSNP5F4IYXJS","target":"record","payload":{"canonical_record":{"source":{"id":"1707.02833","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-07-10T13:08:29Z","cross_cats_sorted":[],"title_canon_sha256":"16f45c97042250fd0db9b01afea6896e78d1028d447074e8b863a60f602777da","abstract_canon_sha256":"156f47e9b4c530ea7bde61d89dbb5815d5fee70833fb9cfe4dbf4056e275f5f5"},"schema_version":"1.0"},"canonical_sha256":"ca7aa1d73a5ccd3982726bfa5e23174c83aae70020e4793236d9032b77bd3410","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:40:35.682424Z","signature_b64":"9YxVAgNAzMLuf6fDgRi+lvD9XGykQE7J+ADm5BMH1Ozm2wYjiMfIBnkDkDh2S7U45gw0chcWVJp8wy/tITJyCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ca7aa1d73a5ccd3982726bfa5e23174c83aae70020e4793236d9032b77bd3410","last_reissued_at":"2026-05-18T00:40:35.681758Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:40:35.681758Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1707.02833","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-18T00:40:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mlx0DIsSRoE2IoJDtPj+zI4XHzmu00U4X+h7GizDsLrCf9fwp20AydXxanMPdFq/+RU72kBYqN9NOWYn988tDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T19:13:58.801647Z"},"content_sha256":"e37610fce6bb0427fd4d4275614a4c2526ea8e17b1c0dde25861ad086f135171","schema_version":"1.0","event_id":"sha256:e37610fce6bb0427fd4d4275614a4c2526ea8e17b1c0dde25861ad086f135171"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:ZJ5KDVZ2LTGTTATSNP5F4IYXJS","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Tabula: A Language to Model Spreadsheet Tables","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Jo\\~ao Saraiva, Jorge Mendes","submitted_at":"2017-07-10T13:08:29Z","abstract_excerpt":"Spreadsheets provide a flexible and easy to use software development environment, but that leads to error proneness. Work has been done to prevent errors in spreadsheets, including using models to specify distinct parts of a spreadsheet as it is done with model-driven software development. Previous model languages for spreadsheets offer a limited expressiveness, and cannot model several features present in most real world spreadsheets.\n  In this paper, the modeling language Tabula is introduced. It extends previous spreadsheet models with features like type constraints and nested classes with "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.02833","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-18T00:40:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3tEqiuKEKvC8cGR1/K2Tey8dkKpX8WJQpT9aSm8Eynki+RY6Goxl28l+h9cGRkH4Mf6R7CWvmXf9kiEGOnFKAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T19:13:58.802001Z"},"content_sha256":"3a24e214631b2a02b939ae2dad83cece8589adc5f24282bc3d2b9080db0ec511","schema_version":"1.0","event_id":"sha256:3a24e214631b2a02b939ae2dad83cece8589adc5f24282bc3d2b9080db0ec511"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZJ5KDVZ2LTGTTATSNP5F4IYXJS/bundle.json","state_url":"https://pith.science/pith/ZJ5KDVZ2LTGTTATSNP5F4IYXJS/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZJ5KDVZ2LTGTTATSNP5F4IYXJS/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-23T19:13:58Z","links":{"resolver":"https://pith.science/pith/ZJ5KDVZ2LTGTTATSNP5F4IYXJS","bundle":"https://pith.science/pith/ZJ5KDVZ2LTGTTATSNP5F4IYXJS/bundle.json","state":"https://pith.science/pith/ZJ5KDVZ2LTGTTATSNP5F4IYXJS/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZJ5KDVZ2LTGTTATSNP5F4IYXJS/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:ZJ5KDVZ2LTGTTATSNP5F4IYXJS","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":"156f47e9b4c530ea7bde61d89dbb5815d5fee70833fb9cfe4dbf4056e275f5f5","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-07-10T13:08:29Z","title_canon_sha256":"16f45c97042250fd0db9b01afea6896e78d1028d447074e8b863a60f602777da"},"schema_version":"1.0","source":{"id":"1707.02833","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.02833","created_at":"2026-05-18T00:40:35Z"},{"alias_kind":"arxiv_version","alias_value":"1707.02833v1","created_at":"2026-05-18T00:40:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.02833","created_at":"2026-05-18T00:40:35Z"},{"alias_kind":"pith_short_12","alias_value":"ZJ5KDVZ2LTGT","created_at":"2026-05-18T12:31:59Z"},{"alias_kind":"pith_short_16","alias_value":"ZJ5KDVZ2LTGTTATS","created_at":"2026-05-18T12:31:59Z"},{"alias_kind":"pith_short_8","alias_value":"ZJ5KDVZ2","created_at":"2026-05-18T12:31:59Z"}],"graph_snapshots":[{"event_id":"sha256:3a24e214631b2a02b939ae2dad83cece8589adc5f24282bc3d2b9080db0ec511","target":"graph","created_at":"2026-05-18T00:40: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"},"paper":{"abstract_excerpt":"Spreadsheets provide a flexible and easy to use software development environment, but that leads to error proneness. Work has been done to prevent errors in spreadsheets, including using models to specify distinct parts of a spreadsheet as it is done with model-driven software development. Previous model languages for spreadsheets offer a limited expressiveness, and cannot model several features present in most real world spreadsheets.\n  In this paper, the modeling language Tabula is introduced. It extends previous spreadsheet models with features like type constraints and nested classes with ","authors_text":"Jo\\~ao Saraiva, Jorge Mendes","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-07-10T13:08:29Z","title":"Tabula: A Language to Model Spreadsheet Tables"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.02833","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:e37610fce6bb0427fd4d4275614a4c2526ea8e17b1c0dde25861ad086f135171","target":"record","created_at":"2026-05-18T00:40: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":"156f47e9b4c530ea7bde61d89dbb5815d5fee70833fb9cfe4dbf4056e275f5f5","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-07-10T13:08:29Z","title_canon_sha256":"16f45c97042250fd0db9b01afea6896e78d1028d447074e8b863a60f602777da"},"schema_version":"1.0","source":{"id":"1707.02833","kind":"arxiv","version":1}},"canonical_sha256":"ca7aa1d73a5ccd3982726bfa5e23174c83aae70020e4793236d9032b77bd3410","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ca7aa1d73a5ccd3982726bfa5e23174c83aae70020e4793236d9032b77bd3410","first_computed_at":"2026-05-18T00:40:35.681758Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:40:35.681758Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"9YxVAgNAzMLuf6fDgRi+lvD9XGykQE7J+ADm5BMH1Ozm2wYjiMfIBnkDkDh2S7U45gw0chcWVJp8wy/tITJyCg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:40:35.682424Z","signed_message":"canonical_sha256_bytes"},"source_id":"1707.02833","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e37610fce6bb0427fd4d4275614a4c2526ea8e17b1c0dde25861ad086f135171","sha256:3a24e214631b2a02b939ae2dad83cece8589adc5f24282bc3d2b9080db0ec511"],"state_sha256":"2a9f2ca73209412fae10583c18f735974e55cbeecc42f18af3f98a5d9c3b5524"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XJKBHxvTvQV1lAuVjeqbQd96eR71FHzAwZB0kShfwzdL1STJo2TsJvMOT2p5Joo/oUuYRFgIvI1y6+ZGYyfnAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-23T19:13:58.804081Z","bundle_sha256":"38aa9ee80735d79ad29f433f4a643b8449a4fb8c335dec99d154a6b425b6abc4"}}