{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:BEIYY3B3CZIKDSJBXCKH5G7GSO","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":"eb6dc43f714cbc299320de625f54f8fca1025e54cc79a44c7a6e337ea979ff96","cross_cats_sorted":["cs.CR","cs.DC","cs.MA","math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-08-09T08:30:48Z","title_canon_sha256":"645bec5309beb694f74b6ff8de3949eb61e6e654a5d858b7c3049d821f215553"},"schema_version":"1.0","source":{"id":"1208.1842","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1208.1842","created_at":"2026-05-18T03:34:25Z"},{"alias_kind":"arxiv_version","alias_value":"1208.1842v2","created_at":"2026-05-18T03:34:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1208.1842","created_at":"2026-05-18T03:34:25Z"},{"alias_kind":"pith_short_12","alias_value":"BEIYY3B3CZIK","created_at":"2026-05-18T12:26:58Z"},{"alias_kind":"pith_short_16","alias_value":"BEIYY3B3CZIKDSJB","created_at":"2026-05-18T12:26:58Z"},{"alias_kind":"pith_short_8","alias_value":"BEIYY3B3","created_at":"2026-05-18T12:26:58Z"}],"graph_snapshots":[{"event_id":"sha256:d46ccb8bf62e6ac4579b965bed91ebad449296299e2964f42b8e8b29c6955294","target":"graph","created_at":"2026-05-18T03:34:25Z","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":"We propose a monotonic logic of internalised non-monotonic or instant interactive proofs (LiiP) and reconstruct an existing monotonic logic of internalised monotonic or persistent interactive proofs (LiP) as a minimal conservative extension of LiiP. Instant interactive proofs effect a fragile epistemic impact in their intended communities of peer reviewers that consists in the impermanent induction of the knowledge of their proof goal by means of the knowledge of the proof with the interpreting reviewer: If my peer reviewer knew my proof then she would at least then (in that instant) know that","authors_text":"Simon Kramer","cross_cats":["cs.CR","cs.DC","cs.MA","math.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-08-09T08:30:48Z","title":"Logic of Non-Monotonic Interactive Proofs (Formal Theory of Temporary Knowledge Transfer)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1208.1842","kind":"arxiv","version":2},"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:24504ae75a29687dca571ff60c8a718821f53ec2e472dabb9c01d97c3be1e1a3","target":"record","created_at":"2026-05-18T03:34:25Z","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":"eb6dc43f714cbc299320de625f54f8fca1025e54cc79a44c7a6e337ea979ff96","cross_cats_sorted":["cs.CR","cs.DC","cs.MA","math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-08-09T08:30:48Z","title_canon_sha256":"645bec5309beb694f74b6ff8de3949eb61e6e654a5d858b7c3049d821f215553"},"schema_version":"1.0","source":{"id":"1208.1842","kind":"arxiv","version":2}},"canonical_sha256":"09118c6c3b1650a1c921b8947e9be693bbb92d542def060318391e4d85da6a3e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"09118c6c3b1650a1c921b8947e9be693bbb92d542def060318391e4d85da6a3e","first_computed_at":"2026-05-18T03:34:25.344252Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:34:25.344252Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"cjUaxBgDy+6W7jWPVZFQCKdM5pJQNrO1DjiOCAbilwizOixhlHQfIp9S6H3720ULDnsBg01GO1lPr0xl7oL5Ag==","signature_status":"signed_v1","signed_at":"2026-05-18T03:34:25.344920Z","signed_message":"canonical_sha256_bytes"},"source_id":"1208.1842","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:24504ae75a29687dca571ff60c8a718821f53ec2e472dabb9c01d97c3be1e1a3","sha256:d46ccb8bf62e6ac4579b965bed91ebad449296299e2964f42b8e8b29c6955294"],"state_sha256":"a82dcdd246bcbe27fa60d956d8690cb34dfc247737f4703ac0e4e1ddb39390ca"}