Paper Citation Record · LEDGER

Package Managers \`a la Carte: A Formal Model of Dependency Resolution

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.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2602.18602 v5

Coverage vector

measured 57 of 57 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-02T22:01:14.511794Z

measured 57 of 57 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-22T06:32:14.747728+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

57 of 57 outbound references displayed

verified exact6
verified fuzzy0
unresolved49
parse uncertain0
malformed identifier2
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 00ba7a1c-bc84-4499-b9c9-5dd191d29911 · outbound

This paper cites Comprehensive Perl Archive Network.

Package Managers \`a la Carte: A Formal Model of Dependency Resolution Comprehensive Perl Archive Network

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-02T22:01:14.321838Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5c5ddc52-1c0d-42a6-988f-997bed57d932 · outbound

This paper cites OCaml Package Manager, The opam manual.

Package Managers \`a la Carte: A Formal Model of Dependency Resolution OCaml Package Manager, The opam manual

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-02T22:01:14.326140Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1b2338e8-9717-49f7-aa8e-cdb4a05298e1 · outbound

This paper cites The Cargo Book.

Package Managers \`a la Carte: A Formal Model of Dependency Resolution The Cargo Book

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-02T22:01:14.329434Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 74d0b1e6-e8d3-4412-b2c8-c271538415de · outbound

This paper cites Cargo Resolver.

Package Managers \`a la Carte: A Formal Model of Dependency Resolution Cargo Resolver

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-02T22:01:14.332891Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ee441344-b1b3-4641-80c6-d5fd2b7fe765 · outbound

This paper cites Debian Policy Manual: Chapter 5 - Control files and their fields.

Package Managers \`a la Carte: A Formal Model of Dependency Resolution Debian Policy Manual: Chapter 5 - Control files and their fields

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-02T22:01:14.336392Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cbc0818b-a02b-4e26-a5b0-2e0ae1e7b85f · outbound

This paper cites Debian Policy Manual: Chapter 7 - Declaring relationships between packages.

Package Managers \`a la Carte: A Formal Model of Dependency Resolution Debian Policy Manual: Chapter 7 - Declaring relationships between packages

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-02T22:01:14.339606Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 43c73ad0-47bd-465b-afa0-cfe1eea98f6c · outbound

This paper cites Go Modules Reference.

Package Managers \`a la Carte: A Formal Model of Dependency Resolution Go Modules Reference

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-02T22:01:14.343037Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dff018b6-f702-4df5-8a50-14fe386e00f1 · outbound

This paper cites The Haskell Cabal.

Package Managers \`a la Carte: A Formal Model of Dependency Resolution The Haskell Cabal

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-02T22:01:14.346307Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0afeaa51-a25e-487b-ab6d-bbb7fc4bd099 · outbound

This paper cites an unresolved cited work.

Package Managers \`a la Carte: A Formal Model of Dependency Resolution Unresolved cited work

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-02T22:01:14.349570Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 76e433cc-8e08-43c5-b792-3ea754ce923a · outbound

This paper cites an unresolved cited work.

Package Managers \`a la Carte: A Formal Model of Dependency Resolution Unresolved cited work

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-02T22:01:14.352629Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f98ccd0b-0c5b-454e-81c4-c2ae9ded517c · outbound

This paper cites an unresolved cited work.

Package Managers \`a la Carte: A Formal Model of Dependency Resolution Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-02T22:01:14.356124Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4308cd0f-db21-426a-99bd-d3495df3c930 · outbound

This paper cites an unresolved cited work.

Package Managers \`a la Carte: A Formal Model of Dependency Resolution Unresolved cited work

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-02T22:01:14.359449Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 845eef38-8498-4fda-bfc3-e370641e53b5 · outbound

This paper cites an unresolved cited work.

Package Managers \`a la Carte: A Formal Model of Dependency Resolution Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-02T22:01:14.362484Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f7ce89e1-d72a-439c-a80e-e0fcc28358b2 · outbound

This paper cites an unresolved cited work.

Package Managers \`a la Carte: A Formal Model of Dependency Resolution Unresolved cited work

Reference 14

Resolution: verified exact; doi, observed 2026-08-02T22:03:42.604457Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation e0149e1b-d57d-439a-84e4-c51206de9985 · outbound

This paper cites an unresolved cited work.

Package Managers \`a la Carte: A Formal Model of Dependency Resolution Unresolved cited work

Reference 15

Resolution: verified exact; doi, observed 2026-08-02T22:03:42.309433Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation ede8a0e3-edae-46b8-a02d-f2078918de1e · outbound

This paper cites an unresolved cited work.

Package Managers \`a la Carte: A Formal Model of Dependency Resolution Unresolved cited work

Reference 16

Resolution: malformed identifier; doi_truncated, observed 2026-08-02T22:03:42.052423Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 47fe1238-657a-4651-ae64-b6c485f11231 · outbound

This paper cites 1970.Graphes et hypergraphes.

Package Managers \`a la Carte: A Formal Model of Dependency Resolution 1970.Graphes et hypergraphes

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-02T22:01:14.375893Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 30218849-8546-4cad-a091-80bbafaf74f1 · outbound

This paper cites A Review of Attacks Against Language-Based Package Managers.

Package Managers \`a la Carte: A Formal Model of Dependency Resolution A Review of Attacks Against Language-Based Package Managers

Reference 18

Resolution: verified exact; local_arxiv, observed 2026-08-02T22:03:41.760482Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation a5bca8a5-4921-4abf-81ed-a4b8d18ce356 · outbound

This paper cites an unresolved cited work.

Package Managers \`a la Carte: A Formal Model of Dependency Resolution Unresolved cited work

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-02T22:01:14.383774Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a7a9e680-9f5e-4370-8e4c-0f1a0b81cc77 · outbound

This paper cites an unresolved cited work.

Package Managers \`a la Carte: A Formal Model of Dependency Resolution Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-02T22:01:14.387210Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3b8a3a67-72a6-444c-9cbe-037bed04fbf8 · outbound

This paper cites SBOM Generation Tools in the Python Ecosystem: an In-Detail Analysis.

Package Managers \`a la Carte: A Formal Model of Dependency Resolution SBOM Generation Tools in the Python Ecosystem: an In-Detail Analysis

Reference 21

Resolution: verified exact; local_arxiv, observed 2026-08-02T22:03:41.466478Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 2573aadc-fcc2-49f6-acf0-e1fa17b90fff · outbound

This paper cites an unresolved cited work.

Package Managers \`a la Carte: A Formal Model of Dependency Resolution Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-02T22:01:14.394185Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e9e4db48-2eb4-4765-b531-db64586e0a4a · outbound

This paper cites Functional Package Management with Guix.

Package Managers \`a la Carte: A Formal Model of Dependency Resolution Functional Package Management with Guix

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-02T22:01:14.397724Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d95e05cb-376e-4cb7-90a5-0f63209a296e · outbound

This paper cites 2016.Version SAT.

Package Managers \`a la Carte: A Formal Model of Dependency Resolution 2016.Version SAT

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-02T22:01:14.401742Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 600bc484-4525-4ada-a75b-dc1c7730b515 · outbound

This paper cites an unresolved cited work.

Package Managers \`a la Carte: A Formal Model of Dependency Resolution Unresolved cited work

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-02T22:01:14.405165Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e2ed5c5e-fc84-4bb1-8235-03a7ee9e065e · outbound

This paper cites an unresolved cited work.

Package Managers \`a la Carte: A Formal Model of Dependency Resolution Unresolved cited work

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-02T22:01:14.408704Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bdb3703b-57bd-4d03-895e-95fdde32a065 · outbound

This paper cites an unresolved cited work.

Package Managers \`a la Carte: A Formal Model of Dependency Resolution Unresolved cited work

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-02T22:01:14.412647Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1b806dc1-66e6-4bdf-93ca-c2c08683aad9 · outbound

This paper cites an unresolved cited work.

Package Managers \`a la Carte: A Formal Model of Dependency Resolution Unresolved cited work

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-02T22:01:14.415979Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 17b8714a-d1ae-4803-bfed-9643cecf63a4 · outbound

This paper cites Neutrino Production via $e^-e^+$ Collision at $Z$-boson Peak.

Package Managers \`a la Carte: A Formal Model of Dependency Resolution Neutrino Production via $e^-e^+$ Collision at $Z$-boson Peak

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-02T22:01:14.419245Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6e5f5af9-248e-476f-9511-c3ddf0ef47ae · outbound

This paper cites Collette, Gregory L.

Package Managers \`a la Carte: A Formal Model of Dependency Resolution Collette, Gregory L

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-02T22:01:14.422741Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 49208061-522a-4ad7-bad8-417024705959 · outbound

This paper cites an unresolved cited work.

Package Managers \`a la Carte: A Formal Model of Dependency Resolution Unresolved cited work

Reference 31

Resolution: verified exact; doi, observed 2026-08-02T22:03:41.187978Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 5a17ed5e-0a02-4bba-8323-47a8754f05f9 · outbound

This paper cites an unresolved cited work.

Package Managers \`a la Carte: A Formal Model of Dependency Resolution Unresolved cited work

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-02T22:01:14.429057Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 814609d2-04b6-4e5e-a70e-c13b858bb42e · outbound

This paper cites an unresolved cited work.

Package Managers \`a la Carte: A Formal Model of Dependency Resolution Unresolved cited work

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-02T22:01:14.432189Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bd946634-7e14-4b91-9f35-8a6899248ea1 · outbound

This paper cites an unresolved cited work.

Package Managers \`a la Carte: A Formal Model of Dependency Resolution Unresolved cited work

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-02T22:01:14.435332Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ec6bb3aa-aea1-485e-9b05-dd9ee433f315 · outbound

This paper cites an unresolved cited work.

Package Managers \`a la Carte: A Formal Model of Dependency Resolution Unresolved cited work

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-02T22:01:14.438949Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 36b47e11-d7aa-4051-826f-cc21c4700253 · outbound

This paper cites an unresolved cited work.

Package Managers \`a la Carte: A Formal Model of Dependency Resolution Unresolved cited work

Reference 36

Resolution: verified exact; doi, observed 2026-08-02T22:03:40.937521Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 97574382-1772-4789-90e0-c713d5699008 · outbound

This paper cites an unresolved cited work.

Package Managers \`a la Carte: A Formal Model of Dependency Resolution Unresolved cited work

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-02T22:01:14.445135Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1eba12dc-b8d3-446f-a6cc-61fd46bd6972 · outbound

This paper cites an unresolved cited work.

Package Managers \`a la Carte: A Formal Model of Dependency Resolution Unresolved cited work

Reference 38

Resolution: malformed identifier; no resolver link, observed 2026-08-02T22:01:14.448555Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 348552a3-c8b1-42fe-8d08-870a0d2100cd · outbound

This paper cites an unresolved cited work.

Package Managers \`a la Carte: A Formal Model of Dependency Resolution Unresolved cited work

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-02T22:01:14.451773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 49a890f1-ae17-4759-97c1-9135353c8312 · outbound

This paper cites an unresolved cited work.

Package Managers \`a la Carte: A Formal Model of Dependency Resolution Unresolved cited work

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-02T22:01:14.454788Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ede15400-b583-4123-9309-7a84486bfc5e · outbound

This paper cites an unresolved cited work.

Package Managers \`a la Carte: A Formal Model of Dependency Resolution Unresolved cited work

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-02T22:01:14.457698Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 41d455ea-fced-44e1-91f3-511c6fc3e230 · outbound

This paper cites an unresolved cited work.

Package Managers \`a la Carte: A Formal Model of Dependency Resolution Unresolved cited work

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-02T22:01:14.460728Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 91ee6785-44e7-4897-8440-e7aa2a9d66f7 · outbound

This paper cites an unresolved cited work.

Package Managers \`a la Carte: A Formal Model of Dependency Resolution Unresolved cited work

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-02T22:01:14.464467Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6de3185e-bd97-4367-93cb-8cfda98586fb · outbound

This paper cites an unresolved cited work.

Package Managers \`a la Carte: A Formal Model of Dependency Resolution Unresolved cited work

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-02T22:01:14.471266Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 902079e3-7cd1-48aa-a7d5-eeaf9c7a65ba · outbound

This paper cites an unresolved cited work.

Package Managers \`a la Carte: A Formal Model of Dependency Resolution Unresolved cited work

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-02T22:01:14.474704Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 268d9c9e-cfe4-4efb-b756-7787d778df5e · outbound

This paper cites an unresolved cited work.

Package Managers \`a la Carte: A Formal Model of Dependency Resolution Unresolved cited work

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-02T22:01:14.478065Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ec8094de-e003-44df-8b93-59c3356f9722 · outbound

This paper cites an unresolved cited work.

Package Managers \`a la Carte: A Formal Model of Dependency Resolution Unresolved cited work

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-02T22:01:14.481369Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b039e3fd-0185-4a37-9e2e-1ffca8eb2881 · outbound

This paper cites an unresolved cited work.

Package Managers \`a la Carte: A Formal Model of Dependency Resolution Unresolved cited work

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-02T22:01:14.484617Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 591e946e-8615-48b9-95d5-8380afbe6c3f · outbound

This paper cites an unresolved cited work.

Package Managers \`a la Carte: A Formal Model of Dependency Resolution Unresolved cited work

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-02T22:01:14.487861Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c98638a0-5fb1-4516-a3db-3d4bcc0aadef · outbound

This paper cites an unresolved cited work.

Package Managers \`a la Carte: A Formal Model of Dependency Resolution Unresolved cited work

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-02T22:01:14.491702Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b02b5051-b5ff-4195-a44e-1f7c40aa899d · outbound

This paper cites 1990.UNIX System V Release 4.

Package Managers \`a la Carte: A Formal Model of Dependency Resolution 1990.UNIX System V Release 4

Reference 51

Resolution: unresolved; no resolver link, observed 2026-08-02T22:01:14.494802Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c60685f4-3025-4087-beff-9dceaca3d64c · outbound

This paper cites an unresolved cited work.

Package Managers \`a la Carte: A Formal Model of Dependency Resolution Unresolved cited work

Reference 52

Resolution: unresolved; no resolver link, observed 2026-08-02T22:01:14.498055Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4596d894-69ee-4e05-a406-05fad0fbc03d · outbound

This paper cites an unresolved cited work.

Package Managers \`a la Carte: A Formal Model of Dependency Resolution Unresolved cited work

Reference 53

Resolution: unresolved; no resolver link, observed 2026-08-02T22:01:14.501220Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4a883332-002f-4713-adcb-0bc04a3afdf8 · outbound

This paper cites an unresolved cited work.

Package Managers \`a la Carte: A Formal Model of Dependency Resolution Unresolved cited work

Reference 54

Resolution: unresolved; no resolver link, observed 2026-08-02T22:01:14.504444Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ee727c2e-9c00-42fa-b056-848e1fe17295 · outbound

This paper cites an unresolved cited work.

Package Managers \`a la Carte: A Formal Model of Dependency Resolution Unresolved cited work

Reference 55

Resolution: unresolved; no resolver link, observed 2026-08-02T22:01:14.507957Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 971dfbed-2a91-4459-a740-7bb382242f07 · outbound

This paper cites || ( ( =B-2 =C-1 ) ( =B-1 !!C ) ).

Package Managers \`a la Carte: A Formal Model of Dependency Resolution || ( ( =B-2 =C-1 ) ( =B-1 !!C ) )

Reference 56

Resolution: unresolved; no resolver link, observed 2026-08-02T22:01:14.511794Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b0af4e08-b672-47f5-be7b-49a519027366 · outbound

This paper cites InProceedings of the 2022 ACM on Asia Conference on Computer and Communications Security(Nagasaki, Japan)(ASIA CCS ’22).

Package Managers \`a la Carte: A Formal Model of Dependency Resolution InProceedings of the 2022 ACM on Asia Conference on Computer and Communications Security(Nagasaki, Japan)(ASIA CCS ’22)

Reference 2022

Resolution: unresolved; no resolver link, observed 2026-08-02T22:01:14.468024Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.