{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:2GWZIIZF2LGGAUJIBYYJWOD4VX","short_pith_number":"pith:2GWZIIZF","schema_version":"1.0","canonical_sha256":"d1ad942325d2cc6051280e309b387cadf4e9b88a1373cd288b7287f326938620","source":{"kind":"arxiv","id":"2602.18602","version":2},"attestation_state":"computed","paper":{"title":"Package Managers \\`a la Carte: A Formal Model of Dependency Resolution","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.PL","authors_text":"Anil Madhavapeddy, David Allsopp, Patrick Ferris, Ryan Gibb, Thomas Gazagnaire","submitted_at":"2026-02-20T20:32:04Z","abstract_excerpt":"Package managers are legion. Every programming language and operating system has its own solution, each with subtly different semantics for dependency resolution. This fragmentation prevents multilingual projects from expressing precise dependencies across language ecosystems; it leaves external system dependencies implicit and unversioned; and it obscures the full dependency graph that supply-chain analysis depends on. We present the Package Calculus, a formalism for dependency resolution that unifies the core semantics of package managers. Through a series of formal reductions, we show how t"},"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":"2602.18602","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-02-20T20:32:04Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"86a6480640dd7a934c6472a2cbe438a4055c6362c1ad789eba88b3689d4cb37c","abstract_canon_sha256":"a50dcd9a4e0f28b5c6b02128cb8c245833ad43aa0d91d7c9df10fb5cf5e9d7fd"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-08T01:03:59.406054Z","signature_b64":"aeB122yA3TZqrOYTX5X4KOaP6MYMP/vsFytCF6744jnD+A4ECkDmiz8RnWXKOXYs82Ci5jPiOhBzOYQREPEvCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d1ad942325d2cc6051280e309b387cadf4e9b88a1373cd288b7287f326938620","last_reissued_at":"2026-06-08T01:03:59.405154Z","signature_status":"signed_v1","first_computed_at":"2026-06-08T01:03:59.405154Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Package Managers \\`a la Carte: A Formal Model of Dependency Resolution","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.PL","authors_text":"Anil Madhavapeddy, David Allsopp, Patrick Ferris, Ryan Gibb, Thomas Gazagnaire","submitted_at":"2026-02-20T20:32:04Z","abstract_excerpt":"Package managers are legion. Every programming language and operating system has its own solution, each with subtly different semantics for dependency resolution. This fragmentation prevents multilingual projects from expressing precise dependencies across language ecosystems; it leaves external system dependencies implicit and unversioned; and it obscures the full dependency graph that supply-chain analysis depends on. We present the Package Calculus, a formalism for dependency resolution that unifies the core semantics of package managers. Through a series of formal reductions, we show how t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2602.18602","kind":"arxiv","version":2},"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/2602.18602/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":"2602.18602","created_at":"2026-06-08T01:03:59.405266+00:00"},{"alias_kind":"arxiv_version","alias_value":"2602.18602v2","created_at":"2026-06-08T01:03:59.405266+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2602.18602","created_at":"2026-06-08T01:03:59.405266+00:00"},{"alias_kind":"pith_short_12","alias_value":"2GWZIIZF2LGG","created_at":"2026-06-08T01:03:59.405266+00:00"},{"alias_kind":"pith_short_16","alias_value":"2GWZIIZF2LGGAUJI","created_at":"2026-06-08T01:03:59.405266+00:00"},{"alias_kind":"pith_short_8","alias_value":"2GWZIIZF","created_at":"2026-06-08T01:03:59.405266+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/2GWZIIZF2LGGAUJIBYYJWOD4VX","json":"https://pith.science/pith/2GWZIIZF2LGGAUJIBYYJWOD4VX.json","graph_json":"https://pith.science/api/pith-number/2GWZIIZF2LGGAUJIBYYJWOD4VX/graph.json","events_json":"https://pith.science/api/pith-number/2GWZIIZF2LGGAUJIBYYJWOD4VX/events.json","paper":"https://pith.science/paper/2GWZIIZF"},"agent_actions":{"view_html":"https://pith.science/pith/2GWZIIZF2LGGAUJIBYYJWOD4VX","download_json":"https://pith.science/pith/2GWZIIZF2LGGAUJIBYYJWOD4VX.json","view_paper":"https://pith.science/paper/2GWZIIZF","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2602.18602&json=true","fetch_graph":"https://pith.science/api/pith-number/2GWZIIZF2LGGAUJIBYYJWOD4VX/graph.json","fetch_events":"https://pith.science/api/pith-number/2GWZIIZF2LGGAUJIBYYJWOD4VX/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/2GWZIIZF2LGGAUJIBYYJWOD4VX/action/timestamp_anchor","attest_storage":"https://pith.science/pith/2GWZIIZF2LGGAUJIBYYJWOD4VX/action/storage_attestation","attest_author":"https://pith.science/pith/2GWZIIZF2LGGAUJIBYYJWOD4VX/action/author_attestation","sign_citation":"https://pith.science/pith/2GWZIIZF2LGGAUJIBYYJWOD4VX/action/citation_signature","submit_replication":"https://pith.science/pith/2GWZIIZF2LGGAUJIBYYJWOD4VX/action/replication_record"}},"created_at":"2026-06-08T01:03:59.405266+00:00","updated_at":"2026-06-08T01:03:59.405266+00:00"}