{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:BNYUMP4OQ7NTJ7GF6BO3WPAT2N","short_pith_number":"pith:BNYUMP4O","canonical_record":{"source":{"id":"2211.09609","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CY","submitted_at":"2022-11-17T15:57:59Z","cross_cats_sorted":[],"title_canon_sha256":"c09abc164fd7bd304fc09d66e62bc2aabc884c776f7b07a2837362c196c194de","abstract_canon_sha256":"75644bee539490556446dbe64ceaf977b9342cbe0b8ef55b026251b92e219e05"},"schema_version":"1.0"},"canonical_sha256":"0b71463f8e87db34fcc5f05dbb3c13d3656442e58e66ff4941b721635a95e191","source":{"kind":"arxiv","id":"2211.09609","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2211.09609","created_at":"2026-07-05T05:26:10Z"},{"alias_kind":"arxiv_version","alias_value":"2211.09609v2","created_at":"2026-07-05T05:26:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2211.09609","created_at":"2026-07-05T05:26:10Z"},{"alias_kind":"pith_short_12","alias_value":"BNYUMP4OQ7NT","created_at":"2026-07-05T05:26:10Z"},{"alias_kind":"pith_short_16","alias_value":"BNYUMP4OQ7NTJ7GF","created_at":"2026-07-05T05:26:10Z"},{"alias_kind":"pith_short_8","alias_value":"BNYUMP4O","created_at":"2026-07-05T05:26:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:BNYUMP4OQ7NTJ7GF6BO3WPAT2N","target":"record","payload":{"canonical_record":{"source":{"id":"2211.09609","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CY","submitted_at":"2022-11-17T15:57:59Z","cross_cats_sorted":[],"title_canon_sha256":"c09abc164fd7bd304fc09d66e62bc2aabc884c776f7b07a2837362c196c194de","abstract_canon_sha256":"75644bee539490556446dbe64ceaf977b9342cbe0b8ef55b026251b92e219e05"},"schema_version":"1.0"},"canonical_sha256":"0b71463f8e87db34fcc5f05dbb3c13d3656442e58e66ff4941b721635a95e191","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:26:10.773000Z","signature_b64":"TJQkOvPqbq6MYcm0hrY7wJSC8bLiPrcmd16tg+8jC6krp8/mGQtNDsDtzNOmJnZ6RVBQNDhLalLRc51VZjnGAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0b71463f8e87db34fcc5f05dbb3c13d3656442e58e66ff4941b721635a95e191","last_reissued_at":"2026-07-05T05:26:10.772582Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:26:10.772582Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2211.09609","source_version":2,"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-05T05:26:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FH91b0ytUqdJCER4Cm5ufdoyoM7SZVEwwOGyYVspL0G43Ku74/ZYix2eJySvbwGdv2WrCFJkOd4vFjEv1GMsCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T17:34:16.138676Z"},"content_sha256":"43779a4b4f99153c328dbbc4d045f5861be1726f23ae82699554389016862908","schema_version":"1.0","event_id":"sha256:43779a4b4f99153c328dbbc4d045f5861be1726f23ae82699554389016862908"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:BNYUMP4OQ7NTJ7GF6BO3WPAT2N","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Efficiency of Learning from Proof Blocks Versus Writing Proofs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CY","authors_text":"Benjamin Cosman, Geoffrey L. Herman, Matthew West, Seth Poulsen, Yael Gertner","submitted_at":"2022-11-17T15:57:59Z","abstract_excerpt":"Proof Blocks is a software tool that provides students with a scaffolded proof-writing experience, allowing them to drag and drop prewritten proof lines into the correct order instead of starting from scratch. In this paper we describe a randomized controlled trial designed to measure the learning gains of using Proof Blocks for students learning proof by induction. The study participants were 332 students recruited after completing the first month of their discrete mathematics course. Students in the study took a pretest and read lecture notes on proof by induction, completed a brief (less th"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2211.09609","kind":"arxiv","version":2},"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/2211.09609/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-05T05:26:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8YsPnFEYr1Sxsn3eE/wVSp7l7XNTaHij5cClBUYTzNRWMRJ3JBG2R0fYcbuZQ9idvvMmjEdlCmdBQrdFn5KOAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T17:34:16.139282Z"},"content_sha256":"bc796ff2a643bd28776580c6526de685b7d93d7f83635cecc785498411814bf0","schema_version":"1.0","event_id":"sha256:bc796ff2a643bd28776580c6526de685b7d93d7f83635cecc785498411814bf0"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BNYUMP4OQ7NTJ7GF6BO3WPAT2N/bundle.json","state_url":"https://pith.science/pith/BNYUMP4OQ7NTJ7GF6BO3WPAT2N/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BNYUMP4OQ7NTJ7GF6BO3WPAT2N/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-03T17:34:16Z","links":{"resolver":"https://pith.science/pith/BNYUMP4OQ7NTJ7GF6BO3WPAT2N","bundle":"https://pith.science/pith/BNYUMP4OQ7NTJ7GF6BO3WPAT2N/bundle.json","state":"https://pith.science/pith/BNYUMP4OQ7NTJ7GF6BO3WPAT2N/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BNYUMP4OQ7NTJ7GF6BO3WPAT2N/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:BNYUMP4OQ7NTJ7GF6BO3WPAT2N","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":"75644bee539490556446dbe64ceaf977b9342cbe0b8ef55b026251b92e219e05","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CY","submitted_at":"2022-11-17T15:57:59Z","title_canon_sha256":"c09abc164fd7bd304fc09d66e62bc2aabc884c776f7b07a2837362c196c194de"},"schema_version":"1.0","source":{"id":"2211.09609","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2211.09609","created_at":"2026-07-05T05:26:10Z"},{"alias_kind":"arxiv_version","alias_value":"2211.09609v2","created_at":"2026-07-05T05:26:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2211.09609","created_at":"2026-07-05T05:26:10Z"},{"alias_kind":"pith_short_12","alias_value":"BNYUMP4OQ7NT","created_at":"2026-07-05T05:26:10Z"},{"alias_kind":"pith_short_16","alias_value":"BNYUMP4OQ7NTJ7GF","created_at":"2026-07-05T05:26:10Z"},{"alias_kind":"pith_short_8","alias_value":"BNYUMP4O","created_at":"2026-07-05T05:26:10Z"}],"graph_snapshots":[{"event_id":"sha256:bc796ff2a643bd28776580c6526de685b7d93d7f83635cecc785498411814bf0","target":"graph","created_at":"2026-07-05T05:26:10Z","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/2211.09609/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Proof Blocks is a software tool that provides students with a scaffolded proof-writing experience, allowing them to drag and drop prewritten proof lines into the correct order instead of starting from scratch. In this paper we describe a randomized controlled trial designed to measure the learning gains of using Proof Blocks for students learning proof by induction. The study participants were 332 students recruited after completing the first month of their discrete mathematics course. Students in the study took a pretest and read lecture notes on proof by induction, completed a brief (less th","authors_text":"Benjamin Cosman, Geoffrey L. Herman, Matthew West, Seth Poulsen, Yael Gertner","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CY","submitted_at":"2022-11-17T15:57:59Z","title":"Efficiency of Learning from Proof Blocks Versus Writing Proofs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2211.09609","kind":"arxiv","version":2},"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:43779a4b4f99153c328dbbc4d045f5861be1726f23ae82699554389016862908","target":"record","created_at":"2026-07-05T05:26:10Z","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":"75644bee539490556446dbe64ceaf977b9342cbe0b8ef55b026251b92e219e05","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CY","submitted_at":"2022-11-17T15:57:59Z","title_canon_sha256":"c09abc164fd7bd304fc09d66e62bc2aabc884c776f7b07a2837362c196c194de"},"schema_version":"1.0","source":{"id":"2211.09609","kind":"arxiv","version":2}},"canonical_sha256":"0b71463f8e87db34fcc5f05dbb3c13d3656442e58e66ff4941b721635a95e191","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0b71463f8e87db34fcc5f05dbb3c13d3656442e58e66ff4941b721635a95e191","first_computed_at":"2026-07-05T05:26:10.772582Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:26:10.772582Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"TJQkOvPqbq6MYcm0hrY7wJSC8bLiPrcmd16tg+8jC6krp8/mGQtNDsDtzNOmJnZ6RVBQNDhLalLRc51VZjnGAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T05:26:10.773000Z","signed_message":"canonical_sha256_bytes"},"source_id":"2211.09609","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:43779a4b4f99153c328dbbc4d045f5861be1726f23ae82699554389016862908","sha256:bc796ff2a643bd28776580c6526de685b7d93d7f83635cecc785498411814bf0"],"state_sha256":"e7a46f90511d6ee02de56363077603b41456c37d899ddf49e170e9da86f62eeb"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MuTLR+ZHUj3MbzFKZt5o20vUrtvIc6/aPNaTGvgXfoLNMOWhyM6LPP2lG8E8L1AZLs97A/05n3EjUxNyxWqzDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-03T17:34:16.146042Z","bundle_sha256":"4b92cc3f0c659dceb2e2432635489021d272aa3e54ebedba31783bcb0c6a6dad"}}