RP005A — Restrictive Constraints and Viable Futures Protocol v0.1

Formal baseline: for G=(X,E) and E_K⊆E, Reach_EK(x)⊆Reach_E(x).

Simulation question: can targeted restrictions steer horizon-limited decisions away from states with fewer viable future targets?

Regimes: V0 no trap/unnecessary; V1 attractive delayed-cost trap/correct restriction; V2 over-restrictive rule removes useful path.

Planner profiles: greedy, short horizon, sufficient horizon.

Primary measure: constraint-relative viable target coverage; underlying target coverage secondary.

Interpretation lock: benefit is conditional; restrictions do not expand raw structural reachability under the baseline model.