Rano | Ranadeep

hey @shonfeder, I would love to have your feedback on this. This container solution works alright, except for a few hiccups which, once you know, are easy to fix. but...

Here is my idea of project structure ``` +- .atomkraft/ +- models/ +- traces/ +- reactors/ +- tests | +- test_authz.py | +- test_gov.py +- reports/ +- testnet | +-...

Yes, I expected this. The `@step()` decorated methods are fixtures that are supposed to go to a file called [`conftest.py`](https://docs.pytest.org/en/6.2.x/fixture.html#conftest-py-sharing-fixtures-across-multiple-files). With our current project structure, I probably have to modify...

Hmm. This is strange. Can you please tell me the output of `atomkraft model apalache get` with the jar file present? Also, does this persist if you delete the jar...

Maybe this will help https://app.quicktype.io But this requires at least one json trace.

is this resolved? I see that my example still produces wrong output on latest `main`.

Maybe we can add another generic associated type to `ValidationContext`: https://github.com/cosmos/ibc-rs/blob/2378cd4ba45094b8ed856ff7dba5f1d0882f59ae/ibc-core/ics24-host/src/context.rs#L28-L31 ```rs type HostClientStateAtCounterparty: Into + TryFrom where V: TryFrom; ``` And, later, we use it as:: ```rs Ctx::HostClientStateAtCounterparty::try_from( msg.client_state_of_a_on_b.clone()...

Looks like, the similar is required for host consensus state. In the following, we need to wrap the consensus state in wasm consensus state and then check for proofs. https://github.com/cosmos/ibc-rs/blob/2378cd4ba45094b8ed856ff7dba5f1d0882f59ae/ibc-core/ics03-connection/src/handler/conn_open_ack.rs#L119-L120...

Hey @seanchen1991, the error is here https://github.com/cosmos/ibc-rs/actions/runs/9069593171/job/24919695749#step:5:17 I think it was on the deleted tag - so you don't see it anymore on the commit history. The error is from...

crate-ci/cargo-release#792 is now merged. We can update our release process with `rate-limit` configuration. We can add the following lines in our `Cargo.toml`. ```toml [workspace.metadata.release] rate-limit = { existing-packages = 40...