{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:5CAT24HT5SPZZEQFSI3O3BQBAQ","short_pith_number":"pith:5CAT24HT","canonical_record":{"source":{"id":"2607.21530","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-23T17:15:53Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"ca5ca3677a33fdd3d89f0326958c0d34838d0cd4f7ff6130bd6b59a32a1adc31","abstract_canon_sha256":"f6c451fd94bfd24c63ac02215397446083e44077a98d0400138d1e676eb1b693"},"schema_version":"1.0"},"canonical_sha256":"e8813d70f3ec9f9c92059236ed8601043ea24f2ebd20177336cb1810a8ec0205","source":{"kind":"arxiv","id":"2607.21530","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.21530","created_at":"2026-07-24T01:24:38Z"},{"alias_kind":"arxiv_version","alias_value":"2607.21530v1","created_at":"2026-07-24T01:24:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.21530","created_at":"2026-07-24T01:24:38Z"},{"alias_kind":"pith_short_12","alias_value":"5CAT24HT5SPZ","created_at":"2026-07-24T01:24:38Z"},{"alias_kind":"pith_short_16","alias_value":"5CAT24HT5SPZZEQF","created_at":"2026-07-24T01:24:38Z"},{"alias_kind":"pith_short_8","alias_value":"5CAT24HT","created_at":"2026-07-24T01:24:38Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:5CAT24HT5SPZZEQFSI3O3BQBAQ","target":"record","payload":{"canonical_record":{"source":{"id":"2607.21530","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-23T17:15:53Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"ca5ca3677a33fdd3d89f0326958c0d34838d0cd4f7ff6130bd6b59a32a1adc31","abstract_canon_sha256":"f6c451fd94bfd24c63ac02215397446083e44077a98d0400138d1e676eb1b693"},"schema_version":"1.0"},"canonical_sha256":"e8813d70f3ec9f9c92059236ed8601043ea24f2ebd20177336cb1810a8ec0205","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-24T01:24:38.010872Z","signature_b64":"ePSrXyidmzefO4JbFonou2ERE766xWbespU5j+4GWo9Y0wdrv4qN4tGJzmrn+vxsfcB955sl0qb+CR32LBVKBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e8813d70f3ec9f9c92059236ed8601043ea24f2ebd20177336cb1810a8ec0205","last_reissued_at":"2026-07-24T01:24:38.010049Z","signature_status":"signed_v1","first_computed_at":"2026-07-24T01:24:38.010049Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2607.21530","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-24T01:24:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NKFFI76FrfcFXywCODyCn6lhbdA81K2KhCJn2u23RrsnREt9Gt6FKIif9LQb7ZLYTrlrWCwInvdZltRAcjFHAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T13:17:19.830344Z"},"content_sha256":"14f8a695d5662f1e6e431cb5994effbbdcfdf888f8d0dc0b04bb6bf39d43121c","schema_version":"1.0","event_id":"sha256:14f8a695d5662f1e6e431cb5994effbbdcfdf888f8d0dc0b04bb6bf39d43121c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:5CAT24HT5SPZZEQFSI3O3BQBAQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"From Resource Flow to Executable Tests: Petri-Net-Guided LLM Test Generation for Concurrent Stateful Rust APIs","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.SE","authors_text":"Guanjun Liu, Kaiwen Zhang","submitted_at":"2026-07-23T17:15:53Z","abstract_excerpt":"Concurrent stateful library APIs expose behavior through evolving resource ownership, lifecycle states, and competing interleavings. Large language models can synthesize executable Rust tests, but their outputs often violate API preconditions, remain shallow, or reduce concurrency to accidental sequential traces. Conversely, model-based and systematic testing techniques provide semantic control but commonly require substantial handwritten code to turn abstract scenarios into executable tests. This paper addresses the gap between formal scenario design and low-cost test concretization. We prese"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.21530","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/2607.21530/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-24T01:24:38Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"a9VN4IBETvDLmd3G0XQSBPbP/wgtuymQe8uu0fAL8uCQFD9ty7ye1OtkpfZcjWzgnKTK7ukL4tdT4xxOwEyyBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T13:17:19.830952Z"},"content_sha256":"28bc8f42fae9167b414f4ab73b8e3bff8cfe794b07654457705a42a3c0a3a572","schema_version":"1.0","event_id":"sha256:28bc8f42fae9167b414f4ab73b8e3bff8cfe794b07654457705a42a3c0a3a572"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5CAT24HT5SPZZEQFSI3O3BQBAQ/bundle.json","state_url":"https://pith.science/pith/5CAT24HT5SPZZEQFSI3O3BQBAQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5CAT24HT5SPZZEQFSI3O3BQBAQ/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-05T13:17:19Z","links":{"resolver":"https://pith.science/pith/5CAT24HT5SPZZEQFSI3O3BQBAQ","bundle":"https://pith.science/pith/5CAT24HT5SPZZEQFSI3O3BQBAQ/bundle.json","state":"https://pith.science/pith/5CAT24HT5SPZZEQFSI3O3BQBAQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5CAT24HT5SPZZEQFSI3O3BQBAQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:5CAT24HT5SPZZEQFSI3O3BQBAQ","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":"f6c451fd94bfd24c63ac02215397446083e44077a98d0400138d1e676eb1b693","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-23T17:15:53Z","title_canon_sha256":"ca5ca3677a33fdd3d89f0326958c0d34838d0cd4f7ff6130bd6b59a32a1adc31"},"schema_version":"1.0","source":{"id":"2607.21530","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.21530","created_at":"2026-07-24T01:24:38Z"},{"alias_kind":"arxiv_version","alias_value":"2607.21530v1","created_at":"2026-07-24T01:24:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.21530","created_at":"2026-07-24T01:24:38Z"},{"alias_kind":"pith_short_12","alias_value":"5CAT24HT5SPZ","created_at":"2026-07-24T01:24:38Z"},{"alias_kind":"pith_short_16","alias_value":"5CAT24HT5SPZZEQF","created_at":"2026-07-24T01:24:38Z"},{"alias_kind":"pith_short_8","alias_value":"5CAT24HT","created_at":"2026-07-24T01:24:38Z"}],"graph_snapshots":[{"event_id":"sha256:28bc8f42fae9167b414f4ab73b8e3bff8cfe794b07654457705a42a3c0a3a572","target":"graph","created_at":"2026-07-24T01:24:38Z","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/2607.21530/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Concurrent stateful library APIs expose behavior through evolving resource ownership, lifecycle states, and competing interleavings. Large language models can synthesize executable Rust tests, but their outputs often violate API preconditions, remain shallow, or reduce concurrency to accidental sequential traces. Conversely, model-based and systematic testing techniques provide semantic control but commonly require substantial handwritten code to turn abstract scenarios into executable tests. This paper addresses the gap between formal scenario design and low-cost test concretization. We prese","authors_text":"Guanjun Liu, Kaiwen Zhang","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-23T17:15:53Z","title":"From Resource Flow to Executable Tests: Petri-Net-Guided LLM Test Generation for Concurrent Stateful Rust APIs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.21530","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:14f8a695d5662f1e6e431cb5994effbbdcfdf888f8d0dc0b04bb6bf39d43121c","target":"record","created_at":"2026-07-24T01:24:38Z","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":"f6c451fd94bfd24c63ac02215397446083e44077a98d0400138d1e676eb1b693","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-23T17:15:53Z","title_canon_sha256":"ca5ca3677a33fdd3d89f0326958c0d34838d0cd4f7ff6130bd6b59a32a1adc31"},"schema_version":"1.0","source":{"id":"2607.21530","kind":"arxiv","version":1}},"canonical_sha256":"e8813d70f3ec9f9c92059236ed8601043ea24f2ebd20177336cb1810a8ec0205","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e8813d70f3ec9f9c92059236ed8601043ea24f2ebd20177336cb1810a8ec0205","first_computed_at":"2026-07-24T01:24:38.010049Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-24T01:24:38.010049Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ePSrXyidmzefO4JbFonou2ERE766xWbespU5j+4GWo9Y0wdrv4qN4tGJzmrn+vxsfcB955sl0qb+CR32LBVKBA==","signature_status":"signed_v1","signed_at":"2026-07-24T01:24:38.010872Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.21530","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:14f8a695d5662f1e6e431cb5994effbbdcfdf888f8d0dc0b04bb6bf39d43121c","sha256:28bc8f42fae9167b414f4ab73b8e3bff8cfe794b07654457705a42a3c0a3a572"],"state_sha256":"41526f796a9307b822f678409fe3ce3722feedf82f0a6a1202df4da91913c3fc"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"im22LxxGmRYwp2r4sa40MzDrBqhCaZ6lUMuo1cMP1SEdoGivgJkN9cgsLDV50eEbd7c8VUl5JkPJYiaiR1Z2DQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T13:17:19.834948Z","bundle_sha256":"ae6a475870da70b04c680a3b7777039e4dbb77aa41a149661b73275e89424bb4"}}