{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:V35BLM23BYBNMG24NH6P66XXEP","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":"abced830e612554827bfbb0d996a6b6786d2fe64e67f5175a0834d610a44f4b4","cross_cats_sorted":["cs.MA","cs.PL","cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-05-24T02:52:47Z","title_canon_sha256":"1b3cf5b0af8b3e55b8f38dc5d786ba44bfbc1862d7f2760f7a63df00006db3bd"},"schema_version":"1.0","source":{"id":"2606.20615","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.20615","created_at":"2026-06-23T00:11:51Z"},{"alias_kind":"arxiv_version","alias_value":"2606.20615v1","created_at":"2026-06-23T00:11:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.20615","created_at":"2026-06-23T00:11:51Z"},{"alias_kind":"pith_short_12","alias_value":"V35BLM23BYBN","created_at":"2026-06-23T00:11:51Z"},{"alias_kind":"pith_short_16","alias_value":"V35BLM23BYBNMG24","created_at":"2026-06-23T00:11:51Z"},{"alias_kind":"pith_short_8","alias_value":"V35BLM23","created_at":"2026-06-23T00:11:51Z"}],"graph_snapshots":[{"event_id":"sha256:5ee8b3f8dfabba428af777b1ba154d3c7797ae8ab782436cc34504e896250da1","target":"graph","created_at":"2026-06-23T00:11:51Z","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.20615/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"AI agents now participate as first-class team members across the software development lifecycle, yet no specification language exists for expressing the human-agent responsibility boundaries, approval gates, and governance constraints this collaboration requires. Existing approaches encode process in agent prompts (subject to drift), target adjacent domains (workflow management, business processes), or address only fragments (access control, approval gates).\n  We propose a domain-specific language for specifying AI-SDLC processes as protocols, with formal syntax, well-formedness conditions, op","authors_text":"Ylli Prifti","cross_cats":["cs.MA","cs.PL","cs.SE"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-05-24T02:52:47Z","title":"Specifying AI-SDLC Processes: A Protocol Language for Human-Agent Boundaries"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.20615","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:9200f0505ad791ad61bb956e1416cc16bd5c31309552ad81ee432e1167f3b0d2","target":"record","created_at":"2026-06-23T00:11:51Z","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":"abced830e612554827bfbb0d996a6b6786d2fe64e67f5175a0834d610a44f4b4","cross_cats_sorted":["cs.MA","cs.PL","cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2026-05-24T02:52:47Z","title_canon_sha256":"1b3cf5b0af8b3e55b8f38dc5d786ba44bfbc1862d7f2760f7a63df00006db3bd"},"schema_version":"1.0","source":{"id":"2606.20615","kind":"arxiv","version":1}},"canonical_sha256":"aefa15b35b0e02d61b5c69fcff7af723c5bff5ac2df89bc7c0d33d555f57d400","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"aefa15b35b0e02d61b5c69fcff7af723c5bff5ac2df89bc7c0d33d555f57d400","first_computed_at":"2026-06-23T00:11:51.482656Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-23T00:11:51.482656Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"bjG4xz89NirZLjpQvnl1+D4C6UlbKSxcktAuciN6pNvZWG7nLC7SCH7K3y2PsEZHW+kLaZ6LWZacOFHC67huBQ==","signature_status":"signed_v1","signed_at":"2026-06-23T00:11:51.483032Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.20615","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9200f0505ad791ad61bb956e1416cc16bd5c31309552ad81ee432e1167f3b0d2","sha256:5ee8b3f8dfabba428af777b1ba154d3c7797ae8ab782436cc34504e896250da1"],"state_sha256":"1ba793768cf4aabf8ad977022f9782716ef79f4cd8798c6eb29416317cc4d430"}