Repository navigation

test(net): Apalache reads the route model but cannot step it - #8564

Closed

kixelated wants to merge 7 commits into

mainfrom

quest/m1/route-inductive

Closed

test(net): Apalache reads the route model but cannot step it#8564
kixelated wants to merge 7 commits into
mainfrom
quest/m1/route-inductive

Commits on Nov 12, 2026
- chore(quest): claim quest/m1/route-inductive.md
  kixelated
  committed
  83f542f
- test(net): Apalache reads the route model but cannot step it
  
  kixelated
  and
  claude
  committed
  c5b34ac
- wip(net): a claims model with no paths, refined by the route model
  kixelated
  committed
  a4306e6
- wip(net): floors carry the publisher's claims at their revision
  kixelated
  committed
  fd339d2
Commits on Nov 13, 2026
- quest: split the route proof into claims and loops
  
  kixelated
  and
  claude
  committed
  92610f1
- test(net): prove the route claim rules for runs of any length
  
  kixelated
  and
  claude
  committed
  b9920a6
- Merge origin/main into quest/m1/route-inductive
  
  kixelated
  and
  claude
  committed
  86bdb57