リリースノート - v0.6.0
v0.6.0(2026年9月7日)
Section titled “v0.6.0(2026年9月7日)”タイトル: 評価の信頼性、データ処理、適合性検証を改善する
日付: 2026年9月7日
バージョン: v0.6.0
比較: v0.5.1…v0.6.0
このリリースでは、Plutigo の評価の信頼性、データ処理、JSON の安全性、コストモデルの分離、適合性検証を改善しました。
- 追加 明示的な Plutus データ正規化:
data.Normalizeは、コンストラクター、マップ、リストの値の独立したコピーを作成し、それらの definite または indefinite のエンコード状態をリセットし、変更可能なコンストラクタータグをコピーして、値形式で格納されたコンテナを処理します。呼び出し元は、スクリプトまたは評価器の境界でこれを適用する必要があります。これにより、Decodeが保持するバイト列を変更せずに、スクリプトに新しい正規エンコードを提供できます。
-
改善 評価エラーの報告: スクリプト評価は、スクリプト、組み込み関数、型のエラークラスを保持し、コンテキストのキャンセルおよび期限エラーと一致させ、予期しない評価器の失敗を内部エラーに、予期しない組み込み関数の失敗を組み込みエラーにマッピングします。これらの分類により、失敗をより簡単に識別し、確実に処理できます。
-
制限 JSON 解析: Plutigo は、完全なツリーを割り当てる前の解析中にネストの深さとノード数を確認し、意味上の境界にある構造を受け入れながら、パーサーの制限エラーを報告するようになりました。これにより、有効な境界ケースを維持しながらリソース使用量を制限します。
-
分離 コストモデル設定: 各評価で独立した組み込みコスト設定を使用するようになり、共有された変更可能なデフォルト値、データ競合、同時評価中の予測不能な実行単位の結果を防ぎます。
📦 追加の変更
Section titled “📦 追加の変更”- 拡張 適合性検証: ハーネスは
tests/conformance配下の.uplcおよび.flatフィクスチャを再帰的に検索し、正規またはレガシーの予算ファイルを要求し、解析およびデコードの失敗と評価の失敗を分離し、FLAT エンコード出力をバイト単位で、テキスト出力を整形されたタームとして比較し、CPU およびメモリの予算を確認し、パスに応じて V3 または V4 の言語およびプロトコル設定を選択します。予算ファイルがないフィクスチャや、一貫性のない失敗マーカーを持つフィクスチャは検証に失敗するようになり、ハーネスはランタイムの動作を変更しません。
Plutigo をご利用いただきありがとうございます。
Docs authored by Doc Holiday