{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:J3VBC3WOJNBD6GVMDZOSVBNNRV","short_pith_number":"pith:J3VBC3WO","canonical_record":{"source":{"id":"2605.08426","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.GT","submitted_at":"2026-05-08T19:37:07Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"44c8885a4c3665c15985c0613c283878e56f1543a33b5f4a92c342c42e162172","abstract_canon_sha256":"ee0047e7512d40279aede3185d81d87ba84212942267a14a857f3827debf602f"},"schema_version":"1.0"},"canonical_sha256":"4eea116ece4b423f1aac1e5d2a85ad8d78595544e6d283860649f34ad14e4a81","source":{"kind":"arxiv","id":"2605.08426","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.08426","created_at":"2026-06-03T01:05:51Z"},{"alias_kind":"arxiv_version","alias_value":"2605.08426v2","created_at":"2026-06-03T01:05:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.08426","created_at":"2026-06-03T01:05:51Z"},{"alias_kind":"pith_short_12","alias_value":"J3VBC3WOJNBD","created_at":"2026-06-03T01:05:51Z"},{"alias_kind":"pith_short_16","alias_value":"J3VBC3WOJNBD6GVM","created_at":"2026-06-03T01:05:51Z"},{"alias_kind":"pith_short_8","alias_value":"J3VBC3WO","created_at":"2026-06-03T01:05:51Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:J3VBC3WOJNBD6GVMDZOSVBNNRV","target":"record","payload":{"canonical_record":{"source":{"id":"2605.08426","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.GT","submitted_at":"2026-05-08T19:37:07Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"44c8885a4c3665c15985c0613c283878e56f1543a33b5f4a92c342c42e162172","abstract_canon_sha256":"ee0047e7512d40279aede3185d81d87ba84212942267a14a857f3827debf602f"},"schema_version":"1.0"},"canonical_sha256":"4eea116ece4b423f1aac1e5d2a85ad8d78595544e6d283860649f34ad14e4a81","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-03T01:05:51.057908Z","signature_b64":"aO4OZT4LzordPqoHqwqJ7SmV7WTpT3CyNwt90AHyEtyM8MmMbAYNzkkjWjURU/JDz16HU1jtAchi+wWxPQ/wCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4eea116ece4b423f1aac1e5d2a85ad8d78595544e6d283860649f34ad14e4a81","last_reissued_at":"2026-06-03T01:05:51.057474Z","signature_status":"signed_v1","first_computed_at":"2026-06-03T01:05:51.057474Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2605.08426","source_version":2,"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-06-03T01:05:51Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"myDAyPxFRezHGXz411cef4vui5wT5zjqkQTn0XKm/Ik0zS1ydLmV4IZzwkwA54vMBwKc75HWMqFQmlQI1JUCDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T19:21:13.437720Z"},"content_sha256":"20fe2d4836510b283fadbd632be60c7be8fef19a15361e9d46a4c8155519dd4c","schema_version":"1.0","event_id":"sha256:20fe2d4836510b283fadbd632be60c7be8fef19a15361e9d46a4c8155519dd4c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:J3VBC3WOJNBD6GVMDZOSVBNNRV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Mechanism Design Is Not Enough: Prosocial Agents for Cooperative AI","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"Incomplete contracts create welfare losses no mechanism can eliminate, but prosocial agents can close the gap.","cross_cats":["cs.AI"],"primary_cat":"cs.GT","authors_text":"Bernhard Sch\\\"olkopf, Charlie Tharas, Emanuele La Malfa, Samuele Marro, Van Q. Truong, Xuanqiang Angelo Huang, Zhijing Jin","submitted_at":"2026-05-08T19:37:07Z","abstract_excerpt":"Ensuring that AI agents behave safely and beneficially when interacting with other parties has emerged as one of the central challenges of modern AI safety. While mechanism design, as the theory of designing rules to align individual and collective objectives, can incentivize cooperative behavior, it is still an open question whether it alone is sufficient to maximize LLM agents' social welfare. This work proves that the answer is negative: drawing from incomplete contract theory, we formally show that when contracts cannot distinguish all relevant future contingencies, there is a strictly pos"},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"drawing from incomplete contract theory, we formally show that when contracts cannot distinguish all relevant future contingencies, there is a strictly positive welfare loss that no realistic mechanism can eliminate. We show that prosocial agents... can close this gap and achieve outcomes that are socially superior and individually beneficial.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"That the formal model of incomplete contracts transfers directly to LLM agents without additional frictions, and that prosocial weighting can be implemented in a way that remains individually rational and stable across interactions.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"Mechanism design leaves a strictly positive welfare loss under incomplete contracts for AI agents, but prosocial agents close this gap and improve social welfare.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"Incomplete contracts create welfare losses no mechanism can eliminate, but prosocial agents can close the gap.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"6407a8d32594bf6f7055f385564a7632158db46b98c60cf3f6c9f13cf0005e9a"},"source":{"id":"2605.08426","kind":"arxiv","version":2},"verdict":{"id":"e966bf40-9b80-4187-9ec4-9097ad7886cf","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-12T00:55:22.808355Z","strongest_claim":"drawing from incomplete contract theory, we formally show that when contracts cannot distinguish all relevant future contingencies, there is a strictly positive welfare loss that no realistic mechanism can eliminate. We show that prosocial agents... can close this gap and achieve outcomes that are socially superior and individually beneficial.","one_line_summary":"Mechanism design leaves a strictly positive welfare loss under incomplete contracts for AI agents, but prosocial agents close this gap and improve social welfare.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"That the formal model of incomplete contracts transfers directly to LLM agents without additional frictions, and that prosocial weighting can be implemented in a way that remains individually rational and stable across interactions.","pith_extraction_headline":"Incomplete contracts create welfare losses no mechanism can eliminate, but prosocial agents can close the gap."},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2605.08426/integrity.json","findings":[],"available":true,"detectors_run":[{"name":"claim_evidence","ran_at":"2026-05-20T09:42:03.974344Z","status":"completed","version":"1.0.0","findings_count":0},{"name":"ai_meta_artifact","ran_at":"2026-05-20T04:36:18.997825Z","status":"completed","version":"1.0.0","findings_count":0},{"name":"doi_title_agreement","ran_at":"2026-05-19T15:01:17.944960Z","status":"completed","version":"1.0.0","findings_count":0},{"name":"doi_compliance","ran_at":"2026-05-19T11:08:40.458056Z","status":"completed","version":"1.0.0","findings_count":0}],"snapshot_sha256":"097a2076552e10860262bd9f7364a303f01e98023cf0d972fd63a493e50ed00d"},"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":"e966bf40-9b80-4187-9ec4-9097ad7886cf"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-06-03T01:05:51Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AqQgmmePoLG7K3UiDgk9lzKlddLzCZ82xHsyyvoOm6V4qMF4KIz9yCoVbSevgnpFHLRXyfYju2qqUp3LWTdaCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T19:21:13.438213Z"},"content_sha256":"bd2e239f88efedd552a4dfac866336e071d123ae31a4152a0cf6a34d0a47e196","schema_version":"1.0","event_id":"sha256:bd2e239f88efedd552a4dfac866336e071d123ae31a4152a0cf6a34d0a47e196"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/J3VBC3WOJNBD6GVMDZOSVBNNRV/bundle.json","state_url":"https://pith.science/pith/J3VBC3WOJNBD6GVMDZOSVBNNRV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/J3VBC3WOJNBD6GVMDZOSVBNNRV/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-06T19:21:13Z","links":{"resolver":"https://pith.science/pith/J3VBC3WOJNBD6GVMDZOSVBNNRV","bundle":"https://pith.science/pith/J3VBC3WOJNBD6GVMDZOSVBNNRV/bundle.json","state":"https://pith.science/pith/J3VBC3WOJNBD6GVMDZOSVBNNRV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/J3VBC3WOJNBD6GVMDZOSVBNNRV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:J3VBC3WOJNBD6GVMDZOSVBNNRV","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":"ee0047e7512d40279aede3185d81d87ba84212942267a14a857f3827debf602f","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.GT","submitted_at":"2026-05-08T19:37:07Z","title_canon_sha256":"44c8885a4c3665c15985c0613c283878e56f1543a33b5f4a92c342c42e162172"},"schema_version":"1.0","source":{"id":"2605.08426","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.08426","created_at":"2026-06-03T01:05:51Z"},{"alias_kind":"arxiv_version","alias_value":"2605.08426v2","created_at":"2026-06-03T01:05:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.08426","created_at":"2026-06-03T01:05:51Z"},{"alias_kind":"pith_short_12","alias_value":"J3VBC3WOJNBD","created_at":"2026-06-03T01:05:51Z"},{"alias_kind":"pith_short_16","alias_value":"J3VBC3WOJNBD6GVM","created_at":"2026-06-03T01:05:51Z"},{"alias_kind":"pith_short_8","alias_value":"J3VBC3WO","created_at":"2026-06-03T01:05:51Z"}],"graph_snapshots":[{"event_id":"sha256:bd2e239f88efedd552a4dfac866336e071d123ae31a4152a0cf6a34d0a47e196","target":"graph","created_at":"2026-06-03T01:05: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":4,"items":[{"attestation":"unclaimed","claim_id":"C1","kind":"strongest_claim","source":"verdict.strongest_claim","status":"machine_extracted","text":"drawing from incomplete contract theory, we formally show that when contracts cannot distinguish all relevant future contingencies, there is a strictly positive welfare loss that no realistic mechanism can eliminate. We show that prosocial agents... can close this gap and achieve outcomes that are socially superior and individually beneficial."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"That the formal model of incomplete contracts transfers directly to LLM agents without additional frictions, and that prosocial weighting can be implemented in a way that remains individually rational and stable across interactions."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"Mechanism design leaves a strictly positive welfare loss under incomplete contracts for AI agents, but prosocial agents close this gap and improve social welfare."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"Incomplete contracts create welfare losses no mechanism can eliminate, but prosocial agents can close the gap."}],"snapshot_sha256":"6407a8d32594bf6f7055f385564a7632158db46b98c60cf3f6c9f13cf0005e9a"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[{"findings_count":0,"name":"claim_evidence","ran_at":"2026-05-20T09:42:03.974344Z","status":"completed","version":"1.0.0"},{"findings_count":0,"name":"ai_meta_artifact","ran_at":"2026-05-20T04:36:18.997825Z","status":"completed","version":"1.0.0"},{"findings_count":0,"name":"doi_title_agreement","ran_at":"2026-05-19T15:01:17.944960Z","status":"completed","version":"1.0.0"},{"findings_count":0,"name":"doi_compliance","ran_at":"2026-05-19T11:08:40.458056Z","status":"completed","version":"1.0.0"}],"endpoint":"/pith/2605.08426/integrity.json","findings":[],"snapshot_sha256":"097a2076552e10860262bd9f7364a303f01e98023cf0d972fd63a493e50ed00d","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Ensuring that AI agents behave safely and beneficially when interacting with other parties has emerged as one of the central challenges of modern AI safety. While mechanism design, as the theory of designing rules to align individual and collective objectives, can incentivize cooperative behavior, it is still an open question whether it alone is sufficient to maximize LLM agents' social welfare. This work proves that the answer is negative: drawing from incomplete contract theory, we formally show that when contracts cannot distinguish all relevant future contingencies, there is a strictly pos","authors_text":"Bernhard Sch\\\"olkopf, Charlie Tharas, Emanuele La Malfa, Samuele Marro, Van Q. Truong, Xuanqiang Angelo Huang, Zhijing Jin","cross_cats":["cs.AI"],"headline":"Incomplete contracts create welfare losses no mechanism can eliminate, but prosocial agents can close the gap.","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.GT","submitted_at":"2026-05-08T19:37:07Z","title":"Mechanism Design Is Not Enough: Prosocial Agents for Cooperative AI"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.08426","kind":"arxiv","version":2},"verdict":{"created_at":"2026-05-12T00:55:22.808355Z","id":"e966bf40-9b80-4187-9ec4-9097ad7886cf","model_set":{"reader":"grok-4.3"},"one_line_summary":"Mechanism design leaves a strictly positive welfare loss under incomplete contracts for AI agents, but prosocial agents close this gap and improve social welfare.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"Incomplete contracts create welfare losses no mechanism can eliminate, but prosocial agents can close the gap.","strongest_claim":"drawing from incomplete contract theory, we formally show that when contracts cannot distinguish all relevant future contingencies, there is a strictly positive welfare loss that no realistic mechanism can eliminate. We show that prosocial agents... can close this gap and achieve outcomes that are socially superior and individually beneficial.","weakest_assumption":"That the formal model of incomplete contracts transfers directly to LLM agents without additional frictions, and that prosocial weighting can be implemented in a way that remains individually rational and stable across interactions."}},"verdict_id":"e966bf40-9b80-4187-9ec4-9097ad7886cf"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:20fe2d4836510b283fadbd632be60c7be8fef19a15361e9d46a4c8155519dd4c","target":"record","created_at":"2026-06-03T01:05: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":"ee0047e7512d40279aede3185d81d87ba84212942267a14a857f3827debf602f","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.GT","submitted_at":"2026-05-08T19:37:07Z","title_canon_sha256":"44c8885a4c3665c15985c0613c283878e56f1543a33b5f4a92c342c42e162172"},"schema_version":"1.0","source":{"id":"2605.08426","kind":"arxiv","version":2}},"canonical_sha256":"4eea116ece4b423f1aac1e5d2a85ad8d78595544e6d283860649f34ad14e4a81","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4eea116ece4b423f1aac1e5d2a85ad8d78595544e6d283860649f34ad14e4a81","first_computed_at":"2026-06-03T01:05:51.057474Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-03T01:05:51.057474Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"aO4OZT4LzordPqoHqwqJ7SmV7WTpT3CyNwt90AHyEtyM8MmMbAYNzkkjWjURU/JDz16HU1jtAchi+wWxPQ/wCA==","signature_status":"signed_v1","signed_at":"2026-06-03T01:05:51.057908Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.08426","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:20fe2d4836510b283fadbd632be60c7be8fef19a15361e9d46a4c8155519dd4c","sha256:bd2e239f88efedd552a4dfac866336e071d123ae31a4152a0cf6a34d0a47e196"],"state_sha256":"f067fffefb3552ecaffab4ff4fff6f87783213ae14a34d05b816992abf32ed3a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gXb0O9e07sqaRJ9SMOK8xtUGPFd4lBFKB6+bnly2OP44MAC6vTZtt6l95/G4BMroHV1UDRMUyEWyAIrv8f9WDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-06T19:21:13.440581Z","bundle_sha256":"1f12a81cf98d1dcc5c89d4be8b86ba0ddc30ad223382b07074be53007268010b"}}