{"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"}