Repository navigation

v2-translate-underived-refusal: Translate refuses underived facts instead of swallowing the typed rejection (containment P0, guarantee lane) - #7555

Merged

briansrls merged 8 commits into

mainfrom

session/merry-cat-407

Aug 2, 2026

Merged

v2-translate-underived-refusal: Translate refuses underived facts instead of swallowing the typed rejection (containment P0, guarantee lane)#7555
briansrls merged 8 commits into
mainfrom
session/merry-cat-407

Commits on Aug 2, 2026
- v2-translate-underived-refusal: refuse recorded GroundingNotDerived in translate.
  
  Brian Searls
  and
  cursoragent
  committed
  9785326
- Fix wet emit-vs-eval carrier: composed facts, not empty shape frontier.
  
  Brian Searls
  and
  cursoragent
  committed
  0047bde
- WIP: v2-translate-underived-refusal: Translate refuses underived facts instea
  Brian Searls
  committed
  d8a93b7
- Narrow translate emit frontier; refuse poison under bodyless roots (review 47202).
  
  Brian Searls
  and
  cursoragent
  committed
  2760741
- Remove translate GND swallow; stage emit facts in infer (review 47219).
  
  Brian Searls
  and
  cursoragent
  committed
  14d8742
- WIP: v2-translate-underived-refusal: Translate refuses underived facts instea
  Brian Searls
  committed
  989806f
- Replace infer emit staging with shape-frontier carrier (review 47234).
  
  Brian Searls
  and
  cursoragent
  committed
  ae94ca3
- Pass canonical infer facts through cross_language_compile (review 47246).
  
  Brian Searls
  and
  cursoragent
  committed
  ee23286