{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:3KO2YHH66RZNPZ34YFPPERALOZ","short_pith_number":"pith:3KO2YHH6","canonical_record":{"source":{"id":"1404.1225","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-04-04T11:55:01Z","cross_cats_sorted":[],"title_canon_sha256":"5a6df62b961bbe9a1e26cfaab617d5cf1ad03f0052b3da22010e8d874b5350fd","abstract_canon_sha256":"ac27869f7d6661a0b1ac7d17fc8c3a1277a2124e050f130bbda310534530b341"},"schema_version":"1.0"},"canonical_sha256":"da9dac1cfef472d7e77cc15ef2440b766a41be6145397e8ca1b66df07f7fd10f","source":{"kind":"arxiv","id":"1404.1225","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1404.1225","created_at":"2026-05-18T02:27:44Z"},{"alias_kind":"arxiv_version","alias_value":"1404.1225v2","created_at":"2026-05-18T02:27:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1404.1225","created_at":"2026-05-18T02:27:44Z"},{"alias_kind":"pith_short_12","alias_value":"3KO2YHH66RZN","created_at":"2026-05-18T12:28:11Z"},{"alias_kind":"pith_short_16","alias_value":"3KO2YHH66RZNPZ34","created_at":"2026-05-18T12:28:11Z"},{"alias_kind":"pith_short_8","alias_value":"3KO2YHH6","created_at":"2026-05-18T12:28:11Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:3KO2YHH66RZNPZ34YFPPERALOZ","target":"record","payload":{"canonical_record":{"source":{"id":"1404.1225","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-04-04T11:55:01Z","cross_cats_sorted":[],"title_canon_sha256":"5a6df62b961bbe9a1e26cfaab617d5cf1ad03f0052b3da22010e8d874b5350fd","abstract_canon_sha256":"ac27869f7d6661a0b1ac7d17fc8c3a1277a2124e050f130bbda310534530b341"},"schema_version":"1.0"},"canonical_sha256":"da9dac1cfef472d7e77cc15ef2440b766a41be6145397e8ca1b66df07f7fd10f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:27:44.662956Z","signature_b64":"6zBFamyFO0CCbCU1WHB/3HAc2fzjTdwresR8ymGBPC2WXK28QOrhnPzpOyro2/3vbOlXWhvHgNRq0zhvKXSbAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"da9dac1cfef472d7e77cc15ef2440b766a41be6145397e8ca1b66df07f7fd10f","last_reissued_at":"2026-05-18T02:27:44.662524Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:27:44.662524Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1404.1225","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-18T02:27:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"V88OyUg4oIpgX7SaGczjZ5XOORdrzxm6KV0CyXGI9Wp5BI0P1XpVsOi35/UDsx/GvCbbflFrYaxrnhBHjjCpCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T22:21:40.402077Z"},"content_sha256":"61f7552bd44545a51a8cd18319f72e232eaad9c5646464ae7374b8fd33b796a2","schema_version":"1.0","event_id":"sha256:61f7552bd44545a51a8cd18319f72e232eaad9c5646464ae7374b8fd33b796a2"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:3KO2YHH66RZNPZ34YFPPERALOZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Layer Systems for Proving Confluence","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Aart Middeldorp, Bertram Felgenhauer, Harald Zankl, Vincent van Oostrom","submitted_at":"2014-04-04T11:55:01Z","abstract_excerpt":"We introduce layer systems for proving generalizations of the modularity of confluence for first-order rewrite systems. Layer systems specify how terms can be divided into layers. We establish structural conditions on those systems that imply confluence. Our abstract framework covers known results like modularity, many-sorted persistence, layer-preservation and currying. We present a counterexample to an extension of persistence to order-sorted rewriting and derive new sufficient conditions for the extension to hold. All our proofs are constructive."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1404.1225","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-18T02:27:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UbtnfF0srxhnW3heJRsjPO9GusRm+eb5xhQI2lVI1PeWWO7HEesKA+sw/WiPzURvJKQDlcEJy6Dqes/XM4RbBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T22:21:40.402678Z"},"content_sha256":"4b28f213a7ac601589cce9a0b7076327807c4b75c638699c284bb9e5164b97ec","schema_version":"1.0","event_id":"sha256:4b28f213a7ac601589cce9a0b7076327807c4b75c638699c284bb9e5164b97ec"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3KO2YHH66RZNPZ34YFPPERALOZ/bundle.json","state_url":"https://pith.science/pith/3KO2YHH66RZNPZ34YFPPERALOZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3KO2YHH66RZNPZ34YFPPERALOZ/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-04T22:21:40Z","links":{"resolver":"https://pith.science/pith/3KO2YHH66RZNPZ34YFPPERALOZ","bundle":"https://pith.science/pith/3KO2YHH66RZNPZ34YFPPERALOZ/bundle.json","state":"https://pith.science/pith/3KO2YHH66RZNPZ34YFPPERALOZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3KO2YHH66RZNPZ34YFPPERALOZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:3KO2YHH66RZNPZ34YFPPERALOZ","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":"ac27869f7d6661a0b1ac7d17fc8c3a1277a2124e050f130bbda310534530b341","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-04-04T11:55:01Z","title_canon_sha256":"5a6df62b961bbe9a1e26cfaab617d5cf1ad03f0052b3da22010e8d874b5350fd"},"schema_version":"1.0","source":{"id":"1404.1225","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1404.1225","created_at":"2026-05-18T02:27:44Z"},{"alias_kind":"arxiv_version","alias_value":"1404.1225v2","created_at":"2026-05-18T02:27:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1404.1225","created_at":"2026-05-18T02:27:44Z"},{"alias_kind":"pith_short_12","alias_value":"3KO2YHH66RZN","created_at":"2026-05-18T12:28:11Z"},{"alias_kind":"pith_short_16","alias_value":"3KO2YHH66RZNPZ34","created_at":"2026-05-18T12:28:11Z"},{"alias_kind":"pith_short_8","alias_value":"3KO2YHH6","created_at":"2026-05-18T12:28:11Z"}],"graph_snapshots":[{"event_id":"sha256:4b28f213a7ac601589cce9a0b7076327807c4b75c638699c284bb9e5164b97ec","target":"graph","created_at":"2026-05-18T02:27:44Z","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 introduce layer systems for proving generalizations of the modularity of confluence for first-order rewrite systems. Layer systems specify how terms can be divided into layers. We establish structural conditions on those systems that imply confluence. Our abstract framework covers known results like modularity, many-sorted persistence, layer-preservation and currying. We present a counterexample to an extension of persistence to order-sorted rewriting and derive new sufficient conditions for the extension to hold. All our proofs are constructive.","authors_text":"Aart Middeldorp, Bertram Felgenhauer, Harald Zankl, Vincent van Oostrom","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-04-04T11:55:01Z","title":"Layer Systems for Proving Confluence"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1404.1225","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:61f7552bd44545a51a8cd18319f72e232eaad9c5646464ae7374b8fd33b796a2","target":"record","created_at":"2026-05-18T02:27:44Z","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":"ac27869f7d6661a0b1ac7d17fc8c3a1277a2124e050f130bbda310534530b341","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-04-04T11:55:01Z","title_canon_sha256":"5a6df62b961bbe9a1e26cfaab617d5cf1ad03f0052b3da22010e8d874b5350fd"},"schema_version":"1.0","source":{"id":"1404.1225","kind":"arxiv","version":2}},"canonical_sha256":"da9dac1cfef472d7e77cc15ef2440b766a41be6145397e8ca1b66df07f7fd10f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"da9dac1cfef472d7e77cc15ef2440b766a41be6145397e8ca1b66df07f7fd10f","first_computed_at":"2026-05-18T02:27:44.662524Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:27:44.662524Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"6zBFamyFO0CCbCU1WHB/3HAc2fzjTdwresR8ymGBPC2WXK28QOrhnPzpOyro2/3vbOlXWhvHgNRq0zhvKXSbAA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:27:44.662956Z","signed_message":"canonical_sha256_bytes"},"source_id":"1404.1225","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:61f7552bd44545a51a8cd18319f72e232eaad9c5646464ae7374b8fd33b796a2","sha256:4b28f213a7ac601589cce9a0b7076327807c4b75c638699c284bb9e5164b97ec"],"state_sha256":"3c996efb9bb0d5fd6b58fc6ea3128e98766409ad4b39bfe09cbdd96c7c425529"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8MjAcwZCE6vnUiYqizREuTct/ZEdVVq3BoT+M96elrLTEL9uLdjYZ40VryorADVyKWumcHsvCrM7g6vt4XKXCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-04T22:21:40.405854Z","bundle_sha256":"d2a402ddcd3ce1e5528306ac7450f5bebaa7bb5b1955486b7d75e131170a4e9a"}}