{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:XEKQE3PL5QDVJ3EGEDF45SOAB3","short_pith_number":"pith:XEKQE3PL","canonical_record":{"source":{"id":"1803.06168","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2018-03-16T11:25:25Z","cross_cats_sorted":[],"title_canon_sha256":"2b9c96f10ebfccca0557f47aabde7b1ccccb8f2efb5d7eee81ae7521d0fbbf29","abstract_canon_sha256":"57080ab4b928a5f8641d8cbf04f38489e6c969b941050f2cffe69ca49fb94499"},"schema_version":"1.0"},"canonical_sha256":"b915026debec0754ec8620cbcec9c00edde626057684f47dd0dfeb9700cddcbf","source":{"kind":"arxiv","id":"1803.06168","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1803.06168","created_at":"2026-05-18T00:20:50Z"},{"alias_kind":"arxiv_version","alias_value":"1803.06168v1","created_at":"2026-05-18T00:20:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.06168","created_at":"2026-05-18T00:20:50Z"},{"alias_kind":"pith_short_12","alias_value":"XEKQE3PL5QDV","created_at":"2026-05-18T12:33:01Z"},{"alias_kind":"pith_short_16","alias_value":"XEKQE3PL5QDVJ3EG","created_at":"2026-05-18T12:33:01Z"},{"alias_kind":"pith_short_8","alias_value":"XEKQE3PL","created_at":"2026-05-18T12:33:01Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:XEKQE3PL5QDVJ3EGEDF45SOAB3","target":"record","payload":{"canonical_record":{"source":{"id":"1803.06168","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2018-03-16T11:25:25Z","cross_cats_sorted":[],"title_canon_sha256":"2b9c96f10ebfccca0557f47aabde7b1ccccb8f2efb5d7eee81ae7521d0fbbf29","abstract_canon_sha256":"57080ab4b928a5f8641d8cbf04f38489e6c969b941050f2cffe69ca49fb94499"},"schema_version":"1.0"},"canonical_sha256":"b915026debec0754ec8620cbcec9c00edde626057684f47dd0dfeb9700cddcbf","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:20:50.394425Z","signature_b64":"zp+4VcZYY/Wr8CsKFfeqhmOsQFisBs+3sKFsbzrFLJFsepqKxQ3Ol2OrLQ9pVOBXxv5FkjjEGudRuoCC+17NDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b915026debec0754ec8620cbcec9c00edde626057684f47dd0dfeb9700cddcbf","last_reissued_at":"2026-05-18T00:20:50.394002Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:20:50.394002Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1803.06168","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:20:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FfN3mAhXgm0u0DJQnkBSWh22Njjq7tMlAGpI/etTcbF1TAMEngmyoPMaNQRPaAzdRie5ZldSoSM3qR9UdjC9DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T07:54:01.208461Z"},"content_sha256":"e5facc70690b3c2d95c0112080382b0022619aefe2f14b58881f136d9a523bc8","schema_version":"1.0","event_id":"sha256:e5facc70690b3c2d95c0112080382b0022619aefe2f14b58881f136d9a523bc8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:XEKQE3PL5QDVJ3EGEDF45SOAB3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Regular and First Order List Functions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Krishna Shankara Narayanan, Laure Daviaud, Mikolaj Bojanczyk","submitted_at":"2018-03-16T11:25:25Z","abstract_excerpt":"We define two classes of functions, called regular (respectively, first-order) list functions, which manipulate objects such as lists, lists of lists, pairs of lists, lists of pairs of lists, etc. The definition is in the style of regular expressions: the functions are constructed by starting with some basic functions (e.g. projections from pairs, or head and tail operations on lists) and putting them together using four combinators (most importantly, composition of functions). Our main results are that first-order list functions are exactly the same as first-order transductions, under a suita"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.06168","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:20:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oL9LhG+//h+jt4oxhtBVEbyLmFkaEkc20HxbBLEMnjhG5bo2x7EJtQdGUrRFS8/zKMGTHnbHxw3+eAhE7rlkCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T07:54:01.208807Z"},"content_sha256":"ca5a3f06574d4658f00409c9dbe81f8764091acab0ea16036fcbbad0b9af481f","schema_version":"1.0","event_id":"sha256:ca5a3f06574d4658f00409c9dbe81f8764091acab0ea16036fcbbad0b9af481f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XEKQE3PL5QDVJ3EGEDF45SOAB3/bundle.json","state_url":"https://pith.science/pith/XEKQE3PL5QDVJ3EGEDF45SOAB3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XEKQE3PL5QDVJ3EGEDF45SOAB3/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-26T07:54:01Z","links":{"resolver":"https://pith.science/pith/XEKQE3PL5QDVJ3EGEDF45SOAB3","bundle":"https://pith.science/pith/XEKQE3PL5QDVJ3EGEDF45SOAB3/bundle.json","state":"https://pith.science/pith/XEKQE3PL5QDVJ3EGEDF45SOAB3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XEKQE3PL5QDVJ3EGEDF45SOAB3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:XEKQE3PL5QDVJ3EGEDF45SOAB3","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":"57080ab4b928a5f8641d8cbf04f38489e6c969b941050f2cffe69ca49fb94499","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2018-03-16T11:25:25Z","title_canon_sha256":"2b9c96f10ebfccca0557f47aabde7b1ccccb8f2efb5d7eee81ae7521d0fbbf29"},"schema_version":"1.0","source":{"id":"1803.06168","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1803.06168","created_at":"2026-05-18T00:20:50Z"},{"alias_kind":"arxiv_version","alias_value":"1803.06168v1","created_at":"2026-05-18T00:20:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.06168","created_at":"2026-05-18T00:20:50Z"},{"alias_kind":"pith_short_12","alias_value":"XEKQE3PL5QDV","created_at":"2026-05-18T12:33:01Z"},{"alias_kind":"pith_short_16","alias_value":"XEKQE3PL5QDVJ3EG","created_at":"2026-05-18T12:33:01Z"},{"alias_kind":"pith_short_8","alias_value":"XEKQE3PL","created_at":"2026-05-18T12:33:01Z"}],"graph_snapshots":[{"event_id":"sha256:ca5a3f06574d4658f00409c9dbe81f8764091acab0ea16036fcbbad0b9af481f","target":"graph","created_at":"2026-05-18T00:20:50Z","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 define two classes of functions, called regular (respectively, first-order) list functions, which manipulate objects such as lists, lists of lists, pairs of lists, lists of pairs of lists, etc. The definition is in the style of regular expressions: the functions are constructed by starting with some basic functions (e.g. projections from pairs, or head and tail operations on lists) and putting them together using four combinators (most importantly, composition of functions). Our main results are that first-order list functions are exactly the same as first-order transductions, under a suita","authors_text":"Krishna Shankara Narayanan, Laure Daviaud, Mikolaj Bojanczyk","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2018-03-16T11:25:25Z","title":"Regular and First Order List Functions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.06168","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:e5facc70690b3c2d95c0112080382b0022619aefe2f14b58881f136d9a523bc8","target":"record","created_at":"2026-05-18T00:20:50Z","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":"57080ab4b928a5f8641d8cbf04f38489e6c969b941050f2cffe69ca49fb94499","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2018-03-16T11:25:25Z","title_canon_sha256":"2b9c96f10ebfccca0557f47aabde7b1ccccb8f2efb5d7eee81ae7521d0fbbf29"},"schema_version":"1.0","source":{"id":"1803.06168","kind":"arxiv","version":1}},"canonical_sha256":"b915026debec0754ec8620cbcec9c00edde626057684f47dd0dfeb9700cddcbf","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b915026debec0754ec8620cbcec9c00edde626057684f47dd0dfeb9700cddcbf","first_computed_at":"2026-05-18T00:20:50.394002Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:20:50.394002Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"zp+4VcZYY/Wr8CsKFfeqhmOsQFisBs+3sKFsbzrFLJFsepqKxQ3Ol2OrLQ9pVOBXxv5FkjjEGudRuoCC+17NDw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:20:50.394425Z","signed_message":"canonical_sha256_bytes"},"source_id":"1803.06168","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e5facc70690b3c2d95c0112080382b0022619aefe2f14b58881f136d9a523bc8","sha256:ca5a3f06574d4658f00409c9dbe81f8764091acab0ea16036fcbbad0b9af481f"],"state_sha256":"683241686c398e7617d0de6d8b19e12d451e8c68f392afa552ef0ab58f8d9e7d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zCo/YBcDhmVRBt1zpzxUs31elDilBeftnRxAkEUqHweGVxdQtrTca/PbyZuo/tzkvsrtbDtj+yyic0SEZokCDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-26T07:54:01.210807Z","bundle_sha256":"adf4628457eafbc501b667aa137aa71ea1fe45e5a1a2a06b99c90676fb304783"}}