Repository navigation

rung_drop infer facts first-wins: route back is site keying - #12884

Merged

briansrls merged 4 commits into

mainfrom

eager-newt-412/facts-drop-population

Oct 2, 2026

Merged

rung_drop infer facts first-wins: route back is site keying#12884
briansrls merged 4 commits into
mainfrom
eager-newt-412/facts-drop-population

Commits on Oct 1, 2026
- rung_drop infer_facts first-wins: route back is site keying (B); population adds the childless-Conj codomain claims
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  8935153
- docs: regenerate design-rung-drops projection
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  309b836
- rung_drop infer facts: drop product_introduction (calm-hawk-793: roster-membership cause, not the key); codomain row stated as attributed, not confirmed
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  aad80d4
- rung_drop infer facts: drop the codomain row too (calm-hawk-793: its tree has one childless Conj, roster cause); trigger names the kc two-site specimen
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  3dab52f