{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:3AEX76EW5PYGA63DFRJGFJDZCP","short_pith_number":"pith:3AEX76EW","canonical_record":{"source":{"id":"1609.04531","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.HO","submitted_at":"2016-09-15T08:27:50Z","cross_cats_sorted":["math.CA","math.LO"],"title_canon_sha256":"5615c2212a45798afdaf70846cc152d9bd35d20767e9ce79de7bd6ea08360e87","abstract_canon_sha256":"fd723dcd0b10c7a5f0eff9dfcda3f758dfb99363139e012e0e7ddba9060875fe"},"schema_version":"1.0"},"canonical_sha256":"d8097ff896ebf0607b632c5262a47913fd4d9022a9a22fa0f1fe6d005478efda","source":{"kind":"arxiv","id":"1609.04531","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1609.04531","created_at":"2026-05-18T01:04:36Z"},{"alias_kind":"arxiv_version","alias_value":"1609.04531v1","created_at":"2026-05-18T01:04:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1609.04531","created_at":"2026-05-18T01:04:36Z"},{"alias_kind":"pith_short_12","alias_value":"3AEX76EW5PYG","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_16","alias_value":"3AEX76EW5PYGA63D","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_8","alias_value":"3AEX76EW","created_at":"2026-05-18T12:29:55Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:3AEX76EW5PYGA63DFRJGFJDZCP","target":"record","payload":{"canonical_record":{"source":{"id":"1609.04531","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.HO","submitted_at":"2016-09-15T08:27:50Z","cross_cats_sorted":["math.CA","math.LO"],"title_canon_sha256":"5615c2212a45798afdaf70846cc152d9bd35d20767e9ce79de7bd6ea08360e87","abstract_canon_sha256":"fd723dcd0b10c7a5f0eff9dfcda3f758dfb99363139e012e0e7ddba9060875fe"},"schema_version":"1.0"},"canonical_sha256":"d8097ff896ebf0607b632c5262a47913fd4d9022a9a22fa0f1fe6d005478efda","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:04:36.433773Z","signature_b64":"tW8IMKat5+EFx68ytcZpuO4Ih743C7Qil0+3E786pqHvvdDr0C5HhrsrtVoAJps55DVDUxctY7zqQ3N9sxyUBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d8097ff896ebf0607b632c5262a47913fd4d9022a9a22fa0f1fe6d005478efda","last_reissued_at":"2026-05-18T01:04:36.432980Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:04:36.432980Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1609.04531","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-18T01:04:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0Yh05jwNw6bLKyYxy6BIAcsEExiiBeLki8ahDpKTxubnCoi9fvtM1WcRRvXd+zUtr/kS5Q3FiM3zMOSMnX0MCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T01:49:47.948932Z"},"content_sha256":"32bf1761254a1877d600458d01b950d5b95160d4daa0d1a0c8284c4de6a3a8ff","schema_version":"1.0","event_id":"sha256:32bf1761254a1877d600458d01b950d5b95160d4daa0d1a0c8284c4de6a3a8ff"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:3AEX76EW5PYGA63DFRJGFJDZCP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Toward a history of mathematics focused on procedures","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CA","math.LO"],"primary_cat":"math.HO","authors_text":"David Sherry, Karin U. Katz, Mikhail G. Katz, Piotr Blaszczyk, Semen S. Kutateladze, Vladimir Kanovei","submitted_at":"2016-09-15T08:27:50Z","abstract_excerpt":"Abraham Robinson's framework for modern infinitesimals was developed half a century ago. It enables a re-evaluation of the procedures of the pioneers of mathematical analysis. Their procedures have been often viewed through the lens of the success of the Weierstrassian foundations. We propose a view without passing through the lens, by means of proxies for such procedures in the modern theory of infinitesimals. The real accomplishments of calculus and analysis had been based primarily on the elaboration of novel techniques for solving problems rather than a quest for ultimate foundations. It m"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1609.04531","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-18T01:04:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qSMaQmflIg6MzNUEda++E69h8Z3KLhFrx7aF1scD0c9uPyV4GjPcnn1sRfjfBIkme4hgu4wPHCQLIPhlrXi5CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T01:49:47.949660Z"},"content_sha256":"132f844626d1ca75fc5584fb33db1bbeddcb092ef165f12e2706fbbce8f5a23e","schema_version":"1.0","event_id":"sha256:132f844626d1ca75fc5584fb33db1bbeddcb092ef165f12e2706fbbce8f5a23e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3AEX76EW5PYGA63DFRJGFJDZCP/bundle.json","state_url":"https://pith.science/pith/3AEX76EW5PYGA63DFRJGFJDZCP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3AEX76EW5PYGA63DFRJGFJDZCP/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-31T01:49:47Z","links":{"resolver":"https://pith.science/pith/3AEX76EW5PYGA63DFRJGFJDZCP","bundle":"https://pith.science/pith/3AEX76EW5PYGA63DFRJGFJDZCP/bundle.json","state":"https://pith.science/pith/3AEX76EW5PYGA63DFRJGFJDZCP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3AEX76EW5PYGA63DFRJGFJDZCP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:3AEX76EW5PYGA63DFRJGFJDZCP","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":"fd723dcd0b10c7a5f0eff9dfcda3f758dfb99363139e012e0e7ddba9060875fe","cross_cats_sorted":["math.CA","math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.HO","submitted_at":"2016-09-15T08:27:50Z","title_canon_sha256":"5615c2212a45798afdaf70846cc152d9bd35d20767e9ce79de7bd6ea08360e87"},"schema_version":"1.0","source":{"id":"1609.04531","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1609.04531","created_at":"2026-05-18T01:04:36Z"},{"alias_kind":"arxiv_version","alias_value":"1609.04531v1","created_at":"2026-05-18T01:04:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1609.04531","created_at":"2026-05-18T01:04:36Z"},{"alias_kind":"pith_short_12","alias_value":"3AEX76EW5PYG","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_16","alias_value":"3AEX76EW5PYGA63D","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_8","alias_value":"3AEX76EW","created_at":"2026-05-18T12:29:55Z"}],"graph_snapshots":[{"event_id":"sha256:132f844626d1ca75fc5584fb33db1bbeddcb092ef165f12e2706fbbce8f5a23e","target":"graph","created_at":"2026-05-18T01:04:36Z","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":"Abraham Robinson's framework for modern infinitesimals was developed half a century ago. It enables a re-evaluation of the procedures of the pioneers of mathematical analysis. Their procedures have been often viewed through the lens of the success of the Weierstrassian foundations. We propose a view without passing through the lens, by means of proxies for such procedures in the modern theory of infinitesimals. The real accomplishments of calculus and analysis had been based primarily on the elaboration of novel techniques for solving problems rather than a quest for ultimate foundations. It m","authors_text":"David Sherry, Karin U. Katz, Mikhail G. Katz, Piotr Blaszczyk, Semen S. Kutateladze, Vladimir Kanovei","cross_cats":["math.CA","math.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.HO","submitted_at":"2016-09-15T08:27:50Z","title":"Toward a history of mathematics focused on procedures"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1609.04531","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:32bf1761254a1877d600458d01b950d5b95160d4daa0d1a0c8284c4de6a3a8ff","target":"record","created_at":"2026-05-18T01:04:36Z","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":"fd723dcd0b10c7a5f0eff9dfcda3f758dfb99363139e012e0e7ddba9060875fe","cross_cats_sorted":["math.CA","math.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.HO","submitted_at":"2016-09-15T08:27:50Z","title_canon_sha256":"5615c2212a45798afdaf70846cc152d9bd35d20767e9ce79de7bd6ea08360e87"},"schema_version":"1.0","source":{"id":"1609.04531","kind":"arxiv","version":1}},"canonical_sha256":"d8097ff896ebf0607b632c5262a47913fd4d9022a9a22fa0f1fe6d005478efda","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d8097ff896ebf0607b632c5262a47913fd4d9022a9a22fa0f1fe6d005478efda","first_computed_at":"2026-05-18T01:04:36.432980Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:04:36.432980Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"tW8IMKat5+EFx68ytcZpuO4Ih743C7Qil0+3E786pqHvvdDr0C5HhrsrtVoAJps55DVDUxctY7zqQ3N9sxyUBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:04:36.433773Z","signed_message":"canonical_sha256_bytes"},"source_id":"1609.04531","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:32bf1761254a1877d600458d01b950d5b95160d4daa0d1a0c8284c4de6a3a8ff","sha256:132f844626d1ca75fc5584fb33db1bbeddcb092ef165f12e2706fbbce8f5a23e"],"state_sha256":"598fd2dcf0cbd68ca872e100802904b9f72daf7b16daa26c82a6244a040f95d2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"E0Y/8yBMFjHdFTkMnga9xc1YtKrbXrT47TAxbGpe7U6G6D8xefmPUHwfgOFmQBmxxwTHdNxtmqCPRbU58ly/CA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T01:49:47.953372Z","bundle_sha256":"3055c949d8769740c3dfcb0f23882244435f81ba215cfebb0cc0c5cf0a7d485a"}}