Repository navigation

regen_stage0: verify hand-maintained files against a fresh emit (§5 inert-gate hole #1) - #6311

Merged

briansrls merged 13 commits into

mainfrom

session/loyal-dove-903

Jul 6, 2026

Merged

regen_stage0: verify hand-maintained files against a fresh emit (§5 inert-gate hole #1)#6311
briansrls merged 13 commits into
mainfrom
session/loyal-dove-903

Commits on Jul 6, 2026
- WIP: Fork of realization
  briansrls
  committed
  464220e
- WIP: Fork of realization
  briansrls
  committed
  c0d96fe
- WIP: Fork of realization
  briansrls
  committed
  cba397a
- WIP: Fork of realization
  briansrls
  committed
  32fac2e
- Floor affected-set: non-.dag-only diff is structural-∅, not ignorance (unblock pure-.rs PRs)
  
  briansrls
  and
  claude
  committed
  676984d
- WIP: Fork of realization
  briansrls
  committed
  d2de12d
- Revert roster registration of test_claim_ownership_movable.rs (blocked by broken regen); keep source_root_ingest V2Tree fix
  
  briansrls
  and
  claude
  committed
  790784b
- Red-control test for source_root_ingest manifest cross_tree import
  
  briansrls
  and
  claude
  committed
  c7ab92d
- WIP: regen
  briansrls
  committed
  0b74fe4
- Resolve merge with main #6269 in floor_diff_edits + manifest emitter
  
  briansrls
  and
  claude
  committed
  b22b1ab
- WIP: regen
  briansrls
  committed
  bb1f5b9
- WIP: regen
  briansrls
  committed
  21a5abf
- Revert inert selective-import filter (ancestry bypasses type_env_for_import)
  
  briansrls
  and
  claude
  committed
  86ccf8d