{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:B36R6LRLTWDWXYQG2CGR6K4U2O","short_pith_number":"pith:B36R6LRL","canonical_record":{"source":{"id":"1301.0128","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MS","submitted_at":"2013-01-01T19:58:26Z","cross_cats_sorted":["cs.DM","cs.PL"],"title_canon_sha256":"c55e7d3f8f34eb07426ab3d82aaba0ba0ec6d869768560cb097315faff20b09f","abstract_canon_sha256":"5180286ebba5a5d3b57ab41a88b552728debd3833ed0fa3c9243f2c2ee7f263b"},"schema_version":"1.0"},"canonical_sha256":"0efd1f2e2b9d876be206d08d1f2b94d390a322c5c9918e656c9a3887a294451b","source":{"kind":"arxiv","id":"1301.0128","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1301.0128","created_at":"2026-05-18T03:37:28Z"},{"alias_kind":"arxiv_version","alias_value":"1301.0128v1","created_at":"2026-05-18T03:37:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1301.0128","created_at":"2026-05-18T03:37:28Z"},{"alias_kind":"pith_short_12","alias_value":"B36R6LRLTWDW","created_at":"2026-05-18T12:27:38Z"},{"alias_kind":"pith_short_16","alias_value":"B36R6LRLTWDWXYQG","created_at":"2026-05-18T12:27:38Z"},{"alias_kind":"pith_short_8","alias_value":"B36R6LRL","created_at":"2026-05-18T12:27:38Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:B36R6LRLTWDWXYQG2CGR6K4U2O","target":"record","payload":{"canonical_record":{"source":{"id":"1301.0128","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MS","submitted_at":"2013-01-01T19:58:26Z","cross_cats_sorted":["cs.DM","cs.PL"],"title_canon_sha256":"c55e7d3f8f34eb07426ab3d82aaba0ba0ec6d869768560cb097315faff20b09f","abstract_canon_sha256":"5180286ebba5a5d3b57ab41a88b552728debd3833ed0fa3c9243f2c2ee7f263b"},"schema_version":"1.0"},"canonical_sha256":"0efd1f2e2b9d876be206d08d1f2b94d390a322c5c9918e656c9a3887a294451b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:37:28.130292Z","signature_b64":"V99dAdhLDTg/0m4ZUkBpaQRRprHZEYH/hXxwG17bNnITbd8R+vFjZJKuncAEk/enO2ZvE7kV/X6qWpP+fhEzBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0efd1f2e2b9d876be206d08d1f2b94d390a322c5c9918e656c9a3887a294451b","last_reissued_at":"2026-05-18T03:37:28.129573Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:37:28.129573Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1301.0128","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-18T03:37:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Sj41VDTTlisX5RGOG1sZb6u6NSDSQ0WDuSHTlDZ9SA2C2Yg++e2FDNXv7dWi34bG7mn6u5ysdF2T//YT5clzBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T14:17:58.577728Z"},"content_sha256":"794aaf33e005853243e9eb3ae67dcea2f4acf55c2f98d1e525e38393a0430370","schema_version":"1.0","event_id":"sha256:794aaf33e005853243e9eb3ae67dcea2f4acf55c2f98d1e525e38393a0430370"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:B36R6LRLTWDWXYQG2CGR6K4U2O","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Binary Tree Arithmetic with Generalized Constructors","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DM","cs.PL"],"primary_cat":"cs.MS","authors_text":"Paul Tarau","submitted_at":"2013-01-01T19:58:26Z","abstract_excerpt":"We describe arithmetic computations in terms of operations on some well known free algebras (S1S, S2S and ordered rooted binary trees) while emphasizing the common structure present in all them when seen as isomorphic with the set of natural numbers.\n  Constructors and deconstructors seen through an initial algebra semantics are generalized to recursively defined functions obeying similar laws.\n  Implementation using Scala's apply and unapply are discussed together with an application to a realistic arbitrary size arithmetic package written in Scala, based on the free algebra of rooted ordered"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1301.0128","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-18T03:37:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jLpIyL/HqIOz/50VpbcTfUJmzRMUf01p04uVjvgbPj0ALagHrLWn6+pGQnKTM4cbVKJlKl1ylcFMBj+aQ6ZPDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T14:17:58.578078Z"},"content_sha256":"7be5f8a27a0a86c9b494574a8cb70cbb5fb722146628fb605c1773cb82a0bcbc","schema_version":"1.0","event_id":"sha256:7be5f8a27a0a86c9b494574a8cb70cbb5fb722146628fb605c1773cb82a0bcbc"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/B36R6LRLTWDWXYQG2CGR6K4U2O/bundle.json","state_url":"https://pith.science/pith/B36R6LRLTWDWXYQG2CGR6K4U2O/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/B36R6LRLTWDWXYQG2CGR6K4U2O/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-25T14:17:58Z","links":{"resolver":"https://pith.science/pith/B36R6LRLTWDWXYQG2CGR6K4U2O","bundle":"https://pith.science/pith/B36R6LRLTWDWXYQG2CGR6K4U2O/bundle.json","state":"https://pith.science/pith/B36R6LRLTWDWXYQG2CGR6K4U2O/state.json","well_known_bundle":"https://pith.science/.well-known/pith/B36R6LRLTWDWXYQG2CGR6K4U2O/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:B36R6LRLTWDWXYQG2CGR6K4U2O","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":"5180286ebba5a5d3b57ab41a88b552728debd3833ed0fa3c9243f2c2ee7f263b","cross_cats_sorted":["cs.DM","cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MS","submitted_at":"2013-01-01T19:58:26Z","title_canon_sha256":"c55e7d3f8f34eb07426ab3d82aaba0ba0ec6d869768560cb097315faff20b09f"},"schema_version":"1.0","source":{"id":"1301.0128","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1301.0128","created_at":"2026-05-18T03:37:28Z"},{"alias_kind":"arxiv_version","alias_value":"1301.0128v1","created_at":"2026-05-18T03:37:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1301.0128","created_at":"2026-05-18T03:37:28Z"},{"alias_kind":"pith_short_12","alias_value":"B36R6LRLTWDW","created_at":"2026-05-18T12:27:38Z"},{"alias_kind":"pith_short_16","alias_value":"B36R6LRLTWDWXYQG","created_at":"2026-05-18T12:27:38Z"},{"alias_kind":"pith_short_8","alias_value":"B36R6LRL","created_at":"2026-05-18T12:27:38Z"}],"graph_snapshots":[{"event_id":"sha256:7be5f8a27a0a86c9b494574a8cb70cbb5fb722146628fb605c1773cb82a0bcbc","target":"graph","created_at":"2026-05-18T03:37:28Z","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 describe arithmetic computations in terms of operations on some well known free algebras (S1S, S2S and ordered rooted binary trees) while emphasizing the common structure present in all them when seen as isomorphic with the set of natural numbers.\n  Constructors and deconstructors seen through an initial algebra semantics are generalized to recursively defined functions obeying similar laws.\n  Implementation using Scala's apply and unapply are discussed together with an application to a realistic arbitrary size arithmetic package written in Scala, based on the free algebra of rooted ordered","authors_text":"Paul Tarau","cross_cats":["cs.DM","cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MS","submitted_at":"2013-01-01T19:58:26Z","title":"Binary Tree Arithmetic with Generalized Constructors"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1301.0128","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:794aaf33e005853243e9eb3ae67dcea2f4acf55c2f98d1e525e38393a0430370","target":"record","created_at":"2026-05-18T03:37:28Z","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":"5180286ebba5a5d3b57ab41a88b552728debd3833ed0fa3c9243f2c2ee7f263b","cross_cats_sorted":["cs.DM","cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MS","submitted_at":"2013-01-01T19:58:26Z","title_canon_sha256":"c55e7d3f8f34eb07426ab3d82aaba0ba0ec6d869768560cb097315faff20b09f"},"schema_version":"1.0","source":{"id":"1301.0128","kind":"arxiv","version":1}},"canonical_sha256":"0efd1f2e2b9d876be206d08d1f2b94d390a322c5c9918e656c9a3887a294451b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0efd1f2e2b9d876be206d08d1f2b94d390a322c5c9918e656c9a3887a294451b","first_computed_at":"2026-05-18T03:37:28.129573Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:37:28.129573Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"V99dAdhLDTg/0m4ZUkBpaQRRprHZEYH/hXxwG17bNnITbd8R+vFjZJKuncAEk/enO2ZvE7kV/X6qWpP+fhEzBA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:37:28.130292Z","signed_message":"canonical_sha256_bytes"},"source_id":"1301.0128","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:794aaf33e005853243e9eb3ae67dcea2f4acf55c2f98d1e525e38393a0430370","sha256:7be5f8a27a0a86c9b494574a8cb70cbb5fb722146628fb605c1773cb82a0bcbc"],"state_sha256":"92287ac9da112e09acfbed17eeeba4a4ccda247efe73a7686c6783f457897b88"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Fbw2qY9PpF9o05LlLrRXb0g2xMQsspJlDqH63MRDM8UmZe2Ef+hk/PDnF1tCDCGRg7m1gvJ3Y16Da74GJn7dDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-25T14:17:58.580018Z","bundle_sha256":"9ba3952476c5a2e654184f98ada0a23fff594c3dba92ad25db61d8102efb0133"}}