Repository navigation

L0: close the recorded defects, and let a card show what is true now - #2

Merged

ymote merged 3 commits into

mainfrom

l0-invalidation

Aug 2, 2026

Merged

L0: close the recorded defects, and let a card show what is true now#2
ymote merged 3 commits into
mainfrom
l0-invalidation

Commits on Aug 2, 2026
- test(ui_l0): three failing tests for the three recorded defects
  
  ymote
  and
  claude
  committed
  549ab8a
- feat(ui_l0): close the three recorded defects, and one they were hiding
  
  ymote
  and
  claude
  committed
  9cf195c
- feat(ui_l0): a source can be answered by the backend, so a card shows what is true now
  
  ymote
  and
  claude
  committed
  db27733