pac by ryan.freumh.org · Tangled

This repository has no description

Commits on main

tolerated-misses lists the four names the registry answers 404 that pac asks for in the shared and placement readings, each a dependency of an old or pre-release version

committed 4w ago

npm/close.sh closes repos/npm over every query in the npm, shared and placement readings, and SNAPSHOTS records the snapshot it closed, 4012c06a, 5796 packuments, as the one the final run uses

committed 4w ago

SNAPSHOTS records a held-out crates.io-index of 2026-09-27, cargo's scale.sh runs against it through CARGO_INDEX and still refuses an index no row records, and SEED=20260927 draws the held-out sample

committed 4w ago

bench.sh pins pac and the tool to core 42 by default, on iphito's NUMA node 0 and serving no device interrupt, and PIN= runs unpinned

committed 4w ago

The eval flake takes Node 24.21.0 with npm 11.19.0 (arborist 9.9.1) from a later nixos-26.05, the npm body.tex §7.3 cites, and npm-version records it

committed 4w ago

PeerDependency.v's versions_lookupIntermediate binds its dependee name as o, as its sibling dependees theorems do

committed 4w ago

Npm.v's lookup theorems bind the directory key as k', the peer name as n and a descriptor's registry name as m

committed 4w ago

Cargo.v's lookup theorems bind the crate name as n, the slot class as w, the chosen class as w' and the delivered feature as f'

committed 4w ago

VariableFormula.v's lookup theorems bind the looked-up name as n and a negated name as m

committed 4w ago

PackageFormula.v's lookup theorems bind the looked-up name as n and a negated name as m

committed 4w ago

The npm reading asks the root's intermediates afresh and hands their versions over as points, Npm.v's versions_intermediate_mono shows they only grow, and versions_lookupGranular asks only that some entry of the sub-instance produce the key when one of the instance does

committed 4w ago

Placement's reduction drops the Tree atom and its soundness decodes the layout's reachable restriction, so the placement driver hands PubGrub only exact ranges and solves once, and npm-place.t's grow cases pass in pubgrub order

committed 4w ago

extensions.t prints the core the lookups walk from the root for Visibility and the placements, beside the global reduction's size

committed 4w ago

extensions.t cross-checks the npm placement lookups on an alias against the global reduction, and prints a placement's reduction as its size

committed 4w ago

run_query.py imports sys, which check_toolchain exits through

committed 4w ago

solve.mli's optional_read comment reads as one sentence, work_heap.mli documents each value at its own declaration, and site_data says merged sites have none

committed 4w ago

pac npm refuses --depth outside the placement reading and --tree beside it, and its help and the READMEs say what the placement reading reads

committed 4w ago

calculus.t describes its instance rather than citing a figure

committed 4w ago

NpmPlacement.v and Placement.v keep only Rocq comments, the npm reasoning moving to the driver, and NpmCommon holds what NpmPlacement.v restated of Npm.v

committed 4w ago

npm-place.t runs two cases under PAC_NPM_CHECKCMP, and README lists the placement reading's restated orders as trusted

committed 4w ago

The placement result drops its unread names field, its profiling lives in the solve and runs only under PAC_NPM_STATS, the npm help documents both variables, and no comment there names another file's identifier

committed 4w ago

A placement run's resume check reads FILL too, so a filling and a frozen run never share a results file

committed 4w ago

--omit=optional resolves optional dependencies and leaves out what they alone reach, as --omit=dev does, and cram cases pin both omissions under placement

committed 4w ago

resolve.js and lockname.py read a root's devDependencies over its dependencies and a root override on the key, as npm does

committed 1mo ago

The placement reading keeps the project apart from the registry package of its name, and the npm reading refuses a query that reaches its own name

committed 1mo ago

A root override applies to the key an edge is written under and makes it that key's registry package, as npm's does, in both readings

committed 1mo ago

pac pins ocaml-pubgrub 09b6c64, and the npm reading's solve passes ?dense for every name but the root's intermediates, so a depender's block runs up to the next listed version and jest's solve in pubgrub order is back to 2.6 s

committed 1mo ago

pac pins ocaml-pubgrub 8e607d6, whose dependency incompatibilities name only listed versions, and the cram tests' explanations print those versions

