Merge master into 1.57 (#7541)

* Add `QuadraticInX` to metatheory (#7531)

* Add valueData and unValueData conformance tests (#7521)

* Plinth guide: more details on versions (#7523)

* chore(deps): bump rossjrw/pr-preview-action from 1.6.3 to 1.8.1 (#7533)

Bumps [rossjrw/pr-preview-action](https://github.com/rossjrw/pr-preview-action) from 1.6.3 to 1.8.1.
- [Release notes](https://github.com/rossjrw/pr-preview-action/releases)
- [Commits](rossjrw/pr-preview-action@v1.6.3...v1.8.1)

---
updated-dependencies:
- dependency-name: rossjrw/pr-preview-action
  dependency-version: 1.8.1
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

* Improve error messages for stuck Unroll type family (#7535)

* Let uplc support .hex files in addition to flat files (#7528)

* update unValueData to reject non-canonical input (#7534)

---------

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: Ziyang Liu <unsafeFixIO@gmail.com>
Co-authored-by: Yura <1009751+Unisay@users.noreply.github.com>
Co-authored-by: Jacco <4022046+basetunnel@users.noreply.github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Co-authored-by: zeme-wana <15709674+zeme-wana@users.noreply.github.com>

Author: 6 people

.github/workflows/cost-models-site.yml

@@ -45,7 +45,7 @@ jobs:
 
       - name: Deploy Preview Site
         if: github.event_name == 'pull_request'
-        uses: rossjrw/pr-preview-action@v1.6.3
+        uses: rossjrw/pr-preview-action@v1.8.1
         with:
           source-dir: doc/cost-models
           umbrella-dir: pr-preview/cost-models

.github/workflows/docusaurus-site.yml

@@ -57,7 +57,7 @@ jobs:
 
       - name: Deploy Preview Site 
         if: github.event_name == 'pull_request'
-        uses: rossjrw/pr-preview-action@v1.6.3
+        uses: rossjrw/pr-preview-action@v1.8.1
         with:
           source-dir: doc/docusaurus/build
           umbrella-dir: pr-preview/docs

.github/workflows/papers-and-specs.yml

@@ -58,7 +58,7 @@ jobs:
 
       - name: Publish Preview Papers 
         if: github.event_name == 'pull_request' || github.event_name == 'workflow_dispatch'
-        uses: rossjrw/pr-preview-action@v1.6.3
+        uses: rossjrw/pr-preview-action@v1.8.1
         with:
           source-dir: _resources
           umbrella-dir: pr-preview/resources

doc/docusaurus/docs/essential-concepts/versions.md

@@ -218,6 +218,41 @@ failingEvaluationTests =
   , "test-cases/uplc/evaluation/builtin/semantics/scaleValue/underflow"
   , "test-cases/uplc/evaluation/builtin/semantics/scaleValue/no-overflow"
   , "test-cases/uplc/evaluation/builtin/semantics/scaleValue/no-underflow"
+  , -- valueData and unValueData builtins
+    "test-cases/uplc/evaluation/builtin/semantics/valueData/empty"
+  , "test-cases/uplc/evaluation/builtin/semantics/valueData/single-entry"
+  , "test-cases/uplc/evaluation/builtin/semantics/valueData/multi-token"
+  , "test-cases/uplc/evaluation/builtin/semantics/valueData/multi-currency"
+  , "test-cases/uplc/evaluation/builtin/semantics/valueData/negative-quantity"
+  , "test-cases/uplc/evaluation/builtin/semantics/valueData/roundtrip-from-value"
+  , "test-cases/uplc/evaluation/builtin/semantics/unValueData/empty"
+  , "test-cases/uplc/evaluation/builtin/semantics/unValueData/single-entry"
+  , "test-cases/uplc/evaluation/builtin/semantics/unValueData/multi-token"
+  , "test-cases/uplc/evaluation/builtin/semantics/unValueData/multi-currency"
+  , "test-cases/uplc/evaluation/builtin/semantics/unValueData/negative-quantity"
+  , "test-cases/uplc/evaluation/builtin/semantics/unValueData/max-key-len"
+  , "test-cases/uplc/evaluation/builtin/semantics/unValueData/roundtrip-from-data"
+  , "test-cases/uplc/evaluation/builtin/semantics/unValueData/data-duplicate-tokens"
+  , "test-cases/uplc/evaluation/builtin/semantics/unValueData/data-duplicate-currencies"
+  , "test-cases/uplc/evaluation/builtin/semantics/unValueData/data-duplicate-currencies-cancel"
+  , "test-cases/uplc/evaluation/builtin/semantics/unValueData/data-duplicate-currencies-merge"
+  , "test-cases/uplc/evaluation/builtin/semantics/unValueData/data-zero-quantity"
+  , "test-cases/uplc/evaluation/builtin/semantics/unValueData/data-zero-sum"
+  , "test-cases/uplc/evaluation/builtin/semantics/unValueData/data-empty-tokens"
+  , "test-cases/uplc/evaluation/builtin/semantics/unValueData/data-unordered-currencies"
+  , "test-cases/uplc/evaluation/builtin/semantics/unValueData/data-unordered-tokens"
+  , "test-cases/uplc/evaluation/builtin/semantics/unValueData/non-map-integer"
+  , "test-cases/uplc/evaluation/builtin/semantics/unValueData/non-map-constr"
+  , "test-cases/uplc/evaluation/builtin/semantics/unValueData/non-map-list"
+  , "test-cases/uplc/evaluation/builtin/semantics/unValueData/non-map-bytes"
+  , "test-cases/uplc/evaluation/builtin/semantics/unValueData/currency-key-too-long"
+  , "test-cases/uplc/evaluation/builtin/semantics/unValueData/token-key-too-long"
+  , "test-cases/uplc/evaluation/builtin/semantics/unValueData/quantity-overflow"
+  , "test-cases/uplc/evaluation/builtin/semantics/unValueData/quantity-underflow"
+  , "test-cases/uplc/evaluation/builtin/semantics/unValueData/non-bytestring-currency"
+  , "test-cases/uplc/evaluation/builtin/semantics/unValueData/non-bytestring-token"
+  , "test-cases/uplc/evaluation/builtin/semantics/unValueData/non-integer-quantity"
+  , "test-cases/uplc/evaluation/builtin/semantics/unValueData/non-map-tokens"
   ]
 
 {-| A list of budget tests which are currently expected to fail.  Once a fix for
@@ -336,6 +371,41 @@ failingBudgetTests =
   , "test-cases/uplc/evaluation/builtin/semantics/scaleValue/underflow"
   , "test-cases/uplc/evaluation/builtin/semantics/scaleValue/no-overflow"
   , "test-cases/uplc/evaluation/builtin/semantics/scaleValue/no-underflow"
+  , -- valueData and unValueData builtins
+    "test-cases/uplc/evaluation/builtin/semantics/valueData/empty"
+  , "test-cases/uplc/evaluation/builtin/semantics/valueData/single-entry"
+  , "test-cases/uplc/evaluation/builtin/semantics/valueData/multi-token"
+  , "test-cases/uplc/evaluation/builtin/semantics/valueData/multi-currency"
+  , "test-cases/uplc/evaluation/builtin/semantics/valueData/negative-quantity"
+  , "test-cases/uplc/evaluation/builtin/semantics/valueData/roundtrip-from-value"
+  , "test-cases/uplc/evaluation/builtin/semantics/unValueData/empty"
+  , "test-cases/uplc/evaluation/builtin/semantics/unValueData/single-entry"
+  , "test-cases/uplc/evaluation/builtin/semantics/unValueData/multi-token"
+  , "test-cases/uplc/evaluation/builtin/semantics/unValueData/multi-currency"
+  , "test-cases/uplc/evaluation/builtin/semantics/unValueData/negative-quantity"
+  , "test-cases/uplc/evaluation/builtin/semantics/unValueData/max-key-len"
+  , "test-cases/uplc/evaluation/builtin/semantics/unValueData/roundtrip-from-data"
+  , "test-cases/uplc/evaluation/builtin/semantics/unValueData/data-duplicate-tokens"
+  , "test-cases/uplc/evaluation/builtin/semantics/unValueData/data-duplicate-currencies"
+  , "test-cases/uplc/evaluation/builtin/semantics/unValueData/data-duplicate-currencies-cancel"
+  , "test-cases/uplc/evaluation/builtin/semantics/unValueData/data-duplicate-currencies-merge"
+  , "test-cases/uplc/evaluation/builtin/semantics/unValueData/data-zero-quantity"
+  , "test-cases/uplc/evaluation/builtin/semantics/unValueData/data-zero-sum"
+  , "test-cases/uplc/evaluation/builtin/semantics/unValueData/data-empty-tokens"
+  , "test-cases/uplc/evaluation/builtin/semantics/unValueData/data-unordered-currencies"
+  , "test-cases/uplc/evaluation/builtin/semantics/unValueData/data-unordered-tokens"
+  , "test-cases/uplc/evaluation/builtin/semantics/unValueData/non-map-integer"
+  , "test-cases/uplc/evaluation/builtin/semantics/unValueData/non-map-constr"
+  , "test-cases/uplc/evaluation/builtin/semantics/unValueData/non-map-list"
+  , "test-cases/uplc/evaluation/builtin/semantics/unValueData/non-map-bytes"
+  , "test-cases/uplc/evaluation/builtin/semantics/unValueData/currency-key-too-long"
+  , "test-cases/uplc/evaluation/builtin/semantics/unValueData/token-key-too-long"
+  , "test-cases/uplc/evaluation/builtin/semantics/unValueData/quantity-overflow"
+  , "test-cases/uplc/evaluation/builtin/semantics/unValueData/quantity-underflow"
+  , "test-cases/uplc/evaluation/builtin/semantics/unValueData/non-bytestring-currency"
+  , "test-cases/uplc/evaluation/builtin/semantics/unValueData/non-bytestring-token"
+  , "test-cases/uplc/evaluation/builtin/semantics/unValueData/non-integer-quantity"
+  , "test-cases/uplc/evaluation/builtin/semantics/unValueData/non-map-tokens"
   ]
 
 -- Run the tests: see Note [Evaluation with and without costing] above.

plutus-conformance/agda/Spec.hs

@@ -0,0 +1,14 @@
+-- Currency symbol with 33 bytes (> maxKeyLen)
+(program 1.0.0
+  [
+    (builtin unValueData)
+    (con data
+      (Map
+        [ ( B #000000000000000000000000000000000000000000000000000000000000000000
+          , Map [(B #, I 1)]
+          )
+        ]
+      )
+    )
+  ]
+)

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unValueData/currency-key-too-long/currency-key-too-long.uplc

@@ -0,0 +1 @@
+evaluation failure

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unValueData/currency-key-too-long/currency-key-too-long.uplc.budget.expected

@@ -0,0 +1 @@
+evaluation failure

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unValueData/currency-key-too-long/currency-key-too-long.uplc.expected

@@ -0,0 +1,14 @@
+(program 1.0.0
+  [ (builtin unValueData)
+    (con data 
+      ( Map 
+        [ (B #aa, Map [(B #aa, I 123)])
+        , (B #bb, Map [(B #bb, I 2)])
+        , (B #aa, Map [(B #aa, I -80)])
+        , (B #cc, Map [(B #cc, I 2)])
+        , (B #aa, Map [(B #aa, I -43)])
+        ]
+      )
+    )
+  ]
+)

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/unValueData/data-duplicate-currencies-cancel/data-duplicate-currencies-cancel.uplc

@@ -0,0 +1 @@
+evaluation failure