{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:NEKBM4NOQ4QGKALA2EFGCTRCWF","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":"f72fce66cad40030a45057479165a9985cff3131e19af88a67d88e81a28009f5","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2015-01-18T18:13:52Z","title_canon_sha256":"52fec63691f286fdbe918aa2246a4af85235ec82d67cb34d18590d8b943e577c"},"schema_version":"1.0","source":{"id":"1501.04331","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1501.04331","created_at":"2026-05-18T02:29:09Z"},{"alias_kind":"arxiv_version","alias_value":"1501.04331v1","created_at":"2026-05-18T02:29:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1501.04331","created_at":"2026-05-18T02:29:09Z"},{"alias_kind":"pith_short_12","alias_value":"NEKBM4NOQ4QG","created_at":"2026-05-18T12:29:32Z"},{"alias_kind":"pith_short_16","alias_value":"NEKBM4NOQ4QGKALA","created_at":"2026-05-18T12:29:32Z"},{"alias_kind":"pith_short_8","alias_value":"NEKBM4NO","created_at":"2026-05-18T12:29:32Z"}],"graph_snapshots":[{"event_id":"sha256:4d40f87b5f6fca2403b60aab84751ab9e42142e954a1a3ac131c68f5e0f88c95","target":"graph","created_at":"2026-05-18T02:29:09Z","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":"A restatement of the Algebraic Dichotomy Conjecture, due to Maroti and McKenzie, postulates that if a finite algebra A possesses a weak near-unanimity term, then the corresponding constraint satisfaction problem is tractable. A binary operation is weak near-unanimity if and only if it is both commutative and idempotent. Thus if the dichotomy conjecture is true, any finite commutative, idempotent groupoid (CI groupoid) will be tractable. It is known that every semilattice (i.e., an associative CI groupoid) is tractable. A groupoid identity is of Bol-Moufang type if the same three variables appe","authors_text":"Clifford Bergman, David Failing","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2015-01-18T18:13:52Z","title":"Commutative, idempotent groupoids and the constraint satisfaction problem"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1501.04331","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:05c0476a3e46f755d509731fe7aadb7a7f408ff74c3096184cbdb4a2b507676d","target":"record","created_at":"2026-05-18T02:29:09Z","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":"f72fce66cad40030a45057479165a9985cff3131e19af88a67d88e81a28009f5","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2015-01-18T18:13:52Z","title_canon_sha256":"52fec63691f286fdbe918aa2246a4af85235ec82d67cb34d18590d8b943e577c"},"schema_version":"1.0","source":{"id":"1501.04331","kind":"arxiv","version":1}},"canonical_sha256":"69141671ae8720650160d10a614e22b15bd69675b20b9e59bffed72b981fa7cd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"69141671ae8720650160d10a614e22b15bd69675b20b9e59bffed72b981fa7cd","first_computed_at":"2026-05-18T02:29:09.329908Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:29:09.329908Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"d5x49Yj7oxp+EVcYrvXSSGwrim0gxgzdfGnFBasOsg3jFur7vGNBkCT+swwMscaWADAfkUx43bF4MyKy4p1WBA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:29:09.330522Z","signed_message":"canonical_sha256_bytes"},"source_id":"1501.04331","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:05c0476a3e46f755d509731fe7aadb7a7f408ff74c3096184cbdb4a2b507676d","sha256:4d40f87b5f6fca2403b60aab84751ab9e42142e954a1a3ac131c68f5e0f88c95"],"state_sha256":"46884c916a21e729a7a5802b9f036287b175d61b5849140b76b314e225245105"}