{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:QHCCF5XZ3Z5XGJ72LXTCC5GERP","short_pith_number":"pith:QHCCF5XZ","canonical_record":{"source":{"id":"1602.05010","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.LO","submitted_at":"2016-02-16T13:25:15Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"829a2ec4ddf62dcf9e2be0e19ba3341330dc885160ac297d94d20c28cc95fc8c","abstract_canon_sha256":"ee3cfda607953e995c0f0a45727429e52fe18d8432363d8ea74d9534de3e35f3"},"schema_version":"1.0"},"canonical_sha256":"81c422f6f9de7b7327fa5de62174c48bf2649550447a45512480cc8234c6ccc4","source":{"kind":"arxiv","id":"1602.05010","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1602.05010","created_at":"2026-05-18T01:20:37Z"},{"alias_kind":"arxiv_version","alias_value":"1602.05010v1","created_at":"2026-05-18T01:20:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1602.05010","created_at":"2026-05-18T01:20:37Z"},{"alias_kind":"pith_short_12","alias_value":"QHCCF5XZ3Z5X","created_at":"2026-05-18T12:30:39Z"},{"alias_kind":"pith_short_16","alias_value":"QHCCF5XZ3Z5XGJ72","created_at":"2026-05-18T12:30:39Z"},{"alias_kind":"pith_short_8","alias_value":"QHCCF5XZ","created_at":"2026-05-18T12:30:39Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:QHCCF5XZ3Z5XGJ72LXTCC5GERP","target":"record","payload":{"canonical_record":{"source":{"id":"1602.05010","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.LO","submitted_at":"2016-02-16T13:25:15Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"829a2ec4ddf62dcf9e2be0e19ba3341330dc885160ac297d94d20c28cc95fc8c","abstract_canon_sha256":"ee3cfda607953e995c0f0a45727429e52fe18d8432363d8ea74d9534de3e35f3"},"schema_version":"1.0"},"canonical_sha256":"81c422f6f9de7b7327fa5de62174c48bf2649550447a45512480cc8234c6ccc4","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:20:37.696133Z","signature_b64":"+WWGvMGUcWTMCDHZPs2/qyO8k6N+GTHeejJdri0BFeQjRsTi55SoWiP3JqMI7xGtoUcLaw+CNprZzIFKBOYtAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"81c422f6f9de7b7327fa5de62174c48bf2649550447a45512480cc8234c6ccc4","last_reissued_at":"2026-05-18T01:20:37.695684Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:20:37.695684Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1602.05010","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-18T01:20:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"S/EmQdYHCnXgW74/qYSem8ynfkW1iU6b5ARIzSV3FHvMxMrtnoYG/d+WlKhz3gjDk0X5RwO/cKYlORmoAmzUDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T02:01:03.948698Z"},"content_sha256":"4334841f482291a05d670981b01a03d7ea2e4944b7e5631e4c82bbc2baa2c67b","schema_version":"1.0","event_id":"sha256:4334841f482291a05d670981b01a03d7ea2e4944b7e5631e4c82bbc2baa2c67b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:QHCCF5XZ3Z5XGJ72LXTCC5GERP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Higher-Order Recursion Abstraction: How to Make Ackermann, Knuth and Conway Look Like a Bunch of Primitives, Figuratively Speaking","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.LO","authors_text":"Baltasar Tranc\\'on y Widemann","submitted_at":"2016-02-16T13:25:15Z","abstract_excerpt":"The Ackermann function is a famous total recursive binary function on the natural numbers. It is the archetypal example of such a function that is not primitive recursive, in the sense of classical recursion theory. However, and in seeming contradiction, there are generalized notions of total recursion, for which the Ackermann function is in fact primitive recursive, and often featured as a witness for the additional power gained by the generalization. Here, we investigate techniques for finding and analyzing the primitive form of complicated recursive functions, namely also Knuth's and Conway"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1602.05010","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-18T01:20:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KTtjOTQ0AfkA8wv9m/QXtZ4wO2XrKt3N9QRm53HDdIp6yyabsNBz7XBZ6Jt4LpP3Ikl/Lm5StTtx55tiuQezAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T02:01:03.949043Z"},"content_sha256":"b64867d30d0734af05c0e78bdc727c2dcf527c1d7e2ce41e92834bc4b82e6261","schema_version":"1.0","event_id":"sha256:b64867d30d0734af05c0e78bdc727c2dcf527c1d7e2ce41e92834bc4b82e6261"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QHCCF5XZ3Z5XGJ72LXTCC5GERP/bundle.json","state_url":"https://pith.science/pith/QHCCF5XZ3Z5XGJ72LXTCC5GERP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QHCCF5XZ3Z5XGJ72LXTCC5GERP/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-27T02:01:03Z","links":{"resolver":"https://pith.science/pith/QHCCF5XZ3Z5XGJ72LXTCC5GERP","bundle":"https://pith.science/pith/QHCCF5XZ3Z5XGJ72LXTCC5GERP/bundle.json","state":"https://pith.science/pith/QHCCF5XZ3Z5XGJ72LXTCC5GERP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QHCCF5XZ3Z5XGJ72LXTCC5GERP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:QHCCF5XZ3Z5XGJ72LXTCC5GERP","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":"ee3cfda607953e995c0f0a45727429e52fe18d8432363d8ea74d9534de3e35f3","cross_cats_sorted":["cs.PL"],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.LO","submitted_at":"2016-02-16T13:25:15Z","title_canon_sha256":"829a2ec4ddf62dcf9e2be0e19ba3341330dc885160ac297d94d20c28cc95fc8c"},"schema_version":"1.0","source":{"id":"1602.05010","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1602.05010","created_at":"2026-05-18T01:20:37Z"},{"alias_kind":"arxiv_version","alias_value":"1602.05010v1","created_at":"2026-05-18T01:20:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1602.05010","created_at":"2026-05-18T01:20:37Z"},{"alias_kind":"pith_short_12","alias_value":"QHCCF5XZ3Z5X","created_at":"2026-05-18T12:30:39Z"},{"alias_kind":"pith_short_16","alias_value":"QHCCF5XZ3Z5XGJ72","created_at":"2026-05-18T12:30:39Z"},{"alias_kind":"pith_short_8","alias_value":"QHCCF5XZ","created_at":"2026-05-18T12:30:39Z"}],"graph_snapshots":[{"event_id":"sha256:b64867d30d0734af05c0e78bdc727c2dcf527c1d7e2ce41e92834bc4b82e6261","target":"graph","created_at":"2026-05-18T01:20:37Z","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 Ackermann function is a famous total recursive binary function on the natural numbers. It is the archetypal example of such a function that is not primitive recursive, in the sense of classical recursion theory. However, and in seeming contradiction, there are generalized notions of total recursion, for which the Ackermann function is in fact primitive recursive, and often featured as a witness for the additional power gained by the generalization. Here, we investigate techniques for finding and analyzing the primitive form of complicated recursive functions, namely also Knuth's and Conway","authors_text":"Baltasar Tranc\\'on y Widemann","cross_cats":["cs.PL"],"headline":"","license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.LO","submitted_at":"2016-02-16T13:25:15Z","title":"Higher-Order Recursion Abstraction: How to Make Ackermann, Knuth and Conway Look Like a Bunch of Primitives, Figuratively Speaking"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1602.05010","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:4334841f482291a05d670981b01a03d7ea2e4944b7e5631e4c82bbc2baa2c67b","target":"record","created_at":"2026-05-18T01:20:37Z","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":"ee3cfda607953e995c0f0a45727429e52fe18d8432363d8ea74d9534de3e35f3","cross_cats_sorted":["cs.PL"],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.LO","submitted_at":"2016-02-16T13:25:15Z","title_canon_sha256":"829a2ec4ddf62dcf9e2be0e19ba3341330dc885160ac297d94d20c28cc95fc8c"},"schema_version":"1.0","source":{"id":"1602.05010","kind":"arxiv","version":1}},"canonical_sha256":"81c422f6f9de7b7327fa5de62174c48bf2649550447a45512480cc8234c6ccc4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"81c422f6f9de7b7327fa5de62174c48bf2649550447a45512480cc8234c6ccc4","first_computed_at":"2026-05-18T01:20:37.695684Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:20:37.695684Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"+WWGvMGUcWTMCDHZPs2/qyO8k6N+GTHeejJdri0BFeQjRsTi55SoWiP3JqMI7xGtoUcLaw+CNprZzIFKBOYtAA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:20:37.696133Z","signed_message":"canonical_sha256_bytes"},"source_id":"1602.05010","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4334841f482291a05d670981b01a03d7ea2e4944b7e5631e4c82bbc2baa2c67b","sha256:b64867d30d0734af05c0e78bdc727c2dcf527c1d7e2ce41e92834bc4b82e6261"],"state_sha256":"9366baef4f6c659ec744d08eb1e9849842b11f10609874252490d135eef63254"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aBonvXblWvzSvIkH+QO+WvK8vaA5t48HqrcBhqVy0OqXrYp4d84BUgWa8VmQAXjW92m5FgYX110e0swwDZTLDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-27T02:01:03.950926Z","bundle_sha256":"c8cc1068003d4640dd8a8e02b56947c5086772101efb271563359f6140acbe34"}}