{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:NBVYEOSBHUOP7G2FIYJGBUQRPD","short_pith_number":"pith:NBVYEOSB","canonical_record":{"source":{"id":"1907.00855","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-07-01T15:20:42Z","cross_cats_sorted":[],"title_canon_sha256":"8bdea944c0e3ca2042d7e869ebc940f74a3d63fe5e9e41ff410e6f6151422ad0","abstract_canon_sha256":"c22c1f24df28bffd393aac86c72bbd242cefcac1b7490d5339d1f0ca05c6d06d"},"schema_version":"1.0"},"canonical_sha256":"686b823a413d1cff9b45461260d21178c843e0e97c8e7333b6d13922ea92ee09","source":{"kind":"arxiv","id":"1907.00855","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1907.00855","created_at":"2026-05-17T23:41:47Z"},{"alias_kind":"arxiv_version","alias_value":"1907.00855v1","created_at":"2026-05-17T23:41:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.00855","created_at":"2026-05-17T23:41:47Z"},{"alias_kind":"pith_short_12","alias_value":"NBVYEOSBHUOP","created_at":"2026-05-18T12:33:24Z"},{"alias_kind":"pith_short_16","alias_value":"NBVYEOSBHUOP7G2F","created_at":"2026-05-18T12:33:24Z"},{"alias_kind":"pith_short_8","alias_value":"NBVYEOSB","created_at":"2026-05-18T12:33:24Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:NBVYEOSBHUOP7G2FIYJGBUQRPD","target":"record","payload":{"canonical_record":{"source":{"id":"1907.00855","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-07-01T15:20:42Z","cross_cats_sorted":[],"title_canon_sha256":"8bdea944c0e3ca2042d7e869ebc940f74a3d63fe5e9e41ff410e6f6151422ad0","abstract_canon_sha256":"c22c1f24df28bffd393aac86c72bbd242cefcac1b7490d5339d1f0ca05c6d06d"},"schema_version":"1.0"},"canonical_sha256":"686b823a413d1cff9b45461260d21178c843e0e97c8e7333b6d13922ea92ee09","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:41:47.865025Z","signature_b64":"uwPvPqIkYxscn9497OCUOGn1CU0fu0vxIErVP9E+z/vCBMt0mRqICyrNFYDx4O37/OFLbdoiBJTQpBuujBlaAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"686b823a413d1cff9b45461260d21178c843e0e97c8e7333b6d13922ea92ee09","last_reissued_at":"2026-05-17T23:41:47.864326Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:41:47.864326Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1907.00855","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-17T23:41:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+Y/EJZtMtsbLXXwAehijDQsohVCk9ZkgqbYNnokEeDIy9+IRoQAIbcWjvekjrUd+vHBjgAzuN1LeHw9267pIDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T14:09:47.976655Z"},"content_sha256":"1ea86a18816ea8eea4bc8271ebc313cac0c3a5a7d3c129490c27983afc0e3410","schema_version":"1.0","event_id":"sha256:1ea86a18816ea8eea4bc8271ebc313cac0c3a5a7d3c129490c27983afc0e3410"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:NBVYEOSBHUOP7G2FIYJGBUQRPD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Type Checking Program Code using SHACL (Extended Version)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Claudia Schon, Martin Leinberger, Philipp Seifer, Ralf L\\\"ammel, Steffen Staab","submitted_at":"2019-07-01T15:20:42Z","abstract_excerpt":"It is a strength of graph-based data formats, like RDF, that they are very flexible with representing data. To avoid run-time errors, program code that processes highly-flexible data representations exhibits the difficulty that it must always include the most general case, in which attributes might be set-valued or possibly not available. The Shapes Constraint Language (SHACL) has been devised to enforce constraints on otherwise random data structures. We present our approach, Type checking using SHACL (TyCuS), for type checking code that queries RDF data graphs validated by a SHACL shape grap"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.00855","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-17T23:41:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mKyLOEUR9klxlBb3IzKG9BT99/HZrf8KW++4tkgFbeqz+RqRucqHa0dPFEyPGo2+JPDGstI56krxxP4oa4H7Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T14:09:47.977002Z"},"content_sha256":"bfe550671e83dec73c424577c9ae6a1c4582b339c9ce9f0f1f890869f1256d5f","schema_version":"1.0","event_id":"sha256:bfe550671e83dec73c424577c9ae6a1c4582b339c9ce9f0f1f890869f1256d5f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NBVYEOSBHUOP7G2FIYJGBUQRPD/bundle.json","state_url":"https://pith.science/pith/NBVYEOSBHUOP7G2FIYJGBUQRPD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NBVYEOSBHUOP7G2FIYJGBUQRPD/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-02T14:09:47Z","links":{"resolver":"https://pith.science/pith/NBVYEOSBHUOP7G2FIYJGBUQRPD","bundle":"https://pith.science/pith/NBVYEOSBHUOP7G2FIYJGBUQRPD/bundle.json","state":"https://pith.science/pith/NBVYEOSBHUOP7G2FIYJGBUQRPD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NBVYEOSBHUOP7G2FIYJGBUQRPD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:NBVYEOSBHUOP7G2FIYJGBUQRPD","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":"c22c1f24df28bffd393aac86c72bbd242cefcac1b7490d5339d1f0ca05c6d06d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-07-01T15:20:42Z","title_canon_sha256":"8bdea944c0e3ca2042d7e869ebc940f74a3d63fe5e9e41ff410e6f6151422ad0"},"schema_version":"1.0","source":{"id":"1907.00855","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1907.00855","created_at":"2026-05-17T23:41:47Z"},{"alias_kind":"arxiv_version","alias_value":"1907.00855v1","created_at":"2026-05-17T23:41:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.00855","created_at":"2026-05-17T23:41:47Z"},{"alias_kind":"pith_short_12","alias_value":"NBVYEOSBHUOP","created_at":"2026-05-18T12:33:24Z"},{"alias_kind":"pith_short_16","alias_value":"NBVYEOSBHUOP7G2F","created_at":"2026-05-18T12:33:24Z"},{"alias_kind":"pith_short_8","alias_value":"NBVYEOSB","created_at":"2026-05-18T12:33:24Z"}],"graph_snapshots":[{"event_id":"sha256:bfe550671e83dec73c424577c9ae6a1c4582b339c9ce9f0f1f890869f1256d5f","target":"graph","created_at":"2026-05-17T23:41:47Z","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":"It is a strength of graph-based data formats, like RDF, that they are very flexible with representing data. To avoid run-time errors, program code that processes highly-flexible data representations exhibits the difficulty that it must always include the most general case, in which attributes might be set-valued or possibly not available. The Shapes Constraint Language (SHACL) has been devised to enforce constraints on otherwise random data structures. We present our approach, Type checking using SHACL (TyCuS), for type checking code that queries RDF data graphs validated by a SHACL shape grap","authors_text":"Claudia Schon, Martin Leinberger, Philipp Seifer, Ralf L\\\"ammel, Steffen Staab","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-07-01T15:20:42Z","title":"Type Checking Program Code using SHACL (Extended Version)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.00855","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:1ea86a18816ea8eea4bc8271ebc313cac0c3a5a7d3c129490c27983afc0e3410","target":"record","created_at":"2026-05-17T23:41:47Z","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":"c22c1f24df28bffd393aac86c72bbd242cefcac1b7490d5339d1f0ca05c6d06d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-07-01T15:20:42Z","title_canon_sha256":"8bdea944c0e3ca2042d7e869ebc940f74a3d63fe5e9e41ff410e6f6151422ad0"},"schema_version":"1.0","source":{"id":"1907.00855","kind":"arxiv","version":1}},"canonical_sha256":"686b823a413d1cff9b45461260d21178c843e0e97c8e7333b6d13922ea92ee09","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"686b823a413d1cff9b45461260d21178c843e0e97c8e7333b6d13922ea92ee09","first_computed_at":"2026-05-17T23:41:47.864326Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:41:47.864326Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"uwPvPqIkYxscn9497OCUOGn1CU0fu0vxIErVP9E+z/vCBMt0mRqICyrNFYDx4O37/OFLbdoiBJTQpBuujBlaAw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:41:47.865025Z","signed_message":"canonical_sha256_bytes"},"source_id":"1907.00855","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1ea86a18816ea8eea4bc8271ebc313cac0c3a5a7d3c129490c27983afc0e3410","sha256:bfe550671e83dec73c424577c9ae6a1c4582b339c9ce9f0f1f890869f1256d5f"],"state_sha256":"8ca029ef67e22f549cf9c352d3b8bf88d43e00ce077df7085047961cbb77e149"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"D2NVJsZSZJEDFPTAhNV42Xxn4Juw2xs+lIqJuanKtDyxV4LMzoeo2gByup55Uibn1oURtl6nFBOQA36XwBfmAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T14:09:47.979054Z","bundle_sha256":"dd2305565c44da7296b91022275916504f46391c8cf1d96f7648432d906600af"}}