Repository navigation

check_boundary_types: the declared boundary was never compared to the design (#21) - #22

Merged

borisdev merged 3 commits into

mainfrom

Oct 7, 2026

Commits on Oct 6, 2026
- README: draw the specification diagram, not only the two-strategy diff
  Boris Dev
  committed
  9a1d332
- check_boundary_types: the declared boundary was never compared to the design (#21)
  Boris Dev
  committed
  e03353e
- Copilot on #22: both findings real, and one was a RAISE
  Boris Dev
  committed
  7a0d18b