consistency API

consistency はホワイトボックステストのパッケージです。MoonBit の項目は何もエクスポートせず、その内容は floating のパッケージ間にまたがる法則を検査する約 250 個の決定的なテストのスイートです。すなわち、2 進・10 進・GDA・区間の各コア、それらの checked ラッパー、semantic、共有の internal ヘルパーが、互いに、また厳密な BigInt および有理数のオラクルと一致することを検査します。このページはパッケージの役割と（空の）インターフェースを記録します。実行方法と拡張方法はチュートリアルで示し、何を検査するかは設計ページで説明します。

テストファイル

ファイル	内容
api_audit_wbtest.mbt	パッケージにまたがる公開動作の監査：def の述語、internal の丸めと構文解析のヘルパー、エラー型とコンテキスト型、10 進交換形式のファサード（ビット単位で厳密なエンコーディング、正準性の述語、符号演算）、bin_float の checked 比較、Luna-Flow/arithmetic を介した汎用 checked トレイト、および 2 進・10 進・区間の値に対する semantic の解釈
core_wbtest.mbt	パッケージ間の算術法則：BigInt と照合する internal の桁処理・末尾除去ヘルパー、2 進有理数（dyadic）に対する bin_float の厳密性と汎用トレイトの利用、decimal と decimal_gda のコホート・符号付きゼロ・NaN ペイロードの規則（多くの行は公式の decTest スイートから採録）、ball_float の包含性、checked パイプラインの閉包性、および全域的なコンストラクタ
bin_coeff_migration_wbtest.mbt	上記のテストのために BigInt から BinFloat の値を構築するヘルパー

すべてのテストはホワイトボックス（*_wbtest.mbt）であり、すべてのコアパッケージを wbtest 用にのみインポートするため、このパッケージはライブラリのどのビルドにも何も追加しません。

公開インターフェース全体

このパッケージは MoonBit の項目を何もエクスポートしません。

// Generated using `moon info`, DON'T EDIT IT
package "Luna-Flow/floating/consistency"

// Values

// Errors

// Types and methods

// Type aliases

// Traits