{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:LD2PINYXUALVJDSROLGSSXSU3Y","short_pith_number":"pith:LD2PINYX","schema_version":"1.0","canonical_sha256":"58f4f43717a017548e5172cd295e54de00e60cd593e5c84b282e307819f79d94","source":{"kind":"arxiv","id":"1911.11302","version":1},"attestation_state":"computed","paper":{"title":"Multiple Model Synchronization with Multiary Delta Lenses with Amendment and K-Putput","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.LO","authors_text":"Harald K\\\"onig, Mark Lawford, Zinovy Diskin","submitted_at":"2019-11-26T01:32:55Z","abstract_excerpt":"Multiple (more than 2) model synchronization is ubiquitous and important for model driven engineering, but its theoretical underpinning gained much less attention than the binary case. Specifically, the latter was extensively studied by the bx community in the framework of algebraic models for update propagation called lenses. Now we make a step to restore the balance and propose a notion of multiary delta lens. Besides multiarity, our lenses feature {\\em reflective} updates, when consistency restoration requires some amendment of the update that violated consistency. We emphasize the importan"},"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":"1911.11302","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2019-11-26T01:32:55Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"1656cdfe8e2a494f3dba6104784faf8d53ce12125d3434ac9246afa4e413c189","abstract_canon_sha256":"b2b2c268bbda7a1bd4baecf7ec1ff58db942d44301e97921948986bbc8855a6f"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T00:22:08.329465Z","signature_b64":"oGXAVJIZ7sfzJbEFI8ioQxsdyQQhMffnqa660KlgcbiSwAxms8R9RC8Xcc7GsqxAJF+x4AObtI5KyHu0hZMCBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"58f4f43717a017548e5172cd295e54de00e60cd593e5c84b282e307819f79d94","last_reissued_at":"2026-07-05T00:22:08.329040Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T00:22:08.329040Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Multiple Model Synchronization with Multiary Delta Lenses with Amendment and K-Putput","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.LO","authors_text":"Harald K\\\"onig, Mark Lawford, Zinovy Diskin","submitted_at":"2019-11-26T01:32:55Z","abstract_excerpt":"Multiple (more than 2) model synchronization is ubiquitous and important for model driven engineering, but its theoretical underpinning gained much less attention than the binary case. Specifically, the latter was extensively studied by the bx community in the framework of algebraic models for update propagation called lenses. Now we make a step to restore the balance and propose a notion of multiary delta lens. Besides multiarity, our lenses feature {\\em reflective} updates, when consistency restoration requires some amendment of the update that violated consistency. We emphasize the importan"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1911.11302","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/1911.11302/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":"1911.11302","created_at":"2026-07-05T00:22:08.329097+00:00"},{"alias_kind":"arxiv_version","alias_value":"1911.11302v1","created_at":"2026-07-05T00:22:08.329097+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1911.11302","created_at":"2026-07-05T00:22:08.329097+00:00"},{"alias_kind":"pith_short_12","alias_value":"LD2PINYXUALV","created_at":"2026-07-05T00:22:08.329097+00:00"},{"alias_kind":"pith_short_16","alias_value":"LD2PINYXUALVJDSR","created_at":"2026-07-05T00:22:08.329097+00:00"},{"alias_kind":"pith_short_8","alias_value":"LD2PINYX","created_at":"2026-07-05T00:22:08.329097+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/LD2PINYXUALVJDSROLGSSXSU3Y","json":"https://pith.science/pith/LD2PINYXUALVJDSROLGSSXSU3Y.json","graph_json":"https://pith.science/api/pith-number/LD2PINYXUALVJDSROLGSSXSU3Y/graph.json","events_json":"https://pith.science/api/pith-number/LD2PINYXUALVJDSROLGSSXSU3Y/events.json","paper":"https://pith.science/paper/LD2PINYX"},"agent_actions":{"view_html":"https://pith.science/pith/LD2PINYXUALVJDSROLGSSXSU3Y","download_json":"https://pith.science/pith/LD2PINYXUALVJDSROLGSSXSU3Y.json","view_paper":"https://pith.science/paper/LD2PINYX","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1911.11302&json=true","fetch_graph":"https://pith.science/api/pith-number/LD2PINYXUALVJDSROLGSSXSU3Y/graph.json","fetch_events":"https://pith.science/api/pith-number/LD2PINYXUALVJDSROLGSSXSU3Y/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/LD2PINYXUALVJDSROLGSSXSU3Y/action/timestamp_anchor","attest_storage":"https://pith.science/pith/LD2PINYXUALVJDSROLGSSXSU3Y/action/storage_attestation","attest_author":"https://pith.science/pith/LD2PINYXUALVJDSROLGSSXSU3Y/action/author_attestation","sign_citation":"https://pith.science/pith/LD2PINYXUALVJDSROLGSSXSU3Y/action/citation_signature","submit_replication":"https://pith.science/pith/LD2PINYXUALVJDSROLGSSXSU3Y/action/replication_record"}},"created_at":"2026-07-05T00:22:08.329097+00:00","updated_at":"2026-07-05T00:22:08.329097+00:00"}