{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:OJGK56DJ7XUCQZES7ZPIR5VT74","short_pith_number":"pith:OJGK56DJ","canonical_record":{"source":{"id":"2606.31884","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-06-30T16:00:21Z","cross_cats_sorted":[],"title_canon_sha256":"c4265996fbcaa62d5cd8af8cbb9fc290ed1813f55700ba71a891a39c4fdc14f3","abstract_canon_sha256":"66b90c3bb9672c9b90a87b94b322861b3375a4b405785b71e0a562e4354a71c8"},"schema_version":"1.0"},"canonical_sha256":"724caef869fde8286492fe5e88f6b3ff1fcce0ec84c69ae4bfa917391fe6ad60","source":{"kind":"arxiv","id":"2606.31884","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.31884","created_at":"2026-07-01T01:18:18Z"},{"alias_kind":"arxiv_version","alias_value":"2606.31884v1","created_at":"2026-07-01T01:18:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.31884","created_at":"2026-07-01T01:18:18Z"},{"alias_kind":"pith_short_12","alias_value":"OJGK56DJ7XUC","created_at":"2026-07-01T01:18:18Z"},{"alias_kind":"pith_short_16","alias_value":"OJGK56DJ7XUCQZES","created_at":"2026-07-01T01:18:18Z"},{"alias_kind":"pith_short_8","alias_value":"OJGK56DJ","created_at":"2026-07-01T01:18:18Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:OJGK56DJ7XUCQZES7ZPIR5VT74","target":"record","payload":{"canonical_record":{"source":{"id":"2606.31884","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-06-30T16:00:21Z","cross_cats_sorted":[],"title_canon_sha256":"c4265996fbcaa62d5cd8af8cbb9fc290ed1813f55700ba71a891a39c4fdc14f3","abstract_canon_sha256":"66b90c3bb9672c9b90a87b94b322861b3375a4b405785b71e0a562e4354a71c8"},"schema_version":"1.0"},"canonical_sha256":"724caef869fde8286492fe5e88f6b3ff1fcce0ec84c69ae4bfa917391fe6ad60","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-01T01:18:18.408471Z","signature_b64":"jGKMCGL5Mrp19YSZS7+T9bR8F0p/68DIjNHIGj1SFU8RVDf6XymwjLYEot/z7GLBEhLY4xnV7GdR/nx6/QQJDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"724caef869fde8286492fe5e88f6b3ff1fcce0ec84c69ae4bfa917391fe6ad60","last_reissued_at":"2026-07-01T01:18:18.407967Z","signature_status":"signed_v1","first_computed_at":"2026-07-01T01:18:18.407967Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2606.31884","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-07-01T01:18:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"r4+hEUgFdzipR4znzIGzpwRL+dA2ix5Cr/a/Fwg9w94GTZ9J3z4SdKyhGmVYbbDcPibuOjzyUqR717Eb/cxUAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-02T10:55:19.829527Z"},"content_sha256":"e3d6f1bebbe183f0ec270b7a31c19d97c1ecc6a75f2863204e6f329a14340ecc","schema_version":"1.0","event_id":"sha256:e3d6f1bebbe183f0ec270b7a31c19d97c1ecc6a75f2863204e6f329a14340ecc"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:OJGK56DJ7XUCQZES7ZPIR5VT74","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Intuitionistic Justification Logic, Semantically","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Ian Shillito (University of Birmingham), Paaras Padhiar (University of Birmingham), Sonia Marin (University of Birmingham)","submitted_at":"2026-06-30T16:00:21Z","abstract_excerpt":"Justification logics are explicit versions of modal logic. In the classical setting, this means boxes are refined with explicit proof terms and interact with each other through proof operations. This exercise was extended to intuitionistic modal logic with native diamonds. In this setting, diamonds are refined to satisfier terms and come equipped with additional operations.\n  Justification logic enjoys a connection to its corresponding modal logic through a realisation theorem. In the classical setting, this is achieved through either proof-theoretic or semantic methodology. So far, intuitioni"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.31884","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2606.31884/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-01T01:18:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nRiJNJtYbEjPSZg5LKa8UoZPxQyw/hjD/3WmMsIQ+TQvE2a81cZKfNRXDUxUInJdc35i12mHeVuc96qOarnDBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-02T10:55:19.829920Z"},"content_sha256":"93c6615250a7c847dc6be993a37bb9ac7783d6792b1b0f14e8b8a5e6d31ce3b0","schema_version":"1.0","event_id":"sha256:93c6615250a7c847dc6be993a37bb9ac7783d6792b1b0f14e8b8a5e6d31ce3b0"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OJGK56DJ7XUCQZES7ZPIR5VT74/bundle.json","state_url":"https://pith.science/pith/OJGK56DJ7XUCQZES7ZPIR5VT74/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OJGK56DJ7XUCQZES7ZPIR5VT74/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-07-02T10:55:19Z","links":{"resolver":"https://pith.science/pith/OJGK56DJ7XUCQZES7ZPIR5VT74","bundle":"https://pith.science/pith/OJGK56DJ7XUCQZES7ZPIR5VT74/bundle.json","state":"https://pith.science/pith/OJGK56DJ7XUCQZES7ZPIR5VT74/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OJGK56DJ7XUCQZES7ZPIR5VT74/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:OJGK56DJ7XUCQZES7ZPIR5VT74","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":"66b90c3bb9672c9b90a87b94b322861b3375a4b405785b71e0a562e4354a71c8","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-06-30T16:00:21Z","title_canon_sha256":"c4265996fbcaa62d5cd8af8cbb9fc290ed1813f55700ba71a891a39c4fdc14f3"},"schema_version":"1.0","source":{"id":"2606.31884","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.31884","created_at":"2026-07-01T01:18:18Z"},{"alias_kind":"arxiv_version","alias_value":"2606.31884v1","created_at":"2026-07-01T01:18:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.31884","created_at":"2026-07-01T01:18:18Z"},{"alias_kind":"pith_short_12","alias_value":"OJGK56DJ7XUC","created_at":"2026-07-01T01:18:18Z"},{"alias_kind":"pith_short_16","alias_value":"OJGK56DJ7XUCQZES","created_at":"2026-07-01T01:18:18Z"},{"alias_kind":"pith_short_8","alias_value":"OJGK56DJ","created_at":"2026-07-01T01:18:18Z"}],"graph_snapshots":[{"event_id":"sha256:93c6615250a7c847dc6be993a37bb9ac7783d6792b1b0f14e8b8a5e6d31ce3b0","target":"graph","created_at":"2026-07-01T01:18:18Z","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/2606.31884/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Justification logics are explicit versions of modal logic. In the classical setting, this means boxes are refined with explicit proof terms and interact with each other through proof operations. This exercise was extended to intuitionistic modal logic with native diamonds. In this setting, diamonds are refined to satisfier terms and come equipped with additional operations.\n  Justification logic enjoys a connection to its corresponding modal logic through a realisation theorem. In the classical setting, this is achieved through either proof-theoretic or semantic methodology. So far, intuitioni","authors_text":"Ian Shillito (University of Birmingham), Paaras Padhiar (University of Birmingham), Sonia Marin (University of Birmingham)","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-06-30T16:00:21Z","title":"Intuitionistic Justification Logic, Semantically"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.31884","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:e3d6f1bebbe183f0ec270b7a31c19d97c1ecc6a75f2863204e6f329a14340ecc","target":"record","created_at":"2026-07-01T01:18:18Z","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":"66b90c3bb9672c9b90a87b94b322861b3375a4b405785b71e0a562e4354a71c8","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-06-30T16:00:21Z","title_canon_sha256":"c4265996fbcaa62d5cd8af8cbb9fc290ed1813f55700ba71a891a39c4fdc14f3"},"schema_version":"1.0","source":{"id":"2606.31884","kind":"arxiv","version":1}},"canonical_sha256":"724caef869fde8286492fe5e88f6b3ff1fcce0ec84c69ae4bfa917391fe6ad60","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"724caef869fde8286492fe5e88f6b3ff1fcce0ec84c69ae4bfa917391fe6ad60","first_computed_at":"2026-07-01T01:18:18.407967Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-01T01:18:18.407967Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"jGKMCGL5Mrp19YSZS7+T9bR8F0p/68DIjNHIGj1SFU8RVDf6XymwjLYEot/z7GLBEhLY4xnV7GdR/nx6/QQJDg==","signature_status":"signed_v1","signed_at":"2026-07-01T01:18:18.408471Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.31884","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e3d6f1bebbe183f0ec270b7a31c19d97c1ecc6a75f2863204e6f329a14340ecc","sha256:93c6615250a7c847dc6be993a37bb9ac7783d6792b1b0f14e8b8a5e6d31ce3b0"],"state_sha256":"cabf1b165a4481879e16ca3aff73269d8c71bea11a985384a0b21c6aec60402f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IlOaJ+WWSo6BKJukI7WiWm713KhupGI8FlakuzeG9wNk8q0DgHWugLLj1dTqtLTZFhfbdMlS77q7DC5+YrKJAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-02T10:55:19.831871Z","bundle_sha256":"420a2c6801b247d36a9b9746ea703c8b1dcb00680e00faee456c2ccc78b8875e"}}