{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:6ATEV5LA2R5SCKP3ZKXANXC2FV","short_pith_number":"pith:6ATEV5LA","canonical_record":{"source":{"id":"2607.09016","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2026-07-10T00:48:30Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"6375cc348989c08d4e6b6d7bacd64a50b7cc577c59eb9e2141bae26f7ab0c845","abstract_canon_sha256":"e524d02d2cbad58ada1961bb9d80949ff143e4dffea4520bf4d0696619e595e9"},"schema_version":"1.0"},"canonical_sha256":"f0264af560d47b2129fbcaae06dc5a2d7f32625d353ee3d93309d7e3a882420a","source":{"kind":"arxiv","id":"2607.09016","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.09016","created_at":"2026-07-13T00:17:34Z"},{"alias_kind":"arxiv_version","alias_value":"2607.09016v1","created_at":"2026-07-13T00:17:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.09016","created_at":"2026-07-13T00:17:34Z"},{"alias_kind":"pith_short_12","alias_value":"6ATEV5LA2R5S","created_at":"2026-07-13T00:17:34Z"},{"alias_kind":"pith_short_16","alias_value":"6ATEV5LA2R5SCKP3","created_at":"2026-07-13T00:17:34Z"},{"alias_kind":"pith_short_8","alias_value":"6ATEV5LA","created_at":"2026-07-13T00:17:34Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:6ATEV5LA2R5SCKP3ZKXANXC2FV","target":"record","payload":{"canonical_record":{"source":{"id":"2607.09016","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2026-07-10T00:48:30Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"6375cc348989c08d4e6b6d7bacd64a50b7cc577c59eb9e2141bae26f7ab0c845","abstract_canon_sha256":"e524d02d2cbad58ada1961bb9d80949ff143e4dffea4520bf4d0696619e595e9"},"schema_version":"1.0"},"canonical_sha256":"f0264af560d47b2129fbcaae06dc5a2d7f32625d353ee3d93309d7e3a882420a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-13T00:17:34.492169Z","signature_b64":"LBDF5EzV9ZlVnbIpPZbmIMIoMmMuskgd6yS33vemD2DLYqSBIqfX4PSTvmWcuh0MUlQmfEqUDFopVJD+4fwHBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f0264af560d47b2129fbcaae06dc5a2d7f32625d353ee3d93309d7e3a882420a","last_reissued_at":"2026-07-13T00:17:34.491203Z","signature_status":"signed_v1","first_computed_at":"2026-07-13T00:17:34.491203Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2607.09016","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-13T00:17:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XOAvieuJXGrGGeKJGTFf3YKrceyfKMh7L6+7q9jkomvdZygc1BtlbTToV7D+b8emmzoiWzIgGtS1/LL881c7CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-18T07:04:37.601219Z"},"content_sha256":"48868afd3780c2acb0c969f3338d4bbce150f8eb88e84056eb52e7972d9075f1","schema_version":"1.0","event_id":"sha256:48868afd3780c2acb0c969f3338d4bbce150f8eb88e84056eb52e7972d9075f1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:6ATEV5LA2R5SCKP3ZKXANXC2FV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"SLBench: Evaluating How LLM Agents Follow Logical Relations in Skills","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.CR","authors_text":"Chengpeng Wang, Lu Yan, Xiangyu Zhang, Xuan Chen","submitted_at":"2026-07-10T00:48:30Z","abstract_excerpt":"Agent skills extend LLM agents with reusable procedures, tools, and domain-specific workflows, but their safety depends on resolving dependencies among interacting instructions. We introduce SkillLogic, a framework for analyzing logical relations in skill files and constructing executable tests from them. Our taxonomy covers eight relation types, including preconditions that gate valid actions, constraints that limit how allowed actions may be performed, and fallbacks that specify recovery behavior after failure. Using SkillLogic, we scan over 5000 public skills and find that 70% contain at le"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.09016","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.09016/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-13T00:17:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jC3SykAtKXbLUS/ItLLlQ6ixzDo3oMs7W3yp4IRLpdimnNsuNx9CZ25Lh60UlElIDzVZlNf7c7J5pA5MwAlBDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-18T07:04:37.601595Z"},"content_sha256":"3bfa8d4d070f0d31c0bfd228982eea39af1066d727abdb9c70b1accc277bd4d9","schema_version":"1.0","event_id":"sha256:3bfa8d4d070f0d31c0bfd228982eea39af1066d727abdb9c70b1accc277bd4d9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6ATEV5LA2R5SCKP3ZKXANXC2FV/bundle.json","state_url":"https://pith.science/pith/6ATEV5LA2R5SCKP3ZKXANXC2FV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6ATEV5LA2R5SCKP3ZKXANXC2FV/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-07-18T07:04:37Z","links":{"resolver":"https://pith.science/pith/6ATEV5LA2R5SCKP3ZKXANXC2FV","bundle":"https://pith.science/pith/6ATEV5LA2R5SCKP3ZKXANXC2FV/bundle.json","state":"https://pith.science/pith/6ATEV5LA2R5SCKP3ZKXANXC2FV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6ATEV5LA2R5SCKP3ZKXANXC2FV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:6ATEV5LA2R5SCKP3ZKXANXC2FV","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":"e524d02d2cbad58ada1961bb9d80949ff143e4dffea4520bf4d0696619e595e9","cross_cats_sorted":["cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2026-07-10T00:48:30Z","title_canon_sha256":"6375cc348989c08d4e6b6d7bacd64a50b7cc577c59eb9e2141bae26f7ab0c845"},"schema_version":"1.0","source":{"id":"2607.09016","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.09016","created_at":"2026-07-13T00:17:34Z"},{"alias_kind":"arxiv_version","alias_value":"2607.09016v1","created_at":"2026-07-13T00:17:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.09016","created_at":"2026-07-13T00:17:34Z"},{"alias_kind":"pith_short_12","alias_value":"6ATEV5LA2R5S","created_at":"2026-07-13T00:17:34Z"},{"alias_kind":"pith_short_16","alias_value":"6ATEV5LA2R5SCKP3","created_at":"2026-07-13T00:17:34Z"},{"alias_kind":"pith_short_8","alias_value":"6ATEV5LA","created_at":"2026-07-13T00:17:34Z"}],"graph_snapshots":[{"event_id":"sha256:3bfa8d4d070f0d31c0bfd228982eea39af1066d727abdb9c70b1accc277bd4d9","target":"graph","created_at":"2026-07-13T00:17: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/2607.09016/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Agent skills extend LLM agents with reusable procedures, tools, and domain-specific workflows, but their safety depends on resolving dependencies among interacting instructions. We introduce SkillLogic, a framework for analyzing logical relations in skill files and constructing executable tests from them. Our taxonomy covers eight relation types, including preconditions that gate valid actions, constraints that limit how allowed actions may be performed, and fallbacks that specify recovery behavior after failure. Using SkillLogic, we scan over 5000 public skills and find that 70% contain at le","authors_text":"Chengpeng Wang, Lu Yan, Xiangyu Zhang, Xuan Chen","cross_cats":["cs.SE"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2026-07-10T00:48:30Z","title":"SLBench: Evaluating How LLM Agents Follow Logical Relations in Skills"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.09016","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:48868afd3780c2acb0c969f3338d4bbce150f8eb88e84056eb52e7972d9075f1","target":"record","created_at":"2026-07-13T00:17: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":"e524d02d2cbad58ada1961bb9d80949ff143e4dffea4520bf4d0696619e595e9","cross_cats_sorted":["cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2026-07-10T00:48:30Z","title_canon_sha256":"6375cc348989c08d4e6b6d7bacd64a50b7cc577c59eb9e2141bae26f7ab0c845"},"schema_version":"1.0","source":{"id":"2607.09016","kind":"arxiv","version":1}},"canonical_sha256":"f0264af560d47b2129fbcaae06dc5a2d7f32625d353ee3d93309d7e3a882420a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f0264af560d47b2129fbcaae06dc5a2d7f32625d353ee3d93309d7e3a882420a","first_computed_at":"2026-07-13T00:17:34.491203Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-13T00:17:34.491203Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"LBDF5EzV9ZlVnbIpPZbmIMIoMmMuskgd6yS33vemD2DLYqSBIqfX4PSTvmWcuh0MUlQmfEqUDFopVJD+4fwHBw==","signature_status":"signed_v1","signed_at":"2026-07-13T00:17:34.492169Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.09016","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:48868afd3780c2acb0c969f3338d4bbce150f8eb88e84056eb52e7972d9075f1","sha256:3bfa8d4d070f0d31c0bfd228982eea39af1066d727abdb9c70b1accc277bd4d9"],"state_sha256":"4b9a1ecf1737d253275d21435ef1955d13a22fe9081a9fe1f191049e650243b5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"b3QyMQYIdgwG45Or3xSREHbZDaBgAWiy/HnROQboGOtuo/5xNHTAC9TmvKGEIF62MtIMTgK6ECh94wzJgxD9Dg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-18T07:04:37.604187Z","bundle_sha256":"11816ad2535bf265e89cc6f91bdaddbde7c87bdf8c7a37ddb61367bf1ba5ded8"}}