Repository navigation

The reader gates refuse what they cannot follow, and assert per site - #55

Merged

antoinetoussaint-byte merged 4 commits into

mainfrom

refs-53-gates-refuse-what-they-cannot-follow

Oct 27, 2026

Merged

The reader gates refuse what they cannot follow, and assert per site#55
antoinetoussaint-byte merged 4 commits into
mainfrom
refs-53-gates-refuse-what-they-cannot-follow

Commits on Oct 7, 2026
- fix: a reader escaping an unmodelled flow is a finding, and the fixpoint refuses exhaustion
  
  authored and
  antoinetoussaint-byte
  committed
  fb278a8
- test: ask the fixpoint's refusal directly, and record the no-skip rule
  
  antoinetoussaint-byte
  and
  claude
  committed
  8232023
Commits on Oct 27, 2026
- Merge remote-tracking branch 'origin/main' into refs-53-gates-refuse-what-they-cannot-follow
  
  antoinetoussaint-byte
  and
  claude
  committed
  3636bd3
- test: the whole-environment shape is held by ExportedLateHost now that discoverHostModule is deleted
  
  antoinetoussaint-byte
  and
  claude
  committed
  105fcb2