{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:TQKUAFBSU4DGF54EXLFCJSK75P","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":"8e58ae59f281d7aa76f671782dd0a406fc95ef6f601d64db18ef9204a9bf8560","cross_cats_sorted":["cs.LO","math.CO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.LO","submitted_at":"2023-06-13T14:29:34Z","title_canon_sha256":"81730ac5c106fae04b411a59f20df19a81b3b0b971fc3e3544010cc870224baf"},"schema_version":"1.0","source":{"id":"2306.07806","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2306.07806","created_at":"2026-07-05T06:20:09Z"},{"alias_kind":"arxiv_version","alias_value":"2306.07806v1","created_at":"2026-07-05T06:20:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2306.07806","created_at":"2026-07-05T06:20:09Z"},{"alias_kind":"pith_short_12","alias_value":"TQKUAFBSU4DG","created_at":"2026-07-05T06:20:09Z"},{"alias_kind":"pith_short_16","alias_value":"TQKUAFBSU4DGF54E","created_at":"2026-07-05T06:20:09Z"},{"alias_kind":"pith_short_8","alias_value":"TQKUAFBS","created_at":"2026-07-05T06:20:09Z"}],"graph_snapshots":[{"event_id":"sha256:54c31d21d3cb2365886fe146c805ca14bb7cb82acb1e2ac9c11f8d7c179b080f","target":"graph","created_at":"2026-07-05T06:20:09Z","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/2306.07806/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The syntactic nature of logic and computation separates them from other fields of mathematics. Nevertheless, syntax has been the only way to adequately capture the dynamics of proofs and programs such as cut-elimination, and the finiteness and the atomicity of syntax are preferable for foundational aims as seen in Hilbert's program. Another issue is that a uniform basis for logic and computation has been missing, and this problem hampers a coherent view on them. For instance, formal proofs in proof theory are far from (ordinary) proofs of the validity of a formula in model theory. Our goal is ","authors_text":"Norihiro Yamada","cross_cats":["cs.LO","math.CO"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.LO","submitted_at":"2023-06-13T14:29:34Z","title":"Logic and computation as combinatorics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2306.07806","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:0d9e14ee6a9bc287b890f8df0c5bff2acf5a9a2ad09c35719cb651df71abb69b","target":"record","created_at":"2026-07-05T06:20:09Z","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":"8e58ae59f281d7aa76f671782dd0a406fc95ef6f601d64db18ef9204a9bf8560","cross_cats_sorted":["cs.LO","math.CO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.LO","submitted_at":"2023-06-13T14:29:34Z","title_canon_sha256":"81730ac5c106fae04b411a59f20df19a81b3b0b971fc3e3544010cc870224baf"},"schema_version":"1.0","source":{"id":"2306.07806","kind":"arxiv","version":1}},"canonical_sha256":"9c15401432a70662f784baca24c95febe66ba25e982b21043938ece04fa4faac","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9c15401432a70662f784baca24c95febe66ba25e982b21043938ece04fa4faac","first_computed_at":"2026-07-05T06:20:09.147242Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:20:09.147242Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"SkUa5VMOE3+4F4JrvO4nUhO+UFbD6ELq3kdykz9rABCL72LCti3bN4zWtRJ6uZ/tv3PgAXk6P0n+49hQjrQqAw==","signature_status":"signed_v1","signed_at":"2026-07-05T06:20:09.147593Z","signed_message":"canonical_sha256_bytes"},"source_id":"2306.07806","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0d9e14ee6a9bc287b890f8df0c5bff2acf5a9a2ad09c35719cb651df71abb69b","sha256:54c31d21d3cb2365886fe146c805ca14bb7cb82acb1e2ac9c11f8d7c179b080f"],"state_sha256":"f1b510f7f7911f942e3bf4897857c09e3b26fe6d5759e64fd10262079f8836eb"}