{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:P2KGVI4IOYVKEDIEJ2EQBQQ3XK","short_pith_number":"pith:P2KGVI4I","canonical_record":{"source":{"id":"2606.03870","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-06-02T16:41:20Z","cross_cats_sorted":[],"title_canon_sha256":"27c18f2c2fc4d1bb6e4403bdfe7c5d1b32f3449338d80db140dd1fdeb63a4a64","abstract_canon_sha256":"730a39a72ec3668b8b6be00f1fd45a2a36ae7c7c02c5e0e4ad37629996a9650e"},"schema_version":"1.0"},"canonical_sha256":"7e946aa388762aa20d044e8900c21bba80f7249e6cc0fb9cb8480be907987051","source":{"kind":"arxiv","id":"2606.03870","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.03870","created_at":"2026-06-03T02:06:04Z"},{"alias_kind":"arxiv_version","alias_value":"2606.03870v1","created_at":"2026-06-03T02:06:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.03870","created_at":"2026-06-03T02:06:04Z"},{"alias_kind":"pith_short_12","alias_value":"P2KGVI4IOYVK","created_at":"2026-06-03T02:06:04Z"},{"alias_kind":"pith_short_16","alias_value":"P2KGVI4IOYVKEDIE","created_at":"2026-06-03T02:06:04Z"},{"alias_kind":"pith_short_8","alias_value":"P2KGVI4I","created_at":"2026-06-03T02:06:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:P2KGVI4IOYVKEDIEJ2EQBQQ3XK","target":"record","payload":{"canonical_record":{"source":{"id":"2606.03870","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-06-02T16:41:20Z","cross_cats_sorted":[],"title_canon_sha256":"27c18f2c2fc4d1bb6e4403bdfe7c5d1b32f3449338d80db140dd1fdeb63a4a64","abstract_canon_sha256":"730a39a72ec3668b8b6be00f1fd45a2a36ae7c7c02c5e0e4ad37629996a9650e"},"schema_version":"1.0"},"canonical_sha256":"7e946aa388762aa20d044e8900c21bba80f7249e6cc0fb9cb8480be907987051","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-03T02:06:04.887410Z","signature_b64":"w/KRdr1SnHIQYlDP82tl4cr3qUZm1rOMDHe6D3cmJGbeCqXafz4ho/mWVnCEElIK4bh1u5UTmrmOIfqzqdsfCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7e946aa388762aa20d044e8900c21bba80f7249e6cc0fb9cb8480be907987051","last_reissued_at":"2026-06-03T02:06:04.887045Z","signature_status":"signed_v1","first_computed_at":"2026-06-03T02:06:04.887045Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2606.03870","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-06-03T02:06:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mbG8yCEnC689ETWxfvBHZ7bNPf7tO+XvwPgKbP1psqys9fKCrmLS6itPj23LGxX2Otb3oSuPZ/Sc/cjlFjFdBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T05:50:53.872067Z"},"content_sha256":"5d842f21e84075aced658c46fd89d76631feb7d9b11c80128a4461df0798cf2f","schema_version":"1.0","event_id":"sha256:5d842f21e84075aced658c46fd89d76631feb7d9b11c80128a4461df0798cf2f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:P2KGVI4IOYVKEDIEJ2EQBQQ3XK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Automated Repair of Requirements for Cyber-Physical Systems in Simulink Requirements Tables","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Alessio Di Sandro, Aren A. Babikian, Claudio Menghi, Federico Formica, Marsha Chechik","submitted_at":"2026-06-02T16:41:20Z","abstract_excerpt":"The development of complex software systems, e.g., cyber-physical systems (CPSs), involves continuous evolution of both system implementations and their requirements. These two artifacts often proceed independently, creating a risk of misalignment. For example, a system may be updated due to implementation-level concerns, yielding a new version that no longer satisfies its original requirements. Traditional compliance recovery techniques, e.g., automated program repair, address this problem by modifying the system while assuming that requirements are correct. However, faulty, outdated or inade"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.03870","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/2606.03870/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-06-03T02:06:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qKJOTPwBXm85ryXUjeCHkP0/O73VMT8H1tOypmjFzjsB4wo365CeuLEoPAaH1g5STO3JnQC9f4gObz9JmZUcCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T05:50:53.872595Z"},"content_sha256":"aa82f304ed886cc15ba604f3c71733f913293cf68d8290bf72d5dae050a84cfc","schema_version":"1.0","event_id":"sha256:aa82f304ed886cc15ba604f3c71733f913293cf68d8290bf72d5dae050a84cfc"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/P2KGVI4IOYVKEDIEJ2EQBQQ3XK/bundle.json","state_url":"https://pith.science/pith/P2KGVI4IOYVKEDIEJ2EQBQQ3XK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/P2KGVI4IOYVKEDIEJ2EQBQQ3XK/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-05T05:50:53Z","links":{"resolver":"https://pith.science/pith/P2KGVI4IOYVKEDIEJ2EQBQQ3XK","bundle":"https://pith.science/pith/P2KGVI4IOYVKEDIEJ2EQBQQ3XK/bundle.json","state":"https://pith.science/pith/P2KGVI4IOYVKEDIEJ2EQBQQ3XK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/P2KGVI4IOYVKEDIEJ2EQBQQ3XK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:P2KGVI4IOYVKEDIEJ2EQBQQ3XK","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":"730a39a72ec3668b8b6be00f1fd45a2a36ae7c7c02c5e0e4ad37629996a9650e","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-06-02T16:41:20Z","title_canon_sha256":"27c18f2c2fc4d1bb6e4403bdfe7c5d1b32f3449338d80db140dd1fdeb63a4a64"},"schema_version":"1.0","source":{"id":"2606.03870","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.03870","created_at":"2026-06-03T02:06:04Z"},{"alias_kind":"arxiv_version","alias_value":"2606.03870v1","created_at":"2026-06-03T02:06:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.03870","created_at":"2026-06-03T02:06:04Z"},{"alias_kind":"pith_short_12","alias_value":"P2KGVI4IOYVK","created_at":"2026-06-03T02:06:04Z"},{"alias_kind":"pith_short_16","alias_value":"P2KGVI4IOYVKEDIE","created_at":"2026-06-03T02:06:04Z"},{"alias_kind":"pith_short_8","alias_value":"P2KGVI4I","created_at":"2026-06-03T02:06:04Z"}],"graph_snapshots":[{"event_id":"sha256:aa82f304ed886cc15ba604f3c71733f913293cf68d8290bf72d5dae050a84cfc","target":"graph","created_at":"2026-06-03T02:06:04Z","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/2606.03870/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The development of complex software systems, e.g., cyber-physical systems (CPSs), involves continuous evolution of both system implementations and their requirements. These two artifacts often proceed independently, creating a risk of misalignment. For example, a system may be updated due to implementation-level concerns, yielding a new version that no longer satisfies its original requirements. Traditional compliance recovery techniques, e.g., automated program repair, address this problem by modifying the system while assuming that requirements are correct. However, faulty, outdated or inade","authors_text":"Alessio Di Sandro, Aren A. Babikian, Claudio Menghi, Federico Formica, Marsha Chechik","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-06-02T16:41:20Z","title":"Automated Repair of Requirements for Cyber-Physical Systems in Simulink Requirements Tables"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.03870","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:5d842f21e84075aced658c46fd89d76631feb7d9b11c80128a4461df0798cf2f","target":"record","created_at":"2026-06-03T02:06:04Z","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":"730a39a72ec3668b8b6be00f1fd45a2a36ae7c7c02c5e0e4ad37629996a9650e","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-06-02T16:41:20Z","title_canon_sha256":"27c18f2c2fc4d1bb6e4403bdfe7c5d1b32f3449338d80db140dd1fdeb63a4a64"},"schema_version":"1.0","source":{"id":"2606.03870","kind":"arxiv","version":1}},"canonical_sha256":"7e946aa388762aa20d044e8900c21bba80f7249e6cc0fb9cb8480be907987051","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7e946aa388762aa20d044e8900c21bba80f7249e6cc0fb9cb8480be907987051","first_computed_at":"2026-06-03T02:06:04.887045Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-03T02:06:04.887045Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"w/KRdr1SnHIQYlDP82tl4cr3qUZm1rOMDHe6D3cmJGbeCqXafz4ho/mWVnCEElIK4bh1u5UTmrmOIfqzqdsfCw==","signature_status":"signed_v1","signed_at":"2026-06-03T02:06:04.887410Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.03870","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5d842f21e84075aced658c46fd89d76631feb7d9b11c80128a4461df0798cf2f","sha256:aa82f304ed886cc15ba604f3c71733f913293cf68d8290bf72d5dae050a84cfc"],"state_sha256":"03204596d3e49d70295f130e1c8870071adb58a304e79ca1a9b1a15e655ce0f2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jL0e1rCFwF/dD3Z3WgwcDppI7IcJGzYme7aZvVS9B+SyOX6lRTk5qCD0aiaOG8jL7SoAifFy+niKv0JNSFZgBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T05:50:53.874978Z","bundle_sha256":"65dfed0c8336607b743bae53a5ed967b19fe13f45fbb5480121156d51d767961"}}