{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:J2S2VBZPHCQFPGUSKUPZWYFB27","short_pith_number":"pith:J2S2VBZP","canonical_record":{"source":{"id":"1611.08004","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-11-23T21:25:17Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"40e58c73b391688df9833c1dbb8057731a8778aaeab7247fc56d59506302cc94","abstract_canon_sha256":"d4e74abbc4ef6de4d566fe0d7e662f6c98b15a78afcbbb15e8d9fc5c8a28b46b"},"schema_version":"1.0"},"canonical_sha256":"4ea5aa872f38a0579a92551f9b60a1d7ee8951e63099e2f45a686a2373a7051a","source":{"kind":"arxiv","id":"1611.08004","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1611.08004","created_at":"2026-05-18T00:56:44Z"},{"alias_kind":"arxiv_version","alias_value":"1611.08004v1","created_at":"2026-05-18T00:56:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1611.08004","created_at":"2026-05-18T00:56:44Z"},{"alias_kind":"pith_short_12","alias_value":"J2S2VBZPHCQF","created_at":"2026-05-18T12:30:22Z"},{"alias_kind":"pith_short_16","alias_value":"J2S2VBZPHCQFPGUS","created_at":"2026-05-18T12:30:22Z"},{"alias_kind":"pith_short_8","alias_value":"J2S2VBZP","created_at":"2026-05-18T12:30:22Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:J2S2VBZPHCQFPGUSKUPZWYFB27","target":"record","payload":{"canonical_record":{"source":{"id":"1611.08004","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-11-23T21:25:17Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"40e58c73b391688df9833c1dbb8057731a8778aaeab7247fc56d59506302cc94","abstract_canon_sha256":"d4e74abbc4ef6de4d566fe0d7e662f6c98b15a78afcbbb15e8d9fc5c8a28b46b"},"schema_version":"1.0"},"canonical_sha256":"4ea5aa872f38a0579a92551f9b60a1d7ee8951e63099e2f45a686a2373a7051a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:56:44.730385Z","signature_b64":"eytALxMjwtELoekesKWkauJVUKdZdLf3D8aSTepbqy+BXMlITZgg7X29c2VvKfGqmvdWM8yQ3xdfREKJDegtDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4ea5aa872f38a0579a92551f9b60a1d7ee8951e63099e2f45a686a2373a7051a","last_reissued_at":"2026-05-18T00:56:44.729677Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:56:44.729677Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1611.08004","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:56:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tuLQ+0y7Yy+G/y08e+Oyw8xcEFwok3gUASfQ09pY2db9LwhXTqBy1aVDubQKQZimufFBo/kkuTUS/G/oYduWCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T00:24:57.527381Z"},"content_sha256":"909b4919477632e8c0c835df7643172c7f4679587aec769b8791d0decfa7575a","schema_version":"1.0","event_id":"sha256:909b4919477632e8c0c835df7643172c7f4679587aec769b8791d0decfa7575a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:J2S2VBZPHCQFPGUSKUPZWYFB27","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"At Ease with Your Warnings: The Principles of the Salutogenesis Model Applied to Automatic Static Analysis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.SE","authors_text":"Jan-Peter Ostberg, Stefan Wagner","submitted_at":"2016-11-23T21:25:17Z","abstract_excerpt":"The results of an automatic static analysis run can be overwhelming, especially for beginners. The overflow of information and the resulting need for many decisions is mentally tiring and can cause stress symptoms. There are several models in health care which are designed to fight stress. One of these is the salutogenesis model created by Aaron Antonovsky. In this paper, we will present an idea on how to transfer this model into a triage and recommendation model for static analysis tools and give an example of how this can be implemented in FindBugs, a static analysis tool for Java."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1611.08004","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:56:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0MRknhlb0GMk2QiHbQcV7Gfdr5HFlM/i4aDKsuEPabCkPOTvxzYH523A7Lsbcor6iHfXBa/cknrmu/aPZdpCAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T00:24:57.527723Z"},"content_sha256":"9ee927ca99fab48527b17c0743983b8c7a09d2d1d12cf4364f5e466e555f9ca2","schema_version":"1.0","event_id":"sha256:9ee927ca99fab48527b17c0743983b8c7a09d2d1d12cf4364f5e466e555f9ca2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/J2S2VBZPHCQFPGUSKUPZWYFB27/bundle.json","state_url":"https://pith.science/pith/J2S2VBZPHCQFPGUSKUPZWYFB27/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/J2S2VBZPHCQFPGUSKUPZWYFB27/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-02T00:24:57Z","links":{"resolver":"https://pith.science/pith/J2S2VBZPHCQFPGUSKUPZWYFB27","bundle":"https://pith.science/pith/J2S2VBZPHCQFPGUSKUPZWYFB27/bundle.json","state":"https://pith.science/pith/J2S2VBZPHCQFPGUSKUPZWYFB27/state.json","well_known_bundle":"https://pith.science/.well-known/pith/J2S2VBZPHCQFPGUSKUPZWYFB27/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:J2S2VBZPHCQFPGUSKUPZWYFB27","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":"d4e74abbc4ef6de4d566fe0d7e662f6c98b15a78afcbbb15e8d9fc5c8a28b46b","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-11-23T21:25:17Z","title_canon_sha256":"40e58c73b391688df9833c1dbb8057731a8778aaeab7247fc56d59506302cc94"},"schema_version":"1.0","source":{"id":"1611.08004","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1611.08004","created_at":"2026-05-18T00:56:44Z"},{"alias_kind":"arxiv_version","alias_value":"1611.08004v1","created_at":"2026-05-18T00:56:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1611.08004","created_at":"2026-05-18T00:56:44Z"},{"alias_kind":"pith_short_12","alias_value":"J2S2VBZPHCQF","created_at":"2026-05-18T12:30:22Z"},{"alias_kind":"pith_short_16","alias_value":"J2S2VBZPHCQFPGUS","created_at":"2026-05-18T12:30:22Z"},{"alias_kind":"pith_short_8","alias_value":"J2S2VBZP","created_at":"2026-05-18T12:30:22Z"}],"graph_snapshots":[{"event_id":"sha256:9ee927ca99fab48527b17c0743983b8c7a09d2d1d12cf4364f5e466e555f9ca2","target":"graph","created_at":"2026-05-18T00:56:44Z","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":"The results of an automatic static analysis run can be overwhelming, especially for beginners. The overflow of information and the resulting need for many decisions is mentally tiring and can cause stress symptoms. There are several models in health care which are designed to fight stress. One of these is the salutogenesis model created by Aaron Antonovsky. In this paper, we will present an idea on how to transfer this model into a triage and recommendation model for static analysis tools and give an example of how this can be implemented in FindBugs, a static analysis tool for Java.","authors_text":"Jan-Peter Ostberg, Stefan Wagner","cross_cats":["cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-11-23T21:25:17Z","title":"At Ease with Your Warnings: The Principles of the Salutogenesis Model Applied to Automatic Static Analysis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1611.08004","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:909b4919477632e8c0c835df7643172c7f4679587aec769b8791d0decfa7575a","target":"record","created_at":"2026-05-18T00:56:44Z","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":"d4e74abbc4ef6de4d566fe0d7e662f6c98b15a78afcbbb15e8d9fc5c8a28b46b","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-11-23T21:25:17Z","title_canon_sha256":"40e58c73b391688df9833c1dbb8057731a8778aaeab7247fc56d59506302cc94"},"schema_version":"1.0","source":{"id":"1611.08004","kind":"arxiv","version":1}},"canonical_sha256":"4ea5aa872f38a0579a92551f9b60a1d7ee8951e63099e2f45a686a2373a7051a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4ea5aa872f38a0579a92551f9b60a1d7ee8951e63099e2f45a686a2373a7051a","first_computed_at":"2026-05-18T00:56:44.729677Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:56:44.729677Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"eytALxMjwtELoekesKWkauJVUKdZdLf3D8aSTepbqy+BXMlITZgg7X29c2VvKfGqmvdWM8yQ3xdfREKJDegtDA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:56:44.730385Z","signed_message":"canonical_sha256_bytes"},"source_id":"1611.08004","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:909b4919477632e8c0c835df7643172c7f4679587aec769b8791d0decfa7575a","sha256:9ee927ca99fab48527b17c0743983b8c7a09d2d1d12cf4364f5e466e555f9ca2"],"state_sha256":"6487747959692e44e4d42c1a13eb0954b33a46714af41e0932df68a1f1965e69"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Z46DB2U7DlqiKfv63f+6aCfteXsJz6fFuJlstZK0VvWYVIK7YuIQzkiWau4Xt5mlI7PJM64+4JHQ05Px56RyDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T00:24:57.529561Z","bundle_sha256":"c55fd3ab474230762d66823c2d788c9c17eb11eeef0d79006c8445708c049731"}}