{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:W4P3GITTN4IHKL7H3RWOLJIQXQ","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":"e324abb9a663f8e8a5fcbcb65bfa00d165ed439074dc975279c42f7839314dc6","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-06-25T02:43:48Z","title_canon_sha256":"2af5fca21b53769b258b798c581fdf2d708aa1f78d2ee5f607279227e18b55bf"},"schema_version":"1.0","source":{"id":"2606.26545","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.26545","created_at":"2026-06-26T01:15:34Z"},{"alias_kind":"arxiv_version","alias_value":"2606.26545v1","created_at":"2026-06-26T01:15:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.26545","created_at":"2026-06-26T01:15:34Z"},{"alias_kind":"pith_short_12","alias_value":"W4P3GITTN4IH","created_at":"2026-06-26T01:15:34Z"},{"alias_kind":"pith_short_16","alias_value":"W4P3GITTN4IHKL7H","created_at":"2026-06-26T01:15:34Z"},{"alias_kind":"pith_short_8","alias_value":"W4P3GITT","created_at":"2026-06-26T01:15:34Z"}],"graph_snapshots":[{"event_id":"sha256:753893f647eb069cc2bfbf0f173a26159bf2b3a9fa9688b89cbff9835e3408bb","target":"graph","created_at":"2026-06-26T01:15:34Z","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/2606.26545/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Concolic testing combines concrete execution with symbolic constraint solving, but Python programs expose recurring limits. Library calls can cause symbolic variables to downgrade to concrete values. Regular expressions, checksums, parsers, and other semantic operations can be hard to solve, and exploration can plateau on already covered paths. We present ConcoLixir, a reactive LLM extension for Python concolic execution. The LLM acts as a discovery oracle, not a replacement for the solver or a correctness oracle. It generates initial seeds, proposes concrete inputs after solver failures, and ","authors_text":"Chih-Duo Hong, Dong Chen, Fang Yu","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-06-25T02:43:48Z","title":"ConcoLixir: Reactive LLM Discovery Oracles for Python Concolic Testing"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.26545","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:c8aa453b4158e2efc5a46338aceb4a2a3cc1aa63c4e3bf5b402e297d4d2a681d","target":"record","created_at":"2026-06-26T01:15:34Z","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":"e324abb9a663f8e8a5fcbcb65bfa00d165ed439074dc975279c42f7839314dc6","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-06-25T02:43:48Z","title_canon_sha256":"2af5fca21b53769b258b798c581fdf2d708aa1f78d2ee5f607279227e18b55bf"},"schema_version":"1.0","source":{"id":"2606.26545","kind":"arxiv","version":1}},"canonical_sha256":"b71fb322736f10752fe7dc6ce5a510bc3a082d0a5094df85eedb3682bd635212","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b71fb322736f10752fe7dc6ce5a510bc3a082d0a5094df85eedb3682bd635212","first_computed_at":"2026-06-26T01:15:34.181095Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-26T01:15:34.181095Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ocp1Ek2bNyCbZDexIqujumKmcw+u2kNR/Dxnxu8fMvcaa6lgxSYpT2w5qmiAa9bWwxVsJADgH2mkerpog4cBDg==","signature_status":"signed_v1","signed_at":"2026-06-26T01:15:34.181537Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.26545","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c8aa453b4158e2efc5a46338aceb4a2a3cc1aa63c4e3bf5b402e297d4d2a681d","sha256:753893f647eb069cc2bfbf0f173a26159bf2b3a9fa9688b89cbff9835e3408bb"],"state_sha256":"ce69410543a03dc6e91c16d65125daa68fe2d0baafee598a5c7dd8c3ccb0e6e8"}