Cartan–Eilenberg comparisons preserve both filtrations

Call a short exact sequence $0\to X\to Y\to Z\to 0$ of horizontal complexes admissible if the induced sequences on boundaries, cycles and cohomology are also short exact. For such a monomorphism $X\to Y$, the maps $X^p\to Y^p$ and $X^p\mathrm{/}{B}^{p}X\to Y^p\mathrm{/}{B}^{p}Y$ are monic. For the latter assertion, apply the snake lemma to the diagram of short exact boundary inclusions $0\to B^{p}X\to X^p\to X^p\mathrm{/}{B}^{p}X\to 0$ and $0\to B^{p}Y\to Y^p\to Y^p\mathrm{/}{B}^{p}Y\to 0$. Its kernel sequence embeds the kernel of the right quotient map into the kernel of the induced arrow $B^{p}Z\to Z^p$: admissibility identifies the cokernel of $B^{p}X\to B^{p}Y$ with $B^{p}Z$, while term exactness identifies the cokernel of $X^p\to Y^p$ with $Z^p$. The arrow $B^{p}Z\to Z^p$ is the boundary inclusion and is monic. Thus the right quotient map has zero kernel and is monic.

Regard $0\to K\to I^{\bullet ,0}\to I^{\bullet ,1}\to \cdots$ as a resolution in horizontal complexes. Its successive image complexes $C_I^q$ fit into admissible sequences $0\to C_I^q\to I^{\bullet ,q}\to C_I^{q+1}\to 0$, with $C_I^0=K$. To check this assertion, use vertical exactness separately on terms, boundaries, cycles and cohomology in F1, or the explicit exactness assumption for the more general source. No source injectivity or splitting is used in this step. In the diagrams for $0\to B\to Z\to H\to 0$ and $0\to Z\to I\to B[1]\to 0$, the snake lemma identifies the induced cokernels with the next cycle, boundary and cohomology objects. This proves the same assertions for every successive image by induction. The analogous statement holds for $J$.

Fix a horizontal row $J^{\bullet ,q}$. Its split sequences decompose it as the locally finite sum of stalk complexes $H^{p,q}$ in degree $p$ and two-term disk complexes $B^{p+1,q}\stackrel{1}{\to }{B}^{p+1,q}$ in degrees $p,p+1$. At each degree there are only three summands. A cochain map $X\to S^p(E)$ is the same as a map $X^p\mathrm{/}{B}^{p}X\to E$. A cochain map $X\to D^p(E)$, with $D^p(E)$ in degrees $p,p+1$, is the same as a map $X^{p+1}\to E$: the degree-$p$ component is that map composed with $d_X^p$. Because each $E$ is injective, these maps extend across the monomorphisms in step 1.1. Assemble the extensions into a map $Y\to J^{\bullet ,q}$. Countably many splittings and extensions are sufficient; take them as supplied or apply DC to finite partial selections in the fixed Hom sets. Thus every row $J^{\bullet ,q}$ has the extension property for admissible monomorphisms.

Extend $K\stackrel{f}{\to }L\to J^{\bullet ,0}$ across $K\to I^{\bullet ,0}$ by step 2.1. After this extension, $v_J{a}^0$ kills $K$, so it descends to $C_I^1$ and extends across $C_I^1\to I^{\bullet ,1}$ into $J^{\bullet ,1}$. Continue: at stage $q$, $v_J{a}^{q-1}$ kills the preceding image because $v_J^2=0$, hence descends and extends. Each extension is a horizontal cochain map. These choices yield $a^q$, with $v_J{a}^{q-1}=a^q{v}_I$, and therefore a bicomplex map over $f$. DC applies to finite partial maps in the set of these Hom groups; supplied extensions give the same recursion without choice.

For two lifts, put $s^0=0$. At vertical degree zero $a^0-a^{\mathrm{\prime }0}$ kills $K$, so it factors through $C_I^1$ and extends to $s^1:I^{\bullet ,1}\to J^{\bullet ,0}$. Inductively, $a^q-a^{\mathrm{\prime }q}-v_J{s}^q$ kills $\mathrm{im}{v}_I^{q-1}$: substitution of the preceding homotopy equation and $v_J^2=0$ verifies this equality. It therefore descends to $C_I^{q+1}$ and extends to $s^{q+1}$ by step 2.1. Thus $a-a^{\mathrm{\prime }}=v_{J}s+s{v}_I$, with every $s^q$ a horizontal cochain map. The same countable-choice accounting applies.

After an additive functor the equation of step 4.1 remains a vertical homotopy, so the induced maps on vertical cohomology coincide. These are the vertical-first $E_1$ maps. On horizontal cohomology, the same equation gives a homotopy for the induced vertical differential, so its cohomology maps coincide on horizontal-first $E_2$. All subsequent maps agree by natural page transitions. The signed total homotopy is $(-1{)}^{p}s$ on bidegree $(p,q)$: the horizontal mixed terms cancel since $s$ commutes with $h$, and the vertical terms are $vs+sv$. It preserves the horizontal-degree filtration and lowers the resolution-degree filtration by one, consistently with the respective starting pages. Applying the result to lifts of identities and composites proves the stated canonicity. Zero rows, zero maps and bottom resolution degree $q=0$ are included by $s^0=0$.