Repository navigation

product_introduction census: an identity join over named Conjs, not a count (red since #12766) - #12932

Merged

briansrls merged 11 commits into

mainfrom

session/calm-hawk-793-census

Oct 2, 2026

Commits on Oct 1, 2026
- product_introduction census: an identity join over named Conjs, not a count (red since #12766, bisected)
  
  Brian Searls
  and
  claude
  committed
  55cf05d
- Merge remote-tracking branch 'origin/main' into session/calm-hawk-793-census
  Brian Searls
  committed
  3d14234
- #12860 amendment: product_introduction_derives_fully_evidenced_products_holds leaves
  
  Brian Searls
  and
  claude
  committed
  41cabd6
- Regenerate docs/design-rung-drops.md
  
  Brian Searls
  and
  claude
  committed
  318f451
- Merge remote-tracking branch 'origin/main' into session/calm-hawk-793-census
  Brian Searls
  committed
  f41830e
- Regenerate docs/design-rung-drops.md after merging main
  
  Brian Searls
  and
  claude
  committed
  9cddd17
- Merge remote-tracking branch 'origin/main' into session/calm-hawk-793-census
  Brian Searls
  committed
  14b3493
- Regenerate docs/design-rung-drops.md after merging main
  
  Brian Searls
  and
  claude
  committed
  cb01578
Commits on Oct 2, 2026
- product_introduction census: name the two <binder-type> products #12923 added
  
  Brian Searls
  and
  claude
  committed
  68f10c2
- Merge remote-tracking branch 'origin/main' into session/calm-hawk-793-census
  Brian Searls
  committed
  86cdd64
- Regenerate docs/design-rung-drops.md after merging main
  
  Brian Searls
  and
  claude
  committed
  958b339