alpha
Login
Join now
ryan.freumh.org
/
pac
Star
Starred
Star
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
This repository has no description
Star
Starred
Star
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
pac
/
eval
/
cargo
12 files
at
main
Ryan Gibb
·
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
·
1d ago
e14fab08
check.py
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
1d ago
consistent.py
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
1d ago
controls.sh
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
2d ago
features.py
comments: say only what the code, the proofs and the tools' sources bear out; check cited Rocq names in runtest
3d ago
manifest.jq
eval: cut what-comments; drop the host-specific runbook
3d ago
mklock.py
eval/cargo: an edge lost out of a crate cargo keeps is INVALID, whatever else holds the version; one reader of pac's answer
2d ago
queries.txt
eval: a regression line is a whole query in the tool's syntax, in queries.txt; opam adds its two --with-test queries
4d ago
run_query.py
run_query.py imports sys, which check_toolchain exits through
1d ago
scale.py
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
1d ago
scale.sh
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
1d ago
sparse_proxy.py
eval: one serve for shim.py and sparse_proxy.py, which asks the server what it serves; npm's command line and module loader shared
2d ago
triage.py
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
2d ago