{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:LMXZLPQPMPSPLWZY6CBVJORFYP","short_pith_number":"pith:LMXZLPQP","canonical_record":{"source":{"id":"1311.1423","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.OH","submitted_at":"2013-11-06T15:39:45Z","cross_cats_sorted":[],"title_canon_sha256":"6aad366f06857d03740d302aecb46e2057887914311f7bcb73b8a0683cddc5b1","abstract_canon_sha256":"ec11b2383f679fe457c41c612a0dbd5831aeec930acf2228f96fdb1741a06586"},"schema_version":"1.0"},"canonical_sha256":"5b2f95be0f63e4f5db38f08354ba25c3f983a25bac6b952bb1f088aca9253628","source":{"kind":"arxiv","id":"1311.1423","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1311.1423","created_at":"2026-05-18T03:07:53Z"},{"alias_kind":"arxiv_version","alias_value":"1311.1423v1","created_at":"2026-05-18T03:07:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1311.1423","created_at":"2026-05-18T03:07:53Z"},{"alias_kind":"pith_short_12","alias_value":"LMXZLPQPMPSP","created_at":"2026-05-18T12:27:51Z"},{"alias_kind":"pith_short_16","alias_value":"LMXZLPQPMPSPLWZY","created_at":"2026-05-18T12:27:51Z"},{"alias_kind":"pith_short_8","alias_value":"LMXZLPQP","created_at":"2026-05-18T12:27:51Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:LMXZLPQPMPSPLWZY6CBVJORFYP","target":"record","payload":{"canonical_record":{"source":{"id":"1311.1423","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.OH","submitted_at":"2013-11-06T15:39:45Z","cross_cats_sorted":[],"title_canon_sha256":"6aad366f06857d03740d302aecb46e2057887914311f7bcb73b8a0683cddc5b1","abstract_canon_sha256":"ec11b2383f679fe457c41c612a0dbd5831aeec930acf2228f96fdb1741a06586"},"schema_version":"1.0"},"canonical_sha256":"5b2f95be0f63e4f5db38f08354ba25c3f983a25bac6b952bb1f088aca9253628","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:07:53.371974Z","signature_b64":"u9oSDptb67kF8265Yq73QUh3/Rq+2spQRxgUTuQi55CKuktRd2e3Pjv95IOWzfLp4gXLzX8teMlwOy6K793oDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5b2f95be0f63e4f5db38f08354ba25c3f983a25bac6b952bb1f088aca9253628","last_reissued_at":"2026-05-18T03:07:53.371380Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:07:53.371380Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1311.1423","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-18T03:07:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Bdh5qpzqCZPERi3EMzIMNW2FbjVHBIRWd3NinNwi7aeYgM4iAX878XUXiQG0Hzc6l52CWdvMEZTaPUZO+M/eCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T13:07:33.090956Z"},"content_sha256":"ef1c4832591f77d10b432bf987fb3be41bce4d0e7faaa75120c733d31d4bf156","schema_version":"1.0","event_id":"sha256:ef1c4832591f77d10b432bf987fb3be41bce4d0e7faaa75120c733d31d4bf156"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:LMXZLPQPMPSPLWZY6CBVJORFYP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Unfaithful Glitch Propagation in Existing Binary Circuit Models","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.OH","authors_text":"Matthias F\\\"ugger, Thomas Nowak, Ulrich Schmid","submitted_at":"2013-11-06T15:39:45Z","abstract_excerpt":"We show that no existing continuous-time, binary value-domain model for digital circuits is able to correctly capture glitch propagation. Prominent examples of such models are based on pure delay channels (P), inertial delay channels (I), or the elaborate PID channels proposed by Bellido-D\\'iaz et al. We accomplish our goal by considering the solvability/non-solvability border of a simple problem called Short-Pulse Filtration (SPF), which is closely related to arbitration and synchronization. On one hand, we prove that SPF is solvable in bounded time in any such model that provides channels wi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1311.1423","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-18T03:07:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MqufDZN5oBuKl5LI+oHmzrZbQhFu5nLpiJOGAX2e1wyfl9tIWgHM/0byrvljJhviEuhDvCS9gp39eAgtcRpfCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T13:07:33.091306Z"},"content_sha256":"2b0953c50afe02343d21289152e4633885ba77ca128f7b4384d5daac60e5d7db","schema_version":"1.0","event_id":"sha256:2b0953c50afe02343d21289152e4633885ba77ca128f7b4384d5daac60e5d7db"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/LMXZLPQPMPSPLWZY6CBVJORFYP/bundle.json","state_url":"https://pith.science/pith/LMXZLPQPMPSPLWZY6CBVJORFYP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/LMXZLPQPMPSPLWZY6CBVJORFYP/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-30T13:07:33Z","links":{"resolver":"https://pith.science/pith/LMXZLPQPMPSPLWZY6CBVJORFYP","bundle":"https://pith.science/pith/LMXZLPQPMPSPLWZY6CBVJORFYP/bundle.json","state":"https://pith.science/pith/LMXZLPQPMPSPLWZY6CBVJORFYP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/LMXZLPQPMPSPLWZY6CBVJORFYP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:LMXZLPQPMPSPLWZY6CBVJORFYP","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":"ec11b2383f679fe457c41c612a0dbd5831aeec930acf2228f96fdb1741a06586","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.OH","submitted_at":"2013-11-06T15:39:45Z","title_canon_sha256":"6aad366f06857d03740d302aecb46e2057887914311f7bcb73b8a0683cddc5b1"},"schema_version":"1.0","source":{"id":"1311.1423","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1311.1423","created_at":"2026-05-18T03:07:53Z"},{"alias_kind":"arxiv_version","alias_value":"1311.1423v1","created_at":"2026-05-18T03:07:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1311.1423","created_at":"2026-05-18T03:07:53Z"},{"alias_kind":"pith_short_12","alias_value":"LMXZLPQPMPSP","created_at":"2026-05-18T12:27:51Z"},{"alias_kind":"pith_short_16","alias_value":"LMXZLPQPMPSPLWZY","created_at":"2026-05-18T12:27:51Z"},{"alias_kind":"pith_short_8","alias_value":"LMXZLPQP","created_at":"2026-05-18T12:27:51Z"}],"graph_snapshots":[{"event_id":"sha256:2b0953c50afe02343d21289152e4633885ba77ca128f7b4384d5daac60e5d7db","target":"graph","created_at":"2026-05-18T03:07:53Z","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 show that no existing continuous-time, binary value-domain model for digital circuits is able to correctly capture glitch propagation. Prominent examples of such models are based on pure delay channels (P), inertial delay channels (I), or the elaborate PID channels proposed by Bellido-D\\'iaz et al. We accomplish our goal by considering the solvability/non-solvability border of a simple problem called Short-Pulse Filtration (SPF), which is closely related to arbitration and synchronization. On one hand, we prove that SPF is solvable in bounded time in any such model that provides channels wi","authors_text":"Matthias F\\\"ugger, Thomas Nowak, Ulrich Schmid","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.OH","submitted_at":"2013-11-06T15:39:45Z","title":"Unfaithful Glitch Propagation in Existing Binary Circuit Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1311.1423","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:ef1c4832591f77d10b432bf987fb3be41bce4d0e7faaa75120c733d31d4bf156","target":"record","created_at":"2026-05-18T03:07:53Z","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":"ec11b2383f679fe457c41c612a0dbd5831aeec930acf2228f96fdb1741a06586","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.OH","submitted_at":"2013-11-06T15:39:45Z","title_canon_sha256":"6aad366f06857d03740d302aecb46e2057887914311f7bcb73b8a0683cddc5b1"},"schema_version":"1.0","source":{"id":"1311.1423","kind":"arxiv","version":1}},"canonical_sha256":"5b2f95be0f63e4f5db38f08354ba25c3f983a25bac6b952bb1f088aca9253628","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5b2f95be0f63e4f5db38f08354ba25c3f983a25bac6b952bb1f088aca9253628","first_computed_at":"2026-05-18T03:07:53.371380Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:07:53.371380Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"u9oSDptb67kF8265Yq73QUh3/Rq+2spQRxgUTuQi55CKuktRd2e3Pjv95IOWzfLp4gXLzX8teMlwOy6K793oDw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:07:53.371974Z","signed_message":"canonical_sha256_bytes"},"source_id":"1311.1423","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ef1c4832591f77d10b432bf987fb3be41bce4d0e7faaa75120c733d31d4bf156","sha256:2b0953c50afe02343d21289152e4633885ba77ca128f7b4384d5daac60e5d7db"],"state_sha256":"38ecc9f31889cf68226d3010af1c64aef0486353f62979be7e22c49fccd5b5a4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pPtfjJO6H7NJJF2vLFHQYvk4g0A6j7QM2yXS9gryAVWGLT0j7oW4Fdff5gnRHXcLYEVDustuvJyMsRqnJRKXDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T13:07:33.093281Z","bundle_sha256":"06ebe3936f41d4cc80bf2ba9902780f638546b8faebfc492cbb8830226053709"}}