Array data constructor and builtins - #7485

Draft

Unisay wants to merge 15 commits into

yura/issue-1666-data-array-core

Commits on Dec 12, 2025

feat(core): add Array data constructor and CBOR encoding
Unisay
committed
16412fb
feat(builtins): add ArrayData and UnArrayData builtins
Unisay
committed
07496f4
feat(costing): add cost models for array builtins
Unisay
committed
2354758
feat(plutus-tx): add PlutusTx support for Array data
Unisay
committed
124a1a9
feat(ledger-api): expose array builtins in ledger API
Unisay
committed
1f27403
feat(metatheory): add array support to Agda formalization
Unisay
committed
d6d9798
test: add conformance tests for array builtins
Unisay
committed
9322b2d
test: update golden tests for array feature
Unisay
committed
25ad3de
feat(plutus-ir): update rewrite rules for array support
Unisay
committed
10004ae
docs(spec): add Array data constructor to Plutus Core specification
Unisay
committed
470618e

Commits on Dec 15, 2025

fix(bench): update chooseData benchmark for Array constructor
Unisay
committed
9d90729
refactor(cost-model): update builtin cost parameters for array support
Unisay
committed
a268c93
test: update golden tests for revised cost model
Unisay
committed
2bccdd7
refactor(data): move Array constructor to end of Data type
Unisay
committed
9b70dcd
docs(spec): add Batch 7 for Array constructor and functions
Unisay
committed
addb6f8