Pin lockfile discovery and validation I/O decisions (#83) - #125

Merged

leynos merged 17 commits into

mainfrom

issue-83-remove-rglob-pass

Jul 26, 2026

Commits on Jul 21, 2026

Pin lockfile discovery and validation I/O decisions
leynos
committed
a7a1d05
Pin git-driven lockfile discovery with a regression test

leynos
and
claude
committed
d69fbc5
Extract shared stale-lockfile error helper in preflight tests

leynos
and
claude
committed
3bfba8b
Add property test for lockfile classification-until-error invariant

leynos
and
claude
committed
a51e156
Message the property-test asserts and document the tmp_path fixture use

leynos
and
claude
committed
ccf1dab
Cap the lockfile property test at max_examples=20

leynos
and
claude
committed
84dfeb1
Document the all-stale lockfile aggregation in the users guide

leynos
and
claude
committed
f090551
Add BDD coverage for aggregated multi-stale-lockfile pre-flight

leynos
and
claude
committed
939659f
Record the all-stale lockfile aggregation decision in the design doc

leynos
and
claude
committed
2deacff
Regenerate typos.toml from the updated en-GB-oxendict authority

leynos
and
claude
committed
8ded02d
Correct stale-lockfile design note and users-guide fence language

leynos
and
claude
committed
8e8802d
Strengthen aggregated stale-lockfile diagnostic assertions

leynos
and
claude
committed
589bd64

Commits on Jul 22, 2026

Extract helpers to cut lockfile property-test complexity

leynos
and
claude
committed
fef5c5f
Fix typos_rollout type error and pin ty across Makefile and CI

leynos
and
claude
committed
1614d41

Commits on Jul 24, 2026

Address review feedback on the ty pin and CI hardening

leynos
and
claude
committed
a221eb8
Simplify ty CI comment and inline the validated-list cast

leynos
and
claude
committed
909a9d1

Commits on Jul 26, 2026

Refresh the Makefile TY_VERSION comment for the single-source pin

leynos
and
claude
committed
4490a52