{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:R6TUYUG3TIOHPB53DWPVJK6KKV","short_pith_number":"pith:R6TUYUG3","canonical_record":{"source":{"id":"2401.05364","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2023-12-14T12:58:55Z","cross_cats_sorted":["math-ph","math.MP","quant-ph"],"title_canon_sha256":"701de37c3f9e923a1a0e51875afee965d88e0b04d4dd7da953519adcc9e50475","abstract_canon_sha256":"f57e8c0ac785402423e3296e02fe71d4a6e169c0c67a932fd765b1e99686f8bf"},"schema_version":"1.0"},"canonical_sha256":"8fa74c50db9a1c7787bb1d9f54abca5542b32e151594500dc29fd7c2e044c381","source":{"kind":"arxiv","id":"2401.05364","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2401.05364","created_at":"2026-07-05T07:32:28Z"},{"alias_kind":"arxiv_version","alias_value":"2401.05364v1","created_at":"2026-07-05T07:32:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2401.05364","created_at":"2026-07-05T07:32:28Z"},{"alias_kind":"pith_short_12","alias_value":"R6TUYUG3TIOH","created_at":"2026-07-05T07:32:28Z"},{"alias_kind":"pith_short_16","alias_value":"R6TUYUG3TIOHPB53","created_at":"2026-07-05T07:32:28Z"},{"alias_kind":"pith_short_8","alias_value":"R6TUYUG3","created_at":"2026-07-05T07:32:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:R6TUYUG3TIOHPB53DWPVJK6KKV","target":"record","payload":{"canonical_record":{"source":{"id":"2401.05364","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2023-12-14T12:58:55Z","cross_cats_sorted":["math-ph","math.MP","quant-ph"],"title_canon_sha256":"701de37c3f9e923a1a0e51875afee965d88e0b04d4dd7da953519adcc9e50475","abstract_canon_sha256":"f57e8c0ac785402423e3296e02fe71d4a6e169c0c67a932fd765b1e99686f8bf"},"schema_version":"1.0"},"canonical_sha256":"8fa74c50db9a1c7787bb1d9f54abca5542b32e151594500dc29fd7c2e044c381","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:32:28.579969Z","signature_b64":"a4Y8h84rjrJt0kDL18bxZJtEWpV1o8fNo53hIjU2kodx3MMhEdfePJnKbuvv+annrUoBYsXJEI/9LjKww8ogBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8fa74c50db9a1c7787bb1d9f54abca5542b32e151594500dc29fd7c2e044c381","last_reissued_at":"2026-07-05T07:32:28.579482Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:32:28.579482Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2401.05364","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-05T07:32:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4teMzTFeTGV4WZEF9j01cKgpkPYteqBWGdi8zxyHoX8nJ9zwpulu5aiLvZ+2ochu8mCjAiXjaAsGcAeoxYPHCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T17:02:13.665768Z"},"content_sha256":"a67c7709153b3474bafff504013145061a6ddb407163364aff30920d7df3a7b9","schema_version":"1.0","event_id":"sha256:a67c7709153b3474bafff504013145061a6ddb407163364aff30920d7df3a7b9"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:R6TUYUG3TIOHPB53DWPVJK6KKV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Constructor Theory as Process Theory","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["math-ph","math.MP","quant-ph"],"primary_cat":"math.CT","authors_text":"Bob Coecke (Quantinuum Ltd), Carlo Maria Scandolo (University of Calgary), Muhammad Hamza Waseem (Quantinuum Ltd), Stefano Gogioso (Hashberg Ltd), Vincent Wang-Ma\\'scianica (Quantinuum Ltd)","submitted_at":"2023-12-14T12:58:55Z","abstract_excerpt":"Constructor theory is a meta-theoretic approach that seeks to characterise concrete theories of physics in terms of the (im)possibility to implement certain abstract \"tasks\" by means of physical processes. Process theory, on the other hand, pursues analogous characterisation goals in terms of the compositional structure of said processes, concretely presented through the lens of (symmetric monoidal) category theory. In this work, we show how to formulate fundamental notions of constructor theory within the canvas of process theory. Specifically, we exploit the functorial interplay between the "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2401.05364","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/2401.05364/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-05T07:32:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FEeFUomNhi9Kau3/hJ1tr79ZLIPbFymo80KLiiuHgVN/v5WcljZsd+J3AzfJ+0cnHsYM2EWM6vyA8pRZ48TKBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T17:02:13.666294Z"},"content_sha256":"a2b67399213caf75b99ec59d39ba60924bca41b08442bab117a3507ee504b50f","schema_version":"1.0","event_id":"sha256:a2b67399213caf75b99ec59d39ba60924bca41b08442bab117a3507ee504b50f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/R6TUYUG3TIOHPB53DWPVJK6KKV/bundle.json","state_url":"https://pith.science/pith/R6TUYUG3TIOHPB53DWPVJK6KKV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/R6TUYUG3TIOHPB53DWPVJK6KKV/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-08-09T17:02:13Z","links":{"resolver":"https://pith.science/pith/R6TUYUG3TIOHPB53DWPVJK6KKV","bundle":"https://pith.science/pith/R6TUYUG3TIOHPB53DWPVJK6KKV/bundle.json","state":"https://pith.science/pith/R6TUYUG3TIOHPB53DWPVJK6KKV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/R6TUYUG3TIOHPB53DWPVJK6KKV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:R6TUYUG3TIOHPB53DWPVJK6KKV","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":"f57e8c0ac785402423e3296e02fe71d4a6e169c0c67a932fd765b1e99686f8bf","cross_cats_sorted":["math-ph","math.MP","quant-ph"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2023-12-14T12:58:55Z","title_canon_sha256":"701de37c3f9e923a1a0e51875afee965d88e0b04d4dd7da953519adcc9e50475"},"schema_version":"1.0","source":{"id":"2401.05364","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2401.05364","created_at":"2026-07-05T07:32:28Z"},{"alias_kind":"arxiv_version","alias_value":"2401.05364v1","created_at":"2026-07-05T07:32:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2401.05364","created_at":"2026-07-05T07:32:28Z"},{"alias_kind":"pith_short_12","alias_value":"R6TUYUG3TIOH","created_at":"2026-07-05T07:32:28Z"},{"alias_kind":"pith_short_16","alias_value":"R6TUYUG3TIOHPB53","created_at":"2026-07-05T07:32:28Z"},{"alias_kind":"pith_short_8","alias_value":"R6TUYUG3","created_at":"2026-07-05T07:32:28Z"}],"graph_snapshots":[{"event_id":"sha256:a2b67399213caf75b99ec59d39ba60924bca41b08442bab117a3507ee504b50f","target":"graph","created_at":"2026-07-05T07:32:28Z","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/2401.05364/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Constructor theory is a meta-theoretic approach that seeks to characterise concrete theories of physics in terms of the (im)possibility to implement certain abstract \"tasks\" by means of physical processes. Process theory, on the other hand, pursues analogous characterisation goals in terms of the compositional structure of said processes, concretely presented through the lens of (symmetric monoidal) category theory. In this work, we show how to formulate fundamental notions of constructor theory within the canvas of process theory. Specifically, we exploit the functorial interplay between the ","authors_text":"Bob Coecke (Quantinuum Ltd), Carlo Maria Scandolo (University of Calgary), Muhammad Hamza Waseem (Quantinuum Ltd), Stefano Gogioso (Hashberg Ltd), Vincent Wang-Ma\\'scianica (Quantinuum Ltd)","cross_cats":["math-ph","math.MP","quant-ph"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2023-12-14T12:58:55Z","title":"Constructor Theory as Process Theory"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2401.05364","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:a67c7709153b3474bafff504013145061a6ddb407163364aff30920d7df3a7b9","target":"record","created_at":"2026-07-05T07:32:28Z","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":"f57e8c0ac785402423e3296e02fe71d4a6e169c0c67a932fd765b1e99686f8bf","cross_cats_sorted":["math-ph","math.MP","quant-ph"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2023-12-14T12:58:55Z","title_canon_sha256":"701de37c3f9e923a1a0e51875afee965d88e0b04d4dd7da953519adcc9e50475"},"schema_version":"1.0","source":{"id":"2401.05364","kind":"arxiv","version":1}},"canonical_sha256":"8fa74c50db9a1c7787bb1d9f54abca5542b32e151594500dc29fd7c2e044c381","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8fa74c50db9a1c7787bb1d9f54abca5542b32e151594500dc29fd7c2e044c381","first_computed_at":"2026-07-05T07:32:28.579482Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:32:28.579482Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"a4Y8h84rjrJt0kDL18bxZJtEWpV1o8fNo53hIjU2kodx3MMhEdfePJnKbuvv+annrUoBYsXJEI/9LjKww8ogBg==","signature_status":"signed_v1","signed_at":"2026-07-05T07:32:28.579969Z","signed_message":"canonical_sha256_bytes"},"source_id":"2401.05364","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a67c7709153b3474bafff504013145061a6ddb407163364aff30920d7df3a7b9","sha256:a2b67399213caf75b99ec59d39ba60924bca41b08442bab117a3507ee504b50f"],"state_sha256":"a0b4e224b4c8b3057c845ac243fa0c228cefcde536776fef6ffa2bc46b0619e0"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZW/bXahJeCyR9dM6esqZiOxwGObmzfdQLYHRmVxB2MarKPk4ThlbOuocixZo6WNffWZk1ZW9f4A4tmx4Zdv1BA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-09T17:02:13.669879Z","bundle_sha256":"2992de4804cd538cb637973a320dcbc7c458d1bd3e564b5787f99852a584e66f"}}