I just saw a proof showing that $Sing^{A^1}X$ is $A^1$ invariant where they use an algebraic topological analogue of ``simplcial decomposition'' defined as follow:[![enter image description here][1]][1]

The argument works by showing that there is a chain homotopy between the map $\partial_0^*$ and $\partial_1^*$ induced by the $0$ and $1$-section:
[![enter image description here][2]][2]


  [1]: https://i.sstatic.net/ybDSC.png
  [2]: https://i.sstatic.net/Jt2Yf.png
I wonder if this proof work for the case $I$ is a general interval object for a site.  I don't know how to define such a "vertex" for a general cosimplicial object.  What is the proof for $Sing^IX$ is $I$-invariant for an interval object?