{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:V7IHL22OB2B3YSRAARQR653H7K","short_pith_number":"pith:V7IHL22O","canonical_record":{"source":{"id":"1109.0456","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2011-09-01T07:34:01Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"724c6b029413dc45960bb0960d9aa891b790b57ef59595850157623d9a74c0ea","abstract_canon_sha256":"705f227c7f81328af7b7d22c2b10f14945f8a2aa2588f6f1c91988c07de2e33e"},"schema_version":"1.0"},"canonical_sha256":"afd075eb4e0e83bc4a2004611f7767fab3599fe376734edf3d6a6534be30bb61","source":{"kind":"arxiv","id":"1109.0456","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1109.0456","created_at":"2026-05-18T04:14:15Z"},{"alias_kind":"arxiv_version","alias_value":"1109.0456v1","created_at":"2026-05-18T04:14:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1109.0456","created_at":"2026-05-18T04:14:15Z"},{"alias_kind":"pith_short_12","alias_value":"V7IHL22OB2B3","created_at":"2026-05-18T12:26:42Z"},{"alias_kind":"pith_short_16","alias_value":"V7IHL22OB2B3YSRA","created_at":"2026-05-18T12:26:42Z"},{"alias_kind":"pith_short_8","alias_value":"V7IHL22O","created_at":"2026-05-18T12:26:42Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:V7IHL22OB2B3YSRAARQR653H7K","target":"record","payload":{"canonical_record":{"source":{"id":"1109.0456","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2011-09-01T07:34:01Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"724c6b029413dc45960bb0960d9aa891b790b57ef59595850157623d9a74c0ea","abstract_canon_sha256":"705f227c7f81328af7b7d22c2b10f14945f8a2aa2588f6f1c91988c07de2e33e"},"schema_version":"1.0"},"canonical_sha256":"afd075eb4e0e83bc4a2004611f7767fab3599fe376734edf3d6a6534be30bb61","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:14:15.610309Z","signature_b64":"Z4vkgbm7ofdf2wPKO5Ividm35j62VxQb1kk8MP1IU1wyh4D414/jwJ/UuSEOCWrbaMz8FFl5WGEuh1Px/hfaDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"afd075eb4e0e83bc4a2004611f7767fab3599fe376734edf3d6a6534be30bb61","last_reissued_at":"2026-05-18T04:14:15.609685Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:14:15.609685Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1109.0456","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-18T04:14:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"is+/tUvq6hZihzakTA2/FCcMRM4ojA3ks5Nja3Yb+Z1tYtpyrbDrmRwt9iOJbec4F6p5tdtVpYqG1SdaSfawBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T13:02:44.979784Z"},"content_sha256":"74f8a6b28f638e6e8e7aa52c0d6e9dcaa0f5a8af1ed19def9d31332db921db22","schema_version":"1.0","event_id":"sha256:74f8a6b28f638e6e8e7aa52c0d6e9dcaa0f5a8af1ed19def9d31332db921db22"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:V7IHL22OB2B3YSRAARQR653H7K","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Aligning component upgrades","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.SE","authors_text":"Claude Michel (I3S (UNS-CNRS), France), INRIA Rocquencourt, Olivier Lhomme (IBM France, Paris, Roberto Di Cosmo (Univ Paris Diderot, Sophia Antipolis, Sophia Antipolis Cedex, Sorbonne Paris Cite","submitted_at":"2011-09-01T07:34:01Z","abstract_excerpt":"Modern software systems, like GNU/Linux distributions or Eclipse-based development environment, are often deployed by selecting components out of large component repositories.  Maintaining such software systems by performing component upgrades is a complex task, and the users need to have an expressive preferences language at their disposal to specify the kind of upgrades they are interested in. Recent research has shown that it is possible to develop solvers that handle preferences expressed as a combination of a few basic criteria used in the MISC competition, ranging from the number of new "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1109.0456","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":""},"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-18T04:14:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VVJoUriTuIDo9R8uGhbPkWGTS9bNY33a7/7uyW2x458TDC+UB77PGomdQn8HF2/RfKB4oznylpBaOUVW7V0dBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T13:02:44.980443Z"},"content_sha256":"38b2b7470063dab07511704f425d304f5721ecbf3b02be3ab4672b41ffd1a6c4","schema_version":"1.0","event_id":"sha256:38b2b7470063dab07511704f425d304f5721ecbf3b02be3ab4672b41ffd1a6c4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/V7IHL22OB2B3YSRAARQR653H7K/bundle.json","state_url":"https://pith.science/pith/V7IHL22OB2B3YSRAARQR653H7K/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/V7IHL22OB2B3YSRAARQR653H7K/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-05-26T13:02:44Z","links":{"resolver":"https://pith.science/pith/V7IHL22OB2B3YSRAARQR653H7K","bundle":"https://pith.science/pith/V7IHL22OB2B3YSRAARQR653H7K/bundle.json","state":"https://pith.science/pith/V7IHL22OB2B3YSRAARQR653H7K/state.json","well_known_bundle":"https://pith.science/.well-known/pith/V7IHL22OB2B3YSRAARQR653H7K/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:V7IHL22OB2B3YSRAARQR653H7K","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":"705f227c7f81328af7b7d22c2b10f14945f8a2aa2588f6f1c91988c07de2e33e","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2011-09-01T07:34:01Z","title_canon_sha256":"724c6b029413dc45960bb0960d9aa891b790b57ef59595850157623d9a74c0ea"},"schema_version":"1.0","source":{"id":"1109.0456","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1109.0456","created_at":"2026-05-18T04:14:15Z"},{"alias_kind":"arxiv_version","alias_value":"1109.0456v1","created_at":"2026-05-18T04:14:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1109.0456","created_at":"2026-05-18T04:14:15Z"},{"alias_kind":"pith_short_12","alias_value":"V7IHL22OB2B3","created_at":"2026-05-18T12:26:42Z"},{"alias_kind":"pith_short_16","alias_value":"V7IHL22OB2B3YSRA","created_at":"2026-05-18T12:26:42Z"},{"alias_kind":"pith_short_8","alias_value":"V7IHL22O","created_at":"2026-05-18T12:26:42Z"}],"graph_snapshots":[{"event_id":"sha256:38b2b7470063dab07511704f425d304f5721ecbf3b02be3ab4672b41ffd1a6c4","target":"graph","created_at":"2026-05-18T04:14:15Z","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"},"paper":{"abstract_excerpt":"Modern software systems, like GNU/Linux distributions or Eclipse-based development environment, are often deployed by selecting components out of large component repositories.  Maintaining such software systems by performing component upgrades is a complex task, and the users need to have an expressive preferences language at their disposal to specify the kind of upgrades they are interested in. Recent research has shown that it is possible to develop solvers that handle preferences expressed as a combination of a few basic criteria used in the MISC competition, ranging from the number of new ","authors_text":"Claude Michel (I3S (UNS-CNRS), France), INRIA Rocquencourt, Olivier Lhomme (IBM France, Paris, Roberto Di Cosmo (Univ Paris Diderot, Sophia Antipolis, Sophia Antipolis Cedex, Sorbonne Paris Cite","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2011-09-01T07:34:01Z","title":"Aligning component upgrades"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1109.0456","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:74f8a6b28f638e6e8e7aa52c0d6e9dcaa0f5a8af1ed19def9d31332db921db22","target":"record","created_at":"2026-05-18T04:14:15Z","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":"705f227c7f81328af7b7d22c2b10f14945f8a2aa2588f6f1c91988c07de2e33e","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2011-09-01T07:34:01Z","title_canon_sha256":"724c6b029413dc45960bb0960d9aa891b790b57ef59595850157623d9a74c0ea"},"schema_version":"1.0","source":{"id":"1109.0456","kind":"arxiv","version":1}},"canonical_sha256":"afd075eb4e0e83bc4a2004611f7767fab3599fe376734edf3d6a6534be30bb61","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"afd075eb4e0e83bc4a2004611f7767fab3599fe376734edf3d6a6534be30bb61","first_computed_at":"2026-05-18T04:14:15.609685Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:14:15.609685Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Z4vkgbm7ofdf2wPKO5Ividm35j62VxQb1kk8MP1IU1wyh4D414/jwJ/UuSEOCWrbaMz8FFl5WGEuh1Px/hfaDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T04:14:15.610309Z","signed_message":"canonical_sha256_bytes"},"source_id":"1109.0456","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:74f8a6b28f638e6e8e7aa52c0d6e9dcaa0f5a8af1ed19def9d31332db921db22","sha256:38b2b7470063dab07511704f425d304f5721ecbf3b02be3ab4672b41ffd1a6c4"],"state_sha256":"9211d359d8bb9ce2bbf52bf733e793b6bc4ccb6bee1342c96a8c463d757f6c4b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"C4d7L4LCNUGI9RJUH3NrmZK9v9REVAzkCYYap3EjXBLw3Gk5l4CCsO7Vw6G+8v6TZK9l/1Kr898c3KTpC8YYBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T13:02:44.983703Z","bundle_sha256":"fa135f3a16717ac6ba6b8e6beb80f6e9c22fbd32f81be147417485375a40e882"}}