[gjermundgaraba]

Summary

• add a portable E2E scenario for a conflicting same-height attested client update
• submit a signed different-timestamp update through ICS26Router
• verify the destination client freezes without changing its trusted height or timestamp
• verify a subsequent IFT remains stably pending, has no receive transaction, and mints nothing
• add the bounded signer transaction helper and update the generated E2E matrix

Why

FOU-1079 requires end-to-end coverage proving that attestor equivocation freezes the destination client and prevents subsequent packet delivery without corrupting trusted state.

Depends on #1332 for the production attestation types and codecs used to construct the conflicting proof.

Validation

• make test-harness
• make test-e2e
• focused TestAttestedClient_MisbehaviourFreeze runs on Anvil and Besu
• go test ./... -run "^$" in e2e

Closes FOU-1079

[linear-code]

FOU-1079

[greptile-apps]

Greptile Summary

The PR adds portable end-to-end coverage for freezing an attested client after a conflicting same-height update.

• Constructs and signs a conflicting state attestation using the production codecs.
• Submits the update through ICS26Router and verifies trusted state remains unchanged after freezing.
• Confirms a subsequent IFT remains pending without a receive transaction or destination mint.
• Adds a bounded signer transaction helper and updates the generated E2E matrix.

Confidence Score: 5/5

The PR appears safe to merge.

No blocking failure remains.

Important Files Changed

Filename	Overview
e2e/attestation_helpers_test.go	Adds helpers for reading consensus timestamps and encoding a signed state-attestation proof with production codecs.
e2e/ift_test.go	Adds the misbehaviour-freeze E2E scenario and assertions covering frozen state, retained trusted state, and blocked packet delivery.
e2e/internal/e2etest/traffic_signers.go	Adds a zero-value transaction helper that delegates signing, submission, receipt waiting, and failure reporting to the EVM harness.
e2e/test-matrix.md	Records the new portable test in the generated fast, complete, and production E2E matrices.

Sequence Diagram

sequenceDiagram
    participant Test as E2E Test
    participant Source as Source Chain
    participant Relayer
    participant Router as Destination ICS26Router
    participant Client as Attested Client

    Test->>Source: Send initial IFT
    Relayer->>Router: Relay valid update and packet
    Router->>Client: Install trusted consensus state
    Client-->>Router: Updated height and timestamp
    Test->>Router: Submit signed same-height conflicting update
    Router->>Client: updateClient(conflicting proof)
    Client-->>Router: Freeze without replacing trusted state
    Test->>Source: Send subsequent IFT
    Relayer->>Router: Attempt relay
    Router->>Client: Verify against frozen client
    Client-->>Router: Delivery blocked
    Test->>Relayer: Verify packet remains pending
    Test->>Test: Verify no receive transaction or mint

Loading

_{Reviews (2): Last reviewed commit: "test(e2e): use simplified proof encoder" | Re-trigger Greptile}