{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:AEQ45GTXSF7P6PLTYBIDWN3DRJ","short_pith_number":"pith:AEQ45GTX","canonical_record":{"source":{"id":"2506.17602","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2025-06-21T05:42:34Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"7eb71de2a3bca31f99f07c1d0ce43d1673d8293d4c80aba9f770ae7590da07d8","abstract_canon_sha256":"7ed5e48d4c071b478964693305e85b3b16c5e38762c738c9114d71fa86e936f6"},"schema_version":"1.0"},"canonical_sha256":"0121ce9a77917eff3d73c0503b37638a77ad5b15d471b00531ee5cf2117a451e","source":{"kind":"arxiv","id":"2506.17602","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.17602","created_at":"2026-07-05T11:25:20Z"},{"alias_kind":"arxiv_version","alias_value":"2506.17602v1","created_at":"2026-07-05T11:25:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.17602","created_at":"2026-07-05T11:25:20Z"},{"alias_kind":"pith_short_12","alias_value":"AEQ45GTXSF7P","created_at":"2026-07-05T11:25:20Z"},{"alias_kind":"pith_short_16","alias_value":"AEQ45GTXSF7P6PLT","created_at":"2026-07-05T11:25:20Z"},{"alias_kind":"pith_short_8","alias_value":"AEQ45GTX","created_at":"2026-07-05T11:25:20Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:AEQ45GTXSF7P6PLTYBIDWN3DRJ","target":"record","payload":{"canonical_record":{"source":{"id":"2506.17602","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2025-06-21T05:42:34Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"7eb71de2a3bca31f99f07c1d0ce43d1673d8293d4c80aba9f770ae7590da07d8","abstract_canon_sha256":"7ed5e48d4c071b478964693305e85b3b16c5e38762c738c9114d71fa86e936f6"},"schema_version":"1.0"},"canonical_sha256":"0121ce9a77917eff3d73c0503b37638a77ad5b15d471b00531ee5cf2117a451e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:25:20.296893Z","signature_b64":"RvptxWa9ehA6RS8ipHJ5D3SRn4p+RK945hwLHNgg3CkOYQya3ov+Mwq7csvuydnXYczUaYh65k+9x8hq6DAwAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0121ce9a77917eff3d73c0503b37638a77ad5b15d471b00531ee5cf2117a451e","last_reissued_at":"2026-07-05T11:25:20.296364Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:25:20.296364Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.17602","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:25:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nwbxUniSeb1MM1qPpQ/mtnZIqLlcL1WVWORTE3zCoIFjeN/gLi3n7DOReo5Seezf6NRhTNvvVcz0p6dqe0zkCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T18:59:41.456080Z"},"content_sha256":"ee39c7d2075c2b5074689a8e9cb0a972130f11f4b150c7af479cede3ee6b3195","schema_version":"1.0","event_id":"sha256:ee39c7d2075c2b5074689a8e9cb0a972130f11f4b150c7af479cede3ee6b3195"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:AEQ45GTXSF7P6PLTYBIDWN3DRJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"ARCH-COMP25 Category Report: Stochastic Models","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY","eess.SY"],"primary_cat":"cs.LO","authors_text":"Abolfazl Lavaei, Alessandro Abate, Amy Nejati, Anne Remke, Behrad Samari, Ben Wooding, Fie {\\O}rum, Frederik Baymler Mathiesen, Henk A.P. Blom, Mahdieh Zaker, Mathis Niehage, Omid Akbarzadeh, Rafal Wisniewski, Rahul Misra, Ruohan Wang, Sina Hassani, Sofie Haesaert","submitted_at":"2025-06-21T05:42:34Z","abstract_excerpt":"This report is concerned with a friendly competition for formal verification and policy synthesis of stochastic models. The main goal of the report is to introduce new benchmarks and their properties within this category and recommend next steps toward next year's edition of the competition. In particular, this report introduces three recently developed software tools, a new water distribution network benchmark, and a collection of simplified benchmarks intended to facilitate further comparisons among tools that were previously not directly comparable. This friendly competition took place as p"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.17602","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/2506.17602/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:25:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zuPxLlJBqinSJOf0190XRrD1uGvLYU867FaVedZwH68r4cNiT1GopQZuoW+USeF9BlW+mUGvcb6oaFvq/4BGCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T18:59:41.456475Z"},"content_sha256":"f0e72403489756cad75e642da48a14f9ddfa48f76d81863f0efb245f52e667e4","schema_version":"1.0","event_id":"sha256:f0e72403489756cad75e642da48a14f9ddfa48f76d81863f0efb245f52e667e4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/AEQ45GTXSF7P6PLTYBIDWN3DRJ/bundle.json","state_url":"https://pith.science/pith/AEQ45GTXSF7P6PLTYBIDWN3DRJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/AEQ45GTXSF7P6PLTYBIDWN3DRJ/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-17T18:59:41Z","links":{"resolver":"https://pith.science/pith/AEQ45GTXSF7P6PLTYBIDWN3DRJ","bundle":"https://pith.science/pith/AEQ45GTXSF7P6PLTYBIDWN3DRJ/bundle.json","state":"https://pith.science/pith/AEQ45GTXSF7P6PLTYBIDWN3DRJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/AEQ45GTXSF7P6PLTYBIDWN3DRJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:AEQ45GTXSF7P6PLTYBIDWN3DRJ","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":"7ed5e48d4c071b478964693305e85b3b16c5e38762c738c9114d71fa86e936f6","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2025-06-21T05:42:34Z","title_canon_sha256":"7eb71de2a3bca31f99f07c1d0ce43d1673d8293d4c80aba9f770ae7590da07d8"},"schema_version":"1.0","source":{"id":"2506.17602","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.17602","created_at":"2026-07-05T11:25:20Z"},{"alias_kind":"arxiv_version","alias_value":"2506.17602v1","created_at":"2026-07-05T11:25:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.17602","created_at":"2026-07-05T11:25:20Z"},{"alias_kind":"pith_short_12","alias_value":"AEQ45GTXSF7P","created_at":"2026-07-05T11:25:20Z"},{"alias_kind":"pith_short_16","alias_value":"AEQ45GTXSF7P6PLT","created_at":"2026-07-05T11:25:20Z"},{"alias_kind":"pith_short_8","alias_value":"AEQ45GTX","created_at":"2026-07-05T11:25:20Z"}],"graph_snapshots":[{"event_id":"sha256:f0e72403489756cad75e642da48a14f9ddfa48f76d81863f0efb245f52e667e4","target":"graph","created_at":"2026-07-05T11:25:20Z","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/2506.17602/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This report is concerned with a friendly competition for formal verification and policy synthesis of stochastic models. The main goal of the report is to introduce new benchmarks and their properties within this category and recommend next steps toward next year's edition of the competition. In particular, this report introduces three recently developed software tools, a new water distribution network benchmark, and a collection of simplified benchmarks intended to facilitate further comparisons among tools that were previously not directly comparable. This friendly competition took place as p","authors_text":"Abolfazl Lavaei, Alessandro Abate, Amy Nejati, Anne Remke, Behrad Samari, Ben Wooding, Fie {\\O}rum, Frederik Baymler Mathiesen, Henk A.P. Blom, Mahdieh Zaker, Mathis Niehage, Omid Akbarzadeh, Rafal Wisniewski, Rahul Misra, Ruohan Wang, Sina Hassani, Sofie Haesaert","cross_cats":["cs.SY","eess.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2025-06-21T05:42:34Z","title":"ARCH-COMP25 Category Report: Stochastic Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.17602","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:ee39c7d2075c2b5074689a8e9cb0a972130f11f4b150c7af479cede3ee6b3195","target":"record","created_at":"2026-07-05T11:25:20Z","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":"7ed5e48d4c071b478964693305e85b3b16c5e38762c738c9114d71fa86e936f6","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2025-06-21T05:42:34Z","title_canon_sha256":"7eb71de2a3bca31f99f07c1d0ce43d1673d8293d4c80aba9f770ae7590da07d8"},"schema_version":"1.0","source":{"id":"2506.17602","kind":"arxiv","version":1}},"canonical_sha256":"0121ce9a77917eff3d73c0503b37638a77ad5b15d471b00531ee5cf2117a451e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0121ce9a77917eff3d73c0503b37638a77ad5b15d471b00531ee5cf2117a451e","first_computed_at":"2026-07-05T11:25:20.296364Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:25:20.296364Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"RvptxWa9ehA6RS8ipHJ5D3SRn4p+RK945hwLHNgg3CkOYQya3ov+Mwq7csvuydnXYczUaYh65k+9x8hq6DAwAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T11:25:20.296893Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.17602","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ee39c7d2075c2b5074689a8e9cb0a972130f11f4b150c7af479cede3ee6b3195","sha256:f0e72403489756cad75e642da48a14f9ddfa48f76d81863f0efb245f52e667e4"],"state_sha256":"02a11cf01c4f3fbe10df1bc20c9662d0737f80477948ae3ff52cdcae19a0b910"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"roIDdyDtodGC5+sNTVUbdzmwO1lu35mHqONvdiYs+pGfvTZa2YZz3NBI2qDRcsNwlXUrzhWiyQfY40nP0qvQDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-17T18:59:41.459215Z","bundle_sha256":"09dac57c6f5253cd0ada8b61471a85b22312bf0486b5b825eb80f7facc8234da"}}