submissions(two_party_escrow): re-pin asData variant to c663b17 (name-only)#241
Merged
Conversation
…-only) Refresh submissions/two_party_escrow/Plinth_1.65.0.0_Unisay_asdata from plinth-cape-submissions c663b17, which derives the by-name decoder layout from the type and renames the escrow datum type to a bare Datum. That rename survives into one instance-binder name in the pretty-printed UPLC ($fUnsafeFromDataEscrowDatum -> $fUnsafeFromDataDatum) on three lines. The serialized program is name-independent, so script size, fee, CPU, memory, and every evaluation outcome are unchanged; metrics.json is left untouched. Rebuilt independently from c663b17: md5 b3d22af3 (was a12c552d), diff is exactly the three binder-name lines, and cape submission measure reproduces the committed metrics (fee 311093, 2558 B, term 2188, 47/47).
There was a problem hiding this comment.
Pull request overview
Refreshes the two_party_escrow Plinth asData submission to point at plinth-cape-submissions commit c663b17…, reflecting an upstream rename of the escrow datum type to Datum that only affects pretty-printed UPLC binder names (not serialized behavior or metrics).
Changes:
- Update
two_party_escrow.uplcto reflect a binder rename (EscrowDatum→Datum) on three lines. - Re-pin
metadata.jsonto the new upstream source commit and document that the change is name-only. - Update the source reproduction README to reference the new upstream commit.
Reviewed changes
Copilot reviewed 3 out of 3 changed files in this pull request and generated no comments.
| File | Description |
|---|---|
| submissions/two_party_escrow/Plinth_1.65.0.0_Unisay_asdata/two_party_escrow.uplc | Updates three instance-binder names to match the upstream type rename (pretty-print only). |
| submissions/two_party_escrow/Plinth_1.65.0.0_Unisay_asdata/metadata.json | Re-pins source_commit_hash to c663b17…, updates submission timestamp, and notes the change is name-only. |
| submissions/two_party_escrow/Plinth_1.65.0.0_Unisay_asdata/source/README.md | Updates the referenced upstream commit and checkout command to reproduce the artifact. |
Contributor
🚀 PR Preview DeployedPreview URL: https://intersectmbo.github.io/UPLC-CAPE/pr-241/ The preview site is automatically updated on every push to this PR and will be removed when the PR is closed. |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Refreshes
submissions/two_party_escrow/Plinth_1.65.0.0_Unisay_asdatafromplinth-cape-submissionsc663b17, which merged the "derive the by-name decoder layout from the type" change. That commit swaps the hand-writtenDecoder.NamedFieldAttag types for a Template Haskell deriver and renames the escrow datum type to a bareDatum.For this submission the effect is text only. The datum rename survives into one instance-binder name in the pretty-printed UPLC,
$fUnsafeFromDataEscrowDatum_$cunsafeFromBuiltinDatabecomes$fUnsafeFromDataDatum_$cunsafeFromBuiltinData, on three lines. The serialized program is name-independent, so script size, fee, CPU, memory, and every evaluation outcome stay exactly the same.metrics.jsonis therefore left untouched.Verification
I rebuilt the artifact independently from
c663b17(cabal run plinth-submissions, the documented default) rather than copying it:.uplcmd5b3d22af3eb39db4d9cea8d3f8986b4ae(wasa12c552da685e54a0e0412da50dc21d6).cape submission measureon the mainnet changPV evaluator reproduces the committed metrics unchanged: fee 311093 lovelace, script size 2558 bytes, term size 2188, 47/47 evaluations pass.two_party_escrow,htlc, andlinear_vestingartifacts byte for byte.Changes
two_party_escrow.uplc: three instance-binder name lines.metadata.json:source_commit_hash4b321504toc663b17, with a note on the name-only nature of the change.source/README.md: commit reference and checkout command bumped toc663b17.metrics.json: unchanged.