feat(plutus): add E2E tests for array builtins (CIP-0138, Batch 6)

Implement end-to-end tests for PlutusV3 array builtin functions:
- indexArray: O(1) array element access
- lengthOfArray: O(1) array length retrieval
- listToArray: O(n) list-to-array conversion

**Test Organization:**
- Created TestPlutusBatch6V3Builtins class (array builtins are Plutus Core Batch 6, not Batch 5)
- Follows established pattern from bitwise/RIPEMD-160 tests
- Parametrized tests for all 3 array scripts
- Marked as smoke tests for quick validation

**Script Definitions (plutus_common.py):**
- MINTING_INDEXARRAY_V3 (299 bytes)
- MINTING_LENGTHOFARRAY_V3 (286 bytes)
- MINTING_LISTTOARRAY_V3 (360 bytes)
- All use minting policy pattern (standard for pure builtin testing)

**Scripts Generated From:**
- plutus-scripts-e2e PR #12 (yura/add-array-builtin-scripts branch)
- Validators use hardcoded test data (no external redeemer parameters)

⚠️ **IMPORTANT: Array builtins require Protocol Version 11**

Tests are currently **BLOCKED** until PV11 support is added to cardano-node-tests.
Tests will skip with message: "Array builtins require PV11+ (currently not supported)"

Expected timeline: PV11 support in testnet cluster beginning of next week (per Martin).

Initial execution costs set to (0, 0) placeholders.
Will be updated with actual measured values once PV11 cluster is available.

- plutus-private#1920: Array builtin validators (implemented in plutus-scripts-e2e)
- plutus-private#1921: E2E tests for array builtins (this implementation)
- plutus-private#1922: Related array builtin work

- CIP-0138: Array builtins specification
- Plutus Core Spec: Batch 6 builtin functions
- plutus-scripts-e2e PR #12: mkoura/plutus-scripts-e2e#12

Author: Unisay

cardano_node_tests/tests/data/plutus/v3/succeedingIndexArrayPolicyScriptV3.plutus

@@ -0,0 +1,5 @@
+{
+    "type": "PlutusScriptV3",
+    "description": "succeedingIndexArrayPolicyScriptV3",
+    "cborHex": "585d01010032293370e900319abdb357b460050034800b003480130034801b003480230034802b0000240093263357389201126d6b496e6465784172726179506f6c69637900800526191800800914800d2f58122335740004660080080021"
+}

cardano_node_tests/tests/data/plutus/v3/succeedingLengthOfArrayPolicyScriptV3.plutus

@@ -0,0 +1,5 @@
+{
+    "type": "PlutusScriptV3",
+    "description": "succeedingLengthOfArrayPolicyScriptV3",
+    "cborHex": "585501010032293370e90031abd9357b4600500348053003480a3003480f300013263357389201156d6b4c656e6774684f664172726179506f6c69637900800526191800800914800d2f58122335740004660080080021"
+}

cardano_node_tests/tests/data/plutus/v3/succeedingListToArrayPolicyScriptV3.plutus

@@ -0,0 +1,5 @@
+{
+    "type": "PlutusScriptV3",
+    "description": "succeedingListToArrayPolicyScriptV3",
+    "cborHex": "587b01010032232993370e90041abd9001a50c99b874832004cd5ed800a40014a13370e90500319abdb0014801899319ab9c4901136d6b4c697374546f4172726179506f6c696379008005261abda3002801a419003801a412007801a41b009801a41400d8000191800800914800d2f581223357400046600800800201"
+}

cardano_node_tests/tests/plutus_common.py

@@ -464,6 +464,35 @@ class PlutusScriptData:
 
 SUCCEEDING_MINTING_RIPEMD_160_SCRIPTS_V3 = (MINTING_RIPEMD_160_V3,)
 
+# Array builtin scripts (CIP-0138, Plutus Core Batch 6)
+# NOTE: Array builtins require Protocol Version 11+
+MINTING_INDEXARRAY_PLUTUS_V3 = SCRIPTS_V3_DIR / "succeedingIndexArrayPolicyScriptV3.plutus"
+MINTING_INDEXARRAY_V3 = PlutusScriptData(
+    script_file=MINTING_INDEXARRAY_PLUTUS_V3,
+    script_type=clusterlib.ScriptTypes.PLUTUS_V3,
+    execution_cost=ExecutionCost(per_time=0, per_space=0, fixed_cost=UNKNOWN_FIXED_COST),
+)
+
+MINTING_LENGTHOFARRAY_PLUTUS_V3 = SCRIPTS_V3_DIR / "succeedingLengthOfArrayPolicyScriptV3.plutus"
+MINTING_LENGTHOFARRAY_V3 = PlutusScriptData(
+    script_file=MINTING_LENGTHOFARRAY_PLUTUS_V3,
+    script_type=clusterlib.ScriptTypes.PLUTUS_V3,
+    execution_cost=ExecutionCost(per_time=0, per_space=0, fixed_cost=UNKNOWN_FIXED_COST),
+)
+
+MINTING_LISTTOARRAY_PLUTUS_V3 = SCRIPTS_V3_DIR / "succeedingListToArrayPolicyScriptV3.plutus"
+MINTING_LISTTOARRAY_V3 = PlutusScriptData(
+    script_file=MINTING_LISTTOARRAY_PLUTUS_V3,
+    script_type=clusterlib.ScriptTypes.PLUTUS_V3,
+    execution_cost=ExecutionCost(per_time=0, per_space=0, fixed_cost=UNKNOWN_FIXED_COST),
+)
+
+SUCCEEDING_MINTING_ARRAY_SCRIPTS_V3 = (
+    MINTING_INDEXARRAY_V3,
+    MINTING_LENGTHOFARRAY_V3,
+    MINTING_LISTTOARRAY_V3,
+)
+
 
 @dataclasses.dataclass(frozen=True, order=True)
 class PlutusOp:

