{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:SODORIJIYVM4FOQITRAYTRT324","short_pith_number":"pith:SODORIJI","canonical_record":{"source":{"id":"1405.6899","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2014-05-27T13:15:48Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"75f13c09324218815d7207c0a2c2292849f99c3ddfb92dab61368164c1a3599c","abstract_canon_sha256":"cccda9b215b4bf665288ad60b2f9827e09cb80cb163dd504f21b7e3aa02f6738"},"schema_version":"1.0"},"canonical_sha256":"9386e8a128c559c2ba089c4189c67bd735c39e8e35fe6b28dc458712ae63b5a5","source":{"kind":"arxiv","id":"1405.6899","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1405.6899","created_at":"2026-05-18T02:51:00Z"},{"alias_kind":"arxiv_version","alias_value":"1405.6899v1","created_at":"2026-05-18T02:51:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1405.6899","created_at":"2026-05-18T02:51:00Z"},{"alias_kind":"pith_short_12","alias_value":"SODORIJIYVM4","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_16","alias_value":"SODORIJIYVM4FOQI","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_8","alias_value":"SODORIJI","created_at":"2026-05-18T12:28:49Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:SODORIJIYVM4FOQITRAYTRT324","target":"record","payload":{"canonical_record":{"source":{"id":"1405.6899","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2014-05-27T13:15:48Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"75f13c09324218815d7207c0a2c2292849f99c3ddfb92dab61368164c1a3599c","abstract_canon_sha256":"cccda9b215b4bf665288ad60b2f9827e09cb80cb163dd504f21b7e3aa02f6738"},"schema_version":"1.0"},"canonical_sha256":"9386e8a128c559c2ba089c4189c67bd735c39e8e35fe6b28dc458712ae63b5a5","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:51:00.127946Z","signature_b64":"0QsnoSO41lZlQvv5ci8q7hh+3mhHUdGGYLYDZwvX6jT4qgEz7tyzEB4oHl5m3/7L0r7Jt4JVnF9SDHeFJ6icAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9386e8a128c559c2ba089c4189c67bd735c39e8e35fe6b28dc458712ae63b5a5","last_reissued_at":"2026-05-18T02:51:00.127431Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:51:00.127431Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1405.6899","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-05-18T02:51:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LODCNwO/UPJDnBjeqqHEGSa1UgJVbJlPNadJY09MUAFY/6gEei8kpyQ6N6sbG/ZolIO4Ibahmi13yqT6J+zJDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T03:59:43.296088Z"},"content_sha256":"16576d6ee6322cd1e752db1459648bb72aab5faba5b88ecc3b1770304a82d704","schema_version":"1.0","event_id":"sha256:16576d6ee6322cd1e752db1459648bb72aab5faba5b88ecc3b1770304a82d704"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:SODORIJIYVM4FOQITRAYTRT324","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Big, but not unruly: Tractable norms for anonymous game structures","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.MA","authors_text":"Piotr Ka\\'zmierczak, Sjur Dyrkolbotn, Truls Pedersen","submitted_at":"2014-05-27T13:15:48Z","abstract_excerpt":"We present a new strategic logic NCHATL that allows for reasoning about norm compliance on concurrent game structures that satisfy anonymity. We represent such game structures compactly, avoiding models that have exponential size in the number of agents. Then we show that model checking can be done in polynomial time with respect to this compact representation, even for normative systems that are not anonymous. That is, as long as the underlying game structures are anonymous, model checking normative formulas is tractable even if norms can prescribe different sets of forbidden actions to diffe"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1405.6899","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":""},"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-05-18T02:51:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"clNaJ64Dr43KPuHSeHXZvj0AlHcijU2wKrKYY4wwph6nV9M4DxCHL2BQ1seHqaXZqJxPDMFUgLhBA3XNB9RJBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T03:59:43.296451Z"},"content_sha256":"1096592b6ef00c905334d3fe90e9fe9cd1a043c075577699909f91b5aa76f49e","schema_version":"1.0","event_id":"sha256:1096592b6ef00c905334d3fe90e9fe9cd1a043c075577699909f91b5aa76f49e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SODORIJIYVM4FOQITRAYTRT324/bundle.json","state_url":"https://pith.science/pith/SODORIJIYVM4FOQITRAYTRT324/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SODORIJIYVM4FOQITRAYTRT324/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-06-20T03:59:43Z","links":{"resolver":"https://pith.science/pith/SODORIJIYVM4FOQITRAYTRT324","bundle":"https://pith.science/pith/SODORIJIYVM4FOQITRAYTRT324/bundle.json","state":"https://pith.science/pith/SODORIJIYVM4FOQITRAYTRT324/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SODORIJIYVM4FOQITRAYTRT324/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:SODORIJIYVM4FOQITRAYTRT324","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":"cccda9b215b4bf665288ad60b2f9827e09cb80cb163dd504f21b7e3aa02f6738","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2014-05-27T13:15:48Z","title_canon_sha256":"75f13c09324218815d7207c0a2c2292849f99c3ddfb92dab61368164c1a3599c"},"schema_version":"1.0","source":{"id":"1405.6899","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1405.6899","created_at":"2026-05-18T02:51:00Z"},{"alias_kind":"arxiv_version","alias_value":"1405.6899v1","created_at":"2026-05-18T02:51:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1405.6899","created_at":"2026-05-18T02:51:00Z"},{"alias_kind":"pith_short_12","alias_value":"SODORIJIYVM4","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_16","alias_value":"SODORIJIYVM4FOQI","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_8","alias_value":"SODORIJI","created_at":"2026-05-18T12:28:49Z"}],"graph_snapshots":[{"event_id":"sha256:1096592b6ef00c905334d3fe90e9fe9cd1a043c075577699909f91b5aa76f49e","target":"graph","created_at":"2026-05-18T02:51:00Z","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"},"paper":{"abstract_excerpt":"We present a new strategic logic NCHATL that allows for reasoning about norm compliance on concurrent game structures that satisfy anonymity. We represent such game structures compactly, avoiding models that have exponential size in the number of agents. Then we show that model checking can be done in polynomial time with respect to this compact representation, even for normative systems that are not anonymous. That is, as long as the underlying game structures are anonymous, model checking normative formulas is tractable even if norms can prescribe different sets of forbidden actions to diffe","authors_text":"Piotr Ka\\'zmierczak, Sjur Dyrkolbotn, Truls Pedersen","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2014-05-27T13:15:48Z","title":"Big, but not unruly: Tractable norms for anonymous game structures"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1405.6899","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:16576d6ee6322cd1e752db1459648bb72aab5faba5b88ecc3b1770304a82d704","target":"record","created_at":"2026-05-18T02:51:00Z","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":"cccda9b215b4bf665288ad60b2f9827e09cb80cb163dd504f21b7e3aa02f6738","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2014-05-27T13:15:48Z","title_canon_sha256":"75f13c09324218815d7207c0a2c2292849f99c3ddfb92dab61368164c1a3599c"},"schema_version":"1.0","source":{"id":"1405.6899","kind":"arxiv","version":1}},"canonical_sha256":"9386e8a128c559c2ba089c4189c67bd735c39e8e35fe6b28dc458712ae63b5a5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9386e8a128c559c2ba089c4189c67bd735c39e8e35fe6b28dc458712ae63b5a5","first_computed_at":"2026-05-18T02:51:00.127431Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:51:00.127431Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"0QsnoSO41lZlQvv5ci8q7hh+3mhHUdGGYLYDZwvX6jT4qgEz7tyzEB4oHl5m3/7L0r7Jt4JVnF9SDHeFJ6icAg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:51:00.127946Z","signed_message":"canonical_sha256_bytes"},"source_id":"1405.6899","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:16576d6ee6322cd1e752db1459648bb72aab5faba5b88ecc3b1770304a82d704","sha256:1096592b6ef00c905334d3fe90e9fe9cd1a043c075577699909f91b5aa76f49e"],"state_sha256":"1f606f2fb5c8da82fbd07528e3ac324136fa56f3dd4287162ec4b60b34f1c080"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ftl4DIncgxZyhJiR6CivSAhbJPBjzyhJ+q/yBN9xMIMy3pquh7Z7Q63SY5al3ukjRDfGzHyVAvzoy3VIPhP+Cw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-20T03:59:43.298331Z","bundle_sha256":"5d5b31b913ca74eb10559fe744eaf8ecc5ceb00fb88b64fc281444f179d4eef4"}}