{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:7O2WY55P2HT2ITPDZYCTP2RMNW","short_pith_number":"pith:7O2WY55P","canonical_record":{"source":{"id":"1702.03981","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-02-13T20:43:55Z","cross_cats_sorted":[],"title_canon_sha256":"560ebb85b226f0753054e839b713ade98e4557a915b92964fe7759efcbf0e3b0","abstract_canon_sha256":"a42b7b9c17726149b5d6832349826f36f01fb38c4adc7b5f5258a474bfa1f350"},"schema_version":"1.0"},"canonical_sha256":"fbb56c77afd1e7a44de3ce0537ea2c6d823f9c8368ccc8b71c6d8f4a685ec359","source":{"kind":"arxiv","id":"1702.03981","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1702.03981","created_at":"2026-05-18T00:50:49Z"},{"alias_kind":"arxiv_version","alias_value":"1702.03981v1","created_at":"2026-05-18T00:50:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1702.03981","created_at":"2026-05-18T00:50:49Z"},{"alias_kind":"pith_short_12","alias_value":"7O2WY55P2HT2","created_at":"2026-05-18T12:31:05Z"},{"alias_kind":"pith_short_16","alias_value":"7O2WY55P2HT2ITPD","created_at":"2026-05-18T12:31:05Z"},{"alias_kind":"pith_short_8","alias_value":"7O2WY55P","created_at":"2026-05-18T12:31:05Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:7O2WY55P2HT2ITPDZYCTP2RMNW","target":"record","payload":{"canonical_record":{"source":{"id":"1702.03981","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-02-13T20:43:55Z","cross_cats_sorted":[],"title_canon_sha256":"560ebb85b226f0753054e839b713ade98e4557a915b92964fe7759efcbf0e3b0","abstract_canon_sha256":"a42b7b9c17726149b5d6832349826f36f01fb38c4adc7b5f5258a474bfa1f350"},"schema_version":"1.0"},"canonical_sha256":"fbb56c77afd1e7a44de3ce0537ea2c6d823f9c8368ccc8b71c6d8f4a685ec359","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:50:49.418149Z","signature_b64":"VPr25pEvSeun+T9NWzyJQOTw5RajSyORW2iavwOrXIHJZ4+JrWvEbNIcYOVZHRulkKU/VAZ1BzLPT53CwZkxBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fbb56c77afd1e7a44de3ce0537ea2c6d823f9c8368ccc8b71c6d8f4a685ec359","last_reissued_at":"2026-05-18T00:50:49.417533Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:50:49.417533Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1702.03981","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-18T00:50:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MMmL26NqY+zcw0Do3UhumNU7s0Ocn6ulddUqIfRjF6MUNAkJEL7gNM4V15dlktiW7oF4nbQESLtOer0hddiJBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T23:36:04.090466Z"},"content_sha256":"a8641cc75b48af9fc7b0b6e8c98cb486b729c2a33d9676ca53b5ce5c928a99c4","schema_version":"1.0","event_id":"sha256:a8641cc75b48af9fc7b0b6e8c98cb486b729c2a33d9676ca53b5ce5c928a99c4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:7O2WY55P2HT2ITPDZYCTP2RMNW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Size Relationships in Abstract Cyclic Entailment Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"James Brotherston, Reuben N. S. Rowe","submitted_at":"2017-02-13T20:43:55Z","abstract_excerpt":"A cyclic proof system generalises the standard notion of a proof as a finite tree of locally sound inferences by allowing proof objects to be potentially infinite. Regular infinite proofs can be finitely represented as graphs. To preclude spurious cyclic reasoning, cyclic proof systems come equipped with a well-founded notion of 'size' for the models that interpret their logical statements. A global soundness condition on proof objects, stated in terms of this notion of size, ensures that any non-well-founded paths in the proof object can be disregarded.\n  We give an abstract definition of a s"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1702.03981","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-18T00:50:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wA/RFVWbGIrSDi3R9JgFP9BnPjOAO5K4jv/yRuIgyZ0tVURQx3xhgbTl581Hdx9i4Mc0Xucq9BLZooJ495N5CQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T23:36:04.090818Z"},"content_sha256":"105634d9813c660a99638c3747f4f17f4969ad0cc5727478cbf5274e3a30c78b","schema_version":"1.0","event_id":"sha256:105634d9813c660a99638c3747f4f17f4969ad0cc5727478cbf5274e3a30c78b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7O2WY55P2HT2ITPDZYCTP2RMNW/bundle.json","state_url":"https://pith.science/pith/7O2WY55P2HT2ITPDZYCTP2RMNW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7O2WY55P2HT2ITPDZYCTP2RMNW/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-03T23:36:04Z","links":{"resolver":"https://pith.science/pith/7O2WY55P2HT2ITPDZYCTP2RMNW","bundle":"https://pith.science/pith/7O2WY55P2HT2ITPDZYCTP2RMNW/bundle.json","state":"https://pith.science/pith/7O2WY55P2HT2ITPDZYCTP2RMNW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7O2WY55P2HT2ITPDZYCTP2RMNW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:7O2WY55P2HT2ITPDZYCTP2RMNW","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":"a42b7b9c17726149b5d6832349826f36f01fb38c4adc7b5f5258a474bfa1f350","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-02-13T20:43:55Z","title_canon_sha256":"560ebb85b226f0753054e839b713ade98e4557a915b92964fe7759efcbf0e3b0"},"schema_version":"1.0","source":{"id":"1702.03981","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1702.03981","created_at":"2026-05-18T00:50:49Z"},{"alias_kind":"arxiv_version","alias_value":"1702.03981v1","created_at":"2026-05-18T00:50:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1702.03981","created_at":"2026-05-18T00:50:49Z"},{"alias_kind":"pith_short_12","alias_value":"7O2WY55P2HT2","created_at":"2026-05-18T12:31:05Z"},{"alias_kind":"pith_short_16","alias_value":"7O2WY55P2HT2ITPD","created_at":"2026-05-18T12:31:05Z"},{"alias_kind":"pith_short_8","alias_value":"7O2WY55P","created_at":"2026-05-18T12:31:05Z"}],"graph_snapshots":[{"event_id":"sha256:105634d9813c660a99638c3747f4f17f4969ad0cc5727478cbf5274e3a30c78b","target":"graph","created_at":"2026-05-18T00:50:49Z","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":"A cyclic proof system generalises the standard notion of a proof as a finite tree of locally sound inferences by allowing proof objects to be potentially infinite. Regular infinite proofs can be finitely represented as graphs. To preclude spurious cyclic reasoning, cyclic proof systems come equipped with a well-founded notion of 'size' for the models that interpret their logical statements. A global soundness condition on proof objects, stated in terms of this notion of size, ensures that any non-well-founded paths in the proof object can be disregarded.\n  We give an abstract definition of a s","authors_text":"James Brotherston, Reuben N. S. Rowe","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-02-13T20:43:55Z","title":"Size Relationships in Abstract Cyclic Entailment Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1702.03981","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:a8641cc75b48af9fc7b0b6e8c98cb486b729c2a33d9676ca53b5ce5c928a99c4","target":"record","created_at":"2026-05-18T00:50:49Z","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":"a42b7b9c17726149b5d6832349826f36f01fb38c4adc7b5f5258a474bfa1f350","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-02-13T20:43:55Z","title_canon_sha256":"560ebb85b226f0753054e839b713ade98e4557a915b92964fe7759efcbf0e3b0"},"schema_version":"1.0","source":{"id":"1702.03981","kind":"arxiv","version":1}},"canonical_sha256":"fbb56c77afd1e7a44de3ce0537ea2c6d823f9c8368ccc8b71c6d8f4a685ec359","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fbb56c77afd1e7a44de3ce0537ea2c6d823f9c8368ccc8b71c6d8f4a685ec359","first_computed_at":"2026-05-18T00:50:49.417533Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:50:49.417533Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"VPr25pEvSeun+T9NWzyJQOTw5RajSyORW2iavwOrXIHJZ4+JrWvEbNIcYOVZHRulkKU/VAZ1BzLPT53CwZkxBw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:50:49.418149Z","signed_message":"canonical_sha256_bytes"},"source_id":"1702.03981","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a8641cc75b48af9fc7b0b6e8c98cb486b729c2a33d9676ca53b5ce5c928a99c4","sha256:105634d9813c660a99638c3747f4f17f4969ad0cc5727478cbf5274e3a30c78b"],"state_sha256":"0e0f680361f4d956dee2fc9549e906c06042deeec051482636ed55bfa932c938"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"I/ZOobi6aU0VVxTD7MANamLnlDxKYljuQ7iaKGyvjAUTBFrD/s5xsZfOQSo68lGcUnd07w4aQPpF50CXMVDgAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T23:36:04.093032Z","bundle_sha256":"e4d1024cddeac753bde2e82a2e3b03772700a63bba706acb7d2b64df13db3e71"}}