Repository navigation
Conversation
Cover policies, keepPolicies, dropPolicies and assetCount in the PlutusV3/V4 and PLC 1.1.0/1.2.0 matrix using 148 generated scripts. Exercise state-token restrictions with real inputs and continuing outputs, including ADA changes and token substitution. Enact complete 369-parameter models and check the filter limit, execution budgets and all fourteen new costing parameters. Share the raw budget-boundary runner with multiIndexArray and isolate its cached key files by the caller's test directory.
Merge current master into the Value builtin draft branch. Keep the shared execution-budget helper and apply upstream's guarded CLI diagnostic assertion there. Retain strict exception and input-preservation checks for both Value builtin and multiIndexArray transactions.
Guard the Plutus failure class and validator trace together, as required by the updated E2E policy. Keep CLIError capture strict. The default assertions are unchanged; the guard can relax message wording when ALLOW_UNSTABLE_ERROR_MESSAGES is enabled.
This branch has not been deployed
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.
Exercise
policies,keepPolicies,dropPoliciesandassetCountwith PlutusV3/V4, each targeting PLC 1.1.0 and 1.2.0. The 148 envelopes come from mkoura/plutus-scripts-e2e#34.Cover filter results, ordering, ADA, negative quantities and the 256/257 input-list boundary. Spend real state UTxOs to check protocol-token preservation, the keep/drop dual law, ADA changes, token substitution and invalid redeemers. Measure budgets with 5, 20 and 68 Value entries, and reject one-unit CPU/memory shortages before a sufficient-budget mint.
Install matching 369-entry V3/V4 cost models once. Perturb all fourteen new parameters offline, requiring exact resource deltas and no effect on other builtin families. Reuse the existing multiIndexArray budget-boundary helper.
Requires a PV12 node/CLI with batch 7 and the filter limit from IntersectMBO/plutus#8013. Known CLI activation gaps skip the test; runtimes that decode the builtins but accept 257 entries fail it. Uses the existing
plutus,team_plutusandlongregression selection.Validation:
2 passed, 822 subtests passed, zero skips, in a combined local PV12 run with multiIndexArray; fullmake lintpassed. The run used experimental node/CLI binaries with Plutus1ef5a0eef37772e35b1e587f7a3b0afa61be4358andpolicyid.patch. db-sync was unavailable. An earlier run on the same dev cluster enacted the 369-entry models through this fixture, and this run reused them, so this run did not exercise the governance update or the respin. This run predates the merge of master and the follow-up guard commit; both change only how failure messages are asserted. The test builds script addresses from their hashes because this CLI's generic address reader still decodes at PV11.Refs IntersectMBO/plutus-private#2406