{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:JBATUAAC5ER7FKCBBPHCYXYOGC","short_pith_number":"pith:JBATUAAC","canonical_record":{"source":{"id":"2201.10456","kind":"arxiv","version":9},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2022-01-25T16:58:10Z","cross_cats_sorted":["cs.PL","math.CT"],"title_canon_sha256":"f65deab8d7b827724b2a023bdc8f8c80acc25522fa40da87e2a0c07cfd3ca5ac","abstract_canon_sha256":"cea390d6779b7c4e45d5d841ed309623afeb21b1beef60c1b1e357f371b877dd"},"schema_version":"1.0"},"canonical_sha256":"48413a0002e923f2a8410bce2c5f0e30b677757ddc1e07a0469a76610f7df57e","source":{"kind":"arxiv","id":"2201.10456","version":9},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2201.10456","created_at":"2026-05-25T02:00:59Z"},{"alias_kind":"arxiv_version","alias_value":"2201.10456v9","created_at":"2026-05-25T02:00:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2201.10456","created_at":"2026-05-25T02:00:59Z"},{"alias_kind":"pith_short_12","alias_value":"JBATUAAC5ER7","created_at":"2026-05-25T02:00:59Z"},{"alias_kind":"pith_short_16","alias_value":"JBATUAAC5ER7FKCB","created_at":"2026-05-25T02:00:59Z"},{"alias_kind":"pith_short_8","alias_value":"JBATUAAC","created_at":"2026-05-25T02:00:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:JBATUAAC5ER7FKCBBPHCYXYOGC","target":"record","payload":{"canonical_record":{"source":{"id":"2201.10456","kind":"arxiv","version":9},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2022-01-25T16:58:10Z","cross_cats_sorted":["cs.PL","math.CT"],"title_canon_sha256":"f65deab8d7b827724b2a023bdc8f8c80acc25522fa40da87e2a0c07cfd3ca5ac","abstract_canon_sha256":"cea390d6779b7c4e45d5d841ed309623afeb21b1beef60c1b1e357f371b877dd"},"schema_version":"1.0"},"canonical_sha256":"48413a0002e923f2a8410bce2c5f0e30b677757ddc1e07a0469a76610f7df57e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-25T02:00:59.823095Z","signature_b64":"0byur/oxOsy8jDmr5fW6wmYbe6Ge+GUPpMUk+Euemupy+wJ1didVt4AMunH04wZrKuM5S8ASYaMY8FL9jY4NAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"48413a0002e923f2a8410bce2c5f0e30b677757ddc1e07a0469a76610f7df57e","last_reissued_at":"2026-05-25T02:00:59.822475Z","signature_status":"signed_v1","first_computed_at":"2026-05-25T02:00:59.822475Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2201.10456","source_version":9,"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-25T02:00:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0zPIDCSvjxsLhAUor8gCTryj4PO1PZFEqq4dE0xvpB9arDDETSVFIUBf7+socBHv9Gc111V8AtsiA+NfUhJBCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T22:45:24.789528Z"},"content_sha256":"ea305c535c41e0bb55f13bb875aa53a610f87d4d19a68432bc755e3541398027","schema_version":"1.0","event_id":"sha256:ea305c535c41e0bb55f13bb875aa53a610f87d4d19a68432bc755e3541398027"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:JBATUAAC5ER7FKCBBPHCYXYOGC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Complete Theory of Sequential Digital Circuits: Denotational, Operational and Algebraic Semantics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL","math.CT"],"primary_cat":"cs.LO","authors_text":"Dan R. Ghica, David Sprunger, George Kaye","submitted_at":"2022-01-25T16:58:10Z","abstract_excerpt":"Digital circuits, despite having been studied for nearly a century and used at scale for about half that time, have until recently evaded a fully compositional theoretical in which arbitrary circuits may be freely composed together without consulting their internals. Recent work remedied this theoretical shortcoming by showing how digital circuits can be presented compositionally as morphisms in a freely generated symmetric traced category. However, this was done informally; in this paper we refine and expand the previous work in several ways, culminating in the presentation of three sound and"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2201.10456","kind":"arxiv","version":9},"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/2201.10456/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-05-25T02:00:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cAi5uNbNoAxn37gJXHjXU1C71njlOZDKbypqHz1WPjBP5H0Xi6b35ng+4JsZbafpYfEgJ6kSGwykG/AIlcLyBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T22:45:24.789920Z"},"content_sha256":"92dd559b2e774053e7be225a70d218966dcfb54dc1f30c43ececa745181c889c","schema_version":"1.0","event_id":"sha256:92dd559b2e774053e7be225a70d218966dcfb54dc1f30c43ececa745181c889c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JBATUAAC5ER7FKCBBPHCYXYOGC/bundle.json","state_url":"https://pith.science/pith/JBATUAAC5ER7FKCBBPHCYXYOGC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JBATUAAC5ER7FKCBBPHCYXYOGC/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-05-30T22:45:24Z","links":{"resolver":"https://pith.science/pith/JBATUAAC5ER7FKCBBPHCYXYOGC","bundle":"https://pith.science/pith/JBATUAAC5ER7FKCBBPHCYXYOGC/bundle.json","state":"https://pith.science/pith/JBATUAAC5ER7FKCBBPHCYXYOGC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JBATUAAC5ER7FKCBBPHCYXYOGC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:JBATUAAC5ER7FKCBBPHCYXYOGC","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":"cea390d6779b7c4e45d5d841ed309623afeb21b1beef60c1b1e357f371b877dd","cross_cats_sorted":["cs.PL","math.CT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2022-01-25T16:58:10Z","title_canon_sha256":"f65deab8d7b827724b2a023bdc8f8c80acc25522fa40da87e2a0c07cfd3ca5ac"},"schema_version":"1.0","source":{"id":"2201.10456","kind":"arxiv","version":9}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2201.10456","created_at":"2026-05-25T02:00:59Z"},{"alias_kind":"arxiv_version","alias_value":"2201.10456v9","created_at":"2026-05-25T02:00:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2201.10456","created_at":"2026-05-25T02:00:59Z"},{"alias_kind":"pith_short_12","alias_value":"JBATUAAC5ER7","created_at":"2026-05-25T02:00:59Z"},{"alias_kind":"pith_short_16","alias_value":"JBATUAAC5ER7FKCB","created_at":"2026-05-25T02:00:59Z"},{"alias_kind":"pith_short_8","alias_value":"JBATUAAC","created_at":"2026-05-25T02:00:59Z"}],"graph_snapshots":[{"event_id":"sha256:92dd559b2e774053e7be225a70d218966dcfb54dc1f30c43ececa745181c889c","target":"graph","created_at":"2026-05-25T02:00: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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2201.10456/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Digital circuits, despite having been studied for nearly a century and used at scale for about half that time, have until recently evaded a fully compositional theoretical in which arbitrary circuits may be freely composed together without consulting their internals. Recent work remedied this theoretical shortcoming by showing how digital circuits can be presented compositionally as morphisms in a freely generated symmetric traced category. However, this was done informally; in this paper we refine and expand the previous work in several ways, culminating in the presentation of three sound and","authors_text":"Dan R. Ghica, David Sprunger, George Kaye","cross_cats":["cs.PL","math.CT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2022-01-25T16:58:10Z","title":"A Complete Theory of Sequential Digital Circuits: Denotational, Operational and Algebraic Semantics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2201.10456","kind":"arxiv","version":9},"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:ea305c535c41e0bb55f13bb875aa53a610f87d4d19a68432bc755e3541398027","target":"record","created_at":"2026-05-25T02:00: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":"cea390d6779b7c4e45d5d841ed309623afeb21b1beef60c1b1e357f371b877dd","cross_cats_sorted":["cs.PL","math.CT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2022-01-25T16:58:10Z","title_canon_sha256":"f65deab8d7b827724b2a023bdc8f8c80acc25522fa40da87e2a0c07cfd3ca5ac"},"schema_version":"1.0","source":{"id":"2201.10456","kind":"arxiv","version":9}},"canonical_sha256":"48413a0002e923f2a8410bce2c5f0e30b677757ddc1e07a0469a76610f7df57e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"48413a0002e923f2a8410bce2c5f0e30b677757ddc1e07a0469a76610f7df57e","first_computed_at":"2026-05-25T02:00:59.822475Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-25T02:00:59.822475Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"0byur/oxOsy8jDmr5fW6wmYbe6Ge+GUPpMUk+Euemupy+wJ1didVt4AMunH04wZrKuM5S8ASYaMY8FL9jY4NAw==","signature_status":"signed_v1","signed_at":"2026-05-25T02:00:59.823095Z","signed_message":"canonical_sha256_bytes"},"source_id":"2201.10456","source_kind":"arxiv","source_version":9}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ea305c535c41e0bb55f13bb875aa53a610f87d4d19a68432bc755e3541398027","sha256:92dd559b2e774053e7be225a70d218966dcfb54dc1f30c43ececa745181c889c"],"state_sha256":"229bb780006dc60a01f6ec293283dd9b296734d47fcb2261179ad8b4bc753d86"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"U9TZuaeaKNSy0T1tbxIKdpHVXPujdGpol0gKaH27Lhht30t3314LrlsvvmqV+5CE+6z19bSNswAJaLSYgiAIBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T22:45:24.792074Z","bundle_sha256":"3e5c5ef8a85e3637bec2531fbd6409053a5575779a61eca2b88df78a92526b5a"}}