Repository navigation

Pin what frenet promises on any road with property tests - #47

Merged

edufford merged 11 commits into

mainfrom

frenet-property-tests

Sep 3, 2026

Merged

Pin what frenet promises on any road with property tests#47
edufford merged 11 commits into
mainfrom
frenet-property-tests

Commits on Sep 3, 2026
- Pin what frenet promises on any road with property tests
  
  edufford
  and
  claude
  committed
  9a047de
- Expose how many segments a path has
  
  edufford
  and
  claude
  committed
  f5e966e
- Let a generated road turn back on itself
  
  edufford
  and
  claude
  committed
  fb58876
- Name the room a lane has beside a segment
  
  edufford
  and
  claude
  committed
  4bc6a95
- Say where the offset steps past the end of a road
  
  edufford
  and
  claude
  committed
  ffb4658
- Say why a closed road can read its own total
  
  edufford
  and
  claude
  committed
  2709809
- Name the file a failing seed is written to
  
  edufford
  and
  claude
  committed
  735aae1
- Keep regression seeds honest and the lockfile current
  
  edufford
  and
  claude
  committed
  e20c41c
- Record what the property tests settled about frenet
  
  edufford
  and
  claude
  committed
  4d7a071
- Check the lockfile as soon as the cache is restored
  
  edufford
  and
  claude
  committed
  4033341
- Say what proptest is for without naming a test
  
  edufford
  and
  claude
  committed
  5c4395c