{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:KQTMKSBDB4BJAMPAIUF3KXYEJL","short_pith_number":"pith:KQTMKSBD","canonical_record":{"source":{"id":"2310.10351","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GR","submitted_at":"2023-10-16T12:40:24Z","cross_cats_sorted":[],"title_canon_sha256":"12c25e3b8691c98dfbe6eebca1889ec53da8fb17603bc4d6616d77bef7f2ae81","abstract_canon_sha256":"f3d8bfcef2ff53a8544cb8b08b2cb0358408b9b224c4e1a88327120abfa6a427"},"schema_version":"1.0"},"canonical_sha256":"5426c548230f029031e0450bb55f044af58ad1374c492135caf233dec173cf2f","source":{"kind":"arxiv","id":"2310.10351","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2310.10351","created_at":"2026-07-05T07:01:19Z"},{"alias_kind":"arxiv_version","alias_value":"2310.10351v1","created_at":"2026-07-05T07:01:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2310.10351","created_at":"2026-07-05T07:01:19Z"},{"alias_kind":"pith_short_12","alias_value":"KQTMKSBDB4BJ","created_at":"2026-07-05T07:01:19Z"},{"alias_kind":"pith_short_16","alias_value":"KQTMKSBDB4BJAMPA","created_at":"2026-07-05T07:01:19Z"},{"alias_kind":"pith_short_8","alias_value":"KQTMKSBD","created_at":"2026-07-05T07:01:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:KQTMKSBDB4BJAMPAIUF3KXYEJL","target":"record","payload":{"canonical_record":{"source":{"id":"2310.10351","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GR","submitted_at":"2023-10-16T12:40:24Z","cross_cats_sorted":[],"title_canon_sha256":"12c25e3b8691c98dfbe6eebca1889ec53da8fb17603bc4d6616d77bef7f2ae81","abstract_canon_sha256":"f3d8bfcef2ff53a8544cb8b08b2cb0358408b9b224c4e1a88327120abfa6a427"},"schema_version":"1.0"},"canonical_sha256":"5426c548230f029031e0450bb55f044af58ad1374c492135caf233dec173cf2f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:01:19.046112Z","signature_b64":"3OrBb4x8vNNoANnDlj+S1ZlPf8ReGbLe/ZexUpzNHmncrTfvfx7LqKvxSPPd64fBWOKFBhhe4JxjzefjlXnoCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5426c548230f029031e0450bb55f044af58ad1374c492135caf233dec173cf2f","last_reissued_at":"2026-07-05T07:01:19.045679Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:01:19.045679Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2310.10351","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-07-05T07:01:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"x20UQiCs5elY/qWKt5xXrQLRW2w97C9v038PKCyi9lZEF9Lh9O7oefIbFtzP3P+nSCe2c604yKIjTLZp7xcJAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-01T00:46:27.648216Z"},"content_sha256":"fa18e23f328d003dc5d535b854651f5d6b54b1ae0cacc694e23ae49bc65ef428","schema_version":"1.0","event_id":"sha256:fa18e23f328d003dc5d535b854651f5d6b54b1ae0cacc694e23ae49bc65ef428"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:KQTMKSBDB4BJAMPAIUF3KXYEJL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"B-rep Boolean Resulting Model Repair by Correcting Intersection Edges Based on Inference Procedure","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.GR","authors_text":"Enya Shen, Haomian Huang, Jianmin Wang, Li Chen","submitted_at":"2023-10-16T12:40:24Z","abstract_excerpt":"As the most essential part of CAD modeling operations, boolean operations on B-rep CAD models often suffer from errors. Errors caused by geometric precision or numerical uncertainty are hard to eliminate. They will reduce the reliability of boolean operations and damage the integrity of the resulting models. And it is difficult to repair false boolean resulting models damaged by errors. In practice, we find that the illegal boolean resulting models stem from the false intersection edges caused by errors. Therefore, this paper proposes an automatic method based on set reasoning to repair flawed"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2310.10351","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/2310.10351/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-07-05T07:01:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PElz23lEsnfXbS4myjsMho5msaxVVpG4qOrzelDH/ali6B+wf7rhd7j5s2GiN2JGa739za8c55S+63v12PUWAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-01T00:46:27.648818Z"},"content_sha256":"cbe774a073e44acc6800038a362e4d8e9964a3bfd5396c7f016156f9ca727b3b","schema_version":"1.0","event_id":"sha256:cbe774a073e44acc6800038a362e4d8e9964a3bfd5396c7f016156f9ca727b3b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KQTMKSBDB4BJAMPAIUF3KXYEJL/bundle.json","state_url":"https://pith.science/pith/KQTMKSBDB4BJAMPAIUF3KXYEJL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KQTMKSBDB4BJAMPAIUF3KXYEJL/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-08-01T00:46:27Z","links":{"resolver":"https://pith.science/pith/KQTMKSBDB4BJAMPAIUF3KXYEJL","bundle":"https://pith.science/pith/KQTMKSBDB4BJAMPAIUF3KXYEJL/bundle.json","state":"https://pith.science/pith/KQTMKSBDB4BJAMPAIUF3KXYEJL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KQTMKSBDB4BJAMPAIUF3KXYEJL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:KQTMKSBDB4BJAMPAIUF3KXYEJL","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":"f3d8bfcef2ff53a8544cb8b08b2cb0358408b9b224c4e1a88327120abfa6a427","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GR","submitted_at":"2023-10-16T12:40:24Z","title_canon_sha256":"12c25e3b8691c98dfbe6eebca1889ec53da8fb17603bc4d6616d77bef7f2ae81"},"schema_version":"1.0","source":{"id":"2310.10351","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2310.10351","created_at":"2026-07-05T07:01:19Z"},{"alias_kind":"arxiv_version","alias_value":"2310.10351v1","created_at":"2026-07-05T07:01:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2310.10351","created_at":"2026-07-05T07:01:19Z"},{"alias_kind":"pith_short_12","alias_value":"KQTMKSBDB4BJ","created_at":"2026-07-05T07:01:19Z"},{"alias_kind":"pith_short_16","alias_value":"KQTMKSBDB4BJAMPA","created_at":"2026-07-05T07:01:19Z"},{"alias_kind":"pith_short_8","alias_value":"KQTMKSBD","created_at":"2026-07-05T07:01:19Z"}],"graph_snapshots":[{"event_id":"sha256:cbe774a073e44acc6800038a362e4d8e9964a3bfd5396c7f016156f9ca727b3b","target":"graph","created_at":"2026-07-05T07:01:19Z","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/2310.10351/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"As the most essential part of CAD modeling operations, boolean operations on B-rep CAD models often suffer from errors. Errors caused by geometric precision or numerical uncertainty are hard to eliminate. They will reduce the reliability of boolean operations and damage the integrity of the resulting models. And it is difficult to repair false boolean resulting models damaged by errors. In practice, we find that the illegal boolean resulting models stem from the false intersection edges caused by errors. Therefore, this paper proposes an automatic method based on set reasoning to repair flawed","authors_text":"Enya Shen, Haomian Huang, Jianmin Wang, Li Chen","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GR","submitted_at":"2023-10-16T12:40:24Z","title":"B-rep Boolean Resulting Model Repair by Correcting Intersection Edges Based on Inference Procedure"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2310.10351","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:fa18e23f328d003dc5d535b854651f5d6b54b1ae0cacc694e23ae49bc65ef428","target":"record","created_at":"2026-07-05T07:01:19Z","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":"f3d8bfcef2ff53a8544cb8b08b2cb0358408b9b224c4e1a88327120abfa6a427","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GR","submitted_at":"2023-10-16T12:40:24Z","title_canon_sha256":"12c25e3b8691c98dfbe6eebca1889ec53da8fb17603bc4d6616d77bef7f2ae81"},"schema_version":"1.0","source":{"id":"2310.10351","kind":"arxiv","version":1}},"canonical_sha256":"5426c548230f029031e0450bb55f044af58ad1374c492135caf233dec173cf2f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5426c548230f029031e0450bb55f044af58ad1374c492135caf233dec173cf2f","first_computed_at":"2026-07-05T07:01:19.045679Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:01:19.045679Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"3OrBb4x8vNNoANnDlj+S1ZlPf8ReGbLe/ZexUpzNHmncrTfvfx7LqKvxSPPd64fBWOKFBhhe4JxjzefjlXnoCw==","signature_status":"signed_v1","signed_at":"2026-07-05T07:01:19.046112Z","signed_message":"canonical_sha256_bytes"},"source_id":"2310.10351","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fa18e23f328d003dc5d535b854651f5d6b54b1ae0cacc694e23ae49bc65ef428","sha256:cbe774a073e44acc6800038a362e4d8e9964a3bfd5396c7f016156f9ca727b3b"],"state_sha256":"0e8395747c14e99a72a8b739a5f830f79d6863fd9ce1f48f467dadffb62bfb26"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"K7JV92/1azOjuFLiV+PkwLtRDSk4gVhcYllYGmRUoWxvp3i4ZmTVLHc4NkGs3TOXj4/IY1HH7cWlUKuwDN8SCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-01T00:46:27.654841Z","bundle_sha256":"27708442d91fd5c1ece2e3d9cc70cdf326abf6c3e682891d0b74df05e942b469"}}