{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:RMU5ZARJHJ5JTWPCM5YQPYWIO6","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":"45556c1d6af03bc104c7f173552569ba598986b4f961d57495a10a9f481d4e50","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-02-16T02:41:50Z","title_canon_sha256":"3e06d6e594df3d0a66f69fcc6c41cf367b3f77453601c764a2880ee7a994c588"},"schema_version":"1.0","source":{"id":"1202.3502","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1202.3502","created_at":"2026-05-18T04:02:12Z"},{"alias_kind":"arxiv_version","alias_value":"1202.3502v1","created_at":"2026-05-18T04:02:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1202.3502","created_at":"2026-05-18T04:02:12Z"},{"alias_kind":"pith_short_12","alias_value":"RMU5ZARJHJ5J","created_at":"2026-05-18T12:27:20Z"},{"alias_kind":"pith_short_16","alias_value":"RMU5ZARJHJ5JTWPC","created_at":"2026-05-18T12:27:20Z"},{"alias_kind":"pith_short_8","alias_value":"RMU5ZARJ","created_at":"2026-05-18T12:27:20Z"}],"graph_snapshots":[{"event_id":"sha256:1abed06d7c93ef8873971a2523827b8c3cd2252dbdea23df6dcd92835d8a030a","target":"graph","created_at":"2026-05-18T04:02:12Z","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":"Bove and Capretta's popular method for justifying function definitions by general recursive equations is based on the observation that any structured general recursion equation defines an inductive subset of the intended domain (the \"domain of definedness\") for which the equation has a unique solution. To accept the definition, it is hence enough to prove that this subset contains the whole intended domain.\n  This approach works very well for \"terminating\" definitions. But it fails to account for \"productive\" definitions, such as typical definitions of stream-valued functions. We argue that su","authors_text":"Tarmo Uustalu","cross_cats":["cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-02-16T02:41:50Z","title":"Structured general corecursion and coinductive graphs [extended abstract]"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1202.3502","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:75bdcb26808a7613d87814e242b0b877ccdc38caecd3f41f2d64bc11ec1bad29","target":"record","created_at":"2026-05-18T04:02:12Z","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":"45556c1d6af03bc104c7f173552569ba598986b4f961d57495a10a9f481d4e50","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-02-16T02:41:50Z","title_canon_sha256":"3e06d6e594df3d0a66f69fcc6c41cf367b3f77453601c764a2880ee7a994c588"},"schema_version":"1.0","source":{"id":"1202.3502","kind":"arxiv","version":1}},"canonical_sha256":"8b29dc82293a7a99d9e2677107e2c8779414cfeec04bd167b3577b126fa40c3a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8b29dc82293a7a99d9e2677107e2c8779414cfeec04bd167b3577b126fa40c3a","first_computed_at":"2026-05-18T04:02:12.965188Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:02:12.965188Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"4Pc4mxCDeVp9hvdZo4CpwuiFwh/ZRN1SBD8HOzcgqXC6wKwacP63//mFlKU+rRB/8PpcN9AeQxclryIviZX+Cw==","signature_status":"signed_v1","signed_at":"2026-05-18T04:02:12.965902Z","signed_message":"canonical_sha256_bytes"},"source_id":"1202.3502","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:75bdcb26808a7613d87814e242b0b877ccdc38caecd3f41f2d64bc11ec1bad29","sha256:1abed06d7c93ef8873971a2523827b8c3cd2252dbdea23df6dcd92835d8a030a"],"state_sha256":"c17464ddb3db8b02b14fd83b0d23e1b16fb60ecbda5f45f36529aca1335c135b"}