{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:OB2STWKPXN7IHSUIUZOXIX6XMX","short_pith_number":"pith:OB2STWKP","canonical_record":{"source":{"id":"1201.6399","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AP","submitted_at":"2012-01-30T22:49:52Z","cross_cats_sorted":["math.DG","math.GR","math.MG"],"title_canon_sha256":"d4f9826d9c158d46dba0d74bb10e76b7c8f0fe8508ae021300ea700c1b9cf87e","abstract_canon_sha256":"8f4728bbed07bedae606277db5a7e2bfb00548dcc704a63b8628d4be4953faf6"},"schema_version":"1.0"},"canonical_sha256":"707529d94fbb7e83ca88a65d745fd765cd63abda31418cd6d2a88c1023451c82","source":{"kind":"arxiv","id":"1201.6399","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1201.6399","created_at":"2026-05-18T04:03:31Z"},{"alias_kind":"arxiv_version","alias_value":"1201.6399v1","created_at":"2026-05-18T04:03:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1201.6399","created_at":"2026-05-18T04:03:31Z"},{"alias_kind":"pith_short_12","alias_value":"OB2STWKPXN7I","created_at":"2026-05-18T12:27:16Z"},{"alias_kind":"pith_short_16","alias_value":"OB2STWKPXN7IHSUI","created_at":"2026-05-18T12:27:16Z"},{"alias_kind":"pith_short_8","alias_value":"OB2STWKP","created_at":"2026-05-18T12:27:16Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:OB2STWKPXN7IHSUIUZOXIX6XMX","target":"record","payload":{"canonical_record":{"source":{"id":"1201.6399","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AP","submitted_at":"2012-01-30T22:49:52Z","cross_cats_sorted":["math.DG","math.GR","math.MG"],"title_canon_sha256":"d4f9826d9c158d46dba0d74bb10e76b7c8f0fe8508ae021300ea700c1b9cf87e","abstract_canon_sha256":"8f4728bbed07bedae606277db5a7e2bfb00548dcc704a63b8628d4be4953faf6"},"schema_version":"1.0"},"canonical_sha256":"707529d94fbb7e83ca88a65d745fd765cd63abda31418cd6d2a88c1023451c82","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:03:31.636663Z","signature_b64":"d4Cj1VRANYR5vag+LTh1v/r7dSPPyIYTX7M6sbKT1gPNlKz90gYDQfbP6J6f+knzlhz7CqlhU7Z1/DF3MDUYBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"707529d94fbb7e83ca88a65d745fd765cd63abda31418cd6d2a88c1023451c82","last_reissued_at":"2026-05-18T04:03:31.635958Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:03:31.635958Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1201.6399","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-18T04:03:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3w7Gq8vJ1Io+iix5CDSoy2mz6ROwQpKm19RhQviwc4WlDygmaIIxnD6X/zsh2HY04lbqBrndUsIfLhfVz53vDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T08:23:31.776947Z"},"content_sha256":"d4c97ed42664adadaa6c3f63241d4f0a56249d49977da749152f63f2636c9b37","schema_version":"1.0","event_id":"sha256:d4c97ed42664adadaa6c3f63241d4f0a56249d49977da749152f63f2636c9b37"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:OB2STWKPXN7IHSUIUZOXIX6XMX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Regularity of sets with constant horizontal normal in the Engel group","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.DG","math.GR","math.MG"],"primary_cat":"math.AP","authors_text":"Costante Bellettini, Enrico Le Donne","submitted_at":"2012-01-30T22:49:52Z","abstract_excerpt":"In the Engel group with its Carnot group structure we study subsets of locally finite subRiemannian perimeter and possessing constant subRiemannian normal.\n  We prove the rectifiability of such sets: more precisely we show that, in some specific coordinates, they are upper-graphs of entire Lipschitz functions (with respect to the Euclidean distance). However we find that, when they are written as intrinsic upper-graphs with respect to the direction of the normal, then the function defining the set might even fail to be continuous. Nevertheless, we can prove that one can always find other horiz"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1201.6399","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-18T04:03:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dOKZTzo+5KIevbHIbYdSzGg41g1fYwfKI0vStYDS6QeZsxOksfxzq4V9iNfyYKHOIygJFL+FWN9jopGn8lSADw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T08:23:31.777308Z"},"content_sha256":"1ba7391319ed37c316dacbdf7cc41ebd575d7fdfd29a3e0657fa812d8fb116bb","schema_version":"1.0","event_id":"sha256:1ba7391319ed37c316dacbdf7cc41ebd575d7fdfd29a3e0657fa812d8fb116bb"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OB2STWKPXN7IHSUIUZOXIX6XMX/bundle.json","state_url":"https://pith.science/pith/OB2STWKPXN7IHSUIUZOXIX6XMX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OB2STWKPXN7IHSUIUZOXIX6XMX/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-30T08:23:31Z","links":{"resolver":"https://pith.science/pith/OB2STWKPXN7IHSUIUZOXIX6XMX","bundle":"https://pith.science/pith/OB2STWKPXN7IHSUIUZOXIX6XMX/bundle.json","state":"https://pith.science/pith/OB2STWKPXN7IHSUIUZOXIX6XMX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OB2STWKPXN7IHSUIUZOXIX6XMX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:OB2STWKPXN7IHSUIUZOXIX6XMX","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":"8f4728bbed07bedae606277db5a7e2bfb00548dcc704a63b8628d4be4953faf6","cross_cats_sorted":["math.DG","math.GR","math.MG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AP","submitted_at":"2012-01-30T22:49:52Z","title_canon_sha256":"d4f9826d9c158d46dba0d74bb10e76b7c8f0fe8508ae021300ea700c1b9cf87e"},"schema_version":"1.0","source":{"id":"1201.6399","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1201.6399","created_at":"2026-05-18T04:03:31Z"},{"alias_kind":"arxiv_version","alias_value":"1201.6399v1","created_at":"2026-05-18T04:03:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1201.6399","created_at":"2026-05-18T04:03:31Z"},{"alias_kind":"pith_short_12","alias_value":"OB2STWKPXN7I","created_at":"2026-05-18T12:27:16Z"},{"alias_kind":"pith_short_16","alias_value":"OB2STWKPXN7IHSUI","created_at":"2026-05-18T12:27:16Z"},{"alias_kind":"pith_short_8","alias_value":"OB2STWKP","created_at":"2026-05-18T12:27:16Z"}],"graph_snapshots":[{"event_id":"sha256:1ba7391319ed37c316dacbdf7cc41ebd575d7fdfd29a3e0657fa812d8fb116bb","target":"graph","created_at":"2026-05-18T04:03:31Z","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":"In the Engel group with its Carnot group structure we study subsets of locally finite subRiemannian perimeter and possessing constant subRiemannian normal.\n  We prove the rectifiability of such sets: more precisely we show that, in some specific coordinates, they are upper-graphs of entire Lipschitz functions (with respect to the Euclidean distance). However we find that, when they are written as intrinsic upper-graphs with respect to the direction of the normal, then the function defining the set might even fail to be continuous. Nevertheless, we can prove that one can always find other horiz","authors_text":"Costante Bellettini, Enrico Le Donne","cross_cats":["math.DG","math.GR","math.MG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AP","submitted_at":"2012-01-30T22:49:52Z","title":"Regularity of sets with constant horizontal normal in the Engel group"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1201.6399","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:d4c97ed42664adadaa6c3f63241d4f0a56249d49977da749152f63f2636c9b37","target":"record","created_at":"2026-05-18T04:03:31Z","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":"8f4728bbed07bedae606277db5a7e2bfb00548dcc704a63b8628d4be4953faf6","cross_cats_sorted":["math.DG","math.GR","math.MG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AP","submitted_at":"2012-01-30T22:49:52Z","title_canon_sha256":"d4f9826d9c158d46dba0d74bb10e76b7c8f0fe8508ae021300ea700c1b9cf87e"},"schema_version":"1.0","source":{"id":"1201.6399","kind":"arxiv","version":1}},"canonical_sha256":"707529d94fbb7e83ca88a65d745fd765cd63abda31418cd6d2a88c1023451c82","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"707529d94fbb7e83ca88a65d745fd765cd63abda31418cd6d2a88c1023451c82","first_computed_at":"2026-05-18T04:03:31.635958Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:03:31.635958Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"d4Cj1VRANYR5vag+LTh1v/r7dSPPyIYTX7M6sbKT1gPNlKz90gYDQfbP6J6f+knzlhz7CqlhU7Z1/DF3MDUYBA==","signature_status":"signed_v1","signed_at":"2026-05-18T04:03:31.636663Z","signed_message":"canonical_sha256_bytes"},"source_id":"1201.6399","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d4c97ed42664adadaa6c3f63241d4f0a56249d49977da749152f63f2636c9b37","sha256:1ba7391319ed37c316dacbdf7cc41ebd575d7fdfd29a3e0657fa812d8fb116bb"],"state_sha256":"4647e484e26b0b97a6ea24f49516305eba22f5cf18892fe1214ecf95cc1053ec"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xHtImm/ie1Y6jx9DWcXh4uB+n1AUDvqkAQ8FlTfxo4ULsj38j25KAoJF2bY+ZIhLwTfvGgpOrz5ccJMban+aBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T08:23:31.779871Z","bundle_sha256":"f082bea5dc03777dd23dbaefc5770cd229c09f297650fdb10c0f924de2503e76"}}