Repository navigation

C2: derive stage0 partition membership from module graph - #7936

Closed

gunbai-bot[bot] wants to merge 18 commits into

mainfrom

session/quiet-lark-120-c2-partition-closure

Closed

C2: derive stage0 partition membership from module graph#7936
gunbai-bot[bot] wants to merge 18 commits into
mainfrom
session/quiet-lark-120-c2-partition-closure

Commits on Aug 6, 2026
- C2: derive stage0 partition membership order-independently from module graph.
  
  Brian Searls
  and
  cursoragent
  committed
  426b16c
- Fix partition collision diagnostics and revert premature roster ByDerivation.
  
  Brian Searls
  and
  cursoragent
  committed
  6725ca2
- Fix vacuous membership receipt and unify reexport package authority.
  
  Brian Searls
  and
  cursoragent
  committed
  3fe692a
- Replace tautological RED control with absent-module discriminator.
  
  Brian Searls
  and
  cursoragent
  committed
  9315111
- Document baseline update rules and pin frozen commit provenance.
  
  Brian Searls
  and
  cursoragent
  committed
  db8fc01
- Close C2 operator blockers: outcome-shaped partition API and planted fixtures.
  
  Brian Searls
  and
  cursoragent
  committed
  5b74a81
- Delete partition refusal collapse arms; route receipt/R4 through outcomes.
  
  Brian Searls
  and
  cursoragent
  committed
  05d80ae
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbc-ci-auto-heal
  committed
  0826950
Commits on Aug 7, 2026
- Close C2 operator pass: outcome-shaped outer boundaries and six blockers.
  
  Brian Searls
  and
  cursoragent
  committed
  13d421e
- Close C2 issue 7: typed refusals for missing partition map populations.
  
  Brian Searls
  and
  cursoragent
  committed
  6251935
- Fix CI: drop invalid sort_by import from v2.std.algebra.
  
  Brian Searls
  and
  cursoragent
  committed
  188df85
- Merge 188df852649fd692be81bb2c47d2d831a5d6a270 into d0722a417594d8ccd51adcfda7193ca14474cd8d
  gunbai-bot[bot]
  authored
  c736656
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbc-ci-auto-heal
  committed
  1e7a763
- Regen stage0_std_core lib.rs after canonical partition module ordering.
  
  Brian Searls
  and
  cursoragent
  committed
  91b48b4
- Merge remote heal + main integration into C2 branch
  Brian Searls
  committed
  f399ca1
- Sync gunbc_stage0_crate_partition_generated.rs with regen output.
  
  Brian Searls
  and
  cursoragent
  committed
  1a8ad38
- Regen stage0_std_core lib.rs to match canonical partition module order.
  
  Brian Searls
  and
  cursoragent
  committed
  bab5a8c
- Merge origin/main into C2 partition branch; resolve rust_crate_partition conflict.
  
  Brian Searls
  and
  cursoragent
  committed
  7671476

Commits

Commits on Aug 6, 2026

Commits on Aug 7, 2026