pj 3f0132c92a fix(folio-web): bound the reachability properties by steps ...

At one model call per step the model arm takes 359 seconds where the seeded arm
takes 47, so a second-based deadline reported violations that were the arm's
speed rather than the application's behaviour. The three cross-arm reachability
properties now bound by steps, derived at the measured 6.383 steps per second.

The two auth-transition properties keep seconds: a user waits through those
regardless of which policy is driving.

Claude-Session: https://claude.ai/code/session_01A5KmftdEJ49A9z5mF5ESrX

2026-08-14 17:50:37 +05:30

..

folio

fix(folio): enumerate authored targets and values instead of sampling

2026-08-13 21:45:05 +05:30

folio-web

fix(folio-web): bound the reachability properties by steps

2026-08-14 17:50:37 +05:30