Repository navigation

Create Lean projects atomically with catalog-backed defaults - #96

Merged

Deicyde merged 19 commits into

mainfrom

project-new-flexible-release

Oct 6, 2026

Merged

Create Lean projects atomically with catalog-backed defaults#96
Deicyde merged 19 commits into
mainfrom
project-new-flexible-release

Commits on Oct 4, 2026
- Create Lean projects atomically
  Deicyde
  committed
  5a77724
- Let project new create projects for any Lean release
  Deicyde
  committed
  55a1089
- Say which Lake manifest versions inspection reads
  Deicyde
  committed
  48cf2cc
- Make project new failures specific and recoverable
  Deicyde
  committed
  f9aa998
- Name the parent problem and interrupted outcome in project new
  Deicyde
  committed
  24c48bd
Commits on Oct 5, 2026
- Merge remote-tracking branch 'upstream/main' into codex/pr96-review-20261005
  Deicyde
  committed
  68bed78
- Merge Autoform rules into existing gitignore safely
  Deicyde
  committed
  1a8a9e0
- Use supported project entrypoints in Setup
  Deicyde
  committed
  09d6359
- Harden project creation inputs and scaffold pins
  Deicyde
  committed
  374a1bf
- Close scaffold provenance and publication races
  Deicyde
  committed
  5bc111e
- Reject every project parent symlink
  Deicyde
  committed
  20b9511
- Merge remote-tracking branch 'upstream/main' into codex/pr96-review-20261005
  Deicyde
  committed
  6b5927b
- Align project creation with current ignore template
  Deicyde
  committed
  484350c
- Keep Windows gitignore fixture byte exact
  Deicyde
  committed
  6e43264
- Merge remote-tracking branch 'upstream/main' into codex/pr96-review-20261005
  Deicyde
  committed
  67e4b29
- Align README contract after execution branch removal
  Deicyde
  committed
  6f2d415
- Merge current main into project creation
  Deicyde
  committed
  29910bc
- Merge source snapshots and atomic claims into project creation
  Deicyde
  committed
  2d2f63e
- Merge current main into project creation
  Deicyde
  committed
  eeb5926

Commits

Commits on Oct 4, 2026

Commits on Oct 5, 2026