Repository navigation

Add bounded Lean project inspection - #14

Merged

Deicyde merged 13 commits into

facebookresearch:mainfrom

VivienCabannes:split/05-project-inspection

Oct 3, 2026

Commits on Sep 18, 2026
- Add bounded project inspection
  Deicyde
  committed
  8bbe9d8
Commits on Oct 2, 2026
- Merge remote-tracking branch 'origin/main' into root-pr14
  Deicyde
  committed
  bdfc452
- Fix project inspection review blockers
  Deicyde
  committed
  3a259da
- Keep Lake precedence inside the project snapshot
  Deicyde
  committed
  32e76b7
- Make the resolved Lake manifest authoritative
  Deicyde
  committed
  d8712a6
- Handle legacy manifests conservatively
  Deicyde
  committed
  0b5c10a
- Honor Lake manifests and package overrides
  Deicyde
  committed
  36938f8
- Align inspection with Lake manifest semantics
  Deicyde
  committed
  d940363
- Apply Lake duplicate precedence before policy
  Deicyde
  committed
  f2fcfba
- Make project identities canonical and collision-safe
  Deicyde
  committed
  7a175f8
Commits on Oct 3, 2026
- Cut project inspection down to the toolchain and manifest lock
  Deicyde
  committed
  f7bfd97
- Restore inspection behaviours the cut dropped
  Deicyde
  committed
  44fd1f2
- Describe the restored indeterminate cases in the README
  Deicyde
  committed
  06b31ac