{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:242KCTUG2TLW7ONU3BAEZ6XI2K","short_pith_number":"pith:242KCTUG","canonical_record":{"source":{"id":"2506.16639","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-06-19T22:41:43Z","cross_cats_sorted":[],"title_canon_sha256":"3810df0c156dce24d3259bfc6fb7e9abf6c42f83751b0c87a6c27d70fddd2e4c","abstract_canon_sha256":"e9e720e8845ae0cfe1b4bd3a6f4855c2512d4a653c530ed640ea7d76b9c047a5"},"schema_version":"1.0"},"canonical_sha256":"d734a14e86d4d76fb9b4d8404cfae8d28603ce82f3934643b12191f70feaa19c","source":{"kind":"arxiv","id":"2506.16639","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.16639","created_at":"2026-07-05T11:24:39Z"},{"alias_kind":"arxiv_version","alias_value":"2506.16639v1","created_at":"2026-07-05T11:24:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.16639","created_at":"2026-07-05T11:24:39Z"},{"alias_kind":"pith_short_12","alias_value":"242KCTUG2TLW","created_at":"2026-07-05T11:24:39Z"},{"alias_kind":"pith_short_16","alias_value":"242KCTUG2TLW7ONU","created_at":"2026-07-05T11:24:39Z"},{"alias_kind":"pith_short_8","alias_value":"242KCTUG","created_at":"2026-07-05T11:24:39Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:242KCTUG2TLW7ONU3BAEZ6XI2K","target":"record","payload":{"canonical_record":{"source":{"id":"2506.16639","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-06-19T22:41:43Z","cross_cats_sorted":[],"title_canon_sha256":"3810df0c156dce24d3259bfc6fb7e9abf6c42f83751b0c87a6c27d70fddd2e4c","abstract_canon_sha256":"e9e720e8845ae0cfe1b4bd3a6f4855c2512d4a653c530ed640ea7d76b9c047a5"},"schema_version":"1.0"},"canonical_sha256":"d734a14e86d4d76fb9b4d8404cfae8d28603ce82f3934643b12191f70feaa19c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:24:39.964367Z","signature_b64":"7Dqlx3GwxviaHGdS0uY3Yr6cnBZfWGDAjsjq7otV6nPlOqilc1fbYA1GmvR8ClbWnZAOX1HbqQobC+a9SiUSAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d734a14e86d4d76fb9b4d8404cfae8d28603ce82f3934643b12191f70feaa19c","last_reissued_at":"2026-07-05T11:24:39.963911Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:24:39.963911Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.16639","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-05T11:24:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"m7dB/i8QckbykIUyqC5Rw90VoR240Z9Ditae7oG+eHLQFXZcPHesD1Em6XZ+HXu2MKahApBhMa+z22v9i7tuDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-20T04:26:31.393226Z"},"content_sha256":"08c3f408928afbe31a5bd03c68bd398130a6dde3161fbb63e3de98a10d2f6d0a","schema_version":"1.0","event_id":"sha256:08c3f408928afbe31a5bd03c68bd398130a6dde3161fbb63e3de98a10d2f6d0a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:242KCTUG2TLW7ONU3BAEZ6XI2K","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Aren A. Babikian, Boqi Chen, D\\'aniel Varr\\'o, Gunter Mussbacher, Shuzhao Feng","submitted_at":"2025-06-19T22:41:43Z","abstract_excerpt":"Requirements over strings, commonly represented using natural language (NL), are particularly relevant for software systems due to their heavy reliance on string data manipulation. While individual requirements can usually be analyzed manually, verifying properties (e.g., satisfiability) over sets of NL requirements is particularly challenging. Formal approaches (e.g., SMT solvers) may efficiently verify such properties, but are known to have theoretical limitations. Additionally, the translation of NL requirements into formal constraints typically requires significant manual effort. Recently,"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.16639","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/2506.16639/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-05T11:24:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"o3C8aJ46qEq57xzXRuKRYAL3qLrWH8AgpQHDeftnxwjUoIgEtKpULvaYDb8KfQxGvRM3FppDHUYFI73nqkevDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-20T04:26:31.393846Z"},"content_sha256":"bb37e44aa69e3b294b3afaefb4b9262cd795b70478fd12cf848adaad873e5a27","schema_version":"1.0","event_id":"sha256:bb37e44aa69e3b294b3afaefb4b9262cd795b70478fd12cf848adaad873e5a27"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/242KCTUG2TLW7ONU3BAEZ6XI2K/bundle.json","state_url":"https://pith.science/pith/242KCTUG2TLW7ONU3BAEZ6XI2K/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/242KCTUG2TLW7ONU3BAEZ6XI2K/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-20T04:26:31Z","links":{"resolver":"https://pith.science/pith/242KCTUG2TLW7ONU3BAEZ6XI2K","bundle":"https://pith.science/pith/242KCTUG2TLW7ONU3BAEZ6XI2K/bundle.json","state":"https://pith.science/pith/242KCTUG2TLW7ONU3BAEZ6XI2K/state.json","well_known_bundle":"https://pith.science/.well-known/pith/242KCTUG2TLW7ONU3BAEZ6XI2K/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:242KCTUG2TLW7ONU3BAEZ6XI2K","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":"e9e720e8845ae0cfe1b4bd3a6f4855c2512d4a653c530ed640ea7d76b9c047a5","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-06-19T22:41:43Z","title_canon_sha256":"3810df0c156dce24d3259bfc6fb7e9abf6c42f83751b0c87a6c27d70fddd2e4c"},"schema_version":"1.0","source":{"id":"2506.16639","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.16639","created_at":"2026-07-05T11:24:39Z"},{"alias_kind":"arxiv_version","alias_value":"2506.16639v1","created_at":"2026-07-05T11:24:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.16639","created_at":"2026-07-05T11:24:39Z"},{"alias_kind":"pith_short_12","alias_value":"242KCTUG2TLW","created_at":"2026-07-05T11:24:39Z"},{"alias_kind":"pith_short_16","alias_value":"242KCTUG2TLW7ONU","created_at":"2026-07-05T11:24:39Z"},{"alias_kind":"pith_short_8","alias_value":"242KCTUG","created_at":"2026-07-05T11:24:39Z"}],"graph_snapshots":[{"event_id":"sha256:bb37e44aa69e3b294b3afaefb4b9262cd795b70478fd12cf848adaad873e5a27","target":"graph","created_at":"2026-07-05T11:24:39Z","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/2506.16639/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Requirements over strings, commonly represented using natural language (NL), are particularly relevant for software systems due to their heavy reliance on string data manipulation. While individual requirements can usually be analyzed manually, verifying properties (e.g., satisfiability) over sets of NL requirements is particularly challenging. Formal approaches (e.g., SMT solvers) may efficiently verify such properties, but are known to have theoretical limitations. Additionally, the translation of NL requirements into formal constraints typically requires significant manual effort. Recently,","authors_text":"Aren A. Babikian, Boqi Chen, D\\'aniel Varr\\'o, Gunter Mussbacher, Shuzhao Feng","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-06-19T22:41:43Z","title":"LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.16639","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:08c3f408928afbe31a5bd03c68bd398130a6dde3161fbb63e3de98a10d2f6d0a","target":"record","created_at":"2026-07-05T11:24:39Z","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":"e9e720e8845ae0cfe1b4bd3a6f4855c2512d4a653c530ed640ea7d76b9c047a5","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-06-19T22:41:43Z","title_canon_sha256":"3810df0c156dce24d3259bfc6fb7e9abf6c42f83751b0c87a6c27d70fddd2e4c"},"schema_version":"1.0","source":{"id":"2506.16639","kind":"arxiv","version":1}},"canonical_sha256":"d734a14e86d4d76fb9b4d8404cfae8d28603ce82f3934643b12191f70feaa19c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d734a14e86d4d76fb9b4d8404cfae8d28603ce82f3934643b12191f70feaa19c","first_computed_at":"2026-07-05T11:24:39.963911Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:24:39.963911Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7Dqlx3GwxviaHGdS0uY3Yr6cnBZfWGDAjsjq7otV6nPlOqilc1fbYA1GmvR8ClbWnZAOX1HbqQobC+a9SiUSAg==","signature_status":"signed_v1","signed_at":"2026-07-05T11:24:39.964367Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.16639","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:08c3f408928afbe31a5bd03c68bd398130a6dde3161fbb63e3de98a10d2f6d0a","sha256:bb37e44aa69e3b294b3afaefb4b9262cd795b70478fd12cf848adaad873e5a27"],"state_sha256":"4431da8fc73ce3d243d789607732de9858cbbd7afc58d8d0dd706788b51f683b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nHBvq63Od2oYfGDBkHW/ws3Ux4vKZ/NAujiIHPgH8eKK4hYfsx3Yc6YBVJEW/olXvfXlu7fct24QJlMXr0BcDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-20T04:26:31.397248Z","bundle_sha256":"d65c19a106a180cca9ce3808c48ad7bff066ffd2d8b34f8b39ba2d8360086d5a"}}