·
5 commits
to master
since this release
Plutus 1.67.0.0-wasm32.1
Recommended wasm32 release based exactly on upstream
IntersectMBO/plutus 1.67.0.0
at 48e9bf08f439e7223de713b5b71696fcd81cffc3.
Combined upstream changes since 1.65.0.0
The current browser consumer moves directly from 1.65.0.0-wasm32.1, so this summary compresses both
intervening upstream releases. See the official 1.66.0.0
and 1.67.0.0 release notes, or the
1.65.0.0...1.67.0.0 combined comparison.
- Compiler and evaluator: added RecInline and CollapseCase optimization passes; fixed an unsound
FloatDelaytransformation; improvedasDatalist-casing code generation. - Builtins and future protocol work: added
multiIndexArray(CIP-0156, behindfuturePV) and
policies(CIP-0168, expected for PV12); aligned host-language builtin definitions with on-chain
bounds and failure semantics. - Value and ledger APIs: exported inclusive interval-bound helpers; optimized
valueOfand
unionWith; addedunsafeLovelaceValueOf, broaderValuere-exports/comparisons, and draft Plutus
V4 script-context types. - CLI and serialization: made textual
Valueparsing enforce canonical keys, non-zero quantities,
and 128-bit bounds; added extension-based format inference, shell completion, worked help examples,
and early rejection of unsupported PLC formats. - Maintenance: replaced
deriving-aesoncost-model instances without changing their JSON format,
removed the obsoleteBuiltinCasingplugin option, and improved metatheory certifier performance.
What changed in the wasm32 fork since .0
- Rebuilt the fork as six dependency-ordered patches: evaluator semantics, WASI tests, reproducible build
outputs, automation, documentation, and repository governance. - Bound every GitHub release operation explicitly to
lambdasistemi/plutus; the tagged workflow no longer
depends on persistent-runner Git remote state. - Updated the artifact guide for this release, including direct download/checksum commands and the browser
WASI hosting contract. - Added a repository-local
maintain-wasm32-forkagent skill plus a mechanical stack validator for future
upstream bumps and same-base revisions.
The evaluator behavior is unchanged from .0; this revision repairs maintainability, tagged publication,
and consumer documentation.
Verification
plutus-core-test: 2350 passeduntyped-plutus-core-test: 883 passedplutus-ir-test: 363 passedindex-envs-test: 36 passedsatint-test: 17 test groups passed, including 10,000-case arithmetic propertiesflat-test: 1689 passedhaskell-conformance: 2008 passed- standalone
uplc.wasm: evaluates the smoke program to(con integer 42)and reports itsExBudget
Usage: WASM32.md.
Assets
0847734eadb767b8ac6a8e0803db78db0fae2374d823335629818ff172c5b249 uplc.wasm