{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:EKDJ3J3RPYNIXW5L3JIYDCOI7N","short_pith_number":"pith:EKDJ3J3R","canonical_record":{"source":{"id":"1701.04522","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-01-17T03:45:13Z","cross_cats_sorted":["cs.CC","cs.PL"],"title_canon_sha256":"dd7fd95a0b950b0cbdd90803033ddb474358a07c08647a0a509fbb537439e85a","abstract_canon_sha256":"ec0aee0b1315d0723e3488bfc4ab4dbe195a407977f785600417f5207ac07600"},"schema_version":"1.0"},"canonical_sha256":"22869da7717e1a8bdbabda518189c8fb495e84a82245470fb1c86b1ef86bba95","source":{"kind":"arxiv","id":"1701.04522","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1701.04522","created_at":"2026-05-18T00:52:43Z"},{"alias_kind":"arxiv_version","alias_value":"1701.04522v1","created_at":"2026-05-18T00:52:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1701.04522","created_at":"2026-05-18T00:52:43Z"},{"alias_kind":"pith_short_12","alias_value":"EKDJ3J3RPYNI","created_at":"2026-05-18T12:31:12Z"},{"alias_kind":"pith_short_16","alias_value":"EKDJ3J3RPYNIXW5L","created_at":"2026-05-18T12:31:12Z"},{"alias_kind":"pith_short_8","alias_value":"EKDJ3J3R","created_at":"2026-05-18T12:31:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:EKDJ3J3RPYNIXW5L3JIYDCOI7N","target":"record","payload":{"canonical_record":{"source":{"id":"1701.04522","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-01-17T03:45:13Z","cross_cats_sorted":["cs.CC","cs.PL"],"title_canon_sha256":"dd7fd95a0b950b0cbdd90803033ddb474358a07c08647a0a509fbb537439e85a","abstract_canon_sha256":"ec0aee0b1315d0723e3488bfc4ab4dbe195a407977f785600417f5207ac07600"},"schema_version":"1.0"},"canonical_sha256":"22869da7717e1a8bdbabda518189c8fb495e84a82245470fb1c86b1ef86bba95","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:52:43.435158Z","signature_b64":"MGhYSss16HziM6sD1mvC6KE/7nXjhp1W/nUqWqG9xkq+Fm+OH7K8bNUDK2KtQCYkSkkmzS8eBwpqZm3PUyyQAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"22869da7717e1a8bdbabda518189c8fb495e84a82245470fb1c86b1ef86bba95","last_reissued_at":"2026-05-18T00:52:43.434672Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:52:43.434672Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1701.04522","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-18T00:52:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RZcOTfQe2UxMksy7Yoo1VK5xNjLfrVc10q7OGxV8KCnXRMIuW+pKzDgQh01pfb0AJaY1iJ06ltms9nDZ0b0MAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T10:42:27.358869Z"},"content_sha256":"7c510f604178d0fc2d835aaa180ebc70e37c3be5bcc6a77ce97e8d7875b40f01","schema_version":"1.0","event_id":"sha256:7c510f604178d0fc2d835aaa180ebc70e37c3be5bcc6a77ce97e8d7875b40f01"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:EKDJ3J3RPYNIXW5L3JIYDCOI7N","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Proceedings Fourth International Workshop on Linearity","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CC","cs.PL"],"primary_cat":"cs.LO","authors_text":"Iliano Cervesato, Maribel Fern\\'andez","submitted_at":"2017-01-17T03:45:13Z","abstract_excerpt":"This volume contains the papers presented at LINEARITY 2016, the Fourth International Workshop on Linearity, held on June 26, 2016 in Porto, Portugal. The workshop was a one-day satellite event of FSCD 2016, the first International Conference on Formal Structures for Computation and Deduction.\n  The aim of this workshop was to bring together researchers who are developing 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 were n"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1701.04522","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-18T00:52:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"o+nk2e8gWgyYB1NWrhq69Ycssqo0g/SsDoc7NjmyvIT43X6UAq8lKy7k5Y5Wl5PssZ1zRhSqP2ahCHcINXcKBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T10:42:27.359212Z"},"content_sha256":"5b6a6e0082195d51ef8a7c0c3c918291816ded8e5194fb2736fe4a10000517e8","schema_version":"1.0","event_id":"sha256:5b6a6e0082195d51ef8a7c0c3c918291816ded8e5194fb2736fe4a10000517e8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EKDJ3J3RPYNIXW5L3JIYDCOI7N/bundle.json","state_url":"https://pith.science/pith/EKDJ3J3RPYNIXW5L3JIYDCOI7N/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EKDJ3J3RPYNIXW5L3JIYDCOI7N/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-20T10:42:27Z","links":{"resolver":"https://pith.science/pith/EKDJ3J3RPYNIXW5L3JIYDCOI7N","bundle":"https://pith.science/pith/EKDJ3J3RPYNIXW5L3JIYDCOI7N/bundle.json","state":"https://pith.science/pith/EKDJ3J3RPYNIXW5L3JIYDCOI7N/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EKDJ3J3RPYNIXW5L3JIYDCOI7N/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:EKDJ3J3RPYNIXW5L3JIYDCOI7N","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":"ec0aee0b1315d0723e3488bfc4ab4dbe195a407977f785600417f5207ac07600","cross_cats_sorted":["cs.CC","cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-01-17T03:45:13Z","title_canon_sha256":"dd7fd95a0b950b0cbdd90803033ddb474358a07c08647a0a509fbb537439e85a"},"schema_version":"1.0","source":{"id":"1701.04522","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1701.04522","created_at":"2026-05-18T00:52:43Z"},{"alias_kind":"arxiv_version","alias_value":"1701.04522v1","created_at":"2026-05-18T00:52:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1701.04522","created_at":"2026-05-18T00:52:43Z"},{"alias_kind":"pith_short_12","alias_value":"EKDJ3J3RPYNI","created_at":"2026-05-18T12:31:12Z"},{"alias_kind":"pith_short_16","alias_value":"EKDJ3J3RPYNIXW5L","created_at":"2026-05-18T12:31:12Z"},{"alias_kind":"pith_short_8","alias_value":"EKDJ3J3R","created_at":"2026-05-18T12:31:12Z"}],"graph_snapshots":[{"event_id":"sha256:5b6a6e0082195d51ef8a7c0c3c918291816ded8e5194fb2736fe4a10000517e8","target":"graph","created_at":"2026-05-18T00:52:43Z","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 2016, the Fourth International Workshop on Linearity, held on June 26, 2016 in Porto, Portugal. The workshop was a one-day satellite event of FSCD 2016, the first International Conference on Formal Structures for Computation and Deduction.\n  The aim of this workshop was to bring together researchers who are developing 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 were n","authors_text":"Iliano Cervesato, Maribel Fern\\'andez","cross_cats":["cs.CC","cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-01-17T03:45:13Z","title":"Proceedings Fourth International Workshop on Linearity"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1701.04522","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:7c510f604178d0fc2d835aaa180ebc70e37c3be5bcc6a77ce97e8d7875b40f01","target":"record","created_at":"2026-05-18T00:52:43Z","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":"ec0aee0b1315d0723e3488bfc4ab4dbe195a407977f785600417f5207ac07600","cross_cats_sorted":["cs.CC","cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-01-17T03:45:13Z","title_canon_sha256":"dd7fd95a0b950b0cbdd90803033ddb474358a07c08647a0a509fbb537439e85a"},"schema_version":"1.0","source":{"id":"1701.04522","kind":"arxiv","version":1}},"canonical_sha256":"22869da7717e1a8bdbabda518189c8fb495e84a82245470fb1c86b1ef86bba95","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"22869da7717e1a8bdbabda518189c8fb495e84a82245470fb1c86b1ef86bba95","first_computed_at":"2026-05-18T00:52:43.434672Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:52:43.434672Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"MGhYSss16HziM6sD1mvC6KE/7nXjhp1W/nUqWqG9xkq+Fm+OH7K8bNUDK2KtQCYkSkkmzS8eBwpqZm3PUyyQAA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:52:43.435158Z","signed_message":"canonical_sha256_bytes"},"source_id":"1701.04522","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7c510f604178d0fc2d835aaa180ebc70e37c3be5bcc6a77ce97e8d7875b40f01","sha256:5b6a6e0082195d51ef8a7c0c3c918291816ded8e5194fb2736fe4a10000517e8"],"state_sha256":"28d0958adc37261ee4f1427664c5ca66a76a0d76f8661d12243a3b6fc8e19ae3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AczxIK3OCxtAHaJL41xPBBR5jiVO64hANksenwmMoSOXijf0OL02X9RBS7JRDs2RZsdFgiEjfp9c/UGpZofZBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-20T10:42:27.361201Z","bundle_sha256":"56a073cbfb749d4bddaa9ef4493b8b32aed5ddb8f8b4bc9ca5caed7aeac71083"}}