{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:EWIWNDIB5CIFT7WDWG3T7HZO7B","short_pith_number":"pith:EWIWNDIB","canonical_record":{"source":{"id":"1612.09193","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2016-12-29T16:31:07Z","cross_cats_sorted":["math.KT"],"title_canon_sha256":"e8150b16f0bf0be1ce743337d20947858c49b6dc8ede66e31130b39fc3d55c23","abstract_canon_sha256":"cb275cb4c95b373473e3bb6fcbe75f8c53a5923ced500e8eedc1a1d6c1205383"},"schema_version":"1.0"},"canonical_sha256":"2591668d01e89059fec3b1b73f9f2ef8751b5b6abb6a92d2bb04bc027a105129","source":{"kind":"arxiv","id":"1612.09193","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1612.09193","created_at":"2026-05-18T00:51:57Z"},{"alias_kind":"arxiv_version","alias_value":"1612.09193v2","created_at":"2026-05-18T00:51:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1612.09193","created_at":"2026-05-18T00:51:57Z"},{"alias_kind":"pith_short_12","alias_value":"EWIWNDIB5CIF","created_at":"2026-05-18T12:30:15Z"},{"alias_kind":"pith_short_16","alias_value":"EWIWNDIB5CIFT7WD","created_at":"2026-05-18T12:30:15Z"},{"alias_kind":"pith_short_8","alias_value":"EWIWNDIB","created_at":"2026-05-18T12:30:15Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:EWIWNDIB5CIFT7WDWG3T7HZO7B","target":"record","payload":{"canonical_record":{"source":{"id":"1612.09193","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2016-12-29T16:31:07Z","cross_cats_sorted":["math.KT"],"title_canon_sha256":"e8150b16f0bf0be1ce743337d20947858c49b6dc8ede66e31130b39fc3d55c23","abstract_canon_sha256":"cb275cb4c95b373473e3bb6fcbe75f8c53a5923ced500e8eedc1a1d6c1205383"},"schema_version":"1.0"},"canonical_sha256":"2591668d01e89059fec3b1b73f9f2ef8751b5b6abb6a92d2bb04bc027a105129","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:51:57.119804Z","signature_b64":"UkE9W+O41JpdnBqcAJJl2ucjgu8V/l/EiKJ1TD5Czodf8YY2QE9R7s5hCoVUwYVJcz7XrTMSJYk37TNmb/UxBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2591668d01e89059fec3b1b73f9f2ef8751b5b6abb6a92d2bb04bc027a105129","last_reissued_at":"2026-05-18T00:51:57.119187Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:51:57.119187Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1612.09193","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-18T00:51:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sptIUhJN1kZiEqECdRIUeZX9JiD+7cZatwDgAJtOF1rQ6avJMAy9KawrZGdDnBcug5Kfyq7MYEjo6aQkzZwqCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T13:13:44.621306Z"},"content_sha256":"dc91799dc56ebf3a60b5499bdf62a4928d0f07f5d68b3a9bfeedeaf79559ff91","schema_version":"1.0","event_id":"sha256:dc91799dc56ebf3a60b5499bdf62a4928d0f07f5d68b3a9bfeedeaf79559ff91"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:EWIWNDIB5CIFT7WDWG3T7HZO7B","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Coherence of string rewriting systems by decreasingness","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.KT"],"primary_cat":"math.CT","authors_text":"Cl\\'ement Alleaume, Philippe Malbos","submitted_at":"2016-12-29T16:31:07Z","abstract_excerpt":"Squier introduced a homotopical method in order to describe all the relations amongst rewriting reductions of a confluent and terminating string rewriting system. From a string rewriting system he constructed a $2$-dimensional combinatorial complex whose $2$-cells are generated by relations induced by the rewriting rules. When the rewriting system is confluent and terminating, the homotopy of this complex can be characterized in term of confluence diagrams induced by the critical branchings of the rewriting system. Such a construction is now used to solve coherence problems for monoids using s"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1612.09193","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-18T00:51:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"q96L00sp+OoAljs7yQO7akkcovJmeJMA4i3VZZNrBE6i8lMw+YlMCGYbUpCylonbvKceruO4sYoU4LYj7QUkBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T13:13:44.622050Z"},"content_sha256":"b644abc1728b3e9254fb75db8b617c761f43c9b840821d77e5d01931f96373dd","schema_version":"1.0","event_id":"sha256:b644abc1728b3e9254fb75db8b617c761f43c9b840821d77e5d01931f96373dd"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EWIWNDIB5CIFT7WDWG3T7HZO7B/bundle.json","state_url":"https://pith.science/pith/EWIWNDIB5CIFT7WDWG3T7HZO7B/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EWIWNDIB5CIFT7WDWG3T7HZO7B/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-06T13:13:44Z","links":{"resolver":"https://pith.science/pith/EWIWNDIB5CIFT7WDWG3T7HZO7B","bundle":"https://pith.science/pith/EWIWNDIB5CIFT7WDWG3T7HZO7B/bundle.json","state":"https://pith.science/pith/EWIWNDIB5CIFT7WDWG3T7HZO7B/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EWIWNDIB5CIFT7WDWG3T7HZO7B/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:EWIWNDIB5CIFT7WDWG3T7HZO7B","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":"cb275cb4c95b373473e3bb6fcbe75f8c53a5923ced500e8eedc1a1d6c1205383","cross_cats_sorted":["math.KT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2016-12-29T16:31:07Z","title_canon_sha256":"e8150b16f0bf0be1ce743337d20947858c49b6dc8ede66e31130b39fc3d55c23"},"schema_version":"1.0","source":{"id":"1612.09193","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1612.09193","created_at":"2026-05-18T00:51:57Z"},{"alias_kind":"arxiv_version","alias_value":"1612.09193v2","created_at":"2026-05-18T00:51:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1612.09193","created_at":"2026-05-18T00:51:57Z"},{"alias_kind":"pith_short_12","alias_value":"EWIWNDIB5CIF","created_at":"2026-05-18T12:30:15Z"},{"alias_kind":"pith_short_16","alias_value":"EWIWNDIB5CIFT7WD","created_at":"2026-05-18T12:30:15Z"},{"alias_kind":"pith_short_8","alias_value":"EWIWNDIB","created_at":"2026-05-18T12:30:15Z"}],"graph_snapshots":[{"event_id":"sha256:b644abc1728b3e9254fb75db8b617c761f43c9b840821d77e5d01931f96373dd","target":"graph","created_at":"2026-05-18T00:51:57Z","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":"Squier introduced a homotopical method in order to describe all the relations amongst rewriting reductions of a confluent and terminating string rewriting system. From a string rewriting system he constructed a $2$-dimensional combinatorial complex whose $2$-cells are generated by relations induced by the rewriting rules. When the rewriting system is confluent and terminating, the homotopy of this complex can be characterized in term of confluence diagrams induced by the critical branchings of the rewriting system. Such a construction is now used to solve coherence problems for monoids using s","authors_text":"Cl\\'ement Alleaume, Philippe Malbos","cross_cats":["math.KT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2016-12-29T16:31:07Z","title":"Coherence of string rewriting systems by decreasingness"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1612.09193","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:dc91799dc56ebf3a60b5499bdf62a4928d0f07f5d68b3a9bfeedeaf79559ff91","target":"record","created_at":"2026-05-18T00:51:57Z","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":"cb275cb4c95b373473e3bb6fcbe75f8c53a5923ced500e8eedc1a1d6c1205383","cross_cats_sorted":["math.KT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2016-12-29T16:31:07Z","title_canon_sha256":"e8150b16f0bf0be1ce743337d20947858c49b6dc8ede66e31130b39fc3d55c23"},"schema_version":"1.0","source":{"id":"1612.09193","kind":"arxiv","version":2}},"canonical_sha256":"2591668d01e89059fec3b1b73f9f2ef8751b5b6abb6a92d2bb04bc027a105129","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2591668d01e89059fec3b1b73f9f2ef8751b5b6abb6a92d2bb04bc027a105129","first_computed_at":"2026-05-18T00:51:57.119187Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:51:57.119187Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"UkE9W+O41JpdnBqcAJJl2ucjgu8V/l/EiKJ1TD5Czodf8YY2QE9R7s5hCoVUwYVJcz7XrTMSJYk37TNmb/UxBw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:51:57.119804Z","signed_message":"canonical_sha256_bytes"},"source_id":"1612.09193","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:dc91799dc56ebf3a60b5499bdf62a4928d0f07f5d68b3a9bfeedeaf79559ff91","sha256:b644abc1728b3e9254fb75db8b617c761f43c9b840821d77e5d01931f96373dd"],"state_sha256":"6d20b5e5883650db862bd50804eebeea488453f5256f7edcadb3a67eb062a978"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"A+bmtlXqQwT0rp0x5ReE/4v7rorrsl25q4yeGrqjdXCuswK+aTEirEpPVMqf0vr1j37XcF8bRWO5gs9L2eR2DQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-06T13:13:44.627096Z","bundle_sha256":"33b991c98dbdc92e7010bc4de4cf6637e4c94a2d804c415d2dc7d446327e5a75"}}