{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:TH6LMAOMMDBT7PBF73VQB3GLBW","short_pith_number":"pith:TH6LMAOM","canonical_record":{"source":{"id":"2606.07884","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.LO","submitted_at":"2026-06-05T22:36:09Z","cross_cats_sorted":[],"title_canon_sha256":"33b870e940380b368e42324934e5328553e72cb25da24fe1d64a3c91aeee805f","abstract_canon_sha256":"ceb5e9e8659835bd60938326347050b17ceacc719cdd4ae74642ed08f74ca9a3"},"schema_version":"1.0"},"canonical_sha256":"99fcb601cc60c33fbc25feeb00eccb0d8adb154d39d3ee3d3c9fb5619c388906","source":{"kind":"arxiv","id":"2606.07884","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.07884","created_at":"2026-06-09T01:04:54Z"},{"alias_kind":"arxiv_version","alias_value":"2606.07884v1","created_at":"2026-06-09T01:04:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.07884","created_at":"2026-06-09T01:04:54Z"},{"alias_kind":"pith_short_12","alias_value":"TH6LMAOMMDBT","created_at":"2026-06-09T01:04:54Z"},{"alias_kind":"pith_short_16","alias_value":"TH6LMAOMMDBT7PBF","created_at":"2026-06-09T01:04:54Z"},{"alias_kind":"pith_short_8","alias_value":"TH6LMAOM","created_at":"2026-06-09T01:04:54Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:TH6LMAOMMDBT7PBF73VQB3GLBW","target":"record","payload":{"canonical_record":{"source":{"id":"2606.07884","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.LO","submitted_at":"2026-06-05T22:36:09Z","cross_cats_sorted":[],"title_canon_sha256":"33b870e940380b368e42324934e5328553e72cb25da24fe1d64a3c91aeee805f","abstract_canon_sha256":"ceb5e9e8659835bd60938326347050b17ceacc719cdd4ae74642ed08f74ca9a3"},"schema_version":"1.0"},"canonical_sha256":"99fcb601cc60c33fbc25feeb00eccb0d8adb154d39d3ee3d3c9fb5619c388906","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-09T01:04:54.528162Z","signature_b64":"ytOQUMZZtT09MzJGDE2J1dw0yKcq/XCBDJyzNTeiSa/tYS88pdM6JKqQY+1CFKMaDqbILJycHUuVVCSoowlhBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"99fcb601cc60c33fbc25feeb00eccb0d8adb154d39d3ee3d3c9fb5619c388906","last_reissued_at":"2026-06-09T01:04:54.527772Z","signature_status":"signed_v1","first_computed_at":"2026-06-09T01:04:54.527772Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2606.07884","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-06-09T01:04:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yneKkyyWAMb0wJgF2Q+Zuqy0LBYviNCIhXa08Qsr9vRlEBiDjZllBvdDfN54SZ0W8y+t9LS2eCka0s3yGQLPCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T22:00:04.176117Z"},"content_sha256":"9f4b4573957aabb1c206b2de59052835fc3b286243b5c9da6bb48bef15231c2f","schema_version":"1.0","event_id":"sha256:9f4b4573957aabb1c206b2de59052835fc3b286243b5c9da6bb48bef15231c2f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:TH6LMAOMMDBT7PBF73VQB3GLBW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Value-Refined Modal Fixed-Point Semantics with Certified Choice and Public Share-Alike Certificates","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Faruk Alpay, Levent Sarioglu","submitted_at":"2026-06-05T22:36:09Z","abstract_excerpt":"This paper presents a finite modal semantics where truth is closed under admissible continuation, then refined by discounted value, and finally certified by residual tests. The admissibility kernel is the classical greatest fixed point of a one-step predecessor expressing that some choice cell has all compatible successors inside a set. Certified choices are exactly local witnesses; the discounted value transformer is defined only over those witnesses; value-refined modal bisimulation is the coarsest local equivalence preserving formulas, kernel, certified choices, Bellman values, greedy sets,"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.07884","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.07884/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-06-09T01:04:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nrkwdoVa/RiMEfWTu8rJY8a64HErhCVJa4CQXKIGe5LXWjHSuHhEwPCCtomajQ2cDRmWlbIIN6Dp03rZP4NsAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T22:00:04.176510Z"},"content_sha256":"8f2c1b6b17dc1f8181b7d00fd835d40488a2e2728c8d205c0f88f26ac4d784bd","schema_version":"1.0","event_id":"sha256:8f2c1b6b17dc1f8181b7d00fd835d40488a2e2728c8d205c0f88f26ac4d784bd"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TH6LMAOMMDBT7PBF73VQB3GLBW/bundle.json","state_url":"https://pith.science/pith/TH6LMAOMMDBT7PBF73VQB3GLBW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TH6LMAOMMDBT7PBF73VQB3GLBW/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-27T22:00:04Z","links":{"resolver":"https://pith.science/pith/TH6LMAOMMDBT7PBF73VQB3GLBW","bundle":"https://pith.science/pith/TH6LMAOMMDBT7PBF73VQB3GLBW/bundle.json","state":"https://pith.science/pith/TH6LMAOMMDBT7PBF73VQB3GLBW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TH6LMAOMMDBT7PBF73VQB3GLBW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:TH6LMAOMMDBT7PBF73VQB3GLBW","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":"ceb5e9e8659835bd60938326347050b17ceacc719cdd4ae74642ed08f74ca9a3","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.LO","submitted_at":"2026-06-05T22:36:09Z","title_canon_sha256":"33b870e940380b368e42324934e5328553e72cb25da24fe1d64a3c91aeee805f"},"schema_version":"1.0","source":{"id":"2606.07884","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.07884","created_at":"2026-06-09T01:04:54Z"},{"alias_kind":"arxiv_version","alias_value":"2606.07884v1","created_at":"2026-06-09T01:04:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.07884","created_at":"2026-06-09T01:04:54Z"},{"alias_kind":"pith_short_12","alias_value":"TH6LMAOMMDBT","created_at":"2026-06-09T01:04:54Z"},{"alias_kind":"pith_short_16","alias_value":"TH6LMAOMMDBT7PBF","created_at":"2026-06-09T01:04:54Z"},{"alias_kind":"pith_short_8","alias_value":"TH6LMAOM","created_at":"2026-06-09T01:04:54Z"}],"graph_snapshots":[{"event_id":"sha256:8f2c1b6b17dc1f8181b7d00fd835d40488a2e2728c8d205c0f88f26ac4d784bd","target":"graph","created_at":"2026-06-09T01:04:54Z","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.07884/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper presents a finite modal semantics where truth is closed under admissible continuation, then refined by discounted value, and finally certified by residual tests. The admissibility kernel is the classical greatest fixed point of a one-step predecessor expressing that some choice cell has all compatible successors inside a set. Certified choices are exactly local witnesses; the discounted value transformer is defined only over those witnesses; value-refined modal bisimulation is the coarsest local equivalence preserving formulas, kernel, certified choices, Bellman values, greedy sets,","authors_text":"Faruk Alpay, Levent Sarioglu","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.LO","submitted_at":"2026-06-05T22:36:09Z","title":"Value-Refined Modal Fixed-Point Semantics with Certified Choice and Public Share-Alike Certificates"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.07884","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:9f4b4573957aabb1c206b2de59052835fc3b286243b5c9da6bb48bef15231c2f","target":"record","created_at":"2026-06-09T01:04:54Z","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":"ceb5e9e8659835bd60938326347050b17ceacc719cdd4ae74642ed08f74ca9a3","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.LO","submitted_at":"2026-06-05T22:36:09Z","title_canon_sha256":"33b870e940380b368e42324934e5328553e72cb25da24fe1d64a3c91aeee805f"},"schema_version":"1.0","source":{"id":"2606.07884","kind":"arxiv","version":1}},"canonical_sha256":"99fcb601cc60c33fbc25feeb00eccb0d8adb154d39d3ee3d3c9fb5619c388906","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"99fcb601cc60c33fbc25feeb00eccb0d8adb154d39d3ee3d3c9fb5619c388906","first_computed_at":"2026-06-09T01:04:54.527772Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-09T01:04:54.527772Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ytOQUMZZtT09MzJGDE2J1dw0yKcq/XCBDJyzNTeiSa/tYS88pdM6JKqQY+1CFKMaDqbILJycHUuVVCSoowlhBQ==","signature_status":"signed_v1","signed_at":"2026-06-09T01:04:54.528162Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.07884","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9f4b4573957aabb1c206b2de59052835fc3b286243b5c9da6bb48bef15231c2f","sha256:8f2c1b6b17dc1f8181b7d00fd835d40488a2e2728c8d205c0f88f26ac4d784bd"],"state_sha256":"110da6dcfe5dade04a7026b696587bee5b13a85ca64cd914f141fd744c54e89c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YLq9HseLDJ3tw5KbZwjYxZxPZAzT3z+OAapkPmPSBZ08EhbIoFYoywaRZx6Cgy8e8jnHT2gzRVjLSL4qpL48Dw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-27T22:00:04.178417Z","bundle_sha256":"0c9a9a3ede61b59168c9b2b3e6d5f50a58de0e5b231a53580861c772c9f52ad3"}}