REST‑path

What this is? A self‑contained harness of the REST‑path example. It starts from the fact <x> ex:rel1 <y>, creates three lanes, promotes them across rel2…rel10 in nine steps while emitting an HTTP GET per step on lane‑1, and finally asserts <x> ex:relGoal <y>. ARC cards below summarize the result, proof, and checks.