{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:AQNK35FW2JCGZUDBNH7PVVGYDX","short_pith_number":"pith:AQNK35FW","canonical_record":{"source":{"id":"2507.11976","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-07-16T07:18:29Z","cross_cats_sorted":[],"title_canon_sha256":"f60534d85f89093c95f123763dd8aed3853a10c938e3eec046f00321a111148f","abstract_canon_sha256":"18891b69cf6095ac86e8c24049fb5b903a476e2aab4a15c618af461de690c971"},"schema_version":"1.0"},"canonical_sha256":"041aadf4b6d2446cd06169fefad4d81de860f0c4569358dd6cf691b33cecb8bd","source":{"kind":"arxiv","id":"2507.11976","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.11976","created_at":"2026-07-05T11:38:12Z"},{"alias_kind":"arxiv_version","alias_value":"2507.11976v1","created_at":"2026-07-05T11:38:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.11976","created_at":"2026-07-05T11:38:12Z"},{"alias_kind":"pith_short_12","alias_value":"AQNK35FW2JCG","created_at":"2026-07-05T11:38:12Z"},{"alias_kind":"pith_short_16","alias_value":"AQNK35FW2JCGZUDB","created_at":"2026-07-05T11:38:12Z"},{"alias_kind":"pith_short_8","alias_value":"AQNK35FW","created_at":"2026-07-05T11:38:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:AQNK35FW2JCGZUDBNH7PVVGYDX","target":"record","payload":{"canonical_record":{"source":{"id":"2507.11976","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-07-16T07:18:29Z","cross_cats_sorted":[],"title_canon_sha256":"f60534d85f89093c95f123763dd8aed3853a10c938e3eec046f00321a111148f","abstract_canon_sha256":"18891b69cf6095ac86e8c24049fb5b903a476e2aab4a15c618af461de690c971"},"schema_version":"1.0"},"canonical_sha256":"041aadf4b6d2446cd06169fefad4d81de860f0c4569358dd6cf691b33cecb8bd","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:38:12.282648Z","signature_b64":"LOPysf4fZseAsB3wlVCSkzJz3MrMlBnopIm0jsaZhHPyay/UEG0M2UUICU2hllzNnttZak2+T3IUCLn4ly1rDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"041aadf4b6d2446cd06169fefad4d81de860f0c4569358dd6cf691b33cecb8bd","last_reissued_at":"2026-07-05T11:38:12.282181Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:38:12.282181Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2507.11976","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:38:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pWvG8ZpqKodZxN/FV702Jq3Xr7DHT/ADh4OP/3QG6O2A+QBSqEdwSY3ty6Ig12QpBnITEDkbfXeqW5tOyAiQCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-17T18:03:55.783298Z"},"content_sha256":"53410fa35738237e14ff41267332d885856ee912dad07d46fe6b4a886aabfa11","schema_version":"1.0","event_id":"sha256:53410fa35738237e14ff41267332d885856ee912dad07d46fe6b4a886aabfa11"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:AQNK35FW2JCGZUDBNH7PVVGYDX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Task Taxonomy for Conformance Checking","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Finn Klessascheck, Jana-Rebecca Rehse, Lisa-Marie Klein, Luise Pufahl, Michael Grohs, Tatiana von Landesberger","submitted_at":"2025-07-16T07:18:29Z","abstract_excerpt":"Conformance checking is a sub-discipline of process mining, which compares observed process traces with a process model to analyze whether the process execution conforms with or deviates from the process design. Organizations can leverage this analysis, for example to check whether their processes comply with internal or external regulations or to identify potential improvements. Gaining these insights requires suitable visualizations, which make complex results accessible and actionable. So far, however, the development of conformance checking visualizations has largely been left to tool vend"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.11976","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.11976/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:38:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"12C2porvgukGw9PtisqpSX2AeWy9O6dC/3GS44+yMxRpBWrBKXvix8rEJOXBvfKKPLF5dwhdkIIylTsc7WCeCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-17T18:03:55.783689Z"},"content_sha256":"c66cea6e5e22594e334c235eaa59568498ee485b982eb3c9427dbf503077818e","schema_version":"1.0","event_id":"sha256:c66cea6e5e22594e334c235eaa59568498ee485b982eb3c9427dbf503077818e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/AQNK35FW2JCGZUDBNH7PVVGYDX/bundle.json","state_url":"https://pith.science/pith/AQNK35FW2JCGZUDBNH7PVVGYDX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/AQNK35FW2JCGZUDBNH7PVVGYDX/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-17T18:03:55Z","links":{"resolver":"https://pith.science/pith/AQNK35FW2JCGZUDBNH7PVVGYDX","bundle":"https://pith.science/pith/AQNK35FW2JCGZUDBNH7PVVGYDX/bundle.json","state":"https://pith.science/pith/AQNK35FW2JCGZUDBNH7PVVGYDX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/AQNK35FW2JCGZUDBNH7PVVGYDX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:AQNK35FW2JCGZUDBNH7PVVGYDX","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":"18891b69cf6095ac86e8c24049fb5b903a476e2aab4a15c618af461de690c971","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-07-16T07:18:29Z","title_canon_sha256":"f60534d85f89093c95f123763dd8aed3853a10c938e3eec046f00321a111148f"},"schema_version":"1.0","source":{"id":"2507.11976","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.11976","created_at":"2026-07-05T11:38:12Z"},{"alias_kind":"arxiv_version","alias_value":"2507.11976v1","created_at":"2026-07-05T11:38:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.11976","created_at":"2026-07-05T11:38:12Z"},{"alias_kind":"pith_short_12","alias_value":"AQNK35FW2JCG","created_at":"2026-07-05T11:38:12Z"},{"alias_kind":"pith_short_16","alias_value":"AQNK35FW2JCGZUDB","created_at":"2026-07-05T11:38:12Z"},{"alias_kind":"pith_short_8","alias_value":"AQNK35FW","created_at":"2026-07-05T11:38:12Z"}],"graph_snapshots":[{"event_id":"sha256:c66cea6e5e22594e334c235eaa59568498ee485b982eb3c9427dbf503077818e","target":"graph","created_at":"2026-07-05T11:38:12Z","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.11976/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Conformance checking is a sub-discipline of process mining, which compares observed process traces with a process model to analyze whether the process execution conforms with or deviates from the process design. Organizations can leverage this analysis, for example to check whether their processes comply with internal or external regulations or to identify potential improvements. Gaining these insights requires suitable visualizations, which make complex results accessible and actionable. So far, however, the development of conformance checking visualizations has largely been left to tool vend","authors_text":"Finn Klessascheck, Jana-Rebecca Rehse, Lisa-Marie Klein, Luise Pufahl, Michael Grohs, Tatiana von Landesberger","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-07-16T07:18:29Z","title":"A Task Taxonomy for Conformance Checking"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.11976","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:53410fa35738237e14ff41267332d885856ee912dad07d46fe6b4a886aabfa11","target":"record","created_at":"2026-07-05T11:38:12Z","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":"18891b69cf6095ac86e8c24049fb5b903a476e2aab4a15c618af461de690c971","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-07-16T07:18:29Z","title_canon_sha256":"f60534d85f89093c95f123763dd8aed3853a10c938e3eec046f00321a111148f"},"schema_version":"1.0","source":{"id":"2507.11976","kind":"arxiv","version":1}},"canonical_sha256":"041aadf4b6d2446cd06169fefad4d81de860f0c4569358dd6cf691b33cecb8bd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"041aadf4b6d2446cd06169fefad4d81de860f0c4569358dd6cf691b33cecb8bd","first_computed_at":"2026-07-05T11:38:12.282181Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:38:12.282181Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"LOPysf4fZseAsB3wlVCSkzJz3MrMlBnopIm0jsaZhHPyay/UEG0M2UUICU2hllzNnttZak2+T3IUCLn4ly1rDA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:38:12.282648Z","signed_message":"canonical_sha256_bytes"},"source_id":"2507.11976","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:53410fa35738237e14ff41267332d885856ee912dad07d46fe6b4a886aabfa11","sha256:c66cea6e5e22594e334c235eaa59568498ee485b982eb3c9427dbf503077818e"],"state_sha256":"250bcac33e7f151fa0a2a5e41094c1a079521ec589a9d5677e2cec4c7dd8771f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ezczGnQCdLxFgv9k9+YuEdSY3lf9pG0LGlJkgNESOOjy3JDVdU7+QTKM0UsYYvAP7PE3FgMhnHP/WTUIZr9VAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-17T18:03:55.786143Z","bundle_sha256":"1e4912bf22e92d2aefa125259fc3ff236909f9d8c4f2020af7df03a856f221d4"}}