Hello Gonçalo and Wellen,
What an interesting study! You could use either approach, and they will (if set up correctly) return the same estimates. Below I didn't deal with the 'morph' issue, but it seems easy to work in.
The multistate approach allows for transitioning between 3 states (alive with 8 legs, alive with less than 8 legs, and dead) using a categorical distribution. The CJS approach has two 'layers' of Bernoulli's. It may take a bit of tinkering to figure out how to set up the code. I think something like a capture history of 1's and 0's, and a separate 'capture history' of 1's if the individual had all of it's legs, 0's if it didn't, and NAs if not observed
If we call that separate capture history 'l', then
legs[i,t] ~ Bernoulli(l[i,t-1] * gamma)
where gamma is the probability of staying an eight-legged daddy long-legs, once the long-legs becomes a seven or less legged spider, then it cannot transition back as l[i,t] = 0 and the probability of the Bernoulli will always be zero moving forward.
we can then model the survivals as
z[i,t] ~ Bernoulli(z[i,t-1] * phi[legs[i,t-1] + 1])
which will give us phi[1] if legs[i,t-1] = 0, and phi[2] if legs[i,t-1] = 1
I can send you some code if you would like early this week, apologies, not in the office at the moment. You will need to provide good initial values and/or the known states (legs or no legs, alive or not alive) as data. But the key take-home is that the probabilities of the dual Bernoulli approach are the same as the probabilities of a multistate model with three states. Sometimes I find the Bernoullis easier to code (and faster), and sometimes they are not. Anyway, just my two cents that it seems you are deciding between two different roads that will take you to the same place, and both will work well.
Best wishes,
Thomas