{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:72GE2R6UJCIO2OEG6M5MJEAXVL","short_pith_number":"pith:72GE2R6U","canonical_record":{"source":{"id":"2301.11011","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2023-01-26T10:02:08Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"2e60d9756d57df3c1671305a05c06dd9b2f75f9cefcec84972709f43bc62498c","abstract_canon_sha256":"9a94757c1c18ae9e26dcea260c9e2c792c0dee5b0938ac78b4525807b714d6cb"},"schema_version":"1.0"},"canonical_sha256":"fe8c4d47d44890ed3886f33ac49017aad09380f1ae8ea7a4d3ac9b3d765827a0","source":{"kind":"arxiv","id":"2301.11011","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2301.11011","created_at":"2026-07-05T05:36:09Z"},{"alias_kind":"arxiv_version","alias_value":"2301.11011v1","created_at":"2026-07-05T05:36:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2301.11011","created_at":"2026-07-05T05:36:09Z"},{"alias_kind":"pith_short_12","alias_value":"72GE2R6UJCIO","created_at":"2026-07-05T05:36:09Z"},{"alias_kind":"pith_short_16","alias_value":"72GE2R6UJCIO2OEG","created_at":"2026-07-05T05:36:09Z"},{"alias_kind":"pith_short_8","alias_value":"72GE2R6U","created_at":"2026-07-05T05:36:09Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:72GE2R6UJCIO2OEG6M5MJEAXVL","target":"record","payload":{"canonical_record":{"source":{"id":"2301.11011","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2023-01-26T10:02:08Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"2e60d9756d57df3c1671305a05c06dd9b2f75f9cefcec84972709f43bc62498c","abstract_canon_sha256":"9a94757c1c18ae9e26dcea260c9e2c792c0dee5b0938ac78b4525807b714d6cb"},"schema_version":"1.0"},"canonical_sha256":"fe8c4d47d44890ed3886f33ac49017aad09380f1ae8ea7a4d3ac9b3d765827a0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:36:09.324842Z","signature_b64":"padvp+fIoyVUkgw2xow2rYcCSSrwnaa9tXz4lxevQzgbp+fvdxlyp49eKZPTxLNgVdmgsiDq1G80VTOjzWA9CA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fe8c4d47d44890ed3886f33ac49017aad09380f1ae8ea7a4d3ac9b3d765827a0","last_reissued_at":"2026-07-05T05:36:09.324359Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:36:09.324359Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2301.11011","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-05T05:36:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DaSpl9zd1jQkZddG67cnp2HCLDRjJDcRIVHL7pUYqtejv1ARoAkmtYZ5Yjg9qNJQfRVSczEH9uGMiCvxCJrqDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T09:49:23.467650Z"},"content_sha256":"768b9ef9f77ac00b64a142bb7df4ad1a63750eb2a8402e12734ab2b22bf15acb","schema_version":"1.0","event_id":"sha256:768b9ef9f77ac00b64a142bb7df4ad1a63750eb2a8402e12734ab2b22bf15acb"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:72GE2R6UJCIO2OEG6M5MJEAXVL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Verifying Data Constraint Equivalence in FinTech Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.PL","authors_text":"Charles Zhang, Chengpeng Wang, Fuxiong Pan, Gang Fan, Peisen Yao","submitted_at":"2023-01-26T10:02:08Z","abstract_excerpt":"Data constraints are widely used in FinTech systems for monitoring data consistency and diagnosing anomalous data manipulations. However, many equivalent data constraints are created redundantly during the development cycle, slowing down the FinTech systems and causing unnecessary alerts. We present EqDAC, an efficient decision procedure to determine the data constraint equivalence. We first propose the symbolic representation for semantic encoding and then introduce two light-weighted analyses to refute and prove the equivalence, respectively, which are proved to achieve in polynomial time. W"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2301.11011","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/2301.11011/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-05T05:36:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"O+bsMNDVquAmpIvbrWXSOI1XE/YUffIsEGIYdJNaUOw7swsNatP7p1RPxYXq2780wLrSL5ARO17OM36kXLZQAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T09:49:23.468206Z"},"content_sha256":"c03385f42894b7f4556f9bfd0df8687a8a769d6dfbe79e89184e7f3ece9e019e","schema_version":"1.0","event_id":"sha256:c03385f42894b7f4556f9bfd0df8687a8a769d6dfbe79e89184e7f3ece9e019e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/72GE2R6UJCIO2OEG6M5MJEAXVL/bundle.json","state_url":"https://pith.science/pith/72GE2R6UJCIO2OEG6M5MJEAXVL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/72GE2R6UJCIO2OEG6M5MJEAXVL/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-05T09:49:23Z","links":{"resolver":"https://pith.science/pith/72GE2R6UJCIO2OEG6M5MJEAXVL","bundle":"https://pith.science/pith/72GE2R6UJCIO2OEG6M5MJEAXVL/bundle.json","state":"https://pith.science/pith/72GE2R6UJCIO2OEG6M5MJEAXVL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/72GE2R6UJCIO2OEG6M5MJEAXVL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:72GE2R6UJCIO2OEG6M5MJEAXVL","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":"9a94757c1c18ae9e26dcea260c9e2c792c0dee5b0938ac78b4525807b714d6cb","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2023-01-26T10:02:08Z","title_canon_sha256":"2e60d9756d57df3c1671305a05c06dd9b2f75f9cefcec84972709f43bc62498c"},"schema_version":"1.0","source":{"id":"2301.11011","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2301.11011","created_at":"2026-07-05T05:36:09Z"},{"alias_kind":"arxiv_version","alias_value":"2301.11011v1","created_at":"2026-07-05T05:36:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2301.11011","created_at":"2026-07-05T05:36:09Z"},{"alias_kind":"pith_short_12","alias_value":"72GE2R6UJCIO","created_at":"2026-07-05T05:36:09Z"},{"alias_kind":"pith_short_16","alias_value":"72GE2R6UJCIO2OEG","created_at":"2026-07-05T05:36:09Z"},{"alias_kind":"pith_short_8","alias_value":"72GE2R6U","created_at":"2026-07-05T05:36:09Z"}],"graph_snapshots":[{"event_id":"sha256:c03385f42894b7f4556f9bfd0df8687a8a769d6dfbe79e89184e7f3ece9e019e","target":"graph","created_at":"2026-07-05T05:36:09Z","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/2301.11011/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Data constraints are widely used in FinTech systems for monitoring data consistency and diagnosing anomalous data manipulations. However, many equivalent data constraints are created redundantly during the development cycle, slowing down the FinTech systems and causing unnecessary alerts. We present EqDAC, an efficient decision procedure to determine the data constraint equivalence. We first propose the symbolic representation for semantic encoding and then introduce two light-weighted analyses to refute and prove the equivalence, respectively, which are proved to achieve in polynomial time. W","authors_text":"Charles Zhang, Chengpeng Wang, Fuxiong Pan, Gang Fan, Peisen Yao","cross_cats":["cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2023-01-26T10:02:08Z","title":"Verifying Data Constraint Equivalence in FinTech Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2301.11011","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:768b9ef9f77ac00b64a142bb7df4ad1a63750eb2a8402e12734ab2b22bf15acb","target":"record","created_at":"2026-07-05T05:36:09Z","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":"9a94757c1c18ae9e26dcea260c9e2c792c0dee5b0938ac78b4525807b714d6cb","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2023-01-26T10:02:08Z","title_canon_sha256":"2e60d9756d57df3c1671305a05c06dd9b2f75f9cefcec84972709f43bc62498c"},"schema_version":"1.0","source":{"id":"2301.11011","kind":"arxiv","version":1}},"canonical_sha256":"fe8c4d47d44890ed3886f33ac49017aad09380f1ae8ea7a4d3ac9b3d765827a0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fe8c4d47d44890ed3886f33ac49017aad09380f1ae8ea7a4d3ac9b3d765827a0","first_computed_at":"2026-07-05T05:36:09.324359Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:36:09.324359Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"padvp+fIoyVUkgw2xow2rYcCSSrwnaa9tXz4lxevQzgbp+fvdxlyp49eKZPTxLNgVdmgsiDq1G80VTOjzWA9CA==","signature_status":"signed_v1","signed_at":"2026-07-05T05:36:09.324842Z","signed_message":"canonical_sha256_bytes"},"source_id":"2301.11011","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:768b9ef9f77ac00b64a142bb7df4ad1a63750eb2a8402e12734ab2b22bf15acb","sha256:c03385f42894b7f4556f9bfd0df8687a8a769d6dfbe79e89184e7f3ece9e019e"],"state_sha256":"53ea569eb12f946d44c726b9a7aeb38c9612b75099d1d8e925c4d7a91e9df390"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vUeJzBpkf1LGkt8WNUDC298dWqZBG1G4Jm2Cu+fh67CMr8CzO3QhYBRO+kgmEJIwEezCqZzO57ucaoPj0zaVAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T09:49:23.471765Z","bundle_sha256":"dc7d28cd2bed60c21ebc60ee72f9184136591bf4415bb39a640af0484bd83469"}}