{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:XAWMMNZ7WEQGC4ZSX6IVWFLKPR","short_pith_number":"pith:XAWMMNZ7","canonical_record":{"source":{"id":"2507.02635","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2025-07-03T14:01:26Z","cross_cats_sorted":["cs.DB"],"title_canon_sha256":"5d85b86c08caca5d59223a6055f6b2d42ebb819c76266ed8cd9f95a4b4a77bcc","abstract_canon_sha256":"7ba29ddf0ecbb779acd51f75f1a34dcc934242f40e31fa066b3d74fa241e6939"},"schema_version":"1.0"},"canonical_sha256":"b82cc6373fb120617332bf915b156a7c5094b3e0a83ac9efc8ae5454a9c2bbbf","source":{"kind":"arxiv","id":"2507.02635","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.02635","created_at":"2026-07-05T11:31:32Z"},{"alias_kind":"arxiv_version","alias_value":"2507.02635v1","created_at":"2026-07-05T11:31:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.02635","created_at":"2026-07-05T11:31:32Z"},{"alias_kind":"pith_short_12","alias_value":"XAWMMNZ7WEQG","created_at":"2026-07-05T11:31:32Z"},{"alias_kind":"pith_short_16","alias_value":"XAWMMNZ7WEQGC4ZS","created_at":"2026-07-05T11:31:32Z"},{"alias_kind":"pith_short_8","alias_value":"XAWMMNZ7","created_at":"2026-07-05T11:31:32Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:XAWMMNZ7WEQGC4ZSX6IVWFLKPR","target":"record","payload":{"canonical_record":{"source":{"id":"2507.02635","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2025-07-03T14:01:26Z","cross_cats_sorted":["cs.DB"],"title_canon_sha256":"5d85b86c08caca5d59223a6055f6b2d42ebb819c76266ed8cd9f95a4b4a77bcc","abstract_canon_sha256":"7ba29ddf0ecbb779acd51f75f1a34dcc934242f40e31fa066b3d74fa241e6939"},"schema_version":"1.0"},"canonical_sha256":"b82cc6373fb120617332bf915b156a7c5094b3e0a83ac9efc8ae5454a9c2bbbf","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:31:32.161870Z","signature_b64":"qrVtDyl5Hxu2f+HoJcGRsrdbkd54zS8IO9LUnT8RAHDRlmBTuZF+/+f7TBfQoiRcV2n7Go+/I6fVIvf7fiVHBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b82cc6373fb120617332bf915b156a7c5094b3e0a83ac9efc8ae5454a9c2bbbf","last_reissued_at":"2026-07-05T11:31:32.161384Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:31:32.161384Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2507.02635","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-05T11:31:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5x/x1q0PCin2MFW571nU3+EFDuae5Hs0oUSB5U37MvHXNLbzziRE7Dza4o4+ZpD7agIsmJP4IUp4LsO2cQCUDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T06:54:29.051359Z"},"content_sha256":"ecc8e4b196c853afc5185e73c11fbbc2e2462948a6af4b437970599b8844d4a5","schema_version":"1.0","event_id":"sha256:ecc8e4b196c853afc5185e73c11fbbc2e2462948a6af4b437970599b8844d4a5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:XAWMMNZ7WEQGC4ZSX6IVWFLKPR","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"SAT-BO: Verification Rule Learning and Optimization for FraudTransaction Detection","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DB"],"primary_cat":"cs.CR","authors_text":"Jianguo Li, Mao Luo, Qingyun Zhang, Wen Hu, Yiwen Huang, Zhipeng Lv, Zhi Wang, Zhouxing Su","submitted_at":"2025-07-03T14:01:26Z","abstract_excerpt":"Electronic payment platforms are estimated to process billions oftransactions daily, with the cumulative value of these transactionspotentially reaching into the trillions. Even a minor error within thishigh-volume environment could precipitate substantial financiallosses. To mitigate this risk, manually constructed verification rules,developed by domain experts, are typically employed to identifyand scrutinize transactions in production environments. However,due to the absence of a systematic approach to ensure the robust-ness of these verification rules against vulnerabilities, they remainsu"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.02635","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/2507.02635/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-05T11:31:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FH1btXfX3iuCjkqNvJOaNIePLOkk0tfoOpuJkilyXRrXYMf3BSRj4AqSgINkqfe4+AiRRlEo2QphaabiGLx2DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T06:54:29.051731Z"},"content_sha256":"52d59bdda63bf45782a95a5a1f5fb2051862465cf04088d238f6d941927a8120","schema_version":"1.0","event_id":"sha256:52d59bdda63bf45782a95a5a1f5fb2051862465cf04088d238f6d941927a8120"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XAWMMNZ7WEQGC4ZSX6IVWFLKPR/bundle.json","state_url":"https://pith.science/pith/XAWMMNZ7WEQGC4ZSX6IVWFLKPR/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XAWMMNZ7WEQGC4ZSX6IVWFLKPR/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-07-07T06:54:29Z","links":{"resolver":"https://pith.science/pith/XAWMMNZ7WEQGC4ZSX6IVWFLKPR","bundle":"https://pith.science/pith/XAWMMNZ7WEQGC4ZSX6IVWFLKPR/bundle.json","state":"https://pith.science/pith/XAWMMNZ7WEQGC4ZSX6IVWFLKPR/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XAWMMNZ7WEQGC4ZSX6IVWFLKPR/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:XAWMMNZ7WEQGC4ZSX6IVWFLKPR","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":"7ba29ddf0ecbb779acd51f75f1a34dcc934242f40e31fa066b3d74fa241e6939","cross_cats_sorted":["cs.DB"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2025-07-03T14:01:26Z","title_canon_sha256":"5d85b86c08caca5d59223a6055f6b2d42ebb819c76266ed8cd9f95a4b4a77bcc"},"schema_version":"1.0","source":{"id":"2507.02635","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.02635","created_at":"2026-07-05T11:31:32Z"},{"alias_kind":"arxiv_version","alias_value":"2507.02635v1","created_at":"2026-07-05T11:31:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.02635","created_at":"2026-07-05T11:31:32Z"},{"alias_kind":"pith_short_12","alias_value":"XAWMMNZ7WEQG","created_at":"2026-07-05T11:31:32Z"},{"alias_kind":"pith_short_16","alias_value":"XAWMMNZ7WEQGC4ZS","created_at":"2026-07-05T11:31:32Z"},{"alias_kind":"pith_short_8","alias_value":"XAWMMNZ7","created_at":"2026-07-05T11:31:32Z"}],"graph_snapshots":[{"event_id":"sha256:52d59bdda63bf45782a95a5a1f5fb2051862465cf04088d238f6d941927a8120","target":"graph","created_at":"2026-07-05T11:31:32Z","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/2507.02635/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Electronic payment platforms are estimated to process billions oftransactions daily, with the cumulative value of these transactionspotentially reaching into the trillions. Even a minor error within thishigh-volume environment could precipitate substantial financiallosses. To mitigate this risk, manually constructed verification rules,developed by domain experts, are typically employed to identifyand scrutinize transactions in production environments. However,due to the absence of a systematic approach to ensure the robust-ness of these verification rules against vulnerabilities, they remainsu","authors_text":"Jianguo Li, Mao Luo, Qingyun Zhang, Wen Hu, Yiwen Huang, Zhipeng Lv, Zhi Wang, Zhouxing Su","cross_cats":["cs.DB"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2025-07-03T14:01:26Z","title":"SAT-BO: Verification Rule Learning and Optimization for FraudTransaction Detection"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.02635","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:ecc8e4b196c853afc5185e73c11fbbc2e2462948a6af4b437970599b8844d4a5","target":"record","created_at":"2026-07-05T11:31:32Z","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":"7ba29ddf0ecbb779acd51f75f1a34dcc934242f40e31fa066b3d74fa241e6939","cross_cats_sorted":["cs.DB"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2025-07-03T14:01:26Z","title_canon_sha256":"5d85b86c08caca5d59223a6055f6b2d42ebb819c76266ed8cd9f95a4b4a77bcc"},"schema_version":"1.0","source":{"id":"2507.02635","kind":"arxiv","version":1}},"canonical_sha256":"b82cc6373fb120617332bf915b156a7c5094b3e0a83ac9efc8ae5454a9c2bbbf","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b82cc6373fb120617332bf915b156a7c5094b3e0a83ac9efc8ae5454a9c2bbbf","first_computed_at":"2026-07-05T11:31:32.161384Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:31:32.161384Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"qrVtDyl5Hxu2f+HoJcGRsrdbkd54zS8IO9LUnT8RAHDRlmBTuZF+/+f7TBfQoiRcV2n7Go+/I6fVIvf7fiVHBg==","signature_status":"signed_v1","signed_at":"2026-07-05T11:31:32.161870Z","signed_message":"canonical_sha256_bytes"},"source_id":"2507.02635","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ecc8e4b196c853afc5185e73c11fbbc2e2462948a6af4b437970599b8844d4a5","sha256:52d59bdda63bf45782a95a5a1f5fb2051862465cf04088d238f6d941927a8120"],"state_sha256":"952710ccfca2e0a4ac0881d1ecfe32150f7e09cd9daaeb9830666245cb035d09"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+DXMKo5OrfR8c17nRaeoRW/Gj4dhWmzfuajk0OExP3uad1WyffSBCNTLDuHAJvlPu0mBb1h0CLhYPPWoCbJ7DA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T06:54:29.053678Z","bundle_sha256":"3ba762eb62a5568a2467c039dc299bc28cf500c96691fbf88440c8c4931763df"}}