{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:RSBMH5YWBEWSK5PVPL6WR7LC7D","short_pith_number":"pith:RSBMH5YW","canonical_record":{"source":{"id":"1707.00215","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2017-07-01T23:01:33Z","cross_cats_sorted":["math.AT"],"title_canon_sha256":"9b60f92f12436c3c2a9f1a9ad1f384042da44038f14bbfe4afff05c66d21d9d9","abstract_canon_sha256":"34aacb8f4c8b51cde63f99f4493d9e6156b47e16678a5953d7a25393dacf451f"},"schema_version":"1.0"},"canonical_sha256":"8c82c3f716092d2575f57afd68fd62f8efc23d1fa51ef39090841973d8345cf8","source":{"kind":"arxiv","id":"1707.00215","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.00215","created_at":"2026-05-18T00:41:04Z"},{"alias_kind":"arxiv_version","alias_value":"1707.00215v1","created_at":"2026-05-18T00:41:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.00215","created_at":"2026-05-18T00:41:04Z"},{"alias_kind":"pith_short_12","alias_value":"RSBMH5YWBEWS","created_at":"2026-05-18T12:31:39Z"},{"alias_kind":"pith_short_16","alias_value":"RSBMH5YWBEWSK5PV","created_at":"2026-05-18T12:31:39Z"},{"alias_kind":"pith_short_8","alias_value":"RSBMH5YW","created_at":"2026-05-18T12:31:39Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:RSBMH5YWBEWSK5PVPL6WR7LC7D","target":"record","payload":{"canonical_record":{"source":{"id":"1707.00215","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2017-07-01T23:01:33Z","cross_cats_sorted":["math.AT"],"title_canon_sha256":"9b60f92f12436c3c2a9f1a9ad1f384042da44038f14bbfe4afff05c66d21d9d9","abstract_canon_sha256":"34aacb8f4c8b51cde63f99f4493d9e6156b47e16678a5953d7a25393dacf451f"},"schema_version":"1.0"},"canonical_sha256":"8c82c3f716092d2575f57afd68fd62f8efc23d1fa51ef39090841973d8345cf8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:41:04.098348Z","signature_b64":"yb6Xf2lVjmKstLtIaNIIpyjGJvDjk1GiPp3Wddq9OQl1YbLrh/gdY4CXLGaIKkzwCpHOzzJL8Y7+HGnH5X1GCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8c82c3f716092d2575f57afd68fd62f8efc23d1fa51ef39090841973d8345cf8","last_reissued_at":"2026-05-18T00:41:04.097657Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:41:04.097657Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1707.00215","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-18T00:41:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YcUafJj+2roW2Ze/oQ0ORSusnKGSczV60vFTv2urooPCmDKq/Nlb8iTLV7kLL4ovdGMqnLWiwOzZ0Ofj2UgEBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-21T15:19:24.928556Z"},"content_sha256":"c85e007d2c563a504f4b2e8d0814898a94f94ecb3f9d0192752462f5285129c3","schema_version":"1.0","event_id":"sha256:c85e007d2c563a504f4b2e8d0814898a94f94ecb3f9d0192752462f5285129c3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:RSBMH5YWBEWSK5PVPL6WR7LC7D","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Automaton groups and complete square complexes","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.AT"],"primary_cat":"math.GR","authors_text":"Bohdan Kivva, Ievgen Bondarenko","submitted_at":"2017-07-01T23:01:33Z","abstract_excerpt":"The first example of a non-residually finite group in the classes of finitely presented small-cancelation groups, automatic groups, and CAT(0) groups was constructed by Wise as the fundamental group of a complete square complex (CSC for short) with twelve squares. At the same time, Janzen and Wise proved that CSCs with at most three squares, five or seven squares have residually finite fundamental group. The smallest open cases were CSCs with four squares and directed complete VH complexes with six squares. We prove that the CSC with four squares studied by Janzen and Wise has a non-residually"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.00215","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-18T00:41:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IHTLMVNKo/5e/aRtZG16EqFcNKJ5Q2OCNBKNSIUzm5blKLSmZQOEeiMwXuTcZmoQhmH5RofuyUBcBSH3XVd5Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-21T15:19:24.928891Z"},"content_sha256":"79789ef6268cb4dacfb19f635fbb5de551b0bcdfd253a55a1a436f11c5199233","schema_version":"1.0","event_id":"sha256:79789ef6268cb4dacfb19f635fbb5de551b0bcdfd253a55a1a436f11c5199233"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/RSBMH5YWBEWSK5PVPL6WR7LC7D/bundle.json","state_url":"https://pith.science/pith/RSBMH5YWBEWSK5PVPL6WR7LC7D/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/RSBMH5YWBEWSK5PVPL6WR7LC7D/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-21T15:19:24Z","links":{"resolver":"https://pith.science/pith/RSBMH5YWBEWSK5PVPL6WR7LC7D","bundle":"https://pith.science/pith/RSBMH5YWBEWSK5PVPL6WR7LC7D/bundle.json","state":"https://pith.science/pith/RSBMH5YWBEWSK5PVPL6WR7LC7D/state.json","well_known_bundle":"https://pith.science/.well-known/pith/RSBMH5YWBEWSK5PVPL6WR7LC7D/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:RSBMH5YWBEWSK5PVPL6WR7LC7D","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":"34aacb8f4c8b51cde63f99f4493d9e6156b47e16678a5953d7a25393dacf451f","cross_cats_sorted":["math.AT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2017-07-01T23:01:33Z","title_canon_sha256":"9b60f92f12436c3c2a9f1a9ad1f384042da44038f14bbfe4afff05c66d21d9d9"},"schema_version":"1.0","source":{"id":"1707.00215","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.00215","created_at":"2026-05-18T00:41:04Z"},{"alias_kind":"arxiv_version","alias_value":"1707.00215v1","created_at":"2026-05-18T00:41:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.00215","created_at":"2026-05-18T00:41:04Z"},{"alias_kind":"pith_short_12","alias_value":"RSBMH5YWBEWS","created_at":"2026-05-18T12:31:39Z"},{"alias_kind":"pith_short_16","alias_value":"RSBMH5YWBEWSK5PV","created_at":"2026-05-18T12:31:39Z"},{"alias_kind":"pith_short_8","alias_value":"RSBMH5YW","created_at":"2026-05-18T12:31:39Z"}],"graph_snapshots":[{"event_id":"sha256:79789ef6268cb4dacfb19f635fbb5de551b0bcdfd253a55a1a436f11c5199233","target":"graph","created_at":"2026-05-18T00:41:04Z","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":"The first example of a non-residually finite group in the classes of finitely presented small-cancelation groups, automatic groups, and CAT(0) groups was constructed by Wise as the fundamental group of a complete square complex (CSC for short) with twelve squares. At the same time, Janzen and Wise proved that CSCs with at most three squares, five or seven squares have residually finite fundamental group. The smallest open cases were CSCs with four squares and directed complete VH complexes with six squares. We prove that the CSC with four squares studied by Janzen and Wise has a non-residually","authors_text":"Bohdan Kivva, Ievgen Bondarenko","cross_cats":["math.AT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2017-07-01T23:01:33Z","title":"Automaton groups and complete square complexes"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.00215","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:c85e007d2c563a504f4b2e8d0814898a94f94ecb3f9d0192752462f5285129c3","target":"record","created_at":"2026-05-18T00:41:04Z","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":"34aacb8f4c8b51cde63f99f4493d9e6156b47e16678a5953d7a25393dacf451f","cross_cats_sorted":["math.AT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2017-07-01T23:01:33Z","title_canon_sha256":"9b60f92f12436c3c2a9f1a9ad1f384042da44038f14bbfe4afff05c66d21d9d9"},"schema_version":"1.0","source":{"id":"1707.00215","kind":"arxiv","version":1}},"canonical_sha256":"8c82c3f716092d2575f57afd68fd62f8efc23d1fa51ef39090841973d8345cf8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8c82c3f716092d2575f57afd68fd62f8efc23d1fa51ef39090841973d8345cf8","first_computed_at":"2026-05-18T00:41:04.097657Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:41:04.097657Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"yb6Xf2lVjmKstLtIaNIIpyjGJvDjk1GiPp3Wddq9OQl1YbLrh/gdY4CXLGaIKkzwCpHOzzJL8Y7+HGnH5X1GCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:41:04.098348Z","signed_message":"canonical_sha256_bytes"},"source_id":"1707.00215","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c85e007d2c563a504f4b2e8d0814898a94f94ecb3f9d0192752462f5285129c3","sha256:79789ef6268cb4dacfb19f635fbb5de551b0bcdfd253a55a1a436f11c5199233"],"state_sha256":"15e5688d521201e65e64aa22b2d7e8ec7c57798699bad03daf6e877d23e5c8fa"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"apHXWpJCdLvxvETriO/XMGMxsFqY8mvgyzpSRE5fhIENlTH3UkgebXs4rCSPGBAc8qWK7QZq4QsACx4JMvOnAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-21T15:19:24.930754Z","bundle_sha256":"8a143d721ef6600b3285fd66e788e21d1ae86ba3c0b5b17154f2fd5006d577c2"}}