FLOATING 0.7.1 Documentation

Use this page as an index. Public names come from each package's pkg.generated.mbti; package tutorials explain recommended use, and design pages explain standards, algorithms, optimization, and switching boundaries.

Fast Paths

• First use: Getting Started
• Shared numerical vocabulary: Numeric Semantics
• Package/layer model: Architecture
• What is actually verified: Verification
• Documentation rules: Documentation Standard
• Optimization evidence: 0.7.1 Performance And Semantic Audit

Application Packages

Need	Package	Read first	Deep reference
dyadic / IEEE binary	bin_float	Tutorial	API · Design · Conformance · Performance
IEEE decimal / DPD / BID	decimal	Tutorial	API · Design · Conformance · Performance
GDA sticky status and traps	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
shared vocabulary	def	Tutorial	API · Design
representation-independent observation	semantic	Tutorial	API · Design

Integration And Maintainer Packages

• Expression IR: numeric_expr
• Corpora frontends: frontend/gda_expr, frontend/itl_expr, frontend/mpfr_expr, and frontend/testfloat_expr
• CLI adapters: cli and its backend subpackages
• Runtime/verification: internal, internal/conformance, internal/runner_cli, consistency, and bench

These packages publish generated interfaces because repository tools compose them, but their design pages define narrower stability promises than the application packages.

Evidence Snapshot

• The pinned GDA official corpus passes 64,986/64,986 legal executable scalar rows; official0 passes 16,124/16,124. The remaining 141 # placeholder/non-scalar rows are diagnostic exclusions.
• The pinned strict ITF1788 aggregate passes 4,656/4,656 selected interval rows.
• Binary and IEEE decimal claims are operation/format matrices documented on their conformance pages, including pinned MPFR elementary-function evidence.

These finite results do not imply complete support for every future directive, standard operation, or real input. Read the corresponding conformance page before turning a result into a compatibility claim.

Reading Rule

Use api.md to find a callable name, tutorial.md to choose a safe workflow, and design.md to understand invariants and implementation choices. Generated pkg.generated.mbti files win if prose and public inventory ever disagree.