{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:XYL6E64WJZQI3K5TGFWUS7N2V6","short_pith_number":"pith:XYL6E64W","canonical_record":{"source":{"id":"1502.04419","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-02-16T04:00:20Z","cross_cats_sorted":[],"title_canon_sha256":"38d716e7c97d42058ed1d9ebb3c6c0138810cb05199acd2ff8181149ddfbc502","abstract_canon_sha256":"541d104b1755e9496294fd8881845075f9237bea8c822237554cd8eef04a7ead"},"schema_version":"1.0"},"canonical_sha256":"be17e27b964e608dabb3316d497dbaaf9a95297ef26d8ac16ec8b79600581eb9","source":{"kind":"arxiv","id":"1502.04419","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1502.04419","created_at":"2026-05-18T02:26:59Z"},{"alias_kind":"arxiv_version","alias_value":"1502.04419v1","created_at":"2026-05-18T02:26:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1502.04419","created_at":"2026-05-18T02:26:59Z"},{"alias_kind":"pith_short_12","alias_value":"XYL6E64WJZQI","created_at":"2026-05-18T12:29:50Z"},{"alias_kind":"pith_short_16","alias_value":"XYL6E64WJZQI3K5T","created_at":"2026-05-18T12:29:50Z"},{"alias_kind":"pith_short_8","alias_value":"XYL6E64W","created_at":"2026-05-18T12:29:50Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:XYL6E64WJZQI3K5TGFWUS7N2V6","target":"record","payload":{"canonical_record":{"source":{"id":"1502.04419","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-02-16T04:00:20Z","cross_cats_sorted":[],"title_canon_sha256":"38d716e7c97d42058ed1d9ebb3c6c0138810cb05199acd2ff8181149ddfbc502","abstract_canon_sha256":"541d104b1755e9496294fd8881845075f9237bea8c822237554cd8eef04a7ead"},"schema_version":"1.0"},"canonical_sha256":"be17e27b964e608dabb3316d497dbaaf9a95297ef26d8ac16ec8b79600581eb9","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:26:59.811269Z","signature_b64":"aWxBJkOU298pKabZJ2JcU3SGNNpZDG2FWo4Zu9MhsyARAsJjpeKLyi0+Fm7up74zNvU7e5Xz2QoFAvWJ0Kv2Bw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"be17e27b964e608dabb3316d497dbaaf9a95297ef26d8ac16ec8b79600581eb9","last_reissued_at":"2026-05-18T02:26:59.810848Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:26:59.810848Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1502.04419","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-18T02:26:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XAw7hVJmFjioTzGT+pOMv0BE3vYWtPkXDX4+kYM0OeQyDEE0mMipp3NzSNQ85DEjkTwqebNN8ZBsuR7TgYcYAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T19:26:40.470677Z"},"content_sha256":"10fb82c87b76a147b5a6448c33e87d29655f630345c3a234e2eaacc3474e54d8","schema_version":"1.0","event_id":"sha256:10fb82c87b76a147b5a6448c33e87d29655f630345c3a234e2eaacc3474e54d8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:XYL6E64WJZQI3K5TGFWUS7N2V6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Proceedings Third International Workshop on Linearity","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Iliano Cervesato (Carnegie Mellon University), Sandra Alves (University of Porto)","submitted_at":"2015-02-16T04:00:20Z","abstract_excerpt":"This volume contains the papers presented at LINEARITY 2014, the Third International Workshop on Linearity, held on July 13, 2014 in Vienna, Austria.  The workshop was a one-day satellite event of FLoC 2014, the sixth Federated Logic Conference.  It was held as part of the 2014 Vienna Summer of Logic.\n  The aim of this workshop was to bring together researchers who are exploring theory and applications of linear calculi, to foster their interaction and provide a forum for presenting new ideas and work in progress, and enable newcomers to learn about current activities in this area. Of interest"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1502.04419","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-18T02:26:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kTt3lwHiBrWM0u0wW+y0RBmsMEYP0dXCWJY5q3l0JdGTXrnzXJyI/EF1NU+7a5JonT6Td45SCIvnD5jrB5/iBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T19:26:40.471335Z"},"content_sha256":"b8a6f41f8273f9f32ae248cd4092c24e9c543b801eb8a6bca18ae2517902b46d","schema_version":"1.0","event_id":"sha256:b8a6f41f8273f9f32ae248cd4092c24e9c543b801eb8a6bca18ae2517902b46d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XYL6E64WJZQI3K5TGFWUS7N2V6/bundle.json","state_url":"https://pith.science/pith/XYL6E64WJZQI3K5TGFWUS7N2V6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XYL6E64WJZQI3K5TGFWUS7N2V6/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-09T19:26:40Z","links":{"resolver":"https://pith.science/pith/XYL6E64WJZQI3K5TGFWUS7N2V6","bundle":"https://pith.science/pith/XYL6E64WJZQI3K5TGFWUS7N2V6/bundle.json","state":"https://pith.science/pith/XYL6E64WJZQI3K5TGFWUS7N2V6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XYL6E64WJZQI3K5TGFWUS7N2V6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:XYL6E64WJZQI3K5TGFWUS7N2V6","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":"541d104b1755e9496294fd8881845075f9237bea8c822237554cd8eef04a7ead","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-02-16T04:00:20Z","title_canon_sha256":"38d716e7c97d42058ed1d9ebb3c6c0138810cb05199acd2ff8181149ddfbc502"},"schema_version":"1.0","source":{"id":"1502.04419","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1502.04419","created_at":"2026-05-18T02:26:59Z"},{"alias_kind":"arxiv_version","alias_value":"1502.04419v1","created_at":"2026-05-18T02:26:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1502.04419","created_at":"2026-05-18T02:26:59Z"},{"alias_kind":"pith_short_12","alias_value":"XYL6E64WJZQI","created_at":"2026-05-18T12:29:50Z"},{"alias_kind":"pith_short_16","alias_value":"XYL6E64WJZQI3K5T","created_at":"2026-05-18T12:29:50Z"},{"alias_kind":"pith_short_8","alias_value":"XYL6E64W","created_at":"2026-05-18T12:29:50Z"}],"graph_snapshots":[{"event_id":"sha256:b8a6f41f8273f9f32ae248cd4092c24e9c543b801eb8a6bca18ae2517902b46d","target":"graph","created_at":"2026-05-18T02:26:59Z","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":"This volume contains the papers presented at LINEARITY 2014, the Third International Workshop on Linearity, held on July 13, 2014 in Vienna, Austria.  The workshop was a one-day satellite event of FLoC 2014, the sixth Federated Logic Conference.  It was held as part of the 2014 Vienna Summer of Logic.\n  The aim of this workshop was to bring together researchers who are exploring theory and applications of linear calculi, to foster their interaction and provide a forum for presenting new ideas and work in progress, and enable newcomers to learn about current activities in this area. Of interest","authors_text":"Iliano Cervesato (Carnegie Mellon University), Sandra Alves (University of Porto)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-02-16T04:00:20Z","title":"Proceedings Third International Workshop on Linearity"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1502.04419","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:10fb82c87b76a147b5a6448c33e87d29655f630345c3a234e2eaacc3474e54d8","target":"record","created_at":"2026-05-18T02:26:59Z","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":"541d104b1755e9496294fd8881845075f9237bea8c822237554cd8eef04a7ead","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-02-16T04:00:20Z","title_canon_sha256":"38d716e7c97d42058ed1d9ebb3c6c0138810cb05199acd2ff8181149ddfbc502"},"schema_version":"1.0","source":{"id":"1502.04419","kind":"arxiv","version":1}},"canonical_sha256":"be17e27b964e608dabb3316d497dbaaf9a95297ef26d8ac16ec8b79600581eb9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"be17e27b964e608dabb3316d497dbaaf9a95297ef26d8ac16ec8b79600581eb9","first_computed_at":"2026-05-18T02:26:59.810848Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:26:59.810848Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"aWxBJkOU298pKabZJ2JcU3SGNNpZDG2FWo4Zu9MhsyARAsJjpeKLyi0+Fm7up74zNvU7e5Xz2QoFAvWJ0Kv2Bw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:26:59.811269Z","signed_message":"canonical_sha256_bytes"},"source_id":"1502.04419","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:10fb82c87b76a147b5a6448c33e87d29655f630345c3a234e2eaacc3474e54d8","sha256:b8a6f41f8273f9f32ae248cd4092c24e9c543b801eb8a6bca18ae2517902b46d"],"state_sha256":"8d033424da594d2cfe47807027bdd6e278bfe488137cdf224e1b798803b12ecd"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HT3BK+2K+pXaPiatYdtfXfymhFmqO0UMvvDnfHFSaFopMgcgHWBUr645dLAdvxMgyW7b2j5m6iPTA7B3rsRBAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-09T19:26:40.475100Z","bundle_sha256":"30b6950fe38657f018b6f1ef30c53ca62cacc37ed35c691e89e10d2ccdd50a47"}}