Repository navigation

fix(accuracy): close refinement semantics - #60

Open

jonaprieto wants to merge 8 commits into

mainfrom

chore/release-v4.0.10-pr

Open

fix(accuracy): close refinement semantics#60
jonaprieto wants to merge 8 commits into
mainfrom
chore/release-v4.0.10-pr

Commits on Aug 14, 2026
- fix(typing): close refinement scope gaps
  jonaprieto
  committed
  48ea9d5
- fix(trust): harden evidence validation
  jonaprieto
  committed
  7363549
- fix(accuracy): harden Event-B acceptance
  jonaprieto
  committed
  19b25f1
- fix(accuracy): harden refinement trust
  jonaprieto
  committed
  55ad249
- fix(trust): bind Rodin artifacts
  jonaprieto
  committed
  d4edf1d
- fix(accuracy): harden refinement trust
  jonaprieto
  committed
  8c521dc
Commits on Aug 15, 2026
- fix(accuracy): close refinement semantics
  jonaprieto
  committed
  dc5dfc7
- chore(release): close v4.0.10 gate
  jonaprieto
  committed
  1953efd