cardano_node_tests/tests/tests_plutus_v3/test_mint_build.py

@@ -212,3 +212,138 @@ def test_plutusv3_builtins(
                     plutus_v_record=script,
                     success_expected=False,
                 )
+
+
+class TestPlutusBatch6V3Builtins:
+    """Tests for batch6 of Plutus Core built-in functions (CIP-0138).
+
+    Array builtins (indexArray, lengthOfArray, listToArray) require Protocol Version 11.
+    NOTE: These tests are blocked until PV11 support is added to cardano-node-tests.
+    """
+
+    success_scripts = plutus_common.SUCCEEDING_MINTING_ARRAY_SCRIPTS_V3
+
+    @pytest.fixture
+    def skip_bootstrap(
+        self,
+        cluster: clusterlib.ClusterLib,
+    ) -> None:
+        pparams = cluster.g_query.get_protocol_params()
+        # Array builtins require PV11 - currently not supported in cardano-node-tests
+        if pparams["protocolVersion"]["major"] < 11:
+            pytest.skip("Array builtins require PV11+ (currently not supported in cardano-node-tests)")
+
+    @pytest.fixture
+    def payment_addrs(
+        self,
+        skip_bootstrap: None,  # noqa: ARG002
+        cluster_manager: cluster_management.ClusterManager,
+        cluster: clusterlib.ClusterLib,
+    ) -> list[clusterlib.AddressRecord]:
+        """Create new payment address."""
+        addrs = common.get_payment_addrs(
+            name_template=common.get_test_id(cluster),
+            cluster_manager=cluster_manager,
+            cluster_obj=cluster,
+            num=2,
+            fund_idx=[0],
+            amount=100_000_000,
+        )
+        return addrs
+
+    def run_scenario(
+        self,
+        cluster_obj: clusterlib.ClusterLib,
+        payment_addrs: list[clusterlib.AddressRecord],
+        plutus_v_record: plutus_common.PlutusScriptData,
+    ):
+        """Run an e2e test for a Plutus array builtin."""
+        temp_template = common.get_test_id(cluster_obj)
+
+        payment_addr = payment_addrs[0]
+        issuer_addr = payment_addrs[1]
+
+        lovelace_amount = 2_000_000
+        token_amount = 5
+        script_fund = 10_000_000
+
+        minting_cost = plutus_common.compute_cost(
+            execution_cost=plutus_v_record.execution_cost,
+            protocol_params=cluster_obj.g_query.get_protocol_params(),
+        )
+
+        # Step 1: fund the token issuer and create UTXO for collaterals
+
+        mint_utxos, collateral_utxos, tx_output_step1 = mint_build._fund_issuer(
+            cluster_obj=cluster_obj,
+            temp_template=temp_template,
+            payment_addr=payment_addr,
+            issuer_addr=issuer_addr,
+            minting_cost=minting_cost,
+            amount=script_fund,
+        )
+
+        # Step 2: mint the "qacoin"
+
+        policyid = cluster_obj.g_transaction.get_policyid(plutus_v_record.script_file)
+        asset_name = f"qacoin{clusterlib.get_rand_str(4)}".encode().hex()
+        token = f"{policyid}.{asset_name}"
+        mint_txouts = [
+            clusterlib.TxOut(address=issuer_addr.address, amount=token_amount, coin=token)
+        ]
+
+        plutus_mint_data = [
+            clusterlib.Mint(
+                txouts=mint_txouts,
+                script_file=plutus_v_record.script_file,
+                collaterals=collateral_utxos,
+                redeemer_file=plutus_common.REDEEMER_42,
+            )
+        ]
+
+        tx_files_step2 = clusterlib.TxFiles(
+            signing_key_files=[issuer_addr.skey_file],
+        )
+        txouts_step2 = [
+            clusterlib.TxOut(address=issuer_addr.address, amount=lovelace_amount),
+            *mint_txouts,
+        ]
+
+        tx_output_step2 = clusterlib_utils.build_and_submit_tx(
+            cluster_obj=cluster_obj,
+            name_template=f"{temp_template}_step2",
+            src_address=payment_addr.address,
+            use_build_cmd=True,
+            tx_files=tx_files_step2,
+            txins=mint_utxos,
+            txouts=txouts_step2,
+            mint=plutus_mint_data,
+        )
+
+        out_utxos = cluster_obj.g_query.get_utxo(tx_raw_output=tx_output_step2)
+        token_utxo = clusterlib.filter_utxos(
+            utxos=out_utxos, address=issuer_addr.address, coin=token
+        )
+        assert token_utxo and token_utxo[0].amount == token_amount, "The token was not minted"
+
+    @allure.link(helpers.get_vcs_link())
+    @pytest.mark.parametrize(
+        "script",
+        success_scripts,
+        ids=(s.script_file.stem for s in success_scripts),
+    )
+    @pytest.mark.team_plutus
+    @pytest.mark.smoke
+    def test_array_builtins(
+        self,
+        skip_bootstrap: None,  # noqa: ARG002
+        cluster: clusterlib.ClusterLib,
+        payment_addrs: list[clusterlib.AddressRecord],
+        script: plutus_common.PlutusScriptData,
+    ):
+        """Test array builtin functions (indexArray, lengthOfArray, listToArray)."""
+        self.run_scenario(
+            cluster_obj=cluster,
+            payment_addrs=payment_addrs,
+            plutus_v_record=script,
+        )