diff --git a/submissions/two_party_escrow/Plinth_1.65.0.0_Unisay_asdata/metadata.json b/submissions/two_party_escrow/Plinth_1.65.0.0_Unisay_asdata/metadata.json index 385d5a0f..b0166ca1 100644 --- a/submissions/two_party_escrow/Plinth_1.65.0.0_Unisay_asdata/metadata.json +++ b/submissions/two_party_escrow/Plinth_1.65.0.0_Unisay_asdata/metadata.json @@ -16,10 +16,10 @@ } ], "submission": { - "date": "2026-07-06T17:43:54Z", + "date": "2026-07-10T09:10:38Z", "source_available": true, "source_repository": "https://github.com/Unisay/plinth-cape-submissions", - "source_commit_hash": "4b3215042c1ccd481b5f62ad192d23b0e1f96758", - "implementation_notes": "Two-party escrow validator compiled with Plinth 1.65.0.0 (production line; no BuiltinCasing). Source: lib/TwoPartyEscrow/AsData.hs in plinth-cape-submissions @ 4b3215042c1ccd481b5f62ad192d23b0e1f96758." + "source_commit_hash": "c663b170bb2148a20072d8400b8679c03c11de4c", + "implementation_notes": "Two-party escrow validator compiled with Plinth 1.65.0.0 (production line; no BuiltinCasing). Source: lib/TwoPartyEscrow/AsData.hs in plinth-cape-submissions @ c663b170bb2148a20072d8400b8679c03c11de4c. The by-name decoder layout is now derived from the type; the datum type was renamed to bare Datum, which changes only pretty-printed instance-binder names in the UPLC (serialized program, metrics, and evaluation outcomes are unchanged)." } } diff --git a/submissions/two_party_escrow/Plinth_1.65.0.0_Unisay_asdata/source/README.md b/submissions/two_party_escrow/Plinth_1.65.0.0_Unisay_asdata/source/README.md index ac02bfa7..e60180d2 100644 --- a/submissions/two_party_escrow/Plinth_1.65.0.0_Unisay_asdata/source/README.md +++ b/submissions/two_party_escrow/Plinth_1.65.0.0_Unisay_asdata/source/README.md @@ -4,7 +4,7 @@ **Branch**: `main` -**Commit**: `4b3215042c1ccd481b5f62ad192d23b0e1f96758` +**Commit**: `c663b170bb2148a20072d8400b8679c03c11de4c` **Path**: `lib/TwoPartyEscrow/AsData.hs` @@ -17,7 +17,7 @@ Production line with Plinth 1.65.0.0 (no BuiltinCasing). Plugin pragmas live in ```bash git clone https://github.com/Unisay/plinth-cape-submissions cd plinth-cape-submissions -git checkout 4b3215042c1ccd481b5f62ad192d23b0e1f96758 +git checkout c663b170bb2148a20072d8400b8679c03c11de4c ``` `CAPE_REPO` must point at the sibling UPLC-CAPE checkout; the build aborts if the variable is unset. The recommended place is `.envrc.local` (gitignored), e.g.: diff --git a/submissions/two_party_escrow/Plinth_1.65.0.0_Unisay_asdata/two_party_escrow.uplc b/submissions/two_party_escrow/Plinth_1.65.0.0_Unisay_asdata/two_party_escrow.uplc index d054dcd3..c80005c0 100644 --- a/submissions/two_party_escrow/Plinth_1.65.0.0_Unisay_asdata/two_party_escrow.uplc +++ b/submissions/two_party_escrow/Plinth_1.65.0.0_Unisay_asdata/two_party_escrow.uplc @@ -98,7 +98,7 @@ txInfoValidRange-30 [ (lam - `$fUnsafeFromDataEscrowDatum_$cunsafeFromBuiltinData`-31 + `$fUnsafeFromDataDatum_$cunsafeFromBuiltinData`-31 [ (lam scriptContextTxInfo-32 @@ -316,7 +316,7 @@ nt-40 (case [ - `$fUnsafeFromDataEscrowDatum_$cunsafeFromBuiltinData`-31 + `$fUnsafeFromDataDatum_$cunsafeFromBuiltinData`-31 [ forced-5 [ @@ -1407,7 +1407,7 @@ (lam datum-92 [ - `$fUnsafeFromDataEscrowDatum_$cunsafeFromBuiltinData`-31 + `$fUnsafeFromDataDatum_$cunsafeFromBuiltinData`-31 datum-92 ] )