committed 1mo ago

Cargo.v's versions_link_mono and Opam.v's versions_class_mono show a links value's and a class's versions only grow with the loaded instance, and the drivers' comments cite the resolver contract

committed 1mo ago

eval/bench/summary.py gives each geometric mean of pac over the tool a 95% bootstrap interval, 10,000 seeded resamples of the queries, in its tables and in bench.csv

committed 1mo ago

eval/bench/stratify.py draws the benchmark set from a finished run, seeded, K queries from each tenth by the size of pac's answer, the regression set left out

committed 1mo ago

eval/bench.sh times pac in each order against each tool, the 09-23 harness ported to queries.txt, --order, Cargo.toml roots, npm's query words and readings, with PIN and a Debian cold pass

committed 1mo ago

results.txt carries pac's parse, solve, core nodes, lookups and loaded counts, and a hash of its answer, whose distinct values per query a fuzz run counts

committed 1mo ago

Cargo's check removes its cargo-home once cargo has answered, so a run's out/ keeps about 0.2 MB a query rather than 12

committed 1mo ago

debian: Tables.tables is abstract, read through stats and the questions Debian_solve and Apt_reject ask, and Debian_solve owns its selector cache

committed 1mo ago

npm-place.t: the explanation's second sentence ends with a full stop, as pubgrub 169b733 writes it

committed 1mo ago

Placement.v names an optional edge's accepted versions optAccept, so a grep for admit finds only the tactic

committed 1mo ago

The placement reading keeps a peer's npm: alias, which its calculus reads, and cram tests pin its layouts, depth bound, refutations and --core

committed 1mo ago

layout-check.sh asks lockname.py with npm's reading of the manifests, which the placement reading shares

committed 1mo ago

eval/npm checks a placement answer as the lock it is, with npm ci, npm ls and require.resolve per edge, and controls pose layouts to that check

committed 1mo ago

npm's --reading=placement solves the extracted NpmPlacement reduction, locations made lazily at depth 8 in npm's hoisting order, and answers the node_modules layout

committed 1mo ago

NpmPlacement.v reduces npm's node_modules layouts, aliases and optional edges included, through Placement.v, which gains optional dependencies and peers; sound, complete to a depth bound, with lookups in the per-edge form the driver uses

committed 1mo ago

pubgrub: pin 169b733, whose explanations say "no versions of D match 2" and end each sentence with one full stop

committed 1mo ago

example: calculus.t pins PubGrub's trace on Fig. 1 extended by E, and its derivation and explanation without D 2

committed 1mo ago

README: programmed with Claude Code

committed 1mo ago

npm: Archive.t and Lookup.t are abstract, read through accessors, and Solve counts its lookups off its own memo

committed 1mo ago

cargo: Archive.t and the lookup state are abstract, read through stats and the questions pick and decode ask; the test-only exports say so

committed 1mo ago

opam: the archive is abstract, with stats for bin and repository for sanitize

committed 1mo ago

alpine: the archive is abstract, bin reads its counts through stats, and Apk_version.matches says it is there for the test

committed 1mo ago

debian: Apt_reject's state is abstract, and Order asks it through forget_rejections and narrowings

committed 1mo ago

version: Semver.t drops the build field nothing read, and strip_build says it is there for test_semver

committed 1mo ago

ConflictClass and DebianMA: classPkgs and clsPreimage take their set of packages as ps

committed 1mo ago

DebianMA: the clsPreimage lemmas bind their set of packages as ps

committed 1mo ago

ConflictClass: mem_classPkgs binds its set of packages as ps

committed 1mo ago

VariableFormula: the lifted model is a set of packages, ps

committed 1mo ago

PackageFormula: a set of names is ns and a set of packages ps

committed 1mo ago

npm: every module has an interface, exporting what the solve, the command and the tests read

committed 1mo ago

cargo: every module has an interface, exporting what the solve, the command and the tests read

committed 1mo ago

opam: every module has an interface, and Opam_solve exports the archive, sanitize and solve that the command reads

committed 1mo ago

alpine: every module has an interface, and Lookups.S is written out as Make's result

committed 1mo ago