{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:CSRD7L6PN5TWF6NQL3DHAO3OZY","short_pith_number":"pith:CSRD7L6P","schema_version":"1.0","canonical_sha256":"14a23fafcf6f6762f9b05ec6703b6ece3d812956ed5ee14e20fcdc5e851c868f","source":{"kind":"arxiv","id":"2312.09828","version":4},"attestation_state":"computed","paper":{"title":"Advanced Model Consistency Restoration with Higher-Order Short-Cut Rules","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Adrian M\\\"oller, Alexander Lauer, Andy Sch\\\"urr, Jens Kosiol, Lars Fritsche","submitted_at":"2023-12-15T14:33:37Z","abstract_excerpt":"Sequential model synchronisation is the task of propagating changes from one model to another correlated one to restore consistency. It is challenging to perform this propagation in a least-changing way that avoids unnecessary deletions (which might cause information loss). From a theoretical point of view, so-called short-cut (SC) rules have been developed that enable provably correct propagation of changes while avoiding information loss. However, to be able to react to every possible change, an infinite set of such rules might be necessary. Practically, only small sets of pre-computed basic"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2312.09828","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2023-12-15T14:33:37Z","cross_cats_sorted":[],"title_canon_sha256":"4116a565262c53cc2137ffa1b41ee2ba984af180e744c992623911498b057aa5","abstract_canon_sha256":"c895d940beaa52caf14ae63a13375e80743d11b3d34fff0a079c94e93f1e5316"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:11:12.541629Z","signature_b64":"nnHLC8pNhwa5rBfWpl3+7/6DSN64Orc4h5HHbzv2YZSnSwMIhS+jcqRj+zhypiqYjG2vxtRbzgYf2R1zd1NEDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"14a23fafcf6f6762f9b05ec6703b6ece3d812956ed5ee14e20fcdc5e851c868f","last_reissued_at":"2026-07-05T09:11:12.541071Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:11:12.541071Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Advanced Model Consistency Restoration with Higher-Order Short-Cut Rules","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Adrian M\\\"oller, Alexander Lauer, Andy Sch\\\"urr, Jens Kosiol, Lars Fritsche","submitted_at":"2023-12-15T14:33:37Z","abstract_excerpt":"Sequential model synchronisation is the task of propagating changes from one model to another correlated one to restore consistency. It is challenging to perform this propagation in a least-changing way that avoids unnecessary deletions (which might cause information loss). From a theoretical point of view, so-called short-cut (SC) rules have been developed that enable provably correct propagation of changes while avoiding information loss. However, to be able to react to every possible change, an infinite set of such rules might be necessary. Practically, only small sets of pre-computed basic"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2312.09828","kind":"arxiv","version":4},"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/2312.09828/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2312.09828","created_at":"2026-07-05T09:11:12.541131+00:00"},{"alias_kind":"arxiv_version","alias_value":"2312.09828v4","created_at":"2026-07-05T09:11:12.541131+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2312.09828","created_at":"2026-07-05T09:11:12.541131+00:00"},{"alias_kind":"pith_short_12","alias_value":"CSRD7L6PN5TW","created_at":"2026-07-05T09:11:12.541131+00:00"},{"alias_kind":"pith_short_16","alias_value":"CSRD7L6PN5TWF6NQ","created_at":"2026-07-05T09:11:12.541131+00:00"},{"alias_kind":"pith_short_8","alias_value":"CSRD7L6P","created_at":"2026-07-05T09:11:12.541131+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/CSRD7L6PN5TWF6NQL3DHAO3OZY","json":"https://pith.science/pith/CSRD7L6PN5TWF6NQL3DHAO3OZY.json","graph_json":"https://pith.science/api/pith-number/CSRD7L6PN5TWF6NQL3DHAO3OZY/graph.json","events_json":"https://pith.science/api/pith-number/CSRD7L6PN5TWF6NQL3DHAO3OZY/events.json","paper":"https://pith.science/paper/CSRD7L6P"},"agent_actions":{"view_html":"https://pith.science/pith/CSRD7L6PN5TWF6NQL3DHAO3OZY","download_json":"https://pith.science/pith/CSRD7L6PN5TWF6NQL3DHAO3OZY.json","view_paper":"https://pith.science/paper/CSRD7L6P","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2312.09828&json=true","fetch_graph":"https://pith.science/api/pith-number/CSRD7L6PN5TWF6NQL3DHAO3OZY/graph.json","fetch_events":"https://pith.science/api/pith-number/CSRD7L6PN5TWF6NQL3DHAO3OZY/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/CSRD7L6PN5TWF6NQL3DHAO3OZY/action/timestamp_anchor","attest_storage":"https://pith.science/pith/CSRD7L6PN5TWF6NQL3DHAO3OZY/action/storage_attestation","attest_author":"https://pith.science/pith/CSRD7L6PN5TWF6NQL3DHAO3OZY/action/author_attestation","sign_citation":"https://pith.science/pith/CSRD7L6PN5TWF6NQL3DHAO3OZY/action/citation_signature","submit_replication":"https://pith.science/pith/CSRD7L6PN5TWF6NQL3DHAO3OZY/action/replication_record"}},"created_at":"2026-07-05T09:11:12.541131+00:00","updated_at":"2026-07-05T09:11:12.541131+00:00"}