{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:RUN4AXRH4O5TTYEA3ZYV4D2EJ6","short_pith_number":"pith:RUN4AXRH","canonical_record":{"source":{"id":"2608.05399","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-08-05T20:31:53Z","cross_cats_sorted":[],"title_canon_sha256":"d6774e7cb6a391313651497cc90bb6508bc9f1a414bed97470b3e4fac777d50d","abstract_canon_sha256":"87f8d39742099a4193d5373fc1e790460bdbaed7cbed0b03dda5cd2050c5ee8d"},"schema_version":"1.0"},"canonical_sha256":"8d1bc05e27e3bb39e080de715e0f444fb31cb658e036e1de58981f0fff918e0c","source":{"kind":"arxiv","id":"2608.05399","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2608.05399","created_at":"2026-08-07T00:47:35Z"},{"alias_kind":"arxiv_version","alias_value":"2608.05399v1","created_at":"2026-08-07T00:47:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2608.05399","created_at":"2026-08-07T00:47:35Z"},{"alias_kind":"pith_short_12","alias_value":"RUN4AXRH4O5T","created_at":"2026-08-07T00:47:35Z"},{"alias_kind":"pith_short_16","alias_value":"RUN4AXRH4O5TTYEA","created_at":"2026-08-07T00:47:35Z"},{"alias_kind":"pith_short_8","alias_value":"RUN4AXRH","created_at":"2026-08-07T00:47:35Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:RUN4AXRH4O5TTYEA3ZYV4D2EJ6","target":"record","payload":{"canonical_record":{"source":{"id":"2608.05399","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-08-05T20:31:53Z","cross_cats_sorted":[],"title_canon_sha256":"d6774e7cb6a391313651497cc90bb6508bc9f1a414bed97470b3e4fac777d50d","abstract_canon_sha256":"87f8d39742099a4193d5373fc1e790460bdbaed7cbed0b03dda5cd2050c5ee8d"},"schema_version":"1.0"},"canonical_sha256":"8d1bc05e27e3bb39e080de715e0f444fb31cb658e036e1de58981f0fff918e0c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-08-07T00:47:35.764800Z","signature_b64":"et66tdoKay8EJQuDpNw0dJBmmNGVYZvXbux3alJtfor6ifMVhL6qUuz+60FPUtsAEcFnWwGjYwGMQz1m5sswBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8d1bc05e27e3bb39e080de715e0f444fb31cb658e036e1de58981f0fff918e0c","last_reissued_at":"2026-08-07T00:47:35.763338Z","signature_status":"signed_v1","first_computed_at":"2026-08-07T00:47:35.763338Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2608.05399","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-08-07T00:47:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HwKPK9OBnP0CJaztxNDzuemR+9SQe5etcZmMLXNLcolH842sEA+HHK/hTGtZJl74gCDrEOzNa+tqTyva7sXbAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-19T23:13:34.859880Z"},"content_sha256":"156de3bf552e05fbcf8559ea9fe74c0ba7d8830ffda9e6765a4e6fadd249fafb","schema_version":"1.0","event_id":"sha256:156de3bf552e05fbcf8559ea9fe74c0ba7d8830ffda9e6765a4e6fadd249fafb"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:RUN4AXRH4O5TTYEA3ZYV4D2EJ6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Alexandra Mendes, \\'Alvaro Silva, Isabel Amaral, Jo\\~ao Pascoal Faria","submitted_at":"2026-08-05T20:31:53Z","abstract_excerpt":"Verification-aware languages, like Dafny, integrate formal specifications directly into source code to enable static correctness checks. However, when verification fails, the feedback provided is often limited to the specific condition of the error, such as a violated postcondition, rather than the root cause of the fault. While Dafny's counterexample features provide concrete execution traces, these typically expose a single failing path per assertion failure, leaving the developer to manually look through the entire trace to locate the error.\n  This paper investigates automated fault localiz"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2608.05399","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/2608.05399/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-08-07T00:47:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wP/po6pXF+LltUrxfXffqqECzWGx4cGZOb8wya+qfJzs26xralpTt1+Ih++tIW0o1x3GDB1Sf2Z7cem2cA8IAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-19T23:13:34.860722Z"},"content_sha256":"f98bb8a3cae34e1ee90d0874fb0c69a35782bbd65db825fb36c3d83edf37cc48","schema_version":"1.0","event_id":"sha256:f98bb8a3cae34e1ee90d0874fb0c69a35782bbd65db825fb36c3d83edf37cc48"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/RUN4AXRH4O5TTYEA3ZYV4D2EJ6/bundle.json","state_url":"https://pith.science/pith/RUN4AXRH4O5TTYEA3ZYV4D2EJ6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/RUN4AXRH4O5TTYEA3ZYV4D2EJ6/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-19T23:13:34Z","links":{"resolver":"https://pith.science/pith/RUN4AXRH4O5TTYEA3ZYV4D2EJ6","bundle":"https://pith.science/pith/RUN4AXRH4O5TTYEA3ZYV4D2EJ6/bundle.json","state":"https://pith.science/pith/RUN4AXRH4O5TTYEA3ZYV4D2EJ6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/RUN4AXRH4O5TTYEA3ZYV4D2EJ6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:RUN4AXRH4O5TTYEA3ZYV4D2EJ6","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":"87f8d39742099a4193d5373fc1e790460bdbaed7cbed0b03dda5cd2050c5ee8d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-08-05T20:31:53Z","title_canon_sha256":"d6774e7cb6a391313651497cc90bb6508bc9f1a414bed97470b3e4fac777d50d"},"schema_version":"1.0","source":{"id":"2608.05399","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2608.05399","created_at":"2026-08-07T00:47:35Z"},{"alias_kind":"arxiv_version","alias_value":"2608.05399v1","created_at":"2026-08-07T00:47:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2608.05399","created_at":"2026-08-07T00:47:35Z"},{"alias_kind":"pith_short_12","alias_value":"RUN4AXRH4O5T","created_at":"2026-08-07T00:47:35Z"},{"alias_kind":"pith_short_16","alias_value":"RUN4AXRH4O5TTYEA","created_at":"2026-08-07T00:47:35Z"},{"alias_kind":"pith_short_8","alias_value":"RUN4AXRH","created_at":"2026-08-07T00:47:35Z"}],"graph_snapshots":[{"event_id":"sha256:f98bb8a3cae34e1ee90d0874fb0c69a35782bbd65db825fb36c3d83edf37cc48","target":"graph","created_at":"2026-08-07T00:47: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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2608.05399/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Verification-aware languages, like Dafny, integrate formal specifications directly into source code to enable static correctness checks. However, when verification fails, the feedback provided is often limited to the specific condition of the error, such as a violated postcondition, rather than the root cause of the fault. While Dafny's counterexample features provide concrete execution traces, these typically expose a single failing path per assertion failure, leaving the developer to manually look through the entire trace to locate the error.\n  This paper investigates automated fault localiz","authors_text":"Alexandra Mendes, \\'Alvaro Silva, Isabel Amaral, Jo\\~ao Pascoal Faria","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-08-05T20:31:53Z","title":"Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2608.05399","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:156de3bf552e05fbcf8559ea9fe74c0ba7d8830ffda9e6765a4e6fadd249fafb","target":"record","created_at":"2026-08-07T00:47: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":"87f8d39742099a4193d5373fc1e790460bdbaed7cbed0b03dda5cd2050c5ee8d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-08-05T20:31:53Z","title_canon_sha256":"d6774e7cb6a391313651497cc90bb6508bc9f1a414bed97470b3e4fac777d50d"},"schema_version":"1.0","source":{"id":"2608.05399","kind":"arxiv","version":1}},"canonical_sha256":"8d1bc05e27e3bb39e080de715e0f444fb31cb658e036e1de58981f0fff918e0c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8d1bc05e27e3bb39e080de715e0f444fb31cb658e036e1de58981f0fff918e0c","first_computed_at":"2026-08-07T00:47:35.763338Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-08-07T00:47:35.763338Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"et66tdoKay8EJQuDpNw0dJBmmNGVYZvXbux3alJtfor6ifMVhL6qUuz+60FPUtsAEcFnWwGjYwGMQz1m5sswBg==","signature_status":"signed_v1","signed_at":"2026-08-07T00:47:35.764800Z","signed_message":"canonical_sha256_bytes"},"source_id":"2608.05399","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:156de3bf552e05fbcf8559ea9fe74c0ba7d8830ffda9e6765a4e6fadd249fafb","sha256:f98bb8a3cae34e1ee90d0874fb0c69a35782bbd65db825fb36c3d83edf37cc48"],"state_sha256":"f2feb930de8b4c0cad9b4ad714ca54ef5e94ee0bb36e2739a6b6e053b00b4f5d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3Hc7bd5VI1L42REsDZArfkzwCadZyd6fzgdBD7g+/hSvxnirKGAuJRYSHhEyIt6NOqio0tnVRD6+l/Zs6E2NBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-19T23:13:34.867136Z","bundle_sha256":"1ed63d0e4f9ffe5676f162266eab07589e04d392cdef076b2826283648a72bd3"}}