{"as_of":"2026-08-22T23:12:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:5cc5bb36d8de65b8b250dfceaabceeb41045224c0c1b8a900c67ea88cd5a5a09","coverage":[{"denominator":57,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":57,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-02T22:01:14.511794Z","state":"measured"},{"denominator":57,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":57,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-22T06:32:14.747728+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2602.18602/citation-record","integrity":"/paper/2602.18602/integrity","json":"/paper/2602.18602/citation-record.json","paper":"/paper/2602.18602"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T22:01:14.321838Z","title":"Comprehensive Perl Archive Network","venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2602.18602","last_updated":"2026-07-17T10:52:08Z","snapshot_observed_at":"2026-08-15T14:57:20.874801Z","submitted_at":"2026-02-20T20:32:04Z","title":"Package Managers \\`a la Carte: A Formal Model of Dependency Resolution","version":5},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-02T22:01:14.321838Z"},"links":{"citing_paper":"/paper/2602.18602"},"observation_digest":"sha256:53457feadfcef677b134fe8950cb58c0a22a9a12b7fe6a3e1639331ef6fc5c12","observation_id":"00ba7a1c-bc84-4499-b9c9-5dd191d29911","resolution":{"observed_at":"2026-08-02T22:01:14.321838Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T22:01:14.326140Z","title":"OCaml Package Manager, The opam manual","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2602.18602","last_updated":"2026-07-17T10:52:08Z","snapshot_observed_at":"2026-08-15T14:57:20.874801Z","submitted_at":"2026-02-20T20:32:04Z","title":"Package Managers \\`a la Carte: A Formal Model of Dependency Resolution","version":5},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-02T22:01:14.326140Z"},"links":{"citing_paper":"/paper/2602.18602"},"observation_digest":"sha256:43261141a0195900872ca98b68e12c969397d684ccf37b3fdd0e3cd6398728ad","observation_id":"5c5ddc52-1c0d-42a6-988f-997bed57d932","resolution":{"observed_at":"2026-08-02T22:01:14.326140Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T22:01:14.329434Z","title":"The Cargo Book","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2602.18602","last_updated":"2026-07-17T10:52:08Z","snapshot_observed_at":"2026-08-15T14:57:20.874801Z","submitted_at":"2026-02-20T20:32:04Z","title":"Package Managers \\`a la Carte: A Formal Model of Dependency Resolution","version":5},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-02T22:01:14.329434Z"},"links":{"citing_paper":"/paper/2602.18602"},"observation_digest":"sha256:cf09989743fe091c63e6ef9c81366869b8d5eadf132613fdb1a385727e811cfe","observation_id":"1b2338e8-9717-49f7-aa8e-cdb4a05298e1","resolution":{"observed_at":"2026-08-02T22:01:14.329434Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T22:01:14.332891Z","title":"Cargo Resolver","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2602.18602","last_updated":"2026-07-17T10:52:08Z","snapshot_observed_at":"2026-08-15T14:57:20.874801Z","submitted_at":"2026-02-20T20:32:04Z","title":"Package Managers \\`a la Carte: A Formal Model of Dependency Resolution","version":5},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-02T22:01:14.332891Z"},"links":{"citing_paper":"/paper/2602.18602"},"observation_digest":"sha256:1fe0c063f1d10be0622fc6495c90c6c3e7bf51b65d439dd8b61dfb24af7bb459","observation_id":"74d0b1e6-e8d3-4412-b2c8-c271538415de","resolution":{"observed_at":"2026-08-02T22:01:14.332891Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T22:01:14.336392Z","title":"Debian Policy Manual: Chapter 5 - Control files and their fields","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2602.18602","last_updated":"2026-07-17T10:52:08Z","snapshot_observed_at":"2026-08-15T14:57:20.874801Z","submitted_at":"2026-02-20T20:32:04Z","title":"Package Managers \\`a la Carte: A Formal Model of Dependency Resolution","version":5},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-02T22:01:14.336392Z"},"links":{"citing_paper":"/paper/2602.18602"},"observation_digest":"sha256:4e668df1eae8e545db2b4995f19e05cbaf0638f03e7834b4d42d04f29a190dd5","observation_id":"ee441344-b1b3-4641-80c6-d5fd2b7fe765","resolution":{"observed_at":"2026-08-02T22:01:14.336392Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T22:01:14.339606Z","title":"Debian Policy Manual: Chapter 7 - Declaring relationships between packages","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2602.18602","last_updated":"2026-07-17T10:52:08Z","snapshot_observed_at":"2026-08-15T14:57:20.874801Z","submitted_at":"2026-02-20T20:32:04Z","title":"Package Managers \\`a la Carte: A Formal Model of Dependency Resolution","version":5},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-02T22:01:14.339606Z"},"links":{"citing_paper":"/paper/2602.18602"},"observation_digest":"sha256:3dbb78f600e2ecf9fe9c6900569d7035e4af5a67ef726fa11cdcf6402c47c899","observation_id":"cbc0818b-a02b-4e26-a5b0-2e0ae1e7b85f","resolution":{"observed_at":"2026-08-02T22:01:14.339606Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T22:01:14.343037Z","title":"Go Modules Reference","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2602.18602","last_updated":"2026-07-17T10:52:08Z","snapshot_observed_at":"2026-08-15T14:57:20.874801Z","submitted_at":"2026-02-20T20:32:04Z","title":"Package Managers \\`a la Carte: A Formal Model of Dependency Resolution","version":5},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-02T22:01:14.343037Z"},"links":{"citing_paper":"/paper/2602.18602"},"observation_digest":"sha256:e5932d0405acdb4c8c5983275104612ee3cfbe6acfd54e5a8879ae0c4a9cc1ac","observation_id":"43c73ad0-47bd-465b-afa0-cfe1eea98f6c","resolution":{"observed_at":"2026-08-02T22:01:14.343037Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T22:01:14.346307Z","title":"The Haskell Cabal","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2602.18602","last_updated":"2026-07-17T10:52:08Z","snapshot_observed_at":"2026-08-15T14:57:20.874801Z","submitted_at":"2026-02-20T20:32:04Z","title":"Package Managers \\`a la Carte: A Formal Model of Dependency Resolution","version":5},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-02T22:01:14.346307Z"},"links":{"citing_paper":"/paper/2602.18602"},"observation_digest":"sha256:4b1cca59f4eeaa9879319c1f87db8b1ec7238005ca90ea47ca9913e295591ba4","observation_id":"dff018b6-f702-4df5-8a50-14fe386e00f1","resolution":{"observed_at":"2026-08-02T22:01:14.346307Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T22:01:14.349570Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2602.18602","last_updated":"2026-07-17T10:52:08Z","snapshot_observed_at":"2026-08-15T14:57:20.874801Z","submitted_at":"2026-02-20T20:32:04Z","title":"Package Managers \\`a la Carte: A Formal Model of Dependency Resolution","version":5},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-02T22:01:14.349570Z"},"links":{"citing_paper":"/paper/2602.18602"},"observation_digest":"sha256:feeba7ed2a30447e19548d8a129767ab054ec09f35fa74e1ccd8a43db601af75","observation_id":"0afeaa51-a25e-487b-ab6d-bbb7fc4bd099","resolution":{"observed_at":"2026-08-02T22:01:14.349570Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T22:01:14.352629Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2602.18602","last_updated":"2026-07-17T10:52:08Z","snapshot_observed_at":"2026-08-15T14:57:20.874801Z","submitted_at":"2026-02-20T20:32:04Z","title":"Package Managers \\`a la Carte: A Formal Model of Dependency Resolution","version":5},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-02T22:01:14.352629Z"},"links":{"citing_paper":"/paper/2602.18602"},"observation_digest":"sha256:d9177e9edafdb04993de7a8e423abdd7be607b005885400f624d5ebec0a79ecf","observation_id":"76e433cc-8e08-43c5-b792-3ea754ce923a","resolution":{"observed_at":"2026-08-02T22:01:14.352629Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T22:01:14.356124Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2602.18602","last_updated":"2026-07-17T10:52:08Z","snapshot_observed_at":"2026-08-15T14:57:20.874801Z","submitted_at":"2026-02-20T20:32:04Z","title":"Package Managers \\`a la Carte: A Formal Model of Dependency Resolution","version":5},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-02T22:01:14.356124Z"},"links":{"citing_paper":"/paper/2602.18602"},"observation_digest":"sha256:3af085dbe3d8968d2da31fed153151362c12317088ef0f13900f5a480bbaf9ea","observation_id":"f98ccd0b-0c5b-454e-81c4-c2ae9ded517c","resolution":{"observed_at":"2026-08-02T22:01:14.356124Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T22:01:14.359449Z","title":null,"venue":null,"work_id":null,"year":1985},"citing_paper":{"arxiv_id":"2602.18602","last_updated":"2026-07-17T10:52:08Z","snapshot_observed_at":"2026-08-15T14:57:20.874801Z","submitted_at":"2026-02-20T20:32:04Z","title":"Package Managers \\`a la Carte: A Formal Model of Dependency Resolution","version":5},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-02T22:01:14.359449Z"},"links":{"citing_paper":"/paper/2602.18602"},"observation_digest":"sha256:a11af4ffdd4c4656c2327c21126874d50d50edf6ff6778c342e7e5f357f2450d","observation_id":"4308cd0f-db21-426a-99bd-d3495df3c930","resolution":{"observed_at":"2026-08-02T22:01:14.359449Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T22:01:14.362484Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2602.18602","last_updated":"2026-07-17T10:52:08Z","snapshot_observed_at":"2026-08-15T14:57:20.874801Z","submitted_at":"2026-02-20T20:32:04Z","title":"Package Managers \\`a la Carte: A Formal Model of Dependency Resolution","version":5},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-02T22:01:14.362484Z"},"links":{"citing_paper":"/paper/2602.18602"},"observation_digest":"sha256:cedaea92e62adb387cefc373c91b1f21176a11d05c290525fefd959b2bd5b77e","observation_id":"845eef38-8498-4fda-bfc3-e370641e53b5","resolution":{"observed_at":"2026-08-02T22:01:14.362484Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3571848","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"ACM Transactions on Software Engineering and Methodology","work_id":"73c2edd3-ac4b-4726-9fb7-28c5550ba4c3","year":2023},"citing_paper":{"arxiv_id":"2602.18602","last_updated":"2026-07-17T10:52:08Z","snapshot_observed_at":"2026-08-15T14:57:20.874801Z","submitted_at":"2026-02-20T20:32:04Z","title":"Package Managers \\`a la Carte: A Formal Model of Dependency Resolution","version":5},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-02T22:01:14.365935Z"},"links":{"citing_paper":"/paper/2602.18602"},"observation_digest":"sha256:bba244b3fc49d84bcdb725b3ae864f5d38f18772e6ed37a65f58e9f3e59c718a","observation_id":"f7ce89e1-d72a-439c-a80e-e0fcc28358b2","resolution":{"observed_at":"2026-08-02T22:03:42.604457Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10009-022-00671-1","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"International Journal on Software Tools for Technology Transfer","work_id":"63c9df40-2d82-46dc-8310-8b504565853a","year":2022},"citing_paper":{"arxiv_id":"2602.18602","last_updated":"2026-07-17T10:52:08Z","snapshot_observed_at":"2026-08-15T14:57:20.874801Z","submitted_at":"2026-02-20T20:32:04Z","title":"Package Managers \\`a la Carte: A Formal Model of Dependency Resolution","version":5},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-02T22:01:14.369259Z"},"links":{"citing_paper":"/paper/2602.18602"},"observation_digest":"sha256:4cd28135162f486444a221af3b5d9493d238cecf160d582683cce91a694d03f6","observation_id":"e0149e1b-d57d-439a-84e4-c51206de9985","resolution":{"observed_at":"2026-08-02T22:03:42.309433Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/6424","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T22:03:41.885799Z","title":null,"venue":null,"work_id":"5ca75abe-1f02-4c48-9d42-1f79859b467f","year":1986},"citing_paper":{"arxiv_id":"2602.18602","last_updated":"2026-07-17T10:52:08Z","snapshot_observed_at":"2026-08-15T14:57:20.874801Z","submitted_at":"2026-02-20T20:32:04Z","title":"Package Managers \\`a la Carte: A Formal Model of Dependency Resolution","version":5},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-02T22:01:14.372386Z"},"links":{"citing_paper":"/paper/2602.18602"},"observation_digest":"sha256:a9dc2aeb7e51580b1d3d76d50e161a02446b0b1d3f10ce1a2d39b3f1cb882d17","observation_id":"ede8a0e3-edae-46b8-a02d-f2078918de1e","resolution":{"observed_at":"2026-08-02T22:03:42.052423Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T22:01:14.375893Z","title":"1970.Graphes et hypergraphes","venue":null,"work_id":null,"year":1970},"citing_paper":{"arxiv_id":"2602.18602","last_updated":"2026-07-17T10:52:08Z","snapshot_observed_at":"2026-08-15T14:57:20.874801Z","submitted_at":"2026-02-20T20:32:04Z","title":"Package Managers \\`a la Carte: A Formal Model of Dependency Resolution","version":5},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-02T22:01:14.375893Z"},"links":{"citing_paper":"/paper/2602.18602"},"observation_digest":"sha256:fd694440a76fbdb9d407f5fc8ddf3792ffa057f799991b3aa16f0931af078551","observation_id":"47fe1238-657a-4651-ae64-b6c485f11231","resolution":{"observed_at":"2026-08-02T22:01:14.375893Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2302.08959","last_updated":"2023-02-17T15:46:57Z","snapshot_observed_at":"2026-08-16T15:54:35.727495Z","submitted_at":"2023-02-17T15:46:57Z","title":"A Review of Attacks Against Language-Based Package Managers","version":1},"cited_work":{"arxiv_id":"2302.08959","doi":"10.48550/arxiv.2302.08959","metadata_source":"pith","pith_arxiv_id":"2302.08959","snapshot_observed_at":"2026-08-05T02:49:54.815029Z","title":"A Review of Attacks Against Language-Based Package Managers","venue":"cs.SE","work_id":"fc174c62-6edd-4864-914a-05f6ef575849","year":2023},"citing_paper":{"arxiv_id":"2602.18602","last_updated":"2026-07-17T10:52:08Z","snapshot_observed_at":"2026-08-15T14:57:20.874801Z","submitted_at":"2026-02-20T20:32:04Z","title":"Package Managers \\`a la Carte: A Formal Model of Dependency Resolution","version":5},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-02T22:01:14.379249Z"},"links":{"cited_paper":"/paper/2302.08959","citing_paper":"/paper/2602.18602"},"observation_digest":"sha256:a66dc903bc402e034a4ebe0fccb78c1d672393264c2e10d4c22ca2414acc1f7e","observation_id":"30218849-8546-4cad-a091-80bbafaf74f1","resolution":{"observed_at":"2026-08-02T22:03:41.760482Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T22:01:14.383774Z","title":null,"venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2602.18602","last_updated":"2026-07-17T10:52:08Z","snapshot_observed_at":"2026-08-15T14:57:20.874801Z","submitted_at":"2026-02-20T20:32:04Z","title":"Package Managers \\`a la Carte: A Formal Model of Dependency Resolution","version":5},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-02T22:01:14.383774Z"},"links":{"citing_paper":"/paper/2602.18602"},"observation_digest":"sha256:f7f698ceecef15e5b77829de7a6c40174e39ef91624ee508023b2c2560fd5287","observation_id":"a5bca8a5-4921-4abf-81ed-a4b8d18ce356","resolution":{"observed_at":"2026-08-02T22:01:14.383774Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T22:01:14.387210Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2602.18602","last_updated":"2026-07-17T10:52:08Z","snapshot_observed_at":"2026-08-15T14:57:20.874801Z","submitted_at":"2026-02-20T20:32:04Z","title":"Package Managers \\`a la Carte: A Formal Model of Dependency Resolution","version":5},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-02T22:01:14.387210Z"},"links":{"citing_paper":"/paper/2602.18602"},"observation_digest":"sha256:54db735958550a5f3dbb4ce1aacf6fdb70f0950f77cf7113dba2fe1c3d40d4bc","observation_id":"a7a9e680-9f5e-4370-8e4c-0f1a0b81cc77","resolution":{"observed_at":"2026-08-02T22:01:14.387210Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2409.01214","last_updated":"2024-09-02T12:48:10Z","snapshot_observed_at":"2026-08-16T13:22:04.891453Z","submitted_at":"2024-09-02T12:48:10Z","title":"SBOM Generation Tools in the Python Ecosystem: an In-Detail Analysis","version":1},"cited_work":{"arxiv_id":"2409.01214","doi":"10.48550/arxiv.2409.01214","metadata_source":"pith","pith_arxiv_id":"2409.01214","snapshot_observed_at":"2026-08-05T02:49:54.815029Z","title":"SBOM Generation Tools in the Python Ecosystem: an In-Detail Analysis","venue":"cs.CR","work_id":"e4e10089-8aec-4864-8084-2c0f4d70fe99","year":2024},"citing_paper":{"arxiv_id":"2602.18602","last_updated":"2026-07-17T10:52:08Z","snapshot_observed_at":"2026-08-15T14:57:20.874801Z","submitted_at":"2026-02-20T20:32:04Z","title":"Package Managers \\`a la Carte: A Formal Model of Dependency Resolution","version":5},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-02T22:01:14.390477Z"},"links":{"cited_paper":"/paper/2409.01214","citing_paper":"/paper/2602.18602"},"observation_digest":"sha256:b6dcf139847cafdcd2b0aa6ffe6bd2ae42ee9619c5e96aa6bd4deb551ec68e17","observation_id":"3b8a3a67-72a6-444c-9cbe-037bed04fbf8","resolution":{"observed_at":"2026-08-02T22:03:41.466478Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T22:01:14.394185Z","title":null,"venue":null,"work_id":null,"year":1971},"citing_paper":{"arxiv_id":"2602.18602","last_updated":"2026-07-17T10:52:08Z","snapshot_observed_at":"2026-08-15T14:57:20.874801Z","submitted_at":"2026-02-20T20:32:04Z","title":"Package Managers \\`a la Carte: A Formal Model of Dependency Resolution","version":5},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-02T22:01:14.394185Z"},"links":{"citing_paper":"/paper/2602.18602"},"observation_digest":"sha256:d3bb692a60a995a4a770d6169c4b08d5db515fbc0f0d2003fcdb0d32c98340b7","observation_id":"2573aadc-fcc2-49f6-acf0-e1fa17b90fff","resolution":{"observed_at":"2026-08-02T22:01:14.394185Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1305.4584","last_updated":"2013-05-20T17:38:19Z","snapshot_observed_at":"2026-08-15T00:17:15.547895Z","submitted_at":"2013-05-20T17:38:19Z","title":"Functional Package Management with Guix","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1305.4584","snapshot_observed_at":"2026-08-02T22:01:14.397724Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2602.18602","last_updated":"2026-07-17T10:52:08Z","snapshot_observed_at":"2026-08-15T14:57:20.874801Z","submitted_at":"2026-02-20T20:32:04Z","title":"Package Managers \\`a la Carte: A Formal Model of Dependency Resolution","version":5},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-02T22:01:14.397724Z"},"links":{"cited_paper":"/paper/1305.4584","citing_paper":"/paper/2602.18602"},"observation_digest":"sha256:fb00486103b11340017282e382920a9a42e93152f55d0beeb41491ab6183d730","observation_id":"e9e4db48-2eb4-4765-b531-db64586e0a4a","resolution":{"observed_at":"2026-08-02T22:01:14.397724Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T22:01:14.401742Z","title":"2016.Version SAT","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2602.18602","last_updated":"2026-07-17T10:52:08Z","snapshot_observed_at":"2026-08-15T14:57:20.874801Z","submitted_at":"2026-02-20T20:32:04Z","title":"Package Managers \\`a la Carte: A Formal Model of Dependency Resolution","version":5},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-02T22:01:14.401742Z"},"links":{"citing_paper":"/paper/2602.18602"},"observation_digest":"sha256:b3ae13690ea51375a4bb2039de1b8906d882087a31704bcb4aa36e06c150edb2","observation_id":"d95e05cb-376e-4cb7-90a5-0f63209a296e","resolution":{"observed_at":"2026-08-02T22:01:14.401742Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T22:01:14.405165Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2602.18602","last_updated":"2026-07-17T10:52:08Z","snapshot_observed_at":"2026-08-15T14:57:20.874801Z","submitted_at":"2026-02-20T20:32:04Z","title":"Package Managers \\`a la Carte: A Formal Model of Dependency Resolution","version":5},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-02T22:01:14.405165Z"},"links":{"citing_paper":"/paper/2602.18602"},"observation_digest":"sha256:7c568bb17d9d7fe534e4b8a53fd57abca0d833e036f6b21c6574b833bb36d3bc","observation_id":"600bc484-4525-4ada-a75b-dc1c7730b515","resolution":{"observed_at":"2026-08-02T22:01:14.405165Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T22:01:14.408704Z","title":null,"venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2602.18602","last_updated":"2026-07-17T10:52:08Z","snapshot_observed_at":"2026-08-15T14:57:20.874801Z","submitted_at":"2026-02-20T20:32:04Z","title":"Package Managers \\`a la Carte: A Formal Model of Dependency Resolution","version":5},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-02T22:01:14.408704Z"},"links":{"citing_paper":"/paper/2602.18602"},"observation_digest":"sha256:9fcda1a4c8ce09e75e06cdc1686e00c0cf70ab71ebe7b34a0a6abdde4829c0fa","observation_id":"e2ed5c5e-fc84-4bb1-8235-03a7ee9e065e","resolution":{"observed_at":"2026-08-02T22:01:14.408704Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T22:01:14.412647Z","title":null,"venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2602.18602","last_updated":"2026-07-17T10:52:08Z","snapshot_observed_at":"2026-08-15T14:57:20.874801Z","submitted_at":"2026-02-20T20:32:04Z","title":"Package Managers \\`a la Carte: A Formal Model of Dependency Resolution","version":5},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-02T22:01:14.412647Z"},"links":{"citing_paper":"/paper/2602.18602"},"observation_digest":"sha256:1e4f7d0435329bd921d90a4a996b235fd4a13e85b8e09530fc50c810bfc306d5","observation_id":"bdb3703b-57bd-4d03-895e-95fdde32a065","resolution":{"observed_at":"2026-08-02T22:01:14.412647Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T22:01:14.415979Z","title":null,"venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2602.18602","last_updated":"2026-07-17T10:52:08Z","snapshot_observed_at":"2026-08-15T14:57:20.874801Z","submitted_at":"2026-02-20T20:32:04Z","title":"Package Managers \\`a la Carte: A Formal Model of Dependency Resolution","version":5},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-02T22:01:14.415979Z"},"links":{"citing_paper":"/paper/2602.18602"},"observation_digest":"sha256:5ed14c1c9ada722a91ec53511a3940a1a67d3f3067fb3af1e6f034677f571161","observation_id":"1b806dc1-66e6-4bdf-93ca-c2c08683aad9","resolution":{"observed_at":"2026-08-02T22:01:14.415979Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1404.2022","last_updated":"2014-04-08T06:50:36Z","snapshot_observed_at":"2026-08-14T23:38:18.454638Z","submitted_at":"2014-04-08T06:50:36Z","title":"Neutrino Production via $e^-e^+$ Collision at $Z$-boson Peak","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1404.2022","snapshot_observed_at":"2026-08-02T22:01:14.419245Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2602.18602","last_updated":"2026-07-17T10:52:08Z","snapshot_observed_at":"2026-08-15T14:57:20.874801Z","submitted_at":"2026-02-20T20:32:04Z","title":"Package Managers \\`a la Carte: A Formal Model of Dependency Resolution","version":5},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-02T22:01:14.419245Z"},"links":{"cited_paper":"/paper/1404.2022","citing_paper":"/paper/2602.18602"},"observation_digest":"sha256:25aedd05c884f7d64ca59bc90fb1a01df59ddb239436847a153d9361afe32fb2","observation_id":"17b8714a-d1ae-4803-bfed-9643cecf63a4","resolution":{"observed_at":"2026-08-02T22:01:14.419245Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T22:01:14.422741Z","title":"Collette, Gregory L","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2602.18602","last_updated":"2026-07-17T10:52:08Z","snapshot_observed_at":"2026-08-15T14:57:20.874801Z","submitted_at":"2026-02-20T20:32:04Z","title":"Package Managers \\`a la Carte: A Formal Model of Dependency Resolution","version":5},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-02T22:01:14.422741Z"},"links":{"citing_paper":"/paper/2602.18602"},"observation_digest":"sha256:3a60b123adacd9706207959f7bd76cc447cde50c1a4edb1813ac2b8d223f81c1","observation_id":"6e5f5af9-248e-476f-9511-c3ddf0ef47ae","resolution":{"observed_at":"2026-08-02T22:01:14.422741Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.iclp.2011.1","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","work_id":"f8f3f427-469d-4c09-ac6a-967e1d1826e2","year":2011},"citing_paper":{"arxiv_id":"2602.18602","last_updated":"2026-07-17T10:52:08Z","snapshot_observed_at":"2026-08-15T14:57:20.874801Z","submitted_at":"2026-02-20T20:32:04Z","title":"Package Managers \\`a la Carte: A Formal Model of Dependency Resolution","version":5},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-02T22:01:14.425813Z"},"links":{"citing_paper":"/paper/2602.18602"},"observation_digest":"sha256:72af34e38b44b3a9c976f7b24816af7a0d9bd0e2f20a45079ce09abb08d0011d","observation_id":"49208061-522a-4ad7-bad8-417024705959","resolution":{"observed_at":"2026-08-02T22:03:41.187978Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T22:01:14.429057Z","title":null,"venue":null,"work_id":null,"year":1993},"citing_paper":{"arxiv_id":"2602.18602","last_updated":"2026-07-17T10:52:08Z","snapshot_observed_at":"2026-08-15T14:57:20.874801Z","submitted_at":"2026-02-20T20:32:04Z","title":"Package Managers \\`a la Carte: A Formal Model of Dependency Resolution","version":5},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-02T22:01:14.429057Z"},"links":{"citing_paper":"/paper/2602.18602"},"observation_digest":"sha256:8c7baa9f32f2d00b655f9e4b66c0966a79d0705ae97e86f80d3b50b26cedf6cd","observation_id":"5a17ed5e-0a02-4bba-8323-47a8754f05f9","resolution":{"observed_at":"2026-08-02T22:01:14.429057Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T22:01:14.432189Z","title":null,"venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2602.18602","last_updated":"2026-07-17T10:52:08Z","snapshot_observed_at":"2026-08-15T14:57:20.874801Z","submitted_at":"2026-02-20T20:32:04Z","title":"Package Managers \\`a la Carte: A Formal Model of Dependency Resolution","version":5},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-02T22:01:14.432189Z"},"links":{"citing_paper":"/paper/2602.18602"},"observation_digest":"sha256:e16777c60d5426cfd672cbdcd14d54a076480930efaf51e4c34de0d664114c7e","observation_id":"814609d2-04b6-4e5e-a70e-c13b858bb42e","resolution":{"observed_at":"2026-08-02T22:01:14.432189Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T22:01:14.435332Z","title":null,"venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2602.18602","last_updated":"2026-07-17T10:52:08Z","snapshot_observed_at":"2026-08-15T14:57:20.874801Z","submitted_at":"2026-02-20T20:32:04Z","title":"Package Managers \\`a la Carte: A Formal Model of Dependency Resolution","version":5},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-02T22:01:14.435332Z"},"links":{"citing_paper":"/paper/2602.18602"},"observation_digest":"sha256:0d5fd66e958e7167413b8193297c8f16fa3d3e34632874167b26eacbe13e8bed","observation_id":"bd946634-7e14-4b91-9f35-8a6899248ea1","resolution":{"observed_at":"2026-08-02T22:01:14.435332Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T22:01:14.438949Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2602.18602","last_updated":"2026-07-17T10:52:08Z","snapshot_observed_at":"2026-08-15T14:57:20.874801Z","submitted_at":"2026-02-20T20:32:04Z","title":"Package Managers \\`a la Carte: A Formal Model of Dependency Resolution","version":5},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-02T22:01:14.438949Z"},"links":{"citing_paper":"/paper/2602.18602"},"observation_digest":"sha256:77dbcd849802f1ff6350edae12354c305fd03fb88cdb29bbe6fc552070364aae","observation_id":"ec6bb3aa-aea1-485e-9b05-dd9ee433f315","resolution":{"observed_at":"2026-08-02T22:01:14.438949Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3186266","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"ACM Computing Surveys","work_id":"5116e110-813d-4cb0-9eaa-ad80231c2e6a","year":2018},"citing_paper":{"arxiv_id":"2602.18602","last_updated":"2026-07-17T10:52:08Z","snapshot_observed_at":"2026-08-15T14:57:20.874801Z","submitted_at":"2026-02-20T20:32:04Z","title":"Package Managers \\`a la Carte: A Formal Model of Dependency Resolution","version":5},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-02T22:01:14.442030Z"},"links":{"citing_paper":"/paper/2602.18602"},"observation_digest":"sha256:2d9d3b2f937cdbed11a8a58012612fda8801b1320aba7531614d38119e6e2f06","observation_id":"36b47e11-d7aa-4051-826f-cc21c4700253","resolution":{"observed_at":"2026-08-02T22:03:40.937521Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T22:01:14.445135Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2602.18602","last_updated":"2026-07-17T10:52:08Z","snapshot_observed_at":"2026-08-15T14:57:20.874801Z","submitted_at":"2026-02-20T20:32:04Z","title":"Package Managers \\`a la Carte: A Formal Model of Dependency Resolution","version":5},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-02T22:01:14.445135Z"},"links":{"citing_paper":"/paper/2602.18602"},"observation_digest":"sha256:0b284c0ca198eea586bd5eb598611f924cc53e3198ab9a73f1381f7ec22ccd62","observation_id":"97574382-1772-4789-90e0-c713d5699008","resolution":{"observed_at":"2026-08-02T22:01:14.445135Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T22:01:14.448555Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2602.18602","last_updated":"2026-07-17T10:52:08Z","snapshot_observed_at":"2026-08-15T14:57:20.874801Z","submitted_at":"2026-02-20T20:32:04Z","title":"Package Managers \\`a la Carte: A Formal Model of Dependency Resolution","version":5},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-02T22:01:14.448555Z"},"links":{"citing_paper":"/paper/2602.18602"},"observation_digest":"sha256:3078756286a71b7b7fc16a5ccc3be667cb43125cacb0bd161c87c7769f6f0896","observation_id":"1eba12dc-b8d3-446f-a6cc-61fd46bd6972","resolution":{"observed_at":"2026-08-02T22:01:14.448555Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T22:01:14.451773Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2602.18602","last_updated":"2026-07-17T10:52:08Z","snapshot_observed_at":"2026-08-15T14:57:20.874801Z","submitted_at":"2026-02-20T20:32:04Z","title":"Package Managers \\`a la Carte: A Formal Model of Dependency Resolution","version":5},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-02T22:01:14.451773Z"},"links":{"citing_paper":"/paper/2602.18602"},"observation_digest":"sha256:373197233b04eb319eaddd72a22e860b0c085be39b557a9399410e00d90433ff","observation_id":"348552a3-c8b1-42fe-8d08-870a0d2100cd","resolution":{"observed_at":"2026-08-02T22:01:14.451773Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T22:01:14.454788Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2602.18602","last_updated":"2026-07-17T10:52:08Z","snapshot_observed_at":"2026-08-15T14:57:20.874801Z","submitted_at":"2026-02-20T20:32:04Z","title":"Package Managers \\`a la Carte: A Formal Model of Dependency Resolution","version":5},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-02T22:01:14.454788Z"},"links":{"citing_paper":"/paper/2602.18602"},"observation_digest":"sha256:490ee883b20bcc72d4106adfb0198337f72ea2e5bd692ecee83f1be6f27de220","observation_id":"49a890f1-ae17-4759-97c1-9135353c8312","resolution":{"observed_at":"2026-08-02T22:01:14.454788Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T22:01:14.457698Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2602.18602","last_updated":"2026-07-17T10:52:08Z","snapshot_observed_at":"2026-08-15T14:57:20.874801Z","submitted_at":"2026-02-20T20:32:04Z","title":"Package Managers \\`a la Carte: A Formal Model of Dependency Resolution","version":5},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-02T22:01:14.457698Z"},"links":{"citing_paper":"/paper/2602.18602"},"observation_digest":"sha256:c2361b0e3d4e6ba33c2792bfd4cb574195a8ab2d77962195c082db39f1066a7f","observation_id":"ede15400-b583-4123-9309-7a84486bfc5e","resolution":{"observed_at":"2026-08-02T22:01:14.457698Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T22:01:14.460728Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2602.18602","last_updated":"2026-07-17T10:52:08Z","snapshot_observed_at":"2026-08-15T14:57:20.874801Z","submitted_at":"2026-02-20T20:32:04Z","title":"Package Managers \\`a la Carte: A Formal Model of Dependency Resolution","version":5},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-02T22:01:14.460728Z"},"links":{"citing_paper":"/paper/2602.18602"},"observation_digest":"sha256:f06f5db900afb671d9c87ceba6043041e7325542af963435859145958073e86b","observation_id":"41d455ea-fced-44e1-91f3-511c6fc3e230","resolution":{"observed_at":"2026-08-02T22:01:14.460728Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T22:01:14.464467Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2602.18602","last_updated":"2026-07-17T10:52:08Z","snapshot_observed_at":"2026-08-15T14:57:20.874801Z","submitted_at":"2026-02-20T20:32:04Z","title":"Package Managers \\`a la Carte: A Formal Model of Dependency Resolution","version":5},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-02T22:01:14.464467Z"},"links":{"citing_paper":"/paper/2602.18602"},"observation_digest":"sha256:e21d7426e8d8c854bc1097f60f2bd3d9019ac50a21715cb3bb9fce60f23385e1","observation_id":"91ee6785-44e7-4897-8440-e7aa2a9d66f7","resolution":{"observed_at":"2026-08-02T22:01:14.464467Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T22:01:14.471266Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2602.18602","last_updated":"2026-07-17T10:52:08Z","snapshot_observed_at":"2026-08-15T14:57:20.874801Z","submitted_at":"2026-02-20T20:32:04Z","title":"Package Managers \\`a la Carte: A Formal Model of Dependency Resolution","version":5},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-02T22:01:14.471266Z"},"links":{"citing_paper":"/paper/2602.18602"},"observation_digest":"sha256:d001913e8dd686e74e8b1c7f98b372b928d0266f3f272c8d65f51adb2b1f5d7d","observation_id":"6de3185e-bd97-4367-93cb-8cfda98586fb","resolution":{"observed_at":"2026-08-02T22:01:14.471266Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T22:01:14.474704Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2602.18602","last_updated":"2026-07-17T10:52:08Z","snapshot_observed_at":"2026-08-15T14:57:20.874801Z","submitted_at":"2026-02-20T20:32:04Z","title":"Package Managers \\`a la Carte: A Formal Model of Dependency Resolution","version":5},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-02T22:01:14.474704Z"},"links":{"citing_paper":"/paper/2602.18602"},"observation_digest":"sha256:e1120b410175736bae41f5f5a05d916ba2588e1c98d6744a6dd2f05381c7a3c3","observation_id":"902079e3-7cd1-48aa-a7d5-eeaf9c7a65ba","resolution":{"observed_at":"2026-08-02T22:01:14.474704Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T22:01:14.478065Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2602.18602","last_updated":"2026-07-17T10:52:08Z","snapshot_observed_at":"2026-08-15T14:57:20.874801Z","submitted_at":"2026-02-20T20:32:04Z","title":"Package Managers \\`a la Carte: A Formal Model of Dependency Resolution","version":5},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-02T22:01:14.478065Z"},"links":{"citing_paper":"/paper/2602.18602"},"observation_digest":"sha256:ed83ab31edc18ed1c67eb836c523e72ef826529f45380313241fb02cf083c745","observation_id":"268d9c9e-cfe4-4efb-b756-7787d778df5e","resolution":{"observed_at":"2026-08-02T22:01:14.478065Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T22:01:14.481369Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2602.18602","last_updated":"2026-07-17T10:52:08Z","snapshot_observed_at":"2026-08-15T14:57:20.874801Z","submitted_at":"2026-02-20T20:32:04Z","title":"Package Managers \\`a la Carte: A Formal Model of Dependency Resolution","version":5},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-02T22:01:14.481369Z"},"links":{"citing_paper":"/paper/2602.18602"},"observation_digest":"sha256:ba0301a4652c5419897e25865b7a91f812a1b04acc794172af4552b0cfa86a4c","observation_id":"ec8094de-e003-44df-8b93-59c3356f9722","resolution":{"observed_at":"2026-08-02T22:01:14.481369Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T22:01:14.484617Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2602.18602","last_updated":"2026-07-17T10:52:08Z","snapshot_observed_at":"2026-08-15T14:57:20.874801Z","submitted_at":"2026-02-20T20:32:04Z","title":"Package Managers \\`a la Carte: A Formal Model of Dependency Resolution","version":5},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-02T22:01:14.484617Z"},"links":{"citing_paper":"/paper/2602.18602"},"observation_digest":"sha256:146654dfa8fcc919b99b002dad0c7ea55611a1204edbe8232a3f1341526bee86","observation_id":"b039e3fd-0185-4a37-9e2e-1ffca8eb2881","resolution":{"observed_at":"2026-08-02T22:01:14.484617Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T22:01:14.487861Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2602.18602","last_updated":"2026-07-17T10:52:08Z","snapshot_observed_at":"2026-08-15T14:57:20.874801Z","submitted_at":"2026-02-20T20:32:04Z","title":"Package Managers \\`a la Carte: A Formal Model of Dependency Resolution","version":5},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-02T22:01:14.487861Z"},"links":{"citing_paper":"/paper/2602.18602"},"observation_digest":"sha256:22d8c24ef2bb787e6601f617c10f57ca997c521993aa207ea632c07ce343384b","observation_id":"591e946e-8615-48b9-95d5-8380afbe6c3f","resolution":{"observed_at":"2026-08-02T22:01:14.487861Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T22:01:14.491702Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2602.18602","last_updated":"2026-07-17T10:52:08Z","snapshot_observed_at":"2026-08-15T14:57:20.874801Z","submitted_at":"2026-02-20T20:32:04Z","title":"Package Managers \\`a la Carte: A Formal Model of Dependency Resolution","version":5},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-02T22:01:14.491702Z"},"links":{"citing_paper":"/paper/2602.18602"},"observation_digest":"sha256:586b001b95354bb1737e3d449d5fc7dc667c2147bccb4b09545a3aea61babcc8","observation_id":"c98638a0-5fb1-4516-a3db-3d4bcc0aadef","resolution":{"observed_at":"2026-08-02T22:01:14.491702Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T22:01:14.494802Z","title":"1990.UNIX System V Release 4","venue":null,"work_id":null,"year":1990},"citing_paper":{"arxiv_id":"2602.18602","last_updated":"2026-07-17T10:52:08Z","snapshot_observed_at":"2026-08-15T14:57:20.874801Z","submitted_at":"2026-02-20T20:32:04Z","title":"Package Managers \\`a la Carte: A Formal Model of Dependency Resolution","version":5},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-02T22:01:14.494802Z"},"links":{"citing_paper":"/paper/2602.18602"},"observation_digest":"sha256:f6f4ab767966a80e4eb8548726b67ced02339f4fc9f3b1c574ebb8d4028b0436","observation_id":"b02b5051-b5ff-4195-a44e-1f7c40aa899d","resolution":{"observed_at":"2026-08-02T22:01:14.494802Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T22:01:14.498055Z","title":null,"venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2602.18602","last_updated":"2026-07-17T10:52:08Z","snapshot_observed_at":"2026-08-15T14:57:20.874801Z","submitted_at":"2026-02-20T20:32:04Z","title":"Package Managers \\`a la Carte: A Formal Model of Dependency Resolution","version":5},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-02T22:01:14.498055Z"},"links":{"citing_paper":"/paper/2602.18602"},"observation_digest":"sha256:bc41373212940eb9f134b5f239aa55f9eab7f48af828cca6e96152b8ec1ddcc4","observation_id":"c60685f4-3025-4087-beff-9dceaca3d64c","resolution":{"observed_at":"2026-08-02T22:01:14.498055Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T22:01:14.501220Z","title":null,"venue":null,"work_id":null,"year":1970},"citing_paper":{"arxiv_id":"2602.18602","last_updated":"2026-07-17T10:52:08Z","snapshot_observed_at":"2026-08-15T14:57:20.874801Z","submitted_at":"2026-02-20T20:32:04Z","title":"Package Managers \\`a la Carte: A Formal Model of Dependency Resolution","version":5},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-02T22:01:14.501220Z"},"links":{"citing_paper":"/paper/2602.18602"},"observation_digest":"sha256:9a91aeb2ae23104ec3c4e50174c99dfc6e5d0e75794a4b52d1a3f319261c9198","observation_id":"4596d894-69ee-4e05-a406-05fad0fbc03d","resolution":{"observed_at":"2026-08-02T22:01:14.501220Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T22:01:14.504444Z","title":null,"venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2602.18602","last_updated":"2026-07-17T10:52:08Z","snapshot_observed_at":"2026-08-15T14:57:20.874801Z","submitted_at":"2026-02-20T20:32:04Z","title":"Package Managers \\`a la Carte: A Formal Model of Dependency Resolution","version":5},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-02T22:01:14.504444Z"},"links":{"citing_paper":"/paper/2602.18602"},"observation_digest":"sha256:6c32b4f801398a04a5dd19001f68688fb8047cadd11d22560cba00186e76d884","observation_id":"4a883332-002f-4713-adcb-0bc04a3afdf8","resolution":{"observed_at":"2026-08-02T22:01:14.504444Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T22:01:14.507957Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2602.18602","last_updated":"2026-07-17T10:52:08Z","snapshot_observed_at":"2026-08-15T14:57:20.874801Z","submitted_at":"2026-02-20T20:32:04Z","title":"Package Managers \\`a la Carte: A Formal Model of Dependency Resolution","version":5},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-02T22:01:14.507957Z"},"links":{"citing_paper":"/paper/2602.18602"},"observation_digest":"sha256:c07fedfc4b91202a7f4c1ee90cfa5283d372973b0ef8fd530424acf53a8c9b82","observation_id":"ee727c2e-9c00-42fa-b056-848e1fe17295","resolution":{"observed_at":"2026-08-02T22:01:14.507957Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T22:01:14.511794Z","title":"|| ( ( =B-2 =C-1 ) ( =B-1 !!C ) )","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2602.18602","last_updated":"2026-07-17T10:52:08Z","snapshot_observed_at":"2026-08-15T14:57:20.874801Z","submitted_at":"2026-02-20T20:32:04Z","title":"Package Managers \\`a la Carte: A Formal Model of Dependency Resolution","version":5},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-02T22:01:14.511794Z"},"links":{"citing_paper":"/paper/2602.18602"},"observation_digest":"sha256:59fd992b526d8e0acc7fe8f755813f47f0a7797ffe7715d3c04f501dcf8cb360","observation_id":"971dfbed-2a91-4459-a740-7bb382242f07","resolution":{"observed_at":"2026-08-02T22:01:14.511794Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T22:01:14.468024Z","title":"InProceedings of the 2022 ACM on Asia Conference on Computer and Communications Security(Nagasaki, Japan)(ASIA CCS ’22)","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2602.18602","last_updated":"2026-07-17T10:52:08Z","snapshot_observed_at":"2026-08-15T14:57:20.874801Z","submitted_at":"2026-02-20T20:32:04Z","title":"Package Managers \\`a la Carte: A Formal Model of Dependency Resolution","version":5},"reference_index":2022,"source":"pdf_text","source_observed_at":"2026-08-02T22:01:14.468024Z"},"links":{"citing_paper":"/paper/2602.18602"},"observation_digest":"sha256:58f62c64bf9e4054016070cfe4017e994ced1b7272f7bd984971ae96a084d99e","observation_id":"b0af4e08-b672-47f5-be7b-49a519027366","resolution":{"observed_at":"2026-08-02T22:01:14.468024Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2602.18602","last_updated":"2026-07-17T10:52:08Z","latest_version":5,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-15T14:57:20.874801Z","submitted_at":"2026-02-20T20:32:04Z","title":"Package Managers \\`a la Carte: A Formal Model of Dependency Resolution"},"reference_resolution":{"displayed":57,"state_counts":{"malformed_identifier":2,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":49,"verified_exact":6,"verified_fuzzy":0},"total_outbound_references":57},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"thesis":"As of 22 August 2026, this Paper Citation Record lists 57 of 57 outbound references and 0 inbound Pith citation observations for arXiv:2602.18602."}