Cardano Updates

* Consolidate filecoin decision at upload time

Signed-off-by: Matthieu Pizenberg <[email protected]>

* Remove a dead branch in view function

Signed-off-by: Matthieu Pizenberg <[email protected]>

---------

Signed-off-by: Matthieu Pizenberg <[email protected]>

Signed-off-by: Matthieu Pizenberg <[email protected]>

  mustNotChangeVersion (H13) fires before mustBeValidSnapshot (H28) in checkClose
  because && evaluates left-to-right; setting closedVersion != openVersion always
  triggers H13 first.

Signed-off-by: Sasha Bogicevic <[email protected]>

Signed-off-by: Matthieu Pizenberg <[email protected]>

Signed-off-by: Eric Torreborre <[email protected]>

Signed-off-by: Eric Torreborre <[email protected]>

Signed-off-by: Eric Torreborre <[email protected]>

Signed-off-by: Sasha Bogicevic <[email protected]>

  Three coverage gaps in the contract test suite are filled:

  - CloseAny: new test module exercising the NoThing → CloseAny redeemer
    path, including the unique on-chain snapshotNumber > 0 check (21
    mutations; signature/number failures all map to FailedCloseAny because
    that path wraps both checks in a single traceIfFalse).

  - CloseInitial: expanded from 2 to 15 mutations, adding the three
    CloseInitial-specific checks (snapshotNumber == 0, version == 0,
    accumulatorCommitment == G1 generator → FailedCloseInitial) plus the
    ten shared close checks (parties, headId, contestation period, validity
    bounds, minting, contesters, value, required signer).

  - ContestInc: new test module contesting with a commit-type snapshot
    (utxoToCommit = Just depositedUTxO), exercising the ToCommit
    accumulator commitment path that ContestDec (decommit path) left
    uncovered.

Signed-off-by: Sasha Bogicevic <[email protected]>