{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:JV25JZQAEBUNQ2ZQWBJCZ6UGPC","short_pith_number":"pith:JV25JZQA","canonical_record":{"source":{"id":"2501.14735","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-12-10T10:37:11Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"6d6b894833f766f5f27823f7f0e221e61f4219b006c42859cc9e521eef57a203","abstract_canon_sha256":"77937e8d66c4cb17fd822704235de3c4983a63d8200d55249e739dc5ce614297"},"schema_version":"1.0"},"canonical_sha256":"4d75d4e6002068d86b30b0522cfa8678b32a2dfbc8ea6d88e3ec4e43f8548669","source":{"kind":"arxiv","id":"2501.14735","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2501.14735","created_at":"2026-07-05T10:05:17Z"},{"alias_kind":"arxiv_version","alias_value":"2501.14735v1","created_at":"2026-07-05T10:05:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2501.14735","created_at":"2026-07-05T10:05:17Z"},{"alias_kind":"pith_short_12","alias_value":"JV25JZQAEBUN","created_at":"2026-07-05T10:05:17Z"},{"alias_kind":"pith_short_16","alias_value":"JV25JZQAEBUNQ2ZQ","created_at":"2026-07-05T10:05:17Z"},{"alias_kind":"pith_short_8","alias_value":"JV25JZQA","created_at":"2026-07-05T10:05:17Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:JV25JZQAEBUNQ2ZQWBJCZ6UGPC","target":"record","payload":{"canonical_record":{"source":{"id":"2501.14735","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-12-10T10:37:11Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"6d6b894833f766f5f27823f7f0e221e61f4219b006c42859cc9e521eef57a203","abstract_canon_sha256":"77937e8d66c4cb17fd822704235de3c4983a63d8200d55249e739dc5ce614297"},"schema_version":"1.0"},"canonical_sha256":"4d75d4e6002068d86b30b0522cfa8678b32a2dfbc8ea6d88e3ec4e43f8548669","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:05:17.413060Z","signature_b64":"L6AyWPTKyqPpu0NyTy1wsYlPmfGQwUfhEjez9xYoQkj/vUxpxrjJY8UGFIwNR6iDo4PInsBpzri5IcLasnIECA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4d75d4e6002068d86b30b0522cfa8678b32a2dfbc8ea6d88e3ec4e43f8548669","last_reissued_at":"2026-07-05T10:05:17.412536Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:05:17.412536Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2501.14735","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-05T10:05:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CzU+KMuLt0w+IUsvyy3OoCyie1tp4yD0kC0nXr3uKffnDa/Tl1bD3CwVlLBEXEECaHsTPrU+18LChypMGqlvDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T19:06:17.528207Z"},"content_sha256":"81f8c983729ce9f07a1f13d67f7fc57d6aff83be5c4bde0da000f443a6d8340d","schema_version":"1.0","event_id":"sha256:81f8c983729ce9f07a1f13d67f7fc57d6aff83be5c4bde0da000f443a6d8340d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:JV25JZQAEBUNQ2ZQWBJCZ6UGPC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"ARCEAK: An Automated Rule Checking Framework Enhanced with Architectural Knowledge","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.SE","authors_text":"Guoqiang Li, Haoze Zhu, Junyong Chen, Ling-I Wu, Minyu Chen, Qiongfang Zhang, Xiaoying Qian","submitted_at":"2024-12-10T10:37:11Z","abstract_excerpt":"Automated Rule Checking (ARC) plays a crucial role in advancing the construction industry by addressing the laborious, inconsistent, and error-prone nature of traditional model review conducted by industry professionals. Manual assessment against intricate sets of rules often leads to significant project delays and expenses. In response to these challenges, ARC offers a promising solution to improve efficiency and compliance in design within the construction sector. However, the main challenge of ARC lies in translating regulatory text into a format suitable for computer processing. Current me"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2501.14735","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/2501.14735/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-05T10:05:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mup+5zcuvjTryBJw8zlu+ng23KlUc7+87OubodNTEoow1k0CnzYhdFD639zvYK+HgGmDGixTRus/MNidhPUYCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T19:06:17.528710Z"},"content_sha256":"14c171673069dbd4941e7b0469c18c8c3fccf2bdbe5c0755bcea93a096885d6e","schema_version":"1.0","event_id":"sha256:14c171673069dbd4941e7b0469c18c8c3fccf2bdbe5c0755bcea93a096885d6e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JV25JZQAEBUNQ2ZQWBJCZ6UGPC/bundle.json","state_url":"https://pith.science/pith/JV25JZQAEBUNQ2ZQWBJCZ6UGPC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JV25JZQAEBUNQ2ZQWBJCZ6UGPC/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-06T19:06:17Z","links":{"resolver":"https://pith.science/pith/JV25JZQAEBUNQ2ZQWBJCZ6UGPC","bundle":"https://pith.science/pith/JV25JZQAEBUNQ2ZQWBJCZ6UGPC/bundle.json","state":"https://pith.science/pith/JV25JZQAEBUNQ2ZQWBJCZ6UGPC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JV25JZQAEBUNQ2ZQWBJCZ6UGPC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:JV25JZQAEBUNQ2ZQWBJCZ6UGPC","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":"77937e8d66c4cb17fd822704235de3c4983a63d8200d55249e739dc5ce614297","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-12-10T10:37:11Z","title_canon_sha256":"6d6b894833f766f5f27823f7f0e221e61f4219b006c42859cc9e521eef57a203"},"schema_version":"1.0","source":{"id":"2501.14735","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2501.14735","created_at":"2026-07-05T10:05:17Z"},{"alias_kind":"arxiv_version","alias_value":"2501.14735v1","created_at":"2026-07-05T10:05:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2501.14735","created_at":"2026-07-05T10:05:17Z"},{"alias_kind":"pith_short_12","alias_value":"JV25JZQAEBUN","created_at":"2026-07-05T10:05:17Z"},{"alias_kind":"pith_short_16","alias_value":"JV25JZQAEBUNQ2ZQ","created_at":"2026-07-05T10:05:17Z"},{"alias_kind":"pith_short_8","alias_value":"JV25JZQA","created_at":"2026-07-05T10:05:17Z"}],"graph_snapshots":[{"event_id":"sha256:14c171673069dbd4941e7b0469c18c8c3fccf2bdbe5c0755bcea93a096885d6e","target":"graph","created_at":"2026-07-05T10:05:17Z","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/2501.14735/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Automated Rule Checking (ARC) plays a crucial role in advancing the construction industry by addressing the laborious, inconsistent, and error-prone nature of traditional model review conducted by industry professionals. Manual assessment against intricate sets of rules often leads to significant project delays and expenses. In response to these challenges, ARC offers a promising solution to improve efficiency and compliance in design within the construction sector. However, the main challenge of ARC lies in translating regulatory text into a format suitable for computer processing. Current me","authors_text":"Guoqiang Li, Haoze Zhu, Junyong Chen, Ling-I Wu, Minyu Chen, Qiongfang Zhang, Xiaoying Qian","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-12-10T10:37:11Z","title":"ARCEAK: An Automated Rule Checking Framework Enhanced with Architectural Knowledge"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2501.14735","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:81f8c983729ce9f07a1f13d67f7fc57d6aff83be5c4bde0da000f443a6d8340d","target":"record","created_at":"2026-07-05T10:05:17Z","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":"77937e8d66c4cb17fd822704235de3c4983a63d8200d55249e739dc5ce614297","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-12-10T10:37:11Z","title_canon_sha256":"6d6b894833f766f5f27823f7f0e221e61f4219b006c42859cc9e521eef57a203"},"schema_version":"1.0","source":{"id":"2501.14735","kind":"arxiv","version":1}},"canonical_sha256":"4d75d4e6002068d86b30b0522cfa8678b32a2dfbc8ea6d88e3ec4e43f8548669","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4d75d4e6002068d86b30b0522cfa8678b32a2dfbc8ea6d88e3ec4e43f8548669","first_computed_at":"2026-07-05T10:05:17.412536Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:05:17.412536Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"L6AyWPTKyqPpu0NyTy1wsYlPmfGQwUfhEjez9xYoQkj/vUxpxrjJY8UGFIwNR6iDo4PInsBpzri5IcLasnIECA==","signature_status":"signed_v1","signed_at":"2026-07-05T10:05:17.413060Z","signed_message":"canonical_sha256_bytes"},"source_id":"2501.14735","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:81f8c983729ce9f07a1f13d67f7fc57d6aff83be5c4bde0da000f443a6d8340d","sha256:14c171673069dbd4941e7b0469c18c8c3fccf2bdbe5c0755bcea93a096885d6e"],"state_sha256":"aedacd4731cd7c3feb472a32074337c819a0e7c7006db2c18f22e8f5066debee"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"q4J2ANEUll+n2Lh7OQDPTtnec/Qw4zK0ccUkswdXsUiVC6ExxSaYPMWOMtOTjICwMM6BnPNp60k/wqdsLgj6Cw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T19:06:17.531772Z","bundle_sha256":"79bd35e237b3be890f7605602c39914e0875c37a01f34a68b2936e5de75a3b16"}}