FLOATING 0.7.1 ドキュメント
このページはクイックインデックスです。公開名は各 package の pkg.generated.mbti を正とし、Tutorial は推奨利用法、Design は標準整合・アルゴリズム・最適化・切替境界を説明します。
クイックパス
- 初めて使う：Getting Started
- 共通数値語彙：Numeric Semantics
- package/layer モデル：Architecture
- 実際の検証範囲：Verification
- 文書規則：Documentation Standard
- 最適化の証拠：0.7.1 Performance And Semantic Audit
アプリケーション Package
| 要件 | Package | 最初に読む | 詳細 |
|---|---|---|---|
| dyadic / IEEE binary | bin_float | Tutorial | API · Design · Conformance · Performance |
| IEEE decimal / DPD / BID | decimal | Tutorial | API · Design · Conformance · Performance |
| GDA sticky status / trap | decimal_gda | Tutorial | API · Design · Conformance · Performance |
| certified interval / IEEE 1788 | ball_float | Tutorial | API · Design · Conformance · Performance |
| first-error binary composition | bin_float_checked | Tutorial | API · Design |
| accumulated IEEE decimal flags | decimal_checked | Tutorial | API · Design |
| sticky/trapping GDA composition | decimal_gda_checked | Tutorial | API · Design |
| first-error interval composition | ball_float_checked | Tutorial | API · Design |
| 共通語彙 | def | Tutorial | API · Design |
| 表現非依存の観測 | semantic | Tutorial | API · Design |
Integration / Maintainer Package
- Expression IR：
numeric_expr - corpus frontend：
frontend/gda_expr、frontend/itl_expr、frontend/mpfr_expr、frontend/testfloat_expr - CLI adapter：
cliと backend subpackage - runtime/verification：
internal、internal/conformance、internal/runner_cli、consistency、bench
これらは repository tooling の合成用に interface を公開しますが、Design に記載する stability boundary は application package より狭くなります。
Evidence Snapshot
- 固定 GDA
officialcorpus は 64,986/64,986 legal executable scalar rows を全件 pass し、official0は 16,124/16,124 です。残る 141 の#placeholder/non-scalar row は diagnostic exclusion です。 - 固定 strict ITF1788 aggregate は selected interval 4,656/4,656 を pass します。
- Binary/IEEE decimal claim は operation/format matrix に限定され、固定 MPFR elementary-function evidence を含みます。
有限 corpus の pass は将来の directive、全標準 operation、全実数入力の対応を意味しません。 互換性を表明する前に該当 conformance page を確認してください。
読み方
呼出名は api.md、安全な workflow は tutorial.md、invariant と実装判断は design.md を参照します。 prose と public inventory が衝突した場合は pkg.generated.mbti を優先します。