cb5370d1

By: ValentinHirschi <valentin.hirschi@gmail.com>

Take the contour line products without the probe in the inspection form

The probe of 5c996fb (tfun_selected) evaluates three more variants of a
contour chart, which the complete shared expansion of D0 expands as well:
it needed between 10 and 12 million expansion visits, above the default
budget of 10 million, and tests/full_expansion.rs
(all_generic_masters_have_complete_shared_expressions_and_select_late)
failed. The probe chooses between algebraically identical variants (the
products' offsets equal y - z exactly) by their rounding, as the
complements of the dilogarithms only restore digits, and the inspection
form already takes the plain dilogarithm for those. SheetAtom::rounding_choice
now returns the probed value in the numerical maps (sheet_exact) and the
plain value with the products in the inspection form (inspection_sheet), so
the complete expansion of D0 fits the 10 million budget again (it did at
ae9232f). The numerical definitions, the generated code and the D0 asset
are unchanged: a regeneration gives the hashes of 861adf6.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
GitHub
configure