ryan.freumh.org / pac
This repository has no description
Star
Fork 0
Watch

Commits on main

cargo: a crate's records of one name share a slot exactly when they ask the same requirement and features, as cargo's resolver then gives them one version; the cargo harness has one semver and one index path main
Ryan Gibb committed
cargo: a crate's declarations of one name at one requirement are a slot each again, as cargo's resolver takes them apart and its own fresh lock can split them
Ryan Gibb committed
consistent.py says why serve caps its picks at 4096
Ryan Gibb committed
eval/README.md gives cargo's reproduced= as check.py runs it, cargo update --workspace --locked
Ryan Gibb committed
eval/README.md describes npm's shared reading, the Berry check and its scripts, npm's reproduced= and the summary's reproduced count
Ryan Gibb committed
relation.py's misses leaves the peers the answer leaves open to open_misses
Ryan Gibb committed
npm's controls pose answers under the shared reading and to berry.sh, one per verdict, and the Berry scripts refuse a Yarn other than 4.14.1
Ryan Gibb committed
The Berry scripts share one yarn.lock reader, one berry_spec and mklock's manifest, mklock reads a package's fields through relation's, and berryall.sh and berryownall.sh start berryreg.py through serve.sh, which it now answers
Ryan Gibb committed
test/example describes each instance it runs, with no paper, figure or history
Ryan Gibb committed
npm.t says --order=random picks among the versions the rest of the solution leaves open
Ryan Gibb committed
npm.t's partial outputs go through between, first and holding, which keep pac's exit status, and a case pins the shared reading's refusal of overrides
Ryan Gibb committed
Placement.v's occupants reads a location's versions through repoVersions, not Core's quadratic versions
Ryan Gibb committed
Placement.v names its depth bound depth and the names a location may end in locNames, as the glossary keeps D for dependencies and keys for npm's source names, and says why its reduction is its lookups aggregated
Ryan Gibb committed
Npm.v's holderName names where a copy offers a name, proved to be what holderEdges points at, and Lookup.holder reads it rather than asking holderEdges with a sentinel version
Ryan Gibb committed
Prelude.v holds if_scrutinee, SetSpecs.mem_eq_of_iff and one granFibre functor, which Npm.v, Concurrent.v and FeatureConcurrent.v share rather than each keeping its own
Ryan Gibb committed
Npm.v's instance fields are inst_deps and inst_peers, plural as every other instance's
Ryan Gibb committed
Npm.v, its audit list and lib/npm say dependee name for target and reduced for the reduced instance's names (d_name, reducedNames, slotNames, slot_names), and canBeAbsent for loose
Ryan Gibb committed
Npm.v keeps only its two Rocq comments, generativity and why the relation fields are lists, and drops the dangling duplicate above peerCands with the rest
Ryan Gibb committed
Npm.v drops five lemmas nothing uses, peerCandsAt_real, slotKey_plain, peerCandsAt_plain, mem_sightCands and slotKey_target, and mem_sightCandsL, which only mem_sightCands used
Ryan Gibb committed
npm_parse keeps one set for query.ml and itself, and ver_of reads a version's dependencies and its peers in deps_of and peers_of
Ryan Gibb committed
lookup.ml says why the shared reading keeps an optional dependency no version matches, drops the descriptor test that desc_name makes itself, and says what an optional peer asks
Ryan Gibb committed
The shared reading's leaving out a version with a peer the parser drops gives its reason for every spec it drops, not only one npm cannot read
Ryan Gibb committed
The random order takes a driver's viable filter, which npm's moves out of its replay into viable.ml, and order.mli and --order's help say the pick is uniform over what the filter keeps
Ryan Gibb committed
One copy of Yarn Berry's packageExtensions, lib/npm/berry-extensions.json, feeds pac and the npm check alike, and pac matches an extension as Berry does, retrying a version with its prerelease tags dropped
Ryan Gibb committed
Every driver hands back its --core walk for main to run once the answer's counts and times are read, and npm's walk reports a registry failure as an incomplete core rather than failing the answer
Ryan Gibb committed
pac npm reads its manifests under --reading=npm|shared rather than PAC_NPM_CORE, and the npm harness passes READING to pac and the check and records it in a run's parameters
Ryan Gibb committed
Placement.v reduces a layout calculus with npm's PEER LOCAL to the core, sound, complete to a depth bound, with a round trip, lookups for every name, and validity kept under restriction to what the root reaches
Ryan Gibb committed
npm's core check matches packageExtensions by Berry's own semver, reads a peer an extension adds beside a dependency as a peer with default, lets an aliased dependency take its depender's copy of the name, and reads a package.json query's specs for the Berry project
Ryan Gibb committed
npm's common core refuses a root with mandatory peers, resolutions or overrides, leaves out a version whose peer spec npm cannot read, and installs at the root no copy for a peer only Yarn Berry's packageExtensions add
Ryan Gibb committed
npm's descriptor binds only under the common core, which alone reads a dependee's own dependencies, so the default mode is layer A's; the core's random order keeps a directory to what its descriptor's other directories leave open, and Berry's own answer is compared with the core's
Ryan Gibb committed
npm's resolution resolves a descriptor once and reads a peer beside a dependency of its name as Yarn Berry's peer with default, and PAC_NPM_CORE=1 reads manifests as npm and Berry both do, which a Berry check of each answer confirms
Ryan Gibb committed
npm's depender offers itself to a peer only where its directory and its package are both the name, and the npm check judges an optional peer left open by the copy it finds, nesting a hoisted copy out of its sight, and lets a peer take a holder's alias
Ryan Gibb committed
npm's resolution offers a dependency's peer only what its depender holds, peers on or is, the root alone installing a peer nothing else provides; the replay closes a cycle through one name with a link, and the npm check closes an optional peer left open over the chain
Ryan Gibb committed
npm's driver encodes the peer chain with sights and links, its random order picks the version a link's holder and sight already leave open, and the npm check reads a peer through a depender that peers on the name
Ryan Gibb committed
npm's resolution holds no copy of a name inside a non-root package that peers on it, and a copy's peer sees what its depender shows, through a sight per copy and a link per depender
Ryan Gibb committed
cargo's check reads an index row off cargo's row schema as unreadable, and leaves unchecked a target or feature name whose Unicode class Python cannot settle
Ryan Gibb committed
Package Formula's original dependees need R only at the names a formula negates outside any disjunction
Ryan Gibb committed
FeatureConcurrent proves versions lookups for its five name kinds, and its §4 test walks both lookups
Ryan Gibb committed
the Debian driver's comment says why any package fills the instance's root
Ryan Gibb committed
cargo's check refuses a cycle, an index row cargo cannot read, a feature asked of a dependency as x/f or dep:x, and a feature including itself, and drops the empty feature as cargo does
Ryan Gibb committed
Core's walk returns the instance it reaches as data and its printer walks nothing, so the §4 tests print each calculus's whole reduction
Ryan Gibb committed
The §4 extension figures are tested under test/example through the core printer, walking each calculus's lookups and checking the walk against the global reduction
Ryan Gibb committed
npm's lock builder searches for a tree where its first placement finds none, and calls the answer INVALID where a depth or breadth count shows none exists
Ryan Gibb committed
npm's and cargo's checks judge an answer consistent, npm's by the lock holding every edge and cargo's by an independent checker, and report the tool's lock apart
Ryan Gibb committed
the harness reports whether the tool reproduces an answer as reproduced=, apart from valid and minimal
Ryan Gibb committed
cargo's check drops the edges cargo leaves inactive, and asks each package it drops for its own edges and no conflict
Ryan Gibb committed
cargo's check refuses a crate's split declarations of one package whatever else the lock holds, cargo's own fresh lock included
Ryan Gibb committed
npm's check refuses an answer that gives a dependency or a peer no provider
Ryan Gibb committed
npm's check verifies every peer from its declarer, and reads npm's overridden peers and npm ls's invalid edges as refusals
Ryan Gibb committed
npm's check closes a cycle of copies with a link, as npm does, and reads links wherever it reads a lock
Ryan Gibb committed
Each ecosystem's worked example from the paper is a cram test of its --core block and answer
Ryan Gibb committed
--core prints the core instance a query reaches, through one printer every driver shares
Ryan Gibb committed
lib/common's modules move up to lib, still the library pac_common
Ryan Gibb committed
README: the trusted base in three sentences
Ryan Gibb committed
deps_of and recs_of drop their unused tables argument; cargo's group pushes through Tbl.push
Ryan Gibb committed
headFibre is withHead: it restricts a relation to one head, which is neither a fibre nor a preimage
Ryan Gibb committed
Cargo.v states its instance as a record, as the other drivers do
Ryan Gibb committed
Debian.v and DebianMA.v state their instance as a record, as Alpine.v, Opam.v and Npm.v do
Ryan Gibb committed
npm: the latest tag's shortcut needs the tagged version itself to pass, not a build-metadata twin of it
Ryan Gibb committed
dune fmt
Ryan Gibb committed