{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:XJQNLZATWP7I4RYM5PL6IYOULZ","short_pith_number":"pith:XJQNLZAT","canonical_record":{"source":{"id":"1503.00886","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-03-03T10:38:18Z","cross_cats_sorted":[],"title_canon_sha256":"879d510960d327b13cfe3d9a2cba378424a43e121992f81c19a84351bca0c7fe","abstract_canon_sha256":"07f419772f0df38266402fc36e2ff5ec638af226f4eb904ec4486d3029ac4702"},"schema_version":"1.0"},"canonical_sha256":"ba60d5e413b3fe8e470cebd7e461d45e49d7ad7e093b37835ed32146088e55ed","source":{"kind":"arxiv","id":"1503.00886","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1503.00886","created_at":"2026-05-18T00:46:53Z"},{"alias_kind":"arxiv_version","alias_value":"1503.00886v3","created_at":"2026-05-18T00:46:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1503.00886","created_at":"2026-05-18T00:46:53Z"},{"alias_kind":"pith_short_12","alias_value":"XJQNLZATWP7I","created_at":"2026-05-18T12:29:50Z"},{"alias_kind":"pith_short_16","alias_value":"XJQNLZATWP7I4RYM","created_at":"2026-05-18T12:29:50Z"},{"alias_kind":"pith_short_8","alias_value":"XJQNLZAT","created_at":"2026-05-18T12:29:50Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:XJQNLZATWP7I4RYM5PL6IYOULZ","target":"record","payload":{"canonical_record":{"source":{"id":"1503.00886","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-03-03T10:38:18Z","cross_cats_sorted":[],"title_canon_sha256":"879d510960d327b13cfe3d9a2cba378424a43e121992f81c19a84351bca0c7fe","abstract_canon_sha256":"07f419772f0df38266402fc36e2ff5ec638af226f4eb904ec4486d3029ac4702"},"schema_version":"1.0"},"canonical_sha256":"ba60d5e413b3fe8e470cebd7e461d45e49d7ad7e093b37835ed32146088e55ed","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:46:53.830492Z","signature_b64":"mKGT2kRV8IAz7LxQ7bn0QeVIPpB/aHgzcWBSH1yy11TG4RbQyFEF0qc6wCoHugKzPDpJeovMvem+8w69DyUCCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ba60d5e413b3fe8e470cebd7e461d45e49d7ad7e093b37835ed32146088e55ed","last_reissued_at":"2026-05-18T00:46:53.830018Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:46:53.830018Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1503.00886","source_version":3,"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:46:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"giqPp6rS0eDjteWKLHMXDjaNk/lwz3e0bNoC55AV8st+x/PQ+RzNVwP8F9U8qrNhDFTiNQFyNet8QxnrBmZqBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T23:35:32.073927Z"},"content_sha256":"c7055316dc52ac2d9a476f21c62efc39d989061b90b80ec786987b6c6e40cc14","schema_version":"1.0","event_id":"sha256:c7055316dc52ac2d9a476f21c62efc39d989061b90b80ec786987b6c6e40cc14"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:XJQNLZATWP7I4RYM5PL6IYOULZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On Geometry of Interaction for Polarized Linear Logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Masahiro Hamano, Philip Scott","submitted_at":"2015-03-03T10:38:18Z","abstract_excerpt":"We present Geometry of Interaction (GoI) models for Multiplicative Polarized Linear Logic, MLLP, which is the multiplicative fragment of Olivier Laurent's Polarized Linear Logic. This is done by uniformly adding multipoints to various categorical models of GoI. Multipoints are shown to play an essential role in semantically characterizing the dynamics of proof networks in polarized proof theory. For example, they permit us to characterize the key feature of polarization, focusing, as well as being fundamental to our construction of concrete polarized GoI models.\n  Our approach to polarized GoI"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1503.00886","kind":"arxiv","version":3},"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:46:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5BtF1dLhws6XfBUnL7GtA5aBBsfaKqVkkO0xOi4Hwd0IJNa8ORT9PHJpo0EKdsfMb07MQjKcrdotXAH2NCKdAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T23:35:32.074273Z"},"content_sha256":"78f2b7442c6fd18ca48b15a6853f29b87100edaf5f7afcb8638d501bfafa733a","schema_version":"1.0","event_id":"sha256:78f2b7442c6fd18ca48b15a6853f29b87100edaf5f7afcb8638d501bfafa733a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XJQNLZATWP7I4RYM5PL6IYOULZ/bundle.json","state_url":"https://pith.science/pith/XJQNLZATWP7I4RYM5PL6IYOULZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XJQNLZATWP7I4RYM5PL6IYOULZ/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-20T23:35:32Z","links":{"resolver":"https://pith.science/pith/XJQNLZATWP7I4RYM5PL6IYOULZ","bundle":"https://pith.science/pith/XJQNLZATWP7I4RYM5PL6IYOULZ/bundle.json","state":"https://pith.science/pith/XJQNLZATWP7I4RYM5PL6IYOULZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XJQNLZATWP7I4RYM5PL6IYOULZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:XJQNLZATWP7I4RYM5PL6IYOULZ","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":"07f419772f0df38266402fc36e2ff5ec638af226f4eb904ec4486d3029ac4702","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-03-03T10:38:18Z","title_canon_sha256":"879d510960d327b13cfe3d9a2cba378424a43e121992f81c19a84351bca0c7fe"},"schema_version":"1.0","source":{"id":"1503.00886","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1503.00886","created_at":"2026-05-18T00:46:53Z"},{"alias_kind":"arxiv_version","alias_value":"1503.00886v3","created_at":"2026-05-18T00:46:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1503.00886","created_at":"2026-05-18T00:46:53Z"},{"alias_kind":"pith_short_12","alias_value":"XJQNLZATWP7I","created_at":"2026-05-18T12:29:50Z"},{"alias_kind":"pith_short_16","alias_value":"XJQNLZATWP7I4RYM","created_at":"2026-05-18T12:29:50Z"},{"alias_kind":"pith_short_8","alias_value":"XJQNLZAT","created_at":"2026-05-18T12:29:50Z"}],"graph_snapshots":[{"event_id":"sha256:78f2b7442c6fd18ca48b15a6853f29b87100edaf5f7afcb8638d501bfafa733a","target":"graph","created_at":"2026-05-18T00:46:53Z","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 present Geometry of Interaction (GoI) models for Multiplicative Polarized Linear Logic, MLLP, which is the multiplicative fragment of Olivier Laurent's Polarized Linear Logic. This is done by uniformly adding multipoints to various categorical models of GoI. Multipoints are shown to play an essential role in semantically characterizing the dynamics of proof networks in polarized proof theory. For example, they permit us to characterize the key feature of polarization, focusing, as well as being fundamental to our construction of concrete polarized GoI models.\n  Our approach to polarized GoI","authors_text":"Masahiro Hamano, Philip Scott","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-03-03T10:38:18Z","title":"On Geometry of Interaction for Polarized Linear Logic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1503.00886","kind":"arxiv","version":3},"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:c7055316dc52ac2d9a476f21c62efc39d989061b90b80ec786987b6c6e40cc14","target":"record","created_at":"2026-05-18T00:46:53Z","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":"07f419772f0df38266402fc36e2ff5ec638af226f4eb904ec4486d3029ac4702","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-03-03T10:38:18Z","title_canon_sha256":"879d510960d327b13cfe3d9a2cba378424a43e121992f81c19a84351bca0c7fe"},"schema_version":"1.0","source":{"id":"1503.00886","kind":"arxiv","version":3}},"canonical_sha256":"ba60d5e413b3fe8e470cebd7e461d45e49d7ad7e093b37835ed32146088e55ed","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ba60d5e413b3fe8e470cebd7e461d45e49d7ad7e093b37835ed32146088e55ed","first_computed_at":"2026-05-18T00:46:53.830018Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:46:53.830018Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"mKGT2kRV8IAz7LxQ7bn0QeVIPpB/aHgzcWBSH1yy11TG4RbQyFEF0qc6wCoHugKzPDpJeovMvem+8w69DyUCCw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:46:53.830492Z","signed_message":"canonical_sha256_bytes"},"source_id":"1503.00886","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c7055316dc52ac2d9a476f21c62efc39d989061b90b80ec786987b6c6e40cc14","sha256:78f2b7442c6fd18ca48b15a6853f29b87100edaf5f7afcb8638d501bfafa733a"],"state_sha256":"d446c6d89d5a9cf96652eb77d3006bb21b9a72af82e5f56060458a3dfd82c4c9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"V2RuUbxgZKNtEfq8BWiEk6MpUTH2vY7pJIIhSXJcz5vsqmqUBWIzWk6CWZLI82dbq1CalXkJN4PyQULyJq6PDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-20T23:35:32.076154Z","bundle_sha256":"9109746ed40becf0b9c0b628d9befebdf7f49ee8272b0be34d6badc1221adfe8"}}