{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:THAI5MELBMTESLI6RHN4CG74AM","short_pith_number":"pith:THAI5MEL","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"},"canonical_sha256":"99c08eb08b0b26492d1e89dbc11bfc031aad27765f8cbf25e70c934f1911bc2e","source":{"kind":"arxiv","id":"2606.21738","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.21738","created_at":"2026-06-23T01:13:21Z"},{"alias_kind":"arxiv_version","alias_value":"2606.21738v1","created_at":"2026-06-23T01:13:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.21738","created_at":"2026-06-23T01:13:21Z"},{"alias_kind":"pith_short_12","alias_value":"THAI5MELBMTE","created_at":"2026-06-23T01:13:21Z"},{"alias_kind":"pith_short_16","alias_value":"THAI5MELBMTESLI6","created_at":"2026-06-23T01:13:21Z"},{"alias_kind":"pith_short_8","alias_value":"THAI5MEL","created_at":"2026-06-23T01:13:21Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:THAI5MELBMTESLI6RHN4CG74AM","target":"record","payload":{"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"},"canonical_sha256":"99c08eb08b0b26492d1e89dbc11bfc031aad27765f8cbf25e70c934f1911bc2e","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"},"source_kind":"arxiv","source_id":"2606.21738","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-06-23T01:13:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NqmGD2B6HzvvQv6oU6JNRb9ryt878OycTlLPmIZLZcTHHmvfwCWPIpon5jxM6O7VpyoV6000vh8djQoGPsk7Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T06:56:29.258530Z"},"content_sha256":"61d6defb37ca58bf4e8c1f76129ead9f412b558cf4e916e5f6e5cdc4827d7e1b","schema_version":"1.0","event_id":"sha256:61d6defb37ca58bf4e8c1f76129ead9f412b558cf4e916e5f6e5cdc4827d7e1b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:THAI5MELBMTESLI6RHN4CG74AM","target":"graph","payload":{"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"},"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-06-23T01:13:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Lc2TyC6MwKeWkPRgc7c+By8F2/5PVQcv9CKOAxBw0vQjh+fIgOTGhI+Z+VJOhLNjvwki7AgUyseq9jDK3jpGBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T06:56:29.258906Z"},"content_sha256":"ac0754ba2c5a34067d46350ac060d921c5195d31d3cfa45355b66b46a629c9b3","schema_version":"1.0","event_id":"sha256:ac0754ba2c5a34067d46350ac060d921c5195d31d3cfa45355b66b46a629c9b3"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/THAI5MELBMTESLI6RHN4CG74AM/bundle.json","state_url":"https://pith.science/pith/THAI5MELBMTESLI6RHN4CG74AM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/THAI5MELBMTESLI6RHN4CG74AM/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-06-27T06:56:29Z","links":{"resolver":"https://pith.science/pith/THAI5MELBMTESLI6RHN4CG74AM","bundle":"https://pith.science/pith/THAI5MELBMTESLI6RHN4CG74AM/bundle.json","state":"https://pith.science/pith/THAI5MELBMTESLI6RHN4CG74AM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/THAI5MELBMTESLI6RHN4CG74AM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:THAI5MELBMTESLI6RHN4CG74AM","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":"b4dbcf43abb0efe8a7c304e4d7b2f95846f08720a1f3c491413ed99cc886bff6","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2026-06-19T20:50:26Z","title_canon_sha256":"78390b5e36a7e4d1ff0720e4d5784623bd9cb5f255539c2cef90fa8b3dd31ac8"},"schema_version":"1.0","source":{"id":"2606.21738","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.21738","created_at":"2026-06-23T01:13:21Z"},{"alias_kind":"arxiv_version","alias_value":"2606.21738v1","created_at":"2026-06-23T01:13:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.21738","created_at":"2026-06-23T01:13:21Z"},{"alias_kind":"pith_short_12","alias_value":"THAI5MELBMTE","created_at":"2026-06-23T01:13:21Z"},{"alias_kind":"pith_short_16","alias_value":"THAI5MELBMTESLI6","created_at":"2026-06-23T01:13:21Z"},{"alias_kind":"pith_short_8","alias_value":"THAI5MEL","created_at":"2026-06-23T01:13:21Z"}],"graph_snapshots":[{"event_id":"sha256:ac0754ba2c5a34067d46350ac060d921c5195d31d3cfa45355b66b46a629c9b3","target":"graph","created_at":"2026-06-23T01:13:21Z","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/2606.21738/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"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","authors_text":"James E. Hanson, Jananan Arulseelan","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2026-06-19T20:50:26Z","title":"Pointwise Mean Value Theorems in Constructive Mathematics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.21738","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:61d6defb37ca58bf4e8c1f76129ead9f412b558cf4e916e5f6e5cdc4827d7e1b","target":"record","created_at":"2026-06-23T01:13:21Z","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":"b4dbcf43abb0efe8a7c304e4d7b2f95846f08720a1f3c491413ed99cc886bff6","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.LO","submitted_at":"2026-06-19T20:50:26Z","title_canon_sha256":"78390b5e36a7e4d1ff0720e4d5784623bd9cb5f255539c2cef90fa8b3dd31ac8"},"schema_version":"1.0","source":{"id":"2606.21738","kind":"arxiv","version":1}},"canonical_sha256":"99c08eb08b0b26492d1e89dbc11bfc031aad27765f8cbf25e70c934f1911bc2e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"99c08eb08b0b26492d1e89dbc11bfc031aad27765f8cbf25e70c934f1911bc2e","first_computed_at":"2026-06-23T01:13:21.159569Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-23T01:13:21.159569Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"2Gktdtumzjml2vssaPsj0wgtBQgfNW5LNZOi02zXXAiRIf22Hbj4R4xiEIXbuCMQFc6wxnTULybQrht/W0Y2BA==","signature_status":"signed_v1","signed_at":"2026-06-23T01:13:21.160052Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.21738","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:61d6defb37ca58bf4e8c1f76129ead9f412b558cf4e916e5f6e5cdc4827d7e1b","sha256:ac0754ba2c5a34067d46350ac060d921c5195d31d3cfa45355b66b46a629c9b3"],"state_sha256":"482b33b908b0352529e3d43287680163ce40bbbbb27b32452cf21fdc41bc121a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vC5Bt/SzzLSSjfpNN3cc+mdiL6/88GPuFJNXWKiLWkpzvAE+bSivCkmMoxhoChc9T66MLVojF2WFHGBEB5lvBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-27T06:56:29.260998Z","bundle_sha256":"21bb448e109532b3b81abf752c09929a8dfa6c11810019f2b14a5aa9445e8512"}}