Peter Dragos

Thank you both for your prompt responses. ------------ > The specs contain a lot of plain English prose describing everything, but please let us know if you think something is...

I think we're getting on the same page here! ----- > So you would like to know which parts of the transaction context are in the ledger state vs those...

Thanks, Jared -- this is a very good start to what we're looking for. A few comments follow below. I'm making some assumptions, so please flag if anything seems out...

Thanks again Jared! I'll try to keep this response shorter to not take up too much more of your time. ---- Can you re-confirm this statement for me? > The...

Opened the issue, thanks for confirming. But yes, in terms of the helper validation function, the _dream_ would be having a suite of such functions that can cover all of...

[Related discussion](https://github.com/input-output-hk/plutus/issues/4476).

Thanks for your response @michaelpj; I'm very appreciative that you've obviously taken the time to read through the extended discussion between Jared and I. I think that your first three...

I'll check these out as well! Perhaps separating my efforts across the two projects would be better

I am encountering this issue again; unless I'm mistaken, #3618 is targeting a different use case. The error message ```This must be replaced by the core-to-plc plugin during compilation: error...

- `traceError` is defined in `PlutusTx.Trace` and calls `error` from `PlutusTx.Builtins` - `PlutusTx.Builtins` defines `error` as `error x = BI.error (toBuiltin x)` (where `BI` is `PlutusTx.Builtins.Internal`) - `PlutusTx.Builtins.Internal` defines error...