{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:MFDS2VOQ7FHYXEGXXYP4TPZZTS","short_pith_number":"pith:MFDS2VOQ","canonical_record":{"source":{"id":"2509.02758","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.HO","submitted_at":"2025-09-02T19:04:45Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"dbe13de856839330489354d0564d4da32eb544295320eced4d4ea5988004393c","abstract_canon_sha256":"2cfd3c2734278c93144c7bfcd5d7165436ff69b58dfb42d4e2987d59c76d5749"},"schema_version":"1.0"},"canonical_sha256":"61472d55d0f94f8b90d7be1fc9bf399caf01f7223e135c3fac48336cdf768281","source":{"kind":"arxiv","id":"2509.02758","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2509.02758","created_at":"2026-07-27T00:19:44Z"},{"alias_kind":"arxiv_version","alias_value":"2509.02758v3","created_at":"2026-07-27T00:19:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2509.02758","created_at":"2026-07-27T00:19:44Z"},{"alias_kind":"pith_short_12","alias_value":"MFDS2VOQ7FHY","created_at":"2026-07-27T00:19:44Z"},{"alias_kind":"pith_short_16","alias_value":"MFDS2VOQ7FHYXEGX","created_at":"2026-07-27T00:19:44Z"},{"alias_kind":"pith_short_8","alias_value":"MFDS2VOQ","created_at":"2026-07-27T00:19:44Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:MFDS2VOQ7FHYXEGXXYP4TPZZTS","target":"record","payload":{"canonical_record":{"source":{"id":"2509.02758","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.HO","submitted_at":"2025-09-02T19:04:45Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"dbe13de856839330489354d0564d4da32eb544295320eced4d4ea5988004393c","abstract_canon_sha256":"2cfd3c2734278c93144c7bfcd5d7165436ff69b58dfb42d4e2987d59c76d5749"},"schema_version":"1.0"},"canonical_sha256":"61472d55d0f94f8b90d7be1fc9bf399caf01f7223e135c3fac48336cdf768281","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-27T00:19:44.168061Z","signature_b64":"2VP1ujdPtmPdvz5qAPR4StN0MwsPGOvPBWlIxtAxXey4UjRyUCqw4XffTt1NQb31BQsHawG8SDqTCyoisqoZAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"61472d55d0f94f8b90d7be1fc9bf399caf01f7223e135c3fac48336cdf768281","last_reissued_at":"2026-07-27T00:19:44.167152Z","signature_status":"signed_v1","first_computed_at":"2026-07-27T00:19:44.167152Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2509.02758","source_version":3,"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-27T00:19:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tBbyqFib+l+tcqFBUfofyl/JFOTopWJXmhqx96cUAwVEolpaLPHMK+nfFW5dersu8TFf0XwZ00L1tsXihwn0Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T08:25:18.592939Z"},"content_sha256":"ba600a56ee54c0473e5ea05f94433c288370a48708c8c9b866d922c3767cc0ed","schema_version":"1.0","event_id":"sha256:ba600a56ee54c0473e5ea05f94433c288370a48708c8c9b866d922c3767cc0ed"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:MFDS2VOQ7FHYXEGXXYP4TPZZTS","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"math.HO","authors_text":"Lielle Rifkin, Matthew Chen, Michael Bouzinier, Sergey Trifonov, Tarun Venkatesh","submitted_at":"2025-09-02T19:04:45Z","abstract_excerpt":"Euclidean geometry has historically played a central role in cultivating logical reasoning and abstract thinking within mathematics education, but has experienced waning emphasis in recent curricula. The resurgence of interest, driven by advances in artificial intelligence and educational technology, has highlighted geometry's potential to develop essential cognitive skills and inspired new approaches to automated problem solving and proof verification. This article presents an ontology-based framework for annotating and optimizing geometry problem sets, originally developed in the 1990s. The "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2509.02758","kind":"arxiv","version":3},"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/2509.02758/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-27T00:19:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RUX6DZBAo4YayXtJ4POVyplgBO8HhedEi4fO9KqYz1uZoOgNgFxdJXaNHtTZuE0V6KggXWTOTrp1jqsqkFneCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T08:25:18.593329Z"},"content_sha256":"0045d822c2bfb992eae0a59703bf0981095ca18c5bd10b06c89e919b7698b1fd","schema_version":"1.0","event_id":"sha256:0045d822c2bfb992eae0a59703bf0981095ca18c5bd10b06c89e919b7698b1fd"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MFDS2VOQ7FHYXEGXXYP4TPZZTS/bundle.json","state_url":"https://pith.science/pith/MFDS2VOQ7FHYXEGXXYP4TPZZTS/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MFDS2VOQ7FHYXEGXXYP4TPZZTS/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-07T08:25:18Z","links":{"resolver":"https://pith.science/pith/MFDS2VOQ7FHYXEGXXYP4TPZZTS","bundle":"https://pith.science/pith/MFDS2VOQ7FHYXEGXXYP4TPZZTS/bundle.json","state":"https://pith.science/pith/MFDS2VOQ7FHYXEGXXYP4TPZZTS/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MFDS2VOQ7FHYXEGXXYP4TPZZTS/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:MFDS2VOQ7FHYXEGXXYP4TPZZTS","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":"2cfd3c2734278c93144c7bfcd5d7165436ff69b58dfb42d4e2987d59c76d5749","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.HO","submitted_at":"2025-09-02T19:04:45Z","title_canon_sha256":"dbe13de856839330489354d0564d4da32eb544295320eced4d4ea5988004393c"},"schema_version":"1.0","source":{"id":"2509.02758","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2509.02758","created_at":"2026-07-27T00:19:44Z"},{"alias_kind":"arxiv_version","alias_value":"2509.02758v3","created_at":"2026-07-27T00:19:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2509.02758","created_at":"2026-07-27T00:19:44Z"},{"alias_kind":"pith_short_12","alias_value":"MFDS2VOQ7FHY","created_at":"2026-07-27T00:19:44Z"},{"alias_kind":"pith_short_16","alias_value":"MFDS2VOQ7FHYXEGX","created_at":"2026-07-27T00:19:44Z"},{"alias_kind":"pith_short_8","alias_value":"MFDS2VOQ","created_at":"2026-07-27T00:19:44Z"}],"graph_snapshots":[{"event_id":"sha256:0045d822c2bfb992eae0a59703bf0981095ca18c5bd10b06c89e919b7698b1fd","target":"graph","created_at":"2026-07-27T00:19:44Z","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/2509.02758/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Euclidean geometry has historically played a central role in cultivating logical reasoning and abstract thinking within mathematics education, but has experienced waning emphasis in recent curricula. The resurgence of interest, driven by advances in artificial intelligence and educational technology, has highlighted geometry's potential to develop essential cognitive skills and inspired new approaches to automated problem solving and proof verification. This article presents an ontology-based framework for annotating and optimizing geometry problem sets, originally developed in the 1990s. The ","authors_text":"Lielle Rifkin, Matthew Chen, Michael Bouzinier, Sergey Trifonov, Tarun Venkatesh","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.HO","submitted_at":"2025-09-02T19:04:45Z","title":"An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2509.02758","kind":"arxiv","version":3},"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:ba600a56ee54c0473e5ea05f94433c288370a48708c8c9b866d922c3767cc0ed","target":"record","created_at":"2026-07-27T00:19:44Z","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":"2cfd3c2734278c93144c7bfcd5d7165436ff69b58dfb42d4e2987d59c76d5749","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.HO","submitted_at":"2025-09-02T19:04:45Z","title_canon_sha256":"dbe13de856839330489354d0564d4da32eb544295320eced4d4ea5988004393c"},"schema_version":"1.0","source":{"id":"2509.02758","kind":"arxiv","version":3}},"canonical_sha256":"61472d55d0f94f8b90d7be1fc9bf399caf01f7223e135c3fac48336cdf768281","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"61472d55d0f94f8b90d7be1fc9bf399caf01f7223e135c3fac48336cdf768281","first_computed_at":"2026-07-27T00:19:44.167152Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-27T00:19:44.167152Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"2VP1ujdPtmPdvz5qAPR4StN0MwsPGOvPBWlIxtAxXey4UjRyUCqw4XffTt1NQb31BQsHawG8SDqTCyoisqoZAQ==","signature_status":"signed_v1","signed_at":"2026-07-27T00:19:44.168061Z","signed_message":"canonical_sha256_bytes"},"source_id":"2509.02758","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ba600a56ee54c0473e5ea05f94433c288370a48708c8c9b866d922c3767cc0ed","sha256:0045d822c2bfb992eae0a59703bf0981095ca18c5bd10b06c89e919b7698b1fd"],"state_sha256":"9e478b71a2904dbec9588d2f575ce9ef56abde65c28958d58c403719cc7adcfd"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XVOQYCCjzzvjA+8B1TAoA498VDGn+hHhQa5xMaVGfURz5Fbc4UN1v65K8Tbx5kWlVDBefZCAd7T9g8p8Lu6zBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-07T08:25:18.596024Z","bundle_sha256":"b82b9c87e21f1c33389e7c5698db95957a6cff13c03f6bab2e279443b91fdf00"}}