{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:R7TGSKXWHIUTEA7Y4BETR2SJQE","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":"5c6754f719f6f09588f38a1cc0415d1b75fdb64f390c746772be6023ce8cb09f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-03-29T21:24:07Z","title_canon_sha256":"3f7de390f4e19da2e0404cde95ef922cb80613115edb8e9ee06e614de318f1b9"},"schema_version":"1.0","source":{"id":"1703.10247","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1703.10247","created_at":"2026-05-18T00:47:37Z"},{"alias_kind":"arxiv_version","alias_value":"1703.10247v1","created_at":"2026-05-18T00:47:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1703.10247","created_at":"2026-05-18T00:47:37Z"},{"alias_kind":"pith_short_12","alias_value":"R7TGSKXWHIUT","created_at":"2026-05-18T12:31:39Z"},{"alias_kind":"pith_short_16","alias_value":"R7TGSKXWHIUTEA7Y","created_at":"2026-05-18T12:31:39Z"},{"alias_kind":"pith_short_8","alias_value":"R7TGSKXW","created_at":"2026-05-18T12:31:39Z"}],"graph_snapshots":[{"event_id":"sha256:b3725b50e7f599fef3435290c5364da619f003ae22b7167f97113aa696e1b68f","target":"graph","created_at":"2026-05-18T00:47:37Z","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 introduce a general diagrammatic theory of digital circuits, based on connections between monoidal categories and graph rewriting. The main achievement of the paper is conceptual, filling a foundational gap in reasoning syntactically and symbolically about a large class of digital circuits (discrete values, discrete delays, feedback). This complements the dominant approach to circuit modelling, which relies on simulation. The main advantage of our symbolic approach is the enabling of automated reasoning about abstract circuits, with a potentially interesting new application to partial evalu","authors_text":"Achim Jung, Aliaume Lopez, Dan R. Ghica","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-03-29T21:24:07Z","title":"Diagrammatic Semantics for Digital Circuits"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1703.10247","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:7988fdf46a83c471a5b334bcda858b51ca4ff656b3136f922796c812cc946c29","target":"record","created_at":"2026-05-18T00:47:37Z","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":"5c6754f719f6f09588f38a1cc0415d1b75fdb64f390c746772be6023ce8cb09f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-03-29T21:24:07Z","title_canon_sha256":"3f7de390f4e19da2e0404cde95ef922cb80613115edb8e9ee06e614de318f1b9"},"schema_version":"1.0","source":{"id":"1703.10247","kind":"arxiv","version":1}},"canonical_sha256":"8fe6692af63a293203f8e04938ea498131cf3a64b447244f4008c65973344325","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8fe6692af63a293203f8e04938ea498131cf3a64b447244f4008c65973344325","first_computed_at":"2026-05-18T00:47:37.558116Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:47:37.558116Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"M5lc2RG4KjO1Wi4LKE2uJJ/9MrxURzP8gXe1OI7bbL7+QHzpf8WadKi9rAoQtnafdfs6yjEY9GU5gqrjWq02AA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:47:37.558585Z","signed_message":"canonical_sha256_bytes"},"source_id":"1703.10247","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7988fdf46a83c471a5b334bcda858b51ca4ff656b3136f922796c812cc946c29","sha256:b3725b50e7f599fef3435290c5364da619f003ae22b7167f97113aa696e1b68f"],"state_sha256":"7c0f5f8f4acf215c1863bc4d70ba34e4d7953ae6f36d0c08e8103d9d2dca9cef"}