Repository navigation

Add P104 owned-lineage factorization and scoped review of PR6170's owned-layer floor - #6267

Merged

Mister-Meeseeks merged 3 commits into

CrocSwap:mainfrom

Matarener:claude/project-thread-1p4vq1

Oct 31, 2026

Merged

Add P104 owned-lineage factorization and scoped review of PR6170's owned-layer floor#6267
Mister-Meeseeks merged 3 commits into
CrocSwap:mainfrom
Matarener:claude/project-thread-1p4vq1

Commits on Oct 30, 2026
- Add P104 owned-lineage factorization and scoped review of PR6170's owned-layer floor
  claude
  committed
  5f9fb0a
- P104 owned-lineage review: direct reads of X are covered by P3a
  
  Matarener
  and
  claude
  committed
  b235f3b
- P104 owned-lineage review: Lean formalisation of Lemma 1
  
  Matarener
  and
  claude
  committed
  57aeceb