{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:ZYPT674J2SF6UJNKO3JZDVIRVS","short_pith_number":"pith:ZYPT674J","canonical_record":{"source":{"id":"1508.02149","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2015-08-10T07:32:10Z","cross_cats_sorted":["cs.CC","cs.FL","cs.LO"],"title_canon_sha256":"2f66768d88a3c98162792da6d11f453bdb088a6e64f520aeecf7e28406b39e04","abstract_canon_sha256":"5506cdaaf1fe49068108efdaec73f66f2c81cf9690b51e52feb809aff17e0483"},"schema_version":"1.0"},"canonical_sha256":"ce1f3f7f89d48bea25aa76d391d511ac91e70dc3dc19644bd52f55b9a5d64b22","source":{"kind":"arxiv","id":"1508.02149","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1508.02149","created_at":"2026-05-18T01:14:17Z"},{"alias_kind":"arxiv_version","alias_value":"1508.02149v2","created_at":"2026-05-18T01:14:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1508.02149","created_at":"2026-05-18T01:14:17Z"},{"alias_kind":"pith_short_12","alias_value":"ZYPT674J2SF6","created_at":"2026-05-18T12:29:52Z"},{"alias_kind":"pith_short_16","alias_value":"ZYPT674J2SF6UJNK","created_at":"2026-05-18T12:29:52Z"},{"alias_kind":"pith_short_8","alias_value":"ZYPT674J","created_at":"2026-05-18T12:29:52Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:ZYPT674J2SF6UJNKO3JZDVIRVS","target":"record","payload":{"canonical_record":{"source":{"id":"1508.02149","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2015-08-10T07:32:10Z","cross_cats_sorted":["cs.CC","cs.FL","cs.LO"],"title_canon_sha256":"2f66768d88a3c98162792da6d11f453bdb088a6e64f520aeecf7e28406b39e04","abstract_canon_sha256":"5506cdaaf1fe49068108efdaec73f66f2c81cf9690b51e52feb809aff17e0483"},"schema_version":"1.0"},"canonical_sha256":"ce1f3f7f89d48bea25aa76d391d511ac91e70dc3dc19644bd52f55b9a5d64b22","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:14:17.936372Z","signature_b64":"+ok37oFTMZSD+hWAqFIub1Kh7K837qE4742E/3NKVNPsADEPS8udd8jzlgkWrs0bmw+g18/zTVZy/u6fKQ2DBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ce1f3f7f89d48bea25aa76d391d511ac91e70dc3dc19644bd52f55b9a5d64b22","last_reissued_at":"2026-05-18T01:14:17.935687Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:14:17.935687Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1508.02149","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-05-18T01:14:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MLF+uY+37KuewNvyI1+GMtEHDOzAhTvAuM5eiW3Fe/CvxwWkdoLttIKe6Zk+6/rlfV89FB58YQuOQRYTvrCrAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T19:07:18.284864Z"},"content_sha256":"84be0e7a4959f36b6ec819824725473dd7a8acbab102924013ed30a7c3c5bdf4","schema_version":"1.0","event_id":"sha256:84be0e7a4959f36b6ec819824725473dd7a8acbab102924013ed30a7c3c5bdf4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:ZYPT674J2SF6UJNKO3JZDVIRVS","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Solution sets for equations over free groups are EDT0L languages","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CC","cs.FL","cs.LO"],"primary_cat":"math.GR","authors_text":"Laura Ciobanu, Murray Elder, Volker Diekert","submitted_at":"2015-08-10T07:32:10Z","abstract_excerpt":"We show that, given an equation over a finitely generated free group, the set of all solutions in reduced words forms an effectively constructible EDT0L language. In particular, the set of all solutions in reduced words is an indexed language in the sense of Aho. The language characterization we give, as well as further questions about the existence or finiteness of solutions, follow from our explicit construction of a finite directed graph which encodes all the solutions. Our result incorporates the recently invented recompression technique of Je\\.z, and a new way to integrate solutions of li"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1508.02149","kind":"arxiv","version":2},"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-18T01:14:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EAyygfjNRhlKSH5Kx3gsjlsjby3NTs+0F4MIazVG2sC0OQHiYUsn2AJaRFhQMeKqEewLZmjQfITBvTME5F9/DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T19:07:18.285220Z"},"content_sha256":"55ed874c93673ca9675b80cdcae836ab75d9b315b82f0d2d3d8503f6ebe13a80","schema_version":"1.0","event_id":"sha256:55ed874c93673ca9675b80cdcae836ab75d9b315b82f0d2d3d8503f6ebe13a80"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZYPT674J2SF6UJNKO3JZDVIRVS/bundle.json","state_url":"https://pith.science/pith/ZYPT674J2SF6UJNKO3JZDVIRVS/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZYPT674J2SF6UJNKO3JZDVIRVS/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-01T19:07:18Z","links":{"resolver":"https://pith.science/pith/ZYPT674J2SF6UJNKO3JZDVIRVS","bundle":"https://pith.science/pith/ZYPT674J2SF6UJNKO3JZDVIRVS/bundle.json","state":"https://pith.science/pith/ZYPT674J2SF6UJNKO3JZDVIRVS/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZYPT674J2SF6UJNKO3JZDVIRVS/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:ZYPT674J2SF6UJNKO3JZDVIRVS","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":"5506cdaaf1fe49068108efdaec73f66f2c81cf9690b51e52feb809aff17e0483","cross_cats_sorted":["cs.CC","cs.FL","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2015-08-10T07:32:10Z","title_canon_sha256":"2f66768d88a3c98162792da6d11f453bdb088a6e64f520aeecf7e28406b39e04"},"schema_version":"1.0","source":{"id":"1508.02149","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1508.02149","created_at":"2026-05-18T01:14:17Z"},{"alias_kind":"arxiv_version","alias_value":"1508.02149v2","created_at":"2026-05-18T01:14:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1508.02149","created_at":"2026-05-18T01:14:17Z"},{"alias_kind":"pith_short_12","alias_value":"ZYPT674J2SF6","created_at":"2026-05-18T12:29:52Z"},{"alias_kind":"pith_short_16","alias_value":"ZYPT674J2SF6UJNK","created_at":"2026-05-18T12:29:52Z"},{"alias_kind":"pith_short_8","alias_value":"ZYPT674J","created_at":"2026-05-18T12:29:52Z"}],"graph_snapshots":[{"event_id":"sha256:55ed874c93673ca9675b80cdcae836ab75d9b315b82f0d2d3d8503f6ebe13a80","target":"graph","created_at":"2026-05-18T01:14:17Z","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 show that, given an equation over a finitely generated free group, the set of all solutions in reduced words forms an effectively constructible EDT0L language. In particular, the set of all solutions in reduced words is an indexed language in the sense of Aho. The language characterization we give, as well as further questions about the existence or finiteness of solutions, follow from our explicit construction of a finite directed graph which encodes all the solutions. Our result incorporates the recently invented recompression technique of Je\\.z, and a new way to integrate solutions of li","authors_text":"Laura Ciobanu, Murray Elder, Volker Diekert","cross_cats":["cs.CC","cs.FL","cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2015-08-10T07:32:10Z","title":"Solution sets for equations over free groups are EDT0L languages"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1508.02149","kind":"arxiv","version":2},"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:84be0e7a4959f36b6ec819824725473dd7a8acbab102924013ed30a7c3c5bdf4","target":"record","created_at":"2026-05-18T01:14:17Z","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":"5506cdaaf1fe49068108efdaec73f66f2c81cf9690b51e52feb809aff17e0483","cross_cats_sorted":["cs.CC","cs.FL","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2015-08-10T07:32:10Z","title_canon_sha256":"2f66768d88a3c98162792da6d11f453bdb088a6e64f520aeecf7e28406b39e04"},"schema_version":"1.0","source":{"id":"1508.02149","kind":"arxiv","version":2}},"canonical_sha256":"ce1f3f7f89d48bea25aa76d391d511ac91e70dc3dc19644bd52f55b9a5d64b22","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ce1f3f7f89d48bea25aa76d391d511ac91e70dc3dc19644bd52f55b9a5d64b22","first_computed_at":"2026-05-18T01:14:17.935687Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:14:17.935687Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"+ok37oFTMZSD+hWAqFIub1Kh7K837qE4742E/3NKVNPsADEPS8udd8jzlgkWrs0bmw+g18/zTVZy/u6fKQ2DBA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:14:17.936372Z","signed_message":"canonical_sha256_bytes"},"source_id":"1508.02149","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:84be0e7a4959f36b6ec819824725473dd7a8acbab102924013ed30a7c3c5bdf4","sha256:55ed874c93673ca9675b80cdcae836ab75d9b315b82f0d2d3d8503f6ebe13a80"],"state_sha256":"5556b96edbedfa9e19d95ddcb68f233f2789b6880091a6d128b89c2e6135968c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MpfzLxajLRR8cFpu8LTcInza56wxVqOg64aR2aQecgTwyG85CQ1A6KvJciVs/T5GGj4wKBmjdOLfK1IfO7WKAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T19:07:18.287225Z","bundle_sha256":"2aee05e4469c194ae4f42a769ebc8c29984e1bd037329698c40ccc3e78422ad9"}}