Repository navigation

Representation-min Lever B(i): minimal per-kind Node sum type in std/ (model sketch FIRST; arena/u32 container is (ii), separate; lands in v2/.dag not the Rust seed; escalate on load-bearing Node/build_type_env) - #5936

Merged

briansrls merged 21 commits into

mainfrom

session/deep-seal-583

Jun 29, 2026

Merged

Representation-min Lever B(i): minimal per-kind Node sum type in std/ (model sketch FIRST; arena/u32 container is (ii), separate; lands in v2/.dag not the Rust seed; escalate on load-bearing Node/build_type_env)#5936
briansrls merged 21 commits into
mainfrom
session/deep-seal-583

Commits on Jun 29, 2026
- WIP: Representation-min Lever B(i): minimal per-kind Node sum type in std/ (m
  Brian Searls
  committed
  f76bf7d
- WIP: Representation-min Lever B(i): minimal per-kind Node sum type in std/ (m
  Brian Searls
  committed
  7573b0b
- WIP: Representation-min Lever B(i): minimal per-kind Node sum type in std/ (m
  Brian Searls
  committed
  83f843f
- Fix node_minimal witness tests: parse-safe dag and green execution.
  
  Brian Searls
  and
  cursoragent
  committed
  e9ee038
- docs: add Lever B(i) per-kind Node sum type design sketch
  
  Brian Searls
  and
  cursoragent
  committed
  0b45374
- Fix CI: cargo fmt for node_minimal test runner.
  
  Brian Searls
  and
  cursoragent
  committed
  abbd044
- WIP: Representation-min Lever B(i): minimal per-kind Node sum type in std/ (m
  Brian Searls
  committed
  c4c1844
- Complete Lever B(i) superset field partition with coverage witness.
  
  Brian Searls
  and
  cursoragent
  committed
  a75eb00
- Fix CI: parse-safe orphan-field witness (nested if, not multiline &&).
  
  Brian Searls
  and
  cursoragent
  committed
  04b9d8e
- Add executable three-bucket superset partition witness for Lever B(i).
  
  Brian Searls
  and
  cursoragent
  committed
  36568ea
- Merge remote-tracking branch 'origin/main' into session/deep-seal-583
  Brian Searls
  committed
  7c720ed
- Fix CI: doc-graph inbound link and non-fold residue roster for Lever B(i).
  
  Brian Searls
  and
  cursoragent
  committed
  0bf8edd
- WIP: Representation-min Lever B(i): minimal per-kind Node sum type in std/ (m
  Brian Searls
  committed
  ebdf95b
- Address review nits: derive superset field count, use unary negation.
  
  Brian Searls
  and
  cursoragent
  committed
  159d95d
- Add roster-length guard per stern-moth-225 emit-integration follow-on.
  
  Brian Searls
  and
  cursoragent
  committed
  4875fb9
- Cosmetic: return Bool witnesses directly, not if/else true/false.
  
  Brian Searls
  and
  cursoragent
  committed
  7c15b04
- CI: retrigger floor after 36568ea failure fixes landed on branch.
  
  Brian Searls
  and
  cursoragent
  committed
  367349f
- WIP: Representation-min Lever B(i): minimal per-kind Node sum type in std/ (m
  Brian Searls
  committed
  b780611
- Resolve representation_minimization merge conflict: keep both sketch links.
  
  Brian Searls
  and
  cursoragent
  committed
  9880f87
- Merge remote-tracking branch 'origin/main' into session/deep-seal-583
  Brian Searls
  committed
  4d1ca7f
- Merge remote-tracking branch 'origin/main' into session/deep-seal-583
  Brian Searls
  committed
  2553813

Commits

Commits on Jun 29, 2026