{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:KZ5AHGJK7GLOWT4QTUQPUDDTBL","short_pith_number":"pith:KZ5AHGJK","canonical_record":{"source":{"id":"1609.06342","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2016-09-20T20:24:43Z","cross_cats_sorted":["math.CO"],"title_canon_sha256":"825035da29d2d2ab44c6ad962973c8ee8995f3b6995014da3835ab0660d7341f","abstract_canon_sha256":"45d9d7fd82cf3ed3b428c404a95e057536be8e84c458754290c6b9c4538d3993"},"schema_version":"1.0"},"canonical_sha256":"567a03992af996eb4f909d20fa0c730ad6b9a94ead5b6e3b0018144c3fcb2dcf","source":{"kind":"arxiv","id":"1609.06342","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1609.06342","created_at":"2026-05-18T01:04:08Z"},{"alias_kind":"arxiv_version","alias_value":"1609.06342v1","created_at":"2026-05-18T01:04:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1609.06342","created_at":"2026-05-18T01:04:08Z"},{"alias_kind":"pith_short_12","alias_value":"KZ5AHGJK7GLO","created_at":"2026-05-18T12:30:29Z"},{"alias_kind":"pith_short_16","alias_value":"KZ5AHGJK7GLOWT4Q","created_at":"2026-05-18T12:30:29Z"},{"alias_kind":"pith_short_8","alias_value":"KZ5AHGJK","created_at":"2026-05-18T12:30:29Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:KZ5AHGJK7GLOWT4QTUQPUDDTBL","target":"record","payload":{"canonical_record":{"source":{"id":"1609.06342","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2016-09-20T20:24:43Z","cross_cats_sorted":["math.CO"],"title_canon_sha256":"825035da29d2d2ab44c6ad962973c8ee8995f3b6995014da3835ab0660d7341f","abstract_canon_sha256":"45d9d7fd82cf3ed3b428c404a95e057536be8e84c458754290c6b9c4538d3993"},"schema_version":"1.0"},"canonical_sha256":"567a03992af996eb4f909d20fa0c730ad6b9a94ead5b6e3b0018144c3fcb2dcf","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:04:08.542328Z","signature_b64":"GFdHRM5ZJFsUaLBBRx8y2BmNNlptGFWc1vPoQvuJNjHTZkJnPHL2K/wdU5SPXI3zI/Y7Lrm3i3e2bTFbH6aRAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"567a03992af996eb4f909d20fa0c730ad6b9a94ead5b6e3b0018144c3fcb2dcf","last_reissued_at":"2026-05-18T01:04:08.541651Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:04:08.541651Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1609.06342","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:04:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HJt/bhBnnvwCBKg53EOqWEGpbm0wUViZ8MNU8w8h2jfgv8/axIf1r/EFArBFKBq9Sf8uobWKH5FeN3vWF33SBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T08:23:15.019243Z"},"content_sha256":"03a173cb805d6c87523412601171cc227289f78c313f835baf80252c4a36314c","schema_version":"1.0","event_id":"sha256:03a173cb805d6c87523412601171cc227289f78c313f835baf80252c4a36314c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:KZ5AHGJK7GLOWT4QTUQPUDDTBL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Finding Linear-Recurrent Solutions to Hofstadter-Like Recurrences Using Symbolic Computation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CO"],"primary_cat":"math.NT","authors_text":"Nathan Fox","submitted_at":"2016-09-20T20:24:43Z","abstract_excerpt":"The Hofstadter Q-sequence, with its simple definition, has defied all attempts at analyzing its behavior. Defined by a simple nested recurrence and an initial condition, the sequence looks approximately linear, though with a lot of noise. But, nobody even knows whether the sequence is infinite. In the years since Hofstadter published his sequence, various people have found variants with predictable behavior. Oftentimes, the resulting sequence looks complicated but provably grows linearly. Other times, the sequences are eventually linear recurrent. Proofs describing the behaviors of both types "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1609.06342","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:04:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sW5b42uOKMIoM4Fx4YYDOKeh7uqN0Jo6LccDr9HWS1buxUlB5qHB9AhmhptEU20NGaJ2LXmgF6YkqOPFE5iwDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T08:23:15.019800Z"},"content_sha256":"5b1b3449d6e449cce71cf141c499684903f85251c990cf9b1d64d87753495fb6","schema_version":"1.0","event_id":"sha256:5b1b3449d6e449cce71cf141c499684903f85251c990cf9b1d64d87753495fb6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KZ5AHGJK7GLOWT4QTUQPUDDTBL/bundle.json","state_url":"https://pith.science/pith/KZ5AHGJK7GLOWT4QTUQPUDDTBL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KZ5AHGJK7GLOWT4QTUQPUDDTBL/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-08-04T08:23:15Z","links":{"resolver":"https://pith.science/pith/KZ5AHGJK7GLOWT4QTUQPUDDTBL","bundle":"https://pith.science/pith/KZ5AHGJK7GLOWT4QTUQPUDDTBL/bundle.json","state":"https://pith.science/pith/KZ5AHGJK7GLOWT4QTUQPUDDTBL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KZ5AHGJK7GLOWT4QTUQPUDDTBL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:KZ5AHGJK7GLOWT4QTUQPUDDTBL","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":"45d9d7fd82cf3ed3b428c404a95e057536be8e84c458754290c6b9c4538d3993","cross_cats_sorted":["math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2016-09-20T20:24:43Z","title_canon_sha256":"825035da29d2d2ab44c6ad962973c8ee8995f3b6995014da3835ab0660d7341f"},"schema_version":"1.0","source":{"id":"1609.06342","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1609.06342","created_at":"2026-05-18T01:04:08Z"},{"alias_kind":"arxiv_version","alias_value":"1609.06342v1","created_at":"2026-05-18T01:04:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1609.06342","created_at":"2026-05-18T01:04:08Z"},{"alias_kind":"pith_short_12","alias_value":"KZ5AHGJK7GLO","created_at":"2026-05-18T12:30:29Z"},{"alias_kind":"pith_short_16","alias_value":"KZ5AHGJK7GLOWT4Q","created_at":"2026-05-18T12:30:29Z"},{"alias_kind":"pith_short_8","alias_value":"KZ5AHGJK","created_at":"2026-05-18T12:30:29Z"}],"graph_snapshots":[{"event_id":"sha256:5b1b3449d6e449cce71cf141c499684903f85251c990cf9b1d64d87753495fb6","target":"graph","created_at":"2026-05-18T01:04:08Z","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 Hofstadter Q-sequence, with its simple definition, has defied all attempts at analyzing its behavior. Defined by a simple nested recurrence and an initial condition, the sequence looks approximately linear, though with a lot of noise. But, nobody even knows whether the sequence is infinite. In the years since Hofstadter published his sequence, various people have found variants with predictable behavior. Oftentimes, the resulting sequence looks complicated but provably grows linearly. Other times, the sequences are eventually linear recurrent. Proofs describing the behaviors of both types ","authors_text":"Nathan Fox","cross_cats":["math.CO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2016-09-20T20:24:43Z","title":"Finding Linear-Recurrent Solutions to Hofstadter-Like Recurrences Using Symbolic Computation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1609.06342","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:03a173cb805d6c87523412601171cc227289f78c313f835baf80252c4a36314c","target":"record","created_at":"2026-05-18T01:04:08Z","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":"45d9d7fd82cf3ed3b428c404a95e057536be8e84c458754290c6b9c4538d3993","cross_cats_sorted":["math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2016-09-20T20:24:43Z","title_canon_sha256":"825035da29d2d2ab44c6ad962973c8ee8995f3b6995014da3835ab0660d7341f"},"schema_version":"1.0","source":{"id":"1609.06342","kind":"arxiv","version":1}},"canonical_sha256":"567a03992af996eb4f909d20fa0c730ad6b9a94ead5b6e3b0018144c3fcb2dcf","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"567a03992af996eb4f909d20fa0c730ad6b9a94ead5b6e3b0018144c3fcb2dcf","first_computed_at":"2026-05-18T01:04:08.541651Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:04:08.541651Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"GFdHRM5ZJFsUaLBBRx8y2BmNNlptGFWc1vPoQvuJNjHTZkJnPHL2K/wdU5SPXI3zI/Y7Lrm3i3e2bTFbH6aRAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:04:08.542328Z","signed_message":"canonical_sha256_bytes"},"source_id":"1609.06342","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:03a173cb805d6c87523412601171cc227289f78c313f835baf80252c4a36314c","sha256:5b1b3449d6e449cce71cf141c499684903f85251c990cf9b1d64d87753495fb6"],"state_sha256":"d0b29e2133bcb3e950cd3f5b8b8b4593ef82b68d4d720c34ee0f22b7d8799f01"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bwBkIbUYO6AUrXXdtGST7eQtDhjqdDcSY0z592tJXJ4GA7w/8c+KCrqfX0PRFTU45l10cq0YAsvXoeW3O7ixAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T08:23:15.025529Z","bundle_sha256":"30e9745b70ac035b67442403ae54ad5df573c20937eafef1ef7e3983aaddbdd2"}}