Repository navigation

Bind Lean source snapshots to filesystem generations - #28

Closed

Deicyde wants to merge 19 commits into

facebookresearch:mainfrom

VivienCabannes:split/10-descriptor-snapshots

Closed

Bind Lean source snapshots to filesystem generations#28
Deicyde wants to merge 19 commits into
facebookresearch:mainfrom
VivienCabannes:split/10-descriptor-snapshots

Commits on Sep 19, 2026
- [autoform] Bind Lean source snapshots to filesystem generations
  Deicyde
  committed
  d834528
Commits on Sep 20, 2026
- [autoform] Bound directory snapshot capture
  Deicyde
  committed
  b9fc9e9
Commits on Oct 2, 2026
- Merge repaired graph traversal into descriptor snapshots
  Deicyde
  committed
  1cef51c
- Merge current main into descriptor snapshots
  Deicyde
  committed
  80a5d7d
- [autoform] Exercise source snapshots on Windows
  Deicyde
  committed
  04f6ca4
- [autoform] Contain Lean source indexing failures
  Deicyde
  committed
  115db21
- [autoform] Close descriptor snapshot review gaps
  Deicyde
  committed
  647320c
- Merge current main into descriptor snapshots
  Deicyde
  committed
  93504a0
- [autoform] Bound generated manifest classification
  Deicyde
  committed
  5e34514
- Merge current main into descriptor snapshots
  Deicyde
  committed
  758ede0
- [autoform] Reconcile Windows snapshot stat views
  Deicyde
  committed
  c54be00
Commits on Oct 3, 2026
- Harden source snapshot generation boundaries
  Deicyde
  committed
  3100c9d
- Fix Windows snapshot locking regressions
  Deicyde
  committed
  25dbf89
- Fail closed on unsupported source traversal
  Deicyde
  committed
  0cfd6bc
- Decouple Windows publication fixtures from source capture
  Deicyde
  committed
  bc4179f
- Revert "Decouple Windows publication fixtures from source capture"
  Deicyde
  committed
  cc95a30
- Revert "Fail closed on unsupported source traversal"
  Deicyde
  committed
  ae5a6c8
- Revert "Fix Windows snapshot locking regressions"
  Deicyde
  committed
  4cdbbae
- Revert "Harden source snapshot generation boundaries"
  Deicyde
  committed
  f7acc1e

Commits

Commits on Sep 19, 2026

Commits on Sep 20, 2026

Commits on Oct 2, 2026

Commits on Oct 3, 2026