Inspect layer and branch journeys with directed edges, bounded depth, cancellation, and loop tracing.