so you found a secret rule to define the differential, ok, good for you!

how to prove that it works? they are guesses, though very solid ones.

1. you need to define a functor;

2. you need to prove an excision lemma, things are only dependent on the boundary, which reduces this question to the many stop case.

ok, why it is about $gl(1|1)$? Vera told me, we have $E,F, H, C$.