コンテンツにスキップ

リリースノート - v0.6.0

タイトル: 評価の信頼性、データ処理、適合性検証を改善する

日付: 2026年9月7日

バージョン: v0.6.0

比較: v0.5.1…v0.6.0

このリリースでは、Plutigo の評価の信頼性、データ処理、JSON の安全性、コストモデルの分離、適合性検証を改善しました。

  • 追加 明示的な Plutus データ正規化: data.Normalize は、コンストラクター、マップ、リストの値の独立したコピーを作成し、それらの definite または indefinite のエンコード状態をリセットし、変更可能なコンストラクタータグをコピーして、値形式で格納されたコンテナを処理します。呼び出し元は、スクリプトまたは評価器の境界でこれを適用する必要があります。これにより、Decode が保持するバイト列を変更せずに、スクリプトに新しい正規エンコードを提供できます。
  • 改善 評価エラーの報告: スクリプト評価は、スクリプト、組み込み関数、型のエラークラスを保持し、コンテキストのキャンセルおよび期限エラーと一致させ、予期しない評価器の失敗を内部エラーに、予期しない組み込み関数の失敗を組み込みエラーにマッピングします。これらの分類により、失敗をより簡単に識別し、確実に処理できます。

  • 制限 JSON 解析: Plutigo は、完全なツリーを割り当てる前の解析中にネストの深さとノード数を確認し、意味上の境界にある構造を受け入れながら、パーサーの制限エラーを報告するようになりました。これにより、有効な境界ケースを維持しながらリソース使用量を制限します。

  • 分離 コストモデル設定: 各評価で独立した組み込みコスト設定を使用するようになり、共有された変更可能なデフォルト値、データ競合、同時評価中の予測不能な実行単位の結果を防ぎます。

  • 拡張 適合性検証: ハーネスは tests/conformance 配下の .uplc および .flat フィクスチャを再帰的に検索し、正規またはレガシーの予算ファイルを要求し、解析およびデコードの失敗と評価の失敗を分離し、FLAT エンコード出力をバイト単位で、テキスト出力を整形されたタームとして比較し、CPU およびメモリの予算を確認し、パスに応じて V3 または V4 の言語およびプロトコル設定を選択します。予算ファイルがないフィクスチャや、一貫性のない失敗マーカーを持つフィクスチャは検証に失敗するようになり、ハーネスはランタイムの動作を変更しません。

Plutigo をご利用いただきありがとうございます。



Doc Holiday logo

Docs authored by Doc Holiday

ページを編集

最終更新日: