There are several notions of weak homotopy equivalence for topological spaces. The standard one can be formulated as follows: a map of spaces $X\to Y$ is a homotopy equivalence if the map of simplicial sets $C_\Delta(X) \to C_\Delta(Y)$ of simplices is a weak homotopy equivalence of simplicial sets. I'm interested in a similar notion for general sites, except in a profinite sense to account for the fact that they might not be locally contractible.

For example, I want the map $X\times \mathbb{A}^1 \to X$ to induce an equivalence in this sense on etale sites, and for this to imply equivalence of etale cohomology and other etale invariants.

Here are some approximations:

1. A map of sites is a weak homotopy equivalence if the $\infty$-categorical pushforward of the constant sheaf on $X$ of sets _in a condensed sense_ (in the sense of Scholze, or Pyknotic in the sense of Barwick and Haine, etc.) is equivalent to the constant sheaf on $Y$.
2. A map of sites is a weak homotopy equivalence if every hollow simplex of a relative bar (simplicial) complex of $X/Y$ associated to a covering can be filled in, possibly after passing to a finer covering (exact meaning left open to interpretation).

The first definition should be a genuine notion of equivalence and the second one should not give a notion of equivalence but rather generate one (it looks like a trivial fibration in a model category).

Is there a standard notion that works here?