{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:4PQPE7IHGUVMVG36LLJKOPMQFG","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":"edd222b6554234babf5c3fc38d77f8f0a2d1906823859e5caba0e696acb931dc","cross_cats_sorted":["math.GT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2022-10-14T12:33:41Z","title_canon_sha256":"d2b74324db5af1475034454b6ab3589bf1decd4f3711b138809c61e4605935fe"},"schema_version":"1.0","source":{"id":"2210.07746","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2210.07746","created_at":"2026-07-05T05:06:40Z"},{"alias_kind":"arxiv_version","alias_value":"2210.07746v1","created_at":"2026-07-05T05:06:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2210.07746","created_at":"2026-07-05T05:06:40Z"},{"alias_kind":"pith_short_12","alias_value":"4PQPE7IHGUVM","created_at":"2026-07-05T05:06:40Z"},{"alias_kind":"pith_short_16","alias_value":"4PQPE7IHGUVMVG36","created_at":"2026-07-05T05:06:40Z"},{"alias_kind":"pith_short_8","alias_value":"4PQPE7IH","created_at":"2026-07-05T05:06:40Z"}],"graph_snapshots":[{"event_id":"sha256:4e6f8f7875ec96d5156a2adf85b14a01f40e19173df45b9a41d76dfaa5e9d3f6","target":"graph","created_at":"2026-07-05T05:06:40Z","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/2210.07746/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In differential topology and geometry, the h-principle is a property enjoyed by certain construction problems. Roughly speaking, it states that the only obstructions to the existence of a solution come from algebraic topology.\n  We describe a formalisation in Lean of the local h-principle for first-order, open, ample partial differential relations. This is a significant result in differential topology, originally proven by Gromov in 1973 as part of his sweeping effort which greatly generalised many previous flexibility results in topology and geometry. In particular it reproves Smale's celebra","authors_text":"Floris van Doorn, Oliver Nash, Patrick Massot","cross_cats":["math.GT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2022-10-14T12:33:41Z","title":"Formalising the $h$-principle and sphere eversion"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2210.07746","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:b6b37703435150de88a6741562cf0c8ad72c71e4335c16fe14653d2b654ba0fa","target":"record","created_at":"2026-07-05T05:06:40Z","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":"edd222b6554234babf5c3fc38d77f8f0a2d1906823859e5caba0e696acb931dc","cross_cats_sorted":["math.GT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2022-10-14T12:33:41Z","title_canon_sha256":"d2b74324db5af1475034454b6ab3589bf1decd4f3711b138809c61e4605935fe"},"schema_version":"1.0","source":{"id":"2210.07746","kind":"arxiv","version":1}},"canonical_sha256":"e3e0f27d07352aca9b7e5ad2a73d902986466e01ac33d2d388117a1316b4df55","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e3e0f27d07352aca9b7e5ad2a73d902986466e01ac33d2d388117a1316b4df55","first_computed_at":"2026-07-05T05:06:40.524608Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:06:40.524608Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Ja0te4gUWxklMtKXTi9E5WGYAmltInOVbsYkE/cVYR7XCGB7gV815Z0qiRlyBfXNAfHuFIDRU5h4l7D0/HE/BQ==","signature_status":"signed_v1","signed_at":"2026-07-05T05:06:40.524963Z","signed_message":"canonical_sha256_bytes"},"source_id":"2210.07746","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b6b37703435150de88a6741562cf0c8ad72c71e4335c16fe14653d2b654ba0fa","sha256:4e6f8f7875ec96d5156a2adf85b14a01f40e19173df45b9a41d76dfaa5e9d3f6"],"state_sha256":"4d0921deec88c1a9312330da6b5ef6266765ae982240163d36ed93498146d413"}