A reach through Port.member() follows that member's binding (or its default), and Registry[i].field - or a local holding Registry[i] - follows that field in each entry, so a question asked of a port or a table that also holds verbs no longer reaches the verbs. In Maroon Lake that took the valley's 'what is this Thing called' from 47 states it could change to 1. examples/state/write_reach.ludic. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
474 B
474 B
bump: minor
type: feat
ludic deps says what a function can come to CHANGE (widest_write_reach, and --wreach N
lists the functions by it): the states it reaches as mut, through calls, fn values and step
lists. Reach itself is sharper: Port.member() reaches that member's binding only, and
Registry[i].field (or a local holding Registry[i]) reaches that field only - a question asked of
a port or a table that also holds verbs no longer reaches the verbs.