{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:NJSTQU4L3WUVYX7OEDFFHVJAL5","short_pith_number":"pith:NJSTQU4L","canonical_record":{"source":{"id":"1812.00992","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-12-02T15:53:24Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"888b976e6045dff2869a0d5c588a4a79eea7156176e359b7b4dbd456645670f3","abstract_canon_sha256":"14333bd7b1d615f7680b6152dda9d5690c01baaf8e07933d3c380a74b8ca4838"},"schema_version":"1.0"},"canonical_sha256":"6a6538538bdda95c5fee20ca53d5205f72866e5f0f0a915deb0028f55e52bcec","source":{"kind":"arxiv","id":"1812.00992","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1812.00992","created_at":"2026-07-05T00:08:25Z"},{"alias_kind":"arxiv_version","alias_value":"1812.00992v1","created_at":"2026-07-05T00:08:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1812.00992","created_at":"2026-07-05T00:08:25Z"},{"alias_kind":"pith_short_12","alias_value":"NJSTQU4L3WUV","created_at":"2026-07-05T00:08:25Z"},{"alias_kind":"pith_short_16","alias_value":"NJSTQU4L3WUVYX7O","created_at":"2026-07-05T00:08:25Z"},{"alias_kind":"pith_short_8","alias_value":"NJSTQU4L","created_at":"2026-07-05T00:08:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:NJSTQU4L3WUVYX7OEDFFHVJAL5","target":"record","payload":{"canonical_record":{"source":{"id":"1812.00992","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-12-02T15:53:24Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"888b976e6045dff2869a0d5c588a4a79eea7156176e359b7b4dbd456645670f3","abstract_canon_sha256":"14333bd7b1d615f7680b6152dda9d5690c01baaf8e07933d3c380a74b8ca4838"},"schema_version":"1.0"},"canonical_sha256":"6a6538538bdda95c5fee20ca53d5205f72866e5f0f0a915deb0028f55e52bcec","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T00:08:25.377862Z","signature_b64":"Gq36mXTbqqOBqkwYc/J3C7U05PMkp7WvzK/JbugG/BFm+ZhNXTtBpMLsJ3zuIA89HKvpmZYk36kaFFg/kZdsCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6a6538538bdda95c5fee20ca53d5205f72866e5f0f0a915deb0028f55e52bcec","last_reissued_at":"2026-07-05T00:08:25.377435Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T00:08:25.377435Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1812.00992","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-05T00:08:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2fdl9IKqSe7ztb6C3PfWm1eFlDjOYkYh1VzIaDV72W/wJ1ytXqs9ibZi1UcA0xieRcsRT0wHfoGKU3tmwSK1Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T19:01:47.158520Z"},"content_sha256":"ea39fac2fc6eb261b24787ac59ba8fb0711ff44784bfb2a1f72de4728f1032bf","schema_version":"1.0","event_id":"sha256:ea39fac2fc6eb261b24787ac59ba8fb0711ff44784bfb2a1f72de4728f1032bf"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:NJSTQU4L3WUVYX7OEDFFHVJAL5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Ann: A domain-specific language for the effective design and validation of Java annotations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.PL","authors_text":"Irene C\\'ordoba, Juan de Lara","submitted_at":"2018-12-02T15:53:24Z","abstract_excerpt":"This paper describes a new modelling language for the effective design and validation of Java annotations. Since their inclusion in the 5th edition of Java, annotations have grown from a useful tool for the addition of meta-data to play a central role in many popular software projects. Usually they are not conceived in isolation, but in groups, with dependency and integrity constraints between them. However, the native support provided by Java for expressing this design is very limited.\n  To overcome its deficiencies and make explicit the rich conceptual model which lies behind a set of annota"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1812.00992","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/1812.00992/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-05T00:08:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UW9EZX8ePpj2BylEslpw0Vd04dtYPodIgOrUd9jXSbNNCzWhYP9Y6zOlMF1b9s1KjnfhcWFZ95LFmpTUoTgKAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T19:01:47.159035Z"},"content_sha256":"aa16f2987615dd105dbfe450eb90eb7bc91f82d20953d805b9802a7bb0d5aa39","schema_version":"1.0","event_id":"sha256:aa16f2987615dd105dbfe450eb90eb7bc91f82d20953d805b9802a7bb0d5aa39"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NJSTQU4L3WUVYX7OEDFFHVJAL5/bundle.json","state_url":"https://pith.science/pith/NJSTQU4L3WUVYX7OEDFFHVJAL5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NJSTQU4L3WUVYX7OEDFFHVJAL5/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-03T19:01:47Z","links":{"resolver":"https://pith.science/pith/NJSTQU4L3WUVYX7OEDFFHVJAL5","bundle":"https://pith.science/pith/NJSTQU4L3WUVYX7OEDFFHVJAL5/bundle.json","state":"https://pith.science/pith/NJSTQU4L3WUVYX7OEDFFHVJAL5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NJSTQU4L3WUVYX7OEDFFHVJAL5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:NJSTQU4L3WUVYX7OEDFFHVJAL5","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":"14333bd7b1d615f7680b6152dda9d5690c01baaf8e07933d3c380a74b8ca4838","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-12-02T15:53:24Z","title_canon_sha256":"888b976e6045dff2869a0d5c588a4a79eea7156176e359b7b4dbd456645670f3"},"schema_version":"1.0","source":{"id":"1812.00992","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1812.00992","created_at":"2026-07-05T00:08:25Z"},{"alias_kind":"arxiv_version","alias_value":"1812.00992v1","created_at":"2026-07-05T00:08:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1812.00992","created_at":"2026-07-05T00:08:25Z"},{"alias_kind":"pith_short_12","alias_value":"NJSTQU4L3WUV","created_at":"2026-07-05T00:08:25Z"},{"alias_kind":"pith_short_16","alias_value":"NJSTQU4L3WUVYX7O","created_at":"2026-07-05T00:08:25Z"},{"alias_kind":"pith_short_8","alias_value":"NJSTQU4L","created_at":"2026-07-05T00:08:25Z"}],"graph_snapshots":[{"event_id":"sha256:aa16f2987615dd105dbfe450eb90eb7bc91f82d20953d805b9802a7bb0d5aa39","target":"graph","created_at":"2026-07-05T00:08:25Z","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/1812.00992/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper describes a new modelling language for the effective design and validation of Java annotations. Since their inclusion in the 5th edition of Java, annotations have grown from a useful tool for the addition of meta-data to play a central role in many popular software projects. Usually they are not conceived in isolation, but in groups, with dependency and integrity constraints between them. However, the native support provided by Java for expressing this design is very limited.\n  To overcome its deficiencies and make explicit the rich conceptual model which lies behind a set of annota","authors_text":"Irene C\\'ordoba, Juan de Lara","cross_cats":["cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-12-02T15:53:24Z","title":"Ann: A domain-specific language for the effective design and validation of Java annotations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1812.00992","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:ea39fac2fc6eb261b24787ac59ba8fb0711ff44784bfb2a1f72de4728f1032bf","target":"record","created_at":"2026-07-05T00:08:25Z","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":"14333bd7b1d615f7680b6152dda9d5690c01baaf8e07933d3c380a74b8ca4838","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-12-02T15:53:24Z","title_canon_sha256":"888b976e6045dff2869a0d5c588a4a79eea7156176e359b7b4dbd456645670f3"},"schema_version":"1.0","source":{"id":"1812.00992","kind":"arxiv","version":1}},"canonical_sha256":"6a6538538bdda95c5fee20ca53d5205f72866e5f0f0a915deb0028f55e52bcec","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6a6538538bdda95c5fee20ca53d5205f72866e5f0f0a915deb0028f55e52bcec","first_computed_at":"2026-07-05T00:08:25.377435Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T00:08:25.377435Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Gq36mXTbqqOBqkwYc/J3C7U05PMkp7WvzK/JbugG/BFm+ZhNXTtBpMLsJ3zuIA89HKvpmZYk36kaFFg/kZdsCQ==","signature_status":"signed_v1","signed_at":"2026-07-05T00:08:25.377862Z","signed_message":"canonical_sha256_bytes"},"source_id":"1812.00992","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ea39fac2fc6eb261b24787ac59ba8fb0711ff44784bfb2a1f72de4728f1032bf","sha256:aa16f2987615dd105dbfe450eb90eb7bc91f82d20953d805b9802a7bb0d5aa39"],"state_sha256":"334396cab283258594959c6bbeda7f0a69068faa94542581f132e9fb34fe3516"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PRhO9DF5BT3T62lyvtAEROh+mAuM5rgLUqdjBkphwup++S8L3YFExyLV1jhnupfJzDpbC1c07TEnSoaxoPncAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-03T19:01:47.163997Z","bundle_sha256":"86f224225023ec292fdd80592bbca21d159324a3c0983cc263f03d980cfb9093"}}