{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:6F4KFRY52IXIHPQT5ZOHE7HWTD","short_pith_number":"pith:6F4KFRY5","canonical_record":{"source":{"id":"2502.02794","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-02-05T00:42:50Z","cross_cats_sorted":[],"title_canon_sha256":"68a911500dc63e2a54e78d4fea41acf90030bacf622db8e8a669a146d15f3b3b","abstract_canon_sha256":"27ba988fbc8ac631d60227c595770d348441686e4655392d945b532d5c47ea1a"},"schema_version":"1.0"},"canonical_sha256":"f178a2c71dd22e83be13ee5c727cf698d6edaba7262590166c779b22f9dddfdd","source":{"kind":"arxiv","id":"2502.02794","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.02794","created_at":"2026-07-05T10:09:55Z"},{"alias_kind":"arxiv_version","alias_value":"2502.02794v1","created_at":"2026-07-05T10:09:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.02794","created_at":"2026-07-05T10:09:55Z"},{"alias_kind":"pith_short_12","alias_value":"6F4KFRY52IXI","created_at":"2026-07-05T10:09:55Z"},{"alias_kind":"pith_short_16","alias_value":"6F4KFRY52IXIHPQT","created_at":"2026-07-05T10:09:55Z"},{"alias_kind":"pith_short_8","alias_value":"6F4KFRY5","created_at":"2026-07-05T10:09:55Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:6F4KFRY52IXIHPQT5ZOHE7HWTD","target":"record","payload":{"canonical_record":{"source":{"id":"2502.02794","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-02-05T00:42:50Z","cross_cats_sorted":[],"title_canon_sha256":"68a911500dc63e2a54e78d4fea41acf90030bacf622db8e8a669a146d15f3b3b","abstract_canon_sha256":"27ba988fbc8ac631d60227c595770d348441686e4655392d945b532d5c47ea1a"},"schema_version":"1.0"},"canonical_sha256":"f178a2c71dd22e83be13ee5c727cf698d6edaba7262590166c779b22f9dddfdd","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:09:55.254933Z","signature_b64":"tcK/UAbPeHMvR59xTrxlL2u4/GRe60wtDaH+7W7UMk32BJYPasvp3nklHSMpCUzzNg4u1wVGYazP6V+jup21DQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f178a2c71dd22e83be13ee5c727cf698d6edaba7262590166c779b22f9dddfdd","last_reissued_at":"2026-07-05T10:09:55.254443Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:09:55.254443Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2502.02794","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-05T10:09:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lIXWiaxspIflQUABfsjpeVNvk1sujeehFe+U1sc7SxoP9ofh75sln2h1MU9cyJLDY15z0dpozQsKP9fgNACoDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T14:22:45.621958Z"},"content_sha256":"69547b34e33c7d78a5eb0abd07e6bcc6ced45a04f502b7e4b0f64f553334d499","schema_version":"1.0","event_id":"sha256:69547b34e33c7d78a5eb0abd07e6bcc6ced45a04f502b7e4b0f64f553334d499"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:6F4KFRY52IXIHPQT5ZOHE7HWTD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"METAMON: Finding Inconsistencies between Program Documentation and Behavior using Metamorphic LLM Queries","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Gabin An, HyeonSeok Lee, Shin Yoo","submitted_at":"2025-02-05T00:42:50Z","abstract_excerpt":"Code documentation can, if written precisely, help developers better understand the code they accompany. However, unlike code, code documentation cannot be automatically verified via execution, potentially leading to inconsistencies between documentation and the actual behavior. While such inconsistencies can be harmful for the developer's understanding of the code, checking and finding them remains a costly task due to the involvement of human engineers. This paper proposes METAMON, which uses an existing search-based test generation technique to capture the current program behavior in the fo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.02794","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/2502.02794/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-05T10:09:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OKzcImlJDR1D4PYX/+hyQJVLyII6cWgc2x4no1NORhv3O8iuZlRWWr6LIDPogmJ3PVt26JwNUnP6p+Ns/lH2Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T14:22:45.622358Z"},"content_sha256":"b847ed802f197c65d3d8842ff5145a159438081030830120adb2e3bac94e199a","schema_version":"1.0","event_id":"sha256:b847ed802f197c65d3d8842ff5145a159438081030830120adb2e3bac94e199a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6F4KFRY52IXIHPQT5ZOHE7HWTD/bundle.json","state_url":"https://pith.science/pith/6F4KFRY52IXIHPQT5ZOHE7HWTD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6F4KFRY52IXIHPQT5ZOHE7HWTD/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-06T14:22:45Z","links":{"resolver":"https://pith.science/pith/6F4KFRY52IXIHPQT5ZOHE7HWTD","bundle":"https://pith.science/pith/6F4KFRY52IXIHPQT5ZOHE7HWTD/bundle.json","state":"https://pith.science/pith/6F4KFRY52IXIHPQT5ZOHE7HWTD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6F4KFRY52IXIHPQT5ZOHE7HWTD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:6F4KFRY52IXIHPQT5ZOHE7HWTD","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":"27ba988fbc8ac631d60227c595770d348441686e4655392d945b532d5c47ea1a","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-02-05T00:42:50Z","title_canon_sha256":"68a911500dc63e2a54e78d4fea41acf90030bacf622db8e8a669a146d15f3b3b"},"schema_version":"1.0","source":{"id":"2502.02794","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.02794","created_at":"2026-07-05T10:09:55Z"},{"alias_kind":"arxiv_version","alias_value":"2502.02794v1","created_at":"2026-07-05T10:09:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.02794","created_at":"2026-07-05T10:09:55Z"},{"alias_kind":"pith_short_12","alias_value":"6F4KFRY52IXI","created_at":"2026-07-05T10:09:55Z"},{"alias_kind":"pith_short_16","alias_value":"6F4KFRY52IXIHPQT","created_at":"2026-07-05T10:09:55Z"},{"alias_kind":"pith_short_8","alias_value":"6F4KFRY5","created_at":"2026-07-05T10:09:55Z"}],"graph_snapshots":[{"event_id":"sha256:b847ed802f197c65d3d8842ff5145a159438081030830120adb2e3bac94e199a","target":"graph","created_at":"2026-07-05T10:09:55Z","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/2502.02794/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Code documentation can, if written precisely, help developers better understand the code they accompany. However, unlike code, code documentation cannot be automatically verified via execution, potentially leading to inconsistencies between documentation and the actual behavior. While such inconsistencies can be harmful for the developer's understanding of the code, checking and finding them remains a costly task due to the involvement of human engineers. This paper proposes METAMON, which uses an existing search-based test generation technique to capture the current program behavior in the fo","authors_text":"Gabin An, HyeonSeok Lee, Shin Yoo","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-02-05T00:42:50Z","title":"METAMON: Finding Inconsistencies between Program Documentation and Behavior using Metamorphic LLM Queries"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.02794","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:69547b34e33c7d78a5eb0abd07e6bcc6ced45a04f502b7e4b0f64f553334d499","target":"record","created_at":"2026-07-05T10:09:55Z","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":"27ba988fbc8ac631d60227c595770d348441686e4655392d945b532d5c47ea1a","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-02-05T00:42:50Z","title_canon_sha256":"68a911500dc63e2a54e78d4fea41acf90030bacf622db8e8a669a146d15f3b3b"},"schema_version":"1.0","source":{"id":"2502.02794","kind":"arxiv","version":1}},"canonical_sha256":"f178a2c71dd22e83be13ee5c727cf698d6edaba7262590166c779b22f9dddfdd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f178a2c71dd22e83be13ee5c727cf698d6edaba7262590166c779b22f9dddfdd","first_computed_at":"2026-07-05T10:09:55.254443Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:09:55.254443Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"tcK/UAbPeHMvR59xTrxlL2u4/GRe60wtDaH+7W7UMk32BJYPasvp3nklHSMpCUzzNg4u1wVGYazP6V+jup21DQ==","signature_status":"signed_v1","signed_at":"2026-07-05T10:09:55.254933Z","signed_message":"canonical_sha256_bytes"},"source_id":"2502.02794","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:69547b34e33c7d78a5eb0abd07e6bcc6ced45a04f502b7e4b0f64f553334d499","sha256:b847ed802f197c65d3d8842ff5145a159438081030830120adb2e3bac94e199a"],"state_sha256":"16373d33d29f6447b6b30c107534ec8df69182694c434a03c29e2e352ee886bb"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DjZb8gNmXLZ3i6PfOtwXkSBkyObSbH4+XfN/8L80x1U3wlyqzTH/zsfqrQNbBDoH7c0aey/zigKuogx5TrSdAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T14:22:45.625887Z","bundle_sha256":"390b1d8515f27919c8f5a887e83558c1c9a3879f3ed251776c632bec41c0187c"}}