Skip to content

submissions(two_party_escrow): re-pin asData variant to c663b17 (name-only) #241

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
Unisay merged 1 commit into from
Jul 10, 2026
+8 −8
Merged

submissions(two_party_escrow): re-pin asData variant to c663b17 (name-only) #241

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 3 additions & 3 deletions submissions/two_party_escrow/Plinth_1.65.0.0_Unisay_asdata/metadata.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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)."
}
}
4 changes: 2 additions & 2 deletions submissions/two_party_escrow/Plinth_1.65.0.0_Unisay_asdata/source/README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@

**Branch**: `main`

**Commit**: `4b3215042c1ccd481b5f62ad192d23b0e1f96758`
**Commit**: `c663b170bb2148a20072d8400b8679c03c11de4c`

**Path**: `lib/TwoPartyEscrow/AsData.hs`

Expand All @@ -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.:
Expand Down
6 changes: 3 additions & 3 deletions submissions/two_party_escrow/Plinth_1.65.0.0_Unisay_asdata/two_party_escrow.uplc
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -98,7 +98,7 @@
txInfoValidRange-30
[
(lam
`$fUnsafeFromDataEscrowDatum_$cunsafeFromBuiltinData`-31
`$fUnsafeFromDataDatum_$cunsafeFromBuiltinData`-31
[
(lam
scriptContextTxInfo-32
Expand Down Expand Up @@ -316,7 +316,7 @@
nt-40
(case
[
`$fUnsafeFromDataEscrowDatum_$cunsafeFromBuiltinData`-31
`$fUnsafeFromDataDatum_$cunsafeFromBuiltinData`-31
[
forced-5
[
Expand Down Expand Up @@ -1407,7 +1407,7 @@
(lam
datum-92
[
`$fUnsafeFromDataEscrowDatum_$cunsafeFromBuiltinData`-31
`$fUnsafeFromDataDatum_$cunsafeFromBuiltinData`-31
datum-92
]
)
Expand Down
Loading