{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:5OM4ZMP22RPHHWAR7ZNMZKPPD3","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":"3eaf62b097b90b5d050c83d461f1c4478fdefeab97a6aacd61454971736ba291","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-07-07T15:33:35Z","title_canon_sha256":"adf73cac463240533f63650a35c62cd1eea8d42d9e30771e49ae9ed5627fa96c"},"schema_version":"1.0","source":{"id":"1907.04134","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1907.04134","created_at":"2026-05-17T23:41:03Z"},{"alias_kind":"arxiv_version","alias_value":"1907.04134v1","created_at":"2026-05-17T23:41:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.04134","created_at":"2026-05-17T23:41:03Z"},{"alias_kind":"pith_short_12","alias_value":"5OM4ZMP22RPH","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_16","alias_value":"5OM4ZMP22RPHHWAR","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_8","alias_value":"5OM4ZMP2","created_at":"2026-05-18T12:33:10Z"}],"graph_snapshots":[{"event_id":"sha256:9137c48259ffe2c6adc99ee2bf5c23a0c1940e20c9a509f2e134f543080833b4","target":"graph","created_at":"2026-05-17T23:41:03Z","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":"There is a sharp disconnect between the programming and mathematical portions of the standard undergraduate computer science curriculum, leading to student misunderstanding about how the two are related. We propose connecting the subjects early in the curriculum---specifically, in CS1 and the introductory discrete mathematics course---by using formal reasoning about programs as a bridge between them.\n  This article reports on Haverford and Grinnell College's experience in constructing the end points of this bridge between CS1 and discrete mathematics. Haverford's long-standing \"3-2-1\" curricul","authors_text":"David G. Wonnacott, Peter-Michael Osera","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-07-07T15:33:35Z","title":"A Bridge Anchored on Both Sides: Formal Deduction in Introductory CS, and Code Proofs in Discrete Math"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.04134","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:fd159fb05818236fc6890b30c8a9251aa0854230a42a84c491730408ee118955","target":"record","created_at":"2026-05-17T23:41:03Z","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":"3eaf62b097b90b5d050c83d461f1c4478fdefeab97a6aacd61454971736ba291","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-07-07T15:33:35Z","title_canon_sha256":"adf73cac463240533f63650a35c62cd1eea8d42d9e30771e49ae9ed5627fa96c"},"schema_version":"1.0","source":{"id":"1907.04134","kind":"arxiv","version":1}},"canonical_sha256":"eb99ccb1fad45e73d811fe5acca9ef1ed018c6ba4105ae682d81507c9b689aac","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"eb99ccb1fad45e73d811fe5acca9ef1ed018c6ba4105ae682d81507c9b689aac","first_computed_at":"2026-05-17T23:41:03.235013Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:41:03.235013Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"0CiMhe1koSS6IL3XoCa2S/b3YvM4IlyO7qdnc7SJvyFs9tdP8VIYSXgWWQvLQ8pSwD1P2NaP1+VNcYqQdj2+CQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:41:03.235619Z","signed_message":"canonical_sha256_bytes"},"source_id":"1907.04134","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fd159fb05818236fc6890b30c8a9251aa0854230a42a84c491730408ee118955","sha256:9137c48259ffe2c6adc99ee2bf5c23a0c1940e20c9a509f2e134f543080833b4"],"state_sha256":"eb68bd7a9fcb89688b5b97caeba32f5e6db770ff8599bb38cd37e18d156ce91e"}