{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:T3OCOWKLNNGOEAC6CIENU2CHQE","short_pith_number":"pith:T3OCOWKL","canonical_record":{"source":{"id":"2605.25101","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.SE","submitted_at":"2026-05-24T14:30:56Z","cross_cats_sorted":["cs.AI","cs.SY","eess.SY"],"title_canon_sha256":"2676e6b8c5a331ed3ccba9ddb066d025713a138577479230e2c8f661e3132743","abstract_canon_sha256":"3b3ea0779dd2df26e108b0ae99926161ad20102eba9e4e5c44af9242962934ef"},"schema_version":"1.0"},"canonical_sha256":"9edc27594b6b4ce2005e1208da6847813f4dfa380850cd4bb4f8e5d18c664d4e","source":{"kind":"arxiv","id":"2605.25101","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.25101","created_at":"2026-05-26T02:04:17Z"},{"alias_kind":"arxiv_version","alias_value":"2605.25101v1","created_at":"2026-05-26T02:04:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.25101","created_at":"2026-05-26T02:04:17Z"},{"alias_kind":"pith_short_12","alias_value":"T3OCOWKLNNGO","created_at":"2026-05-26T02:04:17Z"},{"alias_kind":"pith_short_16","alias_value":"T3OCOWKLNNGOEAC6","created_at":"2026-05-26T02:04:17Z"},{"alias_kind":"pith_short_8","alias_value":"T3OCOWKL","created_at":"2026-05-26T02:04:17Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:T3OCOWKLNNGOEAC6CIENU2CHQE","target":"record","payload":{"canonical_record":{"source":{"id":"2605.25101","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.SE","submitted_at":"2026-05-24T14:30:56Z","cross_cats_sorted":["cs.AI","cs.SY","eess.SY"],"title_canon_sha256":"2676e6b8c5a331ed3ccba9ddb066d025713a138577479230e2c8f661e3132743","abstract_canon_sha256":"3b3ea0779dd2df26e108b0ae99926161ad20102eba9e4e5c44af9242962934ef"},"schema_version":"1.0"},"canonical_sha256":"9edc27594b6b4ce2005e1208da6847813f4dfa380850cd4bb4f8e5d18c664d4e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-26T02:04:17.971771Z","signature_b64":"SHub81ZFQrMBXmysXbXGvL6DHNyaRhQH/Mq1voUL0s3bZ9dyBqBCHqNbYs7tH2mmRA7bTAv/AGDDbndM08AVCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9edc27594b6b4ce2005e1208da6847813f4dfa380850cd4bb4f8e5d18c664d4e","last_reissued_at":"2026-05-26T02:04:17.971016Z","signature_status":"signed_v1","first_computed_at":"2026-05-26T02:04:17.971016Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2605.25101","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-05-26T02:04:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LrnKzMrxQm58Ug/wt6QWOeYGGuHoBizqPl6RvzRseEy0uNT7UsIQ/6GRIlyPkp31yz03TO/UyZWFNNwCFLp6Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-30T04:58:36.036435Z"},"content_sha256":"2a1df0840fbf4ed0c8bd551753a675ceb0fccc7a2cf45062185cf97389cdf62e","schema_version":"1.0","event_id":"sha256:2a1df0840fbf4ed0c8bd551753a675ceb0fccc7a2cf45062185cf97389cdf62e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:T3OCOWKLNNGOEAC6CIENU2CHQE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Multi-Agent Specification-based Metamorphic Testing of FMU-Based Simulations","license":"http://creativecommons.org/publicdomain/zero/1.0/","headline":"","cross_cats":["cs.AI","cs.SY","eess.SY"],"primary_cat":"cs.SE","authors_text":"Abdullah Mughees, Ashir Kulshreshtha, Dragos Truscan, Gaadha Sudheerbabu, Kristian Klemets, Mikael Manng{\\aa}rd, Tanwir Ahmad","submitted_at":"2026-05-24T14:30:56Z","abstract_excerpt":"In many industrial domains, the Functional Mock-up Interface (FMI) is used to exchange simulation models as Functional Mock-up Units (FMUs) across different partners using various modelling tools. This opens up the possibilities for simulation-based verification and validation using FMUs for ensuring reliable system behaviour. However, deriving effective test oracles for these simulation models remains challenging due to the absence of explicit expected outputs. This limits the applicability of conventional testing approaches, which require access to the internal workings of the systems. Metam"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.25101","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/2605.25101/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-05-26T02:04:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xE6MuMBK58hpF9WUTNH/t1RbS88HsqhV2b1O5RVNOzKa7JEsaofFB94CY3ZoAdm/7tfuRJO3gYVE+jjHxHP3BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-30T04:58:36.036814Z"},"content_sha256":"97b76e92b0dcc00554a55832cfae9c1214d35c2a913f3816d8023368639caaae","schema_version":"1.0","event_id":"sha256:97b76e92b0dcc00554a55832cfae9c1214d35c2a913f3816d8023368639caaae"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/T3OCOWKLNNGOEAC6CIENU2CHQE/bundle.json","state_url":"https://pith.science/pith/T3OCOWKLNNGOEAC6CIENU2CHQE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/T3OCOWKLNNGOEAC6CIENU2CHQE/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-06-30T04:58:36Z","links":{"resolver":"https://pith.science/pith/T3OCOWKLNNGOEAC6CIENU2CHQE","bundle":"https://pith.science/pith/T3OCOWKLNNGOEAC6CIENU2CHQE/bundle.json","state":"https://pith.science/pith/T3OCOWKLNNGOEAC6CIENU2CHQE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/T3OCOWKLNNGOEAC6CIENU2CHQE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:T3OCOWKLNNGOEAC6CIENU2CHQE","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":"3b3ea0779dd2df26e108b0ae99926161ad20102eba9e4e5c44af9242962934ef","cross_cats_sorted":["cs.AI","cs.SY","eess.SY"],"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.SE","submitted_at":"2026-05-24T14:30:56Z","title_canon_sha256":"2676e6b8c5a331ed3ccba9ddb066d025713a138577479230e2c8f661e3132743"},"schema_version":"1.0","source":{"id":"2605.25101","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.25101","created_at":"2026-05-26T02:04:17Z"},{"alias_kind":"arxiv_version","alias_value":"2605.25101v1","created_at":"2026-05-26T02:04:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.25101","created_at":"2026-05-26T02:04:17Z"},{"alias_kind":"pith_short_12","alias_value":"T3OCOWKLNNGO","created_at":"2026-05-26T02:04:17Z"},{"alias_kind":"pith_short_16","alias_value":"T3OCOWKLNNGOEAC6","created_at":"2026-05-26T02:04:17Z"},{"alias_kind":"pith_short_8","alias_value":"T3OCOWKL","created_at":"2026-05-26T02:04:17Z"}],"graph_snapshots":[{"event_id":"sha256:97b76e92b0dcc00554a55832cfae9c1214d35c2a913f3816d8023368639caaae","target":"graph","created_at":"2026-05-26T02:04:17Z","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/2605.25101/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In many industrial domains, the Functional Mock-up Interface (FMI) is used to exchange simulation models as Functional Mock-up Units (FMUs) across different partners using various modelling tools. This opens up the possibilities for simulation-based verification and validation using FMUs for ensuring reliable system behaviour. However, deriving effective test oracles for these simulation models remains challenging due to the absence of explicit expected outputs. This limits the applicability of conventional testing approaches, which require access to the internal workings of the systems. Metam","authors_text":"Abdullah Mughees, Ashir Kulshreshtha, Dragos Truscan, Gaadha Sudheerbabu, Kristian Klemets, Mikael Manng{\\aa}rd, Tanwir Ahmad","cross_cats":["cs.AI","cs.SY","eess.SY"],"headline":"","license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.SE","submitted_at":"2026-05-24T14:30:56Z","title":"Multi-Agent Specification-based Metamorphic Testing of FMU-Based Simulations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.25101","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:2a1df0840fbf4ed0c8bd551753a675ceb0fccc7a2cf45062185cf97389cdf62e","target":"record","created_at":"2026-05-26T02:04:17Z","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":"3b3ea0779dd2df26e108b0ae99926161ad20102eba9e4e5c44af9242962934ef","cross_cats_sorted":["cs.AI","cs.SY","eess.SY"],"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.SE","submitted_at":"2026-05-24T14:30:56Z","title_canon_sha256":"2676e6b8c5a331ed3ccba9ddb066d025713a138577479230e2c8f661e3132743"},"schema_version":"1.0","source":{"id":"2605.25101","kind":"arxiv","version":1}},"canonical_sha256":"9edc27594b6b4ce2005e1208da6847813f4dfa380850cd4bb4f8e5d18c664d4e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9edc27594b6b4ce2005e1208da6847813f4dfa380850cd4bb4f8e5d18c664d4e","first_computed_at":"2026-05-26T02:04:17.971016Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-26T02:04:17.971016Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"SHub81ZFQrMBXmysXbXGvL6DHNyaRhQH/Mq1voUL0s3bZ9dyBqBCHqNbYs7tH2mmRA7bTAv/AGDDbndM08AVCw==","signature_status":"signed_v1","signed_at":"2026-05-26T02:04:17.971771Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.25101","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2a1df0840fbf4ed0c8bd551753a675ceb0fccc7a2cf45062185cf97389cdf62e","sha256:97b76e92b0dcc00554a55832cfae9c1214d35c2a913f3816d8023368639caaae"],"state_sha256":"823550fb27c73a57973f6be8775daaf24901fd6cd286979a4eb95d1a3fa491ec"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GybPO/UZOZHLXapMYr0O8Tq1F+T3BXhcKgcBSKrrX3fITtFPzKnzi1af2kshZ9Qoy5hLNkKn8K37aasnYEe5Bw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-30T04:58:36.038995Z","bundle_sha256":"62162f77859ee979b05376b3e9b4cab02f4186be20ed9608b6a769027355f028"}}