{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:THAI5MELBMTESLI6RHN4CG74AM","short_pith_number":"pith:THAI5MEL","schema_version":"1.0","canonical_sha256":"99c08eb08b0b26492d1e89dbc11bfc031aad27765f8cbf25e70c934f1911bc2e","source":{"kind":"arxiv","id":"2606.21738","version":1},"attestation_state":"computed","paper":{"title":"Pointwise Mean Value Theorems in Constructive Mathematics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"James E. Hanson, Jananan Arulseelan","submitted_at":"2026-06-19T20:50:26Z","abstract_excerpt":"We answer some questions regarding the mean value theorem and related results in constructive mathematics. The answers to these questions reveal interesting properties of the Mean Value Theorem, Law of Bounded Change, and Constancy Principle. We see that, in contrast to the Intermediate Value Theorem whose approximate analogue was shown to hold constructively by Frank, the natural approximate versions of these theorems fail to hold in neutral constructive mathematics. Our proof of this makes use of the existence of a topos in which the real numbers are in bijection with the naturals, which was"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2606.21738","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2026-06-19T20:50:26Z","cross_cats_sorted":[],"title_canon_sha256":"78390b5e36a7e4d1ff0720e4d5784623bd9cb5f255539c2cef90fa8b3dd31ac8","abstract_canon_sha256":"b4dbcf43abb0efe8a7c304e4d7b2f95846f08720a1f3c491413ed99cc886bff6"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-23T01:13:21.160052Z","signature_b64":"2Gktdtumzjml2vssaPsj0wgtBQgfNW5LNZOi02zXXAiRIf22Hbj4R4xiEIXbuCMQFc6wxnTULybQrht/W0Y2BA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"99c08eb08b0b26492d1e89dbc11bfc031aad27765f8cbf25e70c934f1911bc2e","last_reissued_at":"2026-06-23T01:13:21.159569Z","signature_status":"signed_v1","first_computed_at":"2026-06-23T01:13:21.159569Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Pointwise Mean Value Theorems in Constructive Mathematics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.LO","authors_text":"James E. Hanson, Jananan Arulseelan","submitted_at":"2026-06-19T20:50:26Z","abstract_excerpt":"We answer some questions regarding the mean value theorem and related results in constructive mathematics. The answers to these questions reveal interesting properties of the Mean Value Theorem, Law of Bounded Change, and Constancy Principle. We see that, in contrast to the Intermediate Value Theorem whose approximate analogue was shown to hold constructively by Frank, the natural approximate versions of these theorems fail to hold in neutral constructive mathematics. Our proof of this makes use of the existence of a topos in which the real numbers are in bijection with the naturals, which was"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.21738","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2606.21738/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2606.21738","created_at":"2026-06-23T01:13:21.159636+00:00"},{"alias_kind":"arxiv_version","alias_value":"2606.21738v1","created_at":"2026-06-23T01:13:21.159636+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.21738","created_at":"2026-06-23T01:13:21.159636+00:00"},{"alias_kind":"pith_short_12","alias_value":"THAI5MELBMTE","created_at":"2026-06-23T01:13:21.159636+00:00"},{"alias_kind":"pith_short_16","alias_value":"THAI5MELBMTESLI6","created_at":"2026-06-23T01:13:21.159636+00:00"},{"alias_kind":"pith_short_8","alias_value":"THAI5MEL","created_at":"2026-06-23T01:13:21.159636+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/THAI5MELBMTESLI6RHN4CG74AM","json":"https://pith.science/pith/THAI5MELBMTESLI6RHN4CG74AM.json","graph_json":"https://pith.science/api/pith-number/THAI5MELBMTESLI6RHN4CG74AM/graph.json","events_json":"https://pith.science/api/pith-number/THAI5MELBMTESLI6RHN4CG74AM/events.json","paper":"https://pith.science/paper/THAI5MEL"},"agent_actions":{"view_html":"https://pith.science/pith/THAI5MELBMTESLI6RHN4CG74AM","download_json":"https://pith.science/pith/THAI5MELBMTESLI6RHN4CG74AM.json","view_paper":"https://pith.science/paper/THAI5MEL","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2606.21738&json=true","fetch_graph":"https://pith.science/api/pith-number/THAI5MELBMTESLI6RHN4CG74AM/graph.json","fetch_events":"https://pith.science/api/pith-number/THAI5MELBMTESLI6RHN4CG74AM/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/THAI5MELBMTESLI6RHN4CG74AM/action/timestamp_anchor","attest_storage":"https://pith.science/pith/THAI5MELBMTESLI6RHN4CG74AM/action/storage_attestation","attest_author":"https://pith.science/pith/THAI5MELBMTESLI6RHN4CG74AM/action/author_attestation","sign_citation":"https://pith.science/pith/THAI5MELBMTESLI6RHN4CG74AM/action/citation_signature","submit_replication":"https://pith.science/pith/THAI5MELBMTESLI6RHN4CG74AM/action/replication_record"}},"created_at":"2026-06-23T01:13:21.159636+00:00","updated_at":"2026-06-23T01:13:21.159636+00:00"}