{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:4MFMS7G2ZCAUXO3WZU24F7PFOZ","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":"96d1ebd2d87b02c0635e61c1249133270ff11b874a4a00e78bb45c210b26549a","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CC","submitted_at":"2022-05-20T17:57:50Z","title_canon_sha256":"b82d5f1fb63ec9606f33a473abae30cda6c1453efb53726ffefaa73518f1286d"},"schema_version":"1.0","source":{"id":"2205.10348","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2205.10348","created_at":"2026-07-05T04:25:06Z"},{"alias_kind":"arxiv_version","alias_value":"2205.10348v1","created_at":"2026-07-05T04:25:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2205.10348","created_at":"2026-07-05T04:25:06Z"},{"alias_kind":"pith_short_12","alias_value":"4MFMS7G2ZCAU","created_at":"2026-07-05T04:25:06Z"},{"alias_kind":"pith_short_16","alias_value":"4MFMS7G2ZCAUXO3W","created_at":"2026-07-05T04:25:06Z"},{"alias_kind":"pith_short_8","alias_value":"4MFMS7G2","created_at":"2026-07-05T04:25:06Z"}],"graph_snapshots":[{"event_id":"sha256:c56ec25e683af5abdc0c26d7485791536454346d6b744e7f17f765e26fffe68b","target":"graph","created_at":"2026-07-05T04:25:06Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2205.10348/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We exhibit a sound and complete implicit-complexity formalism for functions feasibly computable by structural recursions over inductively defined data structures. Feasibly computable here means that the structural-recursive definition runs in time polynomial in the size of the representation of the inputs where these representations may make use of data sharing. Inductively defined data structures here includes lists and trees. Soundness here means that the programs within the implicit-complexity formalism have feasible run times. Completeness here means that each function computed by a feasib","authors_text":"James S. Royer, Norman Danner","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CC","submitted_at":"2022-05-20T17:57:50Z","title":"General Ramified Recurrence and Polynomial-time Completeness"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2205.10348","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:4b2068c69ebcbf6906896936d34b332d6f2770593b7f539f513ace06606c60ce","target":"record","created_at":"2026-07-05T04:25:06Z","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":"96d1ebd2d87b02c0635e61c1249133270ff11b874a4a00e78bb45c210b26549a","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CC","submitted_at":"2022-05-20T17:57:50Z","title_canon_sha256":"b82d5f1fb63ec9606f33a473abae30cda6c1453efb53726ffefaa73518f1286d"},"schema_version":"1.0","source":{"id":"2205.10348","kind":"arxiv","version":1}},"canonical_sha256":"e30ac97cdac8814bbb76cd35c2fde5767f0d561f6f3e358743202fd77aa5a92f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e30ac97cdac8814bbb76cd35c2fde5767f0d561f6f3e358743202fd77aa5a92f","first_computed_at":"2026-07-05T04:25:06.447849Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:25:06.447849Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"n4JV4IoolnmVGACXo3kiQU2bKpadu0jG/06aTlhbz0BHS/DPvnPYB4DIlNST+neaThs/p+nvFwuwTWYLpENLAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T04:25:06.448246Z","signed_message":"canonical_sha256_bytes"},"source_id":"2205.10348","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4b2068c69ebcbf6906896936d34b332d6f2770593b7f539f513ace06606c60ce","sha256:c56ec25e683af5abdc0c26d7485791536454346d6b744e7f17f765e26fffe68b"],"state_sha256":"a6ef5f1c7f824400818eaa2cc402724581ecc41ab4c2263dd12a4e6235e3111d"}