Repository navigation

Add session-fenced collaborative claims - #34

Closed

Deicyde wants to merge 5 commits into

facebookresearch:mainfrom

VivienCabannes:split/13-collaborative-claims

Closed

Add session-fenced collaborative claims#34
Deicyde wants to merge 5 commits into
facebookresearch:mainfrom
VivienCabannes:split/13-collaborative-claims

Commits on Sep 18, 2026
- [autoform] Scale graph and runtime traversal
  Deicyde
  committed
  8fa4284
- [autoform] Restore Graph pickles on Python 3.10
  Deicyde
  committed
  ceca8e8
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 Sep 21, 2026
- [autoform] Add session-fenced collaborative claims
  Deicyde
  committed
  e